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) | 53 | 1800.07 | 1800.04 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb |
| MD5SUM | 7603a459a5769ea7e43f52c522eb87aa |
| 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 | 53 |
| Best CPU time to get the best result obtained on this benchmark | 1797.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 68 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6326 |
| Sum of products size (including duplicates) | 12652 |
| Number of different products | 6326 |
| Sum of products size | 12652 |
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-3450594-1307101819.opb>
0.00/0.03 c original problem has 6826 variables (6826 bin, 0 int, 0 impl, 0 cont) and 7326 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.06 o 500
0.00/0.06 c feasible solution found by trivial heuristic, objective value 5.000000e+02
0.00/0.06 c presolving:
0.09/0.14 c (round 1) 0 del vars, 6826 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 184678 impls, 0 clqs
0.09/0.17 c (round 2) 6326 del vars, 6826 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184678 impls, 0 clqs
0.09/0.17 c (0.2s) probing: 101/500 (20.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 6326 deleted vars, 6826 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 184678 implications, 0 cliques
0.09/0.17 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.09/0.17 c 500 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.13
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 # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c conflict/interconss = 0
0.09/0.17 c
0.09/0.17 c # should binary conflicts be preferred?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c conflict/preferbinary = TRUE
0.09/0.17 c
0.09/0.17 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.17 c constraints/agelimit = 1
0.09/0.17 c
0.09/0.17 c # should enforcement of pseudo solution be disabled?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/disableenfops = TRUE
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 -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
1.89/1.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.94 c t 1.9s| 1 | 0 | 10571 | - | 16M| 0 | 318 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 3.624866e+01 | 5.000000e+02 |1279.36%
1.89/1.94 o 318
1.89/1.94 c r 1.9s| 1 | 0 | 10571 | - | 16M| 0 | 318 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 3.624866e+01 | 3.180000e+02 | 777.27%
1.89/1.94 o 317
1.89/1.94 c R 1.9s| 1 | 0 | 10571 | - | 16M| 0 | 318 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 3.624866e+01 | 3.170000e+02 | 774.52%
1.89/1.94 o 316
1.89/1.94 c s 1.9s| 1 | 0 | 10571 | - | 16M| 0 | 318 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 3.624866e+01 | 3.160000e+02 | 771.76%
2.10/2.16 c 2.2s| 1 | 0 | 10696 | - | 18M| 0 | 314 | 500 | 500 | 500 | 501 | 1 | 0 | 0 | 3.626638e+01 | 3.160000e+02 | 771.33%
2.10/2.18 o 87
2.10/2.18 c b 2.2s| 1 | 0 | 10696 | - | 18M| 0 | 314 | 500 | 500 | 500 | 501 | 1 | 0 | 0 | 3.626638e+01 | 8.700000e+01 | 139.89%
2.22/2.37 c 2.4s| 1 | 0 | 10821 | - | 18M| 0 | 313 | 500 | 500 | 500 | 502 | 2 | 0 | 0 | 3.627202e+01 | 8.700000e+01 | 139.85%
7.69/7.78 c 7.8s| 1 | 2 | 10821 | - | 18M| 0 | 313 | 500 | 500 | 500 | 502 | 2 | 0 | 17 | 3.627202e+01 | 8.700000e+01 | 139.85%
56.39/56.47 o 87
56.39/56.47 c v56.5s| 55 | 56 | 86413 |1399.9 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 8.700000e+01 | 139.85%
56.39/56.47 o 83
56.39/56.47 c v56.5s| 55 | 56 | 86506 |1401.6 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 8.300000e+01 | 128.83%
56.39/56.48 o 79
56.39/56.48 c v56.5s| 55 | 56 | 86607 |1403.4 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 7.900000e+01 | 117.80%
56.39/56.48 o 78
56.39/56.48 c v56.5s| 55 | 56 | 86638 |1404.0 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 7.800000e+01 | 115.04%
56.39/56.49 o 74
56.39/56.49 c v56.5s| 55 | 56 | 86757 |1406.2 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 7.400000e+01 | 104.01%
56.39/56.49 o 70
56.39/56.49 c v56.5s| 55 | 56 | 86799 |1407.0 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 7.000000e+01 | 92.99%
56.39/56.49 o 65
56.39/56.49 c v56.5s| 55 | 56 | 86862 |1408.2 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 6.500000e+01 | 79.20%
56.39/56.49 o 64
56.39/56.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.39/56.49 c v56.5s| 55 | 56 | 86871 |1408.3 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 6.400000e+01 | 76.44%
56.39/56.50 o 59
56.39/56.50 c v56.5s| 55 | 56 | 86965 |1410.1 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 5.900000e+01 | 62.66%
56.50/56.52 o 56
56.50/56.52 c v56.5s| 55 | 56 | 87244 |1415.2 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 5.600000e+01 | 54.39%
56.50/56.53 o 55
56.50/56.53 c v56.5s| 55 | 56 | 87473 |1419.5 | 19M| 17 | - | 500 | 500 | 500 | 502 | 2 | 0 | 170 | 3.627202e+01 | 5.500000e+01 | 51.63%
89.69/89.75 o 54
89.69/89.75 c v89.7s| 114 | 115 |223671 |1883.6 | 19M| 22 | - | 500 | 500 | 500 | 502 | 2 | 0 | 222 | 3.627202e+01 | 5.400000e+01 | 48.88%
232.61/232.61 o 53
232.61/232.61 c v 233s| 336 | 337 |765335 |2252.3 | 19M| 28 | - | 500 | 500 | 500 | 502 | 2 | 0 | 452 | 3.746379e+01 | 5.300000e+01 | 41.47%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 6045
1800.04/1800.01 c Primal Bound : +5.30000000000000e+01 (719 solutions)
1800.04/1800.01 c Dual Bound : +3.87057742767472e+01
1800.04/1800.01 c Gap : 36.93 %
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1800.04/1800.02 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458
1800.04/1800.02 v -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1800.04/1800.02 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
1800.04/1800.02 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
1800.04/1800.02 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1800.04/1800.02 v -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354
1800.04/1800.02 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1800.04/1800.02 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1800.04/1800.02 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 x293 -x292 -x291
1800.04/1800.02 v -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270
1800.04/1800.02 v -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
1800.04/1800.02 v -x247 -x246 x245 -x244 x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
1800.04/1800.02 v x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206
1800.04/1800.02 v -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
1800.04/1800.02 v -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163
1800.04/1800.02 v -x162 -x161 x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 x142
1800.04/1800.02 v -x141 -x140 -x139 -x138 -x137 -x136 x135 x134 -x133 -x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1800.04/1800.02 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 x99
1800.04/1800.02 v -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 -x73
1800.04/1800.02 v -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 -x47
1800.04/1800.02 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 x38 -x37 -x36 -x35 x34 x33 -x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 x21
1800.04/1800.02 v -x20 x19 x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.02 c Total Time : 1800.01
1800.04/1800.02 c solving : 1800.01
1800.04/1800.02 c presolving : 0.13 (included in solving)
1800.04/1800.02 c reading : 0.03 (included in solving)
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-3450594-1307101819.opb
1800.04/1800.02 c Variables : 6826 (6826 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02 c Constraints : 7326 initial, 7326 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-3450594-1307101819.opb
1800.04/1800.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02 c Constraints : 500 initial, 500 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.02 6326 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c pseudoboolean : 0.01 0 0 0 0 0 6826 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 6044 0 724 0 0 0 0 0 12088
1800.04/1800.02 c logicor : 500 3 15587 0 0 719 0 0 0 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 0 722 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.02 c integral : 266.83 0.00 0.00 266.83 0.00 0.00 0.00
1800.04/1800.02 c logicor : 0.07 0.00 0.07 0.00 0.00 0.00 0.00
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.02 c vbounds : 0 0 0 0
1800.04/1800.02 c rootredcost : 12 0 0 0
1800.04/1800.02 c pseudoobj : 45229 0 0 0
1800.04/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.02 c vbounds : 0.01 0.01 0.00
1800.04/1800.02 c rootredcost : 0.01 0.01 0.00
1800.04/1800.02 c pseudoobj : 0.38 0.38 0.00
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.02 c applied globally : - - - 0 0.0 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 2 - - 0 - (maximal pool size: 210)
1800.04/1800.02 c redcost : 0.08 6046 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 3 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.21 3 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.23 3 0 0 210 0
1800.04/1800.02 c cmir : 0.01 3 0 0 0 0
1800.04/1800.02 c flowcover : 0.01 3 0 0 0 0
1800.04/1800.02 c clique : 0.00 1 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 1 0 0 0 0
1800.04/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 266.82 6044 0 0 0 0 12088
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c oneopt : 0.00 5 1
1800.04/1800.02 c coefdiving : 82.00 33 311
1800.04/1800.02 c trivial : 0.01 2 2
1800.04/1800.02 c shiftandpropagate: 0.00 0 0
1800.04/1800.02 c simplerounding : 0.17 6046 17
1800.04/1800.02 c zirounding : 1.73 5301 106
1800.04/1800.02 c rounding : 2.09 3215 1
1800.04/1800.02 c shifting : 0.43 618 1
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c clique : 0.00 0 0
1800.04/1800.02 c pscostdiving : 70.27 30 66
1800.04/1800.02 c fracdiving : 71.21 32 6
1800.04/1800.02 c veclendiving : 282.60 178 206
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 15.74 10 0
1800.04/1800.02 c rootsoldiving : 13.40 8 0
1800.04/1800.02 c linesearchdiving : 52.73 24 0
1800.04/1800.02 c guideddiving : 60.92 27 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.01 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 5.57 2 2
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c vbounds : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c subnlp : 0.00 0 0
1800.04/1800.02 c trysol : 0.00 0 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 872.47 6047 3656058 604.61 4190.46
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 642.48 39004 3590243 92.05 5588.08
1800.04/1800.02 c strong branching : 266.40 2208 916977 415.30 3442.13
1800.04/1800.02 c (at root node) : - 17 16914 994.94 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 6045
1800.04/1800.02 c nodes (total) : 6045
1800.04/1800.02 c nodes left : 6046
1800.04/1800.02 c max depth : 46
1800.04/1800.02 c max depth (total): 46
1800.04/1800.02 c backtracks : 1364 (22.6%)
1800.04/1800.02 c delayed cutoffs : 0
1800.04/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.02 c avg switch length: 4.70
1800.04/1800.02 c switching time : 0.17
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 719 (18 improvements)
1800.04/1800.02 c First Solution : +5.00000000000000e+02 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Primal Bound : +5.30000000000000e+01 (in run 1, after 336 nodes, 232.61 seconds, depth 67, found by <veclendiving>)
1800.04/1800.02 c Dual Bound : +3.87057742767472e+01
1800.04/1800.02 c Gap : 36.93 %
1800.04/1800.02 c Root Dual Bound : +3.62720204110907e+01
1800.04/1800.02 c Root Iterations : 10821
OK 53
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-3450594-1307101819/watcher-3450594-1307101819 -o /tmp/evaluation-result-3450594-1307101819/solver-3450594-1307101819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450594-1307101819.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.04 2.08 2/434 32364 /proc/meminfo: memFree=12435076/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=16944 CPUtime=0.01 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 3253 0 0 0 1 0 0 0 25 0 1 0 821781582 17350656 3206 33554432000 4194304 9163163 140735450953696 18446744073709551615 8045632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/32364/statm: 4236 3206 409 1214 0 3018 0 [startup+0.0839979 s] /proc/loadavg: 1.92 2.04 2.08 2/434 32364 /proc/meminfo: memFree=12435076/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=40864 CPUtime=0.07 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 8882 0 0 0 7 0 0 0 25 0 1 0 821781582 41844736 8834 33554432000 4194304 9163163 140735450953696 18446744073709551615 4352466 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32364/statm: 10216 8834 500 1214 0 8998 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 40864 [startup+0.100982 s] /proc/loadavg: 1.92 2.04 2.08 2/434 32364 /proc/meminfo: memFree=12435076/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=42968 CPUtime=0.09 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 9417 0 0 0 9 0 0 0 25 0 1 0 821781582 43999232 9369 33554432000 4194304 9163163 140735450953696 18446744073709551615 6923097 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32364/statm: 10742 9369 500 1214 0 9524 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42968 [startup+0.300952 s] /proc/loadavg: 1.92 2.04 2.08 2/434 32364 /proc/meminfo: memFree=12435076/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=48772 CPUtime=0.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 11293 0 0 0 28 1 0 0 25 0 1 0 821781582 49942528 10977 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32364/statm: 12193 10977 639 1214 0 10975 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 48772 [startup+0.700879 s] /proc/loadavg: 1.92 2.04 2.08 2/434 32364 /proc/meminfo: memFree=12435076/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=49224 CPUtime=0.69 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 11413 0 0 0 68 1 0 0 25 0 1 0 821781582 50405376 11096 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32364/statm: 12306 11096 640 1214 0 11088 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49224 [startup+1.50069 s] /proc/loadavg: 1.92 2.04 2.08 3/435 32365 /proc/meminfo: memFree=12391544/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=50812 CPUtime=1.49 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 11800 0 0 0 147 2 0 0 25 0 1 0 821781582 52031488 11483 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/32364/statm: 12703 11483 640 1214 0 11485 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50812 [startup+3.1977 s] /proc/loadavg: 1.92 2.04 2.08 3/435 32365 /proc/meminfo: memFree=12388196/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=54192 CPUtime=3.21 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 14891 0 0 0 318 3 0 0 25 0 1 0 821781582 55492608 12456 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 13548 12456 704 1214 0 12330 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 54192 [startup+6.30092 s] /proc/loadavg: 2.01 2.05 2.08 3/435 32365 /proc/meminfo: memFree=12385284/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=54192 CPUtime=6.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 14899 0 0 0 625 4 0 0 25 0 1 0 821781582 55492608 12464 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 13548 12464 704 1214 0 12330 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54192 [startup+12.7008 s] /proc/loadavg: 2.01 2.05 2.08 3/435 32366 /proc/meminfo: memFree=12385124/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=54564 CPUtime=12.69 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 14968 0 0 0 1261 8 0 0 25 0 1 0 821781582 55873536 12533 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 13641 12533 707 1214 0 12423 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54564 [startup+25.5006 s] /proc/loadavg: 2.00 2.05 2.08 3/435 32366 /proc/meminfo: memFree=12383384/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=54984 CPUtime=25.48 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 15074 0 0 0 2534 14 0 0 25 0 1 0 821781582 56303616 12639 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 13746 12639 707 1214 0 12528 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54984 [startup+51.1161 s] /proc/loadavg: 2.00 2.04 2.08 3/435 32367 /proc/meminfo: memFree=12379688/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57024 CPUtime=51.1 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 15579 0 0 0 5081 29 0 0 25 0 1 0 821781582 58392576 13142 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14256 13142 708 1214 0 13038 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 57024 [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.07 3/435 32368 /proc/meminfo: memFree=12374404/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57720 CPUtime=102.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 15764 0 0 0 10172 57 0 0 25 0 1 0 821781582 59105280 13327 33554432000 4194304 9163163 140735450953696 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14430 13327 711 1214 0 13212 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 57720 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.07 3/435 32370 /proc/meminfo: memFree=12369068/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57720 CPUtime=162.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 15766 0 0 0 16143 86 0 0 25 0 1 0 821781582 59105280 13329 33554432000 4194304 9163163 140735450953696 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14430 13329 711 1214 0 13212 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 57720 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.06 3/435 32371 /proc/meminfo: memFree=12363980/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57476 CPUtime=222.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18737 0 0 0 22115 114 0 0 25 0 1 0 821781582 58855424 13311 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14369 13311 724 1214 0 13151 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 57476 [startup+282.301 s] /proc/loadavg: 2.05 2.03 2.06 3/435 32373 /proc/meminfo: memFree=12359384/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57476 CPUtime=282.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18737 0 0 0 28082 147 0 0 25 0 1 0 821781582 58855424 13311 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14369 13311 724 1214 0 13151 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 57476 [startup+342.301 s] /proc/loadavg: 2.02 2.02 2.06 3/435 32374 /proc/meminfo: memFree=12354660/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57860 CPUtime=342.3 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18817 0 0 0 34048 182 0 0 25 0 1 0 821781582 59248640 13391 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14465 13391 724 1214 0 13247 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 57860 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/435 32376 /proc/meminfo: memFree=12350688/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=57860 CPUtime=402.29 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18817 0 0 0 40016 213 0 0 25 0 1 0 821781582 59248640 13391 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14465 13391 724 1214 0 13247 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 57860 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.04 3/435 32377 /proc/meminfo: memFree=12344728/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=58460 CPUtime=462.3 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18936 0 0 0 45980 250 0 0 25 0 1 0 821781582 59863040 13510 33554432000 4194304 9163163 140735450953696 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14615 13510 724 1214 0 13397 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 58460 [startup+522.3 s] /proc/loadavg: 2.08 2.02 2.04 3/435 32379 /proc/meminfo: memFree=12339272/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=58460 CPUtime=522.3 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18936 0 0 0 51949 281 0 0 25 0 1 0 821781582 59863040 13510 33554432000 4194304 9163163 140735450953696 18446744073709551615 7390663 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14615 13510 724 1214 0 13397 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 58460 [startup+582.301 s] /proc/loadavg: 2.03 2.02 2.04 3/435 32381 /proc/meminfo: memFree=12333564/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=58460 CPUtime=582.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18939 0 0 0 57920 311 0 0 25 0 1 0 821781582 59863040 13513 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14615 13513 724 1214 0 13397 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 58460 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.13 2.03 2.02 3/435 32396 /proc/meminfo: memFree=12309140/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=58460 CPUtime=822.3 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18943 0 0 0 81793 437 0 0 25 0 1 0 821781582 59863040 13517 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14615 13517 724 1214 0 13397 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 58460 [startup+882.301 s] /proc/loadavg: 2.11 2.04 2.02 3/435 32398 /proc/meminfo: memFree=12302180/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=58460 CPUtime=882.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18946 0 0 0 87764 467 0 0 25 0 1 0 821781582 59863040 13520 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14615 13520 724 1214 0 13397 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 58460 [startup+942.301 s] /proc/loadavg: 2.04 2.03 2.02 3/435 32401 /proc/meminfo: memFree=12295228/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=58460 CPUtime=942.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 18962 0 0 0 93735 496 0 0 25 0 1 0 821781582 59863040 13536 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14615 13536 724 1214 0 13397 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 58460 [startup+1002.3 s] /proc/loadavg: 2.04 2.03 2.02 3/435 32404 /proc/meminfo: memFree=12287220/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59296 CPUtime=1002.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 19168 0 0 0 99703 528 0 0 25 0 1 0 821781582 60719104 13742 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14824 13742 724 1214 0 13606 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 59296 [startup+1062.3 s] /proc/loadavg: 2.17 2.07 2.03 3/435 32433 /proc/meminfo: memFree=11803360/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59172 CPUtime=1062.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22629 0 0 0 105662 569 0 0 25 0 1 0 821781582 60592128 13708 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14793 13708 724 1214 0 13575 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 59172 [startup+1122.3 s] /proc/loadavg: 2.10 2.07 2.03 3/435 32435 /proc/meminfo: memFree=11800956/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59384 CPUtime=1122.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22686 0 0 0 111628 603 0 0 25 0 1 0 821781582 60809216 13765 33554432000 4194304 9163163 140735450953696 18446744073709551615 7390490 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14846 13765 724 1214 0 13628 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 59384 [startup+1182.3 s] /proc/loadavg: 2.07 2.07 2.03 3/435 32437 /proc/meminfo: memFree=11800576/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59384 CPUtime=1182.32 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22689 0 0 0 117592 640 0 0 25 0 1 0 821781582 60809216 13768 33554432000 4194304 9163163 140735450953696 18446744073709551615 7358967 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14846 13768 724 1214 0 13628 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 59384 [startup+1242.3 s] /proc/loadavg: 2.02 2.05 2.02 3/435 32438 /proc/meminfo: memFree=11800692/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59384 CPUtime=1242.33 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22689 0 0 0 123560 673 0 0 25 0 1 0 821781582 60809216 13768 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14846 13768 724 1214 0 13628 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 59384 [startup+1302.3 s] /proc/loadavg: 2.06 2.06 2.02 3/435 32440 /proc/meminfo: memFree=11799440/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59384 CPUtime=1302.32 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22690 0 0 0 129525 707 0 0 25 0 1 0 821781582 60809216 13769 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14846 13769 724 1214 0 13628 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 59384 [startup+1362.32 s] /proc/loadavg: 2.02 2.04 2.01 3/435 32442 /proc/meminfo: memFree=11800548/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59384 CPUtime=1362.33 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22690 0 0 0 135494 739 0 0 25 0 1 0 821781582 60809216 13769 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14846 13769 724 1214 0 13628 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 59384 [startup+1422.3 s] /proc/loadavg: 2.00 2.03 2.01 3/435 32443 /proc/meminfo: memFree=11801276/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59596 CPUtime=1422.31 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22746 0 0 0 141460 771 0 0 25 0 1 0 821781582 61026304 13825 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14899 13825 724 1214 0 13681 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 59596 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 32445 /proc/meminfo: memFree=11801264/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59596 CPUtime=1482.32 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22746 0 0 0 147427 805 0 0 25 0 1 0 821781582 61026304 13825 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14899 13825 724 1214 0 13681 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 59596 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 32446 /proc/meminfo: memFree=11801256/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=59596 CPUtime=1542.32 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 22747 0 0 0 153396 836 0 0 25 0 1 0 821781582 61026304 13826 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 14899 13826 724 1214 0 13681 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 59596 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/435 32448 /proc/meminfo: memFree=11800004/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=60688 CPUtime=1602.32 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 23046 0 0 0 159364 868 0 0 25 0 1 0 821781582 62144512 14125 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 15172 14125 724 1214 0 13954 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 60688 [startup+1662.3 s] /proc/loadavg: 2.11 2.04 2.01 3/435 32449 /proc/meminfo: memFree=11799984/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=60828 CPUtime=1662.32 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 23081 0 0 0 165331 901 0 0 25 0 1 0 821781582 62287872 14160 33554432000 4194304 9163163 140735450953696 18446744073709551615 7390854 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 15207 14160 724 1214 0 13989 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 60828 [startup+1722.3 s] /proc/loadavg: 2.09 2.04 2.01 3/435 32451 /proc/meminfo: memFree=11799108/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=61640 CPUtime=1722.33 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 23288 0 0 0 171296 937 0 0 25 0 1 0 821781582 63119360 14367 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 15410 14367 724 1214 0 14192 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 61640 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.00 3/435 32453 /proc/meminfo: memFree=11798108/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=61640 CPUtime=1782.33 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 23288 0 0 0 177263 970 0 0 25 0 1 0 821781582 63119360 14367 33554432000 4194304 9163163 140735450953696 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/32364/statm: 15410 14367 724 1214 0 14192 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 61640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.03 2.00 4/435 32453 /proc/meminfo: memFree=11798972/32951132 swapFree=67093840/67111528 [pid=32364] ppid=32362 vsize=61640 CPUtime=1800.05 cores=0,2,4,6 /proc/32364/stat : 32364 (scip-2.0.1.4b.l) R 32362 32364 27022 0 -1 4202496 23291 0 0 0 179026 979 0 0 25 0 1 0 821781582 63119360 14370 33554432000 4194304 9163163 140735450953696 18446744073709551615 4340672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/32364/statm: 15410 14370 727 1214 0 14192 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 61640 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.04 CPU time (s): 1800.07 CPU user time (s): 1790.27 CPU system time (s): 9.80051 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 73788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.27 system time used= 9.80051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23291 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= 5 involuntary context switches= 3777 runsolver used 8.86665 second user time and 18.5092 second system time The end
Begin job on node131 at 2011-06-03 13:50:19 IDJOB=3450594 IDBENCH=48118 IDSOLVER=1948 FILE ID=node131/3450594-1307101819 RUNJOBID= node131-1307092006-27041 PBS_JOBID= 13497965 Free space on /tmp= 73888 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/mds/normalized-mds_500_10_4.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-3450594-1307101819/watcher-3450594-1307101819 -o /tmp/evaluation-result-3450594-1307101819/solver-3450594-1307101819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450594-1307101819.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa RANDOM SEED=578565201 node131.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.83 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 12435108 kB Buffers: 346116 kB Cached: 5663012 kB SwapCached: 948 kB Active: 16041332 kB Inactive: 4155352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 12435108 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 12084 kB Writeback: 12 kB AnonPages: 14186144 kB Mapped: 41440 kB Slab: 197052 kB PageTables: 56140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95427816 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73876 MiB End job on node131 at 2011-06-03 14:20:22