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-3717653-1338203421.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.04/0.05 c presolving (3 rounds):
0.04/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.04/0.05 c 1050 implications, 0 cliques
0.04/0.05 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.04/0.05 c 850 constraints of type <linear>
0.04/0.05 c 850 constraints of type <indicator>
0.04/0.05 c transformed objective value is always integral (scale: 1)
0.04/0.05 c Presolving Time: 0.04
0.04/0.05 c - non default parameters ----------------------------------------------------------------------
0.04/0.05 c # SCIP version 2.1.1.4
0.04/0.05 c
0.04/0.05 c # maximal time in seconds to run
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/time = 1797
0.04/0.05 c
0.04/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/memory = 13950
0.04/0.05 c
0.04/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.05 c # [type: int, range: [1,2], default: 1]
0.04/0.05 c timing/clocktype = 2
0.04/0.05 c
0.04/0.05 c # belongs reading time to solving time?
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c timing/reading = TRUE
0.04/0.05 c
0.04/0.05 c # force restart if we have a max FS instance and gap is 1?
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/indicator/forcerestart = TRUE
0.04/0.05 c
0.04/0.05 c # priority of branching rule <inference>
0.04/0.05 c # [type: int, range: [-536870912,536870911], default: 1000]
0.04/0.05 c branching/inference/priority = 1000000
0.04/0.05 c
0.04/0.05 c # frequency offset for calling primal heuristic <coefdiving>
0.04/0.05 c # [type: int, range: [0,2147483647], default: 1]
0.04/0.05 c heuristics/coefdiving/freqofs = 0
0.04/0.05 c
0.04/0.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.05 c heuristics/shiftandpropagate/freq = -1
0.04/0.05 c
0.04/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.05 c heuristics/undercover/freq = -1
0.04/0.05 c
0.04/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.05 c separating/rapidlearning/freq = 0
0.04/0.05 c
0.04/0.05 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.05 c heuristics/indrounding/freq = 1
0.04/0.05 c
0.04/0.05 c -----------------------------------------------------------------------------------------------
0.04/0.05 c start solving
0.04/0.05 c
0.04/0.05 o 420925
0.04/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.04/0.05 c t 0.1s| 1 | 0 | 0 | - |5323k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.09/0.10 o 16414
0.09/0.10 c 6 0.1s| 1 | 0 | 0 | - |5323k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 1.641400e+04 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 443 | - |6896k| 0 | 87 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 1.641400e+04 | Inf
0.18/0.28 o 10243
0.18/0.28 c s 0.1s| 1 | 0 | 443 | - |7004k| 0 | 87 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 1.024300e+04 | Inf
0.18/0.28 o 3571
0.18/0.28 c 6 0.2s| 1 | 0 | 443 | - |7074k| 0 | 87 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 3.571000e+03 | Inf
0.38/0.42 o 3093
0.38/0.42 c y 0.4s| 1 | 0 | 443 | - |8370k| 0 | 87 |1800 |1700 |1800 |1700 | 0 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
0.38/0.44 c 0.4s| 1 | 0 | 503 | - |7311k| 0 | 89 |1800 |1700 |1800 |1703 | 3 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
0.49/0.59 c 0.6s| 1 | 0 | 532 | - |9547k| 0 | 89 |1800 |1700 |1800 |1704 | 4 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
0.68/0.75 c 0.8s| 1 | 0 | 556 | - | 11M| 0 | 86 |1800 |1700 |1800 |1705 | 5 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
0.89/0.92 c 0.9s| 1 | 0 | 589 | - | 14M| 0 | 92 |1800 |1700 |1800 |1706 | 6 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
1.09/1.11 c 1.1s| 1 | 0 | 629 | - | 17M| 0 | 91 |1800 |1700 |1800 |1707 | 7 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
1.28/1.30 c 1.3s| 1 | 0 | 646 | - | 20M| 0 | 87 |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 3.093000e+03 | Inf
1.49/1.50 o 2887
1.49/1.50 c c 1.5s| 1 | 0 | 2572 | - | 20M| 0 | - |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 2.887000e+03 | Inf
1.58/1.63 c 1.6s| 1 | 0 | 2572 | - | 20M| 0 | 87 |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 2.887000e+03 | Inf
1.58/1.64 o 1247
1.58/1.64 c 6 1.6s| 1 | 0 | 2572 | - | 20M| 0 | 87 |1800 |1700 |1800 |1708 | 8 | 0 | 0 | 0.000000e+00 | 1.247000e+03 | Inf
1.78/1.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.78/1.83 c 1.8s| 1 | 0 | 2597 | - | 22M| 0 | 91 |1800 |1700 |1800 |1709 | 9 | 0 | 0 | 0.000000e+00 | 1.247000e+03 | Inf
1.78/1.84 c 1.8s| 1 | 2 | 2597 | - | 22M| 0 | 91 |1800 |1700 |1800 |1709 | 9 | 0 | 0 | 0.000000e+00 | 1.247000e+03 | Inf
2.18/2.21 o 284
2.18/2.21 c f 2.2s| 15 | 15 | 6031 | 382.9 | 23M| 11 | - |1800 |1700 |1800 |1707 | 9 | 0 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
3.19/3.27 o 277
3.19/3.27 c g 3.3s| 71 | 47 | 15067 | 205.7 | 24M| 18 | - |1800 |1250 |1800 |1707 | 9 | 164 | 0 | 0.000000e+00 | 2.770000e+02 | Inf
3.48/3.52 o 212
3.48/3.52 c v 3.5s| 86 | 55 | 16952 | 191.5 | 24M| 18 | - |1800 |1276 |1800 |1707 | 9 | 197 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
3.48/3.55 o 192
3.48/3.55 c * 3.6s| 98 | 53 | 17085 | 169.2 | 24M| 21 | - |1800 |1238 |1800 |1707 | 9 | 218 | 0 | 0.000000e+00 | 1.920000e+02 | Inf
3.48/3.58 c 3.6s| 100 | 53 | 17284 | 167.8 | 24M| 21 | 59 |1800 |1221 |1800 |1707 | 9 | 224 | 0 | 0.000000e+00 | 1.920000e+02 | Inf
3.98/4.05 o 162
3.98/4.05 c * 4.1s| 178 | 64 | 20504 | 112.1 | 24M| 21 | - |1800 |1348 |1800 |1707 | 9 | 351 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
4.09/4.16 c 4.2s| 200 | 60 | 21210 | 103.2 | 24M| 21 | 63 |1800 |1374 |1800 |1707 | 9 | 397 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
4.78/4.80 c 4.8s| 300 | 57 | 25659 | 83.6 | 24M| 21 | - |1800 |1532 | 0 | 0 | 9 | 555 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
5.49/5.56 c 5.6s| 400 | 59 | 30952 | 75.9 | 24M| 21 | - |1800 |1701 | 0 | 0 | 9 | 724 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
5.68/5.73 o 101
5.68/5.73 c * 5.7s| 430 | 23 | 32160 | 73.4 | 24M| 21 | - |1800 |1755 |1800 |1707 | 9 | 778 | 0 | 0.000000e+00 | 1.010000e+02 | Inf
5.68/5.73 c Forcing restart, since 766 binary variables among 850 have been fixed.
5.68/5.75 c (run 1, node 431) performing user restart
5.68/5.75 c
5.68/5.75 c (restart) converted 857 cuts from the global cut pool into linear constraints
5.68/5.75 c
5.68/5.76 c presolving:
5.68/5.77 c (round 1) 1536 del vars, 817 del conss, 0 add conss, 43 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1278 impls, 0 clqs
5.68/5.79 c (round 2) 1536 del vars, 1004 del conss, 0 add conss, 43 chg bounds, 4 chg sides, 7 chg coeffs, 9 upgd conss, 1296 impls, 0 clqs
5.68/5.79 c (round 3) 1540 del vars, 1009 del conss, 0 add conss, 43 chg bounds, 4 chg sides, 7 chg coeffs, 9 upgd conss, 1296 impls, 0 clqs
5.79/5.81 c (round 4) 1541 del vars, 1014 del conss, 0 add conss, 44 chg bounds, 8 chg sides, 7 chg coeffs, 9 upgd conss, 1296 impls, 0 clqs
5.79/5.81 c (round 5) 1542 del vars, 1015 del conss, 0 add conss, 44 chg bounds, 8 chg sides, 7 chg coeffs, 9 upgd conss, 1296 impls, 0 clqs
5.79/5.83 c (round 6) 1542 del vars, 1017 del conss, 0 add conss, 44 chg bounds, 8 chg sides, 7 chg coeffs, 841 upgd conss, 1296 impls, 0 clqs
5.79/5.85 c (round 7) 1542 del vars, 1026 del conss, 0 add conss, 44 chg bounds, 8 chg sides, 7 chg coeffs, 841 upgd conss, 1296 impls, 0 clqs
5.79/5.86 c presolving (8 rounds):
5.79/5.86 c 1542 deleted vars, 1026 deleted constraints, 0 added constraints, 44 tightened bounds, 0 added holes, 8 changed sides, 7 changed coefficients
5.79/5.86 c 1296 implications, 0 cliques
5.79/5.86 c presolved problem has 258 variables (177 bin, 0 int, 81 impl, 0 cont) and 1586 constraints
5.79/5.86 c 81 constraints of type <varbound>
5.79/5.86 c 60 constraints of type <setppc>
5.79/5.86 c 88 constraints of type <linear>
5.79/5.86 c 81 constraints of type <indicator>
5.79/5.86 c 1276 constraints of type <logicor>
5.79/5.86 c transformed objective value is always integral (scale: 1)
5.79/5.86 c Presolving Time: 0.14
5.79/5.86 c
5.79/5.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.79/5.88 c 5.9s| 1 | 0 | 32522 | - |7508k| 0 | 79 | 258 |1586 | 258 |1001 | 0 | 778 | 0 | 0.000000e+00 | 1.010000e+02 | Inf
5.88/5.91 c 5.9s| 1 | 0 | 32575 | - |8071k| 0 | 83 | 258 |1586 | 258 |1016 | 15 | 778 | 0 | 0.000000e+00 | 1.010000e+02 | Inf
5.88/5.98 c 6.0s| 1 | 2 | 33441 | - |8073k| 0 | 83 | 258 |1591 | 258 |1016 | 15 | 783 | 0 | 0.000000e+00 | 1.010000e+02 | Inf
6.38/6.41 c
6.38/6.41 c SCIP Status : problem is solved [optimal solution found]
6.38/6.41 c Solving Time (sec) : 6.41
6.38/6.41 c Solving Nodes : 98 (total of 529 nodes in 2 runs)
6.38/6.41 c Primal Bound : +1.01000000000000e+02 (32 solutions)
6.38/6.41 c Dual Bound : +1.01000000000000e+02
6.38/6.41 c Gap : 0.00 %
6.38/6.41 s OPTIMUM FOUND
6.38/6.41 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
6.38/6.41 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 -x166 x165 x164 -x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155
6.38/6.41 v x154 -x153 x152 -x151 -x150 x149 x148 -x147 x146 -x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 x136 -x135 -x134 x133 -x132
6.38/6.41 v x131 -x130 x129 -x128 x127 -x126 x125 x124 -x123 x122 -x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109
6.38/6.41 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
6.38/6.41 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
6.38/6.41 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
6.38/6.41 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
6.38/6.41 c SCIP Status : problem is solved [optimal solution found]
6.38/6.41 c Total Time : 6.41
6.38/6.41 c solving : 6.41
6.38/6.41 c presolving : 0.14 (included in solving)
6.38/6.41 c reading : 0.01 (included in solving)
6.38/6.41 c copying : 0.03 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
6.38/6.41 c Original Problem :
6.38/6.41 c Problem name : HOME/instance-3717653-1338203421.wbo
6.38/6.41 c Variables : 1050 (1050 binary, 0 integer, 0 implicit integer, 0 continuous)
6.38/6.41 c Constraints : 951 initial, 951 maximal
6.38/6.41 c Objective sense : minimize
6.38/6.41 c Presolved Problem :
6.38/6.41 c Problem name : t_HOME/instance-3717653-1338203421.wbo
6.38/6.41 c Variables : 258 (177 binary, 0 integer, 81 implicit integer, 0 continuous)
6.38/6.41 c Constraints : 1586 initial, 1709 maximal
6.38/6.41 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
6.38/6.41 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c trivial : 0.00 0.00 1490 0 0 0 0 0 0 0 0
6.38/6.41 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0
6.38/6.41 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c implics : 0.00 0.00 0 4 0 0 0 0 0 0 0
6.38/6.41 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c varbound : 0.00 0.00 0 0 0 0 0 0 0 0 0
6.38/6.41 c setppc : 0.00 0.00 0 0 0 0 0 1 0 0 0
6.38/6.41 c linear : 0.06 0.00 43 100 0 894 0 888 0 8 7
6.38/6.41 c indicator : 0.00 0.00 3 0 0 0 0 46 0 0 0
6.38/6.41 c logicor : 0.06 0.00 0 0 0 0 0 192 0 0 0
6.38/6.41 c root node : - - 1499 - - 1499 - - - - -
6.38/6.41 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
6.38/6.41 c integral : 0 0 0 0 362 0 527 0 0 0 0 0 718
6.38/6.41 c varbound : 81 81 1 875 0 0 0 7 0 108 0 0 0
6.38/6.41 c setppc : 60 60 1 875 0 0 76 884 12 409 4 0 0
6.38/6.41 c linear : 88 88 8 4533 3 0 494 7548 273 6228 0 0 0
6.38/6.41 c indicator : 81 81 0 4260 3 0 180 327 0 2550 0 0 0
6.38/6.41 c logicor : 1276+ 1418 1 2742 0 0 47 1897 103 1697 4 0 0
6.38/6.41 c countsols : 0 0 0 0 3 0 135 0 0 0 0 0 0
6.38/6.41 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
6.38/6.41 c integral : 0.02 0.00 0.00 0.00 0.00 0.00 0.01 0.00
6.38/6.41 c varbound : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.38/6.41 c setppc : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.38/6.41 c linear : 0.19 0.00 0.00 0.15 0.00 0.00 0.03 0.01
6.38/6.41 c indicator : 0.07 0.00 0.00 0.02 0.00 0.00 0.05 0.00
6.38/6.41 c logicor : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00
6.38/6.41 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.38/6.41 c Propagators : #Propagate #ResProp Cutoffs DomReds
6.38/6.41 c rootredcost : 7 0 0 766
6.38/6.41 c pseudoobj : 4867 769 8 5849
6.38/6.41 c vbounds : 931 1334 1 12290
6.38/6.41 c redcost : 601 0 0 4905
6.38/6.41 c probing : 0 0 0 0
6.38/6.41 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
6.38/6.41 c rootredcost : 0.01 0.00 0.00 0.01 0.00
6.38/6.41 c pseudoobj : 0.04 0.00 0.00 0.02 0.02
6.38/6.41 c vbounds : 0.07 0.00 0.00 0.06 0.00
6.38/6.41 c redcost : 0.02 0.00 0.00 0.02 0.00
6.38/6.41 c probing : 0.00 0.00 0.00 0.00 0.00
6.38/6.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
6.38/6.41 c propagation : 0.05 397 351 1384 15.1 33 6.5 -
6.38/6.41 c infeasible LP : 0.00 14 14 52 18.1 0 0.0 0
6.38/6.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
6.38/6.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
6.38/6.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
6.38/6.41 c applied globally : - - - 922 13.9 - - -
6.38/6.41 c applied locally : - - - 0 0.0 - - -
6.38/6.41 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
6.38/6.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 357)
6.38/6.41 c closecuts : 0.00 0.00 0 0 0 0 0
6.38/6.41 c impliedbounds : 0.00 0.00 8 0 0 16 0
6.38/6.41 c intobj : 0.00 0.00 0 0 0 0 0
6.38/6.41 c gomory : 0.47 0.00 8 0 0 120 0
6.38/6.41 c cgmip : 0.00 0.00 0 0 0 0 0
6.38/6.41 c strongcg : 0.40 0.00 8 0 0 4000 0
6.38/6.41 c cmir : 0.11 0.00 8 0 0 0 0
6.38/6.41 c flowcover : 0.10 0.00 8 0 0 0 0
6.38/6.41 c clique : 0.00 0.00 2 0 0 0 0
6.38/6.41 c zerohalf : 0.00 0.00 0 0 0 0 0
6.38/6.41 c mcf : 0.00 0.00 2 0 0 0 0
6.38/6.41 c oddcycle : 0.00 0.00 0 0 0 0 0
6.38/6.41 c rapidlearning : 0.21 0.00 1 0 0 0 0
6.38/6.41 c Pricers : ExecTime SetupTime Calls Vars
6.38/6.41 c problem variables: 0.00 - 0 0
6.38/6.41 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
6.38/6.41 c inference : 0.00 0.00 359 0 0 0 0 718
6.38/6.41 c relpscost : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c pscost : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c mostinf : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c leastinf : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c fullstrong : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c random : 0.00 0.00 0 0 0 0 0 0
6.38/6.41 c Primal Heuristics : ExecTime SetupTime Calls Found
6.38/6.41 c LP solutions : 0.00 - - 3
6.38/6.41 c pseudo solutions : 0.00 - - 0
6.38/6.41 c oneopt : 0.00 0.00 9 0
6.38/6.41 c indoneopt : 0.10 0.00 12 3
6.38/6.41 c crossover : 0.05 0.00 1 0
6.38/6.41 c guideddiving : 0.11 0.00 7 1
6.38/6.41 c rootsoldiving : 0.15 0.00 5 0
6.38/6.41 c linesearchdiving : 0.21 0.00 12 0
6.38/6.41 c smallcard : 0.00 0.00 0 0
6.38/6.41 c trivial : 0.00 0.00 2 1
6.38/6.41 c shiftandpropagate: 0.00 0.00 0 0
6.38/6.41 c simplerounding : 0.01 0.00 368 0
6.38/6.41 c zirounding : 0.03 0.00 358 0
6.38/6.41 c rounding : 0.03 0.00 218 0
6.38/6.41 c shifting : 0.03 0.00 48 2
6.38/6.41 c intshifting : 0.00 0.00 0 0
6.38/6.41 c twoopt : 0.00 0.00 0 0
6.38/6.41 c indtwoopt : 0.00 0.00 0 0
6.38/6.41 c fixandinfer : 0.00 0.00 0 0
6.38/6.41 c feaspump : 0.00 0.00 0 0
6.38/6.41 c clique : 0.00 0.00 0 0
6.38/6.41 c indrounding : 0.10 0.00 358 15
6.38/6.41 c coefdiving : 0.75 0.00 26 1
6.38/6.41 c indcoefdiving : 0.00 0.00 0 0
6.38/6.41 c pscostdiving : 0.17 0.00 10 0
6.38/6.41 c fracdiving : 0.18 0.00 12 1
6.38/6.41 c nlpdiving : 0.00 0.00 0 0
6.38/6.41 c veclendiving : 0.13 0.00 12 1
6.38/6.41 c intdiving : 0.00 0.00 0 0
6.38/6.41 c actconsdiving : 0.00 0.00 0 0
6.38/6.41 c objpscostdiving : 0.23 0.00 1 0
6.38/6.41 c octane : 0.00 0.00 0 0
6.38/6.41 c rens : 0.13 0.00 1 0
6.38/6.41 c rins : 0.00 0.00 0 0
6.38/6.41 c localbranching : 0.00 0.00 0 0
6.38/6.41 c mutation : 0.00 0.00 0 0
6.38/6.41 c dins : 0.00 0.00 0 0
6.38/6.41 c vbounds : 0.00 0.00 0 0
6.38/6.41 c undercover : 0.00 0.00 0 0
6.38/6.41 c subnlp : 0.00 0.00 0 0
6.38/6.41 c trysol : 0.00 0.00 3 3
6.38/6.41 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
6.38/6.41 c primal LP : 0.00 2 0 0.00 - 0.00 2
6.38/6.41 c dual LP : 2.01 622 21264 55.09 10580.49 0.09 236
6.38/6.41 c lex dual LP : 0.00 0 0 0.00 -
6.38/6.41 c barrier LP : 0.00 0 0 0.00 - 0.00 0
6.38/6.41 c diving/probing LP: 1.57 769 17470 22.72 11099.96
6.38/6.41 c strong branching : 0.00 0 0 0.00 -
6.38/6.41 c (at root node) : - 0 0 0.00 -
6.38/6.41 c conflict analysis: 0.00 0 0 0.00 -
6.38/6.41 c B&B Tree :
6.38/6.41 c number of runs : 2
6.38/6.41 c nodes : 98
6.38/6.41 c nodes (total) : 529
6.38/6.41 c nodes left : 0
6.38/6.41 c max depth : 9
6.38/6.41 c max depth (total): 21
6.38/6.41 c backtracks : 61 (62.2%)
6.38/6.41 c delayed cutoffs : 25
6.38/6.41 c repropagations : 52 (1195 domain reductions, 19 cutoffs)
6.38/6.41 c avg switch length: 4.63
6.38/6.41 c switching time : 0.09
6.38/6.41 c Solution :
6.38/6.41 c Solutions found : 32 (13 improvements)
6.38/6.41 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
6.38/6.41 c Primal Bound : +1.01000000000000e+02 (in run 1, after 430 nodes, 5.73 seconds, depth 10, found by <relaxation>)
6.38/6.41 c Dual Bound : +1.01000000000000e+02
6.38/6.41 c Gap : 0.00 %
6.38/6.41 c Root Dual Bound : +0.00000000000000e+00
6.38/6.41 c Root Iterations : 895
6.38/6.42 c Time complete: 6.41.
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-3717653-1338203421/watcher-3717653-1338203421 -o /tmp/evaluation-result-3717653-1338203421/solver-3717653-1338203421 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717653-1338203421.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.05 2.05 2.00 2/177 3606
/proc/meminfo: memFree=30745248/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=10436 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 1349 0 0 0 0 0 0 0 20 0 1 0 286466487 10686464 1303 33554432000 4194304 10173063 140736986844848 140733319887384 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 2609 1304 416 1460 0 1140 0
[startup+0.0533361 s]
/proc/loadavg: 2.05 2.05 2.00 2/177 3606
/proc/meminfo: memFree=30745248/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=23400 CPUtime=0.04 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 4679 0 0 0 4 0 0 0 20 0 1 0 286466487 23961600 4376 33554432000 4194304 10173063 140736986844848 140733319887384 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 5850 4376 597 1460 0 4381 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23400
[startup+0.100325 s]
/proc/loadavg: 2.05 2.05 2.00 2/177 3606
/proc/meminfo: memFree=30745248/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=24312 CPUtime=0.09 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 4903 0 0 0 8 1 0 0 20 0 1 0 286466487 24895488 4600 33554432000 4194304 10173063 140736986844848 140733319887384 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 6078 4600 635 1460 0 4609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24312
[startup+0.300285 s]
/proc/loadavg: 2.05 2.05 2.00 2/177 3606
/proc/meminfo: memFree=30745248/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=48336 CPUtime=0.29 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 10874 0 0 0 26 3 0 0 20 0 1 0 286466487 49496064 10537 33554432000 4194304 10173063 140736986844848 140733319887384 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 12084 10537 804 1460 0 10615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48336
[startup+0.700284 s]
/proc/loadavg: 2.05 2.05 2.00 2/177 3606
/proc/meminfo: memFree=30745248/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=35344 CPUtime=0.68 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 12176 0 0 0 64 4 0 0 20 0 1 0 286466487 36192256 7631 33554432000 4194304 10173063 140736986844848 140733319887384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 8836 7631 831 1460 0 7367 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35344
[startup+1.50023 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 3607
/proc/meminfo: memFree=30713008/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=45472 CPUtime=1.49 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 14738 0 0 0 143 6 0 0 20 0 1 0 286466487 46563328 10239 33554432000 4194304 10173063 140736986844848 140736986838024 7911564 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 11368 10239 833 1460 0 9899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45472
[startup+3.10027 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 3607
/proc/meminfo: memFree=30704376/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=48936 CPUtime=3.09 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 20581 0 0 0 298 11 0 0 20 0 1 0 286466487 50110464 11161 33554432000 4194304 10173063 140736986844848 140736986838488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 12234 11161 864 1460 0 10765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48936
[startup+6.30024 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 3607
/proc/meminfo: memFree=30701656/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=53320 CPUtime=6.29 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 25684 0 0 0 603 26 0 0 20 0 1 0 286466487 54599680 12271 33554432000 4194304 10173063 140736986844848 140736986841672 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 13330 12271 869 1460 0 11861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53320
Solver just ended. Dumping a history of the last processes samples
[startup+6.40028 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 3607
/proc/meminfo: memFree=30701656/32873844 swapFree=7620/7620
[pid=3606] ppid=3604 vsize=53320 CPUtime=6.38 cores=1,3,5,7
/proc/3606/stat : 3606 (scip-2.1.1.4fix) R 3604 3606 1906 0 -1 4202496 25684 0 0 0 612 26 0 0 20 0 1 0 286466487 54599680 12271 33554432000 4194304 10173063 140736986844848 140736986841672 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3606/statm: 13330 12271 869 1460 0 11861 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 53320
Child status: 0
Real time (s): 6.42913
CPU time (s): 6.42002
CPU user time (s): 6.15006
CPU system time (s): 0.269958
CPU usage (%): 99.8584
Max. virtual memory (cumulated for all children) (KiB): 66272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.15006
system time used= 0.269958
maximum resident set size= 62884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25688
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= 10
involuntary context switches= 7
runsolver used 0.009998 second user time and 0.037994 second system time
The end