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-3717674-1338203705.wbo>
0.00/0.01 c original problem has 1100 variables (1100 bin, 0 int, 0 impl, 0 cont) and 1001 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 0 add conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.1s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.05/0.05 c presolving (3 rounds):
0.05/0.05 c 100 deleted vars, 101 deleted constraints, 0 added constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.05 c 1100 implications, 0 cliques
0.05/0.05 c presolved problem has 1900 variables (1000 bin, 0 int, 900 impl, 0 cont) and 1800 constraints
0.05/0.05 c 900 constraints of type <linear>
0.05/0.05 c 900 constraints of type <indicator>
0.05/0.05 c transformed objective value is always integral (scale: 1)
0.05/0.05 c Presolving Time: 0.04
0.05/0.05 c - non default parameters ----------------------------------------------------------------------
0.05/0.05 c # SCIP version 2.1.1.4
0.05/0.05 c
0.05/0.05 c # maximal time in seconds to run
0.05/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.05 c limits/time = 1797
0.05/0.05 c
0.05/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.05 c limits/memory = 13950
0.05/0.05 c
0.05/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.05 c # [type: int, range: [1,2], default: 1]
0.05/0.05 c timing/clocktype = 2
0.05/0.05 c
0.05/0.05 c # belongs reading time to solving time?
0.05/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.05 c timing/reading = TRUE
0.05/0.05 c
0.05/0.05 c # force restart if we have a max FS instance and gap is 1?
0.05/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.05 c constraints/indicator/forcerestart = TRUE
0.05/0.05 c
0.05/0.05 c # priority of branching rule <inference>
0.05/0.05 c # [type: int, range: [-536870912,536870911], default: 1000]
0.05/0.05 c branching/inference/priority = 1000000
0.05/0.05 c
0.05/0.05 c # frequency offset for calling primal heuristic <coefdiving>
0.05/0.05 c # [type: int, range: [0,2147483647], default: 1]
0.05/0.05 c heuristics/coefdiving/freqofs = 0
0.05/0.05 c
0.05/0.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.05/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.05 c heuristics/shiftandpropagate/freq = -1
0.05/0.05 c
0.05/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.05/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.05 c heuristics/undercover/freq = -1
0.05/0.05 c
0.05/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.05 c separating/rapidlearning/freq = 0
0.05/0.05 c
0.05/0.05 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.05/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.05 c heuristics/indrounding/freq = 1
0.05/0.05 c
0.05/0.05 c -----------------------------------------------------------------------------------------------
0.05/0.05 c start solving
0.05/0.05 c
0.05/0.06 o 444854
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.06 c t 0.1s| 1 | 0 | 0 | - |5593k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.09/0.11 o 21942
0.09/0.11 c 6 0.1s| 1 | 0 | 0 | - |5593k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 2.194200e+04 | Inf
0.09/0.11 o 21821
0.09/0.11 c y 0.1s| 1 | 0 | 0 | - |5558k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 2.182100e+04 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 241 | - |7256k| 0 | 85 |1900 |1800 |1900 |1800 | 0 | 0 | 0 | 0.000000e+00 | 2.182100e+04 | Inf
0.09/0.16 o 5100
0.09/0.16 c 6 0.2s| 1 | 0 | 241 | - |7364k| 0 | 85 |1900 |1800 |1900 |1800 | 0 | 0 | 0 | 0.000000e+00 | 5.100000e+03 | Inf
0.38/0.44 o 3642
0.38/0.44 c y 0.4s| 1 | 0 | 241 | - |8817k| 0 | 85 |1900 |1800 |1900 |1800 | 0 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
0.38/0.46 c 0.5s| 1 | 0 | 312 | - |7676k| 0 | 87 |1900 |1800 |1900 |1803 | 3 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
0.48/0.58 c 0.6s| 1 | 0 | 351 | - | 10M| 0 | 87 |1900 |1800 |1900 |1805 | 5 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
0.69/0.78 c 0.8s| 1 | 0 | 394 | - | 10M| 0 | 88 |1900 |1800 |1900 |1806 | 6 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
0.89/0.98 c 1.0s| 1 | 0 | 426 | - | 10M| 0 | 83 |1900 |1800 |1900 |1807 | 7 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
1.10/1.19 c 1.2s| 1 | 0 | 468 | - | 10M| 0 | 86 |1900 |1800 |1900 |1808 | 8 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
1.39/1.41 c 1.4s| 1 | 0 | 492 | - | 11M| 0 | 91 |1900 |1800 |1900 |1810 | 10 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
1.79/1.81 c 1.8s| 1 | 2 | 2339 | - | 11M| 0 | 91 |1900 |1800 |1900 |1810 | 10 | 0 | 0 | 0.000000e+00 | 3.642000e+03 | Inf
2.29/2.33 o 3117
2.29/2.33 c v 2.3s| 8 | 9 | 7434 | 991.7 | 11M| 5 | - |1900 |1800 |1900 |1809 | 10 | 0 | 0 | 0.000000e+00 | 3.117000e+03 | Inf
2.29/2.33 o 2473
2.29/2.33 c 6 2.3s| 8 | 9 | 7434 | 991.7 | 11M| 5 | 78 |1900 |1800 |1900 |1809 | 10 | 0 | 0 | 0.000000e+00 | 2.473000e+03 | Inf
2.29/2.34 o 1995
2.29/2.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.34 c 6 2.3s| 9 | 8 | 7434 | 867.8 | 11M| 6 | - |1900 |1800 | 0 | 0 | 10 | 0 | 0 | 0.000000e+00 | 1.995000e+03 | Inf
2.68/2.70 o 923
2.68/2.70 c p 2.7s| 13 | 14 | 11261 | 897.4 | 11M| 6 | - |1900 |1800 |1900 |1809 | 10 | 0 | 0 | 0.000000e+00 | 9.230000e+02 | Inf
2.68/2.70 o 883
2.68/2.70 c y 2.7s| 14 | 13 | 11261 | 828.4 | 11M| 6 | - |1900 |1800 | 0 | 0 | 10 | 0 | 0 | 0.000000e+00 | 8.830000e+02 | Inf
6.19/6.24 c 6.2s| 100 | 99 | 43591 | 435.3 | 12M| 15 | 72 |1900 |1717 |1900 |1809 | 10 | 15 | 0 | 0.000000e+00 | 8.830000e+02 | Inf
7.59/7.64 c 7.6s| 200 | 169 | 54388 | 270.8 | 13M| 21 | 40 |1900 |1783 |1900 |1809 | 10 | 81 | 0 | 0.000000e+00 | 8.830000e+02 | Inf
8.28/8.31 o 848
8.28/8.31 c R 8.3s| 280 | 198 | 59079 | 210.0 | 14M| 25 | - |1900 |1894 |1900 |1809 | 10 | 192 | 0 | 0.000000e+00 | 8.480000e+02 | Inf
8.38/8.46 c 8.5s| 300 | 205 | 60001 | 199.0 | 14M| 25 | 57 |1900 |1908 |1900 |1809 | 10 | 237 | 0 | 0.000000e+00 | 8.480000e+02 | Inf
9.48/9.59 c 9.6s| 400 | 270 | 68651 | 170.8 | 16M| 28 | - |1900 |2019 |1900 |1809 | 10 | 348 | 0 | 0.000000e+00 | 8.480000e+02 | Inf
10.38/10.45 c 10.5s| 500 | 296 | 74596 | 148.5 | 16M| 28 | - |1900 |2152 | 0 | 0 | 10 | 481 | 0 | 0.000000e+00 | 8.480000e+02 | Inf
11.28/11.35 o 670
11.28/11.35 c 511.3s| 597 | 280 | 80944 | 135.0 | 16M| 28 | 4 |1900 |2266 |1900 |1809 | 10 | 595 | 0 | 8.000000e+00 | 6.700000e+02 |8275.00%
11.28/11.37 c 11.4s| 600 | 279 | 81024 | 134.4 | 16M| 28 | 62 |1900 |2117 |1900 |1809 | 10 | 595 | 0 | 8.000000e+00 | 6.700000e+02 |8275.00%
11.99/12.02 c 12.0s| 700 | 295 | 85408 | 121.5 | 17M| 28 | 46 |1900 |2211 |1900 |1809 | 10 | 689 | 0 | 8.000000e+00 | 6.700000e+02 |8275.00%
12.68/12.74 c 12.7s| 800 | 316 | 89938 | 111.9 | 17M| 28 | 59 |1900 |2412 |1900 |1809 | 10 | 890 | 0 | 8.000000e+00 | 6.700000e+02 |8275.00%
13.48/13.54 c 13.5s| 900 | 346 | 95331 | 105.5 | 18M| 28 | 35 |1900 |2574 |1900 |1809 | 10 |1052 | 0 | 1.391667e+01 | 6.700000e+02 |4714.37%
14.08/14.10 c 14.1s| 1000 | 349 | 98876 | 98.5 | 18M| 28 | 61 |1900 |2721 |1900 |1809 | 10 |1199 | 0 | 1.600000e+01 | 6.700000e+02 |4087.50%
14.58/14.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.58/14.65 c 14.7s| 1100 | 362 |102426 | 92.8 | 19M| 28 | 63 |1900 |2812 |1900 |1809 | 10 |1290 | 0 | 1.600000e+01 | 6.700000e+02 |4087.50%
14.78/14.86 o 541
14.78/14.86 c *14.9s| 1122 | 302 |103867 | 92.2 | 18M| 28 | - |1900 |2819 |1900 |1809 | 10 |1297 | 0 | 1.600000e+01 | 5.410000e+02 |3281.25%
14.78/14.88 o 527
14.78/14.88 c *14.9s| 1126 | 293 |103926 | 91.9 | 17M| 28 | - |1900 |2684 |1900 |1809 | 10 |1297 | 0 | 1.600000e+01 | 5.270000e+02 |3193.75%
14.88/14.90 o 463
14.88/14.90 c *14.9s| 1129 | 251 |104010 | 91.8 | 17M| 28 | - |1900 |2683 |1900 |1809 | 10 |1302 | 0 | 1.600000e+01 | 4.630000e+02 |2793.75%
15.28/15.39 c 15.4s| 1200 | 241 |107071 | 88.9 | 17M| 28 | 58 |1900 |2681 |1900 |1809 | 10 |1389 | 0 | 2.150000e+01 | 4.630000e+02 |2053.49%
15.88/15.99 c 16.0s| 1300 | 243 |110963 | 85.0 | 17M| 28 | 55 |1900 |2748 |1900 |1809 | 10 |1511 | 0 | 2.425000e+01 | 4.630000e+02 |1809.28%
16.49/16.54 c 16.5s| 1400 | 244 |114721 | 81.7 | 18M| 28 | - |1900 |2863 | 0 | 0 | 10 |1674 | 0 | 3.150000e+01 | 4.630000e+02 |1369.84%
17.08/17.17 c 17.2s| 1500 | 255 |119089 | 79.1 | 18M| 28 | 60 |1900 |2896 |1900 |1809 | 10 |1805 | 0 | 3.244444e+01 | 4.630000e+02 |1327.05%
17.78/17.86 c 17.9s| 1600 | 265 |123737 | 77.1 | 18M| 28 | 65 |1900 |2913 |1900 |1809 | 10 |1930 | 0 | 3.350000e+01 | 4.630000e+02 |1282.09%
18.38/18.46 c 18.5s| 1700 | 256 |127603 | 74.8 | 18M| 28 | - |1900 |2872 | 0 | 0 | 10 |2046 | 0 | 3.350000e+01 | 4.630000e+02 |1282.09%
18.98/19.02 c 19.0s| 1800 | 247 |131235 | 72.7 | 18M| 28 | 68 |1900 |2857 |1900 |1809 | 10 |2178 | 0 | 3.350000e+01 | 4.630000e+02 |1282.09%
19.57/19.60 c 19.6s| 1900 | 236 |135004 | 70.8 | 18M| 28 | 49 |1900 |2883 |1900 |1809 | 10 |2339 | 0 | 4.000000e+01 | 4.630000e+02 |1057.50%
20.07/20.19 c 20.2s| 2000 | 240 |139135 | 69.4 | 18M| 28 | 54 |1900 |2881 |1900 |1809 | 10 |2461 | 0 | 4.686667e+01 | 4.630000e+02 | 887.91%
20.67/20.75 c 20.7s| 2100 | 233 |142801 | 67.8 | 18M| 28 | 52 |1900 |2888 |1900 |1809 | 10 |2609 | 0 | 4.850000e+01 | 4.630000e+02 | 854.64%
21.27/21.35 c 21.4s| 2200 | 241 |147307 | 66.8 | 18M| 28 | - |1900 |2919 | 0 | 0 | 10 |2730 | 0 | 5.400000e+01 | 4.630000e+02 | 757.41%
21.77/21.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.77/21.89 c 21.9s| 2300 | 241 |150879 | 65.4 | 18M| 28 | - |1900 |2915 | 0 | 0 | 10 |2854 | 0 | 5.675000e+01 | 4.630000e+02 | 715.86%
22.28/22.37 c 22.4s| 2400 | 239 |153997 | 64.0 | 18M| 28 | 45 |1900 |2867 |1900 |1809 | 10 |2964 | 0 | 6.100000e+01 | 4.630000e+02 | 659.02%
22.88/22.90 c 22.9s| 2500 | 230 |157381 | 62.8 | 18M| 28 | 67 |1900 |2826 |1900 |1809 | 10 |3109 | 0 | 6.400000e+01 | 4.630000e+02 | 623.44%
23.37/23.46 c 23.5s| 2600 | 219 |161211 | 61.8 | 18M| 28 | - |1900 |2738 | 0 | 0 | 10 |3232 | 0 | 7.805556e+01 | 4.630000e+02 | 493.17%
23.98/24.02 c 24.0s| 2700 | 224 |164789 | 60.9 | 18M| 28 | - |1900 |2681 | 0 | 0 | 10 |3357 | 0 | 9.283333e+01 | 4.630000e+02 | 398.74%
24.47/24.57 c 24.6s| 2800 | 202 |168646 | 60.1 | 18M| 28 | - |1900 |2692 | 0 | 0 | 10 |3506 | 0 | 1.182500e+02 | 4.630000e+02 | 291.54%
25.08/25.11 c 25.1s| 2900 | 195 |172302 | 59.3 | 18M| 28 | 67 |1900 |2630 |1900 |1809 | 10 |3652 | 0 | 1.232500e+02 | 4.630000e+02 | 275.66%
25.47/25.59 c 25.6s| 3000 | 174 |175353 | 58.3 | 18M| 28 | - |1900 |2595 | 0 | 0 | 10 |3789 | 0 | 1.325000e+02 | 4.630000e+02 | 249.43%
25.97/26.02 c 26.0s| 3100 | 135 |177909 | 57.2 | 17M| 28 | - |1900 |2488 | 0 | 0 | 10 |3924 | 0 | 1.564000e+02 | 4.630000e+02 | 196.04%
26.48/26.53 c 26.5s| 3200 | 91 |181147 | 56.5 | 17M| 28 | 60 |1900 |2350 |1900 |1809 | 10 |4105 | 0 | 1.800000e+02 | 4.630000e+02 | 157.22%
26.97/27.05 c 27.1s| 3300 | 13 |184445 | 55.8 | 15M| 28 | 78 |1900 |2220 |1900 |1809 | 10 |4294 | 0 | 2.305000e+02 | 4.630000e+02 | 100.87%
27.07/27.10 c
27.07/27.10 c SCIP Status : problem is solved [optimal solution found]
27.07/27.10 c Solving Time (sec) : 27.10
27.07/27.10 c Solving Nodes : 3310
27.07/27.10 c Primal Bound : +4.63000000000000e+02 (86 solutions)
27.07/27.10 c Dual Bound : +4.63000000000000e+02
27.07/27.10 c Gap : 0.00 %
27.07/27.10 s OPTIMUM FOUND
27.07/27.10 v x200 -x199 x198 -x197 -x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 -x186 x185 -x184 x183 x182 -x181 x180 -x179 x178 -x177
27.07/27.10 v x176 -x175 -x174 x173 x172 -x171 x170 -x169 -x168 x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155
27.07/27.10 v -x154 x153 -x152 x151 x150 -x149 x148 -x147 x146 -x145 -x144 x143 x142 -x141 -x140 x139 x138 -x137 -x136 x135 -x134 x133 x132
27.07/27.10 v -x131 x130 -x129 -x128 x127 x126 -x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 -x110 x109
27.07/27.10 v x108 -x107 x106 -x105 -x104 x103 x102 -x101 -x100 x99 x98 -x97 x96 -x95 x94 -x93 -x92 x91 x90 -x89 x88 -x87 x86 -x85 -x84
27.07/27.10 v x83 x82 -x81 x80 -x79 x78 -x77 -x76 x75 -x74 x73 -x72 x71 x70 -x69 x68 -x67 -x66 x65 -x64 x63 x62 -x61 x60 -x59 x58 -x57 -x56
27.07/27.10 v x55 -x54 x53 x52 -x51 -x50 x49 -x48 x47 -x46 x45 x44 -x43 x42 -x41 x40 -x39 -x38 x37 -x36 x35 x34 -x33 -x32 x31 -x30 x29 -x28
27.07/27.10 v x27 x26 -x25 x24 -x23 -x22 x21 -x20 x19 x18 -x17 x16 -x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
27.07/27.10 c SCIP Status : problem is solved [optimal solution found]
27.07/27.10 c Total Time : 27.10
27.07/27.10 c solving : 27.10
27.07/27.10 c presolving : 0.04 (included in solving)
27.07/27.10 c reading : 0.01 (included in solving)
27.07/27.10 c copying : 0.03 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
27.07/27.10 c Original Problem :
27.07/27.10 c Problem name : HOME/instance-3717674-1338203705.wbo
27.07/27.10 c Variables : 1100 (1100 binary, 0 integer, 0 implicit integer, 0 continuous)
27.07/27.10 c Constraints : 1001 initial, 1001 maximal
27.07/27.10 c Objective sense : minimize
27.07/27.10 c Presolved Problem :
27.07/27.10 c Problem name : t_HOME/instance-3717674-1338203705.wbo
27.07/27.10 c Variables : 1900 (1000 binary, 0 integer, 900 implicit integer, 0 continuous)
27.07/27.10 c Constraints : 1800 initial, 2949 maximal
27.07/27.10 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
27.07/27.10 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c linear : 0.03 0.00 0 100 0 900 0 101 0 0 0
27.07/27.10 c indicator : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
27.07/27.10 c root node : - - 944 - - 944 - - - - -
27.07/27.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
27.07/27.10 c integral : 0 0 0 0 1972 0 2118 0 0 0 0 0 3936
27.07/27.10 c linear : 900 900 6 17339 2 0 2115 30819 1139 45241 0 0 0
27.07/27.10 c indicator : 900 900 0 16202 4 0 200 2579 2 41709 0 0 0
27.07/27.10 c logicor : 0+ 1621 0 9832 0 0 0 3605 331 5562 0 0 0
27.07/27.10 c countsols : 0 0 0 0 3 0 202 0 0 0 0 0 0
27.07/27.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
27.07/27.10 c integral : 0.09 0.00 0.00 0.00 0.03 0.00 0.07 0.00
27.07/27.10 c linear : 1.11 0.00 0.00 0.96 0.00 0.00 0.12 0.04
27.07/27.10 c indicator : 0.24 0.00 0.00 0.16 0.00 0.00 0.08 0.00
27.07/27.10 c logicor : 0.35 0.00 0.00 0.34 0.00 0.00 0.00 0.01
27.07/27.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
27.07/27.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
27.07/27.10 c rootredcost : 7 0 0 472
27.07/27.10 c pseudoobj : 19349 4477 77 41846
27.07/27.10 c vbounds : 5258 15678 8 299444
27.07/27.10 c redcost : 3736 0 0 166064
27.07/27.10 c probing : 0 0 0 0
27.07/27.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
27.07/27.10 c rootredcost : 0.02 0.00 0.00 0.02 0.00
27.07/27.10 c pseudoobj : 0.28 0.00 0.00 0.10 0.18
27.07/27.10 c vbounds : 0.67 0.00 0.00 0.65 0.02
27.07/27.10 c redcost : 0.30 0.00 0.00 0.30 0.00
27.07/27.10 c probing : 0.00 0.00 0.00 0.00 0.00
27.07/27.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
27.07/27.10 c propagation : 0.33 1557 1352 5987 26.0 102 7.1 -
27.07/27.10 c infeasible LP : 0.00 9 9 26 24.5 0 0.0 0
27.07/27.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
27.07/27.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
27.07/27.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
27.07/27.10 c applied globally : - - - 4308 25.0 - - -
27.07/27.10 c applied locally : - - - 0 0.0 - - -
27.07/27.10 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
27.07/27.10 c cut pool : 0.00 5 - - 67 - (maximal pool size: 1720)
27.07/27.10 c closecuts : 0.00 0.00 0 0 0 0 0
27.07/27.10 c impliedbounds : 0.00 0.00 6 0 0 0 0
27.07/27.10 c intobj : 0.00 0.00 0 0 0 0 0
27.07/27.10 c gomory : 0.38 0.00 6 0 0 100 0
27.07/27.10 c cgmip : 0.00 0.00 0 0 0 0 0
27.07/27.10 c strongcg : 0.34 0.00 6 0 0 1203 0
27.07/27.10 c cmir : 0.14 0.00 6 0 0 0 0
27.07/27.10 c flowcover : 0.11 0.00 6 0 0 0 0
27.07/27.10 c clique : 0.00 0.00 1 0 0 0 0
27.07/27.10 c zerohalf : 0.00 0.00 0 0 0 0 0
27.07/27.10 c mcf : 0.00 0.00 1 0 0 0 0
27.07/27.10 c oddcycle : 0.00 0.00 0 0 0 0 0
27.07/27.10 c rapidlearning : 0.23 0.00 1 0 0 0 0
27.07/27.10 c Pricers : ExecTime SetupTime Calls Vars
27.07/27.10 c problem variables: 0.00 - 0 0
27.07/27.10 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
27.07/27.10 c inference : 0.02 0.00 1968 0 0 0 0 3936
27.07/27.10 c relpscost : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c pscost : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c mostinf : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c leastinf : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c random : 0.00 0.00 0 0 0 0 0 0
27.07/27.10 c Primal Heuristics : ExecTime SetupTime Calls Found
27.07/27.10 c LP solutions : 0.00 - - 3
27.07/27.10 c pseudo solutions : 0.00 - - 0
27.07/27.10 c oneopt : 0.01 0.00 8 0
27.07/27.10 c indoneopt : 0.13 0.00 13 4
27.07/27.10 c veclendiving : 1.21 0.00 39 1
27.07/27.10 c fracdiving : 0.76 0.00 39 0
27.07/27.10 c linesearchdiving : 0.82 0.00 39 0
27.07/27.10 c guideddiving : 0.67 0.00 39 0
27.07/27.10 c pscostdiving : 0.98 0.00 40 1
27.07/27.10 c smallcard : 0.00 0.00 0 0
27.07/27.10 c trivial : 0.00 0.00 2 1
27.07/27.10 c shiftandpropagate: 0.00 0.00 0 0
27.07/27.10 c simplerounding : 0.06 0.00 1975 0
27.07/27.10 c zirounding : 0.09 0.00 1000 0
27.07/27.10 c rounding : 0.17 0.00 1551 1
27.07/27.10 c shifting : 0.07 0.00 194 0
27.07/27.10 c intshifting : 0.00 0.00 0 0
27.07/27.10 c twoopt : 0.00 0.00 0 0
27.07/27.10 c indtwoopt : 0.00 0.00 0 0
27.07/27.10 c fixandinfer : 0.00 0.00 0 0
27.07/27.10 c feaspump : 0.00 0.00 0 0
27.07/27.10 c clique : 0.00 0.00 0 0
27.07/27.10 c coefdiving : 0.97 0.00 41 0
27.07/27.10 c indrounding : 1.00 0.00 1968 60
27.07/27.10 c indcoefdiving : 0.00 0.00 0 0
27.07/27.10 c nlpdiving : 0.00 0.00 0 0
27.07/27.10 c intdiving : 0.00 0.00 0 0
27.07/27.10 c actconsdiving : 0.00 0.00 0 0
27.07/27.10 c objpscostdiving : 0.87 0.00 2 0
27.07/27.10 c rootsoldiving : 0.59 0.00 8 6
27.07/27.10 c octane : 0.00 0.00 0 0
27.07/27.10 c rens : 0.22 0.00 1 0
27.07/27.10 c rins : 0.00 0.00 0 0
27.07/27.10 c localbranching : 0.00 0.00 0 0
27.07/27.10 c mutation : 0.00 0.00 0 0
27.07/27.10 c crossover : 0.06 0.00 1 1
27.07/27.10 c dins : 0.00 0.00 0 0
27.07/27.10 c vbounds : 0.00 0.00 0 0
27.07/27.10 c undercover : 0.00 0.00 0 0
27.07/27.10 c subnlp : 0.00 0.00 0 0
27.07/27.10 c trysol : 0.01 0.00 7 7
27.07/27.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
27.07/27.10 c primal LP : 0.00 1 0 0.00 - 0.00 1
27.07/27.10 c dual LP : 12.36 4193 123272 50.90 9975.52 0.82 1771
27.07/27.10 c lex dual LP : 0.00 0 0 0.00 -
27.07/27.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
27.07/27.10 c diving/probing LP: 5.88 2001 61384 30.68 10437.62
27.07/27.10 c strong branching : 0.00 0 0 0.00 -
27.07/27.10 c (at root node) : - 0 0 0.00 -
27.07/27.10 c conflict analysis: 0.00 0 0 0.00 -
27.07/27.10 c B&B Tree :
27.07/27.10 c number of runs : 1
27.07/27.10 c nodes : 3310
27.07/27.10 c nodes (total) : 3310
27.07/27.10 c nodes left : 0
27.07/27.10 c max depth : 28
27.07/27.10 c max depth (total): 28
27.07/27.10 c backtracks : 1306 (39.5%)
27.07/27.10 c delayed cutoffs : 455
27.07/27.10 c repropagations : 1458 (114110 domain reductions, 402 cutoffs)
27.07/27.10 c avg switch length: 6.34
27.07/27.10 c switching time : 1.07
27.07/27.10 c Solution :
27.07/27.10 c Solutions found : 86 (15 improvements)
27.07/27.10 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trivial>)
27.07/27.10 c Primal Bound : +4.63000000000000e+02 (in run 1, after 1129 nodes, 14.90 seconds, depth 15, found by <relaxation>)
27.07/27.10 c Dual Bound : +4.63000000000000e+02
27.07/27.10 c Gap : 0.00 %
27.07/27.10 c Root Dual Bound : +0.00000000000000e+00
27.07/27.10 c Root Iterations : 492
27.07/27.11 c Time complete: 27.09.
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-3717674-1338203705/watcher-3717674-1338203705 -o /tmp/evaluation-result-3717674-1338203705/solver-3717674-1338203705 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717674-1338203705.wbo -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.04 2.05 2.00 3/176 4633
/proc/meminfo: memFree=30722360/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=10192 CPUtime=0 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 1288 0 0 0 0 0 0 0 20 0 1 0 286494887 10436608 1242 33554432000 4194304 10173063 140735051017664 140734622316584 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 2548 1242 416 1460 0 1079 0
[startup+0.056648 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 4633
/proc/meminfo: memFree=30722360/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=23412 CPUtime=0.05 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 4683 0 0 0 4 1 0 0 20 0 1 0 286494887 23973888 4380 33554432000 4194304 10173063 140735051017664 140734622316584 4954498 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 5853 4388 605 1460 0 4384 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23412
[startup+0.10033 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 4633
/proc/meminfo: memFree=30722360/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=24304 CPUtime=0.09 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 4910 0 0 0 8 1 0 0 20 0 1 0 286494887 24887296 4607 33554432000 4194304 10173063 140735051017664 140734622316584 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 6076 4607 635 1460 0 4607 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24304
[startup+0.300302 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 4633
/proc/meminfo: memFree=30722360/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=49460 CPUtime=0.29 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 11137 0 0 0 26 3 0 0 20 0 1 0 286494887 50647040 10766 33554432000 4194304 10173063 140735051017664 140734622316584 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 12365 10766 804 1460 0 10896 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49460
[startup+0.700278 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 4633
/proc/meminfo: memFree=30722360/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=35928 CPUtime=0.69 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 12354 0 0 0 64 5 0 0 20 0 1 0 286494887 36790272 7727 33554432000 4194304 10173063 140735051017664 140734622316584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 8982 7727 831 1460 0 7513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35928
[startup+1.50027 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30693152/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=40432 CPUtime=1.48 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 13534 0 0 0 140 8 0 0 20 0 1 0 286494887 41402368 8861 33554432000 4194304 10173063 140735051017664 140735051012584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 10108 8861 833 1460 0 8639 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40432
[startup+3.10027 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30691292/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=41912 CPUtime=3.09 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 18937 0 0 0 297 12 0 0 20 0 1 0 286494887 42917888 9288 33554432000 4194304 10173063 140735051017664 140735051010680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 10478 9288 862 1460 0 9009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41912
[startup+6.3003 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30690556/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=42644 CPUtime=6.29 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 19130 0 0 0 612 17 0 0 20 0 1 0 286494887 43667456 9480 33554432000 4194304 10173063 140735051017664 140735051010584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 10661 9480 862 1460 0 9192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42644
[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30673056/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=60408 CPUtime=12.68 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 24413 0 0 0 1236 32 0 0 20 0 1 0 286494887 61857792 13796 33554432000 4194304 10173063 140735051017664 140735051010648 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 15102 13796 866 1460 0 13633 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60408
[startup+25.5003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30670880/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=61900 CPUtime=25.47 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 25034 0 0 0 2474 73 0 0 20 0 1 0 286494887 63385600 14411 33554432000 4194304 10173063 140735051017664 140735051010920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 15475 14411 867 1460 0 14006 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 61900
Solver just ended. Dumping a history of the last processes samples
[startup+26.3003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30670384/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=62400 CPUtime=26.28 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 25127 0 0 0 2551 77 0 0 20 0 1 0 286494887 63897600 14504 33554432000 4194304 10173063 140735051017664 140735051010600 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 15600 14504 867 1460 0 14131 0
Current children cumulated CPU time (s) 26.28
Current children cumulated vsize (KiB) 62400
[startup+26.7003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30670384/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=62400 CPUtime=26.68 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 25161 0 0 0 2589 79 0 0 20 0 1 0 286494887 63897600 14538 33554432000 4194304 10173063 140735051017664 140735051010600 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 15600 14538 867 1460 0 14131 0
Current children cumulated CPU time (s) 26.68
Current children cumulated vsize (KiB) 62400
[startup+27.1003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 4634
/proc/meminfo: memFree=30670384/32873844 swapFree=7620/7620
[pid=4633] ppid=4631 vsize=62748 CPUtime=27.07 cores=1,3,5,7
/proc/4633/stat : 4633 (scip-2.1.1.4fix) R 4631 4633 1906 0 -1 4202496 25218 0 0 0 2627 80 0 0 20 0 1 0 286494887 64253952 14595 33554432000 4194304 10173063 140735051017664 140735051014184 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4633/statm: 15687 14595 867 1460 0 14218 0
Current children cumulated CPU time (s) 27.07
Current children cumulated vsize (KiB) 62748
Child status: 0
Real time (s): 27.116
CPU time (s): 27.1009
CPU user time (s): 26.287
CPU system time (s): 0.813876
CPU usage (%): 99.9443
Max. virtual memory (cumulated for all children) (KiB): 62748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.287
system time used= 0.813876
maximum resident set size= 58448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25223
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= 14
involuntary context switches= 28
runsolver used 0.038994 second user time and 0.134979 second system time
The end