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-3717655-1338203641.wbo>
0.00/0.00 c original problem has 1050 variables (1050 bin, 0 int, 0 impl, 0 cont) and 951 constraints
0.00/0.00 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, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 51/950 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 0 added constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1050 implications, 0 cliques
0.00/0.05 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.05 c 850 constraints of type <linear>
0.00/0.05 c 850 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.1.1.4
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # force restart if we have a max FS instance and gap is 1?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/forcerestart = TRUE
0.00/0.05 c
0.00/0.05 c # priority of branching rule <inference>
0.00/0.05 c # [type: int, range: [-536870912,536870911], default: 1000]
0.00/0.05 c branching/inference/priority = 1000000
0.00/0.05 c
0.00/0.05 c # frequency offset for calling primal heuristic <coefdiving>
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1]
0.00/0.05 c heuristics/coefdiving/freqofs = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/shiftandpropagate/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/undercover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c heuristics/indrounding/freq = 1
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 420925
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.1s| 1 | 0 | 0 | - |5324k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.09/0.10 o 19493
0.09/0.10 c 6 0.1s| 1 | 0 | 0 | - |5324k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 1.949300e+04 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 318 | - |6897k| 0 | 82 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 1.949300e+04 | Inf
0.09/0.15 o 3800
0.09/0.15 c 6 0.2s| 1 | 0 | 318 | - |7005k| 0 | 82 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 3.800000e+03 | Inf
0.39/0.40 o 1801
0.39/0.40 c y 0.4s| 1 | 0 | 318 | - |7989k| 0 | 82 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 358 | - |7047k| 0 | 84 |1800 |1700 |1800 |1702 | 2 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
0.49/0.50 c 0.5s| 1 | 0 | 387 | - |8548k| 0 | 89 |1800 |1700 |1800 |1703 | 3 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
0.58/0.66 c 0.7s| 1 | 0 | 412 | - | 10M| 0 | 90 |1800 |1700 |1800 |1704 | 4 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
0.79/0.84 c 0.8s| 1 | 0 | 444 | - | 13M| 0 | 88 |1800 |1700 |1800 |1705 | 5 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
0.99/1.02 c 1.0s| 1 | 0 | 476 | - | 16M| 0 | 85 |1800 |1700 |1800 |1706 | 6 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
1.19/1.21 c 1.2s| 1 | 0 | 514 | - | 19M| 0 | 89 |1800 |1700 |1800 |1707 | 7 | 0 | 0 | 0.000000e+00 | 1.801000e+03 | Inf
1.29/1.39 o 1512
1.29/1.39 c c 1.4s| 1 | 0 | 2304 | - | 19M| 0 | - |1800 |1700 |1800 |1707 | 7 | 0 | 0 | 0.000000e+00 | 1.512000e+03 | Inf
1.69/1.77 c 1.8s| 1 | 0 | 2304 | - | 19M| 0 | 89 |1800 |1700 |1800 |1707 | 7 | 0 | 0 | 0.000000e+00 | 1.512000e+03 | Inf
1.69/1.78 o 864
1.69/1.78 c 6 1.8s| 1 | 0 | 2304 | - | 19M| 0 | 89 |1800 |1700 |1800 |1707 | 7 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
1.89/1.98 c 2.0s| 1 | 0 | 2342 | - | 22M| 0 | 88 |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
1.89/1.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.98 c 2.0s| 1 | 0 | 2342 | - | 22M| 0 | 88 |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
1.89/1.99 c 2.0s| 1 | 2 | 2342 | - | 22M| 0 | 88 |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
1.89/1.99 c (run 1, node 1) restarting after 106 global fixings of integer variables
1.89/1.99 c
1.89/1.99 c (restart) converted 858 cuts from the global cut pool into linear constraints
1.89/1.99 c
1.89/1.99 c presolving:
1.99/2.00 c (round 1) 212 del vars, 212 del conss, 0 add conss, 106 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
1.99/2.01 c (round 2) 212 del vars, 212 del conss, 0 add conss, 106 chg bounds, 0 chg sides, 0 chg coeffs, 852 upgd conss, 1062 impls, 0 clqs
1.99/2.02 c (round 3) 212 del vars, 213 del conss, 0 add conss, 106 chg bounds, 0 chg sides, 0 chg coeffs, 852 upgd conss, 1062 impls, 0 clqs
1.99/2.02 c presolving (4 rounds):
1.99/2.02 c 212 deleted vars, 213 deleted constraints, 0 added constraints, 106 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.02 c 1062 implications, 0 cliques
1.99/2.02 c presolved problem has 1588 variables (844 bin, 0 int, 744 impl, 0 cont) and 2345 constraints
1.99/2.02 c 744 constraints of type <varbound>
1.99/2.02 c 6 constraints of type <setppc>
1.99/2.02 c 751 constraints of type <linear>
1.99/2.02 c 744 constraints of type <indicator>
1.99/2.02 c 100 constraints of type <logicor>
1.99/2.02 c transformed objective value is always integral (scale: 1)
1.99/2.02 c Presolving Time: 0.07
1.99/2.02 c
1.99/2.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.09 c 2.1s| 1 | 0 | 2640 | - |7779k| 0 | 84 |1588 |2345 |1588 |2345 | 0 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
2.09/2.18 c 2.2s| 1 | 0 | 2670 | - |8309k| 0 | 87 |1588 |2345 |1588 |2346 | 1 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
2.29/2.33 c 2.3s| 1 | 2 | 4116 | - |8311k| 0 | 87 |1588 |2345 |1588 |2346 | 1 | 0 | 0 | 0.000000e+00 | 8.640000e+02 | Inf
5.19/5.29 o 792
5.19/5.29 c l 5.3s| 84 | 83 | 34231 | 397.0 | 10M| 21 | - |1588 |2380 |1588 |1634 | 1 | 35 | 0 | 0.000000e+00 | 7.920000e+02 | Inf
5.28/5.30 o 783
5.28/5.30 c 6 5.3s| 85 | 82 | 34231 | 392.4 | 10M| 21 | - |1588 |2380 | 0 | 0 | 1 | 35 | 0 | 0.000000e+00 | 7.830000e+02 | Inf
5.40/5.50 c 5.5s| 100 | 95 | 35834 | 349.5 | 10M| 21 | 52 |1588 |2267 |1588 |1634 | 1 | 48 | 0 | 0.000000e+00 | 7.830000e+02 | Inf
7.18/7.27 o 252
7.18/7.27 c * 7.3s| 175 | 106 | 52296 | 293.8 | 10M| 21 | - |1588 |2290 |1588 |1634 | 1 | 71 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
7.49/7.51 c 7.5s| 200 | 118 | 53929 | 265.2 | 10M| 21 | - |1588 |1372 | 0 | 0 | 1 | 112 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
7.99/8.03 o 128
7.99/8.03 c * 8.0s| 255 | 111 | 57923 | 223.7 | 10M| 21 | - |1588 |1485 |1588 |1634 | 1 | 225 | 0 | 0.000000e+00 | 1.280000e+02 | Inf
8.18/8.21 o 41
8.18/8.21 c * 8.2s| 292 | 86 | 59153 | 199.6 | 10M| 21 | - |1588 |1312 |1588 |1634 | 1 | 266 | 0 | 0.000000e+00 | 4.100000e+01 | Inf
8.18/8.21 c Forcing restart, since 670 binary variables among 744 have been fixed.
8.18/8.21 c (run 2, node 293) performing user restart
8.18/8.21 c
8.18/8.22 c (restart) converted 745 cuts from the global cut pool into linear constraints
8.18/8.22 c
8.18/8.22 c presolving:
8.18/8.23 c (round 1) 1433 del vars, 923 del conss, 0 add conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1232 impls, 0 clqs
8.18/8.24 c (round 2) 1433 del vars, 926 del conss, 0 add conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1232 impls, 0 clqs
8.18/8.27 c (round 3) 1433 del vars, 962 del conss, 0 add conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 1232 impls, 0 clqs
8.18/8.27 c (round 4) 1433 del vars, 1011 del conss, 0 add conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 1232 impls, 0 clqs
8.18/8.27 c presolving (5 rounds):
8.18/8.27 c 1433 deleted vars, 1011 deleted constraints, 0 added constraints, 80 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.18/8.27 c 1232 implications, 0 cliques
8.18/8.27 c presolved problem has 155 variables (127 bin, 0 int, 28 impl, 0 cont) and 1046 constraints
8.18/8.27 c 28 constraints of type <varbound>
8.18/8.27 c 5 constraints of type <knapsack>
8.18/8.27 c 69 constraints of type <setppc>
8.18/8.27 c 31 constraints of type <linear>
8.18/8.27 c 28 constraints of type <indicator>
8.18/8.27 c 885 constraints of type <logicor>
8.18/8.27 c transformed objective value is always integral (scale: 1)
8.18/8.27 c Presolving Time: 0.12
8.18/8.27 c
8.18/8.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.18/8.29 c 8.3s| 1 | 0 | 59318 | - |7759k| 0 | 77 | 155 |1046 | 155 | 887 | 0 | 266 | 0 | 0.000000e+00 | 4.100000e+01 | Inf
8.28/8.32 c 8.3s| 1 | 0 | 59342 | - |8367k| 0 | 82 | 155 |1046 | 155 | 888 | 1 | 266 | 0 | 0.000000e+00 | 4.100000e+01 | Inf
8.28/8.36 c 8.4s| 1 | 2 | 59857 | - |8369k| 0 | 82 | 155 |1052 | 155 | 888 | 1 | 272 | 0 | 0.000000e+00 | 4.100000e+01 | Inf
8.59/8.60 o 36
8.59/8.60 c 5 8.6s| 95 | 15 | 62966 | 159.6 |8466k| 18 | - | 155 |1149 | 155 | 853 | 1 | 369 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
8.59/8.63 c 8.6s| 100 | 15 | 63335 | 158.5 |8452k| 18 | 73 | 155 |1146 | 155 | 853 | 1 | 374 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
8.70/8.74 o 19
8.70/8.74 c s 8.7s| 151 | 15 | 64711 | 143.4 |8509k| 18 | 10 | 155 |1206 | 155 | 853 | 1 | 434 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
8.79/8.85 c 8.9s| 200 | 6 | 65904 | 131.5 |8493k| 18 | 70 | 155 |1227 | 155 | 853 | 1 | 485 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
9.09/9.13 c 9.1s| 300 | 19 | 69520 | 115.5 |8548k| 18 | 58 | 155 |1308 | 155 | 853 | 1 | 601 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
9.19/9.29 o 11
9.19/9.29 c c 9.3s| 360 | 21 | 71398 | 107.7 |8587k| 18 | - | 155 |1363 | 155 | 853 | 1 | 669 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
9.39/9.41 c 9.4s| 400 | 18 | 72746 | 103.5 |8597k| 18 | 62 | 155 |1444 | 155 | 853 | 1 | 778 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
9.59/9.69 c 9.7s| 500 | 17 | 75779 | 94.2 |8645k| 18 | 33 | 155 |1596 | 155 | 853 | 1 | 959 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
9.80/9.86 o 6
9.80/9.86 c c 9.9s| 590 | 12 | 77766 | 86.9 |8681k| 18 | - | 155 |1663 | 155 | 853 | 1 |1059 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
9.80/9.88 c 9.9s| 600 | 8 | 77979 | 86.1 |8673k| 18 | 67 | 155 |1675 | 155 | 853 | 1 |1084 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
9.98/10.01 c
9.98/10.01 c SCIP Status : problem is solved [optimal solution found]
9.98/10.01 c Solving Time (sec) : 10.01
9.98/10.01 c Solving Nodes : 640 (total of 934 nodes in 3 runs)
9.98/10.01 c Primal Bound : +6.00000000000000e+00 (52 solutions)
9.98/10.01 c Dual Bound : +6.00000000000000e+00
9.98/10.01 c Gap : 0.00 %
9.98/10.01 s OPTIMUM FOUND
9.98/10.01 v -x200 x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 -x190 x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 -x178
9.98/10.01 v x177 x176 -x175 x174 -x173 -x172 x171 -x170 x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 x156 -x155
9.98/10.01 v x154 -x153 -x152 x151 x150 -x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 x139 -x138 x137 x136 -x135 -x134 x133 -x132
9.98/10.01 v x131 x130 -x129 -x128 x127 -x126 x125 x124 -x123 x122 -x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 -x110 x109
9.98/10.01 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
9.98/10.01 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
9.98/10.01 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
9.98/10.01 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
9.98/10.01 c SCIP Status : problem is solved [optimal solution found]
9.98/10.01 c Total Time : 10.01
9.98/10.01 c solving : 10.01
9.98/10.01 c presolving : 0.12 (included in solving)
9.98/10.01 c reading : 0.01 (included in solving)
9.98/10.01 c copying : 0.03 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
9.98/10.01 c Original Problem :
9.98/10.01 c Problem name : HOME/instance-3717655-1338203641.wbo
9.98/10.01 c Variables : 1050 (1050 binary, 0 integer, 0 implicit integer, 0 continuous)
9.98/10.01 c Constraints : 951 initial, 951 maximal
9.98/10.01 c Objective sense : minimize
9.98/10.01 c Presolved Problem :
9.98/10.01 c Problem name : t_HOME/instance-3717655-1338203641.wbo
9.98/10.01 c Variables : 155 (127 binary, 0 integer, 28 implicit integer, 0 continuous)
9.98/10.01 c Constraints : 1046 initial, 1696 maximal
9.98/10.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
9.98/10.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c trivial : 0.00 0.00 1458 0 0 0 0 0 0 0 0
9.98/10.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c implics : 0.00 0.00 0 1 0 0 0 0 0 0 0
9.98/10.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c varbound : 0.00 0.00 0 0 0 80 0 108 0 0 0
9.98/10.01 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
9.98/10.01 c setppc : 0.00 0.00 0 0 0 0 0 22 0 0 0
9.98/10.01 c linear : 0.07 0.00 186 100 0 956 0 925 0 0 0
9.98/10.01 c indicator : 0.00 0.00 0 0 0 0 0 186 0 0 0
9.98/10.01 c logicor : 0.02 0.00 0 0 0 0 0 84 0 0 0
9.98/10.01 c root node : - - 1515 - - 1515 - - - - -
9.98/10.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
9.98/10.01 c integral : 0 0 0 0 664 0 880 0 0 0 0 0 1316
9.98/10.01 c varbound : 28 28 2 7231 0 0 0 22 0 1751 0 0 0
9.98/10.01 c knapsack : 5 5 1 4033 0 0 0 280 3 195 0 0 0
9.98/10.01 c setppc : 69 69 2 5164 0 0 750 4041 42 2417 0 0 0
9.98/10.01 c linear : 31 31 9 7345 3 0 783 2581 95 2500 0 0 0
9.98/10.01 c indicator : 28 28 0 7185 6 0 580 130 0 151 0 0 0
9.98/10.01 c logicor : 885+ 1590 2 5614 3 0 458 8762 437 9330 0 0 0
9.98/10.01 c countsols : 0 0 0 0 3 0 162 0 0 0 0 0 0
9.98/10.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
9.98/10.01 c integral : 0.02 0.00 0.00 0.00 0.01 0.00 0.02 0.00
9.98/10.01 c varbound : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
9.98/10.01 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
9.98/10.01 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
9.98/10.01 c linear : 0.16 0.00 0.00 0.09 0.00 0.00 0.06 0.00
9.98/10.01 c indicator : 0.14 0.00 0.00 0.03 0.00 0.00 0.11 0.00
9.98/10.01 c logicor : 0.11 0.00 0.00 0.10 0.00 0.00 0.00 0.01
9.98/10.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
9.98/10.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
9.98/10.01 c rootredcost : 8 0 0 731
9.98/10.01 c pseudoobj : 8035 484 6 8602
9.98/10.01 c vbounds : 673 579 1 13001
9.98/10.01 c redcost : 869 0 0 5807
9.98/10.01 c probing : 0 0 0 0
9.98/10.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
9.98/10.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00
9.98/10.01 c pseudoobj : 0.04 0.00 0.00 0.03 0.01
9.98/10.01 c vbounds : 0.05 0.00 0.00 0.05 0.00
9.98/10.01 c redcost : 0.03 0.00 0.00 0.03 0.00
9.98/10.01 c probing : 0.00 0.00 0.00 0.00 0.00
9.98/10.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
9.98/10.01 c propagation : 0.05 584 499 2231 13.4 26 6.8 -
9.98/10.01 c infeasible LP : 0.00 5 5 16 15.3 0 0.0 0
9.98/10.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
9.98/10.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
9.98/10.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
9.98/10.01 c applied globally : - - - 1132 12.1 - - -
9.98/10.01 c applied locally : - - - 0 0.0 - - -
9.98/10.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
9.98/10.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 369)
9.98/10.01 c closecuts : 0.00 0.00 0 0 0 0 0
9.98/10.01 c impliedbounds : 0.00 0.00 9 0 0 0 0
9.98/10.01 c intobj : 0.00 0.00 0 0 0 0 0
9.98/10.01 c gomory : 0.43 0.00 9 0 0 202 0
9.98/10.01 c cgmip : 0.00 0.00 0 0 0 0 0
9.98/10.01 c strongcg : 0.43 0.00 9 0 0 4500 0
9.98/10.01 c cmir : 0.12 0.00 9 0 0 0 0
9.98/10.01 c flowcover : 0.12 0.00 9 0 0 0 0
9.98/10.01 c clique : 0.00 0.00 3 0 0 0 0
9.98/10.01 c zerohalf : 0.00 0.00 0 0 0 0 0
9.98/10.01 c mcf : 0.00 0.00 3 0 0 0 0
9.98/10.01 c oddcycle : 0.00 0.00 0 0 0 0 0
9.98/10.01 c rapidlearning : 0.21 0.00 1 0 0 0 0
9.98/10.01 c Pricers : ExecTime SetupTime Calls Vars
9.98/10.01 c problem variables: 0.00 - 0 0
9.98/10.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
9.98/10.01 c inference : 0.01 0.00 658 0 0 0 0 1316
9.98/10.01 c relpscost : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c pscost : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c random : 0.00 0.00 0 0 0 0 0 0
9.98/10.01 c Primal Heuristics : ExecTime SetupTime Calls Found
9.98/10.01 c LP solutions : 0.00 - - 3
9.98/10.01 c pseudo solutions : 0.00 - - 0
9.98/10.01 c oneopt : 0.00 0.00 11 0
9.98/10.01 c indoneopt : 0.14 0.00 16 4
9.98/10.01 c objpscostdiving : 0.80 0.00 2 1
9.98/10.01 c fracdiving : 0.37 0.00 11 0
9.98/10.01 c pscostdiving : 0.35 0.00 11 0
9.98/10.01 c veclendiving : 0.34 0.00 11 0
9.98/10.01 c guideddiving : 0.27 0.00 11 0
9.98/10.01 c rootsoldiving : 0.29 0.00 6 4
9.98/10.01 c linesearchdiving : 0.57 0.00 14 1
9.98/10.01 c smallcard : 0.00 0.00 0 0
9.98/10.01 c trivial : 0.00 0.00 2 1
9.98/10.01 c shiftandpropagate: 0.00 0.00 0 0
9.98/10.01 c simplerounding : 0.01 0.00 669 0
9.98/10.01 c zirounding : 0.04 0.00 657 0
9.98/10.01 c rounding : 0.04 0.00 320 0
9.98/10.01 c shifting : 0.04 0.00 107 3
9.98/10.01 c intshifting : 0.00 0.00 0 0
9.98/10.01 c twoopt : 0.00 0.00 0 0
9.98/10.01 c indtwoopt : 0.00 0.00 0 0
9.98/10.01 c fixandinfer : 0.00 0.00 0 0
9.98/10.01 c feaspump : 0.00 0.00 0 0
9.98/10.01 c clique : 0.00 0.00 0 0
9.98/10.01 c coefdiving : 1.16 0.00 51 3
9.98/10.01 c indrounding : 0.20 0.00 657 26
9.98/10.01 c indcoefdiving : 0.00 0.00 0 0
9.98/10.01 c nlpdiving : 0.00 0.00 0 0
9.98/10.01 c intdiving : 0.00 0.00 0 0
9.98/10.01 c actconsdiving : 0.00 0.00 0 0
9.98/10.01 c octane : 0.00 0.00 0 0
9.98/10.01 c rens : 0.38 0.00 1 0
9.98/10.01 c rins : 0.00 0.00 0 0
9.98/10.01 c localbranching : 0.00 0.00 0 0
9.98/10.01 c mutation : 0.00 0.00 0 0
9.98/10.01 c crossover : 0.01 0.00 0 0
9.98/10.01 c dins : 0.00 0.00 0 0
9.98/10.01 c vbounds : 0.00 0.00 0 0
9.98/10.01 c undercover : 0.00 0.00 0 0
9.98/10.01 c subnlp : 0.00 0.00 0 0
9.98/10.01 c trysol : 0.00 0.00 5 5
9.98/10.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
9.98/10.01 c primal LP : 0.00 2 0 0.00 - 0.00 2
9.98/10.01 c dual LP : 2.91 880 37201 55.11 12803.75 0.07 205
9.98/10.01 c lex dual LP : 0.00 0 0 0.00 -
9.98/10.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
9.98/10.01 c diving/probing LP: 3.60 1455 42433 29.16 11784.38
9.98/10.01 c strong branching : 0.00 0 0 0.00 -
9.98/10.01 c (at root node) : - 0 0 0.00 -
9.98/10.01 c conflict analysis: 0.00 0 0 0.00 -
9.98/10.01 c B&B Tree :
9.98/10.01 c number of runs : 3
9.98/10.01 c nodes : 640
9.98/10.01 c nodes (total) : 934
9.98/10.01 c nodes left : 0
9.98/10.01 c max depth : 18
9.98/10.01 c max depth (total): 21
9.98/10.01 c backtracks : 211 (33.0%)
9.98/10.01 c delayed cutoffs : 170
9.98/10.01 c repropagations : 445 (4933 domain reductions, 142 cutoffs)
9.98/10.01 c avg switch length: 2.92
9.98/10.01 c switching time : 0.10
9.98/10.01 c Solution :
9.98/10.01 c Solutions found : 52 (15 improvements)
9.98/10.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
9.98/10.01 c Primal Bound : +6.00000000000000e+00 (in run 3, after 590 nodes, 9.86 seconds, depth 14, found by <coefdiving>)
9.98/10.01 c Dual Bound : +6.00000000000000e+00
9.98/10.01 c Gap : 0.00 %
9.98/10.01 c Root Dual Bound : +0.00000000000000e+00
9.98/10.01 c Root Iterations : 1052
9.98/10.03 c Time complete: 10.02.
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-3717655-1338203641/watcher-3717655-1338203641 -o /tmp/evaluation-result-3717655-1338203641/solver-3717655-1338203641 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717655-1338203641.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.13 2.07 2.01 3/176 4329
/proc/meminfo: memFree=30726168/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=10196 CPUtime=0 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 1299 0 0 0 0 0 0 0 20 0 1 0 286488450 10440704 1253 33554432000 4194304 10173063 140737062970496 140734175776456 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 2549 1253 416 1460 0 1080 0
[startup+0.086676 s]
/proc/loadavg: 2.13 2.07 2.01 3/176 4329
/proc/meminfo: memFree=30726168/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=24284 CPUtime=0.08 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 4895 0 0 0 7 1 0 0 20 0 1 0 286488450 24866816 4592 33554432000 4194304 10173063 140737062970496 140734175776456 5761183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 6071 4592 635 1460 0 4602 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24284
[startup+0.100329 s]
/proc/loadavg: 2.13 2.07 2.01 3/176 4329
/proc/meminfo: memFree=30726168/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=24284 CPUtime=0.09 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 4895 0 0 0 8 1 0 0 20 0 1 0 286488450 24866816 4592 33554432000 4194304 10173063 140737062970496 140734175776456 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 6071 4592 635 1460 0 4602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24284
[startup+0.30029 s]
/proc/loadavg: 2.13 2.07 2.01 3/176 4329
/proc/meminfo: memFree=30726168/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=47872 CPUtime=0.28 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 10757 0 0 0 26 2 0 0 20 0 1 0 286488450 49020928 10420 33554432000 4194304 10173063 140737062970496 140737062965384 4502890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 11968 10420 810 1460 0 10499 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47872
[startup+0.700278 s]
/proc/loadavg: 2.13 2.07 2.01 3/176 4329
/proc/meminfo: memFree=30726168/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=36680 CPUtime=0.69 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 12441 0 0 0 62 7 0 0 20 0 1 0 286488450 37560320 7877 33554432000 4194304 10173063 140737062970496 140737062965384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 9170 7877 831 1460 0 7701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36680
[startup+1.50027 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30692084/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=69152 CPUtime=1.49 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 20305 0 0 0 137 12 0 0 20 0 1 0 286488450 70811648 15731 33554432000 4194304 10173063 140737062970496 140737062965880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 17288 15731 859 1460 0 15819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69152
[startup+3.10026 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30681048/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=53376 CPUtime=3.09 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 21836 0 0 0 291 18 0 0 20 0 1 0 286488450 54657024 12227 33554432000 4194304 10173063 140737062970496 140737062963480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 13344 12227 865 1460 0 11875 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53376
[startup+6.30028 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30679436/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=54580 CPUtime=6.29 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 22167 0 0 0 606 23 0 0 20 0 1 0 286488450 55889920 12552 33554432000 4194304 10173063 140737062970496 140737062963752 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 13645 12552 865 1460 0 12176 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54580
Solver just ended. Dumping a history of the last processes samples
[startup+7.90028 s]
/proc/loadavg: 2.12 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30678320/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=56208 CPUtime=7.89 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 22452 0 0 0 761 28 0 0 20 0 1 0 286488450 57556992 12837 33554432000 4194304 10173063 140737062970496 140737062963416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 14052 12837 868 1460 0 12583 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 56208
[startup+8.70023 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30675344/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=59876 CPUtime=8.7 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 23143 0 0 0 836 34 0 0 20 0 1 0 286488450 61313024 13528 33554432000 4194304 10173063 140737062970496 140737062963800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 14969 13528 873 1460 0 13500 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 59876
[startup+9.50023 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30675344/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=58696 CPUtime=9.49 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 23636 0 0 0 909 40 0 0 20 0 1 0 286488450 60104704 13339 33554432000 4194304 10173063 140737062970496 140737062966584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 14674 13339 875 1460 0 13205 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 58696
[startup+9.90685 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30675476/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=58696 CPUtime=9.9 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 23636 0 0 0 946 44 0 0 20 0 1 0 286488450 60104704 13339 33554432000 4194304 10173063 140737062970496 140737062966584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 14674 13339 875 1460 0 13205 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 58696
[startup+10.0003 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 4330
/proc/meminfo: memFree=30675476/32873844 swapFree=7620/7620
[pid=4329] ppid=4327 vsize=58696 CPUtime=9.98 cores=1,3,5,7
/proc/4329/stat : 4329 (scip-2.1.1.4fix) R 4327 4329 1906 0 -1 4202496 23636 0 0 0 954 44 0 0 20 0 1 0 286488450 60104704 13339 33554432000 4194304 10173063 140737062970496 140737062966584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4329/statm: 14674 13339 875 1460 0 13205 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (KiB) 58696
Child status: 0
Real time (s): 10.0332
CPU time (s): 10.0305
CPU user time (s): 9.57254
CPU system time (s): 0.45793
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 69284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.57254
system time used= 0.45793
maximum resident set size= 63148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23672
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= 3
involuntary context switches= 11
runsolver used 0.020996 second user time and 0.050992 second system time
The end