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-1869477-1245173909.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 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, 9 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, 9 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 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.02 c 8 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.02
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 40 | 341k| 0 | 8 | 70 | 8 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 141 | 391k| 0 | 11 | 70 | 8 | 8 | 70 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 148 | 443k| 0 | 15 | 70 | 8 | 8 | 70 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 0 | 160 | 469k| 0 | 18 | 70 | 8 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 172 | 488k| 0 | 18 | 70 | 8 | 8 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 187 | 516k| 0 | 19 | 70 | 8 | 8 | 70 | 30 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 201 | 532k| 0 | 21 | 70 | 8 | 8 | 70 | 31 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 2 | 201 | 532k| 0 | 21 | 70 | 8 | 8 | 70 | 31 | 23 | 0 | 21 | 0.000000e+00 | -- | Inf
6.28/6.33 c 6.1s| 10000 | 3686 | 37210 |2214k| 60 | 8 | 70 | 66 | 13 | 70 | 21 | 23 | 231 | 700 | 0.000000e+00 | -- | Inf
12.09/12.17 c 11.8s| 20000 | 7164 | 75970 |3804k| 60 | 8 | 70 | 118 | 17 | 70 | 21 | 23 | 453 | 932 | 0.000000e+00 | -- | Inf
17.79/17.86 c 17.3s| 30000 | 10454 |112400 |5287k| 60 | - | 70 | 106 | 11 | 70 | 21 | 23 | 671 |1140 | 0.000000e+00 | -- | Inf
23.38/23.46 c 22.8s| 40000 | 13894 |148386 |6798k| 60 | - | 70 | 86 | 13 | 70 | 21 | 23 | 842 |1277 | 0.000000e+00 | -- | Inf
29.08/29.14 c 28.3s| 50000 | 16846 |185466 |8166k| 61 | - | 70 | 55 | 11 | 70 | 21 | 23 | 997 |1411 | 0.000000e+00 | -- | Inf
34.68/34.74 c 33.7s| 60000 | 19848 |222680 |9537k| 61 | 8 | 70 | 38 | 13 | 70 | 21 | 23 |1117 |1537 | 0.000000e+00 | -- | Inf
40.28/40.35 c 39.2s| 70000 | 22964 |260852 | 10M| 61 | 8 | 70 | 38 | 8 | 70 | 21 | 23 |1214 |1626 | 0.000000e+00 | -- | Inf
45.97/46.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.97/46.00 c 44.7s| 80000 | 25828 |298090 | 12M| 62 | 8 | 70 | 35 | 9 | 70 | 21 | 23 |1339 |1707 | 0.000000e+00 | -- | Inf
51.57/51.62 c 50.2s| 90000 | 28720 |335389 | 13M| 62 | 8 | 70 | 32 | 8 | 70 | 21 | 23 |1491 |1803 | 0.000000e+00 | -- | Inf
57.07/57.17 c 55.6s|100000 | 31794 |372575 | 15M| 62 | - | 70 | 25 | 8 | 70 | 21 | 23 |1610 |1874 | 0.000000e+00 | -- | Inf
62.67/62.75 c 61.0s|110000 | 34738 |410314 | 16M| 62 | - | 70 | 23 | 8 | 70 | 21 | 23 |1785 |1951 | 0.000000e+00 | -- | Inf
68.36/68.40 c 66.5s|120000 | 37422 |447233 | 17M| 62 | 8 | 70 | 30 | 13 | 70 | 21 | 23 |1913 |2037 | 0.000000e+00 | -- | Inf
73.86/73.94 c 71.9s|130000 | 40214 |483303 | 19M| 62 | 8 | 70 | 26 | 9 | 70 | 21 | 23 |2093 |2101 | 0.000000e+00 | -- | Inf
79.46/79.52 c 77.3s|140000 | 43006 |520600 | 20M| 62 | 8 | 70 | 25 | 9 | 70 | 21 | 23 |2217 |2175 | 0.000000e+00 | -- | Inf
85.06/85.12 c 82.8s|150000 | 46026 |558079 | 21M| 62 | 8 | 70 | 20 | 8 | 70 | 21 | 23 |2345 |2242 | 0.000000e+00 | -- | Inf
90.55/90.67 c 88.2s|160000 | 49176 |594707 | 23M| 62 | 8 | 70 | 30 | 8 | 70 | 21 | 23 |2518 |2306 | 0.000000e+00 | -- | Inf
96.16/96.25 c 93.6s|170000 | 51890 |632499 | 24M| 62 | 8 | 70 | 28 | 8 | 70 | 21 | 23 |2639 |2360 | 0.000000e+00 | -- | Inf
101.75/101.83 c 99.0s|180000 | 54556 |669531 | 25M| 62 | 8 | 70 | 22 | 8 | 70 | 21 | 23 |2766 |2419 | 0.000000e+00 | -- | Inf
107.36/107.48 c 105s|190000 | 57098 |707377 | 26M| 62 | 8 | 70 | 21 | 9 | 70 | 21 | 23 |2937 |2473 | 0.000000e+00 | -- | Inf
113.05/113.10 c 110s|200000 | 59966 |745244 | 28M| 62 | 8 | 70 | 23 | 8 | 70 | 21 | 23 |3105 |2540 | 0.000000e+00 | -- | Inf
118.55/118.60 c 115s|210000 | 62772 |781912 | 29M| 62 | 8 | 70 | 21 | 9 | 70 | 21 | 23 |3236 |2594 | 0.000000e+00 | -- | Inf
124.05/124.16 c 121s|220000 | 65408 |817805 | 30M| 62 | 8 | 70 | 20 | 8 | 70 | 21 | 23 |3400 |2647 | 0.000000e+00 | -- | Inf
129.65/129.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.65/129.74 c 126s|230000 | 68146 |854601 | 32M| 62 | - | 70 | 24 | 8 | 70 | 21 | 23 |3481 |2693 | 0.000000e+00 | -- | Inf
135.15/135.25 c 131s|240000 | 71136 |891291 | 33M| 62 | 8 | 70 | 17 | 8 | 70 | 21 | 23 |3581 |2740 | 0.000000e+00 | -- | Inf
140.74/140.80 c 137s|250000 | 73840 |928369 | 34M| 62 | 8 | 70 | 16 | 9 | 70 | 21 | 23 |3684 |2777 | 0.000000e+00 | -- | Inf
146.34/146.43 c 142s|260000 | 76244 |965574 | 36M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 |3818 |2819 | 0.000000e+00 | -- | Inf
151.84/151.96 c 148s|270000 | 79076 | 1002k| 37M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 |3938 |2853 | 0.000000e+00 | -- | Inf
157.34/157.48 c 153s|280000 | 81800 | 1039k| 38M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 |4045 |2891 | 0.000000e+00 | -- | Inf
162.93/163.08 c 158s|290000 | 84334 | 1076k| 39M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 |4213 |2926 | 0.000000e+00 | -- | Inf
168.54/168.63 c 164s|300000 | 87080 | 1112k| 41M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 |4337 |2973 | 0.000000e+00 | -- | Inf
174.03/174.13 c 169s|310000 | 89812 | 1148k| 42M| 63 | - | 70 | 20 | 10 | 0 | 0 | 23 |4464 |3010 | 0.000000e+00 | -- | Inf
179.53/179.67 c 175s|320000 | 92554 | 1185k| 43M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 |4662 |3049 | 0.000000e+00 | -- | Inf
185.13/185.28 c 180s|330000 | 95156 | 1222k| 45M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 |4773 |3083 | 0.000000e+00 | -- | Inf
190.72/190.80 c 185s|340000 | 98214 | 1259k| 46M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 |4910 |3110 | 0.000000e+00 | -- | Inf
196.23/196.34 c 191s|350000 |100876 | 1295k| 47M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 |5011 |3145 | 0.000000e+00 | -- | Inf
201.73/201.88 c 196s|360000 |103434 | 1332k| 48M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 |5144 |3186 | 0.000000e+00 | -- | Inf
207.33/207.44 c 201s|370000 |106100 | 1368k| 50M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 |5241 |3221 | 0.000000e+00 | -- | Inf
212.92/213.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.92/213.04 c 207s|380000 |108396 | 1405k| 51M| 63 | - | 70 | 10 | 8 | 70 | 21 | 23 |5379 |3249 | 0.000000e+00 | -- | Inf
218.42/218.59 c 212s|390000 |110770 | 1442k| 52M| 63 | - | 70 | 16 | 9 | 70 | 21 | 23 |5532 |3283 | 0.000000e+00 | -- | Inf
224.02/224.14 c 218s|400000 |113664 | 1479k| 53M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 |5626 |3313 | 0.000000e+00 | -- | Inf
229.62/229.79 c 223s|410000 |116050 | 1517k| 55M| 63 | - | 70 | 10 | 8 | 70 | 21 | 23 |5769 |3353 | 0.000000e+00 | -- | Inf
235.22/235.37 c 229s|420000 |118424 | 1554k| 56M| 63 | 8 | 70 | 10 | 8 | 70 | 21 | 23 |5918 |3388 | 0.000000e+00 | -- | Inf
240.72/240.89 c 234s|430000 |121008 | 1589k| 57M| 63 | - | 70 | 11 | 8 | 70 | 21 | 23 |6058 |3419 | 0.000000e+00 | -- | Inf
246.41/246.51 c 239s|440000 |123592 | 1627k| 58M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 |6169 |3454 | 0.000000e+00 | -- | Inf
251.91/252.01 c 245s|450000 |126636 | 1663k| 60M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 |6241 |3488 | 0.000000e+00 | -- | Inf
257.41/257.57 c 250s|460000 |129106 | 1699k| 61M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 |6350 |3525 | 0.000000e+00 | -- | Inf
262.90/263.04 c 255s|470000 |132492 | 1735k| 62M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 |6482 |3557 | 0.000000e+00 | -- | Inf
268.51/268.62 c 261s|480000 |135414 | 1772k| 64M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 |6603 |3598 | 0.000000e+00 | -- | Inf
274.01/274.14 c 266s|490000 |138176 | 1809k| 65M| 63 | - | 70 | 14 | 8 | 70 | 21 | 23 |6720 |3630 | 0.000000e+00 | -- | Inf
279.60/279.77 c 272s|500000 |140650 | 1846k| 66M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 |6812 |3666 | 0.000000e+00 | -- | Inf
285.19/285.35 c 277s|510000 |143490 | 1883k| 68M| 63 | 8 | 70 | 12 | 9 | 70 | 21 | 23 |6925 |3708 | 0.000000e+00 | -- | Inf
290.80/290.93 c 282s|520000 |146008 | 1919k| 69M| 63 | - | 70 | 14 | 8 | 70 | 21 | 23 |7079 |3739 | 0.000000e+00 | -- | Inf
296.40/296.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.40/296.53 c 288s|530000 |148640 | 1957k| 70M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 |7193 |3764 | 0.000000e+00 | -- | Inf
301.99/302.10 c 293s|540000 |151222 | 1993k| 71M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 |7324 |3798 | 0.000000e+00 | -- | Inf
307.59/307.73 c 299s|550000 |153714 | 2030k| 72M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 |7414 |3822 | 0.000000e+00 | -- | Inf
313.19/313.37 c 304s|560000 |156092 | 2068k| 74M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 |7511 |3853 | 0.000000e+00 | -- | Inf
318.69/318.89 c 310s|570000 |158668 | 2104k| 75M| 63 | - | 70 | 11 | 8 | 70 | 21 | 23 |7608 |3876 | 0.000000e+00 | -- | Inf
324.29/324.42 c 315s|580000 |161632 | 2139k| 76M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 |7707 |3901 | 0.000000e+00 | -- | Inf
329.89/330.06 c 320s|590000 |164212 | 2176k| 77M| 63 | - | 70 | 11 | 8 | 70 | 21 | 23 |7861 |3933 | 0.000000e+00 | -- | Inf
335.48/335.60 c 326s|600000 |167072 | 2213k| 79M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 |8002 |3957 | 0.000000e+00 | -- | Inf
340.98/341.16 c 331s|610000 |169796 | 2250k| 80M| 63 | 8 | 70 | 22 | 8 | 70 | 21 | 23 |8118 |3983 | 0.000000e+00 | -- | Inf
346.58/346.78 c 337s|620000 |172212 | 2286k| 81M| 63 | - | 70 | 20 | 8 | 70 | 21 | 23 |8257 |4005 | 0.000000e+00 | -- | Inf
352.18/352.37 c 342s|630000 |174668 | 2322k| 82M| 63 | - | 70 | 16 | 8 | 70 | 21 | 23 |8388 |4025 | 0.000000e+00 | -- | Inf
357.77/357.96 c 348s|640000 |176974 | 2359k| 84M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 |8504 |4050 | 0.000000e+00 | -- | Inf
363.37/363.50 c 353s|650000 |179748 | 2395k| 85M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 |8599 |4072 | 0.000000e+00 | -- | Inf
368.97/369.15 c 358s|660000 |182058 | 2431k| 86M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 |8718 |4091 | 0.000000e+00 | -- | Inf
374.37/374.59 c 364s|670000 |185574 | 2468k| 88M| 63 | - | 70 | 16 | 8 | 70 | 21 | 23 |8817 |4113 | 0.000000e+00 | -- | Inf
379.87/380.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.87/380.02 c 369s|680000 |188894 | 2503k| 89M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 |8926 |4147 | 0.000000e+00 | -- | Inf
385.47/385.64 c 374s|690000 |191242 | 2540k| 90M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 |9062 |4168 | 0.000000e+00 | -- | Inf
391.06/391.26 c 380s|700000 |193920 | 2577k| 92M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 |9183 |4184 | 0.000000e+00 | -- | Inf
396.57/396.79 c 385s|710000 |196628 | 2614k| 93M| 63 | 8 | 70 | 15 | 9 | 70 | 21 | 23 |9246 |4199 | 0.000000e+00 | -- | Inf
402.27/402.41 c 391s|720000 |199236 | 2651k| 94M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 |9351 |4226 | 0.000000e+00 | -- | Inf
407.76/407.99 c 396s|730000 |202152 | 2687k| 95M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 |9474 |4242 | 0.000000e+00 | -- | Inf
413.36/413.58 c 402s|740000 |204732 | 2724k| 97M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 |9566 |4271 | 0.000000e+00 | -- | Inf
419.06/419.21 c 407s|750000 |207024 | 2760k| 98M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 |9690 |4294 | 0.000000e+00 | -- | Inf
424.65/424.87 c 412s|760000 |209536 | 2797k| 99M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 |9817 |4316 | 0.000000e+00 | -- | Inf
430.26/430.49 c 418s|770000 |212284 | 2834k| 100M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 |9920 |4337 | 0.000000e+00 | -- | Inf
435.85/436.03 c 423s|780000 |214826 | 2870k| 102M| 63 | 8 | 70 | 14 | 9 | 70 | 21 | 23 | 10k|4352 | 0.000000e+00 | -- | Inf
441.35/441.58 c 429s|790000 |217524 | 2906k| 103M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 10k|4378 | 0.000000e+00 | -- | Inf
446.95/447.17 c 434s|800000 |220308 | 2943k| 104M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 10k|4400 | 0.000000e+00 | -- | Inf
452.54/452.76 c 440s|810000 |222720 | 2979k| 105M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 10k|4422 | 0.000000e+00 | -- | Inf
458.15/458.34 c 445s|820000 |225152 | 3016k| 107M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 10k|4440 | 0.000000e+00 | -- | Inf
463.75/463.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.75/463.99 c 450s|830000 |227742 | 3053k| 108M| 63 | - | 70 | 16 | 9 | 70 | 21 | 23 | 10k|4462 | 0.000000e+00 | -- | Inf
469.34/469.59 c 456s|840000 |230536 | 3090k| 109M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 10k|4485 | 0.000000e+00 | -- | Inf
474.94/475.18 c 461s|850000 |232966 | 3127k| 110M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 10k|4497 | 0.000000e+00 | -- | Inf
480.54/480.72 c 467s|860000 |235768 | 3163k| 112M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 11k|4519 | 0.000000e+00 | -- | Inf
486.14/486.36 c 472s|870000 |238152 | 3199k| 113M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 11k|4533 | 0.000000e+00 | -- | Inf
491.74/491.96 c 478s|880000 |240658 | 3235k| 114M| 63 | - | 70 | 16 | 8 | 70 | 21 | 23 | 11k|4557 | 0.000000e+00 | -- | Inf
497.33/497.59 c 483s|890000 |242996 | 3272k| 115M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 11k|4572 | 0.000000e+00 | -- | Inf
503.03/503.24 c 489s|900000 |245316 | 3309k| 116M| 63 | 8 | 70 | 16 | 10 | 70 | 21 | 23 | 11k|4592 | 0.000000e+00 | -- | Inf
508.72/508.92 c 494s|910000 |247730 | 3346k| 117M| 63 | 8 | 70 | 11 | 8 | 70 | 21 | 23 | 11k|4611 | 0.000000e+00 | -- | Inf
514.32/514.53 c 500s|920000 |250172 | 3382k| 119M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 11k|4628 | 0.000000e+00 | -- | Inf
519.92/520.12 c 505s|930000 |252600 | 3418k| 120M| 63 | - | 70 | 11 | 8 | 70 | 21 | 23 | 11k|4641 | 0.000000e+00 | -- | Inf
525.53/525.78 c 510s|940000 |255172 | 3455k| 121M| 63 | - | 70 | 15 | 8 | 70 | 21 | 23 | 12k|4657 | 0.000000e+00 | -- | Inf
531.22/531.44 c 516s|950000 |257598 | 3492k| 122M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 12k|4676 | 0.000000e+00 | -- | Inf
536.82/537.03 c 521s|960000 |260178 | 3528k| 124M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 12k|4694 | 0.000000e+00 | -- | Inf
542.41/542.70 c 527s|970000 |262786 | 3566k| 125M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 12k|4709 | 0.000000e+00 | -- | Inf
548.12/548.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.12/548.32 c 532s|980000 |265418 | 3602k| 126M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 12k|4724 | 0.000000e+00 | -- | Inf
553.71/553.95 c 538s|990000 |268076 | 3639k| 127M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 12k|4751 | 0.000000e+00 | -- | Inf
559.21/559.49 c 543s| 1000k|271030 | 3675k| 129M| 63 | 8 | 70 | 20 | 9 | 70 | 21 | 23 | 12k|4767 | 0.000000e+00 | -- | Inf
564.91/565.10 c 549s| 1010k|274226 | 3712k| 130M| 63 | 8 | 70 | 24 | 8 | 70 | 21 | 23 | 12k|4781 | 0.000000e+00 | -- | Inf
570.40/570.67 c 554s| 1020k|276992 | 3748k| 131M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 12k|4802 | 0.000000e+00 | -- | Inf
576.01/576.26 c 559s| 1030k|279432 | 3785k| 133M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 13k|4818 | 0.000000e+00 | -- | Inf
581.61/581.87 c 565s| 1040k|281932 | 3821k| 134M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 | 13k|4837 | 0.000000e+00 | -- | Inf
587.21/587.47 c 570s| 1050k|284598 | 3857k| 135M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 13k|4854 | 0.000000e+00 | -- | Inf
592.90/593.13 c 576s| 1060k|286962 | 3894k| 136M| 63 | - | 70 | 15 | 8 | 70 | 21 | 23 | 13k|4881 | 0.000000e+00 | -- | Inf
598.41/598.62 c 581s| 1070k|289946 | 3930k| 138M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 13k|4900 | 0.000000e+00 | -- | Inf
603.99/604.26 c 587s| 1080k|292474 | 3966k| 139M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 13k|4917 | 0.000000e+00 | -- | Inf
609.69/609.90 c 592s| 1090k|294814 | 4003k| 140M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 | 13k|4938 | 0.000000e+00 | -- | Inf
615.20/615.46 c 597s| 1100k|297474 | 4037k| 141M| 63 | - | 70 | 14 | 8 | 70 | 21 | 23 | 13k|4962 | 0.000000e+00 | -- | Inf
620.79/621.04 c 603s| 1110k|299988 | 4073k| 143M| 63 | - | 70 | 19 | 9 | 70 | 21 | 23 | 14k|4977 | 0.000000e+00 | -- | Inf
626.40/626.69 c 608s| 1120k|302320 | 4110k| 144M| 63 | 8 | 70 | 16 | 9 | 70 | 21 | 23 | 14k|4991 | 0.000000e+00 | -- | Inf
631.99/632.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.99/632.29 c 614s| 1130k|305008 | 4146k| 145M| 63 | 8 | 70 | 18 | 9 | 70 | 21 | 23 | 14k|5007 | 0.000000e+00 | -- | Inf
637.69/637.92 c 619s| 1140k|307480 | 4183k| 146M| 63 | - | 70 | 17 | 8 | 0 | 0 | 23 | 14k|5018 | 0.000000e+00 | -- | Inf
643.29/643.55 c 625s| 1150k|309854 | 4219k| 147M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 | 14k|5038 | 0.000000e+00 | -- | Inf
648.99/649.23 c 630s| 1160k|312196 | 4257k| 149M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 | 14k|5055 | 0.000000e+00 | -- | Inf
654.59/654.80 c 636s| 1170k|314670 | 4293k| 150M| 63 | - | 70 | 15 | 8 | 70 | 21 | 23 | 14k|5072 | 0.000000e+00 | -- | Inf
660.19/660.40 c 641s| 1180k|317124 | 4330k| 151M| 63 | - | 70 | 16 | 8 | 70 | 21 | 23 | 14k|5085 | 0.000000e+00 | -- | Inf
665.78/666.03 c 647s| 1190k|320016 | 4366k| 152M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 | 15k|5100 | 0.000000e+00 | -- | Inf
671.48/671.70 c 652s| 1200k|322356 | 4403k| 153M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 | 15k|5113 | 0.000000e+00 | -- | Inf
677.08/677.35 c 658s| 1210k|324650 | 4440k| 155M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 15k|5126 | 0.000000e+00 | -- | Inf
682.67/682.98 c 663s| 1220k|327002 | 4476k| 156M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 15k|5142 | 0.000000e+00 | -- | Inf
688.38/688.61 c 668s| 1230k|329556 | 4512k| 157M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 15k|5160 | 0.000000e+00 | -- | Inf
694.07/694.30 c 674s| 1240k|331806 | 4549k| 158M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 15k|5175 | 0.000000e+00 | -- | Inf
699.67/699.93 c 679s| 1250k|334060 | 4586k| 159M| 63 | 8 | 70 | 17 | 9 | 70 | 21 | 23 | 15k|5194 | 0.000000e+00 | -- | Inf
705.27/705.58 c 685s| 1260k|336746 | 4622k| 161M| 63 | 8 | 70 | 18 | 9 | 70 | 21 | 23 | 15k|5212 | 0.000000e+00 | -- | Inf
710.87/711.15 c 690s| 1270k|339594 | 4657k| 162M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 15k|5228 | 0.000000e+00 | -- | Inf
716.26/716.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.26/716.59 c 696s| 1280k|342730 | 4692k| 163M| 63 | 8 | 70 | 21 | 10 | 70 | 21 | 23 | 15k|5235 | 0.000000e+00 | -- | Inf
721.87/722.17 c 701s| 1290k|345322 | 4728k| 165M| 63 | - | 70 | 25 | 8 | 70 | 21 | 23 | 15k|5249 | 0.000000e+00 | -- | Inf
727.56/727.81 c 707s| 1300k|347718 | 4764k| 166M| 63 | - | 70 | 27 | 9 | 70 | 21 | 23 | 16k|5261 | 0.000000e+00 | -- | Inf
733.16/733.42 c 712s| 1310k|350168 | 4800k| 167M| 63 | 8 | 70 | 26 | 9 | 70 | 21 | 23 | 16k|5271 | 0.000000e+00 | -- | Inf
738.76/739.08 c 717s| 1320k|352628 | 4837k| 168M| 63 | 8 | 70 | 17 | 9 | 70 | 21 | 23 | 16k|5288 | 0.000000e+00 | -- | Inf
744.46/744.75 c 723s| 1330k|354892 | 4873k| 169M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 16k|5302 | 0.000000e+00 | -- | Inf
750.16/750.43 c 728s| 1340k|357368 | 4910k| 171M| 63 | - | 70 | 24 | 8 | 70 | 21 | 23 | 16k|5310 | 0.000000e+00 | -- | Inf
755.75/756.06 c 734s| 1350k|359656 | 4947k| 172M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 16k|5328 | 0.000000e+00 | -- | Inf
761.35/761.62 c 739s| 1360k|362388 | 4983k| 173M| 63 | 8 | 70 | 16 | 9 | 70 | 21 | 23 | 16k|5341 | 0.000000e+00 | -- | Inf
767.05/767.33 c 745s| 1370k|364894 | 5020k| 174M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 16k|5353 | 0.000000e+00 | -- | Inf
772.64/772.92 c 750s| 1380k|367454 | 5056k| 175M| 63 | 8 | 70 | 14 | 9 | 70 | 21 | 23 | 17k|5363 | 0.000000e+00 | -- | Inf
778.25/778.54 c 756s| 1390k|369852 | 5092k| 177M| 63 | - | 70 | 16 | 8 | 70 | 21 | 23 | 17k|5373 | 0.000000e+00 | -- | Inf
783.85/784.19 c 761s| 1400k|372370 | 5129k| 178M| 63 | - | 70 | 26 | 9 | 70 | 21 | 23 | 17k|5392 | 0.000000e+00 | -- | Inf
789.55/789.87 c 767s| 1410k|374842 | 5166k| 179M| 63 | - | 70 | 24 | 8 | 70 | 21 | 23 | 17k|5413 | 0.000000e+00 | -- | Inf
795.24/795.56 c 772s| 1420k|377042 | 5203k| 180M| 63 | 8 | 70 | 10 | 8 | 70 | 21 | 23 | 17k|5419 | 0.000000e+00 | -- | Inf
800.84/801.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.84/801.16 c 778s| 1430k|379742 | 5240k| 181M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 | 17k|5432 | 0.000000e+00 | -- | Inf
806.44/806.74 c 783s| 1440k|382588 | 5277k| 183M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 | 17k|5447 | 0.000000e+00 | -- | Inf
812.04/812.39 c 789s| 1450k|384806 | 5312k| 184M| 63 | 8 | 70 | 16 | 10 | 70 | 21 | 23 | 17k|5464 | 0.000000e+00 | -- | Inf
817.54/817.90 c 794s| 1460k|387856 | 5348k| 185M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 17k|5477 | 0.000000e+00 | -- | Inf
823.23/823.53 c 800s| 1470k|390253 | 5384k| 187M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 17k|5490 | 0.000000e+00 | -- | Inf
828.83/829.19 c 805s| 1480k|392816 | 5420k| 188M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 | 18k|5509 | 0.000000e+00 | -- | Inf
834.43/834.74 c 810s| 1490k|395416 | 5455k| 189M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 | 18k|5528 | 0.000000e+00 | -- | Inf
840.13/840.44 c 816s| 1500k|397604 | 5492k| 190M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 18k|5547 | 0.000000e+00 | -- | Inf
845.63/845.96 c 821s| 1510k|400932 | 5528k| 192M| 63 | 8 | 70 | 21 | 11 | 70 | 21 | 23 | 18k|5559 | 0.000000e+00 | -- | Inf
851.23/851.54 c 827s| 1520k|403996 | 5565k| 193M| 63 | 8 | 70 | 24 | 8 | 70 | 21 | 23 | 18k|5571 | 0.000000e+00 | -- | Inf
856.82/857.12 c 832s| 1530k|406526 | 5600k| 194M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 18k|5586 | 0.000000e+00 | -- | Inf
862.52/862.82 c 838s| 1540k|408658 | 5636k| 195M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 18k|5610 | 0.000000e+00 | -- | Inf
868.12/868.48 c 843s| 1550k|411034 | 5672k| 196M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 18k|5624 | 0.000000e+00 | -- | Inf
873.62/873.94 c 848s| 1560k|414288 | 5707k| 198M| 63 | 8 | 70 | 23 | 11 | 70 | 21 | 23 | 19k|5637 | 0.000000e+00 | -- | Inf
879.12/879.47 c 854s| 1570k|416864 | 5742k| 199M| 63 | 8 | 70 | 21 | 8 | 70 | 21 | 23 | 19k|5661 | 0.000000e+00 | -- | Inf
884.71/885.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.71/885.03 c 859s| 1580k|420036 | 5777k| 201M| 63 | - | 70 | 23 | 8 | 70 | 21 | 23 | 19k|5675 | 0.000000e+00 | -- | Inf
890.31/890.64 c 865s| 1590k|422794 | 5813k| 202M| 63 | 8 | 70 | 27 | 9 | 70 | 21 | 23 | 19k|5688 | 0.000000e+00 | -- | Inf
895.91/896.26 c 870s| 1600k|425082 | 5848k| 203M| 63 | 8 | 70 | 15 | 9 | 70 | 21 | 23 | 19k|5708 | 0.000000e+00 | -- | Inf
901.61/901.92 c 876s| 1610k|427392 | 5885k| 204M| 63 | 8 | 70 | 21 | 8 | 70 | 21 | 23 | 19k|5726 | 0.000000e+00 | -- | Inf
907.21/907.55 c 881s| 1620k|429856 | 5920k| 205M| 63 | 8 | 70 | 15 | 9 | 70 | 21 | 23 | 19k|5735 | 0.000000e+00 | -- | Inf
912.81/913.19 c 886s| 1630k|432030 | 5955k| 206M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 19k|5746 | 0.000000e+00 | -- | Inf
918.51/918.88 c 892s| 1640k|434340 | 5992k| 208M| 63 | 8 | 70 | 21 | 8 | 70 | 21 | 23 | 19k|5766 | 0.000000e+00 | -- | Inf
924.10/924.45 c 897s| 1650k|437314 | 6028k| 209M| 63 | 8 | 70 | 22 | 8 | 70 | 21 | 23 | 20k|5782 | 0.000000e+00 | -- | Inf
929.80/930.12 c 903s| 1660k|439904 | 6064k| 210M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 20k|5798 | 0.000000e+00 | -- | Inf
935.40/935.79 c 908s| 1670k|442108 | 6101k| 211M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 | 20k|5811 | 0.000000e+00 | -- | Inf
941.10/941.45 c 914s| 1680k|444722 | 6138k| 213M| 63 | 8 | 70 | 18 | 9 | 70 | 21 | 23 | 20k|5824 | 0.000000e+00 | -- | Inf
946.89/947.20 c 920s| 1690k|446868 | 6175k| 214M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 | 20k|5841 | 0.000000e+00 | -- | Inf
952.49/952.82 c 925s| 1700k|449352 | 6212k| 215M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 | 20k|5858 | 0.000000e+00 | -- | Inf
958.09/958.41 c 930s| 1710k|451760 | 6247k| 216M| 63 | 8 | 70 | 22 | 9 | 70 | 21 | 23 | 20k|5876 | 0.000000e+00 | -- | Inf
963.89/964.20 c 936s| 1720k|454150 | 6286k| 217M| 63 | 8 | 70 | 48 | 10 | 70 | 21 | 23 | 20k|5887 | 0.000000e+00 | -- | Inf
969.69/970.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.69/970.02 c 942s| 1730k|456678 | 6326k| 219M| 63 | 8 | 70 | 62 | 10 | 70 | 21 | 23 | 20k|5903 | 0.000000e+00 | -- | Inf
975.49/975.87 c 947s| 1740k|458888 | 6365k| 220M| 63 | 8 | 70 | 72 | 10 | 70 | 21 | 23 | 21k|5919 | 0.000000e+00 | -- | Inf
981.28/981.64 c 953s| 1750k|460993 | 6403k| 221M| 63 | 8 | 70 | 30 | 8 | 70 | 21 | 23 | 21k|5922 | 0.000000e+00 | -- | Inf
986.98/987.32 c 958s| 1760k|463241 | 6439k| 222M| 63 | 8 | 70 | 22 | 8 | 70 | 21 | 23 | 21k|5938 | 0.000000e+00 | -- | Inf
992.58/992.98 c 964s| 1770k|465691 | 6476k| 223M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 21k|5957 | 0.000000e+00 | -- | Inf
998.28/998.60 c 969s| 1780k|468183 | 6513k| 224M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 21k|5971 | 0.000000e+00 | -- | Inf
1003.88/1004.26 c 975s| 1790k|470583 | 6549k| 226M| 63 | - | 70 | 14 | 8 | 70 | 21 | 23 | 21k|5982 | 0.000000e+00 | -- | Inf
1009.48/1009.89 c 980s| 1800k|473320 | 6586k| 227M| 63 | - | 70 | 15 | 8 | 70 | 21 | 23 | 21k|5995 | 0.000000e+00 | -- | Inf
1015.18/1015.52 c 986s| 1810k|475606 | 6623k| 228M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 21k|6008 | 0.000000e+00 | -- | Inf
1020.78/1021.20 c 991s| 1820k|478016 | 6660k| 229M| 63 | 8 | 70 | 15 | 9 | 70 | 21 | 23 | 21k|6024 | 0.000000e+00 | -- | Inf
1026.58/1026.96 c 997s| 1830k|480072 | 6697k| 230M| 63 | - | 70 | 11 | 8 | 70 | 21 | 23 | 22k|6046 | 0.000000e+00 | -- | Inf
1032.27/1032.61 c 1002s| 1840k|482616 | 6733k| 231M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 22k|6056 | 0.000000e+00 | -- | Inf
1037.87/1038.30 c 1008s| 1850k|484876 | 6771k| 233M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 22k|6072 | 0.000000e+00 | -- | Inf
1043.66/1044.00 c 1013s| 1860k|487118 | 6807k| 234M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 22k|6084 | 0.000000e+00 | -- | Inf
1049.36/1049.70 c 1019s| 1870k|489394 | 6843k| 235M| 63 | 8 | 70 | 19 | 10 | 70 | 21 | 23 | 22k|6097 | 0.000000e+00 | -- | Inf
1054.96/1055.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.96/1055.38 c 1024s| 1880k|491616 | 6880k| 236M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 | 22k|6107 | 0.000000e+00 | -- | Inf
1060.66/1061.03 c 1030s| 1890k|493976 | 6917k| 237M| 63 | - | 70 | 13 | 8 | 70 | 21 | 23 | 22k|6129 | 0.000000e+00 | -- | Inf
1066.35/1066.79 c 1036s| 1900k|496056 | 6954k| 238M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 22k|6140 | 0.000000e+00 | -- | Inf
1072.06/1072.48 c 1041s| 1910k|498162 | 6989k| 239M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 23k|6150 | 0.000000e+00 | -- | Inf
1077.76/1078.19 c 1047s| 1920k|500298 | 7026k| 240M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 23k|6158 | 0.000000e+00 | -- | Inf
1083.45/1083.89 c 1052s| 1930k|502574 | 7063k| 242M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 23k|6171 | 0.000000e+00 | -- | Inf
1089.15/1089.57 c 1058s| 1940k|504994 | 7098k| 243M| 63 | 8 | 70 | 21 | 8 | 70 | 21 | 23 | 23k|6186 | 0.000000e+00 | -- | Inf
1094.85/1095.26 c 1063s| 1950k|507216 | 7136k| 244M| 63 | 8 | 70 | 18 | 9 | 70 | 21 | 23 | 23k|6201 | 0.000000e+00 | -- | Inf
1100.55/1100.95 c 1069s| 1960k|509810 | 7173k| 245M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 23k|6219 | 0.000000e+00 | -- | Inf
1106.25/1106.62 c 1074s| 1970k|512146 | 7209k| 246M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 23k|6232 | 0.000000e+00 | -- | Inf
1111.84/1112.28 c 1080s| 1980k|514514 | 7246k| 248M| 63 | 8 | 70 | 21 | 9 | 70 | 21 | 23 | 23k|6250 | 0.000000e+00 | -- | Inf
1117.54/1117.93 c 1085s| 1990k|516760 | 7282k| 249M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 23k|6265 | 0.000000e+00 | -- | Inf
1123.24/1123.62 c 1091s| 2000k|518920 | 7319k| 250M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 24k|6283 | 0.000000e+00 | -- | Inf
1128.83/1129.30 c 1096s| 2010k|521192 | 7354k| 251M| 63 | 8 | 70 | 16 | 10 | 70 | 21 | 23 | 24k|6295 | 0.000000e+00 | -- | Inf
1134.53/1134.91 c 1102s| 2020k|523913 | 7390k| 252M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 24k|6309 | 0.000000e+00 | -- | Inf
1140.24/1140.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.24/1140.62 c 1107s| 2030k|526157 | 7426k| 253M| 63 | - | 70 | 22 | 8 | 70 | 21 | 23 | 24k|6325 | 0.000000e+00 | -- | Inf
1145.83/1146.22 c 1113s| 2040k|528509 | 7460k| 255M| 63 | - | 70 | 22 | 8 | 70 | 21 | 23 | 24k|6336 | 0.000000e+00 | -- | Inf
1151.52/1151.98 c 1118s| 2050k|530887 | 7497k| 256M| 63 | 8 | 70 | 22 | 8 | 70 | 21 | 23 | 24k|6350 | 0.000000e+00 | -- | Inf
1157.12/1157.58 c 1124s| 2060k|533477 | 7533k| 257M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 24k|6361 | 0.000000e+00 | -- | Inf
1162.82/1163.26 c 1129s| 2070k|535955 | 7569k| 258M| 63 | 8 | 70 | 23 | 8 | 70 | 21 | 23 | 24k|6371 | 0.000000e+00 | -- | Inf
1168.53/1168.99 c 1135s| 2080k|538361 | 7605k| 259M| 63 | - | 70 | 21 | 10 | 70 | 21 | 23 | 24k|6381 | 0.000000e+00 | -- | Inf
1174.22/1174.69 c 1140s| 2090k|540693 | 7642k| 261M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 24k|6396 | 0.000000e+00 | -- | Inf
1179.92/1180.37 c 1146s| 2100k|542919 | 7679k| 262M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 25k|6408 | 0.000000e+00 | -- | Inf
1185.62/1186.04 c 1151s| 2110k|545753 | 7716k| 263M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 | 25k|6419 | 0.000000e+00 | -- | Inf
1191.31/1191.72 c 1157s| 2120k|548179 | 7752k| 264M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 25k|6432 | 0.000000e+00 | -- | Inf
1197.02/1197.41 c 1162s| 2130k|550463 | 7788k| 265M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 25k|6442 | 0.000000e+00 | -- | Inf
1202.71/1203.10 c 1168s| 2140k|552735 | 7824k| 266M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 25k|6453 | 0.000000e+00 | -- | Inf
1208.51/1208.99 c 1174s| 2150k|554959 | 7862k| 268M| 63 | 8 | 70 | 35 | 9 | 70 | 21 | 23 | 25k|6467 | 0.000000e+00 | -- | Inf
1214.41/1214.90 c 1179s| 2160k|557151 | 7902k| 269M| 63 | 8 | 70 | 44 | 10 | 70 | 21 | 23 | 25k|6478 | 0.000000e+00 | -- | Inf
1220.21/1220.64 c 1185s| 2170k|559195 | 7939k| 270M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 25k|6495 | 0.000000e+00 | -- | Inf
1225.91/1226.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.91/1226.39 c 1190s| 2180k|562079 | 7977k| 271M| 63 | - | 70 | 27 | 8 | 70 | 21 | 23 | 25k|6503 | 0.000000e+00 | -- | Inf
1231.70/1232.12 c 1196s| 2190k|564683 | 8015k| 272M| 63 | - | 70 | 35 | 8 | 70 | 21 | 23 | 26k|6514 | 0.000000e+00 | -- | Inf
1237.50/1237.90 c 1202s| 2200k|567019 | 8053k| 274M| 63 | - | 70 | 48 | 13 | 70 | 21 | 23 | 26k|6525 | 0.000000e+00 | -- | Inf
1243.30/1243.71 c 1207s| 2210k|569997 | 8092k| 275M| 63 | 8 | 70 | 77 | 12 | 70 | 21 | 23 | 26k|6534 | 0.000000e+00 | -- | Inf
1249.20/1249.61 c 1213s| 2220k|572185 | 8131k| 276M| 63 | 8 | 70 | 63 | 8 | 70 | 21 | 23 | 26k|6555 | 0.000000e+00 | -- | Inf
1255.00/1255.42 c 1219s| 2230k|574469 | 8170k| 277M| 63 | - | 70 | 49 | 8 | 70 | 21 | 23 | 26k|6564 | 0.000000e+00 | -- | Inf
1260.79/1261.29 c 1224s| 2240k|576529 | 8209k| 278M| 63 | 8 | 70 | 35 | 10 | 70 | 21 | 23 | 26k|6574 | 0.000000e+00 | -- | Inf
1266.70/1267.13 c 1230s| 2250k|579021 | 8248k| 280M| 63 | 8 | 70 | 51 | 9 | 70 | 21 | 23 | 27k|6583 | 0.000000e+00 | -- | Inf
1272.39/1272.86 c 1236s| 2260k|581255 | 8284k| 281M| 63 | 8 | 70 | 29 | 8 | 70 | 21 | 23 | 27k|6591 | 0.000000e+00 | -- | Inf
1278.09/1278.55 c 1241s| 2270k|583641 | 8320k| 282M| 63 | - | 70 | 25 | 8 | 70 | 21 | 23 | 27k|6610 | 0.000000e+00 | -- | Inf
1283.78/1284.23 c 1247s| 2280k|586273 | 8356k| 283M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 27k|6619 | 0.000000e+00 | -- | Inf
1289.59/1290.01 c 1252s| 2290k|588619 | 8392k| 284M| 63 | 8 | 70 | 22 | 8 | 70 | 21 | 23 | 27k|6631 | 0.000000e+00 | -- | Inf
1295.19/1295.66 c 1258s| 2300k|590967 | 8428k| 285M| 63 | - | 70 | 23 | 8 | 70 | 21 | 23 | 27k|6640 | 0.000000e+00 | -- | Inf
1300.79/1301.26 c 1263s| 2310k|593891 | 8464k| 287M| 63 | 8 | 70 | 26 | 8 | 70 | 21 | 23 | 27k|6663 | 0.000000e+00 | -- | Inf
1306.48/1306.96 c 1269s| 2320k|596073 | 8499k| 288M| 63 | - | 70 | 17 | 9 | 70 | 21 | 23 | 27k|6679 | 0.000000e+00 | -- | Inf
1312.28/1312.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.28/1312.75 c 1274s| 2330k|598309 | 8536k| 289M| 63 | - | 70 | 17 | 9 | 0 | 0 | 23 | 27k|6688 | 0.000000e+00 | -- | Inf
1317.88/1318.39 c 1280s| 2340k|601031 | 8573k| 290M| 63 | 8 | 70 | 19 | 9 | 70 | 21 | 23 | 27k|6698 | 0.000000e+00 | -- | Inf
1323.57/1324.07 c 1285s| 2350k|603657 | 8608k| 292M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 28k|6715 | 0.000000e+00 | -- | Inf
1329.38/1329.84 c 1291s| 2360k|605775 | 8644k| 293M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 28k|6732 | 0.000000e+00 | -- | Inf
1334.98/1335.46 c 1296s| 2370k|608367 | 8680k| 294M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 28k|6747 | 0.000000e+00 | -- | Inf
1340.67/1341.19 c 1302s| 2380k|610567 | 8717k| 295M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 28k|6755 | 0.000000e+00 | -- | Inf
1346.47/1346.98 c 1308s| 2390k|612487 | 8753k| 296M| 63 | - | 70 | 12 | 8 | 70 | 21 | 23 | 28k|6769 | 0.000000e+00 | -- | Inf
1352.26/1352.78 c 1313s| 2400k|614629 | 8791k| 297M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 | 28k|6775 | 0.000000e+00 | -- | Inf
1358.06/1358.51 c 1319s| 2410k|616875 | 8827k| 298M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 | 28k|6791 | 0.000000e+00 | -- | Inf
1363.85/1364.31 c 1324s| 2420k|618947 | 8864k| 299M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 | 28k|6801 | 0.000000e+00 | -- | Inf
1369.54/1370.07 c 1330s| 2430k|621207 | 8901k| 300M| 63 | - | 70 | 17 | 9 | 70 | 21 | 23 | 28k|6812 | 0.000000e+00 | -- | Inf
1375.34/1375.81 c 1336s| 2440k|623569 | 8938k| 302M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 28k|6825 | 0.000000e+00 | -- | Inf
1381.05/1381.51 c 1341s| 2450k|625977 | 8974k| 303M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 28k|6834 | 0.000000e+00 | -- | Inf
1386.75/1387.23 c 1347s| 2460k|628301 | 9010k| 304M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 29k|6847 | 0.000000e+00 | -- | Inf
1392.44/1392.94 c 1352s| 2470k|630636 | 9047k| 305M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 29k|6855 | 0.000000e+00 | -- | Inf
1398.15/1398.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.15/1398.64 c 1358s| 2480k|633026 | 9084k| 306M| 63 | - | 70 | 26 | 8 | 70 | 21 | 23 | 29k|6863 | 0.000000e+00 | -- | Inf
1403.74/1404.27 c 1363s| 2490k|635881 | 9120k| 308M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 29k|6870 | 0.000000e+00 | -- | Inf
1409.44/1409.91 c 1369s| 2500k|638339 | 9155k| 309M| 63 | - | 70 | 20 | 8 | 0 | 0 | 23 | 29k|6886 | 0.000000e+00 | -- | Inf
1415.14/1415.60 c 1374s| 2510k|640519 | 9191k| 310M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 29k|6893 | 0.000000e+00 | -- | Inf
1420.83/1421.32 c 1380s| 2520k|642808 | 9227k| 311M| 63 | - | 70 | 18 | 8 | 70 | 21 | 23 | 29k|6909 | 0.000000e+00 | -- | Inf
1426.43/1427.00 c 1385s| 2530k|645494 | 9263k| 312M| 63 | 8 | 70 | 26 | 8 | 70 | 21 | 23 | 29k|6919 | 0.000000e+00 | -- | Inf
1432.23/1432.75 c 1391s| 2540k|647646 | 9300k| 313M| 63 | 8 | 70 | 20 | 9 | 70 | 21 | 23 | 29k|6935 | 0.000000e+00 | -- | Inf
1438.03/1438.51 c 1396s| 2550k|649798 | 9337k| 315M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 29k|6942 | 0.000000e+00 | -- | Inf
1443.73/1444.25 c 1402s| 2560k|652362 | 9373k| 316M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 30k|6951 | 0.000000e+00 | -- | Inf
1449.52/1450.02 c 1408s| 2570k|654540 | 9409k| 317M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 30k|6964 | 0.000000e+00 | -- | Inf
1455.22/1455.76 c 1413s| 2580k|656678 | 9445k| 318M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 30k|6972 | 0.000000e+00 | -- | Inf
1460.92/1461.49 c 1419s| 2590k|658972 | 9481k| 319M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 30k|6979 | 0.000000e+00 | -- | Inf
1466.72/1467.22 c 1424s| 2600k|661330 | 9517k| 320M| 63 | 8 | 70 | 16 | 8 | 70 | 21 | 23 | 30k|6987 | 0.000000e+00 | -- | Inf
1472.42/1472.98 c 1430s| 2610k|663512 | 9553k| 321M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 30k|7001 | 0.000000e+00 | -- | Inf
1478.22/1478.77 c 1436s| 2620k|665636 | 9590k| 322M| 63 | 8 | 70 | 14 | 8 | 70 | 21 | 23 | 30k|7012 | 0.000000e+00 | -- | Inf
1484.02/1484.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.02/1484.54 c 1441s| 2630k|667760 | 9626k| 324M| 63 | 8 | 70 | 19 | 8 | 70 | 21 | 23 | 30k|7021 | 0.000000e+00 | -- | Inf
1489.81/1490.30 c 1447s| 2640k|670154 | 9663k| 325M| 63 | 8 | 70 | 23 | 8 | 70 | 21 | 23 | 30k|7032 | 0.000000e+00 | -- | Inf
1495.41/1495.94 c 1452s| 2650k|672762 | 9699k| 326M| 63 | - | 70 | 28 | 8 | 70 | 21 | 23 | 31k|7040 | 0.000000e+00 | -- | Inf
1501.11/1501.67 c 1458s| 2660k|674956 | 9735k| 327M| 63 | - | 70 | 21 | 9 | 70 | 21 | 23 | 31k|7047 | 0.000000e+00 | -- | Inf
1506.90/1507.46 c 1463s| 2670k|677032 | 9772k| 328M| 63 | - | 70 | 15 | 8 | 70 | 21 | 23 | 31k|7056 | 0.000000e+00 | -- | Inf
1512.71/1513.20 c 1469s| 2680k|679262 | 9808k| 329M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 31k|7072 | 0.000000e+00 | -- | Inf
1518.41/1518.94 c 1475s| 2690k|681330 | 9844k| 330M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 31k|7077 | 0.000000e+00 | -- | Inf
1524.11/1524.70 c 1480s| 2700k|683814 | 9881k| 332M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 31k|7083 | 0.000000e+00 | -- | Inf
1529.79/1530.33 c 1486s| 2710k|686532 | 9916k| 333M| 63 | 8 | 70 | 20 | 9 | 70 | 21 | 23 | 31k|7092 | 0.000000e+00 | -- | Inf
1535.50/1536.07 c 1491s| 2720k|688719 | 9952k| 334M| 63 | 8 | 70 | 24 | 8 | 70 | 21 | 23 | 31k|7098 | 0.000000e+00 | -- | Inf
1541.19/1541.80 c 1497s| 2730k|691319 | 9989k| 335M| 63 | - | 70 | 21 | 8 | 70 | 21 | 23 | 31k|7105 | 0.000000e+00 | -- | Inf
1546.80/1547.39 c 1502s| 2740k|694361 | 10024k| 337M| 63 | - | 70 | 26 | 8 | 70 | 21 | 23 | 32k|7109 | 0.000000e+00 | -- | Inf
1552.49/1553.07 c 1508s| 2750k|696673 | 10059k| 338M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 32k|7118 | 0.000000e+00 | -- | Inf
1558.19/1558.73 c 1513s| 2760k|699101 | 10095k| 339M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 32k|7122 | 0.000000e+00 | -- | Inf
1563.89/1564.45 c 1519s| 2770k|701374 | 10130k| 340M| 63 | 8 | 70 | 13 | 8 | 70 | 21 | 23 | 32k|7129 | 0.000000e+00 | -- | Inf
1569.59/1570.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.59/1570.14 c 1524s| 2780k|704000 | 10167k| 341M| 63 | - | 70 | 17 | 8 | 70 | 21 | 23 | 32k|7134 | 0.000000e+00 | -- | Inf
1575.29/1575.83 c 1530s| 2790k|706272 | 10204k| 343M| 63 | 8 | 70 | 20 | 8 | 70 | 21 | 23 | 32k|7147 | 0.000000e+00 | -- | Inf
1581.19/1581.71 c 1535s| 2800k|708616 | 10244k| 344M| 63 | 8 | 70 | 36 | 13 | 70 | 21 | 23 | 32k|7154 | 0.000000e+00 | -- | Inf
1586.98/1587.58 c 1541s| 2810k|711132 | 10282k| 345M| 63 | 8 | 70 | 37 | 8 | 70 | 21 | 23 | 32k|7164 | 0.000000e+00 | -- | Inf
1592.78/1593.31 c 1547s| 2820k|714034 | 10319k| 346M| 63 | - | 70 | 57 | 9 | 70 | 21 | 23 | 32k|7173 | 0.000000e+00 | -- | Inf
1598.48/1599.02 c 1552s| 2830k|716747 | 10355k| 348M| 63 | 8 | 70 | 61 | 13 | 70 | 21 | 23 | 32k|7180 | 0.000000e+00 | -- | Inf
1604.18/1604.71 c 1558s| 2840k|720005 | 10393k| 349M| 63 | 8 | 70 | 83 | 13 | 70 | 21 | 23 | 33k|7187 | 0.000000e+00 | -- | Inf
1609.88/1610.47 c 1563s| 2850k|722903 | 10430k| 350M| 63 | 8 | 70 | 70 | 8 | 70 | 21 | 23 | 33k|7191 | 0.000000e+00 | -- | Inf
1615.67/1616.21 c 1569s| 2860k|725219 | 10466k| 352M| 63 | 8 | 70 | 50 | 8 | 70 | 21 | 23 | 33k|7197 | 0.000000e+00 | -- | Inf
1621.36/1621.96 c 1575s| 2870k|727649 | 10503k| 353M| 63 | - | 70 | 44 | 8 | 70 | 21 | 23 | 33k|7205 | 0.000000e+00 | -- | Inf
1627.17/1627.77 c 1580s| 2880k|730113 | 10538k| 354M| 63 | - | 70 | 39 | 8 | 70 | 21 | 23 | 33k|7211 | 0.000000e+00 | -- | Inf
1632.87/1633.49 c 1586s| 2890k|732880 | 10574k| 355M| 63 | 8 | 70 | 44 | 8 | 70 | 21 | 23 | 33k|7216 | 0.000000e+00 | -- | Inf
1638.76/1639.37 c 1591s| 2900k|735209 | 10612k| 356M| 63 | - | 70 | 43 | 8 | 70 | 21 | 23 | 33k|7224 | 0.000000e+00 | -- | Inf
1644.66/1645.28 c 1597s| 2910k|737272 | 10650k| 357M| 63 | 8 | 70 | 26 | 10 | 70 | 21 | 23 | 33k|7231 | 0.000000e+00 | -- | Inf
1650.57/1651.14 c 1603s| 2920k|739548 | 10687k| 359M| 63 | 8 | 70 | 29 | 8 | 70 | 21 | 23 | 33k|7236 | 0.000000e+00 | -- | Inf
1656.26/1656.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.26/1656.85 c 1608s| 2930k|741978 | 10723k| 360M| 63 | 8 | 70 | 26 | 8 | 70 | 21 | 23 | 33k|7243 | 0.000000e+00 | -- | Inf
1662.15/1662.71 c 1614s| 2940k|743982 | 10760k| 361M| 63 | 8 | 70 | 24 | 9 | 70 | 21 | 23 | 33k|7253 | 0.000000e+00 | -- | Inf
1667.96/1668.57 c 1620s| 2950k|745976 | 10797k| 362M| 63 | 8 | 70 | 26 | 8 | 70 | 21 | 23 | 33k|7257 | 0.000000e+00 | -- | Inf
1673.75/1674.36 c 1625s| 2960k|748208 | 10834k| 363M| 63 | 8 | 70 | 28 | 9 | 70 | 21 | 23 | 34k|7262 | 0.000000e+00 | -- | Inf
1679.55/1680.15 c 1631s| 2970k|750354 | 10871k| 364M| 63 | 8 | 70 | 27 | 8 | 70 | 21 | 23 | 34k|7266 | 0.000000e+00 | -- | Inf
1685.35/1685.99 c 1637s| 2980k|752836 | 10909k| 365M| 63 | 8 | 70 | 29 | 8 | 70 | 21 | 23 | 34k|7271 | 0.000000e+00 | -- | Inf
1691.15/1691.78 c 1642s| 2990k|755028 | 10946k| 366M| 63 | - | 70 | 29 | 8 | 70 | 21 | 23 | 34k|7275 | 0.000000e+00 | -- | Inf
1696.84/1697.47 c 1648s| 3000k|757414 | 10981k| 368M| 63 | - | 70 | 19 | 9 | 70 | 21 | 23 | 34k|7280 | 0.000000e+00 | -- | Inf
1702.54/1703.17 c 1653s| 3010k|759578 | 11016k| 369M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 34k|7287 | 0.000000e+00 | -- | Inf
1708.35/1708.96 c 1659s| 3020k|761690 | 11053k| 370M| 63 | 8 | 70 | 21 | 8 | 70 | 21 | 23 | 34k|7294 | 0.000000e+00 | -- | Inf
1714.04/1714.66 c 1665s| 3030k|764078 | 11089k| 371M| 63 | - | 70 | 22 | 8 | 70 | 21 | 23 | 34k|7308 | 0.000000e+00 | -- | Inf
1719.64/1720.29 c 1670s| 3040k|766662 | 11125k| 372M| 63 | 8 | 70 | 23 | 8 | 70 | 21 | 23 | 34k|7312 | 0.000000e+00 | -- | Inf
1725.44/1726.09 c 1676s| 3050k|768902 | 11161k| 373M| 63 | - | 70 | 18 | 11 | 70 | 21 | 23 | 34k|7325 | 0.000000e+00 | -- | Inf
1731.23/1731.85 c 1681s| 3060k|771012 | 11197k| 374M| 63 | 8 | 70 | 15 | 10 | 70 | 21 | 23 | 34k|7333 | 0.000000e+00 | -- | Inf
1736.73/1737.37 c 1687s| 3070k|774106 | 11233k| 376M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 35k|7338 | 0.000000e+00 | -- | Inf
1742.43/1743.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.43/1743.01 c 1692s| 3080k|776600 | 11267k| 377M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 35k|7343 | 0.000000e+00 | -- | Inf
1748.13/1748.73 c 1698s| 3090k|779194 | 11304k| 378M| 63 | 8 | 70 | 22 | 8 | 70 | 21 | 23 | 35k|7346 | 0.000000e+00 | -- | Inf
1753.83/1754.47 c 1703s| 3100k|781330 | 11340k| 379M| 63 | - | 70 | 19 | 8 | 70 | 21 | 23 | 35k|7347 | 0.000000e+00 | -- | Inf
1759.53/1760.19 c 1709s| 3110k|783626 | 11377k| 380M| 63 | 8 | 70 | 18 | 8 | 70 | 21 | 23 | 35k|7351 | 0.000000e+00 | -- | Inf
1765.32/1765.92 c 1714s| 3120k|785758 | 11412k| 382M| 63 | 8 | 70 | 12 | 8 | 70 | 21 | 23 | 35k|7354 | 0.000000e+00 | -- | Inf
1771.12/1771.74 c 1720s| 3130k|787886 | 11449k| 383M| 63 | - | 70 | 12 | 8 | 0 | 0 | 23 | 35k|7356 | 0.000000e+00 | -- | Inf
1776.82/1777.47 c 1725s| 3140k|790088 | 11486k| 384M| 63 | - | 70 | 16 | 8 | 70 | 21 | 23 | 35k|7360 | 0.000000e+00 | -- | Inf
1782.62/1783.24 c 1731s| 3150k|792124 | 11521k| 385M| 63 | 8 | 70 | 14 | 9 | 70 | 21 | 23 | 35k|7370 | 0.000000e+00 | -- | Inf
1788.32/1788.99 c 1737s| 3160k|794426 | 11558k| 386M| 63 | - | 70 | 14 | 9 | 70 | 21 | 23 | 35k|7381 | 0.000000e+00 | -- | Inf
1794.12/1794.72 c 1742s| 3170k|796544 | 11594k| 387M| 63 | 8 | 70 | 15 | 8 | 70 | 21 | 23 | 36k|7385 | 0.000000e+00 | -- | Inf
1799.72/1800.34 c 1748s| 3180k|799746 | 11630k| 389M| 63 | 8 | 70 | 17 | 8 | 70 | 21 | 23 | 36k|7396 | 0.000000e+00 | -- | Inf
1800.02/1800.60 c
1800.02/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.60 c Solving Time (sec) : 1747.97
1800.02/1800.60 c Solving Nodes : 3180463
1800.02/1800.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.60 c Dual Bound : +0.00000000000000e+00
1800.02/1800.60 c Gap : infinite
1800.02/1800.60 c NODE 3180463
1800.02/1800.60 c DUAL BOUND 0
1800.02/1800.60 c PRIMAL BOUND 1e+20
1800.02/1800.60 c GAP 1e+20
1800.02/1800.60 s UNKNOWN
1800.02/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.60 c Solving Time : 1747.97
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-1869477-1245173909.opb
1800.02/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 17 initial, 17 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-1869477-1245173909.opb
1800.02/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 8 initial, 122 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.00 0 0 0 0 0 9 0 0
1800.02/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 1993266 0 570 2817 0 0 3980338
1800.02/1800.61 c linear : 8 6 3672313 0 0 73297 3357081 0 0 0
1800.02/1800.61 c logicor : 0+ 0 470738 0 0 5 34481 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 23.08 0.00 0.00 23.08 0.00
1800.02/1800.61 c linear : 276.70 0.00 276.70 0.00 0.00
1800.02/1800.61 c logicor : 1.24 0.00 1.24 0.00 0.00
1800.02/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c rootredcost : 1.58 0 0 0
1800.02/1800.61 c pseudoobj : 0.88 0 0 0
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 11.68 73302 32191 71739 49.6 0 0.0 -
1800.02/1800.61 c infeasible LP : 15.88 1117080 3757 4258 29.9 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 3090 27.4 - - -
1800.02/1800.61 c applied locally : - - - 32991 47.1 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 5 - - 6 - (maximal pool size: 98)
1800.02/1800.61 c redcost : 4.43 1993270 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 6 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 6 0 0 41 0
1800.02/1800.61 c cmir : 0.05 6 0 0 28 0
1800.02/1800.61 c flowcover : 0.04 6 0 0 38 0
1800.02/1800.61 c clique : 0.00 1 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 1 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 21.50 1993266 570 2817 0 0 3980338
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.00 - 0
1800.02/1800.61 c oneopt : 1.35 0 0
1800.02/1800.61 c crossover : 0.81 0 0
1800.02/1800.61 c guideddiving : 0.08 0 0
1800.02/1800.61 c fracdiving : 0.13 55 0
1800.02/1800.61 c veclendiving : 0.15 55 0
1800.02/1800.61 c linesearchdiving : 0.22 55 0
1800.02/1800.61 c pscostdiving : 0.20 55 0
1800.02/1800.61 c feaspump : 0.14 28 0
1800.02/1800.61 c objpscostdiving : 0.11 28 0
1800.02/1800.61 c rootsoldiving : 0.15 28 0
1800.02/1800.61 c coefdiving : 0.12 56 0
1800.02/1800.61 c simplerounding : 0.78 0 0
1800.02/1800.61 c rounding : 2.07 19947 0
1800.02/1800.61 c shifting : 5.91 6356 0
1800.02/1800.61 c intshifting : 0.08 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.05 1 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 1224.02 3245612 11628459 3.58 9500.22
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.62 1834 4091 2.23 6598.39
1800.02/1800.61 c strong branching : 2.30 7396 52886 7.15 22993.91
1800.02/1800.61 c (at root node) : - 21 1160 55.24 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 3180463
1800.02/1800.61 c nodes (total) : 3180463
1800.02/1800.61 c nodes left : 799861
1800.02/1800.61 c max depth : 63
1800.02/1800.61 c max depth (total): 63
1800.02/1800.61 c backtracks : 299125 (9.4%)
1800.02/1800.61 c delayed cutoffs : 15
1800.02/1800.61 c repropagations : 53958 (34477 domain reductions, 14 cutoffs)
1800.02/1800.61 c avg switch length: 4.31
1800.02/1800.61 c switching time : 71.34
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 0 (0 improvements)
1800.02/1800.61 c Primal Bound : -
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869477-1245173909/watcher-1869477-1245173909 -o /tmp/evaluation-result-1869477-1245173909/solver-1869477-1245173909 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869477-1245173909.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 26900
/proc/meminfo: memFree=1849192/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=7616 CPUtime=0
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 582 0 0 0 0 0 0 0 20 0 1 0 96812698 7798784 566 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/26900/statm: 1904 576 353 1256 0 643 0
[startup+0.0419939 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 26900
/proc/meminfo: memFree=1849192/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=14396 CPUtime=0.03
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 2890 0 0 0 3 0 0 0 20 0 1 0 96812698 14741504 2520 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 3599 2520 653 1256 0 2338 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14396
[startup+0.102001 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 26900
/proc/meminfo: memFree=1849192/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=14908 CPUtime=0.09
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 2959 0 0 0 9 0 0 0 20 0 1 0 96812698 15265792 2589 1992294400 4194304 9342243 548682068736 18446744073709551615 4345698 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 3727 2589 659 1256 0 2466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14908
[startup+0.302025 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 26900
/proc/meminfo: memFree=1849192/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=15880 CPUtime=0.29
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 4632 0 0 0 27 2 0 0 22 0 1 0 96812698 16261120 2651 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 3970 2651 684 1256 0 2709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15880
[startup+0.701074 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 26900
/proc/meminfo: memFree=1849192/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=16256 CPUtime=0.69
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 4682 0 0 0 67 2 0 0 25 0 1 0 96812698 16646144 2701 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 4064 2701 692 1256 0 2803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16256
[startup+1.50117 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1840992/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=16400 CPUtime=1.49
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 4763 0 0 0 144 5 0 0 25 0 1 0 96812698 16793600 2782 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 4100 2782 692 1256 0 2839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16400
[startup+3.10137 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1840288/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=16400 CPUtime=3.09
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 4924 0 0 0 300 9 0 0 25 0 1 0 96812698 16793600 2943 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 4100 2943 692 1256 0 2839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16400
[startup+6.30177 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1839136/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=18568 CPUtime=6.28
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 5240 0 0 0 610 18 0 0 25 0 1 0 96812698 19013632 3259 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 4642 3259 692 1256 0 3381 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18568
[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1836904/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=20388 CPUtime=12.69
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 5651 0 0 0 1230 39 0 0 25 0 1 0 96812698 20877312 3670 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 5097 3670 692 1256 0 3836 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20388
[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1833384/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=24264 CPUtime=25.49
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 6544 0 0 0 2475 74 0 0 25 0 1 0 96812698 24846336 4563 1992294400 4194304 9342243 548682068736 18446744073709551615 6080955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 6066 4563 692 1256 0 4805 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24264
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1827560/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=30248 CPUtime=51.07
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 8034 0 0 0 4969 138 0 0 25 0 1 0 96812698 30973952 6053 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 7562 6053 692 1256 0 6301 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30248
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1814440/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=42352 CPUtime=102.25
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 11255 0 0 0 9949 276 0 0 25 0 1 0 96812698 43368448 9274 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 10588 9274 692 1256 0 9327 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42352
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1799784/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=58480 CPUtime=162.24
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 15018 0 0 0 15770 454 0 0 25 0 1 0 96812698 59883520 13036 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 14620 13036 692 1256 0 13359 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 58480
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1785576/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=72276 CPUtime=222.22
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 18426 0 0 0 21589 633 0 0 25 0 1 0 96812698 74010624 16444 1992294400 4194304 9342243 548682068736 18446744073709551615 5062996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 18069 16444 692 1256 0 16808 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 72276
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1771752/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=85748 CPUtime=282.2
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 21963 0 0 0 27413 807 0 0 25 0 1 0 96812698 87805952 19981 1992294400 4194304 9342243 548682068736 18446744073709551615 7288631 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 21437 19981 692 1256 0 20176 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 85748
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1757928/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=99068 CPUtime=342.18
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 25267 0 0 0 33232 986 0 0 25 0 1 0 96812698 101445632 23285 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 24767 23285 692 1256 0 23506 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99068
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1742312/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=117416 CPUtime=402.16
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 29138 0 0 0 39058 1158 0 0 25 0 1 0 96812698 120233984 27156 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 29354 27156 692 1256 0 28093 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 117416
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26901
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=131384 CPUtime=462.14
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 32493 0 0 0 44882 1332 0 0 25 0 1 0 96812698 134537216 30511 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 32846 30511 692 1256 0 31585 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 131384
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1715880/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=144060 CPUtime=522.12
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 35808 0 0 0 50708 1504 0 0 25 0 1 0 96812698 147517440 33826 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 36015 33826 692 1256 0 34754 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 144060
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1701928/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=158204 CPUtime=582.11
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 39130 0 0 0 56528 1683 0 0 25 0 1 0 96812698 162000896 37148 1992294400 4194304 9342243 548682068736 18446744073709551615 5813900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 39551 37148 692 1256 0 38290 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 158204
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1688616/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=171492 CPUtime=642.1
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 42435 0 0 0 62350 1860 0 0 25 0 1 0 96812698 175607808 40453 1992294400 4194304 9342243 548682068736 18446744073709551615 6271108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 42873 40453 692 1256 0 41612 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 171492
[startup+702.302 s]
################
# More data... #
################
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 62335 0 0 0 97293 2905 0 0 25 0 1 0 96812698 263913472 60350 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 64432 60350 692 1256 0 63171 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 257728
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1595560/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=269604 CPUtime=1061.96
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 65483 0 0 0 103116 3080 0 0 25 0 1 0 96812698 276074496 63497 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 67401 63497 692 1256 0 66140 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 269604
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1583272/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=282124 CPUtime=1121.94
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 68508 0 0 0 108941 3253 0 0 25 0 1 0 96812698 288894976 66522 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 70531 66522 692 1256 0 69270 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 282124
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1570472/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=294860 CPUtime=1181.92
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 71705 0 0 0 114769 3423 0 0 25 0 1 0 96812698 301936640 69719 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 73715 69719 692 1256 0 72454 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 294860
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1558120/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=306676 CPUtime=1241.9
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 74730 0 0 0 120594 3596 0 0 25 0 1 0 96812698 314036224 72744 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 76669 72744 692 1256 0 75408 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 306676
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26903
/proc/meminfo: memFree=1545448/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=319128 CPUtime=1301.89
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 77870 0 0 0 126421 3768 0 0 25 0 1 0 96812698 326787072 75883 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 79782 75883 692 1256 0 78521 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 319128
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1533088/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=331024 CPUtime=1361.85
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 80887 0 0 0 132247 3938 0 0 25 0 1 0 96812698 338968576 78900 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 82756 78900 692 1256 0 81495 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 331024
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1520168/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=343572 CPUtime=1421.84
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 84112 0 0 0 138073 4111 0 0 25 0 1 0 96812698 351817728 82123 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 85893 82123 692 1256 0 84632 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 343572
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1507816/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=355532 CPUtime=1481.82
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 87172 0 0 0 143899 4283 0 0 25 0 1 0 96812698 364064768 85183 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 88883 85183 692 1256 0 87622 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 355532
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1495272/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=366928 CPUtime=1541.79
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 90271 0 0 0 149725 4454 0 0 25 0 1 0 96812698 375734272 88282 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 91732 88282 692 1256 0 90471 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 366928
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1482216/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=381396 CPUtime=1601.78
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 93644 0 0 0 155547 4631 0 0 25 0 1 0 96812698 390549504 91654 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 95349 91654 692 1256 0 94088 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 381396
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1468712/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=393896 CPUtime=1661.76
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 96929 0 0 0 161373 4803 0 0 25 0 1 0 96812698 403349504 94939 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 98474 94939 692 1256 0 97213 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 393896
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1456680/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=405612 CPUtime=1721.73
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 99893 0 0 0 167192 4981 0 0 25 0 1 0 96812698 415346688 97901 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 101403 97901 692 1256 0 100142 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 405612
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 3/66 26909
/proc/meminfo: memFree=1444136/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=417992 CPUtime=1781.72
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 102950 0 0 0 173016 5156 0 0 25 0 1 0 96812698 428023808 100958 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 104498 100958 692 1256 0 103237 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 417992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1440360/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=421640 CPUtime=1800.02
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 103856 0 0 0 174797 5205 0 0 25 0 1 0 96812698 431759360 101864 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26900/statm: 105410 101864 692 1256 0 104149 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 421640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26900
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 26909
/proc/meminfo: memFree=1440360/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=421640 CPUtime=1800.81
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 103857 0 0 0 174876 5205 0 0 25 0 1 0 96812698 431759360 101865 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 1 0 0
/proc/26900/statm: 105410 101865 693 1256 0 104149 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 421640
[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26910
/proc/meminfo: memFree=1440352/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=421640 CPUtime=1801.61
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 103857 0 0 0 174956 5205 0 0 25 0 1 0 96812698 431759360 101865 1992294400 4194304 9342243 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0
/proc/26900/statm: 105410 101865 693 1256 0 104149 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 421640
[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26910
/proc/meminfo: memFree=1440352/2055920 swapFree=4192812/4192956
[pid=26900] ppid=26898 vsize=421640 CPUtime=1802.01
/proc/26900/stat : 26900 (pbscip.linux.x8) R 26898 26900 26457 0 -1 4194304 103857 0 0 0 174996 5205 0 0 25 0 1 0 96812698 431759360 101865 1992294400 4194304 9342243 548682068736 18446744073709551615 5838681 0 0 4096 0 0 0 0 17 1 0 0
/proc/26900/statm: 105410 101865 693 1256 0 104149 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 421640
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.09
CPU user time (s): 1749.97
CPU system time (s): 52.1171
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 421640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.97
system time used= 52.1171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103857
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= 4243
runsolver used 2.04369 second user time and 4.29135 second system time
The end
Begin job on node92 at 2009-06-16 19:38:29
IDJOB=1869477
IDBENCH=2893
IDSOLVER=684
FILE ID=node92/1869477-1245173909
PBS_JOBID= 9363866
Free space on /tmp= 66472 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_8_70_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869477-1245173909/watcher-1869477-1245173909 -o /tmp/evaluation-result-1869477-1245173909/solver-1869477-1245173909 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869477-1245173909.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef
RANDOM SEED=1239891632
node92.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.233
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.233
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1849608 kB
Buffers: 5928 kB
Cached: 136392 kB
SwapCached: 140 kB
Active: 46852 kB
Inactive: 109528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1849608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11736 kB
Writeback: 0 kB
Mapped: 23636 kB
Slab: 35728 kB
Committed_AS: 65044 kB
PageTables: 1464 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= 66460 MiB
End job on node92 at 2009-06-16 20:08:32