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-1869497-1245174848.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 | 24 | 213k| 0 | 5 | 40 | 5 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 71 | 231k| 0 | 8 | 40 | 5 | 5 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 77 | 256k| 0 | 12 | 40 | 5 | 5 | 40 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 90 | 280k| 0 | 9 | 40 | 5 | 5 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 97 | 311k| 0 | 12 | 40 | 5 | 5 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.05 c 0.0s| 1 | 0 | 105 | 340k| 0 | 12 | 40 | 5 | 5 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.06 c 0.1s| 1 | 0 | 109 | 354k| 0 | 13 | 40 | 5 | 5 | 40 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 2 | 109 | 354k| 0 | 13 | 40 | 5 | 5 | 40 | 26 | 21 | 0 | 13 | 0.000000e+00 | -- | Inf
3.59/3.65 c 3.5s| 10000 | 3284 | 21925 |1864k| 35 | 5 | 40 | 121 | 6 | 40 | 13 | 21 | 177 | 466 | 0.000000e+00 | -- | Inf
6.99/7.07 c 6.7s| 20000 | 6084 | 42723 |3160k| 35 | 5 | 40 | 207 | 36 | 40 | 13 | 21 | 323 | 618 | 0.000000e+00 | -- | Inf
10.49/10.53 c 10.0s| 30000 | 8582 | 63906 |4372k| 35 | 5 | 40 | 299 | 5 | 40 | 13 | 21 | 488 | 750 | 0.000000e+00 | -- | Inf
13.99/14.02 c 13.3s| 40000 | 10915 | 84575 |5508k| 35 | 5 | 40 | 369 | 127 | 40 | 13 | 21 | 657 | 859 | 0.000000e+00 | -- | Inf
17.49/17.55 c 16.6s| 50000 | 13141 |105853 |6573k| 35 | 5 | 40 | 373 | 122 | 40 | 13 | 21 | 830 | 938 | 0.000000e+00 | -- | Inf
20.99/21.06 c 20.0s| 60000 | 15131 |126956 |7554k| 36 | 5 | 40 | 378 | 7 | 40 | 13 | 21 | 991 |1005 | 0.000000e+00 | -- | Inf
24.49/24.57 c 23.3s| 70000 | 17120 |148439 |8551k| 36 | 5 | 40 | 383 | 5 | 40 | 13 | 21 |1123 |1074 | 0.000000e+00 | -- | Inf
27.98/28.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.98/28.09 c 26.6s| 80000 | 18864 |169581 |9440k| 36 | 5 | 40 | 387 | 9 | 40 | 13 | 21 |1271 |1151 | 0.000000e+00 | -- | Inf
31.58/31.63 c 30.0s| 90000 | 20671 |190443 | 10M| 36 | - | 40 | 408 | 6 | 0 | 0 | 21 |1489 |1203 | 0.000000e+00 | -- | Inf
35.08/35.17 c 33.4s|100000 | 22406 |211081 | 11M| 36 | 5 | 40 | 432 | 6 | 40 | 13 | 21 |1672 |1267 | 0.000000e+00 | -- | Inf
38.58/38.68 c 36.7s|110000 | 24412 |232067 | 12M| 36 | - | 40 | 441 | 20 | 0 | 0 | 21 |1842 |1326 | 0.000000e+00 | -- | Inf
42.17/42.23 c 40.1s|120000 | 25901 |253320 | 13M| 36 | 5 | 40 | 422 | 22 | 40 | 13 | 21 |2024 |1360 | 0.000000e+00 | -- | Inf
45.68/45.80 c 43.5s|130000 | 27643 |275023 | 13M| 36 | - | 40 | 407 | 44 | 40 | 13 | 21 |2189 |1406 | 0.000000e+00 | -- | Inf
49.27/49.34 c 46.8s|140000 | 29408 |297218 | 14M| 36 | 5 | 40 | 362 | 43 | 40 | 13 | 21 |2351 |1452 | 0.000000e+00 | -- | Inf
52.78/52.87 c 50.2s|150000 | 31250 |319436 | 15M| 36 | 5 | 40 | 439 | 17 | 40 | 13 | 21 |2504 |1495 | 0.000000e+00 | -- | Inf
56.37/56.40 c 53.5s|160000 | 32972 |340449 | 16M| 36 | - | 40 | 429 | 6 | 40 | 13 | 21 |2681 |1539 | 0.000000e+00 | -- | Inf
59.87/59.96 c 56.9s|170000 | 34655 |361599 | 17M| 36 | 5 | 40 | 386 | 23 | 40 | 13 | 21 |2869 |1588 | 0.000000e+00 | -- | Inf
63.37/63.47 c 60.3s|180000 | 36265 |382960 | 18M| 36 | 5 | 40 | 332 | 8 | 40 | 13 | 21 |3049 |1631 | 0.000000e+00 | -- | Inf
66.87/67.00 c 63.6s|190000 | 37701 |404483 | 19M| 36 | 5 | 40 | 268 | 9 | 40 | 13 | 21 |3241 |1672 | 0.000000e+00 | -- | Inf
70.37/70.46 c 66.9s|200000 | 39201 |425469 | 19M| 36 | 5 | 40 | 279 | 5 | 40 | 13 | 21 |3409 |1708 | 0.000000e+00 | -- | Inf
73.97/74.01 c 70.2s|210000 | 40406 |446517 | 20M| 36 | - | 40 | 274 | 5 | 0 | 0 | 21 |3609 |1754 | 0.000000e+00 | -- | Inf
77.46/77.53 c 73.6s|220000 | 42268 |469081 | 21M| 36 | 5 | 40 | 315 | 5 | 40 | 13 | 21 |3781 |1780 | 0.000000e+00 | -- | Inf
81.06/81.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.06/81.14 c 77.0s|230000 | 43612 |491720 | 22M| 36 | - | 40 | 271 | 5 | 40 | 13 | 21 |3953 |1792 | 0.000000e+00 | -- | Inf
84.46/84.57 c 80.3s|240000 | 45104 |512217 | 23M| 36 | 5 | 40 | 225 | 7 | 40 | 13 | 21 |4127 |1810 | 0.000000e+00 | -- | Inf
87.96/88.05 c 83.6s|250000 | 46431 |533270 | 23M| 36 | - | 40 | 225 | 10 | 40 | 13 | 21 |4336 |1834 | 0.000000e+00 | -- | Inf
91.46/91.54 c 86.9s|260000 | 47683 |554097 | 24M| 36 | - | 40 | 215 | 66 | 0 | 0 | 21 |4554 |1858 | 0.000000e+00 | -- | Inf
94.95/95.01 c 90.2s|270000 | 49188 |574338 | 25M| 36 | 5 | 40 | 225 | 14 | 40 | 13 | 21 |4770 |1883 | 0.000000e+00 | -- | Inf
98.45/98.57 c 93.6s|280000 | 50393 |595503 | 26M| 36 | 5 | 40 | 192 | 14 | 40 | 13 | 21 |5010 |1910 | 0.000000e+00 | -- | Inf
102.06/102.12 c 97.0s|290000 | 51898 |617688 | 26M| 36 | 5 | 40 | 233 | 5 | 40 | 13 | 21 |5228 |1934 | 0.000000e+00 | -- | Inf
105.46/105.58 c 100s|300000 | 53945 |639118 | 27M| 36 | - | 40 | 266 | 5 | 0 | 0 | 21 |5387 |1953 | 0.000000e+00 | -- | Inf
108.95/109.08 c 104s|310000 | 55519 |660520 | 28M| 36 | - | 40 | 302 | 5 | 0 | 0 | 21 |5624 |1978 | 0.000000e+00 | -- | Inf
112.55/112.63 c 107s|320000 | 56705 |681712 | 29M| 36 | - | 40 | 223 | 7 | 40 | 13 | 21 |5811 |2003 | 0.000000e+00 | -- | Inf
116.05/116.16 c 110s|330000 | 57949 |702952 | 30M| 36 | - | 40 | 171 | 6 | 0 | 0 | 21 |6021 |2023 | 0.000000e+00 | -- | Inf
119.55/119.61 c 114s|340000 | 59712 |723263 | 30M| 36 | 5 | 40 | 229 | 7 | 40 | 13 | 21 |6290 |2037 | 0.000000e+00 | -- | Inf
122.94/123.08 c 117s|350000 | 60972 |744018 | 31M| 36 | 5 | 40 | 162 | 5 | 40 | 13 | 21 |6463 |2055 | 0.000000e+00 | -- | Inf
126.45/126.59 c 120s|360000 | 62091 |765770 | 32M| 36 | - | 40 | 111 | 13 | 0 | 0 | 21 |6652 |2077 | 0.000000e+00 | -- | Inf
129.94/130.09 c 124s|370000 | 63335 |787416 | 33M| 36 | - | 40 | 146 | 5 | 40 | 13 | 21 |6886 |2102 | 0.000000e+00 | -- | Inf
133.55/133.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.55/133.60 c 127s|380000 | 64748 |808746 | 33M| 36 | - | 40 | 146 | 5 | 40 | 13 | 21 |7124 |2118 | 0.000000e+00 | -- | Inf
137.05/137.12 c 130s|390000 | 65980 |829826 | 34M| 36 | 5 | 40 | 90 | 5 | 40 | 13 | 21 |7353 |2131 | 0.000000e+00 | -- | Inf
140.55/140.61 c 134s|400000 | 67146 |850722 | 35M| 36 | 5 | 40 | 108 | 5 | 40 | 13 | 21 |7546 |2147 | 0.000000e+00 | -- | Inf
144.05/144.10 c 137s|410000 | 68439 |872394 | 35M| 36 | 5 | 40 | 138 | 19 | 40 | 13 | 21 |7739 |2164 | 0.000000e+00 | -- | Inf
147.44/147.55 c 140s|420000 | 69902 |893738 | 36M| 36 | - | 40 | 146 | 5 | 40 | 13 | 21 |7901 |2171 | 0.000000e+00 | -- | Inf
150.94/151.04 c 144s|430000 | 71212 |915088 | 37M| 36 | - | 40 | 130 | 5 | 40 | 13 | 21 |8095 |2183 | 0.000000e+00 | -- | Inf
154.34/154.47 c 147s|440000 | 72845 |935668 | 38M| 36 | - | 40 | 148 | 6 | 40 | 13 | 21 |8304 |2195 | 0.000000e+00 | -- | Inf
157.94/158.07 c 150s|450000 | 75160 |959481 | 39M| 36 | 5 | 40 | 193 | 22 | 40 | 13 | 21 |8435 |2210 | 0.000000e+00 | -- | Inf
161.64/161.74 c 154s|460000 | 76521 |983550 | 40M| 36 | 5 | 40 | 200 | 7 | 40 | 13 | 21 |8588 |2228 | 0.000000e+00 | -- | Inf
165.14/165.26 c 157s|470000 | 77733 | 1005k| 40M| 36 | - | 40 | 114 | 7 | 40 | 13 | 21 |8763 |2240 | 0.000000e+00 | -- | Inf
168.53/168.63 c 160s|480000 | 79110 | 1025k| 41M| 36 | - | 40 | 135 | 5 | 40 | 13 | 21 |8995 |2249 | 0.000000e+00 | -- | Inf
172.03/172.16 c 164s|490000 | 80707 | 1047k| 42M| 36 | - | 40 | 168 | 18 | 40 | 13 | 21 |9169 |2265 | 0.000000e+00 | -- | Inf
175.63/175.74 c 167s|500000 | 81894 | 1069k| 43M| 36 | - | 40 | 148 | 5 | 40 | 13 | 21 |9357 |2277 | 0.000000e+00 | -- | Inf
179.13/179.28 c 170s|510000 | 83015 | 1090k| 43M| 36 | - | 40 | 106 | 5 | 40 | 13 | 21 |9580 |2292 | 0.000000e+00 | -- | Inf
182.63/182.77 c 174s|520000 | 84139 | 1111k| 44M| 36 | 5 | 40 | 159 | 5 | 40 | 13 | 21 |9799 |2314 | 0.000000e+00 | -- | Inf
186.02/186.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.02/186.19 c 177s|530000 | 85338 | 1131k| 45M| 36 | - | 40 | 135 | 5 | 40 | 13 | 21 | 10k|2326 | 0.000000e+00 | -- | Inf
189.52/189.69 c 180s|540000 | 86348 | 1153k| 45M| 36 | - | 40 | 126 | 4 | 0 | 0 | 21 | 10k|2334 | 0.000000e+00 | -- | Inf
192.93/193.08 c 183s|550000 | 88256 | 1173k| 46M| 36 | 5 | 40 | 117 | 10 | 40 | 13 | 21 | 10k|2346 | 0.000000e+00 | -- | Inf
196.33/196.49 c 187s|560000 | 89798 | 1193k| 47M| 36 | 5 | 40 | 129 | 14 | 40 | 13 | 21 | 10k|2360 | 0.000000e+00 | -- | Inf
199.82/199.95 c 190s|570000 | 91219 | 1214k| 48M| 36 | 5 | 40 | 137 | 6 | 40 | 13 | 21 | 10k|2382 | 0.000000e+00 | -- | Inf
203.23/203.34 c 193s|580000 | 92462 | 1233k| 49M| 36 | 5 | 40 | 141 | 5 | 40 | 13 | 21 | 10k|2407 | 0.000000e+00 | -- | Inf
206.63/206.79 c 196s|590000 | 93568 | 1254k| 49M| 36 | - | 40 | 140 | 12 | 40 | 13 | 21 | 10k|2426 | 0.000000e+00 | -- | Inf
210.13/210.27 c 200s|600000 | 94591 | 1275k| 50M| 36 | 5 | 40 | 105 | 5 | 40 | 13 | 21 | 11k|2440 | 0.000000e+00 | -- | Inf
213.62/213.77 c 203s|610000 | 95784 | 1296k| 50M| 36 | 5 | 40 | 109 | 6 | 40 | 13 | 21 | 11k|2456 | 0.000000e+00 | -- | Inf
217.22/217.30 c 206s|620000 | 96917 | 1317k| 51M| 36 | 5 | 40 | 124 | 7 | 40 | 13 | 21 | 11k|2466 | 0.000000e+00 | -- | Inf
220.82/220.92 c 210s|630000 | 98313 | 1341k| 52M| 36 | 5 | 40 | 157 | 7 | 40 | 13 | 21 | 11k|2476 | 0.000000e+00 | -- | Inf
224.22/224.36 c 213s|640000 | 99849 | 1363k| 53M| 36 | 5 | 40 | 169 | 5 | 40 | 13 | 21 | 11k|2495 | 0.000000e+00 | -- | Inf
227.72/227.83 c 216s|650000 |100850 | 1383k| 53M| 36 | 5 | 40 | 85 | 8 | 40 | 13 | 21 | 11k|2510 | 0.000000e+00 | -- | Inf
231.21/231.32 c 220s|660000 |102027 | 1403k| 54M| 36 | 5 | 40 | 120 | 5 | 40 | 13 | 21 | 11k|2518 | 0.000000e+00 | -- | Inf
234.61/234.79 c 223s|670000 |103269 | 1423k| 55M| 36 | 5 | 40 | 147 | 5 | 40 | 13 | 21 | 12k|2531 | 0.000000e+00 | -- | Inf
238.12/238.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.12/238.26 c 226s|680000 |104393 | 1443k| 55M| 36 | 5 | 40 | 159 | 5 | 40 | 13 | 21 | 12k|2536 | 0.000000e+00 | -- | Inf
241.61/241.74 c 230s|690000 |105204 | 1463k| 56M| 36 | 5 | 40 | 100 | 6 | 40 | 13 | 21 | 12k|2551 | 0.000000e+00 | -- | Inf
245.11/245.25 c 233s|700000 |106389 | 1485k| 57M| 36 | 5 | 40 | 126 | 5 | 40 | 13 | 21 | 12k|2565 | 0.000000e+00 | -- | Inf
248.61/248.73 c 236s|710000 |107506 | 1506k| 57M| 36 | 5 | 40 | 125 | 5 | 40 | 13 | 21 | 12k|2589 | 0.000000e+00 | -- | Inf
252.01/252.11 c 240s|720000 |108697 | 1525k| 58M| 36 | - | 40 | 147 | 5 | 40 | 13 | 21 | 13k|2607 | 0.000000e+00 | -- | Inf
255.41/255.59 c 243s|730000 |109877 | 1545k| 59M| 36 | - | 40 | 150 | 7 | 40 | 13 | 21 | 13k|2627 | 0.000000e+00 | -- | Inf
259.00/259.11 c 246s|740000 |111088 | 1566k| 59M| 36 | 5 | 40 | 104 | 5 | 40 | 13 | 21 | 13k|2642 | 0.000000e+00 | -- | Inf
262.41/262.59 c 250s|750000 |112146 | 1587k| 60M| 36 | - | 40 | 114 | 6 | 0 | 0 | 21 | 13k|2654 | 0.000000e+00 | -- | Inf
265.91/266.10 c 253s|760000 |112925 | 1608k| 60M| 36 | 5 | 40 | 116 | 9 | 40 | 13 | 21 | 13k|2669 | 0.000000e+00 | -- | Inf
269.41/269.53 c 256s|770000 |114155 | 1628k| 61M| 36 | 5 | 40 | 144 | 5 | 40 | 13 | 21 | 13k|2678 | 0.000000e+00 | -- | Inf
272.90/273.05 c 259s|780000 |116829 | 1651k| 62M| 36 | 5 | 40 | 193 | 5 | 40 | 13 | 21 | 14k|2688 | 0.000000e+00 | -- | Inf
276.41/276.55 c 263s|790000 |118978 | 1673k| 63M| 36 | - | 40 | 190 | 5 | 40 | 13 | 21 | 14k|2698 | 0.000000e+00 | -- | Inf
280.00/280.11 c 266s|800000 |120920 | 1696k| 64M| 36 | 5 | 40 | 201 | 6 | 40 | 13 | 21 | 14k|2708 | 0.000000e+00 | -- | Inf
283.50/283.66 c 270s|810000 |122832 | 1718k| 65M| 36 | - | 40 | 189 | 5 | 0 | 0 | 21 | 14k|2718 | 0.000000e+00 | -- | Inf
287.10/287.22 c 273s|820000 |124489 | 1741k| 66M| 36 | 5 | 40 | 199 | 5 | 40 | 13 | 21 | 14k|2737 | 0.000000e+00 | -- | Inf
290.60/290.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.60/290.78 c 276s|830000 |126173 | 1764k| 67M| 36 | - | 40 | 218 | 5 | 40 | 13 | 21 | 14k|2744 | 0.000000e+00 | -- | Inf
294.20/294.37 c 280s|840000 |127763 | 1787k| 68M| 36 | - | 40 | 199 | 5 | 40 | 13 | 21 | 14k|2756 | 0.000000e+00 | -- | Inf
297.80/297.95 c 283s|850000 |129303 | 1809k| 69M| 36 | - | 40 | 196 | 5 | 40 | 13 | 21 | 14k|2766 | 0.000000e+00 | -- | Inf
301.30/301.48 c 286s|860000 |130718 | 1831k| 70M| 36 | - | 40 | 208 | 8 | 40 | 13 | 21 | 15k|2774 | 0.000000e+00 | -- | Inf
304.89/305.02 c 290s|870000 |132296 | 1853k| 70M| 36 | 5 | 40 | 239 | 5 | 40 | 13 | 21 | 15k|2782 | 0.000000e+00 | -- | Inf
308.40/308.59 c 293s|880000 |133642 | 1876k| 71M| 36 | 5 | 40 | 201 | 5 | 40 | 13 | 21 | 15k|2791 | 0.000000e+00 | -- | Inf
311.99/312.12 c 297s|890000 |135074 | 1897k| 72M| 36 | 5 | 40 | 212 | 6 | 40 | 13 | 21 | 15k|2800 | 0.000000e+00 | -- | Inf
315.59/315.72 c 300s|900000 |136420 | 1919k| 73M| 36 | - | 40 | 242 | 5 | 40 | 13 | 21 | 15k|2807 | 0.000000e+00 | -- | Inf
319.09/319.29 c 303s|910000 |137950 | 1941k| 74M| 36 | 5 | 40 | 244 | 6 | 40 | 13 | 21 | 15k|2811 | 0.000000e+00 | -- | Inf
322.79/322.90 c 307s|920000 |139055 | 1964k| 74M| 36 | - | 40 | 182 | 7 | 40 | 13 | 21 | 15k|2821 | 0.000000e+00 | -- | Inf
326.29/326.42 c 310s|930000 |140773 | 1986k| 75M| 36 | - | 40 | 194 | 5 | 40 | 13 | 21 | 16k|2825 | 0.000000e+00 | -- | Inf
329.79/329.99 c 314s|940000 |142445 | 2010k| 76M| 36 | - | 40 | 234 | 5 | 40 | 13 | 21 | 16k|2831 | 0.000000e+00 | -- | Inf
333.39/333.58 c 317s|950000 |144240 | 2033k| 77M| 36 | - | 40 | 250 | 5 | 40 | 13 | 21 | 16k|2836 | 0.000000e+00 | -- | Inf
337.08/337.20 c 321s|960000 |145387 | 2055k| 78M| 36 | 5 | 40 | 162 | 7 | 40 | 13 | 21 | 16k|2845 | 0.000000e+00 | -- | Inf
340.58/340.70 c 324s|970000 |146575 | 2076k| 78M| 36 | - | 40 | 116 | 5 | 40 | 13 | 21 | 16k|2858 | 0.000000e+00 | -- | Inf
343.98/344.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.98/344.14 c 327s|980000 |147872 | 2096k| 79M| 36 | - | 40 | 132 | 5 | 40 | 13 | 21 | 16k|2867 | 0.000000e+00 | -- | Inf
347.58/347.70 c 331s|990000 |148868 | 2117k| 80M| 36 | 5 | 40 | 121 | 6 | 40 | 13 | 21 | 17k|2887 | 0.000000e+00 | -- | Inf
351.08/351.22 c 334s| 1000k|149733 | 2138k| 80M| 36 | 5 | 40 | 89 | 5 | 40 | 13 | 21 | 17k|2897 | 0.000000e+00 | -- | Inf
354.58/354.71 c 337s| 1010k|150906 | 2157k| 81M| 36 | - | 40 | 105 | 5 | 0 | 0 | 21 | 17k|2904 | 0.000000e+00 | -- | Inf
358.08/358.22 c 341s| 1020k|151932 | 2178k| 82M| 36 | 5 | 40 | 141 | 22 | 40 | 13 | 21 | 17k|2914 | 0.000000e+00 | -- | Inf
361.58/361.79 c 344s| 1030k|152873 | 2198k| 82M| 36 | - | 40 | 99 | 5 | 40 | 13 | 21 | 17k|2938 | 0.000000e+00 | -- | Inf
365.09/365.28 c 347s| 1040k|153914 | 2219k| 83M| 36 | - | 40 | 114 | 5 | 40 | 13 | 21 | 17k|2949 | 0.000000e+00 | -- | Inf
368.48/368.67 c 350s| 1050k|154929 | 2239k| 83M| 36 | - | 40 | 110 | 5 | 40 | 13 | 21 | 17k|2954 | 0.000000e+00 | -- | Inf
371.88/372.05 c 354s| 1060k|155998 | 2259k| 84M| 36 | 5 | 40 | 117 | 5 | 40 | 13 | 21 | 18k|2954 | 0.000000e+00 | -- | Inf
375.48/375.62 c 357s| 1070k|156833 | 2279k| 85M| 36 | 5 | 40 | 105 | 5 | 40 | 13 | 21 | 18k|2954 | 0.000000e+00 | -- | Inf
378.98/379.11 c 360s| 1080k|157841 | 2299k| 85M| 36 | 5 | 40 | 141 | 5 | 40 | 13 | 21 | 18k|2954 | 0.000000e+00 | -- | Inf
382.47/382.68 c 364s| 1090k|158718 | 2321k| 86M| 36 | - | 40 | 91 | 5 | 0 | 0 | 21 | 18k|2954 | 0.000000e+00 | -- | Inf
385.98/386.17 c 367s| 1100k|160508 | 2342k| 87M| 36 | 5 | 40 | 143 | 6 | 40 | 13 | 21 | 18k|2954 | 0.000000e+00 | -- | Inf
389.47/389.70 c 370s| 1110k|162122 | 2364k| 88M| 36 | - | 40 | 167 | 5 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
393.17/393.30 c 374s| 1120k|163444 | 2386k| 88M| 36 | 5 | 40 | 179 | 11 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
396.67/396.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.67/396.88 c 377s| 1130k|164610 | 2408k| 89M| 36 | 5 | 40 | 143 | 5 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
400.27/400.45 c 381s| 1140k|165864 | 2430k| 90M| 36 | 5 | 40 | 152 | 7 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
403.76/403.98 c 384s| 1150k|166976 | 2450k| 90M| 36 | - | 40 | 89 | 8 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
407.37/407.54 c 387s| 1160k|167926 | 2471k| 91M| 36 | 5 | 40 | 106 | 6 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
410.76/410.97 c 391s| 1170k|169049 | 2491k| 92M| 36 | 5 | 40 | 126 | 18 | 40 | 13 | 21 | 19k|2954 | 0.000000e+00 | -- | Inf
414.35/414.50 c 394s| 1180k|169989 | 2513k| 92M| 36 | 5 | 40 | 91 | 5 | 40 | 13 | 21 | 20k|2954 | 0.000000e+00 | -- | Inf
417.86/418.04 c 397s| 1190k|170935 | 2534k| 93M| 36 | 5 | 40 | 105 | 19 | 40 | 13 | 21 | 20k|2954 | 0.000000e+00 | -- | Inf
421.35/421.57 c 401s| 1200k|171910 | 2554k| 93M| 36 | 5 | 40 | 134 | 5 | 40 | 13 | 21 | 20k|2954 | 0.000000e+00 | -- | Inf
424.85/425.08 c 404s| 1210k|172711 | 2574k| 94M| 36 | 5 | 40 | 97 | 6 | 40 | 13 | 21 | 20k|2954 | 0.000000e+00 | -- | Inf
428.35/428.57 c 407s| 1220k|173694 | 2594k| 95M| 36 | 5 | 40 | 104 | 11 | 40 | 13 | 21 | 20k|2954 | 0.000000e+00 | -- | Inf
431.85/432.02 c 411s| 1230k|175079 | 2615k| 95M| 36 | 5 | 40 | 163 | 25 | 40 | 13 | 21 | 20k|2960 | 0.000000e+00 | -- | Inf
435.35/435.50 c 414s| 1240k|175984 | 2636k| 96M| 36 | 5 | 40 | 162 | 6 | 40 | 13 | 21 | 21k|2973 | 0.000000e+00 | -- | Inf
438.85/439.09 c 417s| 1250k|176695 | 2657k| 96M| 36 | - | 40 | 96 | 5 | 40 | 13 | 21 | 21k|2981 | 0.000000e+00 | -- | Inf
442.45/442.63 c 421s| 1260k|177470 | 2678k| 97M| 36 | - | 40 | 93 | 5 | 40 | 13 | 21 | 21k|2999 | 0.000000e+00 | -- | Inf
445.95/446.13 c 424s| 1270k|178484 | 2699k| 97M| 36 | - | 40 | 119 | 5 | 0 | 0 | 21 | 21k|3012 | 0.000000e+00 | -- | Inf
449.44/449.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.44/449.69 c 428s| 1280k|179599 | 2720k| 98M| 36 | 5 | 40 | 169 | 5 | 40 | 13 | 21 | 21k|3021 | 0.000000e+00 | -- | Inf
453.05/453.27 c 431s| 1290k|180903 | 2741k| 99M| 36 | 5 | 40 | 184 | 5 | 40 | 13 | 21 | 22k|3028 | 0.000000e+00 | -- | Inf
456.64/456.86 c 434s| 1300k|182008 | 2763k| 99M| 36 | 5 | 40 | 154 | 5 | 40 | 13 | 21 | 22k|3038 | 0.000000e+00 | -- | Inf
460.14/460.34 c 438s| 1310k|183245 | 2783k| 100M| 36 | 5 | 40 | 165 | 6 | 40 | 13 | 21 | 22k|3051 | 0.000000e+00 | -- | Inf
463.74/463.91 c 441s| 1320k|184270 | 2804k| 101M| 36 | 5 | 40 | 104 | 23 | 40 | 13 | 21 | 22k|3060 | 0.000000e+00 | -- | Inf
467.14/467.36 c 444s| 1330k|185430 | 2825k| 102M| 36 | 5 | 40 | 148 | 11 | 40 | 13 | 21 | 22k|3072 | 0.000000e+00 | -- | Inf
470.64/470.85 c 448s| 1340k|186623 | 2845k| 102M| 36 | 5 | 40 | 211 | 5 | 40 | 13 | 21 | 22k|3079 | 0.000000e+00 | -- | Inf
474.24/474.47 c 451s| 1350k|187317 | 2867k| 103M| 36 | - | 40 | 112 | 6 | 40 | 13 | 21 | 23k|3092 | 0.000000e+00 | -- | Inf
477.83/478.00 c 454s| 1360k|188335 | 2887k| 103M| 36 | 5 | 40 | 121 | 13 | 40 | 13 | 21 | 23k|3098 | 0.000000e+00 | -- | Inf
481.34/481.57 c 458s| 1370k|189184 | 2907k| 104M| 36 | 5 | 40 | 100 | 6 | 40 | 13 | 21 | 23k|3111 | 0.000000e+00 | -- | Inf
484.84/485.07 c 461s| 1380k|190050 | 2928k| 104M| 36 | 5 | 40 | 123 | 5 | 40 | 13 | 21 | 23k|3121 | 0.000000e+00 | -- | Inf
488.34/488.54 c 464s| 1390k|191048 | 2947k| 105M| 36 | 5 | 40 | 140 | 6 | 40 | 13 | 21 | 23k|3127 | 0.000000e+00 | -- | Inf
491.83/492.07 c 468s| 1400k|192029 | 2968k| 106M| 36 | - | 40 | 138 | 5 | 40 | 13 | 21 | 24k|3136 | 0.000000e+00 | -- | Inf
495.44/495.60 c 471s| 1410k|193069 | 2988k| 106M| 36 | 5 | 40 | 156 | 5 | 40 | 13 | 21 | 24k|3145 | 0.000000e+00 | -- | Inf
498.83/499.01 c 474s| 1420k|193887 | 3006k| 107M| 36 | 5 | 40 | 153 | 7 | 40 | 13 | 21 | 24k|3154 | 0.000000e+00 | -- | Inf
502.23/502.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.23/502.47 c 478s| 1430k|195116 | 3026k| 107M| 36 | - | 40 | 139 | 6 | 0 | 0 | 21 | 24k|3165 | 0.000000e+00 | -- | Inf
505.73/505.99 c 481s| 1440k|195987 | 3047k| 108M| 36 | - | 40 | 134 | 7 | 0 | 0 | 21 | 24k|3181 | 0.000000e+00 | -- | Inf
509.33/509.52 c 484s| 1450k|196745 | 3067k| 109M| 36 | 5 | 40 | 109 | 10 | 40 | 13 | 21 | 25k|3191 | 0.000000e+00 | -- | Inf
512.82/513.07 c 488s| 1460k|197500 | 3087k| 109M| 36 | 5 | 40 | 120 | 8 | 40 | 13 | 21 | 25k|3203 | 0.000000e+00 | -- | Inf
516.43/516.69 c 491s| 1470k|198431 | 3108k| 110M| 36 | 5 | 40 | 120 | 9 | 40 | 13 | 21 | 25k|3217 | 0.000000e+00 | -- | Inf
520.03/520.24 c 495s| 1480k|199398 | 3129k| 110M| 36 | - | 40 | 138 | 5 | 40 | 13 | 21 | 25k|3225 | 0.000000e+00 | -- | Inf
523.52/523.79 c 498s| 1490k|200070 | 3149k| 111M| 36 | 5 | 40 | 97 | 5 | 40 | 13 | 21 | 25k|3234 | 0.000000e+00 | -- | Inf
527.13/527.30 c 501s| 1500k|201024 | 3170k| 111M| 36 | 5 | 40 | 59 | 7 | 40 | 13 | 21 | 25k|3241 | 0.000000e+00 | -- | Inf
530.63/530.88 c 505s| 1510k|201761 | 3191k| 112M| 36 | - | 40 | 107 | 5 | 40 | 13 | 21 | 26k|3250 | 0.000000e+00 | -- | Inf
534.22/534.44 c 508s| 1520k|202803 | 3211k| 112M| 36 | 5 | 40 | 104 | 5 | 40 | 13 | 21 | 26k|3254 | 0.000000e+00 | -- | Inf
537.82/538.04 c 511s| 1530k|204495 | 3233k| 113M| 36 | - | 40 | 170 | 5 | 40 | 13 | 21 | 26k|3262 | 0.000000e+00 | -- | Inf
541.51/541.72 c 515s| 1540k|205448 | 3255k| 114M| 36 | - | 40 | 154 | 11 | 0 | 0 | 21 | 26k|3269 | 0.000000e+00 | -- | Inf
545.01/545.27 c 518s| 1550k|206250 | 3276k| 114M| 36 | - | 40 | 122 | 6 | 40 | 13 | 21 | 26k|3280 | 0.000000e+00 | -- | Inf
548.62/548.84 c 522s| 1560k|207191 | 3297k| 115M| 36 | - | 40 | 125 | 6 | 40 | 13 | 21 | 26k|3287 | 0.000000e+00 | -- | Inf
552.12/552.34 c 525s| 1570k|208114 | 3317k| 116M| 36 | 5 | 40 | 143 | 6 | 40 | 13 | 21 | 27k|3301 | 0.000000e+00 | -- | Inf
555.61/555.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.61/555.87 c 528s| 1580k|210463 | 3339k| 117M| 36 | - | 40 | 188 | 5 | 40 | 13 | 21 | 27k|3308 | 0.000000e+00 | -- | Inf
559.21/559.45 c 532s| 1590k|212027 | 3361k| 118M| 36 | 5 | 40 | 182 | 5 | 40 | 13 | 21 | 27k|3321 | 0.000000e+00 | -- | Inf
562.82/563.01 c 535s| 1600k|213639 | 3383k| 118M| 36 | - | 40 | 280 | 15 | 40 | 13 | 21 | 27k|3330 | 0.000000e+00 | -- | Inf
566.32/566.59 c 539s| 1610k|215032 | 3404k| 119M| 36 | - | 40 | 222 | 7 | 0 | 0 | 21 | 27k|3338 | 0.000000e+00 | -- | Inf
569.91/570.15 c 542s| 1620k|216589 | 3425k| 120M| 36 | 5 | 40 | 228 | 5 | 40 | 13 | 21 | 27k|3349 | 0.000000e+00 | -- | Inf
573.51/573.77 c 545s| 1630k|217960 | 3447k| 121M| 36 | - | 40 | 243 | 5 | 40 | 13 | 21 | 27k|3357 | 0.000000e+00 | -- | Inf
577.10/577.39 c 549s| 1640k|219224 | 3469k| 122M| 36 | - | 40 | 201 | 5 | 40 | 13 | 21 | 28k|3366 | 0.000000e+00 | -- | Inf
580.81/581.00 c 552s| 1650k|220374 | 3490k| 122M| 36 | 5 | 40 | 202 | 7 | 40 | 13 | 21 | 28k|3377 | 0.000000e+00 | -- | Inf
584.41/584.62 c 556s| 1660k|221319 | 3512k| 123M| 36 | 5 | 40 | 206 | 7 | 40 | 13 | 21 | 28k|3382 | 0.000000e+00 | -- | Inf
588.01/588.25 c 559s| 1670k|222275 | 3534k| 123M| 36 | - | 40 | 227 | 5 | 40 | 13 | 21 | 28k|3391 | 0.000000e+00 | -- | Inf
591.71/591.93 c 563s| 1680k|222942 | 3555k| 124M| 36 | - | 40 | 186 | 12 | 40 | 13 | 21 | 28k|3398 | 0.000000e+00 | -- | Inf
595.30/595.54 c 566s| 1690k|223661 | 3575k| 124M| 36 | - | 40 | 111 | 4 | 0 | 0 | 21 | 28k|3407 | 0.000000e+00 | -- | Inf
598.90/599.11 c 570s| 1700k|224481 | 3597k| 125M| 36 | 5 | 40 | 127 | 7 | 40 | 13 | 21 | 28k|3411 | 0.000000e+00 | -- | Inf
602.40/602.66 c 573s| 1710k|225628 | 3618k| 126M| 36 | - | 40 | 145 | 5 | 0 | 0 | 21 | 29k|3417 | 0.000000e+00 | -- | Inf
606.00/606.20 c 576s| 1720k|226526 | 3639k| 126M| 36 | 5 | 40 | 198 | 5 | 40 | 13 | 21 | 29k|3436 | 0.000000e+00 | -- | Inf
609.60/609.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.60/609.83 c 580s| 1730k|227345 | 3661k| 127M| 36 | - | 40 | 146 | 5 | 40 | 13 | 21 | 29k|3443 | 0.000000e+00 | -- | Inf
613.20/613.41 c 583s| 1740k|228081 | 3681k| 127M| 36 | 5 | 40 | 88 | 5 | 40 | 13 | 21 | 29k|3456 | 0.000000e+00 | -- | Inf
616.70/616.97 c 587s| 1750k|229654 | 3702k| 128M| 36 | - | 40 | 191 | 6 | 0 | 0 | 21 | 29k|3464 | 0.000000e+00 | -- | Inf
620.40/620.63 c 590s| 1760k|230320 | 3723k| 129M| 36 | 5 | 40 | 132 | 5 | 40 | 13 | 21 | 29k|3475 | 0.000000e+00 | -- | Inf
623.99/624.27 c 594s| 1770k|231092 | 3744k| 129M| 36 | 5 | 40 | 120 | 5 | 40 | 13 | 21 | 30k|3481 | 0.000000e+00 | -- | Inf
627.59/627.87 c 597s| 1780k|232140 | 3766k| 130M| 36 | - | 40 | 199 | 5 | 40 | 13 | 21 | 30k|3493 | 0.000000e+00 | -- | Inf
631.19/631.48 c 600s| 1790k|232928 | 3786k| 130M| 36 | - | 40 | 115 | 5 | 0 | 0 | 21 | 30k|3499 | 0.000000e+00 | -- | Inf
634.89/635.16 c 604s| 1800k|233665 | 3808k| 131M| 36 | - | 40 | 107 | 5 | 0 | 0 | 21 | 30k|3505 | 0.000000e+00 | -- | Inf
638.59/638.85 c 607s| 1810k|234646 | 3829k| 131M| 36 | - | 40 | 167 | 5 | 40 | 13 | 21 | 31k|3512 | 0.000000e+00 | -- | Inf
642.19/642.46 c 611s| 1820k|235467 | 3850k| 132M| 36 | 5 | 40 | 135 | 8 | 40 | 13 | 21 | 31k|3520 | 0.000000e+00 | -- | Inf
645.79/646.02 c 614s| 1830k|236355 | 3871k| 132M| 36 | 5 | 40 | 126 | 5 | 40 | 13 | 21 | 31k|3525 | 0.000000e+00 | -- | Inf
649.38/649.61 c 618s| 1840k|237157 | 3892k| 133M| 36 | 5 | 40 | 119 | 7 | 40 | 13 | 21 | 31k|3531 | 0.000000e+00 | -- | Inf
652.99/653.23 c 621s| 1850k|238252 | 3913k| 134M| 36 | 5 | 40 | 103 | 5 | 40 | 13 | 21 | 31k|3537 | 0.000000e+00 | -- | Inf
656.58/656.84 c 625s| 1860k|238969 | 3934k| 134M| 36 | 5 | 40 | 118 | 5 | 40 | 13 | 21 | 31k|3548 | 0.000000e+00 | -- | Inf
660.18/660.46 c 628s| 1870k|239758 | 3955k| 135M| 36 | - | 40 | 112 | 5 | 40 | 13 | 21 | 31k|3555 | 0.000000e+00 | -- | Inf
663.79/664.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.79/664.02 c 631s| 1880k|240934 | 3976k| 135M| 36 | 5 | 40 | 116 | 7 | 40 | 13 | 21 | 32k|3562 | 0.000000e+00 | -- | Inf
667.39/667.61 c 635s| 1890k|242172 | 3999k| 136M| 36 | 5 | 40 | 170 | 6 | 40 | 13 | 21 | 32k|3571 | 0.000000e+00 | -- | Inf
670.98/671.28 c 638s| 1900k|243035 | 4021k| 137M| 36 | 5 | 40 | 95 | 7 | 40 | 13 | 21 | 32k|3583 | 0.000000e+00 | -- | Inf
674.58/674.89 c 642s| 1910k|243771 | 4042k| 137M| 36 | - | 40 | 135 | 7 | 0 | 0 | 21 | 32k|3590 | 0.000000e+00 | -- | Inf
678.28/678.56 c 645s| 1920k|244645 | 4063k| 138M| 36 | - | 40 | 157 | 5 | 40 | 13 | 21 | 32k|3596 | 0.000000e+00 | -- | Inf
681.98/682.24 c 649s| 1930k|245234 | 4084k| 138M| 36 | - | 40 | 136 | 7 | 40 | 13 | 21 | 33k|3599 | 0.000000e+00 | -- | Inf
685.58/685.83 c 652s| 1940k|246083 | 4104k| 139M| 36 | - | 40 | 113 | 5 | 40 | 13 | 21 | 33k|3615 | 0.000000e+00 | -- | Inf
689.18/689.48 c 656s| 1950k|247023 | 4126k| 139M| 36 | - | 40 | 125 | 5 | 40 | 13 | 21 | 33k|3624 | 0.000000e+00 | -- | Inf
692.98/693.20 c 659s| 1960k|247673 | 4147k| 140M| 36 | - | 40 | 119 | 5 | 40 | 13 | 21 | 33k|3635 | 0.000000e+00 | -- | Inf
696.47/696.79 c 663s| 1970k|248535 | 4167k| 140M| 36 | 5 | 40 | 144 | 5 | 40 | 13 | 21 | 33k|3644 | 0.000000e+00 | -- | Inf
700.17/700.48 c 666s| 1980k|248973 | 4188k| 141M| 36 | 5 | 40 | 102 | 5 | 40 | 13 | 21 | 33k|3648 | 0.000000e+00 | -- | Inf
703.77/704.04 c 669s| 1990k|249915 | 4208k| 141M| 36 | 5 | 40 | 164 | 5 | 40 | 13 | 21 | 34k|3662 | 0.000000e+00 | -- | Inf
707.37/707.67 c 673s| 2000k|250531 | 4229k| 142M| 36 | 5 | 40 | 137 | 6 | 40 | 13 | 21 | 34k|3674 | 0.000000e+00 | -- | Inf
711.07/711.38 c 676s| 2010k|251122 | 4250k| 142M| 36 | 5 | 40 | 133 | 5 | 40 | 13 | 21 | 34k|3682 | 0.000000e+00 | -- | Inf
714.77/715.01 c 680s| 2020k|252561 | 4272k| 143M| 36 | - | 40 | 173 | 6 | 40 | 13 | 21 | 34k|3686 | 0.000000e+00 | -- | Inf
718.37/718.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.37/718.66 c 683s| 2030k|253548 | 4294k| 143M| 36 | 5 | 40 | 223 | 7 | 40 | 13 | 21 | 34k|3695 | 0.000000e+00 | -- | Inf
721.97/722.29 c 687s| 2040k|254181 | 4314k| 144M| 36 | 5 | 40 | 124 | 6 | 40 | 13 | 21 | 34k|3700 | 0.000000e+00 | -- | Inf
725.56/725.82 c 690s| 2050k|256151 | 4335k| 145M| 36 | - | 40 | 183 | 8 | 0 | 0 | 21 | 35k|3705 | 0.000000e+00 | -- | Inf
729.07/729.39 c 694s| 2060k|257693 | 4356k| 146M| 36 | 5 | 40 | 193 | 5 | 40 | 13 | 21 | 35k|3709 | 0.000000e+00 | -- | Inf
732.77/733.04 c 697s| 2070k|258758 | 4377k| 146M| 36 | 5 | 40 | 192 | 5 | 40 | 13 | 21 | 35k|3719 | 0.000000e+00 | -- | Inf
736.47/736.71 c 701s| 2080k|259547 | 4397k| 147M| 36 | 5 | 40 | 226 | 9 | 40 | 13 | 21 | 35k|3730 | 0.000000e+00 | -- | Inf
740.17/740.44 c 704s| 2090k|260289 | 4419k| 147M| 36 | 5 | 40 | 200 | 5 | 40 | 13 | 21 | 35k|3739 | 0.000000e+00 | -- | Inf
743.86/744.14 c 708s| 2100k|260823 | 4440k| 148M| 36 | - | 40 | 145 | 6 | 0 | 0 | 21 | 35k|3751 | 0.000000e+00 | -- | Inf
747.56/747.80 c 711s| 2110k|261505 | 4460k| 148M| 36 | 5 | 40 | 118 | 9 | 40 | 13 | 21 | 36k|3759 | 0.000000e+00 | -- | Inf
751.16/751.40 c 715s| 2120k|262370 | 4481k| 149M| 36 | 5 | 40 | 114 | 8 | 40 | 13 | 21 | 36k|3764 | 0.000000e+00 | -- | Inf
754.76/755.04 c 718s| 2130k|263370 | 4502k| 149M| 36 | 5 | 40 | 126 | 5 | 40 | 13 | 21 | 36k|3772 | 0.000000e+00 | -- | Inf
758.45/758.70 c 721s| 2140k|264007 | 4522k| 150M| 36 | - | 40 | 159 | 6 | 40 | 13 | 21 | 36k|3787 | 0.000000e+00 | -- | Inf
762.06/762.37 c 725s| 2150k|264798 | 4543k| 150M| 36 | 5 | 40 | 142 | 7 | 40 | 13 | 21 | 36k|3800 | 0.000000e+00 | -- | Inf
765.76/766.06 c 728s| 2160k|265248 | 4564k| 151M| 36 | 5 | 40 | 102 | 10 | 40 | 13 | 21 | 36k|3810 | 0.000000e+00 | -- | Inf
769.25/769.55 c 732s| 2170k|266256 | 4584k| 151M| 36 | 5 | 40 | 168 | 5 | 40 | 13 | 21 | 37k|3819 | 0.000000e+00 | -- | Inf
772.96/773.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.96/773.21 c 735s| 2180k|266847 | 4604k| 152M| 36 | 5 | 40 | 103 | 24 | 40 | 13 | 21 | 37k|3825 | 0.000000e+00 | -- | Inf
776.66/776.94 c 739s| 2190k|267391 | 4625k| 152M| 36 | - | 40 | 97 | 56 | 0 | 0 | 21 | 37k|3833 | 0.000000e+00 | -- | Inf
780.35/780.61 c 742s| 2200k|267968 | 4645k| 153M| 36 | 5 | 40 | 116 | 6 | 40 | 13 | 21 | 37k|3840 | 0.000000e+00 | -- | Inf
783.96/784.23 c 746s| 2210k|269030 | 4667k| 153M| 36 | 5 | 40 | 155 | 8 | 40 | 13 | 21 | 37k|3846 | 0.000000e+00 | -- | Inf
787.55/787.85 c 749s| 2220k|269827 | 4687k| 154M| 36 | - | 40 | 169 | 12 | 40 | 13 | 21 | 38k|3856 | 0.000000e+00 | -- | Inf
791.25/791.55 c 753s| 2230k|270594 | 4708k| 154M| 36 | - | 40 | 110 | 5 | 40 | 13 | 21 | 38k|3861 | 0.000000e+00 | -- | Inf
794.84/795.17 c 756s| 2240k|271962 | 4729k| 155M| 36 | - | 40 | 127 | 5 | 40 | 13 | 21 | 38k|3866 | 0.000000e+00 | -- | Inf
798.44/798.76 c 760s| 2250k|272964 | 4749k| 156M| 36 | 5 | 40 | 146 | 5 | 40 | 13 | 21 | 38k|3876 | 0.000000e+00 | -- | Inf
802.05/802.36 c 763s| 2260k|273888 | 4769k| 156M| 36 | - | 40 | 137 | 5 | 40 | 13 | 21 | 38k|3884 | 0.000000e+00 | -- | Inf
805.64/805.98 c 767s| 2270k|274733 | 4790k| 157M| 36 | - | 40 | 172 | 5 | 40 | 13 | 21 | 39k|3890 | 0.000000e+00 | -- | Inf
809.34/809.61 c 770s| 2280k|275630 | 4810k| 157M| 36 | - | 40 | 163 | 5 | 0 | 0 | 21 | 39k|3897 | 0.000000e+00 | -- | Inf
813.04/813.35 c 774s| 2290k|276222 | 4831k| 158M| 36 | 5 | 40 | 124 | 6 | 40 | 13 | 21 | 39k|3906 | 0.000000e+00 | -- | Inf
816.73/817.05 c 777s| 2300k|276902 | 4852k| 158M| 36 | 5 | 40 | 122 | 12 | 40 | 13 | 21 | 39k|3916 | 0.000000e+00 | -- | Inf
820.44/820.72 c 781s| 2310k|278014 | 4874k| 159M| 36 | 5 | 40 | 187 | 5 | 40 | 13 | 21 | 39k|3922 | 0.000000e+00 | -- | Inf
824.04/824.38 c 784s| 2320k|279045 | 4895k| 160M| 36 | - | 40 | 160 | 6 | 0 | 0 | 21 | 39k|3928 | 0.000000e+00 | -- | Inf
827.73/828.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.73/828.06 c 788s| 2330k|279976 | 4917k| 160M| 36 | 5 | 40 | 172 | 5 | 40 | 13 | 21 | 40k|3938 | 0.000000e+00 | -- | Inf
831.43/831.74 c 791s| 2340k|280651 | 4938k| 161M| 36 | - | 40 | 158 | 5 | 40 | 13 | 21 | 40k|3947 | 0.000000e+00 | -- | Inf
835.13/835.49 c 795s| 2350k|281193 | 4959k| 161M| 36 | - | 40 | 97 | 5 | 40 | 13 | 21 | 40k|3956 | 0.000000e+00 | -- | Inf
838.94/839.21 c 798s| 2360k|281732 | 4980k| 162M| 36 | 5 | 40 | 89 | 6 | 40 | 13 | 21 | 40k|3965 | 0.000000e+00 | -- | Inf
842.53/842.88 c 802s| 2370k|282406 | 5000k| 162M| 36 | - | 40 | 108 | 5 | 0 | 0 | 21 | 40k|3968 | 0.000000e+00 | -- | Inf
846.13/846.48 c 805s| 2380k|283048 | 5020k| 163M| 36 | - | 40 | 148 | 8 | 40 | 13 | 21 | 40k|3973 | 0.000000e+00 | -- | Inf
849.83/850.14 c 809s| 2390k|284275 | 5042k| 163M| 36 | - | 40 | 208 | 5 | 40 | 13 | 21 | 41k|3983 | 0.000000e+00 | -- | Inf
853.53/853.82 c 812s| 2400k|284910 | 5063k| 164M| 36 | 5 | 40 | 162 | 5 | 40 | 13 | 21 | 41k|3993 | 0.000000e+00 | -- | Inf
857.23/857.50 c 816s| 2410k|285439 | 5083k| 164M| 36 | - | 40 | 139 | 8 | 0 | 0 | 21 | 41k|4003 | 0.000000e+00 | -- | Inf
860.82/861.14 c 819s| 2420k|286290 | 5103k| 165M| 36 | - | 40 | 146 | 5 | 40 | 13 | 21 | 41k|4014 | 0.000000e+00 | -- | Inf
864.43/864.73 c 823s| 2430k|288127 | 5126k| 166M| 36 | 5 | 40 | 239 | 6 | 40 | 13 | 21 | 41k|4017 | 0.000000e+00 | -- | Inf
868.02/868.36 c 826s| 2440k|289468 | 5149k| 166M| 36 | - | 40 | 207 | 5 | 40 | 13 | 21 | 42k|4021 | 0.000000e+00 | -- | Inf
871.73/872.07 c 830s| 2450k|290645 | 5171k| 167M| 36 | - | 40 | 209 | 5 | 40 | 13 | 21 | 42k|4027 | 0.000000e+00 | -- | Inf
875.52/875.87 c 833s| 2460k|291185 | 5193k| 168M| 36 | 5 | 40 | 198 | 7 | 40 | 13 | 21 | 42k|4034 | 0.000000e+00 | -- | Inf
879.32/879.65 c 837s| 2470k|291932 | 5217k| 168M| 36 | 5 | 40 | 205 | 5 | 40 | 13 | 21 | 42k|4043 | 0.000000e+00 | -- | Inf
883.03/883.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.03/883.35 c 840s| 2480k|292537 | 5238k| 168M| 36 | 5 | 40 | 149 | 7 | 40 | 13 | 21 | 42k|4055 | 0.000000e+00 | -- | Inf
886.62/886.93 c 844s| 2490k|293396 | 5258k| 169M| 36 | 5 | 40 | 188 | 5 | 40 | 13 | 21 | 42k|4062 | 0.000000e+00 | -- | Inf
890.21/890.57 c 847s| 2500k|294042 | 5278k| 170M| 36 | - | 40 | 161 | 6 | 0 | 0 | 21 | 43k|4069 | 0.000000e+00 | -- | Inf
893.92/894.30 c 851s| 2510k|294635 | 5299k| 170M| 36 | 5 | 40 | 98 | 6 | 40 | 13 | 21 | 43k|4077 | 0.000000e+00 | -- | Inf
897.62/897.98 c 854s| 2520k|295512 | 5320k| 171M| 36 | 5 | 40 | 170 | 5 | 40 | 13 | 21 | 43k|4082 | 0.000000e+00 | -- | Inf
901.41/901.75 c 858s| 2530k|295975 | 5341k| 171M| 36 | - | 40 | 89 | 13 | 40 | 13 | 21 | 43k|4092 | 0.000000e+00 | -- | Inf
905.11/905.47 c 861s| 2540k|296399 | 5362k| 171M| 36 | 5 | 40 | 131 | 26 | 40 | 13 | 21 | 43k|4096 | 0.000000e+00 | -- | Inf
908.81/909.11 c 865s| 2550k|297141 | 5384k| 172M| 36 | 5 | 40 | 141 | 5 | 40 | 13 | 21 | 44k|4100 | 0.000000e+00 | -- | Inf
912.51/912.82 c 868s| 2560k|297495 | 5404k| 172M| 36 | - | 40 | 113 | 5 | 40 | 13 | 21 | 44k|4103 | 0.000000e+00 | -- | Inf
916.21/916.51 c 872s| 2570k|298097 | 5425k| 173M| 36 | 5 | 40 | 131 | 5 | 40 | 13 | 21 | 44k|4109 | 0.000000e+00 | -- | Inf
919.91/920.20 c 875s| 2580k|298756 | 5446k| 173M| 36 | - | 40 | 105 | 5 | 0 | 0 | 21 | 44k|4121 | 0.000000e+00 | -- | Inf
923.50/923.86 c 879s| 2590k|299268 | 5466k| 173M| 36 | 5 | 40 | 113 | 5 | 40 | 13 | 21 | 44k|4128 | 0.000000e+00 | -- | Inf
927.21/927.51 c 882s| 2600k|299723 | 5487k| 174M| 36 | 5 | 40 | 108 | 6 | 40 | 13 | 21 | 44k|4134 | 0.000000e+00 | -- | Inf
930.71/931.09 c 886s| 2610k|301273 | 5508k| 175M| 36 | 5 | 40 | 166 | 9 | 40 | 13 | 21 | 45k|4148 | 0.000000e+00 | -- | Inf
934.21/934.56 c 889s| 2620k|303082 | 5528k| 176M| 36 | - | 40 | 214 | 5 | 40 | 13 | 21 | 45k|4151 | 0.000000e+00 | -- | Inf
937.80/938.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.80/938.12 c 892s| 2630k|304697 | 5548k| 176M| 36 | 5 | 40 | 229 | 9 | 40 | 13 | 21 | 45k|4157 | 0.000000e+00 | -- | Inf
941.31/941.65 c 896s| 2640k|306069 | 5568k| 177M| 36 | - | 40 | 210 | 6 | 40 | 13 | 21 | 45k|4165 | 0.000000e+00 | -- | Inf
944.90/945.21 c 899s| 2650k|307210 | 5588k| 178M| 36 | 5 | 40 | 237 | 7 | 40 | 13 | 21 | 45k|4173 | 0.000000e+00 | -- | Inf
948.40/948.75 c 903s| 2660k|308335 | 5608k| 178M| 36 | - | 40 | 191 | 5 | 40 | 13 | 21 | 46k|4177 | 0.000000e+00 | -- | Inf
952.00/952.35 c 906s| 2670k|309388 | 5628k| 179M| 36 | - | 40 | 210 | 5 | 0 | 0 | 21 | 46k|4188 | 0.000000e+00 | -- | Inf
955.60/955.97 c 909s| 2680k|310291 | 5648k| 180M| 36 | 5 | 40 | 206 | 5 | 40 | 13 | 21 | 46k|4194 | 0.000000e+00 | -- | Inf
959.30/959.62 c 913s| 2690k|310828 | 5668k| 180M| 36 | 5 | 40 | 225 | 7 | 40 | 13 | 21 | 46k|4200 | 0.000000e+00 | -- | Inf
962.80/963.18 c 916s| 2700k|311835 | 5687k| 181M| 36 | - | 40 | 247 | 5 | 40 | 13 | 21 | 46k|4204 | 0.000000e+00 | -- | Inf
966.40/966.77 c 920s| 2710k|312353 | 5707k| 181M| 36 | - | 40 | 221 | 5 | 0 | 0 | 21 | 47k|4216 | 0.000000e+00 | -- | Inf
970.00/970.36 c 923s| 2720k|313083 | 5727k| 182M| 36 | - | 40 | 219 | 5 | 40 | 13 | 21 | 47k|4227 | 0.000000e+00 | -- | Inf
973.60/973.97 c 927s| 2730k|313995 | 5746k| 182M| 36 | 5 | 40 | 345 | 9 | 40 | 13 | 21 | 47k|4234 | 0.000000e+00 | -- | Inf
977.20/977.60 c 930s| 2740k|314490 | 5766k| 183M| 36 | 5 | 40 | 223 | 14 | 40 | 13 | 21 | 47k|4238 | 0.000000e+00 | -- | Inf
980.90/981.27 c 934s| 2750k|315395 | 5786k| 183M| 36 | - | 40 | 236 | 6 | 40 | 13 | 21 | 48k|4248 | 0.000000e+00 | -- | Inf
984.59/984.93 c 937s| 2760k|316031 | 5807k| 184M| 36 | - | 40 | 229 | 6 | 0 | 0 | 21 | 48k|4257 | 0.000000e+00 | -- | Inf
988.19/988.58 c 941s| 2770k|316537 | 5827k| 184M| 36 | 5 | 40 | 206 | 5 | 40 | 13 | 21 | 48k|4266 | 0.000000e+00 | -- | Inf
991.99/992.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.99/992.37 c 944s| 2780k|317137 | 5849k| 184M| 36 | - | 40 | 158 | 6 | 40 | 13 | 21 | 48k|4273 | 0.000000e+00 | -- | Inf
995.78/996.14 c 948s| 2790k|317594 | 5870k| 185M| 36 | 5 | 40 | 162 | 5 | 40 | 13 | 21 | 49k|4276 | 0.000000e+00 | -- | Inf
999.59/999.99 c 951s| 2800k|318065 | 5892k| 185M| 36 | 5 | 40 | 92 | 6 | 40 | 13 | 21 | 49k|4287 | 0.000000e+00 | -- | Inf
1003.29/1003.62 c 955s| 2810k|319343 | 5914k| 186M| 36 | 5 | 40 | 158 | 13 | 40 | 13 | 21 | 49k|4292 | 0.000000e+00 | -- | Inf
1006.88/1007.23 c 958s| 2820k|320386 | 5934k| 187M| 36 | 5 | 40 | 208 | 6 | 40 | 13 | 21 | 49k|4298 | 0.000000e+00 | -- | Inf
1010.49/1010.84 c 962s| 2830k|321300 | 5954k| 187M| 36 | 5 | 40 | 224 | 5 | 40 | 13 | 21 | 49k|4304 | 0.000000e+00 | -- | Inf
1014.28/1014.60 c 965s| 2840k|321847 | 5975k| 188M| 36 | - | 40 | 160 | 6 | 40 | 13 | 21 | 50k|4317 | 0.000000e+00 | -- | Inf
1017.88/1018.25 c 969s| 2850k|322522 | 5995k| 188M| 36 | 5 | 40 | 222 | 8 | 40 | 13 | 21 | 50k|4323 | 0.000000e+00 | -- | Inf
1021.38/1021.76 c 972s| 2860k|323461 | 6014k| 189M| 36 | - | 40 | 233 | 5 | 40 | 13 | 21 | 50k|4331 | 0.000000e+00 | -- | Inf
1025.08/1025.46 c 976s| 2870k|323981 | 6035k| 189M| 36 | - | 40 | 110 | 5 | 40 | 13 | 21 | 50k|4334 | 0.000000e+00 | -- | Inf
1028.98/1029.30 c 979s| 2880k|324452 | 6058k| 189M| 36 | 5 | 40 | 145 | 5 | 40 | 13 | 21 | 50k|4341 | 0.000000e+00 | -- | Inf
1032.68/1033.07 c 983s| 2890k|325009 | 6079k| 190M| 36 | 5 | 40 | 182 | 9 | 40 | 13 | 21 | 51k|4344 | 0.000000e+00 | -- | Inf
1036.48/1036.81 c 987s| 2900k|325827 | 6101k| 190M| 36 | - | 40 | 201 | 5 | 40 | 13 | 21 | 51k|4348 | 0.000000e+00 | -- | Inf
1040.27/1040.64 c 990s| 2910k|327065 | 6126k| 191M| 36 | 5 | 40 | 288 | 6 | 40 | 13 | 21 | 51k|4348 | 0.000000e+00 | -- | Inf
1044.07/1044.47 c 994s| 2920k|327728 | 6150k| 192M| 36 | - | 40 | 226 | 5 | 40 | 13 | 21 | 52k|4358 | 0.000000e+00 | -- | Inf
1047.87/1048.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.87/1048.29 c 997s| 2930k|328312 | 6172k| 192M| 36 | 5 | 40 | 146 | 5 | 40 | 13 | 21 | 52k|4362 | 0.000000e+00 | -- | Inf
1051.57/1051.96 c 1001s| 2940k|329157 | 6193k| 193M| 36 | 5 | 40 | 195 | 5 | 40 | 13 | 21 | 52k|4366 | 0.000000e+00 | -- | Inf
1055.37/1055.71 c 1005s| 2950k|329770 | 6214k| 193M| 36 | - | 40 | 162 | 5 | 40 | 13 | 21 | 52k|4373 | 0.000000e+00 | -- | Inf
1059.07/1059.47 c 1008s| 2960k|330643 | 6236k| 194M| 36 | - | 40 | 218 | 10 | 0 | 0 | 21 | 52k|4377 | 0.000000e+00 | -- | Inf
1062.77/1063.19 c 1012s| 2970k|331223 | 6256k| 194M| 36 | 5 | 40 | 150 | 6 | 40 | 13 | 21 | 53k|4379 | 0.000000e+00 | -- | Inf
1066.47/1066.88 c 1015s| 2980k|331721 | 6277k| 194M| 36 | 5 | 40 | 146 | 8 | 40 | 13 | 21 | 53k|4379 | 0.000000e+00 | -- | Inf
1070.27/1070.64 c 1019s| 2990k|332595 | 6300k| 195M| 36 | - | 40 | 179 | 4 | 0 | 0 | 21 | 53k|4379 | 0.000000e+00 | -- | Inf
1073.96/1074.40 c 1022s| 3000k|333308 | 6321k| 195M| 36 | - | 40 | 154 | 5 | 40 | 13 | 21 | 53k|4387 | 0.000000e+00 | -- | Inf
1077.86/1078.21 c 1026s| 3010k|333822 | 6342k| 196M| 36 | - | 40 | 161 | 5 | 40 | 13 | 21 | 53k|4391 | 0.000000e+00 | -- | Inf
1081.56/1081.99 c 1030s| 3020k|334343 | 6365k| 196M| 36 | 5 | 40 | 146 | 10 | 40 | 13 | 21 | 54k|4397 | 0.000000e+00 | -- | Inf
1085.36/1085.74 c 1033s| 3030k|334795 | 6386k| 197M| 36 | 5 | 40 | 147 | 5 | 40 | 13 | 21 | 54k|4401 | 0.000000e+00 | -- | Inf
1089.16/1089.50 c 1037s| 3040k|335260 | 6408k| 197M| 36 | 5 | 40 | 161 | 5 | 40 | 13 | 21 | 54k|4403 | 0.000000e+00 | -- | Inf
1092.97/1093.33 c 1040s| 3050k|336026 | 6431k| 197M| 36 | 5 | 40 | 159 | 5 | 40 | 13 | 21 | 55k|4403 | 0.000000e+00 | -- | Inf
1096.76/1097.10 c 1044s| 3060k|336651 | 6453k| 198M| 36 | 5 | 40 | 157 | 7 | 40 | 13 | 21 | 55k|4403 | 0.000000e+00 | -- | Inf
1100.46/1100.83 c 1048s| 3070k|338318 | 6476k| 199M| 36 | 5 | 40 | 208 | 7 | 40 | 13 | 21 | 55k|4403 | 0.000000e+00 | -- | Inf
1104.25/1104.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.25/1104.62 c 1051s| 3080k|339102 | 6499k| 199M| 36 | - | 40 | 263 | 5 | 0 | 0 | 21 | 55k|4403 | 0.000000e+00 | -- | Inf
1107.95/1108.38 c 1055s| 3090k|340064 | 6522k| 200M| 36 | 5 | 40 | 321 | 13 | 40 | 13 | 21 | 55k|4403 | 0.000000e+00 | -- | Inf
1111.76/1112.19 c 1058s| 3100k|340628 | 6544k| 200M| 36 | 5 | 40 | 164 | 10 | 40 | 13 | 21 | 56k|4410 | 0.000000e+00 | -- | Inf
1115.55/1115.97 c 1062s| 3110k|341432 | 6567k| 201M| 36 | - | 40 | 152 | 25 | 40 | 13 | 21 | 56k|4415 | 0.000000e+00 | -- | Inf
1119.25/1119.69 c 1066s| 3120k|342155 | 6588k| 201M| 36 | - | 40 | 179 | 5 | 40 | 13 | 21 | 56k|4422 | 0.000000e+00 | -- | Inf
1123.05/1123.44 c 1069s| 3130k|342797 | 6610k| 202M| 36 | 5 | 40 | 173 | 5 | 40 | 13 | 21 | 56k|4432 | 0.000000e+00 | -- | Inf
1126.84/1127.20 c 1073s| 3140k|343297 | 6631k| 202M| 36 | 5 | 40 | 138 | 8 | 40 | 13 | 21 | 56k|4442 | 0.000000e+00 | -- | Inf
1130.46/1130.84 c 1076s| 3150k|343940 | 6652k| 203M| 36 | 5 | 40 | 192 | 5 | 40 | 13 | 21 | 57k|4446 | 0.000000e+00 | -- | Inf
1134.25/1134.62 c 1080s| 3160k|344478 | 6674k| 203M| 36 | 5 | 40 | 156 | 6 | 40 | 13 | 21 | 57k|4455 | 0.000000e+00 | -- | Inf
1137.95/1138.39 c 1083s| 3170k|344953 | 6696k| 204M| 36 | - | 40 | 156 | 6 | 0 | 0 | 21 | 57k|4464 | 0.000000e+00 | -- | Inf
1141.74/1142.11 c 1087s| 3180k|345636 | 6718k| 204M| 36 | 5 | 40 | 182 | 5 | 40 | 13 | 21 | 57k|4471 | 0.000000e+00 | -- | Inf
1145.45/1145.81 c 1090s| 3190k|346182 | 6739k| 204M| 36 | - | 40 | 157 | 6 | 40 | 13 | 21 | 57k|4478 | 0.000000e+00 | -- | Inf
1149.05/1149.50 c 1094s| 3200k|346819 | 6761k| 205M| 36 | - | 40 | 120 | 5 | 40 | 13 | 21 | 58k|4483 | 0.000000e+00 | -- | Inf
1152.84/1153.20 c 1097s| 3210k|347490 | 6782k| 205M| 36 | 5 | 40 | 135 | 5 | 40 | 13 | 21 | 58k|4494 | 0.000000e+00 | -- | Inf
1156.44/1156.86 c 1101s| 3220k|348171 | 6802k| 206M| 36 | 5 | 40 | 164 | 5 | 40 | 13 | 21 | 58k|4502 | 0.000000e+00 | -- | Inf
1160.14/1160.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.14/1160.60 c 1104s| 3230k|348608 | 6824k| 206M| 36 | 5 | 40 | 118 | 18 | 40 | 13 | 21 | 58k|4507 | 0.000000e+00 | -- | Inf
1163.83/1164.29 c 1108s| 3240k|349188 | 6845k| 207M| 36 | - | 40 | 190 | 5 | 0 | 0 | 21 | 59k|4510 | 0.000000e+00 | -- | Inf
1167.64/1168.09 c 1112s| 3250k|349989 | 6869k| 207M| 36 | 5 | 40 | 194 | 6 | 40 | 13 | 21 | 59k|4516 | 0.000000e+00 | -- | Inf
1171.33/1171.75 c 1115s| 3260k|350472 | 6889k| 208M| 36 | - | 40 | 205 | 4 | 0 | 0 | 21 | 59k|4518 | 0.000000e+00 | -- | Inf
1175.14/1175.51 c 1119s| 3270k|351323 | 6911k| 208M| 36 | 5 | 40 | 219 | 7 | 40 | 13 | 21 | 59k|4518 | 0.000000e+00 | -- | Inf
1178.93/1179.32 c 1122s| 3280k|351763 | 6933k| 208M| 36 | - | 40 | 148 | 5 | 40 | 13 | 21 | 60k|4526 | 0.000000e+00 | -- | Inf
1182.64/1183.00 c 1126s| 3290k|352195 | 6954k| 209M| 36 | 5 | 40 | 153 | 5 | 40 | 13 | 21 | 60k|4531 | 0.000000e+00 | -- | Inf
1186.33/1186.74 c 1129s| 3300k|352510 | 6976k| 209M| 36 | - | 40 | 130 | 5 | 40 | 13 | 21 | 60k|4536 | 0.000000e+00 | -- | Inf
1190.03/1190.45 c 1133s| 3310k|352983 | 6998k| 209M| 36 | 5 | 40 | 110 | 6 | 40 | 13 | 21 | 60k|4544 | 0.000000e+00 | -- | Inf
1193.73/1194.14 c 1136s| 3320k|353349 | 7018k| 210M| 36 | 5 | 40 | 174 | 5 | 40 | 13 | 21 | 60k|4548 | 0.000000e+00 | -- | Inf
1197.54/1197.92 c 1140s| 3330k|354140 | 7040k| 210M| 36 | 5 | 40 | 171 | 5 | 40 | 13 | 21 | 61k|4555 | 0.000000e+00 | -- | Inf
1201.33/1201.72 c 1144s| 3340k|354463 | 7062k| 211M| 36 | - | 40 | 123 | 8 | 0 | 0 | 21 | 61k|4561 | 0.000000e+00 | -- | Inf
1205.03/1205.45 c 1147s| 3350k|355129 | 7085k| 211M| 36 | 5 | 40 | 142 | 5 | 40 | 13 | 21 | 61k|4571 | 0.000000e+00 | -- | Inf
1208.73/1209.19 c 1151s| 3360k|355762 | 7107k| 212M| 36 | 5 | 40 | 168 | 5 | 40 | 13 | 21 | 61k|4578 | 0.000000e+00 | -- | Inf
1212.42/1212.87 c 1154s| 3370k|356308 | 7128k| 212M| 36 | - | 40 | 172 | 5 | 40 | 13 | 21 | 61k|4584 | 0.000000e+00 | -- | Inf
1216.02/1216.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.02/1216.45 c 1158s| 3380k|357075 | 7148k| 213M| 36 | - | 40 | 229 | 5 | 40 | 13 | 21 | 62k|4592 | 0.000000e+00 | -- | Inf
1219.83/1220.24 c 1161s| 3390k|357890 | 7171k| 213M| 36 | - | 40 | 211 | 5 | 40 | 13 | 21 | 62k|4596 | 0.000000e+00 | -- | Inf
1223.52/1223.98 c 1165s| 3400k|358538 | 7193k| 213M| 36 | 5 | 40 | 170 | 5 | 40 | 13 | 21 | 62k|4601 | 0.000000e+00 | -- | Inf
1227.13/1227.59 c 1168s| 3410k|359095 | 7214k| 214M| 36 | - | 40 | 169 | 12 | 40 | 13 | 21 | 62k|4606 | 0.000000e+00 | -- | Inf
1230.82/1231.26 c 1172s| 3420k|360119 | 7235k| 215M| 36 | 5 | 40 | 206 | 6 | 40 | 13 | 21 | 62k|4614 | 0.000000e+00 | -- | Inf
1234.62/1235.05 c 1175s| 3430k|360457 | 7257k| 215M| 36 | 5 | 40 | 157 | 5 | 40 | 13 | 21 | 63k|4621 | 0.000000e+00 | -- | Inf
1238.42/1238.84 c 1179s| 3440k|360951 | 7278k| 215M| 36 | 5 | 40 | 140 | 8 | 40 | 13 | 21 | 63k|4628 | 0.000000e+00 | -- | Inf
1242.11/1242.56 c 1183s| 3450k|361434 | 7299k| 216M| 36 | - | 40 | 142 | 5 | 0 | 0 | 21 | 63k|4633 | 0.000000e+00 | -- | Inf
1245.81/1246.26 c 1186s| 3460k|362010 | 7321k| 216M| 36 | 5 | 40 | 157 | 7 | 40 | 13 | 21 | 63k|4642 | 0.000000e+00 | -- | Inf
1249.51/1249.90 c 1190s| 3470k|362712 | 7342k| 217M| 36 | 5 | 40 | 248 | 9 | 40 | 13 | 21 | 63k|4646 | 0.000000e+00 | -- | Inf
1253.12/1253.59 c 1193s| 3480k|364012 | 7364k| 217M| 36 | - | 40 | 186 | 7 | 40 | 13 | 21 | 64k|4650 | 0.000000e+00 | -- | Inf
1256.91/1257.31 c 1197s| 3490k|365409 | 7387k| 218M| 36 | 5 | 40 | 202 | 7 | 40 | 13 | 21 | 64k|4654 | 0.000000e+00 | -- | Inf
1260.61/1261.01 c 1200s| 3500k|367155 | 7410k| 219M| 36 | 5 | 40 | 232 | 14 | 40 | 13 | 21 | 64k|4660 | 0.000000e+00 | -- | Inf
1264.31/1264.73 c 1204s| 3510k|368634 | 7434k| 220M| 36 | 5 | 40 | 250 | 6 | 40 | 13 | 21 | 64k|4664 | 0.000000e+00 | -- | Inf
1268.10/1268.55 c 1207s| 3520k|369507 | 7458k| 220M| 36 | 5 | 40 | 198 | 7 | 40 | 13 | 21 | 64k|4675 | 0.000000e+00 | -- | Inf
1271.90/1272.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.90/1272.32 c 1211s| 3530k|370681 | 7481k| 221M| 36 | 5 | 40 | 216 | 5 | 40 | 13 | 21 | 64k|4685 | 0.000000e+00 | -- | Inf
1275.61/1276.08 c 1215s| 3540k|371687 | 7505k| 222M| 36 | 5 | 40 | 253 | 28 | 40 | 13 | 21 | 64k|4691 | 0.000000e+00 | -- | Inf
1279.40/1279.84 c 1218s| 3550k|372705 | 7527k| 222M| 36 | 5 | 40 | 224 | 13 | 40 | 13 | 21 | 65k|4694 | 0.000000e+00 | -- | Inf
1283.20/1283.65 c 1222s| 3560k|373448 | 7550k| 223M| 36 | - | 40 | 225 | 5 | 40 | 13 | 21 | 65k|4699 | 0.000000e+00 | -- | Inf
1287.00/1287.41 c 1225s| 3570k|374210 | 7573k| 223M| 36 | - | 40 | 226 | 5 | 40 | 13 | 21 | 65k|4706 | 0.000000e+00 | -- | Inf
1290.60/1291.09 c 1229s| 3580k|375554 | 7596k| 224M| 36 | - | 40 | 317 | 7 | 0 | 0 | 21 | 65k|4713 | 0.000000e+00 | -- | Inf
1294.40/1294.86 c 1232s| 3590k|376543 | 7618k| 225M| 36 | 5 | 40 | 319 | 10 | 40 | 13 | 21 | 65k|4719 | 0.000000e+00 | -- | Inf
1298.30/1298.77 c 1236s| 3600k|376997 | 7641k| 225M| 36 | 5 | 40 | 255 | 6 | 40 | 13 | 21 | 66k|4730 | 0.000000e+00 | -- | Inf
1302.19/1302.62 c 1240s| 3610k|377634 | 7665k| 225M| 36 | - | 40 | 253 | 5 | 40 | 13 | 21 | 66k|4736 | 0.000000e+00 | -- | Inf
1305.99/1306.48 c 1244s| 3620k|377934 | 7687k| 226M| 36 | 5 | 40 | 244 | 6 | 40 | 13 | 21 | 66k|4743 | 0.000000e+00 | -- | Inf
1309.89/1310.32 c 1247s| 3630k|378938 | 7711k| 226M| 36 | 5 | 40 | 250 | 7 | 40 | 13 | 21 | 66k|4749 | 0.000000e+00 | -- | Inf
1313.60/1314.03 c 1251s| 3640k|380939 | 7734k| 227M| 36 | 5 | 40 | 264 | 6 | 40 | 13 | 21 | 66k|4755 | 0.000000e+00 | -- | Inf
1317.40/1317.83 c 1254s| 3650k|382247 | 7757k| 228M| 36 | 5 | 40 | 297 | 10 | 40 | 13 | 21 | 66k|4762 | 0.000000e+00 | -- | Inf
1321.29/1321.73 c 1258s| 3660k|383268 | 7781k| 229M| 36 | 5 | 40 | 312 | 5 | 40 | 13 | 21 | 67k|4766 | 0.000000e+00 | -- | Inf
1325.10/1325.55 c 1262s| 3670k|384341 | 7804k| 229M| 36 | - | 40 | 344 | 6 | 40 | 13 | 21 | 67k|4773 | 0.000000e+00 | -- | Inf
1328.99/1329.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.99/1329.41 c 1265s| 3680k|385175 | 7827k| 230M| 36 | 5 | 40 | 358 | 5 | 40 | 13 | 21 | 67k|4778 | 0.000000e+00 | -- | Inf
1332.99/1333.44 c 1269s| 3690k|385454 | 7850k| 230M| 36 | 5 | 40 | 336 | 10 | 40 | 13 | 21 | 67k|4782 | 0.000000e+00 | -- | Inf
1336.89/1337.39 c 1273s| 3700k|385917 | 7874k| 231M| 36 | - | 40 | 268 | 5 | 40 | 13 | 21 | 67k|4786 | 0.000000e+00 | -- | Inf
1340.79/1341.27 c 1277s| 3710k|386308 | 7896k| 231M| 36 | - | 40 | 261 | 5 | 40 | 13 | 21 | 68k|4790 | 0.000000e+00 | -- | Inf
1344.68/1345.14 c 1280s| 3720k|386882 | 7920k| 231M| 36 | - | 40 | 276 | 5 | 40 | 13 | 21 | 68k|4796 | 0.000000e+00 | -- | Inf
1348.49/1348.92 c 1284s| 3730k|387628 | 7942k| 232M| 36 | 5 | 40 | 312 | 5 | 40 | 13 | 21 | 68k|4802 | 0.000000e+00 | -- | Inf
1352.39/1352.85 c 1288s| 3740k|388075 | 7965k| 232M| 36 | 5 | 40 | 248 | 5 | 40 | 13 | 21 | 68k|4808 | 0.000000e+00 | -- | Inf
1356.28/1356.72 c 1291s| 3750k|388684 | 7988k| 233M| 36 | 5 | 40 | 204 | 5 | 40 | 13 | 21 | 68k|4814 | 0.000000e+00 | -- | Inf
1360.08/1360.54 c 1295s| 3760k|389161 | 8010k| 233M| 36 | - | 40 | 167 | 5 | 40 | 13 | 21 | 69k|4823 | 0.000000e+00 | -- | Inf
1363.87/1364.31 c 1299s| 3770k|389420 | 8030k| 233M| 36 | 5 | 40 | 104 | 9 | 40 | 13 | 21 | 69k|4829 | 0.000000e+00 | -- | Inf
1367.58/1368.06 c 1302s| 3780k|390178 | 8052k| 234M| 36 | 5 | 40 | 201 | 11 | 40 | 13 | 21 | 69k|4833 | 0.000000e+00 | -- | Inf
1371.28/1371.76 c 1306s| 3790k|390607 | 8073k| 234M| 36 | 5 | 40 | 157 | 5 | 40 | 13 | 21 | 69k|4836 | 0.000000e+00 | -- | Inf
1375.07/1375.53 c 1309s| 3800k|391032 | 8094k| 234M| 36 | 5 | 40 | 111 | 5 | 40 | 13 | 21 | 69k|4842 | 0.000000e+00 | -- | Inf
1378.77/1379.23 c 1313s| 3810k|391524 | 8115k| 235M| 36 | 5 | 40 | 115 | 5 | 40 | 13 | 21 | 69k|4846 | 0.000000e+00 | -- | Inf
1382.47/1382.99 c 1316s| 3820k|391911 | 8136k| 235M| 36 | 5 | 40 | 129 | 5 | 40 | 13 | 21 | 70k|4851 | 0.000000e+00 | -- | Inf
1386.27/1386.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.27/1386.71 c 1320s| 3830k|392417 | 8157k| 236M| 36 | 5 | 40 | 133 | 9 | 40 | 13 | 21 | 70k|4858 | 0.000000e+00 | -- | Inf
1390.07/1390.52 c 1324s| 3840k|392694 | 8179k| 236M| 36 | - | 40 | 168 | 10 | 40 | 13 | 21 | 70k|4873 | 0.000000e+00 | -- | Inf
1393.77/1394.24 c 1327s| 3850k|393158 | 8199k| 236M| 36 | 5 | 40 | 131 | 5 | 40 | 13 | 21 | 70k|4877 | 0.000000e+00 | -- | Inf
1397.57/1398.04 c 1331s| 3860k|393667 | 8221k| 237M| 36 | 5 | 40 | 134 | 5 | 40 | 13 | 21 | 70k|4884 | 0.000000e+00 | -- | Inf
1401.37/1401.82 c 1334s| 3870k|394123 | 8243k| 237M| 36 | - | 40 | 126 | 5 | 40 | 13 | 21 | 71k|4894 | 0.000000e+00 | -- | Inf
1404.97/1405.49 c 1338s| 3880k|394650 | 8264k| 237M| 36 | 5 | 40 | 130 | 5 | 40 | 13 | 21 | 71k|4899 | 0.000000e+00 | -- | Inf
1408.77/1409.23 c 1341s| 3890k|395425 | 8286k| 238M| 36 | - | 40 | 185 | 6 | 40 | 13 | 21 | 71k|4910 | 0.000000e+00 | -- | Inf
1412.66/1413.10 c 1345s| 3900k|395730 | 8309k| 238M| 36 | - | 40 | 161 | 6 | 40 | 13 | 21 | 71k|4920 | 0.000000e+00 | -- | Inf
1416.37/1416.83 c 1349s| 3910k|396279 | 8330k| 239M| 36 | - | 40 | 153 | 5 | 0 | 0 | 21 | 71k|4923 | 0.000000e+00 | -- | Inf
1420.07/1420.54 c 1352s| 3920k|398104 | 8353k| 240M| 36 | - | 40 | 176 | 5 | 40 | 13 | 21 | 71k|4930 | 0.000000e+00 | -- | Inf
1423.76/1424.24 c 1356s| 3930k|399586 | 8377k| 240M| 36 | 5 | 40 | 222 | 5 | 40 | 13 | 21 | 72k|4933 | 0.000000e+00 | -- | Inf
1427.56/1428.03 c 1359s| 3940k|400369 | 8400k| 241M| 36 | 5 | 40 | 196 | 6 | 40 | 13 | 21 | 72k|4938 | 0.000000e+00 | -- | Inf
1431.35/1431.84 c 1363s| 3950k|401080 | 8423k| 241M| 36 | - | 40 | 203 | 6 | 40 | 13 | 21 | 72k|4944 | 0.000000e+00 | -- | Inf
1435.06/1435.55 c 1366s| 3960k|401561 | 8444k| 242M| 36 | - | 40 | 135 | 5 | 40 | 13 | 21 | 72k|4948 | 0.000000e+00 | -- | Inf
1438.75/1439.28 c 1370s| 3970k|401836 | 8466k| 242M| 36 | - | 40 | 140 | 5 | 40 | 13 | 21 | 72k|4953 | 0.000000e+00 | -- | Inf
1442.45/1442.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.45/1442.97 c 1373s| 3980k|403469 | 8489k| 243M| 36 | 5 | 40 | 152 | 7 | 40 | 13 | 21 | 73k|4960 | 0.000000e+00 | -- | Inf
1446.15/1446.63 c 1377s| 3990k|405392 | 8512k| 244M| 36 | 5 | 40 | 202 | 5 | 40 | 13 | 21 | 73k|4965 | 0.000000e+00 | -- | Inf
1449.75/1450.28 c 1380s| 4000k|407178 | 8536k| 245M| 36 | - | 40 | 273 | 6 | 40 | 13 | 21 | 73k|4971 | 0.000000e+00 | -- | Inf
1453.55/1454.10 c 1384s| 4010k|408157 | 8559k| 245M| 36 | - | 40 | 218 | 5 | 40 | 13 | 21 | 73k|4974 | 0.000000e+00 | -- | Inf
1457.36/1457.85 c 1388s| 4020k|409432 | 8583k| 246M| 36 | 5 | 40 | 232 | 6 | 40 | 13 | 21 | 73k|4983 | 0.000000e+00 | -- | Inf
1461.06/1461.58 c 1391s| 4030k|410617 | 8607k| 247M| 36 | - | 40 | 245 | 5 | 40 | 13 | 21 | 73k|4986 | 0.000000e+00 | -- | Inf
1464.85/1465.36 c 1395s| 4040k|411368 | 8630k| 247M| 36 | 5 | 40 | 218 | 10 | 40 | 13 | 21 | 73k|4990 | 0.000000e+00 | -- | Inf
1468.65/1469.15 c 1398s| 4050k|412335 | 8654k| 248M| 36 | 5 | 40 | 286 | 7 | 40 | 13 | 21 | 74k|4999 | 0.000000e+00 | -- | Inf
1472.55/1473.04 c 1402s| 4060k|412943 | 8677k| 248M| 36 | 5 | 40 | 247 | 6 | 40 | 13 | 21 | 74k|5006 | 0.000000e+00 | -- | Inf
1476.34/1476.84 c 1406s| 4070k|413903 | 8701k| 249M| 36 | 5 | 40 | 247 | 7 | 40 | 13 | 21 | 74k|5016 | 0.000000e+00 | -- | Inf
1480.25/1480.71 c 1409s| 4080k|414408 | 8724k| 249M| 36 | - | 40 | 223 | 5 | 40 | 13 | 21 | 74k|5023 | 0.000000e+00 | -- | Inf
1484.04/1484.52 c 1413s| 4090k|415299 | 8749k| 250M| 36 | - | 40 | 275 | 5 | 0 | 0 | 21 | 74k|5026 | 0.000000e+00 | -- | Inf
1487.85/1488.32 c 1417s| 4100k|416268 | 8773k| 251M| 36 | 5 | 40 | 317 | 14 | 40 | 13 | 21 | 74k|5031 | 0.000000e+00 | -- | Inf
1491.64/1492.20 c 1420s| 4110k|417064 | 8798k| 251M| 36 | 5 | 40 | 344 | 8 | 40 | 13 | 21 | 75k|5037 | 0.000000e+00 | -- | Inf
1495.64/1496.12 c 1424s| 4120k|417312 | 8821k| 251M| 36 | 5 | 40 | 252 | 6 | 40 | 13 | 21 | 75k|5047 | 0.000000e+00 | -- | Inf
1499.54/1500.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.54/1500.02 c 1428s| 4130k|417947 | 8844k| 252M| 36 | - | 40 | 287 | 5 | 40 | 13 | 21 | 75k|5053 | 0.000000e+00 | -- | Inf
1503.44/1503.94 c 1432s| 4140k|418162 | 8868k| 252M| 36 | 5 | 40 | 272 | 5 | 40 | 13 | 21 | 75k|5060 | 0.000000e+00 | -- | Inf
1507.34/1507.89 c 1435s| 4150k|418446 | 8892k| 253M| 36 | - | 40 | 297 | 4 | 0 | 0 | 21 | 76k|5076 | 0.000000e+00 | -- | Inf
1511.34/1511.84 c 1439s| 4160k|418785 | 8915k| 253M| 36 | - | 40 | 278 | 5 | 0 | 0 | 21 | 76k|5086 | 0.000000e+00 | -- | Inf
1515.14/1515.69 c 1443s| 4170k|419910 | 8939k| 254M| 36 | - | 40 | 273 | 6 | 40 | 13 | 21 | 76k|5094 | 0.000000e+00 | -- | Inf
1518.84/1519.30 c 1446s| 4180k|421242 | 8960k| 254M| 36 | - | 40 | 336 | 5 | 40 | 13 | 21 | 76k|5099 | 0.000000e+00 | -- | Inf
1522.43/1522.99 c 1450s| 4190k|421962 | 8981k| 255M| 36 | 5 | 40 | 354 | 6 | 40 | 13 | 21 | 77k|5107 | 0.000000e+00 | -- | Inf
1526.24/1526.76 c 1453s| 4200k|422297 | 9002k| 255M| 36 | - | 40 | 208 | 10 | 40 | 13 | 21 | 77k|5113 | 0.000000e+00 | -- | Inf
1530.13/1530.64 c 1457s| 4210k|422660 | 9025k| 255M| 36 | - | 40 | 172 | 5 | 40 | 13 | 21 | 77k|5117 | 0.000000e+00 | -- | Inf
1533.83/1534.37 c 1461s| 4220k|423344 | 9047k| 256M| 36 | - | 40 | 163 | 5 | 40 | 13 | 21 | 77k|5128 | 0.000000e+00 | -- | Inf
1537.53/1538.07 c 1464s| 4230k|423895 | 9069k| 256M| 36 | 5 | 40 | 137 | 6 | 40 | 13 | 21 | 77k|5131 | 0.000000e+00 | -- | Inf
1541.22/1541.74 c 1468s| 4240k|424718 | 9090k| 257M| 36 | 5 | 40 | 199 | 5 | 40 | 13 | 21 | 77k|5140 | 0.000000e+00 | -- | Inf
1544.93/1545.44 c 1471s| 4250k|425303 | 9112k| 257M| 36 | 5 | 40 | 186 | 17 | 40 | 13 | 21 | 78k|5154 | 0.000000e+00 | -- | Inf
1548.73/1549.20 c 1475s| 4260k|425651 | 9133k| 258M| 36 | 5 | 40 | 136 | 10 | 40 | 13 | 21 | 78k|5166 | 0.000000e+00 | -- | Inf
1552.42/1552.90 c 1478s| 4270k|426166 | 9155k| 258M| 36 | - | 40 | 142 | 5 | 40 | 13 | 21 | 78k|5170 | 0.000000e+00 | -- | Inf
1556.03/1556.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.03/1556.56 c 1482s| 4280k|426892 | 9176k| 258M| 36 | - | 40 | 174 | 86 | 0 | 0 | 21 | 78k|5177 | 0.000000e+00 | -- | Inf
1559.72/1560.25 c 1485s| 4290k|427457 | 9196k| 259M| 36 | - | 40 | 201 | 9 | 0 | 0 | 21 | 79k|5186 | 0.000000e+00 | -- | Inf
1563.52/1564.05 c 1489s| 4300k|427792 | 9218k| 259M| 36 | 5 | 40 | 134 | 5 | 40 | 13 | 21 | 79k|5194 | 0.000000e+00 | -- | Inf
1567.22/1567.77 c 1492s| 4310k|428108 | 9239k| 259M| 36 | - | 40 | 110 | 6 | 40 | 13 | 21 | 79k|5200 | 0.000000e+00 | -- | Inf
1571.02/1571.53 c 1496s| 4320k|428679 | 9261k| 260M| 36 | 5 | 40 | 163 | 12 | 40 | 13 | 21 | 79k|5205 | 0.000000e+00 | -- | Inf
1574.72/1575.29 c 1500s| 4330k|429112 | 9283k| 260M| 36 | - | 40 | 140 | 6 | 40 | 13 | 21 | 79k|5209 | 0.000000e+00 | -- | Inf
1578.52/1579.00 c 1503s| 4340k|429829 | 9304k| 261M| 36 | 5 | 40 | 184 | 8 | 40 | 13 | 21 | 79k|5212 | 0.000000e+00 | -- | Inf
1582.32/1582.81 c 1507s| 4350k|430528 | 9326k| 261M| 36 | - | 40 | 218 | 6 | 40 | 13 | 21 | 80k|5217 | 0.000000e+00 | -- | Inf
1585.91/1586.47 c 1510s| 4360k|431156 | 9346k| 262M| 36 | 5 | 40 | 155 | 5 | 40 | 13 | 21 | 80k|5222 | 0.000000e+00 | -- | Inf
1589.62/1590.14 c 1514s| 4370k|431491 | 9367k| 262M| 36 | 5 | 40 | 144 | 5 | 40 | 13 | 21 | 80k|5225 | 0.000000e+00 | -- | Inf
1593.42/1593.93 c 1517s| 4380k|431712 | 9388k| 262M| 36 | 5 | 40 | 147 | 5 | 40 | 13 | 21 | 80k|5231 | 0.000000e+00 | -- | Inf
1597.11/1597.69 c 1521s| 4390k|432434 | 9410k| 263M| 36 | 5 | 40 | 229 | 5 | 40 | 13 | 21 | 81k|5234 | 0.000000e+00 | -- | Inf
1600.81/1601.33 c 1524s| 4400k|432987 | 9430k| 263M| 36 | - | 40 | 238 | 5 | 0 | 0 | 21 | 81k|5238 | 0.000000e+00 | -- | Inf
1604.51/1605.05 c 1528s| 4410k|433262 | 9451k| 263M| 36 | - | 40 | 143 | 5 | 40 | 13 | 21 | 81k|5246 | 0.000000e+00 | -- | Inf
1608.31/1608.82 c 1532s| 4420k|433523 | 9473k| 264M| 36 | - | 40 | 131 | 5 | 40 | 13 | 21 | 81k|5253 | 0.000000e+00 | -- | Inf
1611.91/1612.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.91/1612.41 c 1535s| 4430k|434028 | 9493k| 264M| 36 | 5 | 40 | 159 | 12 | 40 | 13 | 21 | 81k|5256 | 0.000000e+00 | -- | Inf
1615.61/1616.14 c 1538s| 4440k|434453 | 9514k| 264M| 36 | - | 40 | 149 | 5 | 40 | 13 | 21 | 82k|5261 | 0.000000e+00 | -- | Inf
1619.40/1619.92 c 1542s| 4450k|435622 | 9537k| 265M| 36 | - | 40 | 240 | 5 | 40 | 13 | 21 | 82k|5270 | 0.000000e+00 | -- | Inf
1623.20/1623.71 c 1546s| 4460k|436261 | 9560k| 266M| 36 | 5 | 40 | 334 | 5 | 40 | 13 | 21 | 82k|5275 | 0.000000e+00 | -- | Inf
1627.10/1627.62 c 1549s| 4470k|436651 | 9583k| 266M| 36 | 5 | 40 | 367 | 36 | 40 | 13 | 21 | 82k|5280 | 0.000000e+00 | -- | Inf
1630.90/1631.44 c 1553s| 4480k|437013 | 9605k| 266M| 36 | 5 | 40 | 183 | 5 | 40 | 13 | 21 | 83k|5286 | 0.000000e+00 | -- | Inf
1634.80/1635.31 c 1557s| 4490k|437183 | 9627k| 266M| 36 | 5 | 40 | 173 | 5 | 40 | 13 | 21 | 83k|5295 | 0.000000e+00 | -- | Inf
1638.61/1639.11 c 1560s| 4500k|437545 | 9648k| 267M| 36 | - | 40 | 160 | 5 | 40 | 13 | 21 | 83k|5299 | 0.000000e+00 | -- | Inf
1642.30/1642.85 c 1564s| 4510k|437884 | 9669k| 267M| 36 | 5 | 40 | 129 | 5 | 40 | 13 | 21 | 83k|5304 | 0.000000e+00 | -- | Inf
1646.00/1646.52 c 1568s| 4520k|438377 | 9690k| 267M| 36 | 5 | 40 | 169 | 5 | 40 | 13 | 21 | 84k|5311 | 0.000000e+00 | -- | Inf
1649.60/1650.19 c 1571s| 4530k|438900 | 9711k| 268M| 36 | - | 40 | 199 | 7 | 40 | 13 | 21 | 84k|5317 | 0.000000e+00 | -- | Inf
1653.39/1653.94 c 1575s| 4540k|439651 | 9732k| 268M| 36 | 5 | 40 | 174 | 5 | 40 | 13 | 21 | 84k|5322 | 0.000000e+00 | -- | Inf
1657.10/1657.62 c 1578s| 4550k|440965 | 9755k| 269M| 36 | - | 40 | 250 | 8 | 40 | 13 | 21 | 84k|5324 | 0.000000e+00 | -- | Inf
1660.79/1661.35 c 1582s| 4560k|441894 | 9777k| 270M| 36 | 5 | 40 | 255 | 6 | 40 | 13 | 21 | 84k|5330 | 0.000000e+00 | -- | Inf
1664.59/1665.11 c 1585s| 4570k|442437 | 9799k| 270M| 36 | 5 | 40 | 214 | 5 | 40 | 13 | 21 | 84k|5344 | 0.000000e+00 | -- | Inf
1668.29/1668.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.29/1668.85 c 1589s| 4580k|442787 | 9821k| 270M| 36 | - | 40 | 232 | 6 | 40 | 13 | 21 | 85k|5350 | 0.000000e+00 | -- | Inf
1672.09/1672.63 c 1592s| 4590k|443091 | 9842k| 271M| 36 | - | 40 | 247 | 5 | 40 | 13 | 21 | 85k|5355 | 0.000000e+00 | -- | Inf
1675.90/1676.48 c 1596s| 4600k|443298 | 9864k| 271M| 36 | - | 40 | 251 | 6 | 0 | 0 | 21 | 85k|5366 | 0.000000e+00 | -- | Inf
1679.78/1680.32 c 1600s| 4610k|443594 | 9886k| 271M| 36 | 5 | 40 | 217 | 5 | 40 | 13 | 21 | 85k|5374 | 0.000000e+00 | -- | Inf
1683.39/1684.00 c 1603s| 4620k|444331 | 9907k| 272M| 36 | 5 | 40 | 242 | 6 | 40 | 13 | 21 | 86k|5379 | 0.000000e+00 | -- | Inf
1687.18/1687.77 c 1607s| 4630k|444635 | 9928k| 272M| 36 | 5 | 40 | 165 | 17 | 40 | 13 | 21 | 86k|5387 | 0.000000e+00 | -- | Inf
1690.98/1691.56 c 1610s| 4640k|444964 | 9950k| 272M| 36 | - | 40 | 155 | 10 | 40 | 13 | 21 | 86k|5393 | 0.000000e+00 | -- | Inf
1694.89/1695.43 c 1614s| 4650k|445370 | 9973k| 273M| 36 | - | 40 | 145 | 6 | 0 | 0 | 21 | 86k|5397 | 0.000000e+00 | -- | Inf
1698.68/1699.21 c 1618s| 4660k|445810 | 9994k| 273M| 36 | - | 40 | 203 | 11 | 0 | 0 | 21 | 86k|5401 | 0.000000e+00 | -- | Inf
1702.48/1703.07 c 1621s| 4670k|446185 | 10016k| 273M| 36 | - | 40 | 202 | 6 | 0 | 0 | 21 | 87k|5405 | 0.000000e+00 | -- | Inf
1706.28/1706.89 c 1625s| 4680k|446619 | 10039k| 274M| 36 | - | 40 | 242 | 5 | 40 | 13 | 21 | 87k|5414 | 0.000000e+00 | -- | Inf
1710.18/1710.74 c 1629s| 4690k|446855 | 10061k| 274M| 36 | 5 | 40 | 175 | 5 | 40 | 13 | 21 | 87k|5420 | 0.000000e+00 | -- | Inf
1713.98/1714.57 c 1632s| 4700k|448009 | 10084k| 275M| 36 | 5 | 40 | 256 | 7 | 40 | 13 | 21 | 87k|5426 | 0.000000e+00 | -- | Inf
1717.87/1718.49 c 1636s| 4710k|448377 | 10107k| 275M| 36 | 5 | 40 | 216 | 5 | 40 | 13 | 21 | 88k|5431 | 0.000000e+00 | -- | Inf
1721.77/1722.39 c 1640s| 4720k|448485 | 10129k| 275M| 36 | - | 40 | 137 | 6 | 40 | 13 | 21 | 88k|5439 | 0.000000e+00 | -- | Inf
1725.68/1726.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.68/1726.26 c 1644s| 4730k|448721 | 10152k| 275M| 36 | - | 40 | 137 | 42 | 0 | 0 | 21 | 88k|5446 | 0.000000e+00 | -- | Inf
1729.47/1730.00 c 1647s| 4740k|449060 | 10173k| 276M| 36 | 5 | 40 | 191 | 7 | 40 | 13 | 21 | 88k|5450 | 0.000000e+00 | -- | Inf
1733.27/1733.83 c 1651s| 4750k|449374 | 10194k| 276M| 36 | 5 | 40 | 113 | 5 | 40 | 13 | 21 | 88k|5455 | 0.000000e+00 | -- | Inf
1736.97/1737.57 c 1654s| 4760k|449696 | 10215k| 276M| 36 | 5 | 40 | 133 | 5 | 40 | 13 | 21 | 89k|5465 | 0.000000e+00 | -- | Inf
1740.57/1741.18 c 1658s| 4770k|450498 | 10235k| 277M| 36 | - | 40 | 218 | 5 | 40 | 13 | 21 | 89k|5475 | 0.000000e+00 | -- | Inf
1744.26/1744.82 c 1661s| 4780k|450764 | 10255k| 277M| 36 | 5 | 40 | 151 | 5 | 40 | 13 | 21 | 89k|5481 | 0.000000e+00 | -- | Inf
1747.96/1748.51 c 1665s| 4790k|451244 | 10276k| 278M| 36 | - | 40 | 156 | 5 | 0 | 0 | 21 | 89k|5486 | 0.000000e+00 | -- | Inf
1751.77/1752.33 c 1668s| 4800k|451379 | 10297k| 278M| 36 | 5 | 40 | 125 | 5 | 40 | 13 | 21 | 90k|5486 | 0.000000e+00 | -- | Inf
1755.46/1756.06 c 1672s| 4810k|451742 | 10318k| 278M| 36 | - | 40 | 121 | 5 | 40 | 13 | 21 | 90k|5489 | 0.000000e+00 | -- | Inf
1759.26/1759.81 c 1675s| 4820k|452588 | 10339k| 279M| 36 | 5 | 40 | 231 | 22 | 40 | 13 | 21 | 90k|5493 | 0.000000e+00 | -- | Inf
1763.06/1763.63 c 1679s| 4830k|452795 | 10361k| 279M| 36 | 5 | 40 | 116 | 5 | 40 | 13 | 21 | 90k|5498 | 0.000000e+00 | -- | Inf
1766.76/1767.38 c 1683s| 4840k|453266 | 10384k| 279M| 36 | - | 40 | 149 | 8 | 40 | 13 | 21 | 90k|5504 | 0.000000e+00 | -- | Inf
1770.25/1770.89 c 1686s| 4850k|454020 | 10404k| 280M| 36 | 5 | 40 | 158 | 5 | 40 | 13 | 21 | 91k|5509 | 0.000000e+00 | -- | Inf
1774.05/1774.61 c 1690s| 4860k|454403 | 10425k| 280M| 36 | 5 | 40 | 191 | 5 | 40 | 13 | 21 | 91k|5514 | 0.000000e+00 | -- | Inf
1777.86/1778.42 c 1693s| 4870k|455026 | 10447k| 281M| 36 | - | 40 | 227 | 5 | 40 | 13 | 21 | 91k|5517 | 0.000000e+00 | -- | Inf
1781.55/1782.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.55/1782.12 c 1697s| 4880k|455563 | 10467k| 281M| 36 | 5 | 40 | 215 | 5 | 40 | 13 | 21 | 91k|5524 | 0.000000e+00 | -- | Inf
1785.35/1785.91 c 1700s| 4890k|456124 | 10490k| 281M| 36 | 5 | 40 | 162 | 5 | 40 | 13 | 21 | 91k|5532 | 0.000000e+00 | -- | Inf
1788.95/1789.58 c 1704s| 4900k|456545 | 10510k| 282M| 36 | - | 40 | 162 | 5 | 40 | 13 | 21 | 92k|5540 | 0.000000e+00 | -- | Inf
1792.75/1793.31 c 1707s| 4910k|456855 | 10531k| 282M| 36 | 5 | 40 | 116 | 5 | 40 | 13 | 21 | 92k|5542 | 0.000000e+00 | -- | Inf
1796.55/1797.10 c 1711s| 4920k|456906 | 10552k| 282M| 36 | - | 40 | 136 | 5 | 40 | 13 | 21 | 92k|5548 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1714.36
1800.05/1800.61 c Solving Nodes : 4929334
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c NODE 4929334
1800.05/1800.61 c DUAL BOUND 0
1800.05/1800.61 c PRIMAL BOUND 1e+20
1800.05/1800.61 c GAP 1e+20
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1714.36
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-1869497-1245174848.opb
1800.05/1800.61 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 11 initial, 11 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-1869497-1245174848.opb
1800.05/1800.61 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 5 initial, 457 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 6 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 2703220 0 924 2726 0 0 5399296
1800.05/1800.61 c linear : 5 6 6486896 0 0 533888 6314337 0 0 0
1800.05/1800.61 c logicor : 0+ 0 2433837 0 0 211 54446 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 27.75 0.00 0.00 27.75 0.00
1800.05/1800.61 c linear : 232.39 0.00 232.39 0.00 0.00
1800.05/1800.61 c logicor : 17.23 0.00 17.23 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c rootredcost : 2.52 0 0 0
1800.05/1800.61 c pseudoobj : 1.94 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 29.47 534099 85123 153095 30.0 0 0.0 -
1800.05/1800.61 c infeasible LP : 14.44 1708622 5658 6729 17.7 2 32.5 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 66000 27.0 - - -
1800.05/1800.61 c applied locally : - - - 26593 31.9 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 32 - (maximal pool size: 113)
1800.05/1800.61 c redcost : 5.19 2703225 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 6 0 0 42 0
1800.05/1800.61 c cmir : 0.01 6 0 0 44 0
1800.05/1800.61 c flowcover : 0.02 6 0 0 51 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 24.99 2703220 924 2726 0 0 5399296
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c oneopt : 2.20 0 0
1800.05/1800.61 c crossover : 1.35 0 0
1800.05/1800.61 c guideddiving : 0.36 0 0
1800.05/1800.61 c rootsoldiving : 0.27 53 0
1800.05/1800.61 c feaspump : 0.35 53 0
1800.05/1800.61 c coefdiving : 0.38 106 0
1800.05/1800.61 c pscostdiving : 0.29 106 0
1800.05/1800.61 c linesearchdiving : 0.29 106 0
1800.05/1800.61 c fracdiving : 0.31 106 0
1800.05/1800.61 c veclendiving : 0.31 106 0
1800.05/1800.61 c objpscostdiving : 0.29 54 0
1800.05/1800.61 c simplerounding : 1.58 0 0
1800.05/1800.61 c rounding : 2.03 23333 0
1800.05/1800.61 c shifting : 3.60 6780 0
1800.05/1800.61 c intshifting : 0.10 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.03 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 1076.67 4427873 10568713 2.39 9816.11
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.41 1852 3334 1.80 8131.71
1800.05/1800.61 c strong branching : 1.05 5556 29319 5.28 27922.86
1800.05/1800.61 c (at root node) : - 13 309 23.77 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 4929334
1800.05/1800.61 c nodes (total) : 4929334
1800.05/1800.61 c nodes left : 457168
1800.05/1800.61 c max depth : 36
1800.05/1800.61 c max depth (total): 36
1800.05/1800.61 c backtracks : 1037872 (21.1%)
1800.05/1800.61 c delayed cutoffs : 12795
1800.05/1800.61 c repropagations : 74576 (133989 domain reductions, 12731 cutoffs)
1800.05/1800.61 c avg switch length: 4.96
1800.05/1800.61 c switching time : 145.12
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869497-1245174848/watcher-1869497-1245174848 -o /tmp/evaluation-result-1869497-1245174848/solver-1869497-1245174848 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869497-1245174848.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.91 0.95 0.98 3/64 4047
/proc/meminfo: memFree=1844584/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=5812 CPUtime=0
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 521 0 0 0 0 0 0 0 18 0 1 0 185085417 5951488 505 1992294400 4194304 9342243 548682068736 18446744073709551615 8143668 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 1454 516 345 1256 0 193 0
[startup+0.03268 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 4047
/proc/meminfo: memFree=1844584/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=14108 CPUtime=0.02
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 2840 0 0 0 1 1 0 0 18 0 1 0 185085417 14446592 2470 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 3527 2470 659 1256 0 2266 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14108
[startup+0.101687 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 4047
/proc/meminfo: memFree=1844584/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=22748 CPUtime=0.09
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 4431 0 0 0 7 2 0 0 18 0 1 0 185085417 23293952 4061 1992294400 4194304 9342243 548682068736 18446744073709551615 4401598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 5687 4061 676 1256 0 4426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22748
[startup+0.30171 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 4047
/proc/meminfo: memFree=1844584/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=15704 CPUtime=0.29
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 4502 0 0 0 27 2 0 0 19 0 1 0 185085417 16080896 2619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 3926 2619 692 1256 0 2665 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15704
[startup+0.701756 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 4047
/proc/meminfo: memFree=1844584/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=15704 CPUtime=0.69
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 4544 0 0 0 65 4 0 0 22 0 1 0 185085417 16080896 2661 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 3926 2661 692 1256 0 2665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15704
[startup+1.50185 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 4048
/proc/meminfo: memFree=1836384/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=16052 CPUtime=1.49
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 4655 0 0 0 141 8 0 0 25 0 1 0 185085417 16437248 2772 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 4013 2772 692 1256 0 2752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16052
[startup+3.10104 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 4048
/proc/meminfo: memFree=1835744/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=17604 CPUtime=3.09
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 4875 0 0 0 293 16 0 0 25 0 1 0 185085417 18026496 2992 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 4401 2992 692 1256 0 3140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17604
[startup+6.30141 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 4048
/proc/meminfo: memFree=1833568/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=19252 CPUtime=6.28
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 5251 0 0 0 597 31 0 0 25 0 1 0 185085417 19714048 3368 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 4813 3368 692 1256 0 3552 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19252
[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 4048
/proc/meminfo: memFree=1831392/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=21616 CPUtime=12.69
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 5802 0 0 0 1204 65 0 0 25 0 1 0 185085417 22134784 3919 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 5404 3919 692 1256 0 4143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21616
[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 4048
/proc/meminfo: memFree=1827936/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=25408 CPUtime=25.48
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 6741 0 0 0 2420 128 0 0 25 0 1 0 185085417 26017792 4858 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 6352 4858 692 1256 0 5091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25408
[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 4048
/proc/meminfo: memFree=1821024/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=32364 CPUtime=51.07
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 8499 0 0 0 4849 258 0 0 25 0 1 0 185085417 33140736 6616 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 8091 6616 692 1256 0 6830 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32364
[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 4048
/proc/meminfo: memFree=1808928/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=44128 CPUtime=102.26
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 11399 0 0 0 9718 508 0 0 25 0 1 0 185085417 45187072 9514 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 11032 9514 692 1256 0 9771 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44128
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4048
/proc/meminfo: memFree=1794592/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=60068 CPUtime=162.24
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 14967 0 0 0 15423 801 0 0 25 0 1 0 185085417 61509632 13082 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 15017 13082 692 1256 0 13756 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 60068
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4048
/proc/meminfo: memFree=1782240/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=71772 CPUtime=222.21
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 18042 0 0 0 21119 1102 0 0 25 0 1 0 185085417 73494528 16156 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 17943 16156 692 1256 0 16682 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 71772
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4048
/proc/meminfo: memFree=1769376/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=85592 CPUtime=282.2
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 21332 0 0 0 26822 1398 0 0 25 0 1 0 185085417 87646208 19446 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 21398 19446 692 1256 0 20137 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 85592
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4048
/proc/meminfo: memFree=1755360/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=99440 CPUtime=342.18
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 24731 0 0 0 32538 1680 0 0 25 0 1 0 185085417 101826560 22845 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 24860 22845 692 1256 0 23599 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99440
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4048
/proc/meminfo: memFree=1744288/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=109632 CPUtime=402.17
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 27522 0 0 0 38245 1972 0 0 25 0 1 0 185085417 112263168 25636 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 27408 25636 692 1256 0 26147 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 109632
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1732312/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=121760 CPUtime=462.14
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 30557 0 0 0 43952 2262 0 0 25 0 1 0 185085417 124682240 28671 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 30440 28671 692 1256 0 29179 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 121760
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1721560/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=136812 CPUtime=522.13
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 33114 0 0 0 49653 2560 0 0 25 0 1 0 185085417 140095488 31226 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 34203 31226 692 1256 0 32942 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 136812
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1709784/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=147792 CPUtime=582.11
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 36041 0 0 0 55362 2849 0 0 25 0 1 0 185085417 151339008 34153 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 36948 34153 692 1256 0 35687 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 147792
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1700888/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=156480 CPUtime=642.1
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 38243 0 0 0 61078 3132 0 0 25 0 1 0 185085417 160235520 36354 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 39120 36354 692 1256 0 37859 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 156480
[startup+702.302 s]
################
# More data... #
################
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 52397 0 0 0 95360 4839 0 0 25 0 1 0 185085417 217661440 50508 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 53140 50508 692 1256 0 51879 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 212560
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1636384/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=220288 CPUtime=1061.97
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 54259 0 0 0 101083 5114 0 0 25 0 1 0 185085417 225574912 52370 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 55072 52370 692 1256 0 53811 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 220288
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1628576/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=227956 CPUtime=1121.95
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 56193 0 0 0 106799 5396 0 0 25 0 1 0 185085417 233426944 54304 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 56989 54304 692 1256 0 55728 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 227956
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1622304/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=234752 CPUtime=1181.94
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 57883 0 0 0 112519 5675 0 0 25 0 1 0 185085417 240386048 55994 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 58688 55994 692 1256 0 57427 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 234752
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1615328/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=241388 CPUtime=1241.91
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 59534 0 0 0 118239 5952 0 0 25 0 1 0 185085417 247181312 57645 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 60347 57645 692 1256 0 59086 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 241388
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1604896/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=251824 CPUtime=1301.9
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 62056 0 0 0 123952 6238 0 0 25 0 1 0 185085417 257867776 60167 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 62956 60167 692 1256 0 61695 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 251824
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1597600/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=258760 CPUtime=1361.87
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 63857 0 0 0 129671 6516 0 0 25 0 1 0 185085417 264970240 61968 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 64690 61968 692 1256 0 63429 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 258760
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1590496/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=266576 CPUtime=1421.86
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 65621 0 0 0 135379 6807 0 0 25 0 1 0 185085417 272973824 63732 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 66644 63732 692 1256 0 65383 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 266576
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1580960/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=275924 CPUtime=1481.84
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 67987 0 0 0 141089 7095 0 0 25 0 1 0 185085417 282546176 66098 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 68981 66098 692 1256 0 67720 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 275924
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1572896/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=284020 CPUtime=1541.83
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 69997 0 0 0 146814 7369 0 0 25 0 1 0 185085417 290836480 68108 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 71005 68108 692 1256 0 69744 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 284020
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1566752/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=289924 CPUtime=1601.81
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 71523 0 0 0 152532 7649 0 0 25 0 1 0 185085417 296882176 69634 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 72481 69634 692 1256 0 71220 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 289924
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4054
/proc/meminfo: memFree=1559520/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=296476 CPUtime=1661.79
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 73297 0 0 0 158255 7924 0 0 25 0 1 0 185085417 303591424 71408 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 74119 71408 692 1256 0 72858 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 296476
[startup+1722.3 s]
/proc/loadavg: 1.05 0.99 0.98 2/65 4054
/proc/meminfo: memFree=1553888/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=302120 CPUtime=1721.77
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 74700 0 0 0 163975 8202 0 0 25 0 1 0 185085417 309370880 72811 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 75530 72811 692 1256 0 74269 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 302120
[startup+1782.3 s]
/proc/loadavg: 1.02 0.99 0.98 2/65 4054
/proc/meminfo: memFree=1548128/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=307612 CPUtime=1781.75
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 76089 0 0 0 169693 8482 0 0 25 0 1 0 185085417 314994688 74200 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 76903 74200 692 1256 0 75642 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 307612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.01 0.99 0.98 2/65 4054
/proc/meminfo: memFree=1547104/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=308560 CPUtime=1800.05
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 76345 0 0 0 171436 8569 0 0 25 0 1 0 185085417 315965440 74456 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4047/statm: 77140 74456 692 1256 0 75879 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 308560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4047
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 0.99 0.98 2/65 4054
/proc/meminfo: memFree=1547104/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=308560 CPUtime=1800.85
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 76346 0 0 0 171515 8570 0 0 25 0 1 0 185085417 315965440 74457 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 0 0 0
/proc/4047/statm: 77140 74457 693 1256 0 75879 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 308560
[startup+1802.2 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 4055
/proc/meminfo: memFree=1547096/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=308560 CPUtime=1801.64
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 76346 0 0 0 171594 8570 0 0 25 0 1 0 185085417 315965440 74457 1992294400 4194304 9342243 548682068736 18446744073709551615 5854303 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 77140 74457 693 1256 0 75879 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 308560
[startup+1802.6 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 4055
/proc/meminfo: memFree=1547096/2055920 swapFree=4192812/4192956
[pid=4047] ppid=4045 vsize=308560 CPUtime=1802.04
/proc/4047/stat : 4047 (pbscip.linux.x8) R 4045 4047 4010 0 -1 4194304 76346 0 0 0 171634 8570 0 0 25 0 1 0 185085417 315965440 74457 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 77140 74457 693 1256 0 75879 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 308560
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.11
CPU user time (s): 1716.36
CPU system time (s): 85.751
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 308560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.36
system time used= 85.751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76346
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= 3
involuntary context switches= 3527
runsolver used 1.54176 second user time and 3.49147 second system time
The end
Begin job on node11 at 2009-06-16 19:54:08
IDJOB=1869497
IDBENCH=2903
IDSOLVER=684
FILE ID=node11/1869497-1245174848
PBS_JOBID= 9363930
Free space on /tmp= 66196 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_2.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-1869497-1245174848/watcher-1869497-1245174848 -o /tmp/evaluation-result-1869497-1245174848/solver-1869497-1245174848 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869497-1245174848.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363
RANDOM SEED=2130904781
node11.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.234
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.234
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: 1845000 kB
Buffers: 43024 kB
Cached: 96104 kB
SwapCached: 0 kB
Active: 66132 kB
Inactive: 86288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1845000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11980 kB
Writeback: 0 kB
Mapped: 23100 kB
Slab: 44524 kB
Committed_AS: 183848 kB
PageTables: 1452 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= 66184 MiB
End job on node11 at 2009-06-16 20:24:11