0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693439-1277904235.wbo>
0.00/0.03 c original problem has 3905 variables (2068 bin, 0 int, 0 impl, 1837 cont) and 4545 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.00/0.08 c (round 2) 0 del vars, 61 del conss, 1837 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.00/0.09 c (round 3) 45 del vars, 131 del conss, 1851 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.10 c (round 4) 104 del vars, 146 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.11 c (round 5) 119 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs
0.09/0.12 c (round 6) 120 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2008 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 120 deleted vars, 147 deleted constraints, 1852 tightened bounds, 0 added holes, 71 changed sides, 0 changed coefficients
0.09/0.17 c 1967 implications, 5 cliques
0.09/0.17 c presolved problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4398 constraints
0.09/0.17 c 1777 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1777 constraints of type <linear>
0.09/0.17 c 839 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 9 | - | 13M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90383
0.09/0.19 c y 0.1s| 1 | 0 | 9 | - | 14M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 52 | - | 14M| 0 | 36 |3785 |4398 |3785 | 867 | 23 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 239 | - | 14M| 0 | 18 |3785 |4398 |3785 | 895 | 51 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 752 | - | 14M| 0 | 33 |3785 |4398 |3785 | 915 | 71 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 1334 | - | 14M| 0 | 130 |3785 |4398 |3785 | 938 | 94 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.59/0.60 c 0.5s| 1 | 0 | 1724 | - | 15M| 0 | 116 |3785 |4398 |3785 |1047 | 203 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.69/0.71 c 0.6s| 1 | 0 | 1979 | - | 15M| 0 | 138 |3785 |4398 |3785 |1076 | 232 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.89/0.94 c 0.9s| 1 | 0 | 3068 | - | 15M| 0 | 142 |3785 |4398 |3785 |1102 | 258 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
4.79/4.86 c 4.7s| 1 | 2 | 3068 | - | 15M| 0 | 142 |3785 |4398 |3785 |1102 | 258 | 0 | 33 | 0.000000e+00 | 9.038300e+04 | Inf
32.19/32.25 c 31.4s| 10000 | 9993 | 56073 | 5.3 | 40M| 99 | 0 |3785 |4405 |3785 |1161 | 10k| 10 |1234 | 0.000000e+00 | 9.038300e+04 | Inf
48.39/48.49 c 47.0s| 20000 | 19976 | 89443 | 4.3 | 59M| 101 | 0 |3785 |4420 |3785 |1132 | 16k| 34 |1321 | 0.000000e+00 | 9.038300e+04 | Inf
62.49/62.55 c 60.6s| 30000 | 29960 |105890 | 3.4 | 77M| 131 | 0 |3785 |4431 |3785 |1168 | 19k| 58 |1326 | 0.000000e+00 | 9.038300e+04 | Inf
76.59/76.64 c 74.2s| 40000 | 39952 |122591 | 3.0 | 96M| 131 | 0 |3785 |4421 |3785 |1156 | 22k| 67 |1393 | 0.000000e+00 | 9.038300e+04 | Inf
90.29/90.33 c 87.5s| 50000 | 49946 |135421 | 2.6 | 114M| 131 | 0 |3785 |4419 |3785 |1151 | 24k| 73 |1402 | 0.000000e+00 | 9.038300e+04 | Inf
103.99/104.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.99/104.07 c 101s| 60000 | 59946 |148338 | 2.4 | 132M| 133 | 0 |3785 |4412 |3785 |1142 | 26k| 73 |1415 | 0.000000e+00 | 9.038300e+04 | Inf
117.89/117.94 c 114s| 70000 | 69938 |161204 | 2.3 | 150M| 133 | 0 |3785 |4419 |3785 |1158 | 27k| 82 |1490 | 0.000000e+00 | 9.038300e+04 | Inf
131.59/131.61 c 127s| 80000 | 79934 |173513 | 2.1 | 168M| 135 | 0 |3785 |4419 |3785 |1145 | 29k| 87 |1500 | 0.000000e+00 | 9.038300e+04 | Inf
145.59/145.64 c 141s| 90000 | 89934 |186141 | 2.0 | 186M| 135 | 0 |3785 |4415 |3785 |1165 | 31k| 87 |1517 | 0.000000e+00 | 9.038300e+04 | Inf
159.20/159.27 c 154s|100000 | 99934 |198875 | 2.0 | 204M| 135 | 0 |3785 |4411 |3785 |1163 | 32k| 87 |1522 | 0.000000e+00 | 9.038300e+04 | Inf
172.79/172.83 c 167s|110000 |109934 |209100 | 1.9 | 221M| 135 | 0 |3785 |4409 |3785 |1166 | 34k| 87 |1525 | 0.000000e+00 | 9.038300e+04 | Inf
186.29/186.32 c 180s|120000 |119932 |221766 | 1.8 | 239M| 135 | 0 |3785 |4410 |3785 |1150 | 35k| 88 |1532 | 0.000000e+00 | 9.038300e+04 | Inf
199.69/199.74 c 193s|130000 |129928 |233444 | 1.8 | 257M| 135 | 0 |3785 |4411 |3785 |1149 | 37k| 90 |1532 | 0.000000e+00 | 9.038300e+04 | Inf
212.89/212.98 c 206s|140000 |139916 |244153 | 1.7 | 275M| 149 | 0 |3785 |4417 |3785 |1159 | 38k| 97 |1534 | 0.000000e+00 | 9.038300e+04 | Inf
226.09/226.17 c 219s|150000 |149906 |250618 | 1.7 | 292M| 149 | 0 |3785 |4422 |3785 |1136 | 39k| 110 |1534 | 0.000000e+00 | 9.038300e+04 | Inf
239.29/239.30 c 232s|160000 |159906 |255658 | 1.6 | 310M| 149 | 0 |3785 |4414 |3785 |1169 | 40k| 110 |1538 | 0.000000e+00 | 9.038300e+04 | Inf
252.29/252.31 c 244s|170000 |169906 |262319 | 1.5 | 327M| 149 | 0 |3785 |4413 |3785 |1162 | 41k| 110 |1539 | 0.000000e+00 | 9.038300e+04 | Inf
265.10/265.14 c 257s|180000 |179906 |268399 | 1.5 | 345M| 149 | 0 |3785 |4411 |3785 |1144 | 41k| 110 |1539 | 0.000000e+00 | 9.038300e+04 | Inf
278.40/278.42 c 270s|190000 |189904 |277068 | 1.4 | 363M| 153 | 0 |3785 |4410 |3785 |1146 | 43k| 112 |1541 | 0.000000e+00 | 9.038300e+04 | Inf
291.29/291.39 c 282s|200000 |199902 |283105 | 1.4 | 380M| 155 | 0 |3785 |4414 |3785 |1159 | 44k| 118 |1541 | 0.000000e+00 | 9.038300e+04 | Inf
304.49/304.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.49/304.53 c 295s|210000 |209900 |289184 | 1.4 | 398M| 155 | 0 |3785 |4410 |3785 |1147 | 45k| 119 |1545 | 0.000000e+00 | 9.038300e+04 | Inf
316.99/317.03 c 307s|220000 |219900 |292435 | 1.3 | 415M| 175 | 0 |3785 |4409 |3785 |1145 | 46k| 119 |1545 | 0.000000e+00 | 9.038300e+04 | Inf
329.70/329.73 c 319s|230000 |229900 |297318 | 1.3 | 432M| 175 | 0 |3785 |4409 |3785 |1150 | 46k| 119 |1547 | 0.000000e+00 | 9.038300e+04 | Inf
342.39/342.40 c 332s|240000 |239900 |301714 | 1.2 | 449M| 181 | 0 |3785 |4409 |3785 |1165 | 47k| 119 |1547 | 0.000000e+00 | 9.038300e+04 | Inf
355.19/355.21 c 344s|250000 |249900 |306495 | 1.2 | 466M| 181 | 0 |3785 |4408 |3785 |1161 | 48k| 119 |1547 | 0.000000e+00 | 9.038300e+04 | Inf
367.79/367.81 c 356s|260000 |259900 |310368 | 1.2 | 484M| 181 | 0 |3785 |4408 |3785 |1158 | 49k| 119 |1547 | 0.000000e+00 | 9.038300e+04 | Inf
380.70/380.74 c 369s|270000 |269900 |316119 | 1.2 | 501M| 181 | 0 |3785 |4408 |3785 |1144 | 50k| 119 |1548 | 0.000000e+00 | 9.038300e+04 | Inf
393.70/393.74 c 381s|280000 |279898 |324585 | 1.1 | 518M| 181 | 0 |3785 |4412 |3785 |1156 | 52k| 123 |1549 | 0.000000e+00 | 9.038300e+04 | Inf
406.79/406.80 c 394s|290000 |289896 |331993 | 1.1 | 536M| 181 | 0 |3785 |4413 |3785 |1160 | 54k| 124 |1554 | 0.000000e+00 | 9.038300e+04 | Inf
419.59/419.61 c 406s|300000 |299896 |337433 | 1.1 | 553M| 181 | 0 |3785 |4413 |3785 |1153 | 55k| 124 |1556 | 0.000000e+00 | 9.038300e+04 | Inf
432.30/432.39 c 419s|310000 |309896 |341593 | 1.1 | 570M| 181 | 0 |3785 |4411 |3785 |1154 | 56k| 124 |1556 | 0.000000e+00 | 9.038300e+04 | Inf
445.20/445.27 c 431s|320000 |319892 |346836 | 1.1 | 588M| 181 | 0 |3785 |4413 |3785 |1156 | 57k| 126 |1557 | 0.000000e+00 | 9.038300e+04 | Inf
457.89/457.91 c 443s|330000 |329892 |351481 | 1.1 | 605M| 181 | 0 |3785 |4412 |3785 |1157 | 58k| 126 |1557 | 0.000000e+00 | 9.038300e+04 | Inf
470.90/470.93 c 456s|340000 |339892 |359127 | 1.0 | 622M| 181 | 0 |3785 |4411 |3785 |1144 | 60k| 126 |1565 | 0.000000e+00 | 9.038300e+04 | Inf
479.49/479.60 o 1029
479.49/479.60 c * 464s|346798 |324830 |361807 | 1.0 | 599M| 181 | - |3785 |4410 |3785 |1161 | 60k| 126 |1565 | 0.000000e+00 | 1.029000e+03 | Inf
485.10/485.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.10/485.15 c 470s|350000 |328016 |367008 | 1.0 | 605M| 181 | 0 |3785 |4453 |3785 |1167 | 61k| 178 |1565 | 0.000000e+00 | 1.029000e+03 | Inf
490.89/490.99 o 1019
490.89/490.99 c * 475s|353279 |330204 |372880 | 1.0 | 609M| 181 | - |3785 |4479 |3785 |1154 | 62k| 220 |1565 | 0.000000e+00 | 1.019000e+03 | Inf
503.49/503.52 c 487s|360000 |336892 |391923 | 1.1 | 622M| 181 | 0 |3785 |4479 |3785 |1156 | 64k| 297 |1565 | 0.000000e+00 | 1.019000e+03 | Inf
509.79/509.88 o 1011
509.79/509.88 c * 494s|363518 |339494 |400456 | 1.1 | 628M| 181 | - |3785 |4506 |3785 |1150 | 66k| 356 |1567 | 0.000000e+00 | 1.011000e+03 | Inf
517.49/517.52 o 1003
517.49/517.52 c * 501s|367804 |342838 |411940 | 1.1 | 634M| 181 | - |3785 |4517 |3785 |1147 | 67k| 427 |1569 | 0.000000e+00 | 1.003000e+03 | Inf
521.79/521.88 c 505s|370000 |344946 |421730 | 1.1 | 638M| 181 | 0 |3785 |4625 |3785 |1150 | 69k| 584 |1570 | 0.000000e+00 | 1.003000e+03 | Inf
522.69/522.76 o 995
522.69/522.76 c * 506s|370548 |344524 |422156 | 1.1 | 638M| 181 | - |3785 |4630 |3785 |1149 | 69k| 589 |1570 | 0.000000e+00 | 9.950000e+02 | Inf
526.49/526.53 o 980
526.49/526.53 c * 510s|372735 |344868 |425531 | 1.1 | 638M| 181 | - |3785 |4628 |3785 |1189 | 70k| 611 |1570 | 0.000000e+00 | 9.800000e+02 | Inf
530.49/530.53 o 951
530.49/530.53 c * 514s|374793 |342756 |432530 | 1.1 | 635M| 181 | - |3785 |4625 |3785 |1157 | 71k| 647 |1570 | 0.000000e+00 | 9.510000e+02 | Inf
532.79/532.84 o 949
532.79/532.84 c * 516s|376108 |343766 |434811 | 1.1 | 637M| 181 | - |3785 |4605 |3785 |1162 | 71k| 659 |1571 | 0.000000e+00 | 9.490000e+02 | Inf
539.89/539.93 c 523s|380000 |347610 |442943 | 1.2 | 644M| 181 | 0 |3785 |4666 |3785 |1148 | 73k| 766 |1573 | 0.000000e+00 | 9.490000e+02 | Inf
549.59/549.68 o 935
549.59/549.68 c * 532s|385260 |350424 |456933 | 1.2 | 651M| 181 | - |3785 |4747 |3785 |1148 | 75k|1056 |1573 | 0.000000e+00 | 9.350000e+02 | Inf
557.99/558.09 c 540s|390000 |355135 |464894 | 1.2 | 659M| 181 | 0 |3785 |4688 |3785 |1138 | 76k|1116 |1621 | 0.000000e+00 | 9.350000e+02 | Inf
570.79/570.83 o 929
570.79/570.83 c * 553s|397572 |361677 |475636 | 1.2 | 671M| 181 | - |3785 |4687 |3785 |1142 | 78k|1222 |1625 | 0.000000e+00 | 9.290000e+02 | Inf
574.99/575.02 c 557s|400000 |364077 |480310 | 1.2 | 676M| 181 | 0 |3785 |4730 |3785 |1164 | 78k|1305 |1626 | 0.000000e+00 | 9.290000e+02 | Inf
577.50/577.55 o 921
577.50/577.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.50/577.55 c * 559s|401448 |364132 |483768 | 1.2 | 677M| 181 | - |3785 |4742 |3785 |1159 | 79k|1368 |1631 | 0.000000e+00 | 9.210000e+02 | Inf
592.50/592.54 c 574s|410000 |372611 |499728 | 1.2 | 692M| 181 | 0 |3785 |4743 |3785 |1130 | 82k|1570 |1672 | 0.000000e+00 | 9.210000e+02 | Inf
609.59/609.61 c 590s|420000 |382526 |518308 | 1.2 | 710M| 181 | 0 |3785 |4697 |3785 |1155 | 85k|1771 |1697 | 0.000000e+00 | 9.210000e+02 | Inf
626.39/626.46 c 607s|430000 |392458 |535459 | 1.2 | 728M| 181 | 0 |3785 |4656 |3785 |1159 | 87k|1947 |1736 | 0.000000e+00 | 9.210000e+02 | Inf
643.19/643.23 c 623s|440000 |402307 |551381 | 1.2 | 747M| 181 | 0 |3785 |4766 |3785 |1150 | 90k|2351 |1760 | 0.000000e+00 | 9.210000e+02 | Inf
659.39/659.43 c 638s|450000 |412215 |566805 | 1.3 | 765M| 181 | 0 |3785 |4753 |3785 |1139 | 93k|2569 |1772 | 0.000000e+00 | 9.210000e+02 | Inf
661.69/661.71 o 908
661.69/661.71 c * 641s|451293 |411024 |569966 | 1.3 | 764M| 181 | - |3785 |4752 |3785 |1154 | 93k|2627 |1780 | 0.000000e+00 | 9.080000e+02 | Inf
670.69/670.78 o 905
670.69/670.78 c * 649s|456519 |415637 |579203 | 1.3 | 772M| 181 | - |3785 |4699 |3785 |1140 | 95k|2705 |1819 | 0.000000e+00 | 9.050000e+02 | Inf
676.49/676.52 c 655s|460000 |419097 |585398 | 1.3 | 779M| 187 | 0 |3785 |4685 |3785 |1147 | 95k|2752 |1825 | 0.000000e+00 | 9.050000e+02 | Inf
692.69/692.78 c 671s|470000 |429019 |599057 | 1.3 | 797M| 187 | 0 |3785 |4669 |3785 |1155 | 98k|2945 |1832 | 0.000000e+00 | 9.050000e+02 | Inf
707.49/707.59 o 893
707.49/707.59 c * 685s|478340 |434801 |617937 | 1.3 | 808M| 187 | - |3785 |4703 |3785 |1157 | 100k|3285 |1877 | 0.000000e+00 | 8.930000e+02 | Inf
710.60/710.62 c 688s|480000 |436442 |622133 | 1.3 | 811M| 187 | 0 |3785 |4717 |3785 |1173 | 101k|3345 |1880 | 0.000000e+00 | 8.930000e+02 | Inf
719.99/720.02 o 884
719.99/720.02 c * 697s|485601 |440114 |629751 | 1.3 | 818M| 187 | - |3785 |4696 |3785 |1173 | 102k|3451 |1896 | 0.000000e+00 | 8.840000e+02 | Inf
723.59/723.60 o 882
723.59/723.60 c * 701s|487606 |441611 |635066 | 1.3 | 821M| 187 | - |3785 |4834 |3785 |1143 | 103k|3671 |1908 | 0.000000e+00 | 8.820000e+02 | Inf
727.79/727.85 c 705s|490000 |443943 |640192 | 1.3 | 826M| 187 | 0 |3785 |4822 |3785 |1142 | 104k|3809 |1910 | 0.000000e+00 | 8.820000e+02 | Inf
731.19/731.22 o 871
731.19/731.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.19/731.22 c * 708s|492049 |443563 |643417 | 1.3 | 826M| 187 | - |3785 |4843 |3785 |1154 | 104k|3866 |1910 | 0.000000e+00 | 8.710000e+02 | Inf
733.80/733.84 o 862
733.80/733.84 c * 711s|493622 |443004 |645297 | 1.3 | 825M| 187 | - |3785 |4815 |3785 |1157 | 105k|3868 |1910 | 0.000000e+00 | 8.620000e+02 | Inf
743.39/743.45 o 838
743.39/743.45 c * 720s|499441 |442766 |652082 | 1.3 | 824M| 187 | - |3785 |4823 |3785 |1166 | 106k|4011 |1946 | 0.000000e+00 | 8.380000e+02 | Inf
744.39/744.43 c 721s|500000 |443321 |653068 | 1.3 | 825M| 187 | 0 |3785 |4813 |3785 |1149 | 106k|4018 |1962 | 0.000000e+00 | 8.380000e+02 | Inf
748.49/748.58 o 833
748.49/748.58 c * 725s|502560 |444543 |655008 | 1.3 | 828M| 187 | - |3785 |4760 |3785 |1163 | 106k|4022 |1962 | 0.000000e+00 | 8.330000e+02 | Inf
760.99/761.08 c 737s|510000 |451877 |665297 | 1.3 | 841M| 187 | 0 |3785 |4924 |3785 |1155 | 107k|4325 |1977 | 0.000000e+00 | 8.330000e+02 | Inf
776.39/776.46 c 752s|520000 |461823 |672707 | 1.3 | 859M| 187 | 0 |3785 |4838 |3785 |1155 | 109k|4437 |1980 | 0.000000e+00 | 8.330000e+02 | Inf
792.10/792.13 c 767s|530000 |471776 |680776 | 1.3 | 876M| 187 | 0 |3785 |4791 |3785 |1143 | 110k|4539 |1988 | 0.000000e+00 | 8.330000e+02 | Inf
801.49/801.56 o 828
801.49/801.56 c * 776s|535667 |475939 |688784 | 1.3 | 884M| 187 | - |3785 |4782 |3785 |1175 | 111k|4704 |2018 | 0.000000e+00 | 8.280000e+02 | Inf
808.59/808.61 c 783s|540000 |480244 |694888 | 1.3 | 891M| 187 | 0 |3785 |4737 |3785 |1175 | 112k|4759 |2036 | 0.000000e+00 | 8.280000e+02 | Inf
814.49/814.53 o 814
814.49/814.53 c * 789s|543467 |479461 |700182 | 1.3 | 890M| 187 | - |3785 |4816 |3785 |1149 | 113k|4926 |2050 | 0.000000e+00 | 8.140000e+02 | Inf
825.59/825.65 o 802
825.59/825.65 c * 799s|549787 |481842 |712666 | 1.3 | 895M| 187 | - |3785 |4814 |3785 |1163 | 116k|5119 |2074 | 0.000000e+00 | 8.020000e+02 | Inf
826.09/826.12 c 800s|550000 |482035 |713191 | 1.3 | 896M| 187 | 0 |3785 |4842 |3785 |1154 | 116k|5156 |2074 | 0.000000e+00 | 8.020000e+02 | Inf
826.49/826.53 o 792
826.49/826.53 c * 800s|550200 |478664 |713402 | 1.3 | 890M| 187 | - |3785 |4887 |3785 |1157 | 116k|5214 |2074 | 0.000000e+00 | 7.920000e+02 | Inf
830.69/830.72 o 784
830.69/830.72 c * 804s|552507 |478113 |717087 | 1.3 | 890M| 187 | - |3785 |4909 |3785 |1175 | 116k|5414 |2074 | 0.000000e+00 | 7.840000e+02 | Inf
836.99/837.03 o 769
836.99/837.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.99/837.03 c * 810s|556220 |476101 |723644 | 1.3 | 887M| 187 | - |3785 |5019 |3785 |1162 | 117k|5732 |2079 | 0.000000e+00 | 7.690000e+02 | Inf
837.69/837.75 o 764
837.69/837.75 c * 811s|556618 |474589 |724355 | 1.3 | 884M| 187 | - |3785 |5018 |3785 |1152 | 117k|5746 |2079 | 0.000000e+00 | 7.640000e+02 | Inf
842.70/842.71 o 760
842.70/842.71 c * 816s|559578 |475887 |728717 | 1.3 | 887M| 187 | - |3785 |5047 |3785 |1162 | 118k|5922 |2084 | 0.000000e+00 | 7.600000e+02 | Inf
843.59/843.63 c 817s|560000 |476281 |731086 | 1.3 | 888M| 187 | 0 |3785 |5058 |3785 |1152 | 118k|5994 |2095 | 0.000000e+00 | 7.600000e+02 | Inf
852.00/852.09 o 759
852.00/852.09 c * 825s|564256 |479889 |743090 | 1.3 | 897M| 187 | - |3785 |5291 |3785 |1137 | 120k|6609 |2135 | 0.000000e+00 | 7.590000e+02 | Inf
852.20/852.24 o 757
852.20/852.24 c * 825s|564316 |479152 |743319 | 1.3 | 895M| 187 | - |3785 |5306 |3785 |1167 | 120k|6630 |2136 | 0.000000e+00 | 7.570000e+02 | Inf
857.70/857.77 o 751
857.70/857.77 c * 830s|567496 |479984 |747554 | 1.3 | 897M| 187 | - |3785 |5173 |3785 |1154 | 121k|6699 |2138 | 0.000000e+00 | 7.510000e+02 | Inf
861.79/861.84 c 834s|570000 |482482 |749735 | 1.3 | 901M| 187 | 0 |3785 |5095 |3785 |1130 | 121k|6709 |2139 | 0.000000e+00 | 7.510000e+02 | Inf
878.59/878.64 c 851s|580000 |492301 |762981 | 1.3 | 920M| 187 | 0 |3785 |5080 |3785 |1150 | 123k|7169 |2149 | 0.000000e+00 | 7.510000e+02 | Inf
892.70/892.76 o 744
892.70/892.76 c * 864s|588741 |498127 |770708 | 1.3 | 931M| 187 | - |3785 |5051 |3785 |1163 | 124k|7366 |2159 | 0.000000e+00 | 7.440000e+02 | Inf
895.20/895.24 c 867s|590000 |499325 |773795 | 1.3 | 933M| 187 | 0 |3785 |5125 |3785 |1151 | 125k|7546 |2180 | 0.000000e+00 | 7.440000e+02 | Inf
895.69/895.74 o 736
895.69/895.74 c * 867s|590256 |496409 |774147 | 1.3 | 928M| 187 | - |3785 |5114 |3785 |1147 | 125k|7553 |2180 | 0.000000e+00 | 7.360000e+02 | Inf
900.79/900.83 o 735
900.79/900.83 c * 872s|593040 |498706 |779244 | 1.3 | 933M| 187 | - |3785 |5037 |3785 |1160 | 126k|7679 |2187 | 0.000000e+00 | 7.350000e+02 | Inf
910.49/910.56 o 728
910.49/910.56 c * 882s|598404 |501016 |789157 | 1.3 | 938M| 187 | - |3785 |5114 |3785 |1185 | 127k|8086 |2195 | 0.000000e+00 | 7.280000e+02 | Inf
910.69/910.70 o 717
910.69/910.70 c * 882s|598454 |496329 |789522 | 1.3 | 930M| 187 | - |3785 |5153 |3785 |1158 | 127k|8131 |2195 | 0.000000e+00 | 7.170000e+02 | Inf
913.49/913.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.49/913.53 c 885s|600000 |497855 |793048 | 1.3 | 933M| 187 | 0 |3785 |5092 |3785 |1158 | 128k|8165 |2196 | 0.000000e+00 | 7.170000e+02 | Inf
921.59/921.68 o 709
921.59/921.68 c * 892s|604606 |498726 |801039 | 1.3 | 935M| 187 | - |3785 |4992 |3785 |1173 | 129k|8340 |2202 | 0.000000e+00 | 7.090000e+02 | Inf
924.39/924.49 o 702
924.39/924.49 c * 895s|606227 |497327 |802975 | 1.3 | 932M| 187 | - |3785 |4993 |3785 |1158 | 129k|8411 |2206 | 0.000000e+00 | 7.020000e+02 | Inf
930.89/930.90 c 901s|610000 |501052 |807676 | 1.3 | 939M| 187 | 0 |3785 |4933 |3785 |1142 | 130k|8491 |2212 | 0.000000e+00 | 7.020000e+02 | Inf
944.29/944.30 o 688
944.29/944.30 c * 914s|618167 |502801 |817224 | 1.3 | 943M| 187 | - |3785 |4980 |3785 |1171 | 132k|8746 |2251 | 0.000000e+00 | 6.880000e+02 | Inf
947.59/947.63 c 918s|620000 |504484 |819902 | 1.3 | 946M| 187 | 0 |3785 |5154 |3785 |1153 | 132k|9046 |2258 | 0.000000e+00 | 6.880000e+02 | Inf
948.69/948.72 o 687
948.69/948.72 c * 919s|620702 |504664 |820517 | 1.3 | 947M| 187 | - |3785 |5144 |3785 |1184 | 132k|9066 |2261 | 0.000000e+00 | 6.870000e+02 | Inf
963.60/963.64 c 933s|630000 |513822 |828484 | 1.3 | 963M| 187 | 0 |3785 |5060 |3785 |1151 | 133k|9378 |2278 | 0.000000e+00 | 6.870000e+02 | Inf
975.80/975.84 o 683
975.80/975.84 c * 945s|637575 |519334 |835534 | 1.3 | 973M| 187 | - |3785 |5080 |3785 |1151 | 135k|9641 |2285 | 0.000000e+00 | 6.830000e+02 | Inf
980.10/980.15 c 949s|640000 |521657 |839308 | 1.3 | 978M| 187 | 0 |3785 |5234 |3785 |1151 | 135k|9900 |2293 | 0.000000e+00 | 6.830000e+02 | Inf
981.40/981.43 o 674
981.40/981.43 c * 950s|640633 |518042 |840824 | 1.3 | 972M| 187 | - |3785 |5293 |3785 |1150 | 135k| 10k|2293 | 0.000000e+00 | 6.740000e+02 | Inf
993.20/993.20 o 673
993.20/993.20 c * 962s|647372 |524089 |849707 | 1.3 | 984M| 187 | - |3785 |5288 |3785 |1166 | 137k| 10k|2294 | 0.000000e+00 | 6.730000e+02 | Inf
997.99/998.05 c 966s|650000 |526618 |855235 | 1.3 | 989M| 187 | 0 |3785 |5228 |3785 |1132 | 138k| 10k|2318 | 0.000000e+00 | 6.730000e+02 | Inf
998.20/998.22 o 668
998.20/998.22 c * 967s|650093 |524350 |855342 | 1.3 | 984M| 187 | - |3785 |5238 |3785 |1155 | 138k| 10k|2318 | 0.000000e+00 | 6.680000e+02 | Inf
1001.59/1001.64 o 661
1001.59/1001.64 c * 970s|651932 |522568 |859101 | 1.3 | 981M| 187 | - |3785 |5234 |3785 |1155 | 139k| 10k|2334 | 0.000000e+00 | 6.610000e+02 | Inf
1001.69/1001.74 o 650
1001.69/1001.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.69/1001.74 c * 970s|651965 |517356 |859291 | 1.3 | 972M| 187 | - |3785 |5231 |3785 |1152 | 139k| 10k|2334 | 0.000000e+00 | 6.500000e+02 | Inf
1001.80/1001.88 o 648
1001.80/1001.88 c * 970s|652018 |516347 |859634 | 1.3 | 970M| 187 | - |3785 |5237 |3785 |1153 | 139k| 10k|2334 | 0.000000e+00 | 6.480000e+02 | Inf
1003.49/1003.51 o 635
1003.49/1003.51 c * 972s|652862 |510615 |860948 | 1.3 | 960M| 187 | - |3785 |5287 |3785 |1153 | 139k| 11k|2338 | 0.000000e+00 | 6.350000e+02 | Inf
1010.69/1010.71 o 634
1010.69/1010.71 c * 979s|656695 |513708 |868203 | 1.3 | 966M| 187 | - |3785 |5251 |3785 |1164 | 140k| 11k|2346 | 0.000000e+00 | 6.340000e+02 | Inf
1013.89/1013.93 o 631
1013.89/1013.93 c * 982s|658536 |513902 |870188 | 1.3 | 967M| 187 | - |3785 |5282 |3785 |1155 | 141k| 11k|2346 | 0.000000e+00 | 6.310000e+02 | Inf
1016.50/1016.52 o 618
1016.50/1016.52 c * 984s|659918 |508323 |873371 | 1.3 | 957M| 187 | - |3785 |5368 |3785 |1160 | 141k| 11k|2347 | 0.000000e+00 | 6.180000e+02 | Inf
1016.50/1016.54 o 612
1016.50/1016.54 c * 984s|659920 |504992 |873405 | 1.3 | 951M| 187 | - |3785 |5368 |3785 |1162 | 141k| 11k|2347 | 0.000000e+00 | 6.120000e+02 | Inf
1016.50/1016.56 o 605
1016.50/1016.56 c * 984s|659921 |501241 |873418 | 1.3 | 944M| 187 | - |3785 |5368 |3785 |1162 | 141k| 11k|2347 | 0.000000e+00 | 6.050000e+02 | Inf
1016.60/1016.69 c 984s|660000 |501320 |873529 | 1.3 | 944M| 187 | 0 |3785 |5363 |3785 |1147 | 141k| 11k|2347 | 0.000000e+00 | 6.050000e+02 | Inf
1018.90/1018.94 o 593
1018.90/1018.94 c * 987s|661256 |495961 |875594 | 1.3 | 935M| 187 | - |3785 |5409 |3785 |1154 | 141k| 12k|2347 | 0.000000e+00 | 5.930000e+02 | Inf
1019.80/1019.84 o 591
1019.80/1019.84 c * 987s|661721 |495309 |876856 | 1.3 | 934M| 187 | - |3785 |5471 |3785 |1157 | 141k| 12k|2347 | 0.000000e+00 | 5.910000e+02 | Inf
1028.29/1028.32 o 587
1028.29/1028.32 c * 996s|666303 |497388 |885055 | 1.3 | 939M| 187 | - |3785 |5633 |3785 |1152 | 143k| 12k|2347 | 0.000000e+00 | 5.870000e+02 | Inf
1028.29/1028.34 o 573
1028.29/1028.34 c * 996s|666304 |489131 |885062 | 1.3 | 924M| 187 | - |3785 |5633 |3785 |1152 | 143k| 12k|2347 | 0.000000e+00 | 5.730000e+02 | Inf
1029.10/1029.14 o 571
1029.10/1029.14 c * 996s|666770 |488418 |885613 | 1.3 | 923M| 187 | - |3785 |5630 |3785 |1160 | 143k| 12k|2347 | 0.000000e+00 | 5.710000e+02 | Inf
1035.29/1035.31 c 1002s|670000 |491420 |891328 | 1.3 | 929M| 187 | 0 |3785 |5689 |3785 |1174 | 144k| 13k|2366 | 0.000000e+00 | 5.710000e+02 | Inf
1038.09/1038.14 o 564
1038.09/1038.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.09/1038.15 c *1005s|671520 |488795 |893972 | 1.3 | 926M| 187 | - |3785 |5767 |3785 |1154 | 144k| 13k|2382 | 0.000000e+00 | 5.640000e+02 | Inf
1038.89/1038.93 o 559
1038.89/1038.93 c *1006s|671948 |486355 |894516 | 1.3 | 921M| 187 | - |3785 |5762 |3785 |1160 | 144k| 13k|2382 | 0.000000e+00 | 5.590000e+02 | Inf
1038.89/1038.98 o 542
1038.89/1038.98 c *1006s|671953 |476677 |894572 | 1.3 | 903M| 187 | - |3785 |5762 |3785 |1161 | 144k| 13k|2382 | 0.000000e+00 | 5.420000e+02 | Inf
1041.19/1041.28 o 539
1041.19/1041.28 c *1008s|673079 |476006 |897412 | 1.3 | 903M| 187 | - |3785 |5772 |3785 |1146 | 145k| 14k|2398 | 0.000000e+00 | 5.390000e+02 | Inf
1041.49/1041.58 o 534
1041.49/1041.58 c *1008s|673188 |473154 |897896 | 1.3 | 898M| 187 | - |3785 |5824 |3785 |1174 | 145k| 14k|2399 | 0.000000e+00 | 5.340000e+02 | Inf
1041.49/1041.59 o 532
1041.49/1041.59 c *1008s|673189 |471960 |897899 | 1.3 | 896M| 187 | - |3785 |5824 |3785 |1174 | 145k| 14k|2399 | 0.000000e+00 | 5.320000e+02 | Inf
1044.29/1044.34 o 526
1044.29/1044.34 c *1011s|674706 |470134 |899818 | 1.3 | 893M| 187 | - |3785 |5745 |3785 |1155 | 145k| 14k|2399 | 0.000000e+00 | 5.260000e+02 | Inf
1044.59/1044.68 o 523
1044.59/1044.68 c g1011s|674872 |468442 |900148 | 1.3 | 890M| 187 | - |3785 |5739 |3785 |1166 | 145k| 14k|2399 | 0.000000e+00 | 5.230000e+02 | Inf
1045.19/1045.27 o 518
1045.19/1045.27 c *1012s|675166 |465806 |900580 | 1.3 | 885M| 187 | - |3785 |5721 |3785 |1169 | 146k| 14k|2399 | 0.000000e+00 | 5.180000e+02 | Inf
1045.19/1045.29 o 517
1045.19/1045.29 c *1012s|675169 |465254 |900594 | 1.3 | 884M| 187 | - |3785 |5721 |3785 |1169 | 146k| 14k|2399 | 0.000000e+00 | 5.170000e+02 | Inf
1047.39/1047.47 o 510
1047.39/1047.47 c *1014s|676304 |462214 |902034 | 1.3 | 879M| 187 | - |3785 |5782 |3785 |1169 | 146k| 14k|2399 | 0.000000e+00 | 5.100000e+02 | Inf
1047.70/1047.75 o 509
1047.70/1047.75 c *1014s|676441 |461719 |902353 | 1.3 | 878M| 187 | - |3785 |5827 |3785 |1152 | 146k| 14k|2399 | 0.000000e+00 | 5.090000e+02 | Inf
1049.59/1049.66 o 502
1049.59/1049.66 c *1016s|677459 |458631 |903894 | 1.3 | 873M| 187 | - |3785 |5856 |3785 |1161 | 146k| 14k|2402 | 0.000000e+00 | 5.020000e+02 | Inf
1049.99/1050.00 o 498
1049.99/1050.00 c *1017s|677614 |456425 |904439 | 1.3 | 869M| 187 | - |3785 |5858 |3785 |1154 | 146k| 14k|2403 | 0.000000e+00 | 4.980000e+02 | Inf
1053.90/1054.00 c 1020s|680000 |458698 |907964 | 1.3 | 873M| 187 | 0 |3785 |5909 |3785 |1162 | 147k| 15k|2403 | 0.000000e+00 | 4.980000e+02 | Inf
1056.29/1056.37 o 496
1056.29/1056.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.29/1056.37 c *1023s|681202 |458611 |910550 | 1.3 | 873M| 187 | - |3785 |5900 |3785 |1141 | 147k| 15k|2405 | 0.000000e+00 | 4.960000e+02 | Inf
1056.29/1056.39 o 492
1056.29/1056.39 c *1023s|681203 |456231 |910556 | 1.3 | 868M| 187 | - |3785 |5900 |3785 |1141 | 147k| 15k|2405 | 0.000000e+00 | 4.920000e+02 | Inf
1057.90/1057.93 o 490
1057.90/1057.93 c *1024s|681978 |455672 |913025 | 1.3 | 868M| 187 | - |3785 |6016 |3785 |1137 | 148k| 15k|2405 | 0.000000e+00 | 4.900000e+02 | Inf
1061.99/1062.00 o 485
1061.99/1062.00 c *1028s|683993 |454310 |918249 | 1.3 | 867M| 187 | - |3785 |6076 |3785 |1152 | 148k| 16k|2409 | 0.000000e+00 | 4.850000e+02 | Inf
1066.89/1066.99 o 483
1066.89/1066.99 c *1033s|686861 |455856 |921889 | 1.3 | 871M| 187 | - |3785 |5892 |3785 |1170 | 149k| 16k|2409 | 0.000000e+00 | 4.830000e+02 | Inf
1072.80/1072.83 c 1039s|690000 |458722 |927881 | 1.3 | 876M| 187 | 0 |3785 |5916 |3785 |1161 | 150k| 17k|2410 | 0.000000e+00 | 4.830000e+02 | Inf
1075.30/1075.30 o 475
1075.30/1075.30 c *1041s|691405 |455266 |929477 | 1.3 | 870M| 187 | - |3785 |5899 |3785 |1148 | 150k| 17k|2410 | 0.000000e+00 | 4.750000e+02 | Inf
1075.30/1075.32 o 467
1075.30/1075.32 c *1041s|691406 |450160 |929500 | 1.3 | 861M| 187 | - |3785 |5899 |3785 |1148 | 150k| 17k|2410 | 0.000000e+00 | 4.670000e+02 | Inf
1077.40/1077.47 o 462
1077.40/1077.47 c *1043s|692672 |448178 |930812 | 1.3 | 858M| 187 | - |3785 |5915 |3785 |1151 | 151k| 17k|2410 | 0.000000e+00 | 4.620000e+02 | Inf
1077.59/1077.67 o 454
1077.59/1077.67 c *1043s|692760 |443133 |930980 | 1.3 | 848M| 187 | - |3785 |5923 |3785 |1153 | 151k| 17k|2410 | 0.000000e+00 | 4.540000e+02 | Inf
1079.00/1079.04 o 452
1079.00/1079.04 c *1045s|693379 |442301 |932754 | 1.3 | 847M| 187 | - |3785 |6164 |3785 |1175 | 151k| 17k|2416 | 0.000000e+00 | 4.520000e+02 | Inf
1079.00/1079.06 o 448
1079.00/1079.06 c *1045s|693380 |439769 |932754 | 1.3 | 843M| 187 | - |3785 |6164 |3785 |1175 | 151k| 17k|2416 | 0.000000e+00 | 4.480000e+02 | Inf
1081.20/1081.27 o 442
1081.20/1081.27 c *1047s|694316 |436241 |936704 | 1.3 | 838M| 187 | - |3785 |6427 |3785 |1146 | 151k| 18k|2420 | 0.000000e+00 | 4.420000e+02 | Inf
1082.69/1082.77 o 433
1082.69/1082.77 c *1048s|694958 |430618 |939682 | 1.3 | 828M| 187 | - |3785 |6623 |3785 |1155 | 152k| 18k|2429 | 0.000000e+00 | 4.330000e+02 | Inf
1083.10/1083.17 o 431
1083.10/1083.17 c *1049s|695125 |429220 |940595 | 1.3 | 826M| 187 | - |3785 |6697 |3785 |1154 | 152k| 18k|2431 | 0.000000e+00 | 4.310000e+02 | Inf
1083.40/1083.49 o 430
1083.40/1083.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.40/1083.49 c *1049s|695246 |428681 |941123 | 1.3 | 825M| 187 | - |3785 |6731 |3785 |1153 | 152k| 18k|2434 | 0.000000e+00 | 4.300000e+02 | Inf
1083.90/1083.96 o 418
1083.90/1083.96 c *1049s|695425 |420627 |941878 | 1.3 | 811M| 187 | - |3785 |6759 |3785 |1168 | 152k| 18k|2436 | 0.000000e+00 | 4.180000e+02 | Inf
1084.29/1084.36 o 417
1084.29/1084.36 c *1050s|695589 |419978 |942524 | 1.4 | 810M| 187 | - |3785 |6801 |3785 |1160 | 152k| 18k|2436 | 0.000000e+00 | 4.170000e+02 | Inf
1084.29/1084.37 o 413
1084.29/1084.37 c *1050s|695590 |417099 |942529 | 1.4 | 805M| 187 | - |3785 |6801 |3785 |1160 | 152k| 18k|2436 | 0.000000e+00 | 4.130000e+02 | Inf
1084.39/1084.48 o 408
1084.39/1084.48 c *1050s|695624 |413424 |942736 | 1.4 | 798M| 187 | - |3785 |6801 |3785 |1147 | 152k| 18k|2436 | 0.000000e+00 | 4.080000e+02 | Inf
1084.49/1084.50 o 404
1084.49/1084.50 c *1050s|695625 |410741 |942743 | 1.4 | 793M| 187 | - |3785 |6801 |3785 |1147 | 152k| 18k|2436 | 0.000000e+00 | 4.040000e+02 | Inf
1084.80/1084.80 o 402
1084.80/1084.80 c *1050s|695717 |409314 |943476 | 1.4 | 791M| 187 | - |3785 |6861 |3785 |1153 | 152k| 18k|2437 | 0.000000e+00 | 4.020000e+02 | Inf
1084.80/1084.82 o 397
1084.80/1084.82 c *1050s|695718 |405838 |943479 | 1.4 | 784M| 187 | - |3785 |6861 |3785 |1153 | 152k| 18k|2437 | 0.000000e+00 | 3.970000e+02 | Inf
1084.80/1084.89 o 394
1084.80/1084.89 c *1050s|695730 |403624 |943736 | 1.4 | 780M| 187 | - |3785 |6862 |3785 |1147 | 152k| 18k|2437 | 0.000000e+00 | 3.940000e+02 | Inf
1084.89/1084.91 o 388
1084.89/1084.91 c *1050s|695731 |399365 |943762 | 1.4 | 772M| 187 | - |3785 |6862 |3785 |1147 | 152k| 18k|2437 | 0.000000e+00 | 3.880000e+02 | Inf
1086.70/1086.80 o 377
1086.70/1086.80 c *1052s|696531 |391769 |946806 | 1.4 | 758M| 187 | - |3785 |6853 |3785 |1156 | 153k| 19k|2438 | 0.000000e+00 | 3.770000e+02 | Inf
1086.80/1086.82 o 373
1086.80/1086.82 c *1052s|696532 |388480 |946806 | 1.4 | 752M| 187 | - |3785 |6853 |3785 |1156 | 153k| 19k|2438 | 0.000000e+00 | 3.730000e+02 | Inf
1089.19/1089.24 o 368
1089.19/1089.24 c *1054s|697527 |385288 |951636 | 1.4 | 747M| 187 | - |3785 |6743 |3785 |1152 | 154k| 19k|2453 | 0.000000e+00 | 3.680000e+02 | Inf
1090.80/1090.84 o 361
1090.80/1090.84 c *1056s|698237 |380337 |953724 | 1.4 | 739M| 187 | - |3785 |6892 |3785 |1168 | 154k| 20k|2457 | 0.000000e+00 | 3.610000e+02 | Inf
1090.90/1090.94 o 356
1090.90/1090.94 c *1056s|698267 |376460 |953856 | 1.4 | 732M| 187 | - |3785 |6898 |3785 |1168 | 154k| 20k|2457 | 0.000000e+00 | 3.560000e+02 | Inf
1091.69/1091.79 o 355
1091.69/1091.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.69/1091.79 c *1057s|698647 |375983 |954651 | 1.4 | 732M| 187 | - |3785 |7001 |3785 |1139 | 154k| 20k|2457 | 0.000000e+00 | 3.550000e+02 | Inf
1091.79/1091.85 o 354
1091.79/1091.85 c *1057s|698662 |375098 |954791 | 1.4 | 730M| 187 | - |3785 |6997 |3785 |1143 | 154k| 20k|2457 | 0.000000e+00 | 3.540000e+02 | Inf
1093.10/1093.10 o 353
1093.10/1093.10 c *1058s|699257 |374781 |956155 | 1.4 | 730M| 187 | - |3785 |6971 |3785 |1173 | 154k| 20k|2458 | 0.000000e+00 | 3.530000e+02 | Inf
1093.20/1093.27 o 343
1093.20/1093.27 c *1058s|699338 |366883 |956249 | 1.4 | 716M| 187 | - |3785 |6973 |3785 |1172 | 154k| 20k|2458 | 0.000000e+00 | 3.430000e+02 | Inf
1093.70/1093.80 o 332
1093.70/1093.80 c *1059s|699571 |357996 |956581 | 1.4 | 700M| 187 | - |3785 |7007 |3785 |1160 | 154k| 20k|2458 | 0.000000e+00 | 3.320000e+02 | Inf
1093.90/1093.90 o 312
1093.90/1093.90 c *1059s|699589 |341295 |956670 | 1.4 | 669M| 187 | - |3785 |7026 |3785 |1162 | 154k| 20k|2458 | 0.000000e+00 | 3.120000e+02 | Inf
1094.20/1094.26 o 310
1094.20/1094.26 c *1059s|699726 |339471 |957095 | 1.4 | 666M| 187 | - |3785 |7121 |3785 |1155 | 154k| 20k|2460 | 0.000000e+00 | 3.100000e+02 | Inf
1094.90/1094.90 c 1060s|700000 |339690 |957618 | 1.4 | 667M| 187 | 0 |3785 |7192 |3785 |1170 | 154k| 21k|2460 | 0.000000e+00 | 3.100000e+02 | Inf
1095.50/1095.51 o 299
1095.50/1095.51 c *1060s|700267 |330372 |958263 | 1.4 | 651M| 187 | - |3785 |7142 |3785 |1172 | 155k| 21k|2460 | 0.000000e+00 | 2.990000e+02 | Inf
1096.50/1096.51 o 288
1096.50/1096.51 c *1061s|700683 |320411 |959592 | 1.4 | 632M| 187 | - |3785 |7108 |3785 |1157 | 155k| 21k|2461 | 0.000000e+00 | 2.880000e+02 | Inf
1098.50/1098.59 o 286
1098.50/1098.59 c *1063s|701493 |319053 |961739 | 1.4 | 631M| 187 | - |3785 |7338 |3785 |1150 | 155k| 22k|2466 | 0.000000e+00 | 2.860000e+02 | Inf
1099.40/1099.46 o 285
1099.40/1099.46 c *1064s|701807 |318456 |962871 | 1.4 | 630M| 187 | - |3785 |7207 |3785 |1149 | 155k| 22k|2467 | 0.000000e+00 | 2.850000e+02 | Inf
1099.50/1099.53 o 284
1099.50/1099.53 c *1064s|701829 |317417 |962953 | 1.4 | 629M| 187 | - |3785 |7193 |3785 |1158 | 155k| 22k|2467 | 0.000000e+00 | 2.840000e+02 | Inf
1101.21/1101.22 o 275
1101.21/1101.22 c *1066s|702656 |308905 |964960 | 1.4 | 614M| 187 | - |3785 |7031 |3785 |1170 | 156k| 22k|2470 | 0.000000e+00 | 2.750000e+02 | Inf
1101.89/1101.99 o 272
1101.89/1101.99 c *1067s|702988 |305836 |965888 | 1.4 | 609M| 187 | - |3785 |7014 |3785 |1152 | 156k| 22k|2472 | 0.000000e+00 | 2.720000e+02 | Inf
1102.00/1102.02 o 264
1102.00/1102.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.00/1102.02 c *1067s|702989 |298030 |965888 | 1.4 | 594M| 187 | - |3785 |7014 |3785 |1152 | 156k| 22k|2472 | 0.000000e+00 | 2.640000e+02 | Inf
1102.99/1103.03 o 261
1102.99/1103.03 c *1068s|703380 |294900 |967533 | 1.4 | 590M| 187 | - |3785 |6839 |3785 |1161 | 156k| 22k|2473 | 0.000000e+00 | 2.610000e+02 | Inf
1102.99/1103.08 o 245
1102.99/1103.08 c *1068s|703381 |277513 |967533 | 1.4 | 558M| 187 | - |3785 |6839 |3785 |1161 | 156k| 22k|2473 | 0.000000e+00 | 2.450000e+02 | Inf
1103.70/1103.72 o 234
1103.70/1103.72 c *1068s|703641 |266193 |968310 | 1.4 | 538M| 187 | - |3785 |6797 |3785 |1180 | 156k| 22k|2473 | 0.000000e+00 | 2.340000e+02 | Inf
1103.70/1103.74 o 232
1103.70/1103.74 c *1068s|703642 |264541 |968312 | 1.4 | 535M| 187 | - |3785 |6797 |3785 |1180 | 156k| 22k|2473 | 0.000000e+00 | 2.320000e+02 | Inf
1104.00/1104.08 o 223
1104.00/1104.08 c *1069s|703752 |254155 |968832 | 1.4 | 516M| 187 | - |3785 |6799 |3785 |1160 | 156k| 22k|2473 | 0.000000e+00 | 2.230000e+02 | Inf
1104.79/1104.87 o 221
1104.79/1104.87 c *1069s|704027 |252193 |970376 | 1.4 | 514M| 187 | - |3785 |6771 |3785 |1150 | 156k| 23k|2475 | 0.000000e+00 | 2.210000e+02 | Inf
1105.29/1105.32 o 209
1105.29/1105.32 c *1070s|704202 |239087 |971127 | 1.4 | 489M| 187 | - |3785 |6811 |3785 |1162 | 157k| 23k|2475 | 0.000000e+00 | 2.090000e+02 | Inf
1105.60/1105.62 o 201
1105.60/1105.62 c *1070s|704311 |228997 |971480 | 1.4 | 470M| 187 | - |3785 |6813 |3785 |1145 | 157k| 23k|2475 | 0.000000e+00 | 2.010000e+02 | Inf
1105.60/1105.64 o 197
1105.60/1105.64 c *1070s|704312 |224223 |971484 | 1.4 | 460M| 187 | - |3785 |6813 |3785 |1145 | 157k| 23k|2475 | 0.000000e+00 | 1.970000e+02 | Inf
1106.00/1106.09 o 196
1106.00/1106.09 c *1071s|704520 |223379 |971820 | 1.4 | 459M| 187 | - |3785 |6808 |3785 |1149 | 157k| 23k|2475 | 0.000000e+00 | 1.960000e+02 | Inf
1106.09/1106.10 o 194
1106.09/1106.10 c *1071s|704521 |221014 |971839 | 1.4 | 455M| 187 | - |3785 |6808 |3785 |1149 | 157k| 23k|2475 | 0.000000e+00 | 1.940000e+02 | Inf
1106.29/1106.35 o 193
1106.29/1106.35 c *1071s|704619 |219087 |972185 | 1.4 | 451M| 187 | - |3785 |6804 |3785 |1164 | 157k| 23k|2476 | 0.000000e+00 | 1.930000e+02 | Inf
1106.29/1106.38 o 185
1106.29/1106.38 c *1071s|704620 |209440 |972185 | 1.4 | 433M| 187 | - |3785 |6804 |3785 |1164 | 157k| 23k|2476 | 0.000000e+00 | 1.850000e+02 | Inf
1106.50/1106.50 o 175
1106.50/1106.50 c *1071s|704660 |197276 |972321 | 1.4 | 410M| 187 | - |3785 |6798 |3785 |1165 | 157k| 23k|2476 | 0.000000e+00 | 1.750000e+02 | Inf
1106.50/1106.53 o 167
1106.50/1106.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.50/1106.53 c *1071s|704661 |186947 |972321 | 1.4 | 390M| 187 | - |3785 |6798 |3785 |1165 | 157k| 23k|2476 | 0.000000e+00 | 1.670000e+02 | Inf
1106.50/1106.59 o 161
1106.50/1106.59 c *1071s|704675 |179128 |972442 | 1.4 | 375M| 187 | - |3785 |6798 |3785 |1164 | 157k| 23k|2476 | 0.000000e+00 | 1.610000e+02 | Inf
1106.60/1106.62 o 153
1106.60/1106.62 c *1071s|704676 |170283 |972443 | 1.4 | 358M| 187 | - |3785 |6798 |3785 |1164 | 157k| 23k|2476 | 0.000000e+00 | 1.530000e+02 | Inf
1107.59/1107.66 o 150
1107.59/1107.66 c *1072s|704940 |167400 |975932 | 1.4 | 353M| 187 | - |3785 |6603 |3785 |1151 | 157k| 23k|2492 | 0.000000e+00 | 1.500000e+02 | Inf
1108.40/1108.47 o 149
1108.40/1108.47 c *1073s|705231 |166484 |977514 | 1.4 | 352M| 187 | - |3785 |6611 |3785 |1159 | 157k| 23k|2507 | 0.000000e+00 | 1.490000e+02 | Inf
1108.40/1108.48 o 148
1108.40/1108.48 c *1073s|705232 |165614 |977514 | 1.4 | 350M| 187 | - |3785 |6611 |3785 |1159 | 157k| 23k|2507 | 0.000000e+00 | 1.480000e+02 | Inf
1108.50/1108.53 o 139
1108.50/1108.53 c *1073s|705238 |156179 |977637 | 1.4 | 332M| 187 | - |3785 |6609 |3785 |1148 | 157k| 23k|2507 | 0.000000e+00 | 1.390000e+02 | Inf
1108.60/1108.60 o 129
1108.60/1108.60 c *1073s|705253 |147096 |977751 | 1.4 | 314M| 187 | - |3785 |6608 |3785 |1151 | 157k| 23k|2507 | 0.000000e+00 | 1.290000e+02 | Inf
1109.49/1109.54 o 127
1109.49/1109.54 c *1074s|705669 |145932 |978737 | 1.4 | 313M| 187 | - |3785 |6496 |3785 |1155 | 158k| 24k|2509 | 0.000000e+00 | 1.270000e+02 | Inf
1109.60/1109.69 o 120
1109.60/1109.69 c *1074s|705725 |139605 |978949 | 1.4 | 301M| 187 | - |3785 |6485 |3785 |1154 | 158k| 24k|2509 | 0.000000e+00 | 1.200000e+02 | Inf
1109.70/1109.74 o 106
1109.70/1109.74 c *1074s|705726 |122505 |978958 | 1.4 | 267M| 187 | - |3785 |6485 |3785 |1154 | 158k| 24k|2509 | 0.000000e+00 | 1.060000e+02 | Inf
1109.80/1109.83 o 102
1109.80/1109.83 c *1074s|705750 |117388 |979127 | 1.4 | 257M| 187 | - |3785 |6480 |3785 |1168 | 158k| 24k|2509 | 0.000000e+00 | 1.020000e+02 | Inf
1109.90/1109.92 o 97
1109.90/1109.92 c *1074s|705774 |110821 |979262 | 1.4 | 244M| 187 | - |3785 |6450 |3785 |1166 | 158k| 24k|2509 | 0.000000e+00 | 9.700000e+01 | Inf
1110.00/1110.08 o 92
1110.00/1110.08 c *1074s|705814 |103040 |979492 | 1.4 | 230M| 187 | - |3785 |6313 |3785 |1163 | 158k| 24k|2511 | 0.000000e+00 | 9.200000e+01 | Inf
1110.00/1110.09 o 89
1110.00/1110.09 c *1074s|705815 |100630 |979494 | 1.4 | 225M| 187 | - |3785 |6313 |3785 |1163 | 158k| 24k|2511 | 0.000000e+00 | 8.900000e+01 | Inf
1110.10/1110.18 o 77
1110.10/1110.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.10/1110.18 c *1074s|705821 | 84511 |979643 | 1.4 | 194M| 187 | - |3785 |6122 |3785 |1168 | 158k| 24k|2511 | 0.000000e+00 | 7.700000e+01 | Inf
1110.39/1110.49 o 74
1110.39/1110.49 c *1075s|705929 | 81373 |979980 | 1.4 | 188M| 187 | - |3785 |5853 |3785 |1170 | 158k| 24k|2514 | 0.000000e+00 | 7.400000e+01 | Inf
1110.49/1110.56 o 71
1110.49/1110.56 c *1075s|705948 | 79701 |980012 | 1.4 | 185M| 187 | - |3785 |5760 |3785 |1170 | 158k| 24k|2514 | 0.000000e+00 | 7.100000e+01 | Inf
1110.60/1110.64 o 67
1110.60/1110.64 c *1075s|705980 | 77192 |980017 | 1.4 | 180M| 187 | - |3785 |5650 |3785 |1154 | 158k| 24k|2514 | 0.000000e+00 | 6.700000e+01 | Inf
1110.69/1110.70 o 64
1110.69/1110.70 c *1075s|706004 | 73439 |980039 | 1.4 | 173M| 187 | - |3785 |5547 |3785 |1154 | 158k| 24k|2514 | 0.000000e+00 | 6.400000e+01 | Inf
1110.69/1110.78 o 60
1110.69/1110.78 c *1075s|706034 | 71088 |980062 | 1.4 | 168M| 187 | - |3785 |5427 |3785 |1154 | 158k| 24k|2514 | 0.000000e+00 | 6.000000e+01 | Inf
1110.79/1110.85 o 51
1110.79/1110.85 c *1075s|706054 | 61066 |980070 | 1.4 | 149M| 187 | - |3785 |5296 |3785 |1154 | 158k| 24k|2514 | 0.000000e+00 | 5.100000e+01 | Inf
1111.20/1111.26 o 14
1111.20/1111.26 c *1076s|706382 | 41345 |980082 | 1.4 | 108M| 433 | - |3785 |5090 |3785 |1154 | 158k| 24k|2514 | 0.000000e+00 | 1.400000e+01 | Inf
1111.20/1111.27 o 12
1111.20/1111.27 c *1076s|706383 | 39643 |980088 | 1.4 | 104M| 433 | - |3785 |5090 |3785 |1154 | 158k| 24k|2514 | 0.000000e+00 | 1.200000e+01 | Inf
1111.30/1111.38 o 8
1111.30/1111.38 c *1076s|706384 | 10426 |980130 | 1.4 | 47M| 433 | - |3785 |4214 |3785 |1150 | 158k| 24k|2514 | 0.000000e+00 | 8.000000e+00 | Inf
1115.80/1115.84 o 7
1115.80/1115.84 c *1080s|708259 | 8357 | 1003k| 1.4 | 44M| 433 | - |3785 |5456 |3785 |1120 | 159k| 26k|2637 | 0.000000e+00 | 7.000000e+00 | Inf
1119.10/1119.18 c 1083s|710000 | 8345 | 1018k| 1.4 | 44M| 433 | 13 |3785 |6540 |3785 |1116 | 160k| 29k|2674 | 0.000000e+00 | 7.000000e+00 | Inf
1138.80/1138.86 c 1102s|720000 | 8242 | 1102k| 1.5 | 47M| 433 | 18 |3785 | 11k|3785 |1088 | 165k| 42k|2795 | 0.000000e+00 | 7.000000e+00 | Inf
1145.39/1145.44 o 5
1145.39/1145.44 c *1108s|723111 | 7748 | 1131k| 1.6 | 46M| 433 | - |3785 | 12k|3785 |1138 | 167k| 46k|2821 | 0.000000e+00 | 5.000000e+00 | Inf
1159.41/1159.41 c 1121s|730000 | 7193 | 1189k| 1.6 | 46M| 433 | - |3785 | 13k| 0 | 0 | 170k| 55k|2894 | 0.000000e+00 | 5.000000e+00 | Inf
1166.60/1166.66 o 4
1166.60/1166.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.60/1166.66 c *1128s|733653 | 6810 | 1215k| 1.7 | 46M| 433 | - |3785 | 16k|3785 |1134 | 173k| 60k|2897 | 0.000000e+00 | 4.000000e+00 | Inf
1180.60/1180.61 c 1141s|740000 | 6760 | 1266k| 1.7 | 47M| 433 | 12 |3785 | 18k|3785 |1130 | 176k| 69k|2968 | 0.000000e+00 | 4.000000e+00 | Inf
1204.51/1204.53 c 1164s|750000 | 6396 | 1347k| 1.8 | 48M| 433 | - |3785 | 20k| 0 | 0 | 182k| 82k|3071 | 0.000000e+00 | 4.000000e+00 | Inf
1211.50/1211.58 o 2
1211.50/1211.58 c *1171s|753199 | 5616 | 1374k| 1.8 | 46M| 433 | - |3785 | 19k|3785 |1110 | 185k| 87k|3116 | 0.000000e+00 | 2.000000e+00 | Inf
1226.69/1226.78 c 1186s|760000 | 5588 | 1433k| 1.9 | 48M| 433 | - |3785 | 23k| 0 | 0 | 189k| 96k|3181 | 0.000000e+00 | 2.000000e+00 | Inf
1247.29/1247.37 o 1
1247.29/1247.37 c *1206s|768504 | 5634 | 1507k| 2.0 | 50M| 433 | - |3785 | 28k|3785 |1108 | 195k| 108k|3248 | 0.000000e+00 | 1.000000e-00 | Inf
1250.80/1250.85 c 1209s|770000 | 5616 | 1517k| 2.0 | 50M| 433 | 13 |3785 | 28k|3785 |1103 | 196k| 110k|3295 | 0.000000e+00 | 1.000000e-00 | Inf
1276.29/1276.33 c 1234s|780000 | 5605 | 1595k| 2.0 | 52M| 433 | 11 |3785 | 32k|3785 |1123 | 201k| 124k|3351 | 0.000000e+00 | 1.000000e-00 | Inf
1302.80/1302.81 c 1260s|790000 | 5219 | 1673k| 2.1 | 48M| 433 | - |3785 | 21k|3785 |1109 | 206k| 138k|3438 | 0.000000e+00 | 1.000000e-00 | Inf
1326.40/1326.46 c 1283s|800000 | 5149 | 1756k| 2.2 | 50M| 433 | - |3785 | 25k| 0 | 0 | 211k| 152k|3547 | 0.000000e+00 | 1.000000e-00 | Inf
1349.60/1349.65 c 1305s|810000 | 4429 | 1837k| 2.3 | 47M| 433 | 10 |3785 | 22k|3785 |1105 | 216k| 166k|3630 | 0.000000e+00 | 1.000000e-00 | Inf
1372.40/1372.46 c 1327s|820000 | 4466 | 1909k| 2.3 | 50M| 433 | - |3785 | 29k| 0 | 0 | 221k| 179k|3656 | 0.000000e+00 | 1.000000e-00 | Inf
1398.60/1398.62 c 1352s|830000 | 4483 | 1985k| 2.4 | 52M| 433 | 11 |3785 | 34k|3785 |1107 | 225k| 194k|3717 | 0.000000e+00 | 1.000000e-00 | Inf
1427.30/1427.36 c 1380s|840000 | 4215 | 2067k| 2.5 | 50M| 433 | 1 |3785 | 32k|3785 |1108 | 229k| 208k|3860 | 0.000000e+00 | 1.000000e-00 | Inf
1453.20/1453.27 c 1405s|850000 | 2619 | 2150k| 2.5 | 45M| 433 | - |3785 | 25k| 0 | 0 | 234k| 221k|3960 | 0.000000e+00 | 1.000000e-00 | Inf
1478.00/1478.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.00/1478.04 c 1429s|860000 | 2414 | 2226k| 2.6 | 46M| 433 | 13 |3785 | 29k|3785 |1103 | 240k| 235k|4030 | 0.000000e+00 | 1.000000e-00 | Inf
1503.00/1503.02 c 1453s|870000 | 2395 | 2302k| 2.6 | 47M| 433 | 10 |3785 | 33k|3785 |1102 | 245k| 249k|4084 | 0.000000e+00 | 1.000000e-00 | Inf
1529.30/1529.32 c 1479s|880000 | 2451 | 2372k| 2.7 | 50M| 433 | 1 |3785 | 39k|3785 |1126 | 249k| 263k|4129 | 0.000000e+00 | 1.000000e-00 | Inf
1557.90/1557.93 c 1507s|890000 | 2477 | 2445k| 2.7 | 51M| 433 | 1 |3785 | 41k|3785 |1097 | 254k| 277k|4193 | 0.000000e+00 | 1.000000e-00 | Inf
1590.30/1590.36 c 1538s|900000 | 2406 | 2527k| 2.8 | 49M| 433 | 1 |3785 | 38k|3785 |1124 | 259k| 291k|4239 | 0.000000e+00 | 1.000000e-00 | Inf
1618.30/1618.30 c 1565s|910000 | 2431 | 2609k| 2.9 | 50M| 433 | 13 |3785 | 39k|3785 |1108 | 265k| 304k|4357 | 0.000000e+00 | 1.000000e-00 | Inf
1646.90/1646.95 c 1593s|920000 | 2432 | 2684k| 2.9 | 50M| 433 | - |3785 | 38k| 0 | 0 | 270k| 318k|4462 | 0.000000e+00 | 1.000000e-00 | Inf
1673.90/1673.91 c 1619s|930000 | 2610 | 2754k| 3.0 | 53M| 433 | - |3785 | 43k| 0 | 0 | 274k| 331k|4515 | 0.000000e+00 | 1.000000e-00 | Inf
1702.40/1702.48 c 1647s|940000 | 2751 | 2828k| 3.0 | 55M| 433 | - |3785 | 45k| 0 | 0 | 279k| 345k|4553 | 0.000000e+00 | 1.000000e-00 | Inf
1730.91/1730.95 c 1674s|950000 | 2779 | 2900k| 3.1 | 56M| 433 | 1 |3785 | 47k|3785 |1107 | 284k| 360k|4588 | 0.000000e+00 | 1.000000e-00 | Inf
1760.51/1760.55 c 1703s|960000 | 2845 | 2972k| 3.1 | 57M| 433 | 8 |3785 | 48k|3785 |1106 | 289k| 374k|4653 | 0.000000e+00 | 1.000000e-00 | Inf
1791.60/1791.68 c 1733s|970000 | 2893 | 3049k| 3.1 | 60M| 433 | - |3785 | 53k| 0 | 0 | 294k| 389k|4689 | 0.000000e+00 | 1.000000e-00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1741.02
1800.02/1800.00 c Solving Nodes : 972520
1800.02/1800.00 c Primal Bound : +1.00000000000000e-00 (262 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.04 s SATISFIABLE
1800.02/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.02/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.04 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.04 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.02/1800.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.02/1800.04 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.02/1800.04 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54
1800.02/1800.04 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.02/1800.04 v -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2
1800.02/1800.04 v -x1
1800.02/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.04 c Solving Time : 1741.02
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2693439-1277904235.wbo
1800.02/1800.04 c Variables : 3905 (2068 binary, 0 integer, 0 implicit integer, 1837 continuous)
1800.02/1800.04 c Constraints : 4545 initial, 4545 maximal
1800.02/1800.04 c Presolved Problem :
1800.02/1800.04 c Problem name : t_HOME/instance-2693439-1277904235.wbo
1800.02/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.02/1800.04 c Constraints : 4398 initial, 54659 maximal
1800.02/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.04 c trivial : 0.00 60 0 0 0 0 0 0 0
1800.02/1800.04 c dualfix : 0.00 60 0 0 0 0 0 0 0
1800.02/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 0.00 0 0 0 0 0 60 0 0
1800.02/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.05 0 0 0 1852 0 87 71 0
1800.02/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c root node : - 1777 - - 3554 - - - -
1800.02/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c integral : 0 0 0 908417 0 21 539 0 0 340124
1800.02/1800.04 c indicator : 1777 0 1412988 721186 0 144 3069489 0 0 0
1800.02/1800.04 c setppc : 5 7 1964423 470678 0 6236 456117 0 0 0
1800.02/1800.04 c linear : 1777 7 2314976 727151 0 77266 6327840 295328 0 0
1800.02/1800.04 c logicor : 839+ 7 1030743 678069 0 39388 1877553 0 0 0
1800.02/1800.04 c bounddisjunction : 0+ 0 41861 0 0 0 0 0 0 0
1800.02/1800.04 c countsols : 0 0 0 678069 0 0 0 0 0 0
1800.02/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.04 c integral : 19.72 0.00 0.00 19.72 0.00
1800.02/1800.04 c indicator : 123.61 0.00 24.70 98.91 0.00
1800.02/1800.04 c setppc : 3.44 0.00 3.44 0.00 0.00
1800.02/1800.04 c linear : 77.02 0.00 58.20 18.82 0.00
1800.02/1800.04 c logicor : 146.54 0.00 142.15 4.39 0.00
1800.02/1800.04 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.02/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.04 c vbounds : 0.00 2 0 0
1800.02/1800.04 c rootredcost : 0.02 161 0 1776
1800.02/1800.04 c pseudoobj : 74.79 2337141 3723 1394755
1800.02/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.04 c propagation : 6.37 126613 126480 814135 25.3 7562 12.2 -
1800.02/1800.04 c infeasible LP : 6.45 24096 24096 191342 39.8 276 14.9 0
1800.02/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c pseudo solution : 0.16 458 458 3457 22.6 401 7.2 -
1800.02/1800.04 c applied globally : - - - 392998 22.4 - - -
1800.02/1800.04 c applied locally : - - - 0 0.0 - - -
1800.02/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.04 c cut pool : 0.00 6 - - 3 - (maximal pool size: 530)
1800.02/1800.04 c redcost : 64.30 910915 0 1218808 0 0
1800.02/1800.04 c impliedbounds : 0.00 7 0 0 0 0
1800.02/1800.04 c intobj : 0.00 0 0 0 0 0
1800.02/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.04 c gomory : 0.13 7 0 0 1003 0
1800.02/1800.04 c strongcg : 0.10 7 0 0 699 0
1800.02/1800.04 c cmir : 0.04 7 0 0 0 0
1800.02/1800.04 c flowcover : 0.07 7 0 0 0 0
1800.02/1800.04 c clique : 0.00 7 0 0 0 0
1800.02/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.04 c mcf : 0.00 1 0 0 0 0
1800.02/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.04 c Pricers : Time Calls Vars
1800.02/1800.04 c problem variables: 0.00 0 0
1800.02/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c relpscost : 19.65 170553 21 539 0 0 340124
1800.02/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c inference : 102.77 677910 0 0 0 0 1355820
1800.02/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c random : 0.00 0 0 0 0 0 0
1800.02/1800.04 c Primal Heuristics : Time Calls Found
1800.02/1800.04 c LP solutions : 2.20 - 159
1800.02/1800.04 c pseudo solutions : 0.00 - 0
1800.02/1800.04 c feaspump : 0.01 1 0
1800.02/1800.04 c oneopt : 0.67 137 0
1800.02/1800.04 c intshifting : 0.00 14 0
1800.02/1800.04 c crossover : 4.43 189 0
1800.02/1800.04 c coefdiving : 15.84 17547 0
1800.02/1800.04 c fracdiving : 16.99 17547 0
1800.02/1800.04 c veclendiving : 15.99 17547 0
1800.02/1800.04 c pscostdiving : 15.70 17547 0
1800.02/1800.04 c linesearchdiving : 15.88 17548 0
1800.02/1800.04 c guideddiving : 16.31 17548 1
1800.02/1800.04 c objpscostdiving : 16.01 17333 0
1800.02/1800.04 c rootsoldiving : 16.61 17343 0
1800.02/1800.04 c trivial : 0.00 2 0
1800.02/1800.04 c simplerounding : 0.33 170783 0
1800.02/1800.04 c zirounding : 0.01 1000 0
1800.02/1800.04 c rounding : 0.72 5804 0
1800.02/1800.04 c shifting : 0.74 1854 0
1800.02/1800.04 c twoopt : 0.00 0 0
1800.02/1800.04 c fixandinfer : 0.00 0 0
1800.02/1800.04 c intdiving : 0.00 0 0
1800.02/1800.04 c actconsdiving : 0.00 0 0
1800.02/1800.04 c octane : 0.00 0 0
1800.02/1800.04 c rens : 0.04 1 0
1800.02/1800.04 c rins : 0.00 0 0
1800.02/1800.04 c localbranching : 0.00 0 0
1800.02/1800.04 c mutation : 0.00 0 0
1800.02/1800.04 c dins : 0.00 0 0
1800.02/1800.04 c undercover : 0.00 0 0
1800.02/1800.04 c nlp : 0.00 0 0
1800.02/1800.04 c trysol : 0.40 19343 102
1800.02/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.04 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.04 c dual LP : 618.42 297292 3062515 10.30 4952.16
1800.02/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.04 c diving/probing LP: 0.78 394 6588 16.72 8446.15
1800.02/1800.04 c strong branching : 18.15 4689 162806 34.72 8970.03
1800.02/1800.04 c (at root node) : - 33 32107 972.94 -
1800.02/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.04 c B&B Tree :
1800.02/1800.04 c number of runs : 1
1800.02/1800.04 c nodes : 972520
1800.02/1800.04 c nodes (total) : 972520
1800.02/1800.04 c nodes left : 2906
1800.02/1800.04 c max depth : 433
1800.02/1800.04 c max depth (total): 433
1800.02/1800.04 c backtracks : 59744 (6.1%)
1800.02/1800.04 c delayed cutoffs : 34974
1800.02/1800.04 c repropagations : 438762 (2188273 domain reductions, 26845 cutoffs)
1800.02/1800.04 c avg switch length: 3.34
1800.02/1800.04 c switching time : 135.00
1800.02/1800.04 c Solution :
1800.02/1800.04 c Solutions found : 262 (161 improvements)
1800.02/1800.04 c First Solution : +9.03830000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.02/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 768504 nodes, 1205.97 seconds, depth 32, found by <relaxation>)
1800.02/1800.04 c Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Gap : infinite
1800.02/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Root Iterations : 3068
1800.12/1800.18 c Time complete: 1800.18.