0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692582-1277896072.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 | 29 | - |1047k| 0 | 13 | 253 | 130 | 253 | 46 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 o 1837
0.00/0.02 c y 0.0s| 1 | 0 | 60 | - |1054k| 0 | 13 | 253 | 130 | 253 | 46 | 0 | 0 | 0 | 0.000000e+00 | 1.837000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 110 | - |1177k| 0 | 33 | 253 | 130 | 253 | 65 | 19 | 0 | 0 | 0.000000e+00 | 1.837000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 164 | - |1256k| 0 | 35 | 253 | 130 | 253 | 75 | 29 | 0 | 0 | 0.000000e+00 | 1.837000e+03 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 184 | - |1258k| 0 | 36 | 253 | 130 | 253 | 77 | 31 | 0 | 0 | 0.000000e+00 | 1.837000e+03 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 191 | - |1258k| 0 | 36 | 253 | 130 | 253 | 78 | 32 | 0 | 0 | 0.000000e+00 | 1.837000e+03 | Inf
0.19/0.22 c 0.2s| 1 | 2 | 191 | - |1264k| 0 | 36 | 253 | 130 | 253 | 78 | 32 | 0 | 33 | 0.000000e+00 | 1.837000e+03 | Inf
0.79/0.84 o 367
0.79/0.84 c * 0.7s| 531 | 208 | 2172 | 3.7 |1754k| 43 | - | 253 | 355 | 253 | 70 | 55 | 225 | 824 | 0.000000e+00 | 3.670000e+02 | Inf
0.89/1.00 o 222
0.89/1.00 c * 0.8s| 769 | 184 | 3268 | 4.0 |1882k| 43 | - | 253 | 478 | 253 | 70 | 64 | 348 | 995 | 0.000000e+00 | 2.220000e+02 | Inf
1.49/1.57 o 178
1.49/1.57 c * 1.3s| 1936 | 348 | 7118 | 3.6 |2579k| 43 | - | 253 |1256 | 253 | 71 | 143 |1126 |1395 | 0.000000e+00 | 1.780000e+02 | Inf
1.79/1.84 o 156
1.79/1.84 c * 1.5s| 2548 | 479 | 9100 | 3.5 |2886k| 43 | - | 253 |1655 | 253 | 70 | 176 |1528 |1511 | 0.000000e+00 | 1.560000e+02 | Inf
4.39/4.44 o 154
4.39/4.44 c * 3.6s| 8201 | 1807 | 37566 | 4.6 |5752k| 43 | - | 253 |3129 | 253 | 70 | 810 |5645 |1720 | 0.000000e+00 | 1.540000e+02 | Inf
5.29/5.34 c 4.4s| 10000 | 2146 | 47722 | 4.8 |6463k| 43 | 0 | 253 |3055 | 253 | 73 |1035 |7095 |1742 | 0.000000e+00 | 1.540000e+02 | Inf
9.69/9.80 o 122
9.69/9.80 c * 8.1s| 19503 | 3464 | 95037 | 4.9 | 10M| 47 | - | 253 |4245 | 253 | 70 |2040 | 14k|1748 | 0.000000e+00 | 1.220000e+02 | Inf
10.00/10.08 c 8.4s| 20000 | 3540 | 98359 | 4.9 | 10M| 47 | 10 | 253 |4271 | 253 | 70 |2107 | 15k|1748 | 0.000000e+00 | 1.220000e+02 | Inf
10.49/10.52 o 114
10.49/10.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.49/10.52 c * 8.8s| 20883 | 3597 |103110 | 4.9 | 10M| 47 | - | 253 |4239 | 253 | 70 |2193 | 15k|1748 | 0.000000e+00 | 1.140000e+02 | Inf
15.09/15.16 c 12.7s| 30000 | 4393 |154481 | 5.1 | 13M| 48 | 0 | 253 |5591 | 253 | 71 |3075 | 23k|2079 | 0.000000e+00 | 1.140000e+02 | Inf
20.30/20.33 c 17.0s| 40000 | 5028 |209056 | 5.2 | 16M| 48 | 0 | 253 |7742 | 253 | 70 |4180 | 31k|2442 | 0.000000e+00 | 1.140000e+02 | Inf
24.89/24.99 o 98
24.89/24.99 c *21.0s| 48076 | 5081 |260390 | 5.4 | 17M| 48 | - | 253 |6893 | 253 | 70 |5086 | 38k|2765 | 0.000000e+00 | 9.800000e+01 | Inf
25.90/25.96 c 21.9s| 50000 | 5182 |269220 | 5.4 | 18M| 48 | - | 253 |7591 | 253 | 70 |5223 | 40k|2831 | 0.000000e+00 | 9.800000e+01 | Inf
30.80/30.83 o 97
30.80/30.83 c *26.1s| 57151 | 4129 |311295 | 5.4 | 17M| 61 | - | 253 |5905 | 253 | 71 |5852 | 47k|3136 | 0.000000e+00 | 9.700000e+01 | Inf
32.49/32.56 o 58
32.49/32.56 c *27.6s| 59023 | 945 |325520 | 5.5 |9639k| 61 | - | 253 |2968 | 253 | 70 |6043 | 49k|3216 | 0.000000e+00 | 5.800000e+01 | Inf
32.90/32.98 c
32.90/32.98 c SCIP Status : problem is solved [optimal solution found]
32.90/32.98 c Solving Time (sec) : 27.98
32.90/32.98 c Solving Nodes : 59142
32.90/32.98 c Primal Bound : +5.80000000000000e+01 (118 solutions)
32.90/32.98 c Dual Bound : +5.80000000000000e+01
32.90/32.98 c Gap : 0.00 %
32.90/32.98 s OPTIMUM FOUND
32.90/32.98 v -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
32.90/32.98 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
32.90/32.98 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106
32.90/32.98 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
32.90/32.98 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
32.90/32.98 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
32.90/32.98 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
32.90/32.98 v -x4 -x3 -x2 -x1
32.90/32.98 c SCIP Status : problem is solved [optimal solution found]
32.90/32.98 c Solving Time : 27.98
32.90/32.98 c Original Problem :
32.90/32.98 c Problem name : HOME/instance-2692582-1277896072.wbo
32.90/32.98 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
32.90/32.98 c Constraints : 144 initial, 144 maximal
32.90/32.98 c Presolved Problem :
32.90/32.98 c Problem name : t_HOME/instance-2692582-1277896072.wbo
32.90/32.98 c Variables : 253 (211 binary, 0 integer, 0 implicit integer, 42 continuous)
32.90/32.98 c Constraints : 130 initial, 8086 maximal
32.90/32.98 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
32.90/32.98 c trivial : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c dualfix : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c boundshift : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c inttobinary : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c implics : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c probing : 0.01 0 0 0 0 0 0 0 0
32.90/32.98 c indicator : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c knapsack : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c setppc : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c linear : 0.00 0 0 0 42 0 14 0 0
32.90/32.98 c logicor : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
32.90/32.98 c root node : - 13 - - 26 - - - -
32.90/32.98 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
32.90/32.98 c integral : 0 0 0 37369 0 1 1146 0 0 46920
32.90/32.98 c indicator : 42 0 208685 12948 0 1499 209151 0 0 0
32.90/32.98 c knapsack : 1 5 207012 12808 0 1142 239546 0 0 0
32.90/32.98 c setppc : 39 5 205680 12756 0 7178 279918 0 0 0
32.90/32.98 c linear : 42 5 198632 12776 0 2031 171493 6029 0 0
32.90/32.98 c logicor : 6+ 5 98144 9359 0 1986 58529 0 0 0
32.90/32.98 c bounddisjunction : 0+ 0 16986 0 0 4 768 0 0 0
32.90/32.98 c countsols : 0 0 0 10268 0 0 0 0 0 0
32.90/32.98 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
32.90/32.98 c integral : 1.16 0.00 0.00 1.16 0.00
32.90/32.98 c indicator : 0.17 0.00 0.13 0.04 0.00
32.90/32.98 c knapsack : 5.55 0.00 5.55 0.00 0.00
32.90/32.98 c setppc : 0.55 0.00 0.54 0.01 0.00
32.90/32.98 c linear : 1.18 0.00 1.13 0.05 0.00
32.90/32.98 c logicor : 3.16 0.00 3.16 0.00 0.00
32.90/32.98 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
32.90/32.98 c countsols : 0.00 0.00 0.00 0.00 0.00
32.90/32.98 c Propagators : Time Calls Cutoffs DomReds
32.90/32.98 c vbounds : 0.00 2 0 0
32.90/32.98 c rootredcost : 0.00 11 0 13
32.90/32.98 c pseudoobj : 0.33 210147 1621 183964
32.90/32.98 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
32.90/32.98 c propagation : 0.40 13962 13907 93674 23.8 809 9.9 -
32.90/32.98 c infeasible LP : 0.75 13309 13202 81071 28.0 373 7.4 0
32.90/32.98 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
32.90/32.98 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
32.90/32.98 c pseudo solution : 0.00 48 48 327 26.1 11 9.0 -
32.90/32.98 c applied globally : - - - 50215 17.6 - - -
32.90/32.98 c applied locally : - - - 11 38.6 - - -
32.90/32.98 c Separators : Time Calls Cutoffs DomReds Cuts Conss
32.90/32.98 c cut pool : 0.00 4 - - 1 - (maximal pool size: 47)
32.90/32.98 c redcost : 0.11 39577 0 17849 0 0
32.90/32.98 c impliedbounds : 0.00 5 0 0 0 0
32.90/32.98 c intobj : 0.00 0 0 0 0 0
32.90/32.98 c cgmip : 0.00 0 0 0 0 0
32.90/32.98 c gomory : 0.00 5 0 0 36 0
32.90/32.98 c strongcg : 0.00 5 0 0 21 0
32.90/32.98 c cmir : 0.00 5 0 0 0 0
32.90/32.98 c flowcover : 0.04 5 0 0 0 0
32.90/32.98 c clique : 0.00 5 0 0 5 0
32.90/32.98 c zerohalf : 0.00 0 0 0 0 0
32.90/32.98 c mcf : 0.00 1 0 0 0 0
32.90/32.98 c rapidlearning : 0.00 0 0 0 0 0
32.90/32.98 c Pricers : Time Calls Vars
32.90/32.98 c problem variables: 0.00 0 0
32.90/32.98 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
32.90/32.98 c relpscost : 1.16 24420 1 1146 0 0 46920
32.90/32.98 c pscost : 0.00 0 0 0 0 0 0
32.90/32.98 c inference : 0.03 10258 0 0 0 0 20516
32.90/32.98 c mostinf : 0.00 0 0 0 0 0 0
32.90/32.98 c leastinf : 0.00 0 0 0 0 0 0
32.90/32.98 c fullstrong : 0.00 0 0 0 0 0 0
32.90/32.98 c allfullstrong : 0.00 0 0 0 0 0 0
32.90/32.98 c random : 0.00 0 0 0 0 0 0
32.90/32.98 c Primal Heuristics : Time Calls Found
32.90/32.98 c LP solutions : 0.01 - 10
32.90/32.98 c pseudo solutions : 0.00 - 0
32.90/32.98 c oneopt : 0.01 10 0
32.90/32.98 c feaspump : 0.01 1 0
32.90/32.98 c crossover : 0.17 30 0
32.90/32.98 c guideddiving : 0.06 248 0
32.90/32.98 c coefdiving : 0.06 248 0
32.90/32.98 c pscostdiving : 0.06 248 0
32.90/32.98 c fracdiving : 0.04 248 0
32.90/32.98 c veclendiving : 0.09 248 0
32.90/32.98 c linesearchdiving : 0.07 248 0
32.90/32.98 c rootsoldiving : 0.06 181 0
32.90/32.98 c objpscostdiving : 0.00 182 0
32.90/32.98 c trivial : 0.00 2 0
32.90/32.98 c simplerounding : 0.01 25582 0
32.90/32.98 c zirounding : 0.02 1000 0
32.90/32.98 c rounding : 0.02 2239 0
32.90/32.98 c shifting : 0.13 698 0
32.90/32.98 c intshifting : 0.00 15 0
32.90/32.98 c twoopt : 0.00 0 0
32.90/32.98 c fixandinfer : 0.00 0 0
32.90/32.98 c intdiving : 0.00 0 0
32.90/32.98 c actconsdiving : 0.00 0 0
32.90/32.98 c octane : 0.00 0 0
32.90/32.98 c rens : 0.01 1 0
32.90/32.98 c rins : 0.00 0 0
32.90/32.98 c localbranching : 0.00 0 0
32.90/32.98 c mutation : 0.00 0 0
32.90/32.98 c dins : 0.00 0 0
32.90/32.98 c undercover : 0.00 0 0
32.90/32.98 c nlp : 0.00 0 0
32.90/32.98 c trysol : 0.00 1854 108
32.90/32.98 c LP : Time Calls Iterations Iter/call Iter/sec
32.90/32.98 c primal LP : 0.00 0 0 0.00 -
32.90/32.98 c dual LP : 7.74 43752 323475 7.39 41792.64
32.90/32.98 c lex dual LP : 0.00 0 0 0.00 -
32.90/32.98 c barrier LP : 0.00 0 0 0.00 -
32.90/32.98 c diving/probing LP: 0.14 1471 3597 2.45 25692.86
32.90/32.98 c strong branching : 1.02 3216 46914 14.59 45994.12
32.90/32.98 c (at root node) : - 33 4259 129.06 -
32.90/32.98 c conflict analysis: 0.00 0 0 0.00 -
32.90/32.98 c B&B Tree :
32.90/32.98 c number of runs : 1
32.90/32.98 c nodes : 59142
32.90/32.98 c nodes (total) : 59142
32.90/32.98 c nodes left : 0
32.90/32.98 c max depth : 61
32.90/32.98 c max depth (total): 61
32.90/32.98 c backtracks : 13461 (22.8%)
32.90/32.98 c delayed cutoffs : 5579
32.90/32.98 c repropagations : 69648 (263449 domain reductions, 2869 cutoffs)
32.90/32.98 c avg switch length: 5.92
32.90/32.98 c switching time : 3.42
32.90/32.98 c Solution :
32.90/32.98 c Solutions found : 118 (11 improvements)
32.90/32.98 c First Solution : +1.83700000000000e+03 (in run 1, after 1 nodes, 0.02 seconds, depth 0, found by <trysol>)
32.90/32.98 c Primal Bound : +5.80000000000000e+01 (in run 1, after 59023 nodes, 27.61 seconds, depth 33, found by <relaxation>)
32.90/32.98 c Dual Bound : +5.80000000000000e+01
32.90/32.98 c Gap : 0.00 %
32.90/32.98 c Root Dual Bound : +0.00000000000000e+00
32.90/32.98 c Root Iterations : 191
32.90/32.99 c Time complete: 32.98.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692582-1277896072/watcher-2692582-1277896072 -o /tmp/evaluation-result-2692582-1277896072/solver-2692582-1277896072 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692582-1277896072.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.00 2.01 2.00 3/178 12134
/proc/meminfo: memFree=31162188/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=9268 CPUtime=0
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 1643 0 0 0 0 0 0 0 21 0 1 0 130903554 9490432 1562 4089446400 4194304 8223781 140735095065408 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12134/statm: 2317 1562 369 984 0 1330 0
[startup+0.064715 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12134
/proc/meminfo: memFree=31162188/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=16740 CPUtime=0.05
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 5576 0 0 0 5 0 0 0 21 0 1 0 130903554 17141760 3330 4089446400 4194304 8223781 140735095065408 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 4185 3330 584 984 0 3198 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16740
[startup+0.100711 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12134
/proc/meminfo: memFree=31162188/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=16740 CPUtime=0.09
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 11139 0 0 0 8 1 0 0 21 0 1 0 130903554 17141760 3360 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 4185 3360 599 984 0 3198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16740
[startup+0.300672 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12134
/proc/meminfo: memFree=31162188/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=16740 CPUtime=0.29
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 11141 0 0 0 25 4 0 0 21 0 1 0 130903554 17141760 3362 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 4185 3362 601 984 0 3198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16740
[startup+0.700604 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12134
/proc/meminfo: memFree=31162188/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=17116 CPUtime=0.69
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 16730 0 0 0 57 12 0 0 22 0 1 0 130903554 17526784 3459 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 4279 3459 605 984 0 3292 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17116
[startup+1.50046 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12135
/proc/meminfo: memFree=31149284/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=18508 CPUtime=1.49
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 26766 0 0 0 121 28 0 0 25 0 1 0 130903554 18952192 3808 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 4627 3808 606 984 0 3640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18508
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12135
/proc/meminfo: memFree=31147424/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=21384 CPUtime=3.09
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 38410 0 0 0 254 55 0 0 25 0 1 0 130903554 21897216 4519 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 5346 4519 606 984 0 4359 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21384
[startup+6.30061 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12135
/proc/meminfo: memFree=31142492/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=25148 CPUtime=6.29
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 58826 0 0 0 521 108 0 0 25 0 1 0 130903554 25751552 5469 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 6287 5469 608 984 0 5300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25148
[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12135
/proc/meminfo: memFree=31136464/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=32348 CPUtime=12.69
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 95849 0 0 0 1062 207 0 0 25 0 1 0 130903554 33124352 7253 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 8087 7253 608 984 0 7100 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32348
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12136
/proc/meminfo: memFree=31129092/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=40612 CPUtime=25.49
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 120682 0 0 0 2148 401 0 0 25 0 1 0 130903554 41586688 9317 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 10153 9317 608 984 0 9166 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40612
Solver just ended. Dumping a history of the last processes samples
[startup+28.7006 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12136
/proc/meminfo: memFree=31128340/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=41564 CPUtime=28.7
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 133908 0 0 0 2420 450 0 0 25 0 1 0 130903554 42561536 9551 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 10391 9551 608 984 0 9404 0
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (KiB) 41564
[startup+30.3004 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12136
/proc/meminfo: memFree=31126852/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=42136 CPUtime=30.29
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 134028 0 0 0 2560 469 0 0 25 0 1 0 130903554 43147264 9671 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 10534 9671 608 984 0 9547 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 42136
[startup+31.9061 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12136
/proc/meminfo: memFree=31123748/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=43792 CPUtime=31.89
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 142295 0 0 0 2705 484 0 0 25 0 1 0 130903554 44843008 10091 4089446400 4194304 8223781 140735095065408 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 10948 10091 608 984 0 9961 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 43792
[startup+32.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12136
/proc/meminfo: memFree=31123748/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=43792 CPUtime=32.69
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 145523 0 0 0 2773 496 0 0 25 0 1 0 130903554 44843008 10091 4089446400 4194304 8223781 140735095065408 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 10948 10091 608 984 0 9961 0
Current children cumulated CPU time (s) 32.69
Current children cumulated vsize (KiB) 43792
[startup+32.9009 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12136
/proc/meminfo: memFree=31123624/32950928 swapFree=4192956/4192956
[pid=12134] ppid=12132 vsize=43792 CPUtime=32.9
/proc/12134/stat : 12134 (pbscip.linux.x8) R 12132 12134 9516 0 -1 4202496 145523 0 0 0 2791 499 0 0 25 0 1 0 130903554 44843008 10091 4089446400 4194304 8223781 140735095065408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12134/statm: 10948 10091 608 984 0 9961 0
Current children cumulated CPU time (s) 32.9
Current children cumulated vsize (KiB) 43792
Child status: 0
Real time (s): 32.9952
CPU time (s): 32.996
CPU user time (s): 27.9867
CPU system time (s): 5.00924
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 43792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.9867
system time used= 5.00924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145529
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= 1
involuntary context switches= 23
runsolver used 0.043993 second user time and 0.117982 second system time
The end
Begin job on node124 at 2010-06-30 13:07:52
IDJOB=2692582
IDBENCH=78771
IDSOLVER=1204
FILE ID=node124/2692582-1277896072
PBS_JOBID= 11197105
Free space on /tmp= 130620 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692582-1277896072/watcher-2692582-1277896072 -o /tmp/evaluation-result-2692582-1277896072/solver-2692582-1277896072 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692582-1277896072.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8b066002eb3185cd3fd0fbc9dbe06f59
RANDOM SEED=635946037
node124.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.833
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.66
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.833
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 : 5226.07
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.833
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.74
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.833
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.77
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.833
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.833
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.82
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.833
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.833
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: 32950928 kB
MemFree: 31163088 kB
Buffers: 181692 kB
Cached: 1120400 kB
SwapCached: 0 kB
Active: 859968 kB
Inactive: 813528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31163088 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4676 kB
Writeback: 0 kB
AnonPages: 371736 kB
Mapped: 16212 kB
Slab: 78780 kB
PageTables: 5936 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 20668420 kB
Committed_AS: 515788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 130616 MiB
End job on node124 at 2010-06-30 13:08:25