0.00/0.00 c SCIP version 2.0.1.5 [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-3488771-1307767159.opb>
0.29/0.34 c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.39/0.42 c presolving:
0.79/0.80 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.79/0.86 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 68397 upgd conss, 392598 impls, 0 clqs
9.80/9.84 c (9.8s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
18.79/18.86 c (18.9s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
18.79/18.87 c (18.9s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
18.79/18.87 c (18.9s) probing aborted: 2000/2000 successive useless probings
18.79/18.87 c presolving (3 rounds):
18.79/18.87 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.79/18.87 c 524786 implications, 0 cliques
18.79/18.87 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
18.79/18.87 c 68272 constraints of type <setppc>
18.79/18.87 c 125 constraints of type <logicor>
18.79/18.87 c transformed objective value is always integral (scale: 1)
18.79/18.87 c Presolving Time: 18.46
18.79/18.87 c - non default parameters ----------------------------------------------------------------------
18.79/18.87 c # SCIP version 2.0.1.5
18.79/18.87 c
18.79/18.87 c # frequency for displaying node information lines
18.79/18.87 c # [type: int, range: [-1,2147483647], default: 100]
18.79/18.87 c display/freq = 10000
18.79/18.87 c
18.79/18.87 c # maximal time in seconds to run
18.79/18.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.79/18.87 c limits/time = 1797
18.79/18.87 c
18.79/18.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.79/18.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.79/18.87 c limits/memory = 13950
18.79/18.87 c
18.79/18.87 c # default clock type (1: CPU user seconds, 2: wall clock time)
18.79/18.87 c # [type: int, range: [1,2], default: 1]
18.79/18.87 c timing/clocktype = 2
18.79/18.87 c
18.79/18.87 c # belongs reading time to solving time?
18.79/18.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.79/18.87 c timing/reading = TRUE
18.79/18.87 c
18.79/18.87 c # should presolving try to simplify inequalities
18.79/18.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.79/18.87 c constraints/linear/simplifyinequalities = TRUE
18.79/18.87 c
18.79/18.87 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
18.79/18.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.79/18.87 c constraints/indicator/addCouplingCons = TRUE
18.79/18.87 c
18.79/18.87 c # should presolving try to simplify knapsacks
18.79/18.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.79/18.87 c constraints/knapsack/simplifyinequalities = TRUE
18.79/18.87 c
18.79/18.87 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.79/18.87 c # [type: int, range: [-1,2147483647], default: -1]
18.79/18.87 c separating/rapidlearning/freq = 0
18.79/18.87 c
18.79/18.87 c -----------------------------------------------------------------------------------------------
18.79/18.87 c start solving
18.79/18.87 c
21.69/21.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.69/21.75 c 21.7s| 1 | 0 | 2654 | - | 104M| 0 |2375 |4250 | 68k|4250 | 68k| 0 | 136 | 0 | 1.187500e+03 | -- | Inf
27.59/27.68 c 27.7s| 1 | 0 | 8034 | - | 104M| 0 |2343 |4250 | 68k|4250 | 68k| 23 | 136 | 0 | 1.203500e+03 | -- | Inf
29.69/29.71 c 29.7s| 1 | 0 | 8394 | - | 104M| 0 |2292 |4250 | 68k|4250 | 68k| 56 | 136 | 0 | 1.229000e+03 | -- | Inf
32.28/32.31 c 32.3s| 1 | 0 | 8823 | - | 104M| 0 |2240 |4250 | 68k|4250 | 68k| 108 | 136 | 0 | 1.255000e+03 | -- | Inf
35.20/35.25 c 35.3s| 1 | 0 | 9279 | - | 104M| 0 |2193 |4250 | 68k|4250 | 68k| 151 | 136 | 0 | 1.280250e+03 | -- | Inf
38.39/38.41 c 38.4s| 1 | 0 | 9791 | - | 104M| 0 |2154 |4250 | 68k|4250 | 68k| 195 | 136 | 0 | 1.301250e+03 | -- | Inf
41.79/41.85 c 41.9s| 1 | 0 | 10361 | - | 104M| 0 |2107 |4250 | 68k|4250 | 68k| 244 | 136 | 0 | 1.321750e+03 | -- | Inf
45.89/45.94 c 45.9s| 1 | 0 | 11395 | - | 105M| 0 |2080 |4250 | 68k|4250 | 68k| 295 | 136 | 0 | 1.338500e+03 | -- | Inf
49.99/50.08 c 50.1s| 1 | 0 | 12056 | - | 105M| 0 |2045 |4250 | 68k|4250 | 68k| 340 | 136 | 0 | 1.354850e+03 | -- | Inf
54.08/54.12 c 54.1s| 1 | 0 | 12844 | - | 105M| 0 |2005 |4250 | 68k|4250 | 68k| 394 | 136 | 0 | 1.375500e+03 | -- | Inf
58.59/58.65 c 58.7s| 1 | 0 | 13950 | - | 105M| 0 |2000 |4250 | 68k|4250 | 68k| 442 | 136 | 0 | 1.388472e+03 | -- | Inf
60.50/60.57 c 60.6s| 1 | 0 | 14892 | - | 105M| 0 |1973 |4250 | 68k|4250 | 68k| 483 | 136 | 0 | 1.400717e+03 | -- | Inf
62.49/62.50 c 62.5s| 1 | 0 | 15837 | - | 106M| 0 |1951 |4250 | 68k|4250 | 68k| 528 | 136 | 0 | 1.411300e+03 | -- | Inf
64.29/64.38 c 64.4s| 1 | 0 | 16485 | - | 106M| 0 |1948 |4250 | 68k|4250 | 68k| 575 | 136 | 0 | 1.421350e+03 | -- | Inf
66.29/66.31 c 66.3s| 1 | 0 | 17439 | - | 107M| 0 |1947 |4250 | 68k|4250 | 69k| 617 | 136 | 0 | 1.430000e+03 | -- | Inf
69.29/69.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.29/69.35 c 69.4s| 1 | 0 | 19188 | - | 107M| 0 |1950 |4250 | 68k|4250 | 69k| 676 | 136 | 0 | 1.442875e+03 | -- | Inf
72.18/72.23 c 72.2s| 1 | 0 | 21039 | - | 107M| 0 |1908 |4250 | 68k|4250 | 69k| 731 | 136 | 0 | 1.452958e+03 | -- | Inf
74.39/74.42 c 74.4s| 1 | 0 | 22340 | - | 108M| 0 |1881 |4250 | 68k|4250 | 69k| 778 | 136 | 0 | 1.461146e+03 | -- | Inf
81.08/81.11 c 81.1s| 1 | 0 | 28125 | - | 109M| 0 |1900 |4250 | 68k|4250 | 69k| 826 | 136 | 0 | 1.470847e+03 | -- | Inf
83.88/83.98 c 84.0s| 1 | 0 | 30191 | - | 109M| 0 |1846 |4250 | 68k|4250 | 69k| 876 | 136 | 0 | 1.481521e+03 | -- | Inf
86.89/86.90 c 86.9s| 1 | 0 | 32197 | - | 109M| 0 |1842 |4250 | 68k|4250 | 69k| 924 | 136 | 0 | 1.491504e+03 | -- | Inf
90.89/90.91 c 90.9s| 1 | 0 | 34963 | - | 110M| 0 |1846 |4250 | 68k|4250 | 69k| 981 | 136 | 0 | 1.501750e+03 | -- | Inf
98.19/98.26 c 98.3s| 1 | 0 | 40974 | - | 110M| 0 |1803 |4250 | 68k|4250 | 69k|1030 | 136 | 0 | 1.510000e+03 | -- | Inf
101.19/101.27 c 101s| 1 | 0 | 43154 | - | 110M| 0 |1793 |4250 | 68k|4250 | 69k|1079 | 136 | 0 | 1.514500e+03 | -- | Inf
107.28/107.38 c 107s| 1 | 0 | 47984 | - | 111M| 0 |1798 |4250 | 68k|4250 | 69k|1120 | 136 | 0 | 1.516969e+03 | -- | Inf
109.79/109.80 c 110s| 1 | 0 | 49782 | - | 111M| 0 |1809 |4250 | 68k|4250 | 69k|1175 | 136 | 0 | 1.523958e+03 | -- | Inf
115.18/115.27 c 115s| 1 | 0 | 54365 | - | 111M| 0 |1806 |4250 | 68k|4250 | 69k|1222 | 136 | 0 | 1.530964e+03 | -- | Inf
117.98/118.06 c 118s| 1 | 0 | 56567 | - | 111M| 0 |1760 |4250 | 68k|4250 | 69k|1270 | 136 | 0 | 1.536000e+03 | -- | Inf
124.59/124.63 c 125s| 1 | 0 | 62371 | - | 112M| 0 |1752 |4250 | 68k|4250 | 69k|1321 | 136 | 0 | 1.543667e+03 | -- | Inf
127.38/127.50 c 127s| 1 | 0 | 64197 | - | 112M| 0 |1748 |4250 | 68k|4250 | 69k|1375 | 136 | 0 | 1.554625e+03 | -- | Inf
134.09/134.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.09/134.12 c 134s| 1 | 0 | 70381 | - | 112M| 0 |1707 |4250 | 68k|4250 | 69k|1423 | 136 | 0 | 1.562375e+03 | -- | Inf
136.29/136.36 c 136s| 1 | 0 | 71869 | - | 112M| 0 |1701 |4250 | 68k|4250 | 69k|1485 | 136 | 0 | 1.569792e+03 | -- | Inf
140.98/141.07 c 141s| 1 | 0 | 75221 | - | 113M| 0 |1674 |4250 | 68k|4250 | 69k|1540 | 136 | 0 | 1.578381e+03 | -- | Inf
144.18/144.27 c 144s| 1 | 0 | 77818 | - | 113M| 0 |1637 |4250 | 68k|4250 | 69k|1597 | 136 | 0 | 1.584212e+03 | -- | Inf
146.99/147.01 c 147s| 1 | 0 | 80154 | - | 113M| 0 |1678 |4250 | 68k|4250 | 69k|1645 | 136 | 0 | 1.589625e+03 | -- | Inf
153.58/153.61 c 154s| 1 | 0 | 86224 | - | 113M| 0 |1667 |4250 | 68k|4250 | 69k|1696 | 136 | 0 | 1.598500e+03 | -- | Inf
162.58/162.60 c 163s| 1 | 0 | 94111 | - | 114M| 0 |1640 |4250 | 68k|4250 | 69k|1740 | 136 | 0 | 1.604348e+03 | -- | Inf
164.69/164.71 c 165s| 1 | 0 | 95272 | - | 114M| 0 |1620 |4250 | 68k|4250 | 69k|1794 | 136 | 0 | 1.609750e+03 | -- | Inf
171.49/171.58 c 172s| 1 | 0 |100606 | - | 114M| 0 |1603 |4250 | 68k|4250 | 69k|1845 | 136 | 0 | 1.613083e+03 | -- | Inf
174.49/174.51 c 175s| 1 | 0 |102892 | - | 114M| 0 |1597 |4250 | 68k|4250 | 69k|1897 | 136 | 0 | 1.619000e+03 | -- | Inf
180.09/180.18 c 180s| 1 | 0 |108145 | - | 115M| 0 |1612 |4250 | 68k|4250 | 69k|1943 | 136 | 0 | 1.623370e+03 | -- | Inf
188.79/188.85 c 189s| 1 | 0 |114932 | - | 115M| 0 |1658 |4250 | 68k|4250 | 69k|1992 | 136 | 0 | 1.629620e+03 | -- | Inf
192.49/192.56 c 193s| 1 | 0 |118255 | - | 115M| 0 |1718 |4250 | 68k|4250 | 69k|2035 | 136 | 0 | 1.635084e+03 | -- | Inf
196.09/196.16 c 196s| 1 | 0 |121139 | - | 116M| 0 |1639 |4250 | 68k|4250 | 69k|2094 | 136 | 0 | 1.642078e+03 | -- | Inf
201.49/201.57 c 202s| 1 | 0 |125906 | - | 116M| 0 |1559 |4250 | 68k|4250 | 69k|2149 | 136 | 0 | 1.646833e+03 | -- | Inf
206.48/206.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.48/206.51 c 207s| 1 | 0 |129597 | - | 116M| 0 |1568 |4250 | 68k|4250 | 69k|2200 | 136 | 0 | 1.652995e+03 | -- | Inf
209.99/210.10 c 210s| 1 | 0 |132334 | - | 117M| 0 |1514 |4250 | 68k|4250 | 69k|2246 | 136 | 0 | 1.657991e+03 | -- | Inf
226.60/226.64 c 227s| 1 | 0 |142607 | - | 117M| 0 |1494 |4250 | 68k|4250 | 69k|2299 | 136 | 0 | 1.662663e+03 | -- | Inf
231.08/231.12 c 231s| 1 | 0 |145596 | - | 117M| 0 |1487 |4250 | 68k|4250 | 69k|2348 | 136 | 0 | 1.670115e+03 | -- | Inf
237.99/238.06 c 238s| 1 | 0 |151534 | - | 117M| 0 |1533 |4250 | 68k|4250 | 69k|2407 | 136 | 0 | 1.676714e+03 | -- | Inf
240.59/240.61 c 241s| 1 | 0 |153468 | - | 117M| 0 |1478 |4250 | 68k|4250 | 69k|2466 | 136 | 0 | 1.680494e+03 | -- | Inf
250.29/250.37 c 250s| 1 | 0 |160692 | - | 118M| 0 |1490 |4250 | 68k|4250 | 69k|2527 | 136 | 0 | 1.683600e+03 | -- | Inf
256.38/256.41 c 256s| 1 | 0 |165666 | - | 118M| 0 |1477 |4250 | 68k|4250 | 69k|2574 | 136 | 0 | 1.687403e+03 | -- | Inf
259.49/259.52 c 260s| 1 | 0 |167910 | - | 118M| 0 |1501 |4250 | 68k|4250 | 69k|2626 | 136 | 0 | 1.690804e+03 | -- | Inf
265.78/265.87 c 266s| 1 | 0 |172469 | - | 118M| 0 |1498 |4250 | 68k|4250 | 69k|2671 | 136 | 0 | 1.693314e+03 | -- | Inf
271.79/271.80 c 272s| 1 | 0 |177006 | - | 119M| 0 |1517 |4250 | 68k|4250 | 69k|2722 | 136 | 0 | 1.696481e+03 | -- | Inf
274.89/274.98 c 275s| 1 | 0 |179226 | - | 119M| 0 |1571 |4250 | 68k|4250 | 69k|2767 | 136 | 0 | 1.700300e+03 | -- | Inf
282.19/282.24 c 282s| 1 | 0 |185264 | - | 119M| 0 |1519 |4250 | 68k|4250 | 69k|2820 | 136 | 0 | 1.705004e+03 | -- | Inf
295.29/295.37 c 295s| 1 | 0 |192839 | - | 119M| 0 |1507 |4250 | 68k|4250 | 69k|2868 | 136 | 0 | 1.709937e+03 | -- | Inf
299.39/299.49 c 299s| 1 | 0 |195723 | - | 120M| 0 |1547 |4250 | 68k|4250 | 69k|2912 | 136 | 0 | 1.713922e+03 | -- | Inf
305.39/305.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.39/305.42 c 305s| 1 | 0 |200039 | - | 120M| 0 |1547 |4250 | 68k|4250 | 69k|2962 | 136 | 0 | 1.718133e+03 | -- | Inf
314.79/314.81 c 315s| 1 | 0 |206661 | - | 120M| 0 |1488 |4250 | 68k|4250 | 69k|3028 | 136 | 0 | 1.720958e+03 | -- | Inf
323.48/323.59 c 324s| 1 | 0 |214594 | - | 121M| 0 |1466 |4250 | 68k|4250 | 69k|3084 | 136 | 0 | 1.724210e+03 | -- | Inf
334.69/334.77 c 335s| 1 | 0 |222949 | - | 121M| 0 |1549 |4250 | 68k|4250 | 69k|3150 | 136 | 0 | 1.729655e+03 | -- | Inf
343.20/343.29 c 343s| 1 | 0 |229009 | - | 121M| 0 |1517 |4250 | 68k|4250 | 69k|3215 | 136 | 0 | 1.734375e+03 | -- | Inf
347.69/347.75 c 348s| 1 | 0 |231999 | - | 121M| 0 |1503 |4250 | 68k|4250 | 69k|3276 | 136 | 0 | 1.738375e+03 | -- | Inf
360.49/360.55 c 361s| 1 | 0 |240940 | - | 122M| 0 |1478 |4250 | 68k|4250 | 69k|3334 | 136 | 0 | 1.741519e+03 | -- | Inf
375.10/375.11 c 375s| 1 | 0 |250045 | - | 122M| 0 |1579 |4250 | 68k|4250 | 69k|3387 | 136 | 0 | 1.744529e+03 | -- | Inf
383.29/383.31 c 383s| 1 | 0 |254957 | - | 122M| 0 |1518 |4250 | 68k|4250 | 69k|3453 | 136 | 0 | 1.746267e+03 | -- | Inf
396.19/396.20 c 396s| 1 | 0 |264406 | - | 123M| 0 |1567 |4250 | 68k|4250 | 70k|3509 | 136 | 0 | 1.748750e+03 | -- | Inf
403.99/404.09 c 404s| 1 | 0 |270053 | - | 123M| 0 |1551 |4250 | 68k|4250 | 70k|3568 | 136 | 0 | 1.753070e+03 | -- | Inf
414.69/414.78 c 415s| 1 | 0 |277416 | - | 123M| 0 |1537 |4250 | 68k|4250 | 69k|3620 | 136 | 0 | 1.754719e+03 | -- | Inf
427.29/427.36 c 427s| 1 | 0 |285593 | - | 124M| 0 |1489 |4250 | 68k|4250 | 69k|3665 | 136 | 0 | 1.756100e+03 | -- | Inf
434.19/434.28 c 434s| 1 | 0 |290320 | - | 124M| 0 |1560 |4250 | 68k|4250 | 70k|3714 | 136 | 0 | 1.758343e+03 | -- | Inf
440.59/440.62 c 441s| 1 | 0 |294280 | - | 125M| 0 |1600 |4250 | 68k|4250 | 70k|3778 | 136 | 0 | 1.761654e+03 | -- | Inf
449.69/449.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.69/449.78 c 450s| 1 | 0 |299926 | - | 125M| 0 |1590 |4250 | 68k|4250 | 70k|3834 | 136 | 0 | 1.765033e+03 | -- | Inf
462.49/462.53 c 463s| 1 | 0 |309218 | - | 125M| 0 |1629 |4250 | 68k|4250 | 70k|3883 | 136 | 0 | 1.767664e+03 | -- | Inf
471.99/472.06 c 472s| 1 | 0 |316137 | - | 126M| 0 |1634 |4250 | 68k|4250 | 70k|3933 | 136 | 0 | 1.770071e+03 | -- | Inf
484.00/484.07 c 484s| 1 | 0 |324939 | - | 126M| 0 |1626 |4250 | 68k|4250 | 70k|3987 | 136 | 0 | 1.771613e+03 | -- | Inf
490.69/490.73 c 491s| 1 | 0 |329155 | - | 126M| 0 |1641 |4250 | 68k|4250 | 70k|4046 | 136 | 0 | 1.773038e+03 | -- | Inf
496.30/496.31 c 496s| 1 | 0 |332694 | - | 127M| 0 |1653 |4250 | 68k|4250 | 70k|4091 | 136 | 0 | 1.774615e+03 | -- | Inf
506.80/506.88 c 507s| 1 | 0 |338860 | - | 127M| 0 |1626 |4250 | 68k|4250 | 70k|4145 | 136 | 0 | 1.775981e+03 | -- | Inf
523.99/524.05 c 524s| 1 | 0 |349694 | - | 127M| 0 |1782 |4250 | 68k|4250 | 70k|4195 | 136 | 0 | 1.780233e+03 | -- | Inf
533.30/533.35 c 533s| 1 | 0 |356061 | - | 128M| 0 |1692 |4250 | 68k|4250 | 70k|4247 | 136 | 0 | 1.784431e+03 | -- | Inf
554.40/554.48 c 554s| 1 | 0 |367257 | - | 128M| 0 |1709 |4250 | 68k|4250 | 70k|4297 | 136 | 0 | 1.786966e+03 | -- | Inf
565.50/565.53 c 566s| 1 | 0 |373826 | - | 128M| 0 |1720 |4250 | 68k|4250 | 70k|4347 | 136 | 0 | 1.788931e+03 | -- | Inf
581.59/581.66 c 582s| 1 | 0 |382436 | - | 129M| 0 |1693 |4250 | 68k|4250 | 70k|4406 | 136 | 0 | 1.791329e+03 | -- | Inf
598.10/598.15 c 598s| 1 | 0 |392270 | - | 129M| 0 |1743 |4250 | 68k|4250 | 70k|4459 | 136 | 0 | 1.793558e+03 | -- | Inf
609.30/609.31 c 609s| 1 | 0 |398689 | - | 129M| 0 |1719 |4250 | 68k|4250 | 70k|4509 | 136 | 0 | 1.795402e+03 | -- | Inf
625.20/625.22 c 625s| 1 | 0 |407849 | - | 130M| 0 |1773 |4250 | 68k|4250 | 70k|4559 | 136 | 0 | 1.797816e+03 | -- | Inf
640.99/641.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.99/641.00 c 641s| 1 | 0 |416249 | - | 130M| 0 |1723 |4250 | 68k|4250 | 70k|4599 | 136 | 0 | 1.798403e+03 | -- | Inf
653.10/653.12 c 653s| 1 | 0 |422688 | - | 130M| 0 |1820 |4250 | 68k|4250 | 70k|4642 | 136 | 0 | 1.799067e+03 | -- | Inf
668.80/668.85 c 669s| 1 | 0 |431429 | - | 131M| 0 |1796 |4250 | 68k|4250 | 70k|4687 | 136 | 0 | 1.799794e+03 | -- | Inf
681.40/681.40 c 681s| 1 | 0 |437964 | - | 131M| 0 |1835 |4250 | 68k|4250 | 70k|4726 | 136 | 0 | 1.800329e+03 | -- | Inf
698.60/698.63 c 699s| 1 | 0 |447049 | - | 131M| 0 |1817 |4250 | 68k|4250 | 70k|4781 | 136 | 0 | 1.801456e+03 | -- | Inf
711.90/711.99 c 712s| 1 | 0 |453648 | - | 132M| 0 |1810 |4250 | 68k|4250 | 70k|4827 | 136 | 0 | 1.802394e+03 | -- | Inf
725.80/725.89 c 726s| 1 | 0 |460903 | - | 132M| 0 |1838 |4250 | 68k|4250 | 70k|4872 | 136 | 0 | 1.803446e+03 | -- | Inf
746.40/746.48 c 746s| 1 | 0 |471108 | - | 132M| 0 |1839 |4250 | 68k|4250 | 70k|4916 | 136 | 0 | 1.805421e+03 | -- | Inf
762.00/762.04 c 762s| 1 | 0 |478824 | - | 132M| 0 |1848 |4250 | 68k|4250 | 70k|4968 | 136 | 0 | 1.807712e+03 | -- | Inf
772.80/772.81 c 773s| 1 | 0 |484561 | - | 133M| 0 |1861 |4250 | 68k|4250 | 70k|5008 | 136 | 0 | 1.808960e+03 | -- | Inf
793.70/793.73 c 794s| 1 | 0 |494929 | - | 133M| 0 |1842 |4250 | 68k|4250 | 70k|5054 | 136 | 0 | 1.810139e+03 | -- | Inf
815.01/815.01 c 815s| 1 | 0 |505333 | - | 134M| 0 |1820 |4250 | 68k|4250 | 70k|5093 | 136 | 0 | 1.810484e+03 | -- | Inf
830.61/830.65 c 831s| 1 | 0 |514124 | - | 134M| 0 |1832 |4250 | 68k|4250 | 70k|5139 | 136 | 0 | 1.810766e+03 | -- | Inf
839.50/839.56 c 840s| 1 | 0 |518303 | - | 135M| 0 |1826 |4250 | 68k|4250 | 70k|5175 | 136 | 0 | 1.811309e+03 | -- | Inf
854.90/854.92 c 855s| 1 | 0 |525691 | - | 135M| 0 |1896 |4250 | 68k|4250 | 70k|5216 | 136 | 0 | 1.811792e+03 | -- | Inf
871.00/871.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.00/871.06 c 871s| 1 | 0 |535269 | - | 135M| 0 |1926 |4250 | 68k|4250 | 70k|5253 | 136 | 0 | 1.812865e+03 | -- | Inf
895.51/895.54 c 896s| 1 | 0 |547107 | - | 136M| 0 |1852 |4250 | 68k|4250 | 70k|5302 | 136 | 0 | 1.814492e+03 | -- | Inf
915.00/915.08 c 915s| 1 | 0 |557058 | - | 136M| 0 |1913 |4250 | 68k|4250 | 70k|5335 | 136 | 0 | 1.816221e+03 | -- | Inf
940.71/940.77 c 941s| 1 | 0 |568394 | - | 136M| 0 |1861 |4250 | 68k|4250 | 70k|5374 | 136 | 0 | 1.817387e+03 | -- | Inf
954.51/954.50 c 954s| 1 | 0 |575341 | - | 136M| 0 |1942 |4250 | 68k|4250 | 70k|5419 | 136 | 0 | 1.818184e+03 | -- | Inf
966.41/966.43 c 966s| 1 | 0 |580898 | - | 136M| 0 |1916 |4250 | 68k|4250 | 70k|5456 | 136 | 0 | 1.818496e+03 | -- | Inf
984.41/984.42 c 984s| 1 | 0 |590152 | - | 137M| 0 |1931 |4250 | 68k|4250 | 70k|5492 | 136 | 0 | 1.818695e+03 | -- | Inf
1009.21/1009.27 c 1009s| 1 | 0 |600938 | - | 137M| 0 |1864 |4250 | 68k|4250 | 70k|5524 | 136 | 0 | 1.818924e+03 | -- | Inf
1027.01/1027.04 c 1027s| 1 | 0 |610483 | - | 137M| 0 |1953 |4250 | 68k|4250 | 70k|5558 | 136 | 0 | 1.819314e+03 | -- | Inf
1059.41/1059.45 c 1059s| 1 | 0 |623349 | - | 137M| 0 |1920 |4250 | 68k|4250 | 70k|5594 | 136 | 0 | 1.819920e+03 | -- | Inf
1069.31/1069.39 c 1069s| 1 | 0 |627916 | - | 136M| 0 |1934 |4250 | 68k|4250 | 70k|5626 | 136 | 0 | 1.820452e+03 | -- | Inf
1075.41/1075.45 c 1075s| 1 | 0 |631021 | - | 136M| 0 |1965 |4250 | 68k|4250 | 70k|5658 | 136 | 0 | 1.820668e+03 | -- | Inf
1084.71/1084.70 c 1085s| 1 | 0 |635209 | - | 136M| 0 |1989 |4250 | 68k|4250 | 70k|5676 | 136 | 0 | 1.821306e+03 | -- | Inf
1093.01/1093.05 c 1093s| 1 | 0 |638028 | - | 136M| 0 |1929 |4250 | 68k|4250 | 70k|5696 | 136 | 0 | 1.821624e+03 | -- | Inf
1103.12/1103.19 c 1103s| 1 | 0 |643410 | - | 136M| 0 |1975 |4250 | 68k|4250 | 70k|5717 | 136 | 0 | 1.821915e+03 | -- | Inf
1115.21/1115.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.21/1115.30 c 1115s| 1 | 0 |647739 | - | 136M| 0 |1975 |4250 | 68k|4250 | 70k|5739 | 136 | 0 | 1.822246e+03 | -- | Inf
1125.22/1125.25 c 1125s| 1 | 0 |652621 | - | 136M| 0 |1977 |4250 | 68k|4250 | 70k|5764 | 136 | 0 | 1.822461e+03 | -- | Inf
1149.62/1149.66 c 1150s| 1 | 0 |657598 | - | 135M| 0 |1973 |4250 | 68k|4250 | 70k|5790 | 136 | 0 | 1.822628e+03 | -- | Inf
1165.92/1165.94 c 1166s| 1 | 0 |665706 | - | 136M| 0 |1959 |4250 | 68k|4250 | 70k|5813 | 136 | 0 | 1.823207e+03 | -- | Inf
1174.11/1174.13 c 1174s| 1 | 0 |669362 | - | 136M| 0 |1952 |4250 | 68k|4250 | 70k|5831 | 136 | 0 | 1.823844e+03 | -- | Inf
1188.21/1188.22 c 1188s| 1 | 0 |676202 | - | 136M| 0 |1934 |4250 | 68k|4250 | 70k|5854 | 136 | 0 | 1.824364e+03 | -- | Inf
1205.92/1205.94 c 1206s| 1 | 0 |686329 | - | 136M| 0 |1929 |4250 | 68k|4250 | 70k|5883 | 136 | 0 | 1.825458e+03 | -- | Inf
1224.12/1224.13 c 1224s| 1 | 0 |696359 | - | 136M| 0 |1946 |4250 | 68k|4250 | 70k|5925 | 136 | 0 | 1.826770e+03 | -- | Inf
1232.62/1232.65 c 1233s| 1 | 0 |699543 | - | 136M| 0 |1933 |4250 | 68k|4250 | 70k|5959 | 136 | 0 | 1.827532e+03 | -- | Inf
1242.42/1242.49 c 1242s| 1 | 0 |704283 | - | 136M| 0 |1952 |4250 | 68k|4250 | 70k|5985 | 136 | 0 | 1.828200e+03 | -- | Inf
1256.71/1256.76 c 1257s| 1 | 0 |711951 | - | 136M| 0 |1943 |4250 | 68k|4250 | 70k|6012 | 136 | 0 | 1.829026e+03 | -- | Inf
1266.22/1266.29 c 1266s| 1 | 0 |716960 | - | 136M| 0 |1939 |4250 | 68k|4250 | 70k|6040 | 136 | 0 | 1.829617e+03 | -- | Inf
1278.71/1278.74 c 1279s| 1 | 0 |723544 | - | 136M| 0 |1943 |4250 | 68k|4250 | 70k|6067 | 136 | 0 | 1.830430e+03 | -- | Inf
1299.82/1299.86 c 1300s| 1 | 0 |729029 | - | 136M| 0 |1942 |4250 | 68k|4250 | 70k|6095 | 136 | 0 | 1.831312e+03 | -- | Inf
1309.81/1309.84 c 1310s| 1 | 0 |733265 | - | 137M| 0 |1950 |4250 | 68k|4250 | 70k|6121 | 136 | 0 | 1.831955e+03 | -- | Inf
1319.92/1319.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.92/1319.99 c 1320s| 1 | 0 |737313 | - | 137M| 0 |1933 |4250 | 68k|4250 | 70k|6145 | 136 | 0 | 1.832892e+03 | -- | Inf
1334.01/1334.06 c 1334s| 1 | 0 |743876 | - | 137M| 0 |1945 |4250 | 68k|4250 | 70k|6166 | 136 | 0 | 1.833393e+03 | -- | Inf
1355.12/1355.18 c 1355s| 1 | 0 |748238 | - | 137M| 0 |1935 |4250 | 68k|4250 | 70k|6184 | 136 | 0 | 1.834556e+03 | -- | Inf
1367.22/1367.27 c 1367s| 1 | 0 |753295 | - | 137M| 0 |1961 |4250 | 68k|4250 | 70k|6212 | 136 | 0 | 1.835432e+03 | -- | Inf
1378.72/1378.73 c 1379s| 1 | 0 |756142 | - | 137M| 0 |1952 |4250 | 68k|4250 | 70k|6236 | 136 | 0 | 1.835837e+03 | -- | Inf
1392.52/1392.56 c 1393s| 1 | 0 |762480 | - | 138M| 0 |1921 |4250 | 68k|4250 | 70k|6251 | 136 | 0 | 1.836717e+03 | -- | Inf
1407.52/1407.58 c 1408s| 1 | 0 |766888 | - | 138M| 0 |1939 |4250 | 68k|4250 | 70k|6269 | 136 | 0 | 1.837153e+03 | -- | Inf
1416.33/1416.39 c 1416s| 1 | 0 |770055 | - | 138M| 0 |1947 |4250 | 68k|4250 | 70k|6287 | 136 | 0 | 1.837409e+03 | -- | Inf
1443.42/1443.44 c 1443s| 1 | 0 |774487 | - | 138M| 0 |1953 |4250 | 68k|4250 | 70k|6306 | 136 | 0 | 1.837999e+03 | -- | Inf
1464.52/1464.51 c 1465s| 1 | 0 |779112 | - | 138M| 0 |1951 |4250 | 68k|4250 | 70k|6329 | 136 | 0 | 1.838660e+03 | -- | Inf
1483.12/1483.17 c 1483s| 1 | 0 |786951 | - | 138M| 0 |1938 |4250 | 68k|4250 | 70k|6356 | 136 | 0 | 1.839525e+03 | -- | Inf
1500.52/1500.51 c 1501s| 1 | 0 |791498 | - | 138M| 0 |1938 |4250 | 68k|4250 | 70k|6378 | 136 | 0 | 1.840529e+03 | -- | Inf
1515.03/1515.03 c 1515s| 1 | 0 |798330 | - | 138M| 0 |1944 |4250 | 68k|4250 | 70k|6401 | 136 | 0 | 1.841538e+03 | -- | Inf
1532.62/1532.68 c 1533s| 1 | 0 |806041 | - | 138M| 0 |1960 |4250 | 68k|4250 | 70k|6419 | 136 | 0 | 1.842335e+03 | -- | Inf
1571.83/1571.85 c 1572s| 1 | 0 |810765 | - | 138M| 0 |1955 |4250 | 68k|4250 | 70k|6434 | 136 | 0 | 1.842820e+03 | -- | Inf
1585.13/1585.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.13/1585.15 c 1585s| 1 | 0 |816018 | - | 138M| 0 |1958 |4250 | 68k|4250 | 70k|6447 | 136 | 0 | 1.843376e+03 | -- | Inf
1594.03/1594.05 c 1594s| 1 | 0 |819535 | - | 138M| 0 |1963 |4250 | 68k|4250 | 70k|6478 | 136 | 0 | 1.843828e+03 | -- | Inf
1617.23/1617.24 c 1617s| 1 | 0 |829950 | - | 139M| 0 |1956 |4250 | 68k|4250 | 70k|6502 | 136 | 0 | 1.845138e+03 | -- | Inf
1629.63/1629.66 c 1630s| 1 | 0 |835095 | - | 139M| 0 |1980 |4250 | 68k|4250 | 70k|6526 | 136 | 0 | 1.845814e+03 | -- | Inf
1663.83/1663.84 c 1664s| 1 | 0 |844166 | - | 139M| 0 |1970 |4250 | 68k|4250 | 70k|6549 | 136 | 0 | 1.846869e+03 | -- | Inf
1687.43/1687.42 c 1687s| 1 | 0 |850023 | - | 139M| 0 |1952 |4250 | 68k|4250 | 70k|6570 | 136 | 0 | 1.847258e+03 | -- | Inf
1716.53/1716.50 c 1716s| 1 | 0 |857562 | - | 139M| 0 |1974 |4250 | 68k|4250 | 70k|6587 | 136 | 0 | 1.847997e+03 | -- | Inf
1748.23/1748.27 c 1748s| 1 | 0 |867769 | - | 138M| 0 |1963 |4250 | 68k|4250 | 70k|6607 | 136 | 0 | 1.848913e+03 | -- | Inf
1767.53/1767.60 c 1768s| 1 | 0 |872031 | - | 138M| 0 |1947 |4250 | 68k|4250 | 70k|6625 | 136 | 0 | 1.849515e+03 | -- | Inf
1797.03/1797.03 c 1797s| 1 | 0 |877903 | - | 138M| 0 | - |4250 | 68k|4250 | 70k|6642 | 136 | 0 | 1.849515e+03 | -- | Inf
1797.03/1797.05 c 1797s| 1 | 2 |877903 | - | 138M| 0 | - |4250 | 68k|4250 | 70k|6642 | 136 | 0 | 1.849515e+03 | -- | Inf
1797.03/1797.05 c
1797.03/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.05 c Solving Time (sec) : 1797.05
1797.03/1797.05 c Solving Nodes : 1
1797.03/1797.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.05 c Dual Bound : +1.84951485045713e+03
1797.03/1797.05 c Gap : infinite
1797.03/1797.05 s UNKNOWN
1797.03/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.05 c Total Time : 1797.05
1797.03/1797.05 c solving : 1797.05
1797.03/1797.05 c presolving : 18.46 (included in solving)
1797.03/1797.05 c reading : 0.34 (included in solving)
1797.03/1797.05 c Original Problem :
1797.03/1797.05 c Problem name : HOME/instance-3488771-1307767159.opb
1797.03/1797.05 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.05 c Constraints : 68397 initial, 68397 maximal
1797.03/1797.05 c Presolved Problem :
1797.03/1797.05 c Problem name : t_HOME/instance-3488771-1307767159.opb
1797.03/1797.05 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.05 c Constraints : 68397 initial, 68533 maximal
1797.03/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.05 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c probing : 17.97 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c setppc : 0.08 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c linear : 0.35 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.05 c root node : - 0 - - 0 - - - - -
1797.03/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.05 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.03/1797.05 c setppc : 68272 159 6709 0 1 3 6360 1 0 0 0 0
1797.03/1797.05 c logicor : 125+ 159 854 0 1 0 620 14 0 0 0 0
1797.03/1797.05 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.05 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.05 c setppc : 16.72 0.85 15.83 0.00 0.02 0.01 0.00
1797.03/1797.05 c logicor : 0.04 0.00 0.03 0.00 0.00 0.00 0.00
1797.03/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.05 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.05 c vbounds : 0 0 0 0
1797.03/1797.05 c rootredcost : 0 0 0 0
1797.03/1797.05 c pseudoobj : 868 0 0 0
1797.03/1797.05 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.05 c vbounds : 0.00 0.00 0.00
1797.03/1797.05 c rootredcost : 0.00 0.00 0.00
1797.03/1797.05 c pseudoobj : 0.01 0.01 0.00
1797.03/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.05 c propagation : 0.01 15 15 432 107.5 0 0.0 -
1797.03/1797.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.05 c applied globally : - - - 136 100.0 - - -
1797.03/1797.05 c applied locally : - - - 0 0.0 - - -
1797.03/1797.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.05 c cut pool : 0.72 158 - - 3821 - (maximal pool size: 14327)
1797.03/1797.05 c redcost : 0.02 159 0 0 0 0
1797.03/1797.05 c impliedbounds : 0.55 159 0 0 0 0
1797.03/1797.05 c intobj : 0.00 0 0 0 0 0
1797.03/1797.05 c gomory : 352.91 159 0 0 79228 0
1797.03/1797.05 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.05 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.05 c strongcg : 4.32 20 0 0 10000 0
1797.03/1797.05 c cmir : 7.37 10 0 0 0 0
1797.03/1797.05 c flowcover : 8.25 10 0 0 0 0
1797.03/1797.05 c clique : 13.41 159 0 0 1559 0
1797.03/1797.05 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.05 c mcf : 0.07 1 0 0 0 0
1797.03/1797.05 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.05 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.05 c Pricers : Time Calls Vars
1797.03/1797.05 c problem variables: 0.00 0 0
1797.03/1797.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.05 c relpscost : 0.00 0 0 0 0 0 0
1797.03/1797.05 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.05 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.05 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.05 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.05 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.05 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.05 c random : 0.00 0 0 0 0 0 0
1797.03/1797.05 c Primal Heuristics : Time Calls Found
1797.03/1797.05 c LP solutions : 0.00 - 0
1797.03/1797.06 c pseudo solutions : 0.00 - 0
1797.03/1797.06 c oneopt : 0.00 0 0
1797.03/1797.06 c trivial : 0.03 2 0
1797.03/1797.06 c shiftandpropagate: 0.71 1 0
1797.03/1797.06 c simplerounding : 0.00 0 0
1797.03/1797.06 c zirounding : 0.00 0 0
1797.03/1797.06 c rounding : 0.74 100 0
1797.03/1797.06 c shifting : 10.82 100 0
1797.03/1797.06 c intshifting : 0.00 0 0
1797.03/1797.06 c twoopt : 0.00 0 0
1797.03/1797.06 c fixandinfer : 0.00 0 0
1797.03/1797.06 c feaspump : 3.70 1 0
1797.03/1797.06 c clique : 0.00 0 0
1797.03/1797.06 c coefdiving : 0.00 0 0
1797.03/1797.06 c pscostdiving : 0.00 0 0
1797.03/1797.06 c fracdiving : 0.00 0 0
1797.03/1797.06 c veclendiving : 0.00 0 0
1797.03/1797.06 c intdiving : 0.00 0 0
1797.03/1797.06 c actconsdiving : 0.00 0 0
1797.03/1797.06 c objpscostdiving : 0.00 0 0
1797.03/1797.06 c rootsoldiving : 0.00 0 0
1797.03/1797.06 c linesearchdiving : 0.00 0 0
1797.03/1797.06 c guideddiving : 0.00 0 0
1797.03/1797.06 c octane : 0.00 0 0
1797.03/1797.06 c rens : 0.00 0 0
1797.03/1797.06 c rins : 0.00 0 0
1797.03/1797.06 c localbranching : 0.00 0 0
1797.03/1797.06 c mutation : 0.00 0 0
1797.03/1797.06 c crossover : 0.00 0 0
1797.03/1797.06 c dins : 0.00 0 0
1797.03/1797.06 c vbounds : 0.00 0 0
1797.03/1797.06 c undercover : 0.00 0 0
1797.03/1797.06 c subnlp : 0.00 0 0
1797.03/1797.06 c trysol : 0.00 0 0
1797.03/1797.06 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.06 c primal LP : 0.63 0 0 0.00 0.00
1797.03/1797.06 c dual LP : 1371.04 160 872921 5455.76 636.69
1797.03/1797.06 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.06 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.06 c diving/probing LP: 2.89 114 4982 43.70 1724.36
1797.03/1797.06 c strong branching : 0.00 0 0 0.00 -
1797.03/1797.06 c (at root node) : - 0 0 0.00 -
1797.03/1797.06 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.06 c B&B Tree :
1797.03/1797.06 c number of runs : 1
1797.03/1797.06 c nodes : 1
1797.03/1797.06 c nodes (total) : 1
1797.03/1797.06 c nodes left : 2
1797.03/1797.06 c max depth : 0
1797.03/1797.06 c max depth (total): 0
1797.03/1797.06 c backtracks : 0 (0.0%)
1797.03/1797.06 c delayed cutoffs : 0
1797.03/1797.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.06 c avg switch length: 1.00
1797.03/1797.06 c switching time : 0.00
1797.03/1797.06 c Solution :
1797.03/1797.06 c Solutions found : 0 (0 improvements)
1797.03/1797.06 c Primal Bound : -
1797.03/1797.06 c Dual Bound : +1.84951485045713e+03
1797.03/1797.06 c Gap : infinite
1797.03/1797.06 c Root Dual Bound : +1.84951485045713e+03
1797.03/1797.06 c Root Iterations : 877903
1797.24/1797.23 c Time complete: 1797.26.
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-3488771-1307767159/watcher-3488771-1307767159 -o /tmp/evaluation-result-3488771-1307767159/solver-3488771-1307767159 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488771-1307767159.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: 1.00 1.12 1.51 2/177 1978
/proc/meminfo: memFree=31636836/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=9316 CPUtime=0 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 1461 0 0 0 0 0 0 0 22 0 1 0 966946536 9539584 1415 33554432000 4194304 9016284 140735838475344 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1978/statm: 2329 1417 310 1178 0 1147 0
[startup+0.0985601 s]
/proc/loadavg: 1.00 1.12 1.51 2/177 1978
/proc/meminfo: memFree=31636836/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=25292 CPUtime=0.09 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 5340 0 0 0 9 0 0 0 22 0 1 0 966946536 25899008 5294 33554432000 4194304 9016284 140735838475344 18446744073709551615 6180568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1978/statm: 6323 5294 360 1178 0 5141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25292
[startup+0.100554 s]
/proc/loadavg: 1.00 1.12 1.51 2/177 1978
/proc/meminfo: memFree=31636836/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=25320 CPUtime=0.09 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 5341 0 0 0 9 0 0 0 22 0 1 0 966946536 25927680 5295 33554432000 4194304 9016284 140735838475344 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1978/statm: 6330 5295 360 1178 0 5148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25320
[startup+0.300519 s]
/proc/loadavg: 1.00 1.12 1.51 2/177 1978
/proc/meminfo: memFree=31636836/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=40716 CPUtime=0.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 9185 0 0 0 28 1 0 0 23 0 1 0 966946536 41693184 9139 33554432000 4194304 9016284 140735838475344 18446744073709551615 7870448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1978/statm: 10179 9139 360 1178 0 8997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40716
[startup+0.700461 s]
/proc/loadavg: 1.00 1.12 1.51 2/177 1978
/proc/meminfo: memFree=31636836/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=123160 CPUtime=0.69 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 30996 0 0 0 66 3 0 0 25 0 1 0 966946536 126115840 29288 33554432000 4194304 9016284 140735838475344 18446744073709551615 4319583 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 30790 29288 485 1178 0 29608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123160
[startup+1.5003 s]
/proc/loadavg: 1.00 1.12 1.51 3/178 2055
/proc/meminfo: memFree=31504216/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=127000 CPUtime=1.49 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 36055 0 0 0 145 4 0 0 25 0 1 0 966946536 130048000 30266 33554432000 4194304 9016284 140735838475344 18446744073709551615 5510916 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 31750 30266 512 1178 0 30568 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127000
[startup+3.10101 s]
/proc/loadavg: 1.00 1.12 1.51 3/178 2055
/proc/meminfo: memFree=31485556/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=127000 CPUtime=3.09 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 36056 0 0 0 305 4 0 0 25 0 1 0 966946536 130048000 30267 33554432000 4194304 9016284 140735838475344 18446744073709551615 5512299 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 31750 30267 512 1178 0 30568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 127000
[startup+6.30042 s]
/proc/loadavg: 1.08 1.14 1.51 3/178 2055
/proc/meminfo: memFree=31484508/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=127000 CPUtime=6.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 36058 0 0 0 625 4 0 0 25 0 1 0 966946536 130048000 30269 33554432000 4194304 9016284 140735838475344 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 31750 30269 512 1178 0 30568 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 127000
[startup+12.7003 s]
/proc/loadavg: 1.15 1.15 1.51 3/178 2055
/proc/meminfo: memFree=31483948/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=127000 CPUtime=12.69 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 36064 0 0 0 1265 4 0 0 25 0 1 0 966946536 130048000 30275 33554432000 4194304 9016284 140735838475344 18446744073709551615 5512282 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 31750 30275 517 1178 0 30568 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127000
[startup+25.5009 s]
/proc/loadavg: 1.34 1.19 1.52 3/178 2055
/proc/meminfo: memFree=31369384/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=246276 CPUtime=25.49 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 68230 0 0 0 2540 9 0 0 25 0 1 0 966946536 252186624 59171 33554432000 4194304 9016284 140735838475344 18446744073709551615 6404079 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 61569 59171 713 1178 0 60387 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246276
[startup+51.1002 s]
/proc/loadavg: 1.56 1.26 1.53 3/178 2056
/proc/meminfo: memFree=31355516/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=263668 CPUtime=51.09 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 76914 0 0 0 5096 13 0 0 25 0 1 0 966946536 269996032 62720 33554432000 4194304 9016284 140735838475344 18446744073709551615 6259821 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/1978/statm: 65917 62720 753 1178 0 64735 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 263668
[startup+102.307 s]
/proc/loadavg: 1.81 1.37 1.55 3/178 2057
/proc/meminfo: memFree=31340808/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=273788 CPUtime=102.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 80517 0 0 0 10203 26 0 0 25 0 1 0 966946536 280358912 66296 33554432000 4194304 9016284 140735838475344 18446744073709551615 6971617 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 68447 66296 727 1178 0 67265 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 273788
[startup+162.301 s]
/proc/loadavg: 1.93 1.48 1.58 3/178 2059
/proc/meminfo: memFree=31335852/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=278628 CPUtime=162.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 81731 0 0 0 16181 48 0 0 25 0 1 0 966946536 285315072 67510 33554432000 4194304 9016284 140735838475344 18446744073709551615 6863408 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 69657 67510 727 1178 0 68475 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 278628
[startup+222.301 s]
/proc/loadavg: 1.97 1.57 1.60 3/178 2060
/proc/meminfo: memFree=31332820/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=285164 CPUtime=222.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 90121 0 0 0 22157 72 0 0 25 0 1 0 966946536 292007936 68098 33554432000 4194304 9016284 140735838475344 18446744073709551615 7181032 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 71291 68098 729 1178 0 70109 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 285164
[startup+282.301 s]
/proc/loadavg: 1.99 1.65 1.62 3/178 2062
/proc/meminfo: memFree=31329316/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=284652 CPUtime=282.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 109313 0 0 0 28133 96 0 0 25 0 1 0 966946536 291483648 69121 33554432000 4194304 9016284 140735838475344 18446744073709551615 4777284 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 71163 69121 936 1178 0 69981 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 284652
[startup+342.301 s]
/proc/loadavg: 1.99 1.71 1.64 3/178 2102
/proc/meminfo: memFree=31340788/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=290612 CPUtime=342.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 124265 0 0 0 34110 119 0 0 25 0 1 0 966946536 297586688 68563 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 72653 68563 728 1178 0 71471 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 290612
[startup+402.301 s]
/proc/loadavg: 1.99 1.76 1.66 3/178 2103
/proc/meminfo: memFree=31341340/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=281688 CPUtime=402.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 142021 0 0 0 40091 138 0 0 25 0 1 0 966946536 288448512 68455 33554432000 4194304 9016284 140735838475344 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 70422 68455 728 1178 0 69240 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 281688
[startup+462.301 s]
/proc/loadavg: 2.04 1.81 1.69 3/178 2105
/proc/meminfo: memFree=31327468/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=302032 CPUtime=462.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 163824 0 0 0 46075 154 0 0 25 0 1 0 966946536 309280768 72106 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 75508 72106 1025 1178 0 74326 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 302032
[startup+522.301 s]
/proc/loadavg: 2.01 1.85 1.70 3/178 2144
/proc/meminfo: memFree=31291848/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=295944 CPUtime=522.29 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 172795 0 0 0 52055 174 0 0 25 0 1 0 966946536 303046656 72336 33554432000 4194304 9016284 140735838475344 18446744073709551615 7181758 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 73986 72336 727 1178 0 72804 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 295944
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.72 3/178 2146
/proc/meminfo: memFree=31304932/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=290544 CPUtime=582.3 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 178379 0 0 0 58042 188 0 0 25 0 1 0 966946536 297517056 69240 33554432000 4194304 9016284 140735838475344 18446744073709551615 7180544 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 72636 69240 727 1178 0 71454 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 290544
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31270656/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=311504 CPUtime=1122.31 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 233479 0 0 0 111923 308 0 0 25 0 1 0 966946536 318980096 74697 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77876 74697 803 1178 0 76694 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 311504
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 2162
/proc/meminfo: memFree=31270604/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=306072 CPUtime=1182.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 236843 0 0 0 117909 323 0 0 25 0 1 0 966946536 313417728 73975 33554432000 4194304 9016284 140735838475344 18446744073709551615 7157120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 76518 73975 801 1178 0 75336 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 306072
[startup+1242.3 s]
/proc/loadavg: 2.07 1.99 1.84 3/178 2164
/proc/meminfo: memFree=31268948/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=311564 CPUtime=1242.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 242894 0 0 0 123894 338 0 0 25 0 1 0 966946536 319041536 74502 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77891 74502 792 1178 0 76709 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 311564
[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.85 3/178 2174
/proc/meminfo: memFree=31263576/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=306144 CPUtime=1302.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 247119 0 0 0 129878 354 0 0 25 0 1 0 966946536 313491456 74907 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 76536 74907 725 1178 0 75354 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 306144
[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.85 3/178 2176
/proc/meminfo: memFree=31273452/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=302896 CPUtime=1362.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 261133 0 0 0 135863 369 0 0 25 0 1 0 966946536 310165504 73080 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 75724 73080 1456 1178 0 74542 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 302896
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 2177
/proc/meminfo: memFree=31273172/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=301960 CPUtime=1422.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 275174 0 0 0 141850 382 0 0 25 0 1 0 966946536 309207040 72265 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 75490 72265 725 1178 0 74308 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 301960
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 2179
/proc/meminfo: memFree=31270140/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=305136 CPUtime=1482.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 289355 0 0 0 147835 397 0 0 25 0 1 0 966946536 312459264 73131 33554432000 4194304 9016284 140735838475344 18446744073709551615 7157120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 76284 73131 851 1178 0 75102 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 305136
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 2181
/proc/meminfo: memFree=31254596/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=314316 CPUtime=1542.33 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 302519 0 0 0 153821 412 0 0 25 0 1 0 966946536 321859584 76407 33554432000 4194304 9016284 140735838475344 18446744073709551615 6924823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 78579 76407 727 1178 0 77397 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 314316
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 2182
/proc/meminfo: memFree=31256400/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=311396 CPUtime=1602.32 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 306455 0 0 0 159808 424 0 0 25 0 1 0 966946536 318869504 75662 33554432000 4194304 9016284 140735838475344 18446744073709551615 6971617 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77849 75662 725 1178 0 76667 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 311396
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 2184
/proc/meminfo: memFree=31249784/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=316996 CPUtime=1662.33 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 307859 0 0 0 165795 438 0 0 25 0 1 0 966946536 324603904 77066 33554432000 4194304 9016284 140735838475344 18446744073709551615 7181032 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 79249 77066 725 1178 0 78067 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 316996
[startup+1722.3 s]
/proc/loadavg: 2.06 2.00 1.90 3/178 2185
/proc/meminfo: memFree=31245608/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=325692 CPUtime=1722.33 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 316850 0 0 0 171780 453 0 0 25 0 1 0 966946536 333508608 78320 33554432000 4194304 9016284 140735838475344 18446744073709551615 7875884 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 81423 78320 1040 1178 0 80241 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 325692
[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31254228/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=314300 CPUtime=1782.33 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 325037 0 0 0 177766 467 0 0 25 0 1 0 966946536 321843200 75782 33554432000 4194304 9016284 140735838475344 18446744073709551615 6924808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 78575 75782 725 1178 0 77393 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 314300
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31254228/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=288952 CPUtime=1785.53 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 325037 0 0 0 178085 468 0 0 25 0 1 0 966946536 295886848 70084 33554432000 4194304 9016284 140735838475344 18446744073709551615 7143008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 72238 70084 725 1178 0 71056 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 288952
[startup+1791.91 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31258928/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=310860 CPUtime=1791.94 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 331557 0 0 0 178724 470 0 0 25 0 1 0 966946536 318320640 74986 33554432000 4194304 9016284 140735838475344 18446744073709551615 7181009 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77715 74986 1108 1178 0 76533 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 310860
[startup+1795.1 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31258928/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=310860 CPUtime=1795.14 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 331565 0 0 0 179043 471 0 0 25 0 1 0 966946536 318320640 74986 33554432000 4194304 9016284 140735838475344 18446744073709551615 7181002 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77715 74986 1100 1178 0 76533 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 310860
[startup+1795.9 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31258928/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=310860 CPUtime=1795.93 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 331565 0 0 0 179122 471 0 0 25 0 1 0 966946536 318320640 74986 33554432000 4194304 9016284 140735838475344 18446744073709551615 7180902 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77715 74986 1100 1178 0 76533 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 310860
[startup+1796.7 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31258804/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=310860 CPUtime=1796.73 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 331567 0 0 0 179202 471 0 0 25 0 1 0 966946536 318320640 74986 33554432000 4194304 9016284 140735838475344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1978/statm: 77715 74986 1098 1178 0 76533 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 310860
[startup+1797.1 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31258804/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=310860 CPUtime=1797.13 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 331576 0 0 0 179242 471 0 0 25 0 1 0 966946536 318320640 74994 33554432000 4194304 9016284 140735838475344 18446744073709551615 6812662 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1978/statm: 77715 74994 1105 1178 0 76533 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 310860
[startup+1797.2 s]
/proc/loadavg: 2.02 2.00 1.90 3/178 2187
/proc/meminfo: memFree=31258804/32951124 swapFree=67056304/67111528
[pid=1978] ppid=1976 vsize=263096 CPUtime=1797.24 cores=1,3,5,7
/proc/1978/stat : 1978 (scip-2.0.1.4b_2) R 1976 1978 30098 0 -1 4202496 331577 0 0 0 179252 472 0 0 25 0 1 0 966946536 269410304 64929 33554432000 4194304 9016284 140735838475344 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1978/statm: 65774 64929 734 1178 0 64592 0
Current children cumulated CPU time (s) 1797.24
Current children cumulated vsize (KiB) 263096
Child status: 0
Real time (s): 1797.23
CPU time (s): 1797.27
CPU user time (s): 1792.54
CPU system time (s): 4.73028
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 325692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 4.73028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331585
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= 6
involuntary context switches= 21645
runsolver used 2.82457 second user time and 6.21805 second system time
The end