Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -54 | 1797.07 | 1797.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb |
| MD5SUM | 74165f17686851db36d48a05683565a5 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -58 |
| Best CPU time to get the best result obtained on this benchmark | 1797.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -58 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 4964 |
| Sum of products size (including duplicates) | 9928 |
| Number of different products | 2482 |
| Sum of products size | 4964 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3485237-1307788220.opb>
0.00/0.01 c original problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20256 impls, 400 clqs
0.08/0.12 c (0.1s) probing: 101/2882 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.12 c presolving (2 rounds):
0.08/0.12 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.12 c 20256 implications, 400 cliques
0.08/0.12 c presolved problem has 2882 variables (2882 bin, 0 int, 0 impl, 0 cont) and 3083 constraints
0.08/0.12 c 600 constraints of type <setppc>
0.08/0.12 c 2482 constraints of type <and>
0.08/0.12 c 1 constraints of type <linear>
0.08/0.12 c transformed objective value is always integral (scale: 1)
0.08/0.12 c Presolving Time: 0.10
0.08/0.12 c - non default parameters ----------------------------------------------------------------------
0.08/0.12 c # SCIP version 2.0.1.4
0.08/0.12 c
0.08/0.12 c # frequency for displaying node information lines
0.08/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.12 c display/freq = 10000
0.08/0.12 c
0.08/0.12 c # maximal time in seconds to run
0.08/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.12 c limits/time = 1797
0.08/0.12 c
0.08/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.12 c limits/memory = 13950
0.08/0.12 c
0.08/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.12 c # [type: int, range: [1,2], default: 1]
0.08/0.12 c timing/clocktype = 2
0.08/0.12 c
0.08/0.12 c # belongs reading time to solving time?
0.08/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.12 c timing/reading = TRUE
0.08/0.12 c
0.08/0.12 c # should presolving try to simplify inequalities
0.08/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.12 c constraints/linear/simplifyinequalities = TRUE
0.08/0.12 c
0.08/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.08/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.12 c constraints/indicator/addCouplingCons = TRUE
0.08/0.12 c
0.08/0.12 c # should presolving try to simplify knapsacks
0.08/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.12 c
0.08/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.12 c separating/rapidlearning/freq = 0
0.08/0.12 c
0.08/0.12 c -----------------------------------------------------------------------------------------------
0.08/0.12 c start solving
0.08/0.12 c
1.98/2.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.98/2.06 c t 2.1s| 1 | 0 | 5242 | - | 12M| 0 |1723 |2882 |3083 |2882 |5565 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
1.98/2.07 o -5
1.98/2.07 c s 2.1s| 1 | 0 | 5242 | - | 12M| 0 |1723 |2882 |3083 |2882 |5565 | 0 | 0 | 0 |-1.000000e+02 |-5.000000e+00 | 95.00%
7.99/8.03 o -6
7.99/8.03 c U 8.0s| 1 | 0 | 5242 | - | 12M| 0 |1723 |2882 |3085 |2882 |5565 | 0 | 1 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
9.79/9.87 c 9.9s| 1 | 0 | 5405 | - | 13M| 0 |1709 |2882 |3086 |2882 |5679 | 114 | 1 | 0 |-1.000000e+02 |-6.000000e+00 | 94.00%
9.79/9.88 o -11
9.79/9.88 c s 9.9s| 1 | 0 | 5405 | - | 13M| 0 |1709 |2882 |3086 |2882 |5679 | 114 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
10.89/10.94 c 10.9s| 1 | 0 | 5542 | - | 13M| 0 |1704 |2882 |3086 |2882 |5691 | 126 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
11.99/12.02 c 12.0s| 1 | 0 | 5704 | - | 13M| 0 |1691 |2882 |3086 |2882 |5704 | 139 | 1 | 0 |-1.000000e+02 |-1.100000e+01 | 89.00%
11.99/12.03 o -12
11.99/12.03 c s12.0s| 1 | 0 | 5704 | - | 13M| 0 |1691 |2882 |3086 |2882 |5704 | 139 | 1 | 0 |-1.000000e+02 |-1.200000e+01 | 88.00%
12.99/13.09 c 13.1s| 1 | 0 | 5884 | - | 13M| 0 |1676 |2882 |3086 |2882 |5717 | 152 | 1 | 0 |-1.000000e+02 |-1.200000e+01 | 88.00%
14.29/14.32 c 14.3s| 1 | 0 | 6455 | - | 13M| 0 |1652 |2882 |3086 |2882 |5722 | 157 | 1 | 0 |-1.000000e+02 |-1.200000e+01 | 88.00%
15.29/15.37 c 15.4s| 1 | 0 | 6614 | - | 13M| 0 |1663 |2882 |3086 |2882 |5735 | 170 | 1 | 0 |-1.000000e+02 |-1.200000e+01 | 88.00%
25.19/25.25 c 25.2s| 1 | 2 | 6614 | - | 13M| 0 |1663 |2882 |3086 |2882 |5735 | 170 | 1 | 16 |-1.000000e+02 |-1.200000e+01 | 88.00%
138.29/138.39 o -54
138.29/138.39 c p 138s| 10 | 11 |301433 |32757.7 | 12M| 5 | - |2882 |3095 |2882 |2847 |2957 | 10 | 141 |-9.990374e+01 |-5.400000e+01 | 45.95%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 454
1797.04/1797.00 c Primal Bound : -5.40000000000000e+01 (7 solutions)
1797.04/1797.00 c Dual Bound : -9.80434896637129e+01
1797.04/1797.00 c Gap : 44.92 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x313 -x342 -x248 x392 x390 -x358 -x297 x348 -x254 x386 -x286 x345 -x376 -x231 x294 x280 -x360 -x382 x332 x255 -x323 -x321 -x359
1797.04/1797.00 v x343 -x224 -x353 x256 -x391 x239 -x237 x300 x370 -x349 -x335 -x305 -x317 -x377 -x395 -x361 -x367 -x299 -x267 -x238 x352 -x233
1797.04/1797.00 v -x218 -x283 -x269 x344 x388 -x217 -x289 x380 x356 -x322 -x216 -x339 -x319 -x312 -x246 -x350 -x347 -x249 x271 -x272 -x329 x308
1797.04/1797.00 v -x284 -x307 x366 -x354 -x334 x275 -x310 x372 -x232 -x362 -x315 -x236 -x241 -x220 -x290 -x281 x375 x262 -x302 x253 x318 x303
1797.04/1797.00 v -x298 x210 -x234 -x295 -x213 -x340 -x245 -x261 -x400 -x355 -x252 -x389 x379 x277 x208 -x276 -x266 -x219 x351 -x244 x365 -x215
1797.04/1797.00 v x346 -x207 -x301 -x264 -x235 -x314 -x247 x328 -x285 -x326 -x306 -x206 -x398 -x288 x279 -x278 x265 -x258 -x242 -x226 -x282
1797.04/1797.00 v -x397 -x357 x381 -x292 -x214 x205 -x393 -x311 x296 x274 -x240 -x225 -x221 x371 -x325 x338 x385 -x320 -x374 -x399 -x309 -x209
1797.04/1797.00 v -x257 -x270 -x259 -x223 -x330 -x203 -x396 -x273 -x251 x243 -x204 -x268 -x324 -x263 -x331 x383 x230 -x368 x369 -x212 -x202 -x211
1797.04/1797.00 v -x337 -x373 -x227 -x341 -x327 -x364 -x260 -x291 -x228 -x363 -x201 -x333 x304 -x229 -x222 -x250 -x293 -x387 x336 -x394 -x316
1797.04/1797.00 v x378 -x287 x384 x200 -x199 x198 x197 x196 x195 -x194 x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 x182
1797.04/1797.00 v -x181 -x180 -x179 -x178 x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160
1797.04/1797.00 v x159 -x158 x157 -x156 -x155 x154 x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1797.04/1797.00 v -x137 -x136 x135 -x134 x133 -x132 x131 x130 x129 -x128 -x127 -x126 -x125 x124 x123 x122 x121 -x120 -x119 -x118 x117 -x116
1797.04/1797.00 v x115 -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93
1797.04/1797.00 v -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 x67
1797.04/1797.00 v -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 x48 x47 -x46 -x45 -x44 -x43 -x42 -x41
1797.04/1797.00 v -x40 -x39 x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 x16 -x15
1797.04/1797.00 v -x14 -x13 x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 x4 -x3 x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.10 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485237-1307788220.opb
1797.04/1797.00 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 601 initial, 601 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485237-1307788220.opb
1797.04/1797.00 c Variables : 2882 (2882 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 3083 initial, 3238 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.05 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 453 0 19 0 0 0 0 0 906
1797.04/1797.00 c setppc : 600 6 41304 0 1 14 856 33 214 0 0 0
1797.04/1797.00 c and : 2482 1370 41270 0 1 13 712 35 7143 47148 0 0
1797.04/1797.00 c linear : 1 6 41233 0 0 6 201 0 0 0 0 0
1797.04/1797.00 c logicor : 0+ 6 1085 0 0 0 1 0 80 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 10 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 287.23 0.00 0.00 287.23 0.00 0.00 0.00
1797.04/1797.00 c setppc : 0.49 0.00 0.49 0.00 0.00 0.00 0.00
1797.04/1797.00 c and : 3.12 1.17 1.94 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 0.07 0.03 0.03 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 2 0 0 0
1797.04/1797.00 c pseudoobj : 41124 0 1 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.01 0.01 0.00
1797.04/1797.00 c rootredcost : 0.01 0.01 0.00
1797.04/1797.00 c pseudoobj : 0.21 0.21 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 69 69 69 5.3 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.02 31 31 786 75.6 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 156 45.4 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 152)
1797.04/1797.00 c redcost : 0.09 1370 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 6 0 0 220 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 2.36 6 0 0 0 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 2.32 6 0 0 0 0
1797.04/1797.00 c cmir : 0.16 6 0 0 0 0
1797.04/1797.00 c flowcover : 0.14 6 0 0 0 0
1797.04/1797.00 c clique : 0.52 6 0 0 42 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.76 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 287.23 453 0 0 0 0 906
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 0.00 4 0
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 0.00 0 0
1797.04/1797.00 c zirounding : 0.18 0 0
1797.04/1797.00 c rounding : 1.98 464 0
1797.04/1797.00 c shifting : 0.58 87 4
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c coefdiving : 85.65 7 0
1797.04/1797.00 c pscostdiving : 315.65 17 1
1797.04/1797.00 c fracdiving : 74.28 7 0
1797.04/1797.00 c veclendiving : 77.60 8 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 13.99 2 0
1797.04/1797.00 c rootsoldiving : 16.31 4 0
1797.04/1797.00 c linesearchdiving : 77.02 12 0
1797.04/1797.00 c guideddiving : 79.43 7 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.01 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c crossover : 0.04 1 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 5.96 1 1
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.00 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 3.90 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 747.54 1381 2656627 1923.70 3553.81
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 716.80 30223 2726295 90.21 3803.43
1797.04/1797.00 c strong branching : 287.16 1046 829185 792.72 2887.50
1797.04/1797.00 c (at root node) : - 16 16000 1000.00 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 454
1797.04/1797.00 c nodes (total) : 454
1797.04/1797.00 c nodes left : 455
1797.04/1797.00 c max depth : 16
1797.04/1797.00 c max depth (total): 16
1797.04/1797.00 c backtracks : 252 (55.5%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 43 (11 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 7.43
1797.04/1797.00 c switching time : 4.06
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 7 (6 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -5.40000000000000e+01 (in run 1, after 10 nodes, 138.39 seconds, depth 168, found by <pscostdiving>)
1797.04/1797.00 c Dual Bound : -9.80434896637129e+01
1797.04/1797.00 c Gap : 44.92 %
1797.04/1797.00 c Root Dual Bound : -9.99999999999999e+01
1797.04/1797.00 c Root Iterations : 6614
1797.04/1797.03 c Time complete: 1797.06.
OK -54
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3485237-1307788220/watcher-3485237-1307788220 -o /tmp/evaluation-result-3485237-1307788220/solver-3485237-1307788220 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485237-1307788220.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.00 2.00 1.92 3/178 5432 /proc/meminfo: memFree=31377320/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=6312 CPUtime=0 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 670 0 0 0 0 0 0 0 25 0 1 0 890420127 6463488 625 33554432000 4194304 8979876 140733963330112 18446744073709551615 5831248 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/5432/statm: 1578 629 269 1169 0 405 0 [startup+0.0859951 s] /proc/loadavg: 2.00 2.00 1.92 3/178 5432 /proc/meminfo: memFree=31377320/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=25316 CPUtime=0.07 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 5375 0 0 0 7 0 0 0 18 0 1 0 890420127 25923584 5073 33554432000 4194304 8979876 140733963330112 18446744073709551615 18446744073699065904 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 6329 5073 507 1169 0 5156 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 25316 [startup+0.100989 s] /proc/loadavg: 2.00 2.00 1.92 3/178 5432 /proc/meminfo: memFree=31377320/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=25316 CPUtime=0.08 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 5428 0 0 0 8 0 0 0 18 0 1 0 890420127 25923584 5126 33554432000 4194304 8979876 140733963330112 18446744073709551615 5278663 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 6329 5126 523 1169 0 5156 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 25316 [startup+0.300956 s] /proc/loadavg: 2.00 2.00 1.92 3/178 5432 /proc/meminfo: memFree=31377320/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=40968 CPUtime=0.29 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 9594 0 0 0 28 1 0 0 18 0 1 0 890420127 41951232 9130 33554432000 4194304 8979876 140733963330112 18446744073709551615 7146256 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 10242 9130 635 1169 0 9069 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40968 [startup+0.700887 s] /proc/loadavg: 2.00 2.00 1.92 3/178 5432 /proc/meminfo: memFree=31377320/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=42112 CPUtime=0.69 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 9838 0 0 0 68 1 0 0 18 0 1 0 890420127 43122688 9365 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 10528 9365 637 1169 0 9355 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42112 [startup+1.50079 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5433 /proc/meminfo: memFree=31342112/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=42112 CPUtime=1.48 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 9905 0 0 0 147 1 0 0 19 0 1 0 890420127 43122688 9421 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 10528 9421 626 1169 0 9355 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 42112 [startup+3.10046 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5433 /proc/meminfo: memFree=31327716/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=66904 CPUtime=3.08 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 22364 0 0 0 303 5 0 0 25 0 1 0 890420127 68509696 15798 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 16726 15798 708 1169 0 15553 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 66904 [startup+6.30091 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5433 /proc/meminfo: memFree=31315564/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=67972 CPUtime=6.28 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 22540 0 0 0 621 7 0 0 25 0 1 0 890420127 69603328 15974 33554432000 4194304 8979876 140733963330112 18446744073709551615 6820752 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 16993 15974 709 1169 0 15820 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 67972 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5434 /proc/meminfo: memFree=31306404/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=12.68 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26800 0 0 0 1257 11 0 0 25 0 1 0 890420127 78499840 18073 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18073 720 1169 0 17992 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76660 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5434 /proc/meminfo: memFree=31306896/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=25.49 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26807 0 0 0 2535 14 0 0 25 0 1 0 890420127 78499840 18080 33554432000 4194304 8979876 140733963330112 18446744073709551615 7171063 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18080 721 1169 0 17992 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76660 [startup+51.101 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5435 /proc/meminfo: memFree=31306632/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=51.09 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26810 0 0 0 5081 28 0 0 25 0 1 0 890420127 78499840 18083 33554432000 4194304 8979876 140733963330112 18446744073709551615 7185344 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18083 724 1169 0 17992 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 76660 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5436 /proc/meminfo: memFree=31306680/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=102.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26810 0 0 0 10175 55 0 0 25 0 1 0 890420127 78499840 18083 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18083 724 1169 0 17992 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 76660 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5438 /proc/meminfo: memFree=31306768/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=162.29 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26810 0 0 0 16146 83 0 0 25 0 1 0 890420127 78499840 18083 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18083 724 1169 0 17992 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 76660 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5439 /proc/meminfo: memFree=31306596/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=222.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 22120 110 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 76660 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 5441 /proc/meminfo: memFree=31306804/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=282.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 28090 140 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 76660 [startup+342.301 s] /proc/loadavg: 2.04 2.01 1.93 3/179 5442 /proc/meminfo: memFree=31306988/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=342.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 34061 169 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 76660 [startup+402.3 s] /proc/loadavg: 2.01 2.01 1.93 3/179 5444 /proc/meminfo: memFree=31306816/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=402.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 40035 195 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7179408 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 76660 [startup+462.301 s] /proc/loadavg: 2.16 2.03 1.94 3/179 5446 /proc/meminfo: memFree=31306752/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=462.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 46007 223 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 76660 [startup+522.301 s] /proc/loadavg: 2.06 2.03 1.94 3/179 5447 /proc/meminfo: memFree=31306840/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=522.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 51976 254 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 76660 [startup+582.3 s] /proc/loadavg: 2.06 2.03 1.94 3/179 5449 /proc/meminfo: memFree=31306688/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=582.3 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 57948 282 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 76660 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31307056/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1122.31 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 111711 520 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890768 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 76660 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.96 3/179 5465 /proc/meminfo: memFree=31306912/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1182.32 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26821 0 0 0 117684 548 0 0 25 0 1 0 890420127 78499840 18094 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18094 726 1169 0 17992 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 76660 [startup+1242.3 s] /proc/loadavg: 2.03 2.02 1.97 3/179 5466 /proc/meminfo: memFree=31306524/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1242.32 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 123657 575 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7123672 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 76660 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 1.97 3/179 5544 /proc/meminfo: memFree=31081260/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1302.32 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 129630 602 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 76660 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.97 3/179 5546 /proc/meminfo: memFree=31052556/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1362.32 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 135604 628 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 76660 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.97 3/179 5585 /proc/meminfo: memFree=31354460/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1422.33 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 141578 655 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7046512 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 76660 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 5587 /proc/meminfo: memFree=31350320/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1482.32 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 147544 688 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 76660 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 5588 /proc/meminfo: memFree=31347788/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1542.32 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 153515 717 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 76660 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 5590 /proc/meminfo: memFree=31346620/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1602.33 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 159490 743 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 76660 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 5592 /proc/meminfo: memFree=31345692/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1662.33 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 165466 767 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 76660 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 5593 /proc/meminfo: memFree=31344784/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1722.33 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 171437 796 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 76660 [startup+1782.3 s] /proc/loadavg: 2.06 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340416/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1782.33 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 177414 819 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 76660 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.05 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340416/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1785.53 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 177733 820 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7146140 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 76660 [startup+1791.91 s] /proc/loadavg: 2.05 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340284/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1791.94 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 178370 824 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 76660 [startup+1795.1 s] /proc/loadavg: 2.04 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340272/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1795.13 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 178688 825 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 76660 [startup+1795.9 s] /proc/loadavg: 2.04 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340272/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1795.94 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 178768 826 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7123748 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 76660 [startup+1796.7 s] /proc/loadavg: 2.04 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340148/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1796.73 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 178847 826 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7184794 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 76660 [startup+1796.9 s] /proc/loadavg: 2.04 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340148/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1796.94 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 178867 827 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 76660 [startup+1797 s] /proc/loadavg: 2.04 2.01 1.97 3/179 5595 /proc/meminfo: memFree=31340148/32951124 swapFree=67063272/67111528 [pid=5432] ppid=5430 vsize=76660 CPUtime=1797.04 cores=0,2,4,6 /proc/5432/stat : 5432 (scip-2.0.1.4_2.) R 5430 5432 965 0 -1 4202496 26823 0 0 0 178877 827 0 0 25 0 1 0 890420127 78499840 18096 33554432000 4194304 8979876 140733963330112 18446744073709551615 7186208 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/5432/statm: 19165 18096 728 1169 0 17992 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 76660 Child status: 0 Real time (s): 1797.03 CPU time (s): 1797.07 CPU user time (s): 1788.8 CPU system time (s): 8.27574 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 76660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.8 system time used= 8.27574 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26831 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= 9 involuntary context switches= 3936 runsolver used 2.78758 second user time and 5.58015 second system time The end
Begin job on node132 at 2011-06-11 12:30:20 IDJOB=3485237 IDBENCH=48283 IDSOLVER=1977 FILE ID=node132/3485237-1307788220 RUNJOBID= node132-1307785905-5178 PBS_JOBID= 13550862 Free space on /tmp= 74084 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485237-1307788220/watcher-3485237-1307788220 -o /tmp/evaluation-result-3485237-1307788220/solver-3485237-1307788220 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485237-1307788220.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 74165f17686851db36d48a05683565a5 RANDOM SEED=1022941601 node132.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 : 5332.74 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.76 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.75 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.77 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.67 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.82 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31377864 kB Buffers: 275916 kB Cached: 993064 kB SwapCached: 9968 kB Active: 683788 kB Inactive: 682576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31377864 kB SwapTotal: 67111528 kB SwapFree: 67063272 kB Dirty: 17080 kB Writeback: 0 kB AnonPages: 94856 kB Mapped: 12488 kB Slab: 143040 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 261512 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= 74068 MiB End job on node132 at 2011-06-11 13:00:17