Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -32 | 1800.06 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_3.opb |
| MD5SUM | 7d5c1eba9f9b9c55d272c1a8f28b465a |
| 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 | -32 |
| Best CPU time to get the best result obtained on this benchmark | 1797.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -31 |
| 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) | 12432 |
| Sum of products size (including duplicates) | 24864 |
| Number of different products | 6216 |
| Sum of products size | 12432 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450709-1307108925.opb>
0.00/0.03 c original problem has 6616 variables (6616 bin, 0 int, 0 impl, 0 cont) and 7217 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.07 o 0
0.03/0.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.03/0.07 c presolving:
0.09/0.13 c (round 1) 0 del vars, 6616 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 50128 impls, 399 clqs
0.09/0.15 c (round 2) 6216 del vars, 6616 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50128 impls, 0 clqs
0.09/0.17 c (0.2s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (3 rounds):
0.09/0.17 c 6216 deleted vars, 6616 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 50128 implications, 0 cliques
0.09/0.17 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.17 c 400 constraints of type <knapsack>
0.09/0.17 c 200 constraints of type <setppc>
0.09/0.17 c 1 constraints of type <linear>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 2.0.1.5
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1800
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 13950
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # belongs reading time to solving time?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c timing/reading = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.89/0.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.96 c t 1.0s| 1 | 0 | 3671 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.89/0.97 o -1
0.89/0.97 c R 1.0s| 1 | 0 | 3671 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
6.61/6.62 c 6.6s| 1 | 2 | 8260 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 17 |-1.000000e+02 |-1.000000e+00 | 99.00%
13.29/13.37 o -2
13.29/13.37 c R13.4s| 5 | 4 | 8805 |1283.5 | 17M| 4 | 333 | 400 | 601 | 400 | 601 | 0 | 0 | 52 |-9.931440e+01 |-2.000000e+00 | 97.99%
17.89/17.92 o -3
17.89/17.92 c R17.9s| 6 | 5 | 8811 |1028.0 | 17M| 5 | 332 | 400 | 601 | 400 | 601 | 0 | 0 | 97 |-9.931440e+01 |-3.000000e+00 | 96.98%
29.99/30.02 o -4
29.99/30.02 c R30.0s| 14 | 13 | 9154 | 421.8 | 17M| 13 | 276 | 400 | 601 | 400 | 601 | 0 | 0 | 223 |-9.931440e+01 |-4.000000e+00 | 95.97%
32.91/33.00 o -22
32.91/33.00 c c33.0s| 15 | 16 | 10010 | 452.8 | 17M| 14 | - | 400 | 601 | 400 | 601 | 0 | 0 | 254 |-9.931440e+01 |-2.200000e+01 | 77.85%
47.89/47.90 o -26
47.89/47.90 c p47.9s| 28 | 29 | 12393 | 323.0 | 17M| 15 | - | 400 | 601 | 400 | 601 | 0 | 0 | 467 |-9.931440e+01 |-2.600000e+01 | 73.82%
59.19/59.30 o -30
59.19/59.30 c f59.3s| 40 | 41 | 14077 | 266.8 | 17M| 15 | - | 400 | 601 | 400 | 601 | 0 | 0 | 673 |-9.931440e+01 |-3.000000e+01 | 69.79%
114.31/114.41 o -31
114.31/114.41 c l 114s| 306 | 307 | 58970 | 181.3 | 18M| 28 | - | 400 | 631 | 400 | 601 | 0 | 31 |1643 |-9.754976e+01 |-3.100000e+01 | 68.22%
161.00/161.03 o -32
161.00/161.03 c f 161s| 724 | 725 |139824 | 188.3 | 19M| 32 | - | 400 | 677 | 400 | 601 | 0 | 78 |1736 |-9.396785e+01 |-3.200000e+01 | 65.95%
661.02/661.08 c 661s| 10000 | 10001 | 1525k| 152.2 | 29M| 106 | 251 | 400 | 810 | 400 | 601 | 0 | 262 |2378 |-8.753755e+01 |-3.200000e+01 | 63.44%
964.41/964.48 c 964s| 20000 | 20001 | 2699k| 134.8 | 42M| 111 | 286 | 400 | 925 | 400 | 601 | 0 | 507 |3266 |-8.633737e+01 |-3.200000e+01 | 62.94%
1255.42/1255.48 c 1255s| 30000 | 30001 | 3903k| 130.0 | 54M| 111 | 195 | 400 |1025 | 400 | 601 | 0 | 837 |3941 |-8.590095e+01 |-3.200000e+01 | 62.75%
1496.52/1496.57 c 1497s| 40000 | 40001 | 5025k| 125.5 | 67M| 111 | 114 | 400 | 961 | 400 | 601 | 0 | 999 |4360 |-8.590095e+01 |-3.200000e+01 | 62.75%
1742.34/1742.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.34/1742.40 c 1742s| 50000 | 50001 | 6153k| 123.0 | 80M| 111 | 96 | 400 | 995 | 400 | 601 | 0 |1288 |4702 |-8.564654e+01 |-3.200000e+01 | 62.64%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 52196
1800.03/1800.00 c Primal Bound : -3.20000000000000e+01 (635 solutions)
1800.03/1800.00 c Dual Bound : -8.55051743461292e+01
1800.03/1800.00 c Gap : 62.58 %
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 v -x318 -x373 -x308 x277 -x395 -x322 -x320 -x391 -x235 -x280 -x358 -x292 x250 x361 -x312 -x260 -x388 -x370 -x330 -x315 -x371 -x313
1800.03/1800.01 v -x223 -x364 -x359 -x383 -x339 -x264 -x301 -x208 x374 -x365 x245 -x210 x287 x367 -x240 -x251 -x380 -x331 -x281 x270 -x218 -x352
1800.03/1800.01 v -x326 x257 -x234 -x344 x333 x311 -x397 -x262 -x213 -x379 -x385 -x389 -x232 -x290 -x336 -x355 -x214 -x228 -x246 -x302 -x271
1800.03/1800.01 v -x252 -x205 -x342 x329 -x293 x276 -x268 -x233 -x216 -x211 x345 -x244 -x335 -x231 -x382 -x381 -x384 -x304 -x328 -x275 -x217
1800.03/1800.01 v -x222 -x204 x366 -x363 -x310 -x306 x300 -x297 -x266 -x256 -x247 -x299 x354 -x230 -x206 -x346 -x227 x398 -x314 -x392 -x327 -x307
1800.03/1800.01 v -x267 -x254 -x317 -x356 -x350 -x285 -x284 -x258 -x229 -x243 -x212 x324 -x351 -x224 -x309 -x334 x278 -x368 -x372 -x272 x236
1800.03/1800.01 v -x305 x387 -x237 -x298 -x249 -x238 -x378 x360 -x263 -x253 -x219 -x209 -x225 -x390 -x400 -x283 -x323 -x348 x289 -x288 x295 -x291
1800.03/1800.01 v -x279 -x362 -x207 -x375 -x215 -x255 x399 -x269 -x201 -x396 -x393 -x357 x353 -x349 x337 -x332 -x321 -x319 -x303 x294 x282
1800.03/1800.01 v -x261 -x221 -x220 -x338 -x286 -x248 -x274 -x239 -x343 -x316 -x296 -x376 -x242 x203 -x340 -x394 -x325 -x259 -x265 -x202 x377 -x273
1800.03/1800.01 v -x341 -x226 -x241 -x369 -x386 -x347 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 x190 x189 -x188 -x187 -x186
1800.03/1800.01 v x185 x184 -x183 -x182 -x181 x180 x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
1800.03/1800.01 v -x163 x162 -x161 -x160 x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143
1800.03/1800.01 v -x142 -x141 -x140 -x139 x138 -x137 x136 x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121
1800.03/1800.01 v -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 -x100
1800.03/1800.01 v -x99 -x98 x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74
1800.03/1800.01 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1800.03/1800.01 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23
1800.03/1800.01 v -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Total Time : 1800.00
1800.03/1800.01 c solving : 1800.00
1800.03/1800.01 c presolving : 0.12 (included in solving)
1800.03/1800.01 c reading : 0.04 (included in solving)
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-3450709-1307108925.opb
1800.03/1800.01 c Variables : 6616 (6616 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 7217 initial, 7217 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-3450709-1307108925.opb
1800.03/1800.01 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 601 initial, 1070 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.01 6216 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c pseudoboolean : 0.02 0 0 0 0 0 6616 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 52196 0 640 0 0 0 0 0 104392
1800.03/1800.01 c knapsack : 400 1 467101 0 0 635 27454 164 478231 0 0 0
1800.03/1800.01 c setppc : 200 1 436287 0 0 634 1527 0 35675 0 0 0
1800.03/1800.01 c linear : 1 1 466936 0 0 634 0 471 0 0 0 0
1800.03/1800.01 c logicor : 0+ 0 59539 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 0 638 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.01 c integral : 187.80 0.00 0.00 187.80 0.00 0.00 0.00
1800.03/1800.01 c knapsack : 4.52 0.01 4.30 0.00 0.00 0.20 0.01
1800.03/1800.01 c setppc : 0.58 0.00 0.57 0.00 0.00 0.01 0.00
1800.03/1800.01 c linear : 0.44 0.01 0.43 0.00 0.00 0.01 0.00
1800.03/1800.01 c logicor : 0.22 0.00 0.22 0.00 0.00 0.00 0.00
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.01 c vbounds : 0 0 0 0
1800.03/1800.01 c rootredcost : 9 0 0 0
1800.03/1800.01 c pseudoobj : 467996 328 475 0
1800.03/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.01 c vbounds : 0.09 0.09 0.00
1800.03/1800.01 c rootredcost : 0.10 0.10 0.00
1800.03/1800.01 c pseudoobj : 2.13 2.13 0.00
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.07 164 164 2893 120.6 0 0.0 -
1800.03/1800.01 c infeasible LP : 0.08 1395 1379 3387 36.4 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 1253 15.1 - - -
1800.03/1800.01 c applied locally : - - - 78 60.2 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.01 c redcost : 0.53 52196 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.00 1 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.02 1 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 0.02 1 0 0 0 0
1800.03/1800.01 c cmir : 0.00 1 0 0 0 0
1800.03/1800.01 c flowcover : 0.00 1 0 0 0 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.20 1 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 187.76 52196 0 0 0 0 104392
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c oneopt : 0.02 9 0
1800.03/1800.01 c crossover : 5.09 7 3
1800.03/1800.01 c coefdiving : 85.44 795 1
1800.03/1800.01 c pscostdiving : 85.97 795 1
1800.03/1800.01 c fracdiving : 52.45 795 2
1800.03/1800.01 c linesearchdiving : 48.91 795 1
1800.03/1800.01 c trivial : 0.01 2 1
1800.03/1800.01 c shiftandpropagate: 0.00 0 0
1800.03/1800.01 c simplerounding : 0.01 0 0
1800.03/1800.01 c zirounding : 4.47 0 0
1800.03/1800.01 c rounding : 45.23 19439 4
1800.03/1800.01 c shifting : 18.90 5201 501
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.59 1 0
1800.03/1800.01 c clique : 0.00 0 0
1800.03/1800.01 c veclendiving : 19.07 111 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 35.49 172 82
1800.03/1800.01 c rootsoldiving : 11.00 230 39
1800.03/1800.01 c guideddiving : 36.23 795 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c vbounds : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c subnlp : 0.01 0 0
1800.03/1800.01 c trysol : 0.01 0 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 1150.42 52196 4784823 91.67 4159.21
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 336.57 346964 1624562 4.68 4826.83
1800.03/1800.01 c strong branching : 185.39 4755 184229 38.74 993.72
1800.03/1800.01 c (at root node) : - 17 7160 421.18 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 52196
1800.03/1800.01 c nodes (total) : 52196
1800.03/1800.01 c nodes left : 52197
1800.03/1800.01 c max depth : 111
1800.03/1800.01 c max depth (total): 111
1800.03/1800.01 c backtracks : 4752 (9.1%)
1800.03/1800.01 c delayed cutoffs : 0
1800.03/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 3.96
1800.03/1800.01 c switching time : 2.68
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 635 (10 improvements)
1800.03/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : -3.20000000000000e+01 (in run 1, after 724 nodes, 161.03 seconds, depth 184, found by <fracdiving>)
1800.03/1800.01 c Dual Bound : -8.55051743461292e+01
1800.03/1800.01 c Gap : 62.58 %
1800.03/1800.01 c Root Dual Bound : -1.00000000000000e+02
1800.03/1800.01 c Root Iterations : 3671
OK -32
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450709-1307108925/watcher-3450709-1307108925 -o /tmp/evaluation-result-3450709-1307108925/solver-3450709-1307108925 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450709-1307108925.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.36 1.84 1.94 3/473 26006 /proc/meminfo: memFree=20350856/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=16476 CPUtime=0.01 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 3114 0 0 0 1 0 0 0 25 0 1 0 822492201 16871424 3067 33554432000 4194304 9163163 140734306622816 18446744073709551615 6166655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26006/statm: 4119 3067 410 1214 0 2901 0 [startup+0.0397361 s] /proc/loadavg: 1.36 1.84 1.94 3/473 26006 /proc/meminfo: memFree=20350856/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=21316 CPUtime=0.03 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 4344 0 0 0 3 0 0 0 25 0 1 0 822492201 21827584 4296 33554432000 4194304 9163163 140734306622816 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26006/statm: 5329 4297 413 1214 0 4111 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21316 [startup+0.100727 s] /proc/loadavg: 1.36 1.84 1.94 3/473 26006 /proc/meminfo: memFree=20350856/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=40192 CPUtime=0.09 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 9039 0 0 0 9 0 0 0 25 0 1 0 822492201 41156608 8734 33554432000 4194304 9163163 140734306622816 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 10048 8734 509 1214 0 8830 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40192 [startup+0.30075 s] /proc/loadavg: 1.36 1.84 1.94 3/473 26006 /proc/meminfo: memFree=20350856/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=49296 CPUtime=0.29 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 11525 0 0 0 28 1 0 0 25 0 1 0 822492201 50479104 11194 33554432000 4194304 9163163 140734306622816 18446744073709551615 7370816 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 12324 11194 666 1214 0 11106 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49296 [startup+0.700682 s] /proc/loadavg: 1.36 1.84 1.94 3/473 26006 /proc/meminfo: memFree=20350856/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=50288 CPUtime=0.69 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 11790 0 0 0 68 1 0 0 25 0 1 0 822492201 51494912 11453 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 12572 11453 660 1214 0 11354 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50288 [startup+1.50054 s] /proc/loadavg: 1.36 1.84 1.94 3/474 26007 /proc/meminfo: memFree=20307480/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=51608 CPUtime=1.49 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 17057 0 0 0 147 2 0 0 25 0 1 0 822492201 52846592 11886 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 12902 11886 731 1214 0 11684 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51608 [startup+3.10026 s] /proc/loadavg: 1.36 1.84 1.94 3/474 26007 /proc/meminfo: memFree=20304752/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=51260 CPUtime=3.09 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 22343 0 0 0 303 6 0 0 25 0 1 0 822492201 52490240 11800 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 12815 11800 735 1214 0 11597 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51260 [startup+6.30069 s] /proc/loadavg: 1.49 1.86 1.94 3/474 26007 /proc/meminfo: memFree=20304252/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=50976 CPUtime=6.29 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 31368 0 0 0 620 9 0 0 25 0 1 0 822492201 52199424 11726 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 12744 11726 735 1214 0 11526 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50976 [startup+12.7006 s] /proc/loadavg: 1.53 1.86 1.94 3/474 26034 /proc/meminfo: memFree=20284572/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=52448 CPUtime=12.69 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 35253 0 0 0 1257 12 0 0 25 0 1 0 822492201 53706752 12131 33554432000 4194304 9163163 140734306622816 18446744073709551615 7376040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13112 12131 735 1214 0 11894 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52448 [startup+25.5003 s] /proc/loadavg: 1.64 1.87 1.94 3/474 26034 /proc/meminfo: memFree=20267628/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=52448 CPUtime=25.49 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 35253 0 0 0 2531 18 0 0 25 0 1 0 822492201 53706752 12131 33554432000 4194304 9163163 140734306622816 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13112 12131 735 1214 0 11894 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52448 [startup+51.1007 s] /proc/loadavg: 1.76 1.87 1.94 3/474 26035 /proc/meminfo: memFree=20270376/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=52448 CPUtime=51.09 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 35255 0 0 0 5084 25 0 0 25 0 1 0 822492201 53706752 12133 33554432000 4194304 9163163 140734306622816 18446744073709551615 7346176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13112 12133 735 1214 0 11894 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52448 [startup+102.318 s] /proc/loadavg: 2.04 1.92 1.95 3/474 26036 /proc/meminfo: memFree=20266928/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=52680 CPUtime=102.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 37604 0 0 0 10188 43 0 0 25 0 1 0 822492201 53944320 12164 33554432000 4194304 9163163 140734306622816 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13170 12164 737 1214 0 11952 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 52680 [startup+162.3 s] /proc/loadavg: 2.10 1.97 1.96 3/474 26038 /proc/meminfo: memFree=20265528/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=55968 CPUtime=162.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 51276 0 0 0 16140 90 0 0 25 0 1 0 822492201 57311232 12945 33554432000 4194304 9163163 140734306622816 18446744073709551615 7346232 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13992 12945 742 1214 0 12774 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 55968 [startup+222.301 s] /proc/loadavg: 2.07 1.98 1.97 3/474 26039 /proc/meminfo: memFree=20271052/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=54896 CPUtime=222.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 53783 0 0 0 22095 135 0 0 25 0 1 0 822492201 56213504 12744 33554432000 4194304 9163163 140734306622816 18446744073709551615 7390832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13724 12744 742 1214 0 12506 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 54896 [startup+282.301 s] /proc/loadavg: 2.02 1.98 1.97 3/474 26041 /proc/meminfo: memFree=20270396/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=55952 CPUtime=282.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 56392 0 0 0 28040 190 0 0 25 0 1 0 822492201 57294848 12976 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 13988 12976 742 1214 0 12770 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 55952 [startup+342.301 s] /proc/loadavg: 2.01 1.98 1.97 3/474 26043 /proc/meminfo: memFree=20263044/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=56720 CPUtime=342.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 66717 0 0 0 33984 246 0 0 25 0 1 0 822492201 58081280 13162 33554432000 4194304 9163163 140734306622816 18446744073709551615 7390335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 14180 13162 742 1214 0 12962 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 56720 [startup+402.301 s] /proc/loadavg: 2.00 1.98 1.97 3/474 26044 /proc/meminfo: memFree=20261644/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=58284 CPUtime=402.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 79501 0 0 0 39925 305 0 0 25 0 1 0 822492201 59682816 13600 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 14571 13600 742 1214 0 13353 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 58284 [startup+462.3 s] /proc/loadavg: 2.00 1.98 1.97 3/474 26046 /proc/meminfo: memFree=20259504/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=61176 CPUtime=462.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 83247 0 0 0 45868 362 0 0 25 0 1 0 822492201 62644224 14324 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 15294 14324 742 1214 0 14076 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 61176 [startup+522.301 s] /proc/loadavg: 2.00 1.98 1.97 3/474 26047 /proc/meminfo: memFree=20260836/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=61132 CPUtime=522.3 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 86330 0 0 0 51810 420 0 0 25 0 1 0 822492201 62599168 14324 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 15283 14324 742 1214 0 14065 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 61132 [startup+582.3 s] /proc/loadavg: 2.00 1.98 1.97 3/474 26049 /proc/meminfo: memFree=20254600/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=63816 CPUtime=582.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 87001 0 0 0 57754 477 0 0 25 0 1 0 822492201 65347584 14995 33554432000 4194304 9163163 140734306622816 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 15954 14995 742 1214 0 14736 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 63816 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.04 2.04 2.00 3/474 26064 /proc/meminfo: memFree=20244660/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=72704 CPUtime=822.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 94373 0 0 0 81483 748 0 0 25 0 1 0 822492201 74448896 17203 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 18176 17203 742 1214 0 16958 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 72704 [startup+882.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 26066 /proc/meminfo: memFree=20240028/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=77304 CPUtime=882.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 98814 0 0 0 87410 821 0 0 25 0 1 0 822492201 79159296 18354 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 19326 18354 742 1214 0 18108 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 77304 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26071 /proc/meminfo: memFree=20239360/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=80440 CPUtime=942.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 99641 0 0 0 93333 898 0 0 25 0 1 0 822492201 82370560 19181 33554432000 4194304 9163163 140734306622816 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 20110 19181 742 1214 0 18892 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 80440 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26072 /proc/meminfo: memFree=20236128/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=82872 CPUtime=1002.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 100278 0 0 0 99262 969 0 0 25 0 1 0 822492201 84860928 19818 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 20718 19818 742 1214 0 19500 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 82872 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26074 /proc/meminfo: memFree=20234844/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=83740 CPUtime=1062.31 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 100471 0 0 0 105185 1046 0 0 25 0 1 0 822492201 85749760 20011 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 20935 20011 742 1214 0 19717 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 83740 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 26075 /proc/meminfo: memFree=20230452/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=88108 CPUtime=1122.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 101590 0 0 0 111115 1117 0 0 25 0 1 0 822492201 90222592 21130 33554432000 4194304 9163163 140734306622816 18446744073709551615 7391808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 22027 21130 742 1214 0 20809 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 88108 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 26077 /proc/meminfo: memFree=20222216/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=91364 CPUtime=1182.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 102391 0 0 0 117036 1196 0 0 25 0 1 0 822492201 93556736 21931 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 22841 21931 742 1214 0 21623 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 91364 [startup+1242.3 s] /proc/loadavg: 2.21 2.05 2.01 3/474 26079 /proc/meminfo: memFree=20222416/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=96032 CPUtime=1242.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 107355 0 0 0 122950 1282 0 0 25 0 1 0 822492201 98336768 23110 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 24008 23110 742 1214 0 22790 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 96032 [startup+1302.3 s] /proc/loadavg: 2.20 2.07 2.02 3/474 26080 /proc/meminfo: memFree=20215296/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=100140 CPUtime=1302.33 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 108427 0 0 0 128870 1363 0 0 25 0 1 0 822492201 102543360 24182 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 25035 24182 742 1214 0 23817 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 100140 [startup+1362.3 s] /proc/loadavg: 2.07 2.05 2.01 3/474 26082 /proc/meminfo: memFree=20211920/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=102132 CPUtime=1362.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 108867 0 0 0 134792 1440 0 0 25 0 1 0 822492201 104583168 24622 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 25533 24622 742 1214 0 24315 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 102132 [startup+1422.32 s] /proc/loadavg: 2.02 2.04 2.00 3/474 26083 /proc/meminfo: memFree=20207672/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=106468 CPUtime=1422.34 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 110013 0 0 0 140710 1524 0 0 25 0 1 0 822492201 109023232 25768 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 26617 25768 742 1214 0 25399 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 106468 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 26085 /proc/meminfo: memFree=20202536/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=110240 CPUtime=1482.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 110957 0 0 0 146627 1605 0 0 25 0 1 0 822492201 112885760 26704 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 27560 26704 742 1214 0 26342 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 110240 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26087 /proc/meminfo: memFree=20200284/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=112900 CPUtime=1542.33 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 111637 0 0 0 152544 1689 0 0 25 0 1 0 822492201 115609600 27384 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 28225 27384 742 1214 0 27007 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 112900 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26088 /proc/meminfo: memFree=20198504/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=115016 CPUtime=1602.33 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 112126 0 0 0 158464 1769 0 0 25 0 1 0 822492201 117776384 27873 33554432000 4194304 9163163 140734306622816 18446744073709551615 5842833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 28754 27873 742 1214 0 27536 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 115016 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26090 /proc/meminfo: memFree=20193136/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=120128 CPUtime=1662.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 113485 0 0 0 164381 1851 0 0 25 0 1 0 822492201 123011072 29232 33554432000 4194304 9163163 140734306622816 18446744073709551615 5820467 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 30032 29232 742 1214 0 28814 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 120128 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26091 /proc/meminfo: memFree=20192224/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=120756 CPUtime=1722.33 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 113636 0 0 0 170302 1931 0 0 25 0 1 0 822492201 123654144 29383 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 30189 29383 742 1214 0 28971 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 120756 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/474 26093 /proc/meminfo: memFree=20187852/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=123152 CPUtime=1782.32 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 114229 0 0 0 176224 2008 0 0 25 0 1 0 822492201 126107648 29976 33554432000 4194304 9163163 140734306622816 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26006/statm: 30788 29976 742 1214 0 29570 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 123152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.21 2.05 2.01 3/474 26094 /proc/meminfo: memFree=20188580/32950928 swapFree=61858088/67111528 [pid=26006] ppid=26004 vsize=123560 CPUtime=1800.05 cores=1,3,5,7 /proc/26006/stat : 26006 (scip-2.0.1.4b.l) R 26004 26006 24628 0 -1 4202496 114328 0 0 0 177972 2033 0 0 25 0 1 0 822492201 126525440 30075 33554432000 4194304 9163163 140734306622816 18446744073709551615 4747075 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26006/statm: 30890 30075 745 1214 0 29672 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 123560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.06 CPU user time (s): 1779.72 CPU system time (s): 20.3379 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 123560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.72 system time used= 20.3379 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114328 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= 6 involuntary context switches= 2569 runsolver used 8.48571 second user time and 19.3351 second system time The end
Begin job on node125 at 2011-06-03 15:48:45 IDJOB=3450709 IDBENCH=48233 IDSOLVER=1948 FILE ID=node125/3450709-1307108925 RUNJOBID= node125-1307108915-25959 PBS_JOBID= 13497977 Free space on /tmp= 73748 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450709-1307108925/watcher-3450709-1307108925 -o /tmp/evaluation-result-3450709-1307108925/solver-3450709-1307108925 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450709-1307108925.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a RANDOM SEED=200525372 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.74 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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: 32950928 kB MemFree: 20351012 kB Buffers: 342624 kB Cached: 3510576 kB SwapCached: 3616 kB Active: 8884812 kB Inactive: 3368788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20351012 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 24872 kB Writeback: 0 kB AnonPages: 8397928 kB Mapped: 37304 kB Slab: 215560 kB PageTables: 61472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130054296 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73736 MiB End job on node125 at 2011-06-03 16:18:47