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-3488764-1307765915.opb>
0.00/0.04 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.03/0.06 c presolving:
0.09/0.12 c (round 1) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6535 upgd conss, 5642 impls, 0 clqs
0.09/0.13 c (round 2) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6536 upgd conss, 5642 impls, 0 clqs
0.09/0.13 c (round 3) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 5642 impls, 0 clqs
0.09/0.18 c (round 4) 50 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7104 impls, 0 clqs
0.09/0.19 c (round 5) 53 del vars, 177 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.09/0.19 c (round 6) 53 del vars, 179 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 7142 impls, 0 clqs
0.19/0.29 c (round 7) 103 del vars, 179 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.19/0.29 c (round 8) 103 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 27330 impls, 0 clqs
0.29/0.36 c (round 9) 153 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.29/0.36 c (round 10) 153 del vars, 279 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 46786 impls, 0 clqs
0.39/0.44 c (0.4s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.44 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c (round 11) 188 del vars, 279 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.39/0.44 c (round 12) 188 del vars, 314 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6537 upgd conss, 48388 impls, 0 clqs
0.39/0.45 c (0.5s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.45 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (13 rounds):
0.39/0.45 c 188 deleted vars, 314 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.39/0.45 c 48388 implications, 0 cliques
0.39/0.45 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6345 constraints
0.39/0.45 c 1515 constraints of type <setppc>
0.39/0.45 c 4830 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.40
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 2.0.1.5
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1797
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 13950
0.39/0.45 c
0.39/0.45 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.45 c # [type: int, range: [1,2], default: 1]
0.39/0.45 c timing/clocktype = 2
0.39/0.45 c
0.39/0.45 c # belongs reading time to solving time?
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c timing/reading = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/indicator/addCouplingCons = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.45 c
2.99/3.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.02 c 3.0s| 1 | 0 | 9955 | - | 14M| 0 |1637 |2478 |6378 |2478 |6343 | 0 | 33 | 0 | 7.986569e+02 | -- | Inf
7.09/7.12 c 7.1s| 1 | 0 | 22227 | - | 20M| 0 |2009 |2478 |6863 |2478 |7426 |1083 | 33 | 0 | 8.251778e+02 | -- | Inf
7.69/7.79 c 7.8s| 1 | 0 | 23469 | - | 24M| 0 |2160 |2478 |6863 |2478 |7458 |1115 | 33 | 0 | 8.312097e+02 | -- | Inf
8.80/8.81 c 8.8s| 1 | 0 | 24367 | - | 30M| 0 |2036 |2478 |6863 |2478 |7489 |1146 | 33 | 0 | 8.349082e+02 | -- | Inf
9.39/9.49 c 9.5s| 1 | 0 | 25273 | - | 37M| 0 |1734 |2478 |6863 |2478 |7509 |1166 | 33 | 0 | 8.383326e+02 | -- | Inf
10.39/10.47 c 10.5s| 1 | 0 | 27171 | - | 42M| 0 |2039 |2478 |6863 |2478 |7539 |1196 | 33 | 0 | 8.413608e+02 | -- | Inf
12.89/12.93 c 12.9s| 1 | 0 | 29702 | - | 43M| 0 |1673 |2478 |6863 |2478 |7609 |1266 | 33 | 0 | 8.730060e+02 | -- | Inf
13.39/13.42 c 13.4s| 1 | 0 | 30383 | - | 47M| 0 |1683 |2478 |6863 |2478 |7653 |1310 | 33 | 0 | 8.767926e+02 | -- | Inf
13.99/14.01 c 14.0s| 1 | 0 | 31243 | - | 51M| 0 |1923 |2478 |6863 |2478 |7690 |1347 | 33 | 0 | 8.786951e+02 | -- | Inf
14.89/14.93 c 14.9s| 1 | 0 | 32579 | - | 56M| 0 |1944 |2478 |6863 |2478 |7731 |1388 | 33 | 0 | 8.813315e+02 | -- | Inf
15.59/15.61 c 15.6s| 1 | 0 | 33592 | - | 59M| 0 |1731 |2478 |6863 |2478 |7763 |1420 | 33 | 0 | 8.835267e+02 | -- | Inf
16.69/16.72 c 16.7s| 1 | 0 | 35552 | - | 63M| 0 |1950 |2478 |6863 |2478 |7806 |1463 | 33 | 0 | 8.861699e+02 | -- | Inf
19.59/19.63 c 19.6s| 1 | 0 | 38313 | - | 64M| 0 |1703 |2478 |6863 |2478 |6830 |1533 | 33 | 0 | 9.081645e+02 | -- | Inf
20.49/20.56 c 20.6s| 1 | 0 | 39653 | - | 68M| 0 |1897 |2478 |6863 |2478 |6865 |1568 | 33 | 0 | 9.095045e+02 | -- | Inf
21.19/21.22 c 21.2s| 1 | 0 | 40652 | - | 70M| 0 |1921 |2478 |6863 |2478 |6902 |1605 | 33 | 0 | 9.106683e+02 | -- | Inf
22.49/22.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.49/22.51 c 22.5s| 1 | 0 | 42573 | - | 72M| 0 |2037 |2478 |6863 |2478 |6944 |1647 | 33 | 0 | 9.128500e+02 | -- | Inf
23.79/23.89 c 23.9s| 1 | 0 | 44497 | - | 74M| 0 |1914 |2478 |6863 |2478 |6981 |1684 | 33 | 0 | 9.154977e+02 | -- | Inf
25.79/25.85 c 25.8s| 1 | 0 | 46519 | - | 76M| 0 |1862 |2478 |6863 |2478 |7053 |1756 | 33 | 0 | 9.371610e+02 | -- | Inf
27.40/27.42 c 27.4s| 1 | 0 | 48106 | - | 77M| 0 |1870 |2478 |6863 |2478 |6958 |1809 | 33 | 0 | 9.428335e+02 | -- | Inf
28.19/28.22 c 28.2s| 1 | 0 | 48891 | - | 82M| 0 |1905 |2478 |6863 |2478 |6986 |1837 | 33 | 0 | 9.450937e+02 | -- | Inf
29.19/29.22 c 29.2s| 1 | 0 | 50448 | - | 85M| 0 |1929 |2478 |6863 |2478 |7021 |1872 | 33 | 0 | 9.476950e+02 | -- | Inf
30.29/30.39 c 30.4s| 1 | 0 | 52367 | - | 86M| 0 |1787 |2478 |6863 |2478 |7084 |1935 | 33 | 0 | 9.520695e+02 | -- | Inf
31.59/31.68 c 31.7s| 1 | 0 | 54873 | - | 88M| 0 |1767 |2478 |6863 |2478 |7140 |1991 | 33 | 0 | 9.556642e+02 | -- | Inf
32.79/32.84 c 32.8s| 1 | 0 | 56762 | - | 88M| 0 |1747 |2478 |6863 |2478 |7203 |2054 | 33 | 0 | 9.678695e+02 | -- | Inf
33.39/33.44 c 33.4s| 1 | 0 | 58002 | - | 90M| 0 |1881 |2478 |6863 |2478 |7078 |2111 | 33 | 0 | 9.719678e+02 | -- | Inf
34.00/34.08 c 34.1s| 1 | 0 | 59234 | - | 91M| 0 |1849 |2478 |6863 |2478 |7111 |2144 | 33 | 0 | 9.735447e+02 | -- | Inf
34.89/34.97 c 35.0s| 1 | 0 | 60951 | - | 95M| 0 |1887 |2478 |6863 |2478 |7154 |2187 | 33 | 0 | 9.761205e+02 | -- | Inf
36.39/36.47 c 36.5s| 1 | 0 | 63295 | - | 95M| 0 |1717 |2478 |6863 |2478 |7241 |2274 | 33 | 0 | 9.981512e+02 | -- | Inf
36.79/36.89 c 36.9s| 1 | 0 | 63727 | - | 98M| 0 |1707 |2478 |6863 |2478 |7292 |2325 | 33 | 0 | 1.000591e+03 | -- | Inf
37.49/37.52 c 37.5s| 1 | 0 | 64805 | - | 100M| 0 |1778 |2478 |6863 |2478 |7325 |2358 | 33 | 0 | 1.001393e+03 | -- | Inf
38.29/38.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.29/38.36 c 38.4s| 1 | 0 | 66747 | - | 102M| 0 |1749 |2478 |6863 |2478 |7166 |2391 | 33 | 0 | 1.002583e+03 | -- | Inf
38.89/38.96 c 39.0s| 1 | 0 | 68234 | - | 105M| 0 |1864 |2478 |6863 |2478 |7202 |2427 | 33 | 0 | 1.003778e+03 | -- | Inf
39.79/39.85 c 39.9s| 1 | 0 | 70092 | - | 106M| 0 |1859 |2478 |6863 |2478 |7262 |2487 | 33 | 0 | 1.005755e+03 | -- | Inf
40.79/40.80 c 40.8s| 1 | 0 | 71723 | - | 107M| 0 |1853 |2478 |6863 |2478 |7316 |2541 | 33 | 0 | 1.008839e+03 | -- | Inf
41.89/41.99 c 42.0s| 1 | 0 | 73294 | - | 108M| 0 |1868 |2478 |6863 |2478 |7390 |2615 | 33 | 0 | 1.015083e+03 | -- | Inf
42.80/42.83 c 42.8s| 1 | 0 | 74904 | - | 110M| 0 |1898 |2478 |6863 |2478 |7433 |2658 | 33 | 0 | 1.018707e+03 | -- | Inf
43.90/43.95 c 44.0s| 1 | 0 | 77095 | - | 112M| 0 |1964 |2478 |6863 |2478 |7258 |2700 | 33 | 0 | 1.020859e+03 | -- | Inf
45.10/45.19 c 45.2s| 1 | 0 | 78813 | - | 113M| 0 |2025 |2478 |6863 |2478 |7305 |2747 | 33 | 0 | 1.025017e+03 | -- | Inf
46.59/46.67 c 46.7s| 1 | 0 | 81795 | - | 114M| 0 |2084 |2478 |6863 |2478 |7344 |2786 | 33 | 0 | 1.026129e+03 | -- | Inf
48.69/48.72 c 48.7s| 1 | 0 | 84798 | - | 115M| 0 |1995 |2478 |6863 |2478 |7436 |2878 | 33 | 0 | 1.043869e+03 | -- | Inf
49.89/49.90 c 49.9s| 1 | 0 | 87723 | - | 116M| 0 |2018 |2478 |6863 |2478 |7479 |2921 | 33 | 0 | 1.045884e+03 | -- | Inf
50.90/50.95 c 51.0s| 1 | 0 | 89296 | - | 117M| 0 |2055 |2478 |6863 |2478 |7536 |2978 | 33 | 0 | 1.047129e+03 | -- | Inf
51.99/52.05 c 52.0s| 1 | 0 | 91047 | - | 118M| 0 |2044 |2478 |6863 |2478 |7344 |3031 | 33 | 0 | 1.048406e+03 | -- | Inf
53.59/53.61 c 53.6s| 1 | 0 | 94435 | - | 119M| 0 |2011 |2478 |6863 |2478 |7400 |3087 | 33 | 0 | 1.050850e+03 | -- | Inf
55.29/55.39 c 55.4s| 1 | 0 | 98067 | - | 120M| 0 |1932 |2478 |6863 |2478 |7482 |3169 | 33 | 0 | 1.067234e+03 | -- | Inf
56.39/56.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.39/56.46 c 56.5s| 1 | 0 | 99552 | - | 120M| 0 |1893 |2478 |6863 |2478 |7554 |3241 | 33 | 0 | 1.072094e+03 | -- | Inf
57.79/57.83 c 57.8s| 1 | 0 |102909 | - | 121M| 0 |1933 |2478 |6863 |2478 |7608 |3295 | 33 | 0 | 1.073639e+03 | -- | Inf
58.99/59.03 c 59.0s| 1 | 0 |105688 | - | 123M| 0 |2017 |2478 |6863 |2478 |7657 |3344 | 33 | 0 | 1.075716e+03 | -- | Inf
60.59/60.66 c 60.7s| 1 | 0 |108599 | - | 124M| 0 |2010 |2478 |6863 |2478 |7476 |3400 | 33 | 0 | 1.078809e+03 | -- | Inf
62.09/62.12 c 62.1s| 1 | 0 |112334 | - | 126M| 0 |2056 |2478 |6863 |2478 |7519 |3443 | 33 | 0 | 1.080510e+03 | -- | Inf
63.89/63.90 c 63.9s| 1 | 0 |115569 | - | 127M| 0 |2077 |2478 |6863 |2478 |7574 |3498 | 33 | 0 | 1.083134e+03 | -- | Inf
64.80/64.83 c 64.8s| 1 | 0 |117624 | - | 128M| 0 |1995 |2478 |6863 |2478 |7624 |3548 | 33 | 0 | 1.084113e+03 | -- | Inf
65.69/65.70 c 65.7s| 1 | 0 |119243 | - | 130M| 0 |2019 |2478 |6863 |2478 |7667 |3591 | 33 | 0 | 1.086376e+03 | -- | Inf
67.50/67.56 c 67.6s| 1 | 0 |122586 | - | 131M| 0 |1999 |2478 |6863 |2478 |7739 |3663 | 33 | 0 | 1.102082e+03 | -- | Inf
68.79/68.85 c 68.9s| 1 | 0 |124948 | - | 131M| 0 |1995 |2478 |6863 |2478 |7464 |3720 | 33 | 0 | 1.104261e+03 | -- | Inf
70.69/70.72 c 70.7s| 1 | 0 |128984 | - | 132M| 0 |1930 |2478 |6863 |2478 |7532 |3788 | 33 | 0 | 1.120096e+03 | -- | Inf
72.00/72.04 c 72.0s| 1 | 0 |131133 | - | 132M| 0 |1892 |2478 |6863 |2478 |7606 |3862 | 33 | 0 | 1.123681e+03 | -- | Inf
73.49/73.53 c 73.5s| 1 | 0 |134153 | - | 133M| 0 |1992 |2478 |6863 |2478 |7679 |3935 | 33 | 0 | 1.136257e+03 | -- | Inf
75.00/75.06 c 75.1s| 1 | 0 |136594 | - | 134M| 0 |1967 |2478 |6863 |2478 |7755 |4011 | 33 | 0 | 1.145293e+03 | -- | Inf
75.80/75.85 c 75.9s| 1 | 0 |138024 | - | 135M| 0 |1993 |2478 |6863 |2478 |7795 |4051 | 33 | 0 | 1.148187e+03 | -- | Inf
76.89/76.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.89/76.95 c 76.9s| 1 | 0 |140257 | - | 135M| 0 |2032 |2478 |6863 |2478 |7560 |4090 | 33 | 0 | 1.149605e+03 | -- | Inf
77.69/77.79 c 77.8s| 1 | 0 |141190 | - | 137M| 0 |2020 |2478 |6863 |2478 |7591 |4121 | 33 | 0 | 1.149895e+03 | -- | Inf
79.10/79.18 c 79.2s| 1 | 0 |143253 | - | 137M| 0 |1971 |2478 |6863 |2478 |7642 |4172 | 33 | 0 | 1.158911e+03 | -- | Inf
79.99/80.08 c 80.1s| 1 | 0 |144656 | - | 138M| 0 |2016 |2478 |6863 |2478 |7706 |4236 | 33 | 0 | 1.161032e+03 | -- | Inf
80.80/80.89 c 80.9s| 1 | 0 |145739 | - | 139M| 0 |1982 |2478 |6863 |2478 |7769 |4299 | 33 | 0 | 1.162832e+03 | -- | Inf
81.49/81.53 c 81.5s| 1 | 0 |146792 | - | 140M| 0 |2001 |2478 |6863 |2478 |7810 |4340 | 33 | 0 | 1.163491e+03 | -- | Inf
82.89/82.94 c 82.9s| 1 | 0 |149347 | - | 141M| 0 |1963 |2478 |6863 |2478 |7530 |4388 | 33 | 0 | 1.166716e+03 | -- | Inf
84.49/84.56 c 84.6s| 1 | 0 |152068 | - | 142M| 0 |1920 |2478 |6863 |2478 |7585 |4443 | 33 | 0 | 1.170250e+03 | -- | Inf
85.19/85.25 c 85.3s| 1 | 0 |153156 | - | 142M| 0 |1973 |2478 |6863 |2478 |7642 |4500 | 33 | 0 | 1.171334e+03 | -- | Inf
86.10/86.12 c 86.1s| 1 | 0 |155171 | - | 144M| 0 |2029 |2478 |6863 |2478 |7689 |4547 | 33 | 0 | 1.172217e+03 | -- | Inf
88.00/88.01 c 88.0s| 1 | 0 |157824 | - | 144M| 0 |1954 |2478 |6863 |2478 |7751 |4609 | 33 | 0 | 1.181227e+03 | -- | Inf
88.99/89.02 c 89.0s| 1 | 0 |159065 | - | 145M| 0 |1938 |2478 |6863 |2478 |7794 |4652 | 33 | 0 | 1.182675e+03 | -- | Inf
89.70/89.73 c 89.7s| 1 | 0 |160253 | - | 146M| 0 |1960 |2478 |6863 |2478 |7554 |4688 | 33 | 0 | 1.184477e+03 | -- | Inf
90.49/90.55 c 90.5s| 1 | 0 |161408 | - | 147M| 0 |2001 |2478 |6863 |2478 |7592 |4726 | 33 | 0 | 1.184652e+03 | -- | Inf
92.89/92.97 c 93.0s| 1 | 0 |166762 | - | 148M| 0 |2000 |2478 |6863 |2478 |7640 |4774 | 33 | 0 | 1.193915e+03 | -- | Inf
94.09/94.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.09/94.19 c 94.2s| 1 | 0 |169651 | - | 148M| 0 |2011 |2478 |6863 |2478 |7683 |4817 | 33 | 0 | 1.196117e+03 | -- | Inf
95.99/96.07 c 96.1s| 1 | 0 |172280 | - | 149M| 0 |2014 |2478 |6863 |2478 |7749 |4883 | 33 | 0 | 1.203950e+03 | -- | Inf
96.99/97.01 c 97.0s| 1 | 0 |174982 | - | 150M| 0 |2068 |2478 |6863 |2478 |7779 |4913 | 33 | 0 | 1.205632e+03 | -- | Inf
98.30/98.39 c 98.4s| 1 | 0 |177363 | - | 151M| 0 |2037 |2478 |6863 |2478 |7561 |4944 | 33 | 0 | 1.206485e+03 | -- | Inf
99.69/99.79 c 99.8s| 1 | 0 |179881 | - | 152M| 0 |2040 |2478 |6863 |2478 |7593 |4976 | 33 | 0 | 1.208497e+03 | -- | Inf
101.29/101.30 c 101s| 1 | 0 |182104 | - | 152M| 0 |1931 |2478 |6863 |2478 |7646 |5029 | 33 | 0 | 1.214938e+03 | -- | Inf
101.90/101.91 c 102s| 1 | 0 |182733 | - | 153M| 0 |1935 |2478 |6863 |2478 |7688 |5071 | 33 | 0 | 1.216664e+03 | -- | Inf
102.39/102.44 c 102s| 1 | 0 |183200 | - | 155M| 0 |1987 |2478 |6863 |2478 |7710 |5093 | 33 | 0 | 1.217494e+03 | -- | Inf
102.99/103.08 c 103s| 1 | 0 |183838 | - | 156M| 0 |1977 |2478 |6863 |2478 |7734 |5117 | 33 | 0 | 1.218054e+03 | -- | Inf
103.79/103.85 c 104s| 1 | 0 |184465 | - | 158M| 0 |1991 |2478 |6863 |2478 |7497 |5146 | 33 | 0 | 1.218277e+03 | -- | Inf
105.10/105.12 c 105s| 1 | 0 |186331 | - | 158M| 0 |2019 |2478 |6863 |2478 |7547 |5196 | 33 | 0 | 1.222824e+03 | -- | Inf
106.39/106.47 c 106s| 1 | 0 |188824 | - | 159M| 0 |2012 |2478 |6863 |2478 |7570 |5219 | 33 | 0 | 1.226395e+03 | -- | Inf
107.09/107.15 c 107s| 1 | 0 |190094 | - | 160M| 0 |2002 |2478 |6863 |2478 |7598 |5247 | 33 | 0 | 1.226862e+03 | -- | Inf
108.39/108.42 c 108s| 1 | 0 |191927 | - | 162M| 0 |1979 |2478 |6863 |2478 |7636 |5285 | 33 | 0 | 1.229289e+03 | -- | Inf
108.99/109.05 c 109s| 1 | 0 |192984 | - | 163M| 0 |2064 |2478 |6863 |2478 |7668 |5317 | 33 | 0 | 1.230119e+03 | -- | Inf
110.70/110.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.70/110.76 c 111s| 1 | 0 |195353 | - | 164M| 0 |2046 |2478 |6863 |2478 |7479 |5355 | 33 | 0 | 1.234271e+03 | -- | Inf
111.89/111.93 c 112s| 1 | 0 |196344 | - | 164M| 0 |2096 |2478 |6863 |2478 |7521 |5397 | 33 | 0 | 1.236751e+03 | -- | Inf
113.20/113.21 c 113s| 1 | 0 |196655 | - | 164M| 0 |2023 |2478 |6863 |2478 |7563 |5439 | 33 | 0 | 1.238344e+03 | -- | Inf
114.30/114.40 c 114s| 1 | 0 |198170 | - | 165M| 0 |2057 |2478 |6863 |2478 |7597 |5473 | 33 | 0 | 1.240708e+03 | -- | Inf
115.20/115.26 c 115s| 1 | 0 |198911 | - | 165M| 0 |2094 |2478 |6863 |2478 |7621 |5497 | 33 | 0 | 1.241083e+03 | -- | Inf
116.10/116.14 c 116s| 1 | 0 |199691 | - | 166M| 0 |2092 |2478 |6863 |2478 |7641 |5517 | 33 | 0 | 1.241454e+03 | -- | Inf
117.29/117.32 c 117s| 1 | 0 |200651 | - | 167M| 0 |2032 |2478 |6863 |2478 |7486 |5538 | 33 | 0 | 1.242489e+03 | -- | Inf
118.60/118.65 c 119s| 1 | 0 |201821 | - | 167M| 0 |1999 |2478 |6863 |2478 |7517 |5569 | 33 | 0 | 1.244669e+03 | -- | Inf
119.39/119.43 c 119s| 1 | 0 |203745 | - | 167M| 0 |2051 |2478 |6863 |2478 |7541 |5593 | 33 | 0 | 1.245811e+03 | -- | Inf
120.49/120.52 c 121s| 1 | 0 |205756 | - | 168M| 0 |2019 |2478 |6863 |2478 |7564 |5616 | 33 | 0 | 1.246225e+03 | -- | Inf
121.89/121.97 c 122s| 1 | 0 |208247 | - | 168M| 0 |2018 |2478 |6863 |2478 |7601 |5653 | 33 | 0 | 1.248938e+03 | -- | Inf
123.39/123.45 c 123s| 1 | 0 |210621 | - | 169M| 0 |2042 |2478 |6863 |2478 |7620 |5672 | 33 | 0 | 1.250743e+03 | -- | Inf
124.60/124.65 c 125s| 1 | 0 |211519 | - | 165M| 0 |2082 |2478 |6863 |2478 |7434 |5692 | 33 | 0 | 1.252145e+03 | -- | Inf
125.89/125.92 c 126s| 1 | 0 |213273 | - | 162M| 0 |1987 |2478 |6863 |2478 |7459 |5717 | 33 | 0 | 1.254079e+03 | -- | Inf
126.69/126.75 c 127s| 1 | 0 |214407 | - | 158M| 0 |2035 |2478 |6863 |2478 |7480 |5738 | 33 | 0 | 1.255329e+03 | -- | Inf
127.29/127.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.29/127.37 c 127s| 1 | 0 |215280 | - | 151M| 0 |2073 |2478 |6863 |2478 |7510 |5768 | 33 | 0 | 1.256059e+03 | -- | Inf
128.20/128.24 c 128s| 1 | 0 |216791 | - | 147M| 0 |2056 |2478 |6863 |2478 |7528 |5786 | 33 | 0 | 1.256618e+03 | -- | Inf
129.00/129.07 c 129s| 1 | 0 |217890 | - | 147M| 0 |2096 |2478 |6863 |2478 |7545 |5803 | 33 | 0 | 1.257285e+03 | -- | Inf
130.29/130.35 c 130s| 1 | 0 |219474 | - | 144M| 0 |2090 |2478 |6863 |2478 |7423 |5819 | 33 | 0 | 1.258162e+03 | -- | Inf
131.49/131.50 c 131s| 1 | 0 |221210 | - | 141M| 0 |2086 |2478 |6863 |2478 |7442 |5838 | 33 | 0 | 1.258879e+03 | -- | Inf
133.00/133.03 c 133s| 1 | 0 |223015 | - | 137M| 0 |2078 |2478 |6863 |2478 |7471 |5867 | 33 | 0 | 1.260692e+03 | -- | Inf
133.69/133.74 c 134s| 1 | 0 |224061 | - | 135M| 0 |2112 |2478 |6863 |2478 |7488 |5884 | 33 | 0 | 1.261035e+03 | -- | Inf
135.30/135.38 c 135s| 1 | 0 |225707 | - | 132M| 0 |2125 |2478 |6863 |2478 |7511 |5907 | 33 | 0 | 1.262088e+03 | -- | Inf
136.19/136.21 c 136s| 1 | 0 |227018 | - | 130M| 0 |2131 |2478 |6863 |2478 |7527 |5923 | 33 | 0 | 1.262429e+03 | -- | Inf
137.99/138.07 c 138s| 1 | 0 |228122 | - | 127M| 0 |2077 |2478 |6863 |2478 |7435 |5932 | 33 | 0 | 1.263060e+03 | -- | Inf
138.69/138.72 c 139s| 1 | 0 |228438 | - | 126M| 0 |2103 |2478 |6863 |2478 |7445 |5942 | 33 | 0 | 1.263304e+03 | -- | Inf
139.50/139.53 c 140s| 1 | 0 |228637 | - | 125M| 0 |2115 |2478 |6863 |2478 |7457 |5954 | 33 | 0 | 1.263321e+03 | -- | Inf
140.20/140.26 c 140s| 1 | 0 |229070 | - | 124M| 0 |2124 |2478 |6863 |2478 |7472 |5969 | 33 | 0 | 1.263371e+03 | -- | Inf
141.90/141.99 c 142s| 1 | 0 |229475 | - | 122M| 0 |2097 |2478 |6863 |2478 |7479 |5976 | 33 | 0 | 1.263480e+03 | -- | Inf
142.80/142.90 c 143s| 1 | 0 |230251 | - | 121M| 0 |2119 |2478 |6863 |2478 |7494 |5991 | 33 | 0 | 1.263604e+03 | -- | Inf
144.39/144.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.39/144.42 c 144s| 1 | 0 |231674 | - | 118M| 0 |2079 |2478 |6863 |2478 |7403 |6004 | 33 | 0 | 1.264321e+03 | -- | Inf
145.90/145.90 c 146s| 1 | 0 |232954 | - | 114M| 0 |2124 |2478 |6863 |2478 |7418 |6019 | 33 | 0 | 1.265106e+03 | -- | Inf
147.29/147.35 c 147s| 1 | 0 |234131 | - | 114M| 0 |2029 |2478 |6863 |2478 |7433 |6034 | 33 | 0 | 1.265823e+03 | -- | Inf
149.09/149.19 c 149s| 1 | 0 |235490 | - | 113M| 0 |2021 |2478 |6863 |2478 |7443 |6044 | 33 | 0 | 1.266413e+03 | -- | Inf
149.90/149.90 c 150s| 1 | 0 |236487 | - | 113M| 0 |2059 |2478 |6863 |2478 |7460 |6061 | 33 | 0 | 1.267684e+03 | -- | Inf
151.19/151.20 c 151s| 1 | 0 |237314 | - | 111M| 0 |2078 |2478 |6863 |2478 |7475 |6076 | 33 | 0 | 1.267901e+03 | -- | Inf
151.70/151.74 c 152s| 1 | 0 |237933 | - | 110M| 0 |2072 |2478 |6863 |2478 |7398 |6092 | 33 | 0 | 1.267997e+03 | -- | Inf
153.09/153.13 c 153s| 1 | 0 |240103 | - | 108M| 0 |2041 |2478 |6863 |2478 |7418 |6112 | 33 | 0 | 1.269916e+03 | -- | Inf
154.79/154.82 c 155s| 1 | 0 |242170 | - | 107M| 0 |2028 |2478 |6863 |2478 |7441 |6135 | 33 | 0 | 1.271371e+03 | -- | Inf
156.10/156.11 c 156s| 1 | 0 |243402 | - | 105M| 0 |2053 |2478 |6863 |2478 |7477 |6171 | 33 | 0 | 1.272903e+03 | -- | Inf
156.80/156.85 c 157s| 1 | 0 |243815 | - | 103M| 0 |2034 |2478 |6863 |2478 |7493 |6187 | 33 | 0 | 1.273678e+03 | -- | Inf
157.40/157.49 c 157s| 1 | 0 |243931 | - | 102M| 0 |2048 |2478 |6863 |2478 |7505 |6199 | 33 | 0 | 1.273703e+03 | -- | Inf
158.60/158.66 c 159s| 1 | 0 |245013 | - | 100M| 0 |2013 |2478 |6863 |2478 |7454 |6223 | 33 | 0 | 1.274745e+03 | -- | Inf
159.50/159.57 c 160s| 1 | 0 |245343 | - | 99M| 0 |2011 |2478 |6863 |2478 |7471 |6240 | 33 | 0 | 1.275036e+03 | -- | Inf
160.80/160.87 c 161s| 1 | 0 |246358 | - | 98M| 0 |2039 |2478 |6863 |2478 |7485 |6254 | 33 | 0 | 1.277004e+03 | -- | Inf
162.00/162.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.00/162.01 c 162s| 1 | 0 |246703 | - | 98M| 0 |2020 |2478 |6863 |2478 |7513 |6282 | 33 | 0 | 1.279204e+03 | -- | Inf
162.89/162.96 c 163s| 1 | 0 |247164 | - | 96M| 0 |1973 |2478 |6863 |2478 |7519 |6288 | 33 | 0 | 1.279320e+03 | -- | Inf
163.69/163.71 c 164s| 1 | 0 |247694 | - | 95M| 0 |2012 |2478 |6863 |2478 |7530 |6299 | 33 | 0 | 1.279919e+03 | -- | Inf
164.90/164.95 c 165s| 1 | 0 |248533 | - | 94M| 0 |2030 |2478 |6863 |2478 |7461 |6316 | 33 | 0 | 1.281270e+03 | -- | Inf
165.39/165.47 c 165s| 1 | 0 |248625 | - | 93M| 0 |2033 |2478 |6863 |2478 |7465 |6320 | 33 | 0 | 1.281273e+03 | -- | Inf
166.50/166.58 c 167s| 1 | 0 |248640 | - | 93M| 0 |2032 |2478 |6863 |2478 |7468 |6323 | 33 | 0 | 1.281273e+03 | -- | Inf
167.70/167.70 c 168s| 1 | 0 |248671 | - | 91M| 0 |2032 |2478 |6863 |2478 |7470 |6325 | 33 | 0 | 1.281273e+03 | -- | Inf
168.80/168.82 c 169s| 1 | 0 |248746 | - | 91M| 0 |2018 |2478 |6863 |2478 |7471 |6326 | 33 | 0 | 1.281273e+03 | -- | Inf
169.99/170.03 c 170s| 1 | 0 |249174 | - | 89M| 0 |2024 |2478 |6863 |2478 |7474 |6329 | 33 | 0 | 1.281337e+03 | -- | Inf
172.80/172.86 c 173s| 1 | 2 |249174 | - | 89M| 0 |2024 |2478 |6863 |2478 |7474 |6329 | 33 | 14 | 1.281337e+03 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 5861
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +1.30462884691067e+03
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.40 (included in solving)
1797.04/1797.00 c reading : 0.04 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488764-1307765915.opb
1797.04/1797.00 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6659 initial, 6659 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488764-1307765915.opb
1797.04/1797.00 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6345 initial, 7570 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 3 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.25 2 183 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.02 0 0 0 0 0 190 0 0 0
1797.04/1797.00 c linear : 0.05 0 0 0 0 0 122 0 122 0
1797.04/1797.00 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 5314 0 4 0 3 54 0 0 10524
1797.04/1797.00 c setppc : 1515 143 135281 0 1 3 224631 365 254836 0 0 0
1797.04/1797.00 c linear : 0+ 143 129498 0 0 0 739 2 1203 82 0 0
1797.04/1797.00 c logicor : 4830+ 143 106351 0 1 1 205910 292 246349 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 410.26 0.00 0.00 410.26 0.00 0.00 0.00
1797.04/1797.00 c setppc : 4.56 0.02 4.46 0.00 0.00 0.00 0.08
1797.04/1797.00 c linear : 0.47 0.07 0.40 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 1.73 0.05 1.59 0.00 0.00 0.00 0.09
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 131657 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.03 0.03 0.00
1797.04/1797.00 c rootredcost : 0.03 0.03 0.00
1797.04/1797.00 c pseudoobj : 4.55 4.55 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.06 657 651 2140 25.7 244 8.9 -
1797.04/1797.00 c infeasible LP : 0.77 861 861 11215 43.5 44 4.8 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 6235 37.8 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 3.05 142 - - 7395 - (maximal pool size: 35683)
1797.04/1797.00 c redcost : 0.14 5456 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.05 143 0 0 2286 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 89.17 143 0 0 66096 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 4.95 20 0 0 10000 0
1797.04/1797.00 c cmir : 0.34 10 0 0 0 0
1797.04/1797.00 c flowcover : 0.34 10 0 0 0 0
1797.04/1797.00 c clique : 0.32 143 0 0 55 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.01 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.83 1 0 0 0 485
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 410.26 5314 3 54 0 0 10524
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 0.00 0 0
1797.04/1797.00 c crossover : 0.00 0 0
1797.04/1797.00 c guideddiving : 0.00 0 0
1797.04/1797.00 c pscostdiving : 67.13 59 0
1797.04/1797.00 c coefdiving : 80.95 75 0
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.02 1 0
1797.04/1797.00 c simplerounding : 0.00 0 0
1797.04/1797.00 c zirounding : 0.77 1000 0
1797.04/1797.00 c rounding : 0.51 996 0
1797.04/1797.00 c shifting : 1.31 330 0
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 23.17 15 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c fracdiving : 85.48 76 0
1797.04/1797.00 c veclendiving : 53.96 48 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 30.92 5 0
1797.04/1797.00 c rootsoldiving : 23.84 10 0
1797.04/1797.00 c linesearchdiving : 80.00 90 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.02 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.00 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.13 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 823.35 6014 3949861 656.78 4797.28
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 411.42 25459 1439313 56.53 3498.42
1797.04/1797.00 c strong branching : 407.88 5094 1628508 319.69 3992.58
1797.04/1797.00 c (at root node) : - 14 12438 888.43 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 5861
1797.04/1797.00 c nodes (total) : 5861
1797.04/1797.00 c nodes left : 4624
1797.04/1797.00 c max depth : 34
1797.04/1797.00 c max depth (total): 34
1797.04/1797.00 c backtracks : 1573 (26.8%)
1797.04/1797.00 c delayed cutoffs : 42
1797.04/1797.00 c repropagations : 584 (147361 domain reductions, 36 cutoffs)
1797.04/1797.00 c avg switch length: 7.50
1797.04/1797.00 c switching time : 2.43
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +1.30462884691067e+03
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +1.28133726431252e+03
1797.04/1797.00 c Root Iterations : 249174
1797.04/1797.08 c Time complete: 1797.13.
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-3488764-1307765915/watcher-3488764-1307765915 -o /tmp/evaluation-result-3488764-1307765915/solver-3488764-1307765915 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488764-1307765915.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 2/181 8522
/proc/meminfo: memFree=31271072/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=11972 CPUtime=0 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 2025 0 0 0 0 0 0 0 25 0 1 0 888189382 12259328 1979 33554432000 4194304 9016284 140736565361104 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8522/statm: 2993 1993 340 1178 0 1811 0
[startup+0.0474179 s]
/proc/loadavg: 2.06 2.01 2.00 2/181 8522
/proc/meminfo: memFree=31271072/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=20208 CPUtime=0.03 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 3852 0 0 0 3 0 0 0 25 0 1 0 888189382 20692992 3806 33554432000 4194304 9016284 140736565361104 18446744073709551615 7870589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 5052 3868 398 1178 0 3870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20208
[startup+0.100413 s]
/proc/loadavg: 2.06 2.01 2.00 2/181 8522
/proc/meminfo: memFree=31271072/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=30832 CPUtime=0.09 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 6705 0 0 0 8 1 0 0 25 0 1 0 888189382 31571968 6402 33554432000 4194304 9016284 140736565361104 18446744073709551615 5206456 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 7708 6402 480 1178 0 6526 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30832
[startup+0.300325 s]
/proc/loadavg: 2.06 2.01 2.00 2/181 8522
/proc/meminfo: memFree=31271072/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=35112 CPUtime=0.29 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 7841 0 0 0 28 1 0 0 25 0 1 0 888189382 35954688 7538 33554432000 4194304 9016284 140736565361104 18446744073709551615 5322247 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 8778 7538 520 1178 0 7596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35112
[startup+0.700301 s]
/proc/loadavg: 2.06 2.01 2.00 2/181 8522
/proc/meminfo: memFree=31271072/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=49976 CPUtime=0.69 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 11838 0 0 0 68 1 0 0 25 0 1 0 888189382 51175424 11314 33554432000 4194304 9016284 140736565361104 18446744073709551615 7081856 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 12494 11314 640 1178 0 11312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49976
[startup+1.50115 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 8523
/proc/meminfo: memFree=31227688/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=51768 CPUtime=1.49 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 12274 0 0 0 148 1 0 0 25 0 1 0 888189382 53010432 11734 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180732 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 12942 11734 662 1178 0 11760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51768
[startup+3.10082 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 8523
/proc/meminfo: memFree=31226444/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=50296 CPUtime=3.09 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 12493 0 0 0 307 2 0 0 25 0 1 0 888189382 51503104 11391 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 12574 11391 652 1178 0 11392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50296
[startup+6.30028 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 8523
/proc/meminfo: memFree=31332852/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=97192 CPUtime=6.29 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 24920 0 0 0 624 5 0 0 25 0 1 0 888189382 99524608 23009 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 24298 23009 706 1178 0 23116 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97192
[startup+12.7011 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 8713
/proc/meminfo: memFree=31011464/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=97192 CPUtime=12.7 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 25090 0 0 0 1263 7 0 0 25 0 1 0 888189382 99524608 23152 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180753 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 24298 23152 707 1178 0 23116 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 97192
[startup+25.5007 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 8714
/proc/meminfo: memFree=30969788/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=144188 CPUtime=25.49 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 39730 0 0 0 2536 13 0 0 25 0 1 0 888189382 147648512 34102 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 36047 34102 708 1178 0 34865 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144188
[startup+51.1011 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 8714
/proc/meminfo: memFree=30923968/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=193968 CPUtime=51.1 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 61289 0 0 0 5085 25 0 0 25 0 1 0 888189382 198623232 46396 33554432000 4194304 9016284 140736565361104 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 48492 46396 850 1178 0 47310 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 193968
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 8716
/proc/meminfo: memFree=30697848/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=232800 CPUtime=102.3 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 79739 0 0 0 10185 45 0 0 25 0 1 0 888189382 238387200 55599 33554432000 4194304 9016284 140736565361104 18446744073709551615 6950842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 58200 55599 1090 1178 0 57018 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232800
[startup+162.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 8717
/proc/meminfo: memFree=30485724/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251280 CPUtime=162.29 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 87550 0 0 0 16159 70 0 0 25 0 1 0 888189382 257310720 60219 33554432000 4194304 9016284 140736565361104 18446744073709551615 7870493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62820 60219 1017 1178 0 61638 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 251280
[startup+222.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 8719
/proc/meminfo: memFree=30457500/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=222.3 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88164 0 0 0 22130 100 0 0 25 0 1 0 888189382 257974272 60620 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60620 807 1178 0 61800 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 251928
[startup+282.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/182 8721
/proc/meminfo: memFree=30499632/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=282.3 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88179 0 0 0 28102 128 0 0 25 0 1 0 888189382 257974272 60628 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60628 801 1178 0 61800 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 251928
[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 8722
/proc/meminfo: memFree=30478372/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=342.3 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88333 0 0 0 34077 153 0 0 25 0 1 0 888189382 257974272 60692 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60692 773 1178 0 61800 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 251928
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 8724
/proc/meminfo: memFree=30447080/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=402.3 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88395 0 0 0 40048 182 0 0 25 0 1 0 888189382 257974272 60692 33554432000 4194304 9016284 140736565361104 18446744073709551615 7082012 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60692 711 1178 0 61800 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 251928
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8725
/proc/meminfo: memFree=30441692/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=462.3 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88395 0 0 0 46018 212 0 0 25 0 1 0 888189382 257974272 60692 33554432000 4194304 9016284 140736565361104 18446744073709551615 7158087 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60692 711 1178 0 61800 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 251928
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 8727
/proc/meminfo: memFree=30391436/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=522.31 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88396 0 0 0 51990 241 0 0 25 0 1 0 888189382 257974272 60693 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60693 711 1178 0 61800 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 251928
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8729
/proc/meminfo: memFree=30370320/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=251928 CPUtime=582.31 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 88396 0 0 0 57958 273 0 0 25 0 1 0 888189382 257974272 60693 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180544 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 62982 60693 711 1178 0 61800 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 251928
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30423904/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=255332 CPUtime=1122.32 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 89108 0 0 0 111685 547 0 0 25 0 1 0 888189382 261459968 61405 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 63833 61405 711 1178 0 62651 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 255332
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 8745
/proc/meminfo: memFree=30402648/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=255556 CPUtime=1182.33 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 89260 0 0 0 117655 578 0 0 25 0 1 0 888189382 261689344 61557 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 63889 61557 711 1178 0 62707 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 255556
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 8746
/proc/meminfo: memFree=30400252/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=257364 CPUtime=1242.32 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 89763 0 0 0 123624 608 0 0 25 0 1 0 888189382 263540736 62060 33554432000 4194304 9016284 140736565361104 18446744073709551615 7082051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 64341 62060 711 1178 0 63159 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 257364
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 8748
/proc/meminfo: memFree=30400324/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=257364 CPUtime=1302.33 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 89764 0 0 0 129592 641 0 0 25 0 1 0 888189382 263540736 62061 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 64341 62061 711 1178 0 63159 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 257364
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 8749
/proc/meminfo: memFree=30389360/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=257364 CPUtime=1362.33 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 89767 0 0 0 135560 673 0 0 25 0 1 0 888189382 263540736 62064 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 64341 62064 711 1178 0 63159 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 257364
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 8751
/proc/meminfo: memFree=30378764/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=258372 CPUtime=1422.34 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 90036 0 0 0 141530 704 0 0 25 0 1 0 888189382 264572928 62333 33554432000 4194304 9016284 140736565361104 18446744073709551615 7080792 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 64593 62333 711 1178 0 63411 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 258372
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 8753
/proc/meminfo: memFree=30377836/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=259304 CPUtime=1482.33 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 90238 0 0 0 147499 734 0 0 25 0 1 0 888189382 265527296 62535 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 64826 62535 711 1178 0 63644 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 259304
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8754
/proc/meminfo: memFree=30377308/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=260328 CPUtime=1542.33 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 90382 0 0 0 153471 762 0 0 25 0 1 0 888189382 266575872 62679 33554432000 4194304 9016284 140736565361104 18446744073709551615 7204769 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 65082 62679 711 1178 0 63900 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 260328
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 8756
/proc/meminfo: memFree=30376156/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=261360 CPUtime=1602.34 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 90644 0 0 0 159438 796 0 0 25 0 1 0 888189382 267632640 62941 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 65340 62941 711 1178 0 64158 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 261360
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/182 8757
/proc/meminfo: memFree=30434632/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=263048 CPUtime=1662.34 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91196 0 0 0 165406 828 0 0 25 0 1 0 888189382 269361152 63493 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180996 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 65762 63493 711 1178 0 64580 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 263048
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/182 8759
/proc/meminfo: memFree=30411764/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=263048 CPUtime=1722.34 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91199 0 0 0 171377 857 0 0 25 0 1 0 888189382 269361152 63496 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 65762 63496 711 1178 0 64580 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 263048
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30405888/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1782.34 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91475 0 0 0 177342 892 0 0 25 0 1 0 888189382 270528512 63772 33554432000 4194304 9016284 140736565361104 18446744073709551615 7180506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63772 711 1178 0 64865 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 264188
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403776/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1785.55 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91475 0 0 0 177661 894 0 0 25 0 1 0 888189382 270528512 63772 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63772 711 1178 0 64865 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 264188
[startup+1791.91 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403772/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1791.95 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91476 0 0 0 178297 898 0 0 25 0 1 0 888189382 270528512 63773 33554432000 4194304 9016284 140736565361104 18446744073709551615 4887568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63773 711 1178 0 64865 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 264188
[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403772/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1795.15 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91476 0 0 0 178615 900 0 0 25 0 1 0 888189382 270528512 63773 33554432000 4194304 9016284 140736565361104 18446744073709551615 6469479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63773 711 1178 0 64865 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 264188
[startup+1795.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403772/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1795.94 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91476 0 0 0 178694 900 0 0 25 0 1 0 888189382 270528512 63773 33554432000 4194304 9016284 140736565361104 18446744073709551615 7158223 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63773 711 1178 0 64865 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 264188
[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403648/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1796.74 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91476 0 0 0 178774 900 0 0 25 0 1 0 888189382 270528512 63773 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63773 711 1178 0 64865 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 264188
[startup+1796.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403648/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1796.94 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91476 0 0 0 178794 900 0 0 25 0 1 0 888189382 270528512 63773 33554432000 4194304 9016284 140736565361104 18446744073709551615 7081800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63773 711 1178 0 64865 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 264188
[startup+1797 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 8761
/proc/meminfo: memFree=30403648/32951124 swapFree=67054536/67111528
[pid=8522] ppid=8520 vsize=264188 CPUtime=1797.04 cores=0,2,4,6
/proc/8522/stat : 8522 (scip-2.0.1.4b_2) R 8520 8522 8117 0 -1 4202496 91476 0 0 0 178804 900 0 0 25 0 1 0 888189382 270528512 63773 33554432000 4194304 9016284 140736565361104 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8522/statm: 66047 63773 711 1178 0 64865 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 264188
Child status: 0
Real time (s): 1797.09
CPU time (s): 1797.14
CPU user time (s): 1788.12
CPU system time (s): 9.01863
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 264188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.12
system time used= 9.01863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 21615
runsolver used 3.20051 second user time and 6.42102 second system time
The end