0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869553-1245178313.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 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.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 23 | 213k| 0 | 5 | 40 | 5 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 83 | 237k| 0 | 8 | 40 | 5 | 5 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 88 | 270k| 0 | 11 | 40 | 5 | 5 | 40 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 95 | 289k| 0 | 11 | 40 | 5 | 5 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 101 | 305k| 0 | 13 | 40 | 5 | 5 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 106 | 321k| 0 | 14 | 40 | 5 | 5 | 40 | 22 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 109 | 335k| 0 | 15 | 40 | 5 | 5 | 40 | 24 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 109 | 335k| 0 | 15 | 40 | 5 | 5 | 40 | 24 | 19 | 0 | 15 | 0.000000e+00 | -- | Inf
3.79/3.84 c 3.7s| 10000 | 2695 | 23260 |1716k| 35 | 5 | 40 | 243 | 36 | 40 | 16 | 19 | 284 | 444 | 0.000000e+00 | -- | Inf
7.39/7.47 c 7.1s| 20000 | 4837 | 45884 |2813k| 35 | - | 40 | 306 | 14 | 40 | 16 | 19 | 435 | 603 | 0.000000e+00 | -- | Inf
10.99/11.06 c 10.6s| 30000 | 6781 | 67896 |3823k| 35 | 5 | 40 | 332 | 27 | 40 | 16 | 19 | 626 | 725 | 0.000000e+00 | -- | Inf
14.59/14.61 c 14.0s| 40000 | 8673 | 89944 |4766k| 35 | - | 40 | 297 | 7 | 40 | 16 | 19 | 751 | 835 | 0.000000e+00 | -- | Inf
18.08/18.11 c 17.3s| 50000 | 10377 |112378 |5655k| 35 | 5 | 40 | 292 | 8 | 40 | 16 | 19 | 885 | 925 | 0.000000e+00 | -- | Inf
21.59/21.61 c 20.6s| 60000 | 11970 |133651 |6501k| 35 | 5 | 40 | 284 | 19 | 40 | 16 | 19 |1006 |1015 | 0.000000e+00 | -- | Inf
25.09/25.11 c 24.0s| 70000 | 13851 |155040 |7440k| 35 | - | 40 | 287 | 7 | 40 | 16 | 19 |1112 |1100 | 0.000000e+00 | -- | Inf
28.48/28.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.48/28.57 c 27.3s| 80000 | 15362 |175709 |8268k| 35 | - | 40 | 287 | 10 | 0 | 0 | 19 |1279 |1177 | 0.000000e+00 | -- | Inf
31.98/32.08 c 30.6s| 90000 | 16865 |197760 |9083k| 35 | - | 40 | 286 | 10 | 40 | 16 | 19 |1365 |1254 | 0.000000e+00 | -- | Inf
35.38/35.40 c 33.8s|100000 | 18622 |218014 |9960k| 35 | - | 40 | 288 | 7 | 40 | 16 | 19 |1426 |1310 | 0.000000e+00 | -- | Inf
38.68/38.73 c 37.0s|110000 | 20268 |238025 | 10M| 35 | 5 | 40 | 292 | 5 | 40 | 16 | 19 |1524 |1360 | 0.000000e+00 | -- | Inf
42.08/42.19 c 40.3s|120000 | 21844 |259623 | 11M| 35 | 5 | 40 | 228 | 5 | 40 | 16 | 19 |1571 |1424 | 0.000000e+00 | -- | Inf
45.57/45.62 c 43.5s|130000 | 23428 |280253 | 12M| 35 | 5 | 40 | 246 | 5 | 40 | 16 | 19 |1730 |1480 | 0.000000e+00 | -- | Inf
49.07/49.10 c 46.9s|140000 | 24755 |301433 | 13M| 35 | - | 40 | 238 | 13 | 40 | 16 | 19 |1857 |1538 | 0.000000e+00 | -- | Inf
52.47/52.58 c 50.2s|150000 | 26019 |322793 | 13M| 35 | 5 | 40 | 208 | 41 | 40 | 16 | 19 |1969 |1587 | 0.000000e+00 | -- | Inf
55.97/56.04 c 53.5s|160000 | 27706 |345162 | 14M| 35 | 5 | 40 | 218 | 5 | 40 | 16 | 19 |2038 |1647 | 0.000000e+00 | -- | Inf
59.28/59.39 c 56.7s|170000 | 29437 |365318 | 15M| 35 | 5 | 40 | 239 | 28 | 40 | 16 | 19 |2140 |1689 | 0.000000e+00 | -- | Inf
62.67/62.78 c 59.9s|180000 | 30877 |385237 | 16M| 35 | 5 | 40 | 205 | 70 | 40 | 16 | 19 |2283 |1717 | 0.000000e+00 | -- | Inf
66.17/66.25 c 63.2s|190000 | 32576 |406479 | 17M| 35 | 5 | 40 | 183 | 5 | 40 | 16 | 19 |2364 |1754 | 0.000000e+00 | -- | Inf
69.56/69.66 c 66.5s|200000 | 33955 |426751 | 18M| 35 | - | 40 | 178 | 17 | 0 | 0 | 19 |2543 |1794 | 0.000000e+00 | -- | Inf
72.96/73.06 c 69.7s|210000 | 35256 |447449 | 18M| 35 | - | 40 | 167 | 5 | 0 | 0 | 19 |2661 |1822 | 0.000000e+00 | -- | Inf
76.26/76.35 c 72.9s|220000 | 37096 |467688 | 19M| 35 | - | 40 | 129 | 6 | 40 | 16 | 19 |2706 |1860 | 0.000000e+00 | -- | Inf
79.57/79.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.57/79.66 c 76.0s|230000 | 38655 |487750 | 20M| 35 | - | 40 | 153 | 5 | 0 | 0 | 19 |2802 |1907 | 0.000000e+00 | -- | Inf
83.06/83.17 c 79.3s|240000 | 40117 |509662 | 21M| 35 | 5 | 40 | 121 | 5 | 40 | 16 | 19 |2896 |1964 | 0.000000e+00 | -- | Inf
86.46/86.58 c 82.5s|250000 | 41738 |530306 | 22M| 35 | - | 40 | 203 | 5 | 40 | 16 | 19 |3100 |2012 | 0.000000e+00 | -- | Inf
89.96/90.03 c 85.8s|260000 | 42772 |550728 | 22M| 35 | - | 40 | 161 | 20 | 40 | 16 | 19 |3300 |2038 | 0.000000e+00 | -- | Inf
93.26/93.39 c 89.0s|270000 | 44083 |571183 | 23M| 35 | - | 40 | 112 | 18 | 40 | 16 | 19 |3370 |2075 | 0.000000e+00 | -- | Inf
96.66/96.73 c 92.2s|280000 | 45397 |591333 | 24M| 35 | - | 40 | 101 | 5 | 40 | 16 | 19 |3487 |2106 | 0.000000e+00 | -- | Inf
99.96/100.09 c 95.4s|290000 | 46523 |611706 | 24M| 35 | 5 | 40 | 88 | 5 | 40 | 16 | 19 |3600 |2151 | 0.000000e+00 | -- | Inf
103.36/103.44 c 98.6s|300000 | 47731 |631401 | 25M| 35 | 5 | 40 | 108 | 5 | 40 | 16 | 19 |3757 |2185 | 0.000000e+00 | -- | Inf
106.85/106.93 c 102s|310000 | 49135 |653933 | 26M| 35 | 5 | 40 | 87 | 21 | 40 | 16 | 19 |3827 |2230 | 0.000000e+00 | -- | Inf
110.25/110.36 c 105s|320000 | 50429 |675823 | 26M| 35 | 5 | 40 | 96 | 7 | 40 | 16 | 19 |3887 |2268 | 0.000000e+00 | -- | Inf
113.65/113.72 c 108s|330000 | 51607 |696439 | 27M| 35 | 5 | 40 | 70 | 5 | 40 | 16 | 19 |3978 |2304 | 0.000000e+00 | -- | Inf
117.05/117.11 c 112s|340000 | 52832 |717317 | 28M| 35 | - | 40 | 128 | 6 | 40 | 16 | 19 |4148 |2353 | 0.000000e+00 | -- | Inf
120.35/120.41 c 115s|350000 | 54165 |737279 | 29M| 35 | - | 40 | 78 | 14 | 40 | 16 | 19 |4193 |2382 | 0.000000e+00 | -- | Inf
123.65/123.77 c 118s|360000 | 55158 |757008 | 29M| 35 | - | 40 | 60 | 6 | 40 | 16 | 19 |4317 |2405 | 0.000000e+00 | -- | Inf
126.94/127.04 c 121s|370000 | 56779 |776322 | 30M| 35 | 5 | 40 | 106 | 5 | 40 | 16 | 19 |4424 |2441 | 0.000000e+00 | -- | Inf
130.34/130.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.34/130.40 c 124s|380000 | 58071 |796411 | 31M| 35 | - | 40 | 95 | 11 | 40 | 16 | 19 |4573 |2465 | 0.000000e+00 | -- | Inf
133.64/133.71 c 127s|390000 | 59199 |816137 | 31M| 35 | - | 40 | 66 | 10 | 40 | 16 | 19 |4707 |2496 | 0.000000e+00 | -- | Inf
136.94/137.03 c 131s|400000 | 60505 |836045 | 32M| 35 | 5 | 40 | 77 | 6 | 40 | 16 | 19 |4780 |2526 | 0.000000e+00 | -- | Inf
140.34/140.42 c 134s|410000 | 61765 |857962 | 33M| 35 | 5 | 40 | 76 | 32 | 40 | 16 | 19 |4841 |2555 | 0.000000e+00 | -- | Inf
143.74/143.82 c 137s|420000 | 63004 |878422 | 33M| 35 | 5 | 40 | 88 | 5 | 40 | 16 | 19 |4973 |2593 | 0.000000e+00 | -- | Inf
147.13/147.22 c 140s|430000 | 64110 |899216 | 34M| 35 | 5 | 40 | 80 | 6 | 40 | 16 | 19 |5087 |2614 | 0.000000e+00 | -- | Inf
150.44/150.59 c 144s|440000 | 65532 |920043 | 35M| 35 | - | 40 | 95 | 12 | 0 | 0 | 19 |5227 |2632 | 0.000000e+00 | -- | Inf
153.84/153.90 c 147s|450000 | 66741 |940069 | 36M| 35 | 5 | 40 | 54 | 5 | 40 | 16 | 19 |5322 |2666 | 0.000000e+00 | -- | Inf
157.04/157.12 c 150s|460000 | 67812 |959282 | 36M| 35 | 5 | 40 | 69 | 5 | 40 | 16 | 19 |5437 |2691 | 0.000000e+00 | -- | Inf
160.34/160.41 c 153s|470000 | 69064 |979098 | 37M| 35 | - | 40 | 51 | 5 | 40 | 16 | 19 |5526 |2712 | 0.000000e+00 | -- | Inf
163.53/163.65 c 156s|480000 | 70401 |998288 | 38M| 35 | - | 40 | 80 | 12 | 0 | 0 | 19 |5629 |2740 | 0.000000e+00 | -- | Inf
166.84/166.98 c 159s|490000 | 71620 | 1018k| 38M| 35 | - | 40 | 52 | 5 | 40 | 16 | 19 |5757 |2762 | 0.000000e+00 | -- | Inf
170.23/170.30 c 162s|500000 | 73167 | 1038k| 39M| 35 | 5 | 40 | 92 | 5 | 40 | 16 | 19 |5835 |2791 | 0.000000e+00 | -- | Inf
173.43/173.58 c 165s|510000 | 74449 | 1057k| 40M| 35 | 5 | 40 | 63 | 6 | 40 | 16 | 19 |6015 |2814 | 0.000000e+00 | -- | Inf
176.73/176.85 c 168s|520000 | 75592 | 1077k| 40M| 35 | - | 40 | 49 | 6 | 40 | 16 | 19 |6079 |2841 | 0.000000e+00 | -- | Inf
180.12/180.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.12/180.20 c 172s|530000 | 76601 | 1097k| 41M| 35 | 5 | 40 | 63 | 5 | 40 | 16 | 19 |6258 |2870 | 0.000000e+00 | -- | Inf
183.32/183.49 c 175s|540000 | 77799 | 1117k| 42M| 35 | - | 40 | 34 | 5 | 40 | 16 | 19 |6301 |2894 | 0.000000e+00 | -- | Inf
186.83/186.91 c 178s|550000 | 78628 | 1138k| 42M| 35 | - | 40 | 33 | 5 | 40 | 16 | 19 |6377 |2922 | 0.000000e+00 | -- | Inf
190.13/190.24 c 181s|560000 | 79762 | 1158k| 43M| 35 | 5 | 40 | 32 | 5 | 40 | 16 | 19 |6444 |2949 | 0.000000e+00 | -- | Inf
193.43/193.53 c 184s|570000 | 81009 | 1179k| 44M| 35 | - | 40 | 46 | 6 | 0 | 0 | 19 |6508 |2968 | 0.000000e+00 | -- | Inf
196.83/196.91 c 188s|580000 | 81879 | 1199k| 44M| 35 | - | 40 | 46 | 11 | 40 | 16 | 19 |6637 |2995 | 0.000000e+00 | -- | Inf
200.12/200.27 c 191s|590000 | 82851 | 1220k| 45M| 35 | 5 | 40 | 37 | 7 | 40 | 16 | 19 |6723 |3023 | 0.000000e+00 | -- | Inf
203.52/203.62 c 194s|600000 | 84326 | 1241k| 45M| 35 | - | 40 | 35 | 6 | 40 | 16 | 19 |6769 |3047 | 0.000000e+00 | -- | Inf
206.82/206.93 c 197s|610000 | 85340 | 1261k| 46M| 35 | 5 | 40 | 38 | 5 | 40 | 16 | 19 |6819 |3072 | 0.000000e+00 | -- | Inf
210.11/210.25 c 200s|620000 | 86306 | 1281k| 47M| 35 | - | 40 | 143 | 6 | 40 | 16 | 19 |7049 |3091 | 0.000000e+00 | -- | Inf
213.42/213.56 c 203s|630000 | 87335 | 1300k| 47M| 35 | - | 40 | 85 | 5 | 0 | 0 | 19 |7235 |3115 | 0.000000e+00 | -- | Inf
216.82/216.90 c 207s|640000 | 88233 | 1320k| 48M| 35 | 5 | 40 | 41 | 6 | 40 | 16 | 19 |7356 |3136 | 0.000000e+00 | -- | Inf
220.01/220.19 c 210s|650000 | 89206 | 1340k| 48M| 35 | 5 | 40 | 39 | 6 | 40 | 16 | 19 |7435 |3156 | 0.000000e+00 | -- | Inf
223.31/223.41 c 213s|660000 | 90224 | 1359k| 49M| 35 | 5 | 40 | 40 | 5 | 40 | 16 | 19 |7480 |3175 | 0.000000e+00 | -- | Inf
226.62/226.72 c 216s|670000 | 91322 | 1379k| 50M| 35 | - | 40 | 46 | 6 | 0 | 0 | 19 |7570 |3195 | 0.000000e+00 | -- | Inf
229.91/230.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.91/230.07 c 219s|680000 | 92402 | 1399k| 50M| 35 | 5 | 40 | 58 | 5 | 40 | 16 | 19 |7645 |3215 | 0.000000e+00 | -- | Inf
233.31/233.40 c 222s|690000 | 93484 | 1418k| 51M| 35 | - | 40 | 78 | 6 | 0 | 0 | 19 |7760 |3240 | 0.000000e+00 | -- | Inf
236.61/236.72 c 225s|700000 | 94219 | 1438k| 51M| 35 | - | 40 | 54 | 4 | 0 | 0 | 19 |7952 |3259 | 0.000000e+00 | -- | Inf
239.91/240.02 c 229s|710000 | 95339 | 1458k| 52M| 35 | 5 | 40 | 51 | 7 | 40 | 16 | 19 |8025 |3277 | 0.000000e+00 | -- | Inf
243.20/243.33 c 232s|720000 | 96213 | 1477k| 53M| 35 | - | 40 | 47 | 7 | 40 | 16 | 19 |8238 |3292 | 0.000000e+00 | -- | Inf
246.51/246.63 c 235s|730000 | 97609 | 1497k| 53M| 35 | - | 40 | 42 | 5 | 0 | 0 | 19 |8278 |3314 | 0.000000e+00 | -- | Inf
249.70/249.89 c 238s|740000 | 98727 | 1516k| 54M| 35 | 5 | 40 | 53 | 5 | 40 | 16 | 19 |8357 |3331 | 0.000000e+00 | -- | Inf
253.20/253.30 c 241s|750000 | 99529 | 1537k| 55M| 35 | - | 40 | 31 | 5 | 40 | 16 | 19 |8430 |3356 | 0.000000e+00 | -- | Inf
256.50/256.69 c 244s|760000 |100162 | 1558k| 55M| 35 | - | 40 | 22 | 5 | 40 | 16 | 19 |8486 |3377 | 0.000000e+00 | -- | Inf
259.80/259.97 c 248s|770000 |101924 | 1578k| 56M| 35 | - | 40 | 73 | 6 | 40 | 16 | 19 |8588 |3395 | 0.000000e+00 | -- | Inf
263.11/263.21 c 251s|780000 |103424 | 1597k| 57M| 35 | 5 | 40 | 67 | 7 | 40 | 16 | 19 |8649 |3419 | 0.000000e+00 | -- | Inf
266.30/266.42 c 254s|790000 |104478 | 1615k| 57M| 35 | - | 40 | 89 | 5 | 40 | 16 | 19 |8735 |3435 | 0.000000e+00 | -- | Inf
269.70/269.82 c 257s|800000 |105223 | 1636k| 58M| 35 | 5 | 40 | 81 | 9 | 40 | 16 | 19 |8874 |3455 | 0.000000e+00 | -- | Inf
273.00/273.18 c 260s|810000 |106117 | 1656k| 58M| 35 | 5 | 40 | 104 | 6 | 40 | 16 | 19 |9102 |3472 | 0.000000e+00 | -- | Inf
276.40/276.56 c 263s|820000 |107086 | 1676k| 59M| 35 | - | 40 | 110 | 7 | 40 | 16 | 19 |9277 |3496 | 0.000000e+00 | -- | Inf
279.80/279.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.80/279.93 c 266s|830000 |108007 | 1697k| 60M| 35 | 5 | 40 | 96 | 5 | 40 | 16 | 19 |9443 |3511 | 0.000000e+00 | -- | Inf
283.10/283.28 c 270s|840000 |108930 | 1717k| 60M| 35 | 5 | 40 | 69 | 6 | 40 | 16 | 19 |9522 |3531 | 0.000000e+00 | -- | Inf
286.59/286.73 c 273s|850000 |110162 | 1738k| 61M| 35 | 5 | 40 | 58 | 5 | 40 | 16 | 19 |9628 |3548 | 0.000000e+00 | -- | Inf
289.99/290.14 c 276s|860000 |111383 | 1759k| 61M| 35 | 5 | 40 | 135 | 14 | 40 | 16 | 19 |9812 |3562 | 0.000000e+00 | -- | Inf
293.29/293.47 c 279s|870000 |112235 | 1779k| 62M| 35 | - | 40 | 77 | 6 | 0 | 0 | 19 |9979 |3576 | 0.000000e+00 | -- | Inf
296.80/296.94 c 283s|880000 |113001 | 1800k| 62M| 35 | 5 | 40 | 62 | 5 | 40 | 16 | 19 | 10k|3592 | 0.000000e+00 | -- | Inf
299.99/300.13 c 286s|890000 |114197 | 1819k| 63M| 35 | - | 40 | 118 | 6 | 0 | 0 | 19 | 10k|3610 | 0.000000e+00 | -- | Inf
303.39/303.51 c 289s|900000 |115545 | 1839k| 64M| 35 | 5 | 40 | 108 | 8 | 40 | 16 | 19 | 10k|3633 | 0.000000e+00 | -- | Inf
306.69/306.88 c 292s|910000 |116368 | 1859k| 64M| 35 | 5 | 40 | 109 | 9 | 40 | 16 | 19 | 10k|3648 | 0.000000e+00 | -- | Inf
310.09/310.25 c 295s|920000 |117387 | 1879k| 65M| 35 | - | 40 | 108 | 5 | 40 | 16 | 19 | 10k|3662 | 0.000000e+00 | -- | Inf
313.29/313.45 c 298s|930000 |118645 | 1898k| 66M| 35 | 5 | 40 | 117 | 5 | 40 | 16 | 19 | 10k|3677 | 0.000000e+00 | -- | Inf
316.58/316.72 c 301s|940000 |119428 | 1917k| 66M| 35 | - | 40 | 86 | 5 | 0 | 0 | 19 | 10k|3696 | 0.000000e+00 | -- | Inf
319.98/320.14 c 305s|950000 |120508 | 1939k| 67M| 35 | 5 | 40 | 121 | 6 | 40 | 16 | 19 | 11k|3708 | 0.000000e+00 | -- | Inf
323.38/323.52 c 308s|960000 |121312 | 1959k| 67M| 35 | 5 | 40 | 125 | 5 | 40 | 16 | 19 | 11k|3722 | 0.000000e+00 | -- | Inf
326.78/326.94 c 311s|970000 |121847 | 1979k| 68M| 35 | 5 | 40 | 57 | 6 | 40 | 16 | 19 | 11k|3739 | 0.000000e+00 | -- | Inf
330.08/330.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.08/330.27 c 314s|980000 |123477 | 2000k| 69M| 35 | - | 40 | 69 | 6 | 40 | 16 | 19 | 11k|3752 | 0.000000e+00 | -- | Inf
333.38/333.52 c 317s|990000 |125016 | 2020k| 69M| 35 | 5 | 40 | 72 | 6 | 40 | 16 | 19 | 11k|3769 | 0.000000e+00 | -- | Inf
336.58/336.72 c 320s| 1000k|126533 | 2039k| 70M| 35 | 5 | 40 | 81 | 6 | 40 | 16 | 19 | 11k|3783 | 0.000000e+00 | -- | Inf
339.78/339.93 c 324s| 1010k|128245 | 2058k| 71M| 35 | 5 | 40 | 114 | 7 | 40 | 16 | 19 | 11k|3796 | 0.000000e+00 | -- | Inf
343.07/343.22 c 327s| 1020k|129371 | 2078k| 72M| 35 | 5 | 40 | 136 | 6 | 40 | 16 | 19 | 11k|3809 | 0.000000e+00 | -- | Inf
346.37/346.54 c 330s| 1030k|130361 | 2097k| 72M| 35 | - | 40 | 103 | 7 | 0 | 0 | 19 | 11k|3827 | 0.000000e+00 | -- | Inf
349.67/349.84 c 333s| 1040k|130994 | 2116k| 73M| 35 | - | 40 | 92 | 6 | 40 | 16 | 19 | 11k|3839 | 0.000000e+00 | -- | Inf
352.88/353.05 c 336s| 1050k|132047 | 2135k| 73M| 35 | 5 | 40 | 81 | 6 | 40 | 16 | 19 | 11k|3856 | 0.000000e+00 | -- | Inf
356.17/356.33 c 339s| 1060k|132562 | 2154k| 74M| 35 | 5 | 40 | 35 | 5 | 40 | 16 | 19 | 11k|3870 | 0.000000e+00 | -- | Inf
359.37/359.60 c 342s| 1070k|133159 | 2173k| 74M| 35 | - | 40 | 50 | 5 | 0 | 0 | 19 | 12k|3885 | 0.000000e+00 | -- | Inf
362.66/362.89 c 345s| 1080k|134254 | 2192k| 75M| 35 | 5 | 40 | 54 | 7 | 40 | 16 | 19 | 12k|3897 | 0.000000e+00 | -- | Inf
366.07/366.22 c 348s| 1090k|134917 | 2212k| 75M| 35 | 5 | 40 | 50 | 8 | 40 | 16 | 19 | 12k|3911 | 0.000000e+00 | -- | Inf
369.36/369.59 c 352s| 1100k|135924 | 2232k| 76M| 35 | - | 40 | 42 | 5 | 40 | 16 | 19 | 12k|3925 | 0.000000e+00 | -- | Inf
372.77/372.94 c 355s| 1110k|136672 | 2252k| 76M| 35 | 5 | 40 | 52 | 5 | 40 | 16 | 19 | 12k|3939 | 0.000000e+00 | -- | Inf
376.07/376.27 c 358s| 1120k|137621 | 2272k| 77M| 35 | 5 | 40 | 78 | 5 | 40 | 16 | 19 | 12k|3953 | 0.000000e+00 | -- | Inf
379.36/379.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.36/379.57 c 361s| 1130k|138324 | 2292k| 77M| 35 | 5 | 40 | 28 | 5 | 40 | 16 | 19 | 12k|3966 | 0.000000e+00 | -- | Inf
382.67/382.85 c 364s| 1140k|139272 | 2311k| 78M| 35 | - | 40 | 82 | 6 | 40 | 16 | 19 | 12k|3984 | 0.000000e+00 | -- | Inf
385.97/386.16 c 367s| 1150k|140090 | 2330k| 78M| 35 | 5 | 40 | 40 | 7 | 40 | 16 | 19 | 13k|4000 | 0.000000e+00 | -- | Inf
389.26/389.45 c 371s| 1160k|140791 | 2349k| 79M| 35 | 5 | 40 | 56 | 5 | 40 | 16 | 19 | 13k|4012 | 0.000000e+00 | -- | Inf
392.56/392.76 c 374s| 1170k|141841 | 2369k| 79M| 35 | 5 | 40 | 62 | 6 | 40 | 16 | 19 | 13k|4027 | 0.000000e+00 | -- | Inf
395.86/396.09 c 377s| 1180k|142605 | 2389k| 80M| 35 | - | 40 | 64 | 6 | 0 | 0 | 19 | 13k|4047 | 0.000000e+00 | -- | Inf
399.35/399.50 c 380s| 1190k|143424 | 2410k| 80M| 35 | - | 40 | 49 | 6 | 0 | 0 | 19 | 13k|4061 | 0.000000e+00 | -- | Inf
402.65/402.84 c 383s| 1200k|144059 | 2430k| 81M| 35 | 5 | 40 | 40 | 5 | 40 | 16 | 19 | 13k|4075 | 0.000000e+00 | -- | Inf
406.05/406.22 c 386s| 1210k|144776 | 2450k| 81M| 35 | - | 40 | 61 | 5 | 40 | 16 | 19 | 13k|4091 | 0.000000e+00 | -- | Inf
409.24/409.49 c 390s| 1220k|145764 | 2469k| 82M| 35 | - | 40 | 66 | 6 | 40 | 16 | 19 | 13k|4111 | 0.000000e+00 | -- | Inf
412.54/412.77 c 393s| 1230k|146605 | 2489k| 82M| 35 | 5 | 40 | 50 | 11 | 40 | 16 | 19 | 13k|4125 | 0.000000e+00 | -- | Inf
415.95/416.14 c 396s| 1240k|147303 | 2509k| 83M| 35 | - | 40 | 52 | 5 | 40 | 16 | 19 | 13k|4140 | 0.000000e+00 | -- | Inf
419.24/419.42 c 399s| 1250k|148261 | 2528k| 84M| 35 | - | 40 | 60 | 5 | 40 | 16 | 19 | 13k|4149 | 0.000000e+00 | -- | Inf
422.54/422.72 c 402s| 1260k|149820 | 2548k| 84M| 35 | 5 | 40 | 60 | 5 | 40 | 16 | 19 | 14k|4158 | 0.000000e+00 | -- | Inf
425.84/426.03 c 405s| 1270k|151457 | 2567k| 85M| 35 | - | 40 | 84 | 14 | 0 | 0 | 19 | 14k|4173 | 0.000000e+00 | -- | Inf
429.14/429.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.14/429.32 c 408s| 1280k|152548 | 2586k| 86M| 35 | 5 | 40 | 71 | 7 | 40 | 16 | 19 | 14k|4190 | 0.000000e+00 | -- | Inf
432.34/432.57 c 412s| 1290k|153471 | 2605k| 86M| 35 | 5 | 40 | 102 | 11 | 40 | 16 | 19 | 14k|4203 | 0.000000e+00 | -- | Inf
435.64/435.89 c 415s| 1300k|154022 | 2624k| 87M| 35 | 5 | 40 | 35 | 5 | 40 | 16 | 19 | 14k|4213 | 0.000000e+00 | -- | Inf
439.03/439.20 c 418s| 1310k|154891 | 2644k| 87M| 35 | 5 | 40 | 50 | 5 | 40 | 16 | 19 | 14k|4226 | 0.000000e+00 | -- | Inf
442.34/442.50 c 421s| 1320k|155960 | 2663k| 88M| 35 | - | 40 | 56 | 8 | 40 | 16 | 19 | 14k|4241 | 0.000000e+00 | -- | Inf
445.74/445.94 c 424s| 1330k|156944 | 2683k| 89M| 35 | 5 | 40 | 79 | 6 | 40 | 16 | 19 | 14k|4254 | 0.000000e+00 | -- | Inf
449.14/449.34 c 427s| 1340k|157803 | 2703k| 89M| 35 | 5 | 40 | 86 | 10 | 40 | 16 | 19 | 14k|4268 | 0.000000e+00 | -- | Inf
452.43/452.61 c 431s| 1350k|158479 | 2722k| 90M| 35 | 5 | 40 | 37 | 6 | 40 | 16 | 19 | 14k|4276 | 0.000000e+00 | -- | Inf
455.73/455.92 c 434s| 1360k|159088 | 2741k| 90M| 35 | 5 | 40 | 54 | 5 | 40 | 16 | 19 | 15k|4285 | 0.000000e+00 | -- | Inf
458.93/459.15 c 437s| 1370k|160290 | 2761k| 91M| 35 | - | 40 | 54 | 5 | 0 | 0 | 19 | 15k|4303 | 0.000000e+00 | -- | Inf
462.23/462.42 c 440s| 1380k|160847 | 2780k| 91M| 35 | 5 | 40 | 36 | 6 | 40 | 16 | 19 | 15k|4318 | 0.000000e+00 | -- | Inf
465.53/465.77 c 443s| 1390k|161722 | 2800k| 92M| 35 | 5 | 40 | 59 | 6 | 40 | 16 | 19 | 15k|4334 | 0.000000e+00 | -- | Inf
468.93/469.17 c 446s| 1400k|162251 | 2820k| 92M| 35 | 5 | 40 | 54 | 11 | 40 | 16 | 19 | 15k|4345 | 0.000000e+00 | -- | Inf
472.33/472.53 c 450s| 1410k|162960 | 2841k| 92M| 35 | - | 40 | 39 | 6 | 40 | 16 | 19 | 15k|4361 | 0.000000e+00 | -- | Inf
475.62/475.90 c 453s| 1420k|163681 | 2860k| 93M| 35 | - | 40 | 45 | 5 | 40 | 16 | 19 | 15k|4372 | 0.000000e+00 | -- | Inf
478.92/479.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.92/479.18 c 456s| 1430k|164584 | 2879k| 93M| 35 | - | 40 | 99 | 5 | 0 | 0 | 19 | 15k|4384 | 0.000000e+00 | -- | Inf
482.32/482.57 c 459s| 1440k|165099 | 2898k| 94M| 35 | - | 40 | 30 | 5 | 40 | 16 | 19 | 16k|4395 | 0.000000e+00 | -- | Inf
485.72/485.92 c 462s| 1450k|165858 | 2918k| 94M| 35 | 5 | 40 | 55 | 5 | 40 | 16 | 19 | 16k|4408 | 0.000000e+00 | -- | Inf
489.12/489.34 c 466s| 1460k|166167 | 2938k| 95M| 35 | - | 40 | 58 | 6 | 0 | 0 | 19 | 16k|4423 | 0.000000e+00 | -- | Inf
492.52/492.71 c 469s| 1470k|166631 | 2958k| 95M| 35 | 5 | 40 | 31 | 5 | 40 | 16 | 19 | 16k|4443 | 0.000000e+00 | -- | Inf
495.82/496.06 c 472s| 1480k|167137 | 2977k| 95M| 35 | 5 | 40 | 23 | 5 | 40 | 16 | 19 | 16k|4453 | 0.000000e+00 | -- | Inf
499.22/499.47 c 475s| 1490k|167589 | 2998k| 96M| 35 | - | 40 | 42 | 5 | 0 | 0 | 19 | 16k|4474 | 0.000000e+00 | -- | Inf
502.61/502.86 c 478s| 1500k|168226 | 3018k| 96M| 35 | - | 40 | 73 | 5 | 40 | 16 | 19 | 16k|4489 | 0.000000e+00 | -- | Inf
506.02/506.25 c 482s| 1510k|168759 | 3038k| 97M| 35 | 5 | 40 | 40 | 5 | 40 | 16 | 19 | 16k|4500 | 0.000000e+00 | -- | Inf
509.31/509.59 c 485s| 1520k|169428 | 3057k| 97M| 35 | - | 40 | 38 | 5 | 40 | 16 | 19 | 16k|4513 | 0.000000e+00 | -- | Inf
512.71/512.98 c 488s| 1530k|169757 | 3076k| 97M| 35 | 5 | 40 | 37 | 6 | 40 | 16 | 19 | 17k|4522 | 0.000000e+00 | -- | Inf
516.10/516.31 c 491s| 1540k|170611 | 3096k| 98M| 35 | - | 40 | 43 | 4 | 0 | 0 | 19 | 17k|4536 | 0.000000e+00 | -- | Inf
519.30/519.59 c 494s| 1550k|171167 | 3115k| 98M| 35 | 5 | 40 | 56 | 6 | 40 | 16 | 19 | 17k|4546 | 0.000000e+00 | -- | Inf
522.70/522.97 c 498s| 1560k|171718 | 3135k| 99M| 35 | 5 | 40 | 73 | 8 | 40 | 16 | 19 | 17k|4565 | 0.000000e+00 | -- | Inf
526.00/526.21 c 501s| 1570k|172842 | 3154k| 99M| 35 | 5 | 40 | 72 | 6 | 40 | 16 | 19 | 17k|4576 | 0.000000e+00 | -- | Inf
529.30/529.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.30/529.59 c 504s| 1580k|173570 | 3173k| 100M| 35 | - | 40 | 77 | 5 | 40 | 16 | 19 | 17k|4590 | 0.000000e+00 | -- | Inf
532.70/532.91 c 507s| 1590k|174182 | 3192k| 100M| 35 | - | 40 | 73 | 6 | 0 | 0 | 19 | 17k|4603 | 0.000000e+00 | -- | Inf
536.00/536.28 c 510s| 1600k|174846 | 3212k| 101M| 35 | 5 | 40 | 43 | 5 | 40 | 16 | 19 | 17k|4611 | 0.000000e+00 | -- | Inf
539.30/539.58 c 513s| 1610k|175905 | 3232k| 101M| 35 | 5 | 40 | 56 | 5 | 40 | 16 | 19 | 17k|4622 | 0.000000e+00 | -- | Inf
542.70/542.97 c 517s| 1620k|176499 | 3252k| 102M| 35 | 5 | 40 | 33 | 5 | 40 | 16 | 19 | 17k|4633 | 0.000000e+00 | -- | Inf
546.09/546.32 c 520s| 1630k|176976 | 3272k| 102M| 35 | 5 | 40 | 41 | 5 | 40 | 16 | 19 | 17k|4647 | 0.000000e+00 | -- | Inf
549.40/549.61 c 523s| 1640k|178057 | 3291k| 103M| 35 | 5 | 40 | 54 | 5 | 40 | 16 | 19 | 18k|4664 | 0.000000e+00 | -- | Inf
552.89/553.11 c 526s| 1650k|178913 | 3313k| 103M| 35 | - | 40 | 78 | 6 | 0 | 0 | 19 | 18k|4679 | 0.000000e+00 | -- | Inf
556.29/556.53 c 529s| 1660k|179360 | 3333k| 103M| 35 | 5 | 40 | 56 | 5 | 40 | 16 | 19 | 18k|4696 | 0.000000e+00 | -- | Inf
559.59/559.83 c 533s| 1670k|180345 | 3353k| 104M| 35 | - | 40 | 51 | 5 | 40 | 16 | 19 | 18k|4708 | 0.000000e+00 | -- | Inf
562.79/563.05 c 536s| 1680k|181088 | 3371k| 105M| 35 | 5 | 40 | 49 | 5 | 40 | 16 | 19 | 18k|4715 | 0.000000e+00 | -- | Inf
566.19/566.42 c 539s| 1690k|181892 | 3391k| 105M| 35 | 5 | 40 | 114 | 20 | 40 | 16 | 19 | 18k|4731 | 0.000000e+00 | -- | Inf
569.49/569.74 c 542s| 1700k|182315 | 3409k| 105M| 35 | - | 40 | 54 | 5 | 0 | 0 | 19 | 18k|4740 | 0.000000e+00 | -- | Inf
572.79/573.03 c 545s| 1710k|183077 | 3428k| 106M| 35 | - | 40 | 59 | 5 | 40 | 16 | 19 | 18k|4750 | 0.000000e+00 | -- | Inf
576.09/576.39 c 548s| 1720k|183792 | 3449k| 106M| 35 | - | 40 | 35 | 5 | 40 | 16 | 19 | 18k|4761 | 0.000000e+00 | -- | Inf
579.49/579.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.49/579.78 c 552s| 1730k|184195 | 3468k| 107M| 35 | 5 | 40 | 81 | 6 | 40 | 16 | 19 | 18k|4775 | 0.000000e+00 | -- | Inf
582.98/583.20 c 555s| 1740k|184941 | 3489k| 107M| 35 | - | 40 | 41 | 7 | 0 | 0 | 19 | 18k|4785 | 0.000000e+00 | -- | Inf
586.28/586.53 c 558s| 1750k|186085 | 3509k| 108M| 35 | 5 | 40 | 48 | 5 | 40 | 16 | 19 | 19k|4797 | 0.000000e+00 | -- | Inf
589.58/589.83 c 561s| 1760k|186920 | 3528k| 108M| 35 | - | 40 | 50 | 6 | 40 | 16 | 19 | 19k|4810 | 0.000000e+00 | -- | Inf
592.88/593.16 c 564s| 1770k|187395 | 3547k| 109M| 35 | - | 40 | 52 | 5 | 40 | 16 | 19 | 19k|4824 | 0.000000e+00 | -- | Inf
596.28/596.51 c 567s| 1780k|188024 | 3567k| 109M| 35 | - | 40 | 57 | 5 | 40 | 16 | 19 | 19k|4838 | 0.000000e+00 | -- | Inf
599.58/599.88 c 571s| 1790k|188824 | 3587k| 110M| 35 | 5 | 40 | 52 | 5 | 40 | 16 | 19 | 19k|4851 | 0.000000e+00 | -- | Inf
602.98/603.23 c 574s| 1800k|189839 | 3607k| 110M| 35 | 5 | 40 | 60 | 5 | 40 | 16 | 19 | 19k|4858 | 0.000000e+00 | -- | Inf
606.27/606.57 c 577s| 1810k|191064 | 3626k| 111M| 35 | 5 | 40 | 81 | 9 | 40 | 16 | 19 | 19k|4867 | 0.000000e+00 | -- | Inf
609.57/609.82 c 580s| 1820k|192491 | 3645k| 112M| 35 | - | 40 | 91 | 5 | 40 | 16 | 19 | 19k|4876 | 0.000000e+00 | -- | Inf
612.77/613.08 c 583s| 1830k|193208 | 3664k| 112M| 35 | - | 40 | 102 | 7 | 0 | 0 | 19 | 19k|4888 | 0.000000e+00 | -- | Inf
616.07/616.34 c 586s| 1840k|194062 | 3683k| 113M| 35 | 5 | 40 | 95 | 5 | 40 | 16 | 19 | 19k|4898 | 0.000000e+00 | -- | Inf
619.37/619.69 c 589s| 1850k|194342 | 3702k| 113M| 35 | - | 40 | 56 | 12 | 0 | 0 | 19 | 19k|4911 | 0.000000e+00 | -- | Inf
622.67/622.99 c 593s| 1860k|194925 | 3721k| 113M| 35 | 5 | 40 | 72 | 5 | 40 | 16 | 19 | 19k|4919 | 0.000000e+00 | -- | Inf
626.06/626.34 c 596s| 1870k|195572 | 3740k| 114M| 35 | - | 40 | 43 | 5 | 0 | 0 | 19 | 19k|4930 | 0.000000e+00 | -- | Inf
629.46/629.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.46/629.73 c 599s| 1880k|196185 | 3760k| 114M| 35 | 5 | 40 | 57 | 5 | 40 | 16 | 19 | 20k|4942 | 0.000000e+00 | -- | Inf
632.76/633.07 c 602s| 1890k|196864 | 3779k| 115M| 35 | - | 40 | 79 | 5 | 40 | 16 | 19 | 20k|4951 | 0.000000e+00 | -- | Inf
636.16/636.42 c 605s| 1900k|197991 | 3800k| 115M| 35 | 5 | 40 | 53 | 5 | 40 | 16 | 19 | 20k|4964 | 0.000000e+00 | -- | Inf
639.36/639.62 c 608s| 1910k|198773 | 3818k| 116M| 35 | 5 | 40 | 58 | 5 | 40 | 16 | 19 | 20k|4976 | 0.000000e+00 | -- | Inf
642.66/642.92 c 612s| 1920k|199707 | 3837k| 116M| 35 | 5 | 40 | 41 | 5 | 40 | 16 | 19 | 20k|4989 | 0.000000e+00 | -- | Inf
645.96/646.22 c 615s| 1930k|200609 | 3857k| 117M| 35 | 5 | 40 | 53 | 7 | 40 | 16 | 19 | 20k|5000 | 0.000000e+00 | -- | Inf
649.26/649.58 c 618s| 1940k|200950 | 3876k| 117M| 35 | 5 | 40 | 59 | 6 | 40 | 16 | 19 | 20k|5009 | 0.000000e+00 | -- | Inf
652.65/652.93 c 621s| 1950k|201419 | 3895k| 118M| 35 | 5 | 40 | 47 | 6 | 40 | 16 | 19 | 20k|5018 | 0.000000e+00 | -- | Inf
656.06/656.33 c 624s| 1960k|202393 | 3915k| 118M| 35 | - | 40 | 135 | 6 | 40 | 16 | 19 | 20k|5030 | 0.000000e+00 | -- | Inf
659.25/659.56 c 627s| 1970k|203247 | 3932k| 119M| 35 | - | 40 | 191 | 5 | 40 | 16 | 19 | 21k|5039 | 0.000000e+00 | -- | Inf
662.65/662.96 c 631s| 1980k|204197 | 3952k| 119M| 35 | 5 | 40 | 109 | 5 | 40 | 16 | 19 | 21k|5051 | 0.000000e+00 | -- | Inf
666.05/666.39 c 634s| 1990k|204625 | 3972k| 120M| 35 | 5 | 40 | 70 | 5 | 40 | 16 | 19 | 21k|5064 | 0.000000e+00 | -- | Inf
669.45/669.73 c 637s| 2000k|205256 | 3992k| 120M| 35 | 5 | 40 | 49 | 5 | 40 | 16 | 19 | 21k|5070 | 0.000000e+00 | -- | Inf
672.74/673.07 c 640s| 2010k|205653 | 4011k| 120M| 35 | - | 40 | 96 | 11 | 0 | 0 | 19 | 21k|5075 | 0.000000e+00 | -- | Inf
676.15/676.46 c 643s| 2020k|206111 | 4031k| 121M| 35 | 5 | 40 | 48 | 5 | 40 | 16 | 19 | 21k|5084 | 0.000000e+00 | -- | Inf
679.55/679.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.55/679.86 c 647s| 2030k|206660 | 4052k| 121M| 35 | 5 | 40 | 59 | 5 | 40 | 16 | 19 | 22k|5093 | 0.000000e+00 | -- | Inf
682.75/683.06 c 650s| 2040k|207791 | 4070k| 122M| 35 | - | 40 | 69 | 5 | 0 | 0 | 19 | 22k|5107 | 0.000000e+00 | -- | Inf
686.05/686.36 c 653s| 2050k|208119 | 4089k| 122M| 35 | - | 40 | 53 | 5 | 40 | 16 | 19 | 22k|5114 | 0.000000e+00 | -- | Inf
689.55/689.80 c 656s| 2060k|208513 | 4109k| 122M| 35 | 5 | 40 | 48 | 5 | 40 | 16 | 19 | 22k|5125 | 0.000000e+00 | -- | Inf
692.84/693.20 c 659s| 2070k|209327 | 4129k| 123M| 35 | - | 40 | 61 | 4 | 0 | 0 | 19 | 22k|5137 | 0.000000e+00 | -- | Inf
696.24/696.58 c 663s| 2080k|209933 | 4149k| 123M| 35 | 5 | 40 | 58 | 9 | 40 | 16 | 19 | 22k|5149 | 0.000000e+00 | -- | Inf
699.54/699.86 c 666s| 2090k|210548 | 4168k| 124M| 35 | 5 | 40 | 46 | 5 | 40 | 16 | 19 | 22k|5159 | 0.000000e+00 | -- | Inf
702.84/703.17 c 669s| 2100k|211485 | 4187k| 124M| 35 | 5 | 40 | 74 | 5 | 40 | 16 | 19 | 22k|5171 | 0.000000e+00 | -- | Inf
706.23/706.58 c 672s| 2110k|212214 | 4207k| 125M| 35 | 5 | 40 | 119 | 13 | 40 | 16 | 19 | 22k|5179 | 0.000000e+00 | -- | Inf
709.73/710.00 c 675s| 2120k|212586 | 4226k| 125M| 35 | - | 40 | 46 | 3 | 0 | 0 | 19 | 22k|5189 | 0.000000e+00 | -- | Inf
713.03/713.34 c 679s| 2130k|213531 | 4244k| 126M| 35 | 5 | 40 | 185 | 5 | 40 | 16 | 19 | 23k|5197 | 0.000000e+00 | -- | Inf
716.43/716.71 c 682s| 2140k|214773 | 4262k| 127M| 35 | 5 | 40 | 435 | 5 | 40 | 16 | 19 | 24k|5207 | 0.000000e+00 | -- | Inf
719.83/720.15 c 685s| 2150k|215698 | 4279k| 127M| 35 | 5 | 40 | 283 | 10 | 40 | 16 | 19 | 25k|5216 | 0.000000e+00 | -- | Inf
723.33/723.61 c 688s| 2160k|216393 | 4296k| 127M| 35 | - | 40 | 172 | 7 | 0 | 0 | 19 | 25k|5223 | 0.000000e+00 | -- | Inf
726.73/727.01 c 692s| 2170k|217056 | 4314k| 128M| 35 | - | 40 | 115 | 5 | 40 | 16 | 19 | 26k|5238 | 0.000000e+00 | -- | Inf
730.13/730.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.13/730.45 c 695s| 2180k|218089 | 4334k| 128M| 35 | 5 | 40 | 102 | 5 | 40 | 16 | 19 | 26k|5247 | 0.000000e+00 | -- | Inf
733.33/733.69 c 698s| 2190k|220480 | 4353k| 130M| 35 | - | 40 | 150 | 6 | 0 | 0 | 19 | 26k|5254 | 0.000000e+00 | -- | Inf
736.63/736.97 c 701s| 2200k|222279 | 4372k| 130M| 35 | - | 40 | 173 | 6 | 0 | 0 | 19 | 26k|5260 | 0.000000e+00 | -- | Inf
739.83/740.17 c 704s| 2210k|224016 | 4390k| 131M| 35 | 5 | 40 | 162 | 5 | 40 | 16 | 19 | 26k|5270 | 0.000000e+00 | -- | Inf
743.12/743.46 c 707s| 2220k|225553 | 4409k| 132M| 35 | 5 | 40 | 136 | 5 | 40 | 16 | 19 | 26k|5279 | 0.000000e+00 | -- | Inf
746.42/746.77 c 710s| 2230k|227152 | 4428k| 133M| 35 | 5 | 40 | 158 | 5 | 40 | 16 | 19 | 26k|5293 | 0.000000e+00 | -- | Inf
749.83/750.12 c 714s| 2240k|228630 | 4447k| 134M| 35 | 5 | 40 | 180 | 12 | 40 | 16 | 19 | 26k|5302 | 0.000000e+00 | -- | Inf
753.12/753.47 c 717s| 2250k|229616 | 4466k| 134M| 35 | 5 | 40 | 153 | 23 | 40 | 16 | 19 | 27k|5315 | 0.000000e+00 | -- | Inf
756.52/756.86 c 720s| 2260k|230494 | 4486k| 135M| 35 | 5 | 40 | 134 | 5 | 40 | 16 | 19 | 27k|5324 | 0.000000e+00 | -- | Inf
759.82/760.16 c 723s| 2270k|231315 | 4504k| 135M| 35 | - | 40 | 119 | 5 | 40 | 16 | 19 | 27k|5332 | 0.000000e+00 | -- | Inf
763.21/763.52 c 726s| 2280k|232328 | 4524k| 136M| 35 | 5 | 40 | 139 | 5 | 40 | 16 | 19 | 27k|5342 | 0.000000e+00 | -- | Inf
766.62/766.90 c 730s| 2290k|233853 | 4544k| 137M| 35 | - | 40 | 154 | 5 | 0 | 0 | 19 | 27k|5352 | 0.000000e+00 | -- | Inf
769.91/770.26 c 733s| 2300k|235275 | 4563k| 138M| 35 | 5 | 40 | 173 | 8 | 40 | 16 | 19 | 27k|5361 | 0.000000e+00 | -- | Inf
773.21/773.56 c 736s| 2310k|236415 | 4582k| 138M| 35 | - | 40 | 143 | 8 | 0 | 0 | 19 | 27k|5373 | 0.000000e+00 | -- | Inf
776.51/776.87 c 739s| 2320k|237114 | 4601k| 139M| 35 | 5 | 40 | 165 | 5 | 40 | 16 | 19 | 27k|5383 | 0.000000e+00 | -- | Inf
779.81/780.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.81/780.19 c 742s| 2330k|238653 | 4621k| 139M| 35 | 5 | 40 | 175 | 6 | 40 | 16 | 19 | 27k|5391 | 0.000000e+00 | -- | Inf
783.41/783.72 c 746s| 2340k|239951 | 4643k| 140M| 35 | 5 | 40 | 181 | 5 | 40 | 16 | 19 | 27k|5409 | 0.000000e+00 | -- | Inf
786.91/787.22 c 749s| 2350k|240757 | 4663k| 141M| 35 | - | 40 | 155 | 6 | 0 | 0 | 19 | 27k|5419 | 0.000000e+00 | -- | Inf
790.21/790.58 c 752s| 2360k|241567 | 4683k| 141M| 35 | 5 | 40 | 150 | 5 | 40 | 16 | 19 | 28k|5434 | 0.000000e+00 | -- | Inf
793.70/794.01 c 755s| 2370k|242333 | 4703k| 142M| 35 | - | 40 | 164 | 5 | 40 | 16 | 19 | 28k|5448 | 0.000000e+00 | -- | Inf
797.01/797.37 c 759s| 2380k|243061 | 4722k| 142M| 35 | 5 | 40 | 167 | 6 | 40 | 16 | 19 | 28k|5456 | 0.000000e+00 | -- | Inf
800.41/800.73 c 762s| 2390k|243882 | 4742k| 143M| 35 | - | 40 | 158 | 8 | 40 | 16 | 19 | 28k|5464 | 0.000000e+00 | -- | Inf
803.90/804.25 c 765s| 2400k|244470 | 4762k| 143M| 35 | - | 40 | 143 | 4 | 0 | 0 | 19 | 28k|5476 | 0.000000e+00 | -- | Inf
807.31/807.66 c 768s| 2410k|245760 | 4783k| 144M| 35 | 5 | 40 | 182 | 5 | 40 | 16 | 19 | 28k|5487 | 0.000000e+00 | -- | Inf
810.69/811.01 c 771s| 2420k|246720 | 4802k| 144M| 35 | 5 | 40 | 190 | 6 | 40 | 16 | 19 | 28k|5493 | 0.000000e+00 | -- | Inf
814.09/814.42 c 775s| 2430k|247129 | 4821k| 145M| 35 | - | 40 | 124 | 11 | 0 | 0 | 19 | 28k|5505 | 0.000000e+00 | -- | Inf
817.39/817.71 c 778s| 2440k|247693 | 4839k| 145M| 35 | 5 | 40 | 136 | 5 | 40 | 16 | 19 | 28k|5516 | 0.000000e+00 | -- | Inf
820.70/821.06 c 781s| 2450k|248333 | 4858k| 146M| 35 | 5 | 40 | 143 | 18 | 40 | 16 | 19 | 28k|5526 | 0.000000e+00 | -- | Inf
824.10/824.46 c 784s| 2460k|249232 | 4878k| 146M| 35 | 5 | 40 | 164 | 5 | 40 | 16 | 19 | 29k|5534 | 0.000000e+00 | -- | Inf
827.49/827.88 c 788s| 2470k|249893 | 4898k| 147M| 35 | - | 40 | 164 | 5 | 40 | 16 | 19 | 29k|5543 | 0.000000e+00 | -- | Inf
830.89/831.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
830.89/831.21 c 791s| 2480k|250662 | 4916k| 147M| 35 | 5 | 40 | 136 | 5 | 40 | 16 | 19 | 29k|5555 | 0.000000e+00 | -- | Inf
834.19/834.55 c 794s| 2490k|251083 | 4935k| 147M| 35 | - | 40 | 128 | 5 | 40 | 16 | 19 | 29k|5563 | 0.000000e+00 | -- | Inf
837.49/837.82 c 797s| 2500k|251756 | 4954k| 148M| 35 | 5 | 40 | 132 | 5 | 40 | 16 | 19 | 29k|5576 | 0.000000e+00 | -- | Inf
840.79/841.19 c 800s| 2510k|252233 | 4972k| 148M| 35 | - | 40 | 133 | 5 | 40 | 16 | 19 | 29k|5584 | 0.000000e+00 | -- | Inf
844.19/844.59 c 803s| 2520k|252688 | 4991k| 149M| 35 | - | 40 | 140 | 5 | 0 | 0 | 19 | 29k|5598 | 0.000000e+00 | -- | Inf
847.58/847.92 c 807s| 2530k|253571 | 5010k| 149M| 35 | 5 | 40 | 200 | 7 | 40 | 16 | 19 | 29k|5610 | 0.000000e+00 | -- | Inf
850.88/851.26 c 810s| 2540k|254432 | 5029k| 150M| 35 | 5 | 40 | 190 | 5 | 40 | 16 | 19 | 29k|5617 | 0.000000e+00 | -- | Inf
854.29/854.61 c 813s| 2550k|254855 | 5048k| 150M| 35 | - | 40 | 147 | 5 | 0 | 0 | 19 | 29k|5626 | 0.000000e+00 | -- | Inf
857.59/857.96 c 816s| 2560k|255393 | 5066k| 150M| 35 | - | 40 | 67 | 6 | 40 | 16 | 19 | 29k|5634 | 0.000000e+00 | -- | Inf
860.99/861.31 c 819s| 2570k|255992 | 5085k| 151M| 35 | - | 40 | 88 | 8 | 40 | 16 | 19 | 30k|5642 | 0.000000e+00 | -- | Inf
864.38/864.77 c 823s| 2580k|256313 | 5104k| 151M| 35 | 5 | 40 | 64 | 14 | 40 | 16 | 19 | 30k|5659 | 0.000000e+00 | -- | Inf
867.88/868.25 c 826s| 2590k|256961 | 5124k| 152M| 35 | 5 | 40 | 71 | 5 | 40 | 16 | 19 | 30k|5669 | 0.000000e+00 | -- | Inf
871.28/871.68 c 829s| 2600k|257518 | 5142k| 152M| 35 | - | 40 | 82 | 6 | 0 | 0 | 19 | 30k|5677 | 0.000000e+00 | -- | Inf
874.77/875.12 c 832s| 2610k|257888 | 5162k| 152M| 35 | - | 40 | 65 | 5 | 40 | 16 | 19 | 30k|5686 | 0.000000e+00 | -- | Inf
878.17/878.59 c 836s| 2620k|258237 | 5181k| 153M| 35 | - | 40 | 34 | 5 | 40 | 16 | 19 | 30k|5696 | 0.000000e+00 | -- | Inf
881.67/882.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.67/882.01 c 839s| 2630k|258824 | 5200k| 153M| 35 | 5 | 40 | 83 | 24 | 40 | 16 | 19 | 30k|5706 | 0.000000e+00 | -- | Inf
885.08/885.44 c 842s| 2640k|259330 | 5220k| 153M| 35 | 5 | 40 | 76 | 5 | 40 | 16 | 19 | 30k|5714 | 0.000000e+00 | -- | Inf
888.47/888.82 c 846s| 2650k|259871 | 5238k| 154M| 35 | 5 | 40 | 78 | 7 | 40 | 16 | 19 | 31k|5724 | 0.000000e+00 | -- | Inf
891.77/892.16 c 849s| 2660k|260620 | 5257k| 154M| 35 | 5 | 40 | 94 | 5 | 40 | 16 | 19 | 31k|5732 | 0.000000e+00 | -- | Inf
895.17/895.57 c 852s| 2670k|260797 | 5275k| 154M| 35 | - | 40 | 55 | 5 | 0 | 0 | 19 | 31k|5740 | 0.000000e+00 | -- | Inf
898.66/899.02 c 855s| 2680k|261525 | 5296k| 155M| 35 | - | 40 | 53 | 5 | 40 | 16 | 19 | 31k|5752 | 0.000000e+00 | -- | Inf
902.07/902.44 c 858s| 2690k|262117 | 5314k| 155M| 35 | - | 40 | 71 | 27 | 0 | 0 | 19 | 31k|5764 | 0.000000e+00 | -- | Inf
905.47/905.86 c 862s| 2700k|262411 | 5334k| 156M| 35 | - | 40 | 49 | 5 | 0 | 0 | 19 | 31k|5776 | 0.000000e+00 | -- | Inf
908.86/909.26 c 865s| 2710k|262795 | 5352k| 156M| 35 | 5 | 40 | 55 | 6 | 40 | 16 | 19 | 31k|5781 | 0.000000e+00 | -- | Inf
912.26/912.68 c 868s| 2720k|263417 | 5371k| 156M| 35 | 5 | 40 | 118 | 5 | 40 | 16 | 19 | 31k|5787 | 0.000000e+00 | -- | Inf
915.66/916.09 c 871s| 2730k|264840 | 5391k| 157M| 35 | 5 | 40 | 130 | 6 | 40 | 16 | 19 | 31k|5802 | 0.000000e+00 | -- | Inf
919.06/919.47 c 875s| 2740k|265834 | 5410k| 158M| 35 | 5 | 40 | 136 | 5 | 40 | 16 | 19 | 32k|5808 | 0.000000e+00 | -- | Inf
922.46/922.82 c 878s| 2750k|266910 | 5429k| 158M| 35 | 5 | 40 | 147 | 5 | 40 | 16 | 19 | 32k|5817 | 0.000000e+00 | -- | Inf
925.87/926.24 c 881s| 2760k|267312 | 5448k| 159M| 35 | - | 40 | 147 | 6 | 40 | 16 | 19 | 32k|5826 | 0.000000e+00 | -- | Inf
929.35/929.75 c 884s| 2770k|268019 | 5468k| 159M| 35 | 5 | 40 | 169 | 5 | 40 | 16 | 19 | 32k|5837 | 0.000000e+00 | -- | Inf
932.86/933.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.86/933.29 c 888s| 2780k|268674 | 5488k| 160M| 35 | - | 40 | 124 | 5 | 40 | 16 | 19 | 32k|5849 | 0.000000e+00 | -- | Inf
936.46/936.80 c 891s| 2790k|269139 | 5507k| 160M| 35 | - | 40 | 94 | 5 | 0 | 0 | 19 | 32k|5861 | 0.000000e+00 | -- | Inf
939.75/940.13 c 894s| 2800k|269628 | 5525k| 160M| 35 | - | 40 | 82 | 4 | 0 | 0 | 19 | 32k|5872 | 0.000000e+00 | -- | Inf
943.15/943.55 c 898s| 2810k|270045 | 5545k| 161M| 35 | - | 40 | 52 | 5 | 0 | 0 | 19 | 32k|5881 | 0.000000e+00 | -- | Inf
946.65/947.01 c 901s| 2820k|270514 | 5564k| 161M| 35 | - | 40 | 50 | 5 | 0 | 0 | 19 | 32k|5891 | 0.000000e+00 | -- | Inf
950.05/950.42 c 904s| 2830k|271313 | 5583k| 162M| 35 | - | 40 | 93 | 5 | 0 | 0 | 19 | 32k|5902 | 0.000000e+00 | -- | Inf
953.45/953.81 c 907s| 2840k|272773 | 5603k| 162M| 35 | - | 40 | 81 | 4 | 0 | 0 | 19 | 32k|5908 | 0.000000e+00 | -- | Inf
956.75/957.20 c 911s| 2850k|274310 | 5624k| 163M| 35 | 5 | 40 | 83 | 5 | 40 | 16 | 19 | 32k|5916 | 0.000000e+00 | -- | Inf
960.25/960.64 c 914s| 2860k|275587 | 5646k| 164M| 35 | 5 | 40 | 67 | 5 | 40 | 16 | 19 | 33k|5925 | 0.000000e+00 | -- | Inf
963.64/964.09 c 917s| 2870k|276855 | 5667k| 165M| 35 | 5 | 40 | 73 | 5 | 40 | 16 | 19 | 33k|5937 | 0.000000e+00 | -- | Inf
967.15/967.56 c 921s| 2880k|278211 | 5689k| 165M| 35 | - | 40 | 69 | 7 | 40 | 16 | 19 | 33k|5948 | 0.000000e+00 | -- | Inf
970.54/970.93 c 924s| 2890k|280509 | 5710k| 166M| 35 | 5 | 40 | 83 | 5 | 40 | 16 | 19 | 33k|5958 | 0.000000e+00 | -- | Inf
973.94/974.36 c 927s| 2900k|282243 | 5731k| 167M| 35 | 5 | 40 | 87 | 5 | 40 | 16 | 19 | 33k|5968 | 0.000000e+00 | -- | Inf
977.33/977.80 c 930s| 2910k|283823 | 5751k| 168M| 35 | 5 | 40 | 88 | 6 | 40 | 16 | 19 | 33k|5978 | 0.000000e+00 | -- | Inf
980.84/981.21 c 934s| 2920k|285148 | 5772k| 169M| 35 | 5 | 40 | 90 | 5 | 40 | 16 | 19 | 33k|5989 | 0.000000e+00 | -- | Inf
984.24/984.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.24/984.68 c 937s| 2930k|286042 | 5792k| 169M| 35 | 5 | 40 | 77 | 5 | 40 | 16 | 19 | 33k|5995 | 0.000000e+00 | -- | Inf
987.74/988.12 c 940s| 2940k|287133 | 5813k| 170M| 35 | 5 | 40 | 84 | 5 | 40 | 16 | 19 | 33k|6006 | 0.000000e+00 | -- | Inf
991.23/991.65 c 943s| 2950k|287929 | 5835k| 170M| 35 | - | 40 | 76 | 5 | 0 | 0 | 19 | 33k|6016 | 0.000000e+00 | -- | Inf
994.74/995.17 c 947s| 2960k|288963 | 5856k| 171M| 35 | - | 40 | 76 | 5 | 40 | 16 | 19 | 33k|6028 | 0.000000e+00 | -- | Inf
998.33/998.71 c 950s| 2970k|289656 | 5878k| 172M| 35 | 5 | 40 | 77 | 6 | 40 | 16 | 19 | 33k|6037 | 0.000000e+00 | -- | Inf
1001.83/1002.20 c 954s| 2980k|290491 | 5899k| 172M| 35 | - | 40 | 74 | 4 | 0 | 0 | 19 | 33k|6050 | 0.000000e+00 | -- | Inf
1005.23/1005.68 c 957s| 2990k|291301 | 5919k| 173M| 35 | 5 | 40 | 88 | 6 | 40 | 16 | 19 | 33k|6057 | 0.000000e+00 | -- | Inf
1008.63/1009.09 c 960s| 3000k|291949 | 5939k| 173M| 35 | 5 | 40 | 94 | 8 | 40 | 16 | 19 | 33k|6069 | 0.000000e+00 | -- | Inf
1012.22/1012.63 c 963s| 3010k|292570 | 5960k| 173M| 35 | 5 | 40 | 71 | 5 | 40 | 16 | 19 | 33k|6079 | 0.000000e+00 | -- | Inf
1015.73/1016.10 c 967s| 3020k|293547 | 5980k| 174M| 35 | - | 40 | 77 | 5 | 40 | 16 | 19 | 33k|6088 | 0.000000e+00 | -- | Inf
1019.12/1019.55 c 970s| 3030k|294249 | 6001k| 175M| 35 | - | 40 | 83 | 5 | 0 | 0 | 19 | 33k|6107 | 0.000000e+00 | -- | Inf
1022.63/1023.01 c 973s| 3040k|295004 | 6020k| 175M| 35 | - | 40 | 92 | 12 | 40 | 16 | 19 | 33k|6119 | 0.000000e+00 | -- | Inf
1026.12/1026.50 c 977s| 3050k|295538 | 6041k| 175M| 35 | - | 40 | 74 | 7 | 40 | 16 | 19 | 33k|6130 | 0.000000e+00 | -- | Inf
1029.62/1030.02 c 980s| 3060k|296156 | 6062k| 176M| 35 | - | 40 | 73 | 5 | 0 | 0 | 19 | 33k|6138 | 0.000000e+00 | -- | Inf
1033.12/1033.55 c 983s| 3070k|296448 | 6083k| 176M| 35 | 5 | 40 | 79 | 7 | 40 | 16 | 19 | 33k|6148 | 0.000000e+00 | -- | Inf
1036.52/1036.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.52/1036.98 c 987s| 3080k|297205 | 6102k| 177M| 35 | - | 40 | 77 | 5 | 40 | 16 | 19 | 33k|6158 | 0.000000e+00 | -- | Inf
1040.02/1040.41 c 990s| 3090k|298004 | 6123k| 177M| 35 | - | 40 | 79 | 5 | 40 | 16 | 19 | 33k|6172 | 0.000000e+00 | -- | Inf
1043.52/1043.96 c 993s| 3100k|298433 | 6143k| 178M| 35 | - | 40 | 75 | 5 | 40 | 16 | 19 | 33k|6179 | 0.000000e+00 | -- | Inf
1047.01/1047.47 c 997s| 3110k|298779 | 6163k| 178M| 35 | - | 40 | 76 | 5 | 40 | 16 | 19 | 33k|6188 | 0.000000e+00 | -- | Inf
1050.42/1050.83 c 1000s| 3120k|299849 | 6182k| 178M| 35 | - | 40 | 86 | 5 | 40 | 16 | 19 | 33k|6200 | 0.000000e+00 | -- | Inf
1053.52/1053.99 c 1003s| 3130k|301363 | 6200k| 179M| 35 | - | 40 | 113 | 5 | 40 | 16 | 19 | 33k|6205 | 0.000000e+00 | -- | Inf
1056.71/1057.16 c 1006s| 3140k|301852 | 6217k| 180M| 35 | 5 | 40 | 122 | 9 | 40 | 16 | 19 | 33k|6215 | 0.000000e+00 | -- | Inf
1059.92/1060.38 c 1009s| 3150k|302168 | 6233k| 180M| 35 | - | 40 | 110 | 5 | 40 | 16 | 19 | 33k|6220 | 0.000000e+00 | -- | Inf
1063.51/1063.90 c 1012s| 3160k|302618 | 6254k| 180M| 35 | 5 | 40 | 87 | 6 | 40 | 16 | 19 | 33k|6231 | 0.000000e+00 | -- | Inf
1067.01/1067.44 c 1016s| 3170k|303172 | 6275k| 181M| 35 | - | 40 | 83 | 5 | 40 | 16 | 19 | 33k|6240 | 0.000000e+00 | -- | Inf
1070.41/1070.88 c 1019s| 3180k|303873 | 6295k| 181M| 35 | 5 | 40 | 95 | 6 | 40 | 16 | 19 | 34k|6249 | 0.000000e+00 | -- | Inf
1073.90/1074.35 c 1022s| 3190k|304449 | 6315k| 181M| 35 | - | 40 | 89 | 5 | 0 | 0 | 19 | 34k|6260 | 0.000000e+00 | -- | Inf
1077.21/1077.69 c 1025s| 3200k|305320 | 6335k| 182M| 35 | 5 | 40 | 93 | 7 | 40 | 16 | 19 | 34k|6269 | 0.000000e+00 | -- | Inf
1080.71/1081.12 c 1029s| 3210k|305615 | 6354k| 182M| 35 | 5 | 40 | 64 | 6 | 40 | 16 | 19 | 34k|6277 | 0.000000e+00 | -- | Inf
1084.30/1084.70 c 1032s| 3220k|305985 | 6374k| 183M| 35 | - | 40 | 45 | 5 | 40 | 16 | 19 | 34k|6292 | 0.000000e+00 | -- | Inf
1087.70/1088.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.70/1088.11 c 1035s| 3230k|306696 | 6394k| 183M| 35 | 5 | 40 | 42 | 5 | 40 | 16 | 19 | 34k|6300 | 0.000000e+00 | -- | Inf
1091.10/1091.54 c 1039s| 3240k|307143 | 6413k| 183M| 35 | 5 | 40 | 57 | 5 | 40 | 16 | 19 | 34k|6306 | 0.000000e+00 | -- | Inf
1094.60/1095.02 c 1042s| 3250k|307482 | 6433k| 184M| 35 | 5 | 40 | 59 | 5 | 40 | 16 | 19 | 34k|6316 | 0.000000e+00 | -- | Inf
1098.00/1098.48 c 1045s| 3260k|307707 | 6452k| 184M| 35 | - | 40 | 63 | 5 | 0 | 0 | 19 | 34k|6329 | 0.000000e+00 | -- | Inf
1101.39/1101.84 c 1048s| 3270k|308366 | 6471k| 184M| 35 | 5 | 40 | 92 | 6 | 40 | 16 | 19 | 34k|6336 | 0.000000e+00 | -- | Inf
1104.80/1105.28 c 1052s| 3280k|308835 | 6490k| 185M| 35 | - | 40 | 59 | 4 | 0 | 0 | 19 | 34k|6342 | 0.000000e+00 | -- | Inf
1108.30/1108.78 c 1055s| 3290k|309326 | 6509k| 185M| 35 | 5 | 40 | 118 | 5 | 40 | 16 | 19 | 35k|6350 | 0.000000e+00 | -- | Inf
1111.79/1112.26 c 1058s| 3300k|309862 | 6529k| 186M| 35 | 5 | 40 | 69 | 5 | 40 | 16 | 19 | 35k|6359 | 0.000000e+00 | -- | Inf
1115.19/1115.62 c 1062s| 3310k|310375 | 6548k| 186M| 35 | 5 | 40 | 122 | 20 | 40 | 16 | 19 | 35k|6373 | 0.000000e+00 | -- | Inf
1118.59/1119.08 c 1065s| 3320k|310942 | 6568k| 186M| 35 | - | 40 | 71 | 5 | 0 | 0 | 19 | 35k|6382 | 0.000000e+00 | -- | Inf
1121.98/1122.43 c 1068s| 3330k|311558 | 6587k| 187M| 35 | 5 | 40 | 102 | 6 | 40 | 16 | 19 | 35k|6387 | 0.000000e+00 | -- | Inf
1125.39/1125.85 c 1071s| 3340k|311993 | 6606k| 187M| 35 | 5 | 40 | 55 | 5 | 40 | 16 | 19 | 35k|6403 | 0.000000e+00 | -- | Inf
1128.79/1129.22 c 1074s| 3350k|312563 | 6625k| 187M| 35 | - | 40 | 52 | 5 | 40 | 16 | 19 | 35k|6411 | 0.000000e+00 | -- | Inf
1132.19/1132.63 c 1078s| 3360k|312773 | 6644k| 188M| 35 | 5 | 40 | 50 | 5 | 40 | 16 | 19 | 35k|6417 | 0.000000e+00 | -- | Inf
1135.48/1135.99 c 1081s| 3370k|313243 | 6662k| 188M| 35 | 5 | 40 | 88 | 5 | 40 | 16 | 19 | 36k|6425 | 0.000000e+00 | -- | Inf
1138.89/1139.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.89/1139.34 c 1084s| 3380k|313685 | 6681k| 188M| 35 | - | 40 | 61 | 6 | 40 | 16 | 19 | 36k|6434 | 0.000000e+00 | -- | Inf
1142.18/1142.69 c 1087s| 3390k|314171 | 6699k| 189M| 35 | 5 | 40 | 63 | 7 | 40 | 16 | 19 | 36k|6441 | 0.000000e+00 | -- | Inf
1145.68/1146.12 c 1090s| 3400k|314629 | 6718k| 189M| 35 | 5 | 40 | 56 | 6 | 40 | 16 | 19 | 36k|6453 | 0.000000e+00 | -- | Inf
1149.08/1149.54 c 1094s| 3410k|315015 | 6737k| 189M| 35 | - | 40 | 71 | 5 | 0 | 0 | 19 | 36k|6463 | 0.000000e+00 | -- | Inf
1152.38/1152.88 c 1097s| 3420k|315539 | 6756k| 190M| 35 | 5 | 40 | 80 | 6 | 40 | 16 | 19 | 36k|6471 | 0.000000e+00 | -- | Inf
1155.68/1156.16 c 1100s| 3430k|315973 | 6774k| 190M| 35 | 5 | 40 | 108 | 6 | 40 | 16 | 19 | 36k|6478 | 0.000000e+00 | -- | Inf
1159.18/1159.61 c 1103s| 3440k|316288 | 6794k| 190M| 35 | - | 40 | 46 | 6 | 0 | 0 | 19 | 36k|6489 | 0.000000e+00 | -- | Inf
1162.58/1163.00 c 1106s| 3450k|316676 | 6812k| 191M| 35 | 5 | 40 | 77 | 5 | 40 | 16 | 19 | 36k|6496 | 0.000000e+00 | -- | Inf
1166.08/1166.50 c 1110s| 3460k|317205 | 6832k| 191M| 35 | 5 | 40 | 88 | 5 | 40 | 16 | 19 | 37k|6504 | 0.000000e+00 | -- | Inf
1169.47/1169.96 c 1113s| 3470k|317602 | 6851k| 191M| 35 | 5 | 40 | 79 | 5 | 40 | 16 | 19 | 37k|6510 | 0.000000e+00 | -- | Inf
1172.97/1173.41 c 1116s| 3480k|318054 | 6871k| 192M| 35 | 5 | 40 | 124 | 5 | 40 | 16 | 19 | 37k|6518 | 0.000000e+00 | -- | Inf
1176.37/1176.84 c 1120s| 3490k|318546 | 6891k| 192M| 35 | 5 | 40 | 44 | 5 | 40 | 16 | 19 | 37k|6525 | 0.000000e+00 | -- | Inf
1179.67/1180.11 c 1123s| 3500k|319526 | 6910k| 193M| 35 | - | 40 | 53 | 5 | 0 | 0 | 19 | 37k|6528 | 0.000000e+00 | -- | Inf
1182.87/1183.40 c 1126s| 3510k|321072 | 6928k| 194M| 35 | - | 40 | 74 | 8 | 0 | 0 | 19 | 37k|6538 | 0.000000e+00 | -- | Inf
1186.17/1186.67 c 1129s| 3520k|322003 | 6946k| 194M| 35 | 5 | 40 | 69 | 7 | 40 | 16 | 19 | 37k|6545 | 0.000000e+00 | -- | Inf
1189.46/1189.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.46/1189.98 c 1132s| 3530k|322591 | 6964k| 195M| 35 | - | 40 | 78 | 11 | 0 | 0 | 19 | 37k|6552 | 0.000000e+00 | -- | Inf
1192.76/1193.23 c 1135s| 3540k|322884 | 6982k| 195M| 35 | - | 40 | 77 | 10 | 0 | 0 | 19 | 37k|6556 | 0.000000e+00 | -- | Inf
1196.16/1196.61 c 1138s| 3550k|323269 | 7001k| 195M| 35 | - | 40 | 63 | 7 | 40 | 16 | 19 | 37k|6562 | 0.000000e+00 | -- | Inf
1199.57/1200.01 c 1142s| 3560k|323542 | 7020k| 195M| 35 | 5 | 40 | 21 | 5 | 40 | 16 | 19 | 37k|6567 | 0.000000e+00 | -- | Inf
1202.96/1203.48 c 1145s| 3570k|323786 | 7039k| 196M| 35 | 5 | 40 | 50 | 5 | 40 | 16 | 19 | 38k|6582 | 0.000000e+00 | -- | Inf
1206.36/1206.89 c 1148s| 3580k|324056 | 7058k| 196M| 35 | - | 40 | 39 | 7 | 0 | 0 | 19 | 38k|6590 | 0.000000e+00 | -- | Inf
1209.96/1210.41 c 1152s| 3590k|324210 | 7078k| 196M| 35 | - | 40 | 53 | 8 | 0 | 0 | 19 | 38k|6602 | 0.000000e+00 | -- | Inf
1213.26/1213.70 c 1155s| 3600k|325558 | 7097k| 197M| 35 | - | 40 | 68 | 5 | 0 | 0 | 19 | 38k|6607 | 0.000000e+00 | -- | Inf
1216.55/1217.01 c 1158s| 3610k|326825 | 7115k| 198M| 35 | 5 | 40 | 69 | 5 | 40 | 16 | 19 | 38k|6614 | 0.000000e+00 | -- | Inf
1219.85/1220.34 c 1161s| 3620k|327605 | 7133k| 198M| 35 | 5 | 40 | 78 | 16 | 40 | 16 | 19 | 38k|6621 | 0.000000e+00 | -- | Inf
1223.25/1223.72 c 1164s| 3630k|328154 | 7151k| 198M| 35 | 5 | 40 | 90 | 6 | 40 | 16 | 19 | 38k|6627 | 0.000000e+00 | -- | Inf
1226.55/1227.07 c 1168s| 3640k|328659 | 7169k| 199M| 35 | - | 40 | 82 | 6 | 0 | 0 | 19 | 38k|6633 | 0.000000e+00 | -- | Inf
1229.85/1230.35 c 1171s| 3650k|329198 | 7187k| 199M| 35 | - | 40 | 110 | 5 | 40 | 16 | 19 | 38k|6637 | 0.000000e+00 | -- | Inf
1233.25/1233.73 c 1174s| 3660k|329301 | 7205k| 199M| 35 | 5 | 40 | 75 | 6 | 40 | 16 | 19 | 38k|6642 | 0.000000e+00 | -- | Inf
1236.74/1237.21 c 1177s| 3670k|329919 | 7225k| 200M| 35 | - | 40 | 112 | 9 | 40 | 16 | 19 | 39k|6647 | 0.000000e+00 | -- | Inf
1240.15/1240.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.15/1240.64 c 1180s| 3680k|330051 | 7244k| 200M| 35 | - | 40 | 46 | 10 | 40 | 16 | 19 | 39k|6652 | 0.000000e+00 | -- | Inf
1243.55/1244.03 c 1184s| 3690k|330644 | 7262k| 200M| 35 | - | 40 | 118 | 4 | 0 | 0 | 19 | 39k|6662 | 0.000000e+00 | -- | Inf
1246.95/1247.48 c 1187s| 3700k|331326 | 7280k| 201M| 35 | - | 40 | 210 | 32 | 0 | 0 | 19 | 40k|6667 | 0.000000e+00 | -- | Inf
1250.44/1250.97 c 1190s| 3710k|331634 | 7298k| 201M| 35 | - | 40 | 81 | 5 | 0 | 0 | 19 | 40k|6674 | 0.000000e+00 | -- | Inf
1253.84/1254.33 c 1193s| 3720k|331906 | 7317k| 201M| 35 | 5 | 40 | 79 | 5 | 40 | 16 | 19 | 40k|6685 | 0.000000e+00 | -- | Inf
1257.24/1257.71 c 1197s| 3730k|332682 | 7336k| 202M| 35 | 5 | 40 | 77 | 5 | 40 | 16 | 19 | 40k|6691 | 0.000000e+00 | -- | Inf
1260.54/1261.01 c 1200s| 3740k|333386 | 7355k| 202M| 35 | - | 40 | 45 | 6 | 0 | 0 | 19 | 40k|6701 | 0.000000e+00 | -- | Inf
1263.94/1264.46 c 1203s| 3750k|333729 | 7375k| 203M| 35 | 5 | 40 | 54 | 9 | 40 | 16 | 19 | 40k|6710 | 0.000000e+00 | -- | Inf
1267.34/1267.89 c 1206s| 3760k|334091 | 7394k| 203M| 35 | - | 40 | 101 | 11 | 0 | 0 | 19 | 40k|6720 | 0.000000e+00 | -- | Inf
1270.84/1271.35 c 1210s| 3770k|334695 | 7413k| 203M| 35 | 5 | 40 | 50 | 6 | 40 | 16 | 19 | 40k|6730 | 0.000000e+00 | -- | Inf
1274.23/1274.77 c 1213s| 3780k|335208 | 7432k| 204M| 35 | 5 | 40 | 87 | 8 | 40 | 16 | 19 | 40k|6741 | 0.000000e+00 | -- | Inf
1277.74/1278.23 c 1216s| 3790k|335222 | 7452k| 204M| 35 | - | 40 | 27 | 5 | 40 | 16 | 19 | 40k|6750 | 0.000000e+00 | -- | Inf
1281.13/1281.61 c 1219s| 3800k|335431 | 7471k| 204M| 35 | - | 40 | 41 | 5 | 40 | 16 | 19 | 40k|6761 | 0.000000e+00 | -- | Inf
1284.43/1284.98 c 1223s| 3810k|336073 | 7490k| 205M| 35 | 5 | 40 | 91 | 6 | 40 | 16 | 19 | 41k|6768 | 0.000000e+00 | -- | Inf
1287.83/1288.32 c 1226s| 3820k|336354 | 7508k| 205M| 35 | - | 40 | 31 | 5 | 40 | 16 | 19 | 41k|6771 | 0.000000e+00 | -- | Inf
1291.23/1291.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.23/1291.71 c 1229s| 3830k|336803 | 7527k| 205M| 35 | - | 40 | 68 | 4 | 0 | 0 | 19 | 41k|6777 | 0.000000e+00 | -- | Inf
1294.62/1295.15 c 1232s| 3840k|337163 | 7547k| 206M| 35 | 5 | 40 | 62 | 5 | 40 | 16 | 19 | 41k|6787 | 0.000000e+00 | -- | Inf
1298.02/1298.53 c 1236s| 3850k|337363 | 7566k| 206M| 35 | - | 40 | 61 | 53 | 0 | 0 | 19 | 41k|6793 | 0.000000e+00 | -- | Inf
1301.33/1301.80 c 1239s| 3860k|338464 | 7584k| 206M| 35 | 5 | 40 | 72 | 7 | 40 | 16 | 19 | 41k|6800 | 0.000000e+00 | -- | Inf
1304.62/1305.12 c 1242s| 3870k|339277 | 7603k| 207M| 35 | 5 | 40 | 71 | 9 | 40 | 16 | 19 | 41k|6807 | 0.000000e+00 | -- | Inf
1307.92/1308.45 c 1245s| 3880k|339418 | 7622k| 207M| 35 | 5 | 40 | 62 | 5 | 40 | 16 | 19 | 41k|6816 | 0.000000e+00 | -- | Inf
1311.22/1311.75 c 1248s| 3890k|339981 | 7640k| 207M| 35 | 5 | 40 | 82 | 5 | 40 | 16 | 19 | 41k|6821 | 0.000000e+00 | -- | Inf
1314.62/1315.19 c 1251s| 3900k|340768 | 7659k| 208M| 35 | - | 40 | 175 | 5 | 40 | 16 | 19 | 42k|6829 | 0.000000e+00 | -- | Inf
1318.02/1318.58 c 1255s| 3910k|341532 | 7677k| 208M| 35 | 5 | 40 | 141 | 7 | 40 | 16 | 19 | 42k|6835 | 0.000000e+00 | -- | Inf
1321.51/1322.06 c 1258s| 3920k|342380 | 7695k| 209M| 35 | - | 40 | 209 | 6 | 40 | 16 | 19 | 42k|6841 | 0.000000e+00 | -- | Inf
1325.01/1325.58 c 1261s| 3930k|342957 | 7713k| 209M| 35 | - | 40 | 301 | 21 | 0 | 0 | 19 | 43k|6847 | 0.000000e+00 | -- | Inf
1328.61/1329.11 c 1265s| 3940k|343412 | 7732k| 210M| 35 | - | 40 | 132 | 5 | 0 | 0 | 19 | 43k|6855 | 0.000000e+00 | -- | Inf
1332.11/1332.65 c 1268s| 3950k|343605 | 7752k| 210M| 35 | - | 40 | 39 | 5 | 40 | 16 | 19 | 43k|6869 | 0.000000e+00 | -- | Inf
1335.51/1336.03 c 1271s| 3960k|343984 | 7771k| 210M| 35 | 5 | 40 | 40 | 5 | 40 | 16 | 19 | 43k|6881 | 0.000000e+00 | -- | Inf
1338.81/1339.39 c 1275s| 3970k|344501 | 7790k| 211M| 35 | 5 | 40 | 55 | 5 | 40 | 16 | 19 | 43k|6885 | 0.000000e+00 | -- | Inf
1342.20/1342.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.20/1342.76 c 1278s| 3980k|344881 | 7808k| 211M| 35 | 5 | 40 | 76 | 5 | 40 | 16 | 19 | 44k|6891 | 0.000000e+00 | -- | Inf
1345.71/1346.20 c 1281s| 3990k|344854 | 7826k| 211M| 35 | 5 | 40 | 34 | 7 | 40 | 16 | 19 | 44k|6896 | 0.000000e+00 | -- | Inf
1349.20/1349.74 c 1284s| 4000k|345520 | 7847k| 211M| 35 | 5 | 40 | 35 | 5 | 40 | 16 | 19 | 44k|6907 | 0.000000e+00 | -- | Inf
1352.60/1353.12 c 1288s| 4010k|346908 | 7867k| 212M| 35 | 5 | 40 | 65 | 5 | 40 | 16 | 19 | 44k|6912 | 0.000000e+00 | -- | Inf
1356.00/1356.52 c 1291s| 4020k|347851 | 7887k| 213M| 35 | 5 | 40 | 77 | 6 | 40 | 16 | 19 | 44k|6927 | 0.000000e+00 | -- | Inf
1359.40/1359.99 c 1294s| 4030k|348280 | 7906k| 213M| 35 | - | 40 | 74 | 6 | 0 | 0 | 19 | 44k|6935 | 0.000000e+00 | -- | Inf
1362.90/1363.45 c 1297s| 4040k|348518 | 7926k| 213M| 35 | - | 40 | 104 | 5 | 0 | 0 | 19 | 44k|6944 | 0.000000e+00 | -- | Inf
1366.39/1366.91 c 1301s| 4050k|348782 | 7945k| 214M| 35 | - | 40 | 64 | 6 | 40 | 16 | 19 | 44k|6956 | 0.000000e+00 | -- | Inf
1369.79/1370.33 c 1304s| 4060k|349347 | 7964k| 214M| 35 | - | 40 | 57 | 5 | 40 | 16 | 19 | 44k|6961 | 0.000000e+00 | -- | Inf
1373.30/1373.80 c 1307s| 4070k|350398 | 7984k| 215M| 35 | 5 | 40 | 100 | 5 | 40 | 16 | 19 | 44k|6965 | 0.000000e+00 | -- | Inf
1376.70/1377.23 c 1311s| 4080k|351658 | 8004k| 215M| 35 | - | 40 | 119 | 5 | 40 | 16 | 19 | 44k|6975 | 0.000000e+00 | -- | Inf
1380.09/1380.63 c 1314s| 4090k|352390 | 8024k| 216M| 35 | - | 40 | 132 | 7 | 0 | 0 | 19 | 44k|6987 | 0.000000e+00 | -- | Inf
1383.49/1384.01 c 1317s| 4100k|352908 | 8042k| 216M| 35 | 5 | 40 | 138 | 5 | 40 | 16 | 19 | 45k|7001 | 0.000000e+00 | -- | Inf
1386.89/1387.42 c 1320s| 4110k|353463 | 8061k| 217M| 35 | - | 40 | 138 | 5 | 40 | 16 | 19 | 45k|7006 | 0.000000e+00 | -- | Inf
1390.29/1390.87 c 1323s| 4120k|353741 | 8079k| 217M| 35 | 5 | 40 | 140 | 13 | 40 | 16 | 19 | 45k|7018 | 0.000000e+00 | -- | Inf
1393.79/1394.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.79/1394.37 c 1327s| 4130k|353753 | 8099k| 217M| 35 | 5 | 40 | 94 | 6 | 40 | 16 | 19 | 45k|7025 | 0.000000e+00 | -- | Inf
1397.19/1397.75 c 1330s| 4140k|355227 | 8117k| 218M| 35 | - | 40 | 244 | 12 | 40 | 16 | 19 | 45k|7029 | 0.000000e+00 | -- | Inf
1400.58/1401.15 c 1333s| 4150k|356251 | 8135k| 219M| 35 | 5 | 40 | 272 | 5 | 40 | 16 | 19 | 46k|7031 | 0.000000e+00 | -- | Inf
1404.09/1404.60 c 1337s| 4160k|356783 | 8152k| 219M| 35 | 5 | 40 | 316 | 5 | 40 | 16 | 19 | 46k|7033 | 0.000000e+00 | -- | Inf
1407.49/1408.02 c 1340s| 4170k|357767 | 8168k| 220M| 35 | - | 40 | 473 | 15 | 0 | 0 | 19 | 47k|7037 | 0.000000e+00 | -- | Inf
1410.88/1411.49 c 1343s| 4180k|358545 | 8185k| 220M| 35 | 5 | 40 | 504 | 69 | 40 | 16 | 19 | 48k|7039 | 0.000000e+00 | -- | Inf
1414.38/1414.99 c 1346s| 4190k|358974 | 8202k| 220M| 35 | 5 | 40 | 314 | 5 | 40 | 16 | 19 | 48k|7041 | 0.000000e+00 | -- | Inf
1417.98/1418.50 c 1350s| 4200k|359053 | 8220k| 220M| 35 | - | 40 | 100 | 5 | 40 | 16 | 19 | 48k|7069 | 0.000000e+00 | -- | Inf
1421.38/1421.95 c 1353s| 4210k|359161 | 8239k| 221M| 35 | - | 40 | 45 | 7 | 40 | 16 | 19 | 49k|7077 | 0.000000e+00 | -- | Inf
1424.77/1425.38 c 1356s| 4220k|359551 | 8258k| 221M| 35 | - | 40 | 60 | 7 | 0 | 0 | 19 | 49k|7082 | 0.000000e+00 | -- | Inf
1428.28/1428.81 c 1360s| 4230k|359861 | 8277k| 221M| 35 | 5 | 40 | 56 | 8 | 40 | 16 | 19 | 49k|7091 | 0.000000e+00 | -- | Inf
1431.58/1432.19 c 1363s| 4240k|360524 | 8296k| 222M| 35 | - | 40 | 50 | 5 | 40 | 16 | 19 | 49k|7100 | 0.000000e+00 | -- | Inf
1435.07/1435.63 c 1366s| 4250k|360758 | 8316k| 222M| 35 | 5 | 40 | 70 | 6 | 40 | 16 | 19 | 49k|7107 | 0.000000e+00 | -- | Inf
1438.48/1439.06 c 1369s| 4260k|361199 | 8336k| 222M| 35 | 5 | 40 | 49 | 5 | 40 | 16 | 19 | 49k|7109 | 0.000000e+00 | -- | Inf
1441.87/1442.47 c 1373s| 4270k|362146 | 8355k| 223M| 35 | - | 40 | 64 | 6 | 0 | 0 | 19 | 49k|7114 | 0.000000e+00 | -- | Inf
1445.37/1445.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.37/1445.96 c 1376s| 4280k|362377 | 8374k| 223M| 35 | - | 40 | 61 | 5 | 40 | 16 | 19 | 49k|7119 | 0.000000e+00 | -- | Inf
1448.77/1449.37 c 1379s| 4290k|362690 | 8392k| 223M| 35 | - | 40 | 60 | 5 | 0 | 0 | 19 | 49k|7125 | 0.000000e+00 | -- | Inf
1452.27/1452.81 c 1382s| 4300k|362945 | 8411k| 224M| 35 | - | 40 | 50 | 5 | 40 | 16 | 19 | 49k|7129 | 0.000000e+00 | -- | Inf
1455.57/1456.18 c 1386s| 4310k|363293 | 8429k| 224M| 36 | 5 | 40 | 79 | 24 | 40 | 16 | 19 | 49k|7135 | 0.000000e+00 | -- | Inf
1459.07/1459.64 c 1389s| 4320k|363706 | 8449k| 224M| 36 | 5 | 40 | 64 | 7 | 40 | 16 | 19 | 49k|7140 | 0.000000e+00 | -- | Inf
1462.67/1463.23 c 1392s| 4330k|364134 | 8470k| 225M| 36 | 5 | 40 | 79 | 5 | 40 | 16 | 19 | 50k|7145 | 0.000000e+00 | -- | Inf
1466.06/1466.66 c 1396s| 4340k|364344 | 8489k| 225M| 36 | 5 | 40 | 92 | 5 | 40 | 16 | 19 | 50k|7151 | 0.000000e+00 | -- | Inf
1469.46/1470.05 c 1399s| 4350k|364725 | 8507k| 225M| 36 | - | 40 | 64 | 5 | 40 | 16 | 19 | 50k|7161 | 0.000000e+00 | -- | Inf
1472.96/1473.54 c 1402s| 4360k|364743 | 8527k| 225M| 36 | 5 | 40 | 75 | 6 | 40 | 16 | 19 | 50k|7165 | 0.000000e+00 | -- | Inf
1476.36/1476.95 c 1406s| 4370k|365170 | 8546k| 226M| 36 | 5 | 40 | 104 | 5 | 40 | 16 | 19 | 50k|7171 | 0.000000e+00 | -- | Inf
1479.76/1480.37 c 1409s| 4380k|365416 | 8565k| 226M| 36 | - | 40 | 86 | 6 | 0 | 0 | 19 | 50k|7175 | 0.000000e+00 | -- | Inf
1483.26/1483.87 c 1412s| 4390k|365573 | 8584k| 226M| 36 | 5 | 40 | 69 | 7 | 40 | 16 | 19 | 50k|7182 | 0.000000e+00 | -- | Inf
1486.75/1487.35 c 1415s| 4400k|366086 | 8605k| 226M| 36 | 5 | 40 | 77 | 5 | 40 | 16 | 19 | 51k|7189 | 0.000000e+00 | -- | Inf
1490.25/1490.85 c 1419s| 4410k|366294 | 8624k| 227M| 36 | 5 | 40 | 61 | 5 | 40 | 16 | 19 | 51k|7198 | 0.000000e+00 | -- | Inf
1493.65/1494.29 c 1422s| 4420k|366566 | 8643k| 227M| 36 | 5 | 40 | 43 | 6 | 40 | 16 | 19 | 51k|7207 | 0.000000e+00 | -- | Inf
1496.96/1497.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.96/1497.60 c 1425s| 4430k|367140 | 8661k| 227M| 36 | 5 | 40 | 66 | 5 | 40 | 16 | 19 | 51k|7215 | 0.000000e+00 | -- | Inf
1500.45/1501.01 c 1428s| 4440k|367287 | 8680k| 228M| 36 | - | 40 | 63 | 7 | 40 | 16 | 19 | 51k|7220 | 0.000000e+00 | -- | Inf
1503.95/1504.51 c 1432s| 4450k|367608 | 8699k| 228M| 36 | 5 | 40 | 73 | 6 | 40 | 16 | 19 | 51k|7229 | 0.000000e+00 | -- | Inf
1507.45/1508.01 c 1435s| 4460k|367719 | 8719k| 228M| 36 | 5 | 40 | 49 | 8 | 40 | 16 | 19 | 51k|7237 | 0.000000e+00 | -- | Inf
1510.94/1511.57 c 1438s| 4470k|368518 | 8740k| 228M| 36 | - | 40 | 91 | 5 | 40 | 16 | 19 | 51k|7242 | 0.000000e+00 | -- | Inf
1514.44/1515.03 c 1442s| 4480k|369176 | 8760k| 229M| 36 | - | 40 | 99 | 4 | 0 | 0 | 19 | 51k|7255 | 0.000000e+00 | -- | Inf
1517.84/1518.46 c 1445s| 4490k|369659 | 8780k| 229M| 36 | - | 40 | 103 | 5 | 40 | 16 | 19 | 52k|7263 | 0.000000e+00 | -- | Inf
1521.34/1521.91 c 1448s| 4500k|369749 | 8799k| 229M| 36 | 5 | 40 | 49 | 5 | 40 | 16 | 19 | 52k|7270 | 0.000000e+00 | -- | Inf
1524.84/1525.40 c 1452s| 4510k|369935 | 8818k| 230M| 36 | - | 40 | 66 | 18 | 0 | 0 | 19 | 52k|7278 | 0.000000e+00 | -- | Inf
1528.14/1528.70 c 1455s| 4520k|370352 | 8836k| 230M| 36 | 5 | 40 | 67 | 5 | 40 | 16 | 19 | 52k|7283 | 0.000000e+00 | -- | Inf
1531.44/1532.01 c 1458s| 4530k|370876 | 8854k| 230M| 36 | 5 | 40 | 103 | 8 | 40 | 16 | 19 | 52k|7290 | 0.000000e+00 | -- | Inf
1534.83/1535.40 c 1461s| 4540k|371441 | 8873k| 231M| 36 | 5 | 40 | 107 | 8 | 40 | 16 | 19 | 52k|7297 | 0.000000e+00 | -- | Inf
1538.14/1538.74 c 1464s| 4550k|371739 | 8890k| 231M| 36 | 5 | 40 | 106 | 6 | 40 | 16 | 19 | 52k|7303 | 0.000000e+00 | -- | Inf
1541.53/1542.18 c 1468s| 4560k|371957 | 8909k| 231M| 36 | - | 40 | 51 | 5 | 0 | 0 | 19 | 52k|7307 | 0.000000e+00 | -- | Inf
1545.04/1545.60 c 1471s| 4570k|372491 | 8928k| 232M| 36 | 5 | 40 | 78 | 7 | 40 | 16 | 19 | 52k|7312 | 0.000000e+00 | -- | Inf
1548.53/1549.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.53/1549.10 c 1474s| 4580k|372731 | 8947k| 232M| 36 | - | 40 | 50 | 4 | 0 | 0 | 19 | 52k|7321 | 0.000000e+00 | -- | Inf
1551.93/1552.54 c 1477s| 4590k|373053 | 8967k| 232M| 36 | - | 40 | 58 | 12 | 0 | 0 | 19 | 52k|7325 | 0.000000e+00 | -- | Inf
1555.23/1555.84 c 1481s| 4600k|374394 | 8985k| 233M| 36 | - | 40 | 71 | 5 | 0 | 0 | 19 | 53k|7335 | 0.000000e+00 | -- | Inf
1558.43/1559.09 c 1484s| 4610k|374738 | 9003k| 233M| 36 | - | 40 | 73 | 5 | 0 | 0 | 19 | 53k|7339 | 0.000000e+00 | -- | Inf
1561.82/1562.44 c 1487s| 4620k|374852 | 9021k| 233M| 36 | - | 40 | 74 | 5 | 40 | 16 | 19 | 53k|7342 | 0.000000e+00 | -- | Inf
1565.33/1565.98 c 1490s| 4630k|375249 | 9041k| 234M| 36 | - | 40 | 85 | 12 | 40 | 16 | 19 | 53k|7351 | 0.000000e+00 | -- | Inf
1568.72/1569.39 c 1493s| 4640k|375655 | 9060k| 234M| 36 | 5 | 40 | 45 | 5 | 40 | 16 | 19 | 53k|7356 | 0.000000e+00 | -- | Inf
1572.02/1572.68 c 1497s| 4650k|376334 | 9078k| 234M| 36 | - | 40 | 77 | 5 | 40 | 16 | 19 | 53k|7361 | 0.000000e+00 | -- | Inf
1575.22/1575.87 c 1500s| 4660k|376969 | 9096k| 235M| 36 | - | 40 | 77 | 5 | 40 | 16 | 19 | 53k|7368 | 0.000000e+00 | -- | Inf
1578.62/1579.27 c 1503s| 4670k|377138 | 9114k| 235M| 36 | - | 40 | 91 | 7 | 40 | 16 | 19 | 53k|7372 | 0.000000e+00 | -- | Inf
1582.12/1582.73 c 1506s| 4680k|377692 | 9134k| 235M| 36 | 5 | 40 | 87 | 7 | 40 | 16 | 19 | 53k|7385 | 0.000000e+00 | -- | Inf
1585.42/1586.07 c 1509s| 4690k|377966 | 9151k| 236M| 36 | 5 | 40 | 98 | 5 | 40 | 16 | 19 | 53k|7389 | 0.000000e+00 | -- | Inf
1589.02/1589.61 c 1513s| 4700k|377943 | 9170k| 236M| 36 | - | 40 | 103 | 5 | 40 | 16 | 19 | 54k|7393 | 0.000000e+00 | -- | Inf
1592.32/1592.91 c 1516s| 4710k|378902 | 9188k| 236M| 36 | - | 40 | 163 | 5 | 0 | 0 | 19 | 54k|7402 | 0.000000e+00 | -- | Inf
1595.62/1596.29 c 1519s| 4720k|379081 | 9207k| 237M| 36 | 5 | 40 | 71 | 8 | 40 | 16 | 19 | 54k|7410 | 0.000000e+00 | -- | Inf
1599.12/1599.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.12/1599.71 c 1522s| 4730k|379446 | 9226k| 237M| 36 | - | 40 | 51 | 8 | 40 | 16 | 19 | 54k|7417 | 0.000000e+00 | -- | Inf
1602.61/1603.23 c 1526s| 4740k|379593 | 9245k| 237M| 36 | - | 40 | 51 | 5 | 40 | 16 | 19 | 54k|7423 | 0.000000e+00 | -- | Inf
1606.11/1606.73 c 1529s| 4750k|379803 | 9265k| 237M| 36 | 5 | 40 | 51 | 6 | 40 | 16 | 19 | 54k|7435 | 0.000000e+00 | -- | Inf
1609.52/1610.16 c 1532s| 4760k|380141 | 9284k| 238M| 36 | - | 40 | 69 | 5 | 40 | 16 | 19 | 54k|7437 | 0.000000e+00 | -- | Inf
1613.01/1613.66 c 1536s| 4770k|381123 | 9306k| 238M| 36 | 5 | 40 | 69 | 6 | 40 | 16 | 19 | 54k|7444 | 0.000000e+00 | -- | Inf
1616.61/1617.24 c 1539s| 4780k|381432 | 9327k| 239M| 36 | - | 40 | 101 | 5 | 40 | 16 | 19 | 54k|7454 | 0.000000e+00 | -- | Inf
1619.91/1620.51 c 1542s| 4790k|382024 | 9345k| 239M| 36 | 5 | 40 | 86 | 12 | 40 | 16 | 19 | 54k|7458 | 0.000000e+00 | -- | Inf
1623.21/1623.84 c 1545s| 4800k|382264 | 9363k| 239M| 36 | - | 40 | 76 | 5 | 40 | 16 | 19 | 54k|7464 | 0.000000e+00 | -- | Inf
1626.71/1627.35 c 1549s| 4810k|383009 | 9383k| 240M| 36 | - | 40 | 109 | 5 | 40 | 16 | 19 | 54k|7469 | 0.000000e+00 | -- | Inf
1630.20/1630.82 c 1552s| 4820k|383189 | 9402k| 240M| 36 | 5 | 40 | 116 | 5 | 40 | 16 | 19 | 55k|7474 | 0.000000e+00 | -- | Inf
1633.60/1634.25 c 1555s| 4830k|383646 | 9422k| 240M| 36 | - | 40 | 99 | 5 | 40 | 16 | 19 | 55k|7478 | 0.000000e+00 | -- | Inf
1636.81/1637.46 c 1558s| 4840k|385097 | 9440k| 241M| 36 | - | 40 | 106 | 6 | 40 | 16 | 19 | 55k|7485 | 0.000000e+00 | -- | Inf
1640.00/1640.66 c 1561s| 4850k|385730 | 9457k| 241M| 36 | 5 | 40 | 99 | 5 | 40 | 16 | 19 | 55k|7489 | 0.000000e+00 | -- | Inf
1643.30/1643.95 c 1564s| 4860k|385756 | 9474k| 242M| 36 | 5 | 40 | 105 | 6 | 40 | 16 | 19 | 55k|7496 | 0.000000e+00 | -- | Inf
1646.70/1647.40 c 1568s| 4870k|385983 | 9493k| 242M| 36 | - | 40 | 67 | 5 | 40 | 16 | 19 | 55k|7500 | 0.000000e+00 | -- | Inf
1650.20/1650.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.20/1650.80 c 1571s| 4880k|386324 | 9512k| 242M| 36 | 5 | 40 | 59 | 7 | 40 | 16 | 19 | 55k|7504 | 0.000000e+00 | -- | Inf
1653.59/1654.22 c 1574s| 4890k|386573 | 9531k| 242M| 36 | 5 | 40 | 54 | 5 | 40 | 16 | 19 | 55k|7515 | 0.000000e+00 | -- | Inf
1657.00/1657.69 c 1577s| 4900k|386958 | 9551k| 243M| 36 | 5 | 40 | 97 | 5 | 40 | 16 | 19 | 55k|7521 | 0.000000e+00 | -- | Inf
1660.50/1661.19 c 1581s| 4910k|387370 | 9571k| 243M| 36 | - | 40 | 199 | 5 | 40 | 16 | 19 | 56k|7525 | 0.000000e+00 | -- | Inf
1664.09/1664.73 c 1584s| 4920k|387425 | 9590k| 243M| 36 | - | 40 | 69 | 5 | 40 | 16 | 19 | 56k|7531 | 0.000000e+00 | -- | Inf
1667.59/1668.23 c 1588s| 4930k|387696 | 9609k| 243M| 36 | 5 | 40 | 68 | 5 | 40 | 16 | 19 | 56k|7541 | 0.000000e+00 | -- | Inf
1670.99/1671.68 c 1591s| 4940k|388196 | 9628k| 244M| 36 | - | 40 | 55 | 5 | 40 | 16 | 19 | 56k|7542 | 0.000000e+00 | -- | Inf
1674.59/1675.25 c 1594s| 4950k|388648 | 9650k| 244M| 36 | - | 40 | 68 | 5 | 0 | 0 | 19 | 56k|7549 | 0.000000e+00 | -- | Inf
1678.09/1678.71 c 1598s| 4960k|388889 | 9670k| 244M| 36 | 5 | 40 | 50 | 5 | 40 | 16 | 19 | 56k|7556 | 0.000000e+00 | -- | Inf
1681.49/1682.14 c 1601s| 4970k|388988 | 9689k| 244M| 36 | - | 40 | 46 | 5 | 40 | 16 | 19 | 56k|7558 | 0.000000e+00 | -- | Inf
1684.99/1685.66 c 1604s| 4980k|389185 | 9708k| 245M| 36 | 5 | 40 | 67 | 5 | 40 | 16 | 19 | 56k|7563 | 0.000000e+00 | -- | Inf
1688.39/1689.09 c 1607s| 4990k|389591 | 9727k| 245M| 36 | 5 | 40 | 90 | 5 | 40 | 16 | 19 | 56k|7573 | 0.000000e+00 | -- | Inf
1691.98/1692.66 c 1611s| 5000k|390029 | 9748k| 245M| 36 | - | 40 | 90 | 12 | 40 | 16 | 19 | 57k|7582 | 0.000000e+00 | -- | Inf
1695.48/1696.11 c 1614s| 5010k|390218 | 9767k| 246M| 36 | 5 | 40 | 115 | 8 | 40 | 16 | 19 | 57k|7588 | 0.000000e+00 | -- | Inf
1698.98/1699.62 c 1617s| 5020k|390470 | 9787k| 246M| 36 | - | 40 | 66 | 5 | 40 | 16 | 19 | 57k|7592 | 0.000000e+00 | -- | Inf
1702.48/1703.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.48/1703.10 c 1621s| 5030k|390743 | 9806k| 246M| 36 | - | 40 | 63 | 32 | 0 | 0 | 19 | 57k|7598 | 0.000000e+00 | -- | Inf
1705.87/1706.52 c 1624s| 5040k|391141 | 9825k| 246M| 36 | 5 | 40 | 98 | 5 | 40 | 16 | 19 | 57k|7606 | 0.000000e+00 | -- | Inf
1709.48/1710.12 c 1627s| 5050k|391365 | 9845k| 247M| 36 | 5 | 40 | 89 | 5 | 40 | 16 | 19 | 57k|7613 | 0.000000e+00 | -- | Inf
1712.87/1713.55 c 1631s| 5060k|391615 | 9865k| 247M| 36 | 5 | 40 | 72 | 5 | 40 | 16 | 19 | 57k|7622 | 0.000000e+00 | -- | Inf
1716.38/1717.02 c 1634s| 5070k|391844 | 9884k| 247M| 36 | 5 | 40 | 66 | 7 | 40 | 16 | 19 | 57k|7626 | 0.000000e+00 | -- | Inf
1719.77/1720.47 c 1637s| 5080k|392097 | 9903k| 247M| 36 | - | 40 | 91 | 12 | 40 | 16 | 19 | 58k|7636 | 0.000000e+00 | -- | Inf
1723.47/1724.12 c 1641s| 5090k|392700 | 9925k| 248M| 36 | 5 | 40 | 91 | 5 | 40 | 16 | 19 | 58k|7642 | 0.000000e+00 | -- | Inf
1726.97/1727.65 c 1644s| 5100k|392947 | 9944k| 248M| 36 | 5 | 40 | 168 | 5 | 40 | 16 | 19 | 58k|7653 | 0.000000e+00 | -- | Inf
1730.47/1731.17 c 1648s| 5110k|393546 | 9963k| 248M| 36 | 5 | 40 | 76 | 5 | 40 | 16 | 19 | 58k|7660 | 0.000000e+00 | -- | Inf
1734.07/1734.73 c 1651s| 5120k|394169 | 9985k| 249M| 36 | - | 40 | 92 | 6 | 40 | 16 | 19 | 58k|7672 | 0.000000e+00 | -- | Inf
1737.47/1738.12 c 1654s| 5130k|394499 | 10004k| 249M| 36 | 5 | 40 | 87 | 6 | 40 | 16 | 19 | 58k|7681 | 0.000000e+00 | -- | Inf
1740.87/1741.57 c 1657s| 5140k|395164 | 10022k| 250M| 36 | 5 | 40 | 167 | 11 | 40 | 16 | 19 | 58k|7686 | 0.000000e+00 | -- | Inf
1744.36/1745.10 c 1661s| 5150k|395351 | 10039k| 250M| 36 | - | 40 | 237 | 6 | 0 | 0 | 19 | 59k|7695 | 0.000000e+00 | -- | Inf
1747.76/1748.40 c 1664s| 5160k|396035 | 10057k| 250M| 36 | 5 | 40 | 264 | 5 | 40 | 16 | 19 | 59k|7699 | 0.000000e+00 | -- | Inf
1751.26/1751.99 c 1667s| 5170k|396030 | 10076k| 250M| 36 | 5 | 40 | 73 | 7 | 40 | 16 | 19 | 59k|7704 | 0.000000e+00 | -- | Inf
1754.56/1755.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.56/1755.28 c 1670s| 5180k|397029 | 10094k| 251M| 36 | 5 | 40 | 83 | 5 | 40 | 16 | 19 | 60k|7710 | 0.000000e+00 | -- | Inf
1757.86/1758.57 c 1674s| 5190k|398113 | 10112k| 251M| 36 | 5 | 40 | 116 | 5 | 40 | 16 | 19 | 60k|7715 | 0.000000e+00 | -- | Inf
1761.15/1761.89 c 1677s| 5200k|398838 | 10130k| 252M| 36 | 5 | 40 | 130 | 5 | 40 | 16 | 19 | 60k|7725 | 0.000000e+00 | -- | Inf
1764.75/1765.47 c 1680s| 5210k|399610 | 10151k| 252M| 36 | - | 40 | 126 | 8 | 0 | 0 | 19 | 60k|7729 | 0.000000e+00 | -- | Inf
1768.15/1768.88 c 1683s| 5220k|400175 | 10170k| 253M| 36 | - | 40 | 144 | 6 | 40 | 16 | 19 | 60k|7740 | 0.000000e+00 | -- | Inf
1771.65/1772.33 c 1687s| 5230k|400300 | 10188k| 253M| 36 | 5 | 40 | 115 | 7 | 40 | 16 | 19 | 60k|7745 | 0.000000e+00 | -- | Inf
1775.15/1775.87 c 1690s| 5240k|400608 | 10208k| 253M| 36 | 5 | 40 | 118 | 15 | 40 | 16 | 19 | 60k|7754 | 0.000000e+00 | -- | Inf
1778.55/1779.29 c 1693s| 5250k|402444 | 10229k| 254M| 36 | - | 40 | 78 | 6 | 0 | 0 | 19 | 60k|7763 | 0.000000e+00 | -- | Inf
1782.05/1782.72 c 1697s| 5260k|404486 | 10250k| 255M| 36 | 5 | 40 | 91 | 6 | 40 | 16 | 19 | 60k|7772 | 0.000000e+00 | -- | Inf
1785.54/1786.21 c 1700s| 5270k|406515 | 10271k| 256M| 36 | 5 | 40 | 99 | 5 | 40 | 16 | 19 | 60k|7777 | 0.000000e+00 | -- | Inf
1789.05/1789.71 c 1703s| 5280k|408099 | 10292k| 257M| 36 | 5 | 40 | 80 | 6 | 40 | 16 | 19 | 60k|7786 | 0.000000e+00 | -- | Inf
1792.45/1793.12 c 1706s| 5290k|409659 | 10312k| 258M| 36 | - | 40 | 80 | 4 | 0 | 0 | 19 | 61k|7789 | 0.000000e+00 | -- | Inf
1795.84/1796.53 c 1710s| 5300k|411507 | 10333k| 259M| 36 | - | 40 | 112 | 7 | 40 | 16 | 19 | 61k|7798 | 0.000000e+00 | -- | Inf
1799.34/1800.00 c 1713s| 5310k|413118 | 10354k| 260M| 36 | 5 | 40 | 101 | 6 | 40 | 16 | 19 | 61k|7803 | 0.000000e+00 | -- | Inf
1800.04/1800.70 c
1800.04/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1713.68
1800.04/1800.71 c Solving Nodes : 5312029
1800.04/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 c NODE 5312029
1800.04/1800.71 c DUAL BOUND 0
1800.04/1800.71 c PRIMAL BOUND 1e+20
1800.04/1800.71 c GAP 1e+20
1800.04/1800.71 s UNKNOWN
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1713.68
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-1869553-1245178313.opb
1800.04/1800.71 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 11 initial, 11 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-1869553-1245178313.opb
1800.04/1800.71 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 5 initial, 526 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.00 0 0 0 0 0 6 0 0
1800.04/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 0 - - 0 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 2873509 0 533 3091 0 0 5740148
1800.04/1800.71 c linear : 5 6 6290300 0 0 1086319 9161226 0 0 0
1800.04/1800.71 c logicor : 0+ 0 2167024 0 0 147 41971 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 29.04 0.00 0.00 29.04 0.00
1800.04/1800.71 c linear : 260.10 0.00 260.10 0.00 0.00
1800.04/1800.71 c logicor : 9.70 0.00 9.70 0.00 0.00
1800.04/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c rootredcost : 2.40 0 0 0
1800.04/1800.71 c pseudoobj : 1.57 0 0 0
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 54.15 1086466 54591 88101 30.2 0 0.0 -
1800.04/1800.71 c infeasible LP : 11.76 1370338 5691 6252 16.9 1 28.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.71 c applied globally : - - - 40903 26.7 - - -
1800.04/1800.71 c applied locally : - - - 20269 31.7 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 5 - - 23 - (maximal pool size: 96)
1800.04/1800.71 c redcost : 5.32 2873514 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.01 6 0 0 0 0
1800.04/1800.71 c strongcg : 0.00 6 0 0 31 0
1800.04/1800.71 c cmir : 0.02 6 0 0 38 0
1800.04/1800.71 c flowcover : 0.01 6 0 0 47 0
1800.04/1800.71 c clique : 0.00 1 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 1 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 26.47 2873509 533 3091 0 0 5740148
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 0.00 - 0
1800.04/1800.71 c oneopt : 2.47 0 0
1800.04/1800.71 c crossover : 1.45 0 0
1800.04/1800.71 c guideddiving : 0.32 0 0
1800.04/1800.71 c intshifting : 0.15 0 0
1800.04/1800.71 c veclendiving : 0.24 58 0
1800.04/1800.71 c fracdiving : 0.35 58 0
1800.04/1800.71 c linesearchdiving : 0.22 59 0
1800.04/1800.71 c coefdiving : 0.26 59 0
1800.04/1800.71 c pscostdiving : 0.33 59 0
1800.04/1800.71 c objpscostdiving : 0.32 30 0
1800.04/1800.71 c feaspump : 0.27 30 0
1800.04/1800.71 c rootsoldiving : 0.34 30 0
1800.04/1800.71 c simplerounding : 1.49 0 0
1800.04/1800.71 c rounding : 2.21 23994 0
1800.04/1800.71 c shifting : 4.36 7904 0
1800.04/1800.71 c fixandinfer : 0.00 0 0
1800.04/1800.71 c intdiving : 0.00 0 0
1800.04/1800.71 c actconsdiving : 0.00 0 0
1800.04/1800.71 c octane : 0.00 0 0
1800.04/1800.71 c rens : 0.03 1 0
1800.04/1800.71 c rins : 0.00 0 0
1800.04/1800.71 c localbranching : 0.00 0 0
1800.04/1800.71 c mutation : 0.00 0 0
1800.04/1800.71 c dins : 0.00 0 0
1800.04/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.71 c dual LP : 1060.47 4246751 10356827 2.44 9766.26
1800.04/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.71 c diving/probing LP: 0.24 918 1527 1.66 6362.50
1800.04/1800.71 c strong branching : 1.61 7806 28794 3.69 17884.47
1800.04/1800.71 c (at root node) : - 15 504 33.60 -
1800.04/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.71 c B&B Tree :
1800.04/1800.71 c number of runs : 1
1800.04/1800.71 c nodes : 5312029
1800.04/1800.71 c nodes (total) : 5312029
1800.04/1800.71 c nodes left : 413310
1800.04/1800.71 c max depth : 36
1800.04/1800.71 c max depth (total): 36
1800.04/1800.71 c backtracks : 1186953 (22.3%)
1800.04/1800.71 c delayed cutoffs : 14810
1800.04/1800.71 c repropagations : 56273 (123271 domain reductions, 14713 cutoffs)
1800.04/1800.71 c avg switch length: 4.91
1800.04/1800.71 c switching time : 142.45
1800.04/1800.71 c Solution :
1800.04/1800.71 c Solutions found : 0 (0 improvements)
1800.04/1800.71 c Primal Bound : -
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 c Root Dual Bound : +0.00000000000000e+00
1802.04/1802.70 c Time complete: 1802.04.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869553-1245178313/watcher-1869553-1245178313 -o /tmp/evaluation-result-1869553-1245178313/solver-1869553-1245178313 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869553-1245178313.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3137
/proc/meminfo: memFree=1839992/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=5812 CPUtime=0
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 185427750 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3137/statm: 1453 502 332 1256 0 192 0
[startup+0.0155911 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3137
/proc/meminfo: memFree=1839992/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=12924 CPUtime=0
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 2343 0 0 0 0 0 0 0 18 0 1 0 185427750 13234176 1973 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 3231 1980 463 1256 0 1970 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12924
[startup+0.101607 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3137
/proc/meminfo: memFree=1839992/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=22800 CPUtime=0.09
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 4617 0 0 0 7 2 0 0 18 0 1 0 185427750 23347200 4247 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 5700 4247 675 1256 0 4439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22800
[startup+0.301644 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3137
/proc/meminfo: memFree=1839992/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=15536 CPUtime=0.29
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 4708 0 0 0 27 2 0 0 19 0 1 0 185427750 15908864 2569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 3884 2569 693 1256 0 2623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15536
[startup+0.701718 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3137
/proc/meminfo: memFree=1839992/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=15724 CPUtime=0.69
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 4755 0 0 0 65 4 0 0 22 0 1 0 185427750 16101376 2616 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 3931 2616 693 1256 0 2670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15724
[startup+1.50187 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3138
/proc/meminfo: memFree=1832112/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=15976 CPUtime=1.49
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 4845 0 0 0 142 7 0 0 25 0 1 0 185427750 16359424 2706 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 3994 2706 693 1256 0 2733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15976
[startup+3.10117 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3138
/proc/meminfo: memFree=1831600/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=17756 CPUtime=3.09
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 5076 0 0 0 295 14 0 0 25 0 1 0 185427750 18182144 2937 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 4439 2937 693 1256 0 3178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17756
[startup+6.30177 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 3138
/proc/meminfo: memFree=1829936/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=19152 CPUtime=6.29
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 5413 0 0 0 601 28 0 0 25 0 1 0 185427750 19611648 3274 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 4788 3274 693 1256 0 3527 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19152
[startup+12.702 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 3138
/proc/meminfo: memFree=1827568/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=21160 CPUtime=12.68
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 5868 0 0 0 1212 56 0 0 25 0 1 0 185427750 21667840 3729 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 5290 3729 693 1256 0 4029 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21160
[startup+25.5014 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 3138
/proc/meminfo: memFree=1824688/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=24064 CPUtime=25.48
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 6606 0 0 0 2435 113 0 0 25 0 1 0 185427750 24641536 4467 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 6016 4467 693 1256 0 4755 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24064
[startup+51.1011 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1818472/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=29880 CPUtime=51.08
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 8157 0 0 0 4877 231 0 0 25 0 1 0 185427750 30597120 6018 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 7470 6018 693 1256 0 6209 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29880
[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1806576/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=41700 CPUtime=102.26
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 11203 0 0 0 9753 473 0 0 25 0 1 0 185427750 42700800 9064 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 10425 9064 693 1256 0 9164 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41700
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1793008/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=56884 CPUtime=162.24
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 14526 0 0 0 15463 761 0 0 25 0 1 0 185427750 58249216 12387 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 14221 12387 693 1256 0 12960 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 56884
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1781552/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=67592 CPUtime=222.22
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 17340 0 0 0 21167 1055 0 0 25 0 1 0 185427750 69214208 15201 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 16898 15201 693 1256 0 15637 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 67592
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1770608/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=78864 CPUtime=282.19
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 20092 0 0 0 26871 1348 0 0 25 0 1 0 185427750 80756736 17953 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 19716 17953 693 1256 0 18455 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 78864
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1758704/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=90400 CPUtime=342.18
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 23034 0 0 0 32574 1644 0 0 25 0 1 0 185427750 92569600 20895 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 22600 20895 693 1256 0 21339 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 90400
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1748976/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=100364 CPUtime=402.15
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 25513 0 0 0 38275 1940 0 0 25 0 1 0 185427750 102772736 23374 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 25091 23374 693 1256 0 23830 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 100364
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1738352/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=111304 CPUtime=462.13
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 28068 0 0 0 43982 2231 0 0 25 0 1 0 185427750 113975296 25929 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 27826 25929 693 1256 0 26565 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 111304
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3140
/proc/meminfo: memFree=1731312/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=117984 CPUtime=522.11
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 29803 0 0 0 49690 2521 0 0 25 0 1 0 185427750 120815616 27662 1992294400 4194304 9342243 548682068736 18446744073709551615 6952963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 29496 27662 693 1256 0 28235 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 117984
[startup+582.302 s]
/proc/loadavg: 1.20 1.06 1.02 2/65 3146
/proc/meminfo: memFree=1722096/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=126796 CPUtime=582.08
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 32032 0 0 0 55389 2819 0 0 25 0 1 0 185427750 129839104 29890 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 31699 29890 693 1256 0 30438 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 126796
[startup+642.302 s]
/proc/loadavg: 1.07 1.05 1.01 2/65 3146
/proc/meminfo: memFree=1711984/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=140452 CPUtime=642.06
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 34552 0 0 0 61098 3108 0 0 25 0 1 0 185427750 143822848 32409 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 35113 32409 693 1256 0 33852 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 140452
[startup+702.302 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.05 1.08 1.03 2/65 3146
/proc/meminfo: memFree=1648176/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=203568 CPUtime=1061.91
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 50498 0 0 0 101067 5124 0 0 25 0 1 0 185427750 208453632 48354 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 50892 48354 693 1256 0 49631 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 203568
[startup+1122.3 s]
/proc/loadavg: 1.02 1.07 1.02 2/65 3146
/proc/meminfo: memFree=1641072/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=210596 CPUtime=1121.89
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 52172 0 0 0 106785 5404 0 0 25 0 1 0 185427750 215650304 50028 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 52649 50028 693 1256 0 51388 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 210596
[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/65 3146
/proc/meminfo: memFree=1634096/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=217904 CPUtime=1181.86
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 53981 0 0 0 112488 5698 0 0 25 0 1 0 185427750 223133696 51837 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 54476 51837 693 1256 0 53215 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 217904
[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/65 3146
/proc/meminfo: memFree=1626608/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=225592 CPUtime=1241.84
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 55818 0 0 0 118202 5982 0 0 25 0 1 0 185427750 231006208 53674 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 56398 53674 693 1256 0 55137 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 225592
[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 3146
/proc/meminfo: memFree=1619504/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=232240 CPUtime=1301.83
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 57499 0 0 0 123915 6268 0 0 25 0 1 0 185427750 237813760 55355 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 58060 55355 693 1256 0 56799 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 232240
[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3146
/proc/meminfo: memFree=1613104/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=238676 CPUtime=1361.8
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 59074 0 0 0 129634 6546 0 0 25 0 1 0 185427750 244404224 56930 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 59669 56930 693 1256 0 58408 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 238676
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3146
/proc/meminfo: memFree=1605360/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=246248 CPUtime=1421.79
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 60990 0 0 0 135346 6833 0 0 25 0 1 0 185427750 252157952 58846 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 61562 58846 693 1256 0 60301 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 246248
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3146
/proc/meminfo: memFree=1600752/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=251260 CPUtime=1481.76
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 62219 0 0 0 141060 7116 0 0 25 0 1 0 185427750 257290240 60075 1992294400 4194304 9342243 548682068736 18446744073709551615 6064740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 62815 60075 693 1256 0 61554 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 251260
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3146
/proc/meminfo: memFree=1595120/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=257356 CPUtime=1541.73
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 63522 0 0 0 146766 7407 0 0 25 0 1 0 185427750 263532544 61377 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 64339 61377 693 1256 0 63078 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 257356
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3146
/proc/meminfo: memFree=1589488/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=262816 CPUtime=1601.71
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 64929 0 0 0 152478 7693 0 0 25 0 1 0 185427750 269123584 62784 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 65704 62784 693 1256 0 64443 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 262816
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3146
/proc/meminfo: memFree=1583664/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=268812 CPUtime=1661.69
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 66367 0 0 0 158187 7982 0 0 25 0 1 0 185427750 275263488 64222 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 67203 64222 693 1256 0 65942 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 268812
[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 3146
/proc/meminfo: memFree=1578992/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=272932 CPUtime=1721.67
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 67618 0 0 0 163906 8261 0 0 25 0 1 0 185427750 279482368 65473 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 68233 65473 693 1256 0 66972 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 272932
[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3146
/proc/meminfo: memFree=1570096/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=281420 CPUtime=1781.65
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 69719 0 0 0 169615 8550 0 0 25 0 1 0 185427750 288174080 67574 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 70355 67574 693 1256 0 69094 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 281420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3146
/proc/meminfo: memFree=1565808/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=285696 CPUtime=1800.04
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 70785 0 0 0 171368 8636 0 0 25 0 1 0 185427750 292552704 68640 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3137/statm: 71424 68640 693 1256 0 70163 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 285696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3146
/proc/meminfo: memFree=1565808/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=285696 CPUtime=1800.73
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 70786 0 0 0 171437 8636 0 0 25 0 1 0 185427750 292552704 68641 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 0 0 0
/proc/3137/statm: 71424 68641 694 1256 0 70163 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 285696
[startup+1802.2 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 3147
/proc/meminfo: memFree=1565800/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=285696 CPUtime=1801.53
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 70786 0 0 0 171517 8636 0 0 25 0 1 0 185427750 292552704 68641 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/3137/statm: 71424 68641 694 1256 0 70163 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 285696
[startup+1802.6 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 3147
/proc/meminfo: memFree=1565800/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=285696 CPUtime=1801.93
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 70786 0 0 0 171557 8636 0 0 25 0 1 0 185427750 292552704 68641 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/3137/statm: 71424 68641 694 1256 0 70163 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 285696
[startup+1802.7 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 3147
/proc/meminfo: memFree=1565800/2055920 swapFree=4182544/4192956
[pid=3137] ppid=3135 vsize=14320 CPUtime=1802.04
/proc/3137/stat : 3137 (pbscip.linux.x8) R 3135 3137 2803 0 -1 4194304 70786 0 0 0 171563 8641 0 0 25 0 1 0 185427750 14663680 2865 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/3137/statm: 3580 2865 1311 1256 0 2319 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 14320
Child status: 0
Real time (s): 1802.7
CPU time (s): 1802.05
CPU user time (s): 1715.63
CPU system time (s): 86.4169
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 285696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.63
system time used= 86.4169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70789
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= 2
involuntary context switches= 2391
runsolver used 1.67474 second user time and 4.14537 second system time
The end
Begin job on node47 at 2009-06-16 20:51:53
IDJOB=1869553
IDBENCH=2931
IDSOLVER=684
FILE ID=node47/1869553-1245178313
PBS_JOBID= 9363882
Free space on /tmp= 65952 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869553-1245178313/watcher-1869553-1245178313 -o /tmp/evaluation-result-1869553-1245178313/solver-1869553-1245178313 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869553-1245178313.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479
RANDOM SEED=1337307452
node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1840472 kB
Buffers: 43088 kB
Cached: 105580 kB
SwapCached: 4196 kB
Active: 44344 kB
Inactive: 112184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840472 kB
SwapTotal: 4192956 kB
SwapFree: 4182544 kB
Dirty: 11728 kB
Writeback: 0 kB
Mapped: 13676 kB
Slab: 44864 kB
Committed_AS: 179128 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65940 MiB
End job on node47 at 2009-06-16 21:21:56