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: a3bf3a4-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-3690821-1338018747.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.05/0.09 c presolving:
0.09/0.13 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.15 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.15 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.16 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.16 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.17 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.17 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.17 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.18 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.26 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.28 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.28/0.30 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.28/0.31 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.28/0.31 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.33 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.37 c (0.4s) probing: 86/2901 (3.0%) - 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 (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.38 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.39 c (0.4s) probing: 91/2901 (3.1%) - 19 fixings, 8 aggregations, 248 implications, 0 bound changes
0.28/0.39 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.38/0.40 c presolving (18 rounds):
0.38/0.40 c 999 deleted vars, 6157 deleted constraints, 0 added constraints, 913 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
0.38/0.40 c 52324 implications, 0 cliques
0.38/0.40 c presolved problem has 2863 variables (2863 bin, 0 int, 0 impl, 0 cont) and 10242 constraints
0.38/0.40 c 5831 constraints of type <setppc>
0.38/0.40 c 4411 constraints of type <logicor>
0.38/0.40 c transformed objective value is always integral (scale: 1)
0.38/0.40 c Presolving Time: 0.34
0.38/0.40 c - non default parameters ----------------------------------------------------------------------
0.38/0.40 c # SCIP version 2.1.1.4
0.38/0.40 c
0.38/0.40 c # maximal time in seconds to run
0.38/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.40 c limits/time = 1797
0.38/0.40 c
0.38/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.38/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.40 c limits/memory = 13950
0.38/0.40 c
0.38/0.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.38/0.40 c # [type: int, range: [1,2], default: 1]
0.38/0.40 c timing/clocktype = 2
0.38/0.40 c
0.38/0.40 c # belongs reading time to solving time?
0.38/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.40 c timing/reading = TRUE
0.38/0.40 c
0.38/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.38/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.38/0.40 c separating/rapidlearning/freq = 0
0.38/0.40 c
0.38/0.40 c -----------------------------------------------------------------------------------------------
0.38/0.40 c start solving
0.38/0.40 c
1.49/1.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.53 c 1.5s| 1 | 0 | 6106 | - | 24M| 0 |1944 |2863 | 10k|2863 | 10k| 0 | 32 | 0 | 1.488500e+03 | -- | Inf
18.48/18.53 c 18.5s| 1 | 0 | 41331 | - | 25M| 0 |1916 |2863 | 10k|2863 | 10k| 143 | 32 | 0 | 1.537167e+03 | -- | Inf
19.19/19.29 c 19.3s| 1 | 0 | 43724 | - | 25M| 0 |1986 |2863 | 10k|2863 | 10k| 217 | 32 | 0 | 1.566921e+03 | -- | Inf
20.08/20.12 c 20.1s| 1 | 0 | 46064 | - | 26M| 0 |1978 |2863 | 10k|2863 | 10k| 272 | 32 | 0 | 1.584917e+03 | -- | Inf
21.09/21.12 c 21.1s| 1 | 0 | 48913 | - | 27M| 0 |2026 |2863 | 10k|2863 | 10k| 314 | 32 | 0 | 1.603267e+03 | -- | Inf
21.79/21.85 c 21.9s| 1 | 0 | 50821 | - | 28M| 0 |2056 |2863 | 10k|2863 | 10k| 344 | 32 | 0 | 1.615979e+03 | -- | Inf
23.19/23.29 c 23.3s| 1 | 0 | 55112 | - | 29M| 0 |2229 |2863 | 10k|2863 | 10k| 379 | 32 | 0 | 1.628279e+03 | -- | Inf
24.99/25.04 c 25.0s| 1 | 0 | 60539 | - | 31M| 0 |2207 |2863 | 10k|2863 | 10k| 411 | 32 | 0 | 1.637049e+03 | -- | Inf
26.39/26.42 c 26.4s| 1 | 0 | 65219 | - | 33M| 0 |2283 |2863 | 10k|2863 | 10k| 444 | 32 | 0 | 1.650785e+03 | -- | Inf
27.98/28.06 c 28.1s| 1 | 0 | 69663 | - | 35M| 0 |2316 |2863 | 10k|2863 | 10k| 474 | 32 | 0 | 1.657664e+03 | -- | Inf
30.58/30.65 c 30.6s| 1 | 0 | 76875 | - | 38M| 0 |2287 |2863 | 10k|2863 | 10k| 500 | 32 | 0 | 1.666118e+03 | -- | Inf
31.98/32.07 c 32.1s| 1 | 0 | 81581 | - | 43M| 0 |2304 |2863 | 10k|2863 | 10k| 519 | 32 | 0 | 1.674699e+03 | -- | Inf
33.38/33.46 c 33.5s| 1 | 0 | 86143 | - | 45M| 0 |2307 |2863 | 10k|2863 | 10k| 546 | 32 | 0 | 1.681912e+03 | -- | Inf
34.88/34.99 c 35.0s| 1 | 0 | 90829 | - | 47M| 0 |2334 |2863 | 10k|2863 | 10k| 573 | 32 | 0 | 1.689932e+03 | -- | Inf
36.78/36.85 c 36.9s| 1 | 0 | 96213 | - | 51M| 0 |2321 |2863 | 10k|2863 | 10k| 590 | 32 | 0 | 1.694697e+03 | -- | Inf
39.08/39.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.08/39.18 c 39.2s| 1 | 0 |103757 | - | 54M| 0 |2335 |2863 | 10k|2863 | 10k| 609 | 32 | 0 | 1.700324e+03 | -- | Inf
40.18/40.24 c 40.2s| 1 | 0 |106516 | - | 58M| 0 |2298 |2863 | 10k|2863 | 10k| 627 | 32 | 0 | 1.705057e+03 | -- | Inf
42.38/42.49 c 42.5s| 1 | 0 |113287 | - | 62M| 0 |2297 |2863 | 10k|2863 | 10k| 644 | 32 | 0 | 1.710889e+03 | -- | Inf
44.17/44.21 c 44.2s| 1 | 0 |118405 | - | 68M| 0 |2287 |2863 | 10k|2863 | 10k| 667 | 32 | 0 | 1.716693e+03 | -- | Inf
45.98/46.09 c 46.1s| 1 | 0 |123676 | - | 70M| 0 |2316 |2863 | 10k|2863 | 10k| 687 | 32 | 0 | 1.722454e+03 | -- | Inf
48.38/48.44 c 48.4s| 1 | 0 |130244 | - | 75M| 0 |2305 |2863 | 10k|2863 | 10k| 704 | 32 | 0 | 1.726103e+03 | -- | Inf
48.98/49.05 c 49.1s| 1 | 0 |131951 | - | 75M| 0 |2287 |2863 | 10k|2863 | 10k| 710 | 32 | 0 | 1.727585e+03 | -- | Inf
49.38/49.48 c 49.5s| 1 | 0 |132956 | - | 75M| 0 |2285 |2863 | 10k|2863 | 10k| 712 | 32 | 0 | 1.729254e+03 | -- | Inf
50.58/50.61 c 50.6s| 1 | 0 |136043 | - | 75M| 0 |2289 |2863 | 10k|2863 | 10k| 713 | 32 | 0 | 1.732281e+03 | -- | Inf
52.27/52.33 c 52.3s| 1 | 0 |141020 | - | 75M| 0 |2294 |2863 | 10k|2863 | 10k| 718 | 32 | 0 | 1.734308e+03 | -- | Inf
52.47/52.57 c 52.6s| 1 | 0 |141456 | - | 75M| 0 |2269 |2863 | 10k|2863 | 10k| 724 | 32 | 0 | 1.735964e+03 | -- | Inf
52.88/52.96 c 53.0s| 1 | 0 |142373 | - | 75M| 0 |2249 |2863 | 10k|2863 | 10k| 727 | 32 | 0 | 1.737027e+03 | -- | Inf
53.57/53.60 c 53.6s| 1 | 0 |144164 | - | 75M| 0 |2222 |2863 | 10k|2863 | 10k| 730 | 32 | 0 | 1.739855e+03 | -- | Inf
54.07/54.13 c 54.1s| 1 | 0 |145621 | - | 75M| 0 |2253 |2863 | 10k|2863 | 10k| 733 | 32 | 0 | 1.741545e+03 | -- | Inf
54.67/54.75 c 54.8s| 1 | 0 |147615 | - | 75M| 0 |2272 |2863 | 10k|2863 | 10k| 740 | 32 | 0 | 1.742914e+03 | -- | Inf
55.37/55.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.37/55.49 c 55.5s| 1 | 0 |149578 | - | 75M| 0 |2290 |2863 | 10k|2863 | 10k| 743 | 32 | 0 | 1.745212e+03 | -- | Inf
56.47/56.54 c 56.5s| 1 | 0 |152134 | - | 75M| 0 |2276 |2863 | 10k|2863 | 10k| 749 | 32 | 0 | 1.746749e+03 | -- | Inf
56.97/57.08 c 57.1s| 1 | 0 |153534 | - | 75M| 0 |2300 |2863 | 10k|2863 | 10k| 751 | 32 | 0 | 1.749726e+03 | -- | Inf
57.77/57.89 c 57.9s| 1 | 0 |155665 | - | 75M| 0 |2287 |2863 | 10k|2863 | 10k| 757 | 32 | 0 | 1.753147e+03 | -- | Inf
58.87/58.91 c 58.9s| 1 | 0 |158258 | - | 75M| 0 |2279 |2863 | 10k|2863 | 10k| 763 | 32 | 0 | 1.756678e+03 | -- | Inf
59.77/59.81 c 59.8s| 1 | 0 |160930 | - | 75M| 0 |2304 |2863 | 10k|2863 | 10k| 767 | 32 | 0 | 1.758415e+03 | -- | Inf
60.77/60.87 c 60.9s| 1 | 0 |163786 | - | 75M| 0 |2284 |2863 | 10k|2863 | 10k| 773 | 32 | 0 | 1.761092e+03 | -- | Inf
60.97/61.08 c 61.1s| 1 | 0 |164245 | - | 75M| 0 |2282 |2863 | 10k|2863 | 10k| 775 | 32 | 0 | 1.762586e+03 | -- | Inf
61.37/61.41 c 61.4s| 1 | 0 |165068 | - | 75M| 0 |2274 |2863 | 10k|2863 | 10k| 777 | 32 | 0 | 1.763429e+03 | -- | Inf
61.57/61.62 c 61.6s| 1 | 0 |165514 | - | 75M| 0 |2282 |2863 | 10k|2863 | 10k| 782 | 32 | 0 | 1.765384e+03 | -- | Inf
61.87/61.99 c 62.0s| 1 | 0 |166379 | - | 75M| 0 |2280 |2863 | 10k|2863 | 10k| 784 | 32 | 0 | 1.767480e+03 | -- | Inf
62.47/62.50 c 62.5s| 1 | 0 |167524 | - | 75M| 0 |2286 |2863 | 10k|2863 | 10k| 787 | 32 | 0 | 1.770797e+03 | -- | Inf
62.77/62.88 c 62.9s| 1 | 0 |168660 | - | 75M| 0 |2277 |2863 | 10k|2863 | 10k| 789 | 32 | 0 | 1.772251e+03 | -- | Inf
63.27/63.32 c 63.3s| 1 | 0 |170062 | - | 75M| 0 |2234 |2863 | 10k|2863 | 10k| 801 | 32 | 0 | 1.776552e+03 | -- | Inf
63.47/63.52 c 63.5s| 1 | 0 |170477 | - | 75M| 0 |2217 |2863 | 10k|2863 | 10k| 804 | 32 | 0 | 1.777948e+03 | -- | Inf
63.67/63.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.67/63.79 c 63.8s| 1 | 0 |171221 | - | 75M| 0 |2228 |2863 | 10k|2863 | 10k| 808 | 32 | 0 | 1.780615e+03 | -- | Inf
63.96/64.03 c 64.0s| 1 | 0 |171700 | - | 75M| 0 |2251 |2863 | 10k|2863 | 10k| 814 | 32 | 0 | 1.781593e+03 | -- | Inf
64.06/64.18 c 64.2s| 1 | 0 |171898 | - | 75M| 0 |2279 |2863 | 10k|2863 | 10k| 822 | 32 | 0 | 1.782472e+03 | -- | Inf
64.78/64.82 c 64.8s| 1 | 0 |173647 | - | 75M| 0 |2294 |2863 | 10k|2863 | 10k| 825 | 32 | 0 | 1.783736e+03 | -- | Inf
65.27/65.33 c 65.3s| 1 | 0 |175042 | - | 75M| 0 |2258 |2863 | 10k|2863 | 10k| 829 | 32 | 0 | 1.785647e+03 | -- | Inf
65.97/66.01 c 66.0s| 1 | 0 |177011 | - | 75M| 0 |2255 |2863 | 10k|2863 | 10k| 833 | 32 | 0 | 1.788244e+03 | -- | Inf
65.97/66.09 c 66.1s| 1 | 0 |177063 | - | 75M| 0 |2255 |2863 | 10k|2863 | 10k| 837 | 32 | 0 | 1.788244e+03 | -- | Inf
66.16/66.25 c 66.2s| 1 | 0 |177300 | - | 75M| 0 |2244 |2863 | 10k|2863 | 10k| 839 | 32 | 0 | 1.790270e+03 | -- | Inf
66.36/66.46 c 66.5s| 1 | 0 |177673 | - | 75M| 0 |2251 |2863 | 10k|2863 | 10k| 842 | 32 | 0 | 1.791327e+03 | -- | Inf
66.46/66.59 c 66.6s| 1 | 0 |177849 | - | 75M| 0 |2250 |2863 | 10k|2863 | 10k| 846 | 32 | 0 | 1.791327e+03 | -- | Inf
66.67/66.75 c 66.7s| 1 | 0 |178104 | - | 75M| 0 |2244 |2863 | 10k|2863 | 10k| 849 | 32 | 0 | 1.792247e+03 | -- | Inf
67.17/67.22 c 67.2s| 1 | 0 |179284 | - | 75M| 0 |2263 |2863 | 10k|2863 | 10k| 853 | 32 | 0 | 1.793945e+03 | -- | Inf
67.47/67.55 c 67.6s| 1 | 0 |179979 | - | 75M| 0 |2217 |2863 | 10k|2863 | 10k| 860 | 32 | 0 | 1.794722e+03 | -- | Inf
68.07/68.13 c 68.1s| 1 | 0 |181299 | - | 75M| 0 |2194 |2863 | 10k|2863 | 10k| 868 | 32 | 0 | 1.795297e+03 | -- | Inf
68.37/68.43 c 68.4s| 1 | 0 |181897 | - | 75M| 0 |2217 |2863 | 10k|2863 | 10k| 873 | 32 | 0 | 1.796274e+03 | -- | Inf
68.67/68.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.67/68.70 c 68.7s| 1 | 0 |182547 | - | 75M| 0 |2195 |2863 | 10k|2863 | 10k| 876 | 32 | 0 | 1.797240e+03 | -- | Inf
69.17/69.28 c 69.3s| 1 | 0 |184024 | - | 75M| 0 |2192 |2863 | 10k|2863 | 10k| 882 | 32 | 0 | 1.798921e+03 | -- | Inf
69.67/69.74 c 69.7s| 1 | 0 |185441 | - | 75M| 0 |2171 |2863 | 10k|2863 | 10k| 885 | 32 | 0 | 1.799690e+03 | -- | Inf
70.07/70.16 c 70.2s| 1 | 0 |186721 | - | 75M| 0 |2166 |2863 | 10k|2863 | 10k| 889 | 32 | 0 | 1.800357e+03 | -- | Inf
70.17/70.27 c 70.3s| 1 | 0 |186886 | - | 75M| 0 |2166 |2863 | 10k|2863 | 10k| 891 | 32 | 0 | 1.800475e+03 | -- | Inf
70.47/70.55 c 70.6s| 1 | 0 |187536 | - | 75M| 0 |2173 |2863 | 10k|2863 | 10k| 896 | 32 | 0 | 1.801112e+03 | -- | Inf
70.57/70.67 c 70.7s| 1 | 0 |187695 | - | 75M| 0 |2164 |2863 | 10k|2863 | 10k| 897 | 32 | 0 | 1.802163e+03 | -- | Inf
70.97/71.07 c 71.1s| 1 | 0 |188639 | - | 75M| 0 |2186 |2863 | 10k|2863 | 10k| 900 | 32 | 0 | 1.803103e+03 | -- | Inf
71.16/71.30 c 71.3s| 1 | 0 |189047 | - | 75M| 0 |2196 |2863 | 10k|2863 | 10k| 903 | 32 | 0 | 1.803701e+03 | -- | Inf
71.56/71.66 c 71.7s| 1 | 0 |189865 | - | 75M| 0 |2172 |2863 | 10k|2863 | 10k| 908 | 32 | 0 | 1.804901e+03 | -- | Inf
72.07/72.18 c 72.2s| 1 | 0 |191571 | - | 75M| 0 |2192 |2863 | 10k|2863 | 10k| 911 | 32 | 0 | 1.805221e+03 | -- | Inf
72.17/72.27 c 72.3s| 1 | 0 |191679 | - | 75M| 0 |2164 |2863 | 10k|2863 | 10k| 918 | 32 | 0 | 1.805222e+03 | -- | Inf
72.27/72.37 c 72.4s| 1 | 0 |191776 | - | 75M| 0 |2154 |2863 | 10k|2863 | 10k| 921 | 32 | 0 | 1.806021e+03 | -- | Inf
72.67/72.72 c 72.7s| 1 | 0 |192536 | - | 75M| 0 |2174 |2863 | 10k|2863 | 10k| 923 | 32 | 0 | 1.806413e+03 | -- | Inf
72.87/72.96 c 73.0s| 1 | 0 |193015 | - | 75M| 0 |2149 |2863 | 10k|2863 | 10k| 927 | 32 | 0 | 1.807457e+03 | -- | Inf
73.07/73.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.07/73.15 c 73.2s| 1 | 0 |193385 | - | 75M| 0 |2127 |2863 | 10k|2863 | 10k| 928 | 32 | 0 | 1.808281e+03 | -- | Inf
73.27/73.36 c 73.4s| 1 | 0 |193786 | - | 75M| 0 |2149 |2863 | 10k|2863 | 10k| 931 | 32 | 0 | 1.808677e+03 | -- | Inf
73.47/73.52 c 73.5s| 1 | 0 |194014 | - | 75M| 0 |2130 |2863 | 10k|2863 | 10k| 932 | 32 | 0 | 1.809192e+03 | -- | Inf
73.67/73.72 c 73.7s| 1 | 0 |194381 | - | 75M| 0 |2119 |2863 | 10k|2863 | 10k| 937 | 32 | 0 | 1.809363e+03 | -- | Inf
73.86/73.99 c 74.0s| 1 | 0 |194997 | - | 75M| 0 |2105 |2863 | 10k|2863 | 10k| 941 | 32 | 0 | 1.810161e+03 | -- | Inf
73.96/74.09 c 74.1s| 1 | 0 |195111 | - | 75M| 0 |2110 |2863 | 10k|2863 | 10k| 946 | 32 | 0 | 1.810165e+03 | -- | Inf
74.86/74.99 c 75.0s| 1 | 0 |197284 | - | 75M| 0 |2131 |2863 | 10k|2863 | 10k| 953 | 32 | 0 | 1.811122e+03 | -- | Inf
75.36/75.44 c 75.4s| 1 | 0 |198478 | - | 75M| 0 |2159 |2863 | 10k|2863 | 10k| 960 | 32 | 0 | 1.812290e+03 | -- | Inf
75.46/75.58 c 75.6s| 1 | 0 |198664 | - | 75M| 0 |2178 |2863 | 10k|2863 | 10k| 963 | 32 | 0 | 1.812725e+03 | -- | Inf
75.66/75.70 c 75.7s| 1 | 0 |198805 | - | 75M| 0 |2145 |2863 | 10k|2863 | 10k| 966 | 32 | 0 | 1.812945e+03 | -- | Inf
76.07/76.15 c 76.2s| 1 | 0 |200045 | - | 75M| 0 |2120 |2863 | 10k|2863 | 10k| 970 | 32 | 0 | 1.813530e+03 | -- | Inf
76.37/76.45 c 76.4s| 1 | 0 |200703 | - | 75M| 0 |2129 |2863 | 10k|2863 | 10k| 974 | 32 | 0 | 1.813830e+03 | -- | Inf
76.87/76.93 c 76.9s| 1 | 0 |201871 | - | 75M| 0 |2101 |2863 | 10k|2863 | 10k| 978 | 32 | 0 | 1.814122e+03 | -- | Inf
77.16/77.26 c 77.3s| 1 | 0 |202569 | - | 75M| 0 |2109 |2863 | 10k|2863 | 10k| 985 | 32 | 0 | 1.814895e+03 | -- | Inf
77.56/77.61 c 77.6s| 1 | 0 |203222 | - | 75M| 0 |2109 |2863 | 10k|2863 | 10k| 988 | 32 | 0 | 1.815421e+03 | -- | Inf
78.07/78.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.07/78.13 c 78.1s| 1 | 0 |204624 | - | 75M| 0 |2111 |2863 | 10k|2863 | 10k| 989 | 32 | 0 | 1.815995e+03 | -- | Inf
78.16/78.23 c 78.2s| 1 | 0 |204734 | - | 75M| 0 |2094 |2863 | 10k|2863 | 10k| 992 | 32 | 0 | 1.815995e+03 | -- | Inf
78.26/78.36 c 78.4s| 1 | 0 |204861 | - | 75M| 0 |2093 |2863 | 10k|2863 | 10k| 995 | 32 | 0 | 1.816486e+03 | -- | Inf
78.46/78.59 c 78.6s| 1 | 0 |205230 | - | 75M| 0 |2101 |2863 | 10k|2863 | 10k| 998 | 32 | 0 | 1.816508e+03 | -- | Inf
78.77/78.88 c 78.9s| 1 | 0 |205831 | - | 75M| 0 |2081 |2863 | 10k|2863 | 10k|1007 | 32 | 0 | 1.816913e+03 | -- | Inf
79.17/79.26 c 79.3s| 1 | 0 |206831 | - | 75M| 0 |2083 |2863 | 10k|2863 | 10k|1015 | 32 | 0 | 1.817057e+03 | -- | Inf
79.27/79.33 c 79.3s| 1 | 0 |206855 | - | 75M| 0 |2093 |2863 | 10k|2863 | 10k|1019 | 32 | 0 | 1.817057e+03 | -- | Inf
79.37/79.43 c 79.4s| 1 | 0 |206975 | - | 75M| 0 |2092 |2863 | 10k|2863 | 10k|1020 | 32 | 0 | 1.817480e+03 | -- | Inf
79.57/79.64 c 79.6s| 1 | 0 |207352 | - | 75M| 0 |2103 |2863 | 10k|2863 | 10k|1023 | 32 | 0 | 1.817551e+03 | -- | Inf
79.96/80.04 c 80.0s| 1 | 0 |208159 | - | 75M| 0 |2085 |2863 | 10k|2863 | 10k|1026 | 32 | 0 | 1.817765e+03 | -- | Inf
80.37/80.45 c 80.5s| 1 | 0 |209091 | - | 75M| 0 |2025 |2863 | 10k|2863 | 10k|1030 | 32 | 0 | 1.818241e+03 | -- | Inf
80.47/80.55 c 80.6s| 1 | 0 |209202 | - | 75M| 0 |2032 |2863 | 10k|2863 | 10k|1034 | 32 | 0 | 1.818241e+03 | -- | Inf
80.57/80.69 c 80.7s| 1 | 0 |209426 | - | 75M| 0 |2028 |2863 | 10k|2863 | 10k|1036 | 32 | 0 | 1.818564e+03 | -- | Inf
80.77/80.83 c 80.8s| 1 | 0 |209641 | - | 75M| 0 |2026 |2863 | 10k|2863 | 10k|1038 | 32 | 0 | 1.818689e+03 | -- | Inf
80.87/80.97 c 81.0s| 1 | 0 |209801 | - | 74M| 0 |2031 |2863 | 10k|2863 | 10k|1039 | 32 | 0 | 1.819001e+03 | -- | Inf
81.06/81.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.06/81.10 c 81.1s| 1 | 0 |209978 | - | 73M| 0 |2029 |2863 | 10k|2863 | 10k|1040 | 32 | 0 | 1.819412e+03 | -- | Inf
81.27/81.33 c 81.3s| 1 | 0 |210385 | - | 72M| 0 |2027 |2863 | 10k|2863 | 10k|1043 | 32 | 0 | 1.819741e+03 | -- | Inf
81.37/81.41 c 81.4s| 1 | 0 |210453 | - | 71M| 0 |2035 |2863 | 10k|2863 | 10k|1046 | 32 | 0 | 1.819741e+03 | -- | Inf
81.46/81.50 c 81.5s| 1 | 0 |210524 | - | 69M| 0 |2041 |2863 | 10k|2863 | 10k|1050 | 32 | 0 | 1.819741e+03 | -- | Inf
81.66/81.74 c 81.7s| 1 | 0 |210919 | - | 68M| 0 |2048 |2863 | 10k|2863 | 10k|1053 | 32 | 0 | 1.820003e+03 | -- | Inf
81.96/82.00 c 82.0s| 1 | 0 |211465 | - | 65M| 0 |2052 |2863 | 10k|2863 | 10k|1058 | 32 | 0 | 1.820187e+03 | -- | Inf
82.06/82.11 c 82.1s| 1 | 0 |211591 | - | 63M| 0 |2057 |2863 | 10k|2863 | 10k|1064 | 32 | 0 | 1.820187e+03 | -- | Inf
82.16/82.29 c 82.3s| 1 | 0 |211898 | - | 58M| 0 |2063 |2863 | 10k|2863 | 10k|1069 | 32 | 0 | 1.820269e+03 | -- | Inf
82.47/82.55 c 82.6s| 1 | 0 |212328 | - | 56M| 0 |2081 |2863 | 10k|2863 | 10k|1073 | 32 | 0 | 1.820511e+03 | -- | Inf
82.56/82.66 c 82.7s| 1 | 0 |212444 | - | 54M| 0 |2085 |2863 | 10k|2863 | 10k|1078 | 32 | 0 | 1.820511e+03 | -- | Inf
82.66/82.74 c 82.7s| 1 | 0 |212530 | - | 54M| 0 |2107 |2863 | 10k|2863 | 10k|1082 | 32 | 0 | 1.820513e+03 | -- | Inf
82.76/82.81 c 82.8s| 1 | 0 |212569 | - | 52M| 0 |2100 |2863 | 10k|2863 | 10k|1084 | 32 | 0 | 1.820513e+03 | -- | Inf
82.86/82.99 c 83.0s| 1 | 0 |212859 | - | 50M| 0 |2085 |2863 | 10k|2863 | 10k|1086 | 32 | 0 | 1.820877e+03 | -- | Inf
83.16/83.22 c 83.2s| 1 | 0 |213346 | - | 46M| 0 |2081 |2863 | 10k|2863 | 10k|1091 | 32 | 0 | 1.821096e+03 | -- | Inf
83.26/83.38 c 83.4s| 1 | 0 |213588 | - | 42M| 0 |2077 |2863 | 10k|2863 | 10k|1097 | 32 | 0 | 1.821153e+03 | -- | Inf
83.36/83.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.36/83.45 c 83.4s| 1 | 0 |213664 | - | 36M| 0 |2079 |2863 | 10k|2863 | 10k|1101 | 32 | 0 | 1.821159e+03 | -- | Inf
83.47/83.55 c 83.5s| 1 | 0 |213827 | - | 33M| 0 |2083 |2863 | 10k|2863 | 10k|1106 | 32 | 0 | 1.821362e+03 | -- | Inf
83.57/83.61 c 83.6s| 1 | 0 |213845 | - | 28M| 0 |2082 |2863 | 10k|2863 | 10k|1108 | 32 | 0 | 1.821363e+03 | -- | Inf
83.57/83.70 c 83.7s| 1 | 0 |213920 | - | 27M| 0 |2085 |2863 | 10k|2863 | 10k|1113 | 32 | 0 | 1.821363e+03 | -- | Inf
83.96/84.02 c 84.0s| 1 | 0 |214652 | - | 27M| 0 |2077 |2863 | 10k|2863 | 10k|1119 | 32 | 0 | 1.821581e+03 | -- | Inf
84.06/84.13 c 84.1s| 1 | 0 |214830 | - | 27M| 0 |2092 |2863 | 10k|2863 | 10k|1127 | 32 | 0 | 1.821747e+03 | -- | Inf
84.16/84.21 c 84.2s| 1 | 0 |214898 | - | 27M| 0 |2092 |2863 | 10k|2863 | 10k|1135 | 32 | 0 | 1.821747e+03 | -- | Inf
84.16/84.28 c 84.3s| 1 | 0 |214957 | - | 27M| 0 |2104 |2863 | 10k|2863 | 10k|1139 | 32 | 0 | 1.821749e+03 | -- | Inf
84.36/84.42 c 84.4s| 1 | 0 |215151 | - | 27M| 0 |2101 |2863 | 10k|2863 | 10k|1143 | 32 | 0 | 1.821898e+03 | -- | Inf
84.36/84.47 c 84.5s| 1 | 0 |215162 | - | 26M| 0 |2101 |2863 | 10k|2863 | 10k|1145 | 32 | 0 | 1.821898e+03 | -- | Inf
84.46/84.59 c 84.6s| 1 | 0 |215317 | - | 26M| 0 |2115 |2863 | 10k|2863 | 10k|1147 | 32 | 0 | 1.822040e+03 | -- | Inf
84.67/84.70 c 84.7s| 1 | 0 |215464 | - | 26M| 0 |2109 |2863 | 10k|2863 | 10k|1150 | 32 | 0 | 1.822098e+03 | -- | Inf
84.67/84.78 c 84.8s| 1 | 0 |215515 | - | 26M| 0 |2116 |2863 | 10k|2863 | 10k|1152 | 32 | 0 | 1.822098e+03 | -- | Inf
84.76/84.85 c 84.9s| 1 | 0 |215575 | - | 26M| 0 |2132 |2863 | 10k|2863 | 10k|1154 | 32 | 0 | 1.822116e+03 | -- | Inf
84.86/84.93 c 84.9s| 1 | 0 |215601 | - | 26M| 0 |2135 |2863 | 10k|2863 | 10k|1159 | 32 | 0 | 1.822116e+03 | -- | Inf
84.96/85.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.96/85.02 c 85.0s| 1 | 0 |215681 | - | 26M| 0 |2133 |2863 | 10k|2863 | 10k|1163 | 32 | 0 | 1.822121e+03 | -- | Inf
91.56/91.61 c 91.6s| 1 | 2 |215681 | - | 26M| 0 |2133 |2863 | 10k|2863 | 10k|1163 | 32 | 20 | 1.822121e+03 | -- | Inf
496.59/496.78 c 497s| 100 | 81 |829464 |6199.8 | 27M| 32 | - |2863 | 10k| 0 | 0 |1163 | 119 | 443 | 1.825164e+03 | -- | Inf
560.99/561.18 c 561s| 200 | 127 |952149 |3700.8 | 28M| 59 | - |2863 | 10k| 0 | 0 |1163 | 272 | 548 | 1.825696e+03 | -- | Inf
597.88/598.01 c 598s| 300 | 130 | 1012k|2665.4 | 28M| 60 | 774 |2863 | 10k|2863 | 10k|1163 | 380 | 634 | 1.825711e+03 | -- | Inf
672.47/672.60 c 673s| 400 | 127 | 1156k|2358.5 | 28M| 60 |1136 |2863 | 10k|2863 | 10k|1163 | 477 | 759 | 1.825871e+03 | -- | Inf
739.46/739.65 c 740s| 500 | 149 | 1271k|2115.4 | 28M| 60 | 997 |2863 | 10k|2863 | 10k|1163 | 612 | 860 | 1.825871e+03 | -- | Inf
817.25/817.42 c 817s| 600 | 168 | 1411k|1995.8 | 28M| 60 | 625 |2863 | 10k|2863 | 10k|1163 | 735 | 954 | 1.825882e+03 | -- | Inf
883.64/883.81 c 884s| 700 | 178 | 1537k|1891.5 | 29M| 60 | 532 |2863 | 10k|2863 | 10k|1163 | 863 |1010 | 1.826037e+03 | -- | Inf
965.23/965.45 c 965s| 800 | 199 | 1685k|1839.4 | 29M| 60 | 534 |2863 | 11k|2863 | 10k|1163 |1006 |1093 | 1.826434e+03 | -- | Inf
1022.12/1022.37 c 1022s| 900 | 202 | 1783k|1743.9 | 29M| 60 |1439 |2863 | 11k|2863 | 10k|1163 |1129 |1189 | 1.826476e+03 | -- | Inf
1085.91/1086.13 c 1086s| 1000 | 224 | 1890k|1676.8 | 29M| 60 |1008 |2863 | 10k|2863 | 10k|1163 |1173 |1315 | 1.826513e+03 | -- | Inf
1174.79/1175.01 c 1175s| 1100 | 237 | 2043k|1662.7 | 29M| 60 |1238 |2863 | 10k|2863 | 10k|1163 |1273 |1427 | 1.826585e+03 | -- | Inf
1224.98/1225.28 c 1225s| 1200 | 250 | 2140k|1605.1 | 29M| 60 | 670 |2863 | 10k|2863 | 10k|1163 |1399 |1489 | 1.826592e+03 | -- | Inf
1279.98/1280.24 c 1280s| 1300 | 261 | 2250k|1566.1 | 29M| 60 | - |2863 | 11k| 0 | 0 |1163 |1617 |1564 | 1.826623e+03 | -- | Inf
1325.47/1325.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.47/1325.72 c 1326s| 1400 | 271 | 2332k|1513.0 | 29M| 60 | 941 |2863 | 11k|2863 | 10k|1163 |1791 |1634 | 1.826637e+03 | -- | Inf
1368.17/1368.44 c 1368s| 1500 | 286 | 2410k|1464.3 | 29M| 60 | 864 |2863 | 11k|2863 | 10k|1163 |1963 |1707 | 1.826925e+03 | -- | Inf
1415.85/1416.11 c 1416s| 1600 | 289 | 2500k|1429.1 | 29M| 60 | 612 |2863 | 11k|2863 | 10k|1163 |2158 |1797 | 1.827114e+03 | -- | Inf
1466.94/1467.26 c 1467s| 1700 | 297 | 2595k|1400.5 | 29M| 60 | 727 |2863 | 11k|2863 | 10k|1163 |2293 |1902 | 1.827152e+03 | -- | Inf
1561.33/1561.65 c 1562s| 1800 | 314 | 2763k|1416.0 | 29M| 60 |1135 |2863 | 11k|2863 | 10k|1163 |2391 |2025 | 1.827207e+03 | -- | Inf
1644.62/1644.97 c 1645s| 1900 | 329 | 2912k|1420.2 | 30M| 60 | 663 |2863 | 11k|2863 | 10k|1163 |2473 |2137 | 1.827314e+03 | -- | Inf
1693.62/1693.97 c 1694s| 2000 | 345 | 2999k|1392.5 | 30M| 60 | 886 |2863 | 11k|2863 | 10k|1163 |2601 |2206 | 1.827454e+03 | -- | Inf
1715.41/1715.72 c 1716s| 2100 | 356 | 3040k|1345.6 | 30M| 60 | 405 |2863 | 11k|2863 | 10k|1163 |2802 |2252 | 1.827648e+03 | -- | Inf
1738.61/1738.98 c 1739s| 2200 | 365 | 3083k|1304.0 | 30M| 60 | 678 |2863 | 11k|2863 | 10k|1163 |2948 |2310 | 1.827770e+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 : 2277
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.34 (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-3690821-1338018747.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-3690821-1338018747.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.00 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 1857 0 4 0 59 220 0 0 3406
1796.69/1797.00 c setppc : 5831 5831 135 60628 0 0 3 296891 341 120314 0 0 0
1796.69/1797.00 c logicor : 4411+ 5590 135 40495 0 0 0 126423 373 58416 6 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 0 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.27 0.00 0.00 0.00 464.27 0.00 0.00 0.00
1796.69/1797.00 c setppc : 6.41 0.00 0.05 6.19 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 : 62259 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 2004 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.13 0.00 0.00 0.13 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.33 714 712 8696 50.5 209 17.4 -
1796.69/1797.00 c infeasible LP : 0.38 208 199 4273 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 : - - - 3055 39.9 - - -
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.12 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.14 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.08 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 : 4.88 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.27 0.00 1857 59 220 0 0 3406
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 0 0 0 0 0 0
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 rootsoldiving : 29.50 0.00 5 0
1796.69/1797.00 c linesearchdiving : 90.45 0.00 11 0
1796.69/1797.00 c veclendiving : 79.64 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.70 0.00 1000 0
1796.69/1797.00 c rounding : 0.47 0.00 584 0
1796.69/1797.00 c shifting : 0.55 0.00 205 0
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c feaspump : 42.22 0.00 4 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 coefdiving : 101.02 0.00 9 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c pscostdiving : 100.70 0.00 8 0
1796.69/1797.00 c fracdiving : 112.15 0.00 11 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 objpscostdiving : 35.61 0.00 3 0
1796.69/1797.00 c guideddiving : 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 : 722.57 2199 1939430 893.33 2684.05 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: 558.37 16987 1240667 73.04 2221.96
1796.69/1797.00 c strong branching : 463.42 2404 1107316 460.61 2389.47
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 : 2277
1796.69/1797.00 c nodes (total) : 2277
1796.69/1797.00 c nodes left : 373
1796.69/1797.00 c max depth : 60
1796.69/1797.00 c max depth (total): 60
1796.69/1797.00 c backtracks : 491 (21.6%)
1796.69/1797.00 c delayed cutoffs : 757
1796.69/1797.00 c repropagations : 2117 (58818 domain reductions, 297 cutoffs)
1796.69/1797.00 c avg switch length: 4.46
1796.69/1797.00 c switching time : 0.83
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.05 c Time complete: 1796.75.
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-3690821-1338018747/watcher-3690821-1338018747 -o /tmp/evaluation-result-3690821-1338018747/solver-3690821-1338018747 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690821-1338018747.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.00 2.00 1.70 3/176 18829
/proc/meminfo: memFree=29080492/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=12480 CPUtime=0 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 1832 0 0 0 0 0 0 0 20 0 1 0 268000210 12779520 1788 33554432000 4194304 10173063 140733349787296 140735954728824 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 3120 1803 408 1460 0 1651 0
[startup+0.0694769 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 18829
/proc/meminfo: memFree=29080492/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=37292 CPUtime=0.05 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 7836 0 0 0 5 0 0 0 20 0 1 0 268000210 38187008 7791 33554432000 4194304 10173063 140733349787296 140735954728824 4900959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 9323 7791 515 1460 0 7854 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 37292
[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 18829
/proc/meminfo: memFree=29080492/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=45136 CPUtime=0.09 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 9793 0 0 0 8 1 0 0 20 0 1 0 268000210 46219264 9748 33554432000 4194304 10173063 140733349787296 140735954728824 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 11284 9748 551 1460 0 9815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45136
[startup+0.300171 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 18829
/proc/meminfo: memFree=29080492/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=51852 CPUtime=0.28 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 12377 0 0 0 24 4 0 0 20 0 1 0 268000210 53096448 11437 33554432000 4194304 10173063 140733349787296 140735954728824 5285159 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 12963 11449 587 1460 0 11494 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51852
[startup+0.700146 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 18829
/proc/meminfo: memFree=29080492/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=73328 CPUtime=0.69 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 18209 0 0 0 63 6 0 0 20 0 1 0 268000210 75087872 16922 33554432000 4194304 10173063 140733349787296 140733349780648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 18332 16922 763 1460 0 16863 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73328
[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 18830
/proc/meminfo: memFree=29015872/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=73328 CPUtime=1.49 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 18229 0 0 0 142 7 0 0 20 0 1 0 268000210 75087872 16942 33554432000 4194304 10173063 140733349787296 140733349780648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 18332 16942 763 1460 0 16863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73328
[startup+3.10013 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 18830
/proc/meminfo: memFree=29014120/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=73876 CPUtime=3.09 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 18721 0 0 0 301 8 0 0 20 0 1 0 268000210 75649024 17302 33554432000 4194304 10173063 140733349787296 140733349778552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 18469 17302 783 1460 0 17000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73876
[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 18830
/proc/meminfo: memFree=29013900/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=73876 CPUtime=6.29 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 18729 0 0 0 620 9 0 0 20 0 1 0 268000210 75649024 17310 33554432000 4194304 10173063 140733349787296 140733349778456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 18469 17310 783 1460 0 17000 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73876
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 1.70 3/177 18830
/proc/meminfo: memFree=29014296/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=73876 CPUtime=12.68 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 18729 0 0 0 1257 11 0 0 20 0 1 0 268000210 75649024 17310 33554432000 4194304 10173063 140733349787296 140733349778552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 18469 17310 783 1460 0 17000 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73876
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 1.71 3/177 18830
/proc/meminfo: memFree=29001680/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=90884 CPUtime=25.48 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 23587 0 0 0 2530 18 0 0 20 0 1 0 268000210 93065216 20988 33554432000 4194304 10173063 140733349787296 140733349780552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 22721 20988 813 1460 0 21252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90884
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.72 3/177 18830
/proc/meminfo: memFree=28943432/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=148244 CPUtime=51.07 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45002 0 0 0 5072 35 0 0 20 0 1 0 268000210 151801856 35044 33554432000 4194304 10173063 140733349787296 140733349780648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37061 35044 813 1460 0 35592 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 148244
[startup+102.307 s]
/proc/loadavg: 2.08 2.02 1.73 3/177 18830
/proc/meminfo: memFree=28939944/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=102.27 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45624 0 0 0 10171 56 0 0 20 0 1 0 268000210 150179840 35653 33554432000 4194304 10173063 140733349787296 140733349780744 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35653 837 1460 0 35196 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 146660
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.75 3/177 18869
/proc/meminfo: memFree=28728580/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=162.25 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45626 0 0 0 16148 77 0 0 20 0 1 0 268000210 150179840 35655 33554432000 4194304 10173063 140733349787296 140733349780744 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35655 839 1460 0 35196 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 146660
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.76 3/177 18869
/proc/meminfo: memFree=28691288/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=222.24 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45626 0 0 0 22130 94 0 0 20 0 1 0 268000210 150179840 35655 33554432000 4194304 10173063 140733349787296 140733349780264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35655 839 1460 0 35196 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 146660
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/177 18869
/proc/meminfo: memFree=28690156/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=282.23 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45629 0 0 0 28110 113 0 0 20 0 1 0 268000210 150179840 35658 33554432000 4194304 10173063 140733349787296 140733349780376 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35658 842 1460 0 35196 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 146660
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 18869
/proc/meminfo: memFree=28689956/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=342.22 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45629 0 0 0 34092 130 0 0 20 0 1 0 268000210 150179840 35658 33554432000 4194304 10173063 140733349787296 140733349780232 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35658 842 1460 0 35196 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 146660
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 18869
/proc/meminfo: memFree=28689956/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=402.22 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45629 0 0 0 40072 150 0 0 20 0 1 0 268000210 150179840 35658 33554432000 4194304 10173063 140733349787296 140733349780744 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35658 842 1460 0 35196 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 146660
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.81 3/178 18873
/proc/meminfo: memFree=28689684/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=462.2 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45629 0 0 0 46050 170 0 0 20 0 1 0 268000210 150179840 35658 33554432000 4194304 10173063 140733349787296 140733349780936 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35658 842 1460 0 35196 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 146660
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.82 3/178 18896
/proc/meminfo: memFree=28689064/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=522.19 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45629 0 0 0 52030 189 0 0 20 0 1 0 268000210 150179840 35658 33554432000 4194304 10173063 140733349787296 140733349780552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35658 842 1460 0 35196 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 146660
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 1.83 3/177 18896
/proc/meminfo: memFree=28682848/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=146660 CPUtime=582.18 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 45629 0 0 0 58006 212 0 0 20 0 1 0 268000210 150179840 35658 33554432000 4194304 10173063 140733349787296 140733349780840 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 36665 35658 842 1460 0 35196 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 146660
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28611948/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151020 CPUtime=1122.1 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 51709 0 0 0 111810 400 0 0 20 0 1 0 268000210 154644480 36674 33554432000 4194304 10173063 140733349787296 140733349780472 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37755 36674 842 1460 0 36286 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 151020
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 18901
/proc/meminfo: memFree=28607232/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151020 CPUtime=1182.1 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 51748 0 0 0 117792 418 0 0 20 0 1 0 268000210 154644480 36713 33554432000 4194304 10173063 140733349787296 140733349780552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37755 36713 842 1460 0 36286 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 151020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18901
/proc/meminfo: memFree=28594568/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151116 CPUtime=1242.09 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 52703 0 0 0 123771 438 0 0 20 0 1 0 268000210 154742784 36643 33554432000 4194304 10173063 140733349787296 140733349780408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37779 36643 842 1460 0 36310 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 151116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18901
/proc/meminfo: memFree=28586508/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=150188 CPUtime=1302.08 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 53297 0 0 0 129747 461 0 0 20 0 1 0 268000210 153792512 36309 33554432000 4194304 10173063 140733349787296 140733349780680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37547 36309 842 1460 0 36078 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 150188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18902
/proc/meminfo: memFree=28580432/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=150016 CPUtime=1362.06 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 55188 0 0 0 135722 484 0 0 20 0 1 0 268000210 153616384 36248 33554432000 4194304 10173063 140733349787296 140733349780744 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37504 36248 842 1460 0 36035 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 150016
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18902
/proc/meminfo: memFree=28568684/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151848 CPUtime=1422.06 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 55937 0 0 0 141700 506 0 0 20 0 1 0 268000210 155492352 36889 33554432000 4194304 10173063 140733349787296 140733349780600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37962 36889 842 1460 0 36493 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 151848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18902
/proc/meminfo: memFree=28559388/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152112 CPUtime=1482.05 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 56041 0 0 0 147677 528 0 0 20 0 1 0 268000210 155762688 36993 33554432000 4194304 10173063 140733349787296 140733349780392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38028 36993 842 1460 0 36559 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 152112
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18902
/proc/meminfo: memFree=28550872/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152112 CPUtime=1542.04 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 56071 0 0 0 153652 552 0 0 20 0 1 0 268000210 155762688 37022 33554432000 4194304 10173063 140733349787296 140733349780552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38028 37022 842 1460 0 36559 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 152112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18902
/proc/meminfo: memFree=28540084/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151708 CPUtime=1602.02 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 57088 0 0 0 159627 575 0 0 20 0 1 0 268000210 155348992 36855 33554432000 4194304 10173063 140733349787296 140733349780264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37927 36855 842 1460 0 36458 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 151708
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 18906
/proc/meminfo: memFree=28534896/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151708 CPUtime=1662.01 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 57100 0 0 0 165604 597 0 0 20 0 1 0 268000210 155348992 36867 33554432000 4194304 10173063 140733349787296 140733349780600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37927 36867 842 1460 0 36458 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 151708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28527220/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152160 CPUtime=1722 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 57222 0 0 0 171579 621 0 0 20 0 1 0 268000210 155811840 36989 33554432000 4194304 10173063 140733349787296 140733349780600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38040 36989 842 1460 0 36571 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 152160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28519004/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=151908 CPUtime=1782 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58206 0 0 0 177553 647 0 0 20 0 1 0 268000210 155553792 36970 33554432000 4194304 10173063 140733349787296 140733349780936 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 37977 36970 842 1460 0 36508 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 151908
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28517764/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1785.2 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 177872 648 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349781128 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 152148
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28515904/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1791.6 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 178510 650 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349780216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 152148
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28515284/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1794.81 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 178830 651 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349780216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 152148
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28515284/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1795.6 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 178909 651 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349780216 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 152148
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28515160/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1796.39 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 178988 651 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349780600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 152148
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28515160/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1796.59 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 179008 651 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349780600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 152148
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 18906
/proc/meminfo: memFree=28515160/32873648 swapFree=7100/7100
[pid=18829] ppid=18827 vsize=152148 CPUtime=1796.69 cores=1,3,5,7
/proc/18829/stat : 18829 (scip-2.1.1.4fix) R 18827 18829 18656 0 -1 4202496 58266 0 0 0 179018 651 0 0 20 0 1 0 268000210 155799552 37030 33554432000 4194304 10173063 140733349787296 140733349780600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18829/statm: 38037 37030 842 1460 0 36568 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 152148
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.76
CPU user time (s): 1790.24
CPU system time (s): 6.52501
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 152932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.24
system time used= 6.52501
maximum resident set size= 148492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58277
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= 24
involuntary context switches= 1848
runsolver used 3.2815 second user time and 8.58469 second system time
The end