0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665440-1276599929.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 problem read
0.00/0.01 c presolving settings loaded
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.02 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 - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
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 = 10000
0.00/0.03 c
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 = 1800
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 = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 40 | - | 364k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 48 | - | 414k| 0 | 11 | 70 | 9 | 70 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 53 | - | 451k| 0 | 12 | 70 | 9 | 70 | 18 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.20 c 0.2s| 1 | 0 | 60 | - | 478k| 0 | 16 | 70 | 9 | 70 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.22 c 0.2s| 1 | 0 | 66 | - | 493k| 0 | 16 | 70 | 9 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.24 c 0.2s| 1 | 0 | 75 | - | 537k| 0 | 16 | 70 | 9 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.26 c 0.2s| 1 | 0 | 79 | - | 559k| 0 | 18 | 70 | 9 | 70 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.30/0.30 c 0.3s| 1 | 2 | 79 | - | 559k| 0 | 18 | 70 | 9 | 70 | 28 | 20 | 0 | 9 | 0.000000e+00 | -- | Inf
6.29/6.35 c 5.5s| 10000 | 5066 | 32442 | 3.2 |3783k| 60 | - | 70 |1646 | 70 | 18 | 20 |2078 | 560 | 0.000000e+00 | -- | Inf
12.59/12.67 c 11.0s| 20000 | 9055 | 67376 | 3.4 |6172k| 62 | 8 | 70 |1066 | 70 | 18 | 20 |4717 | 777 | 0.000000e+00 | -- | Inf
18.49/18.56 c 16.1s| 30000 | 13127 |101207 | 3.4 |8537k| 63 | 8 | 70 |1060 | 70 | 18 | 20 |7357 | 926 | 0.000000e+00 | -- | Inf
24.48/24.58 c 21.4s| 40000 | 16907 |136626 | 3.4 | 10M| 63 | 8 | 70 |1162 | 70 | 18 | 20 | 10k|1031 | 0.000000e+00 | -- | Inf
30.58/30.66 c 26.7s| 50000 | 20543 |172495 | 3.4 | 13M| 63 | 8 | 70 |1200 | 70 | 18 | 20 | 12k|1138 | 0.000000e+00 | -- | Inf
36.58/36.67 c 31.9s| 60000 | 24214 |207629 | 3.5 | 15M| 63 | 8 | 70 |1008 | 70 | 18 | 20 | 15k|1234 | 0.000000e+00 | -- | Inf
42.68/42.70 c 37.2s| 70000 | 27627 |242620 | 3.5 | 17M| 63 | - | 70 |1203 | 70 | 18 | 20 | 19k|1324 | 0.000000e+00 | -- | Inf
48.67/48.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.67/48.74 c 42.5s| 80000 | 31190 |279137 | 3.5 | 20M| 63 | 8 | 70 |1283 | 70 | 18 | 20 | 22k|1396 | 0.000000e+00 | -- | Inf
54.68/54.73 c 47.7s| 90000 | 34745 |314490 | 3.5 | 22M| 63 | 8 | 70 |1431 | 70 | 18 | 20 | 25k|1477 | 0.000000e+00 | -- | Inf
60.67/60.75 c 53.0s|100000 | 38185 |349679 | 3.5 | 24M| 63 | - | 70 |1382 | 70 | 18 | 20 | 28k|1525 | 0.000000e+00 | -- | Inf
66.87/66.95 c 58.4s|110000 | 41398 |385667 | 3.5 | 26M| 63 | - | 70 |1559 | 70 | 18 | 20 | 31k|1574 | 0.000000e+00 | -- | Inf
73.07/73.14 c 63.8s|120000 | 44709 |421379 | 3.5 | 29M| 63 | 8 | 70 |1653 | 70 | 18 | 20 | 34k|1651 | 0.000000e+00 | -- | Inf
79.27/79.31 c 69.1s|130000 | 47970 |457384 | 3.5 | 31M| 63 | - | 70 |2046 | 70 | 18 | 20 | 37k|1697 | 0.000000e+00 | -- | Inf
85.56/85.62 c 74.6s|140000 | 51294 |493525 | 3.5 | 33M| 63 | - | 70 |1942 | 70 | 18 | 20 | 40k|1744 | 0.000000e+00 | -- | Inf
91.87/91.95 c 80.1s|150000 | 54407 |529053 | 3.5 | 35M| 63 | - | 70 |1750 | 70 | 18 | 20 | 44k|1791 | 0.000000e+00 | -- | Inf
98.16/98.28 c 85.6s|160000 | 57635 |565343 | 3.5 | 37M| 63 | - | 70 |1654 | 70 | 18 | 20 | 47k|1854 | 0.000000e+00 | -- | Inf
104.47/104.57 c 91.1s|170000 | 60691 |600694 | 3.5 | 40M| 63 | 8 | 70 |1748 | 70 | 18 | 20 | 50k|1888 | 0.000000e+00 | -- | Inf
110.96/111.02 c 96.7s|180000 | 63421 |637465 | 3.5 | 42M| 63 | 8 | 70 |1725 | 70 | 18 | 20 | 53k|1930 | 0.000000e+00 | -- | Inf
117.25/117.34 c 102s|190000 | 66475 |673783 | 3.5 | 44M| 63 | - | 70 |1921 | 70 | 18 | 20 | 57k|1971 | 0.000000e+00 | -- | Inf
123.65/123.77 c 108s|200000 | 69372 |709618 | 3.5 | 46M| 63 | 8 | 70 |1637 | 70 | 18 | 20 | 60k|2018 | 0.000000e+00 | -- | Inf
129.95/130.09 c 113s|210000 | 72208 |745095 | 3.5 | 48M| 63 | 8 | 70 |2168 | 70 | 18 | 20 | 63k|2065 | 0.000000e+00 | -- | Inf
136.45/136.57 c 119s|220000 | 75027 |780407 | 3.5 | 50M| 63 | 8 | 70 |2109 | 70 | 18 | 20 | 67k|2102 | 0.000000e+00 | -- | Inf
142.96/143.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.96/143.03 c 124s|230000 | 77852 |815233 | 3.5 | 52M| 63 | - | 70 |1751 | 0 | 0 | 20 | 70k|2141 | 0.000000e+00 | -- | Inf
149.25/149.33 c 130s|240000 | 80919 |852166 | 3.6 | 54M| 63 | 8 | 70 |2006 | 70 | 18 | 20 | 73k|2176 | 0.000000e+00 | -- | Inf
155.74/155.83 c 136s|250000 | 83696 |888480 | 3.6 | 56M| 63 | 8 | 70 |2019 | 70 | 18 | 20 | 77k|2205 | 0.000000e+00 | -- | Inf
162.04/162.19 c 141s|260000 | 86818 |924583 | 3.6 | 58M| 63 | - | 70 |1964 | 70 | 18 | 20 | 80k|2240 | 0.000000e+00 | -- | Inf
168.54/168.63 c 147s|270000 | 89602 |960207 | 3.6 | 60M| 63 | 8 | 70 |1941 | 70 | 18 | 20 | 83k|2263 | 0.000000e+00 | -- | Inf
175.04/175.11 c 152s|280000 | 92275 |995753 | 3.6 | 62M| 63 | - | 70 |1843 | 70 | 18 | 20 | 87k|2307 | 0.000000e+00 | -- | Inf
181.34/181.50 c 158s|290000 | 95093 | 1030k| 3.6 | 65M| 63 | - | 70 |1984 | 70 | 18 | 20 | 90k|2342 | 0.000000e+00 | -- | Inf
187.83/187.94 c 164s|300000 | 97764 | 1066k| 3.6 | 67M| 63 | 8 | 70 |1993 | 70 | 18 | 20 | 94k|2374 | 0.000000e+00 | -- | Inf
194.33/194.43 c 169s|310000 |100516 | 1102k| 3.6 | 69M| 63 | 8 | 70 |2071 | 70 | 18 | 20 | 97k|2386 | 0.000000e+00 | -- | Inf
200.83/200.92 c 175s|320000 |103265 | 1139k| 3.6 | 71M| 63 | - | 70 |2013 | 70 | 18 | 20 | 101k|2414 | 0.000000e+00 | -- | Inf
207.33/207.42 c 180s|330000 |106153 | 1174k| 3.6 | 73M| 63 | 8 | 70 |1771 | 70 | 18 | 20 | 104k|2432 | 0.000000e+00 | -- | Inf
213.72/213.86 c 186s|340000 |109019 | 1211k| 3.6 | 75M| 63 | 8 | 70 |2099 | 70 | 18 | 20 | 107k|2461 | 0.000000e+00 | -- | Inf
220.32/220.41 c 192s|350000 |111806 | 1247k| 3.6 | 77M| 63 | - | 70 |1975 | 70 | 18 | 20 | 110k|2486 | 0.000000e+00 | -- | Inf
226.72/226.88 c 197s|360000 |114468 | 1284k| 3.6 | 79M| 63 | 8 | 70 |1977 | 70 | 18 | 20 | 114k|2499 | 0.000000e+00 | -- | Inf
233.13/233.25 c 203s|370000 |117451 | 1321k| 3.6 | 81M| 63 | - | 70 |2534 | 70 | 18 | 20 | 117k|2517 | 0.000000e+00 | -- | Inf
239.62/239.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.62/239.77 c 209s|380000 |120253 | 1356k| 3.6 | 83M| 63 | 8 | 70 |2195 | 70 | 18 | 20 | 121k|2527 | 0.000000e+00 | -- | Inf
246.22/246.34 c 214s|390000 |122992 | 1393k| 3.6 | 85M| 63 | 8 | 70 |2038 | 70 | 18 | 20 | 124k|2542 | 0.000000e+00 | -- | Inf
252.71/252.81 c 220s|400000 |125777 | 1429k| 3.6 | 87M| 63 | - | 70 |2217 | 70 | 18 | 20 | 127k|2560 | 0.000000e+00 | -- | Inf
259.01/259.15 c 226s|410000 |128947 | 1465k| 3.6 | 89M| 63 | 8 | 70 |2553 | 70 | 18 | 20 | 131k|2578 | 0.000000e+00 | -- | Inf
265.71/265.86 c 231s|420000 |131587 | 1502k| 3.6 | 92M| 63 | 8 | 70 |2097 | 70 | 18 | 20 | 134k|2599 | 0.000000e+00 | -- | Inf
272.31/272.41 c 237s|430000 |134310 | 1539k| 3.6 | 94M| 63 | 8 | 70 |1962 | 70 | 18 | 20 | 137k|2616 | 0.000000e+00 | -- | Inf
278.80/278.91 c 243s|440000 |137085 | 1575k| 3.6 | 96M| 63 | 8 | 70 |1934 | 70 | 18 | 20 | 141k|2645 | 0.000000e+00 | -- | Inf
285.40/285.54 c 248s|450000 |139736 | 1611k| 3.6 | 98M| 63 | 8 | 70 |1975 | 70 | 18 | 20 | 144k|2666 | 0.000000e+00 | -- | Inf
291.90/292.06 c 254s|460000 |142553 | 1650k| 3.6 | 100M| 63 | 8 | 70 |2497 | 70 | 18 | 20 | 148k|2685 | 0.000000e+00 | -- | Inf
298.60/298.75 c 260s|470000 |145153 | 1687k| 3.6 | 102M| 63 | 8 | 70 |2256 | 70 | 18 | 20 | 151k|2711 | 0.000000e+00 | -- | Inf
304.89/305.09 c 266s|480000 |148296 | 1723k| 3.6 | 104M| 63 | 8 | 70 |2835 | 70 | 18 | 20 | 154k|2728 | 0.000000e+00 | -- | Inf
311.39/311.55 c 271s|490000 |151490 | 1760k| 3.6 | 106M| 63 | 8 | 70 |2940 | 70 | 18 | 20 | 158k|2734 | 0.000000e+00 | -- | Inf
318.19/318.32 c 277s|500000 |154221 | 1797k| 3.6 | 108M| 63 | - | 70 |2026 | 70 | 18 | 20 | 161k|2743 | 0.000000e+00 | -- | Inf
324.79/324.90 c 283s|510000 |156934 | 1833k| 3.6 | 110M| 63 | 8 | 70 |2252 | 70 | 18 | 20 | 164k|2757 | 0.000000e+00 | -- | Inf
331.29/331.50 c 289s|520000 |159694 | 1869k| 3.6 | 112M| 63 | 8 | 70 |2024 | 70 | 18 | 20 | 168k|2770 | 0.000000e+00 | -- | Inf
337.98/338.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.98/338.16 c 294s|530000 |162238 | 1906k| 3.6 | 114M| 63 | 8 | 70 |2029 | 70 | 18 | 20 | 171k|2784 | 0.000000e+00 | -- | Inf
344.59/344.73 c 300s|540000 |165001 | 1943k| 3.6 | 116M| 63 | 8 | 70 |2331 | 70 | 18 | 20 | 174k|2797 | 0.000000e+00 | -- | Inf
351.18/351.36 c 306s|550000 |167594 | 1981k| 3.6 | 118M| 63 | 8 | 70 |3110 | 70 | 18 | 20 | 178k|2810 | 0.000000e+00 | -- | Inf
357.98/358.13 c 312s|560000 |170277 | 2016k| 3.6 | 120M| 63 | - | 70 |2325 | 70 | 18 | 20 | 181k|2818 | 0.000000e+00 | -- | Inf
364.58/364.74 c 318s|570000 |172971 | 2052k| 3.6 | 122M| 63 | 8 | 70 |2097 | 70 | 18 | 20 | 185k|2826 | 0.000000e+00 | -- | Inf
371.08/371.27 c 323s|580000 |175633 | 2088k| 3.6 | 124M| 63 | - | 70 |2209 | 70 | 18 | 20 | 188k|2835 | 0.000000e+00 | -- | Inf
377.77/377.93 c 329s|590000 |178119 | 2125k| 3.6 | 126M| 63 | 8 | 70 |2252 | 70 | 18 | 20 | 192k|2846 | 0.000000e+00 | -- | Inf
384.38/384.57 c 335s|600000 |180710 | 2161k| 3.6 | 128M| 63 | - | 70 |2106 | 70 | 18 | 20 | 195k|2862 | 0.000000e+00 | -- | Inf
391.07/391.21 c 341s|610000 |183275 | 2197k| 3.6 | 130M| 63 | 8 | 70 |2175 | 70 | 18 | 20 | 199k|2878 | 0.000000e+00 | -- | Inf
397.76/397.91 c 347s|620000 |185919 | 2234k| 3.6 | 132M| 63 | 8 | 70 |2207 | 70 | 18 | 20 | 202k|2898 | 0.000000e+00 | -- | Inf
404.37/404.51 c 352s|630000 |188798 | 2271k| 3.6 | 134M| 63 | 8 | 70 |2431 | 70 | 18 | 20 | 205k|2910 | 0.000000e+00 | -- | Inf
410.96/411.12 c 358s|640000 |191491 | 2307k| 3.6 | 136M| 63 | 8 | 70 |2842 | 70 | 18 | 20 | 209k|2924 | 0.000000e+00 | -- | Inf
417.66/417.84 c 364s|650000 |194152 | 2344k| 3.6 | 138M| 63 | - | 70 |2694 | 70 | 18 | 20 | 212k|2939 | 0.000000e+00 | -- | Inf
424.46/424.67 c 370s|660000 |196613 | 2382k| 3.6 | 140M| 63 | - | 70 |2576 | 70 | 18 | 20 | 215k|2955 | 0.000000e+00 | -- | Inf
431.26/431.45 c 376s|670000 |199069 | 2419k| 3.6 | 142M| 63 | 8 | 70 |2086 | 70 | 18 | 20 | 219k|2969 | 0.000000e+00 | -- | Inf
438.06/438.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.06/438.23 c 382s|680000 |201441 | 2455k| 3.6 | 144M| 63 | 8 | 70 |2091 | 70 | 18 | 20 | 223k|2989 | 0.000000e+00 | -- | Inf
444.66/444.80 c 388s|690000 |204078 | 2492k| 3.6 | 146M| 63 | 8 | 70 |2397 | 70 | 18 | 20 | 226k|3004 | 0.000000e+00 | -- | Inf
451.15/451.39 c 394s|700000 |206703 | 2528k| 3.6 | 149M| 63 | - | 70 |2767 | 70 | 18 | 20 | 230k|3015 | 0.000000e+00 | -- | Inf
457.85/458.09 c 399s|710000 |209337 | 2565k| 3.6 | 150M| 63 | - | 70 |2120 | 70 | 18 | 20 | 233k|3024 | 0.000000e+00 | -- | Inf
464.45/464.66 c 405s|720000 |211859 | 2601k| 3.6 | 152M| 63 | - | 70 |2387 | 70 | 18 | 20 | 236k|3030 | 0.000000e+00 | -- | Inf
471.04/471.24 c 411s|730000 |214445 | 2637k| 3.6 | 154M| 63 | - | 70 |2297 | 70 | 18 | 20 | 240k|3040 | 0.000000e+00 | -- | Inf
477.54/477.78 c 417s|740000 |217224 | 2675k| 3.6 | 156M| 63 | 8 | 70 |2760 | 70 | 18 | 20 | 243k|3046 | 0.000000e+00 | -- | Inf
484.24/484.41 c 423s|750000 |219947 | 2713k| 3.6 | 158M| 63 | - | 70 |2622 | 70 | 18 | 20 | 246k|3059 | 0.000000e+00 | -- | Inf
490.94/491.19 c 428s|760000 |222268 | 2750k| 3.6 | 160M| 63 | 8 | 70 |2284 | 70 | 18 | 20 | 250k|3074 | 0.000000e+00 | -- | Inf
497.64/497.86 c 434s|770000 |224863 | 2787k| 3.6 | 162M| 63 | 8 | 70 |2049 | 70 | 18 | 20 | 253k|3088 | 0.000000e+00 | -- | Inf
504.14/504.34 c 440s|780000 |227595 | 2824k| 3.6 | 164M| 63 | 8 | 70 |2797 | 70 | 18 | 20 | 257k|3101 | 0.000000e+00 | -- | Inf
510.94/511.14 c 446s|790000 |229879 | 2861k| 3.6 | 167M| 63 | - | 70 |3406 | 70 | 18 | 20 | 261k|3110 | 0.000000e+00 | -- | Inf
517.43/517.65 c 452s|800000 |233029 | 2897k| 3.6 | 169M| 63 | - | 70 |3222 | 70 | 18 | 20 | 264k|3118 | 0.000000e+00 | -- | Inf
524.23/524.41 c 458s|810000 |235749 | 2934k| 3.6 | 171M| 63 | 8 | 70 |2696 | 70 | 18 | 20 | 267k|3125 | 0.000000e+00 | -- | Inf
531.03/531.26 c 464s|820000 |238071 | 2970k| 3.6 | 172M| 63 | 8 | 70 |2458 | 70 | 18 | 20 | 271k|3135 | 0.000000e+00 | -- | Inf
537.74/537.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.74/537.96 c 469s|830000 |240710 | 3008k| 3.6 | 174M| 63 | - | 70 |2294 | 70 | 18 | 20 | 274k|3144 | 0.000000e+00 | -- | Inf
544.33/544.59 c 475s|840000 |243228 | 3045k| 3.6 | 176M| 63 | 8 | 70 |2587 | 70 | 18 | 20 | 278k|3149 | 0.000000e+00 | -- | Inf
551.13/551.30 c 481s|850000 |245944 | 3082k| 3.6 | 178M| 63 | 8 | 70 |2482 | 70 | 18 | 20 | 281k|3157 | 0.000000e+00 | -- | Inf
557.72/557.90 c 487s|860000 |248559 | 3119k| 3.6 | 181M| 63 | 8 | 70 |3062 | 70 | 18 | 20 | 285k|3165 | 0.000000e+00 | -- | Inf
564.52/564.70 c 493s|870000 |251093 | 3156k| 3.6 | 182M| 63 | 8 | 70 |2742 | 70 | 18 | 20 | 288k|3174 | 0.000000e+00 | -- | Inf
571.12/571.35 c 499s|880000 |253735 | 3192k| 3.6 | 184M| 63 | 8 | 70 |2736 | 70 | 18 | 20 | 291k|3180 | 0.000000e+00 | -- | Inf
578.01/578.20 c 505s|890000 |256122 | 3229k| 3.6 | 186M| 63 | 8 | 70 |2378 | 70 | 18 | 20 | 295k|3192 | 0.000000e+00 | -- | Inf
584.61/584.80 c 511s|900000 |258720 | 3267k| 3.6 | 188M| 63 | - | 70 |2713 | 70 | 18 | 20 | 298k|3200 | 0.000000e+00 | -- | Inf
591.11/591.38 c 517s|910000 |261453 | 3305k| 3.6 | 190M| 63 | 8 | 70 |2868 | 70 | 18 | 20 | 302k|3209 | 0.000000e+00 | -- | Inf
597.81/598.05 c 522s|920000 |264206 | 3340k| 3.6 | 192M| 63 | 8 | 70 |2906 | 70 | 18 | 20 | 305k|3217 | 0.000000e+00 | -- | Inf
604.60/604.85 c 528s|930000 |266708 | 3378k| 3.6 | 194M| 63 | 8 | 70 |2470 | 70 | 18 | 20 | 309k|3226 | 0.000000e+00 | -- | Inf
611.21/611.42 c 534s|940000 |269599 | 3416k| 3.6 | 196M| 63 | - | 70 |2962 | 70 | 18 | 20 | 312k|3232 | 0.000000e+00 | -- | Inf
617.91/618.10 c 540s|950000 |272246 | 3453k| 3.6 | 198M| 63 | 8 | 70 |2730 | 70 | 18 | 20 | 315k|3239 | 0.000000e+00 | -- | Inf
624.71/624.94 c 546s|960000 |274541 | 3489k| 3.6 | 200M| 63 | - | 70 |2584 | 70 | 18 | 20 | 319k|3247 | 0.000000e+00 | -- | Inf
631.50/631.72 c 552s|970000 |277086 | 3527k| 3.6 | 202M| 63 | 8 | 70 |2599 | 70 | 18 | 20 | 322k|3254 | 0.000000e+00 | -- | Inf
638.09/638.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.09/638.38 c 558s|980000 |279751 | 3564k| 3.6 | 204M| 63 | - | 70 |3038 | 70 | 18 | 20 | 326k|3260 | 0.000000e+00 | -- | Inf
644.80/645.09 c 564s|990000 |282540 | 3601k| 3.6 | 207M| 63 | 8 | 70 |2718 | 70 | 18 | 20 | 329k|3268 | 0.000000e+00 | -- | Inf
651.40/651.60 c 569s| 1000k|285496 | 3637k| 3.6 | 209M| 63 | - | 70 |2892 | 70 | 18 | 20 | 332k|3275 | 0.000000e+00 | -- | Inf
657.89/658.18 c 575s| 1010k|288263 | 3674k| 3.6 | 211M| 63 | - | 70 |2833 | 70 | 18 | 20 | 336k|3284 | 0.000000e+00 | -- | Inf
664.69/664.92 c 581s| 1020k|290867 | 3711k| 3.6 | 213M| 63 | 8 | 70 |2966 | 70 | 18 | 20 | 339k|3292 | 0.000000e+00 | -- | Inf
671.49/671.77 c 587s| 1030k|293281 | 3750k| 3.6 | 215M| 63 | 8 | 70 |2565 | 70 | 18 | 20 | 343k|3302 | 0.000000e+00 | -- | Inf
678.09/678.32 c 593s| 1040k|295942 | 3786k| 3.6 | 217M| 63 | 8 | 70 |2612 | 70 | 18 | 20 | 346k|3311 | 0.000000e+00 | -- | Inf
684.59/684.81 c 599s| 1050k|298824 | 3822k| 3.6 | 219M| 63 | - | 70 |2818 | 70 | 18 | 20 | 349k|3318 | 0.000000e+00 | -- | Inf
691.28/691.53 c 605s| 1060k|301485 | 3859k| 3.6 | 221M| 63 | - | 70 |2590 | 70 | 18 | 20 | 353k|3328 | 0.000000e+00 | -- | Inf
697.88/698.14 c 610s| 1070k|304189 | 3896k| 3.6 | 223M| 63 | - | 70 |3044 | 0 | 0 | 20 | 356k|3339 | 0.000000e+00 | -- | Inf
704.78/705.03 c 616s| 1080k|306689 | 3934k| 3.6 | 225M| 63 | 8 | 70 |2477 | 70 | 18 | 20 | 360k|3344 | 0.000000e+00 | -- | Inf
711.28/711.55 c 622s| 1090k|309449 | 3971k| 3.6 | 227M| 63 | 8 | 70 |3335 | 70 | 18 | 20 | 363k|3349 | 0.000000e+00 | -- | Inf
718.08/718.35 c 628s| 1100k|312062 | 4009k| 3.6 | 229M| 63 | - | 70 |2917 | 0 | 0 | 20 | 367k|3349 | 0.000000e+00 | -- | Inf
724.97/725.21 c 634s| 1110k|314555 | 4046k| 3.6 | 231M| 63 | - | 70 |2891 | 70 | 18 | 20 | 371k|3352 | 0.000000e+00 | -- | Inf
731.77/732.01 c 640s| 1120k|317097 | 4084k| 3.6 | 233M| 63 | 8 | 70 |2687 | 70 | 18 | 20 | 374k|3361 | 0.000000e+00 | -- | Inf
738.56/738.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.56/738.87 c 646s| 1130k|319492 | 4121k| 3.6 | 235M| 63 | - | 70 |2500 | 70 | 18 | 20 | 377k|3368 | 0.000000e+00 | -- | Inf
745.27/745.52 c 652s| 1140k|321903 | 4157k| 3.6 | 237M| 63 | - | 70 |2972 | 0 | 0 | 20 | 381k|3376 | 0.000000e+00 | -- | Inf
751.86/752.17 c 658s| 1150k|324635 | 4194k| 3.6 | 239M| 63 | 8 | 70 |2808 | 70 | 18 | 20 | 385k|3381 | 0.000000e+00 | -- | Inf
758.77/759.06 c 664s| 1160k|327064 | 4231k| 3.6 | 241M| 63 | - | 70 |2533 | 70 | 18 | 20 | 388k|3390 | 0.000000e+00 | -- | Inf
765.46/765.75 c 670s| 1170k|329628 | 4268k| 3.6 | 243M| 63 | - | 70 |2879 | 70 | 18 | 20 | 392k|3394 | 0.000000e+00 | -- | Inf
772.36/772.63 c 676s| 1180k|332018 | 4307k| 3.7 | 245M| 63 | 8 | 70 |2681 | 70 | 18 | 20 | 395k|3406 | 0.000000e+00 | -- | Inf
779.16/779.46 c 682s| 1190k|334454 | 4344k| 3.7 | 247M| 63 | 8 | 70 |2471 | 70 | 18 | 20 | 399k|3415 | 0.000000e+00 | -- | Inf
785.96/786.26 c 688s| 1200k|336997 | 4381k| 3.7 | 249M| 63 | 8 | 70 |2669 | 70 | 18 | 20 | 402k|3422 | 0.000000e+00 | -- | Inf
792.86/793.15 c 694s| 1210k|339467 | 4417k| 3.7 | 251M| 63 | - | 70 |2358 | 70 | 18 | 20 | 405k|3429 | 0.000000e+00 | -- | Inf
799.65/799.92 c 700s| 1220k|341983 | 4454k| 3.7 | 253M| 63 | 8 | 70 |2302 | 70 | 18 | 20 | 409k|3436 | 0.000000e+00 | -- | Inf
806.25/806.54 c 706s| 1230k|344639 | 4491k| 3.7 | 255M| 63 | 8 | 70 |2328 | 70 | 18 | 20 | 412k|3439 | 0.000000e+00 | -- | Inf
813.05/813.37 c 712s| 1240k|346936 | 4530k| 3.7 | 257M| 63 | 8 | 70 |2907 | 70 | 18 | 20 | 416k|3445 | 0.000000e+00 | -- | Inf
819.84/820.13 c 718s| 1250k|349460 | 4568k| 3.7 | 259M| 63 | - | 70 |2906 | 70 | 18 | 20 | 420k|3456 | 0.000000e+00 | -- | Inf
826.74/827.06 c 724s| 1260k|351856 | 4604k| 3.7 | 261M| 63 | 8 | 70 |2713 | 70 | 18 | 20 | 423k|3460 | 0.000000e+00 | -- | Inf
833.46/833.71 c 730s| 1270k|354552 | 4641k| 3.7 | 263M| 63 | - | 70 |3268 | 70 | 18 | 20 | 427k|3465 | 0.000000e+00 | -- | Inf
840.34/840.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.34/840.60 c 736s| 1280k|356956 | 4677k| 3.7 | 265M| 63 | - | 70 |2674 | 70 | 18 | 20 | 430k|3469 | 0.000000e+00 | -- | Inf
847.13/847.40 c 742s| 1290k|359485 | 4714k| 3.7 | 267M| 63 | - | 70 |2495 | 70 | 18 | 20 | 433k|3475 | 0.000000e+00 | -- | Inf
853.64/853.92 c 747s| 1300k|362233 | 4750k| 3.7 | 269M| 63 | - | 70 |2654 | 70 | 18 | 20 | 437k|3484 | 0.000000e+00 | -- | Inf
860.23/860.58 c 753s| 1310k|364999 | 4787k| 3.7 | 271M| 63 | 8 | 70 |2878 | 70 | 18 | 20 | 440k|3495 | 0.000000e+00 | -- | Inf
867.03/867.38 c 759s| 1320k|367452 | 4825k| 3.7 | 273M| 63 | 8 | 70 |2396 | 70 | 18 | 20 | 443k|3501 | 0.000000e+00 | -- | Inf
873.82/874.15 c 765s| 1330k|369865 | 4862k| 3.7 | 275M| 63 | - | 70 |2453 | 70 | 18 | 20 | 447k|3510 | 0.000000e+00 | -- | Inf
880.62/880.93 c 771s| 1340k|372342 | 4899k| 3.7 | 277M| 63 | 8 | 70 |2906 | 70 | 18 | 20 | 450k|3516 | 0.000000e+00 | -- | Inf
887.02/887.36 c 777s| 1350k|375527 | 4934k| 3.7 | 279M| 63 | 8 | 70 |3602 | 70 | 18 | 20 | 453k|3522 | 0.000000e+00 | -- | Inf
893.92/894.24 c 783s| 1360k|378198 | 4970k| 3.7 | 281M| 63 | 8 | 70 |2875 | 70 | 18 | 20 | 457k|3530 | 0.000000e+00 | -- | Inf
900.62/900.98 c 789s| 1370k|380750 | 5006k| 3.7 | 283M| 63 | 8 | 70 |2936 | 70 | 18 | 20 | 460k|3536 | 0.000000e+00 | -- | Inf
907.51/907.87 c 795s| 1380k|383176 | 5042k| 3.7 | 285M| 63 | - | 70 |3122 | 70 | 18 | 20 | 463k|3543 | 0.000000e+00 | -- | Inf
914.52/914.88 c 801s| 1390k|385605 | 5080k| 3.7 | 287M| 63 | 8 | 70 |2873 | 70 | 18 | 20 | 467k|3552 | 0.000000e+00 | -- | Inf
921.31/921.68 c 807s| 1400k|388189 | 5116k| 3.7 | 289M| 63 | - | 70 |2772 | 70 | 18 | 20 | 470k|3559 | 0.000000e+00 | -- | Inf
928.31/928.61 c 813s| 1410k|390579 | 5153k| 3.7 | 290M| 63 | 8 | 70 |2443 | 70 | 18 | 20 | 474k|3563 | 0.000000e+00 | -- | Inf
935.21/935.51 c 819s| 1420k|392868 | 5189k| 3.7 | 292M| 63 | 8 | 70 |2456 | 70 | 18 | 20 | 477k|3568 | 0.000000e+00 | -- | Inf
941.91/942.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.91/942.28 c 825s| 1430k|395340 | 5227k| 3.7 | 294M| 63 | - | 70 |2785 | 70 | 18 | 20 | 481k|3575 | 0.000000e+00 | -- | Inf
948.60/948.95 c 831s| 1440k|398180 | 5264k| 3.7 | 297M| 63 | 8 | 70 |3493 | 70 | 18 | 20 | 484k|3582 | 0.000000e+00 | -- | Inf
955.51/955.80 c 837s| 1450k|400705 | 5301k| 3.7 | 299M| 63 | - | 70 |3383 | 70 | 18 | 20 | 487k|3591 | 0.000000e+00 | -- | Inf
962.50/962.87 c 843s| 1460k|403093 | 5339k| 3.7 | 300M| 63 | - | 70 |2915 | 70 | 18 | 20 | 491k|3596 | 0.000000e+00 | -- | Inf
969.40/969.78 c 849s| 1470k|405484 | 5376k| 3.7 | 302M| 63 | 8 | 70 |2801 | 70 | 18 | 20 | 494k|3605 | 0.000000e+00 | -- | Inf
976.29/976.64 c 855s| 1480k|407887 | 5413k| 3.7 | 304M| 63 | - | 70 |2963 | 70 | 18 | 20 | 498k|3613 | 0.000000e+00 | -- | Inf
983.20/983.57 c 862s| 1490k|410384 | 5450k| 3.7 | 306M| 63 | - | 70 |2777 | 70 | 18 | 20 | 501k|3619 | 0.000000e+00 | -- | Inf
990.19/990.57 c 868s| 1500k|412547 | 5488k| 3.7 | 308M| 63 | 8 | 70 |2811 | 70 | 18 | 20 | 505k|3630 | 0.000000e+00 | -- | Inf
996.99/997.35 c 874s| 1510k|415098 | 5527k| 3.7 | 310M| 63 | 8 | 70 |3384 | 70 | 18 | 20 | 508k|3637 | 0.000000e+00 | -- | Inf
1003.99/1004.33 c 880s| 1520k|417492 | 5565k| 3.7 | 312M| 63 | - | 70 |3207 | 70 | 18 | 20 | 512k|3643 | 0.000000e+00 | -- | Inf
1010.69/1011.07 c 886s| 1530k|420174 | 5602k| 3.7 | 314M| 63 | - | 70 |3062 | 70 | 18 | 20 | 515k|3652 | 0.000000e+00 | -- | Inf
1017.59/1017.95 c 892s| 1540k|422598 | 5638k| 3.7 | 316M| 63 | 8 | 70 |2619 | 70 | 18 | 20 | 519k|3661 | 0.000000e+00 | -- | Inf
1024.28/1024.67 c 898s| 1550k|425094 | 5674k| 3.7 | 318M| 63 | 8 | 70 |2745 | 70 | 18 | 20 | 522k|3666 | 0.000000e+00 | -- | Inf
1031.08/1031.40 c 904s| 1560k|427686 | 5710k| 3.7 | 320M| 63 | 8 | 70 |2621 | 70 | 18 | 20 | 525k|3673 | 0.000000e+00 | -- | Inf
1037.68/1038.05 c 910s| 1570k|430491 | 5749k| 3.7 | 322M| 63 | 8 | 70 |3143 | 70 | 18 | 20 | 529k|3680 | 0.000000e+00 | -- | Inf
1044.59/1044.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.59/1044.90 c 916s| 1580k|432931 | 5785k| 3.7 | 324M| 63 | 8 | 70 |2685 | 70 | 18 | 20 | 532k|3680 | 0.000000e+00 | -- | Inf
1051.28/1051.63 c 922s| 1590k|435503 | 5823k| 3.7 | 326M| 63 | 8 | 70 |3093 | 70 | 18 | 20 | 536k|3680 | 0.000000e+00 | -- | Inf
1058.17/1058.55 c 928s| 1600k|437911 | 5859k| 3.7 | 328M| 63 | 8 | 70 |2584 | 70 | 18 | 20 | 539k|3682 | 0.000000e+00 | -- | Inf
1065.17/1065.50 c 934s| 1610k|440314 | 5897k| 3.7 | 330M| 63 | 8 | 70 |2650 | 70 | 18 | 20 | 542k|3688 | 0.000000e+00 | -- | Inf
1072.08/1072.44 c 940s| 1620k|442677 | 5934k| 3.7 | 332M| 63 | 8 | 70 |2426 | 70 | 18 | 20 | 546k|3694 | 0.000000e+00 | -- | Inf
1078.96/1079.37 c 946s| 1630k|444911 | 5972k| 3.7 | 334M| 63 | 8 | 70 |2495 | 70 | 18 | 20 | 550k|3703 | 0.000000e+00 | -- | Inf
1085.46/1085.89 c 952s| 1640k|447671 | 6007k| 3.7 | 336M| 63 | 8 | 70 |2453 | 70 | 18 | 20 | 553k|3710 | 0.000000e+00 | -- | Inf
1092.27/1092.61 c 958s| 1650k|450138 | 6044k| 3.7 | 338M| 63 | 8 | 70 |2854 | 70 | 18 | 20 | 556k|3717 | 0.000000e+00 | -- | Inf
1099.07/1099.42 c 964s| 1660k|452641 | 6080k| 3.7 | 340M| 63 | - | 70 |2637 | 70 | 18 | 20 | 560k|3721 | 0.000000e+00 | -- | Inf
1105.96/1106.39 c 970s| 1670k|454905 | 6116k| 3.7 | 341M| 63 | - | 70 |2579 | 70 | 18 | 20 | 563k|3726 | 0.000000e+00 | -- | Inf
1112.66/1113.10 c 976s| 1680k|457501 | 6152k| 3.7 | 343M| 63 | 8 | 70 |2573 | 70 | 18 | 20 | 566k|3732 | 0.000000e+00 | -- | Inf
1119.55/1119.95 c 982s| 1690k|459979 | 6189k| 3.7 | 346M| 63 | - | 70 |2629 | 70 | 18 | 20 | 570k|3739 | 0.000000e+00 | -- | Inf
1126.35/1126.80 c 988s| 1700k|462408 | 6225k| 3.7 | 347M| 63 | 8 | 70 |2579 | 70 | 18 | 20 | 573k|3743 | 0.000000e+00 | -- | Inf
1133.05/1133.49 c 994s| 1710k|464989 | 6261k| 3.7 | 349M| 63 | - | 70 |2843 | 70 | 18 | 20 | 577k|3748 | 0.000000e+00 | -- | Inf
1140.06/1140.43 c 1000s| 1720k|467337 | 6298k| 3.7 | 351M| 63 | 8 | 70 |2736 | 70 | 18 | 20 | 580k|3755 | 0.000000e+00 | -- | Inf
1146.86/1147.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.86/1147.22 c 1006s| 1730k|469893 | 6335k| 3.7 | 353M| 63 | 8 | 70 |2897 | 70 | 18 | 20 | 584k|3762 | 0.000000e+00 | -- | Inf
1153.75/1154.11 c 1012s| 1740k|472167 | 6371k| 3.7 | 355M| 63 | 8 | 70 |2843 | 70 | 18 | 20 | 587k|3768 | 0.000000e+00 | -- | Inf
1160.54/1160.92 c 1018s| 1750k|474724 | 6407k| 3.7 | 357M| 63 | 8 | 70 |2503 | 70 | 18 | 20 | 591k|3776 | 0.000000e+00 | -- | Inf
1167.15/1167.59 c 1024s| 1760k|477236 | 6445k| 3.7 | 359M| 63 | - | 70 |3319 | 70 | 18 | 20 | 594k|3783 | 0.000000e+00 | -- | Inf
1174.04/1174.47 c 1030s| 1770k|479751 | 6483k| 3.7 | 361M| 63 | - | 70 |2999 | 70 | 18 | 20 | 598k|3791 | 0.000000e+00 | -- | Inf
1180.95/1181.37 c 1036s| 1780k|482195 | 6520k| 3.7 | 363M| 63 | - | 70 |3039 | 70 | 18 | 20 | 601k|3795 | 0.000000e+00 | -- | Inf
1187.93/1188.30 c 1042s| 1790k|484547 | 6557k| 3.7 | 365M| 63 | - | 70 |2842 | 70 | 18 | 20 | 605k|3799 | 0.000000e+00 | -- | Inf
1194.84/1195.21 c 1048s| 1800k|486821 | 6593k| 3.7 | 367M| 63 | 8 | 70 |3007 | 70 | 18 | 20 | 608k|3804 | 0.000000e+00 | -- | Inf
1201.53/1201.96 c 1054s| 1810k|489356 | 6633k| 3.7 | 369M| 63 | - | 70 |4263 | 70 | 18 | 20 | 612k|3815 | 0.000000e+00 | -- | Inf
1208.93/1209.31 c 1060s| 1820k|491657 | 6670k| 3.7 | 371M| 63 | 8 | 70 |2828 | 70 | 18 | 20 | 615k|3821 | 0.000000e+00 | -- | Inf
1215.53/1215.96 c 1066s| 1830k|494322 | 6706k| 3.7 | 373M| 63 | 8 | 70 |3085 | 70 | 18 | 20 | 618k|3822 | 0.000000e+00 | -- | Inf
1222.12/1222.58 c 1072s| 1840k|497276 | 6742k| 3.7 | 375M| 63 | 8 | 70 |3067 | 70 | 18 | 20 | 622k|3822 | 0.000000e+00 | -- | Inf
1228.93/1229.36 c 1078s| 1850k|499848 | 6780k| 3.7 | 377M| 63 | 8 | 70 |3183 | 70 | 18 | 20 | 625k|3831 | 0.000000e+00 | -- | Inf
1235.93/1236.31 c 1084s| 1860k|502305 | 6816k| 3.7 | 379M| 63 | - | 70 |3143 | 70 | 18 | 20 | 628k|3838 | 0.000000e+00 | -- | Inf
1242.63/1243.09 c 1090s| 1870k|505007 | 6854k| 3.7 | 381M| 63 | 8 | 70 |3223 | 70 | 18 | 20 | 632k|3845 | 0.000000e+00 | -- | Inf
1249.72/1250.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.72/1250.14 c 1096s| 1880k|507357 | 6891k| 3.7 | 383M| 63 | 8 | 70 |2752 | 70 | 18 | 20 | 635k|3850 | 0.000000e+00 | -- | Inf
1256.61/1257.01 c 1102s| 1890k|509654 | 6928k| 3.7 | 385M| 63 | 8 | 70 |2860 | 70 | 18 | 20 | 639k|3857 | 0.000000e+00 | -- | Inf
1263.32/1263.77 c 1108s| 1900k|512349 | 6964k| 3.7 | 387M| 63 | 8 | 70 |3286 | 70 | 18 | 20 | 642k|3866 | 0.000000e+00 | -- | Inf
1270.42/1270.83 c 1115s| 1910k|514537 | 7002k| 3.7 | 389M| 63 | 8 | 70 |3011 | 70 | 18 | 20 | 645k|3871 | 0.000000e+00 | -- | Inf
1276.91/1277.39 c 1120s| 1920k|517490 | 7038k| 3.7 | 391M| 63 | - | 70 |3732 | 70 | 18 | 20 | 649k|3875 | 0.000000e+00 | -- | Inf
1283.81/1284.26 c 1126s| 1930k|519925 | 7074k| 3.7 | 393M| 63 | 8 | 70 |3975 | 70 | 18 | 20 | 652k|3881 | 0.000000e+00 | -- | Inf
1291.01/1291.48 c 1133s| 1940k|522282 | 7111k| 3.7 | 395M| 63 | - | 70 |3164 | 70 | 18 | 20 | 655k|3886 | 0.000000e+00 | -- | Inf
1297.81/1298.23 c 1139s| 1950k|524936 | 7146k| 3.7 | 397M| 63 | - | 70 |3276 | 70 | 18 | 20 | 659k|3890 | 0.000000e+00 | -- | Inf
1304.80/1305.21 c 1145s| 1960k|527349 | 7183k| 3.7 | 399M| 63 | 8 | 70 |3178 | 70 | 18 | 20 | 662k|3896 | 0.000000e+00 | -- | Inf
1311.40/1311.80 c 1151s| 1970k|530418 | 7219k| 3.7 | 401M| 63 | 8 | 70 |3771 | 70 | 18 | 20 | 665k|3905 | 0.000000e+00 | -- | Inf
1318.00/1318.42 c 1156s| 1980k|533204 | 7254k| 3.7 | 403M| 63 | 8 | 70 |4462 | 70 | 18 | 20 | 669k|3914 | 0.000000e+00 | -- | Inf
1325.01/1325.41 c 1163s| 1990k|535711 | 7291k| 3.7 | 405M| 63 | 8 | 70 |3452 | 70 | 18 | 20 | 672k|3921 | 0.000000e+00 | -- | Inf
1332.00/1332.48 c 1169s| 2000k|538110 | 7327k| 3.7 | 407M| 63 | - | 70 |2754 | 70 | 18 | 20 | 676k|3926 | 0.000000e+00 | -- | Inf
1338.90/1339.33 c 1175s| 2010k|540620 | 7364k| 3.7 | 409M| 63 | 8 | 70 |2851 | 70 | 18 | 20 | 679k|3931 | 0.000000e+00 | -- | Inf
1345.69/1346.10 c 1181s| 2020k|543077 | 7400k| 3.7 | 411M| 63 | 8 | 70 |3431 | 70 | 18 | 20 | 683k|3937 | 0.000000e+00 | -- | Inf
1352.69/1353.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.69/1353.15 c 1187s| 2030k|545347 | 7438k| 3.7 | 413M| 63 | 8 | 70 |2952 | 70 | 18 | 20 | 686k|3937 | 0.000000e+00 | -- | Inf
1359.58/1360.01 c 1193s| 2040k|547777 | 7474k| 3.7 | 415M| 63 | 8 | 70 |3260 | 70 | 18 | 20 | 690k|3941 | 0.000000e+00 | -- | Inf
1366.49/1366.98 c 1199s| 2050k|550364 | 7512k| 3.7 | 417M| 63 | - | 70 |3446 | 0 | 0 | 20 | 693k|3950 | 0.000000e+00 | -- | Inf
1373.08/1373.53 c 1205s| 2060k|553421 | 7549k| 3.7 | 419M| 63 | - | 70 |4379 | 70 | 18 | 20 | 696k|3955 | 0.000000e+00 | -- | Inf
1380.38/1380.87 c 1212s| 2070k|555853 | 7586k| 3.7 | 421M| 63 | 8 | 70 |3200 | 70 | 18 | 20 | 699k|3961 | 0.000000e+00 | -- | Inf
1387.58/1388.00 c 1218s| 2080k|558042 | 7622k| 3.7 | 423M| 63 | 8 | 70 |2741 | 70 | 18 | 20 | 703k|3967 | 0.000000e+00 | -- | Inf
1393.98/1394.41 c 1224s| 2090k|561132 | 7658k| 3.7 | 425M| 63 | 8 | 70 |3218 | 70 | 18 | 20 | 706k|3973 | 0.000000e+00 | -- | Inf
1400.98/1401.45 c 1230s| 2100k|563515 | 7695k| 3.7 | 427M| 63 | - | 70 |2702 | 70 | 18 | 20 | 709k|3977 | 0.000000e+00 | -- | Inf
1407.77/1408.21 c 1236s| 2110k|565986 | 7731k| 3.7 | 429M| 63 | 8 | 70 |2941 | 70 | 18 | 20 | 713k|3983 | 0.000000e+00 | -- | Inf
1414.77/1415.20 c 1242s| 2120k|568419 | 7767k| 3.7 | 430M| 63 | 8 | 70 |2807 | 70 | 18 | 20 | 716k|3989 | 0.000000e+00 | -- | Inf
1421.67/1422.17 c 1248s| 2130k|570709 | 7803k| 3.7 | 432M| 63 | - | 70 |3124 | 70 | 18 | 20 | 720k|3996 | 0.000000e+00 | -- | Inf
1428.48/1428.93 c 1254s| 2140k|573412 | 7840k| 3.7 | 434M| 63 | 8 | 70 |3116 | 70 | 18 | 20 | 723k|4001 | 0.000000e+00 | -- | Inf
1435.27/1435.76 c 1260s| 2150k|576066 | 7876k| 3.7 | 436M| 63 | 8 | 70 |3394 | 70 | 18 | 20 | 726k|4006 | 0.000000e+00 | -- | Inf
1442.17/1442.61 c 1266s| 2160k|578689 | 7912k| 3.7 | 438M| 63 | 8 | 70 |3097 | 70 | 18 | 20 | 729k|4009 | 0.000000e+00 | -- | Inf
1448.96/1449.45 c 1272s| 2170k|581291 | 7948k| 3.7 | 440M| 63 | 8 | 70 |3257 | 70 | 18 | 20 | 733k|4013 | 0.000000e+00 | -- | Inf
1455.97/1456.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.97/1456.43 c 1278s| 2180k|583807 | 7985k| 3.7 | 442M| 63 | 8 | 70 |3443 | 70 | 18 | 20 | 736k|4021 | 0.000000e+00 | -- | Inf
1462.96/1463.45 c 1284s| 2190k|586318 | 8021k| 3.7 | 444M| 63 | 8 | 70 |3202 | 70 | 18 | 20 | 739k|4026 | 0.000000e+00 | -- | Inf
1470.06/1470.51 c 1291s| 2200k|588620 | 8057k| 3.7 | 446M| 63 | - | 70 |2940 | 70 | 18 | 20 | 743k|4030 | 0.000000e+00 | -- | Inf
1476.65/1477.15 c 1297s| 2210k|591489 | 8092k| 3.7 | 448M| 63 | 8 | 70 |3586 | 70 | 18 | 20 | 746k|4034 | 0.000000e+00 | -- | Inf
1483.46/1483.96 c 1303s| 2220k|594137 | 8129k| 3.7 | 450M| 63 | 8 | 70 |3552 | 70 | 18 | 20 | 750k|4041 | 0.000000e+00 | -- | Inf
1490.45/1490.92 c 1309s| 2230k|596618 | 8166k| 3.7 | 452M| 63 | - | 70 |3603 | 70 | 18 | 20 | 753k|4047 | 0.000000e+00 | -- | Inf
1497.55/1498.09 c 1315s| 2240k|598859 | 8202k| 3.7 | 454M| 63 | - | 70 |3325 | 70 | 18 | 20 | 757k|4053 | 0.000000e+00 | -- | Inf
1504.65/1505.16 c 1321s| 2250k|601282 | 8240k| 3.7 | 456M| 63 | 8 | 70 |3407 | 70 | 18 | 20 | 760k|4063 | 0.000000e+00 | -- | Inf
1511.64/1512.11 c 1327s| 2260k|603787 | 8276k| 3.7 | 458M| 63 | 8 | 70 |3067 | 70 | 18 | 20 | 764k|4069 | 0.000000e+00 | -- | Inf
1518.34/1518.88 c 1333s| 2270k|606568 | 8313k| 3.7 | 460M| 63 | 8 | 70 |3339 | 70 | 18 | 20 | 767k|4077 | 0.000000e+00 | -- | Inf
1525.53/1526.08 c 1340s| 2280k|608824 | 8349k| 3.7 | 462M| 63 | - | 70 |2446 | 70 | 18 | 20 | 770k|4084 | 0.000000e+00 | -- | Inf
1532.34/1532.87 c 1346s| 2290k|611242 | 8386k| 3.7 | 464M| 63 | - | 70 |3046 | 70 | 18 | 20 | 774k|4091 | 0.000000e+00 | -- | Inf
1539.03/1539.59 c 1352s| 2300k|613923 | 8421k| 3.7 | 466M| 63 | 8 | 70 |3447 | 70 | 18 | 20 | 777k|4092 | 0.000000e+00 | -- | Inf
1546.33/1546.83 c 1358s| 2310k|616074 | 8458k| 3.7 | 468M| 63 | 8 | 70 |2892 | 70 | 18 | 20 | 781k|4097 | 0.000000e+00 | -- | Inf
1553.23/1553.71 c 1364s| 2320k|618480 | 8495k| 3.7 | 470M| 63 | 8 | 70 |3362 | 70 | 18 | 20 | 784k|4100 | 0.000000e+00 | -- | Inf
1560.13/1560.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.13/1560.66 c 1370s| 2330k|620890 | 8531k| 3.7 | 472M| 63 | - | 70 |2859 | 70 | 18 | 20 | 787k|4102 | 0.000000e+00 | -- | Inf
1566.73/1567.23 c 1376s| 2340k|623831 | 8568k| 3.7 | 474M| 63 | - | 70 |4077 | 70 | 18 | 20 | 791k|4108 | 0.000000e+00 | -- | Inf
1573.72/1574.23 c 1382s| 2350k|626212 | 8604k| 3.7 | 476M| 63 | - | 70 |3423 | 70 | 18 | 20 | 794k|4121 | 0.000000e+00 | -- | Inf
1580.62/1581.10 c 1388s| 2360k|628747 | 8640k| 3.7 | 478M| 63 | 8 | 70 |3818 | 70 | 18 | 20 | 797k|4124 | 0.000000e+00 | -- | Inf
1587.42/1587.90 c 1394s| 2370k|631372 | 8676k| 3.7 | 480M| 63 | 8 | 70 |4526 | 70 | 18 | 20 | 801k|4132 | 0.000000e+00 | -- | Inf
1594.43/1594.90 c 1401s| 2380k|634059 | 8712k| 3.7 | 482M| 63 | - | 70 |4153 | 70 | 18 | 20 | 804k|4142 | 0.000000e+00 | -- | Inf
1601.51/1602.01 c 1407s| 2390k|636608 | 8748k| 3.7 | 484M| 63 | 8 | 70 |3550 | 70 | 18 | 20 | 807k|4151 | 0.000000e+00 | -- | Inf
1608.51/1609.00 c 1413s| 2400k|638910 | 8784k| 3.7 | 486M| 63 | - | 70 |3428 | 0 | 0 | 20 | 811k|4162 | 0.000000e+00 | -- | Inf
1615.61/1616.19 c 1419s| 2410k|641087 | 8821k| 3.7 | 488M| 63 | 8 | 70 |3067 | 70 | 18 | 20 | 814k|4166 | 0.000000e+00 | -- | Inf
1622.40/1622.96 c 1425s| 2420k|643641 | 8857k| 3.7 | 490M| 63 | 8 | 70 |3931 | 70 | 18 | 20 | 817k|4170 | 0.000000e+00 | -- | Inf
1629.51/1630.01 c 1432s| 2430k|646144 | 8893k| 3.7 | 492M| 63 | 8 | 70 |3109 | 70 | 18 | 20 | 821k|4174 | 0.000000e+00 | -- | Inf
1636.60/1637.19 c 1438s| 2440k|648326 | 8931k| 3.7 | 494M| 63 | 8 | 70 |2878 | 70 | 18 | 20 | 824k|4183 | 0.000000e+00 | -- | Inf
1643.40/1643.99 c 1444s| 2450k|650846 | 8967k| 3.7 | 496M| 63 | - | 70 |3452 | 70 | 18 | 20 | 828k|4189 | 0.000000e+00 | -- | Inf
1650.39/1650.94 c 1450s| 2460k|653296 | 9004k| 3.7 | 498M| 63 | 8 | 70 |3317 | 70 | 18 | 20 | 831k|4189 | 0.000000e+00 | -- | Inf
1657.30/1657.81 c 1456s| 2470k|655875 | 9042k| 3.7 | 500M| 63 | 8 | 70 |3833 | 70 | 18 | 20 | 835k|4189 | 0.000000e+00 | -- | Inf
1663.89/1664.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.89/1664.49 c 1462s| 2480k|658837 | 9078k| 3.7 | 502M| 63 | 8 | 70 |4182 | 70 | 18 | 20 | 837k|4189 | 0.000000e+00 | -- | Inf
1671.19/1671.73 c 1468s| 2490k|661135 | 9114k| 3.7 | 504M| 63 | 8 | 70 |3441 | 70 | 18 | 20 | 841k|4189 | 0.000000e+00 | -- | Inf
1678.28/1678.89 c 1475s| 2500k|663414 | 9151k| 3.7 | 505M| 63 | - | 70 |3028 | 70 | 18 | 20 | 844k|4189 | 0.000000e+00 | -- | Inf
1685.28/1685.88 c 1481s| 2510k|665808 | 9187k| 3.7 | 507M| 63 | 8 | 70 |2658 | 70 | 18 | 20 | 848k|4189 | 0.000000e+00 | -- | Inf
1692.18/1692.76 c 1487s| 2520k|668104 | 9222k| 3.7 | 509M| 63 | 8 | 70 |3027 | 70 | 18 | 20 | 851k|4189 | 0.000000e+00 | -- | Inf
1699.28/1699.81 c 1493s| 2530k|670481 | 9259k| 3.7 | 511M| 63 | 8 | 70 |2421 | 70 | 18 | 20 | 855k|4189 | 0.000000e+00 | -- | Inf
1706.08/1706.66 c 1499s| 2540k|673042 | 9296k| 3.7 | 513M| 63 | - | 70 |2907 | 0 | 0 | 20 | 858k|4195 | 0.000000e+00 | -- | Inf
1713.19/1713.74 c 1505s| 2550k|675256 | 9333k| 3.7 | 515M| 63 | 8 | 70 |3086 | 70 | 18 | 20 | 862k|4201 | 0.000000e+00 | -- | Inf
1720.28/1720.83 c 1512s| 2560k|677563 | 9369k| 3.7 | 517M| 63 | - | 70 |2945 | 70 | 18 | 20 | 865k|4208 | 0.000000e+00 | -- | Inf
1727.18/1727.77 c 1518s| 2570k|679900 | 9405k| 3.7 | 519M| 63 | - | 70 |3249 | 70 | 18 | 20 | 869k|4212 | 0.000000e+00 | -- | Inf
1734.18/1734.76 c 1524s| 2580k|682312 | 9443k| 3.7 | 521M| 63 | 8 | 70 |3489 | 70 | 18 | 20 | 872k|4216 | 0.000000e+00 | -- | Inf
1741.17/1741.79 c 1530s| 2590k|684796 | 9479k| 3.7 | 523M| 63 | - | 70 |3246 | 70 | 18 | 20 | 875k|4221 | 0.000000e+00 | -- | Inf
1748.37/1748.95 c 1537s| 2600k|687128 | 9516k| 3.7 | 525M| 63 | 8 | 70 |2947 | 70 | 18 | 20 | 879k|4226 | 0.000000e+00 | -- | Inf
1755.46/1756.04 c 1543s| 2610k|689309 | 9552k| 3.7 | 527M| 63 | 8 | 70 |3320 | 70 | 18 | 20 | 882k|4231 | 0.000000e+00 | -- | Inf
1762.16/1762.72 c 1549s| 2620k|692087 | 9588k| 3.7 | 529M| 63 | - | 70 |3533 | 70 | 18 | 20 | 885k|4239 | 0.000000e+00 | -- | Inf
1769.16/1769.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.16/1769.76 c 1555s| 2630k|694471 | 9624k| 3.7 | 530M| 63 | - | 70 |2962 | 70 | 18 | 20 | 889k|4243 | 0.000000e+00 | -- | Inf
1776.06/1776.65 c 1561s| 2640k|696872 | 9661k| 3.7 | 532M| 63 | 8 | 70 |2931 | 70 | 18 | 20 | 892k|4248 | 0.000000e+00 | -- | Inf
1783.15/1783.75 c 1567s| 2650k|698958 | 9699k| 3.7 | 534M| 63 | 8 | 70 |2763 | 70 | 18 | 20 | 896k|4253 | 0.000000e+00 | -- | Inf
1789.66/1790.27 c 1573s| 2660k|701824 | 9736k| 3.7 | 536M| 63 | - | 70 |3855 | 70 | 18 | 20 | 899k|4254 | 0.000000e+00 | -- | Inf
1796.65/1797.22 c 1579s| 2670k|704588 | 9771k| 3.7 | 538M| 63 | 8 | 70 |2934 | 70 | 18 | 20 | 902k|4255 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1582.16
1800.07/1800.61 c Solving Nodes : 2674699
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1582.16
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2665440-1276599929.opb
1800.07/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 17 initial, 17 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2665440-1276599929.opb
1800.07/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 8 initial, 4659 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.01 0 0 0 0 0 9 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1692808 0 241 1425 0 0 3382440
1800.07/1800.61 c linear : 8+ 7 6332482 0 0 55198 2290533 0 0 0
1800.07/1800.61 c logicor : 0+ 0 2471822 0 0 2803 860469 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 21.46 0.00 0.00 21.46 0.00
1800.07/1800.61 c linear : 368.27 0.00 368.27 0.00 0.00
1800.07/1800.61 c logicor : 123.71 0.00 123.71 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 3.02 2 0 0
1800.07/1800.61 c rootredcost : 2.92 0 0 0
1800.07/1800.61 c pseudoobj : 2.77 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 10.45 58001 54334 217048 47.3 2 39.0 -
1800.07/1800.61 c infeasible LP : 52.68 927366 722010 1264381 30.9 4487 34.5 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 744054 25.5 - - -
1800.07/1800.61 c applied locally : - - - 159968 39.2 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 3 - (maximal pool size: 95)
1800.07/1800.61 c redcost : 4.52 1692812 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 6 0 0 42 0
1800.07/1800.61 c cmir : 0.03 6 0 0 27 0
1800.07/1800.61 c flowcover : 0.04 6 0 0 40 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.11 1 0 0 0 1
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 19.24 1692808 241 1425 0 0 3382440
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 2.39 0 0
1800.07/1800.61 c crossover : 1.46 0 0
1800.07/1800.61 c guideddiving : 0.15 0 0
1800.07/1800.61 c intshifting : 0.07 0 0
1800.07/1800.61 c pscostdiving : 0.22 27 0
1800.07/1800.61 c fracdiving : 0.16 27 0
1800.07/1800.61 c veclendiving : 0.12 27 0
1800.07/1800.61 c linesearchdiving : 0.13 27 0
1800.07/1800.61 c feaspump : 0.16 14 0
1800.07/1800.61 c objpscostdiving : 0.09 14 0
1800.07/1800.61 c rootsoldiving : 0.20 14 0
1800.07/1800.61 c coefdiving : 0.14 28 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 0.77 0 0
1800.07/1800.61 c zirounding : 1.53 1000 0
1800.07/1800.61 c rounding : 2.20 18506 0
1800.07/1800.61 c shifting : 4.61 5760 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.01 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.19 0 0
1800.07/1800.61 c trysol : 1.85 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 659.25 2574132 9786782 3.80 14845.33
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.19 806 1887 2.34 9931.58
1800.07/1800.61 c strong branching : 1.61 4256 27895 6.55 17326.09
1800.07/1800.61 c (at root node) : - 9 465 51.67 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 2674699
1800.07/1800.61 c nodes (total) : 2674699
1800.07/1800.61 c nodes left : 705686
1800.07/1800.61 c max depth : 63
1800.07/1800.61 c max depth (total): 63
1800.07/1800.61 c backtracks : 220455 (8.2%)
1800.07/1800.61 c delayed cutoffs : 2056
1800.07/1800.61 c repropagations : 2583758 (830574 domain reductions, 1802 cutoffs)
1800.07/1800.61 c avg switch length: 5.45
1800.07/1800.61 c switching time : 150.17
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 79
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665440-1276599929/watcher-2665440-1276599929 -o /tmp/evaluation-result-2665440-1276599929/solver-2665440-1276599929 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665440-1276599929.opb -t 1800 -m 1800
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.06 3/105 11247
/proc/meminfo: memFree=1437264/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=9288 CPUtime=0
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 1157 0 0 0 0 0 0 0 25 0 1 0 1286443 9510912 1078 1992294400 4194304 9819077 140734265491920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11247/statm: 2322 1089 371 1374 0 943 0
[startup+0.0935931 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 11247
/proc/meminfo: memFree=1437264/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=22072 CPUtime=0.08
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 5112 0 0 0 6 2 0 0 18 0 1 0 1286443 22601728 3899 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 5518 3899 676 1374 0 4139 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22072
[startup+0.101597 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 11247
/proc/meminfo: memFree=1437264/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=22072 CPUtime=0.09
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 5113 0 0 0 7 2 0 0 18 0 1 0 1286443 22601728 3900 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 5518 3900 676 1374 0 4139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22072
[startup+0.301614 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 11247
/proc/meminfo: memFree=1437264/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=16880 CPUtime=0.3
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 8393 0 0 0 26 4 0 0 18 0 1 0 1286443 17285120 2722 1992294400 4194304 9819077 140734265491920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 4220 2723 721 1374 0 2841 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16880
[startup+0.701655 s]
/proc/loadavg: 1.00 1.00 1.06 3/105 11247
/proc/meminfo: memFree=1437264/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=15680 CPUtime=0.7
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 15080 0 0 0 60 10 0 0 18 0 1 0 1286443 16056320 2718 1992294400 4194304 9819077 140734265491920 18446744073709551615 6367470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 3920 2718 723 1374 0 2541 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 15680
[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 11248
/proc/meminfo: memFree=1428576/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=16148 CPUtime=1.49
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 20889 0 0 0 130 19 0 0 19 0 1 0 1286443 16535552 2795 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 4037 2795 723 1374 0 2658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16148
[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 11248
/proc/meminfo: memFree=1428328/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=17500 CPUtime=3.09
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 34726 0 0 0 270 39 0 0 25 0 1 0 1286443 17920000 3067 1992294400 4194304 9819077 140734265491920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 4375 3067 723 1374 0 2996 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17500
[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 11248
/proc/meminfo: memFree=1425104/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=20144 CPUtime=6.29
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 66676 0 0 0 549 80 0 0 25 0 1 0 1286443 20627456 3739 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 5036 3739 723 1374 0 3657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20144
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 11248
/proc/meminfo: memFree=1422128/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=22656 CPUtime=12.69
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 130740 0 0 0 1104 165 0 0 25 0 1 0 1286443 23199744 4405 1992294400 4194304 9819077 140734265491920 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 5704 4406 723 1374 0 4325 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22656
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 11248
/proc/meminfo: memFree=1416176/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=28688 CPUtime=25.49
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 261973 0 0 0 2220 329 0 0 25 0 1 0 1286443 29376512 5887 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 7172 5887 724 1374 0 5793 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28688
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 11248
/proc/meminfo: memFree=1405264/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=38956 CPUtime=51.07
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 500175 0 0 0 4455 652 0 0 25 0 1 0 1286443 39890944 8558 1992294400 4194304 9819077 140734265491920 18446744073709551615 5004480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 9739 8558 724 1374 0 8360 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38956
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 11250
/proc/meminfo: memFree=1384680/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=59304 CPUtime=102.27
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 980806 0 0 0 8912 1315 0 0 25 0 1 0 1286443 60727296 13690 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 14826 13690 724 1374 0 13447 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59304
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 11252
/proc/meminfo: memFree=1361616/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=83952 CPUtime=162.24
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 1554957 0 0 0 14117 2107 0 0 25 0 1 0 1286443 85966848 19432 1992294400 4194304 9819077 140734265491920 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 20988 19432 724 1374 0 19609 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83952
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/106 11254
/proc/meminfo: memFree=1341776/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=103264 CPUtime=222.22
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 2120551 0 0 0 19340 2882 0 0 25 0 1 0 1286443 105742336 24358 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 25816 24358 724 1374 0 24437 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 103264
[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.04 2/106 11254
/proc/meminfo: memFree=1321688/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=124036 CPUtime=282.2
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 2683152 0 0 0 24568 3652 0 0 25 0 1 0 1286443 127012864 29659 1992294400 4194304 9819077 140734265491920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 30769 29654 724 1374 0 29390 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 124036
[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.04 2/106 11256
/proc/meminfo: memFree=1301848/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=141896 CPUtime=342.18
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 3238668 0 0 0 29810 4408 0 0 25 0 1 0 1286443 145301504 34268 1992294400 4194304 9819077 140734265491920 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 35514 34269 724 1374 0 34135 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 141896
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 11258
/proc/meminfo: memFree=1283124/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=160276 CPUtime=402.17
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 3791959 0 0 0 35042 5175 0 0 25 0 1 0 1286443 164122624 39022 1992294400 4194304 9819077 140734265491920 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 40149 39023 724 1374 0 38770 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 160276
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 11260
/proc/meminfo: memFree=1264152/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=183432 CPUtime=462.14
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 4346489 0 0 0 40310 5904 0 0 25 0 1 0 1286443 187834368 43733 1992294400 4194304 9819077 140734265491920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 45858 43733 724 1374 0 44479 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 183432
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 11262
/proc/meminfo: memFree=1244560/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=202556 CPUtime=522.13
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 4902789 0 0 0 45570 6643 0 0 25 0 1 0 1286443 207417344 48574 1992294400 4194304 9819077 140734265491920 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 50639 48574 724 1374 0 49260 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 202556
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 11262
/proc/meminfo: memFree=1225216/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=221352 CPUtime=582.11
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 5453283 0 0 0 50851 7360 0 0 25 0 1 0 1286443 226664448 53379 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 55338 53379 724 1374 0 53959 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 221352
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 11264
/proc/meminfo: memFree=1207980/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=238108 CPUtime=642.1
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 6001465 0 0 0 56125 8085 0 0 25 0 1 0 1286443 243822592 57610 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 59527 57610 724 1374 0 58148 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 238108
[startup+702.301 s]
################
# More data... #
################
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 9275505 0 0 0 87815 12384 0 0 25 0 1 0 1286443 355717120 85520 1992294400 4194304 9819077 140734265491920 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 86885 85521 724 1374 0 85506 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 347380
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11276
/proc/meminfo: memFree=1079764/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=362744 CPUtime=1061.97
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 9819950 0 0 0 93094 13103 0 0 25 0 1 0 1286443 371449856 89453 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 90686 89453 724 1374 0 89307 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 362744
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11278
/proc/meminfo: memFree=1060792/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=389172 CPUtime=1121.96
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 10365643 0 0 0 98389 13807 0 0 25 0 1 0 1286443 398512128 94175 1992294400 4194304 9819077 140734265491920 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 97413 94178 724 1374 0 96034 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 389172
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11278
/proc/meminfo: memFree=1044300/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=406028 CPUtime=1181.94
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 10908317 0 0 0 103661 14533 0 0 25 0 1 0 1286443 415772672 98334 1992294400 4194304 9819077 140734265491920 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 101507 98334 724 1374 0 100128 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 406028
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11280
/proc/meminfo: memFree=1027932/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=421244 CPUtime=1241.92
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 11448163 0 0 0 108943 15249 0 0 25 0 1 0 1286443 431353856 102252 1992294400 4194304 9819077 140734265491920 18446744073709551615 6210116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 105311 102252 724 1374 0 103932 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 421244
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11282
/proc/meminfo: memFree=1011192/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=437928 CPUtime=1301.91
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 11987200 0 0 0 114232 15959 0 0 25 0 1 0 1286443 448438272 106403 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 109482 106403 724 1374 0 108103 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 437928
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11284
/proc/meminfo: memFree=992220/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=456380 CPUtime=1361.88
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 12527056 0 0 0 119525 16663 0 0 25 0 1 0 1286443 467333120 111124 1992294400 4194304 9819077 140734265491920 18446744073709551615 6830631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 114095 111124 724 1374 0 112716 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 456380
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11286
/proc/meminfo: memFree=972752/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=475324 CPUtime=1421.88
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 13066782 0 0 0 124803 17385 0 0 25 0 1 0 1286443 486731776 115970 1992294400 4194304 9819077 140734265491920 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 118751 115967 724 1374 0 117372 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 475324
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11286
/proc/meminfo: memFree=956136/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=491148 CPUtime=1481.85
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 13603849 0 0 0 130108 18077 0 0 25 0 1 0 1286443 502935552 120079 1992294400 4194304 9819077 140734265491920 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 122827 120080 724 1374 0 121448 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 491148
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11288
/proc/meminfo: memFree=939396/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=507604 CPUtime=1541.84
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 14138089 0 0 0 135410 18774 0 0 25 0 1 0 1286443 519786496 124251 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 126901 124251 724 1374 0 125522 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 507604
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11293
/proc/meminfo: memFree=918192/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=528252 CPUtime=1601.81
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 14677966 0 0 0 140707 19474 0 0 25 0 1 0 1286443 540930048 129398 1992294400 4194304 9819077 140734265491920 18446744073709551615 4978284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 132063 129398 724 1374 0 130684 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 528252
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11295
/proc/meminfo: memFree=898600/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=547440 CPUtime=1661.8
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 15216508 0 0 0 145996 20184 0 0 25 0 1 0 1286443 560578560 134305 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 136860 134305 724 1374 0 135481 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 547440
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11297
/proc/meminfo: memFree=883224/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=562496 CPUtime=1721.77
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 15747405 0 0 0 151298 20879 0 0 25 0 1 0 1286443 575995904 138167 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 140624 138167 724 1374 0 139245 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 562496
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11297
/proc/meminfo: memFree=864500/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=580664 CPUtime=1781.76
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 16284825 0 0 0 156597 21579 0 0 25 0 1 0 1286443 594599936 142818 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 145166 142818 724 1374 0 143787 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 580664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11299
/proc/meminfo: memFree=858796/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=586144 CPUtime=1800.07
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 16448987 0 0 0 158216 21791 0 0 25 0 1 0 1286443 600211456 144224 1992294400 4194304 9819077 140734265491920 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11247/statm: 146536 144224 724 1374 0 145157 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 586144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11247
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11299
/proc/meminfo: memFree=858796/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=586144 CPUtime=1800.85
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 16448993 0 0 0 158294 21791 0 0 18 0 1 0 1286443 600211456 144225 1992294400 4194304 9819077 140734265491920 18446744073709551615 6180029 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11247/statm: 146536 144225 725 1374 0 145157 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 586144
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11300
/proc/meminfo: memFree=858664/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=586144 CPUtime=1801.65
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 16448993 0 0 0 158374 21791 0 0 20 0 1 0 1286443 600211456 144225 1992294400 4194304 9819077 140734265491920 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11247/statm: 146536 144225 725 1374 0 145157 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 586144
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11300
/proc/meminfo: memFree=858664/2059040 swapFree=4192956/4192956
[pid=11247] ppid=11245 vsize=586144 CPUtime=1802.05
/proc/11247/stat : 11247 (pbscip.linux.x8) R 11245 11247 2383 0 -1 4202496 16448993 0 0 0 158414 21791 0 0 21 0 1 0 1286443 600211456 144225 1992294400 4194304 9819077 140734265491920 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11247/statm: 146536 144225 725 1374 0 145157 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 586144
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.13
CPU user time (s): 1584.16
CPU system time (s): 217.963
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 586144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1584.16
system time used= 217.963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16448993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2700
runsolver used 3.23151 second user time and 8.27674 second system time
The end