0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693254-1277896650.wbo>
0.00/0.00 c original problem has 253 variables (211 bin, 0 int, 0 impl, 42 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.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48 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, 48 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, 48 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 48 implications, 39 cliques
0.00/0.02 c presolved problem has 253 variables (211 bin, 0 int, 0 impl, 42 cont) and 130 constraints
0.00/0.02 c 42 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 39 constraints of type <setppc>
0.00/0.02 c 42 constraints of type <linear>
0.00/0.02 c 6 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.2
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 = 1800
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 # 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 # 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 | - |1047k| 0 | 12 | 253 | 130 | 253 | 46 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 62 | - |1129k| 0 | 38 | 253 | 130 | 253 | 63 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 86 | - |1146k| 0 | 37 | 253 | 130 | 253 | 72 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 108 | - |1155k| 0 | 43 | 253 | 130 | 253 | 74 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 125 | - |1157k| 0 | 49 | 253 | 130 | 253 | 78 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 2 | 125 | - |1163k| 0 | 49 | 253 | 130 | 253 | 78 | 32 | 0 | 33 | 0.000000e+00 | -- | Inf
0.19/0.26 o 1837
0.19/0.26 c y 0.2s| 2 | 1 | 125 | 0.0 |1166k| 1 | - | 253 | 130 | 0 | 0 | 32 | 0 | 33 | 0.000000e+00 | 1.837000e+03 | Inf
0.49/0.58 o 258
0.49/0.58 c * 0.5s| 22 | 21 | 523 | 19.0 |1206k| 16 | - | 253 | 130 | 253 | 75 | 32 | 0 | 174 | 0.000000e+00 | 2.580000e+02 | Inf
0.59/0.69 o 217
0.59/0.69 c * 0.6s| 84 | 43 | 846 | 8.7 |1294k| 20 | - | 253 | 183 | 253 | 77 | 43 | 55 | 312 | 0.000000e+00 | 2.170000e+02 | Inf
0.69/0.79 o 182
0.69/0.79 c * 0.7s| 199 | 124 | 1260 | 5.7 |1411k| 34 | - | 253 | 244 | 253 | 77 | 54 | 116 | 423 | 0.000000e+00 | 1.820000e+02 | Inf
1.19/1.20 o 149
1.19/1.20 c * 1.1s| 661 | 336 | 4258 | 6.3 |1829k| 34 | - | 253 | 539 | 253 | 77 | 105 | 411 | 792 | 0.000000e+00 | 1.490000e+02 | Inf
1.19/1.23 o 138
1.19/1.23 c * 1.1s| 730 | 352 | 4413 | 5.9 |1877k| 34 | - | 253 | 581 | 253 | 76 | 112 | 453 | 798 | 0.000000e+00 | 1.380000e+02 | Inf
1.69/1.76 o 110
1.69/1.76 c * 1.6s| 1572 | 631 | 9350 | 5.9 |2574k| 34 | - | 253 |1214 | 253 | 81 | 216 |1086 |1062 | 0.000000e+00 | 1.100000e+02 | Inf
2.29/2.32 o 74
2.29/2.32 c * 2.0s| 2468 | 609 | 15118 | 6.1 |3152k| 34 | - | 253 |1964 | 253 | 77 | 317 |1837 |1261 | 0.000000e+00 | 7.400000e+01 | Inf
2.59/2.60 o 71
2.59/2.60 c * 2.3s| 2875 | 647 | 18152 | 6.3 |3457k| 34 | - | 253 |2281 | 253 | 79 | 370 |2232 |1341 | 0.000000e+00 | 7.100000e+01 | Inf
2.59/2.63 o 60
2.59/2.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.63 c * 2.3s| 2928 | 651 | 18539 | 6.3 |3497k| 34 | - | 253 |2317 | 253 | 81 | 383 |2289 |1355 | 0.000000e+00 | 6.000000e+01 | Inf
2.69/2.78 o 58
2.69/2.78 c * 2.4s| 3202 | 633 | 19923 | 6.2 |3620k| 34 | - | 253 |2563 | 253 | 80 | 415 |2544 |1383 | 0.000000e+00 | 5.800000e+01 | Inf
2.79/2.81 o 10
2.79/2.81 c * 2.5s| 3245 | 308 | 20129 | 6.2 |3196k| 34 | - | 253 |2571 | 253 | 75 | 420 |2572 |1387 | 0.000000e+00 | 1.000000e+01 | Inf
2.99/3.00 c
2.99/3.00 c SCIP Status : problem is solved [optimal solution found]
2.99/3.00 c Solving Time (sec) : 2.61
2.99/3.00 c Solving Nodes : 3333
2.99/3.00 c Primal Bound : +1.00000000000000e+01 (98 solutions)
2.99/3.00 c Dual Bound : +1.00000000000000e+01
2.99/3.00 c Gap : 0.00 %
2.99/3.00 s OPTIMUM FOUND
2.99/3.00 v -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148
2.99/3.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127
2.99/3.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106
2.99/3.00 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
2.99/3.00 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
2.99/3.00 v -x56 -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
2.99/3.00 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
2.99/3.00 v x4 -x3 -x2 -x1
2.99/3.00 c SCIP Status : problem is solved [optimal solution found]
2.99/3.00 c Solving Time : 2.61
2.99/3.00 c Original Problem :
2.99/3.00 c Problem name : HOME/instance-2693254-1277896650.wbo
2.99/3.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
2.99/3.00 c Constraints : 144 initial, 144 maximal
2.99/3.00 c Presolved Problem :
2.99/3.00 c Problem name : t_HOME/instance-2693254-1277896650.wbo
2.99/3.00 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
2.99/3.00 c Constraints : 130 initial, 2643 maximal
2.99/3.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
2.99/3.00 c trivial : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c implics : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c probing : 0.01 0 0 0 0 0 0 0 0
2.99/3.00 c indicator : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c setppc : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c linear : 0.00 0 0 0 42 0 14 0 0
2.99/3.00 c logicor : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
2.99/3.00 c root node : - 37 - - 74 - - - -
2.99/3.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
2.99/3.00 c integral : 0 0 0 2712 0 7 322 0 0 1404
2.99/3.00 c indicator : 42 0 10069 1783 0 68 11908 0 0 0
2.99/3.00 c knapsack : 1 5 10004 1779 0 63 4778 0 0 0
2.99/3.00 c setppc : 39 5 9895 1768 0 173 15297 0 0 0
2.99/3.00 c linear : 42 5 9750 1773 0 148 10464 410 0 0
2.99/3.00 c logicor : 6+ 5 5399 1475 0 82 2321 0 0 0
2.99/3.00 c bounddisjunction : 0+ 0 357 0 0 0 1 0 0 0
2.99/3.00 c countsols : 0 0 0 1533 0 0 0 0 0 0
2.99/3.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
2.99/3.00 c integral : 0.97 0.00 0.00 0.97 0.00
2.99/3.00 c indicator : 0.00 0.00 0.00 0.00 0.00
2.99/3.00 c knapsack : 0.22 0.00 0.22 0.00 0.00
2.99/3.00 c setppc : 0.03 0.00 0.03 0.00 0.00
2.99/3.00 c linear : 0.01 0.00 0.01 0.00 0.00
2.99/3.00 c logicor : 0.13 0.00 0.13 0.00 0.00
2.99/3.00 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
2.99/3.00 c countsols : 0.00 0.00 0.00 0.00 0.00
2.99/3.00 c Propagators : Time Calls Cutoffs DomReds
2.99/3.00 c vbounds : 0.00 2 0 0
2.99/3.00 c rootredcost : 0.00 12 0 37
2.99/3.00 c pseudoobj : 0.01 9950 65 9841
2.99/3.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
2.99/3.00 c propagation : 0.00 531 523 3655 25.9 126 5.7 -
2.99/3.00 c infeasible LP : 0.06 676 673 4020 24.5 99 4.6 0
2.99/3.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
2.99/3.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
2.99/3.00 c pseudo solution : 0.00 9 9 61 24.0 4 8.5 -
2.99/3.00 c applied globally : - - - 2813 15.7 - - -
2.99/3.00 c applied locally : - - - 2 31.5 - - -
2.99/3.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
2.99/3.00 c cut pool : 0.00 4 - - 0 - (maximal pool size: 40)
2.99/3.00 c redcost : 0.00 2871 0 1311 0 0
2.99/3.00 c impliedbounds : 0.00 5 0 0 0 0
2.99/3.00 c intobj : 0.00 0 0 0 0 0
2.99/3.00 c cgmip : 0.00 0 0 0 0 0
2.99/3.00 c gomory : 0.01 5 0 0 21 0
2.99/3.00 c strongcg : 0.02 5 0 0 18 0
2.99/3.00 c cmir : 0.01 5 0 0 0 0
2.99/3.00 c flowcover : 0.00 5 0 0 0 0
2.99/3.00 c clique : 0.00 5 0 0 8 0
2.99/3.00 c zerohalf : 0.00 0 0 0 0 0
2.99/3.00 c mcf : 0.00 1 0 0 0 0
2.99/3.00 c rapidlearning : 0.00 0 0 0 0 0
2.99/3.00 c Pricers : Time Calls Vars
2.99/3.00 c problem variables: 0.00 0 0
2.99/3.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
2.99/3.00 c relpscost : 0.97 929 7 322 0 0 1404
2.99/3.00 c pscost : 0.00 0 0 0 0 0 0
2.99/3.00 c inference : 0.02 1522 0 0 0 0 3044
2.99/3.00 c mostinf : 0.00 0 0 0 0 0 0
2.99/3.00 c leastinf : 0.00 0 0 0 0 0 0
2.99/3.00 c fullstrong : 0.00 0 0 0 0 0 0
2.99/3.00 c allfullstrong : 0.00 0 0 0 0 0 0
2.99/3.00 c random : 0.00 0 0 0 0 0 0
2.99/3.00 c Primal Heuristics : Time Calls Found
2.99/3.00 c LP solutions : 0.00 - 11
2.99/3.00 c pseudo solutions : 0.00 - 0
2.99/3.00 c oneopt : 0.00 12 0
2.99/3.00 c feaspump : 0.00 1 0
2.99/3.00 c pscostdiving : 0.00 7 0
2.99/3.00 c fracdiving : 0.00 7 0
2.99/3.00 c veclendiving : 0.00 7 0
2.99/3.00 c coefdiving : 0.00 8 0
2.99/3.00 c linesearchdiving : 0.00 8 0
2.99/3.00 c guideddiving : 0.00 8 0
2.99/3.00 c objpscostdiving : 0.00 6 0
2.99/3.00 c rootsoldiving : 0.00 6 0
2.99/3.00 c trivial : 0.00 2 0
2.99/3.00 c simplerounding : 0.00 975 0
2.99/3.00 c zirounding : 0.00 709 0
2.99/3.00 c rounding : 0.00 400 0
2.99/3.00 c shifting : 0.01 102 0
2.99/3.00 c intshifting : 0.00 1 0
2.99/3.00 c twoopt : 0.00 0 0
2.99/3.00 c fixandinfer : 0.00 0 0
2.99/3.00 c intdiving : 0.00 0 0
2.99/3.00 c actconsdiving : 0.00 0 0
2.99/3.00 c octane : 0.00 0 0
2.99/3.00 c rens : 0.01 1 0
2.99/3.00 c rins : 0.00 0 0
2.99/3.00 c localbranching : 0.00 0 0
2.99/3.00 c mutation : 0.00 0 0
2.99/3.00 c crossover : 0.03 4 0
2.99/3.00 c dins : 0.00 0 0
2.99/3.00 c undercover : 0.00 0 0
2.99/3.00 c nlp : 0.00 0 0
2.99/3.00 c trysol : 0.00 133 87
2.99/3.00 c LP : Time Calls Iterations Iter/call Iter/sec
2.99/3.00 c primal LP : 0.00 0 0 0.00 -
2.99/3.00 c dual LP : 0.83 2249 23060 10.25 27783.13
2.99/3.00 c lex dual LP : 0.00 0 0 0.00 -
2.99/3.00 c barrier LP : 0.00 0 0 0.00 -
2.99/3.00 c diving/probing LP: 0.00 20 132 6.60 -
2.99/3.00 c strong branching : 0.97 1413 47969 33.95 49452.58
2.99/3.00 c (at root node) : - 33 7142 216.42 -
2.99/3.00 c conflict analysis: 0.00 0 0 0.00 -
2.99/3.00 c B&B Tree :
2.99/3.00 c number of runs : 1
2.99/3.00 c nodes : 3333
2.99/3.00 c nodes (total) : 3333
2.99/3.00 c nodes left : 0
2.99/3.00 c max depth : 34
2.99/3.00 c max depth (total): 34
2.99/3.00 c backtracks : 700 (21.0%)
2.99/3.00 c delayed cutoffs : 428
2.99/3.00 c repropagations : 2347 (16283 domain reductions, 187 cutoffs)
2.99/3.00 c avg switch length: 4.41
2.99/3.00 c switching time : 0.13
2.99/3.00 c Solution :
2.99/3.00 c Solutions found : 98 (12 improvements)
2.99/3.00 c First Solution : +1.83700000000000e+03 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <trysol>)
2.99/3.00 c Primal Bound : +1.00000000000000e+01 (in run 1, after 3245 nodes, 2.45 seconds, depth 11, found by <relaxation>)
2.99/3.00 c Dual Bound : +1.00000000000000e+01
2.99/3.00 c Gap : 0.00 %
2.99/3.00 c Root Dual Bound : +0.00000000000000e+00
2.99/3.00 c Root Iterations : 125
2.99/3.00 c Time complete: 3.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693254-1277896650/watcher-2693254-1277896650 -o /tmp/evaluation-result-2693254-1277896650/solver-2693254-1277896650 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693254-1277896650.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 12061
/proc/meminfo: memFree=30230252/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=10976 CPUtime=0
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 1667 0 0 0 0 0 0 0 21 0 1 0 130960625 11239424 1587 4089446400 4194304 9819077 140734972744192 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12061/statm: 2744 1587 392 1374 0 1365 0
[startup+0.011291 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 12061
/proc/meminfo: memFree=30230252/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=14496 CPUtime=0
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 3210 0 0 0 0 0 0 0 21 0 1 0 130960625 14843904 2264 4089446400 4194304 9819077 140734972744192 18446744073709551615 8675336 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 3624 2288 503 1374 0 2245 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14496
[startup+0.100277 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 12061
/proc/meminfo: memFree=30230252/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=20480 CPUtime=0.09
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 13785 0 0 0 7 2 0 0 18 0 1 0 130960625 20971520 3499 4089446400 4194304 9819077 140734972744192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5120 3502 719 1374 0 3741 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20480
[startup+0.30025 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 12061
/proc/meminfo: memFree=30230252/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=20260 CPUtime=0.29
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 16450 0 0 0 27 2 0 0 18 0 1 0 130960625 20746240 3482 4089446400 4194304 9819077 140734972744192 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5107 3483 722 1374 0 3728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20260
[startup+0.700162 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 12061
/proc/meminfo: memFree=30230252/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=20752 CPUtime=0.69
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 25424 0 0 0 63 6 0 0 18 0 1 0 130960625 21250048 3519 4089446400 4194304 9819077 140734972744192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5188 3520 727 1374 0 3809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20752
[startup+1.50102 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12062
/proc/meminfo: memFree=30210776/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=21116 CPUtime=1.49
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 52812 0 0 0 133 16 0 0 20 0 1 0 130960625 21622784 3892 4089446400 4194304 9819077 140734972744192 18446744073709551615 5434364 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5279 3892 728 1374 0 3900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21116
Solver just ended. Dumping a history of the last processes samples
[startup+2.30087 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12062
/proc/meminfo: memFree=30213500/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=27464 CPUtime=2.29
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 72862 0 0 0 202 27 0 0 21 0 1 0 130960625 28123136 5512 4089446400 4194304 9819077 140734972744192 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 6912 5527 730 1374 0 5533 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 27464
[startup+2.7008 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12062
/proc/meminfo: memFree=30213500/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=23052 CPUtime=2.69
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 80519 0 0 0 235 34 0 0 23 0 1 0 130960625 23605248 4391 4089446400 4194304 9819077 140734972744192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5763 4391 730 1374 0 4384 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 23052
[startup+2.90075 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12062
/proc/meminfo: memFree=30213500/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=23280 CPUtime=2.89
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 82465 0 0 0 252 37 0 0 24 0 1 0 130960625 23838720 4443 4089446400 4194304 9819077 140734972744192 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5820 4443 730 1374 0 4441 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 23280
[startup+3.00075 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12062
/proc/meminfo: memFree=30213500/32951124 swapFree=67111528/67111528
[pid=12061] ppid=12059 vsize=23280 CPUtime=2.99
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 10108 0 -1 4202496 83438 0 0 0 261 38 0 0 25 0 1 0 130960625 23838720 4452 4089446400 4194304 9819077 140734972744192 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12061/statm: 5820 4452 730 1374 0 4441 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 23280
Child status: 0
Real time (s): 3.00624
CPU time (s): 3.00554
CPU user time (s): 2.6246
CPU system time (s): 0.380942
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 27464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6246
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83443
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= 2
involuntary context switches= 34
runsolver used 0.007998 second user time and 0.014997 second system time
The end
Begin job on node135 at 2010-06-30 13:17:30
IDJOB=2693254
IDBENCH=78791
IDSOLVER=1205
FILE ID=node135/2693254-1277896650
PBS_JOBID= 11197083
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 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.1111228076--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-2693254-1277896650/watcher-2693254-1277896650 -o /tmp/evaluation-result-2693254-1277896650/solver-2693254-1277896650 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693254-1277896650.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 203c3967b38557f61bad19a08f7bbc04
RANDOM SEED=1074519201
node135.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.857
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.71
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.857
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.75
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.857
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.857
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 : 7186.14
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.857
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.857
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.75
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.857
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.74
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.857
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30230904 kB
Buffers: 179772 kB
Cached: 1106488 kB
SwapCached: 0 kB
Active: 1763756 kB
Inactive: 810424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30230904 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6124 kB
Writeback: 0 kB
AnonPages: 1287632 kB
Mapped: 15184 kB
Slab: 80648 kB
PageTables: 7308 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1432796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74132 MiB
End job on node135 at 2010-06-30 13:17:33