SCIP version 1.2.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
Copyright (c) 2002-2009 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)

user parameter file <scip.set> not found - using default parameters

read problem <domino6.lp>
============

original problem has 872 variables (756 bin, 112 int, 0 impl, 4 cont) and 1603 constraints

solve problem
=============

presolving:
(round 1) 33 del vars, 33 del conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
(round 2) 33 del vars, 789 del conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
presolving (3 rounds):
 33 deleted vars, 789 deleted constraints, 60 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
 1511 implications, 0 cliques
presolved problem has 839 variables (756 bin, 82 int, 1 impl, 0 cont) and 814 constraints
    814 constraints of type <linear>
transformed objective value is always integral (scale: 1)
Presolving Time: 0.18

 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  0.2s|     1 |     0 |   756 |3083k|   0 | 756 | 839 | 814 | 814 | 839 | 814 |   0 |   0 |   0 |0.000000e+000 |      --      |    Inf 
  1.1s|     1 |     0 |  5808 |3726k|   0 | 838 | 839 | 814 | 814 | 839 |1038 | 224 |   0 |   0 |0.000000e+000 |      --      |    Inf 
  1.2s|     1 |     0 |  5836 |3740k|   0 | 837 | 839 | 814 | 814 | 839 |1043 | 229 |   0 |   0 |0.000000e+000 |      --      |    Inf 
  1.3s|     1 |     0 |  5847 |3744k|   0 | 838 | 839 | 814 | 814 | 839 |1048 | 234 |   0 |   0 |0.000000e+000 |      --      |    Inf 
  1.3s|     1 |     0 |  5851 |3745k|   0 | 837 | 839 | 814 | 814 | 839 |1052 | 238 |   0 |   0 |0.000000e+000 |      --      |    Inf 
  1.4s|     1 |     0 |  5852 |3746k|   0 | 837 | 839 | 814 | 814 | 839 |1053 | 239 |   0 |   0 |0.000000e+000 |      --      |    Inf 
  2.8s|     1 |     2 |  5852 |3746k|   0 | 837 | 839 | 814 | 814 | 839 |1053 | 239 |   0 |  33 |0.000000e+000 |      --      |    Inf 
 18.5s|   100 |    99 | 55699 |3941k|  24 | 390 | 839 | 891 | 754 | 839 | 842 | 239 |  77 | 456 |0.000000e+000 |      --      |    Inf 
 24.6s|   200 |   191 |108436 |4089k|  29 | 281 | 839 | 947 | 534 | 839 | 842 | 239 | 133 | 485 |0.000000e+000 |      --      |    Inf 
 28.2s|   300 |   265 |133161 |4226k|  44 | 480 | 839 |1011 | 849 | 839 | 842 | 239 | 197 | 528 |0.000000e+000 |      --      |    Inf 
 37.7s|   400 |   356 |211354 |4511k|  44 | 534 | 839 |1259 |1187 | 839 | 842 | 239 | 445 | 570 |0.000000e+000 |      --      |    Inf 
 40.9s|   500 |   417 |239878 |4670k|  44 |   - | 839 |1343 | 656 |   0 |   0 | 239 | 529 | 584 |0.000000e+000 |      --      |    Inf 
 47.5s|   600 |   476 |295853 |4822k|  44 | 320 | 839 |1452 | 872 | 839 | 842 | 239 | 638 | 612 |0.000000e+000 |      --      |    Inf 
 52.1s|   700 |   564 |335986 |5000k|  44 |   - | 839 |1545 | 840 |   0 |   0 | 239 | 731 | 640 |0.000000e+000 |      --      |    Inf 
 55.2s|   800 |   648 |360135 |5136k|  44 |   - | 839 |1581 | 309 |   0 |   0 | 239 | 767 | 668 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 58.7s|   900 |   707 |389601 |5273k|  44 | 476 | 839 |1712 |1206 | 839 | 842 | 239 | 898 | 695 |0.000000e+000 |      --      |    Inf 
 64.5s|  1000 |   784 |442260 |5412k|  44 | 442 | 839 |1778 |1266 | 839 | 842 | 239 | 964 | 722 |0.000000e+000 |      --      |    Inf 
 68.5s|  1100 |   853 |473157 |5610k|  44 | 187 | 839 |1956 | 466 | 839 | 842 | 239 |1142 | 761 |0.000000e+000 |      --      |    Inf 
 71.5s|  1200 |   928 |495767 |5738k|  44 | 397 | 839 |2012 |1353 | 839 | 842 | 239 |1201 | 788 |0.000000e+000 |      --      |    Inf 
 73.6s|  1300 |   968 |512050 |5872k|  44 | 205 | 839 |2158 | 555 | 839 | 842 | 239 |1347 | 814 |0.000000e+000 |      --      |    Inf 
 74.9s|  1400 |   957 |523311 |5941k|  44 |   - | 839 |2312 | 449 |   0 |   0 | 239 |1501 | 827 |0.000000e+000 |      --      |    Inf 
 77.6s|  1500 |   966 |544628 |6002k|  44 | 221 | 839 |2436 | 747 | 839 | 842 | 239 |1640 | 852 |0.000000e+000 |      --      |    Inf 
 81.1s|  1600 |  1001 |572891 |6108k|  44 | 189 | 839 |2584 | 743 | 839 | 842 | 239 |1801 | 878 |0.000000e+000 |      --      |    Inf 
 86.6s|  1700 |  1069 |620797 |6235k|  44 |   - | 839 |2674 | 337 |   0 |   0 | 239 |1912 | 903 |0.000000e+000 |      --      |    Inf 
 88.6s|  1800 |  1075 |636138 |6350k|  47 | 101 | 839 |2866 | 311 | 839 | 842 | 239 |2109 | 929 |0.000000e+000 |      --      |    Inf 
 90.3s|  1900 |  1075 |648204 |6444k|  48 | 229 | 839 |3043 | 682 | 839 | 842 | 239 |2308 | 953 |0.000000e+000 |      --      |    Inf 
 91.9s|  2000 |  1071 |659761 |6551k|  51 | 170 | 839 |3228 | 525 | 839 | 842 | 239 |2503 | 978 |0.000000e+000 |      --      |    Inf 
 94.4s|  2100 |  1081 |675802 |6604k|  51 | 183 | 839 |3283 | 391 | 839 | 842 | 239 |2673 |1014 |0.000000e+000 |      --      |    Inf 
 96.8s|  2200 |  1090 |694346 |6642k|  51 |   - | 839 |3347 | 516 |   0 |   0 | 239 |2809 |1038 |0.000000e+000 |      --      |    Inf 
  101s|  2300 |  1127 |725631 |6707k|  51 |   - | 839 |3378 | 776 |   0 |   0 | 239 |2929 |1062 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  104s|  2400 |  1167 |757562 |6771k|  51 | 240 | 839 |3397 | 668 | 839 | 842 | 239 |3051 |1074 |0.000000e+000 |      --      |    Inf 
  105s|  2500 |  1168 |767456 |6862k|  51 | 225 | 839 |3572 | 709 | 839 | 842 | 239 |3257 |1086 |0.000000e+000 |      --      |    Inf 
  109s|  2600 |  1187 |792595 |6896k|  51 | 219 | 839 |3589 | 754 | 839 | 842 | 239 |3399 |1110 |0.000000e+000 |      --      |    Inf 
  110s|  2700 |  1183 |801075 |6916k|  51 | 219 | 839 |3657 | 723 | 839 | 842 | 239 |3541 |1122 |0.000000e+000 |      --      |    Inf 
  112s|  2800 |  1194 |815606 |6965k|  51 | 221 | 839 |3717 | 780 | 839 | 842 | 239 |3709 |1146 |0.000000e+000 |      --      |    Inf 
  113s|  2900 |  1194 |824584 |7032k|  51 | 244 | 839 |3843 | 709 | 839 | 842 | 239 |3884 |1157 |0.000000e+000 |      --      |    Inf 
  115s|  3000 |  1189 |835963 |7077k|  51 | 204 | 839 |3932 | 671 | 839 | 842 | 239 |4019 |1179 |0.000000e+000 |      --      |    Inf 
  116s|  3100 |  1198 |847503 |7138k|  51 | 209 | 839 |4033 | 429 | 839 | 842 | 239 |4213 |1190 |0.000000e+000 |      --      |    Inf 
  118s|  3200 |  1189 |856575 |7236k|  51 | 221 | 839 |4221 | 595 | 839 | 842 | 239 |4446 |1213 |0.000000e+000 |      --      |    Inf 
  119s|  3300 |  1189 |866370 |7296k|  51 |   - | 839 |4314 | 551 |   0 |   0 | 239 |4613 |1236 |0.000000e+000 |      --      |    Inf 
  121s|  3400 |  1188 |877849 |7316k|  51 | 104 | 839 |4336 | 321 | 839 | 842 | 239 |4775 |1276 |0.000000e+000 |      --      |    Inf 
  126s|  3500 |  1229 |927590 |6944k|  51 | 350 | 839 |3369 |1023 | 839 | 842 | 239 |4936 |1308 |0.000000e+000 |      --      |    Inf 
  132s|  3600 |  1299 |976939 |6874k|  51 | 374 | 839 |3014 |1265 | 839 | 842 | 239 |5048 |1330 |0.000000e+000 |      --      |    Inf 
  135s|  3700 |  1350 |  1001k|6902k|  51 | 394 | 839 |2871 |1459 | 839 | 842 | 239 |5127 |1363 |0.000000e+000 |      --      |    Inf 
  138s|  3800 |  1395 |  1021k|6947k|  51 | 225 | 839 |2843 | 434 | 839 | 842 | 239 |5228 |1383 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  140s|  3900 |  1413 |  1034k|7057k|  51 | 301 | 839 |2967 | 597 | 839 | 842 | 239 |5385 |1401 |0.000000e+000 |      --      |    Inf 
  141s|  4000 |  1415 |  1047k|7240k|  51 |   - | 839 |3207 | 453 |   0 |   0 | 239 |5665 |1431 |0.000000e+000 |      --      |    Inf 
  143s|  4100 |  1418 |  1058k|7260k|  51 |   - | 839 |3300 | 741 |   0 |   0 | 239 |5839 |1460 |0.000000e+000 |      --      |    Inf 
  145s|  4200 |  1427 |  1074k|7424k|  51 | 251 | 839 |3570 | 573 | 839 | 842 | 239 |6135 |1489 |0.000000e+000 |      --      |    Inf 
  147s|  4300 |  1426 |  1086k|7592k|  51 |  61 | 839 |3819 | 152 | 839 | 842 | 239 |6434 |1507 |0.000000e+000 |      --      |    Inf 
  149s|  4400 |  1421 |  1099k|7626k|  51 | 242 | 839 |3923 | 599 | 839 | 842 | 239 |6708 |1534 |0.000000e+000 |      --      |    Inf 
  150s|  4500 |  1420 |  1113k|7662k|  51 |   - | 839 |3988 | 355 |   0 |   0 | 239 |6897 |1561 |0.000000e+000 |      --      |    Inf 
  152s|  4600 |  1416 |  1125k|7726k|  51 | 199 | 839 |4123 | 478 | 839 | 842 | 239 |7094 |1596 |0.000000e+000 |      --      |    Inf 
  154s|  4700 |  1426 |  1139k|7744k|  51 | 185 | 839 |4129 | 485 | 839 | 842 | 239 |7313 |1623 |0.000000e+000 |      --      |    Inf 
  155s|  4800 |  1421 |  1149k|7844k|  51 |   - | 839 |4281 | 413 |   0 |   0 | 239 |7561 |1650 |0.000000e+000 |      --      |    Inf 
  157s|  4900 |  1429 |  1164k|7802k|  51 |   - | 839 |4200 | 543 |   0 |   0 | 239 |7712 |1676 |0.000000e+000 |      --      |    Inf 
  159s|  5000 |  1435 |  1178k|7912k|  51 | 110 | 839 |4343 | 244 | 839 | 842 | 239 |7951 |1712 |0.000000e+000 |      --      |    Inf 
  161s|  5100 |  1434 |  1188k|7973k|  51 |  86 | 839 |4466 | 194 | 839 | 842 | 239 |8129 |1744 |0.000000e+000 |      --      |    Inf 
  162s|  5200 |  1433 |  1198k|7976k|  51 | 268 | 839 |4522 | 738 | 839 | 842 | 239 |8289 |1774 |0.000000e+000 |      --      |    Inf 
  164s|  5300 |  1437 |  1211k|8151k|  51 |   - | 839 |4729 | 288 |   0 |   0 | 239 |8561 |1788 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  166s|  5400 |  1444 |  1225k|8263k|  51 |   - | 839 |4875 | 397 |   0 |   0 | 239 |8785 |1803 |0.000000e+000 |      --      |    Inf 
  167s|  5500 |  1430 |  1236k|8258k|  51 | 227 | 839 |4909 | 918 | 839 | 842 | 239 |9028 |1805 |0.000000e+000 |      --      |    Inf 
  168s|  5600 |  1430 |  1249k|8294k|  51 | 289 | 839 |4983 | 815 | 839 | 842 | 239 |9210 |1807 |0.000000e+000 |      --      |    Inf 
  170s|  5700 |  1422 |  1262k|8151k|  51 |   - | 839 |4776 | 407 |   0 |   0 | 239 |9357 |1812 |0.000000e+000 |      --      |    Inf 
  171s|  5800 |  1427 |  1279k|8168k|  51 |   - | 839 |4805 | 466 |   0 |   0 | 239 |9525 |1816 |0.000000e+000 |      --      |    Inf 
  172s|  5900 |  1425 |  1292k|8217k|  51 | 293 | 839 |4899 | 882 | 839 | 842 | 239 |9728 |1818 |0.000000e+000 |      --      |    Inf 
  174s|  6000 |  1424 |  1306k|8236k|  51 | 208 | 839 |4971 | 430 | 839 | 842 | 239 |9905 |1818 |0.000000e+000 |      --      |    Inf 
  175s|  6100 |  1427 |  1321k|8185k|  51 |   - | 839 |4824 | 411 |   0 |   0 | 239 |  10k|1820 |0.000000e+000 |      --      |    Inf 
  177s|  6200 |  1425 |  1336k|8114k|  51 |   - | 839 |4762 | 533 |   0 |   0 | 239 |  10k|1821 |0.000000e+000 |      --      |    Inf 
  178s|  6300 |  1425 |  1349k|8201k|  51 |   - | 839 |4832 | 402 |   0 |   0 | 239 |  10k|1822 |0.000000e+000 |      --      |    Inf 
  179s|  6400 |  1427 |  1363k|8191k|  51 | 308 | 839 |4817 | 715 | 839 | 842 | 239 |  10k|1823 |0.000000e+000 |      --      |    Inf 
  181s|  6500 |  1432 |  1375k|8309k|  51 |   - | 839 |4952 | 314 |   0 |   0 | 239 |  10k|1823 |0.000000e+000 |      --      |    Inf 
  182s|  6600 |  1429 |  1388k|8250k|  51 | 257 | 839 |4876 | 507 | 839 | 842 | 239 |  11k|1841 |0.000000e+000 |      --      |    Inf 
  184s|  6700 |  1423 |  1401k|8327k|  51 | 294 | 839 |5023 | 580 | 839 | 842 | 239 |  11k|1871 |0.000000e+000 |      --      |    Inf 
  186s|  6800 |  1428 |  1412k|8485k|  51 | 185 | 839 |5249 | 453 | 839 | 842 | 239 |  11k|1892 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  187s|  6900 |  1433 |  1421k|8662k|  51 |  74 | 839 |5473 | 202 | 839 | 842 | 239 |  11k|1920 |0.000000e+000 |      --      |    Inf 
  188s|  7000 |  1420 |  1431k|8636k|  51 |   - | 839 |5495 | 407 |   0 |   0 | 239 |  11k|1941 |0.000000e+000 |      --      |    Inf 
  190s|  7100 |  1431 |  1446k|8621k|  51 |   - | 839 |5463 |  80 |   0 |   0 | 239 |  12k|1972 |0.000000e+000 |      --      |    Inf 
  191s|  7200 |  1422 |  1454k|8873k|  51 |   - | 839 |5821 | 686 |   0 |   0 | 239 |  12k|1990 |0.000000e+000 |      --      |    Inf 
  193s|  7300 |  1427 |  1466k|8930k|  51 |   - | 839 |5912 | 198 |   0 |   0 | 239 |  12k|2011 |0.000000e+000 |      --      |    Inf 
  195s|  7400 |  1423 |  1479k|8946k|  51 | 258 | 839 |5978 | 786 | 839 | 842 | 239 |  12k|2059 |0.000000e+000 |      --      |    Inf 
  197s|  7500 |  1425 |  1494k|8950k|  51 | 220 | 839 |5998 | 707 | 839 | 842 | 239 |  13k|2069 |0.000000e+000 |      --      |    Inf 
  199s|  7600 |  1422 |  1510k|9018k|  51 | 182 | 839 |6095 | 500 | 839 | 842 | 239 |  13k|2092 |0.000000e+000 |      --      |    Inf 
  201s|  7700 |  1420 |  1523k|9045k|  51 | 243 | 839 |6144 | 568 | 839 | 842 | 239 |  13k|2112 |0.000000e+000 |      --      |    Inf 
  202s|  7800 |  1421 |  1535k|9062k|  51 |   - | 839 |6158 | 756 |   0 |   0 | 239 |  13k|2137 |0.000000e+000 |      --      |    Inf 
  204s|  7900 |  1419 |  1549k|8779k|  51 |   - | 839 |5791 | 525 |   0 |   0 | 239 |  13k|2187 |0.000000e+000 |      --      |    Inf 
  206s|  8000 |  1412 |  1565k|8532k|  51 | 236 | 839 |5458 | 895 | 839 | 842 | 239 |  14k|2222 |0.000000e+000 |      --      |    Inf 
  208s|  8100 |  1412 |  1579k|8625k|  51 | 287 | 839 |5614 | 595 | 839 | 842 | 239 |  14k|2256 |0.000000e+000 |      --      |    Inf 
  210s|  8200 |  1415 |  1595k|8606k|  51 | 285 | 839 |5572 | 781 | 839 | 842 | 239 |  14k|2285 |0.000000e+000 |      --      |    Inf 
  212s|  8300 |  1415 |  1609k|8675k|  51 |   - | 839 |5657 | 413 |   0 |   0 | 239 |  14k|2318 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  214s|  8400 |  1408 |  1622k|8717k|  51 | 305 | 839 |5799 |1382 | 839 | 842 | 239 |  15k|2336 |0.000000e+000 |      --      |    Inf 
  216s|  8500 |  1415 |  1636k|8762k|  51 | 232 | 839 |5857 | 510 | 839 | 842 | 239 |  15k|2368 |0.000000e+000 |      --      |    Inf 
  217s|  8600 |  1413 |  1649k|8794k|  51 |   - | 839 |5908 | 469 |   0 |   0 | 239 |  15k|2388 |0.000000e+000 |      --      |    Inf 
  219s|  8700 |  1411 |  1662k|8790k|  51 |   - | 839 |5904 | 348 |   0 |   0 | 239 |  15k|2407 |0.000000e+000 |      --      |    Inf 
  221s|  8800 |  1421 |  1675k|8869k|  51 | 333 | 839 |6022 | 896 | 839 | 842 | 239 |  15k|2409 |0.000000e+000 |      --      |    Inf 
  222s|  8900 |  1414 |  1688k|8939k|  51 | 244 | 839 |6204 | 724 | 839 | 842 | 239 |  16k|2409 |0.000000e+000 |      --      |    Inf 
  223s|  9000 |  1408 |  1701k|8814k|  51 | 205 | 839 |6045 | 451 | 839 | 842 | 239 |  16k|2421 |0.000000e+000 |      --      |    Inf 
  225s|  9100 |  1403 |  1713k|8919k|  51 |   - | 839 |6224 | 545 |   0 |   0 | 239 |  16k|2424 |0.000000e+000 |      --      |    Inf 
  226s|  9200 |  1411 |  1727k|8979k|  51 | 243 | 839 |6306 | 678 | 839 | 842 | 239 |  16k|2428 |0.000000e+000 |      --      |    Inf 
  227s|  9300 |  1415 |  1737k|9128k|  51 | 197 | 839 |6531 | 564 | 839 | 842 | 239 |  17k|2428 |0.000000e+000 |      --      |    Inf 
  228s|  9400 |  1414 |  1750k|9244k|  51 |   - | 839 |6733 | 390 |   0 |   0 | 239 |  17k|2428 |0.000000e+000 |      --      |    Inf 
  229s|  9500 |  1418 |  1763k|9375k|  51 |  97 | 839 |6902 | 188 | 839 | 842 | 239 |  17k|2428 |0.000000e+000 |      --      |    Inf 
  230s|  9600 |  1407 |  1772k|9420k|  51 |   - | 839 |7021 | 529 |   0 |   0 | 239 |  17k|2428 |0.000000e+000 |      --      |    Inf 
  232s|  9700 |  1422 |  1789k|9446k|  51 | 170 | 839 |6986 | 427 | 839 | 842 | 239 |  18k|2428 |0.000000e+000 |      --      |    Inf 
  233s|  9800 |  1414 |  1802k|9525k|  51 | 297 | 839 |7138 | 690 | 839 | 842 | 239 |  18k|2428 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  234s|  9900 |  1414 |  1813k|9683k|  51 | 189 | 839 |7344 | 545 | 839 | 842 | 239 |  18k|2428 |0.000000e+000 |      --      |    Inf 
  236s| 10000 |  1415 |  1827k|9707k|  51 |   - | 839 |7385 | 179 |   0 |   0 | 239 |  18k|2428 |0.000000e+000 |      --      |    Inf 
  237s| 10100 |  1408 |  1836k|9807k|  51 |   - | 839 |7543 | 531 |   0 |   0 | 239 |  19k|2428 |0.000000e+000 |      --      |    Inf 
  238s| 10200 |  1407 |  1851k|9702k|  51 | 265 | 839 |7449 | 621 | 839 | 842 | 239 |  19k|2428 |0.000000e+000 |      --      |    Inf 
  240s| 10300 |  1411 |  1863k|9752k|  51 | 223 | 839 |7526 | 544 | 839 | 842 | 239 |  19k|2457 |0.000000e+000 |      --      |    Inf 
  242s| 10400 |  1407 |  1878k|9745k|  51 | 253 | 839 |7571 | 668 | 839 | 842 | 239 |  19k|2487 |0.000000e+000 |      --      |    Inf 
  243s| 10500 |  1409 |  1891k|9793k|  51 |   - | 839 |7622 | 548 |   0 |   0 | 239 |  20k|2505 |0.000000e+000 |      --      |    Inf 
  246s| 10600 |  1400 |  1906k|9653k|  51 | 275 | 839 |7438 | 927 | 839 | 842 | 239 |  20k|2524 |0.000000e+000 |      --      |    Inf 
  248s| 10700 |  1406 |  1918k|9488k|  51 |   - | 839 |7038 | 685 |   0 |   0 | 239 |  20k|2587 |0.000000e+000 |      --      |    Inf 
  249s| 10800 |  1416 |  1932k|9473k|  51 | 115 | 839 |7011 | 284 | 839 | 842 | 239 |  20k|2597 |0.000000e+000 |      --      |    Inf 
  251s| 10900 |  1407 |  1944k|9556k|  51 |   - | 839 |7157 | 367 |   0 |   0 | 239 |  20k|2607 |0.000000e+000 |      --      |    Inf 
  252s| 11000 |  1406 |  1955k|9653k|  51 |   - | 839 |7313 | 117 |   0 |   0 | 239 |  21k|2626 |0.000000e+000 |      --      |    Inf 
  254s| 11100 |  1403 |  1966k|9658k|  51 |   - | 839 |7361 | 481 |   0 |   0 | 239 |  21k|2653 |0.000000e+000 |      --      |    Inf 
  255s| 11200 |  1411 |  1979k|9485k|  51 | 197 | 839 |7037 | 568 | 839 | 842 | 239 |  21k|2671 |0.000000e+000 |      --      |    Inf 
  259s| 11300 |  1402 |  1991k|9441k|  51 | 222 | 839 |6983 | 514 | 839 | 842 | 239 |  21k|2771 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  260s| 11400 |  1408 |  2005k|9519k|  51 | 222 | 839 |7095 | 539 | 839 | 842 | 239 |  21k|2771 |0.000000e+000 |      --      |    Inf 
  262s| 11500 |  1404 |  2019k|9567k|  51 | 307 | 839 |7206 |1435 | 839 | 842 | 239 |  22k|2771 |0.000000e+000 |      --      |    Inf 
  263s| 11600 |  1403 |  2032k|9619k|  51 | 292 | 839 |7252 | 676 | 839 | 842 | 239 |  22k|2771 |0.000000e+000 |      --      |    Inf 
  264s| 11700 |  1414 |  2043k|9696k|  51 |   - | 839 |7346 | 310 |   0 |   0 | 239 |  22k|2771 |0.000000e+000 |      --      |    Inf 
  267s| 11800 |  1417 |  2057k|9770k|  51 | 140 | 839 |7482 | 317 | 839 | 842 | 239 |  22k|2842 |0.000000e+000 |      --      |    Inf 
  268s| 11900 |  1415 |  2070k|9815k|  51 |   - | 839 |7558 | 685 |   0 |   0 | 239 |  22k|2842 |0.000000e+000 |      --      |    Inf 
  269s| 12000 |  1410 |  2082k|9887k|  51 | 247 | 839 |7690 | 608 | 839 | 842 | 239 |  23k|2842 |0.000000e+000 |      --      |    Inf 
  270s| 12100 |  1407 |  2092k|  10M|  51 | 279 | 839 |7894 | 587 | 839 | 842 | 239 |  23k|2842 |0.000000e+000 |      --      |    Inf 
  272s| 12200 |  1410 |  2106k|9970k|  51 |   - | 839 |7852 | 407 |   0 |   0 | 239 |  23k|2872 |0.000000e+000 |      --      |    Inf 
  274s| 12300 |  1407 |  2116k|  10M|  51 |   - | 839 |8146 | 162 |   0 |   0 | 239 |  24k|2912 |0.000000e+000 |      --      |    Inf 
  276s| 12400 |  1409 |  2129k|  10M|  51 |  56 | 839 |8243 | 114 | 839 | 842 | 239 |  24k|2932 |0.000000e+000 |      --      |    Inf 
  278s| 12500 |  1403 |  2143k|  10M|  51 | 241 | 839 |8278 | 514 | 839 | 842 | 239 |  24k|2961 |0.000000e+000 |      --      |    Inf 
  279s| 12600 |  1404 |  2156k|  10M|  51 | 251 | 839 |8430 | 592 | 839 | 842 | 239 |  24k|2961 |0.000000e+000 |      --      |    Inf 
  281s| 12700 |  1401 |  2167k|  10M|  51 |   - | 839 |8713 | 365 |   0 |   0 | 239 |  25k|2972 |0.000000e+000 |      --      |    Inf 
  283s| 12800 |  1403 |  2182k|  10M|  51 | 221 | 839 |8523 | 676 | 839 | 842 | 239 |  25k|3002 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  285s| 12900 |  1402 |  2196k|  10M|  51 | 250 | 839 |8306 | 634 | 839 | 842 | 239 |  25k|3032 |0.000000e+000 |      --      |    Inf 
  287s| 13000 |  1409 |  2211k|  10M|  51 | 242 | 839 |8303 | 552 | 839 | 842 | 239 |  25k|3044 |0.000000e+000 |      --      |    Inf 
  289s| 13100 |  1405 |  2226k|  10M|  51 | 275 | 839 |8407 | 617 | 839 | 842 | 239 |  25k|3073 |0.000000e+000 |      --      |    Inf 
  291s| 13200 |  1404 |  2244k|  10M|  51 |   - | 839 |8494 | 413 |   0 |   0 | 239 |  25k|3090 |0.000000e+000 |      --      |    Inf 
  295s| 13300 |  1404 |  2262k|  10M|  51 |   - | 839 |8296 | 593 |   0 |   0 | 239 |  26k|3175 |0.000000e+000 |      --      |    Inf 
  297s| 13400 |  1407 |  2275k|9926k|  51 |   - | 839 |7649 | 806 |   0 |   0 | 239 |  26k|3183 |0.000000e+000 |      --      |    Inf 
  299s| 13500 |  1403 |  2289k|9663k|  51 |   - | 839 |7179 | 572 |   0 |   0 | 239 |  26k|3183 |0.000000e+000 |      --      |    Inf 
  300s| 13600 |  1405 |  2301k|9623k|  51 | 273 | 839 |7089 | 606 | 839 | 842 | 239 |  26k|3187 |0.000000e+000 |      --      |    Inf 
  301s| 13700 |  1411 |  2313k|9759k|  51 |   - | 839 |7253 |  52 |   0 |   0 | 239 |  26k|3187 |0.000000e+000 |      --      |    Inf 
  302s| 13800 |  1414 |  2324k|9769k|  51 | 255 | 839 |7318 | 551 | 839 | 842 | 239 |  26k|3188 |0.000000e+000 |      --      |    Inf 
  304s| 13900 |  1420 |  2338k|9832k|  51 | 238 | 839 |7431 | 473 | 839 | 842 | 239 |  26k|3198 |0.000000e+000 |      --      |    Inf 
  306s| 14000 |  1413 |  2351k|9855k|  51 | 273 | 839 |7518 | 634 | 839 | 842 | 239 |  27k|3217 |0.000000e+000 |      --      |    Inf 
  307s| 14100 |  1415 |  2363k|9943k|  51 | 260 | 839 |7643 | 676 | 839 | 842 | 239 |  27k|3241 |0.000000e+000 |      --      |    Inf 
  309s| 14200 |  1409 |  2377k|9981k|  51 |   - | 839 |7724 | 373 |   0 |   0 | 239 |  27k|3251 |0.000000e+000 |      --      |    Inf 
  311s| 14300 |  1410 |  2391k|  10M|  51 | 250 | 839 |7759 | 554 | 839 | 842 | 239 |  27k|3255 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  312s| 14400 |  1412 |  2405k|  10M|  51 |   - | 839 |7755 | 961 |   0 |   0 | 239 |  27k|3267 |0.000000e+000 |      --      |    Inf 
  314s| 14500 |  1419 |  2421k|  10M|  51 | 263 | 839 |7805 | 545 | 839 | 842 | 239 |  28k|3273 |0.000000e+000 |      --      |    Inf 
  315s| 14600 |  1423 |  2435k|  10M|  51 | 267 | 839 |7896 | 477 | 839 | 842 | 239 |  28k|3273 |0.000000e+000 |      --      |    Inf 
  317s| 14700 |  1423 |  2446k|  10M|  51 | 266 | 839 |8162 | 482 | 839 | 842 | 239 |  28k|3273 |0.000000e+000 |      --      |    Inf 
  318s| 14800 |  1426 |  2457k|  10M|  51 | 229 | 839 |8403 | 479 | 839 | 842 | 239 |  28k|3273 |0.000000e+000 |      --      |    Inf 
  319s| 14900 |  1421 |  2468k|  10M|  51 |   - | 839 |8559 | 509 |   0 |   0 | 239 |  29k|3273 |0.000000e+000 |      --      |    Inf 
  320s| 15000 |  1422 |  2477k|  10M|  51 | 220 | 839 |8839 | 646 | 839 | 842 | 239 |  29k|3273 |0.000000e+000 |      --      |    Inf 
  321s| 15100 |  1420 |  2489k|  10M|  51 |   - | 839 |8833 | 616 |   0 |   0 | 239 |  29k|3273 |0.000000e+000 |      --      |    Inf 
  322s| 15200 |  1420 |  2502k|  10M|  51 |   - | 839 |8808 | 439 |   0 |   0 | 239 |  29k|3273 |0.000000e+000 |      --      |    Inf 
  324s| 15300 |  1426 |  2516k|  10M|  51 | 267 | 839 |8857 |1236 | 839 | 842 | 239 |  30k|3273 |0.000000e+000 |      --      |    Inf 
  325s| 15400 |  1427 |  2529k|  10M|  51 | 242 | 839 |8971 | 612 | 839 | 842 | 239 |  30k|3274 |0.000000e+000 |      --      |    Inf 
  326s| 15500 |  1429 |  2541k|  10M|  51 | 210 | 839 |9176 | 473 | 839 | 842 | 239 |  30k|3274 |0.000000e+000 |      --      |    Inf 
  327s| 15600 |  1426 |  2552k|  11M|  51 | 263 | 839 |9442 | 647 | 839 | 842 | 239 |  30k|3274 |0.000000e+000 |      --      |    Inf 
  328s| 15700 |  1424 |  2564k|  11M|  51 | 252 | 839 |9597 | 718 | 839 | 842 | 239 |  31k|3275 |0.000000e+000 |      --      |    Inf 
  330s| 15800 |  1428 |  2577k|  11M|  51 |  33 | 839 |9790 |  73 | 839 | 842 | 239 |  31k|3275 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  331s| 15900 |  1420 |  2591k|  11M|  51 | 265 | 839 |9620 | 910 | 839 | 842 | 239 |  31k|3275 |0.000000e+000 |      --      |    Inf 
  332s| 16000 |  1420 |  2603k|  11M|  51 |   - | 839 |9731 | 660 |   0 |   0 | 239 |  31k|3275 |0.000000e+000 |      --      |    Inf 
  334s| 16100 |  1416 |  2615k|  11M|  51 | 215 | 839 |9597 | 918 | 839 | 842 | 239 |  32k|3275 |0.000000e+000 |      --      |    Inf 
  335s| 16200 |  1416 |  2629k|  11M|  51 | 234 | 839 |9442 | 553 | 839 | 842 | 239 |  32k|3275 |0.000000e+000 |      --      |    Inf 
  337s| 16300 |  1416 |  2642k|  11M|  51 | 319 | 839 |9392 |1029 | 839 | 842 | 239 |  32k|3293 |0.000000e+000 |      --      |    Inf 
  339s| 16400 |  1418 |  2656k|  11M|  51 | 138 | 839 |9458 | 307 | 839 | 842 | 239 |  32k|3324 |0.000000e+000 |      --      |    Inf 
  341s| 16500 |  1415 |  2669k|  11M|  51 | 221 | 839 |9579 | 524 | 839 | 842 | 239 |  33k|3333 |0.000000e+000 |      --      |    Inf 
  342s| 16600 |  1414 |  2682k|  11M|  51 | 140 | 839 |9719 | 301 | 839 | 842 | 239 |  33k|3351 |0.000000e+000 |      --      |    Inf 
  344s| 16700 |  1413 |  2696k|  11M|  51 | 166 | 839 |9787 | 383 | 839 | 842 | 239 |  33k|3381 |0.000000e+000 |      --      |    Inf 
  346s| 16800 |  1418 |  2710k|  11M|  51 | 311 | 839 |9719 |1054 | 839 | 842 | 239 |  33k|3408 |0.000000e+000 |      --      |    Inf 
  348s| 16900 |  1412 |  2725k|  11M|  51 | 321 | 839 |9743 | 766 | 839 | 842 | 239 |  33k|3436 |0.000000e+000 |      --      |    Inf 
  350s| 17000 |  1428 |  2739k|  11M|  51 | 205 | 839 |9731 | 501 | 839 | 842 | 239 |  34k|3472 |0.000000e+000 |      --      |    Inf 
  352s| 17100 |  1426 |  2753k|  11M|  51 |   - | 839 |9723 | 447 |   0 |   0 | 239 |  34k|3492 |0.000000e+000 |      --      |    Inf 
  354s| 17200 |  1421 |  2767k|  11M|  51 |   - | 839 |9920 | 502 |   0 |   0 | 239 |  34k|3503 |0.000000e+000 |      --      |    Inf 
  356s| 17300 |  1426 |  2782k|  11M|  51 | 198 | 839 |  10k| 456 | 839 | 842 | 239 |  35k|3516 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  358s| 17400 |  1421 |  2796k|  11M|  51 | 233 | 839 |  10k| 592 | 839 | 842 | 239 |  35k|3536 |0.000000e+000 |      --      |    Inf 
  359s| 17500 |  1421 |  2805k|  11M|  51 |   - | 839 |  10k| 442 |   0 |   0 | 239 |  35k|3572 |0.000000e+000 |      --      |    Inf 
  360s| 17600 |  1424 |  2814k|  11M|  51 |   - | 839 |  10k|  74 |   0 |   0 | 239 |  36k|3572 |0.000000e+000 |      --      |    Inf 
  362s| 17700 |  1420 |  2826k|  11M|  51 | 248 | 839 |  10k| 827 | 839 | 842 | 239 |  36k|3582 |0.000000e+000 |      --      |    Inf 
  364s| 17800 |  1416 |  2840k|  11M|  51 | 315 | 839 |  10k| 979 | 839 | 842 | 239 |  36k|3601 |0.000000e+000 |      --      |    Inf 
  365s| 17900 |  1424 |  2848k|  11M|  51 | 129 | 839 |  10k| 344 | 839 | 842 | 239 |  37k|3622 |0.000000e+000 |      --      |    Inf 
  366s| 18000 |  1422 |  2862k|  11M|  51 |   - | 839 |  10k| 339 |   0 |   0 | 239 |  37k|3658 |0.000000e+000 |      --      |    Inf 
  369s| 18100 |  1419 |  2874k|  12M|  51 |   - | 839 |  11k| 551 |   0 |   0 | 239 |  37k|3713 |0.000000e+000 |      --      |    Inf 
  371s| 18200 |  1415 |  2887k|  12M|  51 | 143 | 839 |  11k| 268 | 839 | 842 | 239 |  38k|3713 |0.000000e+000 |      --      |    Inf 
  372s| 18300 |  1417 |  2901k|  12M|  51 | 220 | 839 |  11k| 572 | 839 | 842 | 239 |  38k|3713 |0.000000e+000 |      --      |    Inf 
  373s| 18400 |  1423 |  2914k|  12M|  51 | 230 | 839 |  11k| 597 | 839 | 842 | 239 |  38k|3713 |0.000000e+000 |      --      |    Inf 
  375s| 18500 |  1421 |  2926k|  12M|  51 | 206 | 839 |  11k| 445 | 839 | 842 | 239 |  38k|3732 |0.000000e+000 |      --      |    Inf 
  377s| 18600 |  1417 |  2940k|  12M|  51 | 240 | 839 |  12k| 656 | 839 | 842 | 239 |  39k|3764 |0.000000e+000 |      --      |    Inf 
  378s| 18700 |  1414 |  2952k|  12M|  51 |   - | 839 |  12k|  61 |   0 |   0 | 239 |  39k|3772 |0.000000e+000 |      --      |    Inf 
  380s| 18800 |  1409 |  2966k|  12M|  51 |   - | 839 |  12k| 397 |   0 |   0 | 239 |  40k|3803 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  383s| 18900 |  1415 |  2979k|  12M|  51 | 182 | 839 |  12k| 444 | 839 | 842 | 239 |  40k|3824 |0.000000e+000 |      --      |    Inf 
  384s| 19000 |  1412 |  2991k|  12M|  51 | 278 | 839 |  12k| 885 | 839 | 842 | 239 |  40k|3834 |0.000000e+000 |      --      |    Inf 
  386s| 19100 |  1411 |  3002k|  12M|  51 | 300 | 839 |  12k|1193 | 839 | 842 | 239 |  41k|3845 |0.000000e+000 |      --      |    Inf 
  387s| 19200 |  1418 |  3015k|  13M|  51 |  39 | 839 |  12k|  86 | 839 | 842 | 239 |  41k|3863 |0.000000e+000 |      --      |    Inf 
  388s| 19300 |  1412 |  3024k|  13M|  51 |   - | 839 |  12k| 626 |   0 |   0 | 239 |  41k|3865 |0.000000e+000 |      --      |    Inf 
  390s| 19400 |  1420 |  3037k|  13M|  51 |   - | 839 |  12k| 653 |   0 |   0 | 239 |  42k|3872 |0.000000e+000 |      --      |    Inf 
  391s| 19500 |  1421 |  3047k|  13M|  51 |  74 | 839 |  13k| 160 | 839 | 842 | 239 |  42k|3873 |0.000000e+000 |      --      |    Inf 
  392s| 19600 |  1420 |  3059k|  13M|  52 | 197 | 839 |  13k| 502 | 839 | 842 | 239 |  42k|3877 |0.000000e+000 |      --      |    Inf 
  393s| 19700 |  1429 |  3071k|  13M|  52 | 156 | 839 |  13k| 339 | 839 | 842 | 239 |  43k|3878 |0.000000e+000 |      --      |    Inf 
  395s| 19800 |  1429 |  3085k|  13M|  52 |   - | 839 |  13k| 205 |   0 |   0 | 239 |  43k|3879 |0.000000e+000 |      --      |    Inf 
  396s| 19900 |  1427 |  3097k|  14M|  52 |  58 | 839 |  14k| 163 | 839 | 842 | 239 |  43k|3879 |0.000000e+000 |      --      |    Inf 
  397s| 20000 |  1423 |  3107k|  14M|  52 |   - | 839 |  14k| 335 |   0 |   0 | 239 |  44k|3879 |0.000000e+000 |      --      |    Inf 
  398s| 20100 |  1416 |  3120k|  14M|  52 | 237 | 839 |  14k| 589 | 839 | 842 | 239 |  44k|3879 |0.000000e+000 |      --      |    Inf 
  400s| 20200 |  1411 |  3132k|  14M|  52 |   - | 839 |  14k|  96 |   0 |   0 | 239 |  44k|3879 |0.000000e+000 |      --      |    Inf 
  401s| 20300 |  1414 |  3144k|  14M|  52 |  46 | 839 |  14k|  91 | 839 | 842 | 239 |  45k|3879 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  402s| 20400 |  1408 |  3155k|  14M|  52 |   - | 839 |  14k| 634 |   0 |   0 | 239 |  45k|3879 |0.000000e+000 |      --      |    Inf 
  404s| 20500 |  1416 |  3170k|  13M|  52 | 261 | 839 |  13k| 639 | 839 | 842 | 239 |  45k|3886 |0.000000e+000 |      --      |    Inf 
  405s| 20600 |  1417 |  3181k|  13M|  52 |   - | 839 |  13k|  70 |   0 |   0 | 239 |  45k|3887 |0.000000e+000 |      --      |    Inf 
  407s| 20700 |  1409 |  3191k|  13M|  52 |   - | 839 |  13k| 463 |   0 |   0 | 239 |  46k|3887 |0.000000e+000 |      --      |    Inf 
  408s| 20800 |  1415 |  3206k|  13M|  52 |  43 | 839 |  13k|  80 | 839 | 842 | 239 |  46k|3887 |0.000000e+000 |      --      |    Inf 
  409s| 20900 |  1408 |  3215k|  14M|  52 | 312 | 839 |  13k| 861 | 839 | 842 | 239 |  46k|3887 |0.000000e+000 |      --      |    Inf 
  411s| 21000 |  1414 |  3228k|  14M|  52 | 248 | 839 |  14k| 606 | 839 | 842 | 239 |  46k|3887 |0.000000e+000 |      --      |    Inf 
  412s| 21100 |  1408 |  3239k|  14M|  52 | 275 | 839 |  14k| 602 | 839 | 842 | 239 |  47k|3887 |0.000000e+000 |      --      |    Inf 
  414s| 21200 |  1416 |  3253k|  13M|  52 | 289 | 839 |  12k| 800 | 839 | 842 | 239 |  47k|3921 |0.000000e+000 |      --      |    Inf 
  416s| 21300 |  1418 |  3270k|  12M|  52 |   - | 839 |  11k| 539 |   0 |   0 | 239 |  47k|3940 |0.000000e+000 |      --      |    Inf 
  418s| 21400 |  1411 |  3286k|  12M|  52 | 270 | 839 |  10k| 694 | 839 | 842 | 239 |  47k|3942 |0.000000e+000 |      --      |    Inf 
  420s| 21500 |  1407 |  3301k|  12M|  52 |   - | 839 |  10k| 436 |   0 |   0 | 239 |  48k|3942 |0.000000e+000 |      --      |    Inf 
  422s| 21600 |  1417 |  3318k|  11M|  52 | 309 | 839 |  10k| 733 | 839 | 842 | 239 |  48k|3943 |0.000000e+000 |      --      |    Inf 
  423s| 21700 |  1417 |  3333k|  11M|  52 | 273 | 839 |  10k| 570 | 839 | 842 | 239 |  48k|3947 |0.000000e+000 |      --      |    Inf 
  425s| 21800 |  1404 |  3347k|  11M|  52 | 304 | 839 |  10k| 857 | 839 | 842 | 239 |  48k|3947 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  427s| 21900 |  1410 |  3361k|  11M|  52 | 241 | 839 |  10k| 632 | 839 | 842 | 239 |  48k|3975 |0.000000e+000 |      --      |    Inf 
  429s| 22000 |  1413 |  3378k|  11M|  52 | 225 | 839 |  10k| 439 | 839 | 842 | 239 |  49k|3984 |0.000000e+000 |      --      |    Inf 
  431s| 22100 |  1406 |  3392k|  12M|  52 |   - | 839 |  10k| 674 |   0 |   0 | 239 |  49k|4015 |0.000000e+000 |      --      |    Inf 
  432s| 22200 |  1404 |  3406k|  12M|  52 |   - | 839 |  11k| 703 |   0 |   0 | 239 |  49k|4024 |0.000000e+000 |      --      |    Inf 
  434s| 22300 |  1414 |  3421k|  12M|  52 | 237 | 839 |  11k| 481 | 839 | 842 | 239 |  49k|4045 |0.000000e+000 |      --      |    Inf 
  436s| 22400 |  1420 |  3434k|  12M|  52 | 284 | 839 |  11k| 530 | 839 | 842 | 239 |  50k|4069 |0.000000e+000 |      --      |    Inf 
  438s| 22500 |  1418 |  3447k|  12M|  52 |   - | 839 |  11k| 341 |   0 |   0 | 239 |  50k|4078 |0.000000e+000 |      --      |    Inf 
  440s| 22600 |  1419 |  3459k|  12M|  52 | 201 | 839 |  11k| 470 | 839 | 842 | 239 |  50k|4099 |0.000000e+000 |      --      |    Inf 
  441s| 22700 |  1415 |  3472k|  12M|  52 | 312 | 839 |  11k| 712 | 839 | 842 | 239 |  50k|4108 |0.000000e+000 |      --      |    Inf 
  443s| 22800 |  1420 |  3487k|  12M|  52 |   - | 839 |  12k| 480 |   0 |   0 | 239 |  51k|4136 |0.000000e+000 |      --      |    Inf 
  445s| 22900 |  1414 |  3497k|  12M|  52 |   - | 839 |  12k| 624 |   0 |   0 | 239 |  51k|4154 |0.000000e+000 |      --      |    Inf 
  446s| 23000 |  1411 |  3508k|  12M|  52 |   - | 839 |  12k| 470 |   0 |   0 | 239 |  51k|4175 |0.000000e+000 |      --      |    Inf 
  448s| 23100 |  1420 |  3523k|  12M|  52 | 289 | 839 |  12k| 670 | 839 | 842 | 239 |  51k|4194 |0.000000e+000 |      --      |    Inf 
  450s| 23200 |  1422 |  3537k|  12M|  52 | 248 | 839 |  12k| 618 | 839 | 842 | 239 |  52k|4213 |0.000000e+000 |      --      |    Inf 
  452s| 23300 |  1414 |  3550k|  13M|  52 |   - | 839 |  12k|  58 |   0 |   0 | 239 |  52k|4222 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  454s| 23400 |  1418 |  3566k|  13M|  52 |   - | 839 |  12k| 535 |   0 |   0 | 239 |  52k|4242 |0.000000e+000 |      --      |    Inf 
  456s| 23500 |  1427 |  3580k|  13M|  52 | 271 | 839 |  12k| 615 | 839 | 842 | 239 |  52k|4252 |0.000000e+000 |      --      |    Inf 
  457s| 23600 |  1418 |  3592k|  13M|  52 | 260 | 839 |  12k| 625 | 839 | 842 | 239 |  53k|4262 |0.000000e+000 |      --      |    Inf 
  459s| 23700 |  1412 |  3607k|  13M|  52 | 339 | 839 |  12k|1002 | 839 | 842 | 239 |  53k|4281 |0.000000e+000 |      --      |    Inf 
  462s| 23800 |  1419 |  3623k|  13M|  52 | 229 | 839 |  13k| 470 | 839 | 842 | 239 |  53k|4301 |0.000000e+000 |      --      |    Inf 
  463s| 23900 |  1416 |  3636k|  13M|  52 |   - | 839 |  13k| 575 |   0 |   0 | 239 |  53k|4310 |0.000000e+000 |      --      |    Inf 
  465s| 24000 |  1423 |  3647k|  13M|  52 |   - | 839 |  13k|  58 |   0 |   0 | 239 |  54k|4338 |0.000000e+000 |      --      |    Inf 
  467s| 24100 |  1426 |  3661k|  13M|  52 |   - | 839 |  13k|  87 |   0 |   0 | 239 |  54k|4367 |0.000000e+000 |      --      |    Inf 
  468s| 24200 |  1420 |  3673k|  13M|  52 |   - | 839 |  13k| 365 |   0 |   0 | 239 |  54k|4376 |0.000000e+000 |      --      |    Inf 
  470s| 24300 |  1427 |  3686k|  13M|  52 |  83 | 839 |  13k| 188 | 839 | 842 | 239 |  54k|4385 |0.000000e+000 |      --      |    Inf 
  472s| 24400 |  1424 |  3698k|  14M|  52 | 256 | 839 |  14k| 665 | 839 | 842 | 239 |  55k|4414 |0.000000e+000 |      --      |    Inf 
  474s| 24500 |  1423 |  3713k|  14M|  52 | 264 | 839 |  14k| 707 | 839 | 842 | 239 |  55k|4439 |0.000000e+000 |      --      |    Inf 
  475s| 24600 |  1425 |  3726k|  14M|  52 |  66 | 839 |  14k| 122 | 839 | 842 | 239 |  55k|4439 |0.000000e+000 |      --      |    Inf 
  477s| 24700 |  1429 |  3740k|  14M|  52 | 141 | 839 |  14k| 274 | 839 | 842 | 239 |  55k|4450 |0.000000e+000 |      --      |    Inf 
  480s| 24800 |  1429 |  3753k|  14M|  52 | 277 | 839 |  14k| 827 | 839 | 842 | 239 |  56k|4470 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  481s| 24900 |  1431 |  3767k|  14M|  52 | 200 | 839 |  14k| 467 | 839 | 842 | 239 |  56k|4470 |0.000000e+000 |      --      |    Inf 
  483s| 25000 |  1433 |  3782k|  14M|  52 | 198 | 839 |  14k| 417 | 839 | 842 | 239 |  56k|4486 |0.000000e+000 |      --      |    Inf 
  485s| 25100 |  1430 |  3793k|  14M|  52 | 182 | 839 |  14k| 431 | 839 | 842 | 239 |  56k|4516 |0.000000e+000 |      --      |    Inf 
  486s| 25200 |  1423 |  3807k|  14M|  52 | 242 | 839 |  14k| 797 | 839 | 842 | 239 |  57k|4531 |0.000000e+000 |      --      |    Inf 
  489s| 25300 |  1431 |  3823k|  14M|  52 | 209 | 839 |  14k| 433 | 839 | 842 | 239 |  57k|4554 |0.000000e+000 |      --      |    Inf 
  490s| 25400 |  1427 |  3838k|  14M|  52 | 329 | 839 |  14k| 924 | 839 | 842 | 239 |  57k|4562 |0.000000e+000 |      --      |    Inf 
  492s| 25500 |  1428 |  3854k|  14M|  52 | 316 | 839 |  14k|1057 | 839 | 842 | 239 |  57k|4563 |0.000000e+000 |      --      |    Inf 
  494s| 25600 |  1443 |  3869k|  14M|  52 | 139 | 839 |  15k| 289 | 839 | 842 | 239 |  57k|4563 |0.000000e+000 |      --      |    Inf 
  495s| 25700 |  1434 |  3882k|  14M|  52 | 282 | 839 |  15k| 585 | 839 | 842 | 239 |  58k|4563 |0.000000e+000 |      --      |    Inf 
  497s| 25800 |  1432 |  3898k|  15M|  52 |   - | 839 |  15k| 410 |   0 |   0 | 239 |  58k|4563 |0.000000e+000 |      --      |    Inf 
  498s| 25900 |  1432 |  3913k|  15M|  52 |   - | 839 |  15k| 459 |   0 |   0 | 239 |  58k|4563 |0.000000e+000 |      --      |    Inf 
  500s| 26000 |  1424 |  3929k|  15M|  52 | 301 | 839 |  15k|1143 | 839 | 842 | 239 |  59k|4567 |0.000000e+000 |      --      |    Inf 
  502s| 26100 |  1423 |  3943k|  14M|  52 | 270 | 839 |  15k| 577 | 839 | 842 | 239 |  59k|4574 |0.000000e+000 |      --      |    Inf 
  504s| 26200 |  1424 |  3957k|  15M|  52 | 148 | 839 |  15k| 256 | 839 | 842 | 239 |  59k|4574 |0.000000e+000 |      --      |    Inf 
  505s| 26300 |  1428 |  3967k|  15M|  52 | 191 | 839 |  15k| 339 | 839 | 842 | 239 |  59k|4576 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  506s| 26400 |  1422 |  3978k|  15M|  52 |   - | 839 |  15k| 495 |   0 |   0 | 239 |  60k|4576 |0.000000e+000 |      --      |    Inf 
  508s| 26500 |  1415 |  3992k|  15M|  52 |   - | 839 |  15k| 821 |   0 |   0 | 239 |  60k|4578 |0.000000e+000 |      --      |    Inf 
  509s| 26600 |  1410 |  4004k|  15M|  52 | 288 | 839 |  15k|1250 | 839 | 842 | 239 |  60k|4578 |0.000000e+000 |      --      |    Inf 
  511s| 26700 |  1419 |  4019k|  14M|  52 |   - | 839 |  14k| 813 |   0 |   0 | 239 |  60k|4587 |0.000000e+000 |      --      |    Inf 
  513s| 26800 |  1418 |  4032k|  14M|  52 | 312 | 839 |  15k| 803 | 839 | 842 | 239 |  60k|4587 |0.000000e+000 |      --      |    Inf 
  514s| 26900 |  1422 |  4049k|  14M|  52 |   - | 839 |  15k| 462 |   0 |   0 | 239 |  61k|4587 |0.000000e+000 |      --      |    Inf 
  516s| 27000 |  1432 |  4064k|  14M|  52 |   - | 839 |  15k| 400 |   0 |   0 | 239 |  61k|4587 |0.000000e+000 |      --      |    Inf 
  518s| 27100 |  1424 |  4078k|  15M|  52 |   - | 839 |  15k| 505 |   0 |   0 | 239 |  61k|4587 |0.000000e+000 |      --      |    Inf 
  519s| 27200 |  1421 |  4093k|  15M|  52 | 264 | 839 |  15k| 585 | 839 | 842 | 239 |  62k|4587 |0.000000e+000 |      --      |    Inf 
  521s| 27300 |  1415 |  4108k|  15M|  52 |   - | 839 |  15k| 556 |   0 |   0 | 239 |  62k|4587 |0.000000e+000 |      --      |    Inf 
  522s| 27400 |  1410 |  4122k|  15M|  52 | 233 | 839 |  15k| 459 | 839 | 842 | 239 |  62k|4587 |0.000000e+000 |      --      |    Inf 
  524s| 27500 |  1408 |  4135k|  14M|  52 |   - | 839 |  15k|  53 |   0 |   0 | 239 |  62k|4588 |0.000000e+000 |      --      |    Inf 
  526s| 27600 |  1403 |  4150k|  14M|  52 | 260 | 839 |  15k|2590 | 839 | 842 | 239 |  62k|4592 |0.000000e+000 |      --      |    Inf 
  527s| 27700 |  1407 |  4162k|  14M|  52 | 157 | 839 |  15k| 349 | 839 | 842 | 239 |  63k|4592 |0.000000e+000 |      --      |    Inf 
  529s| 27800 |  1401 |  4178k|  13M|  52 |   - | 839 |  14k| 598 |   0 |   0 | 239 |  63k|4606 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  531s| 27900 |  1400 |  4194k|  13M|  52 | 305 | 839 |  13k|1258 | 839 | 842 | 239 |  63k|4608 |0.000000e+000 |      --      |    Inf 
  533s| 28000 |  1406 |  4208k|  13M|  52 |   - | 839 |  13k| 641 |   0 |   0 | 239 |  63k|4637 |0.000000e+000 |      --      |    Inf 
  535s| 28100 |  1413 |  4223k|  13M|  52 |   - | 839 |  12k| 539 |   0 |   0 | 239 |  63k|4663 |0.000000e+000 |      --      |    Inf 
  537s| 28200 |  1411 |  4239k|  12M|  52 |   - | 839 |  12k|1034 |   0 |   0 | 239 |  64k|4677 |0.000000e+000 |      --      |    Inf 
  539s| 28300 |  1411 |  4254k|  12M|  52 |   - | 839 |  11k| 426 |   0 |   0 | 239 |  64k|4697 |0.000000e+000 |      --      |    Inf 
  541s| 28400 |  1417 |  4271k|  12M|  52 |   - | 839 |  11k| 592 |   0 |   0 | 239 |  64k|4707 |0.000000e+000 |      --      |    Inf 
  543s| 28500 |  1416 |  4287k|  12M|  52 | 296 | 839 |  10k| 942 | 839 | 842 | 239 |  64k|4727 |0.000000e+000 |      --      |    Inf 
  545s| 28600 |  1423 |  4302k|  12M|  52 |   - | 839 |  11k| 535 |   0 |   0 | 239 |  64k|4745 |0.000000e+000 |      --      |    Inf 
  547s| 28700 |  1427 |  4318k|  12M|  52 | 191 | 839 |  11k| 402 | 839 | 842 | 239 |  65k|4765 |0.000000e+000 |      --      |    Inf 
  549s| 28800 |  1427 |  4335k|  12M|  52 |   - | 839 |  11k| 415 |   0 |   0 | 239 |  65k|4783 |0.000000e+000 |      --      |    Inf 
  551s| 28900 |  1420 |  4349k|  12M|  52 | 239 | 839 |  11k| 605 | 839 | 842 | 239 |  65k|4792 |0.000000e+000 |      --      |    Inf 
  553s| 29000 |  1419 |  4363k|  12M|  52 | 173 | 839 |  11k| 372 | 839 | 842 | 239 |  65k|4801 |0.000000e+000 |      --      |    Inf 
  555s| 29100 |  1419 |  4378k|  12M|  52 | 335 | 839 |  11k| 924 | 839 | 842 | 239 |  65k|4822 |0.000000e+000 |      --      |    Inf 
  557s| 29200 |  1418 |  4394k|  12M|  52 | 232 | 839 |  11k| 584 | 839 | 842 | 239 |  66k|4843 |0.000000e+000 |      --      |    Inf 
  559s| 29300 |  1426 |  4407k|  12M|  52 | 104 | 839 |  12k| 200 | 839 | 842 | 239 |  66k|4855 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  561s| 29400 |  1421 |  4421k|  13M|  52 | 102 | 839 |  12k| 194 | 839 | 842 | 239 |  66k|4874 |0.000000e+000 |      --      |    Inf 
  562s| 29500 |  1416 |  4435k|  13M|  52 | 236 | 839 |  12k| 713 | 839 | 842 | 239 |  66k|4883 |0.000000e+000 |      --      |    Inf 
  564s| 29600 |  1420 |  4450k|  13M|  52 | 171 | 839 |  12k| 481 | 839 | 842 | 239 |  67k|4903 |0.000000e+000 |      --      |    Inf 
  566s| 29700 |  1416 |  4464k|  13M|  52 | 204 | 839 |  12k| 435 | 839 | 842 | 239 |  67k|4903 |0.000000e+000 |      --      |    Inf 
  568s| 29800 |  1415 |  4478k|  13M|  52 |   - | 839 |  12k| 489 |   0 |   0 | 239 |  67k|4923 |0.000000e+000 |      --      |    Inf 
  570s| 29900 |  1422 |  4493k|  13M|  52 | 269 | 839 |  12k| 685 | 839 | 842 | 239 |  67k|4948 |0.000000e+000 |      --      |    Inf 
  572s| 30000 |  1428 |  4509k|  13M|  52 | 241 | 839 |  12k| 704 | 839 | 842 | 239 |  67k|4948 |0.000000e+000 |      --      |    Inf 
  573s| 30100 |  1423 |  4522k|  13M|  52 | 286 | 839 |  12k| 591 | 839 | 842 | 239 |  68k|4957 |0.000000e+000 |      --      |    Inf 
  575s| 30200 |  1423 |  4533k|  13M|  52 |  85 | 839 |  13k| 180 | 839 | 842 | 239 |  68k|4966 |0.000000e+000 |      --      |    Inf 
  576s| 30300 |  1415 |  4543k|  13M|  52 | 265 | 839 |  13k| 756 | 839 | 842 | 239 |  68k|4975 |0.000000e+000 |      --      |    Inf 
  578s| 30400 |  1419 |  4558k|  13M|  52 | 263 | 839 |  13k| 659 | 839 | 842 | 239 |  68k|4984 |0.000000e+000 |      --      |    Inf 
  581s| 30500 |  1418 |  4573k|  13M|  52 | 296 | 839 |  13k| 739 | 839 | 842 | 239 |  68k|5025 |0.000000e+000 |      --      |    Inf 
  582s| 30600 |  1423 |  4586k|  13M|  52 | 228 | 839 |  13k| 489 | 839 | 842 | 239 |  69k|5025 |0.000000e+000 |      --      |    Inf 
  584s| 30700 |  1417 |  4600k|  13M|  52 | 230 | 839 |  13k| 539 | 839 | 842 | 239 |  69k|5025 |0.000000e+000 |      --      |    Inf 
  586s| 30800 |  1421 |  4616k|  13M|  52 | 223 | 839 |  13k| 451 | 839 | 842 | 239 |  69k|5025 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  587s| 30900 |  1419 |  4630k|  13M|  52 |   - | 839 |  13k| 383 |   0 |   0 | 239 |  69k|5034 |0.000000e+000 |      --      |    Inf 
  589s| 31000 |  1419 |  4645k|  14M|  52 | 265 | 839 |  14k| 556 | 839 | 842 | 239 |  69k|5052 |0.000000e+000 |      --      |    Inf 
  591s| 31100 |  1416 |  4660k|  14M|  52 | 277 | 839 |  14k| 753 | 839 | 842 | 239 |  70k|5061 |0.000000e+000 |      --      |    Inf 
  593s| 31200 |  1414 |  4675k|  14M|  52 | 226 | 839 |  14k| 523 | 839 | 842 | 239 |  70k|5070 |0.000000e+000 |      --      |    Inf 
  596s| 31300 |  1424 |  4691k|  13M|  52 | 188 | 839 |  13k| 396 | 839 | 842 | 239 |  70k|5098 |0.000000e+000 |      --      |    Inf 
  597s| 31400 |  1419 |  4703k|  13M|  52 | 236 | 839 |  13k| 572 | 839 | 842 | 239 |  70k|5099 |0.000000e+000 |      --      |    Inf 
  599s| 31500 |  1427 |  4719k|  13M|  52 | 272 | 839 |  13k| 847 | 839 | 842 | 239 |  70k|5108 |0.000000e+000 |      --      |    Inf 
  601s| 31600 |  1421 |  4732k|  13M|  52 |   - | 839 |  13k| 468 |   0 |   0 | 239 |  71k|5126 |0.000000e+000 |      --      |    Inf 
  603s| 31700 |  1423 |  4747k|  14M|  52 | 238 | 839 |  14k| 618 | 839 | 842 | 239 |  71k|5162 |0.000000e+000 |      --      |    Inf 
  605s| 31800 |  1423 |  4763k|  14M|  52 | 290 | 839 |  14k| 698 | 839 | 842 | 239 |  71k|5162 |0.000000e+000 |      --      |    Inf 
  607s| 31900 |  1424 |  4778k|  14M|  52 | 258 | 839 |  14k| 677 | 839 | 842 | 239 |  71k|5182 |0.000000e+000 |      --      |    Inf 
  608s| 32000 |  1425 |  4790k|  14M|  52 | 273 | 839 |  14k| 580 | 839 | 842 | 239 |  71k|5191 |0.000000e+000 |      --      |    Inf 
  610s| 32100 |  1418 |  4804k|  14M|  52 | 256 | 839 |  14k| 732 | 839 | 842 | 239 |  72k|5213 |0.000000e+000 |      --      |    Inf 
  612s| 32200 |  1419 |  4820k|  14M|  52 | 234 | 839 |  14k| 512 | 839 | 842 | 239 |  72k|5220 |0.000000e+000 |      --      |    Inf 
  614s| 32300 |  1414 |  4835k|  14M|  52 | 214 | 839 |  14k| 449 | 839 | 842 | 239 |  72k|5221 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  616s| 32400 |  1416 |  4851k|  14M|  52 | 169 | 839 |  14k| 308 | 839 | 842 | 239 |  72k|5227 |0.000000e+000 |      --      |    Inf 
  617s| 32500 |  1418 |  4865k|  14M|  52 |   - | 839 |  14k| 137 |   0 |   0 | 239 |  72k|5227 |0.000000e+000 |      --      |    Inf 
  619s| 32600 |  1419 |  4881k|  14M|  52 |  61 | 839 |  15k| 130 | 839 | 842 | 239 |  73k|5227 |0.000000e+000 |      --      |    Inf 
  621s| 32700 |  1414 |  4895k|  14M|  52 | 252 | 839 |  15k| 606 | 839 | 842 | 239 |  73k|5227 |0.000000e+000 |      --      |    Inf 
  622s| 32800 |  1414 |  4907k|  14M|  52 | 305 | 839 |  15k| 992 | 839 | 842 | 239 |  73k|5227 |0.000000e+000 |      --      |    Inf 
  624s| 32900 |  1414 |  4922k|  14M|  52 | 284 | 839 |  15k|1232 | 839 | 842 | 239 |  73k|5227 |0.000000e+000 |      --      |    Inf 
  625s| 33000 |  1419 |  4937k|  14M|  52 | 280 | 839 |  14k|1412 | 839 | 842 | 239 |  74k|5237 |0.000000e+000 |      --      |    Inf 
  627s| 33100 |  1414 |  4951k|  14M|  52 |   - | 839 |  14k| 472 |   0 |   0 | 239 |  74k|5241 |0.000000e+000 |      --      |    Inf 
  629s| 33200 |  1424 |  4965k|  14M|  52 | 225 | 839 |  14k| 509 | 839 | 842 | 239 |  74k|5241 |0.000000e+000 |      --      |    Inf 
  630s| 33300 |  1410 |  4979k|  13M|  52 | 195 | 839 |  14k| 516 | 839 | 842 | 239 |  74k|5241 |0.000000e+000 |      --      |    Inf 
  632s| 33400 |  1413 |  4992k|  14M|  52 | 269 | 839 |  14k| 626 | 839 | 842 | 239 |  75k|5241 |0.000000e+000 |      --      |    Inf 
  633s| 33500 |  1411 |  5010k|  13M|  52 | 253 | 839 |  14k|1340 | 839 | 842 | 239 |  75k|5244 |0.000000e+000 |      --      |    Inf 
  635s| 33600 |  1418 |  5024k|  13M|  52 | 309 | 839 |  14k| 798 | 839 | 842 | 239 |  75k|5245 |0.000000e+000 |      --      |    Inf 
  636s| 33700 |  1409 |  5034k|  13M|  52 | 234 | 839 |  13k|1405 | 839 | 842 | 239 |  75k|5247 |0.000000e+000 |      --      |    Inf 
  638s| 33800 |  1406 |  5050k|  13M|  52 | 333 | 839 |  13k| 797 | 839 | 842 | 239 |  75k|5247 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  640s| 33900 |  1409 |  5065k|  13M|  52 | 220 | 839 |  14k| 504 | 839 | 842 | 239 |  76k|5247 |0.000000e+000 |      --      |    Inf 
  641s| 34000 |  1403 |  5078k|  13M|  52 | 361 | 839 |  14k|3610 | 839 | 842 | 239 |  76k|5249 |0.000000e+000 |      --      |    Inf 
  643s| 34100 |  1412 |  5094k|  13M|  52 | 127 | 839 |  13k| 269 | 839 | 842 | 239 |  76k|5251 |0.000000e+000 |      --      |    Inf 
  644s| 34200 |  1411 |  5107k|  13M|  52 | 235 | 839 |  13k| 535 | 839 | 842 | 239 |  76k|5251 |0.000000e+000 |      --      |    Inf 
  646s| 34300 |  1412 |  5120k|  13M|  52 |   - | 839 |  14k| 505 |   0 |   0 | 239 |  77k|5251 |0.000000e+000 |      --      |    Inf 
  647s| 34400 |  1410 |  5135k|  14M|  52 |   - | 839 |  14k| 181 |   0 |   0 | 239 |  77k|5251 |0.000000e+000 |      --      |    Inf 
  649s| 34500 |  1409 |  5150k|  14M|  52 |   - | 839 |  14k| 402 |   0 |   0 | 239 |  77k|5251 |0.000000e+000 |      --      |    Inf 
  650s| 34600 |  1411 |  5166k|  13M|  52 | 286 | 839 |  14k| 766 | 839 | 842 | 239 |  77k|5251 |0.000000e+000 |      --      |    Inf 
  652s| 34700 |  1410 |  5183k|  13M|  52 |   - | 839 |  13k| 425 |   0 |   0 | 239 |  77k|5251 |0.000000e+000 |      --      |    Inf 
  654s| 34800 |  1412 |  5200k|  13M|  52 |   - | 839 |  14k| 535 |   0 |   0 | 239 |  77k|5251 |0.000000e+000 |      --      |    Inf 
  656s| 34900 |  1416 |  5215k|  14M|  52 |   - | 839 |  14k| 393 |   0 |   0 | 239 |  78k|5251 |0.000000e+000 |      --      |    Inf 
  657s| 35000 |  1413 |  5229k|  14M|  52 | 241 | 839 |  14k| 616 | 839 | 842 | 239 |  78k|5271 |0.000000e+000 |      --      |    Inf 
  659s| 35100 |  1413 |  5242k|  14M|  52 | 212 | 839 |  14k| 484 | 839 | 842 | 239 |  78k|5299 |0.000000e+000 |      --      |    Inf 
  661s| 35200 |  1410 |  5256k|  14M|  52 |   - | 839 |  14k| 704 |   0 |   0 | 239 |  78k|5317 |0.000000e+000 |      --      |    Inf 
  663s| 35300 |  1415 |  5272k|  14M|  52 | 309 | 839 |  14k|1057 | 839 | 842 | 239 |  79k|5335 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  665s| 35400 |  1416 |  5288k|  14M|  52 |   - | 839 |  14k| 416 |   0 |   0 | 239 |  79k|5363 |0.000000e+000 |      --      |    Inf 
  667s| 35500 |  1414 |  5303k|  14M|  52 | 171 | 839 |  15k| 371 | 839 | 842 | 239 |  79k|5382 |0.000000e+000 |      --      |    Inf 
  669s| 35600 |  1425 |  5318k|  14M|  52 | 219 | 839 |  15k| 460 | 839 | 842 | 239 |  79k|5410 |0.000000e+000 |      --      |    Inf 
  671s| 35700 |  1422 |  5327k|  14M|  52 | 228 | 839 |  15k| 532 | 839 | 842 | 239 |  79k|5419 |0.000000e+000 |      --      |    Inf 
  673s| 35800 |  1412 |  5342k|  14M|  52 | 288 | 839 |  15k| 668 | 839 | 842 | 239 |  80k|5428 |0.000000e+000 |      --      |    Inf 
  675s| 35900 |  1412 |  5357k|  14M|  52 | 243 | 839 |  15k| 726 | 839 | 842 | 239 |  80k|5446 |0.000000e+000 |      --      |    Inf 
  677s| 36000 |  1412 |  5372k|  14M|  52 | 128 | 839 |  15k| 286 | 839 | 842 | 239 |  80k|5464 |0.000000e+000 |      --      |    Inf 
  679s| 36100 |  1407 |  5384k|  14M|  52 |   - | 839 |  15k|  53 |   0 |   0 | 239 |  80k|5495 |0.000000e+000 |      --      |    Inf 
  680s| 36200 |  1405 |  5397k|  14M|  52 | 297 | 839 |  15k| 832 | 839 | 842 | 239 |  80k|5495 |0.000000e+000 |      --      |    Inf 
  682s| 36300 |  1402 |  5412k|  14M|  52 |   - | 839 |  15k| 489 |   0 |   0 | 239 |  81k|5513 |0.000000e+000 |      --      |    Inf 
  684s| 36400 |  1401 |  5427k|  14M|  52 | 313 | 839 |  15k| 691 | 839 | 842 | 239 |  81k|5522 |0.000000e+000 |      --      |    Inf 
  686s| 36500 |  1412 |  5445k|  14M|  52 | 307 | 839 |  15k|1286 | 839 | 842 | 239 |  81k|5541 |0.000000e+000 |      --      |    Inf 
  688s| 36600 |  1412 |  5460k|  14M|  52 | 282 | 839 |  15k| 730 | 839 | 842 | 239 |  81k|5550 |0.000000e+000 |      --      |    Inf 
  691s| 36700 |  1411 |  5479k|  14M|  52 |   - | 839 |  15k| 574 |   0 |   0 | 239 |  81k|5570 |0.000000e+000 |      --      |    Inf 
  693s| 36800 |  1416 |  5496k|  14M|  52 | 190 | 839 |  15k| 469 | 839 | 842 | 239 |  82k|5579 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  695s| 36900 |  1410 |  5511k|  14M|  52 | 333 | 839 |  15k| 781 | 839 | 842 | 239 |  82k|5589 |0.000000e+000 |      --      |    Inf 
  697s| 37000 |  1411 |  5526k|  14M|  52 | 250 | 839 |  15k| 683 | 839 | 842 | 239 |  82k|5608 |0.000000e+000 |      --      |    Inf 
  699s| 37100 |  1417 |  5541k|  14M|  52 | 229 | 839 |  15k| 772 | 839 | 842 | 239 |  82k|5618 |0.000000e+000 |      --      |    Inf 
  701s| 37200 |  1413 |  5556k|  14M|  52 | 297 | 839 |  15k|2057 | 839 | 842 | 239 |  82k|5637 |0.000000e+000 |      --      |    Inf 
  703s| 37300 |  1413 |  5572k|  14M|  52 | 288 | 839 |  15k|1668 | 839 | 842 | 239 |  82k|5646 |0.000000e+000 |      --      |    Inf 
  705s| 37400 |  1406 |  5586k|  14M|  52 |   - | 839 |  15k| 434 |   0 |   0 | 239 |  83k|5655 |0.000000e+000 |      --      |    Inf 
  707s| 37500 |  1413 |  5602k|  14M|  52 | 172 | 839 |  15k| 454 | 839 | 842 | 239 |  83k|5664 |0.000000e+000 |      --      |    Inf 
  709s| 37600 |  1409 |  5615k|  14M|  52 | 282 | 839 |  15k| 910 | 839 | 842 | 239 |  83k|5683 |0.000000e+000 |      --      |    Inf 
  711s| 37700 |  1409 |  5630k|  14M|  52 | 213 | 839 |  15k| 543 | 839 | 842 | 239 |  83k|5692 |0.000000e+000 |      --      |    Inf 
  714s| 37800 |  1412 |  5647k|  14M|  52 | 284 | 839 |  15k| 774 | 839 | 842 | 239 |  83k|5722 |0.000000e+000 |      --      |    Inf 
  715s| 37900 |  1413 |  5661k|  14M|  52 | 196 | 839 |  15k| 514 | 839 | 842 | 239 |  84k|5722 |0.000000e+000 |      --      |    Inf 
  717s| 38000 |  1407 |  5673k|  14M|  52 | 221 | 839 |  15k| 519 | 839 | 842 | 239 |  84k|5722 |0.000000e+000 |      --      |    Inf 
  719s| 38100 |  1407 |  5686k|  14M|  52 | 273 | 839 |  15k| 669 | 839 | 842 | 239 |  84k|5759 |0.000000e+000 |      --      |    Inf 
  721s| 38200 |  1404 |  5701k|  14M|  52 |   - | 839 |  15k| 487 |   0 |   0 | 239 |  84k|5759 |0.000000e+000 |      --      |    Inf 
  722s| 38300 |  1404 |  5715k|  15M|  52 |   - | 839 |  15k| 602 |   0 |   0 | 239 |  84k|5769 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  724s| 38400 |  1408 |  5729k|  15M|  52 |   - | 839 |  16k| 401 |   0 |   0 | 239 |  85k|5778 |0.000000e+000 |      --      |    Inf 
  726s| 38500 |  1408 |  5747k|  15M|  52 | 242 | 839 |  16k| 611 | 839 | 842 | 239 |  85k|5788 |0.000000e+000 |      --      |    Inf 
  729s| 38600 |  1407 |  5764k|  15M|  52 |   - | 839 |  16k| 594 |   0 |   0 | 239 |  85k|5799 |0.000000e+000 |      --      |    Inf 
  731s| 38700 |  1403 |  5779k|  15M|  52 | 264 | 839 |  16k| 595 | 839 | 842 | 239 |  85k|5808 |0.000000e+000 |      --      |    Inf 
  733s| 38800 |  1406 |  5795k|  15M|  52 | 284 | 839 |  16k| 690 | 839 | 842 | 239 |  85k|5817 |0.000000e+000 |      --      |    Inf 
  734s| 38900 |  1408 |  5809k|  15M|  52 |   - | 839 |  16k| 445 |   0 |   0 | 239 |  86k|5837 |0.000000e+000 |      --      |    Inf 
  736s| 39000 |  1411 |  5823k|  15M|  52 | 170 | 839 |  16k| 414 | 839 | 842 | 239 |  86k|5845 |0.000000e+000 |      --      |    Inf 
  738s| 39100 |  1408 |  5835k|  15M|  52 | 251 | 839 |  16k| 596 | 839 | 842 | 239 |  86k|5852 |0.000000e+000 |      --      |    Inf 
  739s| 39200 |  1416 |  5850k|  15M|  52 |   - | 839 |  16k| 666 |   0 |   0 | 239 |  86k|5853 |0.000000e+000 |      --      |    Inf 
  741s| 39300 |  1410 |  5864k|  15M|  52 | 286 | 839 |  16k| 715 | 839 | 842 | 239 |  87k|5854 |0.000000e+000 |      --      |    Inf 
  742s| 39400 |  1400 |  5878k|  15M|  52 | 261 | 839 |  16k| 841 | 839 | 842 | 239 |  87k|5854 |0.000000e+000 |      --      |    Inf 
  744s| 39500 |  1398 |  5891k|  15M|  52 |   - | 839 |  16k| 385 |   0 |   0 | 239 |  87k|5855 |0.000000e+000 |      --      |    Inf 
  745s| 39600 |  1402 |  5902k|  15M|  52 | 104 | 839 |  16k| 195 | 839 | 842 | 239 |  87k|5866 |0.000000e+000 |      --      |    Inf 
  747s| 39700 |  1411 |  5913k|  15M|  52 | 212 | 839 |  16k| 463 | 839 | 842 | 239 |  87k|5868 |0.000000e+000 |      --      |    Inf 
  748s| 39800 |  1404 |  5927k|  15M|  52 | 187 | 839 |  16k| 354 | 839 | 842 | 239 |  88k|5870 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  750s| 39900 |  1416 |  5941k|  14M|  52 |   - | 839 |  15k| 538 |   0 |   0 | 239 |  88k|5872 |0.000000e+000 |      --      |    Inf 
  752s| 40000 |  1412 |  5955k|  14M|  52 |   - | 839 |  14k| 426 |   0 |   0 | 239 |  88k|5872 |0.000000e+000 |      --      |    Inf 
  753s| 40100 |  1410 |  5969k|  14M|  52 | 247 | 839 |  14k| 547 | 839 | 842 | 239 |  88k|5872 |0.000000e+000 |      --      |    Inf 
  755s| 40200 |  1406 |  5982k|  14M|  52 |   - | 839 |  14k|1165 |   0 |   0 | 239 |  88k|5874 |0.000000e+000 |      --      |    Inf 
  756s| 40300 |  1410 |  5993k|  14M|  52 | 203 | 839 |  14k| 552 | 839 | 842 | 239 |  89k|5874 |0.000000e+000 |      --      |    Inf 
  757s| 40400 |  1408 |  6007k|  14M|  52 |   - | 839 |  14k| 428 |   0 |   0 | 239 |  89k|5874 |0.000000e+000 |      --      |    Inf 
  759s| 40500 |  1407 |  6022k|  14M|  52 | 221 | 839 |  14k| 498 | 839 | 842 | 239 |  89k|5876 |0.000000e+000 |      --      |    Inf 
  760s| 40600 |  1409 |  6032k|  14M|  52 | 113 | 839 |  14k| 237 | 839 | 842 | 239 |  89k|5876 |0.000000e+000 |      --      |    Inf 
  761s| 40700 |  1404 |  6045k|  14M|  52 |   - | 839 |  15k| 599 |   0 |   0 | 239 |  89k|5876 |0.000000e+000 |      --      |    Inf 
  762s| 40800 |  1407 |  6056k|  14M|  52 | 159 | 839 |  15k| 422 | 839 | 842 | 239 |  90k|5876 |0.000000e+000 |      --      |    Inf 
  764s| 40900 |  1407 |  6069k|  14M|  52 | 191 | 839 |  15k| 589 | 839 | 842 | 239 |  90k|5876 |0.000000e+000 |      --      |    Inf 
  766s| 41000 |  1402 |  6084k|  14M|  52 |   - | 839 |  15k| 501 |   0 |   0 | 239 |  90k|5876 |0.000000e+000 |      --      |    Inf 
  768s| 41100 |  1403 |  6100k|  14M|  52 | 163 | 839 |  14k| 421 | 839 | 842 | 239 |  90k|5885 |0.000000e+000 |      --      |    Inf 
  771s| 41200 |  1411 |  6116k|  13M|  52 | 221 | 839 |  13k| 546 | 839 | 842 | 239 |  90k|5929 |0.000000e+000 |      --      |    Inf 
  772s| 41300 |  1408 |  6128k|  13M|  52 | 149 | 839 |  13k| 278 | 839 | 842 | 239 |  91k|5929 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  774s| 41400 |  1413 |  6141k|  13M|  52 | 195 | 839 |  13k| 388 | 839 | 842 | 239 |  91k|5929 |0.000000e+000 |      --      |    Inf 
  775s| 41500 |  1411 |  6151k|  13M|  52 | 134 | 839 |  13k| 215 | 839 | 842 | 239 |  91k|5929 |0.000000e+000 |      --      |    Inf 
  776s| 41600 |  1411 |  6165k|  13M|  52 | 238 | 839 |  13k| 911 | 839 | 842 | 239 |  91k|5929 |0.000000e+000 |      --      |    Inf 
  778s| 41700 |  1420 |  6180k|  13M|  52 |   - | 839 |  12k| 358 |   0 |   0 | 239 |  91k|5933 |0.000000e+000 |      --      |    Inf 
  779s| 41800 |  1417 |  6193k|  13M|  52 | 216 | 839 |  12k| 510 | 839 | 842 | 239 |  92k|5933 |0.000000e+000 |      --      |    Inf 
  781s| 41900 |  1415 |  6208k|  12M|  52 | 330 | 839 |  12k|2130 | 839 | 842 | 239 |  92k|5933 |0.000000e+000 |      --      |    Inf 
  782s| 42000 |  1414 |  6221k|  12M|  52 |   - | 839 |  11k| 567 |   0 |   0 | 239 |  92k|5934 |0.000000e+000 |      --      |    Inf 
  784s| 42100 |  1414 |  6237k|  12M|  52 | 277 | 839 |  11k| 734 | 839 | 842 | 239 |  92k|5934 |0.000000e+000 |      --      |    Inf 
  785s| 42200 |  1409 |  6252k|  12M|  52 | 306 | 839 |  11k| 905 | 839 | 842 | 239 |  93k|5934 |0.000000e+000 |      --      |    Inf 
  787s| 42300 |  1411 |  6267k|  12M|  52 |   - | 839 |  11k| 752 |   0 |   0 | 239 |  93k|5934 |0.000000e+000 |      --      |    Inf 
  788s| 42400 |  1420 |  6283k|  12M|  52 | 298 | 839 |  11k| 680 | 839 | 842 | 239 |  93k|5936 |0.000000e+000 |      --      |    Inf 
  790s| 42500 |  1422 |  6297k|  12M|  52 |   - | 839 |  11k| 455 |   0 |   0 | 239 |  93k|5936 |0.000000e+000 |      --      |    Inf 
  791s| 42600 |  1423 |  6310k|  12M|  52 | 242 | 839 |  11k| 575 | 839 | 842 | 239 |  94k|5941 |0.000000e+000 |      --      |    Inf 
  793s| 42700 |  1425 |  6324k|  12M|  52 | 259 | 839 |  11k| 573 | 839 | 842 | 239 |  94k|5941 |0.000000e+000 |      --      |    Inf 
  794s| 42800 |  1424 |  6339k|  12M|  52 |   - | 839 |  12k| 574 |   0 |   0 | 239 |  94k|5941 |0.000000e+000 |      --      |    Inf 
 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
  796s| 42900 |  1433 |  6352k|  12M|  52 | 267 | 839 |  12k| 707 | 839 | 842 | 239 |  94k|5941 |0.000000e+000 |      --      |    Inf 
  797s| 43000 |  1442 |  6367k|  12M|  52 |   - | 839 |  12k| 356 |   0 |   0 | 239 |  94k|5941 |0.000000e+000 |      --      |    Inf 
  799s| 43100 |  1441 |  6382k|  13M|  52 |   - | 839 |  12k| 483 |   0 |   0 | 239 |  94k|5941 |0.000000e+000 |      --      |    Inf 
  800s| 43200 |  1423 |  6396k|  13M|  52 | 236 | 839 |  12k| 699 | 839 | 842 | 239 |  95k|5941 |0.000000e+000 |      --      |    Inf 
  802s| 43300 |  1434 |  6410k|  13M|  52 |   - | 839 |  12k| 385 |   0 |   0 | 239 |  95k|5941 |0.000000e+000 |      --      |    Inf 
  803s| 43400 |  1432 |  6422k|  13M|  52 | 203 | 839 |  12k| 476 | 839 | 842 | 239 |  95k|5941 |0.000000e+000 |      --      |    Inf 
  805s| 43500 |  1431 |  6438k|  13M|  52 | 238 | 839 |  12k| 698 | 839 | 842 | 239 |  95k|5941 |0.000000e+000 |      --      |    Inf 
  806s| 43600 |  1426 |  6451k|  13M|  52 |   - | 839 |  12k| 420 |   0 |   0 | 239 |  96k|5941 |0.000000e+000 |      --      |    Inf 
  808s| 43700 |  1421 |  6467k|  13M|  52 | 238 | 839 |  12k| 541 | 839 | 842 | 239 |  96k|5941 |0.000000e+000 |      --      |    Inf 
  809s| 43800 |  1429 |  6482k|  13M|  52 | 168 | 839 |  12k| 341 | 839 | 842 | 239 |  96k|5941 |0.000000e+000 |      --      |    Inf 
  811s| 43900 |  1431 |  6495k|  13M|  55 | 178 | 839 |  13k| 346 | 839 | 842 | 239 |  96k|5941 |0.000000e+000 |      --      |    Inf 
  812s| 44000 |  1427 |  6506k|  13M|  59 |   - | 839 |  13k|  84 |   0 |   0 | 239 |  97k|5941 |0.000000e+000 |      --      |    Inf 
* 813s| 44067 |     0 |  6514k|  11M|  59 |   - | 839 |  13k|  30 | 839 | 842 | 239 |  97k|5941 |0.000000e+000 |0.000000e+000 |   0.00%

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 812.63
Solving Nodes      : 44067
Primal Bound       : +0.00000000000000e+000 (1 solutions)
Dual Bound         : +0.00000000000000e+000
Gap                : 0.00 %

primal solution:
================

objective value:                                    0
t4                                                  1 	(obj:0)
t5                                                  1 	(obj:0)
t12                                                 1 	(obj:0)
t13                                                 1 	(obj:0)
t16                                                 1 	(obj:0)
t17                                                 1 	(obj:0)
t18                                                 1 	(obj:0)
t19                                                 1 	(obj:0)
t31                                                 1 	(obj:0)
t32                                                 1 	(obj:0)
t33                                                 1 	(obj:0)
t34                                                 1 	(obj:0)
t35                                                 1 	(obj:0)
t56                                                 1 	(obj:0)
t57                                                 1 	(obj:0)
t60                                                 1 	(obj:0)
t61                                                 1 	(obj:0)
t62                                                 1 	(obj:0)
t63                                                 1 	(obj:0)
t64                                                 1 	(obj:0)
t65                                                 1 	(obj:0)
t66                                                 1 	(obj:0)
t67                                                 1 	(obj:0)
t68                                                 1 	(obj:0)
t69                                                 1 	(obj:0)
t70                                                 1 	(obj:0)
t71                                                 1 	(obj:0)
t72                                                 1 	(obj:0)
t73                                                 1 	(obj:0)
t82                                                 1 	(obj:0)
t83                                                 1 	(obj:0)
t84                                                 1 	(obj:0)
t85                                                 1 	(obj:0)
t86                                                 1 	(obj:0)
t87                                                 1 	(obj:0)
t88                                                 1 	(obj:0)
t89                                                 1 	(obj:0)
t90                                                 1 	(obj:0)
t91                                                 1 	(obj:0)
t94                                                 1 	(obj:0)
t95                                                 1 	(obj:0)
t96                                                 1 	(obj:0)
t97                                                 1 	(obj:0)
t98                                                 1 	(obj:0)
t99                                                 1 	(obj:0)
t100                                                1 	(obj:0)
t101                                                1 	(obj:0)
t102                                                1 	(obj:0)
t103                                                1 	(obj:0)
t106                                                1 	(obj:0)
t107                                                1 	(obj:0)
t108                                                1 	(obj:0)
t109                                                1 	(obj:0)
t110                                                1 	(obj:0)
t111                                                1 	(obj:0)
t112                                                1 	(obj:0)
t113                                                1 	(obj:0)
t114                                                1 	(obj:0)
t115                                                1 	(obj:0)
t116                                                1 	(obj:0)
t117                                                1 	(obj:0)
t118                                                1 	(obj:0)
t119                                                1 	(obj:0)
t120                                                1 	(obj:0)
t121                                                1 	(obj:0)
t122                                                1 	(obj:0)
t123                                                1 	(obj:0)
t128                                                1 	(obj:0)
t129                                                1 	(obj:0)
t130                                                1 	(obj:0)
t131                                                1 	(obj:0)
t132                                                1 	(obj:0)
t133                                                1 	(obj:0)
t134                                                1 	(obj:0)
t135                                                1 	(obj:0)
t136                                                1 	(obj:0)
t137                                                1 	(obj:0)
t138                                                1 	(obj:0)
t139                                                1 	(obj:0)
t140                                                1 	(obj:0)
t141                                                1 	(obj:0)
t142                                                1 	(obj:0)
t143                                                1 	(obj:0)
t144                                                1 	(obj:0)
t145                                                1 	(obj:0)
t146                                                1 	(obj:0)
t147                                                1 	(obj:0)
t148                                                1 	(obj:0)
t149                                                1 	(obj:0)
t150                                                1 	(obj:0)
t151                                                1 	(obj:0)
t152                                                1 	(obj:0)
t153                                                1 	(obj:0)
t156                                                1 	(obj:0)
t166                                                1 	(obj:0)
t167                                                1 	(obj:0)
t168                                                1 	(obj:0)
t169                                                1 	(obj:0)
t184                                                1 	(obj:0)
t185                                                1 	(obj:0)
t205                                                1 	(obj:0)
t206                                                1 	(obj:0)
t207                                                1 	(obj:0)
t208                                                1 	(obj:0)
t209                                                1 	(obj:0)
t210                                                1 	(obj:0)
t211                                                1 	(obj:0)
t212                                                1 	(obj:0)
t213                                                1 	(obj:0)
t214                                                1 	(obj:0)
t215                                                1 	(obj:0)
t216                                                1 	(obj:0)
t217                                                1 	(obj:0)
t225                                                1 	(obj:0)
t226                                                1 	(obj:0)
t227                                                1 	(obj:0)
t228                                                1 	(obj:0)
t229                                                1 	(obj:0)
t230                                                1 	(obj:0)
t231                                                1 	(obj:0)
t232                                                1 	(obj:0)
t233                                                1 	(obj:0)
t234                                                1 	(obj:0)
t235                                                1 	(obj:0)
t237                                                1 	(obj:0)
t238                                                1 	(obj:0)
t239                                                1 	(obj:0)
t240                                                1 	(obj:0)
t241                                                1 	(obj:0)
t242                                                1 	(obj:0)
t243                                                1 	(obj:0)
t244                                                1 	(obj:0)
t245                                                1 	(obj:0)
t246                                                1 	(obj:0)
t247                                                1 	(obj:0)
t250                                                1 	(obj:0)
t251                                                1 	(obj:0)
t252                                                1 	(obj:0)
t253                                                1 	(obj:0)
t254                                                1 	(obj:0)
t255                                                1 	(obj:0)
t256                                                1 	(obj:0)
t257                                                1 	(obj:0)
t258                                                1 	(obj:0)
t259                                                1 	(obj:0)
t260                                                1 	(obj:0)
t270                                                1 	(obj:0)
t271                                                1 	(obj:0)
t272                                                1 	(obj:0)
t273                                                1 	(obj:0)
t274                                                1 	(obj:0)
t275                                                1 	(obj:0)
t282                                                1 	(obj:0)
t283                                                1 	(obj:0)
t284                                                1 	(obj:0)
t288                                                1 	(obj:0)
t289                                                1 	(obj:0)
t290                                                1 	(obj:0)
t291                                                1 	(obj:0)
t294                                                1 	(obj:0)
t295                                                1 	(obj:0)
t296                                                1 	(obj:0)
t297                                                1 	(obj:0)
t298                                                1 	(obj:0)
t299                                                1 	(obj:0)
t300                                                1 	(obj:0)
t301                                                1 	(obj:0)
t302                                                1 	(obj:0)
t312                                                1 	(obj:0)
t313                                                1 	(obj:0)
t314                                                1 	(obj:0)
t315                                                1 	(obj:0)
t316                                                1 	(obj:0)
t317                                                1 	(obj:0)
t324                                                1 	(obj:0)
t325                                                1 	(obj:0)
t330                                                1 	(obj:0)
t331                                                1 	(obj:0)
t332                                                1 	(obj:0)
t333                                                1 	(obj:0)
t336                                                1 	(obj:0)
t338                                                1 	(obj:0)
t339                                                1 	(obj:0)
t340                                                1 	(obj:0)
t341                                                1 	(obj:0)
t353                                                1 	(obj:0)
t354                                                1 	(obj:0)
t355                                                1 	(obj:0)
t356                                                1 	(obj:0)
t357                                                1 	(obj:0)
t377                                                1 	(obj:0)
t378                                                1 	(obj:0)
t379                                                1 	(obj:0)
t390                                                1 	(obj:0)
t391                                                1 	(obj:0)
t392                                                1 	(obj:0)
t393                                                1 	(obj:0)
t394                                                1 	(obj:0)
t395                                                1 	(obj:0)
t414                                                1 	(obj:0)
t464                                                1 	(obj:0)
t492                                                1 	(obj:0)
t493                                                1 	(obj:0)
t494                                                1 	(obj:0)
t495                                                1 	(obj:0)
t496                                                1 	(obj:0)
t497                                                1 	(obj:0)
t504                                                1 	(obj:0)
t505                                                1 	(obj:0)
t506                                                1 	(obj:0)
t507                                                1 	(obj:0)
t510                                                1 	(obj:0)
t511                                                1 	(obj:0)
t512                                                1 	(obj:0)
t513                                                1 	(obj:0)
t516                                                1 	(obj:0)
t517                                                1 	(obj:0)
t518                                                1 	(obj:0)
t519                                                1 	(obj:0)
t520                                                1 	(obj:0)
t521                                                1 	(obj:0)
t522                                                1 	(obj:0)
t523                                                1 	(obj:0)
t524                                                1 	(obj:0)
t525                                                1 	(obj:0)
t526                                                1 	(obj:0)
t527                                                1 	(obj:0)
t528                                                1 	(obj:0)
t529                                                1 	(obj:0)
t530                                                1 	(obj:0)
t531                                                1 	(obj:0)
t532                                                1 	(obj:0)
t533                                                1 	(obj:0)
t534                                                1 	(obj:0)
t535                                                1 	(obj:0)
t536                                                1 	(obj:0)
t537                                                1 	(obj:0)
t538                                                1 	(obj:0)
t539                                                1 	(obj:0)
t540                                                1 	(obj:0)
t541                                                1 	(obj:0)
t542                                                1 	(obj:0)
t543                                                1 	(obj:0)
t544                                                1 	(obj:0)
t545                                                1 	(obj:0)
t546                                                1 	(obj:0)
t547                                                1 	(obj:0)
t548                                                1 	(obj:0)
t549                                                1 	(obj:0)
t550                                                1 	(obj:0)
t551                                                1 	(obj:0)
t552                                                1 	(obj:0)
t553                                                1 	(obj:0)
t554                                                1 	(obj:0)
t555                                                1 	(obj:0)
t556                                                1 	(obj:0)
t557                                                1 	(obj:0)
t558                                                1 	(obj:0)
t559                                                1 	(obj:0)
t560                                                1 	(obj:0)
t561                                                1 	(obj:0)
t562                                                1 	(obj:0)
t563                                                1 	(obj:0)
t564                                                1 	(obj:0)
t565                                                1 	(obj:0)
t566                                                1 	(obj:0)
t567                                                1 	(obj:0)
t568                                                1 	(obj:0)
t569                                                1 	(obj:0)
t570                                                1 	(obj:0)
t571                                                1 	(obj:0)
t572                                                1 	(obj:0)
t573                                                1 	(obj:0)
t574                                                1 	(obj:0)
t575                                                1 	(obj:0)
t576                                                1 	(obj:0)
t577                                                1 	(obj:0)
t578                                                1 	(obj:0)
t579                                                1 	(obj:0)
t580                                                1 	(obj:0)
t581                                                1 	(obj:0)
t582                                                1 	(obj:0)
t583                                                1 	(obj:0)
t584                                                1 	(obj:0)
t585                                                1 	(obj:0)
t586                                                1 	(obj:0)
t587                                                1 	(obj:0)
t588                                                1 	(obj:0)
t589                                                1 	(obj:0)
t590                                                1 	(obj:0)
t591                                                1 	(obj:0)
t592                                                1 	(obj:0)
t593                                                1 	(obj:0)
t594                                                1 	(obj:0)
t595                                                1 	(obj:0)
t596                                                1 	(obj:0)
t597                                                1 	(obj:0)
t600                                                1 	(obj:0)
t601                                                1 	(obj:0)
t602                                                1 	(obj:0)
t603                                                1 	(obj:0)
t604                                                1 	(obj:0)
t605                                                1 	(obj:0)
t606                                                1 	(obj:0)
t607                                                1 	(obj:0)
t608                                                1 	(obj:0)
t609                                                1 	(obj:0)
t612                                                1 	(obj:0)
t613                                                1 	(obj:0)
t614                                                1 	(obj:0)
t615                                                1 	(obj:0)
t616                                                1 	(obj:0)
t617                                                1 	(obj:0)
t618                                                1 	(obj:0)
t619                                                1 	(obj:0)
t620                                                1 	(obj:0)
t621                                                1 	(obj:0)
t624                                                1 	(obj:0)
t625                                                1 	(obj:0)
t626                                                1 	(obj:0)
t627                                                1 	(obj:0)
t647                                                1 	(obj:0)
t688                                                1 	(obj:0)
t689                                                1 	(obj:0)
t690                                                1 	(obj:0)
t691                                                1 	(obj:0)
t692                                                1 	(obj:0)
t693                                                1 	(obj:0)
t694                                                1 	(obj:0)
t695                                                1 	(obj:0)
t696                                                1 	(obj:0)
t697                                                1 	(obj:0)
t700                                                1 	(obj:0)
t702                                                1 	(obj:0)
t703                                                1 	(obj:0)
t704                                                1 	(obj:0)
t705                                                1 	(obj:0)
t706                                                1 	(obj:0)
t707                                                1 	(obj:0)
t708                                                1 	(obj:0)
t709                                                1 	(obj:0)
t710                                                1 	(obj:0)
t711                                                1 	(obj:0)
t714                                                1 	(obj:0)
t715                                                1 	(obj:0)
t716                                                1 	(obj:0)
t717                                                1 	(obj:0)
t718                                                1 	(obj:0)
t719                                                1 	(obj:0)
t720                                                1 	(obj:0)
t721                                                1 	(obj:0)
t722                                                1 	(obj:0)
t723                                                1 	(obj:0)
t726                                                1 	(obj:0)
t731                                                1 	(obj:0)
t732                                                1 	(obj:0)
t736                                                1 	(obj:0)
t738                                                1 	(obj:0)
t739                                                1 	(obj:0)
t740                                                1 	(obj:0)
t741                                                1 	(obj:0)
t744                                                1 	(obj:0)
t745                                                1 	(obj:0)
t746                                                1 	(obj:0)
t747                                                1 	(obj:0)
t750                                                1 	(obj:0)
t754                                                1 	(obj:0)
t756                                                1 	(obj:0)
y15                                                55 	(obj:0)
w15                                                55 	(obj:0)
y16                                                51 	(obj:0)
w16                                                15 	(obj:0)
y17                                                11 	(obj:0)
w17                                                11 	(obj:0)
y18                                                10 	(obj:0)
w18                                                 1 	(obj:0)
y19                                                 4 	(obj:0)
w19                                                40 	(obj:0)
y20                                                44 	(obj:0)
w20                                                44 	(obj:0)
y21                                                45 	(obj:0)
w21                                                54 	(obj:0)
y22                                                52 	(obj:0)
w22                                                25 	(obj:0)
y23                                                23 	(obj:0)
w23                                                32 	(obj:0)
y24                                                34 	(obj:0)
w24                                                43 	(obj:0)
y25                                                42 	(obj:0)
w25                                                24 	(obj:0)
y26                                                22 	(obj:0)
w26                                                22 	(obj:0)
y27                                                26 	(obj:0)
w27                                                62 	(obj:0)
y28                                                61 	(obj:0)
w28                                                16 	(obj:0)
x1                                                  1 	(obj:0)
x2                                                  4 	(obj:0)
x3                                                  4 	(obj:0)
x4                                                  6 	(obj:0)
x5                                                  6 	(obj:0)
x8                                                  5 	(obj:0)
x9                                                  5 	(obj:0)
x10                                                 3 	(obj:0)
x11                                                 3 	(obj:0)
x12                                                 3 	(obj:0)
x13                                                 3 	(obj:0)
x14                                                 1 	(obj:0)
x15                                                 1 	(obj:0)
x16                                                 2 	(obj:0)
x17                                                 2 	(obj:0)
x22                                                 3 	(obj:0)
x23                                                 3 	(obj:0)
x24                                                 6 	(obj:0)
x25                                                 6 	(obj:0)
x26                                                 6 	(obj:0)
x27                                                 6 	(obj:0)
x28                                                 5 	(obj:0)
x29                                                 5 	(obj:0)
x30                                                 5 	(obj:0)
x31                                                 5 	(obj:0)
x32                                                 1 	(obj:0)
x33                                                 1 	(obj:0)
x34                                                 1 	(obj:0)
x35                                                 1 	(obj:0)
x38                                                 4 	(obj:0)
x39                                                 4 	(obj:0)
x40                                                 4 	(obj:0)
x41                                                 4 	(obj:0)
x42                                                 5 	(obj:0)
x43                                                 5 	(obj:0)
x44                                                 2 	(obj:0)
x45                                                 2 	(obj:0)
x46                                                 3 	(obj:0)
x47                                                 3 	(obj:0)
x48                                                 4 	(obj:0)
x49                                                 4 	(obj:0)
x50                                                 2 	(obj:0)
x51                                                 2 	(obj:0)
x52                                                 2 	(obj:0)
x53                                                 2 	(obj:0)
x54                                                 6 	(obj:0)
x55                                                 6 	(obj:0)
x56                                                 1 	(obj:0)
y1                                                 14 	(obj:0)
w1                                                 41 	(obj:0)
y2                                                 46 	(obj:0)
w2                                                 64 	(obj:0)
y3                                                 60 	(obj:0)
w3                                                  6 	(obj:0)
y4                                                  5 	(obj:0)
w4                                                 50 	(obj:0)
y5                                                 53 	(obj:0)
w5                                                 35 	(obj:0)
y6                                                 33 	(obj:0)
w6                                                 33 	(obj:0)
y7                                                 31 	(obj:0)
w7                                                 13 	(obj:0)
y8                                                 12 	(obj:0)
w8                                                 21 	(obj:0)
y9                                                 20 	(obj:0)
w9                                                  2 	(obj:0)
y11                                                 3 	(obj:0)
w11                                                30 	(obj:0)
y12                                                36 	(obj:0)
w12                                                63 	(obj:0)
y13                                                66 	(obj:0)
w13                                                66 	(obj:0)
y14                                                65 	(obj:0)
w14                                                56 	(obj:0)
z3                                                 45 	(obj:0)
z2                                                 45 	(obj:0)
z1                                                 45 	(obj:0)
z4                                                 45 	(obj:0)

Statistics
==========

SCIP Status        : problem is solved [optimal solution found]
Solving Time       :     812.63
Original Problem   :
  Problem name     : domino6.lp
  Variables        : 872 (756 binary, 112 integer, 0 implicit integer, 4 continuous)
  Constraints      : 1603 initial, 1603 maximal
Presolved Problem  :
  Problem name     : t_domino6.lp
  Variables        : 839 (756 binary, 82 integer, 1 implicit integer, 0 continuous)
  Constraints      : 814 initial, 16898 maximal
Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
  trivial          :       0.00          0          0          0          0          0          0          0          0
  dualfix          :       0.00          0          0          0          0          0          0          0          0
  boundshift       :       0.00          0          0          0          0          0          0          0          0
  inttobinary      :       0.00          0          0          0          0          0          0          0          0
  implics          :       0.00          0          0          0          0          0          0          0          0
  probing          :       0.15          0          0          0          0          0          0          0          0
  linear           :       0.03          0         33          0         60          0        789          0          0
  logicor          :       0.00          0          0          0          0          0          0          0          0
  bounddisjunction :       0.00          0          0          0          0          0          0          0          0
  root node        :          -          0          -          -          0          -          -          -          -
Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
  integral         :          0          0          0      29768          0          4        487          0          0      58902
  linear           :        814          6     299696          0          0      23724    3110924          0          0          0
  logicor          :          0+         0       4412          0          0          0         52          0          0          0
  bounddisjunction :          0+         0     180730          0          0       2431     157600          0          0          0
  countsols        :          0          0          0          1          0          0          0          0          0          0
Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
  integral         :     139.56       0.00       0.00     139.56       0.00
  linear           :      45.54       0.00      45.54       0.00       0.00
  logicor          :       0.00       0.00       0.00       0.00       0.00
  bounddisjunction :      47.22       0.00      47.22       0.00       0.00
  countsols        :       0.00       0.00       0.00       0.00       0.00
Propagators        :       Time      Calls    Cutoffs    DomReds
  rootredcost      :       0.19          0          0          0
  pseudoobj        :       0.13          0          0          0
Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
  propagation      :       3.83      26155      26155     323538       33.0       4281       18.1          -
  infeasible LP    :       0.12        305        305        856       18.4         17        5.2          0
  bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
  strong branching :       0.00          0          0          0        0.0          0        0.0          0
  pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
  applied globally :          -          -          -      97188       27.7          -          -          -
  applied locally  :          -          -          -          0        0.0          -          -          -
Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
  cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 1720)
  redcost          :       0.47      29773          0          0          0          0
  impliedbounds    :       0.02          6          0          0       1601          0
  intobj           :       0.00          0          0          0          0          0
  gomory           :       0.10          6          0          0          0          0
  strongcg         :       0.08          6          0          0          9          0
  cmir             :       0.06          6          0          0        500          0
  flowcover        :       0.07          6          0          0        200          0
  clique           :       0.00          1          0          0          0          0
  zerohalf         :       0.00          0          0          0          0          0
  mcf              :       0.00          1          0          0          0          0
Pricers            :       Time      Calls       Vars
  problem variables:       0.00          0          0
Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
  relpscost        :     139.51      29767          4        487          0          0      58902
  pscost           :       0.00          0          0          0          0          0          0
  inference        :       0.00          0          0          0          0          0          0
  mostinf          :       0.00          0          0          0          0          0          0
  leastinf         :       0.00          0          0          0          0          0          0
  fullstrong       :       0.00          0          0          0          0          0          0
  allfullstrong    :       0.00          0          0          0          0          0          0
  random           :       0.00          0          0          0          0          0          0
Primal Heuristics  :       Time      Calls      Found
  LP solutions     :       0.00          -          1
  pseudo solutions :       0.00          -          0
  oneopt           :       0.05          0          0
  crossover        :       0.02          0          0
  guideddiving     :       0.00          0          0
  intshifting      :       0.00          0          0
  pscostdiving     :       6.35         11          0
  veclendiving     :       6.12         11          0
  objpscostdiving  :       3.48          6          0
  linesearchdiving :       4.79         18          0
  feaspump         :       4.27          9          0
  coefdiving       :       5.51         18          0
  fracdiving       :       5.62         18          0
  rootsoldiving    :       2.76         10          0
  trivial          :       0.00          1          0
  simplerounding   :       0.08          0          0
  rounding         :       0.45       2392          0
  shifting         :       4.47        714          0
  fixandinfer      :       0.00          0          0
  intdiving        :       0.00          0          0
  actconsdiving    :       0.00          0          0
  octane           :       0.00          0          0
  rens             :       0.01          0          0
  rins             :       0.00          0          0
  localbranching   :       0.00          0          0
  mutation         :       0.00          0          0
  dins             :       0.00          0          0
  nlp              :       0.01          0          0
  trysol           :       0.00          0          0
LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
  primal LP        :       0.00          0          0       0.00          -
  dual LP          :     474.37      29794    6161106     206.79   12987.98
  lex dual LP      :       0.00          0          0       0.00          -
  barrier LP       :       0.00          0          0       0.00          -
  diving/probing LP:      35.62       3806     353577      92.90    9926.36
  strong branching :     134.17       5941    1569362     264.16   11696.82
    (at root node) :          -         33      10072     305.21          -
  conflict analysis:       0.00          0          0       0.00          -
B&B Tree           :
  number of runs   :          1
  nodes            :      44067
  nodes (total)    :      44067
  nodes left       :          0
  max depth        :         59
  max depth (total):         59
  backtracks       :      12560 (28.5%)
  delayed cutoffs  :      13414
  repropagations   :      47450 (1425007 domain reductions, 11334 cutoffs)
  avg switch length:       3.69
  switching time   :      32.57
Solution           :
  Solutions found  :          1 (1 improvements)
  Primal Bound     : +0.00000000000000e+000   (in run 1, after 44067 nodes, 812.62 seconds, depth 46, found by <relaxation>)
  Dual Bound       : +0.00000000000000e+000
  Gap              :       0.00 %
  Root Dual Bound  : +0.00000000000000e+000
