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-1869535-1245177413.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.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 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 | 41 | 341k| 0 | 8 | 70 | 8 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 140 | 373k| 0 | 12 | 70 | 8 | 8 | 70 | 16 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 160 | 414k| 0 | 17 | 70 | 8 | 8 | 70 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 184 | 439k| 0 | 19 | 70 | 8 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 196 | 448k| 0 | 21 | 70 | 8 | 8 | 70 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 226 | 473k| 0 | 23 | 70 | 8 | 8 | 70 | 31 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 242 | 482k| 0 | 24 | 70 | 8 | 8 | 70 | 34 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 2 | 242 | 483k| 0 | 24 | 70 | 8 | 8 | 70 | 34 | 26 | 0 | 24 | 0.000000e+00 | -- | Inf
7.19/7.27 c 7.1s| 10000 | 3396 | 36595 |2054k| 56 | 8 | 70 | 62 | 31 | 70 | 25 | 26 | 132 | 643 | 0.000000e+00 | -- | Inf
13.88/13.90 c 13.5s| 20000 | 6522 | 73929 |3468k| 60 | - | 70 | 95 | 11 | 70 | 25 | 26 | 229 | 879 | 0.000000e+00 | -- | Inf
20.39/20.47 c 19.9s| 30000 | 9136 |108876 |4702k| 60 | 8 | 70 | 96 | 14 | 70 | 25 | 26 | 332 |1063 | 0.000000e+00 | -- | Inf
26.98/27.05 c 26.3s| 40000 | 11734 |144323 |5915k| 60 | - | 70 | 72 | 13 | 70 | 25 | 26 | 380 |1242 | 0.000000e+00 | -- | Inf
33.48/33.55 c 32.6s| 50000 | 14238 |179984 |7103k| 60 | 8 | 70 | 61 | 10 | 70 | 25 | 26 | 459 |1376 | 0.000000e+00 | -- | Inf
39.97/40.01 c 38.9s| 60000 | 16732 |214861 |8299k| 60 | - | 70 | 43 | 9 | 70 | 25 | 26 | 538 |1513 | 0.000000e+00 | -- | Inf
46.48/46.54 c 45.3s| 70000 | 19328 |250269 |9517k| 60 | 8 | 70 | 45 | 10 | 70 | 25 | 26 | 594 |1645 | 0.000000e+00 | -- | Inf
52.98/53.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.98/53.00 c 51.5s| 80000 | 21822 |285386 | 10M| 61 | 8 | 70 | 47 | 11 | 70 | 25 | 26 | 653 |1756 | 0.000000e+00 | -- | Inf
59.37/59.48 c 57.9s| 90000 | 24338 |321297 | 11M| 61 | - | 70 | 42 | 8 | 0 | 0 | 26 | 679 |1855 | 0.000000e+00 | -- | Inf
65.88/65.92 c 64.1s|100000 | 26776 |356009 | 13M| 61 | - | 70 | 42 | 9 | 70 | 25 | 26 | 757 |1936 | 0.000000e+00 | -- | Inf
72.16/72.28 c 70.3s|110000 | 29268 |390228 | 14M| 61 | 8 | 70 | 42 | 8 | 70 | 25 | 26 | 813 |2021 | 0.000000e+00 | -- | Inf
78.67/78.71 c 76.6s|120000 | 31658 |425544 | 15M| 61 | - | 70 | 40 | 9 | 70 | 25 | 26 | 876 |2103 | 0.000000e+00 | -- | Inf
85.06/85.14 c 82.8s|130000 | 34262 |460502 | 16M| 61 | - | 70 | 41 | 8 | 70 | 25 | 26 | 918 |2181 | 0.000000e+00 | -- | Inf
91.36/91.48 c 89.0s|140000 | 36752 |495092 | 17M| 61 | 8 | 70 | 38 | 9 | 70 | 25 | 26 | 955 |2256 | 0.000000e+00 | -- | Inf
97.76/97.80 c 95.2s|150000 | 39264 |529118 | 19M| 61 | - | 70 | 37 | 9 | 70 | 25 | 26 |1023 |2312 | 0.000000e+00 | -- | Inf
104.06/104.15 c 101s|160000 | 41752 |562630 | 20M| 61 | 8 | 70 | 37 | 9 | 70 | 25 | 26 |1085 |2376 | 0.000000e+00 | -- | Inf
110.45/110.57 c 108s|170000 | 44014 |597660 | 21M| 61 | 8 | 70 | 34 | 8 | 70 | 25 | 26 |1150 |2439 | 0.000000e+00 | -- | Inf
116.85/116.91 c 114s|180000 | 46482 |632229 | 22M| 61 | 8 | 70 | 33 | 8 | 70 | 25 | 26 |1188 |2525 | 0.000000e+00 | -- | Inf
123.15/123.26 c 120s|190000 | 49270 |666586 | 23M| 61 | - | 70 | 38 | 8 | 70 | 25 | 26 |1226 |2585 | 0.000000e+00 | -- | Inf
129.45/129.58 c 126s|200000 | 51788 |700306 | 25M| 62 | - | 70 | 38 | 8 | 70 | 25 | 26 |1268 |2650 | 0.000000e+00 | -- | Inf
135.84/135.90 c 132s|210000 | 54270 |734399 | 26M| 62 | 8 | 70 | 39 | 16 | 70 | 25 | 26 |1317 |2711 | 0.000000e+00 | -- | Inf
142.24/142.38 c 139s|220000 | 56604 |769897 | 27M| 62 | - | 70 | 35 | 8 | 70 | 25 | 26 |1362 |2769 | 0.000000e+00 | -- | Inf
148.64/148.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.64/148.75 c 145s|230000 | 58982 |804109 | 28M| 62 | 8 | 70 | 33 | 8 | 70 | 25 | 26 |1381 |2828 | 0.000000e+00 | -- | Inf
155.04/155.17 c 151s|240000 | 61202 |839251 | 29M| 62 | - | 70 | 34 | 8 | 70 | 25 | 26 |1413 |2898 | 0.000000e+00 | -- | Inf
161.43/161.56 c 157s|250000 | 63686 |873379 | 30M| 62 | - | 70 | 34 | 9 | 70 | 25 | 26 |1447 |2949 | 0.000000e+00 | -- | Inf
167.83/167.98 c 163s|260000 | 65950 |907749 | 31M| 62 | - | 70 | 31 | 8 | 70 | 25 | 26 |1519 |3010 | 0.000000e+00 | -- | Inf
174.22/174.36 c 170s|270000 | 68322 |942216 | 33M| 62 | 8 | 70 | 28 | 13 | 70 | 25 | 26 |1550 |3066 | 0.000000e+00 | -- | Inf
180.62/180.79 c 176s|280000 | 70506 |976538 | 34M| 62 | 8 | 70 | 28 | 8 | 70 | 25 | 26 |1588 |3129 | 0.000000e+00 | -- | Inf
187.13/187.20 c 182s|290000 | 72790 | 1011k| 35M| 62 | 8 | 70 | 29 | 8 | 70 | 25 | 26 |1631 |3179 | 0.000000e+00 | -- | Inf
193.42/193.52 c 188s|300000 | 75094 | 1045k| 36M| 62 | - | 70 | 30 | 9 | 70 | 25 | 26 |1667 |3217 | 0.000000e+00 | -- | Inf
199.82/199.95 c 195s|310000 | 77332 | 1080k| 37M| 62 | - | 70 | 30 | 8 | 70 | 25 | 26 |1696 |3279 | 0.000000e+00 | -- | Inf
206.22/206.33 c 201s|320000 | 79690 | 1113k| 38M| 62 | 8 | 70 | 27 | 8 | 70 | 25 | 26 |1735 |3318 | 0.000000e+00 | -- | Inf
212.41/212.60 c 207s|330000 | 82383 | 1148k| 40M| 62 | - | 70 | 30 | 8 | 70 | 25 | 26 |1781 |3359 | 0.000000e+00 | -- | Inf
218.92/219.01 c 213s|340000 | 84509 | 1183k| 41M| 62 | 8 | 70 | 31 | 9 | 70 | 25 | 26 |1816 |3396 | 0.000000e+00 | -- | Inf
225.21/225.35 c 219s|350000 | 86977 | 1217k| 42M| 62 | - | 70 | 39 | 9 | 70 | 25 | 26 |1860 |3438 | 0.000000e+00 | -- | Inf
231.51/231.68 c 225s|360000 | 89273 | 1251k| 43M| 62 | - | 70 | 38 | 10 | 70 | 25 | 26 |1928 |3465 | 0.000000e+00 | -- | Inf
237.90/238.06 c 232s|370000 | 91291 | 1286k| 44M| 62 | - | 70 | 40 | 9 | 0 | 0 | 26 |1974 |3494 | 0.000000e+00 | -- | Inf
244.30/244.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.30/244.43 c 238s|380000 | 93571 | 1320k| 45M| 62 | 8 | 70 | 43 | 8 | 70 | 25 | 26 |2027 |3532 | 0.000000e+00 | -- | Inf
250.60/250.78 c 244s|390000 | 95715 | 1354k| 46M| 62 | - | 70 | 34 | 12 | 70 | 25 | 26 |2081 |3570 | 0.000000e+00 | -- | Inf
257.00/257.16 c 250s|400000 | 97907 | 1388k| 47M| 62 | 8 | 70 | 30 | 11 | 70 | 25 | 26 |2129 |3604 | 0.000000e+00 | -- | Inf
263.39/263.57 c 256s|410000 | 99991 | 1422k| 48M| 62 | - | 70 | 35 | 9 | 70 | 25 | 26 |2176 |3636 | 0.000000e+00 | -- | Inf
269.79/269.96 c 263s|420000 |102207 | 1456k| 49M| 62 | - | 70 | 31 | 8 | 70 | 25 | 26 |2240 |3666 | 0.000000e+00 | -- | Inf
276.09/276.27 c 269s|430000 |104583 | 1491k| 51M| 62 | 8 | 70 | 28 | 8 | 70 | 25 | 26 |2283 |3708 | 0.000000e+00 | -- | Inf
282.49/282.62 c 275s|440000 |106943 | 1525k| 52M| 62 | 8 | 70 | 30 | 8 | 70 | 25 | 26 |2329 |3750 | 0.000000e+00 | -- | Inf
288.79/288.95 c 281s|450000 |109367 | 1559k| 53M| 62 | - | 70 | 45 | 9 | 70 | 25 | 26 |2395 |3776 | 0.000000e+00 | -- | Inf
295.09/295.28 c 287s|460000 |111575 | 1593k| 54M| 63 | 8 | 70 | 39 | 8 | 70 | 25 | 26 |2438 |3806 | 0.000000e+00 | -- | Inf
301.58/301.74 c 294s|470000 |113657 | 1627k| 55M| 63 | 8 | 70 | 32 | 8 | 70 | 25 | 26 |2474 |3847 | 0.000000e+00 | -- | Inf
307.88/308.08 c 300s|480000 |116067 | 1662k| 56M| 63 | 8 | 70 | 30 | 8 | 70 | 25 | 26 |2525 |3877 | 0.000000e+00 | -- | Inf
314.27/314.42 c 306s|490000 |118287 | 1696k| 57M| 63 | 8 | 70 | 30 | 8 | 70 | 25 | 26 |2578 |3913 | 0.000000e+00 | -- | Inf
320.58/320.77 c 312s|500000 |120661 | 1730k| 59M| 63 | 8 | 70 | 27 | 8 | 70 | 25 | 26 |2649 |3941 | 0.000000e+00 | -- | Inf
327.07/327.21 c 318s|510000 |122879 | 1765k| 60M| 63 | 8 | 70 | 34 | 8 | 70 | 25 | 26 |2699 |3982 | 0.000000e+00 | -- | Inf
333.37/333.59 c 325s|520000 |124979 | 1799k| 61M| 63 | 8 | 70 | 34 | 8 | 70 | 25 | 26 |2739 |4025 | 0.000000e+00 | -- | Inf
339.77/339.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.77/339.92 c 331s|530000 |127405 | 1833k| 62M| 63 | 8 | 70 | 37 | 8 | 70 | 25 | 26 |2765 |4047 | 0.000000e+00 | -- | Inf
346.06/346.28 c 337s|540000 |130069 | 1868k| 63M| 63 | 8 | 70 | 40 | 8 | 70 | 25 | 26 |2796 |4085 | 0.000000e+00 | -- | Inf
352.56/352.70 c 343s|550000 |132091 | 1902k| 64M| 63 | - | 70 | 35 | 10 | 70 | 25 | 26 |2859 |4130 | 0.000000e+00 | -- | Inf
358.86/359.09 c 349s|560000 |134087 | 1936k| 65M| 63 | - | 70 | 40 | 8 | 70 | 25 | 26 |2921 |4166 | 0.000000e+00 | -- | Inf
365.36/365.53 c 356s|570000 |136083 | 1970k| 66M| 63 | 8 | 70 | 38 | 8 | 70 | 25 | 26 |3029 |4197 | 0.000000e+00 | -- | Inf
371.66/371.87 c 362s|580000 |138165 | 2004k| 67M| 63 | 8 | 70 | 38 | 8 | 70 | 25 | 26 |3071 |4221 | 0.000000e+00 | -- | Inf
377.95/378.17 c 368s|590000 |140429 | 2037k| 68M| 63 | 8 | 70 | 37 | 9 | 70 | 25 | 26 |3127 |4257 | 0.000000e+00 | -- | Inf
384.35/384.59 c 374s|600000 |142733 | 2072k| 70M| 63 | - | 70 | 37 | 8 | 70 | 25 | 26 |3174 |4289 | 0.000000e+00 | -- | Inf
390.75/390.93 c 380s|610000 |145135 | 2106k| 71M| 63 | 8 | 70 | 30 | 8 | 70 | 25 | 26 |3232 |4314 | 0.000000e+00 | -- | Inf
397.14/397.31 c 386s|620000 |147103 | 2140k| 72M| 63 | - | 70 | 33 | 9 | 70 | 25 | 26 |3283 |4342 | 0.000000e+00 | -- | Inf
403.45/403.67 c 393s|630000 |149431 | 2175k| 73M| 63 | - | 70 | 26 | 9 | 70 | 25 | 26 |3326 |4357 | 0.000000e+00 | -- | Inf
409.84/410.05 c 399s|640000 |151671 | 2209k| 74M| 63 | - | 70 | 30 | 8 | 70 | 25 | 26 |3355 |4388 | 0.000000e+00 | -- | Inf
416.24/416.42 c 405s|650000 |154011 | 2244k| 75M| 63 | - | 70 | 28 | 8 | 70 | 25 | 26 |3380 |4411 | 0.000000e+00 | -- | Inf
422.64/422.81 c 411s|660000 |156337 | 2278k| 76M| 63 | - | 70 | 30 | 9 | 70 | 25 | 26 |3420 |4435 | 0.000000e+00 | -- | Inf
429.03/429.20 c 418s|670000 |158490 | 2312k| 77M| 63 | - | 70 | 29 | 8 | 70 | 25 | 26 |3447 |4474 | 0.000000e+00 | -- | Inf
435.33/435.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.33/435.55 c 424s|680000 |160720 | 2347k| 78M| 63 | 8 | 70 | 29 | 8 | 70 | 25 | 26 |3489 |4512 | 0.000000e+00 | -- | Inf
441.73/441.92 c 430s|690000 |162974 | 2382k| 80M| 63 | 8 | 70 | 29 | 9 | 70 | 25 | 26 |3528 |4544 | 0.000000e+00 | -- | Inf
448.13/448.36 c 436s|700000 |165132 | 2416k| 81M| 63 | 8 | 70 | 28 | 9 | 70 | 25 | 26 |3575 |4575 | 0.000000e+00 | -- | Inf
454.43/454.67 c 442s|710000 |167278 | 2451k| 82M| 63 | - | 70 | 30 | 9 | 70 | 25 | 26 |3616 |4602 | 0.000000e+00 | -- | Inf
460.82/461.02 c 448s|720000 |169536 | 2484k| 83M| 63 | 8 | 70 | 33 | 9 | 70 | 25 | 26 |3661 |4626 | 0.000000e+00 | -- | Inf
467.12/467.38 c 455s|730000 |171873 | 2518k| 84M| 63 | 8 | 70 | 31 | 10 | 70 | 25 | 26 |3717 |4657 | 0.000000e+00 | -- | Inf
473.42/473.64 c 461s|740000 |174271 | 2551k| 85M| 63 | 8 | 70 | 32 | 8 | 70 | 25 | 26 |3765 |4682 | 0.000000e+00 | -- | Inf
479.82/480.00 c 467s|750000 |176557 | 2586k| 86M| 63 | 8 | 70 | 30 | 10 | 70 | 25 | 26 |3783 |4709 | 0.000000e+00 | -- | Inf
486.21/486.42 c 473s|760000 |178447 | 2619k| 87M| 63 | 8 | 70 | 28 | 8 | 70 | 25 | 26 |3844 |4743 | 0.000000e+00 | -- | Inf
492.41/492.65 c 479s|770000 |181031 | 2653k| 89M| 63 | 8 | 70 | 34 | 8 | 70 | 25 | 26 |3883 |4765 | 0.000000e+00 | -- | Inf
498.81/499.04 c 485s|780000 |183025 | 2687k| 90M| 63 | 8 | 70 | 33 | 9 | 70 | 25 | 26 |3925 |4790 | 0.000000e+00 | -- | Inf
505.11/505.40 c 492s|790000 |185252 | 2721k| 91M| 63 | 8 | 70 | 28 | 8 | 70 | 25 | 26 |3971 |4817 | 0.000000e+00 | -- | Inf
511.50/511.77 c 498s|800000 |187254 | 2755k| 92M| 63 | 8 | 70 | 27 | 8 | 70 | 25 | 26 |4003 |4840 | 0.000000e+00 | -- | Inf
517.90/518.18 c 504s|810000 |189162 | 2790k| 93M| 63 | 8 | 70 | 23 | 10 | 70 | 25 | 26 |4026 |4866 | 0.000000e+00 | -- | Inf
524.40/524.64 c 510s|820000 |191808 | 2826k| 94M| 63 | 8 | 70 | 54 | 11 | 70 | 25 | 26 |4098 |4897 | 0.000000e+00 | -- | Inf
531.00/531.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.00/531.23 c 517s|830000 |194124 | 2864k| 95M| 63 | - | 70 | 74 | 8 | 0 | 0 | 26 |4196 |4930 | 0.000000e+00 | -- | Inf
537.60/537.82 c 523s|840000 |196080 | 2902k| 96M| 63 | - | 70 | 100 | 8 | 0 | 0 | 26 |4283 |4948 | 0.000000e+00 | -- | Inf
543.99/544.29 c 529s|850000 |198446 | 2937k| 97M| 63 | 8 | 70 | 95 | 8 | 70 | 25 | 26 |4363 |4971 | 0.000000e+00 | -- | Inf
550.49/550.74 c 536s|860000 |200388 | 2971k| 98M| 63 | 8 | 70 | 40 | 8 | 70 | 25 | 26 |4409 |4994 | 0.000000e+00 | -- | Inf
556.79/557.03 c 542s|870000 |202748 | 3004k| 99M| 63 | - | 70 | 30 | 8 | 70 | 25 | 26 |4452 |5023 | 0.000000e+00 | -- | Inf
563.09/563.37 c 548s|880000 |205258 | 3037k| 101M| 63 | - | 70 | 32 | 8 | 70 | 25 | 26 |4487 |5050 | 0.000000e+00 | -- | Inf
569.39/569.69 c 554s|890000 |207620 | 3071k| 102M| 63 | 8 | 70 | 24 | 9 | 70 | 25 | 26 |4537 |5074 | 0.000000e+00 | -- | Inf
575.68/575.97 c 560s|900000 |209836 | 3104k| 103M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 |4569 |5093 | 0.000000e+00 | -- | Inf
582.08/582.37 c 566s|910000 |211958 | 3138k| 104M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 |4604 |5116 | 0.000000e+00 | -- | Inf
588.48/588.79 c 573s|920000 |213830 | 3171k| 105M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |4633 |5143 | 0.000000e+00 | -- | Inf
594.78/595.09 c 579s|930000 |216174 | 3205k| 106M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 |4678 |5165 | 0.000000e+00 | -- | Inf
601.17/601.47 c 585s|940000 |218490 | 3240k| 107M| 63 | 8 | 70 | 21 | 8 | 70 | 25 | 26 |4733 |5189 | 0.000000e+00 | -- | Inf
607.57/607.89 c 591s|950000 |220518 | 3274k| 108M| 63 | 8 | 70 | 11 | 8 | 70 | 25 | 26 |4759 |5205 | 0.000000e+00 | -- | Inf
613.86/614.18 c 597s|960000 |222846 | 3308k| 109M| 63 | - | 70 | 19 | 8 | 0 | 0 | 26 |4807 |5224 | 0.000000e+00 | -- | Inf
620.26/620.54 c 603s|970000 |224906 | 3341k| 110M| 63 | - | 70 | 19 | 8 | 70 | 25 | 26 |4841 |5236 | 0.000000e+00 | -- | Inf
626.67/626.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.67/626.92 c 610s|980000 |226914 | 3375k| 112M| 63 | - | 70 | 18 | 9 | 70 | 25 | 26 |4870 |5246 | 0.000000e+00 | -- | Inf
632.96/633.26 c 616s|990000 |229068 | 3409k| 113M| 63 | - | 70 | 16 | 9 | 70 | 25 | 26 |4921 |5261 | 0.000000e+00 | -- | Inf
639.36/639.61 c 622s| 1000k|231294 | 3443k| 114M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 |4958 |5282 | 0.000000e+00 | -- | Inf
645.75/646.06 c 628s| 1010k|233146 | 3478k| 115M| 63 | - | 70 | 17 | 8 | 0 | 0 | 26 |4992 |5298 | 0.000000e+00 | -- | Inf
652.15/652.42 c 634s| 1020k|235346 | 3512k| 116M| 63 | 8 | 70 | 19 | 9 | 70 | 25 | 26 |5029 |5320 | 0.000000e+00 | -- | Inf
658.56/658.83 c 641s| 1030k|237274 | 3547k| 117M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 |5063 |5344 | 0.000000e+00 | -- | Inf
664.94/665.27 c 647s| 1040k|239392 | 3581k| 118M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |5094 |5372 | 0.000000e+00 | -- | Inf
671.44/671.71 c 653s| 1050k|241288 | 3617k| 119M| 63 | - | 70 | 16 | 8 | 70 | 25 | 26 |5123 |5393 | 0.000000e+00 | -- | Inf
677.95/678.21 c 660s| 1060k|243330 | 3653k| 120M| 63 | - | 70 | 37 | 8 | 70 | 25 | 26 |5198 |5415 | 0.000000e+00 | -- | Inf
684.54/684.80 c 666s| 1070k|245353 | 3689k| 121M| 63 | 8 | 70 | 63 | 8 | 70 | 25 | 26 |5291 |5436 | 0.000000e+00 | -- | Inf
691.04/691.37 c 672s| 1080k|247312 | 3726k| 122M| 63 | 8 | 70 | 53 | 9 | 70 | 25 | 26 |5366 |5453 | 0.000000e+00 | -- | Inf
697.64/697.91 c 679s| 1090k|249318 | 3762k| 123M| 63 | - | 70 | 64 | 8 | 70 | 25 | 26 |5449 |5481 | 0.000000e+00 | -- | Inf
704.14/704.46 c 685s| 1100k|251527 | 3798k| 124M| 63 | 8 | 70 | 89 | 23 | 70 | 25 | 26 |5576 |5498 | 0.000000e+00 | -- | Inf
710.63/710.98 c 691s| 1110k|253522 | 3834k| 125M| 63 | 8 | 70 | 58 | 8 | 70 | 25 | 26 |5697 |5509 | 0.000000e+00 | -- | Inf
717.13/717.44 c 698s| 1120k|255354 | 3869k| 126M| 63 | 8 | 70 | 36 | 8 | 70 | 25 | 26 |5766 |5520 | 0.000000e+00 | -- | Inf
723.53/723.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.53/723.82 c 704s| 1130k|257332 | 3903k| 127M| 63 | 8 | 70 | 27 | 8 | 70 | 25 | 26 |5826 |5533 | 0.000000e+00 | -- | Inf
729.92/730.21 c 710s| 1140k|259300 | 3937k| 128M| 63 | - | 70 | 16 | 8 | 70 | 25 | 26 |5866 |5552 | 0.000000e+00 | -- | Inf
736.22/736.55 c 716s| 1150k|261254 | 3970k| 129M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |5910 |5569 | 0.000000e+00 | -- | Inf
742.62/742.92 c 722s| 1160k|263336 | 4004k| 130M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |5951 |5585 | 0.000000e+00 | -- | Inf
749.01/749.35 c 729s| 1170k|265232 | 4038k| 131M| 63 | - | 70 | 12 | 9 | 70 | 25 | 26 |5982 |5607 | 0.000000e+00 | -- | Inf
755.32/755.70 c 735s| 1180k|267326 | 4072k| 132M| 63 | 8 | 70 | 21 | 9 | 70 | 25 | 26 |6014 |5622 | 0.000000e+00 | -- | Inf
761.71/762.08 c 741s| 1190k|269856 | 4106k| 133M| 63 | 8 | 70 | 23 | 8 | 70 | 25 | 26 |6035 |5639 | 0.000000e+00 | -- | Inf
768.10/768.47 c 747s| 1200k|272016 | 4141k| 135M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |6061 |5649 | 0.000000e+00 | -- | Inf
774.51/774.80 c 753s| 1210k|273996 | 4174k| 136M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |6101 |5664 | 0.000000e+00 | -- | Inf
780.81/781.16 c 760s| 1220k|276136 | 4207k| 137M| 63 | 8 | 70 | 13 | 8 | 70 | 25 | 26 |6132 |5678 | 0.000000e+00 | -- | Inf
787.31/787.62 c 766s| 1230k|278036 | 4241k| 138M| 63 | 8 | 70 | 17 | 8 | 70 | 25 | 26 |6174 |5705 | 0.000000e+00 | -- | Inf
793.70/794.00 c 772s| 1240k|279934 | 4274k| 139M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 |6213 |5725 | 0.000000e+00 | -- | Inf
800.00/800.39 c 778s| 1250k|282094 | 4308k| 140M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 |6270 |5744 | 0.000000e+00 | -- | Inf
806.50/806.86 c 785s| 1260k|284140 | 4342k| 141M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 |6304 |5760 | 0.000000e+00 | -- | Inf
812.89/813.20 c 791s| 1270k|286212 | 4375k| 142M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 |6342 |5777 | 0.000000e+00 | -- | Inf
819.29/819.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.29/819.62 c 797s| 1280k|288312 | 4410k| 143M| 63 | 8 | 70 | 17 | 8 | 70 | 25 | 26 |6388 |5796 | 0.000000e+00 | -- | Inf
825.79/826.11 c 803s| 1290k|290306 | 4444k| 144M| 63 | 8 | 70 | 18 | 9 | 70 | 25 | 26 |6428 |5812 | 0.000000e+00 | -- | Inf
832.08/832.48 c 810s| 1300k|292286 | 4477k| 145M| 63 | - | 70 | 19 | 8 | 70 | 25 | 26 |6476 |5826 | 0.000000e+00 | -- | Inf
838.48/838.82 c 816s| 1310k|294446 | 4510k| 146M| 63 | 8 | 70 | 21 | 9 | 70 | 25 | 26 |6506 |5841 | 0.000000e+00 | -- | Inf
844.88/845.28 c 822s| 1320k|296296 | 4544k| 147M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 |6550 |5858 | 0.000000e+00 | -- | Inf
851.28/851.67 c 828s| 1330k|298422 | 4578k| 148M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |6587 |5881 | 0.000000e+00 | -- | Inf
857.68/858.02 c 834s| 1340k|300540 | 4612k| 149M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 |6643 |5897 | 0.000000e+00 | -- | Inf
864.08/864.48 c 841s| 1350k|302434 | 4646k| 150M| 63 | - | 70 | 20 | 8 | 70 | 25 | 26 |6665 |5911 | 0.000000e+00 | -- | Inf
870.47/870.89 c 847s| 1360k|304482 | 4680k| 151M| 63 | - | 70 | 13 | 8 | 70 | 25 | 26 |6692 |5934 | 0.000000e+00 | -- | Inf
876.77/877.13 c 853s| 1370k|307330 | 4714k| 153M| 63 | - | 70 | 18 | 9 | 70 | 25 | 26 |6711 |5951 | 0.000000e+00 | -- | Inf
883.07/883.46 c 859s| 1380k|309624 | 4748k| 154M| 63 | 8 | 70 | 17 | 10 | 70 | 25 | 26 |6750 |5966 | 0.000000e+00 | -- | Inf
889.67/890.03 c 866s| 1390k|311636 | 4785k| 155M| 63 | 8 | 70 | 36 | 10 | 70 | 25 | 26 |6853 |5980 | 0.000000e+00 | -- | Inf
896.17/896.58 c 872s| 1400k|313840 | 4822k| 156M| 63 | 8 | 70 | 45 | 8 | 70 | 25 | 26 |6939 |5993 | 0.000000e+00 | -- | Inf
902.86/903.20 c 878s| 1410k|315980 | 4859k| 157M| 63 | 8 | 70 | 47 | 8 | 70 | 25 | 26 |7033 |6008 | 0.000000e+00 | -- | Inf
909.36/909.76 c 885s| 1420k|318100 | 4896k| 158M| 63 | 8 | 70 | 51 | 10 | 70 | 25 | 26 |7134 |6024 | 0.000000e+00 | -- | Inf
915.96/916.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.96/916.31 c 891s| 1430k|320034 | 4933k| 159M| 63 | 8 | 70 | 58 | 9 | 70 | 25 | 26 |7243 |6042 | 0.000000e+00 | -- | Inf
922.35/922.75 c 897s| 1440k|322200 | 4967k| 160M| 63 | - | 70 | 43 | 8 | 70 | 25 | 26 |7309 |6058 | 0.000000e+00 | -- | Inf
928.75/929.17 c 904s| 1450k|324306 | 5001k| 161M| 63 | 8 | 70 | 29 | 8 | 70 | 25 | 26 |7352 |6071 | 0.000000e+00 | -- | Inf
935.25/935.62 c 910s| 1460k|326232 | 5036k| 162M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 |7381 |6086 | 0.000000e+00 | -- | Inf
941.64/942.04 c 916s| 1470k|328218 | 5070k| 163M| 63 | 8 | 70 | 18 | 9 | 70 | 25 | 26 |7427 |6096 | 0.000000e+00 | -- | Inf
948.05/948.49 c 922s| 1480k|330144 | 5104k| 164M| 63 | 8 | 70 | 13 | 8 | 70 | 25 | 26 |7466 |6118 | 0.000000e+00 | -- | Inf
954.54/954.93 c 929s| 1490k|331756 | 5138k| 165M| 63 | - | 70 | 13 | 8 | 70 | 25 | 26 |7507 |6137 | 0.000000e+00 | -- | Inf
960.94/961.31 c 935s| 1500k|333696 | 5171k| 166M| 63 | - | 70 | 13 | 8 | 70 | 25 | 26 |7550 |6149 | 0.000000e+00 | -- | Inf
967.33/967.77 c 941s| 1510k|335488 | 5205k| 167M| 63 | - | 70 | 14 | 8 | 70 | 25 | 26 |7581 |6163 | 0.000000e+00 | -- | Inf
973.83/974.20 c 947s| 1520k|337192 | 5239k| 168M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |7628 |6188 | 0.000000e+00 | -- | Inf
980.23/980.61 c 954s| 1530k|339200 | 5274k| 169M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 |7658 |6196 | 0.000000e+00 | -- | Inf
986.63/987.01 c 960s| 1540k|341422 | 5308k| 170M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |7701 |6211 | 0.000000e+00 | -- | Inf
992.93/993.38 c 966s| 1550k|343420 | 5342k| 171M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 |7734 |6223 | 0.000000e+00 | -- | Inf
999.43/999.83 c 972s| 1560k|345360 | 5376k| 172M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |7764 |6240 | 0.000000e+00 | -- | Inf
1005.82/1006.21 c 979s| 1570k|348078 | 5410k| 173M| 63 | - | 70 | 13 | 8 | 70 | 25 | 26 |7773 |6244 | 0.000000e+00 | -- | Inf
1012.12/1012.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.12/1012.59 c 985s| 1580k|349948 | 5444k| 174M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 |7804 |6255 | 0.000000e+00 | -- | Inf
1018.51/1019.00 c 991s| 1590k|351828 | 5478k| 175M| 63 | - | 70 | 16 | 8 | 70 | 25 | 26 |7855 |6265 | 0.000000e+00 | -- | Inf
1025.02/1025.42 c 997s| 1600k|354106 | 5513k| 177M| 63 | - | 70 | 21 | 8 | 0 | 0 | 26 |7887 |6281 | 0.000000e+00 | -- | Inf
1031.41/1031.83 c 1003s| 1610k|356458 | 5548k| 178M| 63 | 8 | 70 | 19 | 8 | 70 | 25 | 26 |7929 |6296 | 0.000000e+00 | -- | Inf
1037.81/1038.24 c 1010s| 1620k|358710 | 5582k| 179M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 |7952 |6309 | 0.000000e+00 | -- | Inf
1044.31/1044.71 c 1016s| 1630k|360872 | 5617k| 180M| 63 | 8 | 70 | 13 | 8 | 70 | 25 | 26 |7985 |6322 | 0.000000e+00 | -- | Inf
1050.60/1051.09 c 1022s| 1640k|363130 | 5651k| 181M| 63 | - | 70 | 16 | 8 | 70 | 25 | 26 |8017 |6337 | 0.000000e+00 | -- | Inf
1057.00/1057.47 c 1028s| 1650k|365122 | 5685k| 182M| 63 | - | 70 | 22 | 8 | 70 | 25 | 26 |8058 |6352 | 0.000000e+00 | -- | Inf
1063.50/1063.98 c 1035s| 1660k|366916 | 5719k| 183M| 63 | - | 70 | 25 | 8 | 70 | 25 | 26 |8094 |6374 | 0.000000e+00 | -- | Inf
1069.99/1070.43 c 1041s| 1670k|368696 | 5753k| 184M| 63 | 8 | 70 | 22 | 13 | 70 | 25 | 26 |8137 |6395 | 0.000000e+00 | -- | Inf
1076.40/1076.81 c 1047s| 1680k|370825 | 5787k| 185M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |8157 |6414 | 0.000000e+00 | -- | Inf
1082.79/1083.22 c 1053s| 1690k|372910 | 5821k| 186M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |8187 |6425 | 0.000000e+00 | -- | Inf
1089.19/1089.66 c 1060s| 1700k|374832 | 5855k| 187M| 63 | - | 70 | 14 | 8 | 70 | 25 | 26 |8223 |6446 | 0.000000e+00 | -- | Inf
1095.59/1096.06 c 1066s| 1710k|376836 | 5888k| 188M| 63 | 8 | 70 | 17 | 8 | 70 | 25 | 26 |8257 |6455 | 0.000000e+00 | -- | Inf
1101.99/1102.49 c 1072s| 1720k|378696 | 5922k| 189M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |8305 |6473 | 0.000000e+00 | -- | Inf
1108.39/1108.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.39/1108.88 c 1078s| 1730k|380852 | 5956k| 190M| 63 | - | 70 | 20 | 8 | 70 | 25 | 26 |8347 |6492 | 0.000000e+00 | -- | Inf
1114.88/1115.32 c 1085s| 1740k|382746 | 5990k| 191M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |8371 |6513 | 0.000000e+00 | -- | Inf
1121.28/1121.76 c 1091s| 1750k|384782 | 6024k| 192M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 |8395 |6529 | 0.000000e+00 | -- | Inf
1127.68/1128.19 c 1097s| 1760k|386788 | 6058k| 193M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 |8430 |6552 | 0.000000e+00 | -- | Inf
1134.17/1134.65 c 1103s| 1770k|388732 | 6092k| 194M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 |8465 |6562 | 0.000000e+00 | -- | Inf
1140.67/1141.10 c 1110s| 1780k|390762 | 6126k| 195M| 63 | 8 | 70 | 17 | 8 | 70 | 25 | 26 |8502 |6586 | 0.000000e+00 | -- | Inf
1147.07/1147.58 c 1116s| 1790k|392927 | 6161k| 196M| 63 | - | 70 | 19 | 8 | 70 | 25 | 26 |8524 |6601 | 0.000000e+00 | -- | Inf
1153.47/1153.99 c 1122s| 1800k|394691 | 6196k| 197M| 63 | 8 | 70 | 10 | 9 | 70 | 25 | 26 |8555 |6616 | 0.000000e+00 | -- | Inf
1159.87/1160.38 c 1128s| 1810k|396613 | 6229k| 198M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 |8585 |6632 | 0.000000e+00 | -- | Inf
1166.37/1166.90 c 1135s| 1820k|398527 | 6264k| 199M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 |8618 |6641 | 0.000000e+00 | -- | Inf
1172.86/1173.30 c 1141s| 1830k|400453 | 6298k| 200M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 |8673 |6665 | 0.000000e+00 | -- | Inf
1179.25/1179.74 c 1147s| 1840k|402443 | 6332k| 201M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 |8709 |6678 | 0.000000e+00 | -- | Inf
1185.76/1186.27 c 1154s| 1850k|404209 | 6366k| 202M| 63 | - | 70 | 16 | 9 | 70 | 25 | 26 |8766 |6695 | 0.000000e+00 | -- | Inf
1192.16/1192.63 c 1160s| 1860k|406293 | 6400k| 203M| 63 | 8 | 70 | 17 | 8 | 70 | 25 | 26 |8820 |6710 | 0.000000e+00 | -- | Inf
1198.55/1199.04 c 1166s| 1870k|408124 | 6434k| 204M| 63 | - | 70 | 17 | 9 | 70 | 25 | 26 |8865 |6726 | 0.000000e+00 | -- | Inf
1205.05/1205.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.05/1205.50 c 1172s| 1880k|410282 | 6469k| 205M| 63 | - | 70 | 16 | 9 | 70 | 25 | 26 |8886 |6744 | 0.000000e+00 | -- | Inf
1211.44/1211.94 c 1179s| 1890k|412086 | 6503k| 206M| 63 | 8 | 70 | 12 | 8 | 70 | 25 | 26 |8928 |6757 | 0.000000e+00 | -- | Inf
1217.84/1218.33 c 1185s| 1900k|414048 | 6537k| 207M| 63 | - | 70 | 14 | 8 | 70 | 25 | 26 |8946 |6778 | 0.000000e+00 | -- | Inf
1224.34/1224.80 c 1191s| 1910k|415808 | 6571k| 208M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 |9002 |6786 | 0.000000e+00 | -- | Inf
1230.74/1231.25 c 1197s| 1920k|417812 | 6605k| 209M| 63 | - | 70 | 17 | 9 | 70 | 25 | 26 |9032 |6806 | 0.000000e+00 | -- | Inf
1237.24/1237.73 c 1204s| 1930k|419798 | 6640k| 210M| 63 | - | 70 | 30 | 9 | 70 | 25 | 26 |9094 |6821 | 0.000000e+00 | -- | Inf
1243.74/1244.26 c 1210s| 1940k|421735 | 6676k| 211M| 63 | 8 | 70 | 60 | 10 | 70 | 25 | 26 |9175 |6838 | 0.000000e+00 | -- | Inf
1250.33/1250.83 c 1216s| 1950k|423663 | 6712k| 212M| 63 | 8 | 70 | 66 | 8 | 70 | 25 | 26 |9283 |6842 | 0.000000e+00 | -- | Inf
1256.93/1257.41 c 1223s| 1960k|425485 | 6749k| 213M| 63 | 8 | 70 | 44 | 17 | 70 | 25 | 26 |9348 |6851 | 0.000000e+00 | -- | Inf
1263.43/1263.96 c 1229s| 1970k|427629 | 6785k| 214M| 63 | - | 70 | 70 | 10 | 70 | 25 | 26 |9438 |6869 | 0.000000e+00 | -- | Inf
1269.82/1270.36 c 1235s| 1980k|430147 | 6820k| 216M| 63 | - | 70 | 97 | 11 | 70 | 25 | 26 |9515 |6881 | 0.000000e+00 | -- | Inf
1276.42/1276.90 c 1242s| 1990k|432288 | 6856k| 217M| 63 | - | 70 | 76 | 8 | 70 | 25 | 26 |9619 |6896 | 0.000000e+00 | -- | Inf
1283.02/1283.58 c 1248s| 2000k|434118 | 6892k| 218M| 63 | - | 70 | 50 | 8 | 0 | 0 | 26 |9710 |6908 | 0.000000e+00 | -- | Inf
1289.62/1290.17 c 1255s| 2010k|435925 | 6928k| 219M| 63 | 8 | 70 | 65 | 12 | 70 | 25 | 26 |9818 |6920 | 0.000000e+00 | -- | Inf
1296.22/1296.75 c 1261s| 2020k|437855 | 6966k| 220M| 63 | 8 | 70 | 73 | 12 | 70 | 25 | 26 |9921 |6932 | 0.000000e+00 | -- | Inf
1302.82/1303.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.82/1303.39 c 1268s| 2030k|439791 | 7001k| 221M| 63 | 8 | 70 | 71 | 8 | 70 | 25 | 26 | 10k|6942 | 0.000000e+00 | -- | Inf
1309.51/1310.05 c 1274s| 2040k|441705 | 7038k| 222M| 63 | - | 70 | 83 | 9 | 0 | 0 | 26 | 10k|6952 | 0.000000e+00 | -- | Inf
1316.11/1316.68 c 1280s| 2050k|443559 | 7075k| 223M| 63 | - | 70 | 68 | 13 | 70 | 25 | 26 | 10k|6960 | 0.000000e+00 | -- | Inf
1322.71/1323.28 c 1287s| 2060k|445487 | 7111k| 224M| 63 | 8 | 70 | 80 | 9 | 70 | 25 | 26 | 10k|6972 | 0.000000e+00 | -- | Inf
1329.31/1329.86 c 1293s| 2070k|447663 | 7148k| 225M| 63 | 8 | 70 | 64 | 9 | 70 | 25 | 26 | 10k|6985 | 0.000000e+00 | -- | Inf
1335.90/1336.41 c 1300s| 2080k|449519 | 7184k| 226M| 63 | 8 | 70 | 57 | 8 | 70 | 25 | 26 | 10k|6993 | 0.000000e+00 | -- | Inf
1342.51/1343.00 c 1306s| 2090k|451441 | 7219k| 227M| 63 | - | 70 | 70 | 8 | 70 | 25 | 26 | 10k|6999 | 0.000000e+00 | -- | Inf
1348.99/1349.52 c 1312s| 2100k|453896 | 7255k| 228M| 63 | - | 70 | 92 | 9 | 70 | 25 | 26 | 10k|7006 | 0.000000e+00 | -- | Inf
1355.49/1356.00 c 1319s| 2110k|455768 | 7290k| 229M| 63 | - | 70 | 76 | 11 | 70 | 25 | 26 | 10k|7013 | 0.000000e+00 | -- | Inf
1362.09/1362.64 c 1325s| 2120k|457910 | 7327k| 230M| 63 | 8 | 70 | 56 | 8 | 70 | 25 | 26 | 10k|7016 | 0.000000e+00 | -- | Inf
1368.69/1369.24 c 1332s| 2130k|459774 | 7364k| 231M| 63 | 8 | 70 | 40 | 12 | 70 | 25 | 26 | 10k|7021 | 0.000000e+00 | -- | Inf
1375.28/1375.87 c 1338s| 2140k|461438 | 7400k| 232M| 63 | 8 | 70 | 36 | 8 | 70 | 25 | 26 | 11k|7028 | 0.000000e+00 | -- | Inf
1381.78/1382.35 c 1344s| 2150k|463616 | 7435k| 233M| 63 | 8 | 70 | 33 | 8 | 70 | 25 | 26 | 11k|7034 | 0.000000e+00 | -- | Inf
1388.48/1389.00 c 1351s| 2160k|465608 | 7472k| 234M| 63 | 8 | 70 | 49 | 10 | 70 | 25 | 26 | 11k|7041 | 0.000000e+00 | -- | Inf
1395.08/1395.60 c 1357s| 2170k|467628 | 7508k| 235M| 63 | - | 70 | 61 | 10 | 70 | 25 | 26 | 11k|7054 | 0.000000e+00 | -- | Inf
1401.58/1402.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.58/1402.13 c 1363s| 2180k|469550 | 7543k| 236M| 63 | - | 70 | 32 | 8 | 70 | 25 | 26 | 11k|7068 | 0.000000e+00 | -- | Inf
1408.07/1408.67 c 1370s| 2190k|471732 | 7578k| 237M| 63 | 8 | 70 | 27 | 8 | 70 | 25 | 26 | 11k|7194 | 0.000000e+00 | -- | Inf
1414.67/1415.21 c 1376s| 2200k|474058 | 7612k| 238M| 63 | 8 | 70 | 26 | 11 | 70 | 25 | 26 | 11k|7303 | 0.000000e+00 | -- | Inf
1421.17/1421.77 c 1383s| 2210k|475988 | 7646k| 239M| 63 | 8 | 70 | 19 | 8 | 70 | 25 | 26 | 11k|7431 | 0.000000e+00 | -- | Inf
1427.67/1428.26 c 1389s| 2220k|478011 | 7680k| 240M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1434.07/1434.68 c 1395s| 2230k|479869 | 7714k| 241M| 63 | 8 | 70 | 14 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1440.66/1441.25 c 1402s| 2240k|481529 | 7749k| 242M| 63 | - | 70 | 14 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1447.06/1447.67 c 1408s| 2250k|483475 | 7782k| 243M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1453.45/1454.04 c 1414s| 2260k|485649 | 7816k| 244M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1459.95/1460.52 c 1420s| 2270k|487359 | 7850k| 245M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1466.34/1466.94 c 1427s| 2280k|489453 | 7884k| 246M| 63 | 8 | 70 | 21 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1472.84/1473.44 c 1433s| 2290k|491283 | 7919k| 247M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 | 11k|7490 | 0.000000e+00 | -- | Inf
1479.34/1479.90 c 1439s| 2300k|493147 | 7953k| 248M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 | 11k|7492 | 0.000000e+00 | -- | Inf
1485.73/1486.33 c 1445s| 2310k|496119 | 7987k| 249M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 | 11k|7494 | 0.000000e+00 | -- | Inf
1492.13/1492.79 c 1452s| 2320k|498557 | 8021k| 251M| 63 | - | 70 | 19 | 8 | 70 | 25 | 26 | 11k|7506 | 0.000000e+00 | -- | Inf
1498.44/1499.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.44/1499.08 c 1458s| 2330k|501337 | 8055k| 252M| 63 | 8 | 70 | 19 | 9 | 70 | 25 | 26 | 11k|7517 | 0.000000e+00 | -- | Inf
1504.83/1505.43 c 1464s| 2340k|503983 | 8089k| 253M| 63 | 8 | 70 | 20 | 9 | 70 | 25 | 26 | 11k|7525 | 0.000000e+00 | -- | Inf
1511.23/1511.84 c 1470s| 2350k|506205 | 8122k| 254M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 | 11k|7530 | 0.000000e+00 | -- | Inf
1517.63/1518.24 c 1476s| 2360k|508694 | 8156k| 256M| 63 | - | 70 | 21 | 8 | 70 | 25 | 26 | 11k|7543 | 0.000000e+00 | -- | Inf
1524.12/1524.76 c 1483s| 2370k|510850 | 8190k| 257M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 | 11k|7554 | 0.000000e+00 | -- | Inf
1530.63/1531.28 c 1489s| 2380k|512746 | 8225k| 258M| 63 | - | 70 | 16 | 9 | 70 | 25 | 26 | 12k|7565 | 0.000000e+00 | -- | Inf
1537.12/1537.76 c 1495s| 2390k|514358 | 8258k| 259M| 63 | - | 70 | 14 | 8 | 70 | 25 | 26 | 12k|7577 | 0.000000e+00 | -- | Inf
1543.61/1544.25 c 1502s| 2400k|516132 | 8293k| 260M| 63 | - | 70 | 12 | 8 | 70 | 25 | 26 | 12k|7587 | 0.000000e+00 | -- | Inf
1550.11/1550.73 c 1508s| 2410k|518076 | 8327k| 261M| 63 | - | 70 | 14 | 8 | 70 | 25 | 26 | 12k|7598 | 0.000000e+00 | -- | Inf
1556.51/1557.10 c 1514s| 2420k|520468 | 8361k| 262M| 63 | 8 | 70 | 17 | 9 | 70 | 25 | 26 | 12k|7615 | 0.000000e+00 | -- | Inf
1562.91/1563.57 c 1521s| 2430k|522672 | 8396k| 263M| 63 | 8 | 70 | 17 | 9 | 70 | 25 | 26 | 12k|7624 | 0.000000e+00 | -- | Inf
1569.31/1569.93 c 1527s| 2440k|525548 | 8430k| 264M| 63 | - | 70 | 24 | 8 | 70 | 25 | 26 | 12k|7630 | 0.000000e+00 | -- | Inf
1575.60/1576.22 c 1533s| 2450k|528272 | 8463k| 265M| 63 | - | 70 | 22 | 9 | 70 | 25 | 26 | 12k|7635 | 0.000000e+00 | -- | Inf
1582.10/1582.74 c 1539s| 2460k|530432 | 8496k| 266M| 63 | 8 | 70 | 17 | 8 | 70 | 25 | 26 | 12k|7689 | 0.000000e+00 | -- | Inf
1588.60/1589.23 c 1546s| 2470k|532254 | 8530k| 267M| 63 | - | 70 | 16 | 8 | 70 | 25 | 26 | 12k|7692 | 0.000000e+00 | -- | Inf
1595.00/1595.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.00/1595.63 c 1552s| 2480k|534094 | 8563k| 268M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 | 12k|7695 | 0.000000e+00 | -- | Inf
1601.49/1602.14 c 1558s| 2490k|536036 | 8597k| 269M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 | 12k|7708 | 0.000000e+00 | -- | Inf
1607.99/1608.62 c 1564s| 2500k|538460 | 8631k| 271M| 63 | - | 70 | 20 | 8 | 70 | 25 | 26 | 12k|7718 | 0.000000e+00 | -- | Inf
1614.29/1614.95 c 1571s| 2510k|540902 | 8664k| 272M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 | 12k|7735 | 0.000000e+00 | -- | Inf
1620.69/1621.32 c 1577s| 2520k|542974 | 8698k| 273M| 63 | 8 | 70 | 20 | 9 | 70 | 25 | 26 | 12k|7742 | 0.000000e+00 | -- | Inf
1627.18/1627.82 c 1583s| 2530k|544658 | 8732k| 274M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 | 12k|7753 | 0.000000e+00 | -- | Inf
1633.59/1634.23 c 1589s| 2540k|546798 | 8766k| 275M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 | 12k|7770 | 0.000000e+00 | -- | Inf
1640.18/1640.81 c 1596s| 2550k|548394 | 8801k| 276M| 63 | 8 | 70 | 15 | 8 | 70 | 25 | 26 | 12k|7781 | 0.000000e+00 | -- | Inf
1646.58/1647.28 c 1602s| 2560k|550430 | 8834k| 277M| 63 | - | 70 | 15 | 8 | 70 | 25 | 26 | 12k|7793 | 0.000000e+00 | -- | Inf
1653.08/1653.78 c 1608s| 2570k|552202 | 8868k| 278M| 63 | 8 | 70 | 16 | 8 | 70 | 25 | 26 | 12k|7805 | 0.000000e+00 | -- | Inf
1659.57/1660.21 c 1614s| 2580k|554314 | 8902k| 279M| 63 | 8 | 70 | 23 | 10 | 70 | 25 | 26 | 12k|7813 | 0.000000e+00 | -- | Inf
1666.07/1666.79 c 1621s| 2590k|556108 | 8936k| 280M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 | 12k|7827 | 0.000000e+00 | -- | Inf
1672.57/1673.30 c 1627s| 2600k|557964 | 8970k| 281M| 63 | 8 | 70 | 20 | 9 | 70 | 25 | 26 | 12k|7840 | 0.000000e+00 | -- | Inf
1679.07/1679.76 c 1634s| 2610k|559820 | 9004k| 282M| 63 | 8 | 70 | 19 | 8 | 70 | 25 | 26 | 12k|7846 | 0.000000e+00 | -- | Inf
1685.57/1686.27 c 1640s| 2620k|561986 | 9038k| 283M| 63 | - | 70 | 23 | 9 | 70 | 25 | 26 | 12k|7861 | 0.000000e+00 | -- | Inf
1692.07/1692.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.07/1692.76 c 1646s| 2630k|563988 | 9072k| 284M| 63 | 8 | 70 | 22 | 8 | 70 | 25 | 26 | 13k|7868 | 0.000000e+00 | -- | Inf
1698.55/1699.27 c 1652s| 2640k|565934 | 9106k| 285M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 | 13k|7881 | 0.000000e+00 | -- | Inf
1705.05/1705.77 c 1659s| 2650k|567760 | 9140k| 286M| 63 | - | 70 | 17 | 8 | 70 | 25 | 26 | 13k|7894 | 0.000000e+00 | -- | Inf
1711.56/1712.22 c 1665s| 2660k|569836 | 9174k| 287M| 63 | - | 70 | 19 | 8 | 70 | 25 | 26 | 13k|7899 | 0.000000e+00 | -- | Inf
1718.05/1718.72 c 1671s| 2670k|571712 | 9208k| 288M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 | 13k|7909 | 0.000000e+00 | -- | Inf
1724.55/1725.27 c 1678s| 2680k|573658 | 9242k| 289M| 63 | - | 70 | 21 | 8 | 70 | 25 | 26 | 13k|7949 | 0.000000e+00 | -- | Inf
1730.95/1731.66 c 1684s| 2690k|575978 | 9276k| 290M| 63 | 8 | 70 | 26 | 8 | 70 | 25 | 26 | 13k|7949 | 0.000000e+00 | -- | Inf
1737.44/1738.14 c 1690s| 2700k|578032 | 9310k| 291M| 63 | 8 | 70 | 20 | 8 | 70 | 25 | 26 | 13k|7961 | 0.000000e+00 | -- | Inf
1743.95/1744.69 c 1697s| 2710k|579828 | 9345k| 292M| 63 | - | 70 | 17 | 8 | 0 | 0 | 26 | 13k|7976 | 0.000000e+00 | -- | Inf
1750.45/1751.14 c 1703s| 2720k|581642 | 9378k| 293M| 63 | 8 | 70 | 20 | 9 | 70 | 25 | 26 | 13k|7980 | 0.000000e+00 | -- | Inf
1756.93/1757.62 c 1709s| 2730k|583548 | 9411k| 294M| 63 | 8 | 70 | 13 | 8 | 70 | 25 | 26 | 13k|7998 | 0.000000e+00 | -- | Inf
1763.33/1764.05 c 1716s| 2740k|585658 | 9444k| 295M| 63 | 8 | 70 | 18 | 8 | 70 | 25 | 26 | 13k|8006 | 0.000000e+00 | -- | Inf
1769.84/1770.57 c 1722s| 2750k|587482 | 9477k| 296M| 63 | - | 70 | 24 | 8 | 70 | 25 | 26 | 13k|8014 | 0.000000e+00 | -- | Inf
1776.33/1777.07 c 1728s| 2760k|589228 | 9511k| 297M| 63 | - | 70 | 18 | 9 | 70 | 25 | 26 | 13k|8018 | 0.000000e+00 | -- | Inf
1782.73/1783.48 c 1734s| 2770k|591664 | 9545k| 298M| 63 | - | 70 | 18 | 8 | 70 | 25 | 26 | 13k|8029 | 0.000000e+00 | -- | Inf
1789.13/1789.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.13/1789.83 c 1741s| 2780k|594706 | 9578k| 299M| 63 | - | 70 | 20 | 8 | 70 | 25 | 26 | 13k|8042 | 0.000000e+00 | -- | Inf
1795.53/1796.20 c 1747s| 2790k|597074 | 9613k| 301M| 63 | 8 | 70 | 22 | 8 | 70 | 25 | 26 | 13k|8051 | 0.000000e+00 | -- | Inf
1800.03/1800.71 c
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time (sec) : 1751.15
1800.03/1800.71 c Solving Nodes : 2796916
1800.03/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.71 c Dual Bound : +0.00000000000000e+00
1800.03/1800.71 c Gap : infinite
1800.03/1800.71 c NODE 2796916
1800.03/1800.71 c DUAL BOUND 0
1800.03/1800.71 c PRIMAL BOUND 1e+20
1800.03/1800.71 c GAP 1e+20
1800.03/1800.71 s UNKNOWN
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time : 1751.15
1800.03/1800.71 c Original Problem :
1800.03/1800.71 c Problem name : HOME/instance-1869535-1245177413.opb
1800.03/1800.71 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71 c Constraints : 17 initial, 17 maximal
1800.03/1800.71 c Presolved Problem :
1800.03/1800.71 c Problem name : t_HOME/instance-1869535-1245177413.opb
1800.03/1800.71 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71 c Constraints : 8 initial, 109 maximal
1800.03/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.03/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.71 c linear : 0.01 0 0 0 0 0 9 0 0
1800.03/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c root node : - 0 - - 0 - - - -
1800.03/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.71 c integral : 0 0 0 1701335 0 690 3347 0 0 3395396
1800.03/1800.71 c linear : 8 6 3229829 0 0 91515 4240461 0 0 0
1800.03/1800.71 c logicor : 0+ 0 544173 0 0 6 11686 0 0 0
1800.03/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.71 c integral : 22.74 0.00 0.00 22.74 0.00
1800.03/1800.71 c linear : 275.28 0.00 275.28 0.00 0.00
1800.03/1800.71 c logicor : 1.36 0.00 1.36 0.00 0.00
1800.03/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.71 c rootredcost : 1.40 0 0 0
1800.03/1800.71 c pseudoobj : 0.79 0 0 0
1800.03/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.71 c propagation : 16.91 91521 9135 20202 50.4 0 0.0 -
1800.03/1800.71 c infeasible LP : 14.95 1007892 4338 4815 29.4 0 0.0 0
1800.03/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.71 c applied globally : - - - 3562 27.5 - - -
1800.03/1800.71 c applied locally : - - - 10035 47.0 - - -
1800.03/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.71 c cut pool : 0.00 5 - - 6 - (maximal pool size: 66)
1800.03/1800.71 c redcost : 4.45 1701337 0 0 0 0
1800.03/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.71 c intobj : 0.00 0 0 0 0 0
1800.03/1800.71 c gomory : 0.00 6 0 0 0 0
1800.03/1800.71 c strongcg : 0.00 6 0 0 29 0
1800.03/1800.71 c cmir : 0.06 6 0 0 26 0
1800.03/1800.71 c flowcover : 0.05 6 0 0 23 0
1800.03/1800.71 c clique : 0.00 1 0 0 0 0
1800.03/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.71 c mcf : 0.00 1 0 0 0 0
1800.03/1800.71 c Pricers : Time Calls Vars
1800.03/1800.71 c problem variables: 0.00 0 0
1800.03/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.71 c relpscost : 21.09 1701335 690 3347 0 0 3395396
1800.03/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.71 c random : 0.00 0 0 0 0 0 0
1800.03/1800.71 c Primal Heuristics : Time Calls Found
1800.03/1800.71 c LP solutions : 0.00 - 0
1800.03/1800.71 c pseudo solutions : 0.00 - 0
1800.03/1800.71 c oneopt : 1.25 0 0
1800.03/1800.71 c crossover : 0.73 0 0
1800.03/1800.71 c guideddiving : 0.15 0 0
1800.03/1800.71 c linesearchdiving : 0.16 72 0
1800.03/1800.71 c fracdiving : 0.30 72 0
1800.03/1800.71 c pscostdiving : 0.28 72 0
1800.03/1800.71 c coefdiving : 0.33 73 0
1800.03/1800.71 c veclendiving : 0.21 73 0
1800.03/1800.71 c feaspump : 0.19 37 0
1800.03/1800.71 c objpscostdiving : 0.14 37 0
1800.03/1800.71 c rootsoldiving : 0.15 37 0
1800.03/1800.71 c simplerounding : 0.89 0 0
1800.03/1800.71 c rounding : 1.90 18514 0
1800.03/1800.71 c shifting : 5.44 5745 0
1800.03/1800.71 c intshifting : 0.04 0 0
1800.03/1800.71 c fixandinfer : 0.00 0 0
1800.03/1800.71 c intdiving : 0.00 0 0
1800.03/1800.71 c actconsdiving : 0.00 0 0
1800.03/1800.71 c octane : 0.00 0 0
1800.03/1800.71 c rens : 0.05 1 0
1800.03/1800.71 c rins : 0.00 0 0
1800.03/1800.71 c localbranching : 0.00 0 0
1800.03/1800.71 c mutation : 0.00 0 0
1800.03/1800.71 c dins : 0.00 0 0
1800.03/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.71 c dual LP : 1242.36 2836423 9632038 3.40 7753.02
1800.03/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.71 c diving/probing LP: 0.98 2258 5138 2.28 5242.86
1800.03/1800.71 c strong branching : 2.54 8056 57969 7.20 22822.44
1800.03/1800.71 c (at root node) : - 24 1993 83.04 -
1800.03/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.71 c B&B Tree :
1800.03/1800.71 c number of runs : 1
1800.03/1800.71 c nodes : 2796916
1800.03/1800.71 c nodes (total) : 2796916
1800.03/1800.71 c nodes left : 598460
1800.03/1800.71 c max depth : 63
1800.03/1800.71 c max depth (total): 63
1800.03/1800.71 c backtracks : 277485 (9.9%)
1800.03/1800.71 c delayed cutoffs : 21
1800.03/1800.71 c repropagations : 21657 (11876 domain reductions, 20 cutoffs)
1800.03/1800.71 c avg switch length: 4.36
1800.03/1800.71 c switching time : 64.92
1800.03/1800.71 c Solution :
1800.03/1800.71 c Solutions found : 0 (0 improvements)
1800.03/1800.71 c Primal Bound : -
1800.03/1800.71 c Dual Bound : +0.00000000000000e+00
1800.03/1800.71 c Gap : infinite
1800.03/1800.71 c Root Dual Bound : +0.00000000000000e+00
1801.82/1802.59 c Time complete: 1801.91.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869535-1245177413/watcher-1869535-1245177413 -o /tmp/evaluation-result-1869535-1245177413/solver-1869535-1245177413 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869535-1245177413.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 3/64 2750
/proc/meminfo: memFree=1839488/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=5812 CPUtime=0
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 185342017 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2750/statm: 1453 501 332 1256 0 192 0
[startup+0.0894459 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2750
/proc/meminfo: memFree=1839488/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=14912 CPUtime=0.08
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 2940 0 0 0 7 1 0 0 18 0 1 0 185342017 15269888 2570 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 3728 2570 660 1256 0 2467 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14912
[startup+0.101449 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2750
/proc/meminfo: memFree=1839488/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=14912 CPUtime=0.09
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 2968 0 0 0 8 1 0 0 18 0 1 0 185342017 15269888 2597 1992294400 4194304 9342243 548682068736 18446744073709551615 4342676 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 3728 2597 660 1256 0 2467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14912
[startup+0.301492 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2750
/proc/meminfo: memFree=1839488/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=17684 CPUtime=0.29
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 4850 0 0 0 27 2 0 0 19 0 1 0 185342017 18108416 3351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 4421 3351 683 1256 0 3160 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17684
[startup+0.701577 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2750
/proc/meminfo: memFree=1839488/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=17684 CPUtime=0.69
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 4874 0 0 0 67 2 0 0 22 0 1 0 185342017 18108416 3375 1992294400 4194304 9342243 548682068736 18446744073709551615 5396795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 4421 3375 692 1256 0 3160 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17684
[startup+1.50175 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1828600/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=17684 CPUtime=1.49
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 4888 0 0 0 145 4 0 0 25 0 1 0 185342017 18108416 3389 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 4421 3389 692 1256 0 3160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17684
[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1828472/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=17684 CPUtime=3.09
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 4892 0 0 0 301 8 0 0 25 0 1 0 185342017 18108416 3393 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 4421 3393 692 1256 0 3160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17684
[startup+6.30178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1828344/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=18016 CPUtime=6.29
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 4908 0 0 0 613 16 0 0 25 0 1 0 185342017 18448384 3409 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 4504 3409 692 1256 0 3243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18016
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1827456/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=20320 CPUtime=12.69
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 5131 0 0 0 1234 35 0 0 25 0 1 0 185342017 20807680 3631 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 5080 3631 692 1256 0 3819 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20320
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1824896/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=22752 CPUtime=25.48
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 5781 0 0 0 2480 68 0 0 25 0 1 0 185342017 23298048 4281 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 5688 4281 692 1256 0 4427 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22752
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1820544/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=27532 CPUtime=51.07
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 6879 0 0 0 4968 139 0 0 25 0 1 0 185342017 28192768 5379 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 6883 5379 692 1256 0 5622 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27532
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1811200/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=36540 CPUtime=102.25
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 9203 0 0 0 9953 272 0 0 25 0 1 0 185342017 37416960 7702 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 9135 7702 692 1256 0 7874 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 36540
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1799616/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=48144 CPUtime=162.24
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 12090 0 0 0 15788 436 0 0 25 0 1 0 185342017 49299456 10588 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 12036 10588 692 1256 0 10775 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48144
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1788416/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=60100 CPUtime=222.21
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 14879 0 0 0 21628 593 0 0 25 0 1 0 185342017 61542400 13377 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 15025 13377 692 1256 0 13764 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 60100
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1777856/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=70704 CPUtime=282.19
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 17518 0 0 0 27462 757 0 0 25 0 1 0 185342017 72400896 16016 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 17676 16016 692 1256 0 16415 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 70704
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1766656/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=81148 CPUtime=342.17
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 20284 0 0 0 33299 918 0 0 25 0 1 0 185342017 83095552 18782 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 20287 18782 692 1256 0 19026 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 81148
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1756608/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=91920 CPUtime=402.15
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 22786 0 0 0 39134 1081 0 0 25 0 1 0 185342017 94126080 21284 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 22980 21284 692 1256 0 21719 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 91920
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1746176/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=102048 CPUtime=462.12
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 25451 0 0 0 44965 1247 0 0 25 0 1 0 185342017 104497152 23948 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 25512 23948 692 1256 0 24251 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 102048
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1734848/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=113076 CPUtime=522.1
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 28163 0 0 0 50794 1416 0 0 25 0 1 0 185342017 115789824 26660 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 28269 26660 692 1256 0 27008 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 113076
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1724032/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=127724 CPUtime=582.08
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 30861 0 0 0 56628 1580 0 0 25 0 1 0 185342017 130789376 29358 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 31931 29358 692 1256 0 30670 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 127724
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2751
/proc/meminfo: memFree=1713920/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=137120 CPUtime=642.06
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 33357 0 0 0 62461 1745 0 0 25 0 1 0 185342017 140410880 31853 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 34280 31853 692 1256 0 33019 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 137120
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2753
/proc/meminfo: memFree=1643712/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=205452 CPUtime=1061.9
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 50894 0 0 0 103307 2883 0 0 25 0 1 0 185342017 210382848 49386 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 51363 49386 692 1256 0 50102 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 205452
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2753
/proc/meminfo: memFree=1633856/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=215116 CPUtime=1121.88
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 53190 0 0 0 109148 3040 0 0 25 0 1 0 185342017 220278784 51682 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 53779 51682 692 1256 0 52518 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 215116
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2753
/proc/meminfo: memFree=1623936/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=225192 CPUtime=1181.86
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 55680 0 0 0 114979 3207 0 0 25 0 1 0 185342017 230596608 54170 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 56298 54170 692 1256 0 55037 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 225192
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2753
/proc/meminfo: memFree=1614016/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=235100 CPUtime=1241.84
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 58120 0 0 0 120809 3375 0 0 25 0 1 0 185342017 240742400 56610 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 58775 56610 692 1256 0 57514 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 235100
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2753
/proc/meminfo: memFree=1604672/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=243332 CPUtime=1301.82
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 60422 0 0 0 126644 3538 0 0 25 0 1 0 185342017 249171968 58912 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 60833 58912 692 1256 0 59572 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 243332
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2753
/proc/meminfo: memFree=1595072/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=252432 CPUtime=1361.79
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 62797 0 0 0 132479 3700 0 0 25 0 1 0 185342017 258490368 61287 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 63108 61287 692 1256 0 61847 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 252432
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2753
/proc/meminfo: memFree=1585472/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=270904 CPUtime=1421.77
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 65147 0 0 0 138313 3864 0 0 25 0 1 0 185342017 277405696 63636 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 67726 63636 692 1256 0 66465 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 270904
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1575416/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=279684 CPUtime=1481.74
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 67584 0 0 0 144149 4025 0 0 25 0 1 0 185342017 286396416 66073 1992294400 4194304 9342243 548682068736 18446744073709551615 4753901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 69921 66073 692 1256 0 68660 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 279684
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1565368/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=289976 CPUtime=1541.71
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 70100 0 0 0 149984 4187 0 0 25 0 1 0 185342017 296935424 68589 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 72494 68589 692 1256 0 71233 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 289976
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1554488/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=300420 CPUtime=1601.7
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 72809 0 0 0 155822 4348 0 0 25 0 1 0 185342017 307630080 71296 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 75105 71296 692 1256 0 73844 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 300420
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1544376/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=311064 CPUtime=1661.67
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 75392 0 0 0 161652 4515 0 0 25 0 1 0 185342017 318529536 73878 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 77766 73878 692 1256 0 76505 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 311064
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1535416/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=320140 CPUtime=1721.65
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 77586 0 0 0 167489 4676 0 0 25 0 1 0 185342017 327823360 76071 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 80035 76071 692 1256 0 78774 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 320140
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1525312/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=329012 CPUtime=1781.62
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 80033 0 0 0 173325 4837 0 0 25 0 1 0 185342017 336908288 78518 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 82253 78518 692 1256 0 80992 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 329012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2759
/proc/meminfo: memFree=1522112/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=332252 CPUtime=1800.03
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 80834 0 0 0 175115 4888 0 0 25 0 1 0 185342017 340226048 79319 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2750/statm: 83063 79319 692 1256 0 81802 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 332252
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 2759
/proc/meminfo: memFree=1522112/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=332252 CPUtime=1800.72
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 80835 0 0 0 175184 4888 0 0 25 0 1 0 185342017 340226048 79320 1992294400 4194304 9342243 548682068736 18446744073709551615 4745499 0 0 4096 0 0 0 0 17 1 0 0
/proc/2750/statm: 83063 79320 693 1256 0 81802 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 332252
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2760
/proc/meminfo: memFree=1522104/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=332252 CPUtime=1801.52
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 80835 0 0 0 175264 4888 0 0 25 0 1 0 185342017 340226048 79320 1992294400 4194304 9342243 548682068736 18446744073709551615 5854325 0 0 4096 0 0 0 0 17 1 0 0
/proc/2750/statm: 83063 79320 693 1256 0 81802 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 332252
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2760
/proc/meminfo: memFree=1522104/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=332252 CPUtime=1801.72
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 80835 0 0 0 175284 4888 0 0 25 0 1 0 185342017 340226048 79320 1992294400 4194304 9342243 548682068736 18446744073709551615 4211754 0 0 4096 0 0 0 0 17 1 0 0
/proc/2750/statm: 83063 79320 693 1256 0 81802 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 332252
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2760
/proc/meminfo: memFree=1522104/2055920 swapFree=4192812/4192956
[pid=2750] ppid=2748 vsize=332252 CPUtime=1801.82
/proc/2750/stat : 2750 (pbscip.linux.x8) R 2748 2750 2685 0 -1 4194304 80835 0 0 0 175294 4888 0 0 25 0 1 0 185342017 340226048 79320 1992294400 4194304 9342243 548682068736 18446744073709551615 5854964 0 0 4096 0 0 0 0 17 1 0 0
/proc/2750/statm: 83063 79320 693 1256 0 81802 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 332252
Child status: 0
Real time (s): 1802.6
CPU time (s): 1801.93
CPU user time (s): 1752.99
CPU system time (s): 48.9396
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 332252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.99
system time used= 48.9396
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80838
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= 1911
runsolver used 1.26681 second user time and 3.9634 second system time
The end
Begin job on node10 at 2009-06-16 20:36:53
IDJOB=1869535
IDBENCH=2922
IDSOLVER=684
FILE ID=node10/1869535-1245177413
PBS_JOBID= 9363937
Free space on /tmp= 65988 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_4.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-1869535-1245177413/watcher-1869535-1245177413 -o /tmp/evaluation-result-1869535-1245177413/solver-1869535-1245177413 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869535-1245177413.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f
RANDOM SEED=2123299699
node10.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.263
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.263
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: 1839968 kB
Buffers: 44436 kB
Cached: 105164 kB
SwapCached: 0 kB
Active: 54144 kB
Inactive: 108872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1839968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11780 kB
Writeback: 0 kB
Mapped: 23232 kB
Slab: 39040 kB
Committed_AS: 183648 kB
PageTables: 1376 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= 65976 MiB
End job on node10 at 2009-06-16 21:06:56