Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | OPT | 47 | 63.2664 | 63.2735 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
| MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 47 |
| Best CPU time to get the best result obtained on this benchmark | 15.4517 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 47 |
| Optimality of the best value was proved | NO |
| Number of variables | 607 |
| Total number of constraints | 1022 |
| Number of constraints which are clauses | 1022 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 607 |
| 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 | 607 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 607 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485517-1307761126.opb>
0.00/0.01 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 607
0.00/0.01 o 542
0.00/0.01 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 924 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 3) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 958 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/607 (16.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 64 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.00/0.04 c 958 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.4
0.00/0.04 c
0.00/0.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c conflict/interconss = 0
0.00/0.04 c
0.00/0.04 c # should binary conflicts be preferred?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c conflict/preferbinary = TRUE
0.00/0.04 c
0.00/0.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c constraints/agelimit = 1
0.00/0.04 c
0.00/0.04 c # should enforcement of pseudo solution be disabled?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/disableenfops = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 o 425
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c t 0.0s| 1 | 0 | 0 | - |2406k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.00/0.04 o 67
0.00/0.04 c b 0.0s| 1 | 0 | 0 | - |3280k| 0 | - | 607 | 958 | 607 | 958 | 0 | 0 | 0 | -- | 6.700000e+01 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 731 | - |3272k| 0 | 173 | 607 | 958 | 607 | 958 | 0 | 0 | 0 | 3.635417e+01 | 6.700000e+01 | 84.30%
0.09/0.17 c 0.2s| 1 | 0 | 894 | - |3698k| 0 | 199 | 607 | 958 | 607 | 968 | 10 | 0 | 0 | 3.751883e+01 | 6.700000e+01 | 78.58%
0.19/0.28 c 0.3s| 1 | 0 | 1089 | - |3958k| 0 | 190 | 607 | 958 | 607 | 978 | 20 | 0 | 0 | 3.881812e+01 | 6.700000e+01 | 72.60%
0.29/0.38 c 0.4s| 1 | 0 | 1287 | - |4103k| 0 | 189 | 607 | 958 | 607 | 987 | 29 | 0 | 0 | 3.995938e+01 | 6.700000e+01 | 67.67%
0.49/0.50 c 0.5s| 1 | 0 | 1551 | - |4485k| 0 | 182 | 607 | 958 | 607 | 997 | 39 | 0 | 0 | 4.069884e+01 | 6.700000e+01 | 64.62%
0.59/0.61 c 0.6s| 1 | 0 | 2087 | - |4791k| 0 | 190 | 607 | 958 | 607 |1008 | 50 | 0 | 0 | 4.130442e+01 | 6.700000e+01 | 62.21%
0.69/0.73 c 0.7s| 1 | 0 | 2408 | - |5424k| 0 | 191 | 607 | 958 | 607 |1016 | 58 | 0 | 0 | 4.252323e+01 | 6.700000e+01 | 57.56%
0.79/0.85 c 0.8s| 1 | 0 | 2618 | - |5876k| 0 | 204 | 607 | 958 | 607 |1025 | 67 | 0 | 0 | 4.270397e+01 | 6.700000e+01 | 56.89%
0.89/0.97 c 1.0s| 1 | 0 | 2809 | - |6355k| 0 | 183 | 607 | 958 | 607 |1033 | 75 | 0 | 0 | 4.298992e+01 | 6.700000e+01 | 55.85%
1.00/1.09 c 1.1s| 1 | 0 | 3132 | - |6853k| 0 | 197 | 607 | 958 | 607 |1040 | 82 | 0 | 0 | 4.344552e+01 | 6.700000e+01 | 54.22%
1.19/1.20 c 1.2s| 1 | 0 | 3275 | - |7353k| 0 | 188 | 607 | 958 | 607 |1049 | 91 | 0 | 0 | 4.367570e+01 | 6.700000e+01 | 53.40%
1.29/1.31 c 1.3s| 1 | 0 | 3641 | - |7665k| 0 | 194 | 607 | 958 | 607 |1061 | 103 | 0 | 0 | 4.408859e+01 | 6.700000e+01 | 51.97%
1.39/1.40 c 1.4s| 1 | 0 | 4006 | - |7986k| 0 | 202 | 607 | 958 | 607 |1070 | 112 | 0 | 0 | 4.476320e+01 | 6.700000e+01 | 49.68%
1.49/1.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.51 c 1.5s| 1 | 0 | 4410 | - |8621k| 0 | 192 | 607 | 958 | 607 |1079 | 121 | 0 | 0 | 4.575204e+01 | 6.700000e+01 | 46.44%
1.60/1.61 c 1.6s| 1 | 0 | 4614 | - |9005k| 0 | 185 | 607 | 958 | 607 |1088 | 130 | 0 | 0 | 4.583137e+01 | 6.700000e+01 | 46.19%
1.69/1.73 c 1.7s| 1 | 0 | 4703 | - |9313k| 0 | 185 | 607 | 958 | 607 |1095 | 137 | 0 | 0 | 4.589393e+01 | 6.700000e+01 | 45.99%
1.79/1.89 c 1.9s| 1 | 0 | 4730 | - |9355k| 0 | 186 | 607 | 958 | 607 |1097 | 139 | 0 | 0 | 4.589393e+01 | 6.700000e+01 | 45.99%
1.99/2.03 c 2.0s| 1 | 0 | 4787 | - |9397k| 0 | 183 | 607 | 958 | 607 |1071 | 143 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.09/2.15 c 2.2s| 1 | 0 | 4883 | - |9471k| 0 | 182 | 607 | 958 | 607 |1079 | 151 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.19/2.25 c 2.3s| 1 | 0 | 4920 | - |9510k| 0 | 183 | 607 | 958 | 607 |1081 | 153 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.29/2.36 c 2.4s| 1 | 0 | 4944 | - |9529k| 0 | 180 | 607 | 958 | 607 |1083 | 155 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.39/2.41 c 2.4s| 1 | 0 | 4961 | - |9552k| 0 | 181 | 607 | 958 | 607 |1084 | 156 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.39/2.46 c 2.5s| 1 | 0 | 4977 | - |9594k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
3.09/3.15 o 55
3.09/3.15 c E 3.2s| 1 | 0 | 4977 | - |9602k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
3.09/3.16 c 3.2s| 1 | 0 | 4977 | - |9602k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
3.09/3.16 o 54
3.09/3.16 c b 3.2s| 1 | 0 | 4977 | - |9618k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
3.19/3.22 c 3.2s| 1 | 0 | 4986 | - |9611k| 0 | 181 | 607 | 958 | 607 |1050 | 158 | 0 | 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
3.39/3.45 c 3.4s| 1 | 2 | 4986 | - |9612k| 0 | 181 | 607 | 958 | 607 |1050 | 158 | 0 | 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
10.09/10.10 o 52
10.09/10.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.10 c l10.1s| 94 | 93 | 11636 | 71.5 |9859k| 19 | - | 607 | 958 | 607 |1027 | 158 | 1 |1346 | 4.602500e+01 | 5.200000e+01 | 12.98%
10.09/10.10 o 51
10.09/10.10 c b10.1s| 95 | 87 | 11636 | 70.7 |9848k| 19 | - | 607 | 958 | 607 |1027 | 158 | 1 |1346 | 4.602500e+01 | 5.100000e+01 | 10.81%
12.59/12.67 o 49
12.59/12.67 c C12.7s| 295 | 181 | 20568 | 53.0 | 10M| 32 | - | 607 | 958 | 607 |1027 | 158 | 1 |1905 | 4.610268e+01 | 4.900000e+01 | 6.28%
52.29/52.38 c 52.4s| 10000 | 6884 |347370 | 34.2 | 24M| 59 | 110 | 607 | 958 | 607 |1027 | 158 | 18 |3253 | 4.628125e+01 | 4.900000e+01 | 5.87%
58.39/58.47 o 48
58.39/58.47 c l58.5s| 11879 | 2050 |389561 | 32.4 | 12M| 59 | - | 607 | 958 | 607 |1027 | 158 | 24 |3564 | 4.628125e+01 | 4.800000e+01 | 3.71%
63.18/63.25 o 47
63.18/63.25 c C63.2s| 15300 | 0 |428603 | 27.7 | 10M| 97 | - | 607 | 958 | 607 |1027 | 158 | 28 |3609 | 4.700000e+01 | 4.700000e+01 | 0.00%
63.18/63.25 c
63.18/63.25 c SCIP Status : problem is solved [optimal solution found]
63.18/63.25 c Solving Time (sec) : 63.25
63.18/63.25 c Solving Nodes : 15300
63.18/63.25 c Primal Bound : +4.70000000000000e+01 (79 solutions)
63.18/63.25 c Dual Bound : +4.70000000000000e+01
63.18/63.25 c Gap : 0.00 %
63.18/63.25 s OPTIMUM FOUND
63.18/63.25 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
63.18/63.25 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566
63.18/63.25 v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
63.18/63.25 v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524
63.18/63.25 v x523 -x522 -x521 -x520 x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
63.18/63.25 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
63.18/63.25 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461
63.18/63.25 v -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
63.18/63.25 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 x420 -x419 -x418
63.18/63.25 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
63.18/63.25 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376
63.18/63.25 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
63.18/63.25 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334
63.18/63.25 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313
63.18/63.25 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
63.18/63.25 v -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271
63.18/63.25 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
63.18/63.25 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
63.18/63.25 v -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
63.18/63.25 v -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 -x188 -x187 -x186
63.18/63.25 v -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165
63.18/63.25 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144
63.18/63.25 v -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
63.18/63.25 v -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
63.18/63.25 v -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
63.18/63.25 v x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50
63.18/63.25 v x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
63.18/63.25 v -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
63.18/63.25 c SCIP Status : problem is solved [optimal solution found]
63.18/63.25 c Total Time : 63.25
63.18/63.25 c solving : 63.25
63.18/63.25 c presolving : 0.03 (included in solving)
63.18/63.25 c reading : 0.01 (included in solving)
63.18/63.25 c Original Problem :
63.18/63.25 c Problem name : HOME/instance-3485517-1307761126.opb
63.18/63.25 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
63.18/63.25 c Constraints : 1022 initial, 1022 maximal
63.18/63.25 c Presolved Problem :
63.18/63.25 c Problem name : t_HOME/instance-3485517-1307761126.opb
63.18/63.25 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
63.18/63.25 c Constraints : 958 initial, 959 maximal
63.18/63.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
63.18/63.25 c trivial : 0.00 0 0 0 0 0 0 0 0 0
63.18/63.25 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
63.18/63.25 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
63.18/63.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
63.18/63.25 c implics : 0.00 0 0 0 0 0 0 0 0 0
63.18/63.25 c probing : 0.00 0 0 0 0 0 0 0 0 0
63.18/63.25 c linear : 0.01 0 0 0 0 0 64 0 0 0
63.18/63.25 c logicor : 0.01 0 0 0 0 0 0 0 0 0
63.18/63.25 c root node : - 0 - - 0 - - - - -
63.18/63.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
63.18/63.25 c integral : 0 0 0 12237 0 83 0 6 309 0 0 23926
63.18/63.25 c logicor : 958+ 23 20561 0 0 78 167 28 698 0 0 0
63.18/63.25 c countsols : 0 0 0 0 0 81 0 0 0 0 0 0
63.18/63.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
63.18/63.25 c integral : 11.53 0.00 0.00 11.53 0.00 0.00 0.00
63.18/63.25 c logicor : 0.11 0.00 0.11 0.00 0.00 0.00 0.00
63.18/63.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
63.18/63.25 c Propagators : #Propagate #Resprop Cutoffs DomReds
63.18/63.25 c vbounds : 0 0 0 0
63.18/63.25 c rootredcost : 4 0 0 0
63.18/63.25 c pseudoobj : 45713 0 0 0
63.18/63.25 c Propagator Timings : TotalTime Propagate Resprop
63.18/63.25 c vbounds : 0.01 0.01 0.00
63.18/63.25 c rootredcost : 0.01 0.01 0.00
63.18/63.25 c pseudoobj : 0.42 0.42 0.00
63.18/63.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
63.18/63.25 c propagation : 0.00 28 28 28 13.2 0 0.0 -
63.18/63.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
63.18/63.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
63.18/63.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
63.18/63.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
63.18/63.25 c applied globally : - - - 28 13.2 - - -
63.18/63.25 c applied locally : - - - 0 0.0 - - -
63.18/63.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
63.18/63.25 c cut pool : 0.02 22 - - 216 - (maximal pool size: 2116)
63.18/63.25 c redcost : 0.39 16343 0 278668 0 0
63.18/63.25 c impliedbounds : 0.00 23 0 0 0 0
63.18/63.25 c intobj : 0.00 0 0 0 0 0
63.18/63.25 c gomory : 1.10 23 0 0 6150 0
63.18/63.25 c cgmip : 0.00 0 0 0 0 0
63.18/63.25 c closecuts : 0.00 0 0 0 0 0
63.18/63.25 c strongcg : 0.74 20 0 0 6930 0
63.18/63.25 c cmir : 0.05 10 0 0 3 0
63.18/63.25 c flowcover : 0.15 10 0 0 9 0
63.18/63.25 c clique : 0.00 1 0 0 0 0
63.18/63.25 c zerohalf : 0.00 0 0 0 0 0
63.18/63.25 c mcf : 0.00 1 0 0 0 0
63.18/63.25 c oddcycle : 0.00 0 0 0 0 0
63.18/63.26 c rapidlearning : 0.00 0 0 0 0 0
63.18/63.26 c Pricers : Time Calls Vars
63.18/63.26 c problem variables: 0.00 0 0
63.18/63.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
63.18/63.26 c relpscost : 11.53 12237 6 309 0 0 23926
63.18/63.26 c pscost : 0.00 0 0 0 0 0 0
63.18/63.26 c inference : 0.00 0 0 0 0 0 0
63.18/63.26 c mostinf : 0.00 0 0 0 0 0 0
63.18/63.26 c leastinf : 0.00 0 0 0 0 0 0
63.18/63.26 c fullstrong : 0.00 0 0 0 0 0 0
63.18/63.26 c allfullstrong : 0.00 0 0 0 0 0 0
63.18/63.26 c random : 0.00 0 0 0 0 0 0
63.18/63.26 c Primal Heuristics : Time Calls Found
63.18/63.26 c LP solutions : 0.00 - 0
63.18/63.26 c pseudo solutions : 0.00 - 0
63.18/63.26 c feaspump : 0.00 0 0
63.18/63.26 c intshifting : 0.00 0 0
63.18/63.26 c oneopt : 0.01 8 3
63.18/63.26 c objpscostdiving : 0.55 27 2
63.18/63.26 c veclendiving : 1.34 65 0
63.18/63.26 c fracdiving : 4.11 65 0
63.18/63.26 c guideddiving : 4.10 65 0
63.18/63.26 c pscostdiving : 3.48 66 0
63.18/63.26 c coefdiving : 1.44 67 0
63.18/63.26 c rootsoldiving : 1.22 52 52
63.18/63.26 c linesearchdiving : 3.26 149 2
63.18/63.26 c trivial : 0.00 2 3
63.18/63.26 c shiftandpropagate: 0.00 0 0
63.18/63.26 c simplerounding : 0.01 192 0
63.18/63.26 c zirounding : 0.06 1000 0
63.18/63.26 c rounding : 0.31 1521 0
63.18/63.26 c shifting : 0.12 478 7
63.18/63.26 c twoopt : 0.00 0 0
63.18/63.26 c fixandinfer : 0.00 0 0
63.18/63.26 c clique : 0.00 0 0
63.18/63.26 c intdiving : 0.00 0 0
63.18/63.26 c actconsdiving : 0.00 0 0
63.18/63.26 c octane : 0.00 0 0
63.18/63.26 c rens : 0.69 1 1
63.18/63.26 c rins : 0.00 0 0
63.18/63.26 c localbranching : 0.00 0 0
63.18/63.26 c mutation : 0.00 0 0
63.18/63.26 c crossover : 0.80 9 9
63.18/63.26 c dins : 0.00 0 0
63.18/63.26 c vbounds : 0.00 0 0
63.18/63.26 c undercover : 0.00 0 0
63.18/63.26 c subnlp : 0.00 0 0
63.18/63.26 c trysol : 0.00 0 0
63.18/63.26 c LP : Time Calls Iterations Iter/call Iter/sec
63.18/63.26 c primal LP : 0.00 0 0 0.00 -
63.18/63.26 c dual LP : 24.28 15573 286655 18.41 11805.64
63.18/63.26 c lex dual LP : 0.00 0 0 0.00 -
63.18/63.26 c barrier LP : 0.00 0 0 0.00 -
63.18/63.26 c diving/probing LP: 15.67 26056 141948 5.45 9058.14
63.18/63.26 c strong branching : 11.13 3609 121263 33.60 10899.83
63.18/63.26 c (at root node) : - 20 2396 119.80 -
63.18/63.26 c conflict analysis: 0.00 0 0 0.00 -
63.18/63.26 c B&B Tree :
63.18/63.26 c number of runs : 1
63.18/63.26 c nodes : 15300
63.18/63.26 c nodes (total) : 15300
63.18/63.26 c nodes left : 0
63.18/63.26 c max depth : 97
63.18/63.26 c max depth (total): 97
63.18/63.26 c backtracks : 2151 (14.1%)
63.18/63.26 c delayed cutoffs : 0
63.18/63.26 c repropagations : 11 (10 domain reductions, 0 cutoffs)
63.18/63.26 c avg switch length: 5.57
63.18/63.26 c switching time : 0.52
63.18/63.26 c Solution :
63.18/63.26 c Solutions found : 79 (11 improvements)
63.18/63.26 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
63.18/63.26 c Primal Bound : +4.70000000000000e+01 (in run 1, after 15300 nodes, 63.25 seconds, depth 60, found by <crossover>)
63.18/63.26 c Dual Bound : +4.70000000000000e+01
63.18/63.26 c Gap : 0.00 %
63.18/63.26 c Root Dual Bound : +4.60000000000001e+01
63.18/63.26 c Root Iterations : 4986
63.18/63.27 c Time complete: 63.25.
OK 47
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485517-1307761126/watcher-3485517-1307761126 -o /tmp/evaluation-result-3485517-1307761126/solver-3485517-1307761126 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485517-1307761126.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/177 4802 /proc/meminfo: memFree=31412420/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=10452 CPUtime=0 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 1615 0 0 0 0 0 0 0 25 0 1 0 966343277 10702848 1570 33554432000 4194304 8979876 140733992204432 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/4802/statm: 2613 1570 366 1169 0 1440 0 [startup+0.0084891 s] /proc/loadavg: 2.00 2.00 2.00 2/177 4802 /proc/meminfo: memFree=31412420/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=10584 CPUtime=0 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 1665 0 0 0 0 0 0 0 25 0 1 0 966343277 10838016 1620 33554432000 4194304 8979876 140733992204432 18446744073709551615 6177201 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/4802/statm: 2646 1620 366 1169 0 1473 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10584 [startup+0.100504 s] /proc/loadavg: 2.00 2.00 2.00 2/177 4802 /proc/meminfo: memFree=31412420/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=23532 CPUtime=0.09 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 5190 0 0 0 9 0 0 0 25 0 1 0 966343277 24096768 4837 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 5883 4837 627 1169 0 4710 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23532 [startup+0.30047 s] /proc/loadavg: 2.00 2.00 2.00 2/177 4802 /proc/meminfo: memFree=31412420/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=33104 CPUtime=0.29 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 7404 0 0 0 28 1 0 0 25 0 1 0 966343277 33898496 7046 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 8276 7046 679 1169 0 7103 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33104 [startup+0.700413 s] /proc/loadavg: 2.00 2.00 2.00 2/177 4802 /proc/meminfo: memFree=31412420/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=38916 CPUtime=0.69 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 9037 0 0 0 68 1 0 0 25 0 1 0 966343277 39849984 8614 33554432000 4194304 8979876 140733992204432 18446744073709551615 5230975 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 9729 8614 653 1169 0 8556 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38916 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4803 /proc/meminfo: memFree=31377456/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=45096 CPUtime=1.49 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 10559 0 0 0 147 2 0 0 25 0 1 0 966343277 46178304 10129 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 11274 10129 649 1169 0 10101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45096 [startup+3.10094 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4803 /proc/meminfo: memFree=31373240/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=60708 CPUtime=3.09 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 14184 0 0 0 303 6 0 0 25 0 1 0 966343277 62164992 13723 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 15177 13723 691 1169 0 14004 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60708 [startup+6.30032 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4803 /proc/meminfo: memFree=31372768/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=45532 CPUtime=6.29 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 14206 0 0 0 619 10 0 0 25 0 1 0 966343277 46624768 10320 33554432000 4194304 8979876 140733992204432 18446744073709551615 7179444 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 11383 10320 699 1169 0 10210 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45532 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4803 /proc/meminfo: memFree=31372272/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=45532 CPUtime=12.69 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 17231 0 0 0 1252 17 0 0 25 0 1 0 966343277 46624768 10323 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 11383 10323 702 1169 0 10210 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45532 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4804 /proc/meminfo: memFree=31369644/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=49276 CPUtime=25.49 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 27339 0 0 0 2515 34 0 0 25 0 1 0 966343277 50458624 11238 33554432000 4194304 8979876 140733992204432 18446744073709551615 7069048 0 0 4096 2 0 0 0 17 2 0 0 0 /proc/4802/statm: 12319 11238 708 1169 0 11146 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49276 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4804 /proc/meminfo: memFree=31352736/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=63788 CPUtime=51.09 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 37351 0 0 0 5043 66 0 0 25 0 1 0 966343277 65318912 14885 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 15947 14885 708 1169 0 14774 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 63788 Solver just ended. Dumping a history of the last processes samples [startup+57.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4805 /proc/meminfo: memFree=31348684/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=69136 CPUtime=57.49 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 38709 0 0 0 5676 73 0 0 25 0 1 0 966343277 70795264 16193 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 17284 16193 708 1169 0 16111 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 69136 [startup+60.701 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4805 /proc/meminfo: memFree=31345956/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=69944 CPUtime=60.69 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 41956 0 0 0 5991 78 0 0 25 0 1 0 966343277 71622656 16397 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 17486 16397 708 1169 0 16313 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 69944 [startup+62.3007 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4805 /proc/meminfo: memFree=31345956/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=69944 CPUtime=62.28 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 44860 0 0 0 6149 79 0 0 25 0 1 0 966343277 71622656 16413 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 17486 16413 708 1169 0 16313 0 Current children cumulated CPU time (s) 62.28 Current children cumulated vsize (KiB) 69944 [startup+62.7066 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4805 /proc/meminfo: memFree=31345832/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=69944 CPUtime=62.69 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 44860 0 0 0 6189 80 0 0 25 0 1 0 966343277 71622656 16413 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 17486 16413 708 1169 0 16313 0 Current children cumulated CPU time (s) 62.69 Current children cumulated vsize (KiB) 69944 [startup+63.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4805 /proc/meminfo: memFree=31345832/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=69944 CPUtime=63.09 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 44860 0 0 0 6229 80 0 0 25 0 1 0 966343277 71622656 16413 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 17486 16413 708 1169 0 16313 0 Current children cumulated CPU time (s) 63.09 Current children cumulated vsize (KiB) 69944 [startup+63.2005 s] /proc/loadavg: 2.00 2.00 2.00 3/178 4805 /proc/meminfo: memFree=31345832/32950928 swapFree=67056212/67111528 [pid=4802] ppid=4800 vsize=69944 CPUtime=63.18 cores=0,2,4,6 /proc/4802/stat : 4802 (scip-2.0.1.4_2.) R 4800 4802 2370 0 -1 4202496 44860 0 0 0 6238 80 0 0 25 0 1 0 966343277 71622656 16413 33554432000 4194304 8979876 140733992204432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0 /proc/4802/statm: 17486 16413 708 1169 0 16313 0 Current children cumulated CPU time (s) 63.18 Current children cumulated vsize (KiB) 69944 Child status: 0 Real time (s): 63.2735 CPU time (s): 63.2664 CPU user time (s): 62.4485 CPU system time (s): 0.817875 CPU usage (%): 99.9887 Max. virtual memory (cumulated for all children) (KiB): 74936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 62.4485 system time used= 0.817875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47798 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= 4 involuntary context switches= 277 runsolver used 0.089986 second user time and 0.204968 second system time The end
Begin job on node115 at 2011-06-11 04:58:46 IDJOB=3485517 IDBENCH=2053 IDSOLVER=1977 FILE ID=node115/3485517-1307761126 RUNJOBID= node115-1307750177-2389 PBS_JOBID= 13550847 Free space on /tmp= 74112 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485517-1307761126/watcher-3485517-1307761126 -o /tmp/evaluation-result-3485517-1307761126/solver-3485517-1307761126 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485517-1307761126.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED=1143394920 node115.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.811 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.62 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.811 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.15 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.811 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.75 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.811 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.811 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.811 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.811 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.811 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: 32950928 kB MemFree: 31412972 kB Buffers: 251256 kB Cached: 940828 kB SwapCached: 9476 kB Active: 564448 kB Inactive: 782872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31412972 kB SwapTotal: 67111528 kB SwapFree: 67056212 kB Dirty: 16932 kB Writeback: 0 kB AnonPages: 152516 kB Mapped: 16164 kB Slab: 125980 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 345720 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= 74096 MiB End job on node115 at 2011-06-11 04:59:49