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-3693153-1338031237.opb>
0.02/0.04 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.02/0.04 c problem read in 0.04
0.09/0.10 c presolving:
0.09/0.17 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.19/0.20 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.19/0.21 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.19/0.23 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.19/0.24 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.19/0.25 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.19/0.26 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.19/0.28 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.19/0.29 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.39/0.41 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.39/0.43 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.39/0.47 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.39/0.48 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.39/0.49 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.49/0.52 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.49/0.58 c (0.6s) probing: 86/2901 (3.0%) - 19 fixings, 8 aggregations, 248 implications, 0 bound changes
0.49/0.58 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.49/0.58 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.49/0.59 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.58/0.61 c (0.6s) probing: 91/2901 (3.1%) - 19 fixings, 8 aggregations, 248 implications, 0 bound changes
0.58/0.61 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.58/0.62 c presolving (18 rounds):
0.58/0.62 c 999 deleted vars, 6157 deleted constraints, 0 added constraints, 913 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
0.58/0.62 c 52324 implications, 0 cliques
0.58/0.62 c presolved problem has 2863 variables (2863 bin, 0 int, 0 impl, 0 cont) and 10242 constraints
0.58/0.62 c 5831 constraints of type <setppc>
0.58/0.62 c 4411 constraints of type <logicor>
0.58/0.62 c transformed objective value is always integral (scale: 1)
0.58/0.62 c Presolving Time: 0.56
0.58/0.62 c - non default parameters ----------------------------------------------------------------------
0.58/0.62 c # SCIP version 2.1.1.4
0.58/0.62 c
0.58/0.62 c # maximal time in seconds to run
0.58/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.62 c limits/time = 1797
0.58/0.62 c
0.58/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.58/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.62 c limits/memory = 13950
0.58/0.62 c
0.58/0.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.58/0.62 c # [type: int, range: [1,2], default: 1]
0.58/0.62 c timing/clocktype = 2
0.58/0.62 c
0.58/0.62 c # belongs reading time to solving time?
0.58/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.62 c timing/reading = TRUE
0.58/0.62 c
0.58/0.62 c -----------------------------------------------------------------------------------------------
0.58/0.62 c start solving
0.58/0.63 c
1.69/1.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.75 c 1.8s| 1 | 0 | 6106 | - | 24M| 0 |1944 |2863 | 10k|2863 | 10k| 0 | 32 | 0 | 1.488500e+03 | -- | Inf
18.78/18.83 c 18.8s| 1 | 0 | 41331 | - | 25M| 0 |1916 |2863 | 10k|2863 | 10k| 143 | 32 | 0 | 1.537167e+03 | -- | Inf
19.59/19.60 c 19.6s| 1 | 0 | 43724 | - | 25M| 0 |1986 |2863 | 10k|2863 | 10k| 217 | 32 | 0 | 1.566921e+03 | -- | Inf
20.39/20.43 c 20.4s| 1 | 0 | 46064 | - | 26M| 0 |1978 |2863 | 10k|2863 | 10k| 272 | 32 | 0 | 1.584917e+03 | -- | Inf
21.38/21.44 c 21.4s| 1 | 0 | 48913 | - | 27M| 0 |2026 |2863 | 10k|2863 | 10k| 314 | 32 | 0 | 1.603267e+03 | -- | Inf
22.09/22.18 c 22.2s| 1 | 0 | 50821 | - | 28M| 0 |2056 |2863 | 10k|2863 | 10k| 344 | 32 | 0 | 1.615979e+03 | -- | Inf
23.59/23.62 c 23.6s| 1 | 0 | 55112 | - | 29M| 0 |2229 |2863 | 10k|2863 | 10k| 379 | 32 | 0 | 1.628279e+03 | -- | Inf
25.30/25.38 c 25.4s| 1 | 0 | 60539 | - | 31M| 0 |2207 |2863 | 10k|2863 | 10k| 411 | 32 | 0 | 1.637049e+03 | -- | Inf
26.68/26.76 c 26.8s| 1 | 0 | 65219 | - | 33M| 0 |2283 |2863 | 10k|2863 | 10k| 444 | 32 | 0 | 1.650785e+03 | -- | Inf
28.38/28.41 c 28.4s| 1 | 0 | 69663 | - | 35M| 0 |2316 |2863 | 10k|2863 | 10k| 474 | 32 | 0 | 1.657664e+03 | -- | Inf
30.88/30.99 c 31.0s| 1 | 0 | 76875 | - | 38M| 0 |2287 |2863 | 10k|2863 | 10k| 500 | 32 | 0 | 1.666118e+03 | -- | Inf
32.39/32.42 c 32.4s| 1 | 0 | 81581 | - | 43M| 0 |2304 |2863 | 10k|2863 | 10k| 519 | 32 | 0 | 1.674699e+03 | -- | Inf
33.79/33.82 c 33.8s| 1 | 0 | 86143 | - | 45M| 0 |2307 |2863 | 10k|2863 | 10k| 546 | 32 | 0 | 1.681912e+03 | -- | Inf
35.28/35.37 c 35.4s| 1 | 0 | 90829 | - | 47M| 0 |2334 |2863 | 10k|2863 | 10k| 573 | 32 | 0 | 1.689932e+03 | -- | Inf
37.18/37.26 c 37.3s| 1 | 0 | 96213 | - | 51M| 0 |2321 |2863 | 10k|2863 | 10k| 590 | 32 | 0 | 1.694697e+03 | -- | Inf
39.49/39.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.49/39.60 c 39.6s| 1 | 0 |103757 | - | 54M| 0 |2335 |2863 | 10k|2863 | 10k| 609 | 32 | 0 | 1.700324e+03 | -- | Inf
40.59/40.68 c 40.7s| 1 | 0 |106516 | - | 58M| 0 |2298 |2863 | 10k|2863 | 10k| 627 | 32 | 0 | 1.705057e+03 | -- | Inf
42.89/42.94 c 42.9s| 1 | 0 |113287 | - | 62M| 0 |2297 |2863 | 10k|2863 | 10k| 644 | 32 | 0 | 1.710889e+03 | -- | Inf
44.58/44.69 c 44.7s| 1 | 0 |118405 | - | 68M| 0 |2287 |2863 | 10k|2863 | 10k| 667 | 32 | 0 | 1.716693e+03 | -- | Inf
46.58/46.61 c 46.6s| 1 | 0 |123676 | - | 70M| 0 |2316 |2863 | 10k|2863 | 10k| 687 | 32 | 0 | 1.722454e+03 | -- | Inf
48.98/49.02 c 49.0s| 1 | 0 |130244 | - | 75M| 0 |2305 |2863 | 10k|2863 | 10k| 704 | 32 | 0 | 1.726103e+03 | -- | Inf
49.58/49.65 c 49.6s| 1 | 0 |131951 | - | 75M| 0 |2287 |2863 | 10k|2863 | 10k| 710 | 32 | 0 | 1.727585e+03 | -- | Inf
49.98/50.09 c 50.1s| 1 | 0 |132956 | - | 75M| 0 |2285 |2863 | 10k|2863 | 10k| 712 | 32 | 0 | 1.729254e+03 | -- | Inf
51.18/51.24 c 51.2s| 1 | 0 |136043 | - | 75M| 0 |2289 |2863 | 10k|2863 | 10k| 713 | 32 | 0 | 1.732281e+03 | -- | Inf
52.98/53.00 c 53.0s| 1 | 0 |141020 | - | 75M| 0 |2294 |2863 | 10k|2863 | 10k| 718 | 32 | 0 | 1.734308e+03 | -- | Inf
53.18/53.24 c 53.2s| 1 | 0 |141456 | - | 75M| 0 |2269 |2863 | 10k|2863 | 10k| 724 | 32 | 0 | 1.735964e+03 | -- | Inf
53.58/53.65 c 53.6s| 1 | 0 |142373 | - | 75M| 0 |2249 |2863 | 10k|2863 | 10k| 727 | 32 | 0 | 1.737027e+03 | -- | Inf
54.28/54.30 c 54.3s| 1 | 0 |144164 | - | 75M| 0 |2222 |2863 | 10k|2863 | 10k| 730 | 32 | 0 | 1.739855e+03 | -- | Inf
54.78/54.85 c 54.9s| 1 | 0 |145621 | - | 75M| 0 |2253 |2863 | 10k|2863 | 10k| 733 | 32 | 0 | 1.741545e+03 | -- | Inf
55.38/55.48 c 55.5s| 1 | 0 |147615 | - | 75M| 0 |2272 |2863 | 10k|2863 | 10k| 740 | 32 | 0 | 1.742914e+03 | -- | Inf
56.18/56.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.18/56.25 c 56.2s| 1 | 0 |149578 | - | 75M| 0 |2290 |2863 | 10k|2863 | 10k| 743 | 32 | 0 | 1.745212e+03 | -- | Inf
57.28/57.31 c 57.3s| 1 | 0 |152134 | - | 75M| 0 |2276 |2863 | 10k|2863 | 10k| 749 | 32 | 0 | 1.746749e+03 | -- | Inf
57.78/57.87 c 57.9s| 1 | 0 |153534 | - | 75M| 0 |2300 |2863 | 10k|2863 | 10k| 751 | 32 | 0 | 1.749726e+03 | -- | Inf
58.68/58.70 c 58.7s| 1 | 0 |155665 | - | 75M| 0 |2287 |2863 | 10k|2863 | 10k| 757 | 32 | 0 | 1.753147e+03 | -- | Inf
59.68/59.73 c 59.7s| 1 | 0 |158258 | - | 75M| 0 |2279 |2863 | 10k|2863 | 10k| 763 | 32 | 0 | 1.756678e+03 | -- | Inf
60.58/60.65 c 60.7s| 1 | 0 |160930 | - | 75M| 0 |2304 |2863 | 10k|2863 | 10k| 767 | 32 | 0 | 1.758415e+03 | -- | Inf
61.68/61.73 c 61.7s| 1 | 0 |163786 | - | 75M| 0 |2284 |2863 | 10k|2863 | 10k| 773 | 32 | 0 | 1.761092e+03 | -- | Inf
61.88/61.95 c 61.9s| 1 | 0 |164245 | - | 75M| 0 |2282 |2863 | 10k|2863 | 10k| 775 | 32 | 0 | 1.762586e+03 | -- | Inf
62.18/62.28 c 62.3s| 1 | 0 |165068 | - | 75M| 0 |2274 |2863 | 10k|2863 | 10k| 777 | 32 | 0 | 1.763429e+03 | -- | Inf
62.47/62.51 c 62.5s| 1 | 0 |165514 | - | 75M| 0 |2282 |2863 | 10k|2863 | 10k| 782 | 32 | 0 | 1.765384e+03 | -- | Inf
62.77/62.89 c 62.9s| 1 | 0 |166379 | - | 75M| 0 |2280 |2863 | 10k|2863 | 10k| 784 | 32 | 0 | 1.767480e+03 | -- | Inf
63.38/63.41 c 63.4s| 1 | 0 |167524 | - | 75M| 0 |2286 |2863 | 10k|2863 | 10k| 787 | 32 | 0 | 1.770797e+03 | -- | Inf
63.69/63.80 c 63.8s| 1 | 0 |168660 | - | 75M| 0 |2277 |2863 | 10k|2863 | 10k| 789 | 32 | 0 | 1.772251e+03 | -- | Inf
64.18/64.25 c 64.3s| 1 | 0 |170062 | - | 75M| 0 |2234 |2863 | 10k|2863 | 10k| 801 | 32 | 0 | 1.776552e+03 | -- | Inf
64.38/64.45 c 64.5s| 1 | 0 |170477 | - | 75M| 0 |2217 |2863 | 10k|2863 | 10k| 804 | 32 | 0 | 1.777948e+03 | -- | Inf
64.68/64.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.68/64.74 c 64.7s| 1 | 0 |171221 | - | 75M| 0 |2228 |2863 | 10k|2863 | 10k| 808 | 32 | 0 | 1.780615e+03 | -- | Inf
64.88/64.98 c 65.0s| 1 | 0 |171700 | - | 75M| 0 |2251 |2863 | 10k|2863 | 10k| 814 | 32 | 0 | 1.781593e+03 | -- | Inf
65.07/65.14 c 65.1s| 1 | 0 |171898 | - | 75M| 0 |2279 |2863 | 10k|2863 | 10k| 822 | 32 | 0 | 1.782472e+03 | -- | Inf
65.68/65.79 c 65.8s| 1 | 0 |173647 | - | 75M| 0 |2294 |2863 | 10k|2863 | 10k| 825 | 32 | 0 | 1.783736e+03 | -- | Inf
66.28/66.32 c 66.3s| 1 | 0 |175042 | - | 75M| 0 |2258 |2863 | 10k|2863 | 10k| 829 | 32 | 0 | 1.785647e+03 | -- | Inf
66.98/67.01 c 67.0s| 1 | 0 |177011 | - | 75M| 0 |2255 |2863 | 10k|2863 | 10k| 833 | 32 | 0 | 1.788244e+03 | -- | Inf
66.98/67.10 c 67.1s| 1 | 0 |177063 | - | 75M| 0 |2255 |2863 | 10k|2863 | 10k| 837 | 32 | 0 | 1.788244e+03 | -- | Inf
67.18/67.26 c 67.3s| 1 | 0 |177300 | - | 75M| 0 |2244 |2863 | 10k|2863 | 10k| 839 | 32 | 0 | 1.790270e+03 | -- | Inf
67.37/67.49 c 67.5s| 1 | 0 |177673 | - | 75M| 0 |2251 |2863 | 10k|2863 | 10k| 842 | 32 | 0 | 1.791327e+03 | -- | Inf
67.57/67.62 c 67.6s| 1 | 0 |177849 | - | 75M| 0 |2250 |2863 | 10k|2863 | 10k| 846 | 32 | 0 | 1.791327e+03 | -- | Inf
67.67/67.78 c 67.8s| 1 | 0 |178104 | - | 75M| 0 |2244 |2863 | 10k|2863 | 10k| 849 | 32 | 0 | 1.792247e+03 | -- | Inf
68.18/68.27 c 68.3s| 1 | 0 |179284 | - | 75M| 0 |2263 |2863 | 10k|2863 | 10k| 853 | 32 | 0 | 1.793945e+03 | -- | Inf
68.57/68.61 c 68.6s| 1 | 0 |179979 | - | 75M| 0 |2217 |2863 | 10k|2863 | 10k| 860 | 32 | 0 | 1.794722e+03 | -- | Inf
69.18/69.21 c 69.2s| 1 | 0 |181299 | - | 75M| 0 |2194 |2863 | 10k|2863 | 10k| 868 | 32 | 0 | 1.795297e+03 | -- | Inf
69.48/69.51 c 69.5s| 1 | 0 |181897 | - | 75M| 0 |2217 |2863 | 10k|2863 | 10k| 873 | 32 | 0 | 1.796274e+03 | -- | Inf
69.78/69.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.78/69.80 c 69.8s| 1 | 0 |182547 | - | 75M| 0 |2195 |2863 | 10k|2863 | 10k| 876 | 32 | 0 | 1.797240e+03 | -- | Inf
70.28/70.39 c 70.4s| 1 | 0 |184024 | - | 75M| 0 |2192 |2863 | 10k|2863 | 10k| 882 | 32 | 0 | 1.798921e+03 | -- | Inf
70.77/70.86 c 70.9s| 1 | 0 |185441 | - | 75M| 0 |2171 |2863 | 10k|2863 | 10k| 885 | 32 | 0 | 1.799690e+03 | -- | Inf
71.17/71.29 c 71.3s| 1 | 0 |186721 | - | 75M| 0 |2166 |2863 | 10k|2863 | 10k| 889 | 32 | 0 | 1.800357e+03 | -- | Inf
71.38/71.41 c 71.4s| 1 | 0 |186886 | - | 75M| 0 |2166 |2863 | 10k|2863 | 10k| 891 | 32 | 0 | 1.800475e+03 | -- | Inf
71.68/71.70 c 71.7s| 1 | 0 |187536 | - | 75M| 0 |2173 |2863 | 10k|2863 | 10k| 896 | 32 | 0 | 1.801112e+03 | -- | Inf
71.78/71.82 c 71.8s| 1 | 0 |187695 | - | 75M| 0 |2164 |2863 | 10k|2863 | 10k| 897 | 32 | 0 | 1.802163e+03 | -- | Inf
72.18/72.24 c 72.2s| 1 | 0 |188639 | - | 75M| 0 |2186 |2863 | 10k|2863 | 10k| 900 | 32 | 0 | 1.803103e+03 | -- | Inf
72.38/72.47 c 72.5s| 1 | 0 |189047 | - | 75M| 0 |2196 |2863 | 10k|2863 | 10k| 903 | 32 | 0 | 1.803701e+03 | -- | Inf
72.77/72.84 c 72.8s| 1 | 0 |189865 | - | 75M| 0 |2172 |2863 | 10k|2863 | 10k| 908 | 32 | 0 | 1.804901e+03 | -- | Inf
73.27/73.37 c 73.4s| 1 | 0 |191571 | - | 75M| 0 |2192 |2863 | 10k|2863 | 10k| 911 | 32 | 0 | 1.805221e+03 | -- | Inf
73.37/73.47 c 73.5s| 1 | 0 |191679 | - | 75M| 0 |2164 |2863 | 10k|2863 | 10k| 918 | 32 | 0 | 1.805222e+03 | -- | Inf
73.47/73.57 c 73.6s| 1 | 0 |191776 | - | 75M| 0 |2154 |2863 | 10k|2863 | 10k| 921 | 32 | 0 | 1.806021e+03 | -- | Inf
73.88/73.94 c 73.9s| 1 | 0 |192536 | - | 75M| 0 |2174 |2863 | 10k|2863 | 10k| 923 | 32 | 0 | 1.806413e+03 | -- | Inf
74.08/74.19 c 74.2s| 1 | 0 |193015 | - | 75M| 0 |2149 |2863 | 10k|2863 | 10k| 927 | 32 | 0 | 1.807457e+03 | -- | Inf
74.28/74.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.28/74.38 c 74.4s| 1 | 0 |193385 | - | 75M| 0 |2127 |2863 | 10k|2863 | 10k| 928 | 32 | 0 | 1.808281e+03 | -- | Inf
74.58/74.60 c 74.6s| 1 | 0 |193786 | - | 75M| 0 |2149 |2863 | 10k|2863 | 10k| 931 | 32 | 0 | 1.808677e+03 | -- | Inf
74.68/74.76 c 74.8s| 1 | 0 |194014 | - | 75M| 0 |2130 |2863 | 10k|2863 | 10k| 932 | 32 | 0 | 1.809192e+03 | -- | Inf
74.87/74.97 c 75.0s| 1 | 0 |194381 | - | 75M| 0 |2119 |2863 | 10k|2863 | 10k| 937 | 32 | 0 | 1.809363e+03 | -- | Inf
75.17/75.24 c 75.2s| 1 | 0 |194997 | - | 75M| 0 |2105 |2863 | 10k|2863 | 10k| 941 | 32 | 0 | 1.810161e+03 | -- | Inf
75.27/75.35 c 75.4s| 1 | 0 |195111 | - | 75M| 0 |2110 |2863 | 10k|2863 | 10k| 946 | 32 | 0 | 1.810165e+03 | -- | Inf
76.17/76.27 c 76.3s| 1 | 0 |197284 | - | 75M| 0 |2131 |2863 | 10k|2863 | 10k| 953 | 32 | 0 | 1.811122e+03 | -- | Inf
76.67/76.73 c 76.7s| 1 | 0 |198478 | - | 75M| 0 |2159 |2863 | 10k|2863 | 10k| 960 | 32 | 0 | 1.812290e+03 | -- | Inf
76.77/76.88 c 76.9s| 1 | 0 |198664 | - | 75M| 0 |2178 |2863 | 10k|2863 | 10k| 963 | 32 | 0 | 1.812725e+03 | -- | Inf
76.98/77.00 c 77.0s| 1 | 0 |198805 | - | 75M| 0 |2145 |2863 | 10k|2863 | 10k| 966 | 32 | 0 | 1.812945e+03 | -- | Inf
77.37/77.47 c 77.5s| 1 | 0 |200045 | - | 75M| 0 |2120 |2863 | 10k|2863 | 10k| 970 | 32 | 0 | 1.813530e+03 | -- | Inf
77.67/77.78 c 77.8s| 1 | 0 |200703 | - | 75M| 0 |2129 |2863 | 10k|2863 | 10k| 974 | 32 | 0 | 1.813830e+03 | -- | Inf
78.17/78.27 c 78.3s| 1 | 0 |201871 | - | 75M| 0 |2101 |2863 | 10k|2863 | 10k| 978 | 32 | 0 | 1.814122e+03 | -- | Inf
78.57/78.60 c 78.6s| 1 | 0 |202569 | - | 75M| 0 |2109 |2863 | 10k|2863 | 10k| 985 | 32 | 0 | 1.814895e+03 | -- | Inf
78.87/78.95 c 79.0s| 1 | 0 |203222 | - | 75M| 0 |2109 |2863 | 10k|2863 | 10k| 988 | 32 | 0 | 1.815421e+03 | -- | Inf
79.37/79.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.37/79.48 c 79.5s| 1 | 0 |204624 | - | 75M| 0 |2111 |2863 | 10k|2863 | 10k| 989 | 32 | 0 | 1.815995e+03 | -- | Inf
79.47/79.59 c 79.6s| 1 | 0 |204734 | - | 75M| 0 |2094 |2863 | 10k|2863 | 10k| 992 | 32 | 0 | 1.815995e+03 | -- | Inf
79.67/79.72 c 79.7s| 1 | 0 |204861 | - | 75M| 0 |2093 |2863 | 10k|2863 | 10k| 995 | 32 | 0 | 1.816486e+03 | -- | Inf
79.87/79.95 c 80.0s| 1 | 0 |205230 | - | 75M| 0 |2101 |2863 | 10k|2863 | 10k| 998 | 32 | 0 | 1.816508e+03 | -- | Inf
80.17/80.25 c 80.3s| 1 | 0 |205831 | - | 75M| 0 |2081 |2863 | 10k|2863 | 10k|1007 | 32 | 0 | 1.816913e+03 | -- | Inf
80.57/80.63 c 80.6s| 1 | 0 |206831 | - | 75M| 0 |2083 |2863 | 10k|2863 | 10k|1015 | 32 | 0 | 1.817057e+03 | -- | Inf
80.67/80.70 c 80.7s| 1 | 0 |206855 | - | 75M| 0 |2093 |2863 | 10k|2863 | 10k|1019 | 32 | 0 | 1.817057e+03 | -- | Inf
80.77/80.81 c 80.8s| 1 | 0 |206975 | - | 75M| 0 |2092 |2863 | 10k|2863 | 10k|1020 | 32 | 0 | 1.817480e+03 | -- | Inf
80.96/81.03 c 81.0s| 1 | 0 |207352 | - | 75M| 0 |2103 |2863 | 10k|2863 | 10k|1023 | 32 | 0 | 1.817551e+03 | -- | Inf
81.38/81.44 c 81.4s| 1 | 0 |208159 | - | 75M| 0 |2085 |2863 | 10k|2863 | 10k|1026 | 32 | 0 | 1.817765e+03 | -- | Inf
81.77/81.85 c 81.8s| 1 | 0 |209091 | - | 75M| 0 |2025 |2863 | 10k|2863 | 10k|1030 | 32 | 0 | 1.818241e+03 | -- | Inf
81.87/81.95 c 82.0s| 1 | 0 |209202 | - | 75M| 0 |2032 |2863 | 10k|2863 | 10k|1034 | 32 | 0 | 1.818241e+03 | -- | Inf
81.97/82.09 c 82.1s| 1 | 0 |209426 | - | 75M| 0 |2028 |2863 | 10k|2863 | 10k|1036 | 32 | 0 | 1.818564e+03 | -- | Inf
82.17/82.24 c 82.2s| 1 | 0 |209641 | - | 75M| 0 |2026 |2863 | 10k|2863 | 10k|1038 | 32 | 0 | 1.818689e+03 | -- | Inf
82.27/82.38 c 82.4s| 1 | 0 |209801 | - | 74M| 0 |2031 |2863 | 10k|2863 | 10k|1039 | 32 | 0 | 1.819001e+03 | -- | Inf
82.48/82.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.48/82.51 c 82.5s| 1 | 0 |209978 | - | 73M| 0 |2029 |2863 | 10k|2863 | 10k|1040 | 32 | 0 | 1.819412e+03 | -- | Inf
82.67/82.74 c 82.7s| 1 | 0 |210385 | - | 72M| 0 |2027 |2863 | 10k|2863 | 10k|1043 | 32 | 0 | 1.819741e+03 | -- | Inf
82.77/82.83 c 82.8s| 1 | 0 |210453 | - | 71M| 0 |2035 |2863 | 10k|2863 | 10k|1046 | 32 | 0 | 1.819741e+03 | -- | Inf
82.87/82.92 c 82.9s| 1 | 0 |210524 | - | 69M| 0 |2041 |2863 | 10k|2863 | 10k|1050 | 32 | 0 | 1.819741e+03 | -- | Inf
83.07/83.16 c 83.2s| 1 | 0 |210919 | - | 68M| 0 |2048 |2863 | 10k|2863 | 10k|1053 | 32 | 0 | 1.820003e+03 | -- | Inf
83.37/83.43 c 83.4s| 1 | 0 |211465 | - | 65M| 0 |2052 |2863 | 10k|2863 | 10k|1058 | 32 | 0 | 1.820187e+03 | -- | Inf
83.47/83.54 c 83.5s| 1 | 0 |211591 | - | 63M| 0 |2057 |2863 | 10k|2863 | 10k|1064 | 32 | 0 | 1.820187e+03 | -- | Inf
83.67/83.73 c 83.7s| 1 | 0 |211898 | - | 58M| 0 |2063 |2863 | 10k|2863 | 10k|1069 | 32 | 0 | 1.820269e+03 | -- | Inf
83.87/83.99 c 84.0s| 1 | 0 |212328 | - | 56M| 0 |2081 |2863 | 10k|2863 | 10k|1073 | 32 | 0 | 1.820511e+03 | -- | Inf
84.07/84.10 c 84.1s| 1 | 0 |212444 | - | 54M| 0 |2085 |2863 | 10k|2863 | 10k|1078 | 32 | 0 | 1.820511e+03 | -- | Inf
84.07/84.19 c 84.2s| 1 | 0 |212530 | - | 54M| 0 |2107 |2863 | 10k|2863 | 10k|1082 | 32 | 0 | 1.820513e+03 | -- | Inf
84.17/84.27 c 84.3s| 1 | 0 |212569 | - | 52M| 0 |2100 |2863 | 10k|2863 | 10k|1084 | 32 | 0 | 1.820513e+03 | -- | Inf
84.37/84.45 c 84.4s| 1 | 0 |212859 | - | 50M| 0 |2085 |2863 | 10k|2863 | 10k|1086 | 32 | 0 | 1.820877e+03 | -- | Inf
84.57/84.68 c 84.7s| 1 | 0 |213346 | - | 46M| 0 |2081 |2863 | 10k|2863 | 10k|1091 | 32 | 0 | 1.821096e+03 | -- | Inf
84.77/84.84 c 84.8s| 1 | 0 |213588 | - | 42M| 0 |2077 |2863 | 10k|2863 | 10k|1097 | 32 | 0 | 1.821153e+03 | -- | Inf
84.87/84.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.87/84.91 c 84.9s| 1 | 0 |213664 | - | 36M| 0 |2079 |2863 | 10k|2863 | 10k|1101 | 32 | 0 | 1.821159e+03 | -- | Inf
84.97/85.02 c 85.0s| 1 | 0 |213827 | - | 33M| 0 |2083 |2863 | 10k|2863 | 10k|1106 | 32 | 0 | 1.821362e+03 | -- | Inf
84.97/85.09 c 85.1s| 1 | 0 |213845 | - | 28M| 0 |2082 |2863 | 10k|2863 | 10k|1108 | 32 | 0 | 1.821363e+03 | -- | Inf
85.07/85.17 c 85.2s| 1 | 0 |213920 | - | 27M| 0 |2085 |2863 | 10k|2863 | 10k|1113 | 32 | 0 | 1.821363e+03 | -- | Inf
85.37/85.49 c 85.5s| 1 | 0 |214652 | - | 27M| 0 |2077 |2863 | 10k|2863 | 10k|1119 | 32 | 0 | 1.821581e+03 | -- | Inf
85.57/85.61 c 85.6s| 1 | 0 |214830 | - | 27M| 0 |2092 |2863 | 10k|2863 | 10k|1127 | 32 | 0 | 1.821747e+03 | -- | Inf
85.57/85.69 c 85.7s| 1 | 0 |214898 | - | 27M| 0 |2092 |2863 | 10k|2863 | 10k|1135 | 32 | 0 | 1.821747e+03 | -- | Inf
85.68/85.76 c 85.8s| 1 | 0 |214957 | - | 27M| 0 |2104 |2863 | 10k|2863 | 10k|1139 | 32 | 0 | 1.821749e+03 | -- | Inf
85.87/85.91 c 85.9s| 1 | 0 |215151 | - | 27M| 0 |2101 |2863 | 10k|2863 | 10k|1143 | 32 | 0 | 1.821898e+03 | -- | Inf
85.87/85.96 c 86.0s| 1 | 0 |215162 | - | 26M| 0 |2101 |2863 | 10k|2863 | 10k|1145 | 32 | 0 | 1.821898e+03 | -- | Inf
85.97/86.09 c 86.1s| 1 | 0 |215317 | - | 26M| 0 |2115 |2863 | 10k|2863 | 10k|1147 | 32 | 0 | 1.822040e+03 | -- | Inf
86.17/86.20 c 86.2s| 1 | 0 |215464 | - | 26M| 0 |2109 |2863 | 10k|2863 | 10k|1150 | 32 | 0 | 1.822098e+03 | -- | Inf
86.17/86.27 c 86.3s| 1 | 0 |215515 | - | 26M| 0 |2116 |2863 | 10k|2863 | 10k|1152 | 32 | 0 | 1.822098e+03 | -- | Inf
86.27/86.35 c 86.4s| 1 | 0 |215575 | - | 26M| 0 |2132 |2863 | 10k|2863 | 10k|1154 | 32 | 0 | 1.822116e+03 | -- | Inf
86.37/86.43 c 86.4s| 1 | 0 |215601 | - | 26M| 0 |2135 |2863 | 10k|2863 | 10k|1159 | 32 | 0 | 1.822116e+03 | -- | Inf
86.47/86.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.47/86.52 c 86.5s| 1 | 0 |215681 | - | 26M| 0 |2133 |2863 | 10k|2863 | 10k|1163 | 32 | 0 | 1.822121e+03 | -- | Inf
93.06/93.14 c 93.1s| 1 | 2 |215681 | - | 26M| 0 |2133 |2863 | 10k|2863 | 10k|1163 | 32 | 20 | 1.822121e+03 | -- | Inf
497.89/498.08 c 498s| 100 | 81 |829464 |6199.8 | 27M| 32 | - |2863 | 10k| 0 | 0 |1163 | 119 | 443 | 1.825164e+03 | -- | Inf
562.28/562.41 c 562s| 200 | 127 |952149 |3700.8 | 28M| 59 | - |2863 | 10k| 0 | 0 |1163 | 272 | 548 | 1.825696e+03 | -- | Inf
598.98/599.10 c 599s| 300 | 130 | 1012k|2665.4 | 28M| 60 | 774 |2863 | 10k|2863 | 10k|1163 | 380 | 634 | 1.825711e+03 | -- | Inf
673.46/673.61 c 674s| 400 | 127 | 1156k|2358.5 | 28M| 60 |1136 |2863 | 10k|2863 | 10k|1163 | 477 | 759 | 1.825871e+03 | -- | Inf
740.36/740.53 c 741s| 500 | 149 | 1271k|2115.4 | 28M| 60 | 997 |2863 | 10k|2863 | 10k|1163 | 612 | 860 | 1.825871e+03 | -- | Inf
818.25/818.41 c 818s| 600 | 168 | 1411k|1995.8 | 28M| 60 | 625 |2863 | 10k|2863 | 10k|1163 | 735 | 954 | 1.825882e+03 | -- | Inf
884.73/884.99 c 885s| 700 | 178 | 1537k|1891.5 | 29M| 60 | 532 |2863 | 10k|2863 | 10k|1163 | 863 |1010 | 1.826037e+03 | -- | Inf
966.73/966.98 c 967s| 800 | 199 | 1685k|1839.4 | 29M| 60 | 534 |2863 | 11k|2863 | 10k|1163 |1006 |1093 | 1.826434e+03 | -- | Inf
1023.71/1023.97 c 1024s| 900 | 202 | 1783k|1743.9 | 29M| 60 |1439 |2863 | 11k|2863 | 10k|1163 |1129 |1189 | 1.826476e+03 | -- | Inf
1087.40/1087.62 c 1088s| 1000 | 224 | 1890k|1676.8 | 29M| 60 |1008 |2863 | 10k|2863 | 10k|1163 |1173 |1315 | 1.826513e+03 | -- | Inf
1176.28/1176.55 c 1177s| 1100 | 237 | 2043k|1662.7 | 29M| 60 |1238 |2863 | 10k|2863 | 10k|1163 |1273 |1427 | 1.826585e+03 | -- | Inf
1226.58/1226.82 c 1227s| 1200 | 250 | 2140k|1605.1 | 29M| 60 | 670 |2863 | 10k|2863 | 10k|1163 |1399 |1489 | 1.826592e+03 | -- | Inf
1281.47/1281.77 c 1282s| 1300 | 261 | 2250k|1566.1 | 29M| 60 | - |2863 | 11k| 0 | 0 |1163 |1617 |1564 | 1.826623e+03 | -- | Inf
1327.16/1327.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.16/1327.41 c 1327s| 1400 | 271 | 2332k|1513.0 | 29M| 60 | 941 |2863 | 11k|2863 | 10k|1163 |1791 |1634 | 1.826637e+03 | -- | Inf
1370.06/1370.31 c 1370s| 1500 | 286 | 2410k|1464.3 | 29M| 60 | 864 |2863 | 11k|2863 | 10k|1163 |1963 |1707 | 1.826925e+03 | -- | Inf
1417.75/1418.07 c 1418s| 1600 | 289 | 2500k|1429.1 | 29M| 60 | 612 |2863 | 11k|2863 | 10k|1163 |2158 |1797 | 1.827114e+03 | -- | Inf
1469.14/1469.42 c 1469s| 1700 | 297 | 2595k|1400.5 | 29M| 60 | 727 |2863 | 11k|2863 | 10k|1163 |2293 |1902 | 1.827152e+03 | -- | Inf
1563.73/1564.02 c 1564s| 1800 | 314 | 2763k|1416.0 | 29M| 60 |1135 |2863 | 11k|2863 | 10k|1163 |2391 |2025 | 1.827207e+03 | -- | Inf
1647.01/1647.31 c 1647s| 1900 | 329 | 2912k|1420.2 | 30M| 60 | 663 |2863 | 11k|2863 | 10k|1163 |2473 |2137 | 1.827314e+03 | -- | Inf
1696.21/1696.50 c 1697s| 2000 | 345 | 2999k|1392.5 | 30M| 60 | 886 |2863 | 11k|2863 | 10k|1163 |2601 |2206 | 1.827454e+03 | -- | Inf
1717.91/1718.28 c 1718s| 2100 | 356 | 3040k|1345.6 | 30M| 60 | 405 |2863 | 11k|2863 | 10k|1163 |2802 |2252 | 1.827648e+03 | -- | Inf
1741.20/1741.55 c 1742s| 2200 | 365 | 3083k|1304.0 | 30M| 60 | 678 |2863 | 11k|2863 | 10k|1163 |2948 |2310 | 1.827770e+03 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 2277
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +1.82785055564863e+03
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.56 (included in solving)
1796.69/1797.01 c reading : 0.04 (included in solving)
1796.69/1797.01 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693153-1338031237.opb
1796.69/1797.01 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 16399 initial, 16399 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3693153-1338031237.opb
1796.69/1797.01 c Variables : 2863 (2863 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 10242 initial, 11397 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 52 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.04 0.00 19 8 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.07 0.00 4 0 0 0 0 116 0 0 0
1796.69/1797.01 c linear : 0.28 0.00 909 3 0 909 0 6007 0 31 24
1796.69/1797.01 c logicor : 0.09 0.00 0 0 0 4 0 34 0 0 0
1796.69/1797.01 c root node : - - 4 - - 4 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 1857 0 4 0 59 220 0 0 3406
1796.69/1797.01 c setppc : 5831 5831 135 60422 0 0 3 296891 341 120314 0 0 0
1796.69/1797.01 c logicor : 4411+ 5590 135 40369 0 0 0 126423 373 58416 6 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 462.71 0.00 0.00 0.00 462.71 0.00 0.00 0.00
1796.69/1797.01 c setppc : 7.56 0.00 0.06 7.14 0.00 0.00 0.00 0.35
1796.69/1797.01 c logicor : 1.04 0.00 0.05 0.81 0.00 0.00 0.00 0.18
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 62053 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 2004 0 0 42
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.69/1797.01 c pseudoobj : 0.21 0.01 0.00 0.20 0.00
1796.69/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c redcost : 0.13 0.00 0.00 0.13 0.00
1796.69/1797.01 c probing : 0.04 0.00 0.04 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.70 714 712 8696 50.5 209 17.4 -
1796.69/1797.01 c infeasible LP : 0.57 208 199 4273 75.8 25 13.3 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 3055 39.9 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 1.22 134 - - 488 - (maximal pool size: 6976)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.16 0.00 135 0 0 122 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.12 0.00 10 0 0 500 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 2.15 0.00 20 0 0 10000 0
1796.69/1797.01 c cmir : 0.51 0.00 10 0 0 0 0
1796.69/1797.01 c flowcover : 0.58 0.00 10 0 0 0 0
1796.69/1797.01 c clique : 5.08 0.00 135 0 0 975 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 462.70 0.00 1857 59 220 0 0 3406
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.01 0.00 0 0
1796.69/1797.01 c crossover : 0.00 0.00 0 0
1796.69/1797.01 c rootsoldiving : 29.56 0.00 5 0
1796.69/1797.01 c linesearchdiving : 91.34 0.00 11 0
1796.69/1797.01 c veclendiving : 80.08 0.00 12 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.01 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.04 0.00 1 0
1796.69/1797.01 c simplerounding : 0.01 0.00 0 0
1796.69/1797.01 c zirounding : 0.75 0.00 1000 0
1796.69/1797.01 c rounding : 0.49 0.00 584 0
1796.69/1797.01 c shifting : 0.59 0.00 205 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.01 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 42.33 0.00 4 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c coefdiving : 101.66 0.00 9 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c pscostdiving : 101.06 0.00 8 0
1796.69/1797.01 c fracdiving : 110.77 0.00 11 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 35.64 0.00 3 0
1796.69/1797.01 c guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.03 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.13 22 0 0.00 0.00 0.13 22
1796.69/1797.01 c dual LP : 720.99 2199 1939430 893.33 2689.94 0.12 28
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 558.26 16859 1234996 73.25 2212.22
1796.69/1797.01 c strong branching : 461.81 2404 1107316 460.61 2397.75
1796.69/1797.01 c (at root node) : - 20 14864 743.20 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 2277
1796.69/1797.01 c nodes (total) : 2277
1796.69/1797.01 c nodes left : 373
1796.69/1797.01 c max depth : 60
1796.69/1797.01 c max depth (total): 60
1796.69/1797.01 c backtracks : 491 (21.6%)
1796.69/1797.01 c delayed cutoffs : 757
1796.69/1797.01 c repropagations : 2117 (58818 domain reductions, 297 cutoffs)
1796.69/1797.01 c avg switch length: 4.46
1796.69/1797.01 c switching time : 0.91
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +1.82785055564863e+03
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +1.82212070902276e+03
1796.69/1797.01 c Root Iterations : 215681
1796.69/1797.07 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-3693153-1338031237/watcher-3693153-1338031237 -o /tmp/evaluation-result-3693153-1338031237/solver-3693153-1338031237 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693153-1338031237.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.02 1.95 3/177 23973
/proc/meminfo: memFree=28518624/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=11136 CPUtime=0 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 1527 0 0 0 0 0 0 0 20 0 1 0 269248580 11403264 1482 33554432000 4194304 10169799 140733805107632 140733805106456 8801104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 2784 1482 403 1459 0 1316 0
[startup+0.0278181 s]
/proc/loadavg: 1.95 2.02 1.95 3/177 23973
/proc/meminfo: memFree=28518624/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=16344 CPUtime=0.02 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 2848 0 0 0 2 0 0 0 20 0 1 0 269248580 16736256 2803 33554432000 4194304 10169799 140733805107632 140733805106456 8860080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 4086 2803 412 1459 0 2618 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16344
[startup+0.100321 s]
/proc/loadavg: 1.95 2.02 1.95 3/177 23973
/proc/meminfo: memFree=28518624/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=45136 CPUtime=0.09 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 9752 0 0 0 8 1 0 0 20 0 1 0 269248580 46219264 9707 33554432000 4194304 10169799 140733805107632 140733805106456 5285835 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 11284 9707 517 1459 0 9816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45136
[startup+0.300296 s]
/proc/loadavg: 1.95 2.02 1.95 3/177 23973
/proc/meminfo: memFree=28518624/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=48216 CPUtime=0.29 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 10809 0 0 0 15 14 0 0 20 0 1 0 269248580 49373184 10507 33554432000 4194304 10169799 140733805107632 140733805106456 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 12054 10507 564 1459 0 10586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48216
[startup+0.700307 s]
/proc/loadavg: 1.95 2.02 1.95 3/177 23973
/proc/meminfo: memFree=28518624/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=68668 CPUtime=0.69 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 16770 0 0 0 44 25 0 0 20 0 1 0 269248580 70316032 15738 33554432000 4194304 10169799 140733805107632 140733805106456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 17167 15738 761 1459 0 15699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68668
[startup+1.50027 s]
/proc/loadavg: 1.95 2.02 1.95 3/178 23974
/proc/meminfo: memFree=28453780/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=73328 CPUtime=1.49 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 18227 0 0 0 124 25 0 0 20 0 1 0 269248580 75087872 16940 33554432000 4194304 10169799 140733805107632 140733805101304 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 18332 16940 763 1459 0 16864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73328
[startup+3.10025 s]
/proc/loadavg: 1.95 2.02 1.95 3/178 23974
/proc/meminfo: memFree=28452168/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=73876 CPUtime=3.09 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 18713 0 0 0 283 26 0 0 20 0 1 0 269248580 75649024 17294 33554432000 4194304 10169799 140733805107632 140733805099944 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 18469 17294 777 1459 0 17001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73876
[startup+6.30026 s]
/proc/loadavg: 1.96 2.02 1.95 3/178 23974
/proc/meminfo: memFree=28451804/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=73876 CPUtime=6.29 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 18722 0 0 0 602 27 0 0 20 0 1 0 269248580 75649024 17303 33554432000 4194304 10169799 140733805107632 140733805099944 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 18469 17303 777 1459 0 17001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73876
[startup+12.7003 s]
/proc/loadavg: 1.96 2.02 1.95 3/178 23974
/proc/meminfo: memFree=28451688/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=73876 CPUtime=12.68 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 18722 0 0 0 1239 29 0 0 20 0 1 0 269248580 75649024 17303 33554432000 4194304 10169799 140733805107632 140733805099944 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 18469 17303 777 1459 0 17001 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73876
[startup+25.5003 s]
/proc/loadavg: 1.97 2.02 1.95 3/177 23974
/proc/meminfo: memFree=28440148/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=87928 CPUtime=25.49 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 23208 0 0 0 2511 38 0 0 20 0 1 0 269248580 90038272 20609 33554432000 4194304 10169799 140733805107632 140733805102040 7271364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 21982 20609 806 1459 0 20514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87928
[startup+51.1003 s]
/proc/loadavg: 1.98 2.02 1.95 3/177 23975
/proc/meminfo: memFree=28380956/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=148244 CPUtime=51.08 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 44963 0 0 0 5056 52 0 0 20 0 1 0 269248580 151801856 34983 33554432000 4194304 10169799 140733805107632 140733805102136 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37061 34983 807 1459 0 35593 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 148244
[startup+102.307 s]
/proc/loadavg: 1.99 2.01 1.95 3/177 24013
/proc/meminfo: memFree=28446656/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=102.26 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45623 0 0 0 10157 69 0 0 20 0 1 0 269248580 150179840 35081 33554432000 4194304 10169799 140733805107632 140733805102232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35081 836 1459 0 35197 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146660
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.95 3/177 24013
/proc/meminfo: memFree=28441788/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=162.24 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45630 0 0 0 16135 89 0 0 20 0 1 0 269248580 150179840 35866 33554432000 4194304 10169799 140733805107632 140733805102328 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35866 837 1459 0 35197 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 146660
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417500/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=222.23 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45630 0 0 0 22111 112 0 0 20 0 1 0 269248580 150179840 35866 33554432000 4194304 10169799 140733805107632 140733805101752 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35866 837 1459 0 35197 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 146660
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24089
/proc/meminfo: memFree=28210132/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=282.23 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45633 0 0 0 28092 131 0 0 20 0 1 0 269248580 150179840 35869 33554432000 4194304 10169799 140733805107632 140733805101864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35869 840 1459 0 35197 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 146660
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24090
/proc/meminfo: memFree=28169608/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=342.21 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45633 0 0 0 34070 151 0 0 20 0 1 0 269248580 150179840 35869 33554432000 4194304 10169799 140733805107632 140733805101448 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35869 840 1459 0 35197 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 146660
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 24090
/proc/meminfo: memFree=28106548/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=402.21 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45633 0 0 0 40035 186 0 0 20 0 1 0 269248580 150179840 35869 33554432000 4194304 10169799 140733805107632 140733805102232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35869 840 1459 0 35197 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 146660
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 24090
/proc/meminfo: memFree=28106220/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=462.19 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45633 0 0 0 45996 223 0 0 20 0 1 0 269248580 150179840 35869 33554432000 4194304 10169799 140733805107632 140733805102232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35869 840 1459 0 35197 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 146660
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24090
/proc/meminfo: memFree=28106448/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=522.19 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45633 0 0 0 51962 257 0 0 20 0 1 0 269248580 150179840 35869 33554432000 4194304 10169799 140733805107632 140733805102136 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35869 840 1459 0 35197 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 146660
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 24093
/proc/meminfo: memFree=28106192/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=146660 CPUtime=582.18 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 45633 0 0 0 57924 294 0 0 20 0 1 0 269248580 150179840 35869 33554432000 4194304 10169799 140733805107632 140733805102280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 36665 35869 840 1459 0 35197 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 146660
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28042900/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151020 CPUtime=1122.1 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 51713 0 0 0 111696 514 0 0 20 0 1 0 269248580 154644480 36885 33554432000 4194304 10169799 140733805107632 140733805102056 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37755 36885 840 1459 0 36287 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.96 3/178 24099
/proc/meminfo: memFree=28042952/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151020 CPUtime=1182.09 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 51753 0 0 0 117670 539 0 0 20 0 1 0 269248580 154644480 36924 33554432000 4194304 10169799 140733805107632 140733805102232 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37755 36924 840 1459 0 36287 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 151020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24099
/proc/meminfo: memFree=28043084/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151116 CPUtime=1242.08 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 52707 0 0 0 123646 562 0 0 20 0 1 0 269248580 154742784 36854 33554432000 4194304 10169799 140733805107632 140733805101896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37779 36854 840 1459 0 36311 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 151116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24100
/proc/meminfo: memFree=28044572/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=150188 CPUtime=1302.07 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 53301 0 0 0 129622 585 0 0 20 0 1 0 269248580 153792512 36520 33554432000 4194304 10169799 140733805107632 140733805101432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37547 36520 840 1459 0 36079 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 150188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 24100
/proc/meminfo: memFree=28044448/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=150016 CPUtime=1362.06 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 55190 0 0 0 135592 614 0 0 20 0 1 0 269248580 153616384 36457 33554432000 4194304 10169799 140733805107632 140733805102424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37504 36457 840 1459 0 36036 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.96 3/177 24100
/proc/meminfo: memFree=28042216/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151848 CPUtime=1422.06 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 55941 0 0 0 141567 639 0 0 20 0 1 0 269248580 155492352 37100 33554432000 4194304 10169799 140733805107632 140733805102616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37962 37100 840 1459 0 36494 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.96 3/177 24100
/proc/meminfo: memFree=28041780/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152112 CPUtime=1482.04 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 56046 0 0 0 147542 662 0 0 20 0 1 0 269248580 155762688 37204 33554432000 4194304 10169799 140733805107632 140733805101864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38028 37204 840 1459 0 36560 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 152112
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 24100
/proc/meminfo: memFree=28039360/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152112 CPUtime=1542.03 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 56075 0 0 0 153522 681 0 0 20 0 1 0 269248580 155762688 37233 33554432000 4194304 10169799 140733805107632 140733805102424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38028 37233 840 1459 0 36560 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 152112
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/177 24101
/proc/meminfo: memFree=28040104/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151708 CPUtime=1602.02 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 57092 0 0 0 159498 704 0 0 20 0 1 0 269248580 155348992 37066 33554432000 4194304 10169799 140733805107632 140733805102040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37927 37066 840 1459 0 36459 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 151708
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 1.99 3/177 24101
/proc/meminfo: memFree=28039980/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151708 CPUtime=1662.01 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 57104 0 0 0 165472 729 0 0 20 0 1 0 269248580 155348992 37078 33554432000 4194304 10169799 140733805107632 140733805102168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37927 37078 840 1459 0 36459 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 151708
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.00 3/177 24101
/proc/meminfo: memFree=28036876/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151708 CPUtime=1722 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 57133 0 0 0 171442 758 0 0 20 0 1 0 269248580 155348992 37107 33554432000 4194304 10169799 140733805107632 140733805102328 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37927 37107 840 1459 0 36459 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 151708
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/178 24104
/proc/meminfo: memFree=28029984/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151908 CPUtime=1781.99 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58210 0 0 0 177412 787 0 0 20 0 1 0 269248580 155553792 37181 33554432000 4194304 10169799 140733805107632 140733805102040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37977 37181 840 1459 0 36509 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 151908
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029984/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=151908 CPUtime=1785.19 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58210 0 0 0 177730 789 0 0 20 0 1 0 269248580 155553792 37181 33554432000 4194304 10169799 140733805107632 140733805102616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 37977 37181 840 1459 0 36509 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 151908
[startup+1791.91 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029300/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152148 CPUtime=1791.6 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58271 0 0 0 178369 791 0 0 20 0 1 0 269248580 155799552 37241 33554432000 4194304 10169799 140733805107632 140733805101800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38037 37241 840 1459 0 36569 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 152148
[startup+1795.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029176/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152148 CPUtime=1794.8 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58271 0 0 0 178688 792 0 0 20 0 1 0 269248580 155799552 37241 33554432000 4194304 10169799 140733805107632 140733805102088 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38037 37241 840 1459 0 36569 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 152148
[startup+1795.9 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029176/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152148 CPUtime=1795.59 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58271 0 0 0 178766 793 0 0 20 0 1 0 269248580 155799552 37241 33554432000 4194304 10169799 140733805107632 140733805102088 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38037 37241 840 1459 0 36569 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 152148
[startup+1796.7 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029176/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152148 CPUtime=1796.4 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58271 0 0 0 178846 794 0 0 20 0 1 0 269248580 155799552 37241 33554432000 4194304 10169799 140733805107632 140733805102088 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38037 37241 840 1459 0 36569 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 152148
[startup+1796.9 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029176/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152148 CPUtime=1796.59 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58271 0 0 0 178865 794 0 0 20 0 1 0 269248580 155799552 37241 33554432000 4194304 10169799 140733805107632 140733805101704 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38037 37241 840 1459 0 36569 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 152148
[startup+1797 s]
/proc/loadavg: 2.03 2.05 2.00 3/178 24104
/proc/meminfo: memFree=28029176/32873844 swapFree=7104/7104
[pid=23973] ppid=23971 vsize=152148 CPUtime=1796.69 cores=1,3,5,7
/proc/23973/stat : 23973 (scip-2.1.1.4sfi) R 23971 23973 22949 0 -1 4202496 58271 0 0 0 178875 794 0 0 20 0 1 0 269248580 155799552 37241 33554432000 4194304 10169799 140733805107632 140733805101704 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23973/statm: 38037 37241 840 1459 0 36569 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 152148
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.77
CPU user time (s): 1788.83
CPU system time (s): 7.94679
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 152932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.83
system time used= 7.94679
maximum resident set size= 149336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58280
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= 1867
runsolver used 3.37349 second user time and 8.44072 second system time
The end