0.00/0.00 c SCIP version 1.1.0.7
0.00/0.00 c LP-Solver SoPlex 1.4.1
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c read problem <HOME/instance-3734906-1338705934.opb>
0.00/0.00 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.00 c start presolving problem
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.01 c 7 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c OPT-LIN
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = c 13950
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = c 1791
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = c 10000
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving problem
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 40 | 299k| 0 | 7 | 60 | 7 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 142 | 339k| 0 | 11 | 60 | 7 | 7 | 60 | 13 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 151 | 365k| 0 | 12 | 60 | 7 | 7 | 60 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 158 | 384k| 0 | 15 | 60 | 7 | 7 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 167 | 402k| 0 | 16 | 60 | 7 | 7 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 171 | 416k| 0 | 18 | 60 | 7 | 7 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 182 | 424k| 0 | 17 | 60 | 7 | 7 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 2 | 182 | 425k| 0 | 17 | 60 | 7 | 7 | 60 | 25 | 18 | 0 | 17 | 0.000000e+00 | -- | Inf
1.89/1.99 c 1.9s| 10000 | 3532 | 29877 |3897k| 51 | 7 | 60 |2802 | 175 | 60 | 17 | 18 |4504 | 733 | 0.000000e+00 | -- | Inf
3.78/3.85 c 3.6s| 20000 | 6677 | 59060 |5863k| 51 | 7 | 60 |1791 | 602 | 60 | 17 | 18 |9287 | 991 | 0.000000e+00 | -- | Inf
5.58/5.64 c 5.3s| 30000 | 9786 | 88473 |8115k| 52 | 7 | 60 |1942 | 101 | 60 | 17 | 18 | 14k|1170 | 0.000000e+00 | -- | Inf
7.38/7.41 c 6.9s| 40000 | 12888 |117980 | 10M| 52 | 7 | 60 |2088 | 190 | 60 | 17 | 18 | 18k|1320 | 0.000000e+00 | -- | Inf
9.08/9.19 c 8.6s| 50000 | 15928 |146600 | 12M| 52 | 7 | 60 |1881 | 165 | 60 | 17 | 18 | 23k|1445 | 0.000000e+00 | -- | Inf
10.89/10.96 c 10.3s| 60000 | 18938 |175746 | 14M| 52 | 7 | 60 |1901 | 67 | 60 | 17 | 18 | 28k|1561 | 0.000000e+00 | -- | Inf
12.68/12.71 c 11.9s| 70000 | 22001 |204701 | 16M| 52 | 7 | 60 |2102 | 236 | 60 | 17 | 18 | 33k|1652 | 0.000000e+00 | -- | Inf
14.38/14.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.38/14.48 c 13.6s| 80000 | 24928 |233203 | 18M| 52 | 7 | 60 |2205 | 118 | 60 | 17 | 18 | 38k|1744 | 0.000000e+00 | -- | Inf
16.18/16.29 c 15.3s| 90000 | 27677 |261815 | 21M| 52 | - | 60 |2262 | 35 | 0 | 0 | 18 | 43k|1817 | 0.000000e+00 | -- | Inf
17.98/18.08 c 17.0s|100000 | 30434 |290602 | 23M| 53 | - | 60 |2429 | 38 | 60 | 17 | 18 | 48k|1896 | 0.000000e+00 | -- | Inf
19.78/19.82 c 18.6s|110000 | 33442 |318847 | 25M| 53 | 7 | 60 |3099 | 50 | 60 | 17 | 18 | 53k|1977 | 0.000000e+00 | -- | Inf
21.58/21.63 c 20.3s|120000 | 36223 |347752 | 27M| 53 | 7 | 60 |2673 | 422 | 60 | 17 | 18 | 58k|2053 | 0.000000e+00 | -- | Inf
23.38/23.46 c 22.1s|130000 | 38861 |376763 | 29M| 54 | - | 60 |2284 | 27 | 0 | 0 | 18 | 63k|2125 | 0.000000e+00 | -- | Inf
25.28/25.31 c 23.8s|140000 | 41321 |405795 | 31M| 54 | 7 | 60 |2259 | 294 | 60 | 17 | 18 | 68k|2191 | 0.000000e+00 | -- | Inf
26.98/27.07 c 25.5s|150000 | 44196 |433986 | 33M| 54 | - | 60 |3038 | 290 | 60 | 17 | 18 | 73k|2258 | 0.000000e+00 | -- | Inf
28.88/28.92 c 27.2s|160000 | 46903 |463116 | 35M| 54 | - | 60 |2294 | 496 | 60 | 17 | 18 | 78k|2310 | 0.000000e+00 | -- | Inf
30.68/30.73 c 28.9s|170000 | 49495 |491240 | 37M| 54 | - | 60 |2304 | 22 | 60 | 17 | 18 | 83k|2372 | 0.000000e+00 | -- | Inf
32.48/32.50 c 30.6s|180000 | 52360 |519916 | 39M| 54 | - | 60 |2848 | 22 | 60 | 17 | 18 | 88k|2437 | 0.000000e+00 | -- | Inf
34.27/34.36 c 32.3s|190000 | 55063 |548539 | 41M| 54 | 7 | 60 |2660 | 78 | 60 | 17 | 18 | 94k|2483 | 0.000000e+00 | -- | Inf
36.08/36.20 c 34.0s|200000 | 57598 |576408 | 43M| 54 | - | 60 |2761 | 46 | 60 | 17 | 18 | 99k|2520 | 0.000000e+00 | -- | Inf
37.98/38.04 c 35.8s|210000 | 60211 |605418 | 45M| 54 | - | 60 |2652 | 286 | 60 | 17 | 18 | 104k|2565 | 0.000000e+00 | -- | Inf
39.77/39.84 c 37.5s|220000 | 62946 |633692 | 47M| 54 | - | 60 |2827 | 60 | 60 | 17 | 18 | 109k|2601 | 0.000000e+00 | -- | Inf
41.58/41.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.58/41.65 c 39.2s|230000 | 65605 |662156 | 49M| 54 | - | 60 |2951 | 139 | 60 | 17 | 18 | 114k|2640 | 0.000000e+00 | -- | Inf
43.28/43.39 c 40.8s|240000 | 68831 |690761 | 52M| 54 | 7 | 60 |3706 | 243 | 60 | 17 | 18 | 118k|2672 | 0.000000e+00 | -- | Inf
45.18/45.26 c 42.6s|250000 | 71381 |718743 | 54M| 54 | 7 | 60 |3369 | 365 | 60 | 17 | 18 | 124k|2686 | 0.000000e+00 | -- | Inf
47.07/47.11 c 44.3s|260000 | 73999 |747000 | 56M| 54 | - | 60 |3121 | 40 | 60 | 17 | 18 | 129k|2721 | 0.000000e+00 | -- | Inf
48.87/48.94 c 46.0s|270000 | 76646 |775082 | 58M| 54 | 7 | 60 |2769 | 18 | 60 | 17 | 18 | 134k|2757 | 0.000000e+00 | -- | Inf
50.68/50.79 c 47.8s|280000 | 79421 |804114 | 60M| 54 | 7 | 60 |2667 | 18 | 60 | 17 | 18 | 139k|2792 | 0.000000e+00 | -- | Inf
52.48/52.57 c 49.4s|290000 | 82212 |833177 | 62M| 54 | - | 60 |3638 | 35 | 60 | 17 | 18 | 144k|2836 | 0.000000e+00 | -- | Inf
54.27/54.35 c 51.1s|300000 | 85170 |860531 | 64M| 54 | 7 | 60 |3854 | 155 | 60 | 17 | 18 | 148k|2888 | 0.000000e+00 | -- | Inf
56.18/56.22 c 52.9s|310000 | 87754 |889607 | 66M| 54 | - | 60 |2975 | 17 | 60 | 17 | 18 | 153k|2928 | 0.000000e+00 | -- | Inf
57.98/58.05 c 54.6s|320000 | 90615 |918804 | 68M| 54 | 7 | 60 |2990 | 74 | 60 | 17 | 18 | 158k|2955 | 0.000000e+00 | -- | Inf
59.77/59.82 c 56.3s|330000 | 93581 |947352 | 70M| 54 | - | 60 |2859 | 41 | 60 | 17 | 18 | 163k|2985 | 0.000000e+00 | -- | Inf
61.58/61.63 c 58.0s|340000 | 96227 |975475 | 73M| 54 | 7 | 60 |2946 | 192 | 60 | 17 | 18 | 168k|3002 | 0.000000e+00 | -- | Inf
63.38/63.46 c 59.7s|350000 | 98795 | 1004k| 75M| 54 | 7 | 60 |2980 | 53 | 60 | 17 | 18 | 173k|3023 | 0.000000e+00 | -- | Inf
65.17/65.28 c 61.4s|360000 |101549 | 1032k| 77M| 54 | 7 | 60 |2869 | 26 | 60 | 17 | 18 | 178k|3052 | 0.000000e+00 | -- | Inf
67.08/67.12 c 63.1s|370000 |104296 | 1060k| 79M| 54 | 7 | 60 |3480 | 489 | 60 | 17 | 18 | 183k|3076 | 0.000000e+00 | -- | Inf
68.87/68.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.87/68.99 c 64.9s|380000 |106874 | 1088k| 81M| 54 | - | 60 |3576 | 160 | 60 | 17 | 18 | 188k|3103 | 0.000000e+00 | -- | Inf
70.77/70.87 c 66.7s|390000 |109414 | 1117k| 83M| 54 | - | 60 |3065 | 10 | 60 | 17 | 18 | 193k|3127 | 0.000000e+00 | -- | Inf
72.67/72.75 c 68.5s|400000 |111874 | 1145k| 85M| 54 | 7 | 60 |3261 | 209 | 60 | 17 | 18 | 198k|3146 | 0.000000e+00 | -- | Inf
74.57/74.61 c 70.2s|410000 |114546 | 1173k| 87M| 54 | 7 | 60 |2715 | 12 | 60 | 17 | 18 | 203k|3169 | 0.000000e+00 | -- | Inf
76.37/76.44 c 72.0s|420000 |117073 | 1201k| 89M| 54 | 7 | 60 |3149 | 54 | 60 | 17 | 18 | 208k|3186 | 0.000000e+00 | -- | Inf
78.27/78.33 c 73.7s|430000 |119575 | 1229k| 91M| 54 | - | 60 |3362 | 24 | 60 | 17 | 18 | 214k|3192 | 0.000000e+00 | -- | Inf
79.97/80.05 c 75.3s|440000 |123101 | 1255k| 93M| 54 | 7 | 60 |4043 | 599 | 60 | 17 | 18 | 218k|3200 | 0.000000e+00 | -- | Inf
81.87/81.97 c 77.1s|450000 |125419 | 1283k| 95M| 54 | 7 | 60 |3024 | 36 | 60 | 17 | 18 | 223k|3221 | 0.000000e+00 | -- | Inf
83.77/83.81 c 78.9s|460000 |127950 | 1312k| 97M| 54 | - | 60 |3801 | 212 | 60 | 17 | 18 | 228k|3235 | 0.000000e+00 | -- | Inf
85.57/85.68 c 80.6s|470000 |130512 | 1340k| 99M| 54 | - | 60 |3557 | 12 | 60 | 17 | 18 | 233k|3250 | 0.000000e+00 | -- | Inf
87.57/87.60 c 82.4s|480000 |132926 | 1368k| 101M| 54 | 7 | 60 |2752 | 28 | 60 | 17 | 18 | 239k|3269 | 0.000000e+00 | -- | Inf
89.37/89.46 c 84.2s|490000 |135467 | 1396k| 103M| 54 | - | 60 |2965 | 300 | 60 | 17 | 18 | 244k|3278 | 0.000000e+00 | -- | Inf
91.28/91.31 c 85.9s|500000 |137956 | 1424k| 105M| 54 | - | 60 |3165 | 130 | 60 | 17 | 18 | 249k|3296 | 0.000000e+00 | -- | Inf
93.07/93.18 c 87.7s|510000 |140435 | 1453k| 107M| 54 | - | 60 |3592 | 31 | 60 | 17 | 18 | 254k|3307 | 0.000000e+00 | -- | Inf
95.07/95.10 c 89.5s|520000 |143031 | 1481k| 109M| 54 | 7 | 60 |3284 | 391 | 60 | 17 | 18 | 259k|3315 | 0.000000e+00 | -- | Inf
96.87/96.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.87/96.94 c 91.2s|530000 |145736 | 1510k| 112M| 54 | - | 60 |3922 | 52 | 60 | 17 | 18 | 264k|3325 | 0.000000e+00 | -- | Inf
98.77/98.84 c 93.0s|540000 |148308 | 1538k| 113M| 54 | 7 | 60 |3380 | 96 | 60 | 17 | 18 | 269k|3348 | 0.000000e+00 | -- | Inf
100.67/100.72 c 94.8s|550000 |150761 | 1566k| 116M| 54 | 7 | 60 |3231 | 283 | 60 | 17 | 18 | 274k|3359 | 0.000000e+00 | -- | Inf
102.57/102.63 c 96.6s|560000 |153099 | 1595k| 118M| 54 | 7 | 60 |3742 | 720 | 60 | 17 | 18 | 280k|3361 | 0.000000e+00 | -- | Inf
104.37/104.50 c 98.4s|570000 |155709 | 1623k| 120M| 54 | - | 60 |3720 | 21 | 60 | 17 | 18 | 285k|3378 | 0.000000e+00 | -- | Inf
106.37/106.43 c 100s|580000 |158032 | 1651k| 121M| 54 | 7 | 60 |3115 | 179 | 60 | 17 | 18 | 290k|3391 | 0.000000e+00 | -- | Inf
108.17/108.27 c 102s|590000 |160809 | 1679k| 124M| 54 | 7 | 60 |3341 | 88 | 60 | 17 | 18 | 295k|3398 | 0.000000e+00 | -- | Inf
110.06/110.12 c 104s|600000 |163384 | 1707k| 126M| 54 | - | 60 |3556 | 103 | 60 | 17 | 18 | 300k|3408 | 0.000000e+00 | -- | Inf
111.86/111.97 c 105s|610000 |166145 | 1735k| 128M| 54 | 7 | 60 |3839 | 52 | 60 | 17 | 18 | 305k|3422 | 0.000000e+00 | -- | Inf
113.76/113.89 c 107s|620000 |168634 | 1764k| 130M| 54 | 7 | 60 |3275 | 89 | 60 | 17 | 18 | 310k|3444 | 0.000000e+00 | -- | Inf
115.67/115.77 c 109s|630000 |171066 | 1792k| 132M| 54 | - | 60 |2731 | 87 | 60 | 17 | 18 | 315k|3452 | 0.000000e+00 | -- | Inf
117.47/117.56 c 111s|640000 |173987 | 1821k| 134M| 54 | - | 60 |3694 | 41 | 60 | 17 | 18 | 320k|3464 | 0.000000e+00 | -- | Inf
119.36/119.45 c 113s|650000 |176666 | 1850k| 136M| 54 | 7 | 60 |3535 | 16 | 60 | 17 | 18 | 325k|3479 | 0.000000e+00 | -- | Inf
121.26/121.31 c 114s|660000 |179194 | 1879k| 138M| 54 | 7 | 60 |3519 | 74 | 60 | 17 | 18 | 330k|3492 | 0.000000e+00 | -- | Inf
123.17/123.21 c 116s|670000 |181654 | 1908k| 140M| 54 | - | 60 |3240 | 60 | 60 | 17 | 18 | 335k|3503 | 0.000000e+00 | -- | Inf
124.96/125.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.96/125.09 c 118s|680000 |184194 | 1936k| 142M| 54 | 7 | 60 |3196 | 16 | 60 | 17 | 18 | 341k|3513 | 0.000000e+00 | -- | Inf
126.86/126.99 c 120s|690000 |186652 | 1965k| 144M| 54 | 7 | 60 |3383 | 71 | 60 | 17 | 18 | 346k|3525 | 0.000000e+00 | -- | Inf
128.77/128.88 c 121s|700000 |189039 | 1993k| 146M| 54 | 7 | 60 |3692 | 102 | 60 | 17 | 18 | 351k|3551 | 0.000000e+00 | -- | Inf
130.77/130.80 c 123s|710000 |191393 | 2021k| 148M| 54 | 7 | 60 |3500 | 109 | 60 | 17 | 18 | 356k|3569 | 0.000000e+00 | -- | Inf
132.56/132.69 c 125s|720000 |193984 | 2049k| 150M| 54 | - | 60 |2823 | 65 | 0 | 0 | 18 | 361k|3576 | 0.000000e+00 | -- | Inf
134.46/134.59 c 127s|730000 |196200 | 2077k| 152M| 54 | 7 | 60 |3273 | 132 | 60 | 17 | 18 | 367k|3587 | 0.000000e+00 | -- | Inf
136.46/136.51 c 129s|740000 |198562 | 2106k| 154M| 54 | - | 60 |3181 | 101 | 60 | 17 | 18 | 372k|3594 | 0.000000e+00 | -- | Inf
138.26/138.35 c 130s|750000 |201056 | 2134k| 156M| 54 | - | 60 |3746 | 27 | 60 | 17 | 18 | 377k|3617 | 0.000000e+00 | -- | Inf
140.16/140.28 c 132s|760000 |203260 | 2161k| 158M| 54 | - | 60 |3327 | 13 | 60 | 17 | 18 | 382k|3619 | 0.000000e+00 | -- | Inf
142.06/142.16 c 134s|770000 |205736 | 2188k| 160M| 54 | 7 | 60 |3739 | 12 | 60 | 17 | 18 | 387k|3619 | 0.000000e+00 | -- | Inf
143.97/144.06 c 136s|780000 |208164 | 2215k| 162M| 54 | 7 | 60 |3881 | 241 | 60 | 17 | 18 | 392k|3619 | 0.000000e+00 | -- | Inf
145.86/145.92 c 138s|790000 |210862 | 2244k| 164M| 54 | - | 60 |4061 | 78 | 60 | 17 | 18 | 397k|3624 | 0.000000e+00 | -- | Inf
147.76/147.87 c 139s|800000 |213298 | 2271k| 166M| 54 | - | 60 |3383 | 139 | 60 | 17 | 18 | 403k|3626 | 0.000000e+00 | -- | Inf
149.66/149.70 c 141s|810000 |216258 | 2299k| 168M| 54 | 7 | 60 |3820 | 55 | 60 | 17 | 18 | 407k|3634 | 0.000000e+00 | -- | Inf
151.46/151.53 c 143s|820000 |219100 | 2328k| 170M| 54 | - | 60 |4154 | 65 | 60 | 17 | 18 | 412k|3638 | 0.000000e+00 | -- | Inf
153.36/153.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.36/153.41 c 145s|830000 |221615 | 2355k| 172M| 54 | - | 60 |4321 | 48 | 60 | 17 | 18 | 417k|3638 | 0.000000e+00 | -- | Inf
155.16/155.28 c 146s|840000 |224330 | 2382k| 174M| 54 | 7 | 60 |4306 | 41 | 60 | 17 | 18 | 422k|3643 | 0.000000e+00 | -- | Inf
157.17/157.24 c 148s|850000 |226446 | 2408k| 176M| 54 | 7 | 60 |4246 |1024 | 60 | 17 | 18 | 428k|3645 | 0.000000e+00 | -- | Inf
159.16/159.21 c 150s|860000 |228873 | 2436k| 178M| 54 | 7 | 60 |3511 | 65 | 60 | 17 | 18 | 433k|3659 | 0.000000e+00 | -- | Inf
161.06/161.18 c 152s|870000 |231108 | 2465k| 180M| 54 | 7 | 60 |3357 | 29 | 60 | 17 | 18 | 438k|3672 | 0.000000e+00 | -- | Inf
162.96/163.00 c 154s|880000 |234063 | 2494k| 182M| 54 | 7 | 60 |4341 | 28 | 60 | 17 | 18 | 443k|3684 | 0.000000e+00 | -- | Inf
164.87/164.93 c 155s|890000 |236736 | 2523k| 184M| 54 | 7 | 60 |4218 | 26 | 60 | 17 | 18 | 448k|3695 | 0.000000e+00 | -- | Inf
166.66/166.75 c 157s|900000 |239773 | 2551k| 187M| 54 | 7 | 60 |4640 | 42 | 60 | 17 | 18 | 453k|3706 | 0.000000e+00 | -- | Inf
168.45/168.50 c 159s|910000 |243183 | 2578k| 189M| 54 | - | 60 |6526 | 40 | 0 | 0 | 18 | 457k|3706 | 0.000000e+00 | -- | Inf
170.37/170.50 c 161s|920000 |246149 | 2605k| 191M| 54 | 7 | 60 |6008 | 430 | 60 | 17 | 18 | 462k|3706 | 0.000000e+00 | -- | Inf
172.45/172.54 c 163s|930000 |248592 | 2633k| 193M| 54 | - | 60 |3680 | 151 | 60 | 17 | 18 | 467k|3706 | 0.000000e+00 | -- | Inf
174.46/174.51 c 165s|940000 |250950 | 2661k| 195M| 54 | - | 60 |2960 | 20 | 60 | 17 | 18 | 472k|3706 | 0.000000e+00 | -- | Inf
176.36/176.46 c 166s|950000 |253264 | 2689k| 197M| 54 | - | 60 |3046 | 24 | 0 | 0 | 18 | 477k|3706 | 0.000000e+00 | -- | Inf
178.26/178.39 c 168s|960000 |255501 | 2716k| 198M| 54 | - | 60 |2919 | 20 | 60 | 17 | 18 | 482k|3706 | 0.000000e+00 | -- | Inf
180.16/180.21 c 170s|970000 |258233 | 2743k| 201M| 54 | 7 | 60 |3220 | 457 | 60 | 17 | 18 | 487k|3706 | 0.000000e+00 | -- | Inf
182.06/182.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.06/182.11 c 172s|980000 |260738 | 2772k| 203M| 54 | 7 | 60 |3116 | 128 | 60 | 17 | 18 | 492k|3706 | 0.000000e+00 | -- | Inf
183.95/184.01 c 174s|990000 |263091 | 2799k| 205M| 54 | 7 | 60 |3256 | 44 | 60 | 17 | 18 | 498k|3706 | 0.000000e+00 | -- | Inf
185.75/185.85 c 175s| 1000k|266000 | 2827k| 207M| 54 | - | 60 |3896 | 148 | 60 | 17 | 18 | 502k|3706 | 0.000000e+00 | -- | Inf
187.66/187.77 c 177s| 1010k|268586 | 2855k| 209M| 54 | - | 60 |3792 | 490 | 60 | 17 | 18 | 508k|3706 | 0.000000e+00 | -- | Inf
189.55/189.62 c 179s| 1020k|271394 | 2883k| 211M| 54 | - | 60 |3990 | 44 | 60 | 17 | 18 | 513k|3706 | 0.000000e+00 | -- | Inf
191.45/191.53 c 181s| 1030k|273861 | 2911k| 213M| 54 | 7 | 60 |4328 | 61 | 60 | 17 | 18 | 518k|3706 | 0.000000e+00 | -- | Inf
193.35/193.48 c 182s| 1040k|276395 | 2938k| 215M| 54 | - | 60 |3302 | 332 | 60 | 17 | 18 | 523k|3706 | 0.000000e+00 | -- | Inf
195.25/195.38 c 184s| 1050k|278788 | 2966k| 217M| 54 | - | 60 |3623 | 20 | 60 | 17 | 18 | 528k|3706 | 0.000000e+00 | -- | Inf
197.14/197.20 c 186s| 1060k|281560 | 2994k| 219M| 54 | 7 | 60 |4050 | 74 | 60 | 17 | 18 | 533k|3706 | 0.000000e+00 | -- | Inf
199.06/199.13 c 188s| 1070k|284092 | 3022k| 221M| 54 | 7 | 60 |3861 | 788 | 60 | 17 | 18 | 538k|3706 | 0.000000e+00 | -- | Inf
200.95/201.06 c 190s| 1080k|286555 | 3051k| 223M| 54 | 7 | 60 |3264 | 17 | 60 | 17 | 18 | 543k|3706 | 0.000000e+00 | -- | Inf
202.84/202.90 c 191s| 1090k|289235 | 3078k| 225M| 54 | 7 | 60 |4383 | 19 | 60 | 17 | 18 | 548k|3706 | 0.000000e+00 | -- | Inf
204.74/204.88 c 193s| 1100k|291589 | 3106k| 227M| 54 | 7 | 60 |3516 | 238 | 60 | 17 | 18 | 553k|3706 | 0.000000e+00 | -- | Inf
206.65/206.78 c 195s| 1110k|293941 | 3135k| 229M| 54 | - | 60 |3727 | 553 | 60 | 17 | 18 | 558k|3706 | 0.000000e+00 | -- | Inf
208.65/208.72 c 197s| 1120k|296243 | 3162k| 231M| 54 | 7 | 60 |3255 | 42 | 60 | 17 | 18 | 564k|3706 | 0.000000e+00 | -- | Inf
210.54/210.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.54/210.64 c 199s| 1130k|298661 | 3190k| 233M| 54 | 7 | 60 |3948 | 108 | 60 | 17 | 18 | 569k|3706 | 0.000000e+00 | -- | Inf
212.44/212.57 c 200s| 1140k|301106 | 3219k| 235M| 54 | 7 | 60 |3581 | 49 | 60 | 17 | 18 | 574k|3706 | 0.000000e+00 | -- | Inf
214.35/214.48 c 202s| 1150k|303670 | 3247k| 237M| 54 | - | 60 |3697 | 46 | 60 | 17 | 18 | 579k|3706 | 0.000000e+00 | -- | Inf
216.34/216.43 c 204s| 1160k|305939 | 3275k| 239M| 54 | 7 | 60 |3402 | 61 | 60 | 17 | 18 | 584k|3706 | 0.000000e+00 | -- | Inf
218.14/218.24 c 206s| 1170k|308751 | 3304k| 242M| 54 | 7 | 60 |4831 | 53 | 60 | 17 | 18 | 589k|3708 | 0.000000e+00 | -- | Inf
220.14/220.25 c 208s| 1180k|311111 | 3332k| 243M| 54 | 7 | 60 |4073 | 55 | 60 | 17 | 18 | 595k|3713 | 0.000000e+00 | -- | Inf
222.14/222.21 c 210s| 1190k|313383 | 3360k| 245M| 54 | 7 | 60 |4315 | 88 | 60 | 17 | 18 | 600k|3714 | 0.000000e+00 | -- | Inf
224.03/224.14 c 211s| 1200k|316096 | 3387k| 248M| 54 | - | 60 |4296 | 118 | 60 | 17 | 18 | 605k|3725 | 0.000000e+00 | -- | Inf
225.94/226.08 c 213s| 1210k|318485 | 3415k| 249M| 54 | - | 60 |3834 | 170 | 60 | 17 | 18 | 610k|3730 | 0.000000e+00 | -- | Inf
227.93/228.03 c 215s| 1220k|320882 | 3442k| 251M| 54 | 7 | 60 |3945 | 154 | 60 | 17 | 18 | 615k|3733 | 0.000000e+00 | -- | Inf
229.85/229.98 c 217s| 1230k|323063 | 3470k| 253M| 54 | - | 60 |3679 | 36 | 60 | 17 | 18 | 620k|3741 | 0.000000e+00 | -- | Inf
231.74/231.89 c 219s| 1240k|325385 | 3498k| 255M| 54 | 7 | 60 |3495 | 34 | 60 | 17 | 18 | 626k|3748 | 0.000000e+00 | -- | Inf
233.73/233.81 c 220s| 1250k|327858 | 3526k| 257M| 54 | - | 60 |3530 | 102 | 60 | 17 | 18 | 631k|3753 | 0.000000e+00 | -- | Inf
235.54/235.68 c 222s| 1260k|330200 | 3554k| 259M| 54 | - | 60 |4548 | 189 | 60 | 17 | 18 | 636k|3761 | 0.000000e+00 | -- | Inf
237.54/237.63 c 224s| 1270k|332620 | 3582k| 261M| 54 | 7 | 60 |3894 | 141 | 60 | 17 | 18 | 641k|3770 | 0.000000e+00 | -- | Inf
239.43/239.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.43/239.59 c 226s| 1280k|335004 | 3610k| 263M| 54 | 7 | 60 |3148 | 42 | 60 | 17 | 18 | 646k|3783 | 0.000000e+00 | -- | Inf
241.33/241.45 c 228s| 1290k|337512 | 3637k| 265M| 54 | 7 | 60 |3185 | 248 | 60 | 17 | 18 | 651k|3791 | 0.000000e+00 | -- | Inf
243.23/243.32 c 229s| 1300k|339989 | 3665k| 267M| 54 | 7 | 60 |3754 |1212 | 60 | 17 | 18 | 656k|3799 | 0.000000e+00 | -- | Inf
245.03/245.18 c 231s| 1310k|342735 | 3693k| 269M| 54 | - | 60 |3934 | 20 | 60 | 17 | 18 | 661k|3803 | 0.000000e+00 | -- | Inf
247.03/247.15 c 233s| 1320k|345109 | 3721k| 271M| 54 | 7 | 60 |3730 | 22 | 60 | 17 | 18 | 666k|3803 | 0.000000e+00 | -- | Inf
248.93/249.09 c 235s| 1330k|347484 | 3748k| 273M| 54 | 7 | 60 |3664 | 129 | 60 | 17 | 18 | 671k|3813 | 0.000000e+00 | -- | Inf
250.83/250.93 c 237s| 1340k|350381 | 3776k| 275M| 54 | 7 | 60 |3716 | 441 | 60 | 17 | 18 | 676k|3820 | 0.000000e+00 | -- | Inf
252.63/252.75 c 238s| 1350k|353453 | 3805k| 278M| 54 | - | 60 |4842 | 16 | 60 | 17 | 18 | 681k|3827 | 0.000000e+00 | -- | Inf
254.53/254.67 c 240s| 1360k|356222 | 3834k| 280M| 54 | 7 | 60 |5138 | 135 | 60 | 17 | 18 | 686k|3835 | 0.000000e+00 | -- | Inf
256.63/256.73 c 242s| 1370k|358466 | 3862k| 282M| 54 | 7 | 60 |4534 | 22 | 60 | 17 | 18 | 691k|3843 | 0.000000e+00 | -- | Inf
258.52/258.68 c 244s| 1380k|360890 | 3890k| 284M| 54 | - | 60 |3784 | 84 | 60 | 17 | 18 | 697k|3845 | 0.000000e+00 | -- | Inf
260.54/260.62 c 246s| 1390k|363316 | 3918k| 286M| 54 | 7 | 60 |3573 | 560 | 60 | 17 | 18 | 702k|3845 | 0.000000e+00 | -- | Inf
262.43/262.59 c 248s| 1400k|365550 | 3946k| 288M| 54 | - | 60 |3783 | 10 | 60 | 17 | 18 | 707k|3845 | 0.000000e+00 | -- | Inf
264.43/264.58 c 250s| 1410k|367740 | 3974k| 290M| 54 | 7 | 60 |3766 | 25 | 60 | 17 | 18 | 712k|3845 | 0.000000e+00 | -- | Inf
266.33/266.46 c 251s| 1420k|370354 | 4002k| 292M| 54 | 7 | 60 |4234 | 29 | 60 | 17 | 18 | 717k|3845 | 0.000000e+00 | -- | Inf
268.23/268.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.23/268.32 c 253s| 1430k|373400 | 4029k| 294M| 54 | - | 60 |4028 | 78 | 60 | 17 | 18 | 722k|3845 | 0.000000e+00 | -- | Inf
270.12/270.24 c 255s| 1440k|376077 | 4057k| 296M| 54 | 7 | 60 |3713 | 264 | 60 | 17 | 18 | 727k|3845 | 0.000000e+00 | -- | Inf
272.12/272.21 c 257s| 1450k|378478 | 4085k| 298M| 54 | 7 | 60 |3282 | 230 | 60 | 17 | 18 | 732k|3845 | 0.000000e+00 | -- | Inf
274.03/274.12 c 259s| 1460k|380904 | 4114k| 300M| 54 | 7 | 60 |4081 | 208 | 60 | 17 | 18 | 737k|3845 | 0.000000e+00 | -- | Inf
275.93/276.09 c 260s| 1470k|383114 | 4142k| 302M| 54 | 7 | 60 |3215 | 633 | 60 | 17 | 18 | 742k|3847 | 0.000000e+00 | -- | Inf
277.82/277.98 c 262s| 1480k|385495 | 4169k| 304M| 54 | - | 60 |4234 | 12 | 60 | 17 | 18 | 747k|3849 | 0.000000e+00 | -- | Inf
279.82/279.95 c 264s| 1490k|387803 | 4197k| 306M| 54 | 7 | 60 |3727 | 38 | 60 | 17 | 18 | 752k|3856 | 0.000000e+00 | -- | Inf
281.72/281.85 c 266s| 1500k|390372 | 4225k| 308M| 54 | - | 60 |4355 | 26 | 60 | 17 | 18 | 758k|3866 | 0.000000e+00 | -- | Inf
283.73/283.85 c 268s| 1510k|392665 | 4253k| 310M| 54 | 7 | 60 |4334 | 112 | 60 | 17 | 18 | 763k|3869 | 0.000000e+00 | -- | Inf
285.72/285.82 c 270s| 1520k|395153 | 4281k| 312M| 54 | - | 60 |3586 | 20 | 60 | 17 | 18 | 768k|3872 | 0.000000e+00 | -- | Inf
287.62/287.74 c 271s| 1530k|397677 | 4309k| 314M| 54 | - | 60 |3821 | 47 | 60 | 17 | 18 | 773k|3880 | 0.000000e+00 | -- | Inf
289.52/289.66 c 273s| 1540k|400274 | 4338k| 316M| 54 | - | 60 |3880 | 72 | 60 | 17 | 18 | 778k|3896 | 0.000000e+00 | -- | Inf
291.51/291.62 c 275s| 1550k|402557 | 4365k| 318M| 54 | 7 | 60 |3624 | 246 | 60 | 17 | 18 | 783k|3900 | 0.000000e+00 | -- | Inf
293.31/293.46 c 277s| 1560k|405301 | 4393k| 320M| 54 | - | 60 |4789 | 43 | 60 | 17 | 18 | 788k|3905 | 0.000000e+00 | -- | Inf
295.31/295.44 c 279s| 1570k|407798 | 4420k| 322M| 54 | - | 60 |3680 | 89 | 60 | 17 | 18 | 793k|3910 | 0.000000e+00 | -- | Inf
297.22/297.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.22/297.31 c 280s| 1580k|410773 | 4448k| 324M| 54 | - | 60 |4106 | 242 | 60 | 17 | 18 | 798k|3917 | 0.000000e+00 | -- | Inf
299.22/299.30 c 282s| 1590k|413064 | 4476k| 326M| 54 | - | 60 |3752 | 48 | 60 | 17 | 18 | 803k|3925 | 0.000000e+00 | -- | Inf
301.12/301.20 c 284s| 1600k|415661 | 4504k| 328M| 54 | 7 | 60 |4105 | 117 | 60 | 17 | 18 | 808k|3932 | 0.000000e+00 | -- | Inf
303.02/303.16 c 286s| 1610k|417961 | 4532k| 330M| 54 | - | 60 |3791 | 23 | 0 | 0 | 18 | 813k|3938 | 0.000000e+00 | -- | Inf
305.01/305.17 c 288s| 1620k|420164 | 4559k| 332M| 54 | 7 | 60 |3568 | 55 | 60 | 17 | 18 | 818k|3942 | 0.000000e+00 | -- | Inf
307.02/307.15 c 290s| 1630k|422374 | 4587k| 334M| 54 | 7 | 60 |3547 | 161 | 60 | 17 | 18 | 824k|3948 | 0.000000e+00 | -- | Inf
308.92/309.02 c 292s| 1640k|425101 | 4615k| 336M| 54 | - | 60 |4582 | 222 | 60 | 17 | 18 | 829k|3953 | 0.000000e+00 | -- | Inf
310.91/311.03 c 293s| 1650k|427551 | 4643k| 338M| 54 | 7 | 60 |3696 | 25 | 60 | 17 | 18 | 834k|3955 | 0.000000e+00 | -- | Inf
312.81/312.96 c 295s| 1660k|430041 | 4671k| 340M| 54 | 7 | 60 |4118 | 55 | 60 | 17 | 18 | 839k|3969 | 0.000000e+00 | -- | Inf
314.81/314.93 c 297s| 1670k|432651 | 4699k| 342M| 54 | 7 | 60 |4023 | 43 | 60 | 17 | 18 | 844k|3977 | 0.000000e+00 | -- | Inf
316.72/316.88 c 299s| 1680k|435152 | 4727k| 344M| 54 | - | 60 |3749 | 66 | 60 | 17 | 18 | 849k|3983 | 0.000000e+00 | -- | Inf
318.71/318.82 c 301s| 1690k|437358 | 4756k| 346M| 54 | 7 | 60 |4482 | 148 | 60 | 17 | 18 | 854k|3985 | 0.000000e+00 | -- | Inf
320.62/320.72 c 303s| 1700k|439917 | 4783k| 348M| 54 | 7 | 60 |5189 | 90 | 60 | 17 | 18 | 859k|3988 | 0.000000e+00 | -- | Inf
322.61/322.71 c 304s| 1710k|442354 | 4811k| 350M| 54 | 7 | 60 |4722 | 37 | 60 | 17 | 18 | 864k|3996 | 0.000000e+00 | -- | Inf
324.61/324.73 c 306s| 1720k|444571 | 4838k| 352M| 54 | 7 | 60 |3571 | 426 | 60 | 17 | 18 | 869k|3996 | 0.000000e+00 | -- | Inf
326.41/326.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.41/326.57 c 308s| 1730k|447117 | 4866k| 354M| 54 | - | 60 |4953 | 126 | 60 | 17 | 18 | 874k|3997 | 0.000000e+00 | -- | Inf
328.51/328.63 c 310s| 1740k|449329 | 4894k| 356M| 54 | 7 | 60 |3654 | 21 | 60 | 17 | 18 | 880k|4002 | 0.000000e+00 | -- | Inf
330.40/330.52 c 312s| 1750k|451723 | 4923k| 358M| 54 | - | 60 |4434 | 22 | 60 | 17 | 18 | 885k|4008 | 0.000000e+00 | -- | Inf
332.31/332.46 c 314s| 1760k|454274 | 4951k| 360M| 54 | - | 60 |4747 | 23 | 60 | 17 | 18 | 890k|4019 | 0.000000e+00 | -- | Inf
334.32/334.45 c 316s| 1770k|456634 | 4980k| 362M| 54 | 7 | 60 |4011 | 10 | 60 | 17 | 18 | 895k|4028 | 0.000000e+00 | -- | Inf
336.30/336.41 c 317s| 1780k|458901 | 5008k| 364M| 54 | 7 | 60 |4073 | 9 | 60 | 17 | 18 | 900k|4030 | 0.000000e+00 | -- | Inf
338.11/338.27 c 319s| 1790k|461520 | 5036k| 366M| 54 | - | 60 |4810 | 149 | 60 | 17 | 18 | 905k|4031 | 0.000000e+00 | -- | Inf
340.11/340.25 c 321s| 1800k|464079 | 5063k| 368M| 54 | 7 | 60 |4328 | 46 | 60 | 17 | 18 | 911k|4031 | 0.000000e+00 | -- | Inf
342.11/342.23 c 323s| 1810k|466505 | 5092k| 370M| 54 | 7 | 60 |4043 | 163 | 60 | 17 | 18 | 916k|4031 | 0.000000e+00 | -- | Inf
344.00/344.17 c 325s| 1820k|468969 | 5119k| 372M| 54 | - | 60 |4305 | 105 | 60 | 17 | 18 | 921k|4031 | 0.000000e+00 | -- | Inf
346.11/346.22 c 327s| 1830k|471066 | 5147k| 374M| 54 | - | 60 |3419 | 134 | 60 | 17 | 18 | 926k|4031 | 0.000000e+00 | -- | Inf
347.91/348.07 c 328s| 1840k|473705 | 5176k| 376M| 54 | 7 | 60 |4832 | 79 | 60 | 17 | 18 | 931k|4031 | 0.000000e+00 | -- | Inf
349.81/349.95 c 330s| 1850k|476621 | 5204k| 379M| 54 | 7 | 60 |6024 | 171 | 60 | 17 | 18 | 936k|4031 | 0.000000e+00 | -- | Inf
351.70/351.87 c 332s| 1860k|479786 | 5233k| 381M| 54 | 7 | 60 |7770 | 205 | 60 | 17 | 18 | 940k|4031 | 0.000000e+00 | -- | Inf
353.80/353.99 c 334s| 1870k|482705 | 5262k| 383M| 54 | 7 | 60 |7597 | 182 | 60 | 17 | 18 | 945k|4031 | 0.000000e+00 | -- | Inf
356.00/356.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.00/356.16 c 336s| 1880k|485295 | 5291k| 385M| 54 | - | 60 |6302 | 19 | 60 | 17 | 18 | 950k|4031 | 0.000000e+00 | -- | Inf
358.00/358.14 c 338s| 1890k|488140 | 5320k| 388M| 54 | - | 60 |7753 | 252 | 60 | 17 | 18 | 955k|4031 | 0.000000e+00 | -- | Inf
360.20/360.32 c 340s| 1900k|490536 | 5348k| 389M| 54 | 7 | 60 |4477 | 70 | 60 | 17 | 18 | 960k|4031 | 0.000000e+00 | -- | Inf
362.31/362.40 c 342s| 1910k|492781 | 5376k| 391M| 54 | - | 60 |3594 | 265 | 60 | 17 | 18 | 965k|4031 | 0.000000e+00 | -- | Inf
364.20/364.36 c 344s| 1920k|495209 | 5405k| 393M| 54 | 7 | 60 |4014 | 278 | 60 | 17 | 18 | 970k|4039 | 0.000000e+00 | -- | Inf
366.20/366.32 c 346s| 1930k|498100 | 5434k| 395M| 54 | 7 | 60 |3979 | 34 | 60 | 17 | 18 | 975k|4047 | 0.000000e+00 | -- | Inf
368.00/368.12 c 347s| 1940k|501422 | 5461k| 398M| 54 | 7 | 60 |6113 | 89 | 60 | 17 | 18 | 979k|4055 | 0.000000e+00 | -- | Inf
370.10/370.25 c 349s| 1950k|503947 | 5490k| 399M| 54 | - | 60 |4467 | 33 | 60 | 17 | 18 | 984k|4063 | 0.000000e+00 | -- | Inf
372.10/372.24 c 351s| 1960k|506313 | 5517k| 401M| 54 | - | 60 |4189 | 120 | 60 | 17 | 18 | 989k|4070 | 0.000000e+00 | -- | Inf
374.10/374.20 c 353s| 1970k|508982 | 5546k| 403M| 54 | 7 | 60 |3966 | 63 | 60 | 17 | 18 | 994k|4077 | 0.000000e+00 | -- | Inf
376.00/376.12 c 355s| 1980k|511703 | 5572k| 405M| 54 | - | 60 |4006 | 20 | 60 | 17 | 18 | 999k|4085 | 0.000000e+00 | -- | Inf
377.90/378.03 c 357s| 1990k|514216 | 5600k| 408M| 54 | 7 | 60 |5198 | 116 | 60 | 17 | 18 |1004k|4091 | 0.000000e+00 | -- | Inf
379.89/380.01 c 359s| 2000k|516903 | 5628k| 410M| 54 | - | 60 |5098 | 58 | 60 | 17 | 18 |1009k|4105 | 0.000000e+00 | -- | Inf
381.90/382.06 c 361s| 2010k|519278 | 5656k| 412M| 54 | 7 | 60 |4625 | 116 | 60 | 17 | 18 |1015k|4111 | 0.000000e+00 | -- | Inf
383.80/383.92 c 362s| 2020k|522033 | 5684k| 414M| 54 | 7 | 60 |5783 | 53 | 60 | 17 | 18 |1019k|4112 | 0.000000e+00 | -- | Inf
385.90/386.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.90/386.01 c 364s| 2030k|524540 | 5712k| 415M| 54 | 7 | 60 |3997 | 236 | 60 | 17 | 18 |1024k|4112 | 0.000000e+00 | -- | Inf
387.80/387.90 c 366s| 2040k|527255 | 5740k| 418M| 54 | - | 60 |5084 | 39 | 0 | 0 | 18 |1029k|4112 | 0.000000e+00 | -- | Inf
389.60/389.73 c 368s| 2050k|530856 | 5768k| 420M| 54 | - | 60 |5721 | 45 | 60 | 17 | 18 |1034k|4112 | 0.000000e+00 | -- | Inf
391.40/391.59 c 369s| 2060k|534324 | 5796k| 423M| 54 | 7 | 60 |6697 | 87 | 60 | 17 | 18 |1038k|4116 | 0.000000e+00 | -- | Inf
393.39/393.55 c 371s| 2070k|537573 | 5823k| 425M| 54 | - | 60 |6825 | 316 | 60 | 17 | 18 |1043k|4121 | 0.000000e+00 | -- | Inf
395.30/395.49 c 373s| 2080k|540647 | 5851k| 427M| 54 | 7 | 60 |7554 | 31 | 60 | 17 | 18 |1047k|4129 | 0.000000e+00 | -- | Inf
397.50/397.64 c 375s| 2090k|543315 | 5880k| 429M| 54 | 7 | 60 |6905 | 22 | 60 | 17 | 18 |1052k|4137 | 0.000000e+00 | -- | Inf
399.70/399.81 c 377s| 2100k|545847 | 5907k| 431M| 54 | 7 | 60 |4672 | 132 | 60 | 17 | 18 |1057k|4144 | 0.000000e+00 | -- | Inf
401.69/401.87 c 379s| 2110k|548338 | 5935k| 433M| 54 | - | 60 |3774 | 64 | 60 | 17 | 18 |1062k|4150 | 0.000000e+00 | -- | Inf
403.69/403.84 c 381s| 2120k|550859 | 5963k| 435M| 54 | 7 | 60 |3654 | 170 | 60 | 17 | 18 |1067k|4160 | 0.000000e+00 | -- | Inf
405.69/405.81 c 383s| 2130k|553357 | 5990k| 436M| 54 | - | 60 |3472 | 196 | 60 | 17 | 18 |1072k|4164 | 0.000000e+00 | -- | Inf
407.59/407.79 c 385s| 2140k|555766 | 6018k| 439M| 54 | - | 60 |3763 | 226 | 60 | 17 | 18 |1077k|4173 | 0.000000e+00 | -- | Inf
409.59/409.72 c 387s| 2150k|558195 | 6045k| 441M| 54 | 7 | 60 |4213 | 15 | 60 | 17 | 18 |1082k|4184 | 0.000000e+00 | -- | Inf
411.49/411.63 c 388s| 2160k|560712 | 6074k| 443M| 54 | 7 | 60 |4493 | 98 | 60 | 17 | 18 |1087k|4190 | 0.000000e+00 | -- | Inf
413.50/413.65 c 390s| 2170k|562933 | 6102k| 445M| 54 | 7 | 60 |3638 | 44 | 60 | 17 | 18 |1092k|4201 | 0.000000e+00 | -- | Inf
415.49/415.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.49/415.61 c 392s| 2180k|565480 | 6130k| 447M| 54 | 7 | 60 |4209 | 46 | 60 | 17 | 18 |1097k|4207 | 0.000000e+00 | -- | Inf
417.39/417.59 c 394s| 2190k|567925 | 6158k| 449M| 54 | - | 60 |4028 | 49 | 60 | 17 | 18 |1103k|4220 | 0.000000e+00 | -- | Inf
419.38/419.57 c 396s| 2200k|570233 | 6186k| 451M| 54 | - | 60 |4560 | 20 | 60 | 17 | 18 |1108k|4224 | 0.000000e+00 | -- | Inf
421.49/421.62 c 398s| 2210k|572527 | 6214k| 453M| 54 | 7 | 60 |4520 | 506 | 60 | 17 | 18 |1113k|4231 | 0.000000e+00 | -- | Inf
423.49/423.65 c 400s| 2220k|575005 | 6242k| 454M| 54 | - | 60 |4339 | 16 | 60 | 17 | 18 |1118k|4237 | 0.000000e+00 | -- | Inf
425.49/425.63 c 402s| 2230k|577374 | 6270k| 457M| 54 | 7 | 60 |4633 | 33 | 60 | 17 | 18 |1123k|4240 | 0.000000e+00 | -- | Inf
427.39/427.58 c 404s| 2240k|579891 | 6297k| 458M| 54 | 7 | 60 |4271 | 171 | 60 | 17 | 18 |1128k|4240 | 0.000000e+00 | -- | Inf
429.39/429.52 c 405s| 2250k|582581 | 6325k| 460M| 54 | 7 | 60 |3680 | 132 | 60 | 17 | 18 |1133k|4244 | 0.000000e+00 | -- | Inf
431.39/431.50 c 407s| 2260k|585001 | 6353k| 462M| 54 | - | 60 |3900 | 12 | 60 | 17 | 18 |1138k|4249 | 0.000000e+00 | -- | Inf
433.39/433.53 c 409s| 2270k|587207 | 6381k| 464M| 54 | 7 | 60 |3456 | 280 | 60 | 17 | 18 |1143k|4258 | 0.000000e+00 | -- | Inf
435.28/435.46 c 411s| 2280k|589589 | 6408k| 466M| 54 | 7 | 60 |4006 | 60 | 60 | 17 | 18 |1148k|4264 | 0.000000e+00 | -- | Inf
437.28/437.48 c 413s| 2290k|591828 | 6436k| 468M| 54 | 7 | 60 |3784 | 46 | 60 | 17 | 18 |1153k|4276 | 0.000000e+00 | -- | Inf
439.39/439.52 c 415s| 2300k|594090 | 6464k| 470M| 54 | 7 | 60 |3834 | 115 | 60 | 17 | 18 |1159k|4283 | 0.000000e+00 | -- | Inf
441.38/441.52 c 417s| 2310k|596310 | 6492k| 472M| 54 | 7 | 60 |4255 | 61 | 60 | 17 | 18 |1164k|4289 | 0.000000e+00 | -- | Inf
443.38/443.54 c 419s| 2320k|598650 | 6520k| 474M| 54 | - | 60 |4056 | 19 | 60 | 17 | 18 |1169k|4293 | 0.000000e+00 | -- | Inf
445.39/445.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.39/445.58 c 421s| 2330k|601009 | 6547k| 476M| 54 | 7 | 60 |3626 | 128 | 60 | 17 | 18 |1174k|4300 | 0.000000e+00 | -- | Inf
447.38/447.57 c 422s| 2340k|603262 | 6575k| 478M| 54 | - | 60 |2841 | 40 | 60 | 17 | 18 |1179k|4303 | 0.000000e+00 | -- | Inf
449.28/449.42 c 424s| 2350k|605914 | 6603k| 480M| 54 | - | 60 |4348 | 171 | 60 | 17 | 18 |1184k|4310 | 0.000000e+00 | -- | Inf
451.38/451.52 c 426s| 2360k|608017 | 6631k| 482M| 54 | - | 60 |3437 | 73 | 60 | 17 | 18 |1190k|4314 | 0.000000e+00 | -- | Inf
453.38/453.52 c 428s| 2370k|610213 | 6659k| 484M| 54 | 7 | 60 |3907 | 19 | 60 | 17 | 18 |1195k|4322 | 0.000000e+00 | -- | Inf
455.19/455.38 c 430s| 2380k|613218 | 6687k| 486M| 54 | 7 | 60 |5233 | 496 | 60 | 17 | 18 |1200k|4324 | 0.000000e+00 | -- | Inf
457.38/457.52 c 432s| 2390k|615608 | 6715k| 488M| 54 | - | 60 |3709 | 80 | 60 | 17 | 18 |1205k|4328 | 0.000000e+00 | -- | Inf
459.38/459.51 c 434s| 2400k|618025 | 6743k| 490M| 54 | 7 | 60 |3831 | 72 | 60 | 17 | 18 |1210k|4333 | 0.000000e+00 | -- | Inf
461.37/461.51 c 436s| 2410k|620356 | 6771k| 492M| 54 | 7 | 60 |3395 | 236 | 60 | 17 | 18 |1215k|4335 | 0.000000e+00 | -- | Inf
463.37/463.53 c 437s| 2420k|622493 | 6799k| 494M| 54 | - | 60 |3728 | 48 | 0 | 0 | 18 |1220k|4342 | 0.000000e+00 | -- | Inf
465.28/465.45 c 439s| 2430k|625048 | 6826k| 496M| 54 | - | 60 |4547 | 11 | 0 | 0 | 18 |1225k|4347 | 0.000000e+00 | -- | Inf
467.38/467.52 c 441s| 2440k|627404 | 6854k| 498M| 54 | - | 60 |3819 | 172 | 60 | 17 | 18 |1230k|4354 | 0.000000e+00 | -- | Inf
469.37/469.50 c 443s| 2450k|629774 | 6882k| 500M| 54 | 7 | 60 |4036 | 37 | 60 | 17 | 18 |1235k|4358 | 0.000000e+00 | -- | Inf
471.37/471.59 c 445s| 2460k|631981 | 6910k| 502M| 54 | 7 | 60 |3291 | 7 | 60 | 17 | 18 |1241k|4362 | 0.000000e+00 | -- | Inf
473.37/473.51 c 447s| 2470k|634555 | 6937k| 504M| 54 | - | 60 |4144 | 323 | 60 | 17 | 18 |1246k|4376 | 0.000000e+00 | -- | Inf
475.27/475.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.27/475.49 c 449s| 2480k|636942 | 6965k| 506M| 54 | 7 | 60 |4646 | 42 | 60 | 17 | 18 |1251k|4384 | 0.000000e+00 | -- | Inf
477.37/477.53 c 451s| 2490k|639282 | 6993k| 508M| 54 | 7 | 60 |4246 | 361 | 60 | 17 | 18 |1256k|4391 | 0.000000e+00 | -- | Inf
479.37/479.57 c 453s| 2500k|641604 | 7021k| 510M| 54 | - | 60 |3669 | 35 | 60 | 17 | 18 |1261k|4397 | 0.000000e+00 | -- | Inf
481.37/481.52 c 454s| 2510k|644102 | 7049k| 512M| 54 | 7 | 60 |4352 | 26 | 60 | 17 | 18 |1266k|4401 | 0.000000e+00 | -- | Inf
483.37/483.52 c 456s| 2520k|646513 | 7077k| 514M| 54 | 7 | 60 |4400 | 208 | 60 | 17 | 18 |1271k|4403 | 0.000000e+00 | -- | Inf
485.37/485.55 c 458s| 2530k|648860 | 7104k| 516M| 54 | 7 | 60 |3473 | 21 | 60 | 17 | 18 |1277k|4405 | 0.000000e+00 | -- | Inf
487.37/487.56 c 460s| 2540k|651131 | 7133k| 518M| 54 | - | 60 |3648 | 42 | 60 | 17 | 18 |1282k|4410 | 0.000000e+00 | -- | Inf
489.37/489.58 c 462s| 2550k|653220 | 7161k| 520M| 54 | 7 | 60 |3895 | 308 | 60 | 17 | 18 |1287k|4412 | 0.000000e+00 | -- | Inf
491.47/491.65 c 464s| 2560k|655538 | 7188k| 522M| 54 | 7 | 60 |3628 | 243 | 60 | 17 | 18 |1292k|4414 | 0.000000e+00 | -- | Inf
493.36/493.54 c 466s| 2570k|658083 | 7215k| 524M| 54 | 7 | 60 |4542 | 10 | 60 | 17 | 18 |1297k|4419 | 0.000000e+00 | -- | Inf
495.36/495.57 c 468s| 2580k|660327 | 7242k| 526M| 54 | 7 | 60 |4487 | 185 | 60 | 17 | 18 |1303k|4422 | 0.000000e+00 | -- | Inf
497.46/497.63 c 470s| 2590k|662683 | 7270k| 528M| 54 | 7 | 60 |3721 | 151 | 60 | 17 | 18 |1308k|4429 | 0.000000e+00 | -- | Inf
499.46/499.64 c 472s| 2600k|665011 | 7298k| 530M| 54 | 7 | 60 |3661 | 62 | 60 | 17 | 18 |1313k|4433 | 0.000000e+00 | -- | Inf
501.36/501.59 c 473s| 2610k|667486 | 7326k| 532M| 54 | - | 60 |4542 | 40 | 60 | 17 | 18 |1318k|4437 | 0.000000e+00 | -- | Inf
503.46/503.66 c 475s| 2620k|669864 | 7354k| 534M| 54 | 7 | 60 |3953 | 53 | 60 | 17 | 18 |1323k|4446 | 0.000000e+00 | -- | Inf
505.45/505.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.45/505.66 c 477s| 2630k|672020 | 7382k| 536M| 54 | - | 60 |3485 | 423 | 60 | 17 | 18 |1328k|4453 | 0.000000e+00 | -- | Inf
507.35/507.58 c 479s| 2640k|674422 | 7409k| 538M| 54 | 7 | 60 |4119 | 126 | 60 | 17 | 18 |1333k|4458 | 0.000000e+00 | -- | Inf
509.35/509.58 c 481s| 2650k|676793 | 7436k| 540M| 54 | - | 60 |3773 | 37 | 60 | 17 | 18 |1339k|4462 | 0.000000e+00 | -- | Inf
511.15/511.32 c 483s| 2660k|680258 | 7463k| 542M| 54 | - | 60 |5750 | 22 | 60 | 17 | 18 |1343k|4465 | 0.000000e+00 | -- | Inf
513.05/513.27 c 484s| 2670k|683049 | 7491k| 544M| 54 | 7 | 60 |6066 | 38 | 60 | 17 | 18 |1348k|4466 | 0.000000e+00 | -- | Inf
514.95/515.17 c 486s| 2680k|685990 | 7518k| 547M| 54 | 7 | 60 |6593 | 284 | 60 | 17 | 18 |1352k|4470 | 0.000000e+00 | -- | Inf
517.05/517.22 c 488s| 2690k|688632 | 7544k| 548M| 54 | 7 | 60 |4977 | 92 | 60 | 17 | 18 |1357k|4471 | 0.000000e+00 | -- | Inf
519.14/519.30 c 490s| 2700k|690724 | 7571k| 550M| 54 | - | 60 |4033 | 37 | 60 | 17 | 18 |1363k|4471 | 0.000000e+00 | -- | Inf
521.05/521.29 c 492s| 2710k|693088 | 7600k| 552M| 54 | 7 | 60 |5123 | 241 | 60 | 17 | 18 |1368k|4477 | 0.000000e+00 | -- | Inf
523.14/523.37 c 494s| 2720k|695286 | 7628k| 554M| 54 | - | 60 |4308 | 38 | 0 | 0 | 18 |1373k|4483 | 0.000000e+00 | -- | Inf
525.14/525.30 c 496s| 2730k|697806 | 7656k| 556M| 54 | - | 60 |4266 | 184 | 60 | 17 | 18 |1378k|4488 | 0.000000e+00 | -- | Inf
527.14/527.33 c 498s| 2740k|699999 | 7684k| 558M| 54 | 7 | 60 |4043 | 198 | 60 | 17 | 18 |1383k|4491 | 0.000000e+00 | -- | Inf
529.04/529.29 c 500s| 2750k|702428 | 7711k| 560M| 54 | - | 60 |4617 | 40 | 60 | 17 | 18 |1388k|4492 | 0.000000e+00 | -- | Inf
531.14/531.38 c 502s| 2760k|704584 | 7739k| 562M| 54 | - | 60 |3774 | 162 | 60 | 17 | 18 |1393k|4496 | 0.000000e+00 | -- | Inf
533.25/533.42 c 504s| 2770k|706786 | 7767k| 564M| 54 | 7 | 60 |3894 | 137 | 60 | 17 | 18 |1399k|4507 | 0.000000e+00 | -- | Inf
535.24/535.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.24/535.48 c 506s| 2780k|708838 | 7795k| 566M| 54 | - | 60 |3817 | 215 | 60 | 17 | 18 |1404k|4511 | 0.000000e+00 | -- | Inf
537.23/537.48 c 507s| 2790k|711232 | 7823k| 568M| 54 | - | 60 |3631 | 61 | 60 | 17 | 18 |1409k|4518 | 0.000000e+00 | -- | Inf
539.24/539.46 c 509s| 2800k|713545 | 7851k| 570M| 54 | 7 | 60 |3886 | 29 | 60 | 17 | 18 |1414k|4518 | 0.000000e+00 | -- | Inf
541.23/541.48 c 511s| 2810k|715886 | 7881k| 572M| 54 | - | 60 |3612 | 79 | 60 | 17 | 18 |1419k|4522 | 0.000000e+00 | -- | Inf
543.25/543.43 c 513s| 2820k|718335 | 7908k| 574M| 54 | - | 60 |4036 | 198 | 60 | 17 | 18 |1424k|4527 | 0.000000e+00 | -- | Inf
545.14/545.37 c 515s| 2830k|720677 | 7935k| 576M| 54 | 7 | 60 |4557 | 820 | 60 | 17 | 18 |1429k|4528 | 0.000000e+00 | -- | Inf
547.14/547.38 c 517s| 2840k|723072 | 7963k| 578M| 54 | 7 | 60 |4274 | 35 | 60 | 17 | 18 |1434k|4528 | 0.000000e+00 | -- | Inf
549.24/549.43 c 519s| 2850k|725315 | 7991k| 580M| 54 | - | 60 |4025 | 150 | 60 | 17 | 18 |1440k|4531 | 0.000000e+00 | -- | Inf
551.14/551.39 c 521s| 2860k|727793 | 8018k| 582M| 54 | 7 | 60 |5404 | 47 | 60 | 17 | 18 |1445k|4533 | 0.000000e+00 | -- | Inf
553.34/553.51 c 523s| 2870k|730042 | 8045k| 584M| 54 | 7 | 60 |4728 | 150 | 60 | 17 | 18 |1450k|4543 | 0.000000e+00 | -- | Inf
555.35/555.58 c 525s| 2880k|732474 | 8073k| 585M| 54 | 7 | 60 |3902 | 47 | 60 | 17 | 18 |1455k|4555 | 0.000000e+00 | -- | Inf
557.24/557.43 c 526s| 2890k|735537 | 8100k| 588M| 54 | - | 60 |5434 | 33 | 60 | 17 | 18 |1460k|4560 | 0.000000e+00 | -- | Inf
559.24/559.47 c 528s| 2900k|738245 | 8128k| 590M| 54 | 7 | 60 |6228 | 14 | 60 | 17 | 18 |1465k|4564 | 0.000000e+00 | -- | Inf
561.24/561.44 c 530s| 2910k|741204 | 8156k| 593M| 54 | 7 | 60 |6588 | 179 | 60 | 17 | 18 |1469k|4568 | 0.000000e+00 | -- | Inf
563.44/563.68 c 532s| 2920k|743464 | 8184k| 594M| 54 | - | 60 |4494 | 42 | 60 | 17 | 18 |1475k|4573 | 0.000000e+00 | -- | Inf
565.53/565.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.53/565.76 c 534s| 2930k|745879 | 8212k| 596M| 54 | - | 60 |4200 | 15 | 60 | 17 | 18 |1480k|4581 | 0.000000e+00 | -- | Inf
567.53/567.73 c 536s| 2940k|748317 | 8240k| 598M| 54 | - | 60 |4732 | 22 | 60 | 17 | 18 |1485k|4592 | 0.000000e+00 | -- | Inf
569.54/569.77 c 538s| 2950k|750837 | 8267k| 600M| 54 | 7 | 60 |4250 | 90 | 60 | 17 | 18 |1490k|4598 | 0.000000e+00 | -- | Inf
571.63/571.88 c 540s| 2960k|753042 | 8295k| 602M| 54 | 7 | 60 |3818 | 20 | 60 | 17 | 18 |1495k|4604 | 0.000000e+00 | -- | Inf
573.63/573.89 c 542s| 2970k|755530 | 8323k| 604M| 54 | 7 | 60 |4111 | 89 | 60 | 17 | 18 |1500k|4612 | 0.000000e+00 | -- | Inf
575.63/575.83 c 544s| 2980k|758173 | 8350k| 606M| 54 | - | 60 |4672 | 73 | 60 | 17 | 18 |1505k|4614 | 0.000000e+00 | -- | Inf
577.64/577.86 c 546s| 2990k|760534 | 8377k| 608M| 54 | 7 | 60 |4270 | 14 | 60 | 17 | 18 |1510k|4620 | 0.000000e+00 | -- | Inf
579.73/579.91 c 548s| 3000k|762778 | 8404k| 610M| 54 | 7 | 60 |4071 | 188 | 60 | 17 | 18 |1515k|4621 | 0.000000e+00 | -- | Inf
581.74/581.92 c 549s| 3010k|765140 | 8433k| 612M| 54 | - | 60 |4527 | 20 | 60 | 17 | 18 |1520k|4626 | 0.000000e+00 | -- | Inf
583.73/583.98 c 551s| 3020k|767597 | 8461k| 614M| 54 | - | 60 |4350 | 19 | 60 | 17 | 18 |1525k|4634 | 0.000000e+00 | -- | Inf
585.83/586.06 c 553s| 3030k|769784 | 8489k| 616M| 54 | 7 | 60 |4239 | 61 | 60 | 17 | 18 |1531k|4639 | 0.000000e+00 | -- | Inf
587.83/588.08 c 555s| 3040k|772056 | 8516k| 618M| 54 | 7 | 60 |4168 | 102 | 60 | 17 | 18 |1536k|4648 | 0.000000e+00 | -- | Inf
589.94/590.16 c 557s| 3050k|774318 | 8544k| 620M| 54 | 7 | 60 |3970 | 105 | 60 | 17 | 18 |1541k|4653 | 0.000000e+00 | -- | Inf
592.03/592.20 c 559s| 3060k|776739 | 8572k| 622M| 54 | 7 | 60 |4440 | 20 | 60 | 17 | 18 |1546k|4655 | 0.000000e+00 | -- | Inf
593.93/594.18 c 561s| 3070k|779272 | 8599k| 624M| 54 | 7 | 60 |5346 | 35 | 60 | 17 | 18 |1551k|4663 | 0.000000e+00 | -- | Inf
596.13/596.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.13/596.31 c 563s| 3080k|781688 | 8627k| 626M| 54 | - | 60 |4397 | 77 | 60 | 17 | 18 |1556k|4668 | 0.000000e+00 | -- | Inf
598.24/598.41 c 565s| 3090k|783934 | 8655k| 628M| 54 | 7 | 60 |3908 | 38 | 60 | 17 | 18 |1561k|4677 | 0.000000e+00 | -- | Inf
600.03/600.26 c 567s| 3100k|787221 | 8682k| 630M| 54 | 7 | 60 |5669 | 82 | 60 | 17 | 18 |1566k|4681 | 0.000000e+00 | -- | Inf
602.03/602.23 c 569s| 3110k|790141 | 8709k| 632M| 54 | - | 60 |5901 | 11 | 60 | 17 | 18 |1570k|4686 | 0.000000e+00 | -- | Inf
604.03/604.21 c 571s| 3120k|793189 | 8736k| 635M| 54 | 7 | 60 |6474 | 323 | 60 | 17 | 18 |1575k|4687 | 0.000000e+00 | -- | Inf
606.13/606.31 c 573s| 3130k|795752 | 8762k| 637M| 54 | 7 | 60 |6787 | 83 | 60 | 17 | 18 |1580k|4693 | 0.000000e+00 | -- | Inf
608.23/608.43 c 575s| 3140k|798449 | 8789k| 639M| 54 | 7 | 60 |7185 | 517 | 60 | 17 | 18 |1585k|4696 | 0.000000e+00 | -- | Inf
610.43/610.67 c 577s| 3150k|800678 | 8816k| 640M| 54 | 7 | 60 |4930 | 68 | 60 | 17 | 18 |1590k|4696 | 0.000000e+00 | -- | Inf
612.62/612.89 c 579s| 3160k|802780 | 8844k| 642M| 54 | 7 | 60 |4279 | 204 | 60 | 17 | 18 |1595k|4696 | 0.000000e+00 | -- | Inf
614.73/614.99 c 581s| 3170k|804978 | 8872k| 644M| 54 | - | 60 |4335 | 356 | 60 | 17 | 18 |1600k|4696 | 0.000000e+00 | -- | Inf
616.93/617.12 c 583s| 3180k|807280 | 8900k| 646M| 54 | - | 60 |4133 | 15 | 60 | 17 | 18 |1606k|4696 | 0.000000e+00 | -- | Inf
618.93/619.20 c 585s| 3190k|809377 | 8927k| 648M| 54 | 7 | 60 |4504 | 222 | 60 | 17 | 18 |1611k|4696 | 0.000000e+00 | -- | Inf
620.92/621.18 c 587s| 3200k|811856 | 8954k| 650M| 54 | - | 60 |5493 | 209 | 60 | 17 | 18 |1616k|4697 | 0.000000e+00 | -- | Inf
623.02/623.29 c 589s| 3210k|814128 | 8982k| 652M| 54 | 7 | 60 |4280 | 42 | 60 | 17 | 18 |1621k|4702 | 0.000000e+00 | -- | Inf
625.23/625.48 c 591s| 3220k|816282 | 9010k| 654M| 54 | - | 60 |3971 | 53 | 60 | 17 | 18 |1626k|4716 | 0.000000e+00 | -- | Inf
627.33/627.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.33/627.52 c 593s| 3230k|818670 | 9038k| 656M| 54 | - | 60 |4471 | 34 | 60 | 17 | 18 |1631k|4727 | 0.000000e+00 | -- | Inf
629.33/629.51 c 595s| 3240k|821178 | 9065k| 658M| 54 | - | 60 |5767 | 59 | 60 | 17 | 18 |1637k|4729 | 0.000000e+00 | -- | Inf
631.42/631.67 c 597s| 3250k|823369 | 9093k| 660M| 54 | - | 60 |3914 | 55 | 60 | 17 | 18 |1642k|4735 | 0.000000e+00 | -- | Inf
633.43/633.69 c 599s| 3260k|825775 | 9122k| 662M| 54 | - | 60 |4586 | 19 | 60 | 17 | 18 |1647k|4742 | 0.000000e+00 | -- | Inf
635.43/635.65 c 601s| 3270k|828413 | 9150k| 664M| 54 | 7 | 60 |5105 | 55 | 60 | 17 | 18 |1652k|4746 | 0.000000e+00 | -- | Inf
637.42/637.67 c 602s| 3280k|830982 | 9178k| 666M| 54 | 7 | 60 |5404 | 262 | 60 | 17 | 18 |1657k|4752 | 0.000000e+00 | -- | Inf
639.62/639.86 c 605s| 3290k|833063 | 9207k| 668M| 54 | 7 | 60 |4985 | 147 | 60 | 17 | 18 |1663k|4762 | 0.000000e+00 | -- | Inf
641.72/641.96 c 606s| 3300k|835492 | 9233k| 670M| 54 | - | 60 |5167 | 67 | 60 | 17 | 18 |1668k|4763 | 0.000000e+00 | -- | Inf
643.82/644.02 c 608s| 3310k|837882 | 9260k| 672M| 54 | 7 | 60 |5165 | 15 | 60 | 17 | 18 |1673k|4764 | 0.000000e+00 | -- | Inf
645.93/646.11 c 610s| 3320k|840314 | 9288k| 674M| 54 | 7 | 60 |4468 | 52 | 60 | 17 | 18 |1678k|4774 | 0.000000e+00 | -- | Inf
647.92/648.13 c 612s| 3330k|842989 | 9318k| 676M| 54 | - | 60 |5917 | 16 | 60 | 17 | 18 |1683k|4776 | 0.000000e+00 | -- | Inf
649.93/650.17 c 614s| 3340k|845769 | 9346k| 679M| 54 | 7 | 60 |7271 | 37 | 60 | 17 | 18 |1687k|4781 | 0.000000e+00 | -- | Inf
652.23/652.46 c 616s| 3350k|848090 | 9374k| 680M| 54 | 7 | 60 |4919 | 25 | 60 | 17 | 18 |1693k|4781 | 0.000000e+00 | -- | Inf
654.42/654.64 c 619s| 3360k|850158 | 9401k| 682M| 54 | 7 | 60 |4712 | 99 | 60 | 17 | 18 |1698k|4781 | 0.000000e+00 | -- | Inf
656.53/656.71 c 621s| 3370k|852457 | 9429k| 684M| 54 | 7 | 60 |5696 | 193 | 60 | 17 | 18 |1703k|4784 | 0.000000e+00 | -- | Inf
658.62/658.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.62/658.86 c 623s| 3380k|854922 | 9457k| 686M| 54 | 7 | 60 |5192 | 136 | 60 | 17 | 18 |1708k|4787 | 0.000000e+00 | -- | Inf
660.82/661.01 c 625s| 3390k|857176 | 9484k| 688M| 54 | - | 60 |4257 | 40 | 0 | 0 | 18 |1713k|4794 | 0.000000e+00 | -- | Inf
662.92/663.10 c 627s| 3400k|859277 | 9512k| 690M| 54 | 7 | 60 |4071 | 38 | 60 | 17 | 18 |1718k|4795 | 0.000000e+00 | -- | Inf
665.02/665.21 c 629s| 3410k|861509 | 9539k| 692M| 54 | 7 | 60 |3618 | 136 | 60 | 17 | 18 |1724k|4795 | 0.000000e+00 | -- | Inf
667.02/667.21 c 630s| 3420k|864019 | 9567k| 694M| 54 | 7 | 60 |4461 | 35 | 60 | 17 | 18 |1729k|4800 | 0.000000e+00 | -- | Inf
669.12/669.34 c 632s| 3430k|866264 | 9595k| 696M| 54 | - | 60 |4189 | 63 | 60 | 17 | 18 |1734k|4805 | 0.000000e+00 | -- | Inf
671.22/671.45 c 634s| 3440k|868419 | 9622k| 698M| 54 | 7 | 60 |4571 | 252 | 60 | 17 | 18 |1739k|4813 | 0.000000e+00 | -- | Inf
673.32/673.54 c 636s| 3450k|870885 | 9650k| 700M| 54 | 7 | 60 |4399 | 305 | 60 | 17 | 18 |1744k|4819 | 0.000000e+00 | -- | Inf
675.32/675.56 c 638s| 3460k|873293 | 9677k| 702M| 54 | 7 | 60 |5134 | 62 | 60 | 17 | 18 |1749k|4824 | 0.000000e+00 | -- | Inf
677.32/677.59 c 640s| 3470k|875972 | 9706k| 704M| 54 | - | 60 |6032 | 10 | 60 | 17 | 18 |1754k|4834 | 0.000000e+00 | -- | Inf
679.52/679.73 c 642s| 3480k|878490 | 9734k| 706M| 54 | 7 | 60 |5879 | 38 | 60 | 17 | 18 |1759k|4841 | 0.000000e+00 | -- | Inf
681.72/681.92 c 644s| 3490k|880825 | 9761k| 708M| 54 | - | 60 |4411 | 42 | 0 | 0 | 18 |1764k|4847 | 0.000000e+00 | -- | Inf
683.81/684.06 c 646s| 3500k|883115 | 9789k| 710M| 54 | - | 60 |4167 | 26 | 60 | 17 | 18 |1770k|4850 | 0.000000e+00 | -- | Inf
685.82/686.06 c 648s| 3510k|885566 | 9816k| 712M| 54 | 7 | 60 |4989 | 131 | 60 | 17 | 18 |1775k|4855 | 0.000000e+00 | -- | Inf
687.72/687.92 c 650s| 3520k|888701 | 9843k| 714M| 54 | 7 | 60 |6162 | 287 | 60 | 17 | 18 |1779k|4859 | 0.000000e+00 | -- | Inf
689.72/689.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.72/689.94 c 652s| 3530k|891486 | 9870k| 716M| 54 | 7 | 60 |5898 | 36 | 60 | 17 | 18 |1784k|4859 | 0.000000e+00 | -- | Inf
691.82/692.01 c 654s| 3540k|893958 | 9898k| 718M| 54 | 7 | 60 |5681 | 22 | 60 | 17 | 18 |1789k|4861 | 0.000000e+00 | -- | Inf
693.92/694.18 c 656s| 3550k|896384 | 9926k| 720M| 54 | - | 60 |5675 | 82 | 60 | 17 | 18 |1794k|4869 | 0.000000e+00 | -- | Inf
696.12/696.38 c 658s| 3560k|898469 | 9954k| 722M| 54 | - | 60 |4933 | 190 | 60 | 17 | 18 |1799k|4873 | 0.000000e+00 | -- | Inf
698.32/698.58 c 660s| 3570k|900515 | 9981k| 724M| 54 | 7 | 60 |4155 | 82 | 60 | 17 | 18 |1805k|4874 | 0.000000e+00 | -- | Inf
700.42/700.70 c 662s| 3580k|902807 | 10009k| 726M| 54 | 7 | 60 |4033 | 18 | 60 | 17 | 18 |1810k|4875 | 0.000000e+00 | -- | Inf
702.52/702.78 c 664s| 3590k|905226 | 10037k| 728M| 54 | 7 | 60 |4324 | 47 | 60 | 17 | 18 |1815k|4876 | 0.000000e+00 | -- | Inf
704.61/704.89 c 666s| 3600k|907425 | 10064k| 730M| 54 | 7 | 60 |4004 | 112 | 60 | 17 | 18 |1820k|4876 | 0.000000e+00 | -- | Inf
706.81/707.01 c 668s| 3610k|909690 | 10092k| 732M| 54 | 7 | 60 |4270 | 245 | 60 | 17 | 18 |1825k|4880 | 0.000000e+00 | -- | Inf
708.92/709.13 c 670s| 3620k|911936 | 10120k| 733M| 54 | 7 | 60 |4431 | 60 | 60 | 17 | 18 |1830k|4880 | 0.000000e+00 | -- | Inf
711.01/711.26 c 672s| 3630k|914260 | 10147k| 735M| 54 | 7 | 60 |4174 | 47 | 60 | 17 | 18 |1836k|4880 | 0.000000e+00 | -- | Inf
713.21/713.42 c 674s| 3640k|916470 | 10175k| 737M| 54 | 7 | 60 |4202 | 137 | 60 | 17 | 18 |1841k|4884 | 0.000000e+00 | -- | Inf
715.31/715.55 c 676s| 3650k|918816 | 10202k| 739M| 54 | - | 60 |4785 | 53 | 60 | 17 | 18 |1846k|4888 | 0.000000e+00 | -- | Inf
717.41/717.60 c 678s| 3660k|921234 | 10229k| 742M| 54 | - | 60 |5152 | 73 | 60 | 17 | 18 |1851k|4895 | 0.000000e+00 | -- | Inf
719.51/719.72 c 680s| 3670k|923617 | 10256k| 743M| 54 | 7 | 60 |3968 | 29 | 60 | 17 | 18 |1856k|4900 | 0.000000e+00 | -- | Inf
721.51/721.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.51/721.72 c 682s| 3680k|926198 | 10283k| 745M| 54 | - | 60 |4350 | 122 | 60 | 17 | 18 |1861k|4908 | 0.000000e+00 | -- | Inf
723.52/723.73 c 684s| 3690k|928694 | 10310k| 748M| 54 | - | 60 |5374 | 123 | 60 | 17 | 18 |1866k|4910 | 0.000000e+00 | -- | Inf
725.61/725.89 c 686s| 3700k|930938 | 10337k| 750M| 54 | 7 | 60 |5125 | 20 | 60 | 17 | 18 |1871k|4910 | 0.000000e+00 | -- | Inf
727.71/727.98 c 688s| 3710k|933277 | 10364k| 751M| 54 | - | 60 |4920 | 29 | 0 | 0 | 18 |1876k|4910 | 0.000000e+00 | -- | Inf
729.81/730.00 c 690s| 3720k|935665 | 10391k| 754M| 54 | 7 | 60 |5453 | 15 | 60 | 17 | 18 |1881k|4911 | 0.000000e+00 | -- | Inf
731.91/732.11 c 692s| 3730k|938254 | 10419k| 755M| 54 | 7 | 60 |5420 | 112 | 60 | 17 | 18 |1886k|4914 | 0.000000e+00 | -- | Inf
734.01/734.21 c 694s| 3740k|940799 | 10446k| 757M| 54 | - | 60 |5170 | 41 | 60 | 17 | 18 |1891k|4919 | 0.000000e+00 | -- | Inf
736.11/736.39 c 696s| 3750k|943121 | 10474k| 759M| 54 | - | 60 |4246 | 21 | 60 | 17 | 18 |1897k|4922 | 0.000000e+00 | -- | Inf
738.30/738.52 c 698s| 3760k|945313 | 10501k| 761M| 54 | 7 | 60 |3674 | 204 | 60 | 17 | 18 |1902k|4927 | 0.000000e+00 | -- | Inf
740.41/740.61 c 700s| 3770k|947503 | 10529k| 763M| 54 | 7 | 60 |4020 | 20 | 60 | 17 | 18 |1907k|4933 | 0.000000e+00 | -- | Inf
742.32/742.56 c 702s| 3780k|950246 | 10556k| 765M| 54 | 7 | 60 |5413 | 32 | 60 | 17 | 18 |1912k|4938 | 0.000000e+00 | -- | Inf
744.41/744.63 c 704s| 3790k|952854 | 10583k| 767M| 54 | 7 | 60 |5225 | 99 | 60 | 17 | 18 |1917k|4941 | 0.000000e+00 | -- | Inf
746.51/746.78 c 706s| 3800k|955263 | 10611k| 769M| 54 | 7 | 60 |4647 | 369 | 60 | 17 | 18 |1922k|4944 | 0.000000e+00 | -- | Inf
748.70/748.93 c 708s| 3810k|957595 | 10639k| 771M| 54 | - | 60 |4592 | 84 | 60 | 17 | 18 |1927k|4947 | 0.000000e+00 | -- | Inf
750.91/751.12 c 710s| 3820k|959638 | 10667k| 773M| 54 | 7 | 60 |3841 | 184 | 60 | 17 | 18 |1932k|4951 | 0.000000e+00 | -- | Inf
753.01/753.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.01/753.26 c 712s| 3830k|961749 | 10695k| 775M| 54 | - | 60 |3917 | 54 | 60 | 17 | 18 |1937k|4960 | 0.000000e+00 | -- | Inf
755.11/755.38 c 714s| 3840k|963908 | 10723k| 777M| 54 | 7 | 60 |4194 | 112 | 60 | 17 | 18 |1943k|4968 | 0.000000e+00 | -- | Inf
757.10/757.31 c 716s| 3850k|966903 | 10752k| 780M| 54 | - | 60 |5979 | 101 | 60 | 17 | 18 |1947k|4971 | 0.000000e+00 | -- | Inf
759.31/759.55 c 718s| 3860k|969160 | 10780k| 781M| 54 | 7 | 60 |4995 | 155 | 60 | 17 | 18 |1953k|4976 | 0.000000e+00 | -- | Inf
761.51/761.70 c 720s| 3870k|971346 | 10807k| 783M| 54 | 7 | 60 |4230 | 93 | 60 | 17 | 18 |1958k|4983 | 0.000000e+00 | -- | Inf
763.51/763.72 c 722s| 3880k|973783 | 10835k| 785M| 54 | - | 60 |5193 | 179 | 60 | 17 | 18 |1963k|4988 | 0.000000e+00 | -- | Inf
765.60/765.88 c 724s| 3890k|976396 | 10863k| 787M| 54 | 7 | 60 |5902 | 707 | 60 | 17 | 18 |1968k|4993 | 0.000000e+00 | -- | Inf
767.80/768.09 c 726s| 3900k|978732 | 10891k| 789M| 54 | - | 60 |5065 | 30 | 60 | 17 | 18 |1973k|4998 | 0.000000e+00 | -- | Inf
770.10/770.35 c 728s| 3910k|980942 | 10919k| 791M| 54 | 7 | 60 |4736 | 387 | 60 | 17 | 18 |1979k|5005 | 0.000000e+00 | -- | Inf
772.21/772.46 c 730s| 3920k|983626 | 10947k| 793M| 54 | - | 60 |4388 | 52 | 60 | 17 | 18 |1983k|5006 | 0.000000e+00 | -- | Inf
774.40/774.63 c 732s| 3930k|985816 | 10974k| 795M| 54 | - | 60 |4170 | 27 | 60 | 17 | 18 |1989k|5012 | 0.000000e+00 | -- | Inf
776.41/776.70 c 734s| 3940k|988049 | 11001k| 797M| 54 | - | 60 |4214 | 20 | 0 | 0 | 18 |1994k|5016 | 0.000000e+00 | -- | Inf
778.60/778.88 c 736s| 3950k|990151 | 11029k| 799M| 54 | - | 60 |4248 | 28 | 0 | 0 | 18 |1999k|5020 | 0.000000e+00 | -- | Inf
780.81/781.02 c 738s| 3960k|992363 | 11056k| 801M| 54 | 7 | 60 |4152 | 51 | 60 | 17 | 18 |2004k|5027 | 0.000000e+00 | -- | Inf
782.80/783.06 c 740s| 3970k|994740 | 11085k| 803M| 54 | - | 60 |3978 | 75 | 60 | 17 | 18 |2009k|5034 | 0.000000e+00 | -- | Inf
784.70/784.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.70/784.96 c 742s| 3980k|997804 | 11113k| 805M| 54 | - | 60 |5519 | 12 | 60 | 17 | 18 |2014k|5037 | 0.000000e+00 | -- | Inf
786.90/787.14 c 744s| 3990k| 1000k| 11141k| 807M| 54 | 7 | 60 |4824 | 34 | 60 | 17 | 18 |2019k|5040 | 0.000000e+00 | -- | Inf
789.00/789.28 c 746s| 4000k| 1002k| 11168k| 809M| 54 | - | 60 |5150 | 29 | 60 | 17 | 18 |2024k|5043 | 0.000000e+00 | -- | Inf
791.20/791.49 c 748s| 4010k| 1004k| 11196k| 811M| 54 | - | 60 |4202 | 103 | 60 | 17 | 18 |2029k|5046 | 0.000000e+00 | -- | Inf
793.30/793.56 c 750s| 4020k| 1007k| 11222k| 813M| 54 | - | 60 |3651 | 23 | 60 | 17 | 18 |2035k|5046 | 0.000000e+00 | -- | Inf
795.40/795.62 c 752s| 4030k| 1009k| 11250k| 815M| 54 | 7 | 60 |3960 | 80 | 60 | 17 | 18 |2040k|5052 | 0.000000e+00 | -- | Inf
797.50/797.70 c 754s| 4040k| 1011k| 11278k| 817M| 54 | 7 | 60 |4682 | 26 | 60 | 17 | 18 |2045k|5065 | 0.000000e+00 | -- | Inf
799.60/799.87 c 756s| 4050k| 1014k| 11306k| 819M| 54 | - | 60 |4524 | 45 | 60 | 17 | 18 |2050k|5070 | 0.000000e+00 | -- | Inf
801.90/802.13 c 758s| 4060k| 1016k| 11333k| 820M| 54 | - | 60 |3785 | 36 | 60 | 17 | 18 |2055k|5074 | 0.000000e+00 | -- | Inf
803.91/804.19 c 760s| 4070k| 1018k| 11361k| 823M| 54 | - | 60 |4261 | 16 | 60 | 17 | 18 |2060k|5079 | 0.000000e+00 | -- | Inf
806.01/806.27 c 762s| 4080k| 1021k| 11387k| 824M| 54 | 7 | 60 |3965 | 55 | 60 | 17 | 18 |2065k|5087 | 0.000000e+00 | -- | Inf
808.20/808.45 c 764s| 4090k| 1023k| 11415k| 826M| 54 | 7 | 60 |3893 | 15 | 60 | 17 | 18 |2070k|5095 | 0.000000e+00 | -- | Inf
810.30/810.50 c 766s| 4100k| 1025k| 11444k| 829M| 54 | - | 60 |5174 | 82 | 60 | 17 | 18 |2076k|5099 | 0.000000e+00 | -- | Inf
812.50/812.71 c 768s| 4110k| 1027k| 11472k| 830M| 54 | 7 | 60 |4383 | 51 | 60 | 17 | 18 |2081k|5104 | 0.000000e+00 | -- | Inf
814.60/814.87 c 770s| 4120k| 1029k| 11499k| 832M| 54 | 7 | 60 |3919 | 22 | 60 | 17 | 18 |2086k|5109 | 0.000000e+00 | -- | Inf
816.50/816.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.50/816.79 c 772s| 4130k| 1032k| 11527k| 835M| 54 | 7 | 60 |5335 | 214 | 60 | 17 | 18 |2091k|5113 | 0.000000e+00 | -- | Inf
818.59/818.81 c 774s| 4140k| 1035k| 11555k| 837M| 54 | 7 | 60 |6945 | 65 | 60 | 17 | 18 |2096k|5114 | 0.000000e+00 | -- | Inf
820.80/821.03 c 776s| 4150k| 1037k| 11584k| 839M| 54 | 7 | 60 |6958 | 17 | 60 | 17 | 18 |2101k|5114 | 0.000000e+00 | -- | Inf
823.10/823.31 c 778s| 4160k| 1039k| 11613k| 841M| 54 | - | 60 |7019 | 63 | 60 | 17 | 18 |2106k|5114 | 0.000000e+00 | -- | Inf
825.20/825.46 c 780s| 4170k| 1042k| 11640k| 843M| 54 | 7 | 60 |7986 | 111 | 60 | 17 | 18 |2111k|5114 | 0.000000e+00 | -- | Inf
827.59/827.83 c 783s| 4180k| 1044k| 11668k| 845M| 54 | 7 | 60 |5582 | 21 | 60 | 17 | 18 |2116k|5115 | 0.000000e+00 | -- | Inf
829.80/830.06 c 785s| 4190k| 1047k| 11696k| 847M| 54 | 7 | 60 |5348 | 19 | 60 | 17 | 18 |2122k|5118 | 0.000000e+00 | -- | Inf
831.99/832.29 c 787s| 4200k| 1049k| 11724k| 849M| 54 | - | 60 |4772 | 41 | 60 | 17 | 18 |2127k|5123 | 0.000000e+00 | -- | Inf
834.00/834.27 c 789s| 4210k| 1052k| 11750k| 851M| 54 | 7 | 60 |6113 | 362 | 60 | 17 | 18 |2132k|5123 | 0.000000e+00 | -- | Inf
836.09/836.32 c 791s| 4220k| 1054k| 11777k| 853M| 54 | 7 | 60 |7067 | 80 | 60 | 17 | 18 |2137k|5123 | 0.000000e+00 | -- | Inf
838.39/838.69 c 793s| 4230k| 1056k| 11805k| 854M| 54 | 7 | 60 |4952 | 66 | 60 | 17 | 18 |2142k|5123 | 0.000000e+00 | -- | Inf
840.69/840.90 c 795s| 4240k| 1058k| 11832k| 856M| 54 | 7 | 60 |5083 | 58 | 60 | 17 | 18 |2147k|5123 | 0.000000e+00 | -- | Inf
842.89/843.14 c 797s| 4250k| 1060k| 11860k| 858M| 54 | 7 | 60 |3997 | 16 | 60 | 17 | 18 |2153k|5123 | 0.000000e+00 | -- | Inf
845.09/845.30 c 799s| 4260k| 1063k| 11889k| 860M| 54 | - | 60 |4046 | 17 | 60 | 17 | 18 |2158k|5123 | 0.000000e+00 | -- | Inf
847.19/847.48 c 801s| 4270k| 1065k| 11917k| 862M| 54 | 7 | 60 |4171 | 45 | 60 | 17 | 18 |2163k|5123 | 0.000000e+00 | -- | Inf
849.29/849.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.29/849.52 c 803s| 4280k| 1068k| 11944k| 864M| 54 | 7 | 60 |4646 | 136 | 60 | 17 | 18 |2168k|5123 | 0.000000e+00 | -- | Inf
851.29/851.58 c 805s| 4290k| 1070k| 11971k| 866M| 54 | - | 60 |4812 | 86 | 60 | 17 | 18 |2173k|5123 | 0.000000e+00 | -- | Inf
853.49/853.76 c 807s| 4300k| 1073k| 11999k| 868M| 54 | - | 60 |4312 | 307 | 60 | 17 | 18 |2178k|5123 | 0.000000e+00 | -- | Inf
855.69/855.95 c 809s| 4310k| 1075k| 12026k| 870M| 54 | 7 | 60 |4384 | 28 | 60 | 17 | 18 |2183k|5123 | 0.000000e+00 | -- | Inf
857.89/858.10 c 812s| 4320k| 1077k| 12054k| 872M| 54 | - | 60 |4359 | 23 | 60 | 17 | 18 |2188k|5123 | 0.000000e+00 | -- | Inf
859.89/860.18 c 814s| 4330k| 1079k| 12082k| 874M| 54 | - | 60 |5656 | 46 | 60 | 17 | 18 |2193k|5123 | 0.000000e+00 | -- | Inf
862.20/862.49 c 816s| 4340k| 1082k| 12109k| 876M| 54 | 7 | 60 |4631 | 25 | 60 | 17 | 18 |2199k|5123 | 0.000000e+00 | -- | Inf
864.30/864.56 c 818s| 4350k| 1084k| 12137k| 878M| 54 | - | 60 |4952 | 18 | 60 | 17 | 18 |2204k|5123 | 0.000000e+00 | -- | Inf
866.29/866.57 c 820s| 4360k| 1087k| 12165k| 880M| 54 | 7 | 60 |5552 | 131 | 60 | 17 | 18 |2209k|5123 | 0.000000e+00 | -- | Inf
868.28/868.59 c 822s| 4370k| 1090k| 12194k| 883M| 54 | 7 | 60 |6881 | 263 | 60 | 17 | 18 |2213k|5123 | 0.000000e+00 | -- | Inf
870.68/870.93 c 824s| 4380k| 1092k| 12222k| 884M| 54 | 7 | 60 |4549 | 81 | 60 | 17 | 18 |2218k|5123 | 0.000000e+00 | -- | Inf
872.88/873.12 c 826s| 4390k| 1094k| 12249k| 886M| 54 | - | 60 |4481 | 25 | 60 | 17 | 18 |2224k|5123 | 0.000000e+00 | -- | Inf
875.09/875.34 c 828s| 4400k| 1096k| 12277k| 888M| 54 | - | 60 |3909 | 248 | 60 | 17 | 18 |2229k|5123 | 0.000000e+00 | -- | Inf
877.18/877.48 c 830s| 4410k| 1099k| 12305k| 890M| 54 | 7 | 60 |4271 | 60 | 60 | 17 | 18 |2234k|5123 | 0.000000e+00 | -- | Inf
879.29/879.57 c 832s| 4420k| 1101k| 12332k| 892M| 54 | 7 | 60 |4744 | 276 | 60 | 17 | 18 |2239k|5123 | 0.000000e+00 | -- | Inf
881.49/881.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.49/881.74 c 834s| 4430k| 1103k| 12360k| 894M| 54 | 7 | 60 |4297 | 332 | 60 | 17 | 18 |2244k|5123 | 0.000000e+00 | -- | Inf
883.59/883.90 c 836s| 4440k| 1106k| 12387k| 896M| 54 | 7 | 60 |3850 | 146 | 60 | 17 | 18 |2249k|5123 | 0.000000e+00 | -- | Inf
885.59/885.84 c 838s| 4450k| 1108k| 12415k| 898M| 54 | - | 60 |5157 | 24 | 60 | 17 | 18 |2254k|5124 | 0.000000e+00 | -- | Inf
887.78/888.07 c 840s| 4460k| 1111k| 12443k| 900M| 54 | 7 | 60 |4054 | 51 | 60 | 17 | 18 |2259k|5124 | 0.000000e+00 | -- | Inf
889.88/890.16 c 842s| 4470k| 1113k| 12471k| 902M| 54 | 7 | 60 |4841 | 127 | 60 | 17 | 18 |2264k|5124 | 0.000000e+00 | -- | Inf
891.98/892.25 c 844s| 4480k| 1116k| 12499k| 904M| 54 | - | 60 |5234 | 39 | 60 | 17 | 18 |2269k|5124 | 0.000000e+00 | -- | Inf
894.29/894.55 c 846s| 4490k| 1118k| 12526k| 906M| 54 | 7 | 60 |4171 | 68 | 60 | 17 | 18 |2274k|5124 | 0.000000e+00 | -- | Inf
896.48/896.75 c 848s| 4500k| 1120k| 12554k| 908M| 54 | 7 | 60 |4625 | 56 | 60 | 17 | 18 |2279k|5124 | 0.000000e+00 | -- | Inf
898.78/899.00 c 850s| 4510k| 1122k| 12582k| 910M| 54 | 7 | 60 |3908 |1182 | 60 | 17 | 18 |2285k|5124 | 0.000000e+00 | -- | Inf
900.89/901.11 c 852s| 4520k| 1124k| 12609k| 912M| 54 | 7 | 60 |3914 | 435 | 60 | 17 | 18 |2290k|5124 | 0.000000e+00 | -- | Inf
902.79/903.04 c 854s| 4530k| 1127k| 12636k| 914M| 54 | 7 | 60 |5455 | 41 | 60 | 17 | 18 |2295k|5124 | 0.000000e+00 | -- | Inf
904.88/905.14 c 856s| 4540k| 1130k| 12664k| 916M| 54 | 7 | 60 |6492 |1112 | 60 | 17 | 18 |2299k|5124 | 0.000000e+00 | -- | Inf
906.98/907.28 c 858s| 4550k| 1133k| 12691k| 918M| 54 | 7 | 60 |5650 | 45 | 60 | 17 | 18 |2304k|5124 | 0.000000e+00 | -- | Inf
909.39/909.62 c 860s| 4560k| 1135k| 12719k| 920M| 54 | 7 | 60 |3775 | 391 | 60 | 17 | 18 |2310k|5124 | 0.000000e+00 | -- | Inf
911.48/911.75 c 862s| 4570k| 1137k| 12746k| 922M| 54 | - | 60 |4235 | 478 | 60 | 17 | 18 |2315k|5124 | 0.000000e+00 | -- | Inf
913.68/913.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.68/913.90 c 864s| 4580k| 1139k| 12773k| 924M| 54 | 7 | 60 |4198 | 22 | 60 | 17 | 18 |2320k|5124 | 0.000000e+00 | -- | Inf
915.78/916.03 c 866s| 4590k| 1141k| 12801k| 926M| 54 | 7 | 60 |4364 | 34 | 60 | 17 | 18 |2325k|5124 | 0.000000e+00 | -- | Inf
917.98/918.22 c 869s| 4600k| 1144k| 12827k| 928M| 54 | - | 60 |4358 | 56 | 60 | 17 | 18 |2330k|5124 | 0.000000e+00 | -- | Inf
919.98/920.28 c 870s| 4610k| 1146k| 12855k| 930M| 54 | - | 60 |4519 | 76 | 60 | 17 | 18 |2335k|5124 | 0.000000e+00 | -- | Inf
922.08/922.34 c 872s| 4620k| 1149k| 12883k| 932M| 54 | - | 60 |4552 | 110 | 60 | 17 | 18 |2340k|5124 | 0.000000e+00 | -- | Inf
924.28/924.50 c 874s| 4630k| 1151k| 12911k| 934M| 54 | - | 60 |4337 | 13 | 60 | 17 | 18 |2345k|5124 | 0.000000e+00 | -- | Inf
926.28/926.54 c 876s| 4640k| 1154k| 12939k| 936M| 54 | 7 | 60 |5795 | 21 | 60 | 17 | 18 |2350k|5124 | 0.000000e+00 | -- | Inf
928.38/928.65 c 878s| 4650k| 1156k| 12968k| 938M| 54 | - | 60 |6963 | 33 | 60 | 17 | 18 |2355k|5130 | 0.000000e+00 | -- | Inf
930.58/930.88 c 881s| 4660k| 1158k| 12996k| 940M| 54 | 7 | 60 |6971 | 115 | 60 | 17 | 18 |2360k|5137 | 0.000000e+00 | -- | Inf
932.88/933.14 c 883s| 4670k| 1161k| 13023k| 942M| 54 | 7 | 60 |5622 | 235 | 60 | 17 | 18 |2365k|5137 | 0.000000e+00 | -- | Inf
935.08/935.31 c 885s| 4680k| 1163k| 13049k| 944M| 54 | - | 60 |4613 | 241 | 60 | 17 | 18 |2370k|5141 | 0.000000e+00 | -- | Inf
937.28/937.52 c 887s| 4690k| 1165k| 13077k| 946M| 54 | - | 60 |4411 | 67 | 60 | 17 | 18 |2376k|5144 | 0.000000e+00 | -- | Inf
939.28/939.52 c 889s| 4700k| 1169k| 13104k| 948M| 54 | 7 | 60 |5605 | 59 | 60 | 17 | 18 |2380k|5146 | 0.000000e+00 | -- | Inf
941.48/941.78 c 891s| 4710k| 1171k| 13132k| 950M| 54 | - | 60 |5128 | 99 | 60 | 17 | 18 |2385k|5149 | 0.000000e+00 | -- | Inf
943.68/943.96 c 893s| 4720k| 1173k| 13160k| 952M| 54 | 7 | 60 |4925 | 243 | 60 | 17 | 18 |2390k|5152 | 0.000000e+00 | -- | Inf
945.87/946.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.87/946.18 c 895s| 4730k| 1175k| 13187k| 954M| 54 | 7 | 60 |4623 | 296 | 60 | 17 | 18 |2395k|5158 | 0.000000e+00 | -- | Inf
947.99/948.28 c 897s| 4740k| 1178k| 13216k| 956M| 54 | - | 60 |5168 | 102 | 60 | 17 | 18 |2401k|5163 | 0.000000e+00 | -- | Inf
950.28/950.55 c 899s| 4750k| 1180k| 13243k| 958M| 54 | - | 60 |4576 | 59 | 60 | 17 | 18 |2406k|5165 | 0.000000e+00 | -- | Inf
952.47/952.73 c 901s| 4760k| 1182k| 13271k| 960M| 54 | 7 | 60 |4824 | 55 | 60 | 17 | 18 |2411k|5170 | 0.000000e+00 | -- | Inf
954.67/954.95 c 903s| 4770k| 1185k| 13299k| 961M| 54 | - | 60 |4116 | 91 | 60 | 17 | 18 |2416k|5174 | 0.000000e+00 | -- | Inf
956.78/957.06 c 905s| 4780k| 1187k| 13326k| 964M| 54 | 7 | 60 |4781 | 311 | 60 | 17 | 18 |2421k|5179 | 0.000000e+00 | -- | Inf
958.98/959.27 c 908s| 4790k| 1190k| 13353k| 966M| 54 | - | 60 |4252 | 119 | 60 | 17 | 18 |2426k|5182 | 0.000000e+00 | -- | Inf
961.18/961.44 c 910s| 4800k| 1192k| 13381k| 968M| 54 | - | 60 |4745 | 19 | 60 | 17 | 18 |2431k|5186 | 0.000000e+00 | -- | Inf
963.38/963.68 c 912s| 4810k| 1194k| 13408k| 969M| 54 | 7 | 60 |4672 | 36 | 60 | 17 | 18 |2436k|5192 | 0.000000e+00 | -- | Inf
965.48/965.71 c 914s| 4820k| 1197k| 13436k| 972M| 54 | 7 | 60 |6169 | 168 | 60 | 17 | 18 |2441k|5195 | 0.000000e+00 | -- | Inf
967.57/967.82 c 916s| 4830k| 1199k| 13464k| 974M| 54 | 7 | 60 |6955 | 19 | 60 | 17 | 18 |2446k|5201 | 0.000000e+00 | -- | Inf
969.88/970.18 c 918s| 4840k| 1201k| 13492k| 976M| 54 | - | 60 |6026 | 11 | 60 | 17 | 18 |2452k|5204 | 0.000000e+00 | -- | Inf
972.18/972.47 c 920s| 4850k| 1204k| 13520k| 978M| 54 | - | 60 |5276 | 63 | 60 | 17 | 18 |2457k|5208 | 0.000000e+00 | -- | Inf
974.47/974.74 c 922s| 4860k| 1206k| 13548k| 979M| 54 | - | 60 |4239 | 59 | 0 | 0 | 18 |2462k|5210 | 0.000000e+00 | -- | Inf
976.47/976.79 c 924s| 4870k| 1209k| 13575k| 982M| 54 | 7 | 60 |5560 | 175 | 60 | 17 | 18 |2467k|5220 | 0.000000e+00 | -- | Inf
978.78/979.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.78/979.03 c 926s| 4880k| 1211k| 13604k| 983M| 54 | - | 60 |4438 | 31 | 60 | 17 | 18 |2472k|5221 | 0.000000e+00 | -- | Inf
980.88/981.20 c 928s| 4890k| 1213k| 13631k| 985M| 54 | 7 | 60 |4947 | 19 | 60 | 17 | 18 |2477k|5223 | 0.000000e+00 | -- | Inf
982.97/983.28 c 930s| 4900k| 1216k| 13658k| 987M| 54 | 7 | 60 |5336 | 73 | 60 | 17 | 18 |2482k|5224 | 0.000000e+00 | -- | Inf
985.27/985.54 c 932s| 4910k| 1219k| 13686k| 989M| 54 | - | 60 |4622 | 84 | 60 | 17 | 18 |2487k|5224 | 0.000000e+00 | -- | Inf
987.48/987.73 c 935s| 4920k| 1221k| 13713k| 991M| 54 | 7 | 60 |4702 | 29 | 60 | 17 | 18 |2492k|5226 | 0.000000e+00 | -- | Inf
989.57/989.88 c 937s| 4930k| 1223k| 13741k| 993M| 54 | 7 | 60 |4256 | 38 | 60 | 17 | 18 |2497k|5229 | 0.000000e+00 | -- | Inf
991.56/991.82 c 938s| 4940k| 1226k| 13768k| 996M| 54 | 7 | 60 |6085 | 34 | 60 | 17 | 18 |2502k|5230 | 0.000000e+00 | -- | Inf
993.56/993.82 c 940s| 4950k| 1229k| 13795k| 998M| 54 | 7 | 60 |7001 | 122 | 60 | 17 | 18 |2506k|5230 | 0.000000e+00 | -- | Inf
995.67/995.93 c 942s| 4960k| 1232k| 13821k|1000M| 54 | - | 60 |7269 | 45 | 60 | 17 | 18 |2511k|5231 | 0.000000e+00 | -- | Inf
997.86/998.16 c 944s| 4970k| 1235k| 13848k|1002M| 54 | 7 | 60 |7062 | 579 | 60 | 17 | 18 |2516k|5234 | 0.000000e+00 | -- | Inf
1000.27/1000.52 c 947s| 4980k| 1237k| 13875k|1004M| 54 | 7 | 60 |6491 | 242 | 60 | 17 | 18 |2521k|5238 | 0.000000e+00 | -- | Inf
1002.67/1002.94 c 949s| 4990k| 1239k| 13903k|1005M| 54 | - | 60 |4472 | 25 | 60 | 17 | 18 |2526k|5244 | 0.000000e+00 | -- | Inf
1004.86/1005.14 c 951s| 5000k| 1242k| 13931k|1007M| 54 | 7 | 60 |4314 | 82 | 60 | 17 | 18 |2531k|5245 | 0.000000e+00 | -- | Inf
1006.77/1007.08 c 953s| 5010k| 1245k| 13959k|1010M| 54 | 7 | 60 |6042 | 194 | 60 | 17 | 18 |2536k|5248 | 0.000000e+00 | -- | Inf
1009.06/1009.32 c 955s| 5020k| 1247k| 13987k|1012M| 54 | 7 | 60 |6120 | 224 | 60 | 17 | 18 |2541k|5249 | 0.000000e+00 | -- | Inf
1011.26/1011.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.26/1011.53 c 957s| 5030k| 1249k| 14014k|1014M| 54 | 7 | 60 |6225 | 51 | 60 | 17 | 18 |2546k|5253 | 0.000000e+00 | -- | Inf
1013.47/1013.74 c 959s| 5040k| 1252k| 14042k|1016M| 54 | 7 | 60 |5554 | 53 | 60 | 17 | 18 |2551k|5259 | 0.000000e+00 | -- | Inf
1015.67/1015.99 c 961s| 5050k| 1254k| 14070k|1018M| 54 | 7 | 60 |5783 | 35 | 60 | 17 | 18 |2556k|5262 | 0.000000e+00 | -- | Inf
1018.16/1018.43 c 964s| 5060k| 1256k| 14098k|1019M| 54 | 7 | 60 |4409 | 580 | 60 | 17 | 18 |2561k|5268 | 0.000000e+00 | -- | Inf
1020.37/1020.67 c 966s| 5070k| 1259k| 14126k|1021M| 54 | - | 60 |4350 | 52 | 60 | 17 | 18 |2566k|5271 | 0.000000e+00 | -- | Inf
1022.56/1022.86 c 968s| 5080k| 1261k| 14154k|1024M| 54 | 7 | 60 |5314 | 44 | 60 | 17 | 18 |2572k|5273 | 0.000000e+00 | -- | Inf
1024.87/1025.17 c 970s| 5090k| 1263k| 14181k|1025M| 54 | 7 | 60 |4493 | 53 | 60 | 17 | 18 |2577k|5277 | 0.000000e+00 | -- | Inf
1027.06/1027.36 c 972s| 5100k| 1265k| 14209k|1027M| 54 | - | 60 |4851 | 112 | 60 | 17 | 18 |2582k|5278 | 0.000000e+00 | -- | Inf
1029.27/1029.54 c 974s| 5110k| 1268k| 14235k|1029M| 54 | 7 | 60 |4159 | 20 | 60 | 17 | 18 |2587k|5284 | 0.000000e+00 | -- | Inf
1031.46/1031.77 c 976s| 5120k| 1270k| 14263k|1031M| 54 | 7 | 60 |4436 | 51 | 60 | 17 | 18 |2592k|5288 | 0.000000e+00 | -- | Inf
1033.66/1033.93 c 978s| 5130k| 1272k| 14290k|1033M| 54 | 7 | 60 |4145 |1064 | 60 | 17 | 18 |2597k|5292 | 0.000000e+00 | -- | Inf
1035.86/1036.12 c 980s| 5140k| 1275k| 14319k|1035M| 54 | 7 | 60 |5215 | 170 | 60 | 17 | 18 |2603k|5295 | 0.000000e+00 | -- | Inf
1038.16/1038.43 c 983s| 5150k| 1277k| 14347k|1037M| 54 | - | 60 |4668 | 67 | 60 | 17 | 18 |2608k|5302 | 0.000000e+00 | -- | Inf
1040.26/1040.52 c 985s| 5160k| 1280k| 14373k|1039M| 54 | - | 60 |5949 | 60 | 60 | 17 | 18 |2612k|5308 | 0.000000e+00 | -- | Inf
1042.65/1042.90 c 987s| 5170k| 1282k| 14401k|1041M| 54 | 7 | 60 |4610 | 196 | 60 | 17 | 18 |2618k|5310 | 0.000000e+00 | -- | Inf
1044.85/1045.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.85/1045.13 c 989s| 5180k| 1284k| 14429k|1043M| 54 | 7 | 60 |4166 | 387 | 60 | 17 | 18 |2623k|5314 | 0.000000e+00 | -- | Inf
1046.96/1047.27 c 991s| 5190k| 1287k| 14456k|1045M| 54 | 7 | 60 |4878 | 26 | 60 | 17 | 18 |2628k|5316 | 0.000000e+00 | -- | Inf
1049.06/1049.37 c 993s| 5200k| 1289k| 14487k|1047M| 54 | 7 | 60 |5980 | 45 | 60 | 17 | 18 |2633k|5321 | 0.000000e+00 | -- | Inf
1051.26/1051.57 c 995s| 5210k| 1291k| 14517k|1049M| 54 | - | 60 |5826 | 135 | 60 | 17 | 18 |2638k|5321 | 0.000000e+00 | -- | Inf
1053.56/1053.87 c 997s| 5220k| 1293k| 14544k|1051M| 54 | 7 | 60 |4835 | 31 | 60 | 17 | 18 |2644k|5321 | 0.000000e+00 | -- | Inf
1055.85/1056.15 c 999s| 5230k| 1295k| 14572k|1053M| 54 | 7 | 60 |4491 | 33 | 60 | 17 | 18 |2649k|5321 | 0.000000e+00 | -- | Inf
1058.05/1058.30 c 1002s| 5240k| 1298k| 14602k|1055M| 54 | 7 | 60 |5190 | 123 | 60 | 17 | 18 |2654k|5321 | 0.000000e+00 | -- | Inf
1060.25/1060.53 c 1004s| 5250k| 1300k| 14631k|1057M| 54 | 7 | 60 |5289 | 50 | 60 | 17 | 18 |2659k|5321 | 0.000000e+00 | -- | Inf
1062.45/1062.77 c 1006s| 5260k| 1303k| 14658k|1059M| 54 | 7 | 60 |4226 | 184 | 60 | 17 | 18 |2664k|5321 | 0.000000e+00 | -- | Inf
1064.65/1064.91 c 1008s| 5270k| 1305k| 14685k|1061M| 54 | 7 | 60 |5061 | 131 | 60 | 17 | 18 |2669k|5321 | 0.000000e+00 | -- | Inf
1066.85/1067.16 c 1010s| 5280k| 1307k| 14713k|1063M| 54 | 7 | 60 |4740 | 54 | 60 | 17 | 18 |2674k|5321 | 0.000000e+00 | -- | Inf
1069.05/1069.32 c 1012s| 5290k| 1310k| 14740k|1065M| 54 | 7 | 60 |4957 | 85 | 60 | 17 | 18 |2679k|5321 | 0.000000e+00 | -- | Inf
1071.15/1071.49 c 1014s| 5300k| 1312k| 14767k|1067M| 54 | - | 60 |5373 | 121 | 60 | 17 | 18 |2685k|5321 | 0.000000e+00 | -- | Inf
1073.55/1073.80 c 1016s| 5310k| 1314k| 14795k|1069M| 54 | 7 | 60 |5078 | 608 | 60 | 17 | 18 |2690k|5321 | 0.000000e+00 | -- | Inf
1075.75/1076.03 c 1018s| 5320k| 1316k| 14823k|1070M| 54 | 7 | 60 |4954 | 48 | 60 | 17 | 18 |2695k|5321 | 0.000000e+00 | -- | Inf
1078.05/1078.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.05/1078.30 c 1020s| 5330k| 1318k| 14850k|1072M| 54 | 7 | 60 |4477 | 36 | 60 | 17 | 18 |2700k|5323 | 0.000000e+00 | -- | Inf
1080.15/1080.44 c 1023s| 5340k| 1321k| 14877k|1075M| 54 | 7 | 60 |5090 | 16 | 60 | 17 | 18 |2705k|5326 | 0.000000e+00 | -- | Inf
1082.35/1082.63 c 1025s| 5350k| 1323k| 14905k|1077M| 54 | - | 60 |5463 | 25 | 60 | 17 | 18 |2710k|5327 | 0.000000e+00 | -- | Inf
1084.45/1084.78 c 1027s| 5360k| 1325k| 14934k|1079M| 54 | 7 | 60 |6229 | 279 | 60 | 17 | 18 |2715k|5330 | 0.000000e+00 | -- | Inf
1086.85/1087.13 c 1029s| 5370k| 1328k| 14961k|1080M| 54 | - | 60 |5155 | 44 | 60 | 17 | 18 |2720k|5335 | 0.000000e+00 | -- | Inf
1089.05/1089.36 c 1031s| 5380k| 1330k| 14990k|1082M| 54 | 7 | 60 |5228 | 76 | 60 | 17 | 18 |2726k|5340 | 0.000000e+00 | -- | Inf
1091.14/1091.47 c 1033s| 5390k| 1332k| 15018k|1085M| 54 | - | 60 |6263 | 40 | 60 | 17 | 18 |2731k|5344 | 0.000000e+00 | -- | Inf
1093.65/1093.94 c 1035s| 5400k| 1334k| 15047k|1086M| 54 | - | 60 |4817 | 35 | 60 | 17 | 18 |2736k|5350 | 0.000000e+00 | -- | Inf
1095.85/1096.18 c 1038s| 5410k| 1337k| 15074k|1088M| 54 | - | 60 |4162 | 70 | 60 | 17 | 18 |2741k|5360 | 0.000000e+00 | -- | Inf
1098.14/1098.40 c 1040s| 5420k| 1339k| 15101k|1090M| 54 | 7 | 60 |3860 | 56 | 60 | 17 | 18 |2746k|5362 | 0.000000e+00 | -- | Inf
1100.24/1100.50 c 1042s| 5430k| 1341k| 15127k|1092M| 54 | - | 60 |4787 | 21 | 60 | 17 | 18 |2751k|5364 | 0.000000e+00 | -- | Inf
1102.34/1102.65 c 1044s| 5440k| 1343k| 15154k|1094M| 54 | 7 | 60 |6054 | 689 | 60 | 17 | 18 |2756k|5375 | 0.000000e+00 | -- | Inf
1104.64/1104.95 c 1046s| 5450k| 1346k| 15182k|1096M| 54 | - | 60 |4927 | 344 | 60 | 17 | 18 |2761k|5381 | 0.000000e+00 | -- | Inf
1106.84/1107.14 c 1048s| 5460k| 1348k| 15210k|1098M| 54 | 7 | 60 |4861 | 21 | 60 | 17 | 18 |2767k|5381 | 0.000000e+00 | -- | Inf
1109.04/1109.37 c 1050s| 5470k| 1350k| 15237k|1100M| 54 | - | 60 |4617 | 46 | 60 | 17 | 18 |2772k|5384 | 0.000000e+00 | -- | Inf
1111.45/1111.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.45/1111.70 c 1052s| 5480k| 1352k| 15265k|1102M| 54 | 7 | 60 |3859 | 22 | 60 | 17 | 18 |2777k|5390 | 0.000000e+00 | -- | Inf
1113.34/1113.65 c 1054s| 5490k| 1355k| 15292k|1104M| 54 | - | 60 |5379 | 28 | 60 | 17 | 18 |2782k|5395 | 0.000000e+00 | -- | Inf
1115.44/1115.79 c 1056s| 5500k| 1358k| 15319k|1106M| 54 | 7 | 60 |5952 | 56 | 60 | 17 | 18 |2786k|5400 | 0.000000e+00 | -- | Inf
1117.74/1118.04 c 1058s| 5510k| 1360k| 15346k|1108M| 54 | - | 60 |5312 | 33 | 60 | 17 | 18 |2792k|5403 | 0.000000e+00 | -- | Inf
1120.04/1120.31 c 1060s| 5520k| 1362k| 15373k|1110M| 54 | 7 | 60 |4654 | 20 | 60 | 17 | 18 |2797k|5407 | 0.000000e+00 | -- | Inf
1122.34/1122.63 c 1063s| 5530k| 1364k| 15401k|1112M| 54 | 7 | 60 |4099 | 28 | 60 | 17 | 18 |2802k|5412 | 0.000000e+00 | -- | Inf
1124.64/1124.93 c 1065s| 5540k| 1366k| 15429k|1113M| 54 | 7 | 60 |3769 | 17 | 60 | 17 | 18 |2807k|5416 | 0.000000e+00 | -- | Inf
1126.74/1127.03 c 1067s| 5550k| 1369k| 15457k|1116M| 54 | - | 60 |4824 | 41 | 60 | 17 | 18 |2813k|5418 | 0.000000e+00 | -- | Inf
1128.93/1129.22 c 1069s| 5560k| 1371k| 15484k|1118M| 54 | 7 | 60 |5068 | 182 | 60 | 17 | 18 |2818k|5418 | 0.000000e+00 | -- | Inf
1131.23/1131.51 c 1071s| 5570k| 1373k| 15512k|1119M| 54 | 7 | 60 |4937 | 63 | 60 | 17 | 18 |2823k|5423 | 0.000000e+00 | -- | Inf
1133.44/1133.79 c 1073s| 5580k| 1375k| 15539k|1121M| 54 | - | 60 |4525 | 80 | 60 | 17 | 18 |2828k|5428 | 0.000000e+00 | -- | Inf
1135.74/1136.04 c 1075s| 5590k| 1378k| 15568k|1123M| 54 | 7 | 60 |4373 | 25 | 60 | 17 | 18 |2833k|5432 | 0.000000e+00 | -- | Inf
1137.94/1138.23 c 1077s| 5600k| 1380k| 15595k|1125M| 54 | - | 60 |4637 | 132 | 60 | 17 | 18 |2838k|5437 | 0.000000e+00 | -- | Inf
1140.14/1140.44 c 1080s| 5610k| 1382k| 15622k|1127M| 54 | 7 | 60 |4174 | 68 | 60 | 17 | 18 |2843k|5440 | 0.000000e+00 | -- | Inf
1142.33/1142.62 c 1082s| 5620k| 1385k| 15650k|1129M| 54 | 7 | 60 |4609 | 115 | 60 | 17 | 18 |2848k|5441 | 0.000000e+00 | -- | Inf
1144.33/1144.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.33/1144.68 c 1084s| 5630k| 1388k| 15677k|1132M| 54 | 7 | 60 |5427 | 244 | 60 | 17 | 18 |2854k|5441 | 0.000000e+00 | -- | Inf
1146.63/1146.98 c 1086s| 5640k| 1390k| 15704k|1134M| 54 | - | 60 |5916 | 11 | 60 | 17 | 18 |2859k|5448 | 0.000000e+00 | -- | Inf
1148.84/1149.11 c 1088s| 5650k| 1392k| 15731k|1136M| 54 | 7 | 60 |7035 | 20 | 60 | 17 | 18 |2864k|5450 | 0.000000e+00 | -- | Inf
1151.13/1151.47 c 1090s| 5660k| 1394k| 15758k|1137M| 54 | - | 60 |6351 | 214 | 60 | 17 | 18 |2870k|5450 | 0.000000e+00 | -- | Inf
1153.43/1153.73 c 1092s| 5670k| 1397k| 15786k|1139M| 54 | 7 | 60 |5271 | 451 | 60 | 17 | 18 |2875k|5450 | 0.000000e+00 | -- | Inf
1155.53/1155.80 c 1094s| 5680k| 1399k| 15814k|1141M| 54 | 7 | 60 |6045 | 714 | 60 | 17 | 18 |2879k|5450 | 0.000000e+00 | -- | Inf
1157.63/1157.91 c 1096s| 5690k| 1402k| 15841k|1144M| 54 | 7 | 60 |6839 | 19 | 60 | 17 | 18 |2884k|5450 | 0.000000e+00 | -- | Inf
1159.94/1160.22 c 1098s| 5700k| 1405k| 15868k|1145M| 54 | 7 | 60 |6007 | 154 | 60 | 17 | 18 |2889k|5450 | 0.000000e+00 | -- | Inf
1162.04/1162.37 c 1100s| 5710k| 1407k| 15896k|1148M| 54 | - | 60 |6538 | 108 | 60 | 17 | 18 |2894k|5450 | 0.000000e+00 | -- | Inf
1164.33/1164.66 c 1103s| 5720k| 1410k| 15924k|1150M| 54 | - | 60 |6353 | 113 | 60 | 17 | 18 |2899k|5450 | 0.000000e+00 | -- | Inf
1166.74/1167.03 c 1105s| 5730k| 1412k| 15952k|1151M| 54 | 7 | 60 |5344 | 147 | 60 | 17 | 18 |2904k|5450 | 0.000000e+00 | -- | Inf
1169.04/1169.32 c 1107s| 5740k| 1414k| 15980k|1153M| 54 | 7 | 60 |5302 | 113 | 60 | 17 | 18 |2909k|5450 | 0.000000e+00 | -- | Inf
1171.33/1171.63 c 1109s| 5750k| 1416k| 16008k|1155M| 54 | - | 60 |5140 | 47 | 60 | 17 | 18 |2914k|5450 | 0.000000e+00 | -- | Inf
1173.63/1173.97 c 1111s| 5760k| 1419k| 16035k|1157M| 54 | - | 60 |4674 | 26 | 60 | 17 | 18 |2920k|5450 | 0.000000e+00 | -- | Inf
1175.93/1176.26 c 1114s| 5770k| 1421k| 16063k|1159M| 54 | 7 | 60 |4551 | 14 | 60 | 17 | 18 |2925k|5450 | 0.000000e+00 | -- | Inf
1178.23/1178.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.23/1178.54 c 1116s| 5780k| 1423k| 16090k|1161M| 54 | 7 | 60 |4547 | 505 | 60 | 17 | 18 |2930k|5453 | 0.000000e+00 | -- | Inf
1180.43/1180.74 c 1118s| 5790k| 1425k| 16118k|1163M| 54 | - | 60 |4735 | 98 | 60 | 17 | 18 |2935k|5458 | 0.000000e+00 | -- | Inf
1182.72/1183.02 c 1120s| 5800k| 1427k| 16146k|1165M| 54 | 7 | 60 |4422 | 874 | 60 | 17 | 18 |2940k|5461 | 0.000000e+00 | -- | Inf
1184.93/1185.21 c 1122s| 5810k| 1430k| 16174k|1167M| 54 | - | 60 |5186 | 23 | 60 | 17 | 18 |2945k|5467 | 0.000000e+00 | -- | Inf
1187.02/1187.32 c 1124s| 5820k| 1433k| 16202k|1169M| 54 | 7 | 60 |4727 | 492 | 60 | 17 | 18 |2950k|5471 | 0.000000e+00 | -- | Inf
1189.02/1189.36 c 1126s| 5830k| 1435k| 16229k|1171M| 54 | 7 | 60 |6583 | 80 | 60 | 17 | 18 |2955k|5477 | 0.000000e+00 | -- | Inf
1191.13/1191.47 c 1128s| 5840k| 1438k| 16255k|1173M| 54 | - | 60 |5248 | 75 | 60 | 17 | 18 |2960k|5482 | 0.000000e+00 | -- | Inf
1193.13/1193.50 c 1130s| 5850k| 1442k| 16281k|1175M| 54 | 7 | 60 |5757 | 123 | 60 | 17 | 18 |2964k|5482 | 0.000000e+00 | -- | Inf
1195.23/1195.52 c 1132s| 5860k| 1445k| 16309k|1178M| 54 | 7 | 60 |6739 | 64 | 60 | 17 | 18 |2969k|5482 | 0.000000e+00 | -- | Inf
1197.32/1197.69 c 1134s| 5870k| 1448k| 16335k|1180M| 54 | 7 | 60 |6820 | 52 | 60 | 17 | 18 |2974k|5482 | 0.000000e+00 | -- | Inf
1199.53/1199.84 c 1136s| 5880k| 1451k| 16361k|1182M| 54 | 7 | 60 |6854 | 76 | 60 | 17 | 18 |2979k|5482 | 0.000000e+00 | -- | Inf
1201.83/1202.11 c 1138s| 5890k| 1453k| 16388k|1184M| 54 | - | 60 |6635 | 121 | 60 | 17 | 18 |2983k|5482 | 0.000000e+00 | -- | Inf
1204.23/1204.52 c 1140s| 5900k| 1455k| 16415k|1186M| 54 | - | 60 |5348 | 11 | 60 | 17 | 18 |2989k|5482 | 0.000000e+00 | -- | Inf
1206.53/1206.80 c 1143s| 5910k| 1458k| 16442k|1188M| 54 | - | 60 |5389 | 8 | 60 | 17 | 18 |2994k|5482 | 0.000000e+00 | -- | Inf
1208.72/1209.04 c 1145s| 5920k| 1460k| 16469k|1190M| 54 | 7 | 60 |6662 | 320 | 60 | 17 | 18 |2999k|5482 | 0.000000e+00 | -- | Inf
1210.92/1211.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.92/1211.25 c 1147s| 5930k| 1463k| 16496k|1192M| 54 | 7 | 60 |6378 | 228 | 60 | 17 | 18 |3004k|5482 | 0.000000e+00 | -- | Inf
1213.32/1213.67 c 1149s| 5940k| 1465k| 16523k|1193M| 54 | 7 | 60 |4866 | 191 | 60 | 17 | 18 |3009k|5482 | 0.000000e+00 | -- | Inf
1215.52/1215.87 c 1151s| 5950k| 1467k| 16550k|1195M| 54 | 7 | 60 |4676 | 359 | 60 | 17 | 18 |3014k|5482 | 0.000000e+00 | -- | Inf
1217.72/1218.09 c 1153s| 5960k| 1470k| 16578k|1197M| 54 | 7 | 60 |4694 | 44 | 60 | 17 | 18 |3019k|5482 | 0.000000e+00 | -- | Inf
1219.82/1220.18 c 1155s| 5970k| 1472k| 16606k|1200M| 54 | - | 60 |6498 | 80 | 60 | 17 | 18 |3024k|5482 | 0.000000e+00 | -- | Inf
1222.32/1222.62 c 1158s| 5980k| 1474k| 16633k|1201M| 54 | - | 60 |4914 | 26 | 60 | 17 | 18 |3030k|5482 | 0.000000e+00 | -- | Inf
1224.52/1224.88 c 1160s| 5990k| 1477k| 16661k|1203M| 54 | 7 | 60 |4635 | 172 | 60 | 17 | 18 |3035k|5482 | 0.000000e+00 | -- | Inf
1226.82/1227.14 c 1162s| 6000k| 1479k| 16689k|1205M| 54 | 7 | 60 |4533 | 55 | 60 | 17 | 18 |3040k|5482 | 0.000000e+00 | -- | Inf
1229.12/1229.40 c 1164s| 6010k| 1481k| 16717k|1207M| 54 | 7 | 60 |4915 | 137 | 60 | 17 | 18 |3045k|5482 | 0.000000e+00 | -- | Inf
1231.32/1231.67 c 1166s| 6020k| 1483k| 16745k|1209M| 54 | 7 | 60 |5078 | 25 | 60 | 17 | 18 |3050k|5482 | 0.000000e+00 | -- | Inf
1233.61/1233.93 c 1168s| 6030k| 1486k| 16772k|1211M| 54 | - | 60 |4712 | 27 | 60 | 17 | 18 |3055k|5482 | 0.000000e+00 | -- | Inf
1235.72/1236.04 c 1170s| 6040k| 1489k| 16800k|1213M| 54 | 7 | 60 |5888 | 147 | 60 | 17 | 18 |3060k|5482 | 0.000000e+00 | -- | Inf
1237.92/1238.25 c 1173s| 6050k| 1491k| 16828k|1215M| 54 | - | 60 |5256 | 28 | 60 | 17 | 18 |3065k|5482 | 0.000000e+00 | -- | Inf
1240.22/1240.59 c 1175s| 6060k| 1493k| 16855k|1217M| 54 | - | 60 |4468 | 228 | 60 | 17 | 18 |3070k|5482 | 0.000000e+00 | -- | Inf
1242.42/1242.73 c 1177s| 6070k| 1496k| 16883k|1219M| 54 | 7 | 60 |5340 | 279 | 60 | 17 | 18 |3075k|5482 | 0.000000e+00 | -- | Inf
1244.61/1244.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.61/1244.96 c 1179s| 6080k| 1498k| 16910k|1221M| 54 | - | 60 |4720 | 67 | 60 | 17 | 18 |3080k|5482 | 0.000000e+00 | -- | Inf
1246.71/1247.07 c 1181s| 6090k| 1501k| 16938k|1223M| 54 | - | 60 |5629 | 61 | 60 | 17 | 18 |3085k|5482 | 0.000000e+00 | -- | Inf
1248.91/1249.22 c 1183s| 6100k| 1504k| 16965k|1225M| 54 | - | 60 |5800 | 171 | 60 | 17 | 18 |3089k|5482 | 0.000000e+00 | -- | Inf
1251.21/1251.51 c 1185s| 6110k| 1506k| 16993k|1227M| 54 | - | 60 |5289 | 39 | 60 | 17 | 18 |3095k|5489 | 0.000000e+00 | -- | Inf
1253.31/1253.60 c 1187s| 6120k| 1509k| 17020k|1230M| 54 | 7 | 60 |6673 | 19 | 60 | 17 | 18 |3099k|5495 | 0.000000e+00 | -- | Inf
1255.71/1256.07 c 1190s| 6130k| 1511k| 17048k|1231M| 54 | 7 | 60 |4837 | 90 | 60 | 17 | 18 |3105k|5500 | 0.000000e+00 | -- | Inf
1258.11/1258.43 c 1192s| 6140k| 1513k| 17076k|1233M| 54 | 7 | 60 |4426 | 53 | 60 | 17 | 18 |3110k|5507 | 0.000000e+00 | -- | Inf
1260.11/1260.40 c 1194s| 6150k| 1516k| 17101k|1236M| 54 | 7 | 60 |6118 | 52 | 60 | 17 | 18 |3114k|5508 | 0.000000e+00 | -- | Inf
1262.31/1262.63 c 1196s| 6160k| 1519k| 17127k|1237M| 54 | 7 | 60 |5313 | 683 | 60 | 17 | 18 |3119k|5508 | 0.000000e+00 | -- | Inf
1264.71/1265.01 c 1198s| 6170k| 1521k| 17154k|1239M| 54 | - | 60 |4486 | 77 | 60 | 17 | 18 |3125k|5508 | 0.000000e+00 | -- | Inf
1267.01/1267.34 c 1200s| 6180k| 1523k| 17182k|1241M| 54 | 7 | 60 |4144 | 545 | 60 | 17 | 18 |3130k|5508 | 0.000000e+00 | -- | Inf
1269.12/1269.44 c 1202s| 6190k| 1525k| 17209k|1243M| 54 | 7 | 60 |5421 | 42 | 60 | 17 | 18 |3135k|5508 | 0.000000e+00 | -- | Inf
1271.41/1271.77 c 1204s| 6200k| 1527k| 17237k|1245M| 54 | 7 | 60 |5176 | 25 | 60 | 17 | 18 |3140k|5509 | 0.000000e+00 | -- | Inf
1273.71/1274.07 c 1207s| 6210k| 1530k| 17264k|1247M| 54 | 7 | 60 |4764 | 101 | 60 | 17 | 18 |3145k|5512 | 0.000000e+00 | -- | Inf
1276.00/1276.37 c 1209s| 6220k| 1532k| 17292k|1249M| 54 | 7 | 60 |4824 | 46 | 60 | 17 | 18 |3150k|5518 | 0.000000e+00 | -- | Inf
1278.21/1278.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.21/1278.59 c 1211s| 6230k| 1534k| 17320k|1251M| 54 | 7 | 60 |5005 | 42 | 60 | 17 | 18 |3155k|5520 | 0.000000e+00 | -- | Inf
1280.60/1280.97 c 1213s| 6240k| 1536k| 17348k|1252M| 54 | 7 | 60 |4122 | 277 | 60 | 17 | 18 |3161k|5528 | 0.000000e+00 | -- | Inf
1282.91/1283.25 c 1215s| 6250k| 1538k| 17375k|1254M| 54 | 7 | 60 |3814 | 77 | 60 | 17 | 18 |3166k|5533 | 0.000000e+00 | -- | Inf
1285.11/1285.47 c 1217s| 6260k| 1540k| 17403k|1256M| 54 | - | 60 |3798 | 11 | 60 | 17 | 18 |3171k|5537 | 0.000000e+00 | -- | Inf
1287.30/1287.67 c 1220s| 6270k| 1543k| 17431k|1258M| 54 | 7 | 60 |4338 | 34 | 60 | 17 | 18 |3177k|5539 | 0.000000e+00 | -- | Inf
1289.51/1289.89 c 1222s| 6280k| 1545k| 17459k|1260M| 54 | 7 | 60 |4564 | 577 | 60 | 17 | 18 |3182k|5541 | 0.000000e+00 | -- | Inf
1291.80/1292.11 c 1224s| 6290k| 1547k| 17486k|1262M| 54 | - | 60 |5653 | 22 | 60 | 17 | 18 |3187k|5544 | 0.000000e+00 | -- | Inf
1294.11/1294.43 c 1226s| 6300k| 1549k| 17512k|1264M| 54 | 7 | 60 |5002 | 219 | 60 | 17 | 18 |3192k|5546 | 0.000000e+00 | -- | Inf
1296.20/1296.58 c 1228s| 6310k| 1552k| 17538k|1266M| 54 | 7 | 60 |5073 | 21 | 60 | 17 | 18 |3197k|5546 | 0.000000e+00 | -- | Inf
1298.61/1298.93 c 1230s| 6320k| 1554k| 17567k|1268M| 54 | - | 60 |4400 | 364 | 60 | 17 | 18 |3202k|5546 | 0.000000e+00 | -- | Inf
1300.81/1301.12 c 1232s| 6330k| 1556k| 17594k|1270M| 54 | - | 60 |5220 | 15 | 60 | 17 | 18 |3207k|5550 | 0.000000e+00 | -- | Inf
1302.90/1303.22 c 1234s| 6340k| 1559k| 17622k|1272M| 54 | 7 | 60 |5872 | 25 | 60 | 17 | 18 |3212k|5555 | 0.000000e+00 | -- | Inf
1305.20/1305.52 c 1237s| 6350k| 1561k| 17650k|1274M| 54 | 7 | 60 |5089 | 137 | 60 | 17 | 18 |3217k|5555 | 0.000000e+00 | -- | Inf
1307.61/1307.92 c 1239s| 6360k| 1563k| 17677k|1275M| 54 | 7 | 60 |4364 | 16 | 60 | 17 | 18 |3223k|5559 | 0.000000e+00 | -- | Inf
1309.90/1310.24 c 1241s| 6370k| 1565k| 17705k|1277M| 54 | - | 60 |4249 | 212 | 60 | 17 | 18 |3228k|5563 | 0.000000e+00 | -- | Inf
1312.10/1312.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.10/1312.46 c 1243s| 6380k| 1568k| 17732k|1279M| 54 | - | 60 |4389 | 17 | 60 | 17 | 18 |3233k|5567 | 0.000000e+00 | -- | Inf
1314.40/1314.75 c 1245s| 6390k| 1570k| 17759k|1281M| 54 | 7 | 60 |4261 | 61 | 60 | 17 | 18 |3238k|5571 | 0.000000e+00 | -- | Inf
1316.60/1316.97 c 1247s| 6400k| 1572k| 17788k|1283M| 54 | 7 | 60 |4762 | 212 | 60 | 17 | 18 |3243k|5575 | 0.000000e+00 | -- | Inf
1318.80/1319.10 c 1249s| 6410k| 1574k| 17815k|1285M| 54 | 7 | 60 |5725 | 76 | 60 | 17 | 18 |3248k|5578 | 0.000000e+00 | -- | Inf
1321.10/1321.40 c 1252s| 6420k| 1577k| 17844k|1287M| 54 | 7 | 60 |5436 | 14 | 60 | 17 | 18 |3253k|5581 | 0.000000e+00 | -- | Inf
1323.20/1323.56 c 1254s| 6430k| 1579k| 17871k|1289M| 54 | 7 | 60 |6128 | 70 | 60 | 17 | 18 |3258k|5584 | 0.000000e+00 | -- | Inf
1325.50/1325.89 c 1256s| 6440k| 1582k| 17899k|1291M| 54 | - | 60 |5450 | 33 | 60 | 17 | 18 |3263k|5589 | 0.000000e+00 | -- | Inf
1327.79/1328.18 c 1258s| 6450k| 1584k| 17927k|1293M| 54 | - | 60 |5859 | 241 | 60 | 17 | 18 |3269k|5592 | 0.000000e+00 | -- | Inf
1330.00/1330.39 c 1260s| 6460k| 1586k| 17954k|1295M| 54 | - | 60 |5217 | 11 | 60 | 17 | 18 |3273k|5595 | 0.000000e+00 | -- | Inf
1332.19/1332.59 c 1262s| 6470k| 1589k| 17981k|1297M| 54 | - | 60 |5453 | 13 | 60 | 17 | 18 |3279k|5597 | 0.000000e+00 | -- | Inf
1334.49/1334.81 c 1264s| 6480k| 1591k| 18009k|1299M| 54 | 7 | 60 |5777 | 25 | 60 | 17 | 18 |3284k|5602 | 0.000000e+00 | -- | Inf
1336.90/1337.24 c 1267s| 6490k| 1593k| 18036k|1301M| 54 | 7 | 60 |4070 | 25 | 60 | 17 | 18 |3289k|5605 | 0.000000e+00 | -- | Inf
1339.20/1339.51 c 1269s| 6500k| 1595k| 18064k|1303M| 54 | 7 | 60 |4701 | 40 | 60 | 17 | 18 |3294k|5607 | 0.000000e+00 | -- | Inf
1341.39/1341.76 c 1271s| 6510k| 1598k| 18091k|1305M| 54 | 7 | 60 |4782 | 9 | 60 | 17 | 18 |3299k|5608 | 0.000000e+00 | -- | Inf
1343.60/1343.90 c 1273s| 6520k| 1600k| 18119k|1307M| 54 | - | 60 |5424 | 77 | 60 | 17 | 18 |3304k|5614 | 0.000000e+00 | -- | Inf
1346.00/1346.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.00/1346.32 c 1275s| 6530k| 1602k| 18147k|1308M| 54 | 7 | 60 |4684 | 171 | 60 | 17 | 18 |3309k|5618 | 0.000000e+00 | -- | Inf
1348.10/1348.47 c 1277s| 6540k| 1605k| 18175k|1311M| 54 | 7 | 60 |5222 | 79 | 60 | 17 | 18 |3314k|5621 | 0.000000e+00 | -- | Inf
1350.50/1350.85 c 1280s| 6550k| 1607k| 18203k|1312M| 54 | 7 | 60 |4320 | 57 | 60 | 17 | 18 |3320k|5622 | 0.000000e+00 | -- | Inf
1352.79/1353.16 c 1282s| 6560k| 1609k| 18231k|1314M| 54 | 7 | 60 |3938 | 9 | 60 | 17 | 18 |3325k|5626 | 0.000000e+00 | -- | Inf
1354.99/1355.31 c 1284s| 6570k| 1611k| 18259k|1316M| 54 | - | 60 |4419 | 364 | 60 | 17 | 18 |3330k|5632 | 0.000000e+00 | -- | Inf
1357.19/1357.53 c 1286s| 6580k| 1614k| 18287k|1318M| 54 | - | 60 |4341 | 240 | 60 | 17 | 18 |3335k|5633 | 0.000000e+00 | -- | Inf
1359.49/1359.83 c 1288s| 6590k| 1616k| 18315k|1320M| 54 | - | 60 |4201 | 47 | 0 | 0 | 18 |3341k|5638 | 0.000000e+00 | -- | Inf
1361.59/1361.94 c 1290s| 6600k| 1618k| 18343k|1322M| 54 | 7 | 60 |4845 | 15 | 60 | 17 | 18 |3346k|5639 | 0.000000e+00 | -- | Inf
1363.88/1364.23 c 1292s| 6610k| 1620k| 18370k|1324M| 54 | 7 | 60 |4301 | 343 | 60 | 17 | 18 |3351k|5641 | 0.000000e+00 | -- | Inf
1365.99/1366.37 c 1294s| 6620k| 1623k| 18398k|1326M| 54 | 7 | 60 |5124 | 14 | 60 | 17 | 18 |3356k|5647 | 0.000000e+00 | -- | Inf
1368.29/1368.67 c 1297s| 6630k| 1625k| 18426k|1328M| 54 | 7 | 60 |5003 | 51 | 60 | 17 | 18 |3361k|5651 | 0.000000e+00 | -- | Inf
1370.59/1370.90 c 1299s| 6640k| 1627k| 18454k|1330M| 54 | 7 | 60 |5311 | 62 | 60 | 17 | 18 |3366k|5655 | 0.000000e+00 | -- | Inf
1372.79/1373.12 c 1301s| 6650k| 1630k| 18481k|1332M| 54 | 7 | 60 |5762 | 345 | 60 | 17 | 18 |3371k|5663 | 0.000000e+00 | -- | Inf
1374.99/1375.36 c 1303s| 6660k| 1632k| 18509k|1334M| 54 | - | 60 |6118 | 111 | 60 | 17 | 18 |3376k|5664 | 0.000000e+00 | -- | Inf
1377.38/1377.71 c 1305s| 6670k| 1634k| 18536k|1336M| 54 | 7 | 60 |5198 | 93 | 60 | 17 | 18 |3381k|5669 | 0.000000e+00 | -- | Inf
1379.68/1380.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.68/1380.01 c 1307s| 6680k| 1636k| 18564k|1338M| 54 | 7 | 60 |5066 | 20 | 60 | 17 | 18 |3387k|5671 | 0.000000e+00 | -- | Inf
1381.98/1382.34 c 1310s| 6690k| 1639k| 18591k|1339M| 54 | 7 | 60 |4368 | 70 | 60 | 17 | 18 |3392k|5672 | 0.000000e+00 | -- | Inf
1384.28/1384.62 c 1312s| 6700k| 1641k| 18619k|1341M| 54 | - | 60 |4936 | 17 | 60 | 17 | 18 |3397k|5677 | 0.000000e+00 | -- | Inf
1386.59/1386.99 c 1314s| 6710k| 1643k| 18647k|1343M| 54 | 7 | 60 |4737 | 16 | 60 | 17 | 18 |3402k|5679 | 0.000000e+00 | -- | Inf
1388.89/1389.22 c 1316s| 6720k| 1645k| 18675k|1345M| 54 | - | 60 |4995 | 53 | 60 | 17 | 18 |3407k|5685 | 0.000000e+00 | -- | Inf
1391.19/1391.53 c 1318s| 6730k| 1648k| 18702k|1347M| 54 | - | 60 |4224 | 12 | 60 | 17 | 18 |3412k|5689 | 0.000000e+00 | -- | Inf
1393.39/1393.75 c 1321s| 6740k| 1650k| 18730k|1349M| 54 | - | 60 |5106 | 11 | 60 | 17 | 18 |3417k|5691 | 0.000000e+00 | -- | Inf
1395.68/1396.06 c 1323s| 6750k| 1652k| 18757k|1351M| 54 | 7 | 60 |4528 | 66 | 60 | 17 | 18 |3422k|5693 | 0.000000e+00 | -- | Inf
1397.98/1398.37 c 1325s| 6760k| 1654k| 18785k|1353M| 54 | 7 | 60 |4719 | 40 | 60 | 17 | 18 |3427k|5699 | 0.000000e+00 | -- | Inf
1400.18/1400.53 c 1327s| 6770k| 1657k| 18812k|1355M| 54 | 7 | 60 |4936 | 47 | 60 | 17 | 18 |3432k|5702 | 0.000000e+00 | -- | Inf
1402.28/1402.60 c 1329s| 6780k| 1659k| 18840k|1357M| 54 | 7 | 60 |6362 | 78 | 60 | 17 | 18 |3437k|5706 | 0.000000e+00 | -- | Inf
1404.48/1404.87 c 1331s| 6790k| 1662k| 18867k|1359M| 54 | 7 | 60 |5438 | 160 | 60 | 17 | 18 |3442k|5711 | 0.000000e+00 | -- | Inf
1406.78/1407.18 c 1333s| 6800k| 1664k| 18895k|1361M| 54 | 7 | 60 |5808 | 31 | 60 | 17 | 18 |3447k|5717 | 0.000000e+00 | -- | Inf
1409.18/1409.51 c 1335s| 6810k| 1667k| 18923k|1363M| 54 | - | 60 |5435 | 79 | 60 | 17 | 18 |3453k|5720 | 0.000000e+00 | -- | Inf
1411.58/1411.95 c 1338s| 6820k| 1668k| 18951k|1364M| 54 | 7 | 60 |3752 | 90 | 60 | 17 | 18 |3458k|5723 | 0.000000e+00 | -- | Inf
1413.88/1414.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.88/1414.29 c 1340s| 6830k| 1671k| 18979k|1366M| 54 | 7 | 60 |3904 | 37 | 60 | 17 | 18 |3463k|5727 | 0.000000e+00 | -- | Inf
1416.18/1416.53 c 1342s| 6840k| 1673k| 19005k|1368M| 54 | 7 | 60 |3936 | 36 | 60 | 17 | 18 |3468k|5729 | 0.000000e+00 | -- | Inf
1418.28/1418.60 c 1344s| 6850k| 1675k| 19032k|1371M| 54 | - | 60 |5295 | 28 | 60 | 17 | 18 |3473k|5732 | 0.000000e+00 | -- | Inf
1420.48/1420.81 c 1346s| 6860k| 1677k| 19060k|1373M| 54 | 7 | 60 |5456 |2544 | 60 | 17 | 18 |3478k|5732 | 0.000000e+00 | -- | Inf
1422.78/1423.17 c 1348s| 6870k| 1680k| 19089k|1374M| 54 | - | 60 |4790 | 23 | 60 | 17 | 18 |3484k|5735 | 0.000000e+00 | -- | Inf
1424.88/1425.25 c 1350s| 6880k| 1682k| 19115k|1377M| 54 | - | 60 |6071 | 198 | 60 | 17 | 18 |3489k|5740 | 0.000000e+00 | -- | Inf
1427.17/1427.54 c 1353s| 6890k| 1684k| 19143k|1379M| 54 | 7 | 60 |6316 | 52 | 60 | 17 | 18 |3494k|5744 | 0.000000e+00 | -- | Inf
1429.58/1430.00 c 1355s| 6900k| 1686k| 19171k|1380M| 54 | 7 | 60 |4856 | 101 | 60 | 17 | 18 |3499k|5749 | 0.000000e+00 | -- | Inf
1431.97/1432.35 c 1357s| 6910k| 1688k| 19199k|1382M| 54 | 7 | 60 |4928 | 14 | 60 | 17 | 18 |3504k|5755 | 0.000000e+00 | -- | Inf
1434.37/1434.70 c 1360s| 6920k| 1690k| 19227k|1384M| 54 | 7 | 60 |4906 | 478 | 60 | 17 | 18 |3510k|5758 | 0.000000e+00 | -- | Inf
1436.57/1436.98 c 1362s| 6930k| 1693k| 19254k|1386M| 54 | - | 60 |4798 | 158 | 60 | 17 | 18 |3515k|5762 | 0.000000e+00 | -- | Inf
1438.97/1439.31 c 1364s| 6940k| 1695k| 19282k|1387M| 54 | 7 | 60 |3705 | 273 | 60 | 17 | 18 |3520k|5764 | 0.000000e+00 | -- | Inf
1441.07/1441.48 c 1366s| 6950k| 1697k| 19309k|1389M| 54 | 7 | 60 |4166 | 42 | 60 | 17 | 18 |3525k|5765 | 0.000000e+00 | -- | Inf
1443.27/1443.60 c 1368s| 6960k| 1699k| 19336k|1392M| 54 | - | 60 |5179 | 33 | 60 | 17 | 18 |3530k|5772 | 0.000000e+00 | -- | Inf
1445.36/1445.79 c 1370s| 6970k| 1701k| 19363k|1394M| 54 | - | 60 |5463 | 13 | 0 | 0 | 18 |3536k|5779 | 0.000000e+00 | -- | Inf
1447.47/1447.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.47/1447.87 c 1372s| 6980k| 1704k| 19389k|1396M| 54 | 7 | 60 |6531 | 472 | 60 | 17 | 18 |3541k|5781 | 0.000000e+00 | -- | Inf
1449.87/1450.20 c 1374s| 6990k| 1706k| 19415k|1398M| 54 | - | 60 |7289 | 233 | 60 | 17 | 18 |3546k|5788 | 0.000000e+00 | -- | Inf
1452.26/1452.69 c 1377s| 7000k| 1708k| 19442k|1399M| 54 | 7 | 60 |4430 | 22 | 60 | 17 | 18 |3551k|5790 | 0.000000e+00 | -- | Inf
1454.67/1455.00 c 1379s| 7010k| 1711k| 19470k|1401M| 54 | 7 | 60 |5163 | 132 | 60 | 17 | 18 |3556k|5795 | 0.000000e+00 | -- | Inf
1457.07/1457.47 c 1381s| 7020k| 1713k| 19498k|1403M| 54 | - | 60 |4476 | 183 | 60 | 17 | 18 |3562k|5798 | 0.000000e+00 | -- | Inf
1459.37/1459.77 c 1383s| 7030k| 1715k| 19526k|1405M| 54 | 7 | 60 |4424 | 25 | 60 | 17 | 18 |3567k|5802 | 0.000000e+00 | -- | Inf
1461.47/1461.89 c 1385s| 7040k| 1717k| 19555k|1407M| 54 | 7 | 60 |5907 |1489 | 60 | 17 | 18 |3572k|5806 | 0.000000e+00 | -- | Inf
1463.86/1464.26 c 1388s| 7050k| 1720k| 19582k|1409M| 54 | 7 | 60 |5592 | 8 | 60 | 17 | 18 |3577k|5809 | 0.000000e+00 | -- | Inf
1466.16/1466.58 c 1390s| 7060k| 1722k| 19610k|1411M| 54 | - | 60 |5622 | 11 | 60 | 17 | 18 |3582k|5812 | 0.000000e+00 | -- | Inf
1468.46/1468.84 c 1392s| 7070k| 1724k| 19638k|1413M| 54 | 7 | 60 |6036 | 128 | 60 | 17 | 18 |3587k|5819 | 0.000000e+00 | -- | Inf
1470.86/1471.26 c 1394s| 7080k| 1727k| 19666k|1415M| 54 | 7 | 60 |5304 | 42 | 60 | 17 | 18 |3592k|5825 | 0.000000e+00 | -- | Inf
1473.26/1473.62 c 1397s| 7090k| 1729k| 19694k|1417M| 54 | 7 | 60 |4958 | 169 | 60 | 17 | 18 |3598k|5827 | 0.000000e+00 | -- | Inf
1475.36/1475.76 c 1399s| 7100k| 1731k| 19721k|1419M| 54 | 7 | 60 |5008 | 22 | 60 | 17 | 18 |3603k|5829 | 0.000000e+00 | -- | Inf
1477.46/1477.86 c 1401s| 7110k| 1734k| 19749k|1421M| 54 | - | 60 |5546 | 74 | 60 | 17 | 18 |3608k|5832 | 0.000000e+00 | -- | Inf
1479.56/1479.98 c 1403s| 7120k| 1736k| 19776k|1423M| 54 | - | 60 |7198 | 19 | 60 | 17 | 18 |3613k|5836 | 0.000000e+00 | -- | Inf
1481.96/1482.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.96/1482.36 c 1405s| 7130k| 1739k| 19804k|1425M| 54 | 7 | 60 |5567 | 101 | 60 | 17 | 18 |3618k|5838 | 0.000000e+00 | -- | Inf
1484.26/1484.68 c 1407s| 7140k| 1741k| 19831k|1427M| 54 | 7 | 60 |4528 | 140 | 60 | 17 | 18 |3623k|5842 | 0.000000e+00 | -- | Inf
1486.26/1486.68 c 1409s| 7150k| 1744k| 19858k|1429M| 54 | 7 | 60 |5735 | 17 | 60 | 17 | 18 |3628k|5844 | 0.000000e+00 | -- | Inf
1488.65/1489.07 c 1411s| 7160k| 1746k| 19885k|1431M| 54 | - | 60 |5190 | 60 | 60 | 17 | 18 |3633k|5845 | 0.000000e+00 | -- | Inf
1490.96/1491.38 c 1413s| 7170k| 1748k| 19913k|1433M| 54 | 7 | 60 |4924 | 34 | 60 | 17 | 18 |3638k|5848 | 0.000000e+00 | -- | Inf
1493.15/1493.53 c 1416s| 7180k| 1751k| 19940k|1435M| 54 | 7 | 60 |6201 |1454 | 60 | 17 | 18 |3642k|5852 | 0.000000e+00 | -- | Inf
1495.56/1495.99 c 1418s| 7190k| 1753k| 19968k|1437M| 54 | - | 60 |4756 | 111 | 60 | 17 | 18 |3647k|5852 | 0.000000e+00 | -- | Inf
1498.05/1498.42 c 1420s| 7200k| 1755k| 19995k|1438M| 54 | 7 | 60 |4130 | 26 | 60 | 17 | 18 |3653k|5854 | 0.000000e+00 | -- | Inf
1500.25/1500.67 c 1422s| 7210k| 1757k| 20022k|1440M| 54 | - | 60 |4190 | 285 | 60 | 17 | 18 |3658k|5858 | 0.000000e+00 | -- | Inf
1502.34/1502.77 c 1424s| 7220k| 1760k| 20048k|1443M| 54 | 7 | 60 |5688 | 25 | 60 | 17 | 18 |3663k|5861 | 0.000000e+00 | -- | Inf
1504.64/1505.04 c 1426s| 7230k| 1762k| 20076k|1445M| 54 | 7 | 60 |6355 | 30 | 60 | 17 | 18 |3668k|5862 | 0.000000e+00 | -- | Inf
1506.85/1507.25 c 1429s| 7240k| 1765k| 20104k|1447M| 54 | - | 60 |5881 | 37 | 60 | 17 | 18 |3673k|5864 | 0.000000e+00 | -- | Inf
1508.95/1509.36 c 1431s| 7250k| 1768k| 20130k|1449M| 54 | - | 60 |6872 | 212 | 60 | 17 | 18 |3677k|5865 | 0.000000e+00 | -- | Inf
1511.44/1511.80 c 1433s| 7260k| 1770k| 20158k|1450M| 54 | 7 | 60 |4945 | 58 | 60 | 17 | 18 |3683k|5867 | 0.000000e+00 | -- | Inf
1513.74/1514.12 c 1435s| 7270k| 1772k| 20186k|1452M| 54 | - | 60 |4866 | 20 | 60 | 17 | 18 |3688k|5870 | 0.000000e+00 | -- | Inf
1515.94/1516.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.94/1516.34 c 1437s| 7280k| 1774k| 20214k|1454M| 54 | - | 60 |5476 | 114 | 60 | 17 | 18 |3693k|5874 | 0.000000e+00 | -- | Inf
1518.23/1518.64 c 1439s| 7290k| 1776k| 20243k|1456M| 54 | - | 60 |5389 | 198 | 60 | 17 | 18 |3698k|5879 | 0.000000e+00 | -- | Inf
1520.63/1521.00 c 1442s| 7300k| 1778k| 20271k|1458M| 54 | - | 60 |4960 | 79 | 60 | 17 | 18 |3704k|5884 | 0.000000e+00 | -- | Inf
1522.63/1523.08 c 1444s| 7310k| 1781k| 20298k|1461M| 54 | 7 | 60 |6826 | 58 | 60 | 17 | 18 |3709k|5887 | 0.000000e+00 | -- | Inf
1524.83/1525.29 c 1446s| 7320k| 1783k| 20327k|1463M| 54 | 7 | 60 |7935 | 89 | 60 | 17 | 18 |3714k|5892 | 0.000000e+00 | -- | Inf
1527.23/1527.64 c 1448s| 7330k| 1786k| 20354k|1464M| 54 | - | 60 |5991 | 95 | 60 | 17 | 18 |3719k|5895 | 0.000000e+00 | -- | Inf
1529.43/1529.89 c 1450s| 7340k| 1788k| 20381k|1466M| 54 | 7 | 60 |4814 | 47 | 60 | 17 | 18 |3724k|5896 | 0.000000e+00 | -- | Inf
1531.72/1532.20 c 1452s| 7350k| 1790k| 20409k|1468M| 54 | - | 60 |4345 | 66 | 60 | 17 | 18 |3729k|5902 | 0.000000e+00 | -- | Inf
1533.83/1534.27 c 1454s| 7360k| 1793k| 20436k|1470M| 54 | 7 | 60 |5450 | 153 | 60 | 17 | 18 |3734k|5906 | 0.000000e+00 | -- | Inf
1536.13/1536.55 c 1456s| 7370k| 1795k| 20463k|1472M| 54 | 7 | 60 |4363 | 61 | 60 | 17 | 18 |3739k|5910 | 0.000000e+00 | -- | Inf
1538.32/1538.79 c 1459s| 7380k| 1797k| 20490k|1474M| 54 | 7 | 60 |4553 | 421 | 60 | 17 | 18 |3744k|5913 | 0.000000e+00 | -- | Inf
1540.83/1541.20 c 1461s| 7390k| 1799k| 20518k|1476M| 54 | - | 60 |4136 | 224 | 60 | 17 | 18 |3749k|5916 | 0.000000e+00 | -- | Inf
1543.02/1543.40 c 1463s| 7400k| 1801k| 20545k|1477M| 54 | 7 | 60 |4427 | 217 | 60 | 17 | 18 |3755k|5919 | 0.000000e+00 | -- | Inf
1545.22/1545.68 c 1465s| 7410k| 1803k| 20572k|1479M| 54 | - | 60 |4403 | 83 | 60 | 17 | 18 |3760k|5922 | 0.000000e+00 | -- | Inf
1547.52/1547.97 c 1467s| 7420k| 1806k| 20600k|1481M| 54 | 7 | 60 |4465 | 51 | 60 | 17 | 18 |3765k|5930 | 0.000000e+00 | -- | Inf
1549.82/1550.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.82/1550.28 c 1469s| 7430k| 1808k| 20627k|1483M| 54 | 7 | 60 |4078 | 418 | 60 | 17 | 18 |3770k|5930 | 0.000000e+00 | -- | Inf
1551.82/1552.29 c 1471s| 7440k| 1811k| 20654k|1485M| 54 | 7 | 60 |5136 | 80 | 60 | 17 | 18 |3775k|5935 | 0.000000e+00 | -- | Inf
1554.02/1554.44 c 1473s| 7450k| 1813k| 20682k|1488M| 54 | - | 60 |5975 | 15 | 60 | 17 | 18 |3780k|5935 | 0.000000e+00 | -- | Inf
1556.32/1556.70 c 1476s| 7460k| 1816k| 20710k|1490M| 54 | - | 60 |6588 | 38 | 60 | 17 | 18 |3785k|5935 | 0.000000e+00 | -- | Inf
1558.62/1559.03 c 1478s| 7470k| 1818k| 20737k|1492M| 54 | 7 | 60 |6266 | 317 | 60 | 17 | 18 |3790k|5935 | 0.000000e+00 | -- | Inf
1561.11/1561.51 c 1480s| 7480k| 1820k| 20765k|1493M| 54 | 7 | 60 |4872 | 47 | 60 | 17 | 18 |3795k|5935 | 0.000000e+00 | -- | Inf
1563.42/1563.89 c 1482s| 7490k| 1823k| 20793k|1495M| 54 | 7 | 60 |4662 | 31 | 60 | 17 | 18 |3800k|5935 | 0.000000e+00 | -- | Inf
1565.62/1566.02 c 1484s| 7500k| 1825k| 20821k|1497M| 54 | - | 60 |5058 | 24 | 60 | 17 | 18 |3805k|5935 | 0.000000e+00 | -- | Inf
1567.72/1568.17 c 1487s| 7510k| 1828k| 20848k|1500M| 54 | 7 | 60 |6404 | 44 | 60 | 17 | 18 |3810k|5935 | 0.000000e+00 | -- | Inf
1570.12/1570.55 c 1489s| 7520k| 1830k| 20876k|1501M| 54 | 7 | 60 |5162 | 49 | 60 | 17 | 18 |3815k|5939 | 0.000000e+00 | -- | Inf
1572.42/1572.85 c 1491s| 7530k| 1833k| 20903k|1503M| 54 | 7 | 60 |4744 | 73 | 60 | 17 | 18 |3820k|5940 | 0.000000e+00 | -- | Inf
1574.82/1575.29 c 1493s| 7540k| 1835k| 20930k|1505M| 54 | 7 | 60 |4161 | 51 | 60 | 17 | 18 |3825k|5944 | 0.000000e+00 | -- | Inf
1577.03/1577.46 c 1495s| 7550k| 1837k| 20959k|1507M| 54 | 7 | 60 |4966 | 91 | 60 | 17 | 18 |3830k|5947 | 0.000000e+00 | -- | Inf
1579.12/1579.56 c 1497s| 7560k| 1840k| 20986k|1509M| 54 | 7 | 60 |6184 | 47 | 60 | 17 | 18 |3835k|5950 | 0.000000e+00 | -- | Inf
1581.51/1581.94 c 1500s| 7570k| 1843k| 21013k|1511M| 54 | 7 | 60 |6286 | 118 | 60 | 17 | 18 |3840k|5955 | 0.000000e+00 | -- | Inf
1583.91/1584.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.91/1584.36 c 1502s| 7580k| 1845k| 21040k|1513M| 54 | 7 | 60 |5305 | 62 | 60 | 17 | 18 |3845k|5957 | 0.000000e+00 | -- | Inf
1586.31/1586.70 c 1504s| 7590k| 1847k| 21067k|1515M| 54 | 7 | 60 |5101 | 232 | 60 | 17 | 18 |3850k|5960 | 0.000000e+00 | -- | Inf
1588.51/1588.92 c 1506s| 7600k| 1849k| 21094k|1517M| 54 | 7 | 60 |5290 | 129 | 60 | 17 | 18 |3855k|5961 | 0.000000e+00 | -- | Inf
1590.71/1591.17 c 1508s| 7610k| 1852k| 21122k|1519M| 54 | 7 | 60 |5157 | 41 | 60 | 17 | 18 |3860k|5968 | 0.000000e+00 | -- | Inf
1593.01/1593.48 c 1511s| 7620k| 1854k| 21149k|1521M| 54 | 7 | 60 |5449 | 329 | 60 | 17 | 18 |3866k|5968 | 0.000000e+00 | -- | Inf
1595.51/1595.92 c 1513s| 7630k| 1856k| 21177k|1523M| 54 | 7 | 60 |4182 | 64 | 60 | 17 | 18 |3871k|5970 | 0.000000e+00 | -- | Inf
1597.51/1597.99 c 1515s| 7640k| 1859k| 21205k|1525M| 54 | 7 | 60 |5991 | 81 | 60 | 17 | 18 |3876k|5974 | 0.000000e+00 | -- | Inf
1600.02/1600.49 c 1517s| 7650k| 1861k| 21232k|1527M| 54 | - | 60 |4365 | 30 | 60 | 17 | 18 |3881k|5979 | 0.000000e+00 | -- | Inf
1602.41/1602.80 c 1519s| 7660k| 1863k| 21259k|1528M| 54 | - | 60 |4457 | 71 | 60 | 17 | 18 |3886k|5985 | 0.000000e+00 | -- | Inf
1604.52/1604.99 c 1522s| 7670k| 1865k| 21286k|1531M| 54 | 7 | 60 |5043 | 118 | 60 | 17 | 18 |3891k|5989 | 0.000000e+00 | -- | Inf
1606.92/1607.32 c 1524s| 7680k| 1868k| 21313k|1532M| 54 | - | 60 |4447 | 46 | 60 | 17 | 18 |3896k|5989 | 0.000000e+00 | -- | Inf
1609.21/1609.67 c 1526s| 7690k| 1870k| 21342k|1534M| 54 | - | 60 |4377 | 52 | 60 | 17 | 18 |3901k|5989 | 0.000000e+00 | -- | Inf
1611.71/1612.10 c 1528s| 7700k| 1872k| 21370k|1536M| 54 | 7 | 60 |4200 | 42 | 60 | 17 | 18 |3907k|5994 | 0.000000e+00 | -- | Inf
1614.01/1614.49 c 1531s| 7710k| 1874k| 21399k|1538M| 54 | 7 | 60 |4535 | 880 | 60 | 17 | 18 |3912k|5997 | 0.000000e+00 | -- | Inf
1616.31/1616.77 c 1533s| 7720k| 1876k| 21426k|1540M| 54 | 7 | 60 |4742 | 175 | 60 | 17 | 18 |3917k|6000 | 0.000000e+00 | -- | Inf
1618.61/1619.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.61/1619.09 c 1535s| 7730k| 1878k| 21453k|1542M| 54 | - | 60 |5060 | 12 | 60 | 17 | 18 |3922k|6005 | 0.000000e+00 | -- | Inf
1620.91/1621.35 c 1537s| 7740k| 1880k| 21480k|1544M| 54 | 7 | 60 |4721 | 47 | 60 | 17 | 18 |3928k|6005 | 0.000000e+00 | -- | Inf
1623.31/1623.71 c 1539s| 7750k| 1882k| 21508k|1546M| 54 | 7 | 60 |4382 | 183 | 60 | 17 | 18 |3933k|6005 | 0.000000e+00 | -- | Inf
1625.51/1625.91 c 1541s| 7760k| 1885k| 21536k|1548M| 54 | - | 60 |5082 | 33 | 60 | 17 | 18 |3938k|6005 | 0.000000e+00 | -- | Inf
1627.81/1628.25 c 1544s| 7770k| 1887k| 21564k|1549M| 54 | 7 | 60 |4273 | 116 | 60 | 17 | 18 |3943k|6005 | 0.000000e+00 | -- | Inf
1630.01/1630.46 c 1546s| 7780k| 1889k| 21591k|1552M| 54 | - | 60 |5394 | 44 | 60 | 17 | 18 |3948k|6005 | 0.000000e+00 | -- | Inf
1632.41/1632.86 c 1548s| 7790k| 1891k| 21619k|1554M| 54 | - | 60 |5098 | 58 | 60 | 17 | 18 |3953k|6005 | 0.000000e+00 | -- | Inf
1634.61/1635.03 c 1550s| 7800k| 1894k| 21647k|1556M| 54 | - | 60 |6194 | 28 | 60 | 17 | 18 |3958k|6005 | 0.000000e+00 | -- | Inf
1636.91/1637.30 c 1552s| 7810k| 1896k| 21675k|1558M| 54 | - | 60 |6700 | 83 | 60 | 17 | 18 |3963k|6005 | 0.000000e+00 | -- | Inf
1639.31/1639.78 c 1555s| 7820k| 1899k| 21702k|1559M| 54 | 7 | 60 |5095 | 24 | 60 | 17 | 18 |3968k|6005 | 0.000000e+00 | -- | Inf
1641.70/1642.17 c 1557s| 7830k| 1901k| 21730k|1561M| 54 | 7 | 60 |4571 | 79 | 60 | 17 | 18 |3974k|6005 | 0.000000e+00 | -- | Inf
1644.01/1644.47 c 1559s| 7840k| 1903k| 21757k|1563M| 54 | - | 60 |4738 | 126 | 60 | 17 | 18 |3979k|6005 | 0.000000e+00 | -- | Inf
1646.40/1646.82 c 1561s| 7850k| 1905k| 21785k|1565M| 54 | - | 60 |4388 | 49 | 60 | 17 | 18 |3984k|6005 | 0.000000e+00 | -- | Inf
1648.30/1648.80 c 1563s| 7860k| 1909k| 21811k|1568M| 54 | 7 | 60 |5419 |1089 | 60 | 17 | 18 |3989k|6005 | 0.000000e+00 | -- | Inf
1650.51/1650.97 c 1565s| 7870k| 1911k| 21837k|1570M| 54 | - | 60 |6170 | 107 | 60 | 17 | 18 |3994k|6010 | 0.000000e+00 | -- | Inf
1653.00/1653.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.00/1653.44 c 1568s| 7880k| 1913k| 21864k|1571M| 54 | 7 | 60 |5672 | 21 | 60 | 17 | 18 |3999k|6012 | 0.000000e+00 | -- | Inf
1655.30/1655.77 c 1570s| 7890k| 1916k| 21891k|1573M| 54 | 7 | 60 |5617 | 139 | 60 | 17 | 18 |4004k|6012 | 0.000000e+00 | -- | Inf
1657.60/1658.02 c 1572s| 7900k| 1918k| 21918k|1576M| 54 | - | 60 |6892 | 267 | 60 | 17 | 18 |4009k|6012 | 0.000000e+00 | -- | Inf
1660.10/1660.59 c 1575s| 7910k| 1920k| 21946k|1577M| 54 | 7 | 60 |4490 | 178 | 60 | 17 | 18 |4014k|6012 | 0.000000e+00 | -- | Inf
1662.50/1662.96 c 1577s| 7920k| 1922k| 21974k|1579M| 54 | - | 60 |4431 | 48 | 60 | 17 | 18 |4020k|6013 | 0.000000e+00 | -- | Inf
1664.70/1665.17 c 1579s| 7930k| 1925k| 22001k|1581M| 54 | 7 | 60 |5544 | 50 | 60 | 17 | 18 |4025k|6017 | 0.000000e+00 | -- | Inf
1667.11/1667.55 c 1581s| 7940k| 1927k| 22029k|1583M| 54 | 7 | 60 |5236 | 21 | 60 | 17 | 18 |4030k|6025 | 0.000000e+00 | -- | Inf
1669.21/1669.61 c 1583s| 7950k| 1930k| 22055k|1585M| 54 | 7 | 60 |7011 | 18 | 60 | 17 | 18 |4034k|6028 | 0.000000e+00 | -- | Inf
1671.61/1672.01 c 1585s| 7960k| 1932k| 22082k|1587M| 54 | - | 60 |6152 | 66 | 60 | 17 | 18 |4039k|6031 | 0.000000e+00 | -- | Inf
1673.90/1674.31 c 1588s| 7970k| 1934k| 22110k|1589M| 54 | - | 60 |6266 | 111 | 60 | 17 | 18 |4044k|6033 | 0.000000e+00 | -- | Inf
1676.30/1676.78 c 1590s| 7980k| 1937k| 22138k|1591M| 54 | - | 60 |5249 | 18 | 60 | 17 | 18 |4050k|6035 | 0.000000e+00 | -- | Inf
1678.70/1679.19 c 1592s| 7990k| 1939k| 22166k|1593M| 54 | 7 | 60 |4644 | 30 | 60 | 17 | 18 |4055k|6041 | 0.000000e+00 | -- | Inf
1681.10/1681.55 c 1595s| 8000k| 1941k| 22194k|1595M| 54 | 7 | 60 |4768 | 18 | 60 | 17 | 18 |4060k|6044 | 0.000000e+00 | -- | Inf
1683.50/1683.90 c 1597s| 8010k| 1943k| 22221k|1596M| 54 | 7 | 60 |4195 | 74 | 60 | 17 | 18 |4065k|6047 | 0.000000e+00 | -- | Inf
1685.81/1686.26 c 1599s| 8020k| 1945k| 22248k|1598M| 54 | - | 60 |4560 | 30 | 60 | 17 | 18 |4070k|6050 | 0.000000e+00 | -- | Inf
1688.20/1688.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.20/1688.62 c 1601s| 8030k| 1947k| 22275k|1600M| 54 | 7 | 60 |4407 | 60 | 60 | 17 | 18 |4076k|6050 | 0.000000e+00 | -- | Inf
1690.60/1691.00 c 1604s| 8040k| 1949k| 22302k|1602M| 54 | 7 | 60 |4462 | 143 | 60 | 17 | 18 |4081k|6052 | 0.000000e+00 | -- | Inf
1692.79/1693.23 c 1606s| 8050k| 1952k| 22330k|1604M| 54 | - | 60 |4911 | 59 | 60 | 17 | 18 |4086k|6056 | 0.000000e+00 | -- | Inf
1695.10/1695.56 c 1608s| 8060k| 1954k| 22357k|1606M| 54 | - | 60 |4647 | 621 | 60 | 17 | 18 |4091k|6061 | 0.000000e+00 | -- | Inf
1697.40/1697.81 c 1610s| 8070k| 1956k| 22385k|1608M| 54 | - | 60 |5491 | 70 | 0 | 0 | 18 |4096k|6065 | 0.000000e+00 | -- | Inf
1699.90/1700.35 c 1612s| 8080k| 1958k| 22413k|1610M| 54 | 7 | 60 |4441 | 328 | 60 | 17 | 18 |4101k|6071 | 0.000000e+00 | -- | Inf
1702.20/1702.61 c 1615s| 8090k| 1961k| 22441k|1612M| 54 | - | 60 |4699 | 39 | 60 | 17 | 18 |4107k|6075 | 0.000000e+00 | -- | Inf
1704.60/1705.01 c 1617s| 8100k| 1963k| 22469k|1614M| 54 | 7 | 60 |4571 | 60 | 60 | 17 | 18 |4112k|6078 | 0.000000e+00 | -- | Inf
1706.90/1707.37 c 1619s| 8110k| 1965k| 22496k|1616M| 54 | 7 | 60 |4498 | 28 | 60 | 17 | 18 |4117k|6082 | 0.000000e+00 | -- | Inf
1709.10/1709.57 c 1621s| 8120k| 1967k| 22524k|1618M| 54 | 7 | 60 |5338 | 17 | 60 | 17 | 18 |4122k|6082 | 0.000000e+00 | -- | Inf
1711.50/1711.93 c 1623s| 8130k| 1969k| 22551k|1619M| 54 | 7 | 60 |4922 | 840 | 60 | 17 | 18 |4127k|6085 | 0.000000e+00 | -- | Inf
1713.49/1713.93 c 1625s| 8140k| 1972k| 22578k|1622M| 54 | 7 | 60 |6087 | 53 | 60 | 17 | 18 |4132k|6087 | 0.000000e+00 | -- | Inf
1715.70/1716.16 c 1627s| 8150k| 1975k| 22605k|1624M| 54 | 7 | 60 |6325 | 148 | 60 | 17 | 18 |4137k|6092 | 0.000000e+00 | -- | Inf
1718.19/1718.67 c 1630s| 8160k| 1977k| 22632k|1625M| 54 | 7 | 60 |4633 | 28 | 60 | 17 | 18 |4142k|6097 | 0.000000e+00 | -- | Inf
1720.39/1720.85 c 1632s| 8170k| 1980k| 22661k|1628M| 54 | - | 60 |5976 | 187 | 60 | 17 | 18 |4147k|6097 | 0.000000e+00 | -- | Inf
1722.59/1723.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.59/1723.02 c 1634s| 8180k| 1983k| 22687k|1630M| 54 | 7 | 60 |6730 | 173 | 60 | 17 | 18 |4152k|6097 | 0.000000e+00 | -- | Inf
1725.10/1725.52 c 1636s| 8190k| 1985k| 22714k|1632M| 54 | 7 | 60 |5899 | 81 | 60 | 17 | 18 |4157k|6098 | 0.000000e+00 | -- | Inf
1727.50/1728.00 c 1639s| 8200k| 1987k| 22742k|1633M| 54 | 7 | 60 |4773 | 291 | 60 | 17 | 18 |4162k|6104 | 0.000000e+00 | -- | Inf
1729.99/1730.41 c 1641s| 8210k| 1989k| 22769k|1635M| 54 | - | 60 |4776 | 97 | 60 | 17 | 18 |4167k|6109 | 0.000000e+00 | -- | Inf
1732.29/1732.70 c 1643s| 8220k| 1991k| 22797k|1637M| 54 | 7 | 60 |4907 | 528 | 60 | 17 | 18 |4172k|6109 | 0.000000e+00 | -- | Inf
1734.49/1734.98 c 1645s| 8230k| 1994k| 22825k|1639M| 54 | 7 | 60 |5437 | 51 | 60 | 17 | 18 |4177k|6109 | 0.000000e+00 | -- | Inf
1736.49/1736.97 c 1647s| 8240k| 1997k| 22853k|1642M| 54 | 7 | 60 |7719 | 40 | 60 | 17 | 18 |4181k|6109 | 0.000000e+00 | -- | Inf
1738.99/1739.43 c 1650s| 8250k| 2000k| 22881k|1644M| 54 | 7 | 60 |7592 | 323 | 60 | 17 | 18 |4186k|6109 | 0.000000e+00 | -- | Inf
1741.39/1741.81 c 1652s| 8260k| 2002k| 22908k|1646M| 54 | - | 60 |6084 | 81 | 60 | 17 | 18 |4191k|6109 | 0.000000e+00 | -- | Inf
1743.59/1744.01 c 1654s| 8270k| 2005k| 22935k|1648M| 54 | 7 | 60 |6544 | 234 | 60 | 17 | 18 |4196k|6109 | 0.000000e+00 | -- | Inf
1745.99/1746.40 c 1656s| 8280k| 2007k| 22962k|1650M| 54 | 7 | 60 |5618 | 15 | 60 | 17 | 18 |4201k|6112 | 0.000000e+00 | -- | Inf
1748.29/1748.76 c 1659s| 8290k| 2009k| 22991k|1651M| 54 | - | 60 |5582 | 25 | 60 | 17 | 18 |4206k|6117 | 0.000000e+00 | -- | Inf
1750.59/1751.10 c 1661s| 8300k| 2012k| 23018k|1653M| 54 | - | 60 |5394 | 26 | 60 | 17 | 18 |4211k|6117 | 0.000000e+00 | -- | Inf
1753.09/1753.53 c 1663s| 8310k| 2014k| 23046k|1655M| 54 | 7 | 60 |4835 | 48 | 60 | 17 | 18 |4216k|6118 | 0.000000e+00 | -- | Inf
1755.49/1755.94 c 1665s| 8320k| 2016k| 23072k|1657M| 54 | - | 60 |4711 | 28 | 60 | 17 | 18 |4222k|6120 | 0.000000e+00 | -- | Inf
1757.79/1758.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.79/1758.23 c 1668s| 8330k| 2018k| 23100k|1659M| 54 | 7 | 60 |5503 | 140 | 60 | 17 | 18 |4227k|6122 | 0.000000e+00 | -- | Inf
1759.99/1760.43 c 1670s| 8340k| 2020k| 23128k|1661M| 54 | 7 | 60 |5574 | 66 | 60 | 17 | 18 |4232k|6125 | 0.000000e+00 | -- | Inf
1762.49/1762.94 c 1672s| 8350k| 2022k| 23156k|1663M| 54 | 7 | 60 |4000 | 26 | 60 | 17 | 18 |4237k|6129 | 0.000000e+00 | -- | Inf
1764.89/1765.30 c 1674s| 8360k| 2025k| 23184k|1665M| 54 | - | 60 |4874 | 74 | 60 | 17 | 18 |4242k|6133 | 0.000000e+00 | -- | Inf
1767.19/1767.62 c 1677s| 8370k| 2027k| 23211k|1667M| 54 | - | 60 |4897 | 18 | 60 | 17 | 18 |4247k|6134 | 0.000000e+00 | -- | Inf
1769.49/1769.91 c 1679s| 8380k| 2029k| 23237k|1669M| 54 | 7 | 60 |5699 | 15 | 60 | 17 | 18 |4252k|6135 | 0.000000e+00 | -- | Inf
1771.88/1772.38 c 1681s| 8390k| 2031k| 23265k|1670M| 54 | 7 | 60 |4405 | 53 | 60 | 17 | 18 |4258k|6135 | 0.000000e+00 | -- | Inf
1774.09/1774.53 c 1683s| 8400k| 2033k| 23292k|1673M| 54 | - | 60 |5576 | 84 | 0 | 0 | 18 |4263k|6135 | 0.000000e+00 | -- | Inf
1776.28/1776.75 c 1685s| 8410k| 2036k| 23318k|1675M| 54 | - | 60 |5384 | 30 | 60 | 17 | 18 |4268k|6135 | 0.000000e+00 | -- | Inf
1778.39/1778.88 c 1687s| 8420k| 2039k| 23344k|1677M| 54 | - | 60 |6421 | 10 | 60 | 17 | 18 |4272k|6136 | 0.000000e+00 | -- | Inf
1780.78/1781.25 c 1689s| 8430k| 2041k| 23371k|1679M| 54 | 7 | 60 |5340 | 15 | 60 | 17 | 18 |4277k|6142 | 0.000000e+00 | -- | Inf
1783.08/1783.55 c 1692s| 8440k| 2044k| 23398k|1680M| 54 | 7 | 60 |4995 | 154 | 60 | 17 | 18 |4282k|6143 | 0.000000e+00 | -- | Inf
1785.28/1785.70 c 1694s| 8450k| 2046k| 23426k|1683M| 54 | - | 60 |6551 | 54 | 60 | 17 | 18 |4287k|6144 | 0.000000e+00 | -- | Inf
1787.78/1788.23 c 1696s| 8460k| 2048k| 23454k|1684M| 54 | - | 60 |5106 | 248 | 60 | 17 | 18 |4292k|6146 | 0.000000e+00 | -- | Inf
1789.78/1790.26 c 1698s| 8470k| 2052k| 23482k|1687M| 54 | 7 | 60 |6771 | 49 | 60 | 17 | 18 |4297k|6148 | 0.000000e+00 | -- | Inf
1792.09/1792.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.09/1792.53 c 1700s| 8480k| 2054k| 23510k|1689M| 54 | 7 | 60 |7042 | 204 | 60 | 17 | 18 |4302k|6148 | 0.000000e+00 | -- | Inf
1794.49/1794.93 c 1702s| 8490k| 2056k| 23538k|1691M| 54 | 7 | 60 |6778 | 116 | 60 | 17 | 18 |4307k|6151 | 0.000000e+00 | -- | Inf
1796.89/1797.35 c 1705s| 8500k| 2059k| 23566k|1693M| 54 | 7 | 60 |5345 | 30 | 60 | 17 | 18 |4312k|6154 | 0.000000e+00 | -- | Inf
1799.38/1799.82 c 1707s| 8510k| 2061k| 23593k|1694M| 54 | 7 | 60 |4360 | 327 | 60 | 17 | 18 |4317k|6157 | 0.000000e+00 | -- | Inf
1800.09/1800.50 c
1800.09/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.50 c Solving Time (sec) : 1707.82
1800.09/1800.50 c Solving Nodes : 8512814
1800.09/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.50 c Dual Bound : +0.00000000000000e+00
1800.09/1800.50 c Gap : infinite
1800.09/1800.50 c NODE 8512814
1800.09/1800.50 c DUAL BOUND 0
1800.09/1800.50 c PRIMAL BOUND 1e+20
1800.09/1800.50 c GAP 1e+20
1800.09/1800.50 s UNKNOWN
1800.09/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.50 c Solving Time : 1707.82
1800.09/1800.50 c Original Problem :
1800.09/1800.50 c Problem name : HOME/instance-3734906-1338705934.opb
1800.09/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.50 c Constraints : 15 initial, 15 maximal
1800.09/1800.50 c Presolved Problem :
1800.09/1800.50 c Problem name : t_HOME/instance-3734906-1338705934.opb
1800.09/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.50 c Constraints : 7 initial, 8579 maximal
1800.09/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.09/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.09/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c root node : - 0 - - 0 - - - -
1800.09/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.50 c integral : 0 0 0 5314343 0 824 2795 0 0 10621632
1800.09/1800.50 c linear : 7 6 19805026 0 0 242372 6252066 0 0 0
1800.09/1800.50 c logicor : 0+ 0 8667164 0 0 12978 3099243 0 0 0
1800.09/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.50 c integral : 29.16 0.00 0.00 29.16 0.00
1800.09/1800.50 c linear : 363.06 0.00 363.06 0.00 0.00
1800.09/1800.50 c logicor : 230.24 0.00 230.24 0.00 0.00
1800.09/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.50 c rootredcost : 3.04 0 0 0
1800.09/1800.50 c pseudoobj : 1.47 0 0 0
1800.09/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.50 c propagation : 15.58 255350 230166 857376 42.7 54 34.2 -
1800.09/1800.50 c infeasible LP : 87.08 2974028 2973918 5797240 28.3 42265 33.0 0
1800.09/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.50 c applied globally : - - - 3652942 23.1 - - -
1800.09/1800.50 c applied locally : - - - 666147 37.3 - - -
1800.09/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.50 c cut pool : 0.00 5 - - 9 - (maximal pool size: 71)
1800.09/1800.50 c redcost : 5.75 5314347 0 0 0 0
1800.09/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.50 c intobj : 0.00 0 0 0 0 0
1800.09/1800.50 c gomory : 0.00 6 0 0 0 0
1800.09/1800.50 c strongcg : 0.00 6 0 0 34 0
1800.09/1800.50 c cmir : 0.02 6 0 0 20 0
1800.09/1800.50 c flowcover : 0.02 6 0 0 28 0
1800.09/1800.50 c clique : 0.00 1 0 0 0 0
1800.09/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.50 c mcf : 0.00 1 0 0 0 0
1800.09/1800.50 c Pricers : Time Calls Vars
1800.09/1800.50 c problem variables: 0.00 0 0
1800.09/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.50 c relpscost : 26.92 5314343 824 2795 0 0 10621632
1800.09/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.50 c random : 0.00 0 0 0 0 0 0
1800.09/1800.50 c Primal Heuristics : Time Calls Found
1800.09/1800.50 c LP solutions : 0.00 - 0
1800.09/1800.50 c pseudo solutions : 0.00 - 0
1800.09/1800.50 c oneopt : 1.47 0 0
1800.09/1800.50 c crossover : 0.89 0 0
1800.09/1800.50 c guideddiving : 0.19 0 0
1800.09/1800.50 c intshifting : 0.04 0 0
1800.09/1800.50 c linesearchdiving : 0.10 78 0
1800.09/1800.50 c coefdiving : 0.11 79 0
1800.09/1800.50 c fracdiving : 0.14 79 0
1800.09/1800.50 c pscostdiving : 0.16 79 0
1800.09/1800.50 c veclendiving : 0.13 79 0
1800.09/1800.50 c feaspump : 0.10 40 0
1800.09/1800.50 c objpscostdiving : 0.10 40 0
1800.09/1800.50 c rootsoldiving : 0.16 40 0
1800.09/1800.50 c simplerounding : 1.45 0 0
1800.09/1800.50 c rounding : 1.92 32630 0
1800.09/1800.50 c shifting : 3.07 10274 0
1800.09/1800.50 c fixandinfer : 0.00 0 0
1800.09/1800.50 c intdiving : 0.00 0 0
1800.09/1800.50 c actconsdiving : 0.00 0 0
1800.09/1800.50 c octane : 0.00 0 0
1800.09/1800.50 c rens : 0.01 1 0
1800.09/1800.50 c rins : 0.00 0 0
1800.09/1800.50 c localbranching : 0.00 0 0
1800.09/1800.50 c mutation : 0.00 0 0
1800.09/1800.50 c dins : 0.00 0 0
1800.09/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.50 c dual LP : 401.24 8112094 23597176 2.91 58810.63
1800.09/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.50 c diving/probing LP: 0.09 2104 4326 2.06 48066.67
1800.09/1800.50 c strong branching : 0.44 6157 29281 4.76 66547.73
1800.09/1800.50 c (at root node) : - 17 517 30.41 -
1800.09/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.50 c B&B Tree :
1800.09/1800.50 c number of runs : 1
1800.09/1800.50 c nodes : 8512814
1800.09/1800.50 c nodes (total) : 8512814
1800.09/1800.50 c nodes left : 2061703
1800.09/1800.50 c max depth : 54
1800.09/1800.50 c max depth (total): 54
1800.09/1800.50 c backtracks : 1009858 (11.9%)
1800.09/1800.50 c delayed cutoffs : 47116
1800.09/1800.50 c repropagations : 7639623 (3164270 domain reductions, 27253 cutoffs)
1800.09/1800.50 c avg switch length: 5.61
1800.09/1800.50 c switching time : 338.44
1800.09/1800.50 c Solution :
1800.09/1800.50 c Solutions found : 0 (0 improvements)
1800.09/1800.50 c Primal Bound : -
1800.09/1800.50 c Dual Bound : +0.00000000000000e+00
1800.09/1800.50 c Gap : infinite
1800.09/1800.50 c Root Dual Bound : +0.00000000000000e+00
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-3734906-1338705934/watcher-3734906-1338705934 -o /tmp/evaluation-result-3734906-1338705934/solver-3734906-1338705934 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734906-1338705934.opb
running on 4 cores: 0,2,4,6
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.99 1.99 3/176 31180
/proc/meminfo: memFree=27645716/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=8552 CPUtime=0 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 1482 0 0 0 0 0 0 0 20 0 1 0 336719392 8757248 1435 33554432000 4194304 7823515 140736066204400 140736172655368 6962503 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 2137 1434 354 887 0 1247 0
[startup+0.0444229 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31180
/proc/meminfo: memFree=27645716/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=12860 CPUtime=0.03 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 2795 0 0 0 3 0 0 0 20 0 1 0 336719392 13168640 2394 33554432000 4194304 7823515 140736066204400 140736172655368 4344642 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 3215 2394 544 887 0 2325 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12860
[startup+0.100228 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31180
/proc/meminfo: memFree=27645716/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=15040 CPUtime=0.09 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 4267 0 0 0 8 1 0 0 20 0 1 0 336719392 15400960 2967 33554432000 4194304 7823515 140736066204400 140736066199512 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 3760 2967 564 887 0 2870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15040
[startup+0.300177 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31180
/proc/meminfo: memFree=27645716/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=15040 CPUtime=0.29 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 4270 0 0 0 27 2 0 0 20 0 1 0 336719392 15400960 2970 33554432000 4194304 7823515 140736066204400 140736066199512 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 3760 2970 566 887 0 2870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15040
[startup+0.700177 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 31180
/proc/meminfo: memFree=27645716/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=15040 CPUtime=0.69 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 4273 0 0 0 64 5 0 0 20 0 1 0 336719392 15400960 2973 33554432000 4194304 7823515 140736066204400 140736066199512 4363345 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 3760 2973 566 887 0 2870 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15040
[startup+1.50018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27635912/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=16292 CPUtime=1.48 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 4608 0 0 0 138 10 0 0 20 0 1 0 336719392 16683008 3308 33554432000 4194304 7823515 140736066204400 140736066202248 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 4073 3308 566 887 0 3183 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16292
[startup+3.10018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27631440/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=18932 CPUtime=3.08 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 5250 0 0 0 288 20 0 0 20 0 1 0 336719392 19386368 3950 33554432000 4194304 7823515 140736066204400 140736066200728 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31180/statm: 4733 3950 566 887 0 3843 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18932
[startup+6.30018 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27625736/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=23552 CPUtime=6.28 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 6424 0 0 0 589 39 0 0 20 0 1 0 336719392 24117248 5124 33554432000 4194304 7823515 140736066204400 140736066201144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 5888 5124 566 887 0 4998 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23552
[startup+12.7001 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27612748/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=32568 CPUtime=12.68 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 8719 0 0 0 1191 77 0 0 20 0 1 0 336719392 33349632 7419 33554432000 4194304 7823515 140736066204400 140736066201144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 8142 7419 566 887 0 7252 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32568
[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27587092/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=48856 CPUtime=25.48 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 12894 0 0 0 2398 150 0 0 20 0 1 0 336719392 50028544 11594 33554432000 4194304 7823515 140736066204400 140736066202232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 12214 11594 566 887 0 11324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48856
[startup+51.1002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27539324/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=83736 CPUtime=51.07 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 21337 0 0 0 4803 304 0 0 20 0 1 0 336719392 85745664 20037 33554432000 4194304 7823515 140736066204400 140736066201176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 20934 20037 566 887 0 20044 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83736
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 31181
/proc/meminfo: memFree=27451188/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=142528 CPUtime=102.27 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 36243 0 0 0 9629 598 0 0 20 0 1 0 336719392 145948672 34943 33554432000 4194304 7823515 140736066204400 140736066199368 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 35632 34943 566 887 0 34742 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 142528
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31182
/proc/meminfo: memFree=27356244/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=210044 CPUtime=162.26 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 52318 0 0 0 15295 931 0 0 20 0 1 0 336719392 215085056 51018 33554432000 4194304 7823515 140736066204400 140736066201144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 52511 51018 566 887 0 51621 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 210044
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 31182
/proc/meminfo: memFree=27254596/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=279744 CPUtime=222.24 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 70069 0 0 0 20966 1258 0 0 20 0 1 0 336719392 286457856 68748 33554432000 4194304 7823515 140736066204400 140736066202232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 69936 68748 566 887 0 69046 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 279744
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31185
/proc/meminfo: memFree=27168344/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=339316 CPUtime=282.22 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 85197 0 0 0 26630 1592 0 0 20 0 1 0 336719392 347459584 83888 33554432000 4194304 7823515 140736066204400 140736066201432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 84829 83888 566 887 0 83939 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 339316
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31185
/proc/meminfo: memFree=27077796/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=409712 CPUtime=342.21 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 101040 0 0 0 32297 1924 0 0 20 0 1 0 336719392 419545088 99767 33554432000 4194304 7823515 140736066204400 140736066201144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 102428 99767 566 887 0 101538 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 409712
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31185
/proc/meminfo: memFree=26990488/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=472164 CPUtime=402.19 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 116899 0 0 0 37962 2257 0 0 20 0 1 0 336719392 483495936 115612 33554432000 4194304 7823515 140736066204400 140736066200152 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 118041 115612 566 887 0 117151 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 472164
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31186
/proc/meminfo: memFree=26904264/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=533084 CPUtime=462.17 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 132463 0 0 0 43629 2588 0 0 20 0 1 0 336719392 545878016 131713 33554432000 4194304 7823515 140736066204400 140736066201432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 133271 131713 566 887 0 132381 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 533084
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31186
/proc/meminfo: memFree=26826384/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=591372 CPUtime=522.14 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 147110 0 0 0 49306 2908 0 0 20 0 1 0 336719392 605564928 146323 33554432000 4194304 7823515 140736066204400 140736066202232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 147843 146323 566 887 0 146953 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 591372
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31186
/proc/meminfo: memFree=26743352/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=651452 CPUtime=582.13 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 162189 0 0 0 54984 3229 0 0 20 0 1 0 336719392 667086848 161402 33554432000 4194304 7823515 140736066204400 140736066199752 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 162863 161402 566 887 0 161973 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 651452
[startup+642.3 s]
################
# More data... #
################
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 274787 0 0 0 100529 5676 0 0 20 0 1 0 336719392 1139363840 275025 33554432000 4194304 7823515 140736066204400 140736066201432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 278165 275025 566 887 0 277275 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1112660
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31253
/proc/meminfo: memFree=26983056/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1158772 CPUtime=1122.04 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 286500 0 0 0 106233 5971 0 0 20 0 1 0 336719392 1186582528 286732 33554432000 4194304 7823515 140736066204400 140736066201160 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 289693 286732 566 887 0 288803 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1158772
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31253
/proc/meminfo: memFree=26933140/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1208252 CPUtime=1182.02 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 299013 0 0 0 111936 6266 0 0 20 0 1 0 336719392 1237250048 299261 33554432000 4194304 7823515 140736066204400 140736066202232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 302063 299261 566 887 0 301173 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1208252
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31253
/proc/meminfo: memFree=26862628/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1262672 CPUtime=1242.01 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 312748 0 0 0 117638 6563 0 0 20 0 1 0 336719392 1292976128 314010 33554432000 4194304 7823515 140736066204400 140736066201624 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 315668 314010 566 887 0 314778 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1262672
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31253
/proc/meminfo: memFree=26788624/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1321432 CPUtime=1302.01 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 327072 0 0 0 123352 6849 0 0 20 0 1 0 336719392 1353146368 328329 33554432000 4194304 7823515 140736066204400 140736066201176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 330358 328329 566 887 0 329468 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1321432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31254
/proc/meminfo: memFree=26731016/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1370260 CPUtime=1361.99 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 339424 0 0 0 129056 7143 0 0 20 0 1 0 336719392 1403146240 340671 33554432000 4194304 7823515 140736066204400 140736066201432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 342565 340671 566 887 0 341675 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1370260
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31254
/proc/meminfo: memFree=26674736/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1418828 CPUtime=1421.98 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 351728 0 0 0 134767 7431 0 0 20 0 1 0 336719392 1452879872 352970 33554432000 4194304 7823515 140736066204400 140736066199368 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 354707 352970 566 887 0 353817 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1418828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31257
/proc/meminfo: memFree=26623280/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1467848 CPUtime=1481.96 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 364158 0 0 0 140482 7714 0 0 20 0 1 0 336719392 1503076352 365897 33554432000 4194304 7823515 140736066204400 140736066200088 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 366962 365897 566 887 0 366072 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1467848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31257
/proc/meminfo: memFree=26570868/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1518928 CPUtime=1541.92 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 377159 0 0 0 146187 8005 0 0 20 0 1 0 336719392 1555382272 378858 33554432000 4194304 7823515 140736066204400 140736066200888 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 379732 378858 566 887 0 378842 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1518928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31257
/proc/meminfo: memFree=26518020/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1573052 CPUtime=1601.91 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 390253 0 0 0 151898 8293 0 0 20 0 1 0 336719392 1610805248 391950 33554432000 4194304 7823515 140736066204400 140736066201432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 393263 391950 566 887 0 392373 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1573052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31258
/proc/meminfo: memFree=26466632/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1620652 CPUtime=1661.9 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 402307 0 0 0 157615 8575 0 0 20 0 1 0 336719392 1659547648 404004 33554432000 4194304 7823515 140736066204400 140736066201176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 405163 404004 566 887 0 404273 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1620652
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31258
/proc/meminfo: memFree=26422316/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1665960 CPUtime=1721.89 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 413820 0 0 0 163330 8859 0 0 20 0 1 0 336719392 1705943040 415517 33554432000 4194304 7823515 140736066204400 140736066201432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 416490 415517 566 887 0 415600 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1665960
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31258
/proc/meminfo: memFree=26353632/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1751028 CPUtime=1781.88 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 427175 0 0 0 169046 9142 0 0 20 0 1 0 336719392 1793052672 428872 33554432000 4194304 7823515 140736066204400 140736066199736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 437757 428872 566 887 0 436867 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1751028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31258
/proc/meminfo: memFree=26331380/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1766472 CPUtime=1800.09 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 431110 0 0 0 170782 9227 0 0 20 0 1 0 336719392 1808867328 433318 33554432000 4194304 7823515 140736066204400 140736066201448 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 441618 433318 566 887 0 440728 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1766472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31180
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 31259
/proc/meminfo: memFree=26331380/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1766472 CPUtime=1800.98 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 431112 0 0 0 170871 9227 0 0 20 0 1 0 336719392 1808867328 433320 33554432000 4194304 7823515 140736066204400 140736066199912 5875149 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 441618 433320 568 887 0 440728 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 1766472
[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 31259
/proc/meminfo: memFree=26330504/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1766472 CPUtime=1801.78 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 431112 0 0 0 170951 9227 0 0 20 0 1 0 336719392 1808867328 433320 33554432000 4194304 7823515 140736066204400 140736066199912 4212189 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 441618 433320 568 887 0 440728 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 1766472
[startup+1802.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 31259
/proc/meminfo: memFree=26330504/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1766472 CPUtime=1801.98 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 431112 0 0 0 170971 9227 0 0 20 0 1 0 336719392 1808867328 433320 33554432000 4194304 7823515 140736066204400 140736066199912 5105541 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 441618 433320 568 887 0 440728 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 1766472
[startup+1802.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 31259
/proc/meminfo: memFree=26330504/32873648 swapFree=6864/6864
[pid=31180] ppid=31178 vsize=1766472 CPUtime=1802.08 cores=0,2,4,6
/proc/31180/stat : 31180 (pbscip.linux.x8) R 31178 31180 19043 0 -1 4202496 431112 0 0 0 170981 9227 0 0 20 0 1 0 336719392 1808867328 433320 33554432000 4194304 7823515 140736066204400 140736066199912 5875143 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31180/statm: 441618 433320 568 887 0 440728 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1766472
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.12
CPU user time (s): 1709.83
CPU system time (s): 92.293
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 1766472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.83
system time used= 92.293
maximum resident set size= 1733280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431112
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= 248
involuntary context switches= 1870
runsolver used 3.3055 second user time and 8.38673 second system time
The end