0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 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-2705481-1278572948.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 42 impl, 0 cont) and 144 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 39 clqs
0.00/0.01 c (round 2) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 39 clqs
0.00/0.01 c (round 3) 0 del vars, 14 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 61 impls, 39 clqs
0.00/0.02 c (0.0s) probing: 101/211 (47.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 14 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 61 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 42 impl, 0 cont) and 130 constraints
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 42 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 3 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 22 | - |1054k| 0 | 0 | 253 | 130 | 253 | 46 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 48 | - |1066k| 0 | 30 | 253 | 130 | 253 | 57 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 65 | - |1236k| 0 | 39 | 253 | 130 | 253 | 72 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.1s| 1 | 0 | 79 | - |1489k| 0 | 43 | 253 | 130 | 253 | 78 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 99 | - |1797k| 0 | 47 | 253 | 130 | 253 | 82 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.08 c 0.1s| 1 | 0 | 122 | - |2040k| 0 | 48 | 253 | 130 | 253 | 86 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 126 | - |2348k| 0 | 51 | 253 | 130 | 253 | 88 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 2 | 126 | - |2351k| 0 | 51 | 253 | 130 | 253 | 88 | 42 | 0 | 15 | 0.000000e+00 | -- | Inf
0.29/0.38 o 1837
0.29/0.38 c y 0.4s| 16 | 13 | 406 | 18.7 |2378k| 13 | - | 253 | 132 | 0 | 0 | 46 | 2 | 110 | 0.000000e+00 | 1.837000e+03 | Inf
0.59/0.62 o 439
0.59/0.62 c * 0.6s| 146 | 113 | 1080 | 6.6 |2512k| 27 | - | 253 | 174 | 253 | 81 | 55 | 44 | 324 | 0.000000e+00 | 4.390000e+02 | Inf
0.59/0.68 o 432
0.59/0.68 c * 0.7s| 243 | 180 | 1432 | 5.4 |2605k| 33 | - | 253 | 214 | 253 | 80 | 60 | 84 | 370 | 0.000000e+00 | 4.320000e+02 | Inf
0.69/0.73 o 347
0.69/0.73 c * 0.7s| 343 | 241 | 1763 | 4.8 |2698k| 33 | - | 253 | 271 | 253 | 81 | 66 | 141 | 401 | 0.000000e+00 | 3.470000e+02 | Inf
0.69/0.75 o 317
0.69/0.75 c * 0.7s| 373 | 239 | 1820 | 4.6 |2718k| 33 | - | 253 | 281 | 253 | 81 | 68 | 151 | 419 | 0.000000e+00 | 3.170000e+02 | Inf
0.79/0.84 o 306
0.79/0.84 c * 0.8s| 479 | 283 | 2277 | 4.5 |2821k| 36 | - | 253 | 361 | 253 | 82 | 76 | 231 | 515 | 0.000000e+00 | 3.060000e+02 | Inf
0.79/0.87 o 303
0.79/0.87 c * 0.9s| 545 | 309 | 2518 | 4.4 |2883k| 36 | - | 253 | 408 | 253 | 80 | 80 | 278 | 535 | 0.000000e+00 | 3.030000e+02 | Inf
0.99/1.02 o 272
0.99/1.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.02 c * 1.0s| 672 | 350 | 3156 | 4.5 |2996k| 36 | - | 253 | 474 | 253 | 78 | 98 | 344 | 691 | 0.000000e+00 | 2.720000e+02 | Inf
0.99/1.03 o 173
0.99/1.03 c * 1.0s| 681 | 291 | 3184 | 4.5 |2952k| 36 | - | 253 | 474 | 253 | 78 | 98 | 344 | 707 | 0.000000e+00 | 1.730000e+02 | Inf
1.29/1.37 o 163
1.29/1.37 c * 1.4s| 1281 | 495 | 5136 | 3.9 |3434k| 36 | - | 253 | 883 | 253 | 79 | 168 | 753 | 939 | 0.000000e+00 | 1.630000e+02 | Inf
1.39/1.48 o 156
1.39/1.48 c * 1.5s| 1418 | 563 | 5969 | 4.1 |3546k| 36 | - | 253 | 933 | 253 | 78 | 191 | 803 |1041 | 0.000000e+00 | 1.560000e+02 | Inf
1.49/1.56 o 149
1.49/1.56 c * 1.6s| 1557 | 615 | 6571 | 4.1 |3659k| 36 | - | 253 | 996 | 253 | 81 | 213 | 866 |1103 | 0.000000e+00 | 1.490000e+02 | Inf
1.69/1.71 o 115
1.69/1.71 c * 1.7s| 1774 | 568 | 7637 | 4.2 |3738k| 36 | - | 253 |1131 | 253 | 77 | 271 |1002 |1191 | 0.000000e+00 | 1.150000e+02 | Inf
2.20/2.24 o 107
2.20/2.24 c * 2.2s| 2638 | 783 | 13606 | 5.1 |4437k| 36 | - | 253 |1753 | 253 | 80 | 390 |1624 |1399 | 0.000000e+00 | 1.070000e+02 | Inf
3.79/3.80 o 89
3.79/3.80 c l 3.8s| 5473 | 1127 | 31099 | 5.7 |6146k| 38 | - | 253 |3524 | 253 | 77 | 729 |3575 |1579 | 0.000000e+00 | 8.900000e+01 | Inf
3.89/3.95 o 86
3.89/3.95 c l 3.9s| 5695 | 1138 | 32632 | 5.7 |6238k| 38 | - | 253 |3558 | 253 | 81 | 764 |3734 |1589 | 0.000000e+00 | 8.600000e+01 | Inf
5.69/5.72 o 76
5.69/5.72 c * 5.7s| 8882 | 1553 | 53604 | 6.0 |7347k| 41 | - | 253 |3644 | 253 | 81 |1131 |6138 |1636 | 0.000000e+00 | 7.600000e+01 | Inf
6.19/6.24 o 60
6.19/6.24 c * 6.2s| 9702 | 1583 | 61465 | 6.3 |7572k| 41 | - | 253 |3523 | 253 | 81 |1224 |6825 |1636 | 0.000000e+00 | 6.000000e+01 | Inf
6.39/6.40 c 6.4s| 10000 | 1628 | 63510 | 6.3 |7698k| 41 | 17 | 253 |3588 | 253 | 78 |1261 |7070 |1636 | 0.000000e+00 | 6.000000e+01 | Inf
6.59/6.62 o 58
6.59/6.62 c * 6.6s| 10440 | 1474 | 66305 | 6.3 |7669k| 41 | - | 253 |3807 | 253 | 79 |1308 |7437 |1636 | 0.000000e+00 | 5.800000e+01 | Inf
6.68/6.78 o 52
6.68/6.78 c * 6.8s| 10722 | 1349 | 68394 | 6.4 |7458k| 41 | - | 253 |3777 | 253 | 78 |1331 |7696 |1636 | 0.000000e+00 | 5.200000e+01 | Inf
11.79/11.86 o 39
11.79/11.86 c *11.9s| 19872 | 1454 |155196 | 7.8 |9233k| 41 | - | 253 |5188 | 253 | 81 |2651 | 15k|1700 | 0.000000e+00 | 3.900000e+01 | Inf
11.89/11.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.89/11.98 c 12.0s| 20000 | 1428 |156949 | 7.8 |9056k| 41 | 19 | 253 |4565 | 253 | 77 |2668 | 16k|1709 | 0.000000e+00 | 3.900000e+01 | Inf
12.89/12.93 o 22
12.89/12.93 c *12.9s| 21366 | 1186 |175215 | 8.2 |8696k| 41 | - | 253 |4187 | 253 | 77 |2893 | 17k|1806 | 0.000000e+00 | 2.200000e+01 | Inf
13.39/13.44 c
13.39/13.44 c SCIP Status : problem is solved [optimal solution found]
13.39/13.44 c Solving Time (sec) : 13.43
13.39/13.44 c Solving Nodes : 21587
13.39/13.44 c Primal Bound : +2.20000000000000e+01 (157 solutions)
13.39/13.44 c Dual Bound : +2.20000000000000e+01
13.39/13.44 c Gap : 0.00 %
13.39/13.44 s OPTIMUM FOUND
13.39/13.44 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148
13.39/13.44 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
13.39/13.44 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
13.39/13.44 v -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82
13.39/13.44 v -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
13.39/13.44 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
13.39/13.44 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
13.39/13.44 v -x4 -x3 x2 -x1
13.39/13.44 c SCIP Status : problem is solved [optimal solution found]
13.39/13.44 c Solving Time : 13.43
13.39/13.44 c Original Problem :
13.39/13.44 c Problem name : HOME/instance-2705481-1278572948.wbo
13.39/13.44 c Variables : 253 (211 binary, 0 integer, 42 implicit integer, 0 continuous)
13.39/13.44 c Constraints : 144 initial, 144 maximal
13.39/13.44 c Presolved Problem :
13.39/13.44 c Problem name : t_HOME/instance-2705481-1278572948.wbo
13.39/13.44 c Variables : 253 (211 binary, 0 integer, 42 implicit integer, 0 continuous)
13.39/13.44 c Constraints : 130 initial, 5190 maximal
13.39/13.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
13.39/13.44 c trivial : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c implics : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c probing : 0.01 0 0 0 0 0 0 0 0
13.39/13.44 c knapsack : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c setppc : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c linear : 0.00 0 0 0 42 0 14 0 0
13.39/13.44 c indicator : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c logicor : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
13.39/13.44 c root node : - 62 - - 62 - - - -
13.39/13.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
13.39/13.44 c integral : 0 0 0 14735 0 1 457 0 0 15864
13.39/13.44 c knapsack : 1 6 72346 6453 0 480 50111 0 0 0
13.39/13.44 c setppc : 42 6 71732 6419 0 1747 114280 0 0 0
13.39/13.44 c linear : 42 6 70101 6445 0 811 71705 2871 0 0
13.39/13.44 c indicator : 42 0 69295 6461 0 414 60564 0 0 0
13.39/13.44 c logicor : 3+ 6 35424 3819 0 460 14755 0 0 0
13.39/13.44 c bounddisjunction : 0+ 0 25475 0 0 67 848 0 0 0
13.39/13.44 c countsols : 0 0 0 4935 0 0 0 0 0 0
13.39/13.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
13.39/13.44 c integral : 1.14 0.00 0.00 1.14 0.00
13.39/13.44 c knapsack : 1.59 0.00 1.59 0.00 0.00
13.39/13.44 c setppc : 0.25 0.00 0.24 0.00 0.00
13.39/13.44 c linear : 0.45 0.00 0.43 0.02 0.00
13.39/13.44 c indicator : 0.13 0.00 0.11 0.02 0.00
13.39/13.44 c logicor : 0.73 0.00 0.73 0.00 0.00
13.39/13.44 c bounddisjunction : 0.16 0.00 0.16 0.00 0.00
13.39/13.44 c countsols : 0.00 0.00 0.00 0.00 0.00
13.39/13.44 c Propagators : Time Calls Cutoffs DomReds
13.39/13.44 c vbounds : 0.06 14967 0 1938
13.39/13.44 c rootredcost : 0.01 22 0 31
13.39/13.44 c pseudoobj : 0.19 72944 786 62158
13.39/13.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
13.39/13.44 c propagation : 0.15 4351 4308 28541 25.8 39 20.6 -
13.39/13.44 c infeasible LP : 0.32 5426 5375 32787 26.9 35 19.7 0
13.39/13.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
13.39/13.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
13.39/13.44 c pseudo solution : 0.00 3 3 10 11.4 0 0.0 -
13.39/13.44 c applied globally : - - - 18199 17.3 - - -
13.39/13.44 c applied locally : - - - 4 45.0 - - -
13.39/13.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
13.39/13.44 c cut pool : 0.00 4 - - 71 - (maximal pool size: 284)
13.39/13.44 c redcost : 0.09 15149 0 954 0 0
13.39/13.44 c impliedbounds : 0.00 5 0 0 0 0
13.39/13.44 c intobj : 0.00 0 0 0 0 0
13.39/13.44 c cgmip : 0.00 0 0 0 0 0
13.39/13.44 c gomory : 0.02 5 0 0 41 0
13.39/13.44 c strongcg : 0.02 5 0 0 282 0
13.39/13.44 c cmir : 0.01 5 0 0 0 0
13.39/13.44 c flowcover : 0.02 5 0 0 0 0
13.39/13.44 c clique : 0.00 5 0 0 7 0
13.39/13.44 c zerohalf : 0.00 0 0 0 0 0
13.39/13.44 c mcf : 0.00 1 0 0 0 0
13.39/13.44 c rapidlearning : 0.01 1 0 0 0 0
13.39/13.44 c Pricers : Time Calls Vars
13.39/13.44 c problem variables: 0.00 0 0
13.39/13.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
13.39/13.44 c relpscost : 1.14 8274 1 457 0 0 15864
13.39/13.44 c pscost : 0.00 0 0 0 0 0 0
13.39/13.44 c inference : 0.06 4916 0 0 0 0 9842
13.39/13.44 c mostinf : 0.00 0 0 0 0 0 0
13.39/13.44 c leastinf : 0.00 0 0 0 0 0 0
13.39/13.44 c fullstrong : 0.00 0 0 0 0 0 0
13.39/13.44 c allfullstrong : 0.00 0 0 0 0 0 0
13.39/13.44 c random : 0.00 0 0 0 0 0 0
13.39/13.44 c Primal Heuristics : Time Calls Found
13.39/13.44 c LP solutions : 0.00 - 19
13.39/13.44 c pseudo solutions : 0.00 - 0
13.39/13.44 c feaspump : 0.00 1 0
13.39/13.44 c oneopt : 0.02 22 0
13.39/13.44 c fracdiving : 0.01 49 0
13.39/13.44 c veclendiving : 0.01 49 0
13.39/13.44 c linesearchdiving : 0.01 49 2
13.39/13.44 c pscostdiving : 0.01 50 0
13.39/13.44 c guideddiving : 0.01 50 0
13.39/13.44 c coefdiving : 0.01 50 0
13.39/13.44 c rootsoldiving : 0.01 42 0
13.39/13.44 c objpscostdiving : 0.00 43 0
13.39/13.44 c trivial : 0.00 2 0
13.39/13.44 c simplerounding : 0.01 8351 0
13.39/13.44 c zirounding : 0.01 1000 0
13.39/13.44 c rounding : 0.02 1242 0
13.39/13.44 c shifting : 0.05 344 0
13.39/13.44 c intshifting : 0.00 0 0
13.39/13.44 c twoopt : 0.00 0 0
13.39/13.44 c fixandinfer : 0.00 0 0
13.39/13.44 c intdiving : 0.00 0 0
13.39/13.44 c actconsdiving : 0.00 0 0
13.39/13.44 c octane : 0.00 0 0
13.39/13.44 c rens : 0.01 1 0
13.39/13.44 c rins : 0.00 0 0
13.39/13.44 c localbranching : 0.00 0 0
13.39/13.44 c mutation : 0.00 0 0
13.39/13.44 c crossover : 0.14 16 1
13.39/13.44 c dins : 0.00 0 0
13.39/13.44 c undercover : 0.00 0 0
13.39/13.44 c nlp : 0.00 0 0
13.39/13.44 c trysol : 0.02 179 135
13.39/13.44 c LP : Time Calls Iterations Iter/call Iter/sec
13.39/13.44 c primal LP : 0.00 0 0 0.00 -
13.39/13.44 c dual LP : 5.51 16438 179529 10.92 32582.66
13.39/13.44 c lex dual LP : 0.00 0 0 0.00 -
13.39/13.44 c barrier LP : 0.00 0 0 0.00 -
13.39/13.44 c diving/probing LP: 0.04 147 658 4.48 18486.26
13.39/13.44 c strong branching : 1.08 1812 40898 22.57 37813.65
13.39/13.44 c (at root node) : - 15 2906 193.73 -
13.39/13.44 c conflict analysis: 0.00 0 0 0.00 -
13.39/13.44 c B&B Tree :
13.39/13.44 c number of runs : 1
13.39/13.44 c nodes : 21587
13.39/13.44 c nodes (total) : 21587
13.39/13.44 c nodes left : 0
13.39/13.44 c max depth : 41
13.39/13.44 c max depth (total): 41
13.39/13.44 c backtracks : 5341 (24.7%)
13.39/13.44 c delayed cutoffs : 2603
13.39/13.44 c repropagations : 19560 (99511 domain reductions, 1433 cutoffs)
13.39/13.44 c avg switch length: 4.43
13.39/13.44 c switching time : 1.04
13.39/13.44 c Solution :
13.39/13.44 c Solutions found : 157 (22 improvements)
13.39/13.44 c First Solution : +1.83700000000000e+03 (in run 1, after 15 nodes, 0.38 seconds, depth 14, found by <trysol>)
13.39/13.44 c Primal Bound : +2.20000000000000e+01 (in run 1, after 21366 nodes, 12.92 seconds, depth 16, found by <relaxation>)
13.39/13.44 c Dual Bound : +2.20000000000000e+01
13.39/13.44 c Gap : 0.00 %
13.39/13.44 c Root Dual Bound : +0.00000000000000e+00
13.39/13.44 c Root Iterations : 126
13.39/13.44 c Time complete: 13.44.
Begin job on node112 at 2010-07-08 09:09:08
IDJOB=2705481
IDBENCH=78866
IDSOLVER=1214
FILE ID=node112/2705481-1278572948
PBS_JOBID= 11240230
Free space on /tmp= 73452 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705481-1278572948/watcher-2705481-1278572948 -o /tmp/evaluation-result-2705481-1278572948/solver-2705481-1278572948 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705481-1278572948.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 814425604e6b100ff397547bbbf81dc9
RANDOM SEED=138048810
node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29451780 kB
Buffers: 146600 kB
Cached: 3137872 kB
SwapCached: 0 kB
Active: 1289796 kB
Inactive: 2056692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29451780 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13164 kB
Writeback: 0 kB
AnonPages: 62008 kB
Mapped: 14424 kB
Slab: 89152 kB
PageTables: 4500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 180808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73428 MiB
End job on node112 at 2010-07-08 09:09:22