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-1869517-1245176031.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.01
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 | 26 | 213k| 0 | 5 | 40 | 5 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 90 | 233k| 0 | 7 | 40 | 5 | 5 | 40 | 8 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 98 | 257k| 0 | 10 | 40 | 5 | 5 | 40 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 112 | 281k| 0 | 12 | 40 | 5 | 5 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 119 | 294k| 0 | 13 | 40 | 5 | 5 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 135 | 318k| 0 | 14 | 40 | 5 | 5 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 141 | 327k| 0 | 15 | 40 | 5 | 5 | 40 | 25 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 141 | 328k| 0 | 15 | 40 | 5 | 5 | 40 | 25 | 20 | 0 | 15 | 0.000000e+00 | -- | Inf
3.79/3.81 c 3.6s| 10000 | 2627 | 23194 |1648k| 36 | - | 40 | 129 | 17 | 40 | 15 | 20 | 135 | 464 | 0.000000e+00 | -- | Inf
7.39/7.42 c 7.1s| 20000 | 4511 | 46002 |2690k| 36 | - | 40 | 225 | 10 | 40 | 15 | 20 | 257 | 571 | 0.000000e+00 | -- | Inf
10.89/10.99 c 10.5s| 30000 | 6830 | 68698 |3815k| 36 | - | 40 | 240 | 12 | 40 | 15 | 20 | 308 | 650 | 0.000000e+00 | -- | Inf
14.48/14.57 c 13.9s| 40000 | 8755 | 91281 |4812k| 36 | - | 40 | 284 | 4 | 0 | 0 | 20 | 393 | 721 | 0.000000e+00 | -- | Inf
17.98/18.08 c 17.2s| 50000 | 10830 |113471 |5859k| 36 | 5 | 40 | 321 | 6 | 40 | 15 | 20 | 470 | 793 | 0.000000e+00 | -- | Inf
21.49/21.57 c 20.6s| 60000 | 12797 |135218 |6858k| 36 | - | 40 | 342 | 42 | 40 | 15 | 20 | 529 | 835 | 0.000000e+00 | -- | Inf
24.98/25.08 c 23.9s| 70000 | 14527 |157225 |7778k| 36 | 5 | 40 | 355 | 43 | 40 | 15 | 20 | 611 | 889 | 0.000000e+00 | -- | Inf
28.59/28.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.59/28.63 c 27.3s| 80000 | 16316 |179605 |8722k| 36 | - | 40 | 343 | 6 | 0 | 0 | 20 | 660 | 946 | 0.000000e+00 | -- | Inf
32.08/32.14 c 30.6s| 90000 | 18212 |201525 |9682k| 36 | - | 40 | 339 | 5 | 40 | 15 | 20 | 703 |1002 | 0.000000e+00 | -- | Inf
35.68/35.75 c 34.1s|100000 | 20197 |224257 | 10M| 36 | 5 | 40 | 315 | 29 | 40 | 15 | 20 | 749 |1056 | 0.000000e+00 | -- | Inf
39.18/39.29 c 37.4s|110000 | 21990 |245973 | 11M| 36 | - | 40 | 294 | 16 | 40 | 15 | 20 | 776 |1103 | 0.000000e+00 | -- | Inf
42.78/42.86 c 40.8s|120000 | 23445 |268570 | 12M| 36 | - | 40 | 266 | 5 | 40 | 15 | 20 | 810 |1154 | 0.000000e+00 | -- | Inf
46.28/46.39 c 44.2s|130000 | 25064 |290311 | 13M| 36 | 5 | 40 | 232 | 8 | 40 | 15 | 20 | 832 |1214 | 0.000000e+00 | -- | Inf
49.77/49.89 c 47.5s|140000 | 26646 |311753 | 14M| 36 | 5 | 40 | 227 | 10 | 40 | 15 | 20 | 881 |1274 | 0.000000e+00 | -- | Inf
53.27/53.39 c 50.8s|150000 | 28092 |333118 | 14M| 36 | - | 40 | 198 | 5 | 40 | 15 | 20 | 905 |1314 | 0.000000e+00 | -- | Inf
56.87/56.92 c 54.2s|160000 | 29657 |355052 | 15M| 36 | 5 | 40 | 181 | 5 | 40 | 15 | 20 | 929 |1363 | 0.000000e+00 | -- | Inf
60.37/60.45 c 57.6s|170000 | 30975 |377034 | 16M| 36 | - | 40 | 172 | 5 | 40 | 15 | 20 | 960 |1406 | 0.000000e+00 | -- | Inf
63.87/63.91 c 60.9s|180000 | 32482 |398768 | 17M| 36 | - | 40 | 162 | 6 | 40 | 15 | 20 | 987 |1440 | 0.000000e+00 | -- | Inf
67.37/67.42 c 64.2s|190000 | 33785 |420606 | 18M| 36 | 5 | 40 | 165 | 10 | 40 | 15 | 20 |1011 |1480 | 0.000000e+00 | -- | Inf
70.87/70.92 c 67.5s|200000 | 35209 |442116 | 18M| 36 | 5 | 40 | 151 | 6 | 40 | 15 | 20 |1034 |1519 | 0.000000e+00 | -- | Inf
74.27/74.36 c 70.7s|210000 | 37259 |463507 | 19M| 36 | 5 | 40 | 159 | 6 | 40 | 15 | 20 |1060 |1556 | 0.000000e+00 | -- | Inf
77.66/77.75 c 73.9s|220000 | 38955 |484064 | 20M| 36 | 5 | 40 | 177 | 6 | 40 | 15 | 20 |1105 |1591 | 0.000000e+00 | -- | Inf
81.16/81.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.16/81.23 c 77.3s|230000 | 40540 |505642 | 21M| 36 | - | 40 | 186 | 6 | 40 | 15 | 20 |1138 |1634 | 0.000000e+00 | -- | Inf
84.57/84.64 c 80.5s|240000 | 42356 |526986 | 22M| 36 | - | 40 | 193 | 5 | 40 | 15 | 20 |1169 |1665 | 0.000000e+00 | -- | Inf
87.96/88.07 c 83.8s|250000 | 44197 |547651 | 23M| 36 | - | 40 | 211 | 6 | 40 | 15 | 20 |1211 |1695 | 0.000000e+00 | -- | Inf
91.46/91.57 c 87.1s|260000 | 45626 |568709 | 24M| 36 | 5 | 40 | 232 | 5 | 40 | 15 | 20 |1267 |1734 | 0.000000e+00 | -- | Inf
94.96/95.09 c 90.5s|270000 | 47001 |590403 | 25M| 36 | 5 | 40 | 231 | 7 | 40 | 15 | 20 |1306 |1763 | 0.000000e+00 | -- | Inf
98.46/98.57 c 93.8s|280000 | 48224 |611670 | 25M| 36 | - | 40 | 221 | 6 | 0 | 0 | 20 |1349 |1804 | 0.000000e+00 | -- | Inf
101.95/102.07 c 97.1s|290000 | 49709 |633646 | 26M| 36 | 5 | 40 | 198 | 8 | 40 | 15 | 20 |1383 |1836 | 0.000000e+00 | -- | Inf
105.36/105.47 c 100s|300000 | 51085 |654266 | 27M| 36 | - | 40 | 193 | 31 | 40 | 15 | 20 |1417 |1869 | 0.000000e+00 | -- | Inf
108.86/108.94 c 104s|310000 | 52426 |674879 | 28M| 36 | 5 | 40 | 175 | 5 | 40 | 15 | 20 |1444 |1897 | 0.000000e+00 | -- | Inf
112.35/112.42 c 107s|320000 | 53674 |696137 | 28M| 36 | 5 | 40 | 159 | 5 | 40 | 15 | 20 |1471 |1924 | 0.000000e+00 | -- | Inf
115.86/115.96 c 110s|330000 | 54908 |718173 | 29M| 36 | - | 40 | 150 | 7 | 0 | 0 | 20 |1502 |1958 | 0.000000e+00 | -- | Inf
119.25/119.39 c 114s|340000 | 56502 |740156 | 30M| 36 | - | 40 | 155 | 7 | 0 | 0 | 20 |1535 |1989 | 0.000000e+00 | -- | Inf
122.75/122.85 c 117s|350000 | 57736 |761670 | 31M| 36 | - | 40 | 131 | 5 | 0 | 0 | 20 |1551 |2016 | 0.000000e+00 | -- | Inf
126.25/126.31 c 120s|360000 | 58997 |783139 | 31M| 36 | - | 40 | 118 | 6 | 40 | 15 | 20 |1576 |2044 | 0.000000e+00 | -- | Inf
129.66/129.73 c 123s|370000 | 60357 |804123 | 32M| 36 | - | 40 | 118 | 5 | 40 | 15 | 20 |1596 |2075 | 0.000000e+00 | -- | Inf
133.15/133.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.15/133.24 c 127s|380000 | 61610 |825848 | 33M| 36 | 5 | 40 | 129 | 5 | 40 | 15 | 20 |1636 |2107 | 0.000000e+00 | -- | Inf
136.64/136.71 c 130s|390000 | 62682 |846826 | 33M| 36 | - | 40 | 117 | 6 | 40 | 15 | 20 |1652 |2133 | 0.000000e+00 | -- | Inf
140.04/140.18 c 133s|400000 | 63681 |868034 | 34M| 36 | - | 40 | 118 | 5 | 40 | 15 | 20 |1675 |2157 | 0.000000e+00 | -- | Inf
143.54/143.66 c 137s|410000 | 64889 |889519 | 35M| 36 | - | 40 | 121 | 7 | 40 | 15 | 20 |1702 |2179 | 0.000000e+00 | -- | Inf
146.94/147.09 c 140s|420000 | 65906 |910398 | 35M| 36 | 5 | 40 | 123 | 5 | 40 | 15 | 20 |1731 |2200 | 0.000000e+00 | -- | Inf
150.55/150.61 c 143s|430000 | 66960 |931630 | 36M| 36 | - | 40 | 101 | 5 | 0 | 0 | 20 |1746 |2228 | 0.000000e+00 | -- | Inf
153.94/154.04 c 147s|440000 | 68069 |952145 | 37M| 36 | - | 40 | 112 | 8 | 40 | 15 | 20 |1784 |2258 | 0.000000e+00 | -- | Inf
157.44/157.52 c 150s|450000 | 69624 |974261 | 38M| 36 | 5 | 40 | 111 | 5 | 40 | 15 | 20 |1812 |2283 | 0.000000e+00 | -- | Inf
160.84/160.97 c 153s|460000 | 70735 |995377 | 38M| 36 | 5 | 40 | 115 | 5 | 40 | 15 | 20 |1834 |2310 | 0.000000e+00 | -- | Inf
164.34/164.45 c 156s|470000 | 71925 | 1017k| 39M| 36 | - | 40 | 119 | 5 | 40 | 15 | 20 |1866 |2333 | 0.000000e+00 | -- | Inf
167.84/167.91 c 160s|480000 | 73097 | 1038k| 40M| 36 | - | 40 | 111 | 5 | 0 | 0 | 20 |1883 |2359 | 0.000000e+00 | -- | Inf
171.24/171.34 c 163s|490000 | 74517 | 1058k| 40M| 36 | - | 40 | 111 | 5 | 40 | 15 | 20 |1919 |2382 | 0.000000e+00 | -- | Inf
174.64/174.76 c 166s|500000 | 75783 | 1079k| 41M| 36 | 5 | 40 | 123 | 10 | 40 | 15 | 20 |1964 |2402 | 0.000000e+00 | -- | Inf
178.04/178.11 c 169s|510000 | 76941 | 1099k| 42M| 36 | 5 | 40 | 128 | 5 | 40 | 15 | 20 |1986 |2420 | 0.000000e+00 | -- | Inf
181.53/181.60 c 173s|520000 | 77948 | 1121k| 42M| 36 | - | 40 | 137 | 8 | 40 | 15 | 20 |2020 |2449 | 0.000000e+00 | -- | Inf
184.94/185.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.94/185.04 c 176s|530000 | 79155 | 1142k| 43M| 36 | 5 | 40 | 143 | 6 | 40 | 15 | 20 |2043 |2480 | 0.000000e+00 | -- | Inf
188.43/188.56 c 179s|540000 | 80108 | 1163k| 44M| 36 | - | 40 | 157 | 5 | 40 | 15 | 20 |2091 |2501 | 0.000000e+00 | -- | Inf
191.93/192.00 c 183s|550000 | 81570 | 1184k| 44M| 36 | 5 | 40 | 145 | 5 | 40 | 15 | 20 |2115 |2529 | 0.000000e+00 | -- | Inf
195.42/195.52 c 186s|560000 | 82366 | 1205k| 45M| 36 | 5 | 40 | 136 | 7 | 40 | 15 | 20 |2156 |2551 | 0.000000e+00 | -- | Inf
198.82/198.92 c 189s|570000 | 83816 | 1226k| 46M| 36 | 5 | 40 | 124 | 5 | 40 | 15 | 20 |2175 |2573 | 0.000000e+00 | -- | Inf
202.12/202.30 c 192s|580000 | 85204 | 1248k| 47M| 36 | 5 | 40 | 145 | 5 | 40 | 15 | 20 |2208 |2592 | 0.000000e+00 | -- | Inf
205.63/205.74 c 196s|590000 | 86099 | 1268k| 47M| 36 | - | 40 | 149 | 5 | 40 | 15 | 20 |2240 |2615 | 0.000000e+00 | -- | Inf
209.02/209.14 c 199s|600000 | 88106 | 1289k| 48M| 36 | 5 | 40 | 158 | 5 | 40 | 15 | 20 |2268 |2631 | 0.000000e+00 | -- | Inf
212.52/212.60 c 202s|610000 | 89036 | 1310k| 49M| 36 | - | 40 | 161 | 16 | 0 | 0 | 20 |2299 |2658 | 0.000000e+00 | -- | Inf
216.02/216.10 c 206s|620000 | 89936 | 1330k| 49M| 36 | 5 | 40 | 141 | 5 | 40 | 15 | 20 |2321 |2679 | 0.000000e+00 | -- | Inf
219.32/219.44 c 209s|630000 | 91504 | 1351k| 50M| 36 | 5 | 40 | 150 | 5 | 40 | 15 | 20 |2355 |2698 | 0.000000e+00 | -- | Inf
222.62/222.80 c 212s|640000 | 93057 | 1372k| 51M| 36 | - | 40 | 184 | 5 | 40 | 15 | 20 |2410 |2715 | 0.000000e+00 | -- | Inf
226.01/226.18 c 215s|650000 | 94595 | 1392k| 52M| 36 | - | 40 | 190 | 13 | 0 | 0 | 20 |2445 |2732 | 0.000000e+00 | -- | Inf
229.62/229.71 c 218s|660000 | 95449 | 1413k| 52M| 36 | 5 | 40 | 160 | 6 | 40 | 15 | 20 |2468 |2749 | 0.000000e+00 | -- | Inf
233.12/233.25 c 222s|670000 | 96339 | 1435k| 53M| 36 | 5 | 40 | 139 | 6 | 40 | 15 | 20 |2500 |2771 | 0.000000e+00 | -- | Inf
236.61/236.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.61/236.73 c 225s|680000 | 97282 | 1455k| 53M| 36 | 5 | 40 | 110 | 7 | 40 | 15 | 20 |2514 |2792 | 0.000000e+00 | -- | Inf
240.11/240.21 c 228s|690000 | 98259 | 1476k| 54M| 36 | - | 40 | 103 | 5 | 0 | 0 | 20 |2544 |2820 | 0.000000e+00 | -- | Inf
243.51/243.61 c 232s|700000 | 99076 | 1496k| 55M| 36 | 5 | 40 | 99 | 7 | 40 | 15 | 20 |2565 |2837 | 0.000000e+00 | -- | Inf
246.91/247.07 c 235s|710000 |100105 | 1518k| 55M| 36 | - | 40 | 97 | 5 | 40 | 15 | 20 |2595 |2851 | 0.000000e+00 | -- | Inf
250.41/250.52 c 238s|720000 |101228 | 1539k| 56M| 36 | 5 | 40 | 96 | 5 | 40 | 15 | 20 |2611 |2868 | 0.000000e+00 | -- | Inf
253.92/254.08 c 242s|730000 |101960 | 1560k| 56M| 36 | 5 | 40 | 106 | 5 | 40 | 15 | 20 |2647 |2887 | 0.000000e+00 | -- | Inf
257.40/257.51 c 245s|740000 |103414 | 1581k| 57M| 36 | 5 | 40 | 116 | 6 | 40 | 15 | 20 |2675 |2917 | 0.000000e+00 | -- | Inf
260.80/260.92 c 248s|750000 |104624 | 1602k| 58M| 36 | 5 | 40 | 124 | 5 | 40 | 15 | 20 |2695 |2929 | 0.000000e+00 | -- | Inf
264.20/264.39 c 251s|760000 |105504 | 1624k| 58M| 36 | 5 | 40 | 125 | 5 | 40 | 15 | 20 |2722 |2945 | 0.000000e+00 | -- | Inf
267.70/267.87 c 255s|770000 |106243 | 1644k| 59M| 36 | - | 40 | 103 | 5 | 40 | 15 | 20 |2742 |2966 | 0.000000e+00 | -- | Inf
271.20/271.33 c 258s|780000 |107283 | 1665k| 59M| 36 | - | 40 | 106 | 21 | 40 | 15 | 20 |2776 |2988 | 0.000000e+00 | -- | Inf
274.70/274.86 c 261s|790000 |108458 | 1687k| 60M| 36 | - | 40 | 110 | 6 | 40 | 15 | 20 |2792 |3009 | 0.000000e+00 | -- | Inf
278.11/278.29 c 265s|800000 |109329 | 1707k| 61M| 36 | 5 | 40 | 106 | 6 | 40 | 15 | 20 |2810 |3030 | 0.000000e+00 | -- | Inf
281.59/281.72 c 268s|810000 |110824 | 1728k| 62M| 36 | - | 40 | 121 | 7 | 40 | 15 | 20 |2853 |3047 | 0.000000e+00 | -- | Inf
284.99/285.19 c 271s|820000 |112032 | 1749k| 62M| 36 | 5 | 40 | 113 | 5 | 40 | 15 | 20 |2875 |3071 | 0.000000e+00 | -- | Inf
288.49/288.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.49/288.68 c 274s|830000 |112991 | 1770k| 63M| 36 | 5 | 40 | 128 | 10 | 40 | 15 | 20 |2910 |3089 | 0.000000e+00 | -- | Inf
292.09/292.22 c 278s|840000 |113815 | 1792k| 63M| 36 | 5 | 40 | 137 | 5 | 40 | 15 | 20 |2942 |3105 | 0.000000e+00 | -- | Inf
295.59/295.77 c 281s|850000 |114552 | 1813k| 64M| 36 | 5 | 40 | 92 | 5 | 40 | 15 | 20 |2972 |3121 | 0.000000e+00 | -- | Inf
299.10/299.24 c 285s|860000 |115382 | 1834k| 64M| 36 | 5 | 40 | 85 | 5 | 40 | 15 | 20 |3001 |3141 | 0.000000e+00 | -- | Inf
302.59/302.71 c 288s|870000 |116255 | 1856k| 65M| 36 | - | 40 | 81 | 5 | 0 | 0 | 20 |3032 |3165 | 0.000000e+00 | -- | Inf
305.99/306.18 c 291s|880000 |117018 | 1877k| 65M| 36 | 5 | 40 | 74 | 14 | 40 | 15 | 20 |3050 |3190 | 0.000000e+00 | -- | Inf
309.38/309.58 c 294s|890000 |119338 | 1898k| 67M| 36 | 5 | 40 | 103 | 5 | 40 | 15 | 20 |3101 |3206 | 0.000000e+00 | -- | Inf
312.89/313.07 c 298s|900000 |121080 | 1920k| 67M| 36 | 5 | 40 | 120 | 10 | 40 | 15 | 20 |3143 |3220 | 0.000000e+00 | -- | Inf
316.38/316.56 c 301s|910000 |122233 | 1942k| 68M| 36 | - | 40 | 118 | 5 | 40 | 15 | 20 |3187 |3232 | 0.000000e+00 | -- | Inf
319.89/320.04 c 304s|920000 |123357 | 1964k| 69M| 36 | 5 | 40 | 146 | 8 | 40 | 15 | 20 |3260 |3254 | 0.000000e+00 | -- | Inf
323.29/323.48 c 308s|930000 |124492 | 1985k| 69M| 36 | 5 | 40 | 140 | 7 | 40 | 15 | 20 |3307 |3262 | 0.000000e+00 | -- | Inf
326.78/326.96 c 311s|940000 |125384 | 2006k| 70M| 36 | 5 | 40 | 123 | 5 | 40 | 15 | 20 |3346 |3275 | 0.000000e+00 | -- | Inf
330.28/330.43 c 314s|950000 |126143 | 2026k| 71M| 36 | 5 | 40 | 105 | 9 | 40 | 15 | 20 |3369 |3290 | 0.000000e+00 | -- | Inf
333.68/333.88 c 317s|960000 |127247 | 2047k| 71M| 36 | 5 | 40 | 112 | 5 | 40 | 15 | 20 |3414 |3305 | 0.000000e+00 | -- | Inf
337.17/337.31 c 321s|970000 |127999 | 2067k| 72M| 36 | - | 40 | 102 | 5 | 0 | 0 | 20 |3440 |3321 | 0.000000e+00 | -- | Inf
340.47/340.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.47/340.70 c 324s|980000 |129121 | 2088k| 72M| 36 | - | 40 | 85 | 5 | 40 | 15 | 20 |3458 |3340 | 0.000000e+00 | -- | Inf
343.87/344.06 c 327s|990000 |130109 | 2107k| 73M| 36 | 5 | 40 | 79 | 5 | 40 | 15 | 20 |3479 |3356 | 0.000000e+00 | -- | Inf
347.37/347.55 c 330s| 1000k|131116 | 2129k| 74M| 36 | 5 | 40 | 94 | 5 | 40 | 15 | 20 |3516 |3377 | 0.000000e+00 | -- | Inf
350.87/351.05 c 334s| 1010k|132372 | 2150k| 74M| 36 | 5 | 40 | 105 | 6 | 40 | 15 | 20 |3552 |3393 | 0.000000e+00 | -- | Inf
354.37/354.57 c 337s| 1020k|133545 | 2171k| 75M| 36 | 5 | 40 | 93 | 7 | 40 | 15 | 20 |3569 |3405 | 0.000000e+00 | -- | Inf
357.97/358.11 c 340s| 1030k|134146 | 2192k| 75M| 36 | - | 40 | 85 | 5 | 40 | 15 | 20 |3599 |3425 | 0.000000e+00 | -- | Inf
361.37/361.58 c 344s| 1040k|134844 | 2213k| 76M| 36 | - | 40 | 81 | 5 | 40 | 15 | 20 |3650 |3444 | 0.000000e+00 | -- | Inf
364.86/365.09 c 347s| 1050k|136236 | 2235k| 77M| 36 | 5 | 40 | 92 | 5 | 40 | 15 | 20 |3683 |3466 | 0.000000e+00 | -- | Inf
368.47/368.60 c 350s| 1060k|136937 | 2256k| 77M| 36 | 5 | 40 | 78 | 5 | 40 | 15 | 20 |3715 |3485 | 0.000000e+00 | -- | Inf
371.86/372.02 c 354s| 1070k|137699 | 2276k| 78M| 36 | - | 40 | 73 | 12 | 40 | 15 | 20 |3738 |3498 | 0.000000e+00 | -- | Inf
375.37/375.58 c 357s| 1080k|138389 | 2297k| 78M| 36 | - | 40 | 66 | 5 | 40 | 15 | 20 |3765 |3517 | 0.000000e+00 | -- | Inf
378.96/379.10 c 360s| 1090k|138969 | 2318k| 79M| 36 | 5 | 40 | 65 | 5 | 40 | 15 | 20 |3795 |3537 | 0.000000e+00 | -- | Inf
382.36/382.55 c 364s| 1100k|139769 | 2339k| 79M| 36 | 5 | 40 | 63 | 8 | 40 | 15 | 20 |3819 |3549 | 0.000000e+00 | -- | Inf
385.86/386.03 c 367s| 1110k|140665 | 2360k| 80M| 36 | 5 | 40 | 70 | 6 | 40 | 15 | 20 |3852 |3560 | 0.000000e+00 | -- | Inf
389.26/389.46 c 370s| 1120k|141532 | 2380k| 80M| 36 | - | 40 | 69 | 5 | 40 | 15 | 20 |3879 |3574 | 0.000000e+00 | -- | Inf
392.66/392.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.66/392.85 c 373s| 1130k|142723 | 2400k| 81M| 36 | - | 40 | 73 | 5 | 40 | 15 | 20 |3910 |3586 | 0.000000e+00 | -- | Inf
395.95/396.14 c 376s| 1140k|144189 | 2419k| 82M| 36 | - | 40 | 89 | 6 | 40 | 15 | 20 |3937 |3593 | 0.000000e+00 | -- | Inf
399.25/399.49 c 380s| 1150k|144980 | 2438k| 82M| 36 | 5 | 40 | 76 | 5 | 40 | 15 | 20 |3966 |3601 | 0.000000e+00 | -- | Inf
402.75/402.96 c 383s| 1160k|145749 | 2460k| 83M| 36 | - | 40 | 74 | 5 | 0 | 0 | 20 |3998 |3611 | 0.000000e+00 | -- | Inf
406.25/406.48 c 386s| 1170k|146275 | 2481k| 83M| 36 | 5 | 40 | 75 | 12 | 40 | 15 | 20 |4033 |3625 | 0.000000e+00 | -- | Inf
409.85/410.06 c 390s| 1180k|147099 | 2502k| 84M| 36 | 5 | 40 | 74 | 5 | 40 | 15 | 20 |4066 |3636 | 0.000000e+00 | -- | Inf
413.25/413.50 c 393s| 1190k|148645 | 2523k| 84M| 36 | - | 40 | 78 | 10 | 40 | 15 | 20 |4101 |3641 | 0.000000e+00 | -- | Inf
416.76/416.94 c 396s| 1200k|149890 | 2544k| 85M| 36 | - | 40 | 84 | 5 | 40 | 15 | 20 |4115 |3648 | 0.000000e+00 | -- | Inf
420.14/420.36 c 399s| 1210k|150509 | 2564k| 86M| 36 | 5 | 40 | 66 | 10 | 40 | 15 | 20 |4132 |3655 | 0.000000e+00 | -- | Inf
423.55/423.79 c 403s| 1220k|151688 | 2585k| 86M| 36 | 5 | 40 | 93 | 7 | 40 | 15 | 20 |4187 |3663 | 0.000000e+00 | -- | Inf
427.05/427.29 c 406s| 1230k|152248 | 2606k| 87M| 36 | - | 40 | 85 | 10 | 40 | 15 | 20 |4215 |3680 | 0.000000e+00 | -- | Inf
430.64/430.82 c 409s| 1240k|152929 | 2627k| 87M| 36 | 5 | 40 | 64 | 5 | 40 | 15 | 20 |4247 |3691 | 0.000000e+00 | -- | Inf
434.15/434.39 c 413s| 1250k|153604 | 2648k| 88M| 36 | 5 | 40 | 61 | 5 | 40 | 15 | 20 |4269 |3700 | 0.000000e+00 | -- | Inf
437.65/437.87 c 416s| 1260k|154426 | 2669k| 88M| 36 | 5 | 40 | 61 | 5 | 40 | 15 | 20 |4305 |3717 | 0.000000e+00 | -- | Inf
441.14/441.37 c 419s| 1270k|155212 | 2690k| 89M| 36 | 5 | 40 | 73 | 6 | 40 | 15 | 20 |4346 |3740 | 0.000000e+00 | -- | Inf
444.74/444.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.74/444.92 c 423s| 1280k|155556 | 2712k| 89M| 36 | - | 40 | 62 | 9 | 40 | 15 | 20 |4385 |3757 | 0.000000e+00 | -- | Inf
448.24/448.44 c 426s| 1290k|156538 | 2733k| 90M| 36 | - | 40 | 94 | 5 | 40 | 15 | 20 |4438 |3775 | 0.000000e+00 | -- | Inf
451.73/451.97 c 429s| 1300k|157227 | 2754k| 90M| 36 | 5 | 40 | 101 | 9 | 40 | 15 | 20 |4483 |3797 | 0.000000e+00 | -- | Inf
455.14/455.39 c 433s| 1310k|158118 | 2774k| 91M| 36 | 5 | 40 | 105 | 5 | 40 | 15 | 20 |4519 |3810 | 0.000000e+00 | -- | Inf
458.64/458.88 c 436s| 1320k|158836 | 2796k| 91M| 36 | - | 40 | 77 | 7 | 0 | 0 | 20 |4543 |3830 | 0.000000e+00 | -- | Inf
462.14/462.35 c 439s| 1330k|159650 | 2817k| 92M| 36 | 5 | 40 | 81 | 5 | 40 | 15 | 20 |4581 |3845 | 0.000000e+00 | -- | Inf
465.53/465.80 c 443s| 1340k|160692 | 2838k| 92M| 36 | - | 40 | 84 | 5 | 40 | 15 | 20 |4617 |3855 | 0.000000e+00 | -- | Inf
469.03/469.23 c 446s| 1350k|161417 | 2858k| 93M| 36 | 5 | 40 | 97 | 9 | 40 | 15 | 20 |4656 |3862 | 0.000000e+00 | -- | Inf
472.53/472.75 c 449s| 1360k|162040 | 2878k| 93M| 36 | 5 | 40 | 64 | 5 | 40 | 15 | 20 |4684 |3874 | 0.000000e+00 | -- | Inf
476.04/476.26 c 453s| 1370k|162884 | 2900k| 94M| 36 | 5 | 40 | 63 | 6 | 40 | 15 | 20 |4711 |3881 | 0.000000e+00 | -- | Inf
479.43/479.64 c 456s| 1380k|164052 | 2920k| 94M| 36 | 5 | 40 | 78 | 5 | 40 | 15 | 20 |4747 |3889 | 0.000000e+00 | -- | Inf
482.92/483.10 c 459s| 1390k|165255 | 2942k| 95M| 36 | - | 40 | 80 | 7 | 0 | 0 | 20 |4775 |3900 | 0.000000e+00 | -- | Inf
486.33/486.57 c 462s| 1400k|166025 | 2963k| 96M| 36 | 5 | 40 | 70 | 5 | 40 | 15 | 20 |4814 |3912 | 0.000000e+00 | -- | Inf
489.82/490.06 c 466s| 1410k|166661 | 2983k| 96M| 36 | 5 | 40 | 62 | 5 | 40 | 15 | 20 |4847 |3923 | 0.000000e+00 | -- | Inf
493.32/493.57 c 469s| 1420k|167506 | 3004k| 97M| 36 | - | 40 | 62 | 6 | 40 | 15 | 20 |4871 |3944 | 0.000000e+00 | -- | Inf
496.72/496.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.72/496.99 c 472s| 1430k|168479 | 3025k| 97M| 36 | 5 | 40 | 64 | 5 | 40 | 15 | 20 |4908 |3962 | 0.000000e+00 | -- | Inf
500.12/500.40 c 476s| 1440k|169390 | 3045k| 98M| 36 | - | 40 | 54 | 5 | 40 | 15 | 20 |4945 |3973 | 0.000000e+00 | -- | Inf
503.63/503.85 c 479s| 1450k|169841 | 3066k| 98M| 36 | - | 40 | 43 | 9 | 40 | 15 | 20 |4973 |3987 | 0.000000e+00 | -- | Inf
507.12/507.30 c 482s| 1460k|170689 | 3086k| 99M| 36 | 5 | 40 | 48 | 5 | 40 | 15 | 20 |5007 |4002 | 0.000000e+00 | -- | Inf
510.62/510.86 c 485s| 1470k|171406 | 3108k| 99M| 36 | 5 | 40 | 49 | 5 | 40 | 15 | 20 |5033 |4012 | 0.000000e+00 | -- | Inf
514.11/514.35 c 489s| 1480k|172080 | 3129k| 100M| 36 | 5 | 40 | 39 | 6 | 40 | 15 | 20 |5060 |4025 | 0.000000e+00 | -- | Inf
517.51/517.74 c 492s| 1490k|174354 | 3151k| 101M| 36 | - | 40 | 46 | 5 | 40 | 15 | 20 |5086 |4038 | 0.000000e+00 | -- | Inf
520.91/521.13 c 495s| 1500k|176090 | 3171k| 102M| 36 | 5 | 40 | 54 | 5 | 40 | 15 | 20 |5112 |4048 | 0.000000e+00 | -- | Inf
524.31/524.55 c 499s| 1510k|177313 | 3192k| 102M| 36 | - | 40 | 61 | 5 | 40 | 15 | 20 |5145 |4066 | 0.000000e+00 | -- | Inf
527.71/527.97 c 502s| 1520k|178537 | 3213k| 103M| 36 | 5 | 40 | 58 | 5 | 40 | 15 | 20 |5173 |4080 | 0.000000e+00 | -- | Inf
531.20/531.43 c 505s| 1530k|179596 | 3233k| 104M| 36 | 5 | 40 | 59 | 18 | 40 | 15 | 20 |5199 |4096 | 0.000000e+00 | -- | Inf
534.71/534.91 c 508s| 1540k|180523 | 3254k| 104M| 36 | 5 | 40 | 62 | 6 | 40 | 15 | 20 |5232 |4105 | 0.000000e+00 | -- | Inf
538.20/538.43 c 512s| 1550k|181033 | 3275k| 105M| 36 | 5 | 40 | 79 | 5 | 40 | 15 | 20 |5297 |4125 | 0.000000e+00 | -- | Inf
541.60/541.89 c 515s| 1560k|182008 | 3296k| 105M| 36 | 5 | 40 | 73 | 5 | 40 | 15 | 20 |5332 |4144 | 0.000000e+00 | -- | Inf
545.10/545.32 c 518s| 1570k|183518 | 3317k| 106M| 36 | 5 | 40 | 93 | 5 | 40 | 15 | 20 |5370 |4154 | 0.000000e+00 | -- | Inf
548.60/548.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.60/548.84 c 522s| 1580k|184184 | 3338k| 106M| 36 | - | 40 | 73 | 5 | 0 | 0 | 20 |5397 |4169 | 0.000000e+00 | -- | Inf
552.10/552.36 c 525s| 1590k|184742 | 3359k| 107M| 36 | - | 40 | 66 | 7 | 40 | 15 | 20 |5444 |4187 | 0.000000e+00 | -- | Inf
555.59/555.85 c 528s| 1600k|185733 | 3380k| 107M| 36 | - | 40 | 69 | 5 | 0 | 0 | 20 |5482 |4198 | 0.000000e+00 | -- | Inf
559.00/559.29 c 532s| 1610k|186526 | 3401k| 108M| 36 | 5 | 40 | 66 | 6 | 40 | 15 | 20 |5519 |4209 | 0.000000e+00 | -- | Inf
562.60/562.82 c 535s| 1620k|187080 | 3422k| 108M| 36 | 5 | 40 | 37 | 6 | 40 | 15 | 20 |5547 |4231 | 0.000000e+00 | -- | Inf
566.10/566.30 c 538s| 1630k|187658 | 3443k| 109M| 36 | - | 40 | 51 | 5 | 40 | 15 | 20 |5604 |4244 | 0.000000e+00 | -- | Inf
569.50/569.75 c 541s| 1640k|188254 | 3463k| 109M| 36 | 5 | 40 | 39 | 5 | 40 | 15 | 20 |5636 |4254 | 0.000000e+00 | -- | Inf
572.99/573.21 c 545s| 1650k|189101 | 3483k| 110M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 |5665 |4267 | 0.000000e+00 | -- | Inf
576.39/576.68 c 548s| 1660k|189957 | 3504k| 110M| 36 | 5 | 40 | 46 | 6 | 40 | 15 | 20 |5690 |4281 | 0.000000e+00 | -- | Inf
579.99/580.20 c 551s| 1670k|191697 | 3527k| 111M| 36 | 5 | 40 | 49 | 5 | 40 | 15 | 20 |5708 |4288 | 0.000000e+00 | -- | Inf
583.59/583.80 c 555s| 1680k|192464 | 3549k| 112M| 36 | 5 | 40 | 52 | 5 | 40 | 15 | 20 |5732 |4297 | 0.000000e+00 | -- | Inf
587.09/587.36 c 558s| 1690k|193383 | 3570k| 112M| 36 | 5 | 40 | 53 | 7 | 40 | 15 | 20 |5757 |4305 | 0.000000e+00 | -- | Inf
590.59/590.89 c 562s| 1700k|193928 | 3591k| 113M| 36 | - | 40 | 43 | 5 | 0 | 0 | 20 |5788 |4316 | 0.000000e+00 | -- | Inf
594.18/594.40 c 565s| 1710k|194588 | 3612k| 113M| 36 | 5 | 40 | 27 | 5 | 40 | 15 | 20 |5808 |4322 | 0.000000e+00 | -- | Inf
597.58/597.83 c 568s| 1720k|195261 | 3632k| 114M| 36 | 5 | 40 | 25 | 5 | 40 | 15 | 20 |5830 |4334 | 0.000000e+00 | -- | Inf
600.98/601.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.98/601.29 c 572s| 1730k|196711 | 3654k| 114M| 36 | - | 40 | 32 | 5 | 40 | 15 | 20 |5850 |4344 | 0.000000e+00 | -- | Inf
604.48/604.78 c 575s| 1740k|197915 | 3674k| 115M| 36 | - | 40 | 48 | 5 | 40 | 15 | 20 |5880 |4360 | 0.000000e+00 | -- | Inf
608.08/608.30 c 578s| 1750k|198483 | 3695k| 116M| 36 | 5 | 40 | 35 | 5 | 40 | 15 | 20 |5922 |4371 | 0.000000e+00 | -- | Inf
611.58/611.82 c 581s| 1760k|199090 | 3716k| 116M| 36 | 5 | 40 | 37 | 6 | 40 | 15 | 20 |5958 |4377 | 0.000000e+00 | -- | Inf
615.07/615.31 c 585s| 1770k|199666 | 3736k| 116M| 36 | - | 40 | 34 | 5 | 40 | 15 | 20 |5991 |4381 | 0.000000e+00 | -- | Inf
618.38/618.68 c 588s| 1780k|200834 | 3756k| 117M| 36 | - | 40 | 55 | 6 | 40 | 15 | 20 |6028 |4386 | 0.000000e+00 | -- | Inf
621.87/622.17 c 591s| 1790k|201577 | 3777k| 118M| 36 | - | 40 | 43 | 5 | 0 | 0 | 20 |6066 |4399 | 0.000000e+00 | -- | Inf
625.37/625.64 c 595s| 1800k|202004 | 3797k| 118M| 36 | 5 | 40 | 39 | 8 | 40 | 15 | 20 |6098 |4404 | 0.000000e+00 | -- | Inf
628.87/629.17 c 598s| 1810k|202541 | 3818k| 118M| 36 | - | 40 | 25 | 5 | 0 | 0 | 20 |6120 |4422 | 0.000000e+00 | -- | Inf
632.37/632.63 c 601s| 1820k|203065 | 3839k| 119M| 36 | - | 40 | 40 | 9 | 0 | 0 | 20 |6159 |4429 | 0.000000e+00 | -- | Inf
635.87/636.11 c 605s| 1830k|203667 | 3859k| 119M| 36 | 5 | 40 | 48 | 7 | 40 | 15 | 20 |6204 |4436 | 0.000000e+00 | -- | Inf
639.37/639.61 c 608s| 1840k|204254 | 3879k| 120M| 36 | 5 | 40 | 45 | 5 | 40 | 15 | 20 |6247 |4445 | 0.000000e+00 | -- | Inf
642.77/643.09 c 611s| 1850k|204770 | 3900k| 120M| 36 | - | 40 | 39 | 5 | 0 | 0 | 20 |6274 |4452 | 0.000000e+00 | -- | Inf
646.27/646.58 c 615s| 1860k|205453 | 3921k| 120M| 36 | 5 | 40 | 43 | 8 | 40 | 15 | 20 |6325 |4463 | 0.000000e+00 | -- | Inf
649.76/650.08 c 618s| 1870k|206281 | 3942k| 121M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 |6358 |4469 | 0.000000e+00 | -- | Inf
653.26/653.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.26/653.53 c 621s| 1880k|207570 | 3963k| 122M| 36 | - | 40 | 46 | 5 | 40 | 15 | 20 |6390 |4481 | 0.000000e+00 | -- | Inf
656.76/657.01 c 624s| 1890k|207991 | 3983k| 122M| 36 | - | 40 | 46 | 5 | 40 | 15 | 20 |6428 |4488 | 0.000000e+00 | -- | Inf
660.06/660.39 c 628s| 1900k|208773 | 4002k| 123M| 36 | - | 40 | 47 | 5 | 0 | 0 | 20 |6447 |4499 | 0.000000e+00 | -- | Inf
663.46/663.75 c 631s| 1910k|209807 | 4022k| 123M| 36 | - | 40 | 37 | 5 | 40 | 15 | 20 |6466 |4509 | 0.000000e+00 | -- | Inf
666.96/667.25 c 634s| 1920k|211303 | 4044k| 124M| 36 | 5 | 40 | 52 | 7 | 40 | 15 | 20 |6491 |4522 | 0.000000e+00 | -- | Inf
670.46/670.80 c 638s| 1930k|212833 | 4067k| 125M| 36 | - | 40 | 58 | 5 | 0 | 0 | 20 |6530 |4538 | 0.000000e+00 | -- | Inf
674.06/674.39 c 641s| 1940k|213598 | 4089k| 125M| 36 | 5 | 40 | 49 | 5 | 40 | 15 | 20 |6560 |4547 | 0.000000e+00 | -- | Inf
677.76/678.00 c 644s| 1950k|214211 | 4111k| 126M| 36 | - | 40 | 50 | 5 | 40 | 15 | 20 |6605 |4561 | 0.000000e+00 | -- | Inf
681.35/681.61 c 648s| 1960k|214626 | 4133k| 126M| 36 | - | 40 | 48 | 6 | 40 | 15 | 20 |6646 |4576 | 0.000000e+00 | -- | Inf
684.75/685.07 c 651s| 1970k|215315 | 4153k| 127M| 36 | - | 40 | 38 | 5 | 40 | 15 | 20 |6671 |4589 | 0.000000e+00 | -- | Inf
688.25/688.52 c 654s| 1980k|216004 | 4173k| 127M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 |6706 |4598 | 0.000000e+00 | -- | Inf
691.75/692.03 c 658s| 1990k|216622 | 4193k| 128M| 36 | - | 40 | 36 | 5 | 40 | 15 | 20 |6734 |4610 | 0.000000e+00 | -- | Inf
695.25/695.57 c 661s| 2000k|217682 | 4215k| 128M| 36 | - | 40 | 50 | 7 | 0 | 0 | 20 |6778 |4622 | 0.000000e+00 | -- | Inf
698.84/699.11 c 665s| 2010k|218159 | 4236k| 129M| 36 | - | 40 | 40 | 5 | 0 | 0 | 20 |6807 |4636 | 0.000000e+00 | -- | Inf
702.15/702.48 c 668s| 2020k|218988 | 4255k| 129M| 36 | 5 | 40 | 44 | 7 | 40 | 15 | 20 |6852 |4652 | 0.000000e+00 | -- | Inf
705.75/706.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.75/706.01 c 671s| 2030k|219328 | 4276k| 129M| 36 | 5 | 40 | 25 | 5 | 40 | 15 | 20 |6874 |4658 | 0.000000e+00 | -- | Inf
709.25/709.54 c 674s| 2040k|220085 | 4297k| 130M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 |6912 |4672 | 0.000000e+00 | -- | Inf
712.74/713.08 c 678s| 2050k|220453 | 4318k| 130M| 36 | - | 40 | 31 | 5 | 40 | 15 | 20 |6948 |4680 | 0.000000e+00 | -- | Inf
716.34/716.63 c 681s| 2060k|221106 | 4339k| 131M| 36 | 5 | 40 | 30 | 5 | 40 | 15 | 20 |6971 |4694 | 0.000000e+00 | -- | Inf
719.74/720.08 c 684s| 2070k|221646 | 4359k| 131M| 36 | 5 | 40 | 27 | 5 | 40 | 15 | 20 |7004 |4706 | 0.000000e+00 | -- | Inf
723.23/723.55 c 688s| 2080k|222379 | 4380k| 131M| 36 | - | 40 | 33 | 6 | 40 | 15 | 20 |7040 |4711 | 0.000000e+00 | -- | Inf
726.64/726.92 c 691s| 2090k|223453 | 4399k| 132M| 36 | - | 40 | 59 | 5 | 40 | 15 | 20 |7098 |4716 | 0.000000e+00 | -- | Inf
730.04/730.40 c 694s| 2100k|224369 | 4420k| 133M| 36 | - | 40 | 54 | 5 | 40 | 15 | 20 |7121 |4720 | 0.000000e+00 | -- | Inf
733.53/733.87 c 698s| 2110k|225139 | 4441k| 133M| 36 | 5 | 40 | 59 | 6 | 40 | 15 | 20 |7147 |4728 | 0.000000e+00 | -- | Inf
737.04/737.38 c 701s| 2120k|226266 | 4462k| 134M| 36 | 5 | 40 | 69 | 5 | 40 | 15 | 20 |7170 |4746 | 0.000000e+00 | -- | Inf
740.53/740.84 c 704s| 2130k|227120 | 4483k| 134M| 36 | 5 | 40 | 71 | 5 | 40 | 15 | 20 |7212 |4760 | 0.000000e+00 | -- | Inf
744.03/744.37 c 708s| 2140k|227824 | 4505k| 135M| 36 | - | 40 | 80 | 5 | 0 | 0 | 20 |7243 |4770 | 0.000000e+00 | -- | Inf
747.64/747.95 c 711s| 2150k|228456 | 4527k| 135M| 36 | - | 40 | 58 | 4 | 0 | 0 | 20 |7273 |4785 | 0.000000e+00 | -- | Inf
751.14/751.48 c 714s| 2160k|229001 | 4548k| 136M| 36 | - | 40 | 51 | 5 | 40 | 15 | 20 |7308 |4798 | 0.000000e+00 | -- | Inf
754.63/754.96 c 718s| 2170k|229592 | 4569k| 136M| 36 | - | 40 | 36 | 5 | 40 | 15 | 20 |7338 |4807 | 0.000000e+00 | -- | Inf
758.13/758.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.13/758.45 c 721s| 2180k|230071 | 4589k| 137M| 36 | - | 40 | 36 | 8 | 40 | 15 | 20 |7374 |4817 | 0.000000e+00 | -- | Inf
761.63/761.99 c 724s| 2190k|230396 | 4610k| 137M| 36 | - | 40 | 46 | 9 | 40 | 15 | 20 |7424 |4827 | 0.000000e+00 | -- | Inf
765.23/765.50 c 728s| 2200k|230725 | 4630k| 137M| 36 | - | 40 | 38 | 5 | 40 | 15 | 20 |7467 |4843 | 0.000000e+00 | -- | Inf
768.63/769.00 c 731s| 2210k|231295 | 4650k| 138M| 36 | 5 | 40 | 35 | 5 | 40 | 15 | 20 |7495 |4849 | 0.000000e+00 | -- | Inf
772.22/772.55 c 734s| 2220k|231719 | 4671k| 138M| 36 | - | 40 | 28 | 4 | 0 | 0 | 20 |7523 |4856 | 0.000000e+00 | -- | Inf
775.62/775.99 c 738s| 2230k|232175 | 4691k| 138M| 36 | 5 | 40 | 33 | 5 | 40 | 15 | 20 |7556 |4866 | 0.000000e+00 | -- | Inf
779.13/779.49 c 741s| 2240k|232669 | 4712k| 139M| 36 | - | 40 | 46 | 6 | 40 | 15 | 20 |7597 |4875 | 0.000000e+00 | -- | Inf
782.62/782.96 c 744s| 2250k|232972 | 4732k| 139M| 36 | 5 | 40 | 31 | 5 | 40 | 15 | 20 |7662 |4887 | 0.000000e+00 | -- | Inf
786.23/786.51 c 748s| 2260k|233192 | 4753k| 139M| 36 | - | 40 | 27 | 5 | 40 | 15 | 20 |7684 |4904 | 0.000000e+00 | -- | Inf
789.62/789.99 c 751s| 2270k|233856 | 4773k| 140M| 36 | - | 40 | 46 | 5 | 40 | 15 | 20 |7723 |4914 | 0.000000e+00 | -- | Inf
793.22/793.52 c 754s| 2280k|234364 | 4794k| 140M| 36 | 5 | 40 | 53 | 5 | 40 | 15 | 20 |7783 |4924 | 0.000000e+00 | -- | Inf
796.81/797.14 c 758s| 2290k|234620 | 4815k| 140M| 36 | - | 40 | 24 | 5 | 40 | 15 | 20 |7807 |4932 | 0.000000e+00 | -- | Inf
800.42/800.71 c 761s| 2300k|234730 | 4836k| 141M| 36 | 5 | 40 | 29 | 5 | 40 | 15 | 20 |7838 |4940 | 0.000000e+00 | -- | Inf
803.91/804.24 c 764s| 2310k|235307 | 4857k| 141M| 36 | - | 40 | 44 | 5 | 40 | 15 | 20 |7896 |4950 | 0.000000e+00 | -- | Inf
807.41/807.73 c 768s| 2320k|235763 | 4877k| 141M| 36 | - | 40 | 41 | 5 | 0 | 0 | 20 |7934 |4955 | 0.000000e+00 | -- | Inf
810.91/811.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.91/811.22 c 771s| 2330k|236648 | 4898k| 142M| 36 | 5 | 40 | 58 | 5 | 40 | 15 | 20 |7981 |4968 | 0.000000e+00 | -- | Inf
814.40/814.76 c 774s| 2340k|236972 | 4918k| 142M| 36 | 5 | 40 | 32 | 5 | 40 | 15 | 20 |8007 |4980 | 0.000000e+00 | -- | Inf
818.01/818.31 c 778s| 2350k|237230 | 4939k| 142M| 36 | - | 40 | 21 | 5 | 40 | 15 | 20 |8034 |4990 | 0.000000e+00 | -- | Inf
821.42/821.79 c 781s| 2360k|237773 | 4960k| 143M| 36 | 5 | 40 | 20 | 5 | 40 | 15 | 20 |8055 |5004 | 0.000000e+00 | -- | Inf
824.91/825.25 c 784s| 2370k|238225 | 4980k| 143M| 36 | - | 40 | 35 | 5 | 40 | 15 | 20 |8098 |5017 | 0.000000e+00 | -- | Inf
828.41/828.76 c 788s| 2380k|238765 | 5001k| 144M| 36 | 5 | 40 | 33 | 5 | 40 | 15 | 20 |8129 |5025 | 0.000000e+00 | -- | Inf
831.90/832.29 c 791s| 2390k|239974 | 5022k| 144M| 36 | 5 | 40 | 43 | 5 | 40 | 15 | 20 |8166 |5040 | 0.000000e+00 | -- | Inf
835.50/835.84 c 794s| 2400k|240397 | 5042k| 145M| 36 | 5 | 40 | 36 | 6 | 40 | 15 | 20 |8184 |5052 | 0.000000e+00 | -- | Inf
838.90/839.28 c 798s| 2410k|241105 | 5063k| 145M| 36 | 5 | 40 | 39 | 5 | 40 | 15 | 20 |8229 |5061 | 0.000000e+00 | -- | Inf
842.30/842.66 c 801s| 2420k|241738 | 5082k| 146M| 36 | - | 40 | 38 | 5 | 0 | 0 | 20 |8271 |5071 | 0.000000e+00 | -- | Inf
845.80/846.16 c 804s| 2430k|242526 | 5103k| 146M| 36 | 5 | 40 | 62 | 7 | 40 | 15 | 20 |8316 |5080 | 0.000000e+00 | -- | Inf
849.40/849.70 c 808s| 2440k|243293 | 5123k| 147M| 36 | - | 40 | 69 | 5 | 40 | 15 | 20 |8379 |5088 | 0.000000e+00 | -- | Inf
852.80/853.19 c 811s| 2450k|243849 | 5143k| 147M| 36 | - | 40 | 60 | 5 | 40 | 15 | 20 |8413 |5099 | 0.000000e+00 | -- | Inf
856.39/856.76 c 814s| 2460k|244258 | 5165k| 147M| 36 | 5 | 40 | 38 | 5 | 40 | 15 | 20 |8454 |5104 | 0.000000e+00 | -- | Inf
859.89/860.23 c 818s| 2470k|244891 | 5185k| 148M| 36 | - | 40 | 44 | 11 | 40 | 15 | 20 |8505 |5110 | 0.000000e+00 | -- | Inf
863.40/863.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.40/863.76 c 821s| 2480k|245819 | 5207k| 148M| 36 | 5 | 40 | 44 | 7 | 40 | 15 | 20 |8536 |5119 | 0.000000e+00 | -- | Inf
866.89/867.25 c 824s| 2490k|246491 | 5228k| 149M| 36 | 5 | 40 | 57 | 5 | 40 | 15 | 20 |8568 |5126 | 0.000000e+00 | -- | Inf
870.39/870.74 c 828s| 2500k|246941 | 5248k| 149M| 36 | - | 40 | 37 | 5 | 40 | 15 | 20 |8598 |5141 | 0.000000e+00 | -- | Inf
873.89/874.28 c 831s| 2510k|247299 | 5269k| 149M| 36 | 5 | 40 | 22 | 5 | 40 | 15 | 20 |8609 |5152 | 0.000000e+00 | -- | Inf
877.49/877.86 c 834s| 2520k|248010 | 5291k| 150M| 36 | - | 40 | 37 | 5 | 40 | 15 | 20 |8652 |5165 | 0.000000e+00 | -- | Inf
881.08/881.40 c 838s| 2530k|248305 | 5311k| 150M| 36 | - | 40 | 30 | 5 | 0 | 0 | 20 |8689 |5181 | 0.000000e+00 | -- | Inf
884.48/884.89 c 841s| 2540k|248700 | 5331k| 151M| 36 | 5 | 40 | 28 | 6 | 40 | 15 | 20 |8710 |5190 | 0.000000e+00 | -- | Inf
887.99/888.36 c 844s| 2550k|249391 | 5353k| 151M| 36 | - | 40 | 38 | 5 | 40 | 15 | 20 |8742 |5205 | 0.000000e+00 | -- | Inf
891.58/891.90 c 848s| 2560k|249811 | 5373k| 151M| 36 | - | 40 | 37 | 5 | 40 | 15 | 20 |8774 |5212 | 0.000000e+00 | -- | Inf
895.09/895.41 c 851s| 2570k|250314 | 5394k| 152M| 36 | - | 40 | 43 | 5 | 40 | 15 | 20 |8814 |5224 | 0.000000e+00 | -- | Inf
898.58/898.92 c 854s| 2580k|251257 | 5415k| 152M| 36 | 5 | 40 | 55 | 5 | 40 | 15 | 20 |8856 |5235 | 0.000000e+00 | -- | Inf
902.08/902.42 c 858s| 2590k|252112 | 5436k| 153M| 36 | - | 40 | 63 | 5 | 40 | 15 | 20 |8895 |5245 | 0.000000e+00 | -- | Inf
905.58/905.93 c 861s| 2600k|252717 | 5458k| 153M| 36 | - | 40 | 60 | 5 | 40 | 15 | 20 |8932 |5251 | 0.000000e+00 | -- | Inf
909.17/909.54 c 864s| 2610k|252946 | 5479k| 154M| 36 | - | 40 | 39 | 5 | 0 | 0 | 20 |8956 |5264 | 0.000000e+00 | -- | Inf
912.69/913.05 c 868s| 2620k|253221 | 5499k| 154M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 |9002 |5270 | 0.000000e+00 | -- | Inf
916.27/916.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.27/916.62 c 871s| 2630k|253279 | 5520k| 154M| 36 | 5 | 40 | 31 | 7 | 40 | 15 | 20 |9039 |5283 | 0.000000e+00 | -- | Inf
919.78/920.16 c 875s| 2640k|253663 | 5541k| 154M| 36 | - | 40 | 32 | 5 | 40 | 15 | 20 |9066 |5294 | 0.000000e+00 | -- | Inf
923.27/923.69 c 878s| 2650k|253754 | 5561k| 155M| 36 | 5 | 40 | 27 | 5 | 40 | 15 | 20 |9099 |5305 | 0.000000e+00 | -- | Inf
926.77/927.12 c 881s| 2660k|254390 | 5581k| 155M| 36 | - | 40 | 44 | 6 | 40 | 15 | 20 |9140 |5320 | 0.000000e+00 | -- | Inf
930.27/930.65 c 885s| 2670k|254994 | 5601k| 155M| 36 | - | 40 | 41 | 5 | 40 | 15 | 20 |9187 |5331 | 0.000000e+00 | -- | Inf
933.87/934.20 c 888s| 2680k|255486 | 5622k| 156M| 36 | - | 40 | 53 | 5 | 40 | 15 | 20 |9229 |5347 | 0.000000e+00 | -- | Inf
937.36/937.76 c 891s| 2690k|255760 | 5643k| 156M| 36 | 5 | 40 | 33 | 6 | 40 | 15 | 20 |9263 |5349 | 0.000000e+00 | -- | Inf
940.87/941.26 c 895s| 2700k|256749 | 5665k| 157M| 36 | 5 | 40 | 40 | 5 | 40 | 15 | 20 |9293 |5358 | 0.000000e+00 | -- | Inf
944.37/944.75 c 898s| 2710k|257960 | 5687k| 157M| 36 | - | 40 | 49 | 11 | 0 | 0 | 20 |9324 |5364 | 0.000000e+00 | -- | Inf
947.96/948.31 c 901s| 2720k|258715 | 5708k| 158M| 36 | 5 | 40 | 51 | 5 | 40 | 15 | 20 |9361 |5373 | 0.000000e+00 | -- | Inf
951.56/951.90 c 905s| 2730k|259124 | 5729k| 158M| 36 | 5 | 40 | 55 | 5 | 40 | 15 | 20 |9423 |5381 | 0.000000e+00 | -- | Inf
955.06/955.46 c 908s| 2740k|259333 | 5750k| 158M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 |9456 |5393 | 0.000000e+00 | -- | Inf
958.56/958.93 c 911s| 2750k|260409 | 5771k| 159M| 36 | 5 | 40 | 31 | 5 | 40 | 15 | 20 |9483 |5402 | 0.000000e+00 | -- | Inf
961.86/962.29 c 915s| 2760k|261612 | 5791k| 160M| 36 | 5 | 40 | 43 | 7 | 40 | 15 | 20 |9516 |5409 | 0.000000e+00 | -- | Inf
965.25/965.66 c 918s| 2770k|262374 | 5811k| 160M| 36 | - | 40 | 46 | 5 | 40 | 15 | 20 |9541 |5417 | 0.000000e+00 | -- | Inf
968.76/969.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.76/969.12 c 921s| 2780k|262946 | 5830k| 161M| 36 | 5 | 40 | 43 | 5 | 40 | 15 | 20 |9576 |5428 | 0.000000e+00 | -- | Inf
972.26/972.64 c 924s| 2790k|263172 | 5850k| 161M| 36 | 5 | 40 | 41 | 6 | 40 | 15 | 20 |9611 |5435 | 0.000000e+00 | -- | Inf
975.85/976.23 c 928s| 2800k|263278 | 5871k| 161M| 36 | - | 40 | 19 | 10 | 40 | 15 | 20 |9636 |5446 | 0.000000e+00 | -- | Inf
979.25/979.66 c 931s| 2810k|263896 | 5891k| 162M| 36 | 5 | 40 | 27 | 5 | 40 | 15 | 20 |9661 |5451 | 0.000000e+00 | -- | Inf
982.75/983.17 c 935s| 2820k|264138 | 5912k| 162M| 36 | - | 40 | 33 | 4 | 0 | 0 | 20 |9702 |5460 | 0.000000e+00 | -- | Inf
986.36/986.72 c 938s| 2830k|264307 | 5933k| 162M| 36 | 5 | 40 | 25 | 5 | 40 | 15 | 20 |9727 |5465 | 0.000000e+00 | -- | Inf
989.75/990.19 c 941s| 2840k|265680 | 5954k| 163M| 36 | - | 40 | 37 | 9 | 40 | 15 | 20 |9775 |5473 | 0.000000e+00 | -- | Inf
993.35/993.71 c 945s| 2850k|266753 | 5975k| 163M| 36 | - | 40 | 41 | 5 | 40 | 15 | 20 |9805 |5483 | 0.000000e+00 | -- | Inf
996.85/997.24 c 948s| 2860k|267298 | 5996k| 164M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 |9830 |5490 | 0.000000e+00 | -- | Inf
1000.35/1000.75 c 951s| 2870k|267601 | 6016k| 164M| 36 | 5 | 40 | 42 | 5 | 40 | 15 | 20 |9871 |5502 | 0.000000e+00 | -- | Inf
1003.94/1004.31 c 955s| 2880k|268138 | 6037k| 165M| 36 | - | 40 | 43 | 5 | 0 | 0 | 20 |9907 |5508 | 0.000000e+00 | -- | Inf
1007.44/1007.85 c 958s| 2890k|269081 | 6059k| 165M| 36 | 5 | 40 | 40 | 5 | 40 | 15 | 20 |9927 |5520 | 0.000000e+00 | -- | Inf
1011.04/1011.42 c 961s| 2900k|269905 | 6081k| 166M| 36 | 5 | 40 | 73 | 5 | 40 | 15 | 20 |9994 |5531 | 0.000000e+00 | -- | Inf
1014.64/1015.02 c 965s| 2910k|270365 | 6102k| 166M| 36 | - | 40 | 47 | 5 | 0 | 0 | 20 | 10k|5541 | 0.000000e+00 | -- | Inf
1018.04/1018.47 c 968s| 2920k|270946 | 6122k| 166M| 36 | 5 | 40 | 49 | 5 | 40 | 15 | 20 | 10k|5551 | 0.000000e+00 | -- | Inf
1021.55/1021.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.55/1021.98 c 971s| 2930k|271199 | 6142k| 167M| 36 | 5 | 40 | 35 | 5 | 40 | 15 | 20 | 10k|5562 | 0.000000e+00 | -- | Inf
1025.04/1025.42 c 975s| 2940k|272407 | 6163k| 167M| 36 | 5 | 40 | 59 | 5 | 40 | 15 | 20 | 10k|5570 | 0.000000e+00 | -- | Inf
1028.53/1028.93 c 978s| 2950k|273188 | 6185k| 168M| 36 | - | 40 | 52 | 5 | 40 | 15 | 20 | 10k|5580 | 0.000000e+00 | -- | Inf
1032.03/1032.49 c 981s| 2960k|273809 | 6206k| 168M| 36 | 5 | 40 | 51 | 5 | 40 | 15 | 20 | 10k|5592 | 0.000000e+00 | -- | Inf
1035.74/1036.16 c 985s| 2970k|273734 | 6227k| 168M| 36 | 5 | 40 | 33 | 6 | 40 | 15 | 20 | 10k|5604 | 0.000000e+00 | -- | Inf
1039.33/1039.70 c 988s| 2980k|273944 | 6248k| 169M| 36 | 5 | 40 | 29 | 5 | 40 | 15 | 20 | 10k|5613 | 0.000000e+00 | -- | Inf
1042.83/1043.24 c 992s| 2990k|273992 | 6268k| 169M| 36 | 5 | 40 | 39 | 5 | 40 | 15 | 20 | 10k|5629 | 0.000000e+00 | -- | Inf
1046.33/1046.78 c 995s| 3000k|274295 | 6289k| 169M| 36 | 5 | 40 | 34 | 5 | 40 | 15 | 20 | 10k|5635 | 0.000000e+00 | -- | Inf
1049.92/1050.31 c 998s| 3010k|274614 | 6310k| 169M| 36 | - | 40 | 25 | 5 | 40 | 15 | 20 | 10k|5643 | 0.000000e+00 | -- | Inf
1053.44/1053.88 c 1002s| 3020k|275379 | 6331k| 170M| 36 | 5 | 40 | 31 | 5 | 40 | 15 | 20 | 10k|5658 | 0.000000e+00 | -- | Inf
1056.93/1057.36 c 1005s| 3030k|275836 | 6352k| 170M| 36 | 5 | 40 | 37 | 5 | 40 | 15 | 20 | 10k|5665 | 0.000000e+00 | -- | Inf
1060.42/1060.86 c 1008s| 3040k|276494 | 6373k| 171M| 36 | 5 | 40 | 34 | 5 | 40 | 15 | 20 | 10k|5677 | 0.000000e+00 | -- | Inf
1063.93/1064.33 c 1012s| 3050k|276826 | 6393k| 171M| 36 | - | 40 | 51 | 11 | 0 | 0 | 20 | 10k|5686 | 0.000000e+00 | -- | Inf
1067.32/1067.79 c 1015s| 3060k|278122 | 6414k| 172M| 36 | 5 | 40 | 58 | 5 | 40 | 15 | 20 | 10k|5697 | 0.000000e+00 | -- | Inf
1070.83/1071.30 c 1018s| 3070k|279842 | 6436k| 173M| 36 | - | 40 | 68 | 5 | 40 | 15 | 20 | 10k|5706 | 0.000000e+00 | -- | Inf
1074.42/1074.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.42/1074.87 c 1022s| 3080k|280844 | 6458k| 173M| 36 | 5 | 40 | 68 | 5 | 40 | 15 | 20 | 10k|5721 | 0.000000e+00 | -- | Inf
1078.02/1078.43 c 1025s| 3090k|281614 | 6480k| 174M| 36 | - | 40 | 60 | 5 | 40 | 15 | 20 | 10k|5728 | 0.000000e+00 | -- | Inf
1081.62/1082.03 c 1029s| 3100k|282396 | 6502k| 174M| 36 | 5 | 40 | 59 | 5 | 40 | 15 | 20 | 10k|5737 | 0.000000e+00 | -- | Inf
1085.11/1085.54 c 1032s| 3110k|282835 | 6524k| 175M| 36 | - | 40 | 61 | 5 | 40 | 15 | 20 | 10k|5746 | 0.000000e+00 | -- | Inf
1088.82/1089.21 c 1035s| 3120k|283192 | 6546k| 175M| 36 | 5 | 40 | 57 | 5 | 40 | 15 | 20 | 10k|5755 | 0.000000e+00 | -- | Inf
1092.42/1092.83 c 1039s| 3130k|283821 | 6568k| 175M| 36 | - | 40 | 54 | 5 | 40 | 15 | 20 | 10k|5762 | 0.000000e+00 | -- | Inf
1096.01/1096.49 c 1042s| 3140k|283969 | 6589k| 176M| 36 | 5 | 40 | 71 | 5 | 40 | 15 | 20 | 10k|5769 | 0.000000e+00 | -- | Inf
1099.71/1100.11 c 1046s| 3150k|284117 | 6611k| 176M| 36 | 5 | 40 | 53 | 5 | 40 | 15 | 20 | 10k|5778 | 0.000000e+00 | -- | Inf
1103.21/1103.65 c 1049s| 3160k|284322 | 6631k| 176M| 36 | - | 40 | 42 | 5 | 40 | 15 | 20 | 11k|5786 | 0.000000e+00 | -- | Inf
1106.71/1107.13 c 1053s| 3170k|284624 | 6652k| 176M| 36 | - | 40 | 37 | 5 | 0 | 0 | 20 | 11k|5796 | 0.000000e+00 | -- | Inf
1110.21/1110.69 c 1056s| 3180k|285010 | 6673k| 177M| 36 | - | 40 | 35 | 5 | 40 | 15 | 20 | 11k|5803 | 0.000000e+00 | -- | Inf
1113.81/1114.27 c 1059s| 3190k|285525 | 6694k| 177M| 36 | 5 | 40 | 42 | 5 | 40 | 15 | 20 | 11k|5810 | 0.000000e+00 | -- | Inf
1117.31/1117.78 c 1063s| 3200k|285767 | 6714k| 177M| 36 | 5 | 40 | 37 | 5 | 40 | 15 | 20 | 11k|5816 | 0.000000e+00 | -- | Inf
1120.90/1121.33 c 1066s| 3210k|285997 | 6735k| 178M| 36 | - | 40 | 27 | 6 | 0 | 0 | 20 | 11k|5825 | 0.000000e+00 | -- | Inf
1124.40/1124.87 c 1069s| 3220k|286479 | 6756k| 178M| 36 | - | 40 | 52 | 8 | 40 | 15 | 20 | 11k|5831 | 0.000000e+00 | -- | Inf
1127.91/1128.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.91/1128.38 c 1073s| 3230k|286990 | 6776k| 178M| 36 | 5 | 40 | 59 | 5 | 40 | 15 | 20 | 11k|5831 | 0.000000e+00 | -- | Inf
1131.50/1131.98 c 1076s| 3240k|287282 | 6797k| 179M| 36 | 5 | 40 | 57 | 6 | 40 | 15 | 20 | 11k|5839 | 0.000000e+00 | -- | Inf
1135.10/1135.56 c 1080s| 3250k|287754 | 6819k| 179M| 36 | - | 40 | 43 | 5 | 40 | 15 | 20 | 11k|5848 | 0.000000e+00 | -- | Inf
1138.60/1139.03 c 1083s| 3260k|288434 | 6839k| 179M| 36 | - | 40 | 31 | 5 | 40 | 15 | 20 | 11k|5854 | 0.000000e+00 | -- | Inf
1142.00/1142.45 c 1086s| 3270k|289103 | 6859k| 180M| 36 | 5 | 40 | 45 | 5 | 40 | 15 | 20 | 11k|5860 | 0.000000e+00 | -- | Inf
1145.50/1145.96 c 1089s| 3280k|289900 | 6880k| 180M| 36 | 5 | 40 | 36 | 5 | 40 | 15 | 20 | 11k|5871 | 0.000000e+00 | -- | Inf
1149.10/1149.58 c 1093s| 3290k|290173 | 6901k| 181M| 36 | - | 40 | 38 | 7 | 40 | 15 | 20 | 11k|5878 | 0.000000e+00 | -- | Inf
1152.69/1153.15 c 1096s| 3300k|290414 | 6921k| 181M| 36 | 5 | 40 | 49 | 5 | 40 | 15 | 20 | 11k|5878 | 0.000000e+00 | -- | Inf
1156.29/1156.70 c 1100s| 3310k|290844 | 6942k| 181M| 36 | 5 | 40 | 43 | 5 | 40 | 15 | 20 | 11k|5881 | 0.000000e+00 | -- | Inf
1159.79/1160.22 c 1103s| 3320k|291349 | 6963k| 182M| 36 | - | 40 | 44 | 5 | 0 | 0 | 20 | 11k|5887 | 0.000000e+00 | -- | Inf
1163.29/1163.76 c 1106s| 3330k|291686 | 6983k| 182M| 36 | 5 | 40 | 30 | 7 | 40 | 15 | 20 | 11k|5892 | 0.000000e+00 | -- | Inf
1166.89/1167.36 c 1110s| 3340k|292062 | 7005k| 182M| 36 | 5 | 40 | 53 | 5 | 40 | 15 | 20 | 11k|5901 | 0.000000e+00 | -- | Inf
1170.48/1170.92 c 1113s| 3350k|292540 | 7026k| 183M| 36 | 5 | 40 | 36 | 5 | 40 | 15 | 20 | 11k|5909 | 0.000000e+00 | -- | Inf
1173.98/1174.41 c 1117s| 3360k|293128 | 7046k| 183M| 36 | - | 40 | 45 | 5 | 0 | 0 | 20 | 11k|5917 | 0.000000e+00 | -- | Inf
1177.48/1177.92 c 1120s| 3370k|293439 | 7066k| 183M| 36 | 5 | 40 | 25 | 5 | 40 | 15 | 20 | 11k|5930 | 0.000000e+00 | -- | Inf
1180.89/1181.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.89/1181.35 c 1123s| 3380k|294678 | 7087k| 184M| 36 | 5 | 40 | 40 | 7 | 40 | 15 | 20 | 11k|5942 | 0.000000e+00 | -- | Inf
1184.39/1184.81 c 1126s| 3390k|295213 | 7107k| 184M| 36 | 5 | 40 | 50 | 7 | 40 | 15 | 20 | 11k|5956 | 0.000000e+00 | -- | Inf
1187.88/1188.32 c 1130s| 3400k|295992 | 7128k| 185M| 36 | - | 40 | 71 | 5 | 40 | 15 | 20 | 11k|5964 | 0.000000e+00 | -- | Inf
1191.48/1191.94 c 1133s| 3410k|296050 | 7149k| 185M| 36 | - | 40 | 43 | 5 | 0 | 0 | 20 | 11k|5976 | 0.000000e+00 | -- | Inf
1195.08/1195.55 c 1137s| 3420k|296309 | 7170k| 185M| 36 | 5 | 40 | 31 | 6 | 40 | 15 | 20 | 11k|5983 | 0.000000e+00 | -- | Inf
1198.58/1199.07 c 1140s| 3430k|296811 | 7191k| 186M| 36 | 5 | 40 | 45 | 5 | 40 | 15 | 20 | 12k|5983 | 0.000000e+00 | -- | Inf
1202.18/1202.60 c 1143s| 3440k|297571 | 7211k| 186M| 36 | 5 | 40 | 44 | 5 | 40 | 15 | 20 | 12k|5984 | 0.000000e+00 | -- | Inf
1205.77/1206.21 c 1147s| 3450k|297749 | 7233k| 187M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 | 12k|5993 | 0.000000e+00 | -- | Inf
1209.38/1209.89 c 1150s| 3460k|298401 | 7255k| 187M| 36 | - | 40 | 59 | 12 | 0 | 0 | 20 | 12k|6000 | 0.000000e+00 | -- | Inf
1212.97/1213.48 c 1154s| 3470k|299389 | 7277k| 188M| 36 | 5 | 40 | 58 | 5 | 40 | 15 | 20 | 12k|6002 | 0.000000e+00 | -- | Inf
1216.67/1217.19 c 1157s| 3480k|300049 | 7301k| 188M| 36 | 5 | 40 | 58 | 6 | 40 | 15 | 20 | 12k|6018 | 0.000000e+00 | -- | Inf
1220.27/1220.74 c 1161s| 3490k|301248 | 7321k| 189M| 36 | - | 40 | 78 | 5 | 40 | 15 | 20 | 12k|6023 | 0.000000e+00 | -- | Inf
1223.87/1224.31 c 1164s| 3500k|301883 | 7342k| 189M| 36 | - | 40 | 66 | 9 | 0 | 0 | 20 | 12k|6032 | 0.000000e+00 | -- | Inf
1227.47/1227.97 c 1167s| 3510k|302172 | 7363k| 189M| 36 | 5 | 40 | 57 | 5 | 40 | 15 | 20 | 12k|6041 | 0.000000e+00 | -- | Inf
1231.16/1231.65 c 1171s| 3520k|303179 | 7385k| 190M| 36 | - | 40 | 75 | 5 | 40 | 15 | 20 | 12k|6048 | 0.000000e+00 | -- | Inf
1234.96/1235.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.96/1235.46 c 1175s| 3530k|303560 | 7409k| 190M| 36 | - | 40 | 80 | 9 | 40 | 15 | 20 | 12k|6056 | 0.000000e+00 | -- | Inf
1238.56/1239.05 c 1178s| 3540k|303838 | 7430k| 191M| 36 | - | 40 | 48 | 5 | 40 | 15 | 20 | 12k|6066 | 0.000000e+00 | -- | Inf
1242.06/1242.59 c 1181s| 3550k|304080 | 7450k| 191M| 36 | - | 40 | 35 | 5 | 0 | 0 | 20 | 12k|6076 | 0.000000e+00 | -- | Inf
1245.56/1246.06 c 1185s| 3560k|305657 | 7472k| 192M| 36 | 5 | 40 | 35 | 5 | 40 | 15 | 20 | 12k|6081 | 0.000000e+00 | -- | Inf
1249.16/1249.63 c 1188s| 3570k|306348 | 7494k| 192M| 36 | 5 | 40 | 43 | 10 | 40 | 15 | 20 | 12k|6087 | 0.000000e+00 | -- | Inf
1252.76/1253.24 c 1191s| 3580k|306813 | 7515k| 193M| 36 | 5 | 40 | 41 | 5 | 40 | 15 | 20 | 12k|6096 | 0.000000e+00 | -- | Inf
1256.36/1256.85 c 1195s| 3590k|306861 | 7536k| 193M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 | 12k|6101 | 0.000000e+00 | -- | Inf
1259.96/1260.42 c 1198s| 3600k|307449 | 7557k| 193M| 36 | - | 40 | 55 | 10 | 0 | 0 | 20 | 12k|6107 | 0.000000e+00 | -- | Inf
1263.46/1263.95 c 1202s| 3610k|307752 | 7578k| 193M| 36 | 5 | 40 | 48 | 5 | 40 | 15 | 20 | 12k|6114 | 0.000000e+00 | -- | Inf
1266.95/1267.47 c 1205s| 3620k|307935 | 7598k| 194M| 36 | 5 | 40 | 59 | 6 | 40 | 15 | 20 | 12k|6118 | 0.000000e+00 | -- | Inf
1270.55/1271.06 c 1208s| 3630k|308247 | 7619k| 194M| 36 | - | 40 | 38 | 6 | 40 | 15 | 20 | 12k|6126 | 0.000000e+00 | -- | Inf
1274.16/1274.61 c 1212s| 3640k|308314 | 7640k| 194M| 36 | - | 40 | 34 | 6 | 40 | 15 | 20 | 12k|6134 | 0.000000e+00 | -- | Inf
1277.66/1278.14 c 1215s| 3650k|308725 | 7661k| 194M| 36 | - | 40 | 38 | 5 | 40 | 15 | 20 | 12k|6140 | 0.000000e+00 | -- | Inf
1281.15/1281.66 c 1218s| 3660k|309020 | 7681k| 195M| 36 | - | 40 | 30 | 8 | 40 | 15 | 20 | 12k|6149 | 0.000000e+00 | -- | Inf
1284.65/1285.16 c 1222s| 3670k|309592 | 7702k| 195M| 36 | 5 | 40 | 39 | 5 | 40 | 15 | 20 | 12k|6160 | 0.000000e+00 | -- | Inf
1288.24/1288.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.24/1288.72 c 1225s| 3680k|309857 | 7722k| 195M| 36 | 5 | 40 | 33 | 5 | 40 | 15 | 20 | 12k|6165 | 0.000000e+00 | -- | Inf
1291.75/1292.28 c 1229s| 3690k|310156 | 7743k| 196M| 36 | 5 | 40 | 24 | 5 | 40 | 15 | 20 | 12k|6169 | 0.000000e+00 | -- | Inf
1295.35/1295.84 c 1232s| 3700k|310424 | 7764k| 196M| 36 | 5 | 40 | 32 | 6 | 40 | 15 | 20 | 13k|6174 | 0.000000e+00 | -- | Inf
1298.84/1299.30 c 1235s| 3710k|310886 | 7783k| 196M| 36 | 5 | 40 | 77 | 8 | 40 | 15 | 20 | 13k|6180 | 0.000000e+00 | -- | Inf
1302.14/1302.67 c 1238s| 3720k|311727 | 7803k| 197M| 36 | 5 | 40 | 93 | 13 | 40 | 15 | 20 | 13k|6185 | 0.000000e+00 | -- | Inf
1305.74/1306.27 c 1242s| 3730k|311824 | 7823k| 197M| 36 | 5 | 40 | 32 | 5 | 40 | 15 | 20 | 13k|6190 | 0.000000e+00 | -- | Inf
1309.34/1309.82 c 1245s| 3740k|312029 | 7843k| 197M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 | 13k|6193 | 0.000000e+00 | -- | Inf
1312.84/1313.39 c 1249s| 3750k|312170 | 7864k| 197M| 36 | - | 40 | 34 | 5 | 40 | 15 | 20 | 13k|6196 | 0.000000e+00 | -- | Inf
1316.44/1316.98 c 1252s| 3760k|312402 | 7885k| 198M| 36 | 5 | 40 | 26 | 5 | 40 | 15 | 20 | 13k|6203 | 0.000000e+00 | -- | Inf
1320.04/1320.56 c 1255s| 3770k|312501 | 7906k| 198M| 36 | - | 40 | 20 | 5 | 40 | 15 | 20 | 13k|6214 | 0.000000e+00 | -- | Inf
1323.53/1324.03 c 1259s| 3780k|312839 | 7926k| 198M| 36 | - | 40 | 23 | 5 | 40 | 15 | 20 | 13k|6223 | 0.000000e+00 | -- | Inf
1327.04/1327.57 c 1262s| 3790k|313151 | 7947k| 198M| 36 | 5 | 40 | 36 | 5 | 40 | 15 | 20 | 13k|6229 | 0.000000e+00 | -- | Inf
1330.64/1331.15 c 1266s| 3800k|313605 | 7967k| 199M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 | 13k|6238 | 0.000000e+00 | -- | Inf
1334.23/1334.76 c 1269s| 3810k|314390 | 7988k| 199M| 36 | 5 | 40 | 56 | 6 | 40 | 15 | 20 | 13k|6240 | 0.000000e+00 | -- | Inf
1337.83/1338.31 c 1272s| 3820k|314561 | 8009k| 200M| 36 | 5 | 40 | 42 | 5 | 40 | 15 | 20 | 13k|6247 | 0.000000e+00 | -- | Inf
1341.33/1341.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.33/1341.84 c 1276s| 3830k|314823 | 8029k| 200M| 36 | 5 | 40 | 46 | 6 | 40 | 15 | 20 | 13k|6254 | 0.000000e+00 | -- | Inf
1344.92/1345.41 c 1279s| 3840k|315136 | 8050k| 200M| 36 | - | 40 | 29 | 5 | 40 | 15 | 20 | 13k|6259 | 0.000000e+00 | -- | Inf
1348.43/1348.91 c 1282s| 3850k|316240 | 8071k| 201M| 36 | - | 40 | 38 | 5 | 40 | 15 | 20 | 13k|6262 | 0.000000e+00 | -- | Inf
1351.93/1352.47 c 1286s| 3860k|316396 | 8091k| 201M| 36 | 5 | 40 | 46 | 6 | 40 | 15 | 20 | 13k|6264 | 0.000000e+00 | -- | Inf
1355.52/1356.08 c 1289s| 3870k|316618 | 8112k| 201M| 36 | 5 | 40 | 32 | 5 | 40 | 15 | 20 | 13k|6267 | 0.000000e+00 | -- | Inf
1359.12/1359.62 c 1293s| 3880k|316878 | 8132k| 202M| 36 | 5 | 40 | 53 | 6 | 40 | 15 | 20 | 13k|6272 | 0.000000e+00 | -- | Inf
1362.72/1363.23 c 1296s| 3890k|316971 | 8154k| 202M| 36 | - | 40 | 32 | 5 | 40 | 15 | 20 | 13k|6280 | 0.000000e+00 | -- | Inf
1366.22/1366.75 c 1299s| 3900k|317175 | 8174k| 202M| 36 | - | 40 | 36 | 5 | 40 | 15 | 20 | 13k|6285 | 0.000000e+00 | -- | Inf
1369.92/1370.43 c 1303s| 3910k|318021 | 8197k| 202M| 36 | - | 40 | 43 | 5 | 40 | 15 | 20 | 13k|6288 | 0.000000e+00 | -- | Inf
1373.52/1374.06 c 1306s| 3920k|318480 | 8220k| 203M| 36 | - | 40 | 60 | 5 | 0 | 0 | 20 | 13k|6294 | 0.000000e+00 | -- | Inf
1377.12/1377.68 c 1310s| 3930k|318556 | 8241k| 203M| 36 | 5 | 40 | 26 | 6 | 40 | 15 | 20 | 13k|6294 | 0.000000e+00 | -- | Inf
1380.72/1381.23 c 1313s| 3940k|318920 | 8262k| 203M| 36 | - | 40 | 34 | 5 | 0 | 0 | 20 | 13k|6296 | 0.000000e+00 | -- | Inf
1384.12/1384.68 c 1316s| 3950k|319975 | 8282k| 204M| 36 | - | 40 | 56 | 10 | 0 | 0 | 20 | 14k|6300 | 0.000000e+00 | -- | Inf
1387.61/1388.11 c 1320s| 3960k|321676 | 8302k| 205M| 36 | 5 | 40 | 68 | 5 | 40 | 15 | 20 | 14k|6304 | 0.000000e+00 | -- | Inf
1391.01/1391.58 c 1323s| 3970k|323025 | 8322k| 206M| 36 | 5 | 40 | 67 | 8 | 40 | 15 | 20 | 14k|6312 | 0.000000e+00 | -- | Inf
1394.51/1395.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.51/1395.08 c 1326s| 3980k|324589 | 8343k| 206M| 36 | 5 | 40 | 68 | 6 | 40 | 15 | 20 | 14k|6321 | 0.000000e+00 | -- | Inf
1398.01/1398.55 c 1330s| 3990k|325269 | 8363k| 207M| 36 | - | 40 | 54 | 5 | 40 | 15 | 20 | 14k|6324 | 0.000000e+00 | -- | Inf
1401.41/1401.93 c 1333s| 4000k|326083 | 8383k| 207M| 36 | - | 40 | 62 | 5 | 40 | 15 | 20 | 14k|6332 | 0.000000e+00 | -- | Inf
1404.91/1405.42 c 1336s| 4010k|326592 | 8403k| 208M| 36 | - | 40 | 57 | 5 | 0 | 0 | 20 | 14k|6342 | 0.000000e+00 | -- | Inf
1408.41/1408.92 c 1340s| 4020k|327252 | 8423k| 208M| 36 | 5 | 40 | 48 | 5 | 40 | 15 | 20 | 14k|6347 | 0.000000e+00 | -- | Inf
1411.91/1412.43 c 1343s| 4030k|327553 | 8443k| 209M| 36 | 5 | 40 | 55 | 5 | 40 | 15 | 20 | 14k|6354 | 0.000000e+00 | -- | Inf
1415.41/1415.90 c 1346s| 4040k|327882 | 8463k| 209M| 36 | - | 40 | 71 | 5 | 0 | 0 | 20 | 14k|6362 | 0.000000e+00 | -- | Inf
1418.80/1419.31 c 1349s| 4050k|328500 | 8482k| 209M| 36 | - | 40 | 61 | 5 | 0 | 0 | 20 | 14k|6373 | 0.000000e+00 | -- | Inf
1422.20/1422.76 c 1353s| 4060k|328768 | 8502k| 210M| 36 | - | 40 | 70 | 7 | 0 | 0 | 20 | 14k|6377 | 0.000000e+00 | -- | Inf
1425.70/1426.28 c 1356s| 4070k|329461 | 8522k| 210M| 36 | 5 | 40 | 61 | 6 | 40 | 15 | 20 | 14k|6385 | 0.000000e+00 | -- | Inf
1429.40/1429.92 c 1359s| 4080k|329786 | 8544k| 210M| 36 | 5 | 40 | 66 | 10 | 40 | 15 | 20 | 14k|6392 | 0.000000e+00 | -- | Inf
1432.90/1433.42 c 1363s| 4090k|330593 | 8564k| 211M| 36 | 5 | 40 | 70 | 5 | 40 | 15 | 20 | 14k|6398 | 0.000000e+00 | -- | Inf
1436.40/1436.92 c 1366s| 4100k|331115 | 8584k| 211M| 36 | 5 | 40 | 77 | 8 | 40 | 15 | 20 | 14k|6410 | 0.000000e+00 | -- | Inf
1439.90/1440.43 c 1369s| 4110k|331488 | 8604k| 211M| 36 | - | 40 | 75 | 10 | 40 | 15 | 20 | 14k|6415 | 0.000000e+00 | -- | Inf
1443.49/1444.00 c 1373s| 4120k|331901 | 8624k| 212M| 36 | - | 40 | 63 | 7 | 40 | 15 | 20 | 14k|6427 | 0.000000e+00 | -- | Inf
1447.00/1447.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.00/1447.51 c 1376s| 4130k|332400 | 8645k| 212M| 36 | 5 | 40 | 45 | 5 | 40 | 15 | 20 | 14k|6435 | 0.000000e+00 | -- | Inf
1450.59/1451.11 c 1380s| 4140k|332526 | 8666k| 212M| 36 | 5 | 40 | 27 | 5 | 40 | 15 | 20 | 14k|6441 | 0.000000e+00 | -- | Inf
1454.09/1454.70 c 1383s| 4150k|332851 | 8687k| 213M| 36 | - | 40 | 33 | 7 | 0 | 0 | 20 | 14k|6445 | 0.000000e+00 | -- | Inf
1457.69/1458.25 c 1386s| 4160k|333026 | 8707k| 213M| 36 | 5 | 40 | 53 | 5 | 40 | 15 | 20 | 14k|6450 | 0.000000e+00 | -- | Inf
1461.19/1461.79 c 1390s| 4170k|334135 | 8729k| 213M| 36 | - | 40 | 53 | 5 | 40 | 15 | 20 | 14k|6454 | 0.000000e+00 | -- | Inf
1464.89/1465.42 c 1393s| 4180k|334691 | 8751k| 214M| 36 | 5 | 40 | 64 | 8 | 40 | 15 | 20 | 14k|6468 | 0.000000e+00 | -- | Inf
1468.58/1469.11 c 1397s| 4190k|334972 | 8772k| 214M| 36 | - | 40 | 65 | 8 | 0 | 0 | 20 | 14k|6473 | 0.000000e+00 | -- | Inf
1472.08/1472.66 c 1400s| 4200k|335344 | 8793k| 215M| 36 | 5 | 40 | 68 | 5 | 40 | 15 | 20 | 14k|6481 | 0.000000e+00 | -- | Inf
1475.79/1476.34 c 1404s| 4210k|336279 | 8815k| 215M| 36 | 5 | 40 | 87 | 19 | 40 | 15 | 20 | 15k|6486 | 0.000000e+00 | -- | Inf
1479.39/1479.99 c 1407s| 4220k|337054 | 8837k| 216M| 36 | 5 | 40 | 92 | 6 | 40 | 15 | 20 | 15k|6495 | 0.000000e+00 | -- | Inf
1482.98/1483.51 c 1410s| 4230k|337624 | 8857k| 216M| 36 | 5 | 40 | 91 | 5 | 40 | 15 | 20 | 15k|6499 | 0.000000e+00 | -- | Inf
1486.39/1486.97 c 1414s| 4240k|339062 | 8878k| 217M| 36 | 5 | 40 | 107 | 5 | 40 | 15 | 20 | 15k|6502 | 0.000000e+00 | -- | Inf
1489.98/1490.54 c 1417s| 4250k|339644 | 8899k| 217M| 36 | - | 40 | 108 | 5 | 40 | 15 | 20 | 15k|6507 | 0.000000e+00 | -- | Inf
1493.57/1494.14 c 1420s| 4260k|339879 | 8921k| 217M| 36 | 5 | 40 | 112 | 20 | 40 | 15 | 20 | 15k|6511 | 0.000000e+00 | -- | Inf
1497.18/1497.71 c 1424s| 4270k|340289 | 8942k| 218M| 36 | 5 | 40 | 80 | 5 | 40 | 15 | 20 | 15k|6515 | 0.000000e+00 | -- | Inf
1500.67/1501.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.67/1501.29 c 1427s| 4280k|340497 | 8962k| 218M| 36 | - | 40 | 47 | 5 | 40 | 15 | 20 | 15k|6518 | 0.000000e+00 | -- | Inf
1504.28/1504.86 c 1431s| 4290k|340926 | 8983k| 218M| 36 | - | 40 | 43 | 6 | 0 | 0 | 20 | 15k|6522 | 0.000000e+00 | -- | Inf
1507.77/1508.35 c 1434s| 4300k|341315 | 9003k| 219M| 36 | - | 40 | 52 | 5 | 40 | 15 | 20 | 15k|6526 | 0.000000e+00 | -- | Inf
1511.27/1511.89 c 1437s| 4310k|341502 | 9023k| 219M| 36 | 5 | 40 | 28 | 11 | 40 | 15 | 20 | 15k|6531 | 0.000000e+00 | -- | Inf
1514.87/1515.42 c 1441s| 4320k|341787 | 9044k| 219M| 36 | - | 40 | 46 | 6 | 40 | 15 | 20 | 15k|6537 | 0.000000e+00 | -- | Inf
1518.37/1518.93 c 1444s| 4330k|342491 | 9064k| 220M| 36 | 5 | 40 | 52 | 5 | 40 | 15 | 20 | 15k|6539 | 0.000000e+00 | -- | Inf
1521.97/1522.56 c 1448s| 4340k|342463 | 9086k| 220M| 36 | - | 40 | 29 | 5 | 0 | 0 | 20 | 15k|6549 | 0.000000e+00 | -- | Inf
1525.47/1526.03 c 1451s| 4350k|342958 | 9105k| 220M| 36 | - | 40 | 32 | 6 | 0 | 0 | 20 | 15k|6555 | 0.000000e+00 | -- | Inf
1528.97/1529.54 c 1454s| 4360k|343276 | 9125k| 220M| 36 | - | 40 | 25 | 5 | 40 | 15 | 20 | 15k|6558 | 0.000000e+00 | -- | Inf
1532.46/1533.05 c 1458s| 4370k|344392 | 9146k| 221M| 36 | - | 40 | 39 | 15 | 0 | 0 | 20 | 15k|6561 | 0.000000e+00 | -- | Inf
1536.07/1536.67 c 1461s| 4380k|344284 | 9166k| 221M| 36 | 5 | 40 | 32 | 6 | 40 | 15 | 20 | 15k|6568 | 0.000000e+00 | -- | Inf
1539.66/1540.24 c 1464s| 4390k|344262 | 9187k| 221M| 36 | - | 40 | 28 | 5 | 0 | 0 | 20 | 15k|6573 | 0.000000e+00 | -- | Inf
1543.16/1543.78 c 1468s| 4400k|344484 | 9207k| 222M| 36 | 5 | 40 | 36 | 5 | 40 | 15 | 20 | 15k|6577 | 0.000000e+00 | -- | Inf
1546.76/1547.35 c 1471s| 4410k|344975 | 9228k| 222M| 36 | 5 | 40 | 54 | 5 | 40 | 15 | 20 | 15k|6585 | 0.000000e+00 | -- | Inf
1550.36/1550.97 c 1475s| 4420k|345044 | 9249k| 222M| 36 | 5 | 40 | 34 | 9 | 40 | 15 | 20 | 15k|6592 | 0.000000e+00 | -- | Inf
1553.86/1554.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.86/1554.49 c 1478s| 4430k|345358 | 9268k| 222M| 36 | - | 40 | 30 | 5 | 40 | 15 | 20 | 15k|6594 | 0.000000e+00 | -- | Inf
1557.56/1558.14 c 1481s| 4440k|345840 | 9290k| 223M| 36 | - | 40 | 44 | 5 | 40 | 15 | 20 | 16k|6599 | 0.000000e+00 | -- | Inf
1561.16/1561.77 c 1485s| 4450k|346216 | 9312k| 223M| 36 | - | 40 | 58 | 6 | 40 | 15 | 20 | 16k|6603 | 0.000000e+00 | -- | Inf
1564.76/1565.38 c 1488s| 4460k|346450 | 9334k| 223M| 36 | 5 | 40 | 50 | 6 | 40 | 15 | 20 | 16k|6610 | 0.000000e+00 | -- | Inf
1568.35/1568.97 c 1492s| 4470k|346452 | 9354k| 223M| 36 | - | 40 | 36 | 5 | 40 | 15 | 20 | 16k|6615 | 0.000000e+00 | -- | Inf
1571.95/1572.57 c 1495s| 4480k|346888 | 9374k| 224M| 36 | 5 | 40 | 39 | 9 | 40 | 15 | 20 | 16k|6619 | 0.000000e+00 | -- | Inf
1575.55/1576.14 c 1499s| 4490k|347151 | 9395k| 224M| 36 | - | 40 | 34 | 5 | 40 | 15 | 20 | 16k|6625 | 0.000000e+00 | -- | Inf
1579.06/1579.62 c 1502s| 4500k|347782 | 9415k| 224M| 36 | - | 40 | 57 | 5 | 0 | 0 | 20 | 16k|6628 | 0.000000e+00 | -- | Inf
1582.65/1583.27 c 1505s| 4510k|347947 | 9437k| 225M| 36 | - | 40 | 43 | 5 | 40 | 15 | 20 | 16k|6633 | 0.000000e+00 | -- | Inf
1586.15/1586.79 c 1509s| 4520k|349188 | 9459k| 225M| 36 | - | 40 | 42 | 6 | 40 | 15 | 20 | 16k|6636 | 0.000000e+00 | -- | Inf
1589.75/1590.33 c 1512s| 4530k|350419 | 9481k| 226M| 36 | 5 | 40 | 57 | 5 | 40 | 15 | 20 | 16k|6641 | 0.000000e+00 | -- | Inf
1593.34/1593.91 c 1515s| 4540k|351078 | 9502k| 226M| 36 | - | 40 | 59 | 5 | 0 | 0 | 20 | 16k|6649 | 0.000000e+00 | -- | Inf
1596.94/1597.59 c 1519s| 4550k|351259 | 9523k| 227M| 36 | - | 40 | 43 | 5 | 40 | 15 | 20 | 16k|6652 | 0.000000e+00 | -- | Inf
1600.54/1601.17 c 1522s| 4560k|351675 | 9545k| 227M| 36 | - | 40 | 47 | 5 | 0 | 0 | 20 | 16k|6654 | 0.000000e+00 | -- | Inf
1604.14/1604.71 c 1526s| 4570k|351916 | 9566k| 227M| 36 | - | 40 | 42 | 5 | 0 | 0 | 20 | 16k|6658 | 0.000000e+00 | -- | Inf
1607.74/1608.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.74/1608.35 c 1529s| 4580k|351898 | 9586k| 227M| 36 | 5 | 40 | 34 | 5 | 40 | 15 | 20 | 16k|6668 | 0.000000e+00 | -- | Inf
1611.44/1612.05 c 1533s| 4590k|351874 | 9608k| 228M| 36 | - | 40 | 31 | 5 | 40 | 15 | 20 | 16k|6679 | 0.000000e+00 | -- | Inf
1614.93/1615.50 c 1536s| 4600k|352740 | 9629k| 228M| 36 | 5 | 40 | 42 | 5 | 40 | 15 | 20 | 16k|6685 | 0.000000e+00 | -- | Inf
1618.43/1619.01 c 1539s| 4610k|353312 | 9649k| 228M| 36 | - | 40 | 30 | 5 | 40 | 15 | 20 | 16k|6687 | 0.000000e+00 | -- | Inf
1621.94/1622.59 c 1543s| 4620k|354155 | 9671k| 229M| 36 | 5 | 40 | 48 | 7 | 40 | 15 | 20 | 16k|6696 | 0.000000e+00 | -- | Inf
1625.63/1626.23 c 1546s| 4630k|354195 | 9692k| 229M| 36 | 5 | 40 | 44 | 6 | 40 | 15 | 20 | 16k|6703 | 0.000000e+00 | -- | Inf
1629.23/1629.89 c 1550s| 4640k|354455 | 9714k| 229M| 36 | 5 | 40 | 44 | 5 | 40 | 15 | 20 | 16k|6707 | 0.000000e+00 | -- | Inf
1632.94/1633.53 c 1553s| 4650k|354343 | 9734k| 230M| 36 | 5 | 40 | 32 | 5 | 40 | 15 | 20 | 16k|6715 | 0.000000e+00 | -- | Inf
1636.53/1637.18 c 1557s| 4660k|354320 | 9755k| 230M| 36 | 5 | 40 | 33 | 6 | 40 | 15 | 20 | 16k|6723 | 0.000000e+00 | -- | Inf
1640.13/1640.75 c 1560s| 4670k|354523 | 9775k| 230M| 36 | - | 40 | 33 | 5 | 40 | 15 | 20 | 16k|6725 | 0.000000e+00 | -- | Inf
1643.62/1644.20 c 1563s| 4680k|356757 | 9797k| 231M| 36 | 5 | 40 | 35 | 5 | 40 | 15 | 20 | 16k|6729 | 0.000000e+00 | -- | Inf
1647.03/1647.64 c 1567s| 4690k|358833 | 9819k| 232M| 36 | - | 40 | 34 | 5 | 0 | 0 | 20 | 16k|6732 | 0.000000e+00 | -- | Inf
1650.52/1651.11 c 1570s| 4700k|360641 | 9840k| 233M| 36 | - | 40 | 34 | 5 | 40 | 15 | 20 | 16k|6735 | 0.000000e+00 | -- | Inf
1654.02/1654.62 c 1573s| 4710k|362442 | 9861k| 234M| 36 | 5 | 40 | 46 | 7 | 40 | 15 | 20 | 17k|6744 | 0.000000e+00 | -- | Inf
1657.52/1658.13 c 1577s| 4720k|363813 | 9883k| 235M| 36 | 5 | 40 | 40 | 5 | 40 | 15 | 20 | 17k|6748 | 0.000000e+00 | -- | Inf
1660.92/1661.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.92/1661.59 c 1580s| 4730k|365086 | 9904k| 235M| 36 | - | 40 | 39 | 5 | 40 | 15 | 20 | 17k|6754 | 0.000000e+00 | -- | Inf
1664.42/1665.05 c 1583s| 4740k|366040 | 9924k| 236M| 36 | 5 | 40 | 29 | 5 | 40 | 15 | 20 | 17k|6759 | 0.000000e+00 | -- | Inf
1667.92/1668.55 c 1586s| 4750k|367057 | 9945k| 236M| 36 | 5 | 40 | 40 | 7 | 40 | 15 | 20 | 17k|6763 | 0.000000e+00 | -- | Inf
1671.52/1672.14 c 1590s| 4760k|368372 | 9967k| 237M| 36 | 5 | 40 | 40 | 6 | 40 | 15 | 20 | 17k|6773 | 0.000000e+00 | -- | Inf
1675.12/1675.70 c 1593s| 4770k|369505 | 9988k| 238M| 36 | 5 | 40 | 47 | 5 | 40 | 15 | 20 | 17k|6780 | 0.000000e+00 | -- | Inf
1678.61/1679.20 c 1597s| 4780k|370277 | 10008k| 238M| 36 | 5 | 40 | 36 | 5 | 40 | 15 | 20 | 17k|6785 | 0.000000e+00 | -- | Inf
1682.11/1682.76 c 1600s| 4790k|371250 | 10029k| 239M| 36 | 5 | 40 | 47 | 6 | 40 | 15 | 20 | 17k|6790 | 0.000000e+00 | -- | Inf
1685.62/1686.28 c 1603s| 4800k|372315 | 10050k| 240M| 36 | 5 | 40 | 45 | 5 | 40 | 15 | 20 | 17k|6794 | 0.000000e+00 | -- | Inf
1689.31/1689.90 c 1607s| 4810k|373299 | 10072k| 240M| 36 | 5 | 40 | 36 | 7 | 40 | 15 | 20 | 17k|6801 | 0.000000e+00 | -- | Inf
1692.81/1693.48 c 1610s| 4820k|374539 | 10093k| 241M| 36 | - | 40 | 49 | 7 | 40 | 15 | 20 | 17k|6804 | 0.000000e+00 | -- | Inf
1696.51/1697.12 c 1614s| 4830k|375167 | 10114k| 241M| 36 | 5 | 40 | 35 | 5 | 40 | 15 | 20 | 17k|6814 | 0.000000e+00 | -- | Inf
1700.11/1700.71 c 1617s| 4840k|375610 | 10135k| 242M| 36 | - | 40 | 32 | 3 | 0 | 0 | 20 | 17k|6823 | 0.000000e+00 | -- | Inf
1703.50/1704.18 c 1620s| 4850k|378177 | 10158k| 243M| 36 | 5 | 40 | 45 | 7 | 40 | 15 | 20 | 17k|6826 | 0.000000e+00 | -- | Inf
1707.01/1707.68 c 1624s| 4860k|379770 | 10181k| 244M| 36 | 5 | 40 | 35 | 7 | 40 | 15 | 20 | 17k|6833 | 0.000000e+00 | -- | Inf
1710.60/1711.24 c 1627s| 4870k|381580 | 10203k| 245M| 36 | 5 | 40 | 43 | 5 | 40 | 15 | 20 | 17k|6837 | 0.000000e+00 | -- | Inf
1714.21/1714.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.21/1714.83 c 1630s| 4880k|382854 | 10225k| 246M| 36 | 5 | 40 | 54 | 5 | 40 | 15 | 20 | 17k|6841 | 0.000000e+00 | -- | Inf
1717.80/1718.43 c 1634s| 4890k|383914 | 10247k| 246M| 36 | 5 | 40 | 45 | 8 | 40 | 15 | 20 | 17k|6851 | 0.000000e+00 | -- | Inf
1721.40/1722.01 c 1637s| 4900k|384851 | 10269k| 247M| 36 | - | 40 | 58 | 5 | 0 | 0 | 20 | 17k|6856 | 0.000000e+00 | -- | Inf
1724.90/1725.57 c 1641s| 4910k|385628 | 10291k| 247M| 36 | - | 40 | 54 | 5 | 0 | 0 | 20 | 17k|6864 | 0.000000e+00 | -- | Inf
1728.50/1729.16 c 1644s| 4920k|386256 | 10312k| 248M| 36 | - | 40 | 63 | 6 | 40 | 15 | 20 | 17k|6870 | 0.000000e+00 | -- | Inf
1732.20/1732.81 c 1648s| 4930k|387106 | 10335k| 248M| 36 | 5 | 40 | 67 | 7 | 40 | 15 | 20 | 17k|6875 | 0.000000e+00 | -- | Inf
1735.80/1736.44 c 1651s| 4940k|387899 | 10357k| 249M| 36 | - | 40 | 72 | 5 | 40 | 15 | 20 | 17k|6883 | 0.000000e+00 | -- | Inf
1739.40/1740.06 c 1654s| 4950k|388566 | 10379k| 249M| 36 | - | 40 | 63 | 5 | 0 | 0 | 20 | 17k|6888 | 0.000000e+00 | -- | Inf
1743.00/1743.66 c 1658s| 4960k|389215 | 10401k| 250M| 36 | - | 40 | 38 | 5 | 40 | 15 | 20 | 17k|6893 | 0.000000e+00 | -- | Inf
1746.59/1747.23 c 1661s| 4970k|389604 | 10421k| 250M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 | 17k|6897 | 0.000000e+00 | -- | Inf
1750.09/1750.74 c 1665s| 4980k|391513 | 10443k| 251M| 36 | - | 40 | 54 | 29 | 0 | 0 | 20 | 17k|6903 | 0.000000e+00 | -- | Inf
1753.68/1754.32 c 1668s| 4990k|392527 | 10465k| 252M| 36 | - | 40 | 45 | 5 | 0 | 0 | 20 | 17k|6906 | 0.000000e+00 | -- | Inf
1757.19/1757.86 c 1671s| 5000k|393558 | 10486k| 252M| 36 | - | 40 | 75 | 5 | 40 | 15 | 20 | 18k|6909 | 0.000000e+00 | -- | Inf
1760.79/1761.44 c 1675s| 5010k|394061 | 10508k| 253M| 36 | - | 40 | 51 | 8 | 40 | 15 | 20 | 18k|6913 | 0.000000e+00 | -- | Inf
1764.28/1764.98 c 1678s| 5020k|394611 | 10529k| 253M| 36 | - | 40 | 55 | 7 | 40 | 15 | 20 | 18k|6916 | 0.000000e+00 | -- | Inf
1767.89/1768.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.89/1768.58 c 1682s| 5030k|395083 | 10550k| 254M| 36 | 5 | 40 | 46 | 5 | 40 | 15 | 20 | 18k|6919 | 0.000000e+00 | -- | Inf
1771.58/1772.29 c 1685s| 5040k|395188 | 10572k| 254M| 36 | 5 | 40 | 42 | 5 | 40 | 15 | 20 | 18k|6922 | 0.000000e+00 | -- | Inf
1775.28/1775.90 c 1689s| 5050k|395679 | 10592k| 254M| 36 | - | 40 | 40 | 5 | 40 | 15 | 20 | 18k|6927 | 0.000000e+00 | -- | Inf
1778.78/1779.47 c 1692s| 5060k|396419 | 10614k| 255M| 36 | 5 | 40 | 47 | 5 | 40 | 15 | 20 | 18k|6929 | 0.000000e+00 | -- | Inf
1782.39/1783.10 c 1695s| 5070k|396726 | 10635k| 255M| 36 | 5 | 40 | 40 | 5 | 40 | 15 | 20 | 18k|6932 | 0.000000e+00 | -- | Inf
1785.97/1786.69 c 1699s| 5080k|397354 | 10656k| 255M| 36 | - | 40 | 53 | 5 | 0 | 0 | 20 | 18k|6935 | 0.000000e+00 | -- | Inf
1789.68/1790.34 c 1702s| 5090k|397827 | 10678k| 256M| 36 | - | 40 | 49 | 5 | 40 | 15 | 20 | 18k|6943 | 0.000000e+00 | -- | Inf
1793.28/1793.95 c 1706s| 5100k|398409 | 10699k| 256M| 36 | - | 40 | 51 | 7 | 40 | 15 | 20 | 18k|6948 | 0.000000e+00 | -- | Inf
1796.97/1797.61 c 1709s| 5110k|398779 | 10720k| 257M| 36 | 5 | 40 | 45 | 9 | 40 | 15 | 20 | 18k|6951 | 0.000000e+00 | -- | Inf
1800.08/1800.70 c
1800.08/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.70 c Solving Time (sec) : 1712.15
1800.08/1800.70 c Solving Nodes : 5118511
1800.08/1800.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.70 c Dual Bound : +0.00000000000000e+00
1800.08/1800.70 c Gap : infinite
1800.08/1800.71 c NODE 5118511
1800.08/1800.71 c DUAL BOUND 0
1800.08/1800.71 c PRIMAL BOUND 1e+20
1800.08/1800.71 c GAP 1e+20
1800.08/1800.71 s UNKNOWN
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1712.15
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-1869517-1245176031.opb
1800.08/1800.71 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 11 initial, 11 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-1869517-1245176031.opb
1800.08/1800.71 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 5 initial, 366 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.71 c linear : 0.00 0 0 0 0 0 6 0 0
1800.08/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c root node : - 0 - - 0 - - - -
1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c integral : 0 0 0 2763798 0 808 3094 0 0 5520240
1800.08/1800.71 c linear : 5 6 6123693 0 0 748449 7214370 0 0 0
1800.08/1800.71 c logicor : 0+ 0 1960840 0 0 159 13222 0 0 0
1800.08/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.71 c integral : 29.08 0.00 0.00 29.08 0.00
1800.08/1800.71 c linear : 234.35 0.00 234.35 0.00 0.00
1800.08/1800.71 c logicor : 6.79 0.00 6.79 0.00 0.00
1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.71 c rootredcost : 2.60 0 0 0
1800.08/1800.71 c pseudoobj : 1.59 0 0 0
1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.71 c propagation : 40.50 748608 13564 24690 30.2 0 0.0 -
1800.08/1800.71 c infeasible LP : 14.60 1612775 4575 5032 16.9 1 32.0 0
1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.71 c applied globally : - - - 14148 24.3 - - -
1800.08/1800.71 c applied locally : - - - 4416 31.7 - - -
1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.71 c cut pool : 0.00 5 - - 13 - (maximal pool size: 88)
1800.08/1800.71 c redcost : 5.22 2763802 0 0 0 0
1800.08/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.71 c intobj : 0.00 0 0 0 0 0
1800.08/1800.71 c gomory : 0.01 6 0 0 1 0
1800.08/1800.71 c strongcg : 0.01 6 0 0 37 0
1800.08/1800.71 c cmir : 0.01 6 0 0 25 0
1800.08/1800.71 c flowcover : 0.00 6 0 0 33 0
1800.08/1800.71 c clique : 0.00 1 0 0 0 0
1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.71 c mcf : 0.00 1 0 0 0 0
1800.08/1800.71 c Pricers : Time Calls Vars
1800.08/1800.71 c problem variables: 0.00 0 0
1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c relpscost : 26.48 2763798 808 3094 0 0 5520240
1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c random : 0.00 0 0 0 0 0 0
1800.08/1800.71 c Primal Heuristics : Time Calls Found
1800.08/1800.71 c LP solutions : 0.00 - 0
1800.08/1800.71 c pseudo solutions : 0.00 - 0
1800.08/1800.71 c oneopt : 2.61 0 0
1800.08/1800.71 c crossover : 1.51 0 0
1800.08/1800.71 c guideddiving : 0.24 0 0
1800.08/1800.71 c objpscostdiving : 0.24 48 0
1800.08/1800.71 c rootsoldiving : 0.28 48 0
1800.08/1800.71 c pscostdiving : 0.35 96 0
1800.08/1800.71 c fracdiving : 0.35 96 0
1800.08/1800.71 c veclendiving : 0.40 96 0
1800.08/1800.71 c linesearchdiving : 0.25 96 0
1800.08/1800.71 c coefdiving : 0.35 96 0
1800.08/1800.71 c feaspump : 0.44 49 0
1800.08/1800.71 c simplerounding : 1.41 0 0
1800.08/1800.71 c rounding : 2.14 23604 0
1800.08/1800.71 c shifting : 4.23 7531 0
1800.08/1800.71 c intshifting : 0.10 0 0
1800.08/1800.71 c fixandinfer : 0.00 0 0
1800.08/1800.71 c intdiving : 0.00 0 0
1800.08/1800.71 c actconsdiving : 0.00 0 0
1800.08/1800.71 c octane : 0.00 0 0
1800.08/1800.71 c rens : 0.04 1 0
1800.08/1800.71 c rins : 0.00 0 0
1800.08/1800.71 c localbranching : 0.00 0 0
1800.08/1800.71 c mutation : 0.00 0 0
1800.08/1800.71 c dins : 0.00 0 0
1800.08/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.71 c dual LP : 1099.96 4324205 10736388 2.48 9760.71
1800.08/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.71 c diving/probing LP: 0.45 1430 2341 1.64 5202.22
1800.08/1800.71 c strong branching : 1.42 6954 28820 4.14 20295.77
1800.08/1800.71 c (at root node) : - 15 545 36.33 -
1800.08/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.71 c B&B Tree :
1800.08/1800.71 c number of runs : 1
1800.08/1800.71 c nodes : 5118511
1800.08/1800.71 c nodes (total) : 5118511
1800.08/1800.71 c nodes left : 398967
1800.08/1800.71 c max depth : 36
1800.08/1800.71 c max depth (total): 36
1800.08/1800.71 c backtracks : 1146164 (22.4%)
1800.08/1800.71 c delayed cutoffs : 2763
1800.08/1800.71 c repropagations : 20264 (29069 domain reductions, 2700 cutoffs)
1800.08/1800.71 c avg switch length: 5.09
1800.08/1800.71 c switching time : 130.78
1800.08/1800.71 c Solution :
1800.08/1800.71 c Solutions found : 0 (0 improvements)
1800.08/1800.71 c Primal Bound : -
1800.08/1800.71 c Dual Bound : +0.00000000000000e+00
1800.08/1800.71 c Gap : infinite
1800.08/1800.71 c Root Dual Bound : +0.00000000000000e+00
1801.96/1802.66 c Time complete: 1802.03.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869517-1245176031/watcher-1869517-1245176031 -o /tmp/evaluation-result-1869517-1245176031/solver-1869517-1245176031 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869517-1245176031.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: 1.00 1.00 1.00 2/64 622
/proc/meminfo: memFree=1846692/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=9676 CPUtime=0
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 1313 0 0 0 0 0 0 0 18 0 1 0 185200330 9908224 1297 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/622/statm: 2419 1303 362 1256 0 1158 0
[startup+0.0160741 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 622
/proc/meminfo: memFree=1846692/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=12928 CPUtime=0
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 2383 0 0 0 0 0 0 0 18 0 1 0 185200330 13238272 2013 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 3232 2013 463 1256 0 1971 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12928
[startup+0.101087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 622
/proc/meminfo: memFree=1846692/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=22644 CPUtime=0.09
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 4618 0 0 0 8 1 0 0 18 0 1 0 185200330 23187456 4248 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 5661 4248 672 1256 0 4400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22644
[startup+0.301121 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 622
/proc/meminfo: memFree=1846692/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=15548 CPUtime=0.29
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 4700 0 0 0 27 2 0 0 19 0 1 0 185200330 15921152 2558 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 3887 2558 691 1256 0 2626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15548
[startup+0.701189 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 622
/proc/meminfo: memFree=1846692/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=15760 CPUtime=0.69
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 4778 0 0 0 66 3 0 0 22 0 1 0 185200330 16138240 2636 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 3940 2636 691 1256 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15760
[startup+1.50233 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1839132/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=15760 CPUtime=1.49
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 4842 0 0 0 143 6 0 0 25 0 1 0 185200330 16138240 2700 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 3940 2700 691 1256 0 2679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15760
[startup+3.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1838556/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=17552 CPUtime=3.09
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 5060 0 0 0 295 14 0 0 25 0 1 0 185200330 17973248 2918 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 4388 2918 691 1256 0 3127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17552
[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1837148/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=18788 CPUtime=6.28
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 5401 0 0 0 598 30 0 0 25 0 1 0 185200330 19238912 3259 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 4697 3259 691 1256 0 3436 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18788
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1834988/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=20796 CPUtime=12.68
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 5814 0 0 0 1208 60 0 0 25 0 1 0 185200330 21295104 3672 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 5199 3672 691 1256 0 3938 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20796
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1831404/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=24244 CPUtime=25.48
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 6707 0 0 0 2430 118 0 0 25 0 1 0 185200330 24825856 4565 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 6061 4565 691 1256 0 4800 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24244
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1825004/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=30972 CPUtime=51.07
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 8374 0 0 0 4865 242 0 0 25 0 1 0 185200330 31715328 6232 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 7743 6232 691 1256 0 6482 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30972
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1812460/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=43644 CPUtime=102.27
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 11457 0 0 0 9736 491 0 0 25 0 1 0 185200330 44691456 9315 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 10911 9315 692 1256 0 9650 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43644
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1798956/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=58044 CPUtime=162.23
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 14820 0 0 0 15438 785 0 0 25 0 1 0 185200330 59437056 12678 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 14511 12678 692 1256 0 13250 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 58044
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1786668/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=69944 CPUtime=222.22
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 17867 0 0 0 21140 1082 0 0 25 0 1 0 185200330 71622656 15724 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 17486 15724 692 1256 0 16225 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 69944
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1775468/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=81272 CPUtime=282.2
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 20642 0 0 0 26843 1377 0 0 25 0 1 0 185200330 83222528 18499 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 20318 18499 692 1256 0 19057 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 81272
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1764268/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=92308 CPUtime=342.17
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 23411 0 0 0 32542 1675 0 0 25 0 1 0 185200330 94523392 21268 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 23077 21268 692 1256 0 21816 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 92308
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1754412/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=102400 CPUtime=402.16
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 25933 0 0 0 38235 1981 0 0 25 0 1 0 185200330 104857600 23790 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 25600 23790 692 1256 0 24339 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 102400
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1744940/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=111828 CPUtime=462.14
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 28208 0 0 0 43931 2283 0 0 25 0 1 0 185200330 114511872 26064 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 27957 26064 692 1256 0 26696 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 111828
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1735532/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=121852 CPUtime=522.11
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 30779 0 0 0 49637 2574 0 0 25 0 1 0 185200330 124776448 28634 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 30463 28634 692 1256 0 29202 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 121852
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1725036/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=132124 CPUtime=582.09
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 33134 0 0 0 55342 2867 0 0 25 0 1 0 185200330 135294976 30987 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 33031 30987 692 1256 0 31770 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 132124
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1716524/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=144524 CPUtime=642.07
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 35243 0 0 0 61048 3159 0 0 25 0 1 0 185200330 147992576 33096 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 36131 33096 692 1256 0 34870 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 144524
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1670828/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=189672 CPUtime=1001.95
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 46567 0 0 0 95272 4923 0 0 25 0 1 0 185200330 194224128 44419 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 47418 44419 692 1256 0 46157 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 189672
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1664620/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=196064 CPUtime=1061.93
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 48232 0 0 0 100980 5213 0 0 25 0 1 0 185200330 200769536 46084 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 49016 46084 692 1256 0 47755 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 196064
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1657708/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=203308 CPUtime=1121.9
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 49822 0 0 0 106696 5494 0 0 25 0 1 0 185200330 208187392 47674 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 50827 47674 692 1256 0 49566 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 203308
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1650988/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=209940 CPUtime=1181.88
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 51490 0 0 0 112400 5788 0 0 25 0 1 0 185200330 214978560 49342 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 52485 49342 692 1256 0 51224 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 209940
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1643820/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=216700 CPUtime=1241.87
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 53253 0 0 0 118105 6082 0 0 25 0 1 0 185200330 221900800 51105 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 54175 51105 692 1256 0 52914 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 216700
[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 623
/proc/meminfo: memFree=1638252/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=221816 CPUtime=1301.85
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 54643 0 0 0 123810 6375 0 0 25 0 1 0 185200330 227139584 52495 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 55454 52495 692 1256 0 54193 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 221816
[startup+1362.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 623
/proc/meminfo: memFree=1633196/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=227720 CPUtime=1361.82
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 55886 0 0 0 129517 6665 0 0 25 0 1 0 185200330 233185280 53738 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 56930 53738 692 1256 0 55669 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 227720
[startup+1422.31 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 623
/proc/meminfo: memFree=1625004/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=235532 CPUtime=1421.81
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 57925 0 0 0 135221 6960 0 0 25 0 1 0 185200330 241184768 55777 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 58883 55777 692 1256 0 57622 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 235532
[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 623
/proc/meminfo: memFree=1618412/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=241952 CPUtime=1481.78
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 59553 0 0 0 140923 7255 0 0 25 0 1 0 185200330 247758848 57405 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 60488 57405 692 1256 0 59227 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 241952
[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 623
/proc/meminfo: memFree=1613292/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=246580 CPUtime=1541.76
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 60807 0 0 0 146628 7548 0 0 25 0 1 0 185200330 252497920 58659 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 61645 58659 692 1256 0 60384 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 246580
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 623
/proc/meminfo: memFree=1607212/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=252424 CPUtime=1601.74
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 62342 0 0 0 152338 7836 0 0 25 0 1 0 185200330 258482176 60194 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 63106 60194 692 1256 0 61845 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 252424
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 623
/proc/meminfo: memFree=1599340/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=260472 CPUtime=1661.71
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 64286 0 0 0 158049 8122 0 0 25 0 1 0 185200330 266723328 62138 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 65118 62138 692 1256 0 63857 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 260472
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1586476/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=273492 CPUtime=1721.7
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 67586 0 0 0 163754 8416 0 0 25 0 1 0 185200330 280055808 65438 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 68373 65438 692 1256 0 67112 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 273492
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1578092/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=281288 CPUtime=1781.68
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 69541 0 0 0 169462 8706 0 0 25 0 1 0 185200330 288038912 67393 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 70322 67393 692 1256 0 69061 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 281288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1576044/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=283272 CPUtime=1800.08
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 70053 0 0 0 171215 8793 0 0 25 0 1 0 185200330 290070528 67905 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/622/statm: 70818 67905 692 1256 0 69557 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 283272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 623
/proc/meminfo: memFree=1576044/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=283272 CPUtime=1800.77
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 70054 0 0 0 171284 8793 0 0 25 0 1 0 185200330 290070528 67906 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 0 0 0
/proc/622/statm: 70818 67906 693 1256 0 69557 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 283272
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 624
/proc/meminfo: memFree=1576036/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=283272 CPUtime=1801.56
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 70054 0 0 0 171363 8793 0 0 25 0 1 0 185200330 290070528 67906 1992294400 4194304 9342243 548682068736 18446744073709551615 4805745 0 0 4096 0 0 0 0 17 1 0 0
/proc/622/statm: 70818 67906 693 1256 0 69557 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 283272
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 624
/proc/meminfo: memFree=1576036/2055920 swapFree=4181368/4192956
[pid=622] ppid=620 vsize=283272 CPUtime=1801.96
/proc/622/stat : 622 (pbscip.linux.x8) R 620 622 585 0 -1 4194304 70054 0 0 0 171403 8793 0 0 25 0 1 0 185200330 290070528 67906 1992294400 4194304 9342243 548682068736 18446744073709551615 5854331 0 0 4096 0 0 0 0 17 1 0 0
/proc/622/statm: 70818 67906 693 1256 0 69557 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 283272
Child status: 0
Real time (s): 1802.66
CPU time (s): 1802.04
CPU user time (s): 1714.05
CPU system time (s): 87.9856
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 283272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1714.05
system time used= 87.9856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2617
runsolver used 1.23781 second user time and 3.80242 second system time
The end
Begin job on node43 at 2009-06-16 20:13:51
IDJOB=1869517
IDBENCH=2913
IDSOLVER=684
FILE ID=node43/1869517-1245176031
PBS_JOBID= 9363947
Free space on /tmp= 66192 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_1.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-1869517-1245176031/watcher-1869517-1245176031 -o /tmp/evaluation-result-1869517-1245176031/solver-1869517-1245176031 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869517-1245176031.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ae75c4a4fdafb98542bd11b7f7eecd54
RANDOM SEED=675380786
node43.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.281
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.281
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: 1847620 kB
Buffers: 45700 kB
Cached: 101676 kB
SwapCached: 5352 kB
Active: 38784 kB
Inactive: 116380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1847620 kB
SwapTotal: 4192956 kB
SwapFree: 4181368 kB
Dirty: 11748 kB
Writeback: 0 kB
Mapped: 13444 kB
Slab: 39052 kB
Committed_AS: 174652 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66180 MiB
End job on node43 at 2009-06-16 20:43:54