0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691987-1338031533.opb>
0.00/0.04 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.00/0.04 c problem read in 0.04
0.00/0.07 c presolving:
0.09/0.11 c (round 1) 710 del vars, 720 del conss, 0 add conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.09/0.13 c (round 2) 753 del vars, 2214 del conss, 0 add conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.09/0.13 c (round 3) 795 del vars, 2450 del conss, 0 add conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.09/0.14 c (round 4) 855 del vars, 2664 del conss, 0 add conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.09/0.14 c (round 5) 924 del vars, 3067 del conss, 0 add conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.09/0.15 c (round 6) 948 del vars, 3190 del conss, 0 add conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.09/0.15 c (round 7) 955 del vars, 3240 del conss, 0 add conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.09/0.15 c (round 8) 961 del vars, 3267 del conss, 0 add conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.09/0.16 c (round 9) 961 del vars, 3270 del conss, 0 add conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.19/0.24 c (round 10) 961 del vars, 6007 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10337 upgd conss, 48946 impls, 0 clqs
0.19/0.26 c (round 11) 961 del vars, 6012 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10397 upgd conss, 48946 impls, 0 clqs
0.19/0.28 c (round 12) 986 del vars, 6012 del conss, 0 add conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10397 upgd conss, 50604 impls, 0 clqs
0.19/0.29 c (round 13) 989 del vars, 6106 del conss, 0 add conss, 913 chg bounds, 31 chg sides, 24 chg coeffs, 10397 upgd conss, 51280 impls, 0 clqs
0.19/0.29 c (round 14) 997 del vars, 6132 del conss, 0 add conss, 913 chg bounds, 31 chg sides, 24 chg coeffs, 10397 upgd conss, 51612 impls, 0 clqs
0.28/0.31 c (round 15) 997 del vars, 6143 del conss, 0 add conss, 913 chg bounds, 31 chg sides, 24 chg coeffs, 10410 upgd conss, 51612 impls, 0 clqs
0.28/0.35 c (0.3s) probing: 86/2901 (3.0%) - 19 fixings, 8 aggregations, 248 implications, 0 bound changes
0.28/0.35 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.28/0.35 c (round 16) 999 del vars, 6143 del conss, 0 add conss, 913 chg bounds, 31 chg sides, 24 chg coeffs, 10410 upgd conss, 52324 impls, 0 clqs
0.28/0.35 c (round 17) 999 del vars, 6157 del conss, 0 add conss, 913 chg bounds, 31 chg sides, 24 chg coeffs, 10410 upgd conss, 52324 impls, 0 clqs
0.28/0.37 c (0.4s) probing: 91/2901 (3.1%) - 19 fixings, 8 aggregations, 248 implications, 0 bound changes
0.28/0.37 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.28/0.37 c presolving (18 rounds):
0.28/0.37 c 999 deleted vars, 6157 deleted constraints, 0 added constraints, 913 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
0.28/0.37 c 52324 implications, 0 cliques
0.28/0.37 c presolved problem has 2863 variables (2863 bin, 0 int, 0 impl, 0 cont) and 10242 constraints
0.28/0.37 c 5831 constraints of type <setppc>
0.28/0.37 c 4411 constraints of type <logicor>
0.28/0.37 c transformed objective value is always integral (scale: 1)
0.28/0.37 c Presolving Time: 0.31
0.28/0.37 c - non default parameters ----------------------------------------------------------------------
0.28/0.37 c # SCIP version 2.1.1.4
0.28/0.37 c
0.28/0.37 c # maximal time in seconds to run
0.28/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.37 c limits/time = 1797
0.28/0.37 c
0.28/0.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.37 c limits/memory = 13950
0.28/0.37 c
0.28/0.37 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.28/0.37 c # [type: int, range: [1,2], default: 1]
0.28/0.37 c timing/clocktype = 2
0.28/0.37 c
0.28/0.37 c # belongs reading time to solving time?
0.28/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.37 c timing/reading = TRUE
0.28/0.37 c
0.28/0.37 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.28/0.37 c # [type: int, range: [-1,2147483647], default: -1]
0.28/0.37 c separating/rapidlearning/freq = 0
0.28/0.37 c
0.28/0.37 c -----------------------------------------------------------------------------------------------
0.28/0.37 c start solving
0.28/0.38 c
1.39/1.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.48 c 1.5s| 1 | 0 | 6106 | - | 26M| 0 |1944 |2863 | 10k|2863 | 10k| 0 | 32 | 0 | 1.488500e+03 | -- | Inf
18.39/18.45 c 18.4s| 1 | 0 | 41331 | - | 27M| 0 |1916 |2863 | 10k|2863 | 10k| 143 | 32 | 0 | 1.537167e+03 | -- | Inf
19.08/19.19 c 19.2s| 1 | 0 | 43724 | - | 27M| 0 |1986 |2863 | 10k|2863 | 10k| 217 | 32 | 0 | 1.566921e+03 | -- | Inf
19.99/20.01 c 20.0s| 1 | 0 | 46064 | - | 28M| 0 |1978 |2863 | 10k|2863 | 10k| 272 | 32 | 0 | 1.584917e+03 | -- | Inf
20.89/20.99 c 21.0s| 1 | 0 | 48913 | - | 29M| 0 |2026 |2863 | 10k|2863 | 10k| 314 | 32 | 0 | 1.603267e+03 | -- | Inf
21.69/21.71 c 21.7s| 1 | 0 | 50821 | - | 30M| 0 |2056 |2863 | 10k|2863 | 10k| 344 | 32 | 0 | 1.615979e+03 | -- | Inf
23.09/23.13 c 23.1s| 1 | 0 | 55112 | - | 32M| 0 |2229 |2863 | 10k|2863 | 10k| 379 | 32 | 0 | 1.628279e+03 | -- | Inf
24.78/24.84 c 24.8s| 1 | 0 | 60539 | - | 33M| 0 |2207 |2863 | 10k|2863 | 10k| 411 | 32 | 0 | 1.637049e+03 | -- | Inf
26.19/26.20 c 26.2s| 1 | 0 | 65219 | - | 35M| 0 |2283 |2863 | 10k|2863 | 10k| 444 | 32 | 0 | 1.650785e+03 | -- | Inf
27.78/27.81 c 27.8s| 1 | 0 | 69663 | - | 38M| 0 |2316 |2863 | 10k|2863 | 10k| 474 | 32 | 0 | 1.657664e+03 | -- | Inf
30.27/30.33 c 30.3s| 1 | 0 | 76875 | - | 40M| 0 |2287 |2863 | 10k|2863 | 10k| 500 | 32 | 0 | 1.666118e+03 | -- | Inf
31.67/31.71 c 31.7s| 1 | 0 | 81581 | - | 45M| 0 |2304 |2863 | 10k|2863 | 10k| 519 | 32 | 0 | 1.674699e+03 | -- | Inf
32.98/33.07 c 33.1s| 1 | 0 | 86143 | - | 47M| 0 |2307 |2863 | 10k|2863 | 10k| 546 | 32 | 0 | 1.681912e+03 | -- | Inf
34.48/34.58 c 34.6s| 1 | 0 | 90829 | - | 49M| 0 |2334 |2863 | 10k|2863 | 10k| 573 | 32 | 0 | 1.689932e+03 | -- | Inf
36.38/36.41 c 36.4s| 1 | 0 | 96213 | - | 53M| 0 |2321 |2863 | 10k|2863 | 10k| 590 | 32 | 0 | 1.694697e+03 | -- | Inf
38.58/38.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.58/38.69 c 38.7s| 1 | 0 |103757 | - | 56M| 0 |2335 |2863 | 10k|2863 | 10k| 609 | 32 | 0 | 1.700324e+03 | -- | Inf
39.68/39.73 c 39.7s| 1 | 0 |106516 | - | 60M| 0 |2298 |2863 | 10k|2863 | 10k| 627 | 32 | 0 | 1.705057e+03 | -- | Inf
41.87/41.93 c 41.9s| 1 | 0 |113287 | - | 64M| 0 |2297 |2863 | 10k|2863 | 10k| 644 | 32 | 0 | 1.710889e+03 | -- | Inf
43.57/43.62 c 43.6s| 1 | 0 |118405 | - | 70M| 0 |2287 |2863 | 10k|2863 | 10k| 667 | 32 | 0 | 1.716693e+03 | -- | Inf
45.37/45.48 c 45.5s| 1 | 0 |123676 | - | 73M| 0 |2316 |2863 | 10k|2863 | 10k| 687 | 32 | 0 | 1.722454e+03 | -- | Inf
47.77/47.82 c 47.8s| 1 | 0 |130244 | - | 77M| 0 |2305 |2863 | 10k|2863 | 10k| 704 | 32 | 0 | 1.726103e+03 | -- | Inf
48.37/48.43 c 48.4s| 1 | 0 |131951 | - | 77M| 0 |2287 |2863 | 10k|2863 | 10k| 710 | 32 | 0 | 1.727585e+03 | -- | Inf
48.77/48.86 c 48.9s| 1 | 0 |132956 | - | 77M| 0 |2285 |2863 | 10k|2863 | 10k| 712 | 32 | 0 | 1.729254e+03 | -- | Inf
49.87/49.98 c 50.0s| 1 | 0 |136043 | - | 77M| 0 |2289 |2863 | 10k|2863 | 10k| 713 | 32 | 0 | 1.732281e+03 | -- | Inf
51.57/51.69 c 51.7s| 1 | 0 |141020 | - | 77M| 0 |2294 |2863 | 10k|2863 | 10k| 718 | 32 | 0 | 1.734308e+03 | -- | Inf
51.87/51.93 c 51.9s| 1 | 0 |141456 | - | 77M| 0 |2269 |2863 | 10k|2863 | 10k| 724 | 32 | 0 | 1.735964e+03 | -- | Inf
52.27/52.32 c 52.3s| 1 | 0 |142373 | - | 77M| 0 |2249 |2863 | 10k|2863 | 10k| 727 | 32 | 0 | 1.737027e+03 | -- | Inf
52.87/52.96 c 53.0s| 1 | 0 |144164 | - | 77M| 0 |2222 |2863 | 10k|2863 | 10k| 730 | 32 | 0 | 1.739855e+03 | -- | Inf
53.37/53.49 c 53.5s| 1 | 0 |145621 | - | 77M| 0 |2253 |2863 | 10k|2863 | 10k| 733 | 32 | 0 | 1.741545e+03 | -- | Inf
54.07/54.10 c 54.1s| 1 | 0 |147615 | - | 77M| 0 |2272 |2863 | 10k|2863 | 10k| 740 | 32 | 0 | 1.742914e+03 | -- | Inf
54.77/54.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.77/54.84 c 54.8s| 1 | 0 |149578 | - | 77M| 0 |2290 |2863 | 10k|2863 | 10k| 743 | 32 | 0 | 1.745212e+03 | -- | Inf
55.76/55.88 c 55.9s| 1 | 0 |152134 | - | 77M| 0 |2276 |2863 | 10k|2863 | 10k| 749 | 32 | 0 | 1.746749e+03 | -- | Inf
56.37/56.42 c 56.4s| 1 | 0 |153534 | - | 77M| 0 |2300 |2863 | 10k|2863 | 10k| 751 | 32 | 0 | 1.749726e+03 | -- | Inf
57.17/57.23 c 57.2s| 1 | 0 |155665 | - | 77M| 0 |2287 |2863 | 10k|2863 | 10k| 757 | 32 | 0 | 1.753147e+03 | -- | Inf
58.17/58.24 c 58.2s| 1 | 0 |158258 | - | 77M| 0 |2279 |2863 | 10k|2863 | 10k| 763 | 32 | 0 | 1.756678e+03 | -- | Inf
59.07/59.14 c 59.1s| 1 | 0 |160930 | - | 77M| 0 |2304 |2863 | 10k|2863 | 10k| 767 | 32 | 0 | 1.758415e+03 | -- | Inf
60.07/60.19 c 60.2s| 1 | 0 |163786 | - | 77M| 0 |2284 |2863 | 10k|2863 | 10k| 773 | 32 | 0 | 1.761092e+03 | -- | Inf
60.37/60.40 c 60.4s| 1 | 0 |164245 | - | 77M| 0 |2282 |2863 | 10k|2863 | 10k| 775 | 32 | 0 | 1.762586e+03 | -- | Inf
60.67/60.73 c 60.7s| 1 | 0 |165068 | - | 77M| 0 |2274 |2863 | 10k|2863 | 10k| 777 | 32 | 0 | 1.763429e+03 | -- | Inf
60.87/60.95 c 60.9s| 1 | 0 |165514 | - | 77M| 0 |2282 |2863 | 10k|2863 | 10k| 782 | 32 | 0 | 1.765384e+03 | -- | Inf
61.27/61.32 c 61.3s| 1 | 0 |166379 | - | 77M| 0 |2280 |2863 | 10k|2863 | 10k| 784 | 32 | 0 | 1.767480e+03 | -- | Inf
61.77/61.83 c 61.8s| 1 | 0 |167524 | - | 77M| 0 |2286 |2863 | 10k|2863 | 10k| 787 | 32 | 0 | 1.770797e+03 | -- | Inf
62.16/62.20 c 62.2s| 1 | 0 |168660 | - | 77M| 0 |2277 |2863 | 10k|2863 | 10k| 789 | 32 | 0 | 1.772251e+03 | -- | Inf
62.56/62.64 c 62.6s| 1 | 0 |170062 | - | 77M| 0 |2234 |2863 | 10k|2863 | 10k| 801 | 32 | 0 | 1.776552e+03 | -- | Inf
62.77/62.84 c 62.8s| 1 | 0 |170477 | - | 77M| 0 |2217 |2863 | 10k|2863 | 10k| 804 | 32 | 0 | 1.777948e+03 | -- | Inf
63.06/63.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.06/63.11 c 63.1s| 1 | 0 |171221 | - | 77M| 0 |2228 |2863 | 10k|2863 | 10k| 808 | 32 | 0 | 1.780615e+03 | -- | Inf
63.26/63.35 c 63.4s| 1 | 0 |171700 | - | 77M| 0 |2251 |2863 | 10k|2863 | 10k| 814 | 32 | 0 | 1.781593e+03 | -- | Inf
63.46/63.50 c 63.5s| 1 | 0 |171898 | - | 77M| 0 |2279 |2863 | 10k|2863 | 10k| 822 | 32 | 0 | 1.782472e+03 | -- | Inf
64.07/64.14 c 64.1s| 1 | 0 |173647 | - | 77M| 0 |2294 |2863 | 10k|2863 | 10k| 825 | 32 | 0 | 1.783736e+03 | -- | Inf
64.57/64.65 c 64.7s| 1 | 0 |175042 | - | 77M| 0 |2258 |2863 | 10k|2863 | 10k| 829 | 32 | 0 | 1.785647e+03 | -- | Inf
65.27/65.33 c 65.3s| 1 | 0 |177011 | - | 77M| 0 |2255 |2863 | 10k|2863 | 10k| 833 | 32 | 0 | 1.788244e+03 | -- | Inf
65.37/65.41 c 65.4s| 1 | 0 |177063 | - | 77M| 0 |2255 |2863 | 10k|2863 | 10k| 837 | 32 | 0 | 1.788244e+03 | -- | Inf
65.47/65.57 c 65.6s| 1 | 0 |177300 | - | 77M| 0 |2244 |2863 | 10k|2863 | 10k| 839 | 32 | 0 | 1.790270e+03 | -- | Inf
65.67/65.78 c 65.8s| 1 | 0 |177673 | - | 77M| 0 |2251 |2863 | 10k|2863 | 10k| 842 | 32 | 0 | 1.791327e+03 | -- | Inf
65.87/65.91 c 65.9s| 1 | 0 |177849 | - | 77M| 0 |2250 |2863 | 10k|2863 | 10k| 846 | 32 | 0 | 1.791327e+03 | -- | Inf
65.98/66.07 c 66.1s| 1 | 0 |178104 | - | 77M| 0 |2244 |2863 | 10k|2863 | 10k| 849 | 32 | 0 | 1.792247e+03 | -- | Inf
66.47/66.54 c 66.5s| 1 | 0 |179284 | - | 77M| 0 |2263 |2863 | 10k|2863 | 10k| 853 | 32 | 0 | 1.793945e+03 | -- | Inf
66.77/66.87 c 66.9s| 1 | 0 |179979 | - | 77M| 0 |2217 |2863 | 10k|2863 | 10k| 860 | 32 | 0 | 1.794722e+03 | -- | Inf
67.37/67.45 c 67.5s| 1 | 0 |181299 | - | 77M| 0 |2194 |2863 | 10k|2863 | 10k| 868 | 32 | 0 | 1.795297e+03 | -- | Inf
67.66/67.75 c 67.8s| 1 | 0 |181897 | - | 77M| 0 |2217 |2863 | 10k|2863 | 10k| 873 | 32 | 0 | 1.796274e+03 | -- | Inf
67.96/68.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.96/68.03 c 68.0s| 1 | 0 |182547 | - | 77M| 0 |2195 |2863 | 10k|2863 | 10k| 876 | 32 | 0 | 1.797240e+03 | -- | Inf
68.57/68.60 c 68.6s| 1 | 0 |184024 | - | 77M| 0 |2192 |2863 | 10k|2863 | 10k| 882 | 32 | 0 | 1.798921e+03 | -- | Inf
68.97/69.06 c 69.1s| 1 | 0 |185441 | - | 77M| 0 |2171 |2863 | 10k|2863 | 10k| 885 | 32 | 0 | 1.799690e+03 | -- | Inf
69.37/69.48 c 69.5s| 1 | 0 |186721 | - | 77M| 0 |2166 |2863 | 10k|2863 | 10k| 889 | 32 | 0 | 1.800357e+03 | -- | Inf
69.47/69.59 c 69.6s| 1 | 0 |186886 | - | 77M| 0 |2166 |2863 | 10k|2863 | 10k| 891 | 32 | 0 | 1.800475e+03 | -- | Inf
69.77/69.88 c 69.9s| 1 | 0 |187536 | - | 77M| 0 |2173 |2863 | 10k|2863 | 10k| 896 | 32 | 0 | 1.801112e+03 | -- | Inf
69.87/69.99 c 70.0s| 1 | 0 |187695 | - | 77M| 0 |2164 |2863 | 10k|2863 | 10k| 897 | 32 | 0 | 1.802163e+03 | -- | Inf
70.27/70.40 c 70.4s| 1 | 0 |188639 | - | 78M| 0 |2186 |2863 | 10k|2863 | 10k| 900 | 32 | 0 | 1.803103e+03 | -- | Inf
70.57/70.62 c 70.6s| 1 | 0 |189047 | - | 78M| 0 |2196 |2863 | 10k|2863 | 10k| 903 | 32 | 0 | 1.803701e+03 | -- | Inf
70.86/70.99 c 71.0s| 1 | 0 |189865 | - | 78M| 0 |2172 |2863 | 10k|2863 | 10k| 908 | 32 | 0 | 1.804901e+03 | -- | Inf
71.36/71.50 c 71.5s| 1 | 0 |191571 | - | 78M| 0 |2192 |2863 | 10k|2863 | 10k| 911 | 32 | 0 | 1.805221e+03 | -- | Inf
71.47/71.60 c 71.6s| 1 | 0 |191679 | - | 78M| 0 |2164 |2863 | 10k|2863 | 10k| 918 | 32 | 0 | 1.805222e+03 | -- | Inf
71.57/71.69 c 71.7s| 1 | 0 |191776 | - | 78M| 0 |2154 |2863 | 10k|2863 | 10k| 921 | 32 | 0 | 1.806021e+03 | -- | Inf
71.96/72.05 c 72.0s| 1 | 0 |192536 | - | 78M| 0 |2174 |2863 | 10k|2863 | 10k| 923 | 32 | 0 | 1.806413e+03 | -- | Inf
72.16/72.29 c 72.3s| 1 | 0 |193015 | - | 78M| 0 |2149 |2863 | 10k|2863 | 10k| 927 | 32 | 0 | 1.807457e+03 | -- | Inf
72.36/72.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.36/72.48 c 72.5s| 1 | 0 |193385 | - | 78M| 0 |2127 |2863 | 10k|2863 | 10k| 928 | 32 | 0 | 1.808281e+03 | -- | Inf
72.57/72.69 c 72.7s| 1 | 0 |193786 | - | 78M| 0 |2149 |2863 | 10k|2863 | 10k| 931 | 32 | 0 | 1.808677e+03 | -- | Inf
72.76/72.85 c 72.8s| 1 | 0 |194014 | - | 78M| 0 |2130 |2863 | 10k|2863 | 10k| 932 | 32 | 0 | 1.809192e+03 | -- | Inf
72.97/73.05 c 73.0s| 1 | 0 |194381 | - | 78M| 0 |2119 |2863 | 10k|2863 | 10k| 937 | 32 | 0 | 1.809363e+03 | -- | Inf
73.27/73.31 c 73.3s| 1 | 0 |194997 | - | 78M| 0 |2105 |2863 | 10k|2863 | 10k| 941 | 32 | 0 | 1.810161e+03 | -- | Inf
73.37/73.42 c 73.4s| 1 | 0 |195111 | - | 78M| 0 |2110 |2863 | 10k|2863 | 10k| 946 | 32 | 0 | 1.810165e+03 | -- | Inf
74.26/74.31 c 74.3s| 1 | 0 |197284 | - | 78M| 0 |2131 |2863 | 10k|2863 | 10k| 953 | 32 | 0 | 1.811122e+03 | -- | Inf
74.66/74.76 c 74.8s| 1 | 0 |198478 | - | 78M| 0 |2159 |2863 | 10k|2863 | 10k| 960 | 32 | 0 | 1.812290e+03 | -- | Inf
74.77/74.90 c 74.9s| 1 | 0 |198664 | - | 78M| 0 |2178 |2863 | 10k|2863 | 10k| 963 | 32 | 0 | 1.812725e+03 | -- | Inf
74.96/75.02 c 75.0s| 1 | 0 |198805 | - | 78M| 0 |2145 |2863 | 10k|2863 | 10k| 966 | 32 | 0 | 1.812945e+03 | -- | Inf
75.36/75.47 c 75.5s| 1 | 0 |200045 | - | 78M| 0 |2120 |2863 | 10k|2863 | 10k| 970 | 32 | 0 | 1.813530e+03 | -- | Inf
75.66/75.77 c 75.8s| 1 | 0 |200703 | - | 78M| 0 |2129 |2863 | 10k|2863 | 10k| 974 | 32 | 0 | 1.813830e+03 | -- | Inf
76.17/76.25 c 76.2s| 1 | 0 |201871 | - | 78M| 0 |2101 |2863 | 10k|2863 | 10k| 978 | 32 | 0 | 1.814122e+03 | -- | Inf
76.47/76.58 c 76.6s| 1 | 0 |202569 | - | 78M| 0 |2109 |2863 | 10k|2863 | 10k| 985 | 32 | 0 | 1.814895e+03 | -- | Inf
76.87/76.93 c 76.9s| 1 | 0 |203222 | - | 78M| 0 |2109 |2863 | 10k|2863 | 10k| 988 | 32 | 0 | 1.815421e+03 | -- | Inf
77.37/77.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.37/77.44 c 77.4s| 1 | 0 |204624 | - | 78M| 0 |2111 |2863 | 10k|2863 | 10k| 989 | 32 | 0 | 1.815995e+03 | -- | Inf
77.47/77.55 c 77.6s| 1 | 0 |204734 | - | 78M| 0 |2094 |2863 | 10k|2863 | 10k| 992 | 32 | 0 | 1.815995e+03 | -- | Inf
77.57/77.68 c 77.7s| 1 | 0 |204861 | - | 78M| 0 |2093 |2863 | 10k|2863 | 10k| 995 | 32 | 0 | 1.816486e+03 | -- | Inf
77.86/77.90 c 77.9s| 1 | 0 |205230 | - | 78M| 0 |2101 |2863 | 10k|2863 | 10k| 998 | 32 | 0 | 1.816508e+03 | -- | Inf
78.07/78.20 c 78.2s| 1 | 0 |205831 | - | 78M| 0 |2081 |2863 | 10k|2863 | 10k|1007 | 32 | 0 | 1.816913e+03 | -- | Inf
78.46/78.58 c 78.6s| 1 | 0 |206831 | - | 78M| 0 |2083 |2863 | 10k|2863 | 10k|1015 | 32 | 0 | 1.817057e+03 | -- | Inf
78.56/78.65 c 78.6s| 1 | 0 |206855 | - | 78M| 0 |2093 |2863 | 10k|2863 | 10k|1019 | 32 | 0 | 1.817057e+03 | -- | Inf
78.66/78.75 c 78.7s| 1 | 0 |206975 | - | 78M| 0 |2092 |2863 | 10k|2863 | 10k|1020 | 32 | 0 | 1.817480e+03 | -- | Inf
78.86/78.96 c 79.0s| 1 | 0 |207352 | - | 78M| 0 |2103 |2863 | 10k|2863 | 10k|1023 | 32 | 0 | 1.817551e+03 | -- | Inf
79.27/79.36 c 79.4s| 1 | 0 |208159 | - | 78M| 0 |2085 |2863 | 10k|2863 | 10k|1026 | 32 | 0 | 1.817765e+03 | -- | Inf
79.66/79.77 c 79.8s| 1 | 0 |209091 | - | 78M| 0 |2025 |2863 | 10k|2863 | 10k|1030 | 32 | 0 | 1.818241e+03 | -- | Inf
79.77/79.87 c 79.9s| 1 | 0 |209202 | - | 78M| 0 |2032 |2863 | 10k|2863 | 10k|1034 | 32 | 0 | 1.818241e+03 | -- | Inf
79.97/80.01 c 80.0s| 1 | 0 |209426 | - | 77M| 0 |2028 |2863 | 10k|2863 | 10k|1036 | 32 | 0 | 1.818564e+03 | -- | Inf
80.07/80.15 c 80.2s| 1 | 0 |209641 | - | 77M| 0 |2026 |2863 | 10k|2863 | 10k|1038 | 32 | 0 | 1.818689e+03 | -- | Inf
80.17/80.29 c 80.3s| 1 | 0 |209801 | - | 76M| 0 |2031 |2863 | 10k|2863 | 10k|1039 | 32 | 0 | 1.819001e+03 | -- | Inf
80.37/80.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.37/80.42 c 80.4s| 1 | 0 |209978 | - | 75M| 0 |2029 |2863 | 10k|2863 | 10k|1040 | 32 | 0 | 1.819412e+03 | -- | Inf
80.57/80.65 c 80.7s| 1 | 0 |210385 | - | 75M| 0 |2027 |2863 | 10k|2863 | 10k|1043 | 32 | 0 | 1.819741e+03 | -- | Inf
80.67/80.74 c 80.7s| 1 | 0 |210453 | - | 73M| 0 |2035 |2863 | 10k|2863 | 10k|1046 | 32 | 0 | 1.819741e+03 | -- | Inf
80.77/80.83 c 80.8s| 1 | 0 |210524 | - | 72M| 0 |2041 |2863 | 10k|2863 | 10k|1050 | 32 | 0 | 1.819741e+03 | -- | Inf
80.97/81.06 c 81.1s| 1 | 0 |210919 | - | 70M| 0 |2048 |2863 | 10k|2863 | 10k|1053 | 32 | 0 | 1.820003e+03 | -- | Inf
81.27/81.33 c 81.3s| 1 | 0 |211465 | - | 68M| 0 |2052 |2863 | 10k|2863 | 10k|1058 | 32 | 0 | 1.820187e+03 | -- | Inf
81.37/81.44 c 81.4s| 1 | 0 |211591 | - | 65M| 0 |2057 |2863 | 10k|2863 | 10k|1064 | 32 | 0 | 1.820187e+03 | -- | Inf
81.57/81.62 c 81.6s| 1 | 0 |211898 | - | 60M| 0 |2063 |2863 | 10k|2863 | 10k|1069 | 32 | 0 | 1.820269e+03 | -- | Inf
81.77/81.88 c 81.9s| 1 | 0 |212328 | - | 59M| 0 |2081 |2863 | 10k|2863 | 10k|1073 | 32 | 0 | 1.820511e+03 | -- | Inf
81.87/81.99 c 82.0s| 1 | 0 |212444 | - | 56M| 0 |2085 |2863 | 10k|2863 | 10k|1078 | 32 | 0 | 1.820511e+03 | -- | Inf
81.97/82.08 c 82.1s| 1 | 0 |212530 | - | 56M| 0 |2107 |2863 | 10k|2863 | 10k|1082 | 32 | 0 | 1.820513e+03 | -- | Inf
82.07/82.15 c 82.1s| 1 | 0 |212569 | - | 55M| 0 |2100 |2863 | 10k|2863 | 10k|1084 | 32 | 0 | 1.820513e+03 | -- | Inf
82.27/82.32 c 82.3s| 1 | 0 |212859 | - | 52M| 0 |2085 |2863 | 10k|2863 | 10k|1086 | 32 | 0 | 1.820877e+03 | -- | Inf
82.47/82.56 c 82.6s| 1 | 0 |213346 | - | 48M| 0 |2081 |2863 | 10k|2863 | 10k|1091 | 32 | 0 | 1.821096e+03 | -- | Inf
82.67/82.71 c 82.7s| 1 | 0 |213588 | - | 44M| 0 |2077 |2863 | 10k|2863 | 10k|1097 | 32 | 0 | 1.821153e+03 | -- | Inf
82.67/82.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.67/82.79 c 82.8s| 1 | 0 |213664 | - | 38M| 0 |2079 |2863 | 10k|2863 | 10k|1101 | 32 | 0 | 1.821159e+03 | -- | Inf
82.77/82.89 c 82.9s| 1 | 0 |213827 | - | 35M| 0 |2083 |2863 | 10k|2863 | 10k|1106 | 32 | 0 | 1.821362e+03 | -- | Inf
82.87/82.95 c 83.0s| 1 | 0 |213845 | - | 30M| 0 |2082 |2863 | 10k|2863 | 10k|1108 | 32 | 0 | 1.821363e+03 | -- | Inf
82.96/83.04 c 83.0s| 1 | 0 |213920 | - | 29M| 0 |2085 |2863 | 10k|2863 | 10k|1113 | 32 | 0 | 1.821363e+03 | -- | Inf
83.26/83.36 c 83.4s| 1 | 0 |214652 | - | 29M| 0 |2077 |2863 | 10k|2863 | 10k|1119 | 32 | 0 | 1.821581e+03 | -- | Inf
83.36/83.47 c 83.5s| 1 | 0 |214830 | - | 29M| 0 |2092 |2863 | 10k|2863 | 10k|1127 | 32 | 0 | 1.821747e+03 | -- | Inf
83.46/83.55 c 83.5s| 1 | 0 |214898 | - | 29M| 0 |2092 |2863 | 10k|2863 | 10k|1135 | 32 | 0 | 1.821747e+03 | -- | Inf
83.57/83.62 c 83.6s| 1 | 0 |214957 | - | 29M| 0 |2104 |2863 | 10k|2863 | 10k|1139 | 32 | 0 | 1.821749e+03 | -- | Inf
83.67/83.76 c 83.8s| 1 | 0 |215151 | - | 29M| 0 |2101 |2863 | 10k|2863 | 10k|1143 | 32 | 0 | 1.821898e+03 | -- | Inf
83.76/83.81 c 83.8s| 1 | 0 |215162 | - | 29M| 0 |2101 |2863 | 10k|2863 | 10k|1145 | 32 | 0 | 1.821898e+03 | -- | Inf
83.86/83.94 c 83.9s| 1 | 0 |215317 | - | 29M| 0 |2115 |2863 | 10k|2863 | 10k|1147 | 32 | 0 | 1.822040e+03 | -- | Inf
83.96/84.05 c 84.0s| 1 | 0 |215464 | - | 29M| 0 |2109 |2863 | 10k|2863 | 10k|1150 | 32 | 0 | 1.822098e+03 | -- | Inf
84.06/84.12 c 84.1s| 1 | 0 |215515 | - | 29M| 0 |2116 |2863 | 10k|2863 | 10k|1152 | 32 | 0 | 1.822098e+03 | -- | Inf
84.16/84.20 c 84.2s| 1 | 0 |215575 | - | 29M| 0 |2132 |2863 | 10k|2863 | 10k|1154 | 32 | 0 | 1.822116e+03 | -- | Inf
84.16/84.27 c 84.3s| 1 | 0 |215601 | - | 28M| 0 |2135 |2863 | 10k|2863 | 10k|1159 | 32 | 0 | 1.822116e+03 | -- | Inf
84.26/84.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.26/84.36 c 84.4s| 1 | 0 |215681 | - | 28M| 0 |2133 |2863 | 10k|2863 | 10k|1163 | 32 | 0 | 1.822121e+03 | -- | Inf
90.76/90.88 c 90.9s| 1 | 2 |215681 | - | 28M| 0 |2133 |2863 | 10k|2863 | 10k|1163 | 32 | 20 | 1.822121e+03 | -- | Inf
491.80/491.98 c 492s| 100 | 81 |829464 |6199.8 | 30M| 32 | - |2863 | 10k| 0 | 0 |1163 | 119 | 443 | 1.825164e+03 | -- | Inf
555.59/555.78 c 556s| 200 | 127 |952149 |3700.8 | 30M| 59 | - |2863 | 10k| 0 | 0 |1163 | 272 | 548 | 1.825696e+03 | -- | Inf
592.08/592.27 c 592s| 300 | 130 | 1012k|2665.4 | 30M| 60 | 774 |2863 | 10k|2863 | 10k|1163 | 380 | 634 | 1.825711e+03 | -- | Inf
665.97/666.19 c 666s| 400 | 127 | 1156k|2358.5 | 30M| 60 |1136 |2863 | 10k|2863 | 10k|1163 | 477 | 759 | 1.825871e+03 | -- | Inf
732.37/732.51 c 733s| 500 | 149 | 1271k|2115.4 | 30M| 60 | 997 |2863 | 10k|2863 | 10k|1163 | 612 | 860 | 1.825871e+03 | -- | Inf
809.35/809.55 c 810s| 600 | 168 | 1411k|1995.8 | 31M| 60 | 625 |2863 | 10k|2863 | 10k|1163 | 735 | 954 | 1.825882e+03 | -- | Inf
875.04/875.25 c 875s| 700 | 178 | 1537k|1891.5 | 31M| 60 | 532 |2863 | 10k|2863 | 10k|1163 | 863 |1010 | 1.826037e+03 | -- | Inf
955.92/956.18 c 956s| 800 | 199 | 1685k|1839.4 | 31M| 60 | 534 |2863 | 11k|2863 | 10k|1163 |1006 |1093 | 1.826434e+03 | -- | Inf
1012.42/1012.65 c 1013s| 900 | 202 | 1783k|1743.9 | 31M| 60 |1439 |2863 | 11k|2863 | 10k|1163 |1129 |1189 | 1.826476e+03 | -- | Inf
1075.71/1075.95 c 1076s| 1000 | 224 | 1890k|1676.8 | 31M| 60 |1008 |2863 | 10k|2863 | 10k|1163 |1173 |1315 | 1.826513e+03 | -- | Inf
1163.99/1164.22 c 1164s| 1100 | 237 | 2043k|1662.7 | 31M| 60 |1238 |2863 | 10k|2863 | 10k|1163 |1273 |1427 | 1.826585e+03 | -- | Inf
1213.89/1214.13 c 1214s| 1200 | 250 | 2140k|1605.1 | 31M| 60 | 670 |2863 | 10k|2863 | 10k|1163 |1399 |1489 | 1.826592e+03 | -- | Inf
1268.48/1268.76 c 1269s| 1300 | 261 | 2250k|1566.1 | 31M| 60 | - |2863 | 11k| 0 | 0 |1163 |1617 |1564 | 1.826623e+03 | -- | Inf
1313.47/1313.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.47/1313.70 c 1314s| 1400 | 271 | 2332k|1513.0 | 31M| 60 | 941 |2863 | 11k|2863 | 10k|1163 |1791 |1634 | 1.826637e+03 | -- | Inf
1355.67/1355.94 c 1356s| 1500 | 286 | 2410k|1464.3 | 32M| 60 | 864 |2863 | 11k|2863 | 10k|1163 |1963 |1707 | 1.826925e+03 | -- | Inf
1402.85/1403.17 c 1403s| 1600 | 289 | 2500k|1429.1 | 32M| 60 | 612 |2863 | 11k|2863 | 10k|1163 |2158 |1797 | 1.827114e+03 | -- | Inf
1453.45/1453.76 c 1454s| 1700 | 297 | 2595k|1400.5 | 32M| 60 | 727 |2863 | 11k|2863 | 10k|1163 |2293 |1902 | 1.827152e+03 | -- | Inf
1547.14/1547.40 c 1547s| 1800 | 314 | 2763k|1416.0 | 32M| 60 |1135 |2863 | 11k|2863 | 10k|1163 |2391 |2025 | 1.827207e+03 | -- | Inf
1629.83/1630.10 c 1630s| 1900 | 329 | 2912k|1420.2 | 32M| 60 | 663 |2863 | 11k|2863 | 10k|1163 |2473 |2137 | 1.827314e+03 | -- | Inf
1678.32/1678.61 c 1679s| 2000 | 345 | 2999k|1392.5 | 32M| 60 | 886 |2863 | 11k|2863 | 10k|1163 |2601 |2206 | 1.827454e+03 | -- | Inf
1699.81/1700.16 c 1700s| 2100 | 356 | 3040k|1345.6 | 32M| 60 | 405 |2863 | 11k|2863 | 10k|1163 |2802 |2252 | 1.827648e+03 | -- | Inf
1722.91/1723.24 c 1723s| 2200 | 365 | 3083k|1304.0 | 32M| 60 | 678 |2863 | 11k|2863 | 10k|1163 |2948 |2310 | 1.827770e+03 | -- | Inf
1790.89/1791.26 c 1791s| 2300 | 372 | 3200k|1298.1 | 32M| 60 | - |2863 | 11k| 0 | 0 |1163 |3088 |2415 | 1.827851e+03 | -- | Inf
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 2311
1796.69/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00 c Dual Bound : +1.82785055564863e+03
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 s UNKNOWN
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 0.31 (included in solving)
1796.69/1797.00 c reading : 0.04 (included in solving)
1796.69/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3691987-1338031533.opb
1796.69/1797.00 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 16399 initial, 16399 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3691987-1338031533.opb
1796.69/1797.00 c Variables : 2863 (2863 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 10242 initial, 11397 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 52 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.03 0.00 19 8 0 0 0 0 0 0 0
1796.69/1797.00 c setppc : 0.03 0.00 4 0 0 0 0 116 0 0 0
1796.69/1797.00 c linear : 0.15 0.01 909 3 0 909 0 6007 0 31 24
1796.69/1797.00 c logicor : 0.05 0.00 0 0 0 4 0 34 0 0 0
1796.69/1797.00 c root node : - - 4 - - 4 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 1884 0 4 0 59 226 0 0 3456
1796.69/1797.00 c setppc : 5831 5831 135 61281 0 1 3 301098 348 122177 0 0 0
1796.69/1797.00 c logicor : 4411+ 5590 135 40968 0 1 0 128277 380 59263 6 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 464.69 0.00 0.00 0.00 464.69 0.00 0.00 0.00
1796.69/1797.00 c setppc : 6.80 0.00 0.05 6.57 0.00 0.00 0.00 0.17
1796.69/1797.00 c logicor : 0.70 0.00 0.04 0.56 0.00 0.00 0.00 0.10
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 0 0 0 0
1796.69/1797.00 c pseudoobj : 62940 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 2031 0 0 42
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.00 c pseudoobj : 0.12 0.00 0.00 0.12 0.00
1796.69/1797.00 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.69/1797.00 c redcost : 0.10 0.00 0.00 0.10 0.00
1796.69/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 0.34 728 726 8873 50.4 210 17.3 -
1796.69/1797.00 c infeasible LP : 0.37 209 200 4275 75.8 25 13.3 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 3093 39.8 - - -
1796.69/1797.00 c applied locally : - - - 0 0.0 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 1.13 134 - - 488 - (maximal pool size: 6976)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.15 0.00 135 0 0 122 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 0.11 0.00 10 0 0 500 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 2.05 0.00 20 0 0 10000 0
1796.69/1797.00 c cmir : 0.50 0.00 10 0 0 0 0
1796.69/1797.00 c flowcover : 0.57 0.00 10 0 0 0 0
1796.69/1797.00 c clique : 5.05 0.00 135 0 0 975 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 464.69 0.00 1884 59 226 0 0 3456
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 0
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c oneopt : 0.00 0.00 0 0
1796.69/1797.00 c crossover : 0.00 0.00 0 0
1796.69/1797.00 c guideddiving : 0.00 0.00 0 0
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c objpscostdiving : 35.54 0.00 3 0
1796.69/1797.00 c feaspump : 42.18 0.00 4 0
1796.69/1797.00 c pscostdiving : 99.54 0.00 8 0
1796.69/1797.00 c coefdiving : 99.94 0.00 9 0
1796.69/1797.00 c rootsoldiving : 29.48 0.00 5 0
1796.69/1797.00 c linesearchdiving : 89.29 0.00 11 0
1796.69/1797.00 c fracdiving : 111.87 0.00 11 0
1796.69/1797.00 c veclendiving : 78.58 0.00 12 0
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.01 0.00 2 0
1796.69/1797.00 c shiftandpropagate: 0.03 0.00 1 0
1796.69/1797.00 c simplerounding : 0.00 0.00 0 0
1796.69/1797.00 c zirounding : 0.68 0.00 1000 0
1796.69/1797.00 c rounding : 0.46 0.00 588 0
1796.69/1797.00 c shifting : 0.54 0.00 206 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.00 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.03 0.00 0 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.00 0.00 0 0
1796.69/1797.00 c subnlp : 0.00 0.00 0 0
1796.69/1797.00 c trysol : 0.00 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 0.12 22 0 0.00 0.00 0.12 22
1796.69/1797.00 c dual LP : 727.08 2227 1965557 893.84 2703.35 0.11 28
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 554.60 17130 1244027 72.62 2243.11
1796.69/1797.00 c strong branching : 463.84 2426 1117204 460.51 2408.58
1796.69/1797.00 c (at root node) : - 20 14864 743.20 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 2311
1796.69/1797.00 c nodes (total) : 2311
1796.69/1797.00 c nodes left : 380
1796.69/1797.00 c max depth : 60
1796.69/1797.00 c max depth (total): 60
1796.69/1797.00 c backtracks : 496 (21.5%)
1796.69/1797.00 c delayed cutoffs : 768
1796.69/1797.00 c repropagations : 2138 (59742 domain reductions, 301 cutoffs)
1796.69/1797.00 c avg switch length: 4.46
1796.69/1797.00 c switching time : 0.86
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 0 (0 improvements)
1796.69/1797.00 c Primal Bound : -
1796.69/1797.00 c Dual Bound : +1.82785055564863e+03
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 c Root Dual Bound : +1.82212070902276e+03
1796.69/1797.00 c Root Iterations : 215681
1796.69/1797.06 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3691987-1338031533/watcher-3691987-1338031533 -o /tmp/evaluation-result-3691987-1338031533/solver-3691987-1338031533 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691987-1338031533.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.03 1.95 3/176 30133
/proc/meminfo: memFree=28807560/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=13332 CPUtime=0 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 2066 0 0 0 0 0 0 0 20 0 1 0 269277410 13651968 2020 33554432000 4194304 10219143 140736105153024 140736105017864 8848048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 3333 2020 413 1471 0 1853 0
[startup+0.102217 s]
/proc/loadavg: 2.16 2.03 1.95 3/176 30133
/proc/meminfo: memFree=28807560/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=43672 CPUtime=0.09 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 9409 0 0 0 7 2 0 0 20 0 1 0 269277410 44720128 9352 33554432000 4194304 10219143 140736105153024 140736105017864 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 10918 9352 561 1471 0 9438 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43672
[startup+0.200291 s]
/proc/loadavg: 2.16 2.03 1.95 3/176 30133
/proc/meminfo: memFree=28807560/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=46520 CPUtime=0.19 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 10740 0 0 0 15 4 0 0 20 0 1 0 269277410 47636480 10073 33554432000 4194304 10219143 140736105153024 140736105017864 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 11630 10073 571 1471 0 10150 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46520
[startup+0.300277 s]
/proc/loadavg: 2.16 2.03 1.95 3/176 30133
/proc/meminfo: memFree=28807560/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=52928 CPUtime=0.28 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 12408 0 0 0 24 4 0 0 20 0 1 0 269277410 54198272 11741 33554432000 4194304 10219143 140736105153024 140736105017864 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 13232 11741 609 1471 0 11752 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52928
[startup+0.700221 s]
/proc/loadavg: 2.16 2.03 1.95 3/176 30133
/proc/meminfo: memFree=28807560/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=74032 CPUtime=0.69 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 17903 0 0 0 63 6 0 0 20 0 1 0 269277410 75808768 16938 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 18508 16938 759 1471 0 17028 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74032
[startup+1.5002 s]
/proc/loadavg: 2.16 2.03 1.95 3/177 30134
/proc/meminfo: memFree=28742444/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=73564 CPUtime=1.49 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 18114 0 0 0 142 7 0 0 20 0 1 0 269277410 75329536 17037 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 18391 17037 776 1471 0 16911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73564
[startup+3.1002 s]
/proc/loadavg: 2.16 2.03 1.95 3/177 30134
/proc/meminfo: memFree=28741716/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=73564 CPUtime=3.09 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 18224 0 0 0 302 7 0 0 20 0 1 0 269277410 75329536 17120 33554432000 4194304 10219143 140736105153024 140736105144552 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 18391 17120 776 1471 0 16911 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73564
[startup+6.3002 s]
/proc/loadavg: 2.14 2.03 1.95 3/177 30210
/proc/meminfo: memFree=28784904/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=73564 CPUtime=6.29 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 18229 0 0 0 621 8 0 0 20 0 1 0 269277410 75329536 17125 33554432000 4194304 10219143 140736105153024 140736105144232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 18391 17125 776 1471 0 16911 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73564
[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 1.95 3/177 30210
/proc/meminfo: memFree=28784268/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=73564 CPUtime=12.68 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 18231 0 0 0 1259 9 0 0 20 0 1 0 269277410 75329536 17175 33554432000 4194304 10219143 140736105153024 140736105144280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 18391 17175 776 1471 0 16911 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73564
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 1.95 3/177 30210
/proc/meminfo: memFree=28766180/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=91368 CPUtime=25.49 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 22454 0 0 0 2534 15 0 0 20 0 1 0 269277410 93560832 21427 33554432000 4194304 10219143 140736105153024 140736105146376 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 22842 21427 806 1471 0 21362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91368
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.95 3/177 30248
/proc/meminfo: memFree=28690868/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=146540 CPUtime=51.07 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 40960 0 0 0 5079 28 0 0 20 0 1 0 269277410 150056960 34693 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36635 34693 806 1471 0 35155 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 146540
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/178 30249
/proc/meminfo: memFree=28685876/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=143592 CPUtime=102.27 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42152 0 0 0 10186 41 0 0 20 0 1 0 269277410 147038208 35105 33554432000 4194304 10219143 140736105153024 140736105146856 8101133 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 35898 35105 829 1471 0 34418 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 143592
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 30250
/proc/meminfo: memFree=28683436/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=143592 CPUtime=162.25 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42158 0 0 0 16165 60 0 0 20 0 1 0 269277410 147038208 35109 33554432000 4194304 10219143 140736105153024 140736105146520 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 35898 35109 832 1471 0 34418 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 143592
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 30250
/proc/meminfo: memFree=28681952/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=143592 CPUtime=222.25 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42158 0 0 0 22145 80 0 0 20 0 1 0 269277410 147038208 35109 33554432000 4194304 10219143 140736105153024 140736105148056 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 35898 35109 832 1471 0 34418 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 143592
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 30291
/proc/meminfo: memFree=28638364/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=144600 CPUtime=282.23 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42388 0 0 0 28125 98 0 0 20 0 1 0 269277410 148070400 35339 33554432000 4194304 10219143 140736105153024 140736105146504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36150 35339 834 1471 0 34670 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 144600
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 30291
/proc/meminfo: memFree=28568212/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=144600 CPUtime=342.22 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42388 0 0 0 34105 117 0 0 20 0 1 0 269277410 148070400 35339 33554432000 4194304 10219143 140736105153024 140736105145960 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36150 35339 834 1471 0 34670 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 144600
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 30291
/proc/meminfo: memFree=28563468/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=144600 CPUtime=402.21 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42388 0 0 0 40084 137 0 0 20 0 1 0 269277410 148070400 35339 33554432000 4194304 10219143 140736105153024 140736105146664 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36150 35339 834 1471 0 34670 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 144600
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30292
/proc/meminfo: memFree=28636024/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=144600 CPUtime=462.2 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42388 0 0 0 46064 156 0 0 20 0 1 0 269277410 148070400 35339 33554432000 4194304 10219143 140736105153024 140736105148056 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36150 35339 834 1471 0 34670 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 144600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30292
/proc/meminfo: memFree=28635776/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=144600 CPUtime=522.2 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42393 0 0 0 52045 175 0 0 20 0 1 0 269277410 148070400 35344 33554432000 4194304 10219143 140736105153024 140736105146568 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36150 35344 834 1471 0 34670 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 144600
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30292
/proc/meminfo: memFree=28633664/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=146560 CPUtime=582.19 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 42875 0 0 0 58022 197 0 0 20 0 1 0 269277410 150077440 35826 33554432000 4194304 10219143 140736105153024 140736105146472 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36640 35826 834 1471 0 35160 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 146560
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28619648/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=147296 CPUtime=1062.11 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 48569 0 0 0 105855 356 0 0 20 0 1 0 269277410 150831104 35814 33554432000 4194304 10219143 140736105153024 140736105146376 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 36824 35814 834 1471 0 35344 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 147296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30297
/proc/meminfo: memFree=28616300/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=148408 CPUtime=1122.11 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 49050 0 0 0 111834 377 0 0 20 0 1 0 269277410 151969792 36295 33554432000 4194304 10219143 140736105153024 140736105146200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37102 36295 834 1471 0 35622 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 148408
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30297
/proc/meminfo: memFree=28616300/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=148408 CPUtime=1182.09 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 49066 0 0 0 117811 398 0 0 20 0 1 0 269277410 151969792 36309 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37102 36309 834 1471 0 35622 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 148408
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/176 30297
/proc/meminfo: memFree=28618124/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=149248 CPUtime=1242.08 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 51029 0 0 0 123786 422 0 0 20 0 1 0 269277410 152829952 36260 33554432000 4194304 10219143 140736105153024 140736105146648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37312 36260 834 1471 0 35832 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 149248
[startup+1302.3 s]
/proc/loadavg: 2.13 2.04 1.98 3/177 30298
/proc/meminfo: memFree=28616700/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=148416 CPUtime=1302.07 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 51925 0 0 0 129761 446 0 0 20 0 1 0 269277410 151977984 36288 33554432000 4194304 10219143 140736105153024 140736105146664 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37104 36288 834 1471 0 35624 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 148416
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/177 30299
/proc/meminfo: memFree=28617276/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=150096 CPUtime=1362.06 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 53260 0 0 0 135739 467 0 0 20 0 1 0 269277410 153698304 36591 33554432000 4194304 10219143 140736105153024 140736105146664 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37524 36591 834 1471 0 36044 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 150096
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 30299
/proc/meminfo: memFree=28613556/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=150568 CPUtime=1422.07 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 53555 0 0 0 141719 488 0 0 20 0 1 0 269277410 154181632 36835 33554432000 4194304 10219143 140736105153024 140736105146664 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37642 36835 834 1471 0 36162 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 150568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/178 30302
/proc/meminfo: memFree=28615528/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151028 CPUtime=1482.04 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 53673 0 0 0 147693 511 0 0 20 0 1 0 269277410 154652672 36951 33554432000 4194304 10219143 140736105153024 140736105146328 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37757 36951 834 1471 0 36277 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 151028
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 30302
/proc/meminfo: memFree=28613244/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=149752 CPUtime=1542.05 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 54208 0 0 0 153666 539 0 0 20 0 1 0 269277410 153346048 36433 33554432000 4194304 10219143 140736105153024 140736105146856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37438 36433 834 1471 0 35958 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 149752
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30302
/proc/meminfo: memFree=28613456/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=150624 CPUtime=1602.03 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 54588 0 0 0 159636 567 0 0 20 0 1 0 269277410 154238976 36721 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37656 36721 834 1471 0 36176 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 150624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 30302
/proc/meminfo: memFree=28609992/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=150624 CPUtime=1662.02 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 54675 0 0 0 165607 595 0 0 20 0 1 0 269277410 154238976 36808 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37656 36808 834 1471 0 36176 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 150624
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30303
/proc/meminfo: memFree=28615812/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=150428 CPUtime=1722.01 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55694 0 0 0 171575 626 0 0 20 0 1 0 269277410 154038272 36777 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37607 36777 834 1471 0 36127 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 150428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30303
/proc/meminfo: memFree=28610852/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1782 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55854 0 0 0 177542 658 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146328 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 151064
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30303
/proc/meminfo: memFree=28614572/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1785.3 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55854 0 0 0 177870 660 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 151064
[startup+1792.01 s]
/proc/loadavg: 2.08 2.02 1.99 3/177 30303
/proc/meminfo: memFree=28611780/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1791.71 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55855 0 0 0 178507 664 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146664 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 151064
[startup+1795.2 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 30303
/proc/meminfo: memFree=28562800/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1794.9 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55855 0 0 0 178825 665 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 151064
[startup+1796 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 30303
/proc/meminfo: memFree=28562800/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1795.7 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55855 0 0 0 178904 666 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146472 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1795.7
Current children cumulated vsize (KiB) 151064
[startup+1796.8 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 30303
/proc/meminfo: memFree=28562552/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1796.49 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55855 0 0 0 178983 666 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 151064
[startup+1797 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 30303
/proc/meminfo: memFree=28562552/32873648 swapFree=7360/7360
[pid=30133] ppid=30131 vsize=151064 CPUtime=1796.69 cores=1,3,5,7
/proc/30133/stat : 30133 (scip-2.1.1.4exp) R 30131 30133 28235 0 -1 4202496 55855 0 0 0 179003 666 0 0 20 0 1 0 269277410 154689536 36937 33554432000 4194304 10219143 140736105153024 140736105146280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30133/statm: 37766 36937 834 1471 0 36286 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 151064
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.77
CPU user time (s): 1790.09
CPU system time (s): 6.67298
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 151076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.09
system time used= 6.67298
maximum resident set size= 147848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55865
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= 32
involuntary context switches= 1847
runsolver used 2.79657 second user time and 8.80866 second system time
The end