0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3485329-1307764004.opb>
0.29/0.32 c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.39/0.49 c presolving:
0.79/0.87 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.93 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.37 c (10.4s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
19.80/19.86 c (19.9s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
19.80/19.87 c (19.9s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
19.80/19.87 c (19.9s) probing aborted: 2000/2000 successive useless probings
19.80/19.87 c presolving (3 rounds):
19.80/19.87 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
19.80/19.87 c 524786 implications, 0 cliques
19.80/19.87 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
19.80/19.87 c 68272 constraints of type <setppc>
19.80/19.87 c 125 constraints of type <logicor>
19.80/19.87 c transformed objective value is always integral (scale: 1)
19.80/19.87 c Presolving Time: 19.50
19.80/19.87 c - non default parameters ----------------------------------------------------------------------
19.80/19.87 c # SCIP version 2.0.1.4
19.80/19.87 c
19.80/19.87 c # frequency for displaying node information lines
19.80/19.87 c # [type: int, range: [-1,2147483647], default: 100]
19.80/19.87 c display/freq = 10000
19.80/19.87 c
19.80/19.87 c # maximal time in seconds to run
19.80/19.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.80/19.87 c limits/time = 1797
19.80/19.87 c
19.80/19.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.80/19.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.80/19.87 c limits/memory = 13950
19.80/19.87 c
19.80/19.87 c # default clock type (1: CPU user seconds, 2: wall clock time)
19.80/19.87 c # [type: int, range: [1,2], default: 1]
19.80/19.87 c timing/clocktype = 2
19.80/19.87 c
19.80/19.87 c # belongs reading time to solving time?
19.80/19.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.80/19.87 c timing/reading = TRUE
19.80/19.87 c
19.80/19.87 c # should presolving try to simplify inequalities
19.80/19.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.80/19.87 c constraints/linear/simplifyinequalities = TRUE
19.80/19.87 c
19.80/19.87 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
19.80/19.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.80/19.87 c constraints/indicator/addCouplingCons = TRUE
19.80/19.87 c
19.80/19.87 c # should presolving try to simplify knapsacks
19.80/19.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.80/19.87 c constraints/knapsack/simplifyinequalities = TRUE
19.80/19.87 c
19.80/19.87 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
19.80/19.87 c # [type: int, range: [-1,2147483647], default: -1]
19.80/19.87 c separating/rapidlearning/freq = 0
19.80/19.87 c
19.80/19.87 c -----------------------------------------------------------------------------------------------
19.80/19.87 c start solving
19.80/19.87 c
22.79/22.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.79/22.80 c 22.8s| 1 | 0 | 2654 | - | 99M| 0 |2375 |4250 | 68k|4250 | 68k| 0 | 136 | 0 | 1.187500e+03 | -- | Inf
28.59/28.67 c 28.7s| 1 | 0 | 8034 | - | 99M| 0 |2343 |4250 | 68k|4250 | 68k| 23 | 136 | 0 | 1.203500e+03 | -- | Inf
30.70/30.70 c 30.7s| 1 | 0 | 8394 | - | 99M| 0 |2292 |4250 | 68k|4250 | 68k| 56 | 136 | 0 | 1.229000e+03 | -- | Inf
33.29/33.33 c 33.3s| 1 | 0 | 8823 | - | 99M| 0 |2240 |4250 | 68k|4250 | 68k| 108 | 136 | 0 | 1.255000e+03 | -- | Inf
36.20/36.28 c 36.3s| 1 | 0 | 9279 | - | 99M| 0 |2193 |4250 | 68k|4250 | 68k| 151 | 136 | 0 | 1.280250e+03 | -- | Inf
39.39/39.45 c 39.5s| 1 | 0 | 9791 | - | 99M| 0 |2154 |4250 | 68k|4250 | 68k| 195 | 136 | 0 | 1.301250e+03 | -- | Inf
42.90/42.91 c 42.9s| 1 | 0 | 10361 | - | 99M| 0 |2107 |4250 | 68k|4250 | 68k| 244 | 136 | 0 | 1.321750e+03 | -- | Inf
46.89/46.99 c 47.0s| 1 | 0 | 11395 | - | 100M| 0 |2080 |4250 | 68k|4250 | 68k| 295 | 136 | 0 | 1.338500e+03 | -- | Inf
51.09/51.14 c 51.1s| 1 | 0 | 12056 | - | 100M| 0 |2045 |4250 | 68k|4250 | 68k| 340 | 136 | 0 | 1.354850e+03 | -- | Inf
55.19/55.20 c 55.2s| 1 | 0 | 12844 | - | 100M| 0 |2005 |4250 | 68k|4250 | 68k| 394 | 136 | 0 | 1.375500e+03 | -- | Inf
59.70/59.72 c 59.7s| 1 | 0 | 13950 | - | 100M| 0 |2000 |4250 | 68k|4250 | 68k| 442 | 136 | 0 | 1.388472e+03 | -- | Inf
61.60/61.65 c 61.6s| 1 | 0 | 14892 | - | 100M| 0 |1973 |4250 | 68k|4250 | 68k| 483 | 136 | 0 | 1.400717e+03 | -- | Inf
63.50/63.58 c 63.6s| 1 | 0 | 15837 | - | 101M| 0 |1951 |4250 | 68k|4250 | 68k| 528 | 136 | 0 | 1.411300e+03 | -- | Inf
65.39/65.48 c 65.5s| 1 | 0 | 16485 | - | 101M| 0 |1948 |4250 | 68k|4250 | 68k| 575 | 136 | 0 | 1.421350e+03 | -- | Inf
67.39/67.41 c 67.4s| 1 | 0 | 17439 | - | 102M| 0 |1947 |4250 | 68k|4250 | 69k| 617 | 136 | 0 | 1.430000e+03 | -- | Inf
70.40/70.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.40/70.44 c 70.4s| 1 | 0 | 19188 | - | 102M| 0 |1950 |4250 | 68k|4250 | 69k| 676 | 136 | 0 | 1.442875e+03 | -- | Inf
73.30/73.33 c 73.3s| 1 | 0 | 21039 | - | 103M| 0 |1908 |4250 | 68k|4250 | 69k| 731 | 136 | 0 | 1.452958e+03 | -- | Inf
75.50/75.54 c 75.5s| 1 | 0 | 22340 | - | 103M| 0 |1881 |4250 | 68k|4250 | 69k| 778 | 136 | 0 | 1.461146e+03 | -- | Inf
82.19/82.28 c 82.3s| 1 | 0 | 28125 | - | 104M| 0 |1900 |4250 | 68k|4250 | 69k| 826 | 136 | 0 | 1.470847e+03 | -- | Inf
85.09/85.19 c 85.2s| 1 | 0 | 30191 | - | 104M| 0 |1846 |4250 | 68k|4250 | 69k| 876 | 136 | 0 | 1.481521e+03 | -- | Inf
88.09/88.15 c 88.2s| 1 | 0 | 32197 | - | 104M| 0 |1842 |4250 | 68k|4250 | 69k| 924 | 136 | 0 | 1.491504e+03 | -- | Inf
92.20/92.21 c 92.2s| 1 | 0 | 34963 | - | 105M| 0 |1846 |4250 | 68k|4250 | 69k| 981 | 136 | 0 | 1.501750e+03 | -- | Inf
99.59/99.65 c 99.7s| 1 | 0 | 40974 | - | 105M| 0 |1803 |4250 | 68k|4250 | 69k|1030 | 136 | 0 | 1.510000e+03 | -- | Inf
102.59/102.69 c 103s| 1 | 0 | 43154 | - | 105M| 0 |1793 |4250 | 68k|4250 | 69k|1079 | 136 | 0 | 1.514500e+03 | -- | Inf
108.80/108.84 c 109s| 1 | 0 | 47984 | - | 106M| 0 |1798 |4250 | 68k|4250 | 69k|1120 | 136 | 0 | 1.516969e+03 | -- | Inf
111.20/111.28 c 111s| 1 | 0 | 49782 | - | 106M| 0 |1809 |4250 | 68k|4250 | 69k|1175 | 136 | 0 | 1.523958e+03 | -- | Inf
116.69/116.79 c 117s| 1 | 0 | 54365 | - | 106M| 0 |1806 |4250 | 68k|4250 | 69k|1222 | 136 | 0 | 1.530964e+03 | -- | Inf
119.59/119.61 c 120s| 1 | 0 | 56567 | - | 106M| 0 |1760 |4250 | 68k|4250 | 69k|1270 | 136 | 0 | 1.536000e+03 | -- | Inf
126.20/126.25 c 126s| 1 | 0 | 62371 | - | 107M| 0 |1752 |4250 | 68k|4250 | 69k|1321 | 136 | 0 | 1.543667e+03 | -- | Inf
129.09/129.15 c 129s| 1 | 0 | 64197 | - | 107M| 0 |1748 |4250 | 68k|4250 | 69k|1375 | 136 | 0 | 1.554625e+03 | -- | Inf
135.79/135.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.79/135.84 c 136s| 1 | 0 | 70381 | - | 107M| 0 |1707 |4250 | 68k|4250 | 69k|1423 | 136 | 0 | 1.562375e+03 | -- | Inf
138.00/138.09 c 138s| 1 | 0 | 71869 | - | 107M| 0 |1701 |4250 | 68k|4250 | 69k|1485 | 136 | 0 | 1.569792e+03 | -- | Inf
142.80/142.84 c 143s| 1 | 0 | 75221 | - | 108M| 0 |1674 |4250 | 68k|4250 | 69k|1540 | 136 | 0 | 1.578381e+03 | -- | Inf
146.00/146.07 c 146s| 1 | 0 | 77818 | - | 108M| 0 |1637 |4250 | 68k|4250 | 69k|1597 | 136 | 0 | 1.584212e+03 | -- | Inf
148.79/148.83 c 149s| 1 | 0 | 80154 | - | 108M| 0 |1678 |4250 | 68k|4250 | 69k|1645 | 136 | 0 | 1.589625e+03 | -- | Inf
155.39/155.49 c 155s| 1 | 0 | 86224 | - | 108M| 0 |1667 |4250 | 68k|4250 | 69k|1696 | 136 | 0 | 1.598500e+03 | -- | Inf
164.50/164.56 c 165s| 1 | 0 | 94111 | - | 109M| 0 |1640 |4250 | 68k|4250 | 69k|1740 | 136 | 0 | 1.604348e+03 | -- | Inf
166.59/166.68 c 167s| 1 | 0 | 95272 | - | 109M| 0 |1620 |4250 | 68k|4250 | 69k|1794 | 136 | 0 | 1.609750e+03 | -- | Inf
173.60/173.61 c 174s| 1 | 0 |100606 | - | 109M| 0 |1603 |4250 | 68k|4250 | 69k|1845 | 136 | 0 | 1.613083e+03 | -- | Inf
176.49/176.56 c 177s| 1 | 0 |102892 | - | 109M| 0 |1597 |4250 | 68k|4250 | 69k|1897 | 136 | 0 | 1.619000e+03 | -- | Inf
182.20/182.28 c 182s| 1 | 0 |108145 | - | 110M| 0 |1612 |4250 | 68k|4250 | 69k|1943 | 136 | 0 | 1.623370e+03 | -- | Inf
191.00/191.07 c 191s| 1 | 0 |114932 | - | 110M| 0 |1658 |4250 | 68k|4250 | 69k|1992 | 136 | 0 | 1.629620e+03 | -- | Inf
194.71/194.79 c 195s| 1 | 0 |118255 | - | 110M| 0 |1718 |4250 | 68k|4250 | 69k|2035 | 136 | 0 | 1.635084e+03 | -- | Inf
198.39/198.42 c 198s| 1 | 0 |121139 | - | 111M| 0 |1639 |4250 | 68k|4250 | 69k|2094 | 136 | 0 | 1.642078e+03 | -- | Inf
203.79/203.87 c 204s| 1 | 0 |125906 | - | 111M| 0 |1559 |4250 | 68k|4250 | 69k|2149 | 136 | 0 | 1.646833e+03 | -- | Inf
208.79/208.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.79/208.84 c 209s| 1 | 0 |129597 | - | 111M| 0 |1568 |4250 | 68k|4250 | 69k|2200 | 136 | 0 | 1.652995e+03 | -- | Inf
212.40/212.49 c 212s| 1 | 0 |132334 | - | 112M| 0 |1514 |4250 | 68k|4250 | 69k|2246 | 136 | 0 | 1.657991e+03 | -- | Inf
229.30/229.33 c 229s| 1 | 0 |142607 | - | 112M| 0 |1494 |4250 | 68k|4250 | 69k|2299 | 136 | 0 | 1.662663e+03 | -- | Inf
233.80/233.89 c 234s| 1 | 0 |145596 | - | 112M| 0 |1487 |4250 | 68k|4250 | 69k|2348 | 136 | 0 | 1.670115e+03 | -- | Inf
240.90/240.94 c 241s| 1 | 0 |151534 | - | 112M| 0 |1533 |4250 | 68k|4250 | 69k|2407 | 136 | 0 | 1.676714e+03 | -- | Inf
243.50/243.53 c 244s| 1 | 0 |153468 | - | 112M| 0 |1478 |4250 | 68k|4250 | 69k|2466 | 136 | 0 | 1.680494e+03 | -- | Inf
253.40/253.42 c 253s| 1 | 0 |160692 | - | 113M| 0 |1490 |4250 | 68k|4250 | 69k|2527 | 136 | 0 | 1.683600e+03 | -- | Inf
259.50/259.56 c 260s| 1 | 0 |165666 | - | 113M| 0 |1477 |4250 | 68k|4250 | 69k|2574 | 136 | 0 | 1.687403e+03 | -- | Inf
262.70/262.70 c 263s| 1 | 0 |167910 | - | 113M| 0 |1501 |4250 | 68k|4250 | 69k|2626 | 136 | 0 | 1.690804e+03 | -- | Inf
269.10/269.13 c 269s| 1 | 0 |172469 | - | 113M| 0 |1498 |4250 | 68k|4250 | 69k|2671 | 136 | 0 | 1.693314e+03 | -- | Inf
275.10/275.17 c 275s| 1 | 0 |177006 | - | 114M| 0 |1517 |4250 | 68k|4250 | 69k|2722 | 136 | 0 | 1.696481e+03 | -- | Inf
278.30/278.39 c 278s| 1 | 0 |179226 | - | 114M| 0 |1571 |4250 | 68k|4250 | 69k|2767 | 136 | 0 | 1.700300e+03 | -- | Inf
285.70/285.77 c 286s| 1 | 0 |185264 | - | 114M| 0 |1519 |4250 | 68k|4250 | 69k|2820 | 136 | 0 | 1.705004e+03 | -- | Inf
299.10/299.17 c 299s| 1 | 0 |192839 | - | 114M| 0 |1507 |4250 | 68k|4250 | 69k|2868 | 136 | 0 | 1.709937e+03 | -- | Inf
303.30/303.33 c 303s| 1 | 0 |195723 | - | 115M| 0 |1547 |4250 | 68k|4250 | 69k|2912 | 136 | 0 | 1.713922e+03 | -- | Inf
309.30/309.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.30/309.35 c 309s| 1 | 0 |200039 | - | 115M| 0 |1547 |4250 | 68k|4250 | 69k|2962 | 136 | 0 | 1.718133e+03 | -- | Inf
318.91/318.93 c 319s| 1 | 0 |206661 | - | 115M| 0 |1488 |4250 | 68k|4250 | 69k|3028 | 136 | 0 | 1.720958e+03 | -- | Inf
327.80/327.81 c 328s| 1 | 0 |214594 | - | 116M| 0 |1466 |4250 | 68k|4250 | 69k|3084 | 136 | 0 | 1.724210e+03 | -- | Inf
339.10/339.17 c 339s| 1 | 0 |222949 | - | 116M| 0 |1549 |4250 | 68k|4250 | 69k|3150 | 136 | 0 | 1.729655e+03 | -- | Inf
347.80/347.84 c 348s| 1 | 0 |229009 | - | 116M| 0 |1517 |4250 | 68k|4250 | 69k|3215 | 136 | 0 | 1.734375e+03 | -- | Inf
352.30/352.36 c 352s| 1 | 0 |231999 | - | 117M| 0 |1503 |4250 | 68k|4250 | 69k|3276 | 136 | 0 | 1.738375e+03 | -- | Inf
365.30/365.39 c 365s| 1 | 0 |240940 | - | 117M| 0 |1478 |4250 | 68k|4250 | 69k|3334 | 136 | 0 | 1.741519e+03 | -- | Inf
380.21/380.26 c 380s| 1 | 0 |250045 | - | 117M| 0 |1579 |4250 | 68k|4250 | 69k|3387 | 136 | 0 | 1.744529e+03 | -- | Inf
388.60/388.62 c 389s| 1 | 0 |254957 | - | 118M| 0 |1518 |4250 | 68k|4250 | 69k|3453 | 136 | 0 | 1.746267e+03 | -- | Inf
401.71/401.74 c 402s| 1 | 0 |264406 | - | 118M| 0 |1567 |4250 | 68k|4250 | 70k|3509 | 136 | 0 | 1.748750e+03 | -- | Inf
409.70/409.78 c 410s| 1 | 0 |270053 | - | 118M| 0 |1551 |4250 | 68k|4250 | 70k|3568 | 136 | 0 | 1.753070e+03 | -- | Inf
420.60/420.68 c 421s| 1 | 0 |277416 | - | 119M| 0 |1537 |4250 | 68k|4250 | 69k|3620 | 136 | 0 | 1.754719e+03 | -- | Inf
433.41/433.49 c 433s| 1 | 0 |285593 | - | 119M| 0 |1489 |4250 | 68k|4250 | 69k|3665 | 136 | 0 | 1.756100e+03 | -- | Inf
440.50/440.54 c 441s| 1 | 0 |290320 | - | 119M| 0 |1560 |4250 | 68k|4250 | 70k|3714 | 136 | 0 | 1.758343e+03 | -- | Inf
446.90/446.99 c 447s| 1 | 0 |294280 | - | 120M| 0 |1600 |4250 | 68k|4250 | 70k|3778 | 136 | 0 | 1.761654e+03 | -- | Inf
456.30/456.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.30/456.35 c 456s| 1 | 0 |299926 | - | 120M| 0 |1590 |4250 | 68k|4250 | 70k|3834 | 136 | 0 | 1.765033e+03 | -- | Inf
469.31/469.35 c 469s| 1 | 0 |309218 | - | 120M| 0 |1629 |4250 | 68k|4250 | 70k|3883 | 136 | 0 | 1.767664e+03 | -- | Inf
479.01/479.08 c 479s| 1 | 0 |316137 | - | 121M| 0 |1634 |4250 | 68k|4250 | 70k|3933 | 136 | 0 | 1.770071e+03 | -- | Inf
491.31/491.36 c 491s| 1 | 0 |324939 | - | 121M| 0 |1626 |4250 | 68k|4250 | 70k|3987 | 136 | 0 | 1.771613e+03 | -- | Inf
498.11/498.16 c 498s| 1 | 0 |329155 | - | 121M| 0 |1641 |4250 | 68k|4250 | 70k|4046 | 136 | 0 | 1.773038e+03 | -- | Inf
503.82/503.86 c 504s| 1 | 0 |332694 | - | 122M| 0 |1653 |4250 | 68k|4250 | 70k|4091 | 136 | 0 | 1.774615e+03 | -- | Inf
514.61/514.62 c 515s| 1 | 0 |338860 | - | 122M| 0 |1626 |4250 | 68k|4250 | 70k|4145 | 136 | 0 | 1.775981e+03 | -- | Inf
532.11/532.18 c 532s| 1 | 0 |349694 | - | 122M| 0 |1782 |4250 | 68k|4250 | 70k|4195 | 136 | 0 | 1.780233e+03 | -- | Inf
541.61/541.69 c 542s| 1 | 0 |356061 | - | 123M| 0 |1692 |4250 | 68k|4250 | 70k|4247 | 136 | 0 | 1.784431e+03 | -- | Inf
563.22/563.23 c 563s| 1 | 0 |367257 | - | 123M| 0 |1709 |4250 | 68k|4250 | 70k|4297 | 136 | 0 | 1.786966e+03 | -- | Inf
574.51/574.55 c 575s| 1 | 0 |373826 | - | 123M| 0 |1720 |4250 | 68k|4250 | 70k|4347 | 136 | 0 | 1.788931e+03 | -- | Inf
591.01/591.01 c 591s| 1 | 0 |382436 | - | 124M| 0 |1693 |4250 | 68k|4250 | 70k|4406 | 136 | 0 | 1.791329e+03 | -- | Inf
607.81/607.85 c 608s| 1 | 0 |392270 | - | 124M| 0 |1743 |4250 | 68k|4250 | 70k|4459 | 136 | 0 | 1.793558e+03 | -- | Inf
619.22/619.24 c 619s| 1 | 0 |398689 | - | 124M| 0 |1719 |4250 | 68k|4250 | 70k|4509 | 136 | 0 | 1.795402e+03 | -- | Inf
635.41/635.43 c 635s| 1 | 0 |407849 | - | 125M| 0 |1773 |4250 | 68k|4250 | 70k|4559 | 136 | 0 | 1.797816e+03 | -- | Inf
651.52/651.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.52/651.50 c 651s| 1 | 0 |416249 | - | 125M| 0 |1723 |4250 | 68k|4250 | 70k|4599 | 136 | 0 | 1.798403e+03 | -- | Inf
663.82/663.87 c 664s| 1 | 0 |422688 | - | 125M| 0 |1820 |4250 | 68k|4250 | 70k|4642 | 136 | 0 | 1.799067e+03 | -- | Inf
679.82/679.87 c 680s| 1 | 0 |431429 | - | 126M| 0 |1796 |4250 | 68k|4250 | 70k|4687 | 136 | 0 | 1.799794e+03 | -- | Inf
692.51/692.60 c 693s| 1 | 0 |437964 | - | 126M| 0 |1835 |4250 | 68k|4250 | 70k|4726 | 136 | 0 | 1.800329e+03 | -- | Inf
710.12/710.10 c 710s| 1 | 0 |447049 | - | 126M| 0 |1817 |4250 | 68k|4250 | 70k|4781 | 136 | 0 | 1.801456e+03 | -- | Inf
723.62/723.70 c 724s| 1 | 0 |453648 | - | 127M| 0 |1810 |4250 | 68k|4250 | 70k|4827 | 136 | 0 | 1.802394e+03 | -- | Inf
737.82/737.83 c 738s| 1 | 0 |460903 | - | 127M| 0 |1838 |4250 | 68k|4250 | 70k|4872 | 136 | 0 | 1.803446e+03 | -- | Inf
758.72/758.77 c 759s| 1 | 0 |471108 | - | 127M| 0 |1839 |4250 | 68k|4250 | 70k|4916 | 136 | 0 | 1.805421e+03 | -- | Inf
774.61/774.61 c 775s| 1 | 0 |478824 | - | 127M| 0 |1848 |4250 | 68k|4250 | 70k|4968 | 136 | 0 | 1.807712e+03 | -- | Inf
785.52/785.54 c 786s| 1 | 0 |484561 | - | 128M| 0 |1861 |4250 | 68k|4250 | 70k|5008 | 136 | 0 | 1.808960e+03 | -- | Inf
806.92/806.92 c 807s| 1 | 0 |494929 | - | 129M| 0 |1842 |4250 | 68k|4250 | 70k|5054 | 136 | 0 | 1.810139e+03 | -- | Inf
828.62/828.64 c 829s| 1 | 0 |505333 | - | 129M| 0 |1820 |4250 | 68k|4250 | 70k|5093 | 136 | 0 | 1.810484e+03 | -- | Inf
844.62/844.66 c 845s| 1 | 0 |514124 | - | 129M| 0 |1832 |4250 | 68k|4250 | 70k|5139 | 136 | 0 | 1.810766e+03 | -- | Inf
853.73/853.73 c 854s| 1 | 0 |518303 | - | 130M| 0 |1826 |4250 | 68k|4250 | 70k|5175 | 136 | 0 | 1.811309e+03 | -- | Inf
869.32/869.36 c 869s| 1 | 0 |525691 | - | 130M| 0 |1896 |4250 | 68k|4250 | 70k|5216 | 136 | 0 | 1.811792e+03 | -- | Inf
885.73/885.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.73/885.78 c 886s| 1 | 0 |535269 | - | 130M| 0 |1926 |4250 | 68k|4250 | 70k|5253 | 136 | 0 | 1.812865e+03 | -- | Inf
910.73/910.72 c 911s| 1 | 0 |547107 | - | 131M| 0 |1852 |4250 | 68k|4250 | 70k|5302 | 136 | 0 | 1.814492e+03 | -- | Inf
930.63/930.61 c 931s| 1 | 0 |557058 | - | 131M| 0 |1913 |4250 | 68k|4250 | 70k|5335 | 136 | 0 | 1.816221e+03 | -- | Inf
956.73/956.74 c 957s| 1 | 0 |568394 | - | 131M| 0 |1861 |4250 | 68k|4250 | 70k|5374 | 136 | 0 | 1.817387e+03 | -- | Inf
970.63/970.69 c 971s| 1 | 0 |575341 | - | 131M| 0 |1942 |4250 | 68k|4250 | 70k|5419 | 136 | 0 | 1.818184e+03 | -- | Inf
982.83/982.82 c 983s| 1 | 0 |580898 | - | 132M| 0 |1916 |4250 | 68k|4250 | 70k|5456 | 136 | 0 | 1.818496e+03 | -- | Inf
1001.22/1001.26 c 1001s| 1 | 0 |590152 | - | 132M| 0 |1931 |4250 | 68k|4250 | 70k|5492 | 136 | 0 | 1.818695e+03 | -- | Inf
1026.53/1026.56 c 1027s| 1 | 0 |600938 | - | 132M| 0 |1864 |4250 | 68k|4250 | 70k|5524 | 136 | 0 | 1.818924e+03 | -- | Inf
1044.63/1044.68 c 1045s| 1 | 0 |610483 | - | 132M| 0 |1953 |4250 | 68k|4250 | 70k|5558 | 136 | 0 | 1.819314e+03 | -- | Inf
1077.63/1077.63 c 1078s| 1 | 0 |623349 | - | 132M| 0 |1920 |4250 | 68k|4250 | 70k|5594 | 136 | 0 | 1.819920e+03 | -- | Inf
1087.73/1087.71 c 1088s| 1 | 0 |627916 | - | 132M| 0 |1934 |4250 | 68k|4250 | 70k|5626 | 136 | 0 | 1.820452e+03 | -- | Inf
1093.84/1093.86 c 1094s| 1 | 0 |631021 | - | 131M| 0 |1965 |4250 | 68k|4250 | 70k|5658 | 136 | 0 | 1.820668e+03 | -- | Inf
1103.13/1103.20 c 1103s| 1 | 0 |635209 | - | 131M| 0 |1989 |4250 | 68k|4250 | 70k|5676 | 136 | 0 | 1.821306e+03 | -- | Inf
1111.63/1111.62 c 1112s| 1 | 0 |638028 | - | 131M| 0 |1929 |4250 | 68k|4250 | 70k|5696 | 136 | 0 | 1.821624e+03 | -- | Inf
1121.83/1121.86 c 1122s| 1 | 0 |643410 | - | 131M| 0 |1975 |4250 | 68k|4250 | 70k|5717 | 136 | 0 | 1.821915e+03 | -- | Inf
1134.03/1134.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.03/1134.06 c 1134s| 1 | 0 |647739 | - | 131M| 0 |1975 |4250 | 68k|4250 | 70k|5739 | 136 | 0 | 1.822246e+03 | -- | Inf
1144.13/1144.15 c 1144s| 1 | 0 |652621 | - | 131M| 0 |1977 |4250 | 68k|4250 | 70k|5764 | 136 | 0 | 1.822461e+03 | -- | Inf
1168.64/1168.68 c 1169s| 1 | 0 |657598 | - | 130M| 0 |1973 |4250 | 68k|4250 | 70k|5790 | 136 | 0 | 1.822628e+03 | -- | Inf
1185.13/1185.15 c 1185s| 1 | 0 |665706 | - | 131M| 0 |1959 |4250 | 68k|4250 | 70k|5813 | 136 | 0 | 1.823207e+03 | -- | Inf
1193.44/1193.43 c 1193s| 1 | 0 |669362 | - | 131M| 0 |1952 |4250 | 68k|4250 | 70k|5831 | 136 | 0 | 1.823844e+03 | -- | Inf
1207.74/1207.71 c 1208s| 1 | 0 |676202 | - | 131M| 0 |1934 |4250 | 68k|4250 | 70k|5854 | 136 | 0 | 1.824364e+03 | -- | Inf
1225.74/1225.70 c 1226s| 1 | 0 |686329 | - | 131M| 0 |1929 |4250 | 68k|4250 | 70k|5883 | 136 | 0 | 1.825458e+03 | -- | Inf
1244.15/1244.15 c 1244s| 1 | 0 |696359 | - | 131M| 0 |1946 |4250 | 68k|4250 | 70k|5925 | 136 | 0 | 1.826770e+03 | -- | Inf
1252.73/1252.75 c 1253s| 1 | 0 |699543 | - | 131M| 0 |1933 |4250 | 68k|4250 | 70k|5959 | 136 | 0 | 1.827532e+03 | -- | Inf
1262.64/1262.69 c 1263s| 1 | 0 |704283 | - | 131M| 0 |1952 |4250 | 68k|4250 | 70k|5985 | 136 | 0 | 1.828200e+03 | -- | Inf
1277.14/1277.14 c 1277s| 1 | 0 |711951 | - | 131M| 0 |1943 |4250 | 68k|4250 | 70k|6012 | 136 | 0 | 1.829026e+03 | -- | Inf
1286.74/1286.77 c 1287s| 1 | 0 |716960 | - | 131M| 0 |1939 |4250 | 68k|4250 | 70k|6040 | 136 | 0 | 1.829617e+03 | -- | Inf
1299.44/1299.41 c 1299s| 1 | 0 |723544 | - | 131M| 0 |1943 |4250 | 68k|4250 | 70k|6067 | 136 | 0 | 1.830430e+03 | -- | Inf
1320.54/1320.56 c 1321s| 1 | 0 |729029 | - | 131M| 0 |1942 |4250 | 68k|4250 | 70k|6095 | 136 | 0 | 1.831312e+03 | -- | Inf
1330.64/1330.65 c 1331s| 1 | 0 |733265 | - | 132M| 0 |1950 |4250 | 68k|4250 | 70k|6121 | 136 | 0 | 1.831955e+03 | -- | Inf
1340.84/1340.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.84/1340.90 c 1341s| 1 | 0 |737313 | - | 132M| 0 |1933 |4250 | 68k|4250 | 70k|6145 | 136 | 0 | 1.832892e+03 | -- | Inf
1355.14/1355.14 c 1355s| 1 | 0 |743876 | - | 132M| 0 |1945 |4250 | 68k|4250 | 70k|6166 | 136 | 0 | 1.833393e+03 | -- | Inf
1376.34/1376.35 c 1376s| 1 | 0 |748238 | - | 132M| 0 |1935 |4250 | 68k|4250 | 70k|6184 | 136 | 0 | 1.834556e+03 | -- | Inf
1388.54/1388.55 c 1389s| 1 | 0 |753295 | - | 132M| 0 |1961 |4250 | 68k|4250 | 70k|6212 | 136 | 0 | 1.835432e+03 | -- | Inf
1400.04/1400.04 c 1400s| 1 | 0 |756142 | - | 132M| 0 |1952 |4250 | 68k|4250 | 70k|6236 | 136 | 0 | 1.835837e+03 | -- | Inf
1414.04/1414.04 c 1414s| 1 | 0 |762480 | - | 133M| 0 |1921 |4250 | 68k|4250 | 70k|6251 | 136 | 0 | 1.836717e+03 | -- | Inf
1429.14/1429.15 c 1429s| 1 | 0 |766888 | - | 133M| 0 |1939 |4250 | 68k|4250 | 70k|6269 | 136 | 0 | 1.837153e+03 | -- | Inf
1438.04/1438.01 c 1438s| 1 | 0 |770055 | - | 133M| 0 |1947 |4250 | 68k|4250 | 70k|6287 | 136 | 0 | 1.837409e+03 | -- | Inf
1465.04/1465.08 c 1465s| 1 | 0 |774487 | - | 133M| 0 |1953 |4250 | 68k|4250 | 70k|6306 | 136 | 0 | 1.837999e+03 | -- | Inf
1486.15/1486.18 c 1486s| 1 | 0 |779112 | - | 133M| 0 |1951 |4250 | 68k|4250 | 70k|6329 | 136 | 0 | 1.838660e+03 | -- | Inf
1505.05/1505.04 c 1505s| 1 | 0 |786951 | - | 133M| 0 |1938 |4250 | 68k|4250 | 70k|6356 | 136 | 0 | 1.839525e+03 | -- | Inf
1522.45/1522.47 c 1522s| 1 | 0 |791498 | - | 133M| 0 |1938 |4250 | 68k|4250 | 70k|6378 | 136 | 0 | 1.840529e+03 | -- | Inf
1537.14/1537.14 c 1537s| 1 | 0 |798330 | - | 133M| 0 |1944 |4250 | 68k|4250 | 70k|6401 | 136 | 0 | 1.841538e+03 | -- | Inf
1555.05/1555.03 c 1555s| 1 | 0 |806041 | - | 133M| 0 |1960 |4250 | 68k|4250 | 70k|6419 | 136 | 0 | 1.842335e+03 | -- | Inf
1594.05/1594.08 c 1594s| 1 | 0 |810765 | - | 133M| 0 |1955 |4250 | 68k|4250 | 70k|6434 | 136 | 0 | 1.842820e+03 | -- | Inf
1607.54/1607.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.54/1607.51 c 1608s| 1 | 0 |816018 | - | 133M| 0 |1958 |4250 | 68k|4250 | 70k|6447 | 136 | 0 | 1.843376e+03 | -- | Inf
1616.45/1616.49 c 1616s| 1 | 0 |819535 | - | 134M| 0 |1963 |4250 | 68k|4250 | 70k|6478 | 136 | 0 | 1.843828e+03 | -- | Inf
1640.05/1640.03 c 1640s| 1 | 0 |829950 | - | 134M| 0 |1956 |4250 | 68k|4250 | 70k|6502 | 136 | 0 | 1.845138e+03 | -- | Inf
1652.55/1652.55 c 1653s| 1 | 0 |835095 | - | 134M| 0 |1980 |4250 | 68k|4250 | 70k|6526 | 136 | 0 | 1.845814e+03 | -- | Inf
1687.05/1687.01 c 1687s| 1 | 0 |844166 | - | 134M| 0 |1970 |4250 | 68k|4250 | 70k|6549 | 136 | 0 | 1.846869e+03 | -- | Inf
1710.75/1710.77 c 1711s| 1 | 0 |850023 | - | 134M| 0 |1952 |4250 | 68k|4250 | 70k|6570 | 136 | 0 | 1.847258e+03 | -- | Inf
1739.96/1739.98 c 1740s| 1 | 0 |857562 | - | 134M| 0 |1974 |4250 | 68k|4250 | 70k|6587 | 136 | 0 | 1.847997e+03 | -- | Inf
1771.95/1771.98 c 1772s| 1 | 0 |867769 | - | 134M| 0 |1963 |4250 | 68k|4250 | 70k|6607 | 136 | 0 | 1.848913e+03 | -- | Inf
1791.46/1791.42 c 1791s| 1 | 0 |872031 | - | 134M| 0 |1947 |4250 | 68k|4250 | 70k|6625 | 136 | 0 | 1.849515e+03 | -- | Inf
1797.05/1797.00 c 1797s| 1 | 0 |872031 | - | 133M| 0 | - |4250 | 68k|4250 | 70k|6640 | 136 | 0 | 1.849515e+03 | -- | Inf
1797.05/1797.02 c 1797s| 1 | 2 |872031 | - | 133M| 0 | - |4250 | 68k|4250 | 70k|6640 | 136 | 0 | 1.849515e+03 | -- | Inf
1797.05/1797.02 c
1797.05/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.02 c Solving Time (sec) : 1797.02
1797.05/1797.02 c Solving Nodes : 1
1797.05/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.02 c Dual Bound : +1.84951485045713e+03
1797.05/1797.02 c Gap : infinite
1797.05/1797.02 s UNKNOWN
1797.05/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.02 c Total Time : 1797.02
1797.05/1797.02 c solving : 1797.02
1797.05/1797.02 c presolving : 19.50 (included in solving)
1797.05/1797.02 c reading : 0.33 (included in solving)
1797.05/1797.02 c Original Problem :
1797.05/1797.02 c Problem name : HOME/instance-3485329-1307764004.opb
1797.05/1797.02 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 68397 initial, 68397 maximal
1797.05/1797.02 c Presolved Problem :
1797.05/1797.02 c Problem name : t_HOME/instance-3485329-1307764004.opb
1797.05/1797.02 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 68397 initial, 68533 maximal
1797.05/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c probing : 18.91 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c setppc : 0.08 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c linear : 0.35 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c root node : - 0 - - 0 - - - - -
1797.05/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.05/1797.02 c setppc : 68272 159 6709 0 1 3 6360 1 0 0 0 0
1797.05/1797.02 c logicor : 125+ 159 854 0 1 0 620 14 0 0 0 0
1797.05/1797.02 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.02 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c setppc : 17.58 0.87 16.67 0.00 0.02 0.01 0.00
1797.05/1797.02 c logicor : 0.04 0.00 0.03 0.00 0.00 0.00 0.00
1797.05/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.02 c vbounds : 0 0 0 0
1797.05/1797.02 c rootredcost : 0 0 0 0
1797.05/1797.02 c pseudoobj : 868 0 0 0
1797.05/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.02 c vbounds : 0.00 0.00 0.00
1797.05/1797.02 c rootredcost : 0.00 0.00 0.00
1797.05/1797.02 c pseudoobj : 0.01 0.01 0.00
1797.05/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.02 c propagation : 0.01 15 15 432 107.5 0 0.0 -
1797.05/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.02 c applied globally : - - - 136 100.0 - - -
1797.05/1797.02 c applied locally : - - - 0 0.0 - - -
1797.05/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.02 c cut pool : 0.72 158 - - 3821 - (maximal pool size: 14327)
1797.05/1797.02 c redcost : 0.02 159 0 0 0 0
1797.05/1797.02 c impliedbounds : 0.55 159 0 0 0 0
1797.05/1797.02 c intobj : 0.00 0 0 0 0 0
1797.05/1797.02 c gomory : 339.34 159 0 0 78868 0
1797.05/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.02 c strongcg : 4.32 20 0 0 10000 0
1797.05/1797.02 c cmir : 7.37 10 0 0 0 0
1797.05/1797.02 c flowcover : 8.23 10 0 0 0 0
1797.05/1797.02 c clique : 13.24 158 0 0 1550 0
1797.05/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.02 c mcf : 0.07 1 0 0 0 0
1797.05/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.02 c Pricers : Time Calls Vars
1797.05/1797.02 c problem variables: 0.00 0 0
1797.05/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c relpscost : 0.00 0 0 0 0 0 0
1797.05/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c random : 0.00 0 0 0 0 0 0
1797.05/1797.02 c Primal Heuristics : Time Calls Found
1797.05/1797.02 c LP solutions : 0.00 - 0
1797.05/1797.02 c pseudo solutions : 0.00 - 0
1797.05/1797.02 c oneopt : 0.00 0 0
1797.05/1797.02 c trivial : 0.03 2 0
1797.05/1797.02 c shiftandpropagate: 0.73 1 0
1797.05/1797.02 c simplerounding : 0.00 0 0
1797.05/1797.02 c zirounding : 0.00 0 0
1797.05/1797.02 c rounding : 0.72 100 0
1797.05/1797.02 c shifting : 10.94 100 0
1797.05/1797.02 c intshifting : 0.00 0 0
1797.05/1797.02 c twoopt : 0.00 0 0
1797.05/1797.02 c fixandinfer : 0.00 0 0
1797.05/1797.02 c feaspump : 3.63 1 0
1797.05/1797.02 c clique : 0.00 0 0
1797.05/1797.02 c coefdiving : 0.00 0 0
1797.05/1797.02 c pscostdiving : 0.00 0 0
1797.05/1797.02 c fracdiving : 0.00 0 0
1797.05/1797.02 c veclendiving : 0.00 0 0
1797.05/1797.02 c intdiving : 0.00 0 0
1797.05/1797.02 c actconsdiving : 0.00 0 0
1797.05/1797.02 c objpscostdiving : 0.00 0 0
1797.05/1797.02 c rootsoldiving : 0.00 0 0
1797.05/1797.02 c linesearchdiving : 0.00 0 0
1797.05/1797.02 c guideddiving : 0.00 0 0
1797.05/1797.02 c octane : 0.00 0 0
1797.05/1797.02 c rens : 0.00 0 0
1797.05/1797.02 c rins : 0.00 0 0
1797.05/1797.02 c localbranching : 0.00 0 0
1797.05/1797.02 c mutation : 0.00 0 0
1797.05/1797.02 c crossover : 0.00 0 0
1797.05/1797.02 c dins : 0.00 0 0
1797.05/1797.02 c vbounds : 0.00 0 0
1797.05/1797.02 c undercover : 0.00 0 0
1797.05/1797.02 c subnlp : 0.00 0 0
1797.05/1797.02 c trysol : 0.00 0 0
1797.05/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.02 c primal LP : 0.62 0 0 0.00 0.00
1797.05/1797.02 c dual LP : 1383.70 159 867049 5453.14 626.61
1797.05/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.02 c diving/probing LP: 2.83 114 4982 43.70 1757.91
1797.05/1797.02 c strong branching : 0.00 0 0 0.00 -
1797.05/1797.02 c (at root node) : - 0 0 0.00 -
1797.05/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.02 c B&B Tree :
1797.05/1797.02 c number of runs : 1
1797.05/1797.02 c nodes : 1
1797.05/1797.02 c nodes (total) : 1
1797.05/1797.02 c nodes left : 2
1797.05/1797.02 c max depth : 0
1797.05/1797.02 c max depth (total): 0
1797.05/1797.02 c backtracks : 0 (0.0%)
1797.05/1797.02 c delayed cutoffs : 0
1797.05/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.02 c avg switch length: 1.00
1797.05/1797.02 c switching time : 0.00
1797.05/1797.02 c Solution :
1797.05/1797.02 c Solutions found : 0 (0 improvements)
1797.05/1797.02 c Primal Bound : -
1797.05/1797.02 c Dual Bound : +1.84951485045713e+03
1797.05/1797.02 c Gap : infinite
1797.05/1797.02 c Root Dual Bound : +1.84951485045713e+03
1797.05/1797.02 c Root Iterations : 872031
1797.15/1797.19 c Time complete: 1797.25.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485329-1307764004/watcher-3485329-1307764004 -o /tmp/evaluation-result-3485329-1307764004/solver-3485329-1307764004 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485329-1307764004.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.05 2.02 2.00 3/177 5575
/proc/meminfo: memFree=31392728/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=10444 CPUtime=0 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 1593 0 0 0 0 0 0 0 25 0 1 0 966631104 10694656 1548 33554432000 4194304 8979876 140736077409472 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5575/statm: 2611 1549 358 1169 0 1438 0
[startup+0.075855 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 5575
/proc/meminfo: memFree=31392728/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=19352 CPUtime=0.07 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 3866 0 0 0 7 0 0 0 25 0 1 0 966631104 19816448 3821 33554432000 4194304 8979876 140736077409472 18446744073709551615 4446992 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5575/statm: 4838 3821 366 1169 0 3665 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19352
[startup+0.100848 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 5575
/proc/meminfo: memFree=31392728/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=21460 CPUtime=0.09 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 4392 0 0 0 9 0 0 0 25 0 1 0 966631104 21975040 4347 33554432000 4194304 8979876 140736077409472 18446744073709551615 6177230 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5575/statm: 5365 4347 366 1169 0 4192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21460
[startup+0.300826 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 5575
/proc/meminfo: memFree=31392728/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=32932 CPUtime=0.29 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 7258 0 0 0 28 1 0 0 25 0 1 0 966631104 33722368 7213 33554432000 4194304 8979876 140736077409472 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5575/statm: 8233 7213 366 1169 0 7060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32932
[startup+0.700741 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 5575
/proc/meminfo: memFree=31392728/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=116532 CPUtime=0.69 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 30114 0 0 0 65 4 0 0 25 0 1 0 966631104 119328768 27528 33554432000 4194304 8979876 140736077409472 18446744073709551615 6503000 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 29133 27528 487 1169 0 27960 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116532
[startup+1.50059 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 5576
/proc/meminfo: memFree=31267504/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=132832 CPUtime=1.49 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 38696 0 0 0 144 5 0 0 25 0 1 0 966631104 136019968 31631 33554432000 4194304 8979876 140736077409472 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 33208 31631 519 1169 0 32035 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132832
[startup+3.10029 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 5576
/proc/meminfo: memFree=31267268/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=132832 CPUtime=3.09 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 38696 0 0 0 304 5 0 0 25 0 1 0 966631104 136019968 31631 33554432000 4194304 8979876 140736077409472 18446744073709551615 5539227 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 33208 31631 519 1169 0 32035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132832
[startup+6.30068 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 5576
/proc/meminfo: memFree=31266648/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=132832 CPUtime=6.29 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 38696 0 0 0 624 5 0 0 25 0 1 0 966631104 136019968 31631 33554432000 4194304 8979876 140736077409472 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 33208 31631 519 1169 0 32035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132832
[startup+12.7005 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 5576
/proc/meminfo: memFree=31266556/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=132832 CPUtime=12.69 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 38701 0 0 0 1264 5 0 0 25 0 1 0 966631104 136019968 31636 33554432000 4194304 8979876 140736077409472 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 33208 31636 524 1169 0 32035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132832
[startup+25.501 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5576
/proc/meminfo: memFree=31162908/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=242208 CPUtime=25.49 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 72466 0 0 0 2539 10 0 0 25 0 1 0 966631104 248020992 57703 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 60552 57703 680 1169 0 59379 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 242208
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5577
/proc/meminfo: memFree=31138796/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=265540 CPUtime=51.09 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 82309 0 0 0 5094 15 0 0 25 0 1 0 966631104 271912960 63725 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 66385 63725 726 1169 0 65212 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 265540
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5578
/proc/meminfo: memFree=31116792/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=281072 CPUtime=102.3 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 86662 0 0 0 10198 32 0 0 25 0 1 0 966631104 287817728 68073 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 70268 68073 722 1169 0 69095 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 281072
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5580
/proc/meminfo: memFree=31124864/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=278576 CPUtime=162.29 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 110756 0 0 0 16171 58 0 0 25 0 1 0 966631104 285261824 65465 33554432000 4194304 8979876 140736077409472 18446744073709551615 7179815 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 69644 65465 722 1169 0 68471 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 278576
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5582
/proc/meminfo: memFree=31115408/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=282776 CPUtime=222.3 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 122248 0 0 0 22148 82 0 0 25 0 1 0 966631104 289562624 68186 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 70694 68186 1223 1169 0 69521 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 282776
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5583
/proc/meminfo: memFree=31108408/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=286760 CPUtime=282.3 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 127461 0 0 0 28126 104 0 0 25 0 1 0 966631104 293642240 68895 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 71690 68895 724 1169 0 70517 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 286760
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5585
/proc/meminfo: memFree=31110344/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=289704 CPUtime=342.31 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 131863 0 0 0 34106 125 0 0 25 0 1 0 966631104 296656896 68947 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 72426 68947 724 1169 0 71253 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 289704
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5586
/proc/meminfo: memFree=31103488/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=289704 CPUtime=402.3 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 132273 0 0 0 40086 144 0 0 25 0 1 0 966631104 296656896 69357 33554432000 4194304 8979876 140736077409472 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 72426 69357 724 1169 0 71253 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 289704
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5588
/proc/meminfo: memFree=31100180/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=295356 CPUtime=462.31 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 149426 0 0 0 46067 164 0 0 25 0 1 0 966631104 302444544 71114 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 73839 71114 2086 1169 0 72666 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 295356
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5590
/proc/meminfo: memFree=31087612/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=301144 CPUtime=522.31 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 167098 0 0 0 52045 186 0 0 25 0 1 0 966631104 308371456 72511 33554432000 4194304 8979876 140736077409472 18446744073709551615 7146632 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 75286 72511 1275 1169 0 74113 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 301144
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5591
/proc/meminfo: memFree=31088656/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=294432 CPUtime=582.32 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 174819 0 0 0 58029 203 0 0 25 0 1 0 966631104 301498368 71855 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 73608 71855 725 1169 0 72435 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 294432
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31180320/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=302416 CPUtime=1062.33 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 274869 0 0 0 105902 331 0 0 25 0 1 0 966631104 309673984 73449 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 75604 73449 789 1169 0 74431 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 302416
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5653
/proc/meminfo: memFree=31182500/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=301556 CPUtime=1122.33 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 302231 0 0 0 111887 346 0 0 25 0 1 0 966631104 308793344 72745 33554432000 4194304 8979876 140736077409472 18446744073709551615 7836048 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 75389 72745 723 1169 0 74216 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 301556
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5654
/proc/meminfo: memFree=31178100/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=302356 CPUtime=1182.33 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 303344 0 0 0 117870 363 0 0 25 0 1 0 966631104 309612544 73858 33554432000 4194304 8979876 140736077409472 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 75589 73858 723 1169 0 74416 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 302356
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5656
/proc/meminfo: memFree=31176800/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=310780 CPUtime=1242.33 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 308438 0 0 0 123855 378 0 0 25 0 1 0 966631104 318238720 74139 33554432000 4194304 8979876 140736077409472 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 77695 74139 724 1169 0 76522 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 310780
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5657
/proc/meminfo: memFree=31176240/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=310936 CPUtime=1302.34 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 327411 0 0 0 129840 394 0 0 25 0 1 0 966631104 318398464 74265 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 77734 74265 726 1169 0 76561 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 310936
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 5659
/proc/meminfo: memFree=31172076/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=308516 CPUtime=1362.34 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 336550 0 0 0 135825 409 0 0 25 0 1 0 966631104 315920384 75331 33554432000 4194304 8979876 140736077409472 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 77129 75331 729 1169 0 75956 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 308516
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5661
/proc/meminfo: memFree=31176492/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=306512 CPUtime=1422.35 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 341137 0 0 0 141811 424 0 0 25 0 1 0 966631104 313868288 74897 33554432000 4194304 8979876 140736077409472 18446744073709551615 7179189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 76628 74897 1409 1169 0 75455 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 306512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5662
/proc/meminfo: memFree=31185116/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=305244 CPUtime=1482.35 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 343816 0 0 0 147796 439 0 0 25 0 1 0 966631104 312569856 72066 33554432000 4194304 8979876 140736077409472 18446744073709551615 7146517 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 76311 72066 723 1169 0 75138 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 305244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5664
/proc/meminfo: memFree=31172648/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=315648 CPUtime=1542.35 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 357296 0 0 0 153782 453 0 0 25 0 1 0 966631104 323223552 76238 33554432000 4194304 8979876 140736077409472 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 78912 76238 811 1169 0 77739 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 315648
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 5665
/proc/meminfo: memFree=31175696/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=312860 CPUtime=1602.34 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 363301 0 0 0 159767 467 0 0 25 0 1 0 966631104 320368640 74737 33554432000 4194304 8979876 140736077409472 18446744073709551615 7146613 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 78215 74737 1026 1169 0 77042 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 312860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5667
/proc/meminfo: memFree=31168932/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=314340 CPUtime=1662.35 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 368211 0 0 0 165752 483 0 0 25 0 1 0 966631104 321884160 76092 33554432000 4194304 8979876 140736077409472 18446744073709551615 7841507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 78585 76092 722 1169 0 77412 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 314340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5669
/proc/meminfo: memFree=31170480/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=314436 CPUtime=1722.35 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 371448 0 0 0 171739 496 0 0 25 0 1 0 966631104 321982464 75753 33554432000 4194304 8979876 140736077409472 18446744073709551615 6890496 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 78609 75753 722 1169 0 77436 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 314436
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5670
/proc/meminfo: memFree=31170568/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=314360 CPUtime=1782.35 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375421 0 0 0 177727 508 0 0 25 0 1 0 966631104 321904640 75737 33554432000 4194304 8979876 140736077409472 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 78590 75737 722 1169 0 77417 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 314360
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5670
/proc/meminfo: memFree=31170568/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=314360 CPUtime=1785.55 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375421 0 0 0 178047 508 0 0 25 0 1 0 966631104 321904640 75737 33554432000 4194304 8979876 140736077409472 18446744073709551615 7181680 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 78590 75737 722 1169 0 77417 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 314360
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5671
/proc/meminfo: memFree=31168448/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=317756 CPUtime=1791.96 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375910 0 0 0 178686 510 0 0 25 0 1 0 966631104 325382144 76226 33554432000 4194304 8979876 140736077409472 18446744073709551615 6888336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 79439 76226 722 1169 0 78266 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 317756
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5671
/proc/meminfo: memFree=31168448/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=317756 CPUtime=1795.16 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375910 0 0 0 179005 511 0 0 25 0 1 0 966631104 325382144 76226 33554432000 4194304 8979876 140736077409472 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 79439 76226 722 1169 0 78266 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 317756
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5671
/proc/meminfo: memFree=31168448/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=317756 CPUtime=1795.96 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375910 0 0 0 179085 511 0 0 25 0 1 0 966631104 325382144 76226 33554432000 4194304 8979876 140736077409472 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 79439 76226 722 1169 0 78266 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 317756
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5671
/proc/meminfo: memFree=31168448/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=317756 CPUtime=1796.76 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375910 0 0 0 179165 511 0 0 25 0 1 0 966631104 325382144 76226 33554432000 4194304 8979876 140736077409472 18446744073709551615 6888364 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/5575/statm: 79439 76226 722 1169 0 78266 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 317756
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5671
/proc/meminfo: memFree=31168448/32950928 swapFree=67056212/67111528
[pid=5575] ppid=5573 vsize=317560 CPUtime=1797.15 cores=1,3,5,7
/proc/5575/stat : 5575 (scip-2.0.1.4_2.) R 5573 5575 2370 0 -1 4202496 375920 0 0 0 179204 511 0 0 18 0 1 0 966631104 325181440 76187 33554432000 4194304 8979876 140736077409472 18446744073709551615 7820566 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5575/statm: 79390 76187 732 1169 0 78217 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 317560
Child status: 0
Real time (s): 1797.2
CPU time (s): 1797.26
CPU user time (s): 1792.13
CPU system time (s): 5.12822
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 326188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.13
system time used= 5.12822
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375931
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= 21821
runsolver used 2.78758 second user time and 6.75097 second system time
The end