0.00/0.00 c SCIP version 2.0.1.5 [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-3450851-1307085492.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.39/0.49 c presolving:
0.79/0.85 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/0.91 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
10.29/10.39 c (10.4s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
19.89/19.93 c (19.9s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
19.89/19.94 c (19.9s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
19.89/19.94 c (19.9s) probing aborted: 2000/2000 successive useless probings
19.89/19.94 c presolving (3 rounds):
19.89/19.94 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
19.89/19.94 c 524786 implications, 0 cliques
19.89/19.94 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
19.89/19.94 c 68272 constraints of type <setppc>
19.89/19.94 c 125 constraints of type <logicor>
19.89/19.94 c transformed objective value is always integral (scale: 1)
19.89/19.94 c Presolving Time: 19.47
19.89/19.94 c - non default parameters ----------------------------------------------------------------------
19.89/19.94 c # SCIP version 2.0.1.5
19.89/19.94 c
19.89/19.94 c # frequency for displaying node information lines
19.89/19.94 c # [type: int, range: [-1,2147483647], default: 100]
19.89/19.94 c display/freq = 10000
19.89/19.94 c
19.89/19.94 c # maximal time in seconds to run
19.89/19.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.89/19.94 c limits/time = 1800
19.89/19.94 c
19.89/19.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.89/19.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.89/19.94 c limits/memory = 13950
19.89/19.94 c
19.89/19.94 c # default clock type (1: CPU user seconds, 2: wall clock time)
19.89/19.94 c # [type: int, range: [1,2], default: 1]
19.89/19.94 c timing/clocktype = 2
19.89/19.94 c
19.89/19.94 c # belongs reading time to solving time?
19.89/19.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.89/19.94 c timing/reading = TRUE
19.89/19.94 c
19.89/19.94 c # should presolving try to simplify inequalities
19.89/19.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.89/19.94 c constraints/linear/simplifyinequalities = TRUE
19.89/19.94 c
19.89/19.94 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
19.89/19.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.89/19.94 c constraints/indicator/addCouplingCons = TRUE
19.89/19.94 c
19.89/19.94 c # should presolving try to simplify knapsacks
19.89/19.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.89/19.94 c constraints/knapsack/simplifyinequalities = TRUE
19.89/19.94 c
19.89/19.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
19.89/19.94 c # [type: int, range: [-1,2147483647], default: -1]
19.89/19.94 c separating/rapidlearning/freq = 0
19.89/19.94 c
19.89/19.94 c -----------------------------------------------------------------------------------------------
19.89/19.94 c start solving
19.89/19.95 c
22.89/22.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.89/22.90 c 22.9s| 1 | 0 | 2654 | - | 104M| 0 |2375 |4250 | 68k|4250 | 68k| 0 | 136 | 0 | 1.187500e+03 | -- | Inf
28.88/28.95 c 28.9s| 1 | 0 | 8034 | - | 104M| 0 |2343 |4250 | 68k|4250 | 68k| 23 | 136 | 0 | 1.203500e+03 | -- | Inf
30.89/30.97 c 31.0s| 1 | 0 | 8394 | - | 104M| 0 |2292 |4250 | 68k|4250 | 68k| 56 | 136 | 0 | 1.229000e+03 | -- | Inf
33.49/33.53 c 33.5s| 1 | 0 | 8823 | - | 104M| 0 |2240 |4250 | 68k|4250 | 68k| 108 | 136 | 0 | 1.255000e+03 | -- | Inf
36.31/36.38 c 36.4s| 1 | 0 | 9279 | - | 104M| 0 |2193 |4250 | 68k|4250 | 68k| 151 | 136 | 0 | 1.280250e+03 | -- | Inf
39.39/39.40 c 39.4s| 1 | 0 | 9791 | - | 104M| 0 |2154 |4250 | 68k|4250 | 68k| 195 | 136 | 0 | 1.301250e+03 | -- | Inf
42.69/42.70 c 42.7s| 1 | 0 | 10361 | - | 104M| 0 |2107 |4250 | 68k|4250 | 68k| 244 | 136 | 0 | 1.321750e+03 | -- | Inf
46.59/46.65 c 46.6s| 1 | 0 | 11395 | - | 105M| 0 |2080 |4250 | 68k|4250 | 68k| 295 | 136 | 0 | 1.338500e+03 | -- | Inf
50.61/50.62 c 50.6s| 1 | 0 | 12056 | - | 105M| 0 |2045 |4250 | 68k|4250 | 68k| 340 | 136 | 0 | 1.354850e+03 | -- | Inf
54.39/54.48 c 54.5s| 1 | 0 | 12844 | - | 105M| 0 |2005 |4250 | 68k|4250 | 68k| 394 | 136 | 0 | 1.375500e+03 | -- | Inf
58.79/58.84 c 58.8s| 1 | 0 | 13950 | - | 105M| 0 |2000 |4250 | 68k|4250 | 68k| 442 | 136 | 0 | 1.388472e+03 | -- | Inf
60.79/60.81 c 60.8s| 1 | 0 | 14892 | - | 105M| 0 |1973 |4250 | 68k|4250 | 68k| 483 | 136 | 0 | 1.400717e+03 | -- | Inf
62.71/62.79 c 62.8s| 1 | 0 | 15837 | - | 106M| 0 |1951 |4250 | 68k|4250 | 68k| 528 | 136 | 0 | 1.411300e+03 | -- | Inf
64.69/64.72 c 64.7s| 1 | 0 | 16485 | - | 106M| 0 |1948 |4250 | 68k|4250 | 68k| 575 | 136 | 0 | 1.421350e+03 | -- | Inf
66.59/66.70 c 66.7s| 1 | 0 | 17439 | - | 107M| 0 |1947 |4250 | 68k|4250 | 69k| 617 | 136 | 0 | 1.430000e+03 | -- | Inf
69.79/69.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.79/69.81 c 69.8s| 1 | 0 | 19188 | - | 107M| 0 |1950 |4250 | 68k|4250 | 69k| 676 | 136 | 0 | 1.442875e+03 | -- | Inf
72.69/72.79 c 72.8s| 1 | 0 | 21039 | - | 107M| 0 |1908 |4250 | 68k|4250 | 69k| 731 | 136 | 0 | 1.452958e+03 | -- | Inf
74.99/75.06 c 75.1s| 1 | 0 | 22340 | - | 108M| 0 |1881 |4250 | 68k|4250 | 69k| 778 | 136 | 0 | 1.461146e+03 | -- | Inf
81.99/82.02 c 82.0s| 1 | 0 | 28125 | - | 109M| 0 |1900 |4250 | 68k|4250 | 69k| 826 | 136 | 0 | 1.470847e+03 | -- | Inf
84.99/85.00 c 85.0s| 1 | 0 | 30191 | - | 109M| 0 |1846 |4250 | 68k|4250 | 69k| 876 | 136 | 0 | 1.481521e+03 | -- | Inf
88.00/88.04 c 88.0s| 1 | 0 | 32197 | - | 109M| 0 |1842 |4250 | 68k|4250 | 69k| 924 | 136 | 0 | 1.491504e+03 | -- | Inf
92.09/92.19 c 92.2s| 1 | 0 | 34963 | - | 110M| 0 |1846 |4250 | 68k|4250 | 69k| 981 | 136 | 0 | 1.501750e+03 | -- | Inf
99.79/99.85 c 99.9s| 1 | 0 | 40974 | - | 110M| 0 |1803 |4250 | 68k|4250 | 69k|1030 | 136 | 0 | 1.510000e+03 | -- | Inf
102.89/102.99 c 103s| 1 | 0 | 43154 | - | 110M| 0 |1793 |4250 | 68k|4250 | 69k|1079 | 136 | 0 | 1.514500e+03 | -- | Inf
109.30/109.33 c 109s| 1 | 0 | 47984 | - | 111M| 0 |1798 |4250 | 68k|4250 | 69k|1120 | 136 | 0 | 1.516969e+03 | -- | Inf
111.79/111.84 c 112s| 1 | 0 | 49782 | - | 111M| 0 |1809 |4250 | 68k|4250 | 69k|1175 | 136 | 0 | 1.523958e+03 | -- | Inf
117.49/117.53 c 118s| 1 | 0 | 54365 | - | 111M| 0 |1806 |4250 | 68k|4250 | 69k|1222 | 136 | 0 | 1.530964e+03 | -- | Inf
120.39/120.44 c 120s| 1 | 0 | 56567 | - | 111M| 0 |1760 |4250 | 68k|4250 | 69k|1270 | 136 | 0 | 1.536000e+03 | -- | Inf
127.19/127.29 c 127s| 1 | 0 | 62371 | - | 112M| 0 |1752 |4250 | 68k|4250 | 69k|1321 | 136 | 0 | 1.543667e+03 | -- | Inf
130.20/130.25 c 130s| 1 | 0 | 64197 | - | 112M| 0 |1748 |4250 | 68k|4250 | 69k|1375 | 136 | 0 | 1.554625e+03 | -- | Inf
137.09/137.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.09/137.15 c 137s| 1 | 0 | 70381 | - | 112M| 0 |1707 |4250 | 68k|4250 | 69k|1423 | 136 | 0 | 1.562375e+03 | -- | Inf
139.39/139.47 c 139s| 1 | 0 | 71869 | - | 112M| 0 |1701 |4250 | 68k|4250 | 69k|1485 | 136 | 0 | 1.569792e+03 | -- | Inf
144.29/144.34 c 144s| 1 | 0 | 75221 | - | 113M| 0 |1674 |4250 | 68k|4250 | 69k|1540 | 136 | 0 | 1.578381e+03 | -- | Inf
147.59/147.67 c 148s| 1 | 0 | 77818 | - | 113M| 0 |1637 |4250 | 68k|4250 | 69k|1597 | 136 | 0 | 1.584212e+03 | -- | Inf
150.49/150.53 c 151s| 1 | 0 | 80154 | - | 113M| 0 |1678 |4250 | 68k|4250 | 69k|1645 | 136 | 0 | 1.589625e+03 | -- | Inf
157.31/157.39 c 157s| 1 | 0 | 86224 | - | 113M| 0 |1667 |4250 | 68k|4250 | 69k|1696 | 136 | 0 | 1.598500e+03 | -- | Inf
166.69/166.76 c 167s| 1 | 0 | 94111 | - | 114M| 0 |1640 |4250 | 68k|4250 | 69k|1740 | 136 | 0 | 1.604348e+03 | -- | Inf
168.89/168.93 c 169s| 1 | 0 | 95272 | - | 114M| 0 |1620 |4250 | 68k|4250 | 69k|1794 | 136 | 0 | 1.609750e+03 | -- | Inf
176.01/176.07 c 176s| 1 | 0 |100606 | - | 114M| 0 |1603 |4250 | 68k|4250 | 69k|1845 | 136 | 0 | 1.613083e+03 | -- | Inf
179.09/179.11 c 179s| 1 | 0 |102892 | - | 114M| 0 |1597 |4250 | 68k|4250 | 69k|1897 | 136 | 0 | 1.619000e+03 | -- | Inf
184.99/185.02 c 185s| 1 | 0 |108145 | - | 115M| 0 |1612 |4250 | 68k|4250 | 69k|1943 | 136 | 0 | 1.623370e+03 | -- | Inf
194.00/194.08 c 194s| 1 | 0 |114932 | - | 115M| 0 |1658 |4250 | 68k|4250 | 69k|1992 | 136 | 0 | 1.629620e+03 | -- | Inf
197.90/197.93 c 198s| 1 | 0 |118255 | - | 115M| 0 |1718 |4250 | 68k|4250 | 69k|2035 | 136 | 0 | 1.635084e+03 | -- | Inf
201.60/201.68 c 202s| 1 | 0 |121139 | - | 116M| 0 |1639 |4250 | 68k|4250 | 69k|2094 | 136 | 0 | 1.642078e+03 | -- | Inf
207.29/207.30 c 207s| 1 | 0 |125906 | - | 116M| 0 |1559 |4250 | 68k|4250 | 69k|2149 | 136 | 0 | 1.646833e+03 | -- | Inf
212.39/212.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.39/212.42 c 212s| 1 | 0 |129597 | - | 116M| 0 |1568 |4250 | 68k|4250 | 69k|2200 | 136 | 0 | 1.652995e+03 | -- | Inf
216.09/216.16 c 216s| 1 | 0 |132334 | - | 117M| 0 |1514 |4250 | 68k|4250 | 69k|2246 | 136 | 0 | 1.657991e+03 | -- | Inf
233.40/233.48 c 233s| 1 | 0 |142607 | - | 117M| 0 |1494 |4250 | 68k|4250 | 69k|2299 | 136 | 0 | 1.662663e+03 | -- | Inf
238.10/238.16 c 238s| 1 | 0 |145596 | - | 117M| 0 |1487 |4250 | 68k|4250 | 69k|2348 | 136 | 0 | 1.670115e+03 | -- | Inf
245.39/245.42 c 245s| 1 | 0 |151534 | - | 117M| 0 |1533 |4250 | 68k|4250 | 69k|2407 | 136 | 0 | 1.676714e+03 | -- | Inf
248.00/248.07 c 248s| 1 | 0 |153468 | - | 117M| 0 |1478 |4250 | 68k|4250 | 69k|2466 | 136 | 0 | 1.680494e+03 | -- | Inf
258.19/258.26 c 258s| 1 | 0 |160692 | - | 118M| 0 |1490 |4250 | 68k|4250 | 69k|2527 | 136 | 0 | 1.683600e+03 | -- | Inf
264.49/264.57 c 265s| 1 | 0 |165666 | - | 118M| 0 |1477 |4250 | 68k|4250 | 69k|2574 | 136 | 0 | 1.687403e+03 | -- | Inf
267.80/267.80 c 268s| 1 | 0 |167910 | - | 118M| 0 |1501 |4250 | 68k|4250 | 69k|2626 | 136 | 0 | 1.690804e+03 | -- | Inf
274.39/274.40 c 274s| 1 | 0 |172469 | - | 118M| 0 |1498 |4250 | 68k|4250 | 69k|2671 | 136 | 0 | 1.693314e+03 | -- | Inf
280.59/280.61 c 281s| 1 | 0 |177006 | - | 119M| 0 |1517 |4250 | 68k|4250 | 69k|2722 | 136 | 0 | 1.696481e+03 | -- | Inf
283.90/283.92 c 284s| 1 | 0 |179226 | - | 119M| 0 |1571 |4250 | 68k|4250 | 69k|2767 | 136 | 0 | 1.700300e+03 | -- | Inf
291.41/291.50 c 292s| 1 | 0 |185264 | - | 119M| 0 |1519 |4250 | 68k|4250 | 69k|2820 | 136 | 0 | 1.705004e+03 | -- | Inf
305.19/305.29 c 305s| 1 | 0 |192839 | - | 119M| 0 |1507 |4250 | 68k|4250 | 69k|2868 | 136 | 0 | 1.709937e+03 | -- | Inf
309.49/309.57 c 310s| 1 | 0 |195723 | - | 120M| 0 |1547 |4250 | 68k|4250 | 69k|2912 | 136 | 0 | 1.713922e+03 | -- | Inf
315.71/315.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.71/315.77 c 316s| 1 | 0 |200039 | - | 120M| 0 |1547 |4250 | 68k|4250 | 69k|2962 | 136 | 0 | 1.718133e+03 | -- | Inf
325.51/325.61 c 326s| 1 | 0 |206661 | - | 120M| 0 |1488 |4250 | 68k|4250 | 69k|3028 | 136 | 0 | 1.720958e+03 | -- | Inf
334.70/334.78 c 335s| 1 | 0 |214594 | - | 121M| 0 |1466 |4250 | 68k|4250 | 69k|3084 | 136 | 0 | 1.724210e+03 | -- | Inf
346.42/346.49 c 346s| 1 | 0 |222949 | - | 121M| 0 |1549 |4250 | 68k|4250 | 69k|3150 | 136 | 0 | 1.729655e+03 | -- | Inf
355.40/355.40 c 355s| 1 | 0 |229009 | - | 121M| 0 |1517 |4250 | 68k|4250 | 69k|3215 | 136 | 0 | 1.734375e+03 | -- | Inf
360.00/360.06 c 360s| 1 | 0 |231999 | - | 121M| 0 |1503 |4250 | 68k|4250 | 69k|3276 | 136 | 0 | 1.738375e+03 | -- | Inf
373.40/373.47 c 373s| 1 | 0 |240940 | - | 122M| 0 |1478 |4250 | 68k|4250 | 69k|3334 | 136 | 0 | 1.741519e+03 | -- | Inf
388.70/388.73 c 389s| 1 | 0 |250045 | - | 122M| 0 |1579 |4250 | 68k|4250 | 69k|3387 | 136 | 0 | 1.744529e+03 | -- | Inf
397.30/397.33 c 397s| 1 | 0 |254957 | - | 122M| 0 |1518 |4250 | 68k|4250 | 69k|3453 | 136 | 0 | 1.746267e+03 | -- | Inf
410.80/410.81 c 411s| 1 | 0 |264406 | - | 123M| 0 |1567 |4250 | 68k|4250 | 70k|3509 | 136 | 0 | 1.748750e+03 | -- | Inf
419.01/419.09 c 419s| 1 | 0 |270053 | - | 123M| 0 |1551 |4250 | 68k|4250 | 70k|3568 | 136 | 0 | 1.753070e+03 | -- | Inf
430.20/430.27 c 430s| 1 | 0 |277416 | - | 123M| 0 |1537 |4250 | 68k|4250 | 69k|3620 | 136 | 0 | 1.754719e+03 | -- | Inf
443.41/443.48 c 443s| 1 | 0 |285593 | - | 124M| 0 |1489 |4250 | 68k|4250 | 69k|3665 | 136 | 0 | 1.756100e+03 | -- | Inf
450.70/450.76 c 451s| 1 | 0 |290320 | - | 124M| 0 |1560 |4250 | 68k|4250 | 70k|3714 | 136 | 0 | 1.758343e+03 | -- | Inf
457.30/457.39 c 457s| 1 | 0 |294280 | - | 125M| 0 |1600 |4250 | 68k|4250 | 70k|3778 | 136 | 0 | 1.761654e+03 | -- | Inf
467.00/467.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.00/467.02 c 467s| 1 | 0 |299926 | - | 125M| 0 |1590 |4250 | 68k|4250 | 70k|3834 | 136 | 0 | 1.765033e+03 | -- | Inf
480.31/480.38 c 480s| 1 | 0 |309218 | - | 125M| 0 |1629 |4250 | 68k|4250 | 70k|3883 | 136 | 0 | 1.767664e+03 | -- | Inf
490.41/490.42 c 490s| 1 | 0 |316137 | - | 126M| 0 |1634 |4250 | 68k|4250 | 70k|3933 | 136 | 0 | 1.770071e+03 | -- | Inf
503.00/503.09 c 503s| 1 | 0 |324939 | - | 126M| 0 |1626 |4250 | 68k|4250 | 70k|3987 | 136 | 0 | 1.771613e+03 | -- | Inf
510.10/510.11 c 510s| 1 | 0 |329155 | - | 126M| 0 |1641 |4250 | 68k|4250 | 70k|4046 | 136 | 0 | 1.773038e+03 | -- | Inf
515.92/515.98 c 516s| 1 | 0 |332694 | - | 127M| 0 |1653 |4250 | 68k|4250 | 70k|4091 | 136 | 0 | 1.774615e+03 | -- | Inf
527.00/527.07 c 527s| 1 | 0 |338860 | - | 127M| 0 |1626 |4250 | 68k|4250 | 70k|4145 | 136 | 0 | 1.775981e+03 | -- | Inf
545.10/545.18 c 545s| 1 | 0 |349694 | - | 127M| 0 |1782 |4250 | 68k|4250 | 70k|4195 | 136 | 0 | 1.780233e+03 | -- | Inf
555.01/555.01 c 555s| 1 | 0 |356061 | - | 128M| 0 |1692 |4250 | 68k|4250 | 70k|4247 | 136 | 0 | 1.784431e+03 | -- | Inf
577.21/577.25 c 577s| 1 | 0 |367257 | - | 128M| 0 |1709 |4250 | 68k|4250 | 70k|4297 | 136 | 0 | 1.786966e+03 | -- | Inf
588.90/588.90 c 589s| 1 | 0 |373826 | - | 128M| 0 |1720 |4250 | 68k|4250 | 70k|4347 | 136 | 0 | 1.788931e+03 | -- | Inf
605.71/605.78 c 606s| 1 | 0 |382436 | - | 129M| 0 |1693 |4250 | 68k|4250 | 70k|4406 | 136 | 0 | 1.791329e+03 | -- | Inf
623.10/623.10 c 623s| 1 | 0 |392270 | - | 129M| 0 |1743 |4250 | 68k|4250 | 70k|4459 | 136 | 0 | 1.793558e+03 | -- | Inf
634.81/634.81 c 635s| 1 | 0 |398689 | - | 129M| 0 |1719 |4250 | 68k|4250 | 70k|4509 | 136 | 0 | 1.795402e+03 | -- | Inf
651.41/651.48 c 651s| 1 | 0 |407849 | - | 130M| 0 |1773 |4250 | 68k|4250 | 70k|4559 | 136 | 0 | 1.797816e+03 | -- | Inf
668.01/668.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.01/668.01 c 668s| 1 | 0 |416249 | - | 130M| 0 |1723 |4250 | 68k|4250 | 70k|4599 | 136 | 0 | 1.798403e+03 | -- | Inf
680.71/680.75 c 681s| 1 | 0 |422688 | - | 130M| 0 |1820 |4250 | 68k|4250 | 70k|4642 | 136 | 0 | 1.799067e+03 | -- | Inf
697.21/697.24 c 697s| 1 | 0 |431429 | - | 131M| 0 |1796 |4250 | 68k|4250 | 70k|4687 | 136 | 0 | 1.799794e+03 | -- | Inf
710.31/710.31 c 710s| 1 | 0 |437964 | - | 131M| 0 |1835 |4250 | 68k|4250 | 70k|4726 | 136 | 0 | 1.800329e+03 | -- | Inf
728.31/728.33 c 728s| 1 | 0 |447049 | - | 131M| 0 |1817 |4250 | 68k|4250 | 70k|4781 | 136 | 0 | 1.801456e+03 | -- | Inf
742.21/742.29 c 742s| 1 | 0 |453648 | - | 132M| 0 |1810 |4250 | 68k|4250 | 70k|4827 | 136 | 0 | 1.802394e+03 | -- | Inf
756.72/756.81 c 757s| 1 | 0 |460903 | - | 132M| 0 |1838 |4250 | 68k|4250 | 70k|4872 | 136 | 0 | 1.803446e+03 | -- | Inf
778.32/778.33 c 778s| 1 | 0 |471108 | - | 132M| 0 |1839 |4250 | 68k|4250 | 70k|4916 | 136 | 0 | 1.805421e+03 | -- | Inf
794.62/794.61 c 795s| 1 | 0 |478824 | - | 132M| 0 |1848 |4250 | 68k|4250 | 70k|4968 | 136 | 0 | 1.807712e+03 | -- | Inf
805.81/805.80 c 806s| 1 | 0 |484561 | - | 133M| 0 |1861 |4250 | 68k|4250 | 70k|5008 | 136 | 0 | 1.808960e+03 | -- | Inf
827.71/827.75 c 828s| 1 | 0 |494929 | - | 133M| 0 |1842 |4250 | 68k|4250 | 70k|5054 | 136 | 0 | 1.810139e+03 | -- | Inf
850.11/850.11 c 850s| 1 | 0 |505333 | - | 134M| 0 |1820 |4250 | 68k|4250 | 70k|5093 | 136 | 0 | 1.810484e+03 | -- | Inf
866.52/866.55 c 867s| 1 | 0 |514124 | - | 134M| 0 |1832 |4250 | 68k|4250 | 70k|5139 | 136 | 0 | 1.810766e+03 | -- | Inf
875.81/875.85 c 876s| 1 | 0 |518303 | - | 135M| 0 |1826 |4250 | 68k|4250 | 70k|5175 | 136 | 0 | 1.811309e+03 | -- | Inf
891.82/891.85 c 892s| 1 | 0 |525691 | - | 135M| 0 |1896 |4250 | 68k|4250 | 70k|5216 | 136 | 0 | 1.811792e+03 | -- | Inf
908.72/908.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.72/908.73 c 909s| 1 | 0 |535269 | - | 135M| 0 |1926 |4250 | 68k|4250 | 70k|5253 | 136 | 0 | 1.812865e+03 | -- | Inf
934.22/934.25 c 934s| 1 | 0 |547107 | - | 136M| 0 |1852 |4250 | 68k|4250 | 70k|5302 | 136 | 0 | 1.814492e+03 | -- | Inf
954.62/954.69 c 955s| 1 | 0 |557058 | - | 136M| 0 |1913 |4250 | 68k|4250 | 70k|5335 | 136 | 0 | 1.816221e+03 | -- | Inf
981.42/981.45 c 981s| 1 | 0 |568394 | - | 136M| 0 |1861 |4250 | 68k|4250 | 70k|5374 | 136 | 0 | 1.817387e+03 | -- | Inf
995.72/995.77 c 996s| 1 | 0 |575341 | - | 136M| 0 |1942 |4250 | 68k|4250 | 70k|5419 | 136 | 0 | 1.818184e+03 | -- | Inf
1008.22/1008.23 c 1008s| 1 | 0 |580898 | - | 136M| 0 |1916 |4250 | 68k|4250 | 70k|5456 | 136 | 0 | 1.818496e+03 | -- | Inf
1027.12/1027.15 c 1027s| 1 | 0 |590152 | - | 137M| 0 |1931 |4250 | 68k|4250 | 70k|5492 | 136 | 0 | 1.818695e+03 | -- | Inf
1052.82/1052.88 c 1053s| 1 | 0 |600938 | - | 137M| 0 |1864 |4250 | 68k|4250 | 70k|5524 | 136 | 0 | 1.818924e+03 | -- | Inf
1071.52/1071.52 c 1072s| 1 | 0 |610483 | - | 137M| 0 |1953 |4250 | 68k|4250 | 70k|5558 | 136 | 0 | 1.819314e+03 | -- | Inf
1104.82/1104.85 c 1105s| 1 | 0 |623349 | - | 137M| 0 |1920 |4250 | 68k|4250 | 70k|5594 | 136 | 0 | 1.819920e+03 | -- | Inf
1115.12/1115.17 c 1115s| 1 | 0 |627916 | - | 136M| 0 |1934 |4250 | 68k|4250 | 70k|5626 | 136 | 0 | 1.820452e+03 | -- | Inf
1121.43/1121.46 c 1121s| 1 | 0 |631021 | - | 136M| 0 |1965 |4250 | 68k|4250 | 70k|5658 | 136 | 0 | 1.820668e+03 | -- | Inf
1130.92/1130.99 c 1131s| 1 | 0 |635209 | - | 136M| 0 |1989 |4250 | 68k|4250 | 70k|5676 | 136 | 0 | 1.821306e+03 | -- | Inf
1139.54/1139.52 c 1140s| 1 | 0 |638028 | - | 136M| 0 |1929 |4250 | 68k|4250 | 70k|5696 | 136 | 0 | 1.821624e+03 | -- | Inf
1149.92/1149.99 c 1150s| 1 | 0 |643410 | - | 136M| 0 |1975 |4250 | 68k|4250 | 70k|5717 | 136 | 0 | 1.821915e+03 | -- | Inf
1162.33/1162.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.33/1162.38 c 1162s| 1 | 0 |647739 | - | 136M| 0 |1975 |4250 | 68k|4250 | 70k|5739 | 136 | 0 | 1.822246e+03 | -- | Inf
1172.64/1172.64 c 1173s| 1 | 0 |652621 | - | 136M| 0 |1977 |4250 | 68k|4250 | 70k|5764 | 136 | 0 | 1.822461e+03 | -- | Inf
1197.43/1197.47 c 1197s| 1 | 0 |657598 | - | 135M| 0 |1973 |4250 | 68k|4250 | 70k|5790 | 136 | 0 | 1.822628e+03 | -- | Inf
1214.23/1214.28 c 1214s| 1 | 0 |665706 | - | 136M| 0 |1959 |4250 | 68k|4250 | 70k|5813 | 136 | 0 | 1.823207e+03 | -- | Inf
1222.63/1222.69 c 1223s| 1 | 0 |669362 | - | 136M| 0 |1952 |4250 | 68k|4250 | 70k|5831 | 136 | 0 | 1.823844e+03 | -- | Inf
1237.22/1237.21 c 1237s| 1 | 0 |676202 | - | 136M| 0 |1934 |4250 | 68k|4250 | 70k|5854 | 136 | 0 | 1.824364e+03 | -- | Inf
1255.53/1255.55 c 1256s| 1 | 0 |686329 | - | 136M| 0 |1929 |4250 | 68k|4250 | 70k|5883 | 136 | 0 | 1.825458e+03 | -- | Inf
1274.32/1274.38 c 1274s| 1 | 0 |696359 | - | 136M| 0 |1946 |4250 | 68k|4250 | 70k|5925 | 136 | 0 | 1.826770e+03 | -- | Inf
1283.13/1283.10 c 1283s| 1 | 0 |699543 | - | 136M| 0 |1933 |4250 | 68k|4250 | 70k|5959 | 136 | 0 | 1.827532e+03 | -- | Inf
1293.23/1293.22 c 1293s| 1 | 0 |704283 | - | 136M| 0 |1952 |4250 | 68k|4250 | 70k|5985 | 136 | 0 | 1.828200e+03 | -- | Inf
1307.95/1307.95 c 1308s| 1 | 0 |711951 | - | 136M| 0 |1943 |4250 | 68k|4250 | 70k|6012 | 136 | 0 | 1.829026e+03 | -- | Inf
1317.74/1317.78 c 1318s| 1 | 0 |716960 | - | 136M| 0 |1939 |4250 | 68k|4250 | 70k|6040 | 136 | 0 | 1.829617e+03 | -- | Inf
1330.63/1330.69 c 1331s| 1 | 0 |723544 | - | 136M| 0 |1943 |4250 | 68k|4250 | 70k|6067 | 136 | 0 | 1.830430e+03 | -- | Inf
1352.13/1352.16 c 1352s| 1 | 0 |729029 | - | 136M| 0 |1942 |4250 | 68k|4250 | 70k|6095 | 136 | 0 | 1.831312e+03 | -- | Inf
1362.43/1362.43 c 1362s| 1 | 0 |733265 | - | 137M| 0 |1950 |4250 | 68k|4250 | 70k|6121 | 136 | 0 | 1.831955e+03 | -- | Inf
1372.75/1372.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.75/1372.81 c 1373s| 1 | 0 |737313 | - | 137M| 0 |1933 |4250 | 68k|4250 | 70k|6145 | 136 | 0 | 1.832892e+03 | -- | Inf
1387.23/1387.24 c 1387s| 1 | 0 |743876 | - | 137M| 0 |1945 |4250 | 68k|4250 | 70k|6166 | 136 | 0 | 1.833393e+03 | -- | Inf
1408.63/1408.68 c 1409s| 1 | 0 |748238 | - | 137M| 0 |1935 |4250 | 68k|4250 | 70k|6184 | 136 | 0 | 1.834556e+03 | -- | Inf
1421.03/1421.10 c 1421s| 1 | 0 |753295 | - | 137M| 0 |1961 |4250 | 68k|4250 | 70k|6212 | 136 | 0 | 1.835432e+03 | -- | Inf
1432.74/1432.73 c 1433s| 1 | 0 |756142 | - | 137M| 0 |1952 |4250 | 68k|4250 | 70k|6236 | 136 | 0 | 1.835837e+03 | -- | Inf
1446.94/1446.94 c 1447s| 1 | 0 |762480 | - | 138M| 0 |1921 |4250 | 68k|4250 | 70k|6251 | 136 | 0 | 1.836717e+03 | -- | Inf
1462.24/1462.23 c 1462s| 1 | 0 |766888 | - | 138M| 0 |1939 |4250 | 68k|4250 | 70k|6269 | 136 | 0 | 1.837153e+03 | -- | Inf
1471.24/1471.22 c 1471s| 1 | 0 |770055 | - | 138M| 0 |1947 |4250 | 68k|4250 | 70k|6287 | 136 | 0 | 1.837409e+03 | -- | Inf
1498.63/1498.60 c 1499s| 1 | 0 |774487 | - | 138M| 0 |1953 |4250 | 68k|4250 | 70k|6306 | 136 | 0 | 1.837999e+03 | -- | Inf
1520.03/1520.01 c 1520s| 1 | 0 |779112 | - | 138M| 0 |1951 |4250 | 68k|4250 | 70k|6329 | 136 | 0 | 1.838660e+03 | -- | Inf
1539.13/1539.17 c 1539s| 1 | 0 |786951 | - | 138M| 0 |1938 |4250 | 68k|4250 | 70k|6356 | 136 | 0 | 1.839525e+03 | -- | Inf
1556.84/1556.80 c 1557s| 1 | 0 |791498 | - | 138M| 0 |1938 |4250 | 68k|4250 | 70k|6378 | 136 | 0 | 1.840529e+03 | -- | Inf
1571.74/1571.72 c 1572s| 1 | 0 |798330 | - | 138M| 0 |1944 |4250 | 68k|4250 | 70k|6401 | 136 | 0 | 1.841538e+03 | -- | Inf
1589.74/1589.79 c 1590s| 1 | 0 |806041 | - | 138M| 0 |1960 |4250 | 68k|4250 | 70k|6419 | 136 | 0 | 1.842335e+03 | -- | Inf
1629.24/1629.21 c 1629s| 1 | 0 |810765 | - | 138M| 0 |1955 |4250 | 68k|4250 | 70k|6434 | 136 | 0 | 1.842820e+03 | -- | Inf
1642.74/1642.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.74/1642.78 c 1643s| 1 | 0 |816018 | - | 138M| 0 |1958 |4250 | 68k|4250 | 70k|6447 | 136 | 0 | 1.843376e+03 | -- | Inf
1651.84/1651.87 c 1652s| 1 | 0 |819535 | - | 138M| 0 |1963 |4250 | 68k|4250 | 70k|6478 | 136 | 0 | 1.843828e+03 | -- | Inf
1675.75/1675.75 c 1676s| 1 | 0 |829950 | - | 139M| 0 |1956 |4250 | 68k|4250 | 70k|6502 | 136 | 0 | 1.845138e+03 | -- | Inf
1688.45/1688.45 c 1688s| 1 | 0 |835095 | - | 139M| 0 |1980 |4250 | 68k|4250 | 70k|6526 | 136 | 0 | 1.845814e+03 | -- | Inf
1723.34/1723.31 c 1723s| 1 | 0 |844166 | - | 139M| 0 |1970 |4250 | 68k|4250 | 70k|6549 | 136 | 0 | 1.846869e+03 | -- | Inf
1747.34/1747.32 c 1747s| 1 | 0 |850023 | - | 139M| 0 |1952 |4250 | 68k|4250 | 70k|6570 | 136 | 0 | 1.847258e+03 | -- | Inf
1776.84/1776.88 c 1777s| 1 | 0 |857562 | - | 139M| 0 |1974 |4250 | 68k|4250 | 70k|6587 | 136 | 0 | 1.847997e+03 | -- | Inf
1800.06/1800.02 c 1800s| 1 | 0 |863123 | - | 138M| 0 | - |4250 | 68k|4250 | 70k|6607 | 136 | 0 | 1.847997e+03 | -- | Inf
1800.06/1800.04 c 1800s| 1 | 2 |863123 | - | 138M| 0 | - |4250 | 68k|4250 | 70k|6607 | 136 | 0 | 1.847997e+03 | -- | Inf
1800.06/1800.04 c
1800.06/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.04 c Solving Time (sec) : 1800.04
1800.06/1800.04 c Solving Nodes : 1
1800.06/1800.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.04 c Dual Bound : +1.84799678416628e+03
1800.06/1800.04 c Gap : infinite
1800.06/1800.04 s UNKNOWN
1800.06/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.04 c Total Time : 1800.04
1800.06/1800.04 c solving : 1800.04
1800.06/1800.04 c presolving : 19.47 (included in solving)
1800.06/1800.04 c reading : 0.41 (included in solving)
1800.06/1800.04 c Original Problem :
1800.06/1800.04 c Problem name : HOME/instance-3450851-1307085492.opb
1800.06/1800.04 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.04 c Constraints : 68397 initial, 68397 maximal
1800.06/1800.04 c Presolved Problem :
1800.06/1800.04 c Problem name : t_HOME/instance-3450851-1307085492.opb
1800.06/1800.04 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.04 c Constraints : 68397 initial, 68533 maximal
1800.06/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.04 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c probing : 19.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c setppc : 0.08 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c linear : 0.33 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.04 c root node : - 0 - - 0 - - - - -
1800.06/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.04 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1800.06/1800.04 c setppc : 68272 157 6709 0 1 3 6360 1 0 0 0 0
1800.06/1800.04 c logicor : 125+ 157 854 0 1 0 620 14 0 0 0 0
1800.06/1800.04 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.06/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.04 c setppc : 17.61 0.84 16.73 0.00 0.02 0.01 0.00
1800.06/1800.04 c logicor : 0.04 0.00 0.03 0.00 0.00 0.00 0.00
1800.06/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.04 c vbounds : 0 0 0 0
1800.06/1800.04 c rootredcost : 0 0 0 0
1800.06/1800.04 c pseudoobj : 866 0 0 0
1800.06/1800.04 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.04 c vbounds : 0.00 0.00 0.00
1800.06/1800.04 c rootredcost : 0.00 0.00 0.00
1800.06/1800.04 c pseudoobj : 0.01 0.01 0.00
1800.06/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.04 c propagation : 0.01 15 15 432 107.5 0 0.0 -
1800.06/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.04 c applied globally : - - - 136 100.0 - - -
1800.06/1800.04 c applied locally : - - - 0 0.0 - - -
1800.06/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.04 c cut pool : 0.70 156 - - 3790 - (maximal pool size: 14327)
1800.06/1800.04 c redcost : 0.02 157 0 0 0 0
1800.06/1800.04 c impliedbounds : 0.68 157 0 0 0 0
1800.06/1800.04 c intobj : 0.00 0 0 0 0 0
1800.06/1800.04 c gomory : 325.50 157 0 0 78228 0
1800.06/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.04 c closecuts : 0.00 0 0 0 0 0
1800.06/1800.04 c strongcg : 4.37 20 0 0 10000 0
1800.06/1800.04 c cmir : 6.88 10 0 0 0 0
1800.06/1800.04 c flowcover : 7.29 10 0 0 0 0
1800.06/1800.04 c clique : 13.41 157 0 0 1540 0
1800.06/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.04 c mcf : 0.07 1 0 0 0 0
1800.06/1800.04 c oddcycle : 0.00 0 0 0 0 0
1800.06/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.04 c Pricers : Time Calls Vars
1800.06/1800.04 c problem variables: 0.00 0 0
1800.06/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.04 c inference : 0.00 1 0 0 0 0 2
1800.06/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.04 c random : 0.00 0 0 0 0 0 0
1800.06/1800.04 c Primal Heuristics : Time Calls Found
1800.06/1800.04 c LP solutions : 0.00 - 0
1800.06/1800.04 c pseudo solutions : 0.00 - 0
1800.06/1800.04 c oneopt : 0.00 0 0
1800.06/1800.04 c trivial : 0.03 2 0
1800.06/1800.04 c shiftandpropagate: 0.74 1 0
1800.06/1800.04 c simplerounding : 0.00 0 0
1800.06/1800.04 c zirounding : 0.00 0 0
1800.06/1800.04 c rounding : 0.75 100 0
1800.06/1800.04 c shifting : 11.15 100 0
1800.06/1800.04 c intshifting : 0.00 0 0
1800.06/1800.04 c twoopt : 0.00 0 0
1800.06/1800.04 c fixandinfer : 0.00 0 0
1800.06/1800.04 c feaspump : 3.79 1 0
1800.06/1800.04 c clique : 0.00 0 0
1800.06/1800.04 c coefdiving : 0.00 0 0
1800.06/1800.04 c pscostdiving : 0.00 0 0
1800.06/1800.04 c fracdiving : 0.00 0 0
1800.06/1800.04 c veclendiving : 0.00 0 0
1800.06/1800.04 c intdiving : 0.00 0 0
1800.06/1800.04 c actconsdiving : 0.00 0 0
1800.06/1800.04 c objpscostdiving : 0.00 0 0
1800.06/1800.04 c rootsoldiving : 0.00 0 0
1800.06/1800.04 c linesearchdiving : 0.00 0 0
1800.06/1800.04 c guideddiving : 0.00 0 0
1800.06/1800.04 c octane : 0.00 0 0
1800.06/1800.04 c rens : 0.00 0 0
1800.06/1800.04 c rins : 0.00 0 0
1800.06/1800.04 c localbranching : 0.00 0 0
1800.06/1800.04 c mutation : 0.00 0 0
1800.06/1800.04 c crossover : 0.00 0 0
1800.06/1800.04 c dins : 0.00 0 0
1800.06/1800.04 c vbounds : 0.00 0 0
1800.06/1800.04 c undercover : 0.00 0 0
1800.06/1800.04 c subnlp : 0.00 0 0
1800.06/1800.04 c trysol : 0.00 0 0
1800.06/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.04 c primal LP : 0.61 0 0 0.00 0.00
1800.06/1800.04 c dual LP : 1401.15 158 858141 5431.27 612.45
1800.06/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.04 c diving/probing LP: 2.98 114 4982 43.70 1671.29
1800.06/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.04 c (at root node) : - 0 0 0.00 -
1800.06/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.04 c B&B Tree :
1800.06/1800.04 c number of runs : 1
1800.06/1800.04 c nodes : 1
1800.06/1800.04 c nodes (total) : 1
1800.06/1800.04 c nodes left : 2
1800.06/1800.04 c max depth : 0
1800.06/1800.04 c max depth (total): 0
1800.06/1800.04 c backtracks : 0 (0.0%)
1800.06/1800.04 c delayed cutoffs : 0
1800.06/1800.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.04 c avg switch length: 1.00
1800.06/1800.04 c switching time : 0.00
1800.06/1800.04 c Solution :
1800.06/1800.04 c Solutions found : 0 (0 improvements)
1800.06/1800.04 c Primal Bound : -
1800.06/1800.04 c Dual Bound : +1.84799678416628e+03
1800.06/1800.04 c Gap : infinite
1800.06/1800.04 c Root Dual Bound : +1.84799678416628e+03
1800.06/1800.04 c Root Iterations : 863123
1800.25/1800.22 c Time complete: 1800.27.
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-3450851-1307085492/watcher-3450851-1307085492 -o /tmp/evaluation-result-3450851-1307085492/solver-3450851-1307085492 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450851-1307085492.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.11 2.03 2.01 3/436 17950
/proc/meminfo: memFree=20098692/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=17680 CPUtime=0 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 3412 0 0 0 0 0 0 0 18 0 1 0 820147120 18104320 3364 33554432000 4194304 9163163 140736598711472 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17950/statm: 4420 3364 395 1214 0 3202 0
[startup+0.0802841 s]
/proc/loadavg: 2.11 2.03 2.01 3/436 17950
/proc/meminfo: memFree=20098692/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=23160 CPUtime=0.07 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 4797 0 0 0 7 0 0 0 18 0 1 0 820147120 23715840 4749 33554432000 4194304 9163163 140736598711472 18446744073709551615 8031149 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17950/statm: 5790 4749 395 1214 0 4572 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23160
[startup+0.100275 s]
/proc/loadavg: 2.11 2.03 2.01 3/436 17950
/proc/meminfo: memFree=20098692/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=23436 CPUtime=0.09 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 4866 0 0 0 9 0 0 0 18 0 1 0 820147120 23998464 4818 33554432000 4194304 9163163 140736598711472 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17950/statm: 5859 4818 395 1214 0 4641 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23436
[startup+0.300242 s]
/proc/loadavg: 2.11 2.03 2.01 3/436 17950
/proc/meminfo: memFree=20098692/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=36384 CPUtime=0.29 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 8101 0 0 0 29 0 0 0 18 0 1 0 820147120 37257216 8053 33554432000 4194304 9163163 140736598711472 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17950/statm: 9096 8053 395 1214 0 7878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36384
[startup+0.701167 s]
/proc/loadavg: 2.11 2.03 2.01 3/436 17950
/proc/meminfo: memFree=20098692/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=121048 CPUtime=0.69 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 28853 0 0 0 66 3 0 0 18 0 1 0 820147120 123953152 28777 33554432000 4194304 9163163 140736598711472 18446744073709551615 5134820 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 30262 28777 499 1214 0 29044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121048
[startup+1.50102 s]
/proc/loadavg: 2.10 2.03 2.01 3/437 17951
/proc/meminfo: memFree=19979024/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=127152 CPUtime=1.49 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 36050 0 0 0 145 4 0 0 20 0 1 0 820147120 130203648 30288 33554432000 4194304 9163163 140736598711472 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 31788 30288 533 1214 0 30570 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127152
[startup+3.10072 s]
/proc/loadavg: 2.10 2.03 2.01 3/437 17951
/proc/meminfo: memFree=19978032/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=127152 CPUtime=3.09 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 36052 0 0 0 305 4 0 0 25 0 1 0 820147120 130203648 30290 33554432000 4194304 9163163 140736598711472 18446744073709551615 5460505 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 31788 30290 533 1214 0 30570 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127152
[startup+6.30113 s]
/proc/loadavg: 2.10 2.03 2.01 3/437 17951
/proc/meminfo: memFree=19977040/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=127152 CPUtime=6.29 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 36054 0 0 0 625 4 0 0 25 0 1 0 820147120 130203648 30292 33554432000 4194304 9163163 140736598711472 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 31788 30292 533 1214 0 30570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 127152
[startup+12.701 s]
/proc/loadavg: 2.08 2.03 2.01 3/437 17951
/proc/meminfo: memFree=19976432/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=127152 CPUtime=12.69 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 36059 0 0 0 1265 4 0 0 25 0 1 0 820147120 130203648 30297 33554432000 4194304 9163163 140736598711472 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 31788 30297 537 1214 0 30570 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127152
[startup+25.5006 s]
/proc/loadavg: 2.07 2.03 2.01 3/437 17951
/proc/meminfo: memFree=19862700/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=246428 CPUtime=25.48 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 68189 0 0 0 2540 8 0 0 25 0 1 0 820147120 252342272 59158 33554432000 4194304 9163163 140736598711472 18446744073709551615 8045518 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 61607 59158 728 1214 0 60389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 246428
[startup+51.1008 s]
/proc/loadavg: 2.04 2.03 2.00 3/437 17952
/proc/meminfo: memFree=19847460/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=263820 CPUtime=51.09 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 76897 0 0 0 5097 12 0 0 25 0 1 0 820147120 270151680 62736 33554432000 4194304 9163163 140736598711472 18446744073709551615 8045618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 65955 62736 770 1214 0 64737 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 263820
[startup+102.316 s]
/proc/loadavg: 1.96 2.00 1.99 3/437 17981
/proc/meminfo: memFree=20611024/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=273940 CPUtime=102.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 80499 0 0 0 10211 19 0 0 25 0 1 0 820147120 280514560 66310 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348048 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 68485 66310 742 1214 0 67267 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 273940
[startup+162.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/437 18037
/proc/meminfo: memFree=20583912/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=278780 CPUtime=162.29 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 81714 0 0 0 16199 30 0 0 25 0 1 0 820147120 285470720 67525 33554432000 4194304 9163163 140736598711472 18446744073709551615 6968784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 69695 67525 742 1214 0 68477 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 278780
[startup+222.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 18038
/proc/meminfo: memFree=20571944/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=285316 CPUtime=222.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 90103 0 0 0 22191 39 0 0 25 0 1 0 820147120 292163584 68113 33554432000 4194304 9163163 140736598711472 18446744073709551615 7413850 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 71329 68113 745 1214 0 70111 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 285316
[startup+282.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/437 18040
/proc/meminfo: memFree=20582892/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=275928 CPUtime=282.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 105105 0 0 0 28180 50 0 0 25 0 1 0 820147120 282550272 65228 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 68982 65228 744 1214 0 67764 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 275928
[startup+342.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/437 18042
/proc/meminfo: memFree=20571072/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=284768 CPUtime=342.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 120466 0 0 0 34168 62 0 0 25 0 1 0 820147120 291602432 68255 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 71192 68255 748 1214 0 69974 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 284768
[startup+402.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/437 18043
/proc/meminfo: memFree=20561232/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=290552 CPUtime=402.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 142909 0 0 0 40155 75 0 0 25 0 1 0 820147120 297525248 69636 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 72638 69636 1002 1214 0 71420 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 290552
[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18045
/proc/meminfo: memFree=20557116/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=290300 CPUtime=462.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 161741 0 0 0 46143 87 0 0 25 0 1 0 820147120 297267200 71382 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 72575 71382 1726 1214 0 71357 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 290300
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18046
/proc/meminfo: memFree=20553500/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=290124 CPUtime=522.3 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 166033 0 0 0 52133 97 0 0 25 0 1 0 820147120 297086976 71342 33554432000 4194304 9163163 140736598711472 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 72531 71342 775 1214 0 71313 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 290124
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18048
/proc/meminfo: memFree=20556448/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=290116 CPUtime=582.31 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 169325 0 0 0 58123 108 0 0 25 0 1 0 820147120 297078784 71288 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 72529 71288 774 1214 0 71311 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 290116
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18056
/proc/meminfo: memFree=20547748/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=301436 CPUtime=882.31 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 179701 0 0 0 88080 151 0 0 25 0 1 0 820147120 308670464 73307 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348271 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 75359 73307 746 1214 0 74141 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 301436
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18058
/proc/meminfo: memFree=20553804/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=294848 CPUtime=942.31 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 186222 0 0 0 94072 159 0 0 25 0 1 0 820147120 301924352 72009 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348247 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 73712 72009 748 1214 0 72494 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 294848
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18059
/proc/meminfo: memFree=20553140/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=294848 CPUtime=1002.32 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 186241 0 0 0 100064 168 0 0 25 0 1 0 820147120 301924352 72022 33554432000 4194304 9163163 140736598711472 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 73712 72022 742 1214 0 72494 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 294848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 18061
/proc/meminfo: memFree=20551132/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=298372 CPUtime=1062.32 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 186718 0 0 0 106054 178 0 0 25 0 1 0 820147120 305532928 72499 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 74593 72499 742 1214 0 73375 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 298372
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 18062
/proc/meminfo: memFree=20551228/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=298372 CPUtime=1122.32 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 186735 0 0 0 112046 186 0 0 25 0 1 0 820147120 305532928 72516 33554432000 4194304 9163163 140736598711472 18446744073709551615 8045919 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 74593 72516 742 1214 0 73375 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 298372
[startup+1182.3 s]
/proc/loadavg: 2.22 2.05 2.01 3/437 18064
/proc/meminfo: memFree=20550936/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=298372 CPUtime=1182.33 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 186739 0 0 0 118037 196 0 0 25 0 1 0 820147120 305532928 72520 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 74593 72520 742 1214 0 73375 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 298372
[startup+1242.3 s]
/proc/loadavg: 2.27 2.09 2.02 3/437 18066
/proc/meminfo: memFree=20547408/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=298372 CPUtime=1242.33 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 187559 0 0 0 124029 204 0 0 25 0 1 0 820147120 305532928 73340 33554432000 4194304 9163163 140736598711472 18446744073709551615 6974038 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 74593 73340 742 1214 0 73375 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 298372
[startup+1302.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/437 18067
/proc/meminfo: memFree=20547112/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=297988 CPUtime=1302.35 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 192683 0 0 0 130022 213 0 0 25 0 1 0 820147120 305139712 73337 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 74497 73337 837 1214 0 73279 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 297988
[startup+1362.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/437 18069
/proc/meminfo: memFree=20545960/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=297988 CPUtime=1362.33 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 192739 0 0 0 136011 222 0 0 25 0 1 0 820147120 305139712 73337 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 74497 73337 781 1214 0 73279 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 297988
[startup+1422.32 s]
/proc/loadavg: 2.11 2.08 2.02 3/437 18070
/proc/meminfo: memFree=20543216/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=301200 CPUtime=1422.35 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 193557 0 0 0 142005 230 0 0 25 0 1 0 820147120 308428800 74115 33554432000 4194304 9163163 140736598711472 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 75300 74115 741 1214 0 74082 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 301200
[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/437 18072
/proc/meminfo: memFree=20543188/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=303980 CPUtime=1482.33 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 193563 0 0 0 147994 239 0 0 25 0 1 0 820147120 311275520 74121 33554432000 4194304 9163163 140736598711472 18446744073709551615 8045618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 75995 74121 741 1214 0 74777 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 303980
[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/437 18074
/proc/meminfo: memFree=20543276/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=303980 CPUtime=1542.34 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 193570 0 0 0 153986 248 0 0 25 0 1 0 820147120 311275520 74128 33554432000 4194304 9163163 140736598711472 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 75995 74128 741 1214 0 74777 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 303980
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/437 18075
/proc/meminfo: memFree=20548712/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=304340 CPUtime=1602.34 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 197873 0 0 0 159980 254 0 0 25 0 1 0 820147120 311644160 72830 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 76085 72830 741 1214 0 74867 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 304340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18077
/proc/meminfo: memFree=20541728/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=305564 CPUtime=1662.34 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 199716 0 0 0 165972 262 0 0 25 0 1 0 820147120 312897536 74671 33554432000 4194304 9163163 140736598711472 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 76391 74671 869 1214 0 75173 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 305564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18078
/proc/meminfo: memFree=20544176/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=307264 CPUtime=1722.35 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 204999 0 0 0 171965 270 0 0 25 0 1 0 820147120 314638336 74601 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 76816 74601 1159 1214 0 75598 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 307264
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/437 18080
/proc/meminfo: memFree=20543908/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=304860 CPUtime=1782.35 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 213179 0 0 0 177957 278 0 0 25 0 1 0 820147120 312176640 74397 33554432000 4194304 9163163 140736598711472 18446744073709551615 8045618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 76215 74397 1077 1214 0 74997 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 304860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 18081
/proc/meminfo: memFree=20539428/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=308360 CPUtime=1800.06 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 214486 0 0 0 179725 281 0 0 25 0 1 0 820147120 315760640 75368 33554432000 4194304 9163163 140736598711472 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17950/statm: 77090 75368 741 1214 0 75872 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 308360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 18081
/proc/meminfo: memFree=20539428/32951124 swapFree=60787360/67111528
[pid=17950] ppid=17948 vsize=240548 CPUtime=1800.25 cores=0,2,4,6
/proc/17950/stat : 17950 (scip-2.0.1.4b.l) R 17948 17950 11639 0 -1 4202496 214499 0 0 0 179744 281 0 0 18 0 1 0 820147120 246321152 59275 33554432000 4194304 9163163 140736598711472 18446744073709551615 6923162 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17950/statm: 60137 59275 754 1214 0 58919 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 240548
Child status: 0
Real time (s): 1800.22
CPU time (s): 1800.28
CPU user time (s): 1797.45
CPU system time (s): 2.82557
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 315228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.45
system time used= 2.82557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214504
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= 7
involuntary context switches= 2845
runsolver used 8.28174 second user time and 17.5703 second system time
The end