0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690824-1338018748.opb>
0.00/0.01 c original problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.00/0.01 c problem read in 0.02
0.00/0.04 c presolving:
0.00/0.08 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5409 upgd conss, 39720 impls, 0 clqs
0.00/0.09 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5557 upgd conss, 39720 impls, 0 clqs
0.08/0.12 c (0.1s) probing: 51/808 (6.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.12 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.08/0.12 c presolving (3 rounds):
0.08/0.12 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.12 c 39720 implications, 0 cliques
0.08/0.12 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.08/0.12 c 5268 constraints of type <setppc>
0.08/0.12 c 289 constraints of type <logicor>
0.08/0.12 c transformed objective value is always integral (scale: 1)
0.08/0.12 c Presolving Time: 0.10
0.08/0.12 c - non default parameters ----------------------------------------------------------------------
0.08/0.12 c # SCIP version 2.1.1.4
0.08/0.12 c
0.08/0.12 c # maximal time in seconds to run
0.08/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.12 c limits/time = 1797
0.08/0.12 c
0.08/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.12 c limits/memory = 13950
0.08/0.12 c
0.08/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.12 c # [type: int, range: [1,2], default: 1]
0.08/0.12 c timing/clocktype = 2
0.08/0.12 c
0.08/0.12 c # belongs reading time to solving time?
0.08/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.12 c timing/reading = TRUE
0.08/0.12 c
0.08/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.12 c separating/rapidlearning/freq = 0
0.08/0.12 c
0.08/0.12 c -----------------------------------------------------------------------------------------------
0.08/0.12 c start solving
0.08/0.12 c
0.18/0.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.18/0.29 c 0.3s| 1 | 0 | 1908 | - | 10M| 0 | 602 | 808 |5609 | 808 |5557 | 0 | 52 | 0 | 2.469383e+02 | -- | Inf
2.89/2.94 o 400
2.89/2.94 c y 2.9s| 1 | 0 | 4973 | - | 12M| 0 | 602 | 808 |5609 | 808 |5557 | 0 | 52 | 0 | 2.469383e+02 | 4.000000e+02 | 61.98%
2.89/2.98 c 3.0s| 1 | 0 | 5148 | - | 12M| 0 | 573 | 808 |5847 | 808 |5567 | 10 | 52 | 0 | 2.499921e+02 | 4.000000e+02 | 60.01%
2.89/2.98 o 398
2.89/2.98 c b 3.0s| 1 | 0 | 5148 | - | 12M| 0 | 573 | 808 |5847 | 808 |5567 | 10 | 52 | 0 | 2.499921e+02 | 3.980000e+02 | 59.21%
2.99/3.06 c 3.1s| 1 | 0 | 5245 | - | 12M| 0 | 483 | 808 |5847 | 808 |5579 | 22 | 52 | 0 | 2.525000e+02 | 3.980000e+02 | 57.62%
3.08/3.17 c 3.2s| 1 | 0 | 5312 | - | 12M| 0 | 482 | 808 |5847 | 808 |5584 | 27 | 52 | 0 | 2.530000e+02 | 3.980000e+02 | 57.31%
3.19/3.28 c 3.3s| 1 | 0 | 5570 | - | 12M| 0 | 510 | 808 |5847 | 808 |5592 | 35 | 52 | 0 | 2.545203e+02 | 3.980000e+02 | 56.37%
3.29/3.40 c 3.4s| 1 | 0 | 5806 | - | 12M| 0 | 512 | 808 |5847 | 808 |5603 | 46 | 52 | 0 | 2.570050e+02 | 3.980000e+02 | 54.86%
3.49/3.51 c 3.5s| 1 | 0 | 5949 | - | 12M| 0 | 484 | 808 |5847 | 808 |5612 | 55 | 52 | 0 | 2.587500e+02 | 3.980000e+02 | 53.82%
3.58/3.65 c 3.7s| 1 | 0 | 6101 | - | 12M| 0 | 473 | 808 |5847 | 808 |5623 | 66 | 52 | 0 | 2.597500e+02 | 3.980000e+02 | 53.22%
3.68/3.78 c 3.8s| 1 | 0 | 6347 | - | 13M| 0 | 480 | 808 |5847 | 808 |5634 | 77 | 52 | 0 | 2.615000e+02 | 3.980000e+02 | 52.20%
3.89/3.98 c 4.0s| 1 | 0 | 6689 | - | 13M| 0 | 526 | 808 |5847 | 808 |5642 | 85 | 52 | 0 | 2.622558e+02 | 3.980000e+02 | 51.76%
4.19/4.25 c 4.2s| 1 | 0 | 7031 | - | 13M| 0 | 532 | 808 |5847 | 808 |5651 | 94 | 52 | 0 | 2.628572e+02 | 3.980000e+02 | 51.41%
4.39/4.43 c 4.4s| 1 | 0 | 7319 | - | 13M| 0 | 517 | 808 |5847 | 808 |5661 | 104 | 52 | 0 | 2.643333e+02 | 3.980000e+02 | 50.57%
4.69/4.72 c 4.7s| 1 | 0 | 7882 | - | 13M| 0 | 524 | 808 |5847 | 808 |5671 | 115 | 52 | 0 | 2.662546e+02 | 3.980000e+02 | 49.48%
4.78/4.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.78/4.86 c 4.9s| 1 | 0 | 8170 | - | 13M| 0 | 539 | 808 |5847 | 808 |5681 | 125 | 52 | 0 | 2.669608e+02 | 3.980000e+02 | 49.09%
5.29/5.31 c 5.3s| 1 | 0 | 8763 | - | 13M| 0 | 538 | 808 |5847 | 808 |5688 | 132 | 52 | 0 | 2.679718e+02 | 3.980000e+02 | 48.52%
5.50/5.58 c 5.6s| 1 | 0 | 9051 | - | 13M| 0 | 532 | 808 |5847 | 808 |5693 | 137 | 52 | 0 | 2.685833e+02 | 3.980000e+02 | 48.18%
5.89/5.94 c 5.9s| 1 | 0 | 9232 | - | 13M| 0 | 534 | 808 |5847 | 808 |5703 | 147 | 52 | 0 | 2.690000e+02 | 3.980000e+02 | 47.96%
6.09/6.11 c 6.1s| 1 | 0 | 9571 | - | 13M| 0 | 526 | 808 |5847 | 808 |5707 | 151 | 52 | 0 | 2.690000e+02 | 3.980000e+02 | 47.96%
6.49/6.52 c 6.5s| 1 | 0 | 9940 | - | 13M| 0 | 528 | 808 |5847 | 808 |5697 | 157 | 52 | 0 | 2.695000e+02 | 3.980000e+02 | 47.68%
6.79/6.84 c 6.8s| 1 | 0 | 10218 | - | 14M| 0 | 532 | 808 |5847 | 808 |5703 | 163 | 52 | 0 | 2.697000e+02 | 3.980000e+02 | 47.57%
7.08/7.14 c 7.1s| 1 | 0 | 10413 | - | 14M| 0 | 528 | 808 |5847 | 808 |5707 | 167 | 52 | 0 | 2.699000e+02 | 3.980000e+02 | 47.46%
7.08/7.18 c 7.2s| 1 | 0 | 10518 | - | 14M| 0 | 534 | 808 |5847 | 808 |5708 | 168 | 52 | 0 | 2.700000e+02 | 3.980000e+02 | 47.41%
8.59/8.66 c 8.7s| 1 | 2 | 10518 | - | 14M| 0 | 534 | 808 |5847 | 808 |5708 | 168 | 52 | 10 | 2.700000e+02 | 3.980000e+02 | 47.41%
37.58/37.69 c 37.7s| 100 | 76 | 36690 | 264.4 | 14M| 16 | 335 | 808 |5960 | 808 |5654 | 168 | 165 | 272 | 2.700000e+02 | 3.980000e+02 | 47.41%
44.27/44.38 c 44.4s| 200 | 142 | 62558 | 261.5 | 15M| 18 | 340 | 808 |6250 | 808 |5654 | 168 | 455 | 305 | 2.700000e+02 | 3.980000e+02 | 47.41%
45.87/45.96 o 397
45.87/45.96 c R46.0s| 220 | 153 | 67953 | 262.3 | 15M| 18 | 45 | 808 |6272 | 808 |5654 | 168 | 477 | 314 | 2.700000e+02 | 3.970000e+02 | 47.04%
45.87/45.96 o 396
45.87/45.96 c b46.0s| 221 | 154 | 67953 | 261.1 | 15M| 18 | - | 808 |6272 | 808 |5654 | 168 | 477 | 314 | 2.700000e+02 | 3.960000e+02 | 46.67%
53.47/53.56 o 392
53.47/53.56 c g53.6s| 281 | 201 | 94883 | 301.3 | 16M| 18 | - | 808 |6359 | 808 |5654 | 168 | 564 | 332 | 2.700000e+02 | 3.920000e+02 | 45.19%
53.47/53.57 o 386
53.47/53.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.47/53.57 c b53.6s| 282 | 202 | 94889 | 300.3 | 16M| 18 | 446 | 808 |6359 | 808 |5654 | 168 | 564 | 332 | 2.700000e+02 | 3.860000e+02 | 42.96%
58.87/58.97 c 59.0s| 300 | 220 |121701 | 371.8 | 16M| 18 | 470 | 808 |6474 | 808 |5654 | 168 | 683 | 341 | 2.700000e+02 | 3.860000e+02 | 42.96%
82.37/82.42 c 82.4s| 400 | 304 |204773 | 486.9 | 16M| 18 | 426 | 808 |6620 | 808 |5654 | 168 |1049 | 440 | 2.700124e+02 | 3.860000e+02 | 42.96%
94.87/94.92 c 94.9s| 500 | 388 |249558 | 479.0 | 17M| 18 | 202 | 808 |6579 | 808 |5654 | 168 |1242 | 548 | 2.700124e+02 | 3.860000e+02 | 42.96%
108.27/108.37 c 108s| 600 | 479 |297794 | 479.6 | 17M| 18 | 367 | 808 |6550 | 808 |5654 | 168 |1395 | 753 | 2.705124e+02 | 3.860000e+02 | 42.69%
124.16/124.28 c 124s| 700 | 570 |357582 | 496.5 | 18M| 18 | 415 | 808 |6488 | 808 |5654 | 168 |1488 | 919 | 2.774161e+02 | 3.860000e+02 | 39.14%
136.26/136.33 c 136s| 800 | 656 |413636 | 504.5 | 19M| 18 | 345 | 808 |6501 | 808 |5654 | 168 |1647 | 943 | 2.777829e+02 | 3.860000e+02 | 38.96%
145.86/145.95 c 146s| 900 | 736 |454991 | 494.4 | 19M| 18 | 287 | 808 |6508 | 808 |5654 | 168 |1823 | 980 | 2.781736e+02 | 3.860000e+02 | 38.76%
157.75/157.84 c 158s| 1000 | 811 |503269 | 493.2 | 20M| 18 | 312 | 808 |6499 | 808 |5654 | 168 |1963 |1090 | 2.782408e+02 | 3.860000e+02 | 38.73%
165.75/165.84 c 166s| 1100 | 881 |534299 | 476.6 | 20M| 19 | 183 | 808 |6461 | 808 |5654 | 168 |2073 |1166 | 2.782408e+02 | 3.860000e+02 | 38.73%
165.75/165.87 o 385
165.75/165.87 c * 166s| 1106 | 881 |534492 | 474.2 | 20M| 23 | - | 808 |6427 | 808 |5654 | 168 |2083 |1166 | 2.782408e+02 | 3.850000e+02 | 38.37%
173.25/173.31 c 173s| 1200 | 944 |562517 | 460.4 | 20M| 25 | 135 | 808 |6424 | 808 |5654 | 168 |2253 |1255 | 2.782517e+02 | 3.850000e+02 | 38.36%
181.95/182.08 c 182s| 1300 | 1003 |595600 | 450.4 | 21M| 25 | 377 | 808 |6478 | 808 |5654 | 168 |2461 |1337 | 2.782517e+02 | 3.850000e+02 | 38.36%
190.26/190.38 c 190s| 1400 | 1068 |626884 | 440.6 | 21M| 25 | 443 | 808 |6475 | 808 |5654 | 168 |2645 |1415 | 2.787940e+02 | 3.850000e+02 | 38.09%
196.65/196.79 c 197s| 1500 | 1114 |651203 | 427.4 | 22M| 25 | 380 | 808 |6456 | 808 |5654 | 168 |2806 |1478 | 2.787940e+02 | 3.850000e+02 | 38.09%
203.15/203.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.15/203.26 c 203s| 1600 | 1142 |675467 | 415.9 | 22M| 25 | 346 | 808 |6490 | 808 |5654 | 168 |3049 |1569 | 2.787940e+02 | 3.850000e+02 | 38.09%
212.55/212.60 c 213s| 1700 | 1207 |713668 | 413.9 | 23M| 25 | - | 808 |6540 | 0 | 0 | 168 |3248 |1651 | 2.792191e+02 | 3.850000e+02 | 37.88%
219.05/219.15 c 219s| 1800 | 1269 |745381 | 408.5 | 23M| 25 | 392 | 808 |6520 | 808 |5654 | 168 |3379 |1658 | 2.792766e+02 | 3.850000e+02 | 37.86%
225.34/225.47 c 225s| 1900 | 1334 |777904 | 404.1 | 24M| 25 | - | 808 |6427 | 0 | 0 | 168 |3494 |1659 | 2.793544e+02 | 3.850000e+02 | 37.82%
231.06/231.19 c 231s| 2000 | 1392 |806029 | 398.0 | 24M| 25 | 154 | 808 |6444 | 808 |5654 | 168 |3677 |1659 | 2.793691e+02 | 3.850000e+02 | 37.81%
238.35/238.47 c 238s| 2100 | 1448 |836439 | 393.5 | 24M| 25 | 132 | 808 |6522 | 808 |5654 | 168 |3873 |1714 | 2.801022e+02 | 3.850000e+02 | 37.45%
244.44/244.52 c 245s| 2200 | 1482 |860041 | 386.3 | 25M| 25 | 288 | 808 |6567 | 808 |5654 | 168 |4080 |1770 | 2.801805e+02 | 3.850000e+02 | 37.41%
252.24/252.39 c 252s| 2300 | 1525 |890154 | 382.6 | 25M| 25 | 458 | 808 |6599 | 808 |5654 | 168 |4258 |1852 | 2.803261e+02 | 3.850000e+02 | 37.34%
259.44/259.51 c 260s| 2400 | 1570 |920384 | 379.3 | 26M| 25 | - | 808 |6611 | 0 | 0 | 168 |4418 |1906 | 2.809577e+02 | 3.850000e+02 | 37.03%
263.94/264.05 c 264s| 2500 | 1609 |938690 | 371.4 | 26M| 27 | 59 | 808 |6582 | 808 |5654 | 168 |4575 |1944 | 2.809587e+02 | 3.850000e+02 | 37.03%
270.64/270.76 c 271s| 2600 | 1641 |969464 | 369.0 | 26M| 38 | - | 808 |6597 | 0 | 0 | 168 |4729 |1981 | 2.818215e+02 | 3.850000e+02 | 36.61%
273.84/273.98 c 274s| 2700 | 1664 |981864 | 359.9 | 27M| 38 | - | 808 |6649 | 0 | 0 | 168 |4905 |2021 | 2.818430e+02 | 3.850000e+02 | 36.60%
276.44/276.53 c 277s| 2800 | 1685 |992050 | 350.7 | 27M| 38 | - | 808 |6682 | 0 | 0 | 168 |5098 |2052 | 2.818430e+02 | 3.850000e+02 | 36.60%
278.34/278.42 c 278s| 2900 | 1695 |999799 | 341.2 | 27M| 38 | - | 808 |6758 | 808 |5654 | 168 |5295 |2068 | 2.819412e+02 | 3.850000e+02 | 36.55%
282.64/282.78 c 283s| 3000 | 1730 | 1015k| 335.1 | 27M| 39 | - | 808 |6744 | 0 | 0 | 168 |5448 |2105 | 2.825000e+02 | 3.850000e+02 | 36.28%
289.43/289.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.43/289.55 c 290s| 3100 | 1771 | 1040k| 332.5 | 28M| 39 | 363 | 808 |6689 | 808 |5654 | 168 |5629 |2176 | 2.825927e+02 | 3.850000e+02 | 36.24%
292.13/292.27 c 292s| 3200 | 1795 | 1053k| 325.9 | 28M| 39 | 210 | 808 |6691 | 808 |5654 | 168 |5736 |2192 | 2.825927e+02 | 3.850000e+02 | 36.24%
296.44/296.56 c 297s| 3300 | 1827 | 1070k| 321.2 | 28M| 39 | - | 808 |6676 | 0 | 0 | 168 |5908 |2234 | 2.826911e+02 | 3.850000e+02 | 36.19%
300.63/300.70 c 301s| 3400 | 1848 | 1086k| 316.6 | 28M| 39 | 296 | 808 |6678 | 808 |5654 | 168 |6090 |2290 | 2.827713e+02 | 3.850000e+02 | 36.15%
305.44/305.51 c 306s| 3500 | 1881 | 1106k| 313.2 | 28M| 39 | - | 808 |6661 | 808 |5654 | 168 |6273 |2345 | 2.827713e+02 | 3.850000e+02 | 36.15%
309.93/310.08 c 310s| 3600 | 1915 | 1124k| 309.5 | 29M| 39 | 443 | 808 |6701 | 808 |5654 | 168 |6440 |2391 | 2.827713e+02 | 3.850000e+02 | 36.15%
314.43/314.58 c 315s| 3700 | 1956 | 1144k| 306.6 | 29M| 39 | 290 | 808 |6675 | 808 |5654 | 168 |6589 |2414 | 2.829928e+02 | 3.850000e+02 | 36.05%
315.53/315.70 c 316s| 3800 | 1967 | 1149k| 299.9 | 29M| 39 | - | 808 |6748 | 808 |5654 | 168 |6703 |2414 | 2.829928e+02 | 3.850000e+02 | 36.05%
318.03/318.19 c 318s| 3900 | 1990 | 1161k| 295.3 | 29M| 39 | 72 | 808 |6674 | 808 |5654 | 168 |6778 |2416 | 2.829928e+02 | 3.850000e+02 | 36.05%
320.03/320.19 c 320s| 4000 | 2001 | 1171k| 290.4 | 29M| 39 | - | 808 |6699 | 808 |5654 | 168 |6852 |2417 | 2.834577e+02 | 3.850000e+02 | 35.82%
321.03/321.18 c 321s| 4100 | 2003 | 1176k| 284.5 | 29M| 39 | - | 808 |6686 | 808 |5654 | 168 |6897 |2417 | 2.835000e+02 | 3.850000e+02 | 35.80%
322.54/322.66 c 323s| 4200 | 2010 | 1184k| 279.5 | 30M| 39 | 261 | 808 |6613 | 808 |5654 | 168 |6986 |2417 | 2.835000e+02 | 3.850000e+02 | 35.80%
326.33/326.46 c 326s| 4300 | 2040 | 1203k| 277.4 | 30M| 39 | 53 | 808 |6622 | 808 |5654 | 168 |7117 |2418 | 2.837428e+02 | 3.850000e+02 | 35.69%
328.63/328.73 c 329s| 4400 | 2050 | 1214k| 273.7 | 30M| 39 | - | 808 |6668 | 0 | 0 | 168 |7257 |2418 | 2.837602e+02 | 3.850000e+02 | 35.68%
330.43/330.56 c 331s| 4500 | 2071 | 1223k| 269.7 | 30M| 39 | - | 808 |6687 | 0 | 0 | 168 |7407 |2418 | 2.837602e+02 | 3.850000e+02 | 35.68%
333.92/334.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.92/334.07 c 334s| 4600 | 2098 | 1242k| 267.9 | 30M| 39 | 277 | 808 |6646 | 808 |5654 | 168 |7572 |2418 | 2.840596e+02 | 3.850000e+02 | 35.53%
337.74/337.86 c 338s| 4700 | 2131 | 1262k| 266.4 | 31M| 39 | - | 808 |6668 | 0 | 0 | 168 |7778 |2418 | 2.840596e+02 | 3.850000e+02 | 35.53%
341.43/341.59 c 342s| 4800 | 2145 | 1278k| 264.2 | 31M| 39 | - | 808 |6721 | 0 | 0 | 168 |7990 |2443 | 2.840596e+02 | 3.850000e+02 | 35.53%
348.83/348.90 c 349s| 4900 | 2202 | 1308k| 264.9 | 31M| 39 | 262 | 808 |6681 | 808 |5654 | 168 |8161 |2506 | 2.842533e+02 | 3.850000e+02 | 35.44%
354.73/354.83 c 355s| 5000 | 2247 | 1336k| 265.3 | 32M| 39 | 103 | 808 |6895 | 808 |5654 | 168 |8551 |2544 | 2.847173e+02 | 3.850000e+02 | 35.22%
357.13/357.21 c 357s| 5100 | 2271 | 1346k| 262.0 | 32M| 39 | 102 | 808 |7015 | 808 |5654 | 168 |8730 |2563 | 2.847173e+02 | 3.850000e+02 | 35.22%
360.23/360.35 c 360s| 5200 | 2280 | 1359k| 259.5 | 32M| 39 | - | 808 |7019 | 808 |5654 | 168 |8843 |2586 | 2.851750e+02 | 3.850000e+02 | 35.00%
365.83/365.91 c 366s| 5300 | 2309 | 1382k| 258.9 | 32M| 39 | 432 | 808 |6929 | 808 |5654 | 168 |9066 |2636 | 2.852624e+02 | 3.850000e+02 | 34.96%
371.02/371.16 c 371s| 5400 | 2340 | 1404k| 258.2 | 32M| 39 | 186 | 808 |6834 | 808 |5654 | 168 |9266 |2688 | 2.853214e+02 | 3.850000e+02 | 34.94%
377.12/377.28 c 377s| 5500 | 2385 | 1429k| 258.0 | 33M| 39 | 233 | 808 |6780 | 808 |5654 | 168 |9414 |2740 | 2.854245e+02 | 3.850000e+02 | 34.89%
382.12/382.28 c 382s| 5600 | 2430 | 1451k| 257.3 | 33M| 39 | 280 | 808 |6761 | 808 |5654 | 168 |9587 |2788 | 2.854478e+02 | 3.850000e+02 | 34.88%
388.42/388.55 c 389s| 5700 | 2473 | 1475k| 257.0 | 33M| 39 | - | 808 |6760 | 0 | 0 | 168 |9724 |2852 | 2.855840e+02 | 3.850000e+02 | 34.81%
394.42/394.58 c 395s| 5800 | 2519 | 1501k| 257.0 | 34M| 39 | 115 | 808 |6770 | 808 |5654 | 168 |9886 |2894 | 2.858429e+02 | 3.850000e+02 | 34.69%
396.92/397.07 c 397s| 5900 | 2531 | 1511k| 254.5 | 34M| 39 | 318 | 808 |6721 | 808 |5654 | 168 | 10k|2913 | 2.858429e+02 | 3.850000e+02 | 34.69%
403.73/403.83 c 404s| 6000 | 2579 | 1540k| 255.0 | 34M| 39 | - | 808 |6683 | 0 | 0 | 168 | 10k|2975 | 2.858781e+02 | 3.850000e+02 | 34.67%
407.62/407.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.62/407.75 c 408s| 6100 | 2621 | 1556k| 253.4 | 35M| 39 | 216 | 808 |6666 | 808 |5654 | 168 | 10k|3007 | 2.859106e+02 | 3.850000e+02 | 34.66%
413.01/413.11 c 413s| 6200 | 2671 | 1577k| 252.8 | 35M| 39 | - | 808 |6641 | 0 | 0 | 168 | 10k|3069 | 2.859556e+02 | 3.850000e+02 | 34.64%
414.11/414.22 c 414s| 6300 | 2674 | 1582k| 249.5 | 35M| 41 | 371 | 808 |6622 | 808 |5654 | 168 | 10k|3080 | 2.860000e+02 | 3.850000e+02 | 34.62%
419.31/419.47 c 419s| 6400 | 2726 | 1604k| 249.1 | 35M| 41 | 315 | 808 |6661 | 808 |5654 | 168 | 10k|3117 | 2.860417e+02 | 3.850000e+02 | 34.60%
420.41/420.58 c 421s| 6500 | 2738 | 1609k| 246.0 | 36M| 41 | - | 808 |6669 | 808 |5654 | 168 | 10k|3119 | 2.860644e+02 | 3.850000e+02 | 34.59%
422.42/422.58 c 423s| 6600 | 2744 | 1619k| 243.8 | 36M| 44 | 235 | 808 |6663 | 808 |5654 | 168 | 10k|3124 | 2.862500e+02 | 3.850000e+02 | 34.50%
427.22/427.34 c 427s| 6700 | 2791 | 1643k| 243.8 | 36M| 44 | 217 | 808 |6719 | 808 |5654 | 168 | 11k|3125 | 2.863720e+02 | 3.850000e+02 | 34.44%
430.13/430.25 c 430s| 6800 | 2846 | 1658k| 242.4 | 36M| 44 | - | 808 |6789 | 0 | 0 | 168 | 11k|3125 | 2.865000e+02 | 3.850000e+02 | 34.38%
433.12/433.25 c 433s| 6900 | 2876 | 1675k| 241.4 | 37M| 44 | 223 | 808 |6722 | 808 |5654 | 168 | 11k|3125 | 2.865000e+02 | 3.850000e+02 | 34.38%
437.21/437.37 c 437s| 7000 | 2915 | 1697k| 241.1 | 37M| 44 | - | 808 |6735 | 0 | 0 | 168 | 11k|3126 | 2.867348e+02 | 3.850000e+02 | 34.27%
442.51/442.63 c 443s| 7100 | 2959 | 1725k| 241.5 | 37M| 44 | - | 808 |6756 | 0 | 0 | 168 | 11k|3126 | 2.867500e+02 | 3.850000e+02 | 34.26%
448.61/448.74 c 449s| 7200 | 3010 | 1756k| 242.6 | 38M| 44 | 215 | 808 |6845 | 808 |5654 | 168 | 11k|3126 | 2.867621e+02 | 3.850000e+02 | 34.26%
451.72/451.88 c 452s| 7300 | 3047 | 1772k| 241.5 | 38M| 44 | 211 | 808 |6843 | 808 |5654 | 168 | 12k|3126 | 2.867621e+02 | 3.850000e+02 | 34.26%
456.21/456.34 c 456s| 7400 | 3075 | 1791k| 240.7 | 38M| 44 | 402 | 808 |6784 | 808 |5654 | 168 | 12k|3180 | 2.867648e+02 | 3.850000e+02 | 34.26%
461.81/461.98 c 462s| 7500 | 3117 | 1816k| 240.9 | 39M| 44 | - | 808 |6849 | 0 | 0 | 168 | 12k|3227 | 2.867758e+02 | 3.850000e+02 | 34.25%
468.51/468.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.51/468.68 c 469s| 7600 | 3173 | 1844k| 241.3 | 39M| 44 | 256 | 808 |6864 | 808 |5654 | 168 | 12k|3275 | 2.868214e+02 | 3.850000e+02 | 34.23%
472.31/472.48 c 472s| 7700 | 3190 | 1860k| 240.2 | 39M| 44 | 291 | 808 |6816 | 808 |5654 | 168 | 12k|3296 | 2.869740e+02 | 3.850000e+02 | 34.16%
478.01/478.12 c 478s| 7800 | 3240 | 1884k| 240.3 | 40M| 44 | 105 | 808 |6793 | 808 |5654 | 168 | 13k|3359 | 2.869832e+02 | 3.850000e+02 | 34.15%
482.91/483.06 c 483s| 7900 | 3275 | 1903k| 239.7 | 40M| 44 | 303 | 808 |6802 | 808 |5654 | 168 | 13k|3400 | 2.869832e+02 | 3.850000e+02 | 34.15%
486.70/486.87 c 487s| 8000 | 3313 | 1920k| 238.8 | 40M| 44 | - | 808 |6840 | 0 | 0 | 168 | 13k|3419 | 2.870669e+02 | 3.850000e+02 | 34.12%
491.50/491.62 c 492s| 8100 | 3339 | 1940k| 238.4 | 41M| 44 | 201 | 808 |6799 | 808 |5654 | 168 | 13k|3465 | 2.871092e+02 | 3.850000e+02 | 34.10%
495.40/495.54 c 496s| 8200 | 3382 | 1957k| 237.5 | 41M| 44 | 214 | 808 |6803 | 808 |5654 | 168 | 13k|3500 | 2.871092e+02 | 3.850000e+02 | 34.10%
499.10/499.24 c 499s| 8300 | 3411 | 1975k| 236.7 | 41M| 44 | 127 | 808 |6817 | 808 |5654 | 168 | 13k|3525 | 2.872085e+02 | 3.850000e+02 | 34.05%
504.20/504.38 c 504s| 8400 | 3454 | 1996k| 236.5 | 42M| 44 | 213 | 808 |6840 | 808 |5654 | 168 | 14k|3566 | 2.872716e+02 | 3.850000e+02 | 34.02%
506.89/507.02 c 507s| 8500 | 3477 | 2007k| 235.0 | 42M| 44 | - | 808 |6832 | 808 |5654 | 168 | 14k|3585 | 2.873342e+02 | 3.850000e+02 | 33.99%
508.60/508.79 c 509s| 8600 | 3483 | 2015k| 233.2 | 42M| 44 | 369 | 808 |6814 | 808 |5654 | 168 | 14k|3598 | 2.873764e+02 | 3.850000e+02 | 33.97%
514.89/515.00 c 515s| 8700 | 3528 | 2041k| 233.4 | 42M| 44 | 242 | 808 |6822 | 808 |5654 | 168 | 14k|3654 | 2.877030e+02 | 3.850000e+02 | 33.82%
519.20/519.38 c 519s| 8800 | 3563 | 2060k| 232.9 | 43M| 44 | 249 | 808 |6837 | 808 |5654 | 168 | 14k|3700 | 2.877127e+02 | 3.850000e+02 | 33.81%
524.50/524.61 c 525s| 8900 | 3582 | 2081k| 232.8 | 43M| 44 | 325 | 808 |6819 | 808 |5654 | 168 | 14k|3741 | 2.877400e+02 | 3.850000e+02 | 33.80%
528.29/528.43 c 528s| 9000 | 3614 | 2099k| 232.1 | 43M| 44 | - | 808 |6812 | 0 | 0 | 168 | 15k|3781 | 2.877400e+02 | 3.850000e+02 | 33.80%
532.70/532.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.70/532.87 c 533s| 9100 | 3637 | 2119k| 231.8 | 43M| 44 | 373 | 808 |6791 | 808 |5654 | 168 | 15k|3809 | 2.877826e+02 | 3.850000e+02 | 33.78%
535.29/535.41 c 535s| 9200 | 3658 | 2132k| 230.6 | 44M| 44 | 146 | 808 |6817 | 808 |5654 | 168 | 15k|3819 | 2.877826e+02 | 3.850000e+02 | 33.78%
536.09/536.22 c 536s| 9300 | 3664 | 2135k| 228.6 | 44M| 44 | - | 808 |6898 | 808 |5654 | 168 | 15k|3820 | 2.877999e+02 | 3.850000e+02 | 33.77%
539.29/539.43 c 539s| 9400 | 3698 | 2152k| 227.9 | 44M| 44 | 150 | 808 |6905 | 808 |5654 | 168 | 15k|3826 | 2.878094e+02 | 3.850000e+02 | 33.77%
542.99/543.16 c 543s| 9500 | 3739 | 2171k| 227.5 | 44M| 44 | - | 808 |6871 | 0 | 0 | 168 | 15k|3827 | 2.878094e+02 | 3.850000e+02 | 33.77%
547.39/547.52 c 548s| 9600 | 3751 | 2193k| 227.5 | 45M| 44 | - | 808 |6908 | 0 | 0 | 168 | 16k|3827 | 2.878466e+02 | 3.850000e+02 | 33.75%
550.10/550.28 c 550s| 9700 | 3771 | 2208k| 226.6 | 45M| 44 | 304 | 808 |6828 | 808 |5654 | 168 | 16k|3827 | 2.878466e+02 | 3.850000e+02 | 33.75%
552.59/552.74 c 553s| 9800 | 3784 | 2219k| 225.5 | 45M| 44 | - | 808 |6810 | 0 | 0 | 168 | 16k|3827 | 2.878466e+02 | 3.850000e+02 | 33.75%
556.39/556.58 c 557s| 9900 | 3829 | 2239k| 225.1 | 45M| 44 | 406 | 808 |6770 | 808 |5654 | 168 | 16k|3827 | 2.878466e+02 | 3.850000e+02 | 33.75%
559.69/559.86 c 560s| 10000 | 3848 | 2256k| 224.6 | 45M| 44 | 325 | 808 |6799 | 808 |5654 | 168 | 16k|3827 | 2.878757e+02 | 3.850000e+02 | 33.74%
562.89/563.08 c 563s| 10100 | 3867 | 2273k| 224.1 | 46M| 44 | - | 808 |6846 | 0 | 0 | 168 | 16k|3827 | 2.878763e+02 | 3.850000e+02 | 33.74%
567.59/567.76 c 568s| 10200 | 3903 | 2297k| 224.2 | 46M| 44 | - | 808 |6906 | 0 | 0 | 168 | 17k|3827 | 2.879315e+02 | 3.850000e+02 | 33.71%
571.19/571.34 c 571s| 10300 | 3944 | 2315k| 223.9 | 46M| 44 | - | 808 |6855 | 0 | 0 | 168 | 17k|3827 | 2.879315e+02 | 3.850000e+02 | 33.71%
574.20/574.37 c 574s| 10400 | 3962 | 2330k| 223.1 | 47M| 44 | 111 | 808 |6840 | 808 |5654 | 168 | 17k|3840 | 2.879315e+02 | 3.850000e+02 | 33.71%
577.58/577.71 c 578s| 10500 | 3979 | 2345k| 222.4 | 47M| 45 | 169 | 808 |6816 | 808 |5654 | 168 | 17k|3871 | 2.879985e+02 | 3.850000e+02 | 33.68%
581.89/582.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.89/582.06 c 582s| 10600 | 4011 | 2363k| 222.0 | 47M| 45 | 354 | 808 |6844 | 808 |5654 | 168 | 17k|3905 | 2.880654e+02 | 3.850000e+02 | 33.65%
583.08/583.28 c 583s| 10700 | 4020 | 2368k| 220.4 | 47M| 51 | - | 808 |6835 | 808 |5654 | 168 | 17k|3917 | 2.880654e+02 | 3.850000e+02 | 33.65%
588.50/588.64 c 589s| 10800 | 4070 | 2392k| 220.6 | 47M| 51 | 138 | 808 |6832 | 808 |5654 | 168 | 17k|3983 | 2.881077e+02 | 3.850000e+02 | 33.63%
592.98/593.16 c 593s| 10900 | 4091 | 2411k| 220.3 | 48M| 51 | 205 | 808 |6814 | 808 |5654 | 168 | 17k|4022 | 2.882621e+02 | 3.850000e+02 | 33.56%
595.88/596.02 c 596s| 11000 | 4124 | 2425k| 219.5 | 48M| 51 | 444 | 808 |6792 | 808 |5654 | 168 | 18k|4031 | 2.882621e+02 | 3.850000e+02 | 33.56%
598.08/598.24 c 598s| 11100 | 4138 | 2435k| 218.5 | 48M| 51 | 179 | 808 |6823 | 808 |5654 | 168 | 18k|4049 | 2.884052e+02 | 3.850000e+02 | 33.49%
600.29/600.46 c 600s| 11200 | 4128 | 2444k| 217.3 | 48M| 51 | - | 808 |6813 | 808 |5654 | 168 | 18k|4065 | 2.884052e+02 | 3.850000e+02 | 33.49%
604.28/604.41 c 604s| 11300 | 4152 | 2461k| 216.9 | 48M| 51 | - | 808 |6853 | 0 | 0 | 168 | 18k|4102 | 2.884052e+02 | 3.850000e+02 | 33.49%
608.68/608.85 c 609s| 11400 | 4191 | 2480k| 216.7 | 49M| 51 | - | 808 |6937 | 0 | 0 | 168 | 18k|4153 | 2.885074e+02 | 3.850000e+02 | 33.45%
609.09/609.27 c 609s| 11500 | 4193 | 2482k| 215.0 | 49M| 51 | 53 | 808 |6960 | 808 |5654 | 168 | 18k|4153 | 2.885074e+02 | 3.850000e+02 | 33.45%
609.59/609.75 c 610s| 11600 | 4195 | 2485k| 213.4 | 49M| 51 | 71 | 808 |6978 | 808 |5654 | 168 | 18k|4153 | 2.885074e+02 | 3.850000e+02 | 33.45%
609.98/610.16 c 610s| 11700 | 4195 | 2487k| 211.7 | 49M| 52 | - | 808 |6977 | 808 |5654 | 168 | 18k|4153 | 2.885074e+02 | 3.850000e+02 | 33.45%
610.08/610.24 o 376
610.08/610.24 c R 610s| 11728 | 4140 | 2487k| 211.2 | 48M| 52 | 5 | 808 |6972 | 808 |5654 | 168 | 18k|4153 | 2.885074e+02 | 3.760000e+02 | 30.33%
610.08/610.24 o 373
610.08/610.24 c b 610s| 11728 | 4092 | 2487k| 211.2 | 48M| 52 | - | 808 |6972 | 808 |5654 | 168 | 18k|4153 | 2.885074e+02 | 3.730000e+02 | 29.29%
610.08/610.25 o 372
610.08/610.25 c * 610s| 11732 | 4076 | 2487k| 211.1 | 47M| 52 | - | 808 |6971 | 808 |5654 | 168 | 18k|4153 | 2.885074e+02 | 3.720000e+02 | 28.94%
611.29/611.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.29/611.46 c 611s| 11800 | 4075 | 2491k| 210.3 | 48M| 52 | - | 808 |6966 | 0 | 0 | 168 | 18k|4166 | 2.885074e+02 | 3.720000e+02 | 28.94%
615.89/616.03 c 616s| 11900 | 4120 | 2512k| 210.3 | 48M| 52 | - | 808 |6914 | 0 | 0 | 168 | 19k|4202 | 2.885255e+02 | 3.720000e+02 | 28.93%
619.49/619.64 c 620s| 12000 | 4148 | 2527k| 209.8 | 48M| 52 | 249 | 808 |6864 | 808 |5654 | 168 | 19k|4237 | 2.885255e+02 | 3.720000e+02 | 28.93%
622.88/623.07 c 623s| 12100 | 4157 | 2543k| 209.4 | 48M| 52 | 208 | 808 |6803 | 808 |5654 | 168 | 19k|4261 | 2.885812e+02 | 3.720000e+02 | 28.91%
627.68/627.83 c 628s| 12200 | 4202 | 2562k| 209.2 | 49M| 52 | 346 | 808 |6822 | 808 |5654 | 168 | 19k|4327 | 2.885812e+02 | 3.720000e+02 | 28.91%
630.18/630.34 c 630s| 12300 | 4222 | 2575k| 208.6 | 49M| 52 | 204 | 808 |6900 | 808 |5654 | 168 | 19k|4327 | 2.885812e+02 | 3.720000e+02 | 28.91%
633.59/633.73 c 634s| 12400 | 4242 | 2589k| 208.0 | 49M| 52 | 327 | 808 |6940 | 808 |5654 | 168 | 19k|4358 | 2.885822e+02 | 3.720000e+02 | 28.91%
636.88/637.09 c 637s| 12500 | 4259 | 2604k| 207.5 | 49M| 52 | 254 | 808 |6890 | 808 |5654 | 168 | 19k|4379 | 2.885822e+02 | 3.720000e+02 | 28.91%
640.88/641.01 c 641s| 12600 | 4282 | 2622k| 207.3 | 50M| 52 | 186 | 808 |6815 | 808 |5654 | 168 | 20k|4420 | 2.885822e+02 | 3.720000e+02 | 28.91%
644.28/644.40 c 644s| 12700 | 4302 | 2636k| 206.8 | 50M| 52 | 249 | 808 |6806 | 808 |5654 | 168 | 20k|4461 | 2.885822e+02 | 3.720000e+02 | 28.91%
647.47/647.61 c 648s| 12800 | 4318 | 2650k| 206.3 | 50M| 52 | - | 808 |6810 | 0 | 0 | 168 | 20k|4482 | 2.887063e+02 | 3.720000e+02 | 28.85%
649.17/649.30 c 649s| 12900 | 4334 | 2658k| 205.3 | 50M| 52 | - | 808 |6824 | 808 |5654 | 168 | 20k|4491 | 2.887063e+02 | 3.720000e+02 | 28.85%
652.67/652.80 c 653s| 13000 | 4356 | 2673k| 204.9 | 50M| 52 | - | 808 |6870 | 0 | 0 | 168 | 20k|4522 | 2.887063e+02 | 3.720000e+02 | 28.85%
654.48/654.69 c 655s| 13100 | 4367 | 2682k| 204.0 | 50M| 52 | - | 808 |6885 | 0 | 0 | 168 | 20k|4536 | 2.887063e+02 | 3.720000e+02 | 28.85%
658.68/658.84 c 659s| 13200 | 4408 | 2703k| 204.0 | 51M| 52 | 222 | 808 |6845 | 808 |5654 | 168 | 20k|4554 | 2.887173e+02 | 3.720000e+02 | 28.85%
661.08/661.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.08/661.25 c 661s| 13300 | 4435 | 2717k| 203.5 | 51M| 52 | 240 | 808 |6818 | 808 |5654 | 168 | 20k|4558 | 2.887173e+02 | 3.720000e+02 | 28.85%
662.87/663.03 c 663s| 13400 | 4453 | 2727k| 202.8 | 51M| 52 | 324 | 808 |6844 | 808 |5654 | 168 | 21k|4558 | 2.888708e+02 | 3.720000e+02 | 28.78%
665.88/666.00 c 666s| 13500 | 4469 | 2743k| 202.5 | 51M| 52 | 185 | 808 |6890 | 808 |5654 | 168 | 21k|4558 | 2.889188e+02 | 3.720000e+02 | 28.76%
668.38/668.53 c 669s| 13600 | 4483 | 2757k| 202.0 | 52M| 52 | 286 | 808 |6947 | 808 |5654 | 168 | 21k|4558 | 2.889188e+02 | 3.720000e+02 | 28.76%
670.78/670.91 c 671s| 13700 | 4508 | 2770k| 201.5 | 52M| 52 | - | 808 |6908 | 808 |5654 | 168 | 21k|4558 | 2.889188e+02 | 3.720000e+02 | 28.76%
673.67/673.81 c 674s| 13800 | 4524 | 2786k| 201.2 | 52M| 52 | - | 808 |6871 | 0 | 0 | 168 | 21k|4558 | 2.889499e+02 | 3.720000e+02 | 28.74%
676.17/676.32 c 676s| 13900 | 4534 | 2799k| 200.7 | 52M| 52 | - | 808 |6900 | 0 | 0 | 168 | 21k|4558 | 2.891001e+02 | 3.720000e+02 | 28.68%
679.27/679.45 c 679s| 14000 | 4566 | 2816k| 200.4 | 52M| 52 | - | 808 |6961 | 808 |5654 | 168 | 21k|4558 | 2.891001e+02 | 3.720000e+02 | 28.68%
682.17/682.39 c 682s| 14100 | 4589 | 2831k| 200.1 | 53M| 52 | - | 808 |6925 | 0 | 0 | 168 | 22k|4558 | 2.893481e+02 | 3.720000e+02 | 28.56%
684.18/684.33 c 684s| 14200 | 4595 | 2842k| 199.4 | 53M| 52 | - | 808 |6902 | 0 | 0 | 168 | 22k|4558 | 2.893694e+02 | 3.720000e+02 | 28.56%
686.47/686.68 c 687s| 14300 | 4625 | 2855k| 199.0 | 53M| 52 | 276 | 808 |6825 | 808 |5654 | 168 | 22k|4558 | 2.893851e+02 | 3.720000e+02 | 28.55%
688.77/688.93 c 689s| 14400 | 4644 | 2867k| 198.4 | 53M| 52 | - | 808 |6850 | 0 | 0 | 168 | 22k|4558 | 2.893851e+02 | 3.720000e+02 | 28.55%
690.37/690.57 c 691s| 14500 | 4662 | 2877k| 197.7 | 53M| 52 | - | 808 |6964 | 808 |5654 | 168 | 22k|4558 | 2.893962e+02 | 3.720000e+02 | 28.54%
692.17/692.34 c 692s| 14600 | 4677 | 2887k| 197.0 | 53M| 52 | - | 808 |6942 | 0 | 0 | 168 | 22k|4558 | 2.894073e+02 | 3.720000e+02 | 28.54%
694.97/695.11 c 695s| 14700 | 4692 | 2901k| 196.7 | 53M| 52 | 157 | 808 |6916 | 808 |5654 | 168 | 22k|4576 | 2.894073e+02 | 3.720000e+02 | 28.54%
697.07/697.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.07/697.25 c 697s| 14800 | 4701 | 2911k| 196.0 | 54M| 52 | 266 | 808 |6898 | 808 |5654 | 168 | 22k|4588 | 2.894073e+02 | 3.720000e+02 | 28.54%
699.77/699.95 c 700s| 14900 | 4714 | 2922k| 195.5 | 54M| 52 | - | 808 |6884 | 0 | 0 | 168 | 23k|4612 | 2.894124e+02 | 3.720000e+02 | 28.54%
702.97/703.12 c 703s| 15000 | 4746 | 2937k| 195.1 | 54M| 52 | 297 | 808 |6844 | 808 |5654 | 168 | 23k|4642 | 2.894124e+02 | 3.720000e+02 | 28.54%
705.07/705.20 c 705s| 15100 | 4761 | 2947k| 194.5 | 54M| 52 | 213 | 808 |6893 | 808 |5654 | 168 | 23k|4654 | 2.894446e+02 | 3.720000e+02 | 28.52%
708.66/708.83 c 709s| 15200 | 4793 | 2961k| 194.1 | 54M| 52 | 238 | 808 |6908 | 808 |5654 | 168 | 23k|4696 | 2.894446e+02 | 3.720000e+02 | 28.52%
709.86/710.06 c 710s| 15300 | 4805 | 2967k| 193.3 | 55M| 52 | - | 808 |6967 | 0 | 0 | 168 | 23k|4696 | 2.894496e+02 | 3.720000e+02 | 28.52%
710.87/711.04 c 711s| 15400 | 4816 | 2972k| 192.4 | 55M| 52 | - | 808 |6929 | 0 | 0 | 168 | 23k|4696 | 2.894559e+02 | 3.720000e+02 | 28.52%
714.26/714.49 c 714s| 15500 | 4844 | 2987k| 192.1 | 55M| 52 | - | 808 |6852 | 808 |5654 | 168 | 23k|4735 | 2.894861e+02 | 3.720000e+02 | 28.50%
714.76/714.99 c 715s| 15600 | 4846 | 2990k| 191.0 | 55M| 52 | - | 808 |6969 | 808 |5654 | 168 | 23k|4735 | 2.894861e+02 | 3.720000e+02 | 28.50%
716.76/716.91 c 717s| 15700 | 4857 | 2998k| 190.3 | 55M| 52 | - | 808 |7071 | 0 | 0 | 168 | 23k|4750 | 2.894869e+02 | 3.720000e+02 | 28.50%
719.16/719.40 c 719s| 15800 | 4873 | 3009k| 189.8 | 55M| 52 | 196 | 808 |7046 | 808 |5654 | 168 | 24k|4763 | 2.895388e+02 | 3.720000e+02 | 28.48%
722.46/722.66 c 723s| 15900 | 4889 | 3022k| 189.5 | 55M| 52 | - | 808 |6987 | 808 |5654 | 168 | 24k|4791 | 2.897000e+02 | 3.720000e+02 | 28.41%
725.36/725.50 c 725s| 16000 | 4905 | 3036k| 189.2 | 56M| 52 | - | 808 |6904 | 0 | 0 | 168 | 24k|4822 | 2.897386e+02 | 3.720000e+02 | 28.39%
728.16/728.34 c 728s| 16100 | 4925 | 3049k| 188.8 | 56M| 52 | - | 808 |6854 | 0 | 0 | 168 | 24k|4853 | 2.897900e+02 | 3.720000e+02 | 28.37%
729.95/730.18 c 730s| 16200 | 4938 | 3058k| 188.2 | 56M| 52 | 285 | 808 |6903 | 808 |5654 | 168 | 24k|4868 | 2.898118e+02 | 3.720000e+02 | 28.36%
732.76/732.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.76/732.98 c 733s| 16300 | 4943 | 3068k| 187.6 | 56M| 52 | - | 808 |6956 | 0 | 0 | 168 | 24k|4894 | 2.898118e+02 | 3.720000e+02 | 28.36%
734.56/734.77 c 735s| 16400 | 4954 | 3078k| 187.1 | 56M| 52 | 177 | 808 |6982 | 808 |5654 | 168 | 24k|4894 | 2.898118e+02 | 3.720000e+02 | 28.36%
736.16/736.32 c 736s| 16500 | 4961 | 3084k| 186.3 | 56M| 52 | - | 808 |7070 | 0 | 0 | 168 | 25k|4910 | 2.898153e+02 | 3.720000e+02 | 28.36%
738.07/738.27 c 738s| 16600 | 4962 | 3093k| 185.7 | 56M| 52 | - | 808 |7001 | 0 | 0 | 168 | 25k|4930 | 2.898153e+02 | 3.720000e+02 | 28.36%
741.26/741.42 c 741s| 16700 | 4972 | 3106k| 185.4 | 56M| 52 | - | 808 |6966 | 0 | 0 | 168 | 25k|4963 | 2.898346e+02 | 3.720000e+02 | 28.35%
742.86/743.02 c 743s| 16800 | 4973 | 3115k| 184.8 | 56M| 52 | 237 | 808 |6947 | 808 |5654 | 168 | 25k|4968 | 2.898461e+02 | 3.720000e+02 | 28.34%
746.15/746.32 c 746s| 16900 | 4993 | 3128k| 184.5 | 57M| 52 | 309 | 808 |6968 | 808 |5654 | 168 | 25k|4999 | 2.901810e+02 | 3.720000e+02 | 28.20%
749.06/749.23 c 749s| 17000 | 5010 | 3142k| 184.3 | 57M| 52 | 211 | 808 |6888 | 808 |5654 | 168 | 25k|5013 | 2.901810e+02 | 3.720000e+02 | 28.20%
749.56/749.76 c 750s| 17100 | 5008 | 3145k| 183.3 | 57M| 52 | 439 | 808 |6950 | 808 |5654 | 168 | 25k|5013 | 2.901810e+02 | 3.720000e+02 | 28.20%
754.65/754.80 c 755s| 17200 | 5036 | 3167k| 183.5 | 57M| 52 | - | 808 |6915 | 808 |5654 | 168 | 25k|5069 | 2.901810e+02 | 3.720000e+02 | 28.20%
758.55/758.72 c 759s| 17300 | 5062 | 3186k| 183.6 | 57M| 52 | 321 | 808 |6852 | 808 |5654 | 168 | 26k|5098 | 2.902168e+02 | 3.720000e+02 | 28.18%
761.06/761.29 c 761s| 17400 | 5086 | 3196k| 183.1 | 58M| 52 | 208 | 808 |6906 | 808 |5654 | 168 | 26k|5113 | 2.902267e+02 | 3.720000e+02 | 28.18%
762.66/762.80 c 763s| 17500 | 5091 | 3201k| 182.3 | 58M| 52 | 144 | 808 |6907 | 808 |5654 | 168 | 26k|5134 | 2.902463e+02 | 3.720000e+02 | 28.17%
763.86/764.00 c 764s| 17600 | 5104 | 3207k| 181.7 | 58M| 52 | - | 808 |6901 | 0 | 0 | 168 | 26k|5134 | 2.902608e+02 | 3.720000e+02 | 28.16%
766.26/766.45 c 766s| 17700 | 5116 | 3219k| 181.3 | 58M| 52 | 360 | 808 |6816 | 808 |5654 | 168 | 26k|5155 | 2.902831e+02 | 3.720000e+02 | 28.15%
768.56/768.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.56/768.79 c 769s| 17800 | 5131 | 3228k| 180.8 | 58M| 52 | 330 | 808 |6811 | 808 |5654 | 168 | 26k|5180 | 2.903717e+02 | 3.720000e+02 | 28.11%
771.46/771.62 c 772s| 17900 | 5148 | 3241k| 180.5 | 58M| 52 | 236 | 808 |6851 | 808 |5654 | 168 | 26k|5197 | 2.903717e+02 | 3.720000e+02 | 28.11%
774.05/774.26 c 774s| 18000 | 5154 | 3253k| 180.2 | 58M| 52 | 420 | 808 |6881 | 808 |5654 | 168 | 26k|5225 | 2.904112e+02 | 3.720000e+02 | 28.09%
777.55/777.74 c 778s| 18100 | 5183 | 3268k| 180.0 | 59M| 52 | - | 808 |6874 | 0 | 0 | 168 | 26k|5258 | 2.904274e+02 | 3.720000e+02 | 28.09%
779.75/779.94 c 780s| 18200 | 5193 | 3278k| 179.6 | 59M| 52 | 189 | 808 |6892 | 808 |5654 | 168 | 27k|5281 | 2.904302e+02 | 3.720000e+02 | 28.09%
781.65/781.89 c 782s| 18300 | 5194 | 3286k| 179.0 | 59M| 52 | 345 | 808 |6883 | 808 |5654 | 168 | 27k|5303 | 2.904302e+02 | 3.720000e+02 | 28.09%
784.65/784.85 c 785s| 18400 | 5206 | 3300k| 178.8 | 59M| 52 | 215 | 808 |6844 | 808 |5654 | 168 | 27k|5328 | 2.904625e+02 | 3.720000e+02 | 28.07%
786.46/786.62 c 787s| 18500 | 5202 | 3309k| 178.3 | 59M| 52 | 383 | 808 |6892 | 808 |5654 | 168 | 27k|5344 | 2.905093e+02 | 3.720000e+02 | 28.05%
788.35/788.53 c 789s| 18600 | 5212 | 3319k| 177.9 | 59M| 52 | - | 808 |6899 | 808 |5654 | 168 | 27k|5352 | 2.905255e+02 | 3.720000e+02 | 28.04%
790.75/790.93 c 791s| 18700 | 5239 | 3332k| 177.7 | 59M| 52 | 273 | 808 |6966 | 808 |5654 | 168 | 27k|5353 | 2.905255e+02 | 3.720000e+02 | 28.04%
792.85/793.06 c 793s| 18800 | 5254 | 3344k| 177.3 | 59M| 52 | 334 | 808 |6948 | 808 |5654 | 168 | 27k|5356 | 2.905255e+02 | 3.720000e+02 | 28.04%
796.05/796.27 c 796s| 18900 | 5277 | 3360k| 177.3 | 59M| 52 | - | 808 |6955 | 808 |5654 | 168 | 28k|5356 | 2.905398e+02 | 3.720000e+02 | 28.04%
796.95/797.12 c 797s| 19000 | 5278 | 3365k| 176.6 | 59M| 52 | 169 | 808 |7045 | 808 |5654 | 168 | 28k|5356 | 2.905398e+02 | 3.720000e+02 | 28.04%
799.25/799.42 c 799s| 19100 | 5295 | 3378k| 176.3 | 59M| 52 | 302 | 808 |6988 | 808 |5654 | 168 | 28k|5356 | 2.908825e+02 | 3.720000e+02 | 27.89%
801.15/801.36 c 801s| 19200 | 5318 | 3388k| 176.0 | 60M| 52 | - | 808 |6969 | 808 |5654 | 168 | 28k|5356 | 2.909052e+02 | 3.720000e+02 | 27.88%
802.35/802.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.35/802.59 c 803s| 19300 | 5325 | 3395k| 175.4 | 60M| 52 | 234 | 808 |7003 | 808 |5654 | 168 | 28k|5357 | 2.909052e+02 | 3.720000e+02 | 27.88%
804.25/804.42 c 804s| 19400 | 5337 | 3405k| 175.0 | 60M| 52 | - | 808 |6973 | 808 |5654 | 168 | 28k|5357 | 2.909052e+02 | 3.720000e+02 | 27.88%
805.94/806.19 c 806s| 19500 | 5347 | 3415k| 174.6 | 60M| 52 | 216 | 808 |6892 | 808 |5654 | 168 | 28k|5357 | 2.909052e+02 | 3.720000e+02 | 27.88%
808.94/809.10 c 809s| 19600 | 5365 | 3431k| 174.6 | 60M| 52 | 247 | 808 |6929 | 808 |5654 | 168 | 29k|5357 | 2.909790e+02 | 3.720000e+02 | 27.84%
810.55/810.79 c 811s| 19700 | 5368 | 3441k| 174.2 | 60M| 52 | - | 808 |6958 | 0 | 0 | 168 | 29k|5357 | 2.909790e+02 | 3.720000e+02 | 27.84%
813.04/813.22 c 813s| 19800 | 5391 | 3454k| 173.9 | 61M| 52 | - | 808 |7003 | 808 |5654 | 168 | 29k|5357 | 2.909790e+02 | 3.720000e+02 | 27.84%
814.85/815.02 c 815s| 19900 | 5414 | 3464k| 173.6 | 61M| 52 | - | 808 |7028 | 808 |5654 | 168 | 29k|5357 | 2.910175e+02 | 3.720000e+02 | 27.83%
815.44/815.60 c 816s| 20000 | 5414 | 3467k| 172.8 | 61M| 52 | - | 808 |7104 | 808 |5654 | 168 | 29k|5357 | 2.910175e+02 | 3.720000e+02 | 27.83%
816.75/816.98 c 817s| 20100 | 5429 | 3474k| 172.3 | 61M| 52 | 165 | 808 |7173 | 808 |5654 | 168 | 29k|5357 | 2.911961e+02 | 3.720000e+02 | 27.75%
817.75/817.93 c 818s| 20200 | 5436 | 3479k| 171.7 | 61M| 52 | - | 808 |7229 | 808 |5654 | 168 | 29k|5358 | 2.912157e+02 | 3.720000e+02 | 27.74%
818.84/819.07 c 819s| 20300 | 5439 | 3485k| 171.2 | 61M| 52 | 222 | 808 |7213 | 808 |5654 | 168 | 30k|5358 | 2.912501e+02 | 3.720000e+02 | 27.73%
820.84/821.08 c 821s| 20400 | 5459 | 3497k| 170.9 | 61M| 52 | - | 808 |7079 | 0 | 0 | 168 | 30k|5358 | 2.912610e+02 | 3.720000e+02 | 27.72%
823.05/823.26 c 823s| 20500 | 5473 | 3510k| 170.7 | 61M| 52 | - | 808 |7143 | 0 | 0 | 168 | 30k|5358 | 2.912610e+02 | 3.720000e+02 | 27.72%
824.84/825.01 c 825s| 20600 | 5487 | 3520k| 170.4 | 61M| 52 | 306 | 808 |7136 | 808 |5654 | 168 | 30k|5358 | 2.912748e+02 | 3.720000e+02 | 27.71%
827.44/827.63 c 828s| 20700 | 5511 | 3534k| 170.3 | 62M| 52 | 235 | 808 |7079 | 808 |5654 | 168 | 30k|5358 | 2.913233e+02 | 3.720000e+02 | 27.69%
828.75/828.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.75/828.94 c 829s| 20800 | 5514 | 3542k| 169.8 | 62M| 52 | 189 | 808 |7114 | 808 |5654 | 168 | 30k|5358 | 2.914408e+02 | 3.720000e+02 | 27.64%
830.14/830.31 c 830s| 20900 | 5516 | 3549k| 169.4 | 62M| 52 | 383 | 808 |7124 | 808 |5654 | 168 | 30k|5358 | 2.914408e+02 | 3.720000e+02 | 27.64%
832.14/832.37 c 832s| 21000 | 5530 | 3562k| 169.1 | 62M| 52 | - | 808 |7064 | 0 | 0 | 168 | 31k|5358 | 2.914408e+02 | 3.720000e+02 | 27.64%
833.94/834.17 c 834s| 21100 | 5549 | 3572k| 168.8 | 62M| 52 | 300 | 808 |7044 | 808 |5654 | 168 | 31k|5358 | 2.914408e+02 | 3.720000e+02 | 27.64%
835.75/835.90 c 836s| 21200 | 5558 | 3581k| 168.5 | 62M| 52 | - | 808 |7014 | 808 |5654 | 168 | 31k|5358 | 2.915000e+02 | 3.720000e+02 | 27.62%
836.74/836.96 c 837s| 21300 | 5561 | 3587k| 167.9 | 62M| 52 | 282 | 808 |6971 | 808 |5654 | 168 | 31k|5358 | 2.915000e+02 | 3.720000e+02 | 27.62%
839.15/839.31 c 839s| 21400 | 5583 | 3599k| 167.7 | 62M| 52 | 177 | 808 |6949 | 808 |5654 | 168 | 31k|5358 | 2.915233e+02 | 3.720000e+02 | 27.61%
841.04/841.22 c 841s| 21500 | 5584 | 3610k| 167.5 | 62M| 52 | 239 | 808 |6881 | 808 |5654 | 168 | 31k|5358 | 2.915233e+02 | 3.720000e+02 | 27.61%
843.04/843.27 c 843s| 21600 | 5595 | 3622k| 167.2 | 63M| 52 | - | 808 |6866 | 0 | 0 | 168 | 31k|5358 | 2.915440e+02 | 3.720000e+02 | 27.60%
844.84/845.09 c 845s| 21700 | 5614 | 3631k| 166.9 | 63M| 52 | - | 808 |6905 | 0 | 0 | 168 | 32k|5358 | 2.915440e+02 | 3.720000e+02 | 27.60%
845.94/846.18 c 846s| 21800 | 5619 | 3637k| 166.4 | 63M| 52 | 266 | 808 |6941 | 808 |5654 | 168 | 32k|5358 | 2.915440e+02 | 3.720000e+02 | 27.60%
847.24/847.45 c 847s| 21900 | 5626 | 3643k| 165.9 | 63M| 52 | - | 808 |6978 | 0 | 0 | 168 | 32k|5358 | 2.915440e+02 | 3.720000e+02 | 27.60%
847.74/847.97 c 848s| 22000 | 5627 | 3646k| 165.3 | 63M| 52 | - | 808 |6993 | 808 |5654 | 168 | 32k|5358 | 2.915440e+02 | 3.720000e+02 | 27.60%
848.94/849.18 c 849s| 22100 | 5626 | 3653k| 164.9 | 63M| 52 | 230 | 808 |7057 | 808 |5654 | 168 | 32k|5358 | 2.916379e+02 | 3.720000e+02 | 27.56%
850.74/850.96 c 851s| 22200 | 5630 | 3663k| 164.6 | 63M| 52 | 292 | 808 |7017 | 808 |5654 | 168 | 32k|5358 | 2.916379e+02 | 3.720000e+02 | 27.56%
851.84/852.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.84/852.07 c 852s| 22300 | 5624 | 3669k| 164.1 | 63M| 52 | - | 808 |7037 | 0 | 0 | 168 | 32k|5358 | 2.916379e+02 | 3.720000e+02 | 27.56%
853.74/853.95 c 854s| 22400 | 5643 | 3680k| 163.8 | 63M| 52 | - | 808 |7033 | 808 |5654 | 168 | 32k|5358 | 2.916559e+02 | 3.720000e+02 | 27.55%
855.34/855.52 c 856s| 22500 | 5653 | 3689k| 163.5 | 63M| 52 | - | 808 |6993 | 808 |5654 | 168 | 33k|5358 | 2.916978e+02 | 3.720000e+02 | 27.53%
856.64/856.87 c 857s| 22600 | 5659 | 3696k| 163.1 | 63M| 52 | - | 808 |7019 | 808 |5654 | 168 | 33k|5358 | 2.916986e+02 | 3.720000e+02 | 27.53%
858.84/859.02 c 859s| 22700 | 5678 | 3708k| 162.9 | 63M| 52 | - | 808 |7047 | 0 | 0 | 168 | 33k|5358 | 2.917691e+02 | 3.720000e+02 | 27.50%
859.64/859.80 c 860s| 22800 | 5675 | 3712k| 162.4 | 64M| 52 | - | 808 |7169 | 0 | 0 | 168 | 33k|5358 | 2.917691e+02 | 3.720000e+02 | 27.50%
862.24/862.45 c 862s| 22900 | 5700 | 3727k| 162.3 | 64M| 52 | 290 | 808 |7011 | 808 |5654 | 168 | 33k|5358 | 2.917810e+02 | 3.720000e+02 | 27.49%
864.84/865.07 c 865s| 23000 | 5718 | 3741k| 162.2 | 64M| 52 | 377 | 808 |6956 | 808 |5654 | 168 | 33k|5358 | 2.917810e+02 | 3.720000e+02 | 27.49%
866.75/866.95 c 867s| 23100 | 5732 | 3751k| 162.0 | 64M| 52 | 210 | 808 |6969 | 808 |5654 | 168 | 34k|5358 | 2.917810e+02 | 3.720000e+02 | 27.49%
869.14/869.30 c 869s| 23200 | 5730 | 3765k| 161.8 | 64M| 52 | 232 | 808 |6966 | 808 |5654 | 168 | 34k|5358 | 2.917810e+02 | 3.720000e+02 | 27.49%
871.34/871.57 c 872s| 23300 | 5749 | 3776k| 161.7 | 64M| 52 | - | 808 |6942 | 808 |5654 | 168 | 34k|5358 | 2.918438e+02 | 3.720000e+02 | 27.47%
873.03/873.24 c 873s| 23400 | 5741 | 3784k| 161.3 | 64M| 52 | 227 | 808 |6956 | 808 |5654 | 168 | 34k|5370 | 2.918502e+02 | 3.720000e+02 | 27.46%
876.44/876.69 c 877s| 23500 | 5766 | 3800k| 161.3 | 64M| 52 | - | 808 |6942 | 0 | 0 | 168 | 34k|5395 | 2.918690e+02 | 3.720000e+02 | 27.45%
879.04/879.20 c 879s| 23600 | 5789 | 3813k| 161.1 | 65M| 52 | 221 | 808 |6981 | 808 |5654 | 168 | 34k|5406 | 2.919486e+02 | 3.720000e+02 | 27.42%
880.34/880.56 c 881s| 23700 | 5787 | 3818k| 160.7 | 65M| 52 | - | 808 |7010 | 0 | 0 | 168 | 34k|5417 | 2.920080e+02 | 3.720000e+02 | 27.39%
883.33/883.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.33/883.56 c 884s| 23800 | 5795 | 3831k| 160.6 | 65M| 52 | 267 | 808 |6974 | 808 |5654 | 168 | 34k|5446 | 2.920105e+02 | 3.720000e+02 | 27.39%
886.03/886.20 c 886s| 23900 | 5810 | 3844k| 160.4 | 65M| 52 | 252 | 808 |6952 | 808 |5654 | 168 | 35k|5461 | 2.920662e+02 | 3.720000e+02 | 27.37%
888.43/888.65 c 889s| 24000 | 5825 | 3855k| 160.2 | 65M| 52 | 240 | 808 |6903 | 808 |5654 | 168 | 35k|5481 | 2.920662e+02 | 3.720000e+02 | 27.37%
891.94/892.18 c 892s| 24100 | 5844 | 3871k| 160.2 | 65M| 52 | - | 808 |6903 | 0 | 0 | 168 | 35k|5520 | 2.921022e+02 | 3.720000e+02 | 27.35%
894.14/894.37 c 894s| 24200 | 5838 | 3882k| 160.0 | 65M| 52 | - | 808 |6965 | 0 | 0 | 168 | 35k|5536 | 2.921233e+02 | 3.720000e+02 | 27.34%
896.83/897.06 c 897s| 24300 | 5860 | 3893k| 159.8 | 66M| 52 | 192 | 808 |6992 | 808 |5654 | 168 | 35k|5550 | 2.921291e+02 | 3.720000e+02 | 27.34%
899.43/899.61 c 900s| 24400 | 5857 | 3904k| 159.6 | 66M| 52 | - | 808 |7094 | 0 | 0 | 168 | 35k|5578 | 2.922082e+02 | 3.720000e+02 | 27.31%
900.84/901.04 c 901s| 24500 | 5864 | 3911k| 159.2 | 66M| 52 | - | 808 |7099 | 0 | 0 | 168 | 36k|5588 | 2.922500e+02 | 3.720000e+02 | 27.29%
903.24/903.42 c 903s| 24600 | 5872 | 3920k| 158.9 | 66M| 52 | 187 | 808 |7101 | 808 |5654 | 168 | 36k|5623 | 2.923333e+02 | 3.720000e+02 | 27.25%
905.03/905.23 c 905s| 24700 | 5879 | 3929k| 158.7 | 66M| 52 | 168 | 808 |7128 | 808 |5654 | 168 | 36k|5623 | 2.923333e+02 | 3.720000e+02 | 27.25%
907.84/908.07 c 908s| 24800 | 5888 | 3941k| 158.5 | 66M| 52 | 310 | 808 |7082 | 808 |5654 | 168 | 36k|5648 | 2.923454e+02 | 3.720000e+02 | 27.25%
910.34/910.50 c 910s| 24900 | 5902 | 3952k| 158.3 | 66M| 52 | 257 | 808 |7072 | 808 |5654 | 168 | 36k|5679 | 2.924190e+02 | 3.720000e+02 | 27.21%
910.74/910.92 c 911s| 25000 | 5902 | 3954k| 157.8 | 66M| 52 | - | 808 |7087 | 808 |5654 | 168 | 36k|5679 | 2.924190e+02 | 3.720000e+02 | 27.21%
912.53/912.77 c 913s| 25100 | 5904 | 3962k| 157.4 | 66M| 52 | - | 808 |7082 | 0 | 0 | 168 | 36k|5699 | 2.924411e+02 | 3.720000e+02 | 27.21%
915.73/915.93 c 916s| 25200 | 5913 | 3976k| 157.4 | 66M| 52 | 266 | 808 |7061 | 808 |5654 | 168 | 37k|5730 | 2.924659e+02 | 3.720000e+02 | 27.19%
917.83/918.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.83/918.05 c 918s| 25300 | 5918 | 3988k| 157.2 | 66M| 52 | 233 | 808 |7023 | 808 |5654 | 168 | 37k|5730 | 2.925127e+02 | 3.720000e+02 | 27.17%
919.83/920.08 c 920s| 25400 | 5905 | 3997k| 157.0 | 66M| 52 | 269 | 808 |7003 | 808 |5654 | 168 | 37k|5759 | 2.925127e+02 | 3.720000e+02 | 27.17%
923.83/924.08 c 924s| 25500 | 5929 | 4010k| 156.9 | 67M| 52 | - | 808 |7001 | 0 | 0 | 168 | 37k|5810 | 2.926067e+02 | 3.720000e+02 | 27.13%
925.93/926.12 c 926s| 25600 | 5935 | 4022k| 156.7 | 67M| 52 | 165 | 808 |6972 | 808 |5654 | 168 | 37k|5810 | 2.926986e+02 | 3.720000e+02 | 27.09%
926.63/926.87 c 927s| 25700 | 5931 | 4026k| 156.3 | 67M| 52 | - | 808 |7025 | 808 |5654 | 168 | 37k|5810 | 2.926986e+02 | 3.720000e+02 | 27.09%
927.93/928.11 c 928s| 25800 | 5933 | 4033k| 155.9 | 67M| 52 | - | 808 |7018 | 0 | 0 | 168 | 37k|5810 | 2.926986e+02 | 3.720000e+02 | 27.09%
929.34/929.57 c 930s| 25900 | 5924 | 4039k| 155.6 | 67M| 52 | - | 808 |7011 | 808 |5654 | 168 | 38k|5827 | 2.926986e+02 | 3.720000e+02 | 27.09%
930.73/930.98 c 931s| 26000 | 5932 | 4044k| 155.2 | 67M| 52 | 219 | 808 |7036 | 808 |5654 | 168 | 38k|5839 | 2.926986e+02 | 3.720000e+02 | 27.09%
932.32/932.58 c 933s| 26100 | 5935 | 4053k| 154.9 | 67M| 52 | - | 808 |7051 | 808 |5654 | 168 | 38k|5850 | 2.927173e+02 | 3.720000e+02 | 27.09%
934.43/934.61 c 935s| 26200 | 5940 | 4059k| 154.5 | 67M| 52 | 242 | 808 |7027 | 808 |5654 | 168 | 38k|5871 | 2.927474e+02 | 3.720000e+02 | 27.07%
936.23/936.41 c 936s| 26300 | 5947 | 4069k| 154.3 | 67M| 52 | - | 808 |6978 | 0 | 0 | 168 | 38k|5871 | 2.929355e+02 | 3.720000e+02 | 26.99%
938.63/938.86 c 939s| 26400 | 5968 | 4080k| 154.2 | 67M| 52 | 153 | 808 |6977 | 808 |5654 | 168 | 38k|5890 | 2.929607e+02 | 3.720000e+02 | 26.98%
939.63/939.80 c 940s| 26500 | 5967 | 4085k| 153.8 | 67M| 52 | 241 | 808 |7010 | 808 |5654 | 168 | 38k|5902 | 2.929607e+02 | 3.720000e+02 | 26.98%
941.92/942.11 c 942s| 26600 | 5975 | 4093k| 153.5 | 67M| 52 | - | 808 |6979 | 0 | 0 | 168 | 38k|5927 | 2.929801e+02 | 3.720000e+02 | 26.97%
944.03/944.23 c 944s| 26700 | 5985 | 4104k| 153.3 | 67M| 52 | - | 808 |6964 | 0 | 0 | 168 | 38k|5938 | 2.929907e+02 | 3.720000e+02 | 26.97%
946.33/946.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.33/946.58 c 947s| 26800 | 5993 | 4114k| 153.1 | 67M| 52 | - | 808 |7035 | 808 |5654 | 168 | 39k|5965 | 2.930080e+02 | 3.720000e+02 | 26.96%
949.23/949.41 c 949s| 26900 | 5998 | 4125k| 153.0 | 67M| 52 | 299 | 808 |7054 | 808 |5654 | 168 | 39k|5990 | 2.930124e+02 | 3.720000e+02 | 26.96%
952.12/952.38 c 952s| 27000 | 6015 | 4140k| 153.0 | 68M| 52 | - | 808 |7076 | 808 |5654 | 168 | 39k|5999 | 2.930697e+02 | 3.720000e+02 | 26.93%
954.52/954.80 c 955s| 27100 | 6025 | 4150k| 152.8 | 68M| 52 | 222 | 808 |7090 | 808 |5654 | 168 | 39k|6022 | 2.930697e+02 | 3.720000e+02 | 26.93%
956.53/956.74 c 957s| 27200 | 6024 | 4160k| 152.6 | 68M| 52 | 232 | 808 |7111 | 808 |5654 | 168 | 39k|6032 | 2.930697e+02 | 3.720000e+02 | 26.93%
958.83/959.04 c 959s| 27300 | 6030 | 4171k| 152.4 | 68M| 52 | 289 | 808 |7183 | 808 |5654 | 168 | 39k|6058 | 2.930697e+02 | 3.720000e+02 | 26.93%
961.22/961.42 c 961s| 27400 | 6033 | 4182k| 152.3 | 68M| 52 | - | 808 |7156 | 808 |5654 | 168 | 40k|6083 | 2.930697e+02 | 3.720000e+02 | 26.93%
964.32/964.54 c 965s| 27500 | 6049 | 4197k| 152.3 | 68M| 52 | 183 | 808 |7107 | 808 |5654 | 168 | 40k|6105 | 2.931733e+02 | 3.720000e+02 | 26.89%
966.83/967.06 c 967s| 27600 | 6053 | 4208k| 152.1 | 68M| 52 | 312 | 808 |7101 | 808 |5654 | 168 | 40k|6133 | 2.931911e+02 | 3.720000e+02 | 26.88%
969.62/969.81 c 970s| 27700 | 6056 | 4221k| 152.0 | 68M| 52 | - | 808 |7058 | 0 | 0 | 168 | 40k|6152 | 2.932124e+02 | 3.720000e+02 | 26.87%
971.62/971.89 c 972s| 27800 | 6072 | 4232k| 151.9 | 68M| 52 | - | 808 |7044 | 0 | 0 | 168 | 40k|6159 | 2.932451e+02 | 3.720000e+02 | 26.86%
973.12/973.32 c 973s| 27900 | 6063 | 4240k| 151.6 | 68M| 52 | 352 | 808 |7033 | 808 |5654 | 168 | 40k|6162 | 2.932500e+02 | 3.720000e+02 | 26.85%
975.52/975.79 c 976s| 28000 | 6081 | 4253k| 151.5 | 68M| 52 | - | 808 |6948 | 0 | 0 | 168 | 40k|6165 | 2.933052e+02 | 3.720000e+02 | 26.83%
977.32/977.57 c 978s| 28100 | 6095 | 4264k| 151.4 | 68M| 52 | - | 808 |7014 | 0 | 0 | 168 | 41k|6166 | 2.933052e+02 | 3.720000e+02 | 26.83%
979.52/979.74 c 980s| 28200 | 6105 | 4276k| 151.3 | 68M| 52 | 259 | 808 |6994 | 808 |5654 | 168 | 41k|6166 | 2.933397e+02 | 3.720000e+02 | 26.82%
981.82/982.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.82/982.07 c 982s| 28300 | 6114 | 4290k| 151.2 | 68M| 52 | 247 | 808 |6966 | 808 |5654 | 168 | 41k|6166 | 2.933790e+02 | 3.720000e+02 | 26.80%
982.72/982.95 c 983s| 28400 | 6115 | 4294k| 150.9 | 69M| 52 | - | 808 |7028 | 0 | 0 | 168 | 41k|6167 | 2.933790e+02 | 3.720000e+02 | 26.80%
984.43/984.69 c 985s| 28500 | 6120 | 4304k| 150.7 | 69M| 52 | 267 | 808 |7066 | 808 |5654 | 168 | 41k|6167 | 2.934053e+02 | 3.720000e+02 | 26.79%
985.82/986.01 c 986s| 28600 | 6117 | 4312k| 150.4 | 69M| 52 | - | 808 |7024 | 0 | 0 | 168 | 41k|6167 | 2.934053e+02 | 3.720000e+02 | 26.79%
987.72/987.99 c 988s| 28700 | 6135 | 4323k| 150.3 | 69M| 52 | 234 | 808 |7087 | 808 |5654 | 168 | 41k|6167 | 2.934053e+02 | 3.720000e+02 | 26.79%
988.72/988.91 c 989s| 28800 | 6136 | 4328k| 149.9 | 69M| 52 | 176 | 808 |7166 | 808 |5654 | 168 | 42k|6167 | 2.934053e+02 | 3.720000e+02 | 26.79%
990.71/990.93 c 991s| 28900 | 6139 | 4339k| 149.8 | 69M| 52 | - | 808 |7167 | 0 | 0 | 168 | 42k|6167 | 2.934233e+02 | 3.720000e+02 | 26.78%
992.52/992.78 c 993s| 29000 | 6146 | 4349k| 149.6 | 69M| 52 | - | 808 |7169 | 0 | 0 | 168 | 42k|6167 | 2.934243e+02 | 3.720000e+02 | 26.78%
994.32/994.51 c 995s| 29100 | 6146 | 4359k| 149.4 | 69M| 52 | 219 | 808 |7148 | 808 |5654 | 168 | 42k|6167 | 2.934759e+02 | 3.720000e+02 | 26.76%
996.11/996.32 c 996s| 29200 | 6161 | 4369k| 149.3 | 69M| 52 | 252 | 808 |7118 | 808 |5654 | 168 | 42k|6167 | 2.935071e+02 | 3.720000e+02 | 26.74%
998.41/998.61 c 999s| 29300 | 6171 | 4382k| 149.2 | 69M| 52 | - | 808 |7122 | 0 | 0 | 168 | 42k|6167 | 2.936067e+02 | 3.720000e+02 | 26.70%
1000.32/1000.59 c 1001s| 29400 | 6178 | 4393k| 149.1 | 69M| 52 | - | 808 |7152 | 0 | 0 | 168 | 42k|6167 | 2.936252e+02 | 3.720000e+02 | 26.69%
1002.11/1002.38 c 1002s| 29500 | 6188 | 4403k| 148.9 | 69M| 52 | - | 808 |7154 | 0 | 0 | 168 | 43k|6167 | 2.936733e+02 | 3.720000e+02 | 26.67%
1003.91/1004.11 c 1004s| 29600 | 6195 | 4413k| 148.7 | 69M| 52 | - | 808 |7105 | 0 | 0 | 168 | 43k|6167 | 2.937333e+02 | 3.720000e+02 | 26.65%
1005.81/1006.06 c 1006s| 29700 | 6202 | 4424k| 148.6 | 70M| 52 | 404 | 808 |7043 | 808 |5654 | 168 | 43k|6167 | 2.938333e+02 | 3.720000e+02 | 26.60%
1008.42/1008.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.42/1008.62 c 1009s| 29800 | 6214 | 4439k| 148.6 | 70M| 52 | - | 808 |7031 | 0 | 0 | 168 | 43k|6167 | 2.939165e+02 | 3.720000e+02 | 26.57%
1009.72/1009.95 c 1010s| 29900 | 6224 | 4446k| 148.4 | 70M| 52 | - | 808 |7019 | 808 |5654 | 168 | 43k|6167 | 2.939349e+02 | 3.720000e+02 | 26.56%
1012.51/1012.75 c 1013s| 30000 | 6234 | 4462k| 148.4 | 70M| 52 | - | 808 |6998 | 808 |5654 | 168 | 43k|6167 | 2.939949e+02 | 3.720000e+02 | 26.53%
1014.71/1014.97 c 1015s| 30100 | 6241 | 4475k| 148.3 | 70M| 52 | 375 | 808 |7041 | 808 |5654 | 168 | 43k|6167 | 2.940099e+02 | 3.720000e+02 | 26.53%
1017.61/1017.87 c 1018s| 30200 | 6245 | 4488k| 148.3 | 70M| 52 | 303 | 808 |7087 | 808 |5654 | 168 | 44k|6195 | 2.940154e+02 | 3.720000e+02 | 26.52%
1019.52/1019.76 c 1020s| 30300 | 6253 | 4498k| 148.1 | 70M| 52 | - | 808 |7098 | 0 | 0 | 168 | 44k|6195 | 2.940315e+02 | 3.720000e+02 | 26.52%
1022.82/1023.05 c 1023s| 30400 | 6259 | 4511k| 148.1 | 70M| 52 | 269 | 808 |7059 | 808 |5654 | 168 | 44k|6241 | 2.940545e+02 | 3.720000e+02 | 26.51%
1024.41/1024.61 c 1025s| 30500 | 6264 | 4519k| 147.8 | 70M| 52 | 325 | 808 |7004 | 808 |5654 | 168 | 44k|6241 | 2.941733e+02 | 3.720000e+02 | 26.46%
1027.22/1027.41 c 1027s| 30600 | 6274 | 4532k| 147.8 | 71M| 52 | - | 808 |6988 | 0 | 0 | 168 | 44k|6263 | 2.941733e+02 | 3.720000e+02 | 26.46%
1030.52/1030.77 c 1031s| 30700 | 6285 | 4549k| 147.9 | 71M| 52 | 288 | 808 |6961 | 808 |5654 | 168 | 44k|6300 | 2.942469e+02 | 3.720000e+02 | 26.42%
1033.31/1033.55 c 1034s| 30800 | 6304 | 4562k| 147.8 | 71M| 52 | 272 | 808 |6946 | 808 |5654 | 168 | 45k|6326 | 2.942469e+02 | 3.720000e+02 | 26.42%
1035.51/1035.70 c 1036s| 30900 | 6301 | 4572k| 147.6 | 71M| 52 | 225 | 808 |6950 | 808 |5654 | 168 | 45k|6347 | 2.942469e+02 | 3.720000e+02 | 26.42%
1037.61/1037.88 c 1038s| 31000 | 6300 | 4582k| 147.5 | 71M| 52 | - | 808 |7073 | 808 |5654 | 168 | 45k|6359 | 2.943485e+02 | 3.720000e+02 | 26.38%
1040.81/1041.02 c 1041s| 31100 | 6324 | 4596k| 147.5 | 71M| 52 | 279 | 808 |7042 | 808 |5654 | 168 | 45k|6375 | 2.944750e+02 | 3.720000e+02 | 26.33%
1043.91/1044.10 c 1044s| 31200 | 6328 | 4610k| 147.5 | 71M| 52 | 296 | 808 |7039 | 808 |5654 | 168 | 45k|6402 | 2.944907e+02 | 3.720000e+02 | 26.32%
1046.11/1046.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.11/1046.33 c 1046s| 31300 | 6331 | 4621k| 147.3 | 71M| 52 | 225 | 808 |7129 | 808 |5654 | 168 | 45k|6421 | 2.944922e+02 | 3.720000e+02 | 26.32%
1048.41/1048.66 c 1049s| 31400 | 6341 | 4632k| 147.2 | 71M| 52 | 323 | 808 |7213 | 808 |5654 | 168 | 46k|6439 | 2.945329e+02 | 3.720000e+02 | 26.30%
1049.51/1049.76 c 1050s| 31500 | 6337 | 4638k| 146.9 | 71M| 52 | - | 808 |7285 | 0 | 0 | 168 | 46k|6439 | 2.945329e+02 | 3.720000e+02 | 26.30%
1051.71/1051.99 c 1052s| 31600 | 6342 | 4648k| 146.8 | 71M| 52 | - | 808 |7186 | 808 |5654 | 168 | 46k|6459 | 2.945422e+02 | 3.720000e+02 | 26.30%
1054.20/1054.45 c 1054s| 31700 | 6351 | 4660k| 146.7 | 71M| 52 | - | 808 |7099 | 0 | 0 | 168 | 46k|6472 | 2.946225e+02 | 3.720000e+02 | 26.26%
1056.01/1056.24 c 1056s| 31800 | 6351 | 4668k| 146.5 | 71M| 52 | 264 | 808 |7096 | 808 |5654 | 168 | 46k|6486 | 2.946225e+02 | 3.720000e+02 | 26.26%
1058.81/1059.02 c 1059s| 31900 | 6367 | 4680k| 146.4 | 72M| 52 | 399 | 808 |7069 | 808 |5654 | 168 | 46k|6510 | 2.947332e+02 | 3.720000e+02 | 26.22%
1060.41/1060.69 c 1061s| 32000 | 6365 | 4688k| 146.2 | 72M| 52 | 407 | 808 |7004 | 808 |5654 | 168 | 46k|6520 | 2.947332e+02 | 3.720000e+02 | 26.22%
1063.20/1063.49 c 1063s| 32100 | 6373 | 4700k| 146.1 | 72M| 52 | 253 | 808 |6943 | 808 |5654 | 168 | 47k|6554 | 2.947407e+02 | 3.720000e+02 | 26.21%
1065.40/1065.62 c 1066s| 32200 | 6377 | 4709k| 145.9 | 72M| 52 | - | 808 |6961 | 0 | 0 | 168 | 47k|6570 | 2.947424e+02 | 3.720000e+02 | 26.21%
1067.81/1068.00 c 1068s| 32300 | 6378 | 4721k| 145.8 | 72M| 52 | - | 808 |7003 | 0 | 0 | 168 | 47k|6586 | 2.947485e+02 | 3.720000e+02 | 26.21%
1070.11/1070.36 c 1070s| 32400 | 6389 | 4734k| 145.8 | 72M| 52 | 221 | 808 |7010 | 808 |5654 | 168 | 47k|6592 | 2.947829e+02 | 3.720000e+02 | 26.19%
1072.90/1073.10 c 1073s| 32500 | 6405 | 4746k| 145.7 | 72M| 52 | 251 | 808 |7022 | 808 |5654 | 168 | 47k|6617 | 2.948194e+02 | 3.720000e+02 | 26.18%
1075.91/1076.12 c 1076s| 32600 | 6418 | 4760k| 145.7 | 72M| 52 | 292 | 808 |6948 | 808 |5654 | 168 | 47k|6647 | 2.949759e+02 | 3.720000e+02 | 26.11%
1078.80/1079.08 c 1079s| 32700 | 6440 | 4774k| 145.7 | 73M| 52 | 249 | 808 |6977 | 808 |5654 | 168 | 47k|6672 | 2.949777e+02 | 3.720000e+02 | 26.11%
1080.90/1081.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.90/1081.12 c 1081s| 32800 | 6459 | 4784k| 145.6 | 73M| 52 | 271 | 808 |7002 | 808 |5654 | 168 | 48k|6681 | 2.949777e+02 | 3.720000e+02 | 26.11%
1084.30/1084.57 c 1085s| 32900 | 6469 | 4799k| 145.6 | 73M| 52 | 237 | 808 |6898 | 808 |5654 | 168 | 48k|6710 | 2.950017e+02 | 3.720000e+02 | 26.10%
1085.40/1085.64 c 1086s| 33000 | 6460 | 4805k| 145.3 | 73M| 52 | - | 808 |6999 | 0 | 0 | 168 | 48k|6710 | 2.950017e+02 | 3.720000e+02 | 26.10%
1087.20/1087.41 c 1087s| 33100 | 6470 | 4812k| 145.1 | 73M| 52 | - | 808 |6964 | 0 | 0 | 168 | 48k|6732 | 2.950055e+02 | 3.720000e+02 | 26.10%
1090.50/1090.73 c 1091s| 33200 | 6487 | 4828k| 145.1 | 73M| 52 | 220 | 808 |6901 | 808 |5654 | 168 | 48k|6754 | 2.950607e+02 | 3.720000e+02 | 26.08%
1092.50/1092.77 c 1093s| 33300 | 6486 | 4838k| 145.0 | 73M| 52 | 320 | 808 |6895 | 808 |5654 | 168 | 48k|6770 | 2.950607e+02 | 3.720000e+02 | 26.08%
1095.11/1095.30 c 1095s| 33400 | 6494 | 4849k| 144.9 | 73M| 52 | - | 808 |6879 | 808 |5654 | 168 | 48k|6798 | 2.951310e+02 | 3.720000e+02 | 26.05%
1096.70/1096.97 c 1097s| 33500 | 6503 | 4856k| 144.7 | 73M| 52 | 240 | 808 |6911 | 808 |5654 | 168 | 49k|6811 | 2.951537e+02 | 3.720000e+02 | 26.04%
1098.80/1099.02 c 1099s| 33600 | 6510 | 4865k| 144.5 | 73M| 52 | 262 | 808 |6963 | 808 |5654 | 168 | 49k|6828 | 2.951771e+02 | 3.720000e+02 | 26.03%
1100.20/1100.46 c 1100s| 33700 | 6511 | 4873k| 144.3 | 73M| 52 | - | 808 |6972 | 0 | 0 | 168 | 49k|6828 | 2.953000e+02 | 3.720000e+02 | 25.97%
1104.00/1104.20 c 1104s| 33800 | 6524 | 4890k| 144.4 | 74M| 52 | - | 808 |6950 | 0 | 0 | 168 | 49k|6857 | 2.953233e+02 | 3.720000e+02 | 25.96%
1105.60/1105.87 c 1106s| 33900 | 6518 | 4899k| 144.2 | 74M| 52 | 269 | 808 |6992 | 808 |5654 | 168 | 49k|6870 | 2.953233e+02 | 3.720000e+02 | 25.96%
1107.80/1108.02 c 1108s| 34000 | 6512 | 4908k| 144.1 | 73M| 52 | 251 | 808 |6993 | 808 |5654 | 168 | 49k|6895 | 2.953233e+02 | 3.720000e+02 | 25.96%
1111.30/1111.56 c 1112s| 34100 | 6530 | 4924k| 144.1 | 74M| 52 | 287 | 808 |6963 | 808 |5654 | 168 | 49k|6923 | 2.954435e+02 | 3.720000e+02 | 25.91%
1113.60/1113.86 c 1114s| 34200 | 6530 | 4935k| 144.0 | 74M| 52 | - | 808 |7000 | 0 | 0 | 168 | 50k|6946 | 2.954993e+02 | 3.720000e+02 | 25.89%
1116.00/1116.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.00/1116.24 c 1116s| 34300 | 6542 | 4947k| 143.9 | 74M| 52 | 278 | 808 |7022 | 808 |5654 | 168 | 50k|6959 | 2.955286e+02 | 3.720000e+02 | 25.88%
1118.09/1118.30 c 1118s| 34400 | 6533 | 4957k| 143.8 | 74M| 52 | 340 | 808 |7014 | 808 |5654 | 168 | 50k|6974 | 2.955397e+02 | 3.720000e+02 | 25.87%
1120.19/1120.41 c 1120s| 34500 | 6542 | 4968k| 143.7 | 74M| 52 | 295 | 808 |7115 | 808 |5654 | 168 | 50k|6979 | 2.955529e+02 | 3.720000e+02 | 25.87%
1121.20/1121.47 c 1121s| 34600 | 6544 | 4974k| 143.5 | 74M| 52 | - | 808 |7122 | 0 | 0 | 168 | 50k|6980 | 2.955529e+02 | 3.720000e+02 | 25.87%
1122.49/1122.79 c 1123s| 34700 | 6544 | 4982k| 143.3 | 74M| 52 | 208 | 808 |7073 | 808 |5654 | 168 | 50k|6980 | 2.955529e+02 | 3.720000e+02 | 25.87%
1123.79/1124.08 c 1124s| 34800 | 6526 | 4989k| 143.1 | 74M| 52 | 230 | 808 |7021 | 808 |5654 | 168 | 51k|6981 | 2.955529e+02 | 3.720000e+02 | 25.87%
1125.39/1125.68 c 1126s| 34900 | 6528 | 4998k| 142.9 | 74M| 52 | 389 | 808 |7049 | 808 |5654 | 168 | 51k|6981 | 2.955851e+02 | 3.720000e+02 | 25.85%
1127.69/1127.96 c 1128s| 35000 | 6543 | 5012k| 142.9 | 74M| 52 | - | 808 |7021 | 808 |5654 | 168 | 51k|6981 | 2.955851e+02 | 3.720000e+02 | 25.85%
1129.90/1130.11 c 1130s| 35100 | 6544 | 5024k| 142.9 | 74M| 52 | 326 | 808 |7012 | 808 |5654 | 168 | 51k|6981 | 2.956022e+02 | 3.720000e+02 | 25.84%
1131.19/1131.45 c 1131s| 35200 | 6541 | 5032k| 142.7 | 74M| 52 | - | 808 |7033 | 808 |5654 | 168 | 51k|6982 | 2.956139e+02 | 3.720000e+02 | 25.84%
1133.19/1133.44 c 1133s| 35300 | 6547 | 5044k| 142.6 | 74M| 52 | 281 | 808 |6969 | 808 |5654 | 168 | 51k|6982 | 2.956236e+02 | 3.720000e+02 | 25.84%
1135.20/1135.45 c 1135s| 35400 | 6552 | 5056k| 142.5 | 74M| 52 | - | 808 |7021 | 0 | 0 | 168 | 51k|6982 | 2.956236e+02 | 3.720000e+02 | 25.84%
1137.39/1137.61 c 1138s| 35500 | 6557 | 5068k| 142.5 | 74M| 52 | 383 | 808 |6971 | 808 |5654 | 168 | 52k|6983 | 2.956406e+02 | 3.720000e+02 | 25.83%
1139.19/1139.40 c 1139s| 35600 | 6576 | 5077k| 142.3 | 74M| 52 | 221 | 808 |6984 | 808 |5654 | 168 | 52k|6983 | 2.956406e+02 | 3.720000e+02 | 25.83%
1141.20/1141.43 c 1141s| 35700 | 6580 | 5089k| 142.3 | 74M| 52 | 223 | 808 |6928 | 808 |5654 | 168 | 52k|6983 | 2.956603e+02 | 3.720000e+02 | 25.82%
1143.10/1143.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.10/1143.38 c 1143s| 35800 | 6581 | 5100k| 142.2 | 75M| 52 | - | 808 |6922 | 0 | 0 | 168 | 52k|6983 | 2.956789e+02 | 3.720000e+02 | 25.81%
1145.39/1145.62 c 1146s| 35900 | 6594 | 5113k| 142.2 | 75M| 52 | 364 | 808 |6881 | 808 |5654 | 168 | 52k|6983 | 2.956854e+02 | 3.720000e+02 | 25.81%
1147.39/1147.69 c 1148s| 36000 | 6598 | 5125k| 142.1 | 75M| 52 | 299 | 808 |6879 | 808 |5654 | 168 | 52k|6983 | 2.956963e+02 | 3.720000e+02 | 25.80%
1148.80/1149.07 c 1149s| 36100 | 6598 | 5133k| 141.9 | 75M| 52 | 211 | 808 |6915 | 808 |5654 | 168 | 52k|6983 | 2.957089e+02 | 3.720000e+02 | 25.80%
1150.89/1151.11 c 1151s| 36200 | 6609 | 5146k| 141.9 | 75M| 52 | - | 808 |7047 | 0 | 0 | 168 | 53k|6983 | 2.957190e+02 | 3.720000e+02 | 25.80%
1152.70/1152.91 c 1153s| 36300 | 6619 | 5156k| 141.8 | 75M| 52 | - | 808 |6997 | 808 |5654 | 168 | 53k|6983 | 2.957333e+02 | 3.720000e+02 | 25.79%
1155.09/1155.40 c 1155s| 36400 | 6631 | 5169k| 141.7 | 75M| 52 | 282 | 808 |6943 | 808 |5654 | 168 | 53k|6983 | 2.957333e+02 | 3.720000e+02 | 25.79%
1157.29/1157.57 c 1158s| 36500 | 6645 | 5181k| 141.7 | 75M| 52 | - | 808 |6952 | 0 | 0 | 168 | 53k|6983 | 2.957713e+02 | 3.720000e+02 | 25.77%
1158.89/1159.15 c 1159s| 36600 | 6650 | 5191k| 141.5 | 76M| 52 | - | 808 |6995 | 808 |5654 | 168 | 53k|6983 | 2.957727e+02 | 3.720000e+02 | 25.77%
1160.59/1160.85 c 1161s| 36700 | 6669 | 5200k| 141.4 | 76M| 52 | - | 808 |7041 | 0 | 0 | 168 | 53k|6983 | 2.958068e+02 | 3.720000e+02 | 25.76%
1162.09/1162.33 c 1162s| 36800 | 6682 | 5208k| 141.3 | 76M| 52 | 221 | 808 |7045 | 808 |5654 | 168 | 54k|6983 | 2.958068e+02 | 3.720000e+02 | 25.76%
1163.89/1164.14 c 1164s| 36900 | 6697 | 5218k| 141.1 | 76M| 52 | - | 808 |7064 | 0 | 0 | 168 | 54k|6983 | 2.958215e+02 | 3.720000e+02 | 25.75%
1166.09/1166.32 c 1166s| 37000 | 6706 | 5229k| 141.1 | 76M| 52 | 181 | 808 |7034 | 808 |5654 | 168 | 54k|6983 | 2.959233e+02 | 3.720000e+02 | 25.71%
1167.00/1167.25 c 1167s| 37100 | 6704 | 5234k| 140.8 | 76M| 52 | 241 | 808 |7069 | 808 |5654 | 168 | 54k|6983 | 2.959233e+02 | 3.720000e+02 | 25.71%
1168.39/1168.66 c 1169s| 37200 | 6709 | 5241k| 140.6 | 76M| 52 | - | 808 |7032 | 0 | 0 | 168 | 54k|6983 | 2.960304e+02 | 3.720000e+02 | 25.66%
1170.49/1170.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.49/1170.79 c 1171s| 37300 | 6724 | 5251k| 140.5 | 76M| 52 | - | 808 |6976 | 808 |5654 | 168 | 54k|7004 | 2.960697e+02 | 3.720000e+02 | 25.65%
1172.39/1172.70 c 1173s| 37400 | 6731 | 5260k| 140.4 | 76M| 52 | 270 | 808 |6957 | 808 |5654 | 168 | 54k|7019 | 2.960866e+02 | 3.720000e+02 | 25.64%
1174.49/1174.75 c 1175s| 37500 | 6730 | 5270k| 140.3 | 76M| 52 | 182 | 808 |7026 | 808 |5654 | 168 | 55k|7031 | 2.960866e+02 | 3.720000e+02 | 25.64%
1176.99/1177.21 c 1177s| 37600 | 6743 | 5281k| 140.2 | 76M| 52 | 246 | 808 |6948 | 808 |5654 | 168 | 55k|7056 | 2.961184e+02 | 3.720000e+02 | 25.63%
1179.59/1179.87 c 1180s| 37700 | 6741 | 5293k| 140.1 | 76M| 52 | - | 808 |6929 | 0 | 0 | 168 | 55k|7088 | 2.961827e+02 | 3.720000e+02 | 25.60%
1181.49/1181.71 c 1182s| 37800 | 6744 | 5303k| 140.0 | 76M| 52 | 202 | 808 |7029 | 808 |5654 | 168 | 55k|7097 | 2.962243e+02 | 3.720000e+02 | 25.58%
1184.09/1184.36 c 1184s| 37900 | 6752 | 5314k| 139.9 | 77M| 52 | - | 808 |7035 | 0 | 0 | 168 | 55k|7120 | 2.962243e+02 | 3.720000e+02 | 25.58%
1185.79/1186.00 c 1186s| 38000 | 6752 | 5322k| 139.8 | 77M| 52 | 251 | 808 |6917 | 808 |5654 | 168 | 55k|7132 | 2.962478e+02 | 3.720000e+02 | 25.57%
1188.38/1188.64 c 1189s| 38100 | 6767 | 5334k| 139.7 | 77M| 52 | - | 808 |6889 | 0 | 0 | 168 | 55k|7151 | 2.962766e+02 | 3.720000e+02 | 25.56%
1190.39/1190.60 c 1191s| 38200 | 6771 | 5344k| 139.6 | 77M| 52 | - | 808 |6918 | 0 | 0 | 168 | 55k|7164 | 2.962897e+02 | 3.720000e+02 | 25.55%
1192.98/1193.25 c 1193s| 38300 | 6766 | 5354k| 139.5 | 77M| 52 | 312 | 808 |6924 | 808 |5654 | 168 | 56k|7186 | 2.963085e+02 | 3.720000e+02 | 25.54%
1195.19/1195.47 c 1195s| 38400 | 6754 | 5365k| 139.5 | 77M| 52 | 335 | 808 |6902 | 808 |5654 | 168 | 56k|7202 | 2.963085e+02 | 3.720000e+02 | 25.54%
1197.28/1197.59 c 1198s| 38500 | 6755 | 5376k| 139.4 | 77M| 52 | - | 808 |6872 | 808 |5654 | 168 | 56k|7212 | 2.963085e+02 | 3.720000e+02 | 25.54%
1199.29/1199.53 c 1200s| 38600 | 6761 | 5384k| 139.2 | 77M| 52 | - | 808 |6910 | 0 | 0 | 168 | 56k|7238 | 2.963152e+02 | 3.720000e+02 | 25.54%
1202.28/1202.51 c 1203s| 38700 | 6771 | 5396k| 139.2 | 77M| 52 | 319 | 808 |6937 | 808 |5654 | 168 | 56k|7271 | 2.963226e+02 | 3.720000e+02 | 25.54%
1204.58/1204.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.58/1204.85 c 1205s| 38800 | 6785 | 5409k| 139.2 | 77M| 52 | 288 | 808 |6973 | 808 |5654 | 168 | 56k|7271 | 2.963663e+02 | 3.720000e+02 | 25.52%
1206.38/1206.68 c 1207s| 38900 | 6787 | 5419k| 139.0 | 77M| 52 | 162 | 808 |6973 | 808 |5654 | 168 | 57k|7286 | 2.963669e+02 | 3.720000e+02 | 25.52%
1208.98/1209.26 c 1209s| 39000 | 6804 | 5429k| 139.0 | 77M| 52 | - | 808 |6951 | 808 |5654 | 168 | 57k|7307 | 2.963762e+02 | 3.720000e+02 | 25.52%
1210.99/1211.22 c 1211s| 39100 | 6824 | 5437k| 138.8 | 78M| 52 | 276 | 808 |6956 | 808 |5654 | 168 | 57k|7330 | 2.964000e+02 | 3.720000e+02 | 25.51%
1212.39/1212.60 c 1213s| 39200 | 6823 | 5445k| 138.7 | 78M| 52 | - | 808 |6965 | 0 | 0 | 168 | 57k|7330 | 2.964191e+02 | 3.720000e+02 | 25.50%
1214.29/1214.51 c 1215s| 39300 | 6830 | 5454k| 138.5 | 78M| 52 | 266 | 808 |6959 | 808 |5654 | 168 | 57k|7340 | 2.964191e+02 | 3.720000e+02 | 25.50%
1216.19/1216.42 c 1216s| 39400 | 6841 | 5464k| 138.4 | 78M| 52 | 235 | 808 |6939 | 808 |5654 | 168 | 57k|7350 | 2.964233e+02 | 3.720000e+02 | 25.50%
1218.28/1218.50 c 1218s| 39500 | 6851 | 5472k| 138.3 | 78M| 52 | - | 808 |7005 | 0 | 0 | 168 | 57k|7377 | 2.964519e+02 | 3.720000e+02 | 25.48%
1221.29/1221.59 c 1222s| 39600 | 6873 | 5486k| 138.3 | 78M| 52 | 273 | 808 |6958 | 808 |5654 | 168 | 58k|7387 | 2.964577e+02 | 3.720000e+02 | 25.48%
1223.08/1223.31 c 1223s| 39700 | 6882 | 5495k| 138.2 | 78M| 52 | 223 | 808 |7001 | 808 |5654 | 168 | 58k|7402 | 2.964589e+02 | 3.720000e+02 | 25.48%
1225.38/1225.65 c 1226s| 39800 | 6891 | 5506k| 138.1 | 78M| 52 | 254 | 808 |7034 | 808 |5654 | 168 | 58k|7413 | 2.964589e+02 | 3.720000e+02 | 25.48%
1227.78/1228.08 c 1228s| 39900 | 6899 | 5517k| 138.0 | 78M| 52 | - | 808 |6989 | 0 | 0 | 168 | 58k|7439 | 2.964589e+02 | 3.720000e+02 | 25.48%
1230.38/1230.62 c 1231s| 40000 | 6897 | 5530k| 138.0 | 78M| 52 | - | 808 |6927 | 0 | 0 | 168 | 58k|7462 | 2.964805e+02 | 3.720000e+02 | 25.47%
1232.18/1232.40 c 1232s| 40100 | 6909 | 5538k| 137.9 | 79M| 52 | - | 808 |6961 | 0 | 0 | 168 | 58k|7479 | 2.964810e+02 | 3.720000e+02 | 25.47%
1234.48/1234.78 c 1235s| 40200 | 6915 | 5549k| 137.8 | 79M| 52 | - | 808 |7004 | 808 |5654 | 168 | 59k|7507 | 2.965009e+02 | 3.720000e+02 | 25.46%
1236.58/1236.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.58/1236.81 c 1237s| 40300 | 6916 | 5558k| 137.7 | 79M| 52 | 270 | 808 |6998 | 808 |5654 | 168 | 59k|7528 | 2.965055e+02 | 3.720000e+02 | 25.46%
1238.38/1238.66 c 1239s| 40400 | 6899 | 5567k| 137.6 | 79M| 52 | - | 808 |7068 | 808 |5654 | 168 | 59k|7539 | 2.965071e+02 | 3.720000e+02 | 25.46%
1240.68/1240.93 c 1241s| 40500 | 6898 | 5578k| 137.5 | 79M| 52 | 205 | 808 |7106 | 808 |5654 | 168 | 59k|7566 | 2.965071e+02 | 3.720000e+02 | 25.46%
1243.27/1243.53 c 1244s| 40600 | 6904 | 5587k| 137.4 | 79M| 52 | 342 | 808 |7023 | 808 |5654 | 168 | 59k|7599 | 2.965071e+02 | 3.720000e+02 | 25.46%
1245.08/1245.37 c 1245s| 40700 | 6921 | 5597k| 137.3 | 79M| 52 | - | 808 |6967 | 0 | 0 | 168 | 59k|7599 | 2.965073e+02 | 3.720000e+02 | 25.46%
1247.29/1247.53 c 1248s| 40800 | 6930 | 5610k| 137.2 | 79M| 52 | 259 | 808 |6927 | 808 |5654 | 168 | 59k|7599 | 2.965249e+02 | 3.720000e+02 | 25.45%
1249.39/1249.63 c 1250s| 40900 | 6935 | 5619k| 137.1 | 79M| 52 | 228 | 808 |6935 | 808 |5654 | 168 | 60k|7615 | 2.965535e+02 | 3.720000e+02 | 25.44%
1251.97/1252.26 c 1252s| 41000 | 6953 | 5631k| 137.1 | 79M| 52 | 237 | 808 |6954 | 808 |5654 | 168 | 60k|7634 | 2.965630e+02 | 3.720000e+02 | 25.44%
1254.37/1254.69 c 1255s| 41100 | 6949 | 5643k| 137.1 | 79M| 52 | 268 | 808 |6922 | 808 |5654 | 168 | 60k|7648 | 2.965701e+02 | 3.720000e+02 | 25.43%
1256.67/1256.94 c 1257s| 41200 | 6956 | 5654k| 137.0 | 79M| 52 | - | 808 |6895 | 808 |5654 | 168 | 60k|7662 | 2.966153e+02 | 3.720000e+02 | 25.41%
1258.67/1258.92 c 1259s| 41300 | 6958 | 5664k| 136.9 | 79M| 52 | 219 | 808 |6949 | 808 |5654 | 168 | 60k|7683 | 2.966153e+02 | 3.720000e+02 | 25.41%
1261.27/1261.53 c 1262s| 41400 | 6965 | 5676k| 136.9 | 79M| 52 | 166 | 808 |6907 | 808 |5654 | 168 | 60k|7707 | 2.966554e+02 | 3.720000e+02 | 25.40%
1264.18/1264.41 c 1264s| 41500 | 6973 | 5689k| 136.8 | 79M| 52 | 216 | 808 |6896 | 808 |5654 | 168 | 60k|7726 | 2.966661e+02 | 3.720000e+02 | 25.39%
1266.27/1266.50 c 1266s| 41600 | 6976 | 5700k| 136.8 | 80M| 52 | 295 | 808 |6944 | 808 |5654 | 168 | 61k|7735 | 2.966702e+02 | 3.720000e+02 | 25.39%
1268.18/1268.41 c 1268s| 41700 | 6976 | 5708k| 136.6 | 80M| 52 | 122 | 808 |6954 | 808 |5654 | 168 | 61k|7757 | 2.966702e+02 | 3.720000e+02 | 25.39%
1269.18/1269.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.18/1269.46 c 1269s| 41800 | 6980 | 5714k| 136.5 | 80M| 52 | 240 | 808 |6894 | 808 |5654 | 168 | 61k|7757 | 2.966702e+02 | 3.720000e+02 | 25.39%
1270.87/1271.15 c 1271s| 41900 | 6986 | 5721k| 136.3 | 80M| 52 | - | 808 |6902 | 808 |5654 | 168 | 61k|7768 | 2.966862e+02 | 3.720000e+02 | 25.38%
1273.47/1273.74 c 1274s| 42000 | 6988 | 5733k| 136.3 | 80M| 52 | - | 808 |6938 | 808 |5654 | 168 | 61k|7791 | 2.966997e+02 | 3.720000e+02 | 25.38%
1275.58/1275.90 c 1276s| 42100 | 6994 | 5744k| 136.2 | 80M| 52 | 286 | 808 |6921 | 808 |5654 | 168 | 61k|7800 | 2.967329e+02 | 3.720000e+02 | 25.37%
1277.47/1277.78 c 1278s| 42200 | 6982 | 5752k| 136.1 | 80M| 52 | - | 808 |6896 | 0 | 0 | 168 | 61k|7815 | 2.967329e+02 | 3.720000e+02 | 25.37%
1280.37/1280.69 c 1281s| 42300 | 7001 | 5766k| 136.1 | 80M| 52 | - | 808 |6860 | 808 |5654 | 168 | 62k|7838 | 2.967591e+02 | 3.720000e+02 | 25.35%
1280.67/1280.97 c 1281s| 42400 | 7001 | 5767k| 135.8 | 80M| 52 | - | 808 |6895 | 808 |5654 | 168 | 62k|7838 | 2.967591e+02 | 3.720000e+02 | 25.35%
1282.67/1282.93 c 1283s| 42500 | 7011 | 5776k| 135.7 | 80M| 52 | - | 808 |6920 | 0 | 0 | 168 | 62k|7847 | 2.968025e+02 | 3.720000e+02 | 25.34%
1284.57/1284.90 c 1285s| 42600 | 7003 | 5785k| 135.6 | 80M| 52 | 241 | 808 |6941 | 808 |5654 | 168 | 62k|7865 | 2.968025e+02 | 3.720000e+02 | 25.34%
1286.07/1286.35 c 1286s| 42700 | 6994 | 5793k| 135.4 | 80M| 52 | - | 808 |6923 | 0 | 0 | 168 | 62k|7868 | 2.968038e+02 | 3.720000e+02 | 25.34%
1287.57/1287.86 c 1288s| 42800 | 7001 | 5802k| 135.3 | 80M| 52 | 252 | 808 |6939 | 808 |5654 | 168 | 62k|7869 | 2.968379e+02 | 3.720000e+02 | 25.32%
1289.57/1289.89 c 1290s| 42900 | 7001 | 5813k| 135.3 | 80M| 52 | 208 | 808 |6931 | 808 |5654 | 168 | 62k|7870 | 2.968379e+02 | 3.720000e+02 | 25.32%
1291.17/1291.44 c 1291s| 43000 | 6995 | 5822k| 135.2 | 80M| 52 | - | 808 |6964 | 808 |5654 | 168 | 63k|7871 | 2.968476e+02 | 3.720000e+02 | 25.32%
1292.97/1293.21 c 1293s| 43100 | 6992 | 5832k| 135.1 | 80M| 52 | 246 | 808 |6945 | 808 |5654 | 168 | 63k|7874 | 2.968546e+02 | 3.720000e+02 | 25.31%
1294.67/1294.93 c 1295s| 43200 | 6988 | 5842k| 135.0 | 80M| 52 | - | 808 |6972 | 0 | 0 | 168 | 63k|7874 | 2.968847e+02 | 3.720000e+02 | 25.30%
1296.27/1296.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.27/1296.59 c 1297s| 43300 | 6999 | 5851k| 134.9 | 80M| 52 | 275 | 808 |6976 | 808 |5654 | 168 | 63k|7874 | 2.968988e+02 | 3.720000e+02 | 25.30%
1298.16/1298.43 c 1298s| 43400 | 7002 | 5862k| 134.8 | 80M| 52 | - | 808 |6946 | 808 |5654 | 168 | 63k|7874 | 2.969000e+02 | 3.720000e+02 | 25.29%
1299.77/1300.04 c 1300s| 43500 | 7010 | 5870k| 134.7 | 80M| 52 | - | 808 |6970 | 0 | 0 | 168 | 63k|7874 | 2.969766e+02 | 3.720000e+02 | 25.26%
1302.17/1302.46 c 1302s| 43600 | 7028 | 5884k| 134.7 | 80M| 52 | - | 808 |6980 | 0 | 0 | 168 | 63k|7874 | 2.970125e+02 | 3.720000e+02 | 25.25%
1304.06/1304.38 c 1304s| 43700 | 7029 | 5895k| 134.7 | 81M| 52 | 228 | 808 |6977 | 808 |5654 | 168 | 63k|7874 | 2.970329e+02 | 3.720000e+02 | 25.24%
1306.27/1306.58 c 1307s| 43800 | 7039 | 5907k| 134.6 | 81M| 52 | 276 | 808 |6985 | 808 |5654 | 168 | 64k|7874 | 2.970533e+02 | 3.720000e+02 | 25.23%
1308.07/1308.31 c 1308s| 43900 | 7042 | 5917k| 134.6 | 81M| 52 | 210 | 808 |6947 | 808 |5654 | 168 | 64k|7874 | 2.970550e+02 | 3.720000e+02 | 25.23%
1310.06/1310.32 c 1310s| 44000 | 7051 | 5929k| 134.5 | 81M| 52 | 308 | 808 |6950 | 808 |5654 | 168 | 64k|7874 | 2.970753e+02 | 3.720000e+02 | 25.22%
1311.07/1311.35 c 1311s| 44100 | 7056 | 5935k| 134.4 | 81M| 52 | 341 | 808 |6993 | 808 |5654 | 168 | 64k|7874 | 2.970848e+02 | 3.720000e+02 | 25.22%
1312.56/1312.85 c 1313s| 44200 | 7060 | 5943k| 134.2 | 81M| 52 | - | 808 |7019 | 0 | 0 | 168 | 64k|7874 | 2.970848e+02 | 3.720000e+02 | 25.22%
1313.97/1314.28 c 1314s| 44300 | 7058 | 5951k| 134.1 | 81M| 52 | 319 | 808 |7000 | 808 |5654 | 168 | 64k|7874 | 2.971029e+02 | 3.720000e+02 | 25.21%
1315.76/1316.07 c 1316s| 44400 | 7055 | 5961k| 134.0 | 81M| 52 | - | 808 |6947 | 808 |5654 | 168 | 64k|7874 | 2.971029e+02 | 3.720000e+02 | 25.21%
1317.46/1317.80 c 1318s| 44500 | 7055 | 5972k| 134.0 | 81M| 52 | 299 | 808 |6947 | 808 |5654 | 168 | 65k|7874 | 2.971275e+02 | 3.720000e+02 | 25.20%
1318.78/1319.02 c 1319s| 44600 | 7059 | 5978k| 133.8 | 81M| 52 | - | 808 |6946 | 808 |5654 | 168 | 65k|7874 | 2.971621e+02 | 3.720000e+02 | 25.18%
1319.37/1319.60 c 1320s| 44700 | 7061 | 5982k| 133.6 | 81M| 52 | 103 | 808 |6998 | 808 |5654 | 168 | 65k|7874 | 2.971621e+02 | 3.720000e+02 | 25.18%
1320.87/1321.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.87/1321.10 c 1321s| 44800 | 7064 | 5990k| 133.5 | 81M| 52 | 297 | 808 |7012 | 808 |5654 | 168 | 65k|7874 | 2.971637e+02 | 3.720000e+02 | 25.18%
1321.87/1322.16 c 1322s| 44900 | 7067 | 5996k| 133.3 | 81M| 52 | 220 | 808 |7024 | 808 |5654 | 168 | 65k|7874 | 2.971637e+02 | 3.720000e+02 | 25.18%
1323.47/1323.76 c 1324s| 45000 | 7075 | 6005k| 133.2 | 81M| 52 | 233 | 808 |7004 | 808 |5654 | 168 | 65k|7874 | 2.971637e+02 | 3.720000e+02 | 25.18%
1325.76/1326.07 c 1326s| 45100 | 7081 | 6019k| 133.2 | 81M| 52 | - | 808 |6966 | 808 |5654 | 168 | 65k|7874 | 2.971887e+02 | 3.720000e+02 | 25.17%
1327.17/1327.49 c 1327s| 45200 | 7086 | 6027k| 133.1 | 81M| 52 | 222 | 808 |7005 | 808 |5654 | 168 | 65k|7874 | 2.971889e+02 | 3.720000e+02 | 25.17%
1329.06/1329.34 c 1329s| 45300 | 7083 | 6038k| 133.1 | 81M| 52 | - | 808 |7035 | 0 | 0 | 168 | 65k|7874 | 2.972048e+02 | 3.720000e+02 | 25.17%
1329.96/1330.21 c 1330s| 45400 | 7081 | 6042k| 132.9 | 81M| 52 | - | 808 |7106 | 0 | 0 | 168 | 66k|7874 | 2.972048e+02 | 3.720000e+02 | 25.17%
1330.96/1331.29 c 1331s| 45500 | 7086 | 6049k| 132.7 | 81M| 52 | - | 808 |7096 | 808 |5654 | 168 | 66k|7874 | 2.972048e+02 | 3.720000e+02 | 25.17%
1332.56/1332.87 c 1333s| 45600 | 7089 | 6058k| 132.6 | 81M| 52 | - | 808 |7031 | 0 | 0 | 168 | 66k|7874 | 2.972048e+02 | 3.720000e+02 | 25.17%
1334.26/1334.52 c 1335s| 45700 | 7081 | 6067k| 132.5 | 81M| 52 | 248 | 808 |7036 | 808 |5654 | 168 | 66k|7874 | 2.972064e+02 | 3.720000e+02 | 25.17%
1335.97/1336.25 c 1336s| 45800 | 7082 | 6077k| 132.5 | 81M| 52 | - | 808 |7043 | 0 | 0 | 168 | 66k|7874 | 2.972064e+02 | 3.720000e+02 | 25.17%
1338.26/1338.51 c 1339s| 45900 | 7106 | 6089k| 132.5 | 81M| 52 | - | 808 |7030 | 0 | 0 | 168 | 66k|7874 | 2.972175e+02 | 3.720000e+02 | 25.16%
1340.67/1340.94 c 1341s| 46000 | 7116 | 6102k| 132.4 | 82M| 52 | 314 | 808 |7032 | 808 |5654 | 168 | 66k|7889 | 2.972211e+02 | 3.720000e+02 | 25.16%
1342.47/1342.77 c 1343s| 46100 | 7114 | 6111k| 132.4 | 82M| 52 | - | 808 |7044 | 808 |5654 | 168 | 67k|7899 | 2.972316e+02 | 3.720000e+02 | 25.15%
1344.66/1344.97 c 1345s| 46200 | 7115 | 6121k| 132.3 | 82M| 52 | - | 808 |6972 | 0 | 0 | 168 | 67k|7919 | 2.972384e+02 | 3.720000e+02 | 25.15%
1347.27/1347.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.27/1347.54 c 1348s| 46300 | 7112 | 6134k| 132.3 | 82M| 52 | 238 | 808 |6989 | 808 |5654 | 168 | 67k|7934 | 2.972699e+02 | 3.720000e+02 | 25.14%
1350.16/1350.49 c 1350s| 46400 | 7132 | 6148k| 132.3 | 82M| 52 | 224 | 808 |7031 | 808 |5654 | 168 | 67k|7949 | 2.972806e+02 | 3.720000e+02 | 25.13%
1352.26/1352.52 c 1353s| 46500 | 7137 | 6157k| 132.2 | 82M| 52 | - | 808 |7072 | 808 |5654 | 168 | 67k|7968 | 2.972930e+02 | 3.720000e+02 | 25.13%
1354.97/1355.25 c 1355s| 46600 | 7141 | 6171k| 132.2 | 82M| 52 | 267 | 808 |6996 | 808 |5654 | 168 | 67k|7989 | 2.972997e+02 | 3.720000e+02 | 25.13%
1357.86/1358.10 c 1358s| 46700 | 7153 | 6183k| 132.2 | 82M| 52 | - | 808 |6929 | 808 |5654 | 168 | 67k|8008 | 2.973119e+02 | 3.720000e+02 | 25.12%
1360.16/1360.41 c 1360s| 46800 | 7158 | 6195k| 132.2 | 82M| 52 | - | 808 |6912 | 0 | 0 | 168 | 68k|8020 | 2.973266e+02 | 3.720000e+02 | 25.11%
1362.36/1362.69 c 1363s| 46900 | 7157 | 6205k| 132.1 | 82M| 52 | 280 | 808 |6916 | 808 |5654 | 168 | 68k|8055 | 2.973266e+02 | 3.720000e+02 | 25.11%
1363.86/1364.17 c 1364s| 47000 | 7154 | 6212k| 132.0 | 82M| 52 | 286 | 808 |6948 | 808 |5654 | 168 | 68k|8068 | 2.973266e+02 | 3.720000e+02 | 25.11%
1365.65/1365.95 c 1366s| 47100 | 7155 | 6222k| 131.9 | 82M| 52 | 274 | 808 |6943 | 808 |5654 | 168 | 68k|8082 | 2.973266e+02 | 3.720000e+02 | 25.11%
1367.75/1368.07 c 1368s| 47200 | 7150 | 6231k| 131.8 | 82M| 52 | - | 808 |6950 | 0 | 0 | 168 | 68k|8101 | 2.973266e+02 | 3.720000e+02 | 25.11%
1369.36/1369.67 c 1370s| 47300 | 7159 | 6238k| 131.7 | 82M| 52 | 372 | 808 |6914 | 808 |5654 | 168 | 68k|8119 | 2.973266e+02 | 3.720000e+02 | 25.11%
1371.56/1371.85 c 1372s| 47400 | 7162 | 6249k| 131.6 | 82M| 52 | 239 | 808 |6924 | 808 |5654 | 168 | 69k|8131 | 2.973496e+02 | 3.720000e+02 | 25.11%
1374.46/1374.73 c 1375s| 47500 | 7171 | 6263k| 131.6 | 82M| 52 | 257 | 808 |6928 | 808 |5654 | 168 | 69k|8147 | 2.973498e+02 | 3.720000e+02 | 25.11%
1376.85/1377.14 c 1377s| 47600 | 7182 | 6275k| 131.6 | 82M| 52 | 217 | 808 |6953 | 808 |5654 | 168 | 69k|8165 | 2.973507e+02 | 3.720000e+02 | 25.10%
1379.55/1379.85 c 1380s| 47700 | 7189 | 6288k| 131.6 | 82M| 52 | 391 | 808 |6968 | 808 |5654 | 168 | 69k|8206 | 2.973507e+02 | 3.720000e+02 | 25.10%
1382.16/1382.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.16/1382.41 c 1382s| 47800 | 7188 | 6299k| 131.6 | 82M| 52 | 296 | 808 |6960 | 808 |5654 | 168 | 69k|8222 | 2.973520e+02 | 3.720000e+02 | 25.10%
1384.46/1384.75 c 1385s| 47900 | 7186 | 6311k| 131.6 | 83M| 52 | - | 808 |6939 | 0 | 0 | 168 | 69k|8231 | 2.973787e+02 | 3.720000e+02 | 25.09%
1387.46/1387.74 c 1388s| 48000 | 7204 | 6324k| 131.5 | 83M| 52 | - | 808 |6891 | 0 | 0 | 168 | 69k|8248 | 2.974224e+02 | 3.720000e+02 | 25.07%
1389.76/1390.07 c 1390s| 48100 | 7197 | 6336k| 131.5 | 83M| 52 | 253 | 808 |6828 | 808 |5654 | 168 | 69k|8266 | 2.974233e+02 | 3.720000e+02 | 25.07%
1391.56/1391.82 c 1392s| 48200 | 7199 | 6344k| 131.4 | 83M| 52 | 269 | 808 |6904 | 808 |5654 | 168 | 70k|8274 | 2.974236e+02 | 3.720000e+02 | 25.07%
1393.56/1393.84 c 1394s| 48300 | 7199 | 6353k| 131.3 | 83M| 52 | 178 | 808 |6840 | 808 |5654 | 168 | 70k|8283 | 2.974396e+02 | 3.720000e+02 | 25.07%
1395.86/1396.14 c 1396s| 48400 | 7211 | 6364k| 131.3 | 83M| 52 | 250 | 808 |6874 | 808 |5654 | 168 | 70k|8296 | 2.974475e+02 | 3.720000e+02 | 25.06%
1397.75/1398.03 c 1398s| 48500 | 7203 | 6373k| 131.2 | 83M| 52 | - | 808 |6852 | 0 | 0 | 168 | 70k|8318 | 2.974475e+02 | 3.720000e+02 | 25.06%
1400.06/1400.32 c 1400s| 48600 | 7187 | 6383k| 131.1 | 82M| 52 | - | 808 |6887 | 0 | 0 | 168 | 70k|8338 | 2.974488e+02 | 3.720000e+02 | 25.06%
1401.46/1401.70 c 1402s| 48700 | 7191 | 6391k| 131.0 | 82M| 52 | 212 | 808 |6871 | 808 |5654 | 168 | 70k|8338 | 2.974488e+02 | 3.720000e+02 | 25.06%
1403.36/1403.64 c 1404s| 48800 | 7200 | 6401k| 131.0 | 82M| 52 | - | 808 |6924 | 0 | 0 | 168 | 71k|8350 | 2.974488e+02 | 3.720000e+02 | 25.06%
1405.85/1406.17 c 1406s| 48900 | 7210 | 6412k| 130.9 | 83M| 52 | - | 808 |6914 | 0 | 0 | 168 | 71k|8371 | 2.975067e+02 | 3.720000e+02 | 25.04%
1408.05/1408.38 c 1408s| 49000 | 7213 | 6423k| 130.9 | 83M| 52 | - | 808 |6923 | 0 | 0 | 168 | 71k|8379 | 2.975183e+02 | 3.720000e+02 | 25.03%
1410.15/1410.46 c 1410s| 49100 | 7214 | 6432k| 130.8 | 83M| 52 | 225 | 808 |6908 | 808 |5654 | 168 | 71k|8392 | 2.975255e+02 | 3.720000e+02 | 25.03%
1412.65/1412.93 c 1413s| 49200 | 7224 | 6442k| 130.7 | 83M| 52 | - | 808 |6927 | 0 | 0 | 168 | 71k|8413 | 2.975269e+02 | 3.720000e+02 | 25.03%
1414.05/1414.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.05/1414.32 c 1414s| 49300 | 7233 | 6449k| 130.6 | 83M| 52 | - | 808 |6946 | 0 | 0 | 168 | 71k|8413 | 2.975304e+02 | 3.720000e+02 | 25.03%
1416.15/1416.47 c 1416s| 49400 | 7233 | 6460k| 130.6 | 83M| 52 | 237 | 808 |6965 | 808 |5654 | 168 | 71k|8425 | 2.975326e+02 | 3.720000e+02 | 25.03%
1418.05/1418.32 c 1418s| 49500 | 7230 | 6469k| 130.5 | 83M| 52 | 252 | 808 |6963 | 808 |5654 | 168 | 71k|8443 | 2.975326e+02 | 3.720000e+02 | 25.03%
1419.96/1420.23 c 1420s| 49600 | 7239 | 6478k| 130.4 | 83M| 52 | - | 808 |6985 | 0 | 0 | 168 | 72k|8455 | 2.975380e+02 | 3.720000e+02 | 25.03%
1421.15/1421.42 c 1421s| 49700 | 7247 | 6485k| 130.3 | 83M| 52 | 226 | 808 |6991 | 808 |5654 | 168 | 72k|8455 | 2.975380e+02 | 3.720000e+02 | 25.03%
1423.45/1423.78 c 1424s| 49800 | 7241 | 6495k| 130.2 | 83M| 52 | 335 | 808 |6959 | 808 |5654 | 168 | 72k|8480 | 2.975393e+02 | 3.720000e+02 | 25.03%
1424.95/1425.21 c 1425s| 49900 | 7240 | 6503k| 130.1 | 83M| 52 | - | 808 |6954 | 0 | 0 | 168 | 72k|8480 | 2.975393e+02 | 3.720000e+02 | 25.03%
1427.35/1427.68 c 1428s| 50000 | 7260 | 6514k| 130.1 | 83M| 52 | 268 | 808 |6901 | 808 |5654 | 168 | 72k|8499 | 2.975430e+02 | 3.720000e+02 | 25.02%
1428.85/1429.16 c 1429s| 50100 | 7261 | 6520k| 129.9 | 83M| 52 | 246 | 808 |6918 | 808 |5654 | 168 | 72k|8512 | 2.975430e+02 | 3.720000e+02 | 25.02%
1431.25/1431.56 c 1432s| 50200 | 7253 | 6531k| 129.9 | 83M| 52 | 270 | 808 |6887 | 808 |5654 | 168 | 73k|8527 | 2.975430e+02 | 3.720000e+02 | 25.02%
1433.06/1433.33 c 1433s| 50300 | 7247 | 6541k| 129.8 | 83M| 52 | - | 808 |6877 | 808 |5654 | 168 | 73k|8536 | 2.975440e+02 | 3.720000e+02 | 25.02%
1436.15/1436.41 c 1436s| 50400 | 7261 | 6555k| 129.9 | 83M| 52 | 355 | 808 |6870 | 808 |5654 | 168 | 73k|8553 | 2.975713e+02 | 3.720000e+02 | 25.01%
1439.95/1440.23 c 1440s| 50500 | 7273 | 6573k| 130.0 | 83M| 52 | 207 | 808 |6852 | 808 |5654 | 168 | 73k|8577 | 2.975900e+02 | 3.720000e+02 | 25.00%
1442.24/1442.56 c 1443s| 50600 | 7273 | 6585k| 129.9 | 83M| 52 | 304 | 808 |6873 | 808 |5654 | 168 | 73k|8586 | 2.976122e+02 | 3.720000e+02 | 24.99%
1444.75/1445.05 c 1445s| 50700 | 7261 | 6595k| 129.9 | 83M| 52 | - | 808 |6891 | 0 | 0 | 168 | 73k|8602 | 2.976233e+02 | 3.720000e+02 | 24.99%
1446.44/1446.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.44/1446.74 c 1447s| 50800 | 7277 | 6605k| 129.8 | 84M| 52 | 220 | 808 |6944 | 808 |5654 | 168 | 73k|8602 | 2.976417e+02 | 3.720000e+02 | 24.98%
1448.56/1448.83 c 1449s| 50900 | 7277 | 6614k| 129.7 | 84M| 52 | - | 808 |6958 | 808 |5654 | 168 | 74k|8627 | 2.976417e+02 | 3.720000e+02 | 24.98%
1450.94/1451.22 c 1451s| 51000 | 7281 | 6625k| 129.7 | 84M| 52 | 331 | 808 |6915 | 808 |5654 | 168 | 74k|8641 | 2.976634e+02 | 3.720000e+02 | 24.97%
1452.65/1452.90 c 1453s| 51100 | 7288 | 6632k| 129.6 | 84M| 52 | 322 | 808 |6913 | 808 |5654 | 168 | 74k|8653 | 2.976634e+02 | 3.720000e+02 | 24.97%
1454.44/1454.78 c 1455s| 51200 | 7289 | 6641k| 129.5 | 84M| 52 | 286 | 808 |6914 | 808 |5654 | 168 | 74k|8666 | 2.976634e+02 | 3.720000e+02 | 24.97%
1456.55/1456.80 c 1457s| 51300 | 7289 | 6651k| 129.4 | 84M| 52 | - | 808 |6912 | 0 | 0 | 168 | 74k|8680 | 2.976634e+02 | 3.720000e+02 | 24.97%
1458.24/1458.52 c 1459s| 51400 | 7294 | 6660k| 129.4 | 84M| 52 | - | 808 |6940 | 808 |5654 | 168 | 74k|8684 | 2.976634e+02 | 3.720000e+02 | 24.97%
1459.95/1460.27 c 1460s| 51500 | 7297 | 6668k| 129.3 | 84M| 52 | - | 808 |6971 | 0 | 0 | 168 | 74k|8696 | 2.976912e+02 | 3.720000e+02 | 24.96%
1461.04/1461.33 c 1461s| 51600 | 7308 | 6673k| 129.1 | 84M| 52 | 169 | 808 |7018 | 808 |5654 | 168 | 74k|8702 | 2.976949e+02 | 3.720000e+02 | 24.96%
1462.14/1462.42 c 1462s| 51700 | 7308 | 6678k| 129.0 | 84M| 52 | 187 | 808 |7032 | 808 |5654 | 168 | 75k|8711 | 2.976996e+02 | 3.720000e+02 | 24.96%
1463.65/1463.90 c 1464s| 51800 | 7314 | 6686k| 128.9 | 84M| 52 | - | 808 |7081 | 0 | 0 | 168 | 75k|8715 | 2.977274e+02 | 3.720000e+02 | 24.95%
1464.64/1464.91 c 1465s| 51900 | 7315 | 6691k| 128.7 | 84M| 52 | - | 808 |7084 | 808 |5654 | 168 | 75k|8716 | 2.977274e+02 | 3.720000e+02 | 24.95%
1465.94/1466.25 c 1466s| 52000 | 7326 | 6698k| 128.6 | 84M| 52 | 173 | 808 |7041 | 808 |5654 | 168 | 75k|8721 | 2.977350e+02 | 3.720000e+02 | 24.94%
1467.15/1467.48 c 1467s| 52100 | 7332 | 6705k| 128.5 | 84M| 52 | - | 808 |7002 | 0 | 0 | 168 | 75k|8722 | 2.977929e+02 | 3.720000e+02 | 24.92%
1468.15/1468.46 c 1468s| 52200 | 7323 | 6710k| 128.4 | 84M| 52 | - | 808 |7024 | 808 |5654 | 168 | 75k|8724 | 2.977929e+02 | 3.720000e+02 | 24.92%
1470.55/1470.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.55/1470.86 c 1471s| 52300 | 7330 | 6724k| 128.4 | 84M| 52 | 369 | 808 |6953 | 808 |5654 | 168 | 75k|8727 | 2.978289e+02 | 3.720000e+02 | 24.90%
1472.65/1472.99 c 1473s| 52400 | 7346 | 6736k| 128.4 | 84M| 52 | - | 808 |6976 | 808 |5654 | 168 | 75k|8727 | 2.978289e+02 | 3.720000e+02 | 24.90%
1474.25/1474.59 c 1475s| 52500 | 7349 | 6745k| 128.3 | 84M| 52 | - | 808 |7016 | 0 | 0 | 168 | 76k|8728 | 2.978399e+02 | 3.720000e+02 | 24.90%
1476.04/1476.35 c 1476s| 52600 | 7343 | 6755k| 128.2 | 84M| 52 | - | 808 |7020 | 0 | 0 | 168 | 76k|8728 | 2.978644e+02 | 3.720000e+02 | 24.89%
1477.64/1477.90 c 1478s| 52700 | 7346 | 6764k| 128.2 | 84M| 52 | 281 | 808 |7056 | 808 |5654 | 168 | 76k|8728 | 2.978644e+02 | 3.720000e+02 | 24.89%
1478.94/1479.25 c 1479s| 52800 | 7348 | 6772k| 128.1 | 84M| 52 | 230 | 808 |7077 | 808 |5654 | 168 | 76k|8728 | 2.978644e+02 | 3.720000e+02 | 24.89%
1480.54/1480.85 c 1481s| 52900 | 7360 | 6781k| 128.0 | 85M| 52 | 223 | 808 |7014 | 808 |5654 | 168 | 76k|8728 | 2.978855e+02 | 3.720000e+02 | 24.88%
1482.44/1482.74 c 1483s| 53000 | 7372 | 6792k| 128.0 | 85M| 52 | 222 | 808 |6950 | 808 |5654 | 168 | 76k|8728 | 2.979007e+02 | 3.720000e+02 | 24.87%
1484.04/1484.33 c 1484s| 53100 | 7377 | 6801k| 127.9 | 85M| 52 | 214 | 808 |6932 | 808 |5654 | 168 | 76k|8728 | 2.979007e+02 | 3.720000e+02 | 24.87%
1485.64/1485.97 c 1486s| 53200 | 7367 | 6810k| 127.8 | 85M| 52 | 238 | 808 |6920 | 808 |5654 | 168 | 77k|8728 | 2.979052e+02 | 3.720000e+02 | 24.87%
1487.24/1487.54 c 1488s| 53300 | 7366 | 6819k| 127.8 | 85M| 52 | 262 | 808 |6911 | 808 |5654 | 168 | 77k|8728 | 2.979088e+02 | 3.720000e+02 | 24.87%
1489.04/1489.30 c 1489s| 53400 | 7362 | 6829k| 127.7 | 85M| 52 | 296 | 808 |6933 | 808 |5654 | 168 | 77k|8728 | 2.979154e+02 | 3.720000e+02 | 24.87%
1490.54/1490.80 c 1491s| 53500 | 7355 | 6838k| 127.6 | 85M| 52 | - | 808 |6971 | 0 | 0 | 168 | 77k|8728 | 2.979233e+02 | 3.720000e+02 | 24.86%
1492.44/1492.74 c 1493s| 53600 | 7366 | 6848k| 127.6 | 85M| 52 | 290 | 808 |6932 | 808 |5654 | 168 | 77k|8729 | 2.979236e+02 | 3.720000e+02 | 24.86%
1493.54/1493.88 c 1494s| 53700 | 7364 | 6855k| 127.5 | 85M| 52 | - | 808 |6996 | 808 |5654 | 168 | 77k|8729 | 2.979292e+02 | 3.720000e+02 | 24.86%
1495.44/1495.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.44/1495.74 c 1496s| 53800 | 7368 | 6865k| 127.4 | 85M| 52 | 207 | 808 |7059 | 808 |5654 | 168 | 77k|8730 | 2.979338e+02 | 3.720000e+02 | 24.86%
1497.63/1497.96 c 1498s| 53900 | 7382 | 6877k| 127.4 | 85M| 52 | - | 808 |7045 | 0 | 0 | 168 | 78k|8730 | 2.979414e+02 | 3.720000e+02 | 24.86%
1498.84/1499.15 c 1499s| 54000 | 7388 | 6884k| 127.3 | 85M| 52 | 265 | 808 |7059 | 808 |5654 | 168 | 78k|8730 | 2.979717e+02 | 3.720000e+02 | 24.84%
1500.34/1500.65 c 1501s| 54100 | 7388 | 6892k| 127.2 | 85M| 52 | - | 808 |7064 | 0 | 0 | 168 | 78k|8730 | 2.979771e+02 | 3.720000e+02 | 24.84%
1501.34/1501.67 c 1502s| 54200 | 7388 | 6898k| 127.1 | 85M| 52 | - | 808 |7128 | 0 | 0 | 168 | 78k|8730 | 2.979771e+02 | 3.720000e+02 | 24.84%
1502.53/1502.84 c 1503s| 54300 | 7390 | 6905k| 127.0 | 85M| 52 | 293 | 808 |7144 | 808 |5654 | 168 | 78k|8730 | 2.979771e+02 | 3.720000e+02 | 24.84%
1504.54/1504.90 c 1505s| 54400 | 7399 | 6916k| 127.0 | 85M| 52 | 272 | 808 |7096 | 808 |5654 | 168 | 78k|8730 | 2.980039e+02 | 3.720000e+02 | 24.83%
1506.43/1506.79 c 1507s| 54500 | 7408 | 6927k| 126.9 | 85M| 52 | 246 | 808 |7035 | 808 |5654 | 168 | 78k|8730 | 2.980053e+02 | 3.720000e+02 | 24.83%
1507.54/1507.81 c 1508s| 54600 | 7402 | 6933k| 126.8 | 85M| 52 | 294 | 808 |7040 | 808 |5654 | 168 | 78k|8730 | 2.980053e+02 | 3.720000e+02 | 24.83%
1509.74/1510.00 c 1510s| 54700 | 7410 | 6946k| 126.8 | 85M| 52 | - | 808 |6959 | 808 |5654 | 168 | 79k|8730 | 2.980139e+02 | 3.720000e+02 | 24.83%
1510.94/1511.28 c 1511s| 54800 | 7410 | 6953k| 126.7 | 85M| 52 | 241 | 808 |6960 | 808 |5654 | 168 | 79k|8730 | 2.980139e+02 | 3.720000e+02 | 24.83%
1512.84/1513.12 c 1513s| 54900 | 7406 | 6965k| 126.7 | 85M| 52 | - | 808 |6972 | 0 | 0 | 168 | 79k|8730 | 2.980139e+02 | 3.720000e+02 | 24.83%
1514.54/1514.88 c 1515s| 55000 | 7410 | 6975k| 126.6 | 85M| 52 | - | 808 |6941 | 0 | 0 | 168 | 79k|8730 | 2.980146e+02 | 3.720000e+02 | 24.83%
1516.34/1516.69 c 1517s| 55100 | 7409 | 6986k| 126.6 | 85M| 52 | - | 808 |6909 | 808 |5654 | 168 | 79k|8730 | 2.980148e+02 | 3.720000e+02 | 24.83%
1518.03/1518.32 c 1518s| 55200 | 7411 | 6995k| 126.5 | 85M| 52 | - | 808 |6949 | 0 | 0 | 168 | 79k|8730 | 2.980148e+02 | 3.720000e+02 | 24.83%
1519.23/1519.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.23/1519.54 c 1520s| 55300 | 7409 | 7002k| 126.4 | 85M| 52 | 308 | 808 |7046 | 808 |5654 | 168 | 79k|8730 | 2.980148e+02 | 3.720000e+02 | 24.83%
1520.73/1521.09 c 1521s| 55400 | 7401 | 7011k| 126.4 | 85M| 52 | - | 808 |7051 | 808 |5654 | 168 | 80k|8730 | 2.980164e+02 | 3.720000e+02 | 24.83%
1522.73/1523.07 c 1523s| 55500 | 7402 | 7022k| 126.4 | 85M| 52 | 240 | 808 |7035 | 808 |5654 | 168 | 80k|8730 | 2.980372e+02 | 3.720000e+02 | 24.82%
1524.13/1524.44 c 1524s| 55600 | 7407 | 7030k| 126.3 | 85M| 52 | 268 | 808 |6978 | 808 |5654 | 168 | 80k|8730 | 2.980468e+02 | 3.720000e+02 | 24.81%
1525.83/1526.15 c 1526s| 55700 | 7405 | 7040k| 126.2 | 85M| 52 | 198 | 808 |7010 | 808 |5654 | 168 | 80k|8730 | 2.980468e+02 | 3.720000e+02 | 24.81%
1528.23/1528.50 c 1529s| 55800 | 7400 | 7051k| 126.2 | 85M| 52 | - | 808 |6961 | 808 |5654 | 168 | 80k|8742 | 2.980509e+02 | 3.720000e+02 | 24.81%
1530.53/1530.86 c 1531s| 55900 | 7412 | 7062k| 126.2 | 85M| 52 | 246 | 808 |6921 | 808 |5654 | 168 | 80k|8754 | 2.980548e+02 | 3.720000e+02 | 24.81%
1532.83/1533.19 c 1533s| 56000 | 7413 | 7073k| 126.1 | 85M| 52 | 176 | 808 |6940 | 808 |5654 | 168 | 80k|8768 | 2.980682e+02 | 3.720000e+02 | 24.80%
1533.63/1533.94 c 1534s| 56100 | 7403 | 7077k| 126.0 | 85M| 52 | - | 808 |6981 | 0 | 0 | 168 | 81k|8768 | 2.980682e+02 | 3.720000e+02 | 24.80%
1536.44/1536.71 c 1537s| 56200 | 7419 | 7089k| 126.0 | 86M| 52 | 292 | 808 |6933 | 808 |5654 | 168 | 81k|8786 | 2.981077e+02 | 3.720000e+02 | 24.79%
1538.93/1539.26 c 1539s| 56300 | 7428 | 7102k| 126.0 | 86M| 52 | 248 | 808 |6916 | 808 |5654 | 168 | 81k|8802 | 2.981246e+02 | 3.720000e+02 | 24.78%
1541.43/1541.79 c 1542s| 56400 | 7441 | 7114k| 126.0 | 86M| 52 | - | 808 |6928 | 0 | 0 | 168 | 81k|8826 | 2.981312e+02 | 3.720000e+02 | 24.78%
1542.83/1543.17 c 1543s| 56500 | 7434 | 7122k| 125.9 | 86M| 52 | - | 808 |6937 | 0 | 0 | 168 | 81k|8826 | 2.981312e+02 | 3.720000e+02 | 24.78%
1545.53/1545.81 c 1546s| 56600 | 7451 | 7134k| 125.9 | 86M| 52 | - | 808 |6902 | 0 | 0 | 168 | 81k|8839 | 2.981712e+02 | 3.720000e+02 | 24.76%
1548.03/1548.38 c 1548s| 56700 | 7447 | 7144k| 125.8 | 86M| 52 | 323 | 808 |6934 | 808 |5654 | 168 | 81k|8862 | 2.981790e+02 | 3.720000e+02 | 24.76%
1549.63/1549.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.63/1549.91 c 1550s| 56800 | 7446 | 7153k| 125.8 | 86M| 52 | - | 808 |7000 | 0 | 0 | 168 | 82k|8862 | 2.981844e+02 | 3.720000e+02 | 24.76%
1552.63/1552.96 c 1553s| 56900 | 7462 | 7169k| 125.8 | 86M| 52 | 253 | 808 |6953 | 808 |5654 | 168 | 82k|8882 | 2.982134e+02 | 3.720000e+02 | 24.74%
1554.14/1554.46 c 1554s| 57000 | 7477 | 7176k| 125.7 | 86M| 52 | 191 | 808 |6974 | 808 |5654 | 168 | 82k|8903 | 2.982134e+02 | 3.720000e+02 | 24.74%
1555.43/1555.76 c 1556s| 57100 | 7473 | 7182k| 125.6 | 86M| 52 | - | 808 |6954 | 0 | 0 | 168 | 82k|8917 | 2.982134e+02 | 3.720000e+02 | 24.74%
1557.23/1557.57 c 1558s| 57200 | 7482 | 7190k| 125.5 | 86M| 52 | - | 808 |6929 | 0 | 0 | 168 | 82k|8947 | 2.982359e+02 | 3.720000e+02 | 24.73%
1559.83/1560.11 c 1560s| 57300 | 7482 | 7202k| 125.5 | 86M| 52 | - | 808 |6934 | 808 |5654 | 168 | 82k|8979 | 2.982456e+02 | 3.720000e+02 | 24.73%
1561.84/1562.15 c 1562s| 57400 | 7485 | 7211k| 125.5 | 86M| 52 | - | 808 |6958 | 808 |5654 | 168 | 82k|8992 | 2.982456e+02 | 3.720000e+02 | 24.73%
1563.63/1563.95 c 1564s| 57500 | 7497 | 7221k| 125.4 | 86M| 52 | 250 | 808 |6986 | 808 |5654 | 168 | 83k|8992 | 2.982528e+02 | 3.720000e+02 | 24.73%
1565.83/1566.18 c 1566s| 57600 | 7498 | 7231k| 125.4 | 86M| 52 | 265 | 808 |6961 | 808 |5654 | 168 | 83k|9016 | 2.982617e+02 | 3.720000e+02 | 24.72%
1568.23/1568.50 c 1569s| 57700 | 7496 | 7242k| 125.3 | 86M| 52 | - | 808 |6951 | 808 |5654 | 168 | 83k|9033 | 2.982713e+02 | 3.720000e+02 | 24.72%
1569.92/1570.27 c 1570s| 57800 | 7497 | 7252k| 125.3 | 86M| 52 | - | 808 |6945 | 808 |5654 | 168 | 83k|9039 | 2.982724e+02 | 3.720000e+02 | 24.72%
1572.43/1572.78 c 1573s| 57900 | 7503 | 7261k| 125.2 | 87M| 52 | 244 | 808 |6967 | 808 |5654 | 168 | 83k|9057 | 2.982733e+02 | 3.720000e+02 | 24.72%
1574.32/1574.65 c 1575s| 58000 | 7511 | 7271k| 125.2 | 87M| 52 | - | 808 |6981 | 0 | 0 | 168 | 83k|9057 | 2.982739e+02 | 3.720000e+02 | 24.72%
1577.42/1577.71 c 1578s| 58100 | 7534 | 7286k| 125.2 | 87M| 52 | 259 | 808 |6920 | 808 |5654 | 168 | 83k|9072 | 2.983104e+02 | 3.720000e+02 | 24.70%
1579.62/1579.99 c 1580s| 58200 | 7535 | 7297k| 125.2 | 87M| 52 | - | 808 |6924 | 0 | 0 | 168 | 84k|9097 | 2.983104e+02 | 3.720000e+02 | 24.70%
1581.82/1582.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.82/1582.18 c 1582s| 58300 | 7537 | 7308k| 125.2 | 87M| 52 | 317 | 808 |7055 | 808 |5654 | 168 | 84k|9120 | 2.983113e+02 | 3.720000e+02 | 24.70%
1583.33/1583.69 c 1584s| 58400 | 7541 | 7317k| 125.1 | 87M| 52 | - | 808 |7095 | 0 | 0 | 168 | 84k|9120 | 2.983351e+02 | 3.720000e+02 | 24.69%
1586.03/1586.38 c 1586s| 58500 | 7550 | 7326k| 125.1 | 87M| 52 | 280 | 808 |7014 | 808 |5654 | 168 | 84k|9151 | 2.983408e+02 | 3.720000e+02 | 24.69%
1587.03/1587.37 c 1587s| 58600 | 7548 | 7332k| 125.0 | 87M| 52 | - | 808 |6996 | 0 | 0 | 168 | 84k|9151 | 2.983427e+02 | 3.720000e+02 | 24.69%
1589.42/1589.73 c 1590s| 58700 | 7551 | 7345k| 125.0 | 87M| 52 | - | 808 |6988 | 0 | 0 | 168 | 84k|9160 | 2.983711e+02 | 3.720000e+02 | 24.68%
1591.63/1591.97 c 1592s| 58800 | 7560 | 7355k| 124.9 | 87M| 52 | 278 | 808 |6969 | 808 |5654 | 168 | 84k|9174 | 2.983711e+02 | 3.720000e+02 | 24.68%
1594.13/1594.45 c 1594s| 58900 | 7566 | 7367k| 124.9 | 87M| 52 | - | 808 |6942 | 0 | 0 | 168 | 85k|9202 | 2.983810e+02 | 3.720000e+02 | 24.67%
1596.42/1596.73 c 1597s| 59000 | 7575 | 7378k| 124.9 | 87M| 52 | - | 808 |6933 | 0 | 0 | 168 | 85k|9221 | 2.983847e+02 | 3.720000e+02 | 24.67%
1598.72/1599.02 c 1599s| 59100 | 7589 | 7389k| 124.9 | 88M| 52 | - | 808 |6947 | 0 | 0 | 168 | 85k|9230 | 2.983968e+02 | 3.720000e+02 | 24.67%
1601.22/1601.59 c 1602s| 59200 | 7593 | 7399k| 124.8 | 88M| 52 | - | 808 |6969 | 808 |5654 | 168 | 85k|9249 | 2.983977e+02 | 3.720000e+02 | 24.67%
1603.42/1603.70 c 1604s| 59300 | 7589 | 7411k| 124.8 | 88M| 52 | - | 808 |6946 | 808 |5654 | 168 | 85k|9249 | 2.984042e+02 | 3.720000e+02 | 24.66%
1605.63/1605.95 c 1606s| 59400 | 7601 | 7422k| 124.8 | 88M| 52 | 346 | 808 |6921 | 808 |5654 | 168 | 85k|9260 | 2.984328e+02 | 3.720000e+02 | 24.65%
1607.82/1608.14 c 1608s| 59500 | 7610 | 7432k| 124.7 | 88M| 52 | 247 | 808 |6932 | 808 |5654 | 168 | 85k|9274 | 2.984523e+02 | 3.720000e+02 | 24.64%
1610.23/1610.55 c 1611s| 59600 | 7609 | 7443k| 124.7 | 88M| 52 | - | 808 |6973 | 0 | 0 | 168 | 86k|9293 | 2.984751e+02 | 3.720000e+02 | 24.63%
1613.32/1613.61 c 1614s| 59700 | 7609 | 7457k| 124.7 | 88M| 52 | 248 | 808 |7025 | 808 |5654 | 168 | 86k|9316 | 2.985198e+02 | 3.720000e+02 | 24.61%
1615.22/1615.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.22/1615.58 c 1616s| 59800 | 7608 | 7469k| 124.7 | 88M| 52 | - | 808 |7056 | 808 |5654 | 168 | 86k|9316 | 2.985298e+02 | 3.720000e+02 | 24.61%
1617.52/1617.85 c 1618s| 59900 | 7608 | 7479k| 124.7 | 88M| 52 | 234 | 808 |7060 | 808 |5654 | 168 | 86k|9334 | 2.985310e+02 | 3.720000e+02 | 24.61%
1618.42/1618.74 c 1619s| 60000 | 7608 | 7484k| 124.6 | 88M| 52 | 238 | 808 |7044 | 808 |5654 | 168 | 86k|9334 | 2.985310e+02 | 3.720000e+02 | 24.61%
1621.12/1621.47 c 1621s| 60100 | 7612 | 7497k| 124.6 | 88M| 52 | 334 | 808 |6948 | 808 |5654 | 168 | 86k|9364 | 2.985396e+02 | 3.720000e+02 | 24.61%
1622.61/1622.99 c 1623s| 60200 | 7611 | 7505k| 124.5 | 88M| 52 | 287 | 808 |6943 | 808 |5654 | 168 | 86k|9364 | 2.985854e+02 | 3.720000e+02 | 24.59%
1624.72/1625.07 c 1625s| 60300 | 7618 | 7515k| 124.5 | 88M| 52 | - | 808 |6935 | 0 | 0 | 168 | 87k|9376 | 2.986453e+02 | 3.720000e+02 | 24.56%
1627.02/1627.36 c 1627s| 60400 | 7633 | 7525k| 124.4 | 88M| 52 | 171 | 808 |6892 | 808 |5654 | 168 | 87k|9398 | 2.986721e+02 | 3.720000e+02 | 24.55%
1628.62/1628.99 c 1629s| 60500 | 7639 | 7534k| 124.4 | 88M| 52 | - | 808 |6887 | 808 |5654 | 168 | 87k|9398 | 2.986733e+02 | 3.720000e+02 | 24.55%
1630.12/1630.46 c 1630s| 60600 | 7639 | 7541k| 124.3 | 88M| 52 | 363 | 808 |6905 | 808 |5654 | 168 | 87k|9408 | 2.986855e+02 | 3.720000e+02 | 24.55%
1631.72/1632.09 c 1632s| 60700 | 7644 | 7548k| 124.2 | 88M| 52 | 284 | 808 |6935 | 808 |5654 | 168 | 87k|9423 | 2.987328e+02 | 3.720000e+02 | 24.53%
1633.52/1633.88 c 1634s| 60800 | 7642 | 7557k| 124.1 | 88M| 52 | - | 808 |6938 | 0 | 0 | 168 | 87k|9434 | 2.987328e+02 | 3.720000e+02 | 24.53%
1636.12/1636.42 c 1636s| 60900 | 7658 | 7567k| 124.1 | 88M| 52 | - | 808 |6884 | 0 | 0 | 168 | 87k|9453 | 2.987403e+02 | 3.720000e+02 | 24.52%
1637.73/1638.08 c 1638s| 61000 | 7663 | 7577k| 124.0 | 89M| 52 | 279 | 808 |6884 | 808 |5654 | 168 | 87k|9453 | 2.987436e+02 | 3.720000e+02 | 24.52%
1640.11/1640.48 c 1640s| 61100 | 7658 | 7587k| 124.0 | 88M| 52 | 232 | 808 |6866 | 808 |5654 | 168 | 87k|9484 | 2.987962e+02 | 3.720000e+02 | 24.50%
1641.62/1641.95 c 1642s| 61200 | 7660 | 7595k| 123.9 | 89M| 52 | - | 808 |6913 | 0 | 0 | 168 | 88k|9484 | 2.987962e+02 | 3.720000e+02 | 24.50%
1644.02/1644.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.02/1644.31 c 1644s| 61300 | 7655 | 7607k| 123.9 | 88M| 52 | 209 | 808 |6890 | 808 |5654 | 168 | 88k|9500 | 2.988309e+02 | 3.720000e+02 | 24.49%
1646.31/1646.70 c 1647s| 61400 | 7659 | 7618k| 123.9 | 89M| 52 | - | 808 |6937 | 808 |5654 | 168 | 88k|9513 | 2.988520e+02 | 3.720000e+02 | 24.48%
1648.32/1648.63 c 1649s| 61500 | 7670 | 7628k| 123.9 | 89M| 52 | - | 808 |6974 | 808 |5654 | 168 | 88k|9519 | 2.988581e+02 | 3.720000e+02 | 24.47%
1650.41/1650.79 c 1651s| 61600 | 7673 | 7639k| 123.8 | 89M| 52 | 222 | 808 |6962 | 808 |5654 | 168 | 88k|9533 | 2.988583e+02 | 3.720000e+02 | 24.47%
1652.21/1652.57 c 1653s| 61700 | 7675 | 7647k| 123.8 | 89M| 52 | - | 808 |7001 | 808 |5654 | 168 | 88k|9547 | 2.989179e+02 | 3.720000e+02 | 24.45%
1654.52/1654.86 c 1655s| 61800 | 7678 | 7658k| 123.8 | 89M| 52 | 250 | 808 |7004 | 808 |5654 | 168 | 88k|9558 | 2.989236e+02 | 3.720000e+02 | 24.45%
1656.51/1656.86 c 1657s| 61900 | 7675 | 7668k| 123.7 | 89M| 52 | 230 | 808 |6997 | 808 |5654 | 168 | 89k|9572 | 2.989327e+02 | 3.720000e+02 | 24.44%
1658.92/1659.20 c 1659s| 62000 | 7679 | 7680k| 123.7 | 89M| 52 | 238 | 808 |6980 | 808 |5654 | 168 | 89k|9577 | 2.989355e+02 | 3.720000e+02 | 24.44%
1660.21/1660.52 c 1661s| 62100 | 7674 | 7688k| 123.6 | 89M| 52 | 141 | 808 |6998 | 808 |5654 | 168 | 89k|9579 | 2.989501e+02 | 3.720000e+02 | 24.44%
1661.41/1661.78 c 1662s| 62200 | 7676 | 7695k| 123.6 | 89M| 52 | 240 | 808 |6976 | 808 |5654 | 168 | 89k|9580 | 2.989523e+02 | 3.720000e+02 | 24.43%
1662.91/1663.27 c 1663s| 62300 | 7679 | 7703k| 123.5 | 89M| 52 | 204 | 808 |6994 | 808 |5654 | 168 | 89k|9583 | 2.989581e+02 | 3.720000e+02 | 24.43%
1664.21/1664.52 c 1665s| 62400 | 7671 | 7710k| 123.4 | 89M| 52 | 340 | 808 |7039 | 808 |5654 | 168 | 89k|9585 | 2.989581e+02 | 3.720000e+02 | 24.43%
1666.01/1666.38 c 1666s| 62500 | 7668 | 7720k| 123.4 | 89M| 52 | - | 808 |6968 | 0 | 0 | 168 | 89k|9585 | 2.989582e+02 | 3.720000e+02 | 24.43%
1667.32/1667.64 c 1668s| 62600 | 7675 | 7727k| 123.3 | 89M| 52 | 224 | 808 |7006 | 808 |5654 | 168 | 89k|9585 | 2.989582e+02 | 3.720000e+02 | 24.43%
1669.11/1669.45 c 1669s| 62700 | 7666 | 7738k| 123.3 | 89M| 52 | - | 808 |6948 | 0 | 0 | 168 | 90k|9586 | 2.989748e+02 | 3.720000e+02 | 24.43%
1670.81/1671.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.81/1671.15 c 1671s| 62800 | 7674 | 7747k| 123.2 | 89M| 52 | - | 808 |6962 | 808 |5654 | 168 | 90k|9587 | 2.989748e+02 | 3.720000e+02 | 24.43%
1672.21/1672.56 c 1673s| 62900 | 7667 | 7755k| 123.1 | 89M| 52 | - | 808 |6947 | 808 |5654 | 168 | 90k|9587 | 2.989779e+02 | 3.720000e+02 | 24.42%
1673.21/1673.50 c 1674s| 63000 | 7668 | 7760k| 123.0 | 89M| 52 | 220 | 808 |6973 | 808 |5654 | 168 | 90k|9587 | 2.989779e+02 | 3.720000e+02 | 24.42%
1674.31/1674.68 c 1675s| 63100 | 7662 | 7767k| 122.9 | 89M| 52 | 269 | 808 |7017 | 808 |5654 | 168 | 90k|9587 | 2.989785e+02 | 3.720000e+02 | 24.42%
1675.51/1675.89 c 1676s| 63200 | 7662 | 7774k| 122.9 | 89M| 52 | - | 808 |7035 | 808 |5654 | 168 | 90k|9587 | 2.989785e+02 | 3.720000e+02 | 24.42%
1677.22/1677.56 c 1678s| 63300 | 7672 | 7784k| 122.8 | 89M| 52 | 344 | 808 |7029 | 808 |5654 | 168 | 90k|9587 | 2.989833e+02 | 3.720000e+02 | 24.42%
1679.01/1679.37 c 1679s| 63400 | 7681 | 7795k| 122.8 | 89M| 52 | 323 | 808 |7192 | 808 |5654 | 168 | 91k|9587 | 2.990000e+02 | 3.720000e+02 | 24.41%
1680.91/1681.25 c 1681s| 63500 | 7686 | 7805k| 122.8 | 89M| 52 | 262 | 808 |7179 | 808 |5654 | 168 | 91k|9587 | 2.990273e+02 | 3.720000e+02 | 24.40%
1682.91/1683.25 c 1683s| 63600 | 7684 | 7817k| 122.7 | 89M| 52 | 272 | 808 |7125 | 808 |5654 | 168 | 91k|9587 | 2.990344e+02 | 3.720000e+02 | 24.40%
1684.01/1684.31 c 1684s| 63700 | 7679 | 7822k| 122.6 | 89M| 52 | 240 | 808 |7131 | 808 |5654 | 168 | 91k|9587 | 2.990344e+02 | 3.720000e+02 | 24.40%
1685.51/1685.88 c 1686s| 63800 | 7674 | 7832k| 122.6 | 89M| 52 | - | 808 |7143 | 0 | 0 | 168 | 91k|9587 | 2.990411e+02 | 3.720000e+02 | 24.40%
1687.12/1687.44 c 1687s| 63900 | 7665 | 7840k| 122.5 | 89M| 52 | - | 808 |7125 | 808 |5654 | 168 | 91k|9587 | 2.990411e+02 | 3.720000e+02 | 24.40%
1688.71/1689.02 c 1689s| 64000 | 7681 | 7849k| 122.5 | 89M| 52 | - | 808 |7152 | 0 | 0 | 168 | 91k|9587 | 2.990526e+02 | 3.720000e+02 | 24.39%
1690.20/1690.53 c 1691s| 64100 | 7684 | 7857k| 122.4 | 89M| 52 | 333 | 808 |7082 | 808 |5654 | 168 | 92k|9587 | 2.990527e+02 | 3.720000e+02 | 24.39%
1691.51/1691.85 c 1692s| 64200 | 7673 | 7864k| 122.3 | 89M| 52 | 272 | 808 |7056 | 808 |5654 | 168 | 92k|9587 | 2.990527e+02 | 3.720000e+02 | 24.39%
1692.71/1693.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.71/1693.03 c 1693s| 64300 | 7673 | 7871k| 122.3 | 89M| 52 | 419 | 808 |7054 | 808 |5654 | 168 | 92k|9587 | 2.990619e+02 | 3.720000e+02 | 24.39%
1694.41/1694.75 c 1695s| 64400 | 7681 | 7881k| 122.2 | 89M| 52 | - | 808 |7016 | 808 |5654 | 168 | 92k|9587 | 2.990734e+02 | 3.720000e+02 | 24.38%
1696.11/1696.49 c 1696s| 64500 | 7683 | 7891k| 122.2 | 89M| 52 | - | 808 |7006 | 0 | 0 | 168 | 92k|9587 | 2.990755e+02 | 3.720000e+02 | 24.38%
1698.21/1698.56 c 1699s| 64600 | 7699 | 7903k| 122.2 | 89M| 52 | - | 808 |7001 | 0 | 0 | 168 | 92k|9587 | 2.990763e+02 | 3.720000e+02 | 24.38%
1699.91/1700.28 c 1700s| 64700 | 7698 | 7913k| 122.2 | 89M| 52 | - | 808 |7035 | 0 | 0 | 168 | 92k|9587 | 2.990953e+02 | 3.720000e+02 | 24.38%
1701.41/1701.78 c 1702s| 64800 | 7703 | 7922k| 122.1 | 89M| 52 | - | 808 |6984 | 808 |5654 | 168 | 92k|9587 | 2.990953e+02 | 3.720000e+02 | 24.38%
1702.71/1703.01 c 1703s| 64900 | 7702 | 7929k| 122.0 | 89M| 52 | - | 808 |7032 | 0 | 0 | 168 | 93k|9587 | 2.991126e+02 | 3.720000e+02 | 24.37%
1704.01/1704.38 c 1704s| 65000 | 7705 | 7936k| 121.9 | 90M| 52 | - | 808 |7034 | 808 |5654 | 168 | 93k|9587 | 2.991138e+02 | 3.720000e+02 | 24.37%
1706.81/1707.16 c 1707s| 65100 | 7721 | 7952k| 122.0 | 90M| 52 | - | 808 |7009 | 0 | 0 | 168 | 93k|9587 | 2.991385e+02 | 3.720000e+02 | 24.36%
1708.51/1708.81 c 1709s| 65200 | 7733 | 7961k| 121.9 | 90M| 52 | - | 808 |7060 | 0 | 0 | 168 | 93k|9587 | 2.991500e+02 | 3.720000e+02 | 24.35%
1709.21/1709.55 c 1710s| 65300 | 7730 | 7965k| 121.8 | 90M| 52 | 302 | 808 |7086 | 808 |5654 | 168 | 93k|9587 | 2.991500e+02 | 3.720000e+02 | 24.35%
1710.40/1710.74 c 1711s| 65400 | 7728 | 7971k| 121.7 | 90M| 52 | - | 808 |7072 | 0 | 0 | 168 | 93k|9587 | 2.991844e+02 | 3.720000e+02 | 24.34%
1712.10/1712.42 c 1712s| 65500 | 7732 | 7981k| 121.7 | 90M| 52 | 276 | 808 |7048 | 808 |5654 | 168 | 94k|9587 | 2.991855e+02 | 3.720000e+02 | 24.34%
1713.30/1713.62 c 1714s| 65600 | 7733 | 7987k| 121.6 | 90M| 52 | - | 808 |7046 | 0 | 0 | 168 | 94k|9587 | 2.991855e+02 | 3.720000e+02 | 24.34%
1715.70/1716.01 c 1716s| 65700 | 7753 | 8001k| 121.6 | 90M| 52 | 151 | 808 |7032 | 808 |5654 | 168 | 94k|9587 | 2.991991e+02 | 3.720000e+02 | 24.33%
1716.60/1716.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.60/1716.95 c 1717s| 65800 | 7760 | 8006k| 121.5 | 90M| 52 | 261 | 808 |7030 | 808 |5654 | 168 | 94k|9587 | 2.992051e+02 | 3.720000e+02 | 24.33%
1717.90/1718.25 c 1718s| 65900 | 7767 | 8014k| 121.5 | 90M| 52 | 205 | 808 |7145 | 808 |5654 | 168 | 94k|9587 | 2.992051e+02 | 3.720000e+02 | 24.33%
1719.20/1719.51 c 1720s| 66000 | 7772 | 8021k| 121.4 | 90M| 52 | - | 808 |7173 | 0 | 0 | 168 | 94k|9587 | 2.992085e+02 | 3.720000e+02 | 24.33%
1721.01/1721.34 c 1721s| 66100 | 7780 | 8031k| 121.4 | 90M| 52 | 277 | 808 |7102 | 808 |5654 | 168 | 94k|9587 | 2.992386e+02 | 3.720000e+02 | 24.32%
1722.70/1723.01 c 1723s| 66200 | 7774 | 8041k| 121.3 | 90M| 52 | 317 | 808 |6979 | 808 |5654 | 168 | 94k|9587 | 2.992386e+02 | 3.720000e+02 | 24.32%
1724.00/1724.38 c 1724s| 66300 | 7775 | 8049k| 121.3 | 90M| 52 | 160 | 808 |6973 | 808 |5654 | 168 | 95k|9587 | 2.992386e+02 | 3.720000e+02 | 24.32%
1725.91/1726.21 c 1726s| 66400 | 7788 | 8060k| 121.2 | 90M| 52 | 261 | 808 |6976 | 808 |5654 | 168 | 95k|9587 | 2.992500e+02 | 3.720000e+02 | 24.31%
1728.00/1728.31 c 1728s| 66500 | 7786 | 8069k| 121.2 | 90M| 52 | 247 | 808 |6948 | 808 |5654 | 168 | 95k|9602 | 2.992500e+02 | 3.720000e+02 | 24.31%
1730.50/1730.89 c 1731s| 66600 | 7784 | 8078k| 121.1 | 90M| 52 | - | 808 |7003 | 0 | 0 | 168 | 95k|9642 | 2.992500e+02 | 3.720000e+02 | 24.31%
1732.10/1732.48 c 1732s| 66700 | 7792 | 8087k| 121.1 | 91M| 52 | 228 | 808 |7016 | 808 |5654 | 168 | 95k|9642 | 2.992594e+02 | 3.720000e+02 | 24.31%
1733.20/1733.55 c 1734s| 66800 | 7787 | 8093k| 121.0 | 91M| 52 | - | 808 |7012 | 808 |5654 | 168 | 95k|9642 | 2.992594e+02 | 3.720000e+02 | 24.31%
1733.70/1734.08 c 1734s| 66900 | 7789 | 8096k| 120.9 | 91M| 52 | 145 | 808 |7020 | 808 |5654 | 168 | 95k|9642 | 2.992594e+02 | 3.720000e+02 | 24.31%
1734.50/1734.87 c 1735s| 67000 | 7783 | 8100k| 120.8 | 90M| 52 | 327 | 808 |7041 | 808 |5654 | 168 | 95k|9642 | 2.992713e+02 | 3.720000e+02 | 24.30%
1737.30/1737.63 c 1738s| 67100 | 7788 | 8112k| 120.7 | 91M| 52 | - | 808 |7017 | 0 | 0 | 168 | 96k|9662 | 2.992970e+02 | 3.720000e+02 | 24.29%
1738.80/1739.14 c 1739s| 67200 | 7788 | 8121k| 120.7 | 91M| 52 | 190 | 808 |7086 | 808 |5654 | 168 | 96k|9662 | 2.993000e+02 | 3.720000e+02 | 24.29%
1740.80/1741.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.80/1741.17 c 1741s| 67300 | 7776 | 8129k| 120.6 | 90M| 52 | - | 808 |7049 | 0 | 0 | 168 | 96k|9692 | 2.993000e+02 | 3.720000e+02 | 24.29%
1742.50/1742.81 c 1743s| 67400 | 7778 | 8138k| 120.6 | 90M| 52 | - | 808 |7020 | 0 | 0 | 168 | 96k|9692 | 2.993119e+02 | 3.720000e+02 | 24.29%
1744.70/1745.02 c 1745s| 67500 | 7767 | 8149k| 120.6 | 90M| 52 | - | 808 |7051 | 0 | 0 | 168 | 96k|9709 | 2.993119e+02 | 3.720000e+02 | 24.29%
1746.70/1747.08 c 1747s| 67600 | 7760 | 8157k| 120.5 | 90M| 52 | 220 | 808 |7057 | 808 |5654 | 168 | 96k|9724 | 2.993119e+02 | 3.720000e+02 | 24.29%
1748.40/1748.74 c 1749s| 67700 | 7766 | 8166k| 120.5 | 90M| 52 | 330 | 808 |7045 | 808 |5654 | 168 | 96k|9724 | 2.993119e+02 | 3.720000e+02 | 24.29%
1749.80/1750.14 c 1750s| 67800 | 7778 | 8172k| 120.4 | 90M| 52 | - | 808 |7014 | 808 |5654 | 168 | 97k|9738 | 2.993203e+02 | 3.720000e+02 | 24.28%
1751.50/1751.83 c 1752s| 67900 | 7779 | 8181k| 120.3 | 91M| 52 | 320 | 808 |7009 | 808 |5654 | 168 | 97k|9746 | 2.993286e+02 | 3.720000e+02 | 24.28%
1753.49/1753.81 c 1754s| 68000 | 7775 | 8191k| 120.3 | 91M| 52 | - | 808 |7023 | 0 | 0 | 168 | 97k|9766 | 2.993491e+02 | 3.720000e+02 | 24.27%
1754.90/1755.22 c 1755s| 68100 | 7782 | 8198k| 120.2 | 91M| 52 | - | 808 |7051 | 808 |5654 | 168 | 97k|9788 | 2.993491e+02 | 3.720000e+02 | 24.27%
1756.90/1757.28 c 1757s| 68200 | 7769 | 8206k| 120.2 | 91M| 52 | - | 808 |7002 | 808 |5654 | 168 | 97k|9806 | 2.993491e+02 | 3.720000e+02 | 24.27%
1758.79/1759.18 c 1759s| 68300 | 7775 | 8217k| 120.2 | 91M| 52 | - | 808 |7020 | 808 |5654 | 168 | 97k|9806 | 2.993539e+02 | 3.720000e+02 | 24.27%
1762.39/1762.74 c 1763s| 68400 | 7795 | 8233k| 120.2 | 91M| 52 | - | 808 |7009 | 0 | 0 | 168 | 97k|9837 | 2.994140e+02 | 3.720000e+02 | 24.24%
1764.60/1764.90 c 1765s| 68500 | 7808 | 8246k| 120.2 | 91M| 52 | 221 | 808 |7034 | 808 |5654 | 168 | 97k|9837 | 2.994233e+02 | 3.720000e+02 | 24.24%
1766.50/1766.85 c 1767s| 68600 | 7818 | 8255k| 120.2 | 91M| 52 | 262 | 808 |7018 | 808 |5654 | 168 | 98k|9852 | 2.994645e+02 | 3.720000e+02 | 24.22%
1769.30/1769.67 c 1770s| 68700 | 7829 | 8269k| 120.2 | 91M| 52 | 248 | 808 |6968 | 808 |5654 | 168 | 98k|9869 | 2.995303e+02 | 3.720000e+02 | 24.19%
1770.81/1771.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.81/1771.10 c 1771s| 68800 | 7825 | 8275k| 120.1 | 91M| 52 | 230 | 808 |6982 | 808 |5654 | 168 | 98k|9889 | 2.995303e+02 | 3.720000e+02 | 24.19%
1772.30/1772.61 c 1773s| 68900 | 7834 | 8283k| 120.1 | 91M| 52 | 211 | 808 |7021 | 808 |5654 | 168 | 98k|9893 | 2.995399e+02 | 3.720000e+02 | 24.19%
1774.10/1774.47 c 1774s| 69000 | 7832 | 8292k| 120.0 | 91M| 52 | - | 808 |6988 | 0 | 0 | 168 | 98k|9905 | 2.995399e+02 | 3.720000e+02 | 24.19%
1776.89/1777.20 c 1777s| 69100 | 7839 | 8302k| 120.0 | 91M| 52 | 232 | 808 |6966 | 808 |5654 | 168 | 98k|9931 | 2.995691e+02 | 3.720000e+02 | 24.18%
1778.69/1779.08 c 1779s| 69200 | 7839 | 8314k| 120.0 | 91M| 52 | - | 808 |7004 | 808 |5654 | 168 | 98k|9931 | 2.995770e+02 | 3.720000e+02 | 24.18%
1780.60/1780.93 c 1781s| 69300 | 7837 | 8322k| 119.9 | 91M| 52 | 170 | 808 |6975 | 808 |5654 | 168 | 98k|9947 | 2.995770e+02 | 3.720000e+02 | 24.18%
1783.59/1783.91 c 1784s| 69400 | 7839 | 8338k| 120.0 | 91M| 52 | 228 | 808 |6946 | 808 |5654 | 168 | 99k|9958 | 2.997287e+02 | 3.720000e+02 | 24.11%
1785.49/1785.87 c 1786s| 69500 | 7842 | 8348k| 120.0 | 91M| 52 | - | 808 |6979 | 0 | 0 | 168 | 99k|9968 | 2.997381e+02 | 3.720000e+02 | 24.11%
1787.30/1787.66 c 1788s| 69600 | 7846 | 8357k| 119.9 | 91M| 52 | 158 | 808 |6979 | 808 |5654 | 168 | 99k|9976 | 2.997594e+02 | 3.720000e+02 | 24.10%
1788.79/1789.12 c 1789s| 69700 | 7843 | 8364k| 119.9 | 91M| 52 | 399 | 808 |7005 | 808 |5654 | 168 | 99k|9987 | 2.997664e+02 | 3.720000e+02 | 24.10%
1790.79/1791.19 c 1791s| 69800 | 7841 | 8373k| 119.8 | 91M| 52 | - | 808 |6985 | 0 | 0 | 168 | 99k| 10k| 2.997664e+02 | 3.720000e+02 | 24.10%
1793.29/1793.65 c 1794s| 69900 | 7847 | 8385k| 119.8 | 92M| 52 | - | 808 |6969 | 0 | 0 | 168 | 99k| 10k| 2.997834e+02 | 3.720000e+02 | 24.09%
1796.29/1796.60 c 1797s| 70000 | 7870 | 8399k| 119.8 | 92M| 52 | - | 808 |6937 | 0 | 0 | 168 | 99k| 10k| 2.998152e+02 | 3.720000e+02 | 24.08%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 70045
1796.69/1797.00 c Primal Bound : +3.72000000000000e+02 (12 solutions)
1796.69/1797.00 c Dual Bound : +2.99815227483751e+02
1796.69/1797.00 c Gap : 24.08 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v x808 -x807 -x806 x805 x804 -x803 x802 -x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 x792 -x791 -x790 -x789 x788 -x787 -x786
1796.69/1797.01 v x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763
1796.69/1797.01 v x762 -x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 -x746 x745 x744 -x743 x742 -x741 -x740
1796.69/1797.01 v -x739 -x738 x737 x736 -x735 x734 -x733 x732 -x731 -x730 x729 x728 -x727 -x726 x725 x724 -x723 x722 -x721 x720 -x719 x718
1796.69/1797.01 v -x717 -x716 x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 x706 -x705 x704 -x703 x702 -x701 -x700 x699 x698 -x697 -x696 -x695
1796.69/1797.01 v x694 -x693 -x692 x691 x690 -x689 x688 -x687 x686 -x685 -x684 x683 x682 -x681 x680 -x679 -x678 x677 x676 -x675 x674 -x673 x672
1796.69/1797.01 v -x671 -x670 x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 -x652 x651 x650
1796.69/1797.01 v -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 x640 -x639 x638 -x637 -x636 x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627
1796.69/1797.01 v x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 x609 x608 -x607 x606 -x605 -x604
1796.69/1797.01 v x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 -x582
1796.69/1797.01 v x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572 x571 x570 -x569 x568 -x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559
1796.69/1797.01 v x558 -x557 -x556 x555 x554 -x553 x552 -x551 -x550 x549 x548 -x547 x546 -x545 x544 -x543 x542 -x541 -x540 x539 x538 -x537 x536
1796.69/1797.01 v -x535 -x534 x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 -x522 x521 x520 -x519 x518 -x517 -x516 x515 x514 -x513
1796.69/1797.01 v -x512 -x511 -x510 x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 x497 -x496 x495 -x494 -x493 -x492
1796.69/1797.01 v x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470
1796.69/1797.01 v x469 -x468 x467 -x466 -x465 -x464 x463 x462 -x461 -x460 -x459 -x458 x457 -x456 x455 -x454 -x453 -x452 x451 -x450 -x449 -x448
1796.69/1797.01 v x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 x431 -x430 -x429 -x428 -x427 -x426
1796.69/1797.01 v x425 -x424 x423 -x422 -x421 -x420 x419 x418 -x417 -x416 -x415 -x414 x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 x405 -x404
1796.69/1797.01 v x403 -x402 -x401 -x400 x399 -x398 -x397 x396 -x395 -x394 x393 -x392 x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 x383 -x382
1796.69/1797.01 v x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360
1796.69/1797.01 v x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 x344 -x343 -x342 x341 -x340 x339 -x338 x337
1796.69/1797.01 v -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314
1796.69/1797.01 v x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 x298 -x297 -x296 x295 -x294 x293 -x292 x291
1796.69/1797.01 v -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 x270 -x269
1796.69/1797.01 v -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246
1796.69/1797.01 v x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223
1796.69/1797.01 v -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 x206 -x205 -x204 x203 -x202 x201 -x200
1796.69/1797.01 v x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
1796.69/1797.01 v x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155
1796.69/1797.01 v -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132
1796.69/1797.01 v x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110
1796.69/1797.01 v x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84
1796.69/1797.01 v x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 x64 -x63 -x62 x61 x60 -x59 -x58 x57 -x56
1796.69/1797.01 v x55 -x54 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 -x28
1796.69/1797.01 v 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 x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 0.10 (included in solving)
1796.69/1797.01 c reading : 0.02 (included in solving)
1796.69/1797.01 c copying : 0.29 (16 #copies) (minimal 0.01, maximal 0.02, average 0.02)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690824-1338018748.opb
1796.69/1797.01 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 5557 initial, 5557 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690824-1338018748.opb
1796.69/1797.01 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 5557 initial, 7292 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 43048 0 16 0 89 1398 0 0 85010
1796.69/1797.01 c setppc : 5268 5268 22 525965 2 74 13 4558115 12126 3940938 0 0 0
1796.69/1797.01 c linear : 0+ 238 22 468136 0 0 0 4786 687 10255 8 0 0
1796.69/1797.01 c logicor : 289+ 2014 22 366345 2 4 10 346524 15095 664711 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 2 2 12 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 251.36 0.00 0.00 0.00 251.36 0.00 0.00 0.00
1796.69/1797.01 c setppc : 27.84 0.00 0.01 25.67 0.00 0.00 0.00 2.15
1796.69/1797.01 c linear : 1.06 0.00 0.00 1.03 0.00 0.00 0.00 0.03
1796.69/1797.01 c logicor : 15.12 0.00 0.00 14.47 0.00 0.00 0.00 0.65
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 7 0 0 0
1796.69/1797.01 c pseudoobj : 569647 2068 733 13434
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 43882 0 0 1776
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.17 0.00 0.00 0.17 0.00
1796.69/1797.01 c pseudoobj : 1.90 0.00 0.00 1.59 0.31
1796.69/1797.01 c vbounds : 0.14 0.00 0.00 0.14 0.00
1796.69/1797.01 c redcost : 0.74 0.00 0.00 0.74 0.00
1796.69/1797.01 c probing : 0.02 0.00 0.02 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 6.18 27908 27864 169779 51.1 6845 27.6 -
1796.69/1797.01 c infeasible LP : 0.14 449 449 2477 45.0 87 28.5 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 99874 29.6 - - -
1796.69/1797.01 c applied locally : - - - 21 302.4 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.01 21 - - 70 - (maximal pool size: 1024)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.07 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 2.52 0.00 20 0 0 9552 0
1796.69/1797.01 c cmir : 0.15 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 0.13 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 0.01 0.00 1 0 0 0 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 2.16 0.00 1 0 0 0 238
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 251.30 0.00 43046 89 1398 0 0 85010
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 2
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.04 0.00 10 4
1796.69/1797.01 c feaspump : 0.44 0.00 1 0
1796.69/1797.01 c crossover : 0.74 0.00 7 1
1796.69/1797.01 c objpscostdiving : 13.57 0.00 48 0
1796.69/1797.01 c rootsoldiving : 13.17 0.00 68 1
1796.69/1797.01 c guideddiving : 47.29 0.00 227 1
1796.69/1797.01 c coefdiving : 37.43 0.00 227 0
1796.69/1797.01 c pscostdiving : 28.92 0.00 227 0
1796.69/1797.01 c fracdiving : 36.16 0.00 227 0
1796.69/1797.01 c linesearchdiving : 22.10 0.00 227 0
1796.69/1797.01 c veclendiving : 34.15 0.00 227 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.02 0.00 1 0
1796.69/1797.01 c simplerounding : 0.02 0.00 0 0
1796.69/1797.01 c zirounding : 0.33 0.00 1000 0
1796.69/1797.01 c rounding : 4.47 0.00 12433 2
1796.69/1797.01 c shifting : 0.78 0.00 859 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.04 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.02 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.03 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.01 3 0 0.00 0.00 0.01 3
1796.69/1797.01 c dual LP : 1205.69 51705 7383643 145.42 6124.02 0.83 930
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 203.67 49571 1017773 20.53 4997.12
1796.69/1797.01 c strong branching : 248.03 10036 1361842 135.70 5490.56
1796.69/1797.01 c (at root node) : - 10 5576 557.60 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 70045
1796.69/1797.01 c nodes (total) : 70045
1796.69/1797.01 c nodes left : 7864
1796.69/1797.01 c max depth : 52
1796.69/1797.01 c max depth (total): 52
1796.69/1797.01 c backtracks : 15701 (22.4%)
1796.69/1797.01 c delayed cutoffs : 6983
1796.69/1797.01 c repropagations : 51484 (943554 domain reductions, 5909 cutoffs)
1796.69/1797.01 c avg switch length: 6.57
1796.69/1797.01 c switching time : 24.74
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 12 (10 improvements)
1796.69/1797.01 c First Solution : +4.00000000000000e+02 (in run 1, after 1 nodes, 2.94 seconds, depth 0, found by <trysol>)
1796.69/1797.01 c Primal Bound : +3.72000000000000e+02 (in run 1, after 11732 nodes, 610.25 seconds, depth 40, found by <relaxation>)
1796.69/1797.01 c Dual Bound : +2.99815227483751e+02
1796.69/1797.01 c Gap : 24.08 %
1796.69/1797.01 c Root Dual Bound : +2.70000000000000e+02
1796.69/1797.01 c Root Iterations : 10518
1796.69/1797.09 c Time complete: 1796.79.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690824-1338018748/watcher-3690824-1338018748 -o /tmp/evaluation-result-3690824-1338018748/solver-3690824-1338018748 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690824-1338018748.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.69 3/176 583
/proc/meminfo: memFree=28787520/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=8132 CPUtime=0 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 268003380 8327168 841 33554432000 4194304 10173063 140736440553024 140736255887736 8846909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 2290 850 392 1460 0 821 0
[startup+0.013065 s]
/proc/loadavg: 1.92 1.98 1.69 3/176 583
/proc/meminfo: memFree=28787520/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=11500 CPUtime=0 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 1633 0 0 0 0 0 0 0 20 0 1 0 268003380 11776000 1587 33554432000 4194304 10173063 140736440553024 140736255887736 8803840 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 2875 1587 416 1460 0 1406 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11500
[startup+0.10026 s]
/proc/loadavg: 1.92 1.98 1.69 3/176 583
/proc/meminfo: memFree=28787520/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=32168 CPUtime=0.08 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 6941 0 0 0 7 1 0 0 20 0 1 0 268003380 32940032 6451 33554432000 4194304 10173063 140736440553024 140736255887736 8846894 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 8042 6473 570 1460 0 6573 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32168
[startup+0.300296 s]
/proc/loadavg: 1.92 1.98 1.69 3/176 583
/proc/meminfo: memFree=28787520/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=45024 CPUtime=0.29 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 10983 0 0 0 27 2 0 0 20 0 1 0 268003380 46104576 10084 33554432000 4194304 10173063 140736440553024 140736255887736 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 11256 10084 771 1460 0 9787 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45024
[startup+0.700241 s]
/proc/loadavg: 1.92 1.98 1.69 3/176 583
/proc/meminfo: memFree=28787520/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=45024 CPUtime=0.69 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 11022 0 0 0 67 2 0 0 20 0 1 0 268003380 46104576 10123 33554432000 4194304 10173063 140736440553024 140736255887736 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 11256 10123 771 1460 0 9787 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45024
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.69 3/177 584
/proc/meminfo: memFree=28725272/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=71488 CPUtime=1.49 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 17453 0 0 0 140 9 0 0 20 0 1 0 268003380 73203712 16554 33554432000 4194304 10173063 140736440553024 140736440547832 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 17872 16554 807 1460 0 16403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71488
[startup+3.1003 s]
/proc/loadavg: 1.93 1.98 1.69 3/177 584
/proc/meminfo: memFree=28722916/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73500 CPUtime=3.08 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 17965 0 0 0 291 17 0 0 20 0 1 0 268003380 75264000 17066 33554432000 4194304 10173063 140736440553024 140736440547064 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18375 17066 832 1460 0 16906 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 73500
[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.69 3/177 584
/proc/meminfo: memFree=28722172/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73500 CPUtime=6.28 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 17976 0 0 0 606 22 0 0 20 0 1 0 268003380 75264000 17077 33554432000 4194304 10173063 140736440553024 140736440545960 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18375 17077 835 1460 0 16906 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73500
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.69 3/177 584
/proc/meminfo: memFree=28721956/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73500 CPUtime=12.69 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 17984 0 0 0 1241 28 0 0 20 0 1 0 268003380 75264000 17084 33554432000 4194304 10173063 140736440553024 140736440546856 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18375 17084 842 1460 0 16906 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73500
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.70 3/177 585
/proc/meminfo: memFree=28722312/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73500 CPUtime=25.49 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 17988 0 0 0 2510 39 0 0 20 0 1 0 268003380 75264000 17088 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18375 17088 842 1460 0 16906 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73500
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.71 3/177 585
/proc/meminfo: memFree=28719800/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73500 CPUtime=51.08 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 17998 0 0 0 5044 64 0 0 20 0 1 0 268003380 75264000 17611 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18375 17611 844 1460 0 16906 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73500
[startup+102.3 s]
/proc/loadavg: 2.08 2.02 1.73 3/177 585
/proc/meminfo: memFree=28718864/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73536 CPUtime=102.27 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 18584 0 0 0 10123 104 0 0 20 0 1 0 268003380 75300864 17677 33554432000 4194304 10173063 140736440553024 140736440546264 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18384 17677 849 1460 0 16915 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73536
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.74 3/177 585
/proc/meminfo: memFree=28718428/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73536 CPUtime=162.25 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 18585 0 0 0 16069 156 0 0 20 0 1 0 268003380 75300864 17677 33554432000 4194304 10173063 140736440553024 140736440545608 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18384 17677 849 1460 0 16915 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 73536
[startup+222.307 s]
/proc/loadavg: 2.01 2.00 1.75 3/177 661
/proc/meminfo: memFree=28443940/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73536 CPUtime=222.25 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 18585 0 0 0 22016 209 0 0 20 0 1 0 268003380 75300864 17677 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18384 17677 849 1460 0 16915 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 73536
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/177 661
/proc/meminfo: memFree=28424292/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=73536 CPUtime=282.23 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 24076 0 0 0 27956 267 0 0 20 0 1 0 268003380 75300864 17692 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 18384 17692 864 1460 0 16915 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 73536
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/177 662
/proc/meminfo: memFree=28419496/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=78980 CPUtime=342.23 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 37323 0 0 0 33888 335 0 0 20 0 1 0 268003380 80875520 18965 33554432000 4194304 10173063 140736440553024 140736440546344 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 19745 18965 864 1460 0 18276 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 78980
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 662
/proc/meminfo: memFree=28411156/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=83184 CPUtime=402.22 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 47891 0 0 0 39826 396 0 0 20 0 1 0 268003380 85180416 19908 33554432000 4194304 10173063 140736440553024 140736440546472 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 20796 19908 864 1460 0 19327 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 83184
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 665
/proc/meminfo: memFree=28403560/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=88700 CPUtime=462.2 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 49333 0 0 0 45764 456 0 0 20 0 1 0 268003380 90828800 21420 33554432000 4194304 10173063 140736440553024 140736440546360 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 22175 21420 864 1460 0 20706 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 88700
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 1.81 3/178 688
/proc/meminfo: memFree=28400180/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=92788 CPUtime=522.19 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 51645 0 0 0 51705 514 0 0 20 0 1 0 268003380 95014912 22399 33554432000 4194304 10173063 140736440553024 140736440545544 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 23197 22399 864 1460 0 21728 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 92788
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.82 3/177 688
/proc/meminfo: memFree=28393376/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=99216 CPUtime=582.18 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 53327 0 0 0 57641 577 0 0 20 0 1 0 268003380 101597184 24031 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 24804 24031 864 1460 0 23335 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 99216
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28360432/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=132296 CPUtime=1062.11 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 87940 0 0 0 105104 1107 0 0 20 0 1 0 268003380 135471104 32233 33554432000 4194304 10173063 140736440553024 140736440546856 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 33074 32233 867 1460 0 31605 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 132296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 693
/proc/meminfo: memFree=28359488/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=133116 CPUtime=1122.1 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 88638 0 0 0 111037 1173 0 0 20 0 1 0 268003380 136310784 32455 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 33279 32455 867 1460 0 31810 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 133116
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/177 693
/proc/meminfo: memFree=28354280/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=138464 CPUtime=1182.09 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 91611 0 0 0 116969 1240 0 0 20 0 1 0 268003380 141787136 33790 33554432000 4194304 10173063 140736440553024 140736440546008 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 34616 33790 867 1460 0 33147 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 138464
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/177 694
/proc/meminfo: memFree=28353412/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=138992 CPUtime=1242.08 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 91785 0 0 0 122901 1307 0 0 20 0 1 0 268003380 142327808 33964 33554432000 4194304 10173063 140736440553024 140736440546568 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 34748 33964 867 1460 0 33279 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 138992
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 694
/proc/meminfo: memFree=28352032/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=140028 CPUtime=1302.07 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 93292 0 0 0 128840 1367 0 0 20 0 1 0 268003380 143388672 34254 33554432000 4194304 10173063 140736440553024 140736440546376 8047303 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 35007 34254 867 1460 0 33538 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 140028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 694
/proc/meminfo: memFree=28350792/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=141912 CPUtime=1362.06 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 94994 0 0 0 134773 1433 0 0 20 0 1 0 268003380 145317888 34709 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 35478 34709 867 1460 0 34009 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 141912
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 694
/proc/meminfo: memFree=28347568/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=144164 CPUtime=1422.05 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 98943 0 0 0 140709 1496 0 0 20 0 1 0 268003380 147623936 35237 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 36041 35237 867 1460 0 34572 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 144164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 694
/proc/meminfo: memFree=28343476/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=148560 CPUtime=1482.05 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 100037 0 0 0 146646 1559 0 0 20 0 1 0 268003380 152125440 36328 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 37140 36328 867 1460 0 35671 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 148560
[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 1.91 3/177 694
/proc/meminfo: memFree=28341360/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=150220 CPUtime=1542.04 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 100434 0 0 0 152580 1624 0 0 20 0 1 0 268003380 153825280 36771 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 37555 36771 867 1460 0 36086 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 150220
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.92 3/177 695
/proc/meminfo: memFree=28337760/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=153524 CPUtime=1602.02 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 101744 0 0 0 158514 1688 0 0 20 0 1 0 268003380 157208576 37660 33554432000 4194304 10173063 140736440553024 140736440545464 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 38381 37660 867 1460 0 36912 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 153524
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/178 698
/proc/meminfo: memFree=28335636/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=155932 CPUtime=1662.01 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 102280 0 0 0 164446 1755 0 0 20 0 1 0 268003380 159674368 38196 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 38983 38196 867 1460 0 37514 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 155932
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 698
/proc/meminfo: memFree=28335404/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=156096 CPUtime=1722 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 107702 0 0 0 170373 1827 0 0 20 0 1 0 268003380 159842304 38261 33554432000 4194304 10173063 140736440553024 140736440546280 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39024 38261 867 1460 0 37555 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 156096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333792/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=157404 CPUtime=1782 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108015 0 0 0 176311 1889 0 0 20 0 1 0 268003380 161181696 38574 33554432000 4194304 10173063 140736440553024 140736440546664 8038484 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39351 38574 867 1460 0 37882 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 157404
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333544/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=158080 CPUtime=1785.29 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108160 0 0 0 176637 1892 0 0 20 0 1 0 268003380 161873920 38719 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39520 38719 867 1460 0 38051 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 158080
[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333544/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=158080 CPUtime=1791.7 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108160 0 0 0 177269 1901 0 0 20 0 1 0 268003380 161873920 38719 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39520 38719 867 1460 0 38051 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 158080
[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333544/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=158080 CPUtime=1794.9 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108160 0 0 0 177585 1905 0 0 20 0 1 0 268003380 161873920 38719 33554432000 4194304 10173063 140736440553024 140736440546664 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39520 38719 867 1460 0 38051 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 158080
[startup+1796 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333544/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=158080 CPUtime=1795.69 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108160 0 0 0 177664 1905 0 0 20 0 1 0 268003380 161873920 38719 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39520 38719 867 1460 0 38051 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (KiB) 158080
[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333544/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=158080 CPUtime=1796.49 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108160 0 0 0 177743 1906 0 0 20 0 1 0 268003380 161873920 38719 33554432000 4194304 10173063 140736440553024 140736440546280 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39520 38719 867 1460 0 38051 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 158080
[startup+1797 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 698
/proc/meminfo: memFree=28333544/32873844 swapFree=7100/7100
[pid=583] ppid=581 vsize=158080 CPUtime=1796.69 cores=1,3,5,7
/proc/583/stat : 583 (scip-2.1.1.4fix) R 581 583 32565 0 -1 4202496 108160 0 0 0 177762 1907 0 0 20 0 1 0 268003380 161873920 38719 33554432000 4194304 10173063 140736440553024 140736440546696 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/583/statm: 39520 38719 867 1460 0 38051 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 158080
Child status: 0
Real time (s): 1797.1
CPU time (s): 1796.8
CPU user time (s): 1777.72
CPU system time (s): 19.0761
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 173268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.72
system time used= 19.0761
maximum resident set size= 173468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 1847
runsolver used 3.22551 second user time and 9.25259 second system time
The end