0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452511-1307085525.opb>
0.39/0.40 c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
0.39/0.40 c problem read
0.39/0.40 c presolving settings loaded
0.49/0.57 c presolving:
0.89/0.93 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 66272 upgd conss, 392598 impls, 0 clqs
0.89/1.00 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 68397 upgd conss, 392598 impls, 0 clqs
9.79/9.87 c (9.9s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
18.70/18.77 c (18.8s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
18.70/18.78 c (18.8s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
18.70/18.78 c (18.8s) probing aborted: 2000/2000 successive useless probings
18.70/18.78 c presolving (3 rounds):
18.70/18.78 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.70/18.78 c 524786 implications, 0 cliques
18.70/18.78 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
18.70/18.78 c 68272 constraints of type <setppc>
18.70/18.78 c 125 constraints of type <logicor>
18.70/18.78 c transformed objective value is always integral (scale: 1)
18.70/18.78 c Presolving Time: 18.34
18.70/18.78 c - non default parameters ----------------------------------------------------------------------
18.70/18.78 c # SCIP version 2.0.1.4
18.70/18.78 c
18.70/18.78 c # frequency for displaying node information lines
18.70/18.78 c # [type: int, range: [-1,2147483647], default: 100]
18.70/18.78 c display/freq = 10000
18.70/18.78 c
18.70/18.78 c # maximal time in seconds to run
18.70/18.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.70/18.78 c limits/time = 1800
18.70/18.78 c
18.70/18.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.70/18.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.70/18.78 c limits/memory = 13950
18.70/18.78 c
18.70/18.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
18.70/18.78 c # [type: int, range: [1,2], default: 1]
18.70/18.78 c timing/clocktype = 2
18.70/18.78 c
18.70/18.78 c # belongs reading time to solving time?
18.70/18.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.70/18.78 c timing/reading = TRUE
18.70/18.78 c
18.70/18.78 c # should presolving try to simplify inequalities
18.70/18.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.70/18.78 c constraints/linear/simplifyinequalities = TRUE
18.70/18.78 c
18.70/18.78 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
18.70/18.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.70/18.78 c constraints/indicator/addCouplingCons = TRUE
18.70/18.78 c
18.70/18.78 c # should presolving try to simplify knapsacks
18.70/18.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.70/18.78 c constraints/knapsack/simplifyinequalities = TRUE
18.70/18.78 c
18.70/18.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.70/18.78 c # [type: int, range: [-1,2147483647], default: -1]
18.70/18.78 c separating/rapidlearning/freq = 0
18.70/18.78 c
18.70/18.78 c -----------------------------------------------------------------------------------------------
18.70/18.78 c start solving
18.70/18.79 c
21.59/21.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.59/21.65 c 21.7s| 1 | 0 | 2654 | - | 99M| 0 |2375 |4250 | 68k|4250 | 68k| 0 | 136 | 0 | 1.187500e+03 | -- | Inf
27.69/27.75 c 27.7s| 1 | 0 | 8034 | - | 99M| 0 |2343 |4250 | 68k|4250 | 68k| 23 | 136 | 0 | 1.203500e+03 | -- | Inf
29.70/29.79 c 29.8s| 1 | 0 | 8394 | - | 99M| 0 |2292 |4250 | 68k|4250 | 68k| 56 | 136 | 0 | 1.229000e+03 | -- | Inf
32.29/32.38 c 32.4s| 1 | 0 | 8823 | - | 99M| 0 |2240 |4250 | 68k|4250 | 68k| 108 | 136 | 0 | 1.255000e+03 | -- | Inf
35.20/35.23 c 35.2s| 1 | 0 | 9279 | - | 99M| 0 |2193 |4250 | 68k|4250 | 68k| 151 | 136 | 0 | 1.280250e+03 | -- | Inf
38.19/38.27 c 38.3s| 1 | 0 | 9791 | - | 99M| 0 |2154 |4250 | 68k|4250 | 68k| 195 | 136 | 0 | 1.301250e+03 | -- | Inf
41.49/41.57 c 41.6s| 1 | 0 | 10361 | - | 99M| 0 |2107 |4250 | 68k|4250 | 68k| 244 | 136 | 0 | 1.321750e+03 | -- | Inf
45.49/45.51 c 45.5s| 1 | 0 | 11395 | - | 100M| 0 |2080 |4250 | 68k|4250 | 68k| 295 | 136 | 0 | 1.338500e+03 | -- | Inf
49.39/49.50 c 49.5s| 1 | 0 | 12056 | - | 100M| 0 |2045 |4250 | 68k|4250 | 68k| 340 | 136 | 0 | 1.354850e+03 | -- | Inf
53.29/53.36 c 53.4s| 1 | 0 | 12844 | - | 100M| 0 |2005 |4250 | 68k|4250 | 68k| 394 | 136 | 0 | 1.375500e+03 | -- | Inf
57.70/57.72 c 57.7s| 1 | 0 | 13950 | - | 100M| 0 |2000 |4250 | 68k|4250 | 68k| 442 | 136 | 0 | 1.388472e+03 | -- | Inf
59.69/59.70 c 59.7s| 1 | 0 | 14892 | - | 100M| 0 |1973 |4250 | 68k|4250 | 68k| 483 | 136 | 0 | 1.400717e+03 | -- | Inf
61.60/61.67 c 61.7s| 1 | 0 | 15837 | - | 101M| 0 |1951 |4250 | 68k|4250 | 68k| 528 | 136 | 0 | 1.411300e+03 | -- | Inf
63.59/63.60 c 63.6s| 1 | 0 | 16485 | - | 101M| 0 |1948 |4250 | 68k|4250 | 68k| 575 | 136 | 0 | 1.421350e+03 | -- | Inf
65.49/65.57 c 65.6s| 1 | 0 | 17439 | - | 102M| 0 |1947 |4250 | 68k|4250 | 69k| 617 | 136 | 0 | 1.430000e+03 | -- | Inf
68.59/68.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.59/68.66 c 68.7s| 1 | 0 | 19188 | - | 102M| 0 |1950 |4250 | 68k|4250 | 69k| 676 | 136 | 0 | 1.442875e+03 | -- | Inf
71.50/71.58 c 71.6s| 1 | 0 | 21039 | - | 103M| 0 |1908 |4250 | 68k|4250 | 69k| 731 | 136 | 0 | 1.452958e+03 | -- | Inf
73.79/73.82 c 73.8s| 1 | 0 | 22340 | - | 103M| 0 |1881 |4250 | 68k|4250 | 69k| 778 | 136 | 0 | 1.461146e+03 | -- | Inf
80.59/80.63 c 80.6s| 1 | 0 | 28125 | - | 104M| 0 |1900 |4250 | 68k|4250 | 69k| 826 | 136 | 0 | 1.470847e+03 | -- | Inf
83.50/83.58 c 83.6s| 1 | 0 | 30191 | - | 104M| 0 |1846 |4250 | 68k|4250 | 69k| 876 | 136 | 0 | 1.481521e+03 | -- | Inf
86.49/86.58 c 86.6s| 1 | 0 | 32197 | - | 104M| 0 |1842 |4250 | 68k|4250 | 69k| 924 | 136 | 0 | 1.491504e+03 | -- | Inf
90.59/90.65 c 90.7s| 1 | 0 | 34963 | - | 105M| 0 |1846 |4250 | 68k|4250 | 69k| 981 | 136 | 0 | 1.501750e+03 | -- | Inf
98.09/98.14 c 98.1s| 1 | 0 | 40974 | - | 105M| 0 |1803 |4250 | 68k|4250 | 69k|1030 | 136 | 0 | 1.510000e+03 | -- | Inf
101.20/101.23 c 101s| 1 | 0 | 43154 | - | 105M| 0 |1793 |4250 | 68k|4250 | 69k|1079 | 136 | 0 | 1.514500e+03 | -- | Inf
107.39/107.44 c 107s| 1 | 0 | 47984 | - | 106M| 0 |1798 |4250 | 68k|4250 | 69k|1120 | 136 | 0 | 1.516969e+03 | -- | Inf
109.90/109.92 c 110s| 1 | 0 | 49782 | - | 106M| 0 |1809 |4250 | 68k|4250 | 69k|1175 | 136 | 0 | 1.523958e+03 | -- | Inf
115.50/115.51 c 116s| 1 | 0 | 54365 | - | 106M| 0 |1806 |4250 | 68k|4250 | 69k|1222 | 136 | 0 | 1.530964e+03 | -- | Inf
118.29/118.39 c 118s| 1 | 0 | 56567 | - | 106M| 0 |1760 |4250 | 68k|4250 | 69k|1270 | 136 | 0 | 1.536000e+03 | -- | Inf
124.99/125.09 c 125s| 1 | 0 | 62371 | - | 107M| 0 |1752 |4250 | 68k|4250 | 69k|1321 | 136 | 0 | 1.543667e+03 | -- | Inf
127.99/128.02 c 128s| 1 | 0 | 64197 | - | 107M| 0 |1748 |4250 | 68k|4250 | 69k|1375 | 136 | 0 | 1.554625e+03 | -- | Inf
134.70/134.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.70/134.76 c 135s| 1 | 0 | 70381 | - | 107M| 0 |1707 |4250 | 68k|4250 | 69k|1423 | 136 | 0 | 1.562375e+03 | -- | Inf
136.99/137.04 c 137s| 1 | 0 | 71869 | - | 107M| 0 |1701 |4250 | 68k|4250 | 69k|1485 | 136 | 0 | 1.569792e+03 | -- | Inf
141.80/141.81 c 142s| 1 | 0 | 75221 | - | 108M| 0 |1674 |4250 | 68k|4250 | 69k|1540 | 136 | 0 | 1.578381e+03 | -- | Inf
145.00/145.10 c 145s| 1 | 0 | 77818 | - | 108M| 0 |1637 |4250 | 68k|4250 | 69k|1597 | 136 | 0 | 1.584212e+03 | -- | Inf
147.79/147.89 c 148s| 1 | 0 | 80154 | - | 108M| 0 |1678 |4250 | 68k|4250 | 69k|1645 | 136 | 0 | 1.589625e+03 | -- | Inf
154.49/154.56 c 155s| 1 | 0 | 86224 | - | 108M| 0 |1667 |4250 | 68k|4250 | 69k|1696 | 136 | 0 | 1.598500e+03 | -- | Inf
163.59/163.64 c 164s| 1 | 0 | 94111 | - | 109M| 0 |1640 |4250 | 68k|4250 | 69k|1740 | 136 | 0 | 1.604348e+03 | -- | Inf
165.69/165.79 c 166s| 1 | 0 | 95272 | - | 109M| 0 |1620 |4250 | 68k|4250 | 69k|1794 | 136 | 0 | 1.609750e+03 | -- | Inf
172.70/172.74 c 173s| 1 | 0 |100606 | - | 109M| 0 |1603 |4250 | 68k|4250 | 69k|1845 | 136 | 0 | 1.613083e+03 | -- | Inf
175.70/175.73 c 176s| 1 | 0 |102892 | - | 109M| 0 |1597 |4250 | 68k|4250 | 69k|1897 | 136 | 0 | 1.619000e+03 | -- | Inf
181.39/181.50 c 181s| 1 | 0 |108145 | - | 110M| 0 |1612 |4250 | 68k|4250 | 69k|1943 | 136 | 0 | 1.623370e+03 | -- | Inf
190.19/190.26 c 190s| 1 | 0 |114932 | - | 110M| 0 |1658 |4250 | 68k|4250 | 69k|1992 | 136 | 0 | 1.629620e+03 | -- | Inf
193.99/194.02 c 194s| 1 | 0 |118255 | - | 110M| 0 |1718 |4250 | 68k|4250 | 69k|2035 | 136 | 0 | 1.635084e+03 | -- | Inf
197.58/197.68 c 198s| 1 | 0 |121139 | - | 111M| 0 |1639 |4250 | 68k|4250 | 69k|2094 | 136 | 0 | 1.642078e+03 | -- | Inf
203.08/203.16 c 203s| 1 | 0 |125906 | - | 111M| 0 |1559 |4250 | 68k|4250 | 69k|2149 | 136 | 0 | 1.646833e+03 | -- | Inf
208.09/208.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.09/208.18 c 208s| 1 | 0 |129597 | - | 111M| 0 |1568 |4250 | 68k|4250 | 69k|2200 | 136 | 0 | 1.652995e+03 | -- | Inf
211.78/211.83 c 212s| 1 | 0 |132334 | - | 112M| 0 |1514 |4250 | 68k|4250 | 69k|2246 | 136 | 0 | 1.657991e+03 | -- | Inf
228.48/228.57 c 229s| 1 | 0 |142607 | - | 112M| 0 |1494 |4250 | 68k|4250 | 69k|2299 | 136 | 0 | 1.662663e+03 | -- | Inf
233.09/233.12 c 233s| 1 | 0 |145596 | - | 112M| 0 |1487 |4250 | 68k|4250 | 69k|2348 | 136 | 0 | 1.670115e+03 | -- | Inf
240.08/240.17 c 240s| 1 | 0 |151534 | - | 112M| 0 |1533 |4250 | 68k|4250 | 69k|2407 | 136 | 0 | 1.676714e+03 | -- | Inf
242.69/242.79 c 243s| 1 | 0 |153468 | - | 112M| 0 |1478 |4250 | 68k|4250 | 69k|2466 | 136 | 0 | 1.680494e+03 | -- | Inf
252.59/252.68 c 253s| 1 | 0 |160692 | - | 113M| 0 |1490 |4250 | 68k|4250 | 69k|2527 | 136 | 0 | 1.683600e+03 | -- | Inf
258.78/258.82 c 259s| 1 | 0 |165666 | - | 113M| 0 |1477 |4250 | 68k|4250 | 69k|2574 | 136 | 0 | 1.687403e+03 | -- | Inf
261.88/261.99 c 262s| 1 | 0 |167910 | - | 113M| 0 |1501 |4250 | 68k|4250 | 69k|2626 | 136 | 0 | 1.690804e+03 | -- | Inf
268.40/268.43 c 268s| 1 | 0 |172469 | - | 113M| 0 |1498 |4250 | 68k|4250 | 69k|2671 | 136 | 0 | 1.693314e+03 | -- | Inf
274.38/274.46 c 274s| 1 | 0 |177006 | - | 114M| 0 |1517 |4250 | 68k|4250 | 69k|2722 | 136 | 0 | 1.696481e+03 | -- | Inf
277.59/277.69 c 278s| 1 | 0 |179226 | - | 114M| 0 |1571 |4250 | 68k|4250 | 69k|2767 | 136 | 0 | 1.700300e+03 | -- | Inf
284.99/285.08 c 285s| 1 | 0 |185264 | - | 114M| 0 |1519 |4250 | 68k|4250 | 69k|2820 | 136 | 0 | 1.705004e+03 | -- | Inf
298.39/298.41 c 298s| 1 | 0 |192839 | - | 114M| 0 |1507 |4250 | 68k|4250 | 69k|2868 | 136 | 0 | 1.709937e+03 | -- | Inf
302.59/302.60 c 303s| 1 | 0 |195723 | - | 115M| 0 |1547 |4250 | 68k|4250 | 69k|2912 | 136 | 0 | 1.713922e+03 | -- | Inf
308.59/308.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.59/308.60 c 309s| 1 | 0 |200039 | - | 115M| 0 |1547 |4250 | 68k|4250 | 69k|2962 | 136 | 0 | 1.718133e+03 | -- | Inf
318.08/318.12 c 318s| 1 | 0 |206661 | - | 115M| 0 |1488 |4250 | 68k|4250 | 69k|3028 | 136 | 0 | 1.720958e+03 | -- | Inf
326.99/327.01 c 327s| 1 | 0 |214594 | - | 116M| 0 |1466 |4250 | 68k|4250 | 69k|3084 | 136 | 0 | 1.724210e+03 | -- | Inf
338.28/338.30 c 338s| 1 | 0 |222949 | - | 116M| 0 |1549 |4250 | 68k|4250 | 69k|3150 | 136 | 0 | 1.729655e+03 | -- | Inf
346.89/346.97 c 347s| 1 | 0 |229009 | - | 116M| 0 |1517 |4250 | 68k|4250 | 69k|3215 | 136 | 0 | 1.734375e+03 | -- | Inf
351.49/351.51 c 352s| 1 | 0 |231999 | - | 117M| 0 |1503 |4250 | 68k|4250 | 69k|3276 | 136 | 0 | 1.738375e+03 | -- | Inf
364.49/364.50 c 365s| 1 | 0 |240940 | - | 117M| 0 |1478 |4250 | 68k|4250 | 69k|3334 | 136 | 0 | 1.741519e+03 | -- | Inf
379.19/379.28 c 379s| 1 | 0 |250045 | - | 117M| 0 |1579 |4250 | 68k|4250 | 69k|3387 | 136 | 0 | 1.744529e+03 | -- | Inf
387.59/387.60 c 388s| 1 | 0 |254957 | - | 118M| 0 |1518 |4250 | 68k|4250 | 69k|3453 | 136 | 0 | 1.746267e+03 | -- | Inf
400.68/400.70 c 401s| 1 | 0 |264406 | - | 118M| 0 |1567 |4250 | 68k|4250 | 70k|3509 | 136 | 0 | 1.748750e+03 | -- | Inf
408.69/408.75 c 409s| 1 | 0 |270053 | - | 118M| 0 |1551 |4250 | 68k|4250 | 70k|3568 | 136 | 0 | 1.753070e+03 | -- | Inf
419.59/419.64 c 420s| 1 | 0 |277416 | - | 119M| 0 |1537 |4250 | 68k|4250 | 69k|3620 | 136 | 0 | 1.754719e+03 | -- | Inf
432.39/432.43 c 432s| 1 | 0 |285593 | - | 119M| 0 |1489 |4250 | 68k|4250 | 69k|3665 | 136 | 0 | 1.756100e+03 | -- | Inf
439.48/439.50 c 440s| 1 | 0 |290320 | - | 119M| 0 |1560 |4250 | 68k|4250 | 70k|3714 | 136 | 0 | 1.758343e+03 | -- | Inf
445.89/445.96 c 446s| 1 | 0 |294280 | - | 120M| 0 |1600 |4250 | 68k|4250 | 70k|3778 | 136 | 0 | 1.761654e+03 | -- | Inf
455.18/455.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.18/455.28 c 455s| 1 | 0 |299926 | - | 120M| 0 |1590 |4250 | 68k|4250 | 70k|3834 | 136 | 0 | 1.765033e+03 | -- | Inf
468.18/468.26 c 468s| 1 | 0 |309218 | - | 120M| 0 |1629 |4250 | 68k|4250 | 70k|3883 | 136 | 0 | 1.767664e+03 | -- | Inf
477.88/477.96 c 478s| 1 | 0 |316137 | - | 121M| 0 |1634 |4250 | 68k|4250 | 70k|3933 | 136 | 0 | 1.770071e+03 | -- | Inf
490.18/490.21 c 490s| 1 | 0 |324939 | - | 121M| 0 |1626 |4250 | 68k|4250 | 70k|3987 | 136 | 0 | 1.771613e+03 | -- | Inf
496.99/497.02 c 497s| 1 | 0 |329155 | - | 121M| 0 |1641 |4250 | 68k|4250 | 70k|4046 | 136 | 0 | 1.773038e+03 | -- | Inf
502.69/502.72 c 503s| 1 | 0 |332694 | - | 122M| 0 |1653 |4250 | 68k|4250 | 70k|4091 | 136 | 0 | 1.774615e+03 | -- | Inf
513.38/513.46 c 513s| 1 | 0 |338860 | - | 122M| 0 |1626 |4250 | 68k|4250 | 70k|4145 | 136 | 0 | 1.775981e+03 | -- | Inf
530.89/530.95 c 531s| 1 | 0 |349694 | - | 122M| 0 |1782 |4250 | 68k|4250 | 70k|4195 | 136 | 0 | 1.780233e+03 | -- | Inf
540.38/540.44 c 540s| 1 | 0 |356061 | - | 123M| 0 |1692 |4250 | 68k|4250 | 70k|4247 | 136 | 0 | 1.784431e+03 | -- | Inf
561.89/561.91 c 562s| 1 | 0 |367257 | - | 123M| 0 |1709 |4250 | 68k|4250 | 70k|4297 | 136 | 0 | 1.786966e+03 | -- | Inf
572.99/573.10 c 573s| 1 | 0 |373826 | - | 123M| 0 |1720 |4250 | 68k|4250 | 70k|4347 | 136 | 0 | 1.788931e+03 | -- | Inf
589.28/589.35 c 589s| 1 | 0 |382436 | - | 124M| 0 |1693 |4250 | 68k|4250 | 70k|4406 | 136 | 0 | 1.791329e+03 | -- | Inf
605.99/606.05 c 606s| 1 | 0 |392270 | - | 124M| 0 |1743 |4250 | 68k|4250 | 70k|4459 | 136 | 0 | 1.793558e+03 | -- | Inf
617.29/617.35 c 617s| 1 | 0 |398689 | - | 124M| 0 |1719 |4250 | 68k|4250 | 70k|4509 | 136 | 0 | 1.795402e+03 | -- | Inf
633.38/633.45 c 633s| 1 | 0 |407849 | - | 125M| 0 |1773 |4250 | 68k|4250 | 70k|4559 | 136 | 0 | 1.797816e+03 | -- | Inf
649.39/649.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.39/649.41 c 649s| 1 | 0 |416249 | - | 125M| 0 |1723 |4250 | 68k|4250 | 70k|4599 | 136 | 0 | 1.798403e+03 | -- | Inf
661.69/661.71 c 662s| 1 | 0 |422688 | - | 125M| 0 |1820 |4250 | 68k|4250 | 70k|4642 | 136 | 0 | 1.799067e+03 | -- | Inf
677.59/677.66 c 678s| 1 | 0 |431429 | - | 126M| 0 |1796 |4250 | 68k|4250 | 70k|4687 | 136 | 0 | 1.799794e+03 | -- | Inf
690.29/690.37 c 690s| 1 | 0 |437964 | - | 126M| 0 |1835 |4250 | 68k|4250 | 70k|4726 | 136 | 0 | 1.800329e+03 | -- | Inf
707.69/707.74 c 708s| 1 | 0 |447049 | - | 126M| 0 |1817 |4250 | 68k|4250 | 70k|4781 | 136 | 0 | 1.801456e+03 | -- | Inf
721.19/721.27 c 721s| 1 | 0 |453648 | - | 127M| 0 |1810 |4250 | 68k|4250 | 70k|4827 | 136 | 0 | 1.802394e+03 | -- | Inf
735.29/735.35 c 735s| 1 | 0 |460903 | - | 127M| 0 |1838 |4250 | 68k|4250 | 70k|4872 | 136 | 0 | 1.803446e+03 | -- | Inf
756.09/756.18 c 756s| 1 | 0 |471108 | - | 127M| 0 |1839 |4250 | 68k|4250 | 70k|4916 | 136 | 0 | 1.805421e+03 | -- | Inf
771.89/771.96 c 772s| 1 | 0 |478824 | - | 127M| 0 |1848 |4250 | 68k|4250 | 70k|4968 | 136 | 0 | 1.807712e+03 | -- | Inf
782.78/782.87 c 783s| 1 | 0 |484561 | - | 128M| 0 |1861 |4250 | 68k|4250 | 70k|5008 | 136 | 0 | 1.808960e+03 | -- | Inf
804.09/804.18 c 804s| 1 | 0 |494929 | - | 129M| 0 |1842 |4250 | 68k|4250 | 70k|5054 | 136 | 0 | 1.810139e+03 | -- | Inf
825.79/825.82 c 826s| 1 | 0 |505333 | - | 129M| 0 |1820 |4250 | 68k|4250 | 70k|5093 | 136 | 0 | 1.810484e+03 | -- | Inf
841.78/841.88 c 842s| 1 | 0 |514124 | - | 129M| 0 |1832 |4250 | 68k|4250 | 70k|5139 | 136 | 0 | 1.810766e+03 | -- | Inf
850.99/851.00 c 851s| 1 | 0 |518303 | - | 130M| 0 |1826 |4250 | 68k|4250 | 70k|5175 | 136 | 0 | 1.811309e+03 | -- | Inf
866.59/866.68 c 867s| 1 | 0 |525691 | - | 130M| 0 |1896 |4250 | 68k|4250 | 70k|5216 | 136 | 0 | 1.811792e+03 | -- | Inf
883.09/883.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.09/883.16 c 883s| 1 | 0 |535269 | - | 130M| 0 |1926 |4250 | 68k|4250 | 70k|5253 | 136 | 0 | 1.812865e+03 | -- | Inf
907.89/908.00 c 908s| 1 | 0 |547107 | - | 131M| 0 |1852 |4250 | 68k|4250 | 70k|5302 | 136 | 0 | 1.814492e+03 | -- | Inf
927.79/927.89 c 928s| 1 | 0 |557058 | - | 131M| 0 |1913 |4250 | 68k|4250 | 70k|5335 | 136 | 0 | 1.816221e+03 | -- | Inf
953.88/953.95 c 954s| 1 | 0 |568394 | - | 131M| 0 |1861 |4250 | 68k|4250 | 70k|5374 | 136 | 0 | 1.817387e+03 | -- | Inf
967.89/967.92 c 968s| 1 | 0 |575341 | - | 131M| 0 |1942 |4250 | 68k|4250 | 70k|5419 | 136 | 0 | 1.818184e+03 | -- | Inf
980.10/980.16 c 980s| 1 | 0 |580898 | - | 132M| 0 |1916 |4250 | 68k|4250 | 70k|5456 | 136 | 0 | 1.818496e+03 | -- | Inf
998.59/998.60 c 999s| 1 | 0 |590152 | - | 132M| 0 |1931 |4250 | 68k|4250 | 70k|5492 | 136 | 0 | 1.818695e+03 | -- | Inf
1023.69/1023.77 c 1024s| 1 | 0 |600938 | - | 132M| 0 |1864 |4250 | 68k|4250 | 70k|5524 | 136 | 0 | 1.818924e+03 | -- | Inf
1041.88/1041.98 c 1042s| 1 | 0 |610483 | - | 132M| 0 |1953 |4250 | 68k|4250 | 70k|5558 | 136 | 0 | 1.819314e+03 | -- | Inf
1074.60/1074.62 c 1075s| 1 | 0 |623349 | - | 132M| 0 |1920 |4250 | 68k|4250 | 70k|5594 | 136 | 0 | 1.819920e+03 | -- | Inf
1084.88/1084.92 c 1085s| 1 | 0 |627916 | - | 132M| 0 |1934 |4250 | 68k|4250 | 70k|5626 | 136 | 0 | 1.820452e+03 | -- | Inf
1091.09/1091.19 c 1091s| 1 | 0 |631021 | - | 131M| 0 |1965 |4250 | 68k|4250 | 70k|5658 | 136 | 0 | 1.820668e+03 | -- | Inf
1100.69/1100.73 c 1101s| 1 | 0 |635209 | - | 131M| 0 |1989 |4250 | 68k|4250 | 70k|5676 | 136 | 0 | 1.821306e+03 | -- | Inf
1109.28/1109.33 c 1109s| 1 | 0 |638028 | - | 131M| 0 |1929 |4250 | 68k|4250 | 70k|5696 | 136 | 0 | 1.821624e+03 | -- | Inf
1119.70/1119.78 c 1120s| 1 | 0 |643410 | - | 131M| 0 |1975 |4250 | 68k|4250 | 70k|5717 | 136 | 0 | 1.821915e+03 | -- | Inf
1132.29/1132.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.29/1132.31 c 1132s| 1 | 0 |647739 | - | 131M| 0 |1975 |4250 | 68k|4250 | 70k|5739 | 136 | 0 | 1.822246e+03 | -- | Inf
1142.49/1142.54 c 1143s| 1 | 0 |652621 | - | 131M| 0 |1977 |4250 | 68k|4250 | 70k|5764 | 136 | 0 | 1.822461e+03 | -- | Inf
1167.89/1167.95 c 1168s| 1 | 0 |657598 | - | 130M| 0 |1973 |4250 | 68k|4250 | 70k|5790 | 136 | 0 | 1.822628e+03 | -- | Inf
1184.60/1184.68 c 1185s| 1 | 0 |665706 | - | 131M| 0 |1959 |4250 | 68k|4250 | 70k|5813 | 136 | 0 | 1.823207e+03 | -- | Inf
1192.98/1193.03 c 1193s| 1 | 0 |669362 | - | 131M| 0 |1952 |4250 | 68k|4250 | 70k|5831 | 136 | 0 | 1.823844e+03 | -- | Inf
1207.39/1207.49 c 1207s| 1 | 0 |676202 | - | 131M| 0 |1934 |4250 | 68k|4250 | 70k|5854 | 136 | 0 | 1.824364e+03 | -- | Inf
1225.48/1225.51 c 1226s| 1 | 0 |686329 | - | 131M| 0 |1929 |4250 | 68k|4250 | 70k|5883 | 136 | 0 | 1.825458e+03 | -- | Inf
1243.99/1244.01 c 1244s| 1 | 0 |696359 | - | 131M| 0 |1946 |4250 | 68k|4250 | 70k|5925 | 136 | 0 | 1.826770e+03 | -- | Inf
1252.68/1252.76 c 1253s| 1 | 0 |699543 | - | 131M| 0 |1933 |4250 | 68k|4250 | 70k|5959 | 136 | 0 | 1.827532e+03 | -- | Inf
1262.79/1262.83 c 1263s| 1 | 0 |704283 | - | 131M| 0 |1952 |4250 | 68k|4250 | 70k|5985 | 136 | 0 | 1.828200e+03 | -- | Inf
1277.38/1277.43 c 1277s| 1 | 0 |711951 | - | 131M| 0 |1943 |4250 | 68k|4250 | 70k|6012 | 136 | 0 | 1.829026e+03 | -- | Inf
1287.08/1287.16 c 1287s| 1 | 0 |716960 | - | 131M| 0 |1939 |4250 | 68k|4250 | 70k|6040 | 136 | 0 | 1.829617e+03 | -- | Inf
1299.78/1299.88 c 1300s| 1 | 0 |723544 | - | 131M| 0 |1943 |4250 | 68k|4250 | 70k|6067 | 136 | 0 | 1.830430e+03 | -- | Inf
1321.57/1321.63 c 1322s| 1 | 0 |729029 | - | 131M| 0 |1942 |4250 | 68k|4250 | 70k|6095 | 136 | 0 | 1.831312e+03 | -- | Inf
1331.77/1331.83 c 1332s| 1 | 0 |733265 | - | 132M| 0 |1950 |4250 | 68k|4250 | 70k|6121 | 136 | 0 | 1.831955e+03 | -- | Inf
1342.18/1342.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.18/1342.23 c 1342s| 1 | 0 |737313 | - | 132M| 0 |1933 |4250 | 68k|4250 | 70k|6145 | 136 | 0 | 1.832892e+03 | -- | Inf
1356.48/1356.54 c 1357s| 1 | 0 |743876 | - | 132M| 0 |1945 |4250 | 68k|4250 | 70k|6166 | 136 | 0 | 1.833393e+03 | -- | Inf
1378.28/1378.37 c 1378s| 1 | 0 |748238 | - | 132M| 0 |1935 |4250 | 68k|4250 | 70k|6184 | 136 | 0 | 1.834556e+03 | -- | Inf
1390.67/1390.71 c 1391s| 1 | 0 |753295 | - | 132M| 0 |1961 |4250 | 68k|4250 | 70k|6212 | 136 | 0 | 1.835432e+03 | -- | Inf
1402.48/1402.53 c 1403s| 1 | 0 |756142 | - | 132M| 0 |1952 |4250 | 68k|4250 | 70k|6236 | 136 | 0 | 1.835837e+03 | -- | Inf
1416.47/1416.59 c 1417s| 1 | 0 |762480 | - | 133M| 0 |1921 |4250 | 68k|4250 | 70k|6251 | 136 | 0 | 1.836717e+03 | -- | Inf
1431.97/1432.05 c 1432s| 1 | 0 |766888 | - | 133M| 0 |1939 |4250 | 68k|4250 | 70k|6269 | 136 | 0 | 1.837153e+03 | -- | Inf
1440.98/1441.04 c 1441s| 1 | 0 |770055 | - | 133M| 0 |1947 |4250 | 68k|4250 | 70k|6287 | 136 | 0 | 1.837409e+03 | -- | Inf
1469.07/1469.11 c 1469s| 1 | 0 |774487 | - | 133M| 0 |1953 |4250 | 68k|4250 | 70k|6306 | 136 | 0 | 1.837999e+03 | -- | Inf
1490.87/1490.90 c 1491s| 1 | 0 |779112 | - | 133M| 0 |1951 |4250 | 68k|4250 | 70k|6329 | 136 | 0 | 1.838660e+03 | -- | Inf
1509.76/1509.85 c 1510s| 1 | 0 |786951 | - | 133M| 0 |1938 |4250 | 68k|4250 | 70k|6356 | 136 | 0 | 1.839525e+03 | -- | Inf
1527.67/1527.71 c 1528s| 1 | 0 |791498 | - | 133M| 0 |1938 |4250 | 68k|4250 | 70k|6378 | 136 | 0 | 1.840529e+03 | -- | Inf
1542.37/1542.42 c 1542s| 1 | 0 |798330 | - | 133M| 0 |1944 |4250 | 68k|4250 | 70k|6401 | 136 | 0 | 1.841538e+03 | -- | Inf
1560.27/1560.37 c 1560s| 1 | 0 |806041 | - | 133M| 0 |1960 |4250 | 68k|4250 | 70k|6419 | 136 | 0 | 1.842335e+03 | -- | Inf
1600.86/1600.90 c 1601s| 1 | 0 |810765 | - | 133M| 0 |1955 |4250 | 68k|4250 | 70k|6434 | 136 | 0 | 1.842820e+03 | -- | Inf
1614.37/1614.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.37/1614.42 c 1614s| 1 | 0 |816018 | - | 133M| 0 |1958 |4250 | 68k|4250 | 70k|6447 | 136 | 0 | 1.843376e+03 | -- | Inf
1623.37/1623.49 c 1623s| 1 | 0 |819535 | - | 134M| 0 |1963 |4250 | 68k|4250 | 70k|6478 | 136 | 0 | 1.843828e+03 | -- | Inf
1646.86/1646.93 c 1647s| 1 | 0 |829950 | - | 134M| 0 |1956 |4250 | 68k|4250 | 70k|6502 | 136 | 0 | 1.845138e+03 | -- | Inf
1659.47/1659.55 c 1660s| 1 | 0 |835095 | - | 134M| 0 |1980 |4250 | 68k|4250 | 70k|6526 | 136 | 0 | 1.845814e+03 | -- | Inf
1694.57/1694.63 c 1695s| 1 | 0 |844166 | - | 134M| 0 |1970 |4250 | 68k|4250 | 70k|6549 | 136 | 0 | 1.846869e+03 | -- | Inf
1718.77/1718.89 c 1719s| 1 | 0 |850023 | - | 134M| 0 |1952 |4250 | 68k|4250 | 70k|6570 | 136 | 0 | 1.847258e+03 | -- | Inf
1748.66/1748.72 c 1749s| 1 | 0 |857562 | - | 134M| 0 |1974 |4250 | 68k|4250 | 70k|6587 | 136 | 0 | 1.847997e+03 | -- | Inf
1780.96/1781.08 c 1781s| 1 | 0 |867769 | - | 134M| 0 |1963 |4250 | 68k|4250 | 70k|6607 | 136 | 0 | 1.848913e+03 | -- | Inf
1799.96/1800.01 c 1800s| 1 | 0 |871517 | - | 134M| 0 | - |4250 | 68k|4250 | 70k|6625 | 136 | 0 | 1.848913e+03 | -- | Inf
1799.96/1800.03 c 1800s| 1 | 2 |871517 | - | 134M| 0 | - |4250 | 68k|4250 | 70k|6625 | 136 | 0 | 1.848913e+03 | -- | Inf
1799.96/1800.03 c
1799.96/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.03 c Solving Time (sec) : 1800.03
1799.96/1800.03 c Solving Nodes : 1
1799.96/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.96/1800.03 c Dual Bound : +1.84891300652077e+03
1799.96/1800.03 c Gap : infinite
1799.96/1800.03 s UNKNOWN
1799.96/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.03 c Total Time : 1800.03
1799.96/1800.03 c solving : 1800.03
1799.96/1800.03 c presolving : 18.34 (included in solving)
1799.96/1800.03 c reading : 0.40 (included in solving)
1799.96/1800.03 c Original Problem :
1799.96/1800.03 c Problem name : HOME/instance-3452511-1307085525.opb
1799.96/1800.03 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.03 c Constraints : 68397 initial, 68397 maximal
1799.96/1800.03 c Presolved Problem :
1799.96/1800.03 c Problem name : t_HOME/instance-3452511-1307085525.opb
1799.96/1800.03 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.03 c Constraints : 68397 initial, 68533 maximal
1799.96/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.96/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c probing : 17.76 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c setppc : 0.08 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c linear : 0.34 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.03 c root node : - 0 - - 0 - - - - -
1799.96/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.96/1800.03 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1799.96/1800.03 c setppc : 68272 158 6709 0 1 3 6360 1 0 0 0 0
1799.96/1800.03 c logicor : 125+ 158 854 0 1 0 620 14 0 0 0 0
1799.96/1800.03 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1799.96/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.96/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.96/1800.03 c setppc : 16.40 0.84 15.53 0.00 0.02 0.01 0.00
1799.96/1800.03 c logicor : 0.04 0.00 0.03 0.00 0.00 0.00 0.00
1799.96/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.96/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.96/1800.03 c vbounds : 0 0 0 0
1799.96/1800.03 c rootredcost : 0 0 0 0
1799.96/1800.03 c pseudoobj : 867 0 0 0
1799.96/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1799.96/1800.03 c vbounds : 0.00 0.00 0.00
1799.96/1800.03 c rootredcost : 0.00 0.00 0.00
1799.96/1800.03 c pseudoobj : 0.01 0.01 0.00
1799.96/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.96/1800.03 c propagation : 0.01 15 15 432 107.5 0 0.0 -
1799.96/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.96/1800.03 c applied globally : - - - 136 100.0 - - -
1799.96/1800.03 c applied locally : - - - 0 0.0 - - -
1799.96/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.96/1800.03 c cut pool : 0.71 157 - - 3805 - (maximal pool size: 14327)
1799.96/1800.03 c redcost : 0.02 158 0 0 0 0
1799.96/1800.03 c impliedbounds : 0.69 158 0 0 0 0
1799.96/1800.03 c intobj : 0.00 0 0 0 0 0
1799.96/1800.03 c gomory : 351.50 158 0 0 78728 0
1799.96/1800.03 c cgmip : 0.00 0 0 0 0 0
1799.96/1800.03 c closecuts : 0.00 0 0 0 0 0
1799.96/1800.03 c strongcg : 4.61 20 0 0 10000 0
1799.96/1800.03 c cmir : 6.87 10 0 0 0 0
1799.96/1800.03 c flowcover : 7.28 10 0 0 0 0
1799.96/1800.03 c clique : 14.33 158 0 0 1550 0
1799.96/1800.03 c zerohalf : 0.00 0 0 0 0 0
1799.96/1800.03 c mcf : 0.07 1 0 0 0 0
1799.96/1800.03 c oddcycle : 0.00 0 0 0 0 0
1799.96/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1799.96/1800.03 c Pricers : Time Calls Vars
1799.96/1800.03 c problem variables: 0.00 0 0
1799.96/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.96/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1799.96/1800.03 c pscost : 0.00 0 0 0 0 0 0
1799.96/1800.03 c inference : 0.00 1 0 0 0 0 2
1799.96/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1799.96/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1799.96/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.03 c random : 0.00 0 0 0 0 0 0
1799.96/1800.03 c Primal Heuristics : Time Calls Found
1799.96/1800.03 c LP solutions : 0.00 - 0
1799.96/1800.03 c pseudo solutions : 0.00 - 0
1799.96/1800.03 c oneopt : 0.00 0 0
1799.96/1800.03 c trivial : 0.03 2 0
1799.96/1800.03 c shiftandpropagate: 0.69 1 0
1799.96/1800.03 c simplerounding : 0.00 0 0
1799.96/1800.03 c zirounding : 0.00 0 0
1799.96/1800.03 c rounding : 0.74 100 0
1799.96/1800.03 c shifting : 11.05 100 0
1799.96/1800.03 c intshifting : 0.00 0 0
1799.96/1800.03 c twoopt : 0.00 0 0
1799.96/1800.03 c fixandinfer : 0.00 0 0
1799.96/1800.03 c feaspump : 3.81 1 0
1799.96/1800.03 c clique : 0.00 0 0
1799.96/1800.03 c coefdiving : 0.00 0 0
1799.96/1800.03 c pscostdiving : 0.00 0 0
1799.96/1800.03 c fracdiving : 0.00 0 0
1799.96/1800.03 c veclendiving : 0.00 0 0
1799.96/1800.03 c intdiving : 0.00 0 0
1799.96/1800.03 c actconsdiving : 0.00 0 0
1799.96/1800.03 c objpscostdiving : 0.00 0 0
1799.96/1800.03 c rootsoldiving : 0.00 0 0
1799.96/1800.03 c linesearchdiving : 0.00 0 0
1799.96/1800.03 c guideddiving : 0.00 0 0
1799.96/1800.03 c octane : 0.00 0 0
1799.96/1800.03 c rens : 0.00 0 0
1799.96/1800.03 c rins : 0.00 0 0
1799.96/1800.03 c localbranching : 0.00 0 0
1799.96/1800.03 c mutation : 0.00 0 0
1799.96/1800.03 c crossover : 0.00 0 0
1799.96/1800.03 c dins : 0.00 0 0
1799.96/1800.03 c vbounds : 0.00 0 0
1799.96/1800.03 c undercover : 0.00 0 0
1799.96/1800.03 c subnlp : 0.00 0 0
1799.96/1800.03 c trysol : 0.00 0 0
1799.96/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1799.96/1800.03 c primal LP : 0.64 0 0 0.00 0.00
1799.96/1800.03 c dual LP : 1375.32 159 866535 5449.91 630.06
1799.96/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1799.96/1800.03 c barrier LP : 0.00 0 0 0.00 -
1799.96/1800.03 c diving/probing LP: 3.01 114 4982 43.70 1656.86
1799.96/1800.03 c strong branching : 0.00 0 0 0.00 -
1799.96/1800.03 c (at root node) : - 0 0 0.00 -
1799.96/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1799.96/1800.03 c B&B Tree :
1799.96/1800.03 c number of runs : 1
1799.96/1800.03 c nodes : 1
1799.96/1800.03 c nodes (total) : 1
1799.96/1800.03 c nodes left : 2
1799.96/1800.03 c max depth : 0
1799.96/1800.03 c max depth (total): 0
1799.96/1800.03 c backtracks : 0 (0.0%)
1799.96/1800.03 c delayed cutoffs : 0
1799.96/1800.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.96/1800.03 c avg switch length: 1.00
1799.96/1800.03 c switching time : 0.00
1799.96/1800.03 c Solution :
1799.96/1800.03 c Solutions found : 0 (0 improvements)
1799.96/1800.03 c Primal Bound : -
1799.96/1800.03 c Dual Bound : +1.84891300652077e+03
1799.96/1800.03 c Gap : infinite
1799.96/1800.03 c Root Dual Bound : +1.84891300652077e+03
1799.96/1800.03 c Root Iterations : 871517
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452511-1307085525/watcher-3452511-1307085525 -o /tmp/evaluation-result-3452511-1307085525/solver-3452511-1307085525 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452511-1307085525.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 1.92 2/273 2989
/proc/meminfo: memFree=28322344/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=8236 CPUtime=0 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 1041 0 0 0 0 0 0 0 25 0 1 0 820153303 8433664 993 33554432000 4194304 9128323 140736670064192 18446744073709551615 8009021 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2989/statm: 2059 1004 381 1205 0 850 0
[startup+0.0829539 s]
/proc/loadavg: 2.07 2.02 1.92 2/273 2989
/proc/meminfo: memFree=28322344/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=19496 CPUtime=0.07 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 3903 0 0 0 7 0 0 0 25 0 1 0 820153303 19963904 3853 33554432000 4194304 9128323 140736670064192 18446744073709551615 7985376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2989/statm: 4874 3853 400 1205 0 3665 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19496
[startup+0.100945 s]
/proc/loadavg: 2.07 2.02 1.92 2/273 2989
/proc/meminfo: memFree=28322344/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=19772 CPUtime=0.09 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 3971 0 0 0 9 0 0 0 25 0 1 0 820153303 20246528 3921 33554432000 4194304 9128323 140736670064192 18446744073709551615 4337627 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2989/statm: 4943 3921 400 1205 0 3734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19772
[startup+0.300921 s]
/proc/loadavg: 2.07 2.02 1.92 2/273 2989
/proc/meminfo: memFree=28322344/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=29692 CPUtime=0.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 6455 0 0 0 29 0 0 0 25 0 1 0 820153303 30404608 6401 33554432000 4194304 9128323 140736670064192 18446744073709551615 7998162 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2989/statm: 7423 6401 400 1205 0 6214 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29692
[startup+0.70085 s]
/proc/loadavg: 2.07 2.02 1.92 2/273 2989
/proc/meminfo: memFree=28322344/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=106644 CPUtime=0.69 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 27718 0 0 0 65 4 0 0 25 0 1 0 820153303 109203456 25038 33554432000 4194304 9128323 140736670064192 18446744073709551615 6581485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 26661 25038 500 1205 0 25452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106644
[startup+1.5007 s]
/proc/loadavg: 2.07 2.02 1.92 3/274 2990
/proc/meminfo: memFree=28194560/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=132624 CPUtime=1.49 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 38736 0 0 0 145 4 0 0 25 0 1 0 820153303 135806976 31544 33554432000 4194304 9128323 140736670064192 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 33156 31544 536 1205 0 31947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132624
[startup+3.10041 s]
/proc/loadavg: 2.07 2.02 1.92 3/274 2990
/proc/meminfo: memFree=28191956/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=132624 CPUtime=3.09 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 38736 0 0 0 305 4 0 0 25 0 1 0 820153303 135806976 31544 33554432000 4194304 9128323 140736670064192 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 33156 31544 536 1205 0 31947 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132624
[startup+6.30082 s]
/proc/loadavg: 2.07 2.02 1.92 3/274 2990
/proc/meminfo: memFree=28181152/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=132624 CPUtime=6.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 38736 0 0 0 625 4 0 0 25 0 1 0 820153303 135806976 31544 33554432000 4194304 9128323 140736670064192 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 33156 31544 536 1205 0 31947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132624
[startup+12.7006 s]
/proc/loadavg: 2.06 2.02 1.92 3/274 2990
/proc/meminfo: memFree=28174760/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=132624 CPUtime=12.69 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 38740 0 0 0 1265 4 0 0 25 0 1 0 820153303 135806976 31548 33554432000 4194304 9128323 140736670064192 18446744073709551615 5488303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 33156 31548 540 1205 0 31947 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132624
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 1.92 3/274 2990
/proc/meminfo: memFree=28072568/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=242248 CPUtime=25.5 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 72792 0 0 0 2539 11 0 0 25 0 1 0 820153303 248061952 57873 33554432000 4194304 9128323 140736670064192 18446744073709551615 7267360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 60562 57873 688 1205 0 59353 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 242248
[startup+51.1006 s]
/proc/loadavg: 2.03 2.01 1.92 3/274 2991
/proc/meminfo: memFree=28046060/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=265584 CPUtime=51.09 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 82313 0 0 0 5094 15 0 0 25 0 1 0 820153303 271958016 63574 33554432000 4194304 9128323 140736670064192 18446744073709551615 6280374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 66396 63574 732 1205 0 65187 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 265584
[startup+102.31 s]
/proc/loadavg: 2.01 2.01 1.92 3/274 2993
/proc/meminfo: memFree=28040532/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=275864 CPUtime=102.3 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 93075 0 0 0 10196 34 0 0 25 0 1 0 820153303 282484736 66333 33554432000 4194304 9128323 140736670064192 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 68966 66333 732 1205 0 67757 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 275864
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/274 2994
/proc/meminfo: memFree=28045316/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=274180 CPUtime=162.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 112769 0 0 0 16170 59 0 0 25 0 1 0 820153303 280760320 65495 33554432000 4194304 9128323 140736670064192 18446744073709551615 7326508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 68545 65495 1908 1205 0 67336 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 274180
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/274 2996
/proc/meminfo: memFree=28023576/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=285540 CPUtime=222.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 157793 0 0 0 22142 86 0 0 25 0 1 0 820153303 292392960 69074 33554432000 4194304 9128323 140736670064192 18446744073709551615 7315446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 71385 69074 885 1205 0 70176 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 285540
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/274 2997
/proc/meminfo: memFree=28020448/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=287760 CPUtime=282.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 198657 0 0 0 28117 112 0 0 25 0 1 0 820153303 294666240 69884 33554432000 4194304 9128323 140736670064192 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 71940 69884 1206 1205 0 70731 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 287760
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/274 2999
/proc/meminfo: memFree=28005660/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=290356 CPUtime=342.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 208632 0 0 0 34095 134 0 0 25 0 1 0 820153303 297324544 70724 33554432000 4194304 9128323 140736670064192 18446744073709551615 6941904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 72589 70724 799 1205 0 71380 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 290356
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/274 3001
/proc/meminfo: memFree=28002548/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=293404 CPUtime=402.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 232978 0 0 0 40073 156 0 0 25 0 1 0 820153303 300445696 71503 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 73351 71503 734 1205 0 72142 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 293404
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 3002
/proc/meminfo: memFree=28003260/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=296772 CPUtime=462.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 256504 0 0 0 46052 176 0 0 25 0 1 0 820153303 303894528 71069 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 74193 71069 949 1205 0 72984 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 296772
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 3004
/proc/meminfo: memFree=28002248/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=299648 CPUtime=522.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 273035 0 0 0 52034 194 0 0 25 0 1 0 820153303 306839552 70714 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 74912 70714 734 1205 0 73703 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 299648
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 3005
/proc/meminfo: memFree=28010032/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=291644 CPUtime=582.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 278762 0 0 0 58019 209 0 0 25 0 1 0 820153303 298643456 69598 33554432000 4194304 9128323 140736670064192 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 72911 69598 733 1205 0 71702 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 291644
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/274 3013
/proc/meminfo: memFree=27982748/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=304592 CPUtime=882.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 322859 0 0 0 87941 288 0 0 25 0 1 0 820153303 311902208 73862 33554432000 4194304 9128323 140736670064192 18446744073709551615 7325968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 76148 73862 733 1205 0 74939 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 304592
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 3015
/proc/meminfo: memFree=27991160/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=301500 CPUtime=942.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 332383 0 0 0 93925 303 0 0 25 0 1 0 820153303 308736000 72134 33554432000 4194304 9128323 140736670064192 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 75375 72134 801 1205 0 74166 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 301500
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 3017
/proc/meminfo: memFree=27986816/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=302032 CPUtime=1002.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 345511 0 0 0 99910 319 0 0 25 0 1 0 820153303 309280768 72706 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 75508 72706 732 1205 0 74299 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 302032
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 3018
/proc/meminfo: memFree=27977252/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=310696 CPUtime=1062.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 351077 0 0 0 105895 333 0 0 25 0 1 0 820153303 318152704 73601 33554432000 4194304 9128323 140736670064192 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 77674 73601 734 1205 0 76465 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 310696
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 3020
/proc/meminfo: memFree=27990744/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=298300 CPUtime=1122.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 362042 0 0 0 111877 352 0 0 25 0 1 0 820153303 305459200 70091 33554432000 4194304 9128323 140736670064192 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 74575 70091 732 1205 0 73366 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 298300
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 3021
/proc/meminfo: memFree=27976700/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=306160 CPUtime=1182.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 370365 0 0 0 117855 374 0 0 25 0 1 0 820153303 313507840 73783 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 76540 73783 732 1205 0 75331 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 306160
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/274 3024
/proc/meminfo: memFree=27969988/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=307792 CPUtime=1242.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 375348 0 0 0 123833 396 0 0 25 0 1 0 820153303 315179008 74685 33554432000 4194304 9128323 140736670064192 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 76948 74685 733 1205 0 75739 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 307792
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/274 3026
/proc/meminfo: memFree=27967852/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=310704 CPUtime=1302.29 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 392209 0 0 0 129813 416 0 0 25 0 1 0 820153303 318160896 73967 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 77676 73967 735 1205 0 76467 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 310704
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/274 3027
/proc/meminfo: memFree=27957776/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=313832 CPUtime=1362.27 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 398454 0 0 0 135793 434 0 0 25 0 1 0 820153303 321363968 76198 33554432000 4194304 9128323 140736670064192 18446744073709551615 7021472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 78458 76198 884 1205 0 77249 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 313832
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.96 3/274 3029
/proc/meminfo: memFree=27965316/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=310916 CPUtime=1422.28 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 411513 0 0 0 141775 453 0 0 25 0 1 0 820153303 318377984 73882 33554432000 4194304 9128323 140736670064192 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 77729 73882 734 1205 0 76520 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 310916
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/274 3030
/proc/meminfo: memFree=27980656/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=302904 CPUtime=1482.27 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 422432 0 0 0 147757 470 0 0 25 0 1 0 820153303 310173696 70778 33554432000 4194304 9128323 140736670064192 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 75726 70778 732 1205 0 74517 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 302904
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 3032
/proc/meminfo: memFree=27957928/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=314264 CPUtime=1542.27 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 432117 0 0 0 153740 487 0 0 25 0 1 0 820153303 321806336 75255 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 78566 75255 1511 1205 0 77357 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 314264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 3034
/proc/meminfo: memFree=27966352/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=309596 CPUtime=1602.27 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 434609 0 0 0 159722 505 0 0 25 0 1 0 820153303 317026304 73127 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 77399 73127 1102 1205 0 76190 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 309596
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 3035
/proc/meminfo: memFree=27955052/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=319880 CPUtime=1662.27 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 441731 0 0 0 165704 523 0 0 25 0 1 0 820153303 327557120 75474 33554432000 4194304 9128323 140736670064192 18446744073709551615 7018448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 79970 75474 1092 1205 0 78761 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 319880
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 3037
/proc/meminfo: memFree=27963092/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=311868 CPUtime=1722.26 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 445637 0 0 0 171685 541 0 0 25 0 1 0 820153303 319352832 72324 33554432000 4194304 9128323 140736670064192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 77967 72324 1004 1205 0 76758 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 311868
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/274 3038
/proc/meminfo: memFree=27953028/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=312960 CPUtime=1782.26 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 447625 0 0 0 177667 559 0 0 25 0 1 0 820153303 320471040 74312 33554432000 4194304 9128323 140736670064192 18446744073709551615 8012592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2989/statm: 78240 74312 1004 1205 0 77031 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 312960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.01 1.96 3/274 3067
/proc/meminfo: memFree=28042876/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=312764 CPUtime=1800.06 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 447640 0 0 0 179442 564 0 0 25 0 1 0 820153303 320270336 74278 33554432000 4194304 9128323 140736670064192 18446744073709551615 6630733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2989/statm: 78191 74278 1014 1205 0 76982 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 312764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.05 2.01 1.96 3/274 3067
/proc/meminfo: memFree=28042876/32951124 swapFree=55664332/67111528
[pid=2989] ppid=2987 vsize=312764 CPUtime=1800.06 cores=1,3,5,7
/proc/2989/stat : 2989 (scip-2.0.1.4.li) R 2987 2989 31617 0 -1 4202496 447640 0 0 0 179442 564 0 0 25 0 1 0 820153303 320270336 74278 33554432000 4194304 9128323 140736670064192 18446744073709551615 6630733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2989/statm: 78191 74278 1014 1205 0 76982 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 312764
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.09
CPU user time (s): 1794.43
CPU system time (s): 5.65814
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 320176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.43
system time used= 5.65814
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447640
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= 5
involuntary context switches= 22626
runsolver used 4.17337 second user time and 10.5804 second system time
The end