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.07 | 1800.02 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
| MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
| 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.17 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -32 |
| 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) | 12408 |
| Sum of products size (including duplicates) | 24816 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
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-3450715-1307109381.opb>
0.00/0.03 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 7205 constraints
0.00/0.03 c problem read
0.00/0.04 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, 6604 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 50032 impls, 399 clqs
0.09/0.15 c (round 2) 6204 del vars, 6604 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50032 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 6204 deleted vars, 6604 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 50032 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.69/0.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.74 c t 0.7s| 1 | 0 | 2842 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.69/0.75 o -1
0.69/0.75 c R 0.7s| 1 | 0 | 2842 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
1.49/1.53 o -23
1.49/1.53 c F 1.5s| 1 | 0 | 6794 | - | 17M| 0 | 0 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.300000e+01 | 77.00%
1.49/1.57 c 1.6s| 1 | 0 | 6794 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.300000e+01 | 77.00%
5.51/5.58 c 5.6s| 1 | 2 | 6794 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 14 |-1.000000e+02 |-2.300000e+01 | 77.00%
33.01/33.01 o -26
33.01/33.01 c c33.0s| 17 | 18 | 8793 | 371.9 | 17M| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 234 |-9.885351e+01 |-2.600000e+01 | 73.70%
59.99/60.00 o -29
59.99/60.00 c f60.0s| 41 | 42 | 12340 | 237.4 | 17M| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 611 |-9.885351e+01 |-2.900000e+01 | 70.66%
111.99/112.11 o -30
111.99/112.11 c l 112s| 89 | 90 | 32081 | 332.3 | 17M| 17 | - | 400 | 621 | 400 | 601 | 0 | 20 |1366 |-9.865842e+01 |-3.000000e+01 | 69.59%
144.30/144.35 o -32
144.30/144.35 c f 144s| 562 | 563 | 96638 | 167.2 | 19M| 29 | - | 400 | 640 | 400 | 601 | 0 | 39 |1605 |-9.794206e+01 |-3.200000e+01 | 67.33%
559.70/559.74 c 560s| 10000 | 10001 | 1434k| 143.2 | 30M| 101 | 219 | 400 | 836 | 400 | 601 | 0 | 298 |2302 |-8.824861e+01 |-3.200000e+01 | 63.74%
877.92/877.95 c 878s| 20000 | 20001 | 2731k| 136.4 | 43M| 101 | 199 | 400 |1003 | 400 | 601 | 0 | 602 |3146 |-8.657185e+01 |-3.200000e+01 | 63.04%
1191.13/1191.13 c 1191s| 30000 | 30001 | 4059k| 135.2 | 55M| 101 | 154 | 400 | 995 | 400 | 601 | 0 | 869 |3815 |-8.577454e+01 |-3.200000e+01 | 62.69%
1482.33/1482.34 c 1482s| 40000 | 40001 | 5362k| 134.0 | 68M| 101 | 145 | 400 |1207 | 400 | 601 | 0 |1364 |4323 |-8.520202e+01 |-3.200000e+01 | 62.44%
1757.24/1757.22 c 1757s| 50000 | 50001 | 6622k| 132.4 | 80M| 112 | 82 | 400 |1318 | 400 | 601 | 0 |1816 |4779 |-8.451126e+01 |-3.200000e+01 | 62.14%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 51680
1800.04/1800.00 c Primal Bound : -3.20000000000000e+01 (649 solutions)
1800.04/1800.00 c Dual Bound : -8.44322339448940e+01
1800.04/1800.00 c Gap : 62.10 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x375 -x317 -x361 -x286 -x342 -x224 -x249 -x359 -x390 -x297 -x299 -x251 -x256 -x319 -x273 -x231 -x360 -x348 -x240 -x382 -x334 -x332
1800.04/1800.01 v x269 x237 -x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 -x391 -x300 -x264 -x370 -x339 -x377 -x207 x392 -x353 -x234
1800.04/1800.01 v -x238 -x352 -x233 -x388 -x315 -x229 -x356 x322 -x206 -x395 -x380 -x345 -x289 -x221 -x246 x219 -x350 -x309 -x304 -x272 -x329
1800.04/1800.01 v -x225 -x284 -x366 -x354 x335 -x312 x208 x276 x372 -x232 -x220 -x245 -x290 x242 -x253 -x318 -x303 -x298 -x204 x344 -x310 -x267
1800.04/1800.01 v -x266 -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 x400 x355 -x252 -x389 x277 -x209 -x288 -x351 -x244 -x365 -x386 -x367
1800.04/1800.01 v -x347 -x323 x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 x328 -x326 -x306 x282 x397 -x274 -x357 -x381
1800.04/1800.01 v x292 -x214 -x202 -x307 -x305 -x302 -x301 -x296 -x279 -x210 x205 x371 x325 x399 -x338 -x385 -x320 -x374 -x243 -x257 -x270
1800.04/1800.01 v -x259 -x223 -x203 -x330 -x268 -x324 x263 -x331 -x201 -x393 -x379 -x376 -x358 -x313 -x311 -x308 -x285 -x283 -x281 -x280 x275 -x262
1800.04/1800.01 v -x241 -x235 -x211 x383 -x230 x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 x364 -x260 -x291 -x228 -x363 -x222 -x250 x293
1800.04/1800.01 v -x387 -x336 x394 -x316 x378 -x287 x384 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 -x186
1800.04/1800.01 v x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1800.04/1800.01 v -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 x143
1800.04/1800.01 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122
1800.04/1800.01 v -x121 -x120 -x119 -x118 -x117 x116 x115 -x114 x113 -x112 x111 -x110 -x109 x108 -x107 x106 -x105 x104 -x103 -x102 -x101 x100
1800.04/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.04/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 -x48
1800.04/1800.01 v -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.04/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.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.00
1800.04/1800.01 c solving : 1800.00
1800.04/1800.01 c presolving : 0.12 (included in solving)
1800.04/1800.01 c reading : 0.04 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450715-1307109381.opb
1800.04/1800.01 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 7205 initial, 7205 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450715-1307109381.opb
1800.04/1800.01 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 601 initial, 1391 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.01 6204 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoboolean : 0.02 0 0 0 0 0 6604 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 51680 0 654 0 0 0 0 0 103360
1800.04/1800.01 c knapsack : 400 2 473128 0 0 649 35333 164 478410 0 0 0
1800.04/1800.01 c setppc : 200 2 450601 0 0 648 1741 0 33723 0 0 0
1800.04/1800.01 c linear : 1 2 472963 0 0 648 0 462 0 0 0 0
1800.04/1800.01 c logicor : 0+ 0 71884 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 0 652 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 208.76 0.00 0.00 208.76 0.00 0.00 0.00
1800.04/1800.01 c knapsack : 4.55 0.01 4.32 0.00 0.00 0.20 0.02
1800.04/1800.01 c setppc : 0.59 0.00 0.58 0.00 0.00 0.01 0.00
1800.04/1800.01 c linear : 0.46 0.01 0.44 0.00 0.00 0.01 0.00
1800.04/1800.01 c logicor : 0.30 0.00 0.30 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 4 0 0 0
1800.04/1800.01 c pseudoobj : 473859 328 404 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.09 0.09 0.00
1800.04/1800.01 c rootredcost : 0.11 0.11 0.00
1800.04/1800.01 c pseudoobj : 2.14 2.13 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.07 164 164 3147 117.3 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.12 2063 2003 6444 39.3 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 1880 14.0 - - -
1800.04/1800.01 c applied locally : - - - 51 58.5 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.54 51681 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 2 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.04 2 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.04 2 0 0 0 0
1800.04/1800.01 c cmir : 0.00 2 0 0 0 0
1800.04/1800.01 c flowcover : 0.01 2 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.16 1 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 208.72 51680 0 0 0 0 103360
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.02 5 0
1800.04/1800.01 c linesearchdiving : 47.10 815 1
1800.04/1800.01 c guideddiving : 39.25 815 0
1800.04/1800.01 c coefdiving : 77.61 816 1
1800.04/1800.01 c fracdiving : 50.09 816 2
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 0.01 0 0
1800.04/1800.01 c zirounding : 4.39 0 0
1800.04/1800.01 c rounding : 24.73 10543 1
1800.04/1800.01 c shifting : 18.74 5153 538
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.60 1 1
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c pscostdiving : 64.14 816 0
1800.04/1800.01 c veclendiving : 21.32 214 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 21.37 101 21
1800.04/1800.01 c rootsoldiving : 14.86 333 82
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.36 6 1
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.01 0 0
1800.04/1800.01 c trysol : 0.01 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 1193.89 51680 5197475 100.57 4353.40
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 298.35 339011 1632192 4.81 5470.78
1800.04/1800.01 c strong branching : 206.37 4854 204092 42.05 988.95
1800.04/1800.01 c (at root node) : - 14 5776 412.57 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 51680
1800.04/1800.01 c nodes (total) : 51680
1800.04/1800.01 c nodes left : 51681
1800.04/1800.01 c max depth : 112
1800.04/1800.01 c max depth (total): 112
1800.04/1800.01 c backtracks : 4754 (9.2%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 3.72
1800.04/1800.01 c switching time : 2.65
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 649 (7 improvements)
1800.04/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : -3.20000000000000e+01 (in run 1, after 562 nodes, 144.35 seconds, depth 156, found by <fracdiving>)
1800.04/1800.01 c Dual Bound : -8.44322339448940e+01
1800.04/1800.01 c Gap : 62.10 %
1800.04/1800.01 c Root Dual Bound : -1.00000000000000e+02
1800.04/1800.01 c Root Iterations : 2842
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-3450715-1307109381/watcher-3450715-1307109381 -o /tmp/evaluation-result-3450715-1307109381/solver-3450715-1307109381 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450715-1307109381.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: 2.02 2.01 2.00 2/400 30451 /proc/meminfo: memFree=29921280/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=16952 CPUtime=0.01 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 3208 0 0 0 1 0 0 0 25 0 1 0 822537842 17358848 3161 33554432000 4194304 9163163 140733667086016 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/30451/statm: 4238 3176 410 1214 0 3020 0 [startup+0.0454611 s] /proc/loadavg: 2.02 2.01 2.00 2/400 30451 /proc/meminfo: memFree=29921280/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=29744 CPUtime=0.03 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 6169 0 0 0 3 0 0 0 25 0 1 0 822537842 30457856 6121 33554432000 4194304 9163163 140733667086016 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 7436 6171 443 1214 0 6218 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 29744 [startup+0.10045 s] /proc/loadavg: 2.02 2.01 2.00 2/400 30451 /proc/meminfo: memFree=29921280/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=40092 CPUtime=0.09 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 9048 0 0 0 8 1 0 0 25 0 1 0 822537842 41054208 8743 33554432000 4194304 9163163 140733667086016 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 10023 8743 509 1214 0 8805 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40092 [startup+0.300422 s] /proc/loadavg: 2.02 2.01 2.00 2/400 30451 /proc/meminfo: memFree=29921280/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=48824 CPUtime=0.29 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 11421 0 0 0 27 2 0 0 25 0 1 0 822537842 49995776 11081 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12206 11081 662 1214 0 10988 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 48824 [startup+0.700339 s] /proc/loadavg: 2.02 2.01 2.00 2/400 30451 /proc/meminfo: memFree=29921280/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=50840 CPUtime=0.69 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 11863 0 0 0 66 3 0 0 25 0 1 0 822537842 52060160 11502 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12710 11502 660 1214 0 11492 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50840 [startup+1.50026 s] /proc/loadavg: 2.02 2.01 2.00 3/401 30452 /proc/meminfo: memFree=29875304/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=50752 CPUtime=1.49 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 16100 0 0 0 145 4 0 0 25 0 1 0 822537842 51970048 11740 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12688 11740 731 1214 0 11470 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50752 [startup+3.10097 s] /proc/loadavg: 2.02 2.01 2.00 3/401 30452 /proc/meminfo: memFree=29873196/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=50364 CPUtime=3.09 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 22505 0 0 0 303 6 0 0 25 0 1 0 822537842 51572736 11619 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12591 11619 735 1214 0 11373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50364 [startup+6.30041 s] /proc/loadavg: 2.02 2.01 2.00 3/401 30452 /proc/meminfo: memFree=29872820/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=50496 CPUtime=6.29 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 33072 0 0 0 619 10 0 0 25 0 1 0 822537842 51707904 11669 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12624 11669 735 1214 0 11406 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50496 [startup+12.7003 s] /proc/loadavg: 2.01 2.01 2.00 3/401 30453 /proc/meminfo: memFree=29870208/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=52860 CPUtime=12.69 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 46871 0 0 0 1253 16 0 0 25 0 1 0 822537842 54128640 12045 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 13215 12045 735 1214 0 11997 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52860 [startup+25.501 s] /proc/loadavg: 2.01 2.01 2.00 3/401 30453 /proc/meminfo: memFree=29868492/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=52160 CPUtime=25.49 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 50357 0 0 0 2526 23 0 0 25 0 1 0 822537842 53411840 12066 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 13040 12066 735 1214 0 11822 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52160 [startup+51.1004 s] /proc/loadavg: 2.12 2.04 2.01 3/401 30454 /proc/meminfo: memFree=29867504/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=51872 CPUtime=51.09 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 51793 0 0 0 5076 33 0 0 25 0 1 0 822537842 53116928 11969 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12968 11969 735 1214 0 11750 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 51872 [startup+102.315 s] /proc/loadavg: 2.05 2.03 2.00 3/401 30455 /proc/meminfo: memFree=29862180/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=51696 CPUtime=102.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 53817 0 0 0 10175 56 0 0 25 0 1 0 822537842 52936704 11906 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390619 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 12924 11906 737 1214 0 11706 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 51696 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/401 30457 /proc/meminfo: memFree=29849448/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=54860 CPUtime=162.29 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 58936 0 0 0 16119 110 0 0 25 0 1 0 822537842 56176640 12701 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 13715 12701 737 1214 0 12497 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 54860 [startup+222.301 s] /proc/loadavg: 2.07 2.03 2.00 3/401 30458 /proc/meminfo: memFree=29839460/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=54596 CPUtime=222.3 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 66407 0 0 0 22068 162 0 0 25 0 1 0 822537842 55906304 12645 33554432000 4194304 9163163 140733667086016 18446744073709551615 5823567 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 13649 12645 737 1214 0 12431 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 54596 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.00 3/401 30469 /proc/meminfo: memFree=29830720/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=55876 CPUtime=282.3 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 80767 0 0 0 27980 250 0 0 25 0 1 0 822537842 57217024 12991 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 13969 12991 740 1214 0 12751 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 55876 [startup+342.301 s] /proc/loadavg: 2.01 2.02 2.00 3/401 30470 /proc/meminfo: memFree=29820596/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=57484 CPUtime=342.3 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 122708 0 0 0 33878 352 0 0 25 0 1 0 822537842 58863616 13372 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390319 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 14371 13372 740 1214 0 13153 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 57484 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/401 30472 /proc/meminfo: memFree=29809136/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=61652 CPUtime=402.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 127942 0 0 0 39788 443 0 0 25 0 1 0 822537842 63131648 14317 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 15413 14317 740 1214 0 14195 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 61652 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/401 30476 /proc/meminfo: memFree=29801536/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=62188 CPUtime=462.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 131177 0 0 0 45691 540 0 0 25 0 1 0 822537842 63680512 14614 33554432000 4194304 9163163 140733667086016 18446744073709551615 7389156 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 15547 14614 742 1214 0 14329 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 62188 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 30478 /proc/meminfo: memFree=29788052/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=66468 CPUtime=522.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 132855 0 0 0 51598 633 0 0 25 0 1 0 822537842 68063232 15632 33554432000 4194304 9163163 140733667086016 18446744073709551615 7379333 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 16617 15632 742 1214 0 15399 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 66468 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/401 30480 /proc/meminfo: memFree=29778104/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=68392 CPUtime=582.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 134010 0 0 0 57517 714 0 0 25 0 1 0 822537842 70033408 16143 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 17098 16143 742 1214 0 15880 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 68392 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.10 1.62 1.85 2/395 30504 /proc/meminfo: memFree=30082112/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=82012 CPUtime=822.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 140477 0 0 0 81022 1209 0 0 25 0 1 0 822537842 83980288 19589 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 20503 19589 742 1214 0 19285 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 82012 [startup+882.3 s] /proc/loadavg: 1.04 1.50 1.79 2/395 30506 /proc/meminfo: memFree=30081828/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=82012 CPUtime=882.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 140505 0 0 0 86879 1352 0 0 25 0 1 0 822537842 83980288 19617 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390096 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 20503 19617 742 1214 0 19285 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 82012 [startup+942.301 s] /proc/loadavg: 1.01 1.41 1.74 2/395 30507 /proc/meminfo: memFree=30081020/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=83680 CPUtime=942.32 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 140890 0 0 0 92733 1499 0 0 25 0 1 0 822537842 85688320 20002 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 20920 20002 742 1214 0 19702 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 83680 [startup+1002.3 s] /proc/loadavg: 1.00 1.33 1.69 2/395 30509 /proc/meminfo: memFree=30077760/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=87168 CPUtime=1002.32 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 141774 0 0 0 98588 1644 0 0 25 0 1 0 822537842 89260032 20886 33554432000 4194304 9163163 140733667086016 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 21792 20886 742 1214 0 20574 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 87168 [startup+1062.3 s] /proc/loadavg: 1.00 1.27 1.64 2/395 30511 /proc/meminfo: memFree=30073268/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=90852 CPUtime=1062.31 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 142739 0 0 0 104445 1786 0 0 25 0 1 0 822537842 93032448 21851 33554432000 4194304 9163163 140733667086016 18446744073709551615 7391821 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 22713 21851 742 1214 0 21495 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 90852 [startup+1122.3 s] /proc/loadavg: 1.00 1.22 1.60 2/395 30512 /proc/meminfo: memFree=30069756/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=94568 CPUtime=1122.32 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 147568 0 0 0 110298 1934 0 0 25 0 1 0 822537842 96837632 22748 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 23642 22748 742 1214 0 22424 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 94568 [startup+1182.3 s] /proc/loadavg: 1.00 1.17 1.56 2/395 30514 /proc/meminfo: memFree=30065136/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=99244 CPUtime=1182.33 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 148714 0 0 0 116149 2084 0 0 25 0 1 0 822537842 101625856 23894 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390335 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 24811 23894 742 1214 0 23593 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 99244 [startup+1242.3 s] /proc/loadavg: 1.00 1.14 1.52 2/395 30515 /proc/meminfo: memFree=30062624/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=101800 CPUtime=1242.33 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 149356 0 0 0 122004 2229 0 0 25 0 1 0 822537842 104243200 24536 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 25450 24536 742 1214 0 24232 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 101800 [startup+1302.3 s] /proc/loadavg: 1.00 1.11 1.49 2/395 30517 /proc/meminfo: memFree=30058024/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=105412 CPUtime=1302.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 150334 0 0 0 127859 2375 0 0 25 0 1 0 822537842 107941888 25514 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 26353 25514 742 1214 0 25135 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 105412 [startup+1362.3 s] /proc/loadavg: 1.09 1.12 1.46 2/395 30519 /proc/meminfo: memFree=30057612/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=107152 CPUtime=1362.33 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 150740 0 0 0 133705 2528 0 0 25 0 1 0 822537842 109723648 25920 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 26788 25920 742 1214 0 25570 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 107152 [startup+1422.32 s] /proc/loadavg: 1.03 1.09 1.43 2/395 30520 /proc/meminfo: memFree=30055592/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=108928 CPUtime=1422.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 151903 0 0 0 139550 2684 0 0 25 0 1 0 822537842 111542272 26424 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 27232 26424 742 1214 0 26014 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 108928 [startup+1482.3 s] /proc/loadavg: 1.01 1.07 1.40 2/395 30522 /proc/meminfo: memFree=30052340/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=112148 CPUtime=1482.33 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 152648 0 0 0 145397 2836 0 0 25 0 1 0 822537842 114839552 27169 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 28037 27169 742 1214 0 26819 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 112148 [startup+1542.3 s] /proc/loadavg: 1.00 1.06 1.37 2/395 30523 /proc/meminfo: memFree=30049080/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=115460 CPUtime=1542.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 153537 0 0 0 151241 2993 0 0 25 0 1 0 822537842 118231040 28058 33554432000 4194304 9163163 140733667086016 18446744073709551615 7389816 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 28865 28058 742 1214 0 27647 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 115460 [startup+1602.3 s] /proc/loadavg: 1.00 1.05 1.35 2/395 30525 /proc/meminfo: memFree=30048300/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=116048 CPUtime=1602.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 153686 0 0 0 157090 3144 0 0 25 0 1 0 822537842 118833152 28207 33554432000 4194304 9163163 140733667086016 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 29012 28207 742 1214 0 27794 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 116048 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.32 2/395 30527 /proc/meminfo: memFree=30047788/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=116788 CPUtime=1662.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 153861 0 0 0 162944 3290 0 0 25 0 1 0 822537842 119590912 28382 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 29197 28382 742 1214 0 27979 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 116788 [startup+1722.3 s] /proc/loadavg: 1.00 1.03 1.30 2/395 30528 /proc/meminfo: memFree=30041544/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=123236 CPUtime=1722.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 155473 0 0 0 168796 3438 0 0 25 0 1 0 822537842 126193664 29989 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 30809 29989 742 1214 0 29591 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 123236 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.28 2/395 30530 /proc/meminfo: memFree=30038424/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=125556 CPUtime=1782.34 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 156010 0 0 0 174633 3601 0 0 25 0 1 0 822537842 128569344 30526 33554432000 4194304 9163163 140733667086016 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/30451/statm: 31389 30526 742 1214 0 30171 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 125556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.02 1.27 2/395 30530 /proc/meminfo: memFree=30039044/32950904 swapFree=56615552/67111528 [pid=30451] ppid=30449 vsize=125556 CPUtime=1800.05 cores=1,3,5,7 /proc/30451/stat : 30451 (scip-2.0.1.4b.l) R 30449 30451 27067 0 -1 4202496 156039 0 0 0 176358 3647 0 0 18 0 1 0 822537842 128569344 30555 33554432000 4194304 9163163 140733667086016 18446744073709551615 4745980 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/30451/statm: 31389 30555 745 1214 0 30171 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 125556 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.02 CPU time (s): 1800.07 CPU user time (s): 1763.59 CPU system time (s): 36.4815 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 125556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.59 system time used= 36.4815 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156039 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= 7 involuntary context switches= 4123 runsolver used 6.31004 second user time and 16.6295 second system time The end
Begin job on node121 at 2011-06-03 15:56:21 IDJOB=3450715 IDBENCH=48239 IDSOLVER=1948 FILE ID=node121/3450715-1307109381 RUNJOBID= node121-1307093547-27086 PBS_JOBID= 13497996 Free space on /tmp= 73940 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_1.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-3450715-1307109381/watcher-3450715-1307109381 -o /tmp/evaluation-result-3450715-1307109381/solver-3450715-1307109381 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450715-1307109381.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=1815086434 node121.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.817 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.63 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 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.817 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.817 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: 32950904 kB MemFree: 29921560 kB Buffers: 286668 kB Cached: 413456 kB SwapCached: 9896 kB Active: 2401140 kB Inactive: 369544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29921560 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 12096 kB Writeback: 0 kB AnonPages: 2067588 kB Mapped: 16016 kB Slab: 140444 kB PageTables: 52284 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 83748976 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= 73940 MiB End job on node121 at 2011-06-03 16:26:23