0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450844-1307083690.opb>
0.00/0.05 c original problem has 2666 variables (2666 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.06 c presolving:
0.10/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.10/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.10/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.10/0.17 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.10/0.18 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.10/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.27 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.28 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.34 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.34 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.41 c (0.4s) probing: 548/2666 (20.6%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.41 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 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.42 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.43 c (0.4s) probing: 558/2666 (20.9%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.43 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (13 rounds):
0.39/0.43 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.43 c 48388 implications, 0 cliques
0.39/0.43 c presolved problem has 2478 variables (2478 bin, 0 int, 0 impl, 0 cont) and 6345 constraints
0.39/0.43 c 1515 constraints of type <setppc>
0.39/0.43 c 4830 constraints of type <logicor>
0.39/0.43 c transformed objective value is always integral (scale: 1)
0.39/0.43 c Presolving Time: 0.37
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 2.0.1.5
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1800
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 13950
0.39/0.43 c
0.39/0.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.43 c # [type: int, range: [1,2], default: 1]
0.39/0.43 c timing/clocktype = 2
0.39/0.43 c
0.39/0.43 c # belongs reading time to solving time?
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c timing/reading = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/indicator/addCouplingCons = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 c
2.69/2.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.79 c 2.8s| 1 | 0 | 9955 | - | 14M| 0 |1637 |2478 |6378 |2478 |6343 | 0 | 33 | 0 | 7.986569e+02 | -- | Inf
6.49/6.59 c 6.6s| 1 | 0 | 22227 | - | 20M| 0 |2009 |2478 |6863 |2478 |7426 |1083 | 33 | 0 | 8.251778e+02 | -- | Inf
7.09/7.19 c 7.2s| 1 | 0 | 23469 | - | 24M| 0 |2160 |2478 |6863 |2478 |7458 |1115 | 33 | 0 | 8.312097e+02 | -- | Inf
8.09/8.14 c 8.1s| 1 | 0 | 24367 | - | 30M| 0 |2036 |2478 |6863 |2478 |7489 |1146 | 33 | 0 | 8.349082e+02 | -- | Inf
8.69/8.77 c 8.8s| 1 | 0 | 25273 | - | 37M| 0 |1734 |2478 |6863 |2478 |7509 |1166 | 33 | 0 | 8.383326e+02 | -- | Inf
9.59/9.67 c 9.7s| 1 | 0 | 27171 | - | 42M| 0 |2039 |2478 |6863 |2478 |7539 |1196 | 33 | 0 | 8.413608e+02 | -- | Inf
11.90/11.93 c 11.9s| 1 | 0 | 29702 | - | 43M| 0 |1673 |2478 |6863 |2478 |7609 |1266 | 33 | 0 | 8.730060e+02 | -- | Inf
12.29/12.38 c 12.4s| 1 | 0 | 30383 | - | 47M| 0 |1683 |2478 |6863 |2478 |7653 |1310 | 33 | 0 | 8.767926e+02 | -- | Inf
12.89/12.91 c 12.9s| 1 | 0 | 31243 | - | 51M| 0 |1923 |2478 |6863 |2478 |7690 |1347 | 33 | 0 | 8.786951e+02 | -- | Inf
13.69/13.76 c 13.8s| 1 | 0 | 32579 | - | 56M| 0 |1944 |2478 |6863 |2478 |7731 |1388 | 33 | 0 | 8.813315e+02 | -- | Inf
14.30/14.38 c 14.4s| 1 | 0 | 33592 | - | 59M| 0 |1731 |2478 |6863 |2478 |7763 |1420 | 33 | 0 | 8.835267e+02 | -- | Inf
15.41/15.42 c 15.4s| 1 | 0 | 35552 | - | 63M| 0 |1950 |2478 |6863 |2478 |7806 |1463 | 33 | 0 | 8.861699e+02 | -- | Inf
17.99/18.08 c 18.1s| 1 | 0 | 38313 | - | 64M| 0 |1703 |2478 |6863 |2478 |6830 |1533 | 33 | 0 | 9.081645e+02 | -- | Inf
18.89/18.93 c 18.9s| 1 | 0 | 39653 | - | 68M| 0 |1897 |2478 |6863 |2478 |6865 |1568 | 33 | 0 | 9.095045e+02 | -- | Inf
19.49/19.53 c 19.5s| 1 | 0 | 40652 | - | 70M| 0 |1921 |2478 |6863 |2478 |6902 |1605 | 33 | 0 | 9.106683e+02 | -- | Inf
20.69/20.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.69/20.73 c 20.7s| 1 | 0 | 42573 | - | 72M| 0 |2037 |2478 |6863 |2478 |6944 |1647 | 33 | 0 | 9.128500e+02 | -- | Inf
21.89/22.00 c 22.0s| 1 | 0 | 44497 | - | 74M| 0 |1914 |2478 |6863 |2478 |6981 |1684 | 33 | 0 | 9.154977e+02 | -- | Inf
23.79/23.80 c 23.8s| 1 | 0 | 46519 | - | 76M| 0 |1862 |2478 |6863 |2478 |7053 |1756 | 33 | 0 | 9.371610e+02 | -- | Inf
25.19/25.24 c 25.2s| 1 | 0 | 48106 | - | 77M| 0 |1870 |2478 |6863 |2478 |6958 |1809 | 33 | 0 | 9.428335e+02 | -- | Inf
25.89/25.97 c 26.0s| 1 | 0 | 48891 | - | 82M| 0 |1905 |2478 |6863 |2478 |6986 |1837 | 33 | 0 | 9.450937e+02 | -- | Inf
26.89/26.91 c 26.9s| 1 | 0 | 50448 | - | 85M| 0 |1929 |2478 |6863 |2478 |7021 |1872 | 33 | 0 | 9.476950e+02 | -- | Inf
27.89/27.98 c 28.0s| 1 | 0 | 52367 | - | 86M| 0 |1787 |2478 |6863 |2478 |7084 |1935 | 33 | 0 | 9.520695e+02 | -- | Inf
29.10/29.17 c 29.2s| 1 | 0 | 54873 | - | 88M| 0 |1767 |2478 |6863 |2478 |7140 |1991 | 33 | 0 | 9.556642e+02 | -- | Inf
30.19/30.23 c 30.2s| 1 | 0 | 56762 | - | 88M| 0 |1747 |2478 |6863 |2478 |7203 |2054 | 33 | 0 | 9.678695e+02 | -- | Inf
30.69/30.79 c 30.8s| 1 | 0 | 58002 | - | 90M| 0 |1881 |2478 |6863 |2478 |7078 |2111 | 33 | 0 | 9.719678e+02 | -- | Inf
31.29/31.37 c 31.4s| 1 | 0 | 59234 | - | 91M| 0 |1849 |2478 |6863 |2478 |7111 |2144 | 33 | 0 | 9.735447e+02 | -- | Inf
32.19/32.20 c 32.2s| 1 | 0 | 60951 | - | 95M| 0 |1887 |2478 |6863 |2478 |7154 |2187 | 33 | 0 | 9.761205e+02 | -- | Inf
33.49/33.59 c 33.6s| 1 | 0 | 63295 | - | 95M| 0 |1717 |2478 |6863 |2478 |7241 |2274 | 33 | 0 | 9.981512e+02 | -- | Inf
33.90/33.97 c 34.0s| 1 | 0 | 63727 | - | 98M| 0 |1707 |2478 |6863 |2478 |7292 |2325 | 33 | 0 | 1.000591e+03 | -- | Inf
34.49/34.55 c 34.5s| 1 | 0 | 64805 | - | 100M| 0 |1778 |2478 |6863 |2478 |7325 |2358 | 33 | 0 | 1.001393e+03 | -- | Inf
35.31/35.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.31/35.32 c 35.3s| 1 | 0 | 66747 | - | 102M| 0 |1749 |2478 |6863 |2478 |7166 |2391 | 33 | 0 | 1.002583e+03 | -- | Inf
35.79/35.87 c 35.9s| 1 | 0 | 68234 | - | 105M| 0 |1864 |2478 |6863 |2478 |7202 |2427 | 33 | 0 | 1.003778e+03 | -- | Inf
36.59/36.69 c 36.7s| 1 | 0 | 70092 | - | 106M| 0 |1859 |2478 |6863 |2478 |7262 |2487 | 33 | 0 | 1.005755e+03 | -- | Inf
37.51/37.56 c 37.6s| 1 | 0 | 71723 | - | 107M| 0 |1853 |2478 |6863 |2478 |7316 |2541 | 33 | 0 | 1.008839e+03 | -- | Inf
38.61/38.67 c 38.7s| 1 | 0 | 73294 | - | 108M| 0 |1868 |2478 |6863 |2478 |7390 |2615 | 33 | 0 | 1.015083e+03 | -- | Inf
39.39/39.44 c 39.4s| 1 | 0 | 74904 | - | 110M| 0 |1898 |2478 |6863 |2478 |7433 |2658 | 33 | 0 | 1.018707e+03 | -- | Inf
40.39/40.48 c 40.5s| 1 | 0 | 77095 | - | 112M| 0 |1964 |2478 |6863 |2478 |7258 |2700 | 33 | 0 | 1.020859e+03 | -- | Inf
41.59/41.61 c 41.6s| 1 | 0 | 78813 | - | 113M| 0 |2025 |2478 |6863 |2478 |7305 |2747 | 33 | 0 | 1.025017e+03 | -- | Inf
42.90/42.96 c 43.0s| 1 | 0 | 81795 | - | 114M| 0 |2084 |2478 |6863 |2478 |7344 |2786 | 33 | 0 | 1.026129e+03 | -- | Inf
44.79/44.87 c 44.9s| 1 | 0 | 84798 | - | 115M| 0 |1995 |2478 |6863 |2478 |7436 |2878 | 33 | 0 | 1.043869e+03 | -- | Inf
45.89/45.95 c 46.0s| 1 | 0 | 87723 | - | 116M| 0 |2018 |2478 |6863 |2478 |7479 |2921 | 33 | 0 | 1.045884e+03 | -- | Inf
46.89/46.92 c 46.9s| 1 | 0 | 89296 | - | 117M| 0 |2055 |2478 |6863 |2478 |7536 |2978 | 33 | 0 | 1.047129e+03 | -- | Inf
47.89/47.93 c 47.9s| 1 | 0 | 91047 | - | 118M| 0 |2044 |2478 |6863 |2478 |7344 |3031 | 33 | 0 | 1.048406e+03 | -- | Inf
49.29/49.36 c 49.4s| 1 | 0 | 94435 | - | 119M| 0 |2011 |2478 |6863 |2478 |7400 |3087 | 33 | 0 | 1.050850e+03 | -- | Inf
50.99/51.02 c 51.0s| 1 | 0 | 98067 | - | 120M| 0 |1932 |2478 |6863 |2478 |7482 |3169 | 33 | 0 | 1.067234e+03 | -- | Inf
51.89/51.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.89/51.99 c 52.0s| 1 | 0 | 99552 | - | 120M| 0 |1893 |2478 |6863 |2478 |7554 |3241 | 33 | 0 | 1.072094e+03 | -- | Inf
53.20/53.26 c 53.3s| 1 | 0 |102909 | - | 121M| 0 |1933 |2478 |6863 |2478 |7608 |3295 | 33 | 0 | 1.073639e+03 | -- | Inf
54.29/54.36 c 54.4s| 1 | 0 |105688 | - | 123M| 0 |2017 |2478 |6863 |2478 |7657 |3344 | 33 | 0 | 1.075716e+03 | -- | Inf
55.79/55.85 c 55.9s| 1 | 0 |108599 | - | 124M| 0 |2010 |2478 |6863 |2478 |7476 |3400 | 33 | 0 | 1.078809e+03 | -- | Inf
57.21/57.21 c 57.2s| 1 | 0 |112334 | - | 126M| 0 |2056 |2478 |6863 |2478 |7519 |3443 | 33 | 0 | 1.080510e+03 | -- | Inf
58.80/58.85 c 58.8s| 1 | 0 |115569 | - | 127M| 0 |2077 |2478 |6863 |2478 |7574 |3498 | 33 | 0 | 1.083134e+03 | -- | Inf
59.70/59.70 c 59.7s| 1 | 0 |117624 | - | 128M| 0 |1995 |2478 |6863 |2478 |7624 |3548 | 33 | 0 | 1.084113e+03 | -- | Inf
60.39/60.51 c 60.5s| 1 | 0 |119243 | - | 130M| 0 |2019 |2478 |6863 |2478 |7667 |3591 | 33 | 0 | 1.086376e+03 | -- | Inf
62.19/62.21 c 62.2s| 1 | 0 |122586 | - | 131M| 0 |1999 |2478 |6863 |2478 |7739 |3663 | 33 | 0 | 1.102082e+03 | -- | Inf
63.40/63.44 c 63.4s| 1 | 0 |124948 | - | 131M| 0 |1995 |2478 |6863 |2478 |7464 |3720 | 33 | 0 | 1.104261e+03 | -- | Inf
65.09/65.16 c 65.2s| 1 | 0 |128984 | - | 132M| 0 |1930 |2478 |6863 |2478 |7532 |3788 | 33 | 0 | 1.120096e+03 | -- | Inf
66.29/66.37 c 66.4s| 1 | 0 |131133 | - | 132M| 0 |1892 |2478 |6863 |2478 |7606 |3862 | 33 | 0 | 1.123681e+03 | -- | Inf
67.69/67.74 c 67.7s| 1 | 0 |134153 | - | 133M| 0 |1992 |2478 |6863 |2478 |7679 |3935 | 33 | 0 | 1.136257e+03 | -- | Inf
69.10/69.16 c 69.2s| 1 | 0 |136594 | - | 134M| 0 |1967 |2478 |6863 |2478 |7755 |4011 | 33 | 0 | 1.145293e+03 | -- | Inf
69.89/69.91 c 69.9s| 1 | 0 |138024 | - | 135M| 0 |1993 |2478 |6863 |2478 |7795 |4051 | 33 | 0 | 1.148187e+03 | -- | Inf
70.89/70.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.89/70.91 c 70.9s| 1 | 0 |140257 | - | 135M| 0 |2032 |2478 |6863 |2478 |7560 |4090 | 33 | 0 | 1.149605e+03 | -- | Inf
71.61/71.69 c 71.7s| 1 | 0 |141190 | - | 137M| 0 |2020 |2478 |6863 |2478 |7591 |4121 | 33 | 0 | 1.149895e+03 | -- | Inf
72.89/72.96 c 73.0s| 1 | 0 |143253 | - | 137M| 0 |1971 |2478 |6863 |2478 |7642 |4172 | 33 | 0 | 1.158911e+03 | -- | Inf
73.71/73.80 c 73.8s| 1 | 0 |144656 | - | 138M| 0 |2016 |2478 |6863 |2478 |7706 |4236 | 33 | 0 | 1.161032e+03 | -- | Inf
74.49/74.54 c 74.5s| 1 | 0 |145739 | - | 139M| 0 |1982 |2478 |6863 |2478 |7769 |4299 | 33 | 0 | 1.162832e+03 | -- | Inf
75.09/75.14 c 75.1s| 1 | 0 |146792 | - | 140M| 0 |2001 |2478 |6863 |2478 |7810 |4340 | 33 | 0 | 1.163491e+03 | -- | Inf
76.39/76.44 c 76.4s| 1 | 0 |149347 | - | 141M| 0 |1963 |2478 |6863 |2478 |7530 |4388 | 33 | 0 | 1.166716e+03 | -- | Inf
77.89/77.94 c 77.9s| 1 | 0 |152068 | - | 142M| 0 |1920 |2478 |6863 |2478 |7585 |4443 | 33 | 0 | 1.170250e+03 | -- | Inf
78.49/78.58 c 78.6s| 1 | 0 |153156 | - | 142M| 0 |1973 |2478 |6863 |2478 |7642 |4500 | 33 | 0 | 1.171334e+03 | -- | Inf
79.31/79.38 c 79.4s| 1 | 0 |155171 | - | 144M| 0 |2029 |2478 |6863 |2478 |7689 |4547 | 33 | 0 | 1.172217e+03 | -- | Inf
81.10/81.13 c 81.1s| 1 | 0 |157824 | - | 144M| 0 |1954 |2478 |6863 |2478 |7751 |4609 | 33 | 0 | 1.181227e+03 | -- | Inf
81.99/82.06 c 82.1s| 1 | 0 |159065 | - | 145M| 0 |1938 |2478 |6863 |2478 |7794 |4652 | 33 | 0 | 1.182675e+03 | -- | Inf
82.70/82.72 c 82.7s| 1 | 0 |160253 | - | 146M| 0 |1960 |2478 |6863 |2478 |7554 |4688 | 33 | 0 | 1.184477e+03 | -- | Inf
83.39/83.47 c 83.5s| 1 | 0 |161408 | - | 147M| 0 |2001 |2478 |6863 |2478 |7592 |4726 | 33 | 0 | 1.184652e+03 | -- | Inf
85.69/85.71 c 85.7s| 1 | 0 |166762 | - | 148M| 0 |2000 |2478 |6863 |2478 |7640 |4774 | 33 | 0 | 1.193915e+03 | -- | Inf
86.79/86.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.79/86.83 c 86.8s| 1 | 0 |169651 | - | 148M| 0 |2011 |2478 |6863 |2478 |7683 |4817 | 33 | 0 | 1.196117e+03 | -- | Inf
88.49/88.58 c 88.6s| 1 | 0 |172280 | - | 149M| 0 |2014 |2478 |6863 |2478 |7749 |4883 | 33 | 0 | 1.203950e+03 | -- | Inf
89.39/89.44 c 89.4s| 1 | 0 |174982 | - | 150M| 0 |2068 |2478 |6863 |2478 |7779 |4913 | 33 | 0 | 1.205632e+03 | -- | Inf
90.69/90.71 c 90.7s| 1 | 0 |177363 | - | 151M| 0 |2037 |2478 |6863 |2478 |7561 |4944 | 33 | 0 | 1.206485e+03 | -- | Inf
91.99/92.01 c 92.0s| 1 | 0 |179881 | - | 152M| 0 |2040 |2478 |6863 |2478 |7593 |4976 | 33 | 0 | 1.208497e+03 | -- | Inf
93.39/93.41 c 93.4s| 1 | 0 |182104 | - | 152M| 0 |1931 |2478 |6863 |2478 |7646 |5029 | 33 | 0 | 1.214938e+03 | -- | Inf
93.89/93.98 c 94.0s| 1 | 0 |182733 | - | 153M| 0 |1935 |2478 |6863 |2478 |7688 |5071 | 33 | 0 | 1.216664e+03 | -- | Inf
94.40/94.47 c 94.5s| 1 | 0 |183200 | - | 155M| 0 |1987 |2478 |6863 |2478 |7710 |5093 | 33 | 0 | 1.217494e+03 | -- | Inf
95.00/95.06 c 95.1s| 1 | 0 |183838 | - | 156M| 0 |1977 |2478 |6863 |2478 |7734 |5117 | 33 | 0 | 1.218054e+03 | -- | Inf
95.70/95.76 c 95.8s| 1 | 0 |184465 | - | 158M| 0 |1991 |2478 |6863 |2478 |7497 |5146 | 33 | 0 | 1.218277e+03 | -- | Inf
96.91/96.93 c 96.9s| 1 | 0 |186331 | - | 158M| 0 |2019 |2478 |6863 |2478 |7547 |5196 | 33 | 0 | 1.222824e+03 | -- | Inf
98.09/98.16 c 98.2s| 1 | 0 |188824 | - | 159M| 0 |2012 |2478 |6863 |2478 |7570 |5219 | 33 | 0 | 1.226395e+03 | -- | Inf
98.70/98.78 c 98.8s| 1 | 0 |190094 | - | 160M| 0 |2002 |2478 |6863 |2478 |7598 |5247 | 33 | 0 | 1.226862e+03 | -- | Inf
99.89/99.97 c 100s| 1 | 0 |191927 | - | 162M| 0 |1979 |2478 |6863 |2478 |7636 |5285 | 33 | 0 | 1.229289e+03 | -- | Inf
100.50/100.55 c 101s| 1 | 0 |192984 | - | 163M| 0 |2064 |2478 |6863 |2478 |7668 |5317 | 33 | 0 | 1.230119e+03 | -- | Inf
102.09/102.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.09/102.11 c 102s| 1 | 0 |195353 | - | 164M| 0 |2046 |2478 |6863 |2478 |7479 |5355 | 33 | 0 | 1.234271e+03 | -- | Inf
103.09/103.18 c 103s| 1 | 0 |196344 | - | 164M| 0 |2096 |2478 |6863 |2478 |7521 |5397 | 33 | 0 | 1.236751e+03 | -- | Inf
104.30/104.35 c 104s| 1 | 0 |196655 | - | 164M| 0 |2023 |2478 |6863 |2478 |7563 |5439 | 33 | 0 | 1.238344e+03 | -- | Inf
105.39/105.47 c 105s| 1 | 0 |198170 | - | 165M| 0 |2057 |2478 |6863 |2478 |7597 |5473 | 33 | 0 | 1.240708e+03 | -- | Inf
106.19/106.27 c 106s| 1 | 0 |198911 | - | 165M| 0 |2094 |2478 |6863 |2478 |7621 |5497 | 33 | 0 | 1.241083e+03 | -- | Inf
106.99/107.08 c 107s| 1 | 0 |199691 | - | 166M| 0 |2092 |2478 |6863 |2478 |7641 |5517 | 33 | 0 | 1.241454e+03 | -- | Inf
108.09/108.15 c 108s| 1 | 0 |200651 | - | 167M| 0 |2032 |2478 |6863 |2478 |7486 |5538 | 33 | 0 | 1.242489e+03 | -- | Inf
109.29/109.37 c 109s| 1 | 0 |201821 | - | 167M| 0 |1999 |2478 |6863 |2478 |7517 |5569 | 33 | 0 | 1.244669e+03 | -- | Inf
110.01/110.08 c 110s| 1 | 0 |203745 | - | 167M| 0 |2051 |2478 |6863 |2478 |7541 |5593 | 33 | 0 | 1.245811e+03 | -- | Inf
110.99/111.10 c 111s| 1 | 0 |205756 | - | 168M| 0 |2019 |2478 |6863 |2478 |7564 |5616 | 33 | 0 | 1.246225e+03 | -- | Inf
112.39/112.44 c 112s| 1 | 0 |208247 | - | 168M| 0 |2018 |2478 |6863 |2478 |7601 |5653 | 33 | 0 | 1.248938e+03 | -- | Inf
113.80/113.80 c 114s| 1 | 0 |210621 | - | 169M| 0 |2042 |2478 |6863 |2478 |7620 |5672 | 33 | 0 | 1.250743e+03 | -- | Inf
114.90/114.90 c 115s| 1 | 0 |211519 | - | 165M| 0 |2082 |2478 |6863 |2478 |7434 |5692 | 33 | 0 | 1.252145e+03 | -- | Inf
115.99/116.06 c 116s| 1 | 0 |213273 | - | 162M| 0 |1987 |2478 |6863 |2478 |7459 |5717 | 33 | 0 | 1.254079e+03 | -- | Inf
116.79/116.82 c 117s| 1 | 0 |214407 | - | 158M| 0 |2035 |2478 |6863 |2478 |7480 |5738 | 33 | 0 | 1.255329e+03 | -- | Inf
117.39/117.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.39/117.40 c 117s| 1 | 0 |215280 | - | 151M| 0 |2073 |2478 |6863 |2478 |7510 |5768 | 33 | 0 | 1.256059e+03 | -- | Inf
118.20/118.21 c 118s| 1 | 0 |216791 | - | 147M| 0 |2056 |2478 |6863 |2478 |7528 |5786 | 33 | 0 | 1.256618e+03 | -- | Inf
118.91/118.97 c 119s| 1 | 0 |217890 | - | 147M| 0 |2096 |2478 |6863 |2478 |7545 |5803 | 33 | 0 | 1.257285e+03 | -- | Inf
120.09/120.15 c 120s| 1 | 0 |219474 | - | 144M| 0 |2090 |2478 |6863 |2478 |7423 |5819 | 33 | 0 | 1.258162e+03 | -- | Inf
121.11/121.19 c 121s| 1 | 0 |221210 | - | 141M| 0 |2086 |2478 |6863 |2478 |7442 |5838 | 33 | 0 | 1.258879e+03 | -- | Inf
122.60/122.60 c 123s| 1 | 0 |223015 | - | 137M| 0 |2078 |2478 |6863 |2478 |7471 |5867 | 33 | 0 | 1.260692e+03 | -- | Inf
123.21/123.26 c 123s| 1 | 0 |224061 | - | 135M| 0 |2112 |2478 |6863 |2478 |7488 |5884 | 33 | 0 | 1.261035e+03 | -- | Inf
124.69/124.77 c 125s| 1 | 0 |225707 | - | 132M| 0 |2125 |2478 |6863 |2478 |7511 |5907 | 33 | 0 | 1.262088e+03 | -- | Inf
125.51/125.53 c 126s| 1 | 0 |227018 | - | 130M| 0 |2131 |2478 |6863 |2478 |7527 |5923 | 33 | 0 | 1.262429e+03 | -- | Inf
127.20/127.21 c 127s| 1 | 0 |228122 | - | 127M| 0 |2077 |2478 |6863 |2478 |7435 |5932 | 33 | 0 | 1.263060e+03 | -- | Inf
127.80/127.81 c 128s| 1 | 0 |228438 | - | 126M| 0 |2103 |2478 |6863 |2478 |7445 |5942 | 33 | 0 | 1.263304e+03 | -- | Inf
128.49/128.54 c 129s| 1 | 0 |228637 | - | 125M| 0 |2115 |2478 |6863 |2478 |7457 |5954 | 33 | 0 | 1.263321e+03 | -- | Inf
129.19/129.22 c 129s| 1 | 0 |229070 | - | 124M| 0 |2124 |2478 |6863 |2478 |7472 |5969 | 33 | 0 | 1.263371e+03 | -- | Inf
130.80/130.80 c 131s| 1 | 0 |229475 | - | 122M| 0 |2097 |2478 |6863 |2478 |7479 |5976 | 33 | 0 | 1.263480e+03 | -- | Inf
131.60/131.64 c 132s| 1 | 0 |230251 | - | 121M| 0 |2119 |2478 |6863 |2478 |7494 |5991 | 33 | 0 | 1.263604e+03 | -- | Inf
132.99/133.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.99/133.03 c 133s| 1 | 0 |231674 | - | 118M| 0 |2079 |2478 |6863 |2478 |7403 |6004 | 33 | 0 | 1.264321e+03 | -- | Inf
134.31/134.38 c 134s| 1 | 0 |232954 | - | 114M| 0 |2124 |2478 |6863 |2478 |7418 |6019 | 33 | 0 | 1.265106e+03 | -- | Inf
135.69/135.74 c 136s| 1 | 0 |234131 | - | 114M| 0 |2029 |2478 |6863 |2478 |7433 |6034 | 33 | 0 | 1.265823e+03 | -- | Inf
137.39/137.43 c 137s| 1 | 0 |235490 | - | 113M| 0 |2021 |2478 |6863 |2478 |7443 |6044 | 33 | 0 | 1.266413e+03 | -- | Inf
137.99/138.08 c 138s| 1 | 0 |236487 | - | 113M| 0 |2059 |2478 |6863 |2478 |7460 |6061 | 33 | 0 | 1.267684e+03 | -- | Inf
139.19/139.28 c 139s| 1 | 0 |237314 | - | 111M| 0 |2078 |2478 |6863 |2478 |7475 |6076 | 33 | 0 | 1.267901e+03 | -- | Inf
139.70/139.77 c 140s| 1 | 0 |237933 | - | 110M| 0 |2072 |2478 |6863 |2478 |7398 |6092 | 33 | 0 | 1.267997e+03 | -- | Inf
140.99/141.06 c 141s| 1 | 0 |240103 | - | 108M| 0 |2041 |2478 |6863 |2478 |7418 |6112 | 33 | 0 | 1.269916e+03 | -- | Inf
142.59/142.63 c 143s| 1 | 0 |242170 | - | 107M| 0 |2028 |2478 |6863 |2478 |7441 |6135 | 33 | 0 | 1.271371e+03 | -- | Inf
143.79/143.81 c 144s| 1 | 0 |243402 | - | 105M| 0 |2053 |2478 |6863 |2478 |7477 |6171 | 33 | 0 | 1.272903e+03 | -- | Inf
144.50/144.50 c 144s| 1 | 0 |243815 | - | 103M| 0 |2034 |2478 |6863 |2478 |7493 |6187 | 33 | 0 | 1.273678e+03 | -- | Inf
145.00/145.07 c 145s| 1 | 0 |243931 | - | 102M| 0 |2048 |2478 |6863 |2478 |7505 |6199 | 33 | 0 | 1.273703e+03 | -- | Inf
146.09/146.16 c 146s| 1 | 0 |245013 | - | 100M| 0 |2013 |2478 |6863 |2478 |7454 |6223 | 33 | 0 | 1.274745e+03 | -- | Inf
146.90/146.98 c 147s| 1 | 0 |245343 | - | 99M| 0 |2011 |2478 |6863 |2478 |7471 |6240 | 33 | 0 | 1.275036e+03 | -- | Inf
148.19/148.20 c 148s| 1 | 0 |246358 | - | 98M| 0 |2039 |2478 |6863 |2478 |7485 |6254 | 33 | 0 | 1.277004e+03 | -- | Inf
149.20/149.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.20/149.24 c 149s| 1 | 0 |246703 | - | 98M| 0 |2020 |2478 |6863 |2478 |7513 |6282 | 33 | 0 | 1.279204e+03 | -- | Inf
150.10/150.11 c 150s| 1 | 0 |247164 | - | 96M| 0 |1973 |2478 |6863 |2478 |7519 |6288 | 33 | 0 | 1.279320e+03 | -- | Inf
150.71/150.79 c 151s| 1 | 0 |247694 | - | 95M| 0 |2012 |2478 |6863 |2478 |7530 |6299 | 33 | 0 | 1.279919e+03 | -- | Inf
151.91/151.93 c 152s| 1 | 0 |248533 | - | 94M| 0 |2030 |2478 |6863 |2478 |7461 |6316 | 33 | 0 | 1.281270e+03 | -- | Inf
152.39/152.41 c 152s| 1 | 0 |248625 | - | 93M| 0 |2033 |2478 |6863 |2478 |7465 |6320 | 33 | 0 | 1.281273e+03 | -- | Inf
153.39/153.43 c 153s| 1 | 0 |248640 | - | 93M| 0 |2032 |2478 |6863 |2478 |7468 |6323 | 33 | 0 | 1.281273e+03 | -- | Inf
154.39/154.47 c 154s| 1 | 0 |248671 | - | 91M| 0 |2032 |2478 |6863 |2478 |7470 |6325 | 33 | 0 | 1.281273e+03 | -- | Inf
155.49/155.51 c 156s| 1 | 0 |248746 | - | 91M| 0 |2018 |2478 |6863 |2478 |7471 |6326 | 33 | 0 | 1.281273e+03 | -- | Inf
156.60/156.61 c 157s| 1 | 0 |249174 | - | 89M| 0 |2024 |2478 |6863 |2478 |7474 |6329 | 33 | 0 | 1.281337e+03 | -- | Inf
159.20/159.20 c 159s| 1 | 2 |249174 | - | 89M| 0 |2024 |2478 |6863 |2478 |7474 |6329 | 33 | 14 | 1.281337e+03 | -- | Inf
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.01
1800.05/1800.01 c Solving Nodes : 7934
1800.05/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01 c Dual Bound : +1.30572887029690e+03
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 s UNKNOWN
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Total Time : 1800.01
1800.05/1800.01 c solving : 1800.01
1800.05/1800.01 c presolving : 0.37 (included in solving)
1800.05/1800.01 c reading : 0.05 (included in solving)
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-3450844-1307083690.opb
1800.05/1800.01 c Variables : 2666 (2666 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 6659 initial, 6659 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3450844-1307083690.opb
1800.05/1800.01 c Variables : 2478 (2478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 6345 initial, 7359 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 3 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.23 2 183 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.02 0 0 0 0 0 190 0 0 0
1800.05/1800.01 c linear : 0.05 0 0 0 0 0 122 0 122 0
1800.05/1800.01 c logicor : 0.07 0 0 0 0 0 2 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 7235 0 4 0 13 98 0 0 14306
1800.05/1800.01 c setppc : 1515 143 160039 0 0 3 257186 409 432858 0 0 0
1800.05/1800.01 c linear : 0+ 143 151941 0 0 0 756 1 2115 82 0 0
1800.05/1800.01 c logicor : 4830+ 143 127813 0 0 1 237189 376 416058 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 412.44 0.00 0.00 412.44 0.00 0.00 0.00
1800.05/1800.01 c setppc : 5.06 0.02 4.96 0.00 0.00 0.00 0.09
1800.05/1800.01 c linear : 0.47 0.07 0.40 0.00 0.00 0.00 0.00
1800.05/1800.01 c logicor : 2.16 0.05 2.01 0.00 0.00 0.00 0.10
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 0 0 0 0
1800.05/1800.01 c pseudoobj : 156438 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.03 0.03 0.00
1800.05/1800.01 c rootredcost : 0.04 0.04 0.00
1800.05/1800.01 c pseudoobj : 5.07 5.07 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.07 784 770 2974 28.5 165 8.7 -
1800.05/1800.01 c infeasible LP : 0.81 1020 1020 13877 43.5 82 5.3 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 7837 38.2 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 2.80 142 - - 7395 - (maximal pool size: 35683)
1800.05/1800.01 c redcost : 0.17 7377 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.05 143 0 0 2286 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 82.30 143 0 0 66096 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 4.52 20 0 0 10000 0
1800.05/1800.01 c cmir : 0.30 10 0 0 0 0
1800.05/1800.01 c flowcover : 0.30 10 0 0 0 0
1800.05/1800.01 c clique : 0.29 143 0 0 55 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.01 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.77 1 0 0 0 485
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 412.42 7235 13 98 0 0 14306
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c oneopt : 0.01 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c shiftandpropagate: 0.02 1 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.73 1000 0
1800.05/1800.01 c rounding : 0.55 1168 0
1800.05/1800.01 c shifting : 1.50 440 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 22.48 17 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c coefdiving : 78.78 83 0
1800.05/1800.01 c pscostdiving : 64.93 68 0
1800.05/1800.01 c fracdiving : 83.16 86 0
1800.05/1800.01 c veclendiving : 53.62 46 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 27.72 8 0
1800.05/1800.01 c rootsoldiving : 23.08 11 0
1800.05/1800.01 c linesearchdiving : 76.62 95 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.02 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.00 0 0
1800.05/1800.01 c trysol : 0.00 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.12 0 0 0.00 0.00
1800.05/1800.01 c dual LP : 843.00 7987 4368030 546.89 5181.56
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 399.06 26155 1544949 59.07 3871.46
1800.05/1800.01 c strong branching : 409.49 5788 1795926 310.28 4385.80
1800.05/1800.01 c (at root node) : - 14 12438 888.43 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 7934
1800.05/1800.01 c nodes (total) : 7934
1800.05/1800.01 c nodes left : 6194
1800.05/1800.01 c max depth : 38
1800.05/1800.01 c max depth (total): 38
1800.05/1800.01 c backtracks : 2225 (28.0%)
1800.05/1800.01 c delayed cutoffs : 179
1800.05/1800.01 c repropagations : 922 (290323 domain reductions, 97 cutoffs)
1800.05/1800.01 c avg switch length: 8.21
1800.05/1800.01 c switching time : 3.19
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 0 (0 improvements)
1800.05/1800.01 c Primal Bound : -
1800.05/1800.01 c Dual Bound : +1.30572887029690e+03
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +1.28133726431252e+03
1800.05/1800.01 c Root Iterations : 249174
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450844-1307083690/watcher-3450844-1307083690 -o /tmp/evaluation-result-3450844-1307083690/solver-3450844-1307083690 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450844-1307083690.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: 1.99 2.00 1.99 2/436 17699
/proc/meminfo: memFree=20853620/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=15820 CPUtime=0 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 2935 0 0 0 0 0 0 0 25 0 1 0 819966843 16199680 2888 33554432000 4194304 9163163 140735063776800 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17699/statm: 3955 2888 395 1214 0 2737 0
[startup+0.110706 s]
/proc/loadavg: 1.99 2.00 1.99 2/436 17699
/proc/meminfo: memFree=20853620/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=31636 CPUtime=0.1 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 6925 0 0 0 9 1 0 0 25 0 1 0 819966843 32395264 6620 33554432000 4194304 9163163 140735063776800 18446744073709551615 5220413 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 7909 6620 508 1214 0 6691 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31636
[startup+0.200694 s]
/proc/loadavg: 1.99 2.00 1.99 2/436 17699
/proc/meminfo: memFree=20853620/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=34420 CPUtime=0.19 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 7656 0 0 0 18 1 0 0 25 0 1 0 819966843 35246080 7351 33554432000 4194304 9163163 140735063776800 18446744073709551615 5947117 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 8605 7351 541 1214 0 7387 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34420
[startup+0.300676 s]
/proc/loadavg: 1.99 2.00 1.99 2/436 17699
/proc/meminfo: memFree=20853620/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=35252 CPUtime=0.29 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 7864 0 0 0 28 1 0 0 25 0 1 0 819966843 36098048 7559 33554432000 4194304 9163163 140735063776800 18446744073709551615 5947148 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 8813 7559 541 1214 0 7595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35252
[startup+0.700577 s]
/proc/loadavg: 1.99 2.00 1.99 2/436 17699
/proc/meminfo: memFree=20853620/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=50544 CPUtime=0.69 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 11934 0 0 0 68 1 0 0 25 0 1 0 819966843 51757056 11438 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 12636 11438 674 1214 0 11418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50544
[startup+1.50045 s]
/proc/loadavg: 1.99 2.00 1.99 3/437 17700
/proc/meminfo: memFree=20809344/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=51296 CPUtime=1.49 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 12017 0 0 0 147 2 0 0 25 0 1 0 819966843 52527104 11500 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 12824 11500 653 1214 0 11606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51296
[startup+3.10113 s]
/proc/loadavg: 1.99 2.00 1.99 3/437 17700
/proc/meminfo: memFree=20808632/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=50968 CPUtime=3.09 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 12349 0 0 0 306 3 0 0 25 0 1 0 819966843 52191232 11712 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 12742 11712 666 1214 0 11524 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50968
[startup+6.30056 s]
/proc/loadavg: 2.07 2.02 2.00 3/437 17701
/proc/meminfo: memFree=20761396/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=97332 CPUtime=6.29 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 24853 0 0 0 623 6 0 0 25 0 1 0 819966843 99667968 23041 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 24333 23041 715 1214 0 23115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97332
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/437 17701
/proc/meminfo: memFree=20759816/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=105716 CPUtime=12.69 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 27301 0 0 0 1260 9 0 0 25 0 1 0 819966843 108253184 25481 33554432000 4194304 9163163 140735063776800 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 26429 25481 720 1214 0 25211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105716
[startup+25.501 s]
/proc/loadavg: 2.05 2.01 2.00 3/437 17701
/proc/meminfo: memFree=20718124/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=141936 CPUtime=25.5 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 39178 0 0 0 2534 16 0 0 25 0 1 0 819966843 145342464 34021 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 35484 34021 805 1214 0 34266 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 141936
[startup+51.1013 s]
/proc/loadavg: 2.03 2.01 2.00 3/437 17702
/proc/meminfo: memFree=20669628/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=194664 CPUtime=51.09 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 61214 0 0 0 5078 31 0 0 25 0 1 0 819966843 199335936 46206 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 48666 46206 990 1214 0 47448 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194664
[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/437 17838
/proc/meminfo: memFree=20365864/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=240908 CPUtime=102.3 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 83785 0 0 0 10175 55 0 0 25 0 1 0 819966843 246689792 57595 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 60227 57595 732 1214 0 59009 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 240908
[startup+162.301 s]
/proc/loadavg: 2.18 2.05 2.01 3/437 17840
/proc/meminfo: memFree=20352020/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=162.3 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87194 0 0 0 16148 82 0 0 25 0 1 0 819966843 258957312 60890 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60890 947 1214 0 62004 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 252888
[startup+222.317 s]
/proc/loadavg: 2.06 2.04 2.00 3/437 17841
/proc/meminfo: memFree=19980532/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=222.31 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87207 0 0 0 22116 115 0 0 25 0 1 0 819966843 258957312 60901 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60901 948 1214 0 62004 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 252888
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 17843
/proc/meminfo: memFree=19951500/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=282.3 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87294 0 0 0 28087 143 0 0 25 0 1 0 819966843 258957312 60901 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60901 861 1214 0 62004 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 252888
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17845
/proc/meminfo: memFree=19951336/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=342.3 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87296 0 0 0 34058 172 0 0 25 0 1 0 819966843 258957312 60903 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60903 861 1214 0 62004 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 252888
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17846
/proc/meminfo: memFree=19945360/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=402.31 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87361 0 0 0 40027 204 0 0 25 0 1 0 819966843 258957312 60905 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60905 798 1214 0 62004 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 252888
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17848
/proc/meminfo: memFree=19892992/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=462.3 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87362 0 0 0 45992 238 0 0 25 0 1 0 819966843 258957312 60906 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60906 798 1214 0 62004 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 252888
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17849
/proc/meminfo: memFree=19868424/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=522.31 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87406 0 0 0 51959 272 0 0 25 0 1 0 819966843 258957312 60906 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60906 754 1214 0 62004 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 252888
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17851
/proc/meminfo: memFree=19868156/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=252888 CPUtime=582.31 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87406 0 0 0 57924 307 0 0 25 0 1 0 819966843 258957312 60906 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63222 60906 754 1214 0 62004 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 252888
[startup+642.301 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.06 2.07 2.02 3/437 17868
/proc/meminfo: memFree=19865964/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=255472 CPUtime=882.34 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 87990 0 0 0 87756 478 0 0 25 0 1 0 819966843 261603328 61487 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 63868 61487 751 1214 0 62650 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 255472
[startup+942.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/437 17870
/proc/meminfo: memFree=19865180/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=256364 CPUtime=942.32 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 88205 0 0 0 93720 512 0 0 25 0 1 0 819966843 262516736 61702 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 64091 61702 751 1214 0 62873 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 256364
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/437 17874
/proc/meminfo: memFree=19854376/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=256364 CPUtime=1002.32 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 88299 0 0 0 99687 545 0 0 25 0 1 0 819966843 262516736 61796 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 64091 61796 751 1214 0 62873 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 256364
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/437 17876
/proc/meminfo: memFree=19854748/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=256364 CPUtime=1062.33 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 88320 0 0 0 105656 577 0 0 25 0 1 0 819966843 262516736 61797 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 64091 61797 731 1214 0 62873 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 256364
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17877
/proc/meminfo: memFree=19852996/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=258332 CPUtime=1122.33 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 88801 0 0 0 111619 614 0 0 25 0 1 0 819966843 264531968 62275 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 64583 62275 728 1214 0 63365 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 258332
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17879
/proc/meminfo: memFree=19852612/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=258332 CPUtime=1182.33 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 88807 0 0 0 117585 648 0 0 25 0 1 0 819966843 264531968 62281 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 64583 62281 728 1214 0 63365 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 258332
[startup+1242.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/437 17881
/proc/meminfo: memFree=19851340/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=260208 CPUtime=1242.33 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 89150 0 0 0 123549 684 0 0 25 0 1 0 819966843 266452992 62624 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 65052 62624 728 1214 0 63834 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 260208
[startup+1302.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/437 17882
/proc/meminfo: memFree=19847728/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=262020 CPUtime=1302.33 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 89592 0 0 0 129513 720 0 0 25 0 1 0 819966843 268308480 63066 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 65505 63066 728 1214 0 64287 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 262020
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/437 17884
/proc/meminfo: memFree=19847576/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=262020 CPUtime=1362.34 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 89640 0 0 0 135475 759 0 0 25 0 1 0 819966843 268308480 63114 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 65505 63114 728 1214 0 64287 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 262020
[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/437 17885
/proc/meminfo: memFree=19846196/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=264212 CPUtime=1422.35 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 90193 0 0 0 141439 796 0 0 25 0 1 0 819966843 270553088 63667 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 66053 63667 728 1214 0 64835 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 264212
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/437 17887
/proc/meminfo: memFree=19843796/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=266872 CPUtime=1482.34 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 90803 0 0 0 147403 831 0 0 25 0 1 0 819966843 273276928 64277 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 66718 64277 728 1214 0 65500 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 266872
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17889
/proc/meminfo: memFree=19844648/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=266872 CPUtime=1542.36 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 90846 0 0 0 153369 867 0 0 25 0 1 0 819966843 273276928 64320 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 66718 64320 728 1214 0 65500 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 266872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17890
/proc/meminfo: memFree=19843892/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=267780 CPUtime=1602.34 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 91054 0 0 0 159332 902 0 0 25 0 1 0 819966843 274206720 64528 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 66945 64528 728 1214 0 65727 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 267780
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17892
/proc/meminfo: memFree=19842116/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=269444 CPUtime=1662.35 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 91593 0 0 0 165293 942 0 0 25 0 1 0 819966843 275910656 65067 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 67361 65067 728 1214 0 66143 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 269444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17893
/proc/meminfo: memFree=19841104/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=269696 CPUtime=1722.35 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 91654 0 0 0 171259 976 0 0 25 0 1 0 819966843 276168704 65128 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 67424 65128 728 1214 0 66206 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 269696
[startup+1782.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/437 17895
/proc/meminfo: memFree=19838736/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=271048 CPUtime=1782.35 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 91992 0 0 0 177227 1008 0 0 25 0 1 0 819966843 277553152 65466 33554432000 4194304 9163163 140735063776800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17699/statm: 67762 65466 728 1214 0 66544 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 271048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.03 2.01 3/437 17895
/proc/meminfo: memFree=19838720/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=271048 CPUtime=1800.07 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 92002 0 0 0 178988 1019 0 0 25 0 1 0 819966843 277553152 65476 33554432000 4194304 9163163 140735063776800 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17699/statm: 67762 65476 729 1214 0 66544 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 271048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.11 2.03 2.01 3/437 17895
/proc/meminfo: memFree=19838720/32951124 swapFree=60787360/67111528
[pid=17699] ppid=17697 vsize=271048 CPUtime=1800.07 cores=0,2,4,6
/proc/17699/stat : 17699 (scip-2.0.1.4b.l) R 17697 17699 11639 0 -1 4202496 92002 0 0 0 178988 1019 0 0 25 0 1 0 819966843 277553152 65476 33554432000 4194304 9163163 140735063776800 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17699/statm: 67762 65476 729 1214 0 66544 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 271048
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1789.88
CPU system time (s): 10.2024
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 271048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.88
system time used= 10.2024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92003
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= 2802
runsolver used 8.31174 second user time and 16.8904 second system time
The end