Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | 1797.18 | 1797.11 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-go19.opb |
| MD5SUM | ac3a0c512b81d5e532f489853538ca8f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 84 |
| Best CPU time to get the best result obtained on this benchmark | 1797.14 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 441 |
| Total number of constraints | 441 |
| Number of constraints which are clauses | 361 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 361 |
| 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 | 361 |
| 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 | 361 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.5 [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-3489840-1307796340.opb>
0.00/0.00 c original problem has 441 variables (441 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 80 del vars, 80 del conss, 0 add conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 80 del vars, 80 del conss, 0 add conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 361 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/361 (28.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 80 deleted vars, 80 deleted constraints, 0 added constraints, 80 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 361 variables (361 bin, 0 int, 0 impl, 0 cont) and 361 constraints
0.00/0.01 c 361 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c conflict/interconss = 0
0.00/0.01 c
0.00/0.01 c # should binary conflicts be preferred?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c conflict/preferbinary = TRUE
0.00/0.01 c
0.00/0.01 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c constraints/agelimit = 1
0.00/0.01 c
0.00/0.01 c # should enforcement of pseudo solution be disabled?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/disableenfops = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 o 361
0.00/0.01 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.01 c t 0.0s| 1 | 0 | 0 | - |1135k| 0 | - | 361 | 361 | 0 | 0 | 0 | 0 | 0 | -- | 3.610000e+02 | Inf
0.00/0.01 o 121
0.00/0.01 c b 0.0s| 1 | 0 | 0 | - |1462k| 0 | - | 361 | 361 | 361 | 361 | 0 | 0 | 0 | -- | 1.210000e+02 | Inf
0.09/0.15 c 0.2s| 1 | 0 | 2142 | - |1458k| 0 | 357 | 361 | 361 | 361 | 361 | 0 | 0 | 0 | 7.653022e+01 | 1.210000e+02 | 58.11%
0.19/0.27 c 0.3s| 1 | 0 | 2234 | - |4672k| 0 | 349 | 361 | 361 | 361 | 362 | 1 | 0 | 0 | 7.668403e+01 | 1.210000e+02 | 57.79%
0.29/0.37 c 0.4s| 1 | 0 | 2304 | - |7330k| 0 | 348 | 361 | 361 | 361 | 363 | 2 | 0 | 0 | 7.670426e+01 | 1.210000e+02 | 57.75%
0.39/0.47 c 0.5s| 1 | 0 | 2340 | - |9458k| 0 | 353 | 361 | 361 | 361 | 364 | 3 | 0 | 0 | 7.671433e+01 | 1.210000e+02 | 57.73%
0.49/0.56 c 0.6s| 1 | 0 | 2368 | - | 10M| 0 | 354 | 361 | 361 | 361 | 365 | 4 | 0 | 0 | 7.672451e+01 | 1.210000e+02 | 57.71%
0.59/0.64 c 0.6s| 1 | 0 | 2404 | - | 10M| 0 | 356 | 361 | 361 | 361 | 366 | 5 | 0 | 0 | 7.672760e+01 | 1.210000e+02 | 57.70%
0.69/0.73 c 0.7s| 1 | 0 | 2451 | - | 10M| 0 | 355 | 361 | 361 | 361 | 367 | 6 | 0 | 0 | 7.673634e+01 | 1.210000e+02 | 57.68%
0.79/0.81 c 0.8s| 1 | 0 | 2476 | - | 10M| 0 | 353 | 361 | 361 | 361 | 368 | 7 | 0 | 0 | 7.674226e+01 | 1.210000e+02 | 57.67%
0.89/0.91 c 0.9s| 1 | 0 | 2512 | - | 10M| 0 | 356 | 361 | 361 | 361 | 369 | 8 | 0 | 0 | 7.674573e+01 | 1.210000e+02 | 57.66%
0.89/1.00 c 1.0s| 1 | 0 | 2538 | - | 10M| 0 | 352 | 361 | 361 | 361 | 370 | 9 | 0 | 0 | 7.675106e+01 | 1.210000e+02 | 57.65%
1.00/1.09 c 1.1s| 1 | 0 | 2561 | - | 10M| 0 | 351 | 361 | 361 | 361 | 371 | 10 | 0 | 0 | 7.675452e+01 | 1.210000e+02 | 57.65%
1.10/1.18 c 1.2s| 1 | 0 | 2587 | - | 10M| 0 | 351 | 361 | 361 | 361 | 372 | 11 | 0 | 0 | 7.675633e+01 | 1.210000e+02 | 57.64%
2.39/2.46 c 2.5s| 1 | 2 | 2587 | - | 10M| 0 | 351 | 361 | 361 | 361 | 372 | 11 | 0 | 25 | 7.675633e+01 | 1.210000e+02 | 57.64%
9.80/9.88 o 120
9.80/9.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.88 c c 9.9s| 15 | 16 | 6227 | 260.0 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.200000e+02 | 56.17%
9.80/9.88 o 120
9.80/9.88 c c 9.9s| 15 | 16 | 6242 | 261.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.200000e+02 | 56.17%
9.80/9.88 o 119
9.80/9.88 c c 9.9s| 15 | 16 | 6243 | 261.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.190000e+02 | 54.87%
9.80/9.88 o 116
9.80/9.88 c c 9.9s| 15 | 16 | 6254 | 261.9 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.160000e+02 | 50.97%
9.80/9.88 o 115
9.80/9.88 c c 9.9s| 15 | 16 | 6301 | 265.3 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.150000e+02 | 49.66%
9.80/9.88 o 113
9.80/9.88 c c 9.9s| 15 | 16 | 6303 | 265.4 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.130000e+02 | 47.06%
9.80/9.88 o 113
9.80/9.88 c c 9.9s| 15 | 16 | 6311 | 266.0 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.130000e+02 | 47.06%
9.80/9.88 o 111
9.80/9.88 c c 9.9s| 15 | 16 | 6312 | 266.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.110000e+02 | 44.46%
9.80/9.89 o 110
9.80/9.89 c c 9.9s| 15 | 16 | 6318 | 266.5 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.100000e+02 | 43.16%
9.80/9.89 o 108
9.80/9.89 c c 9.9s| 15 | 16 | 6319 | 266.6 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.080000e+02 | 40.55%
9.80/9.89 o 107
9.80/9.89 c c 9.9s| 15 | 16 | 6326 | 267.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.070000e+02 | 39.25%
9.80/9.89 o 106
9.80/9.89 c c 9.9s| 15 | 16 | 6327 | 267.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.060000e+02 | 37.95%
9.80/9.89 o 104
9.80/9.89 c c 9.9s| 15 | 16 | 6328 | 267.2 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.040000e+02 | 35.35%
9.80/9.89 o 101
9.80/9.89 c c 9.9s| 15 | 16 | 6329 | 267.3 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.010000e+02 | 31.44%
9.80/9.89 o 96
9.80/9.89 c c 9.9s| 15 | 16 | 6332 | 267.5 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.600000e+01 | 24.94%
9.80/9.89 o 95
9.80/9.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.89 c c 9.9s| 15 | 16 | 6348 | 268.6 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.500000e+01 | 23.64%
9.80/9.89 o 93
9.80/9.89 c c 9.9s| 15 | 16 | 6354 | 269.1 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.300000e+01 | 21.03%
9.80/9.89 o 92
9.80/9.89 c c 9.9s| 15 | 16 | 6355 | 269.1 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.200000e+01 | 19.73%
9.80/9.89 o 90
9.80/9.89 c c 9.9s| 15 | 16 | 6359 | 269.4 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.000000e+01 | 17.13%
16.49/16.53 o 88
16.49/16.53 c o16.5s| 145 | 110 | 53892 | 356.3 | 11M| 49 | 0 | 361 | 361 | 361 | 370 | 11 | 0 | 475 | 7.683892e+01 | 8.800000e+01 | 14.53%
22.09/22.12 o 87
22.09/22.12 c p22.1s| 608 | 280 |104041 | 167.1 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 | 605 | 7.721645e+01 | 8.700000e+01 | 12.67%
22.09/22.12 o 86
22.09/22.12 c p22.1s| 608 | 275 |104057 | 167.2 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 | 605 | 7.721645e+01 | 8.600000e+01 | 11.38%
39.09/39.16 o 85
39.09/39.16 c v39.2s| 1895 | 621 |297623 | 155.8 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 | 814 | 7.757384e+01 | 8.500000e+01 | 9.57%
110.00/110.07 o 84
110.00/110.07 c c 110s| 7815 | 1650 | 1139k| 145.4 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 |1254 | 7.814456e+01 | 8.400000e+01 | 7.49%
133.80/133.88 c 134s| 10000 | 2241 | 1428k| 142.6 | 12M| 49 | 212 | 361 | 361 | 361 | 370 | 11 | 0 |1330 | 7.821727e+01 | 8.400000e+01 | 7.39%
247.90/247.96 c 248s| 20000 | 6325 | 2808k| 140.3 | 15M| 49 | 231 | 361 | 361 | 361 | 370 | 11 | 0 |1831 | 7.841892e+01 | 8.400000e+01 | 7.12%
351.91/351.90 c 352s| 30000 | 10275 | 4057k| 135.2 | 19M| 49 | 244 | 361 | 361 | 361 | 370 | 11 | 0 |2423 | 7.855091e+01 | 8.400000e+01 | 6.94%
445.30/445.34 c 445s| 40000 | 13793 | 5193k| 129.8 | 22M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 |2780 | 7.863996e+01 | 8.400000e+01 | 6.82%
544.91/544.93 c 545s| 50000 | 17913 | 6409k| 128.1 | 25M| 49 | 211 | 361 | 361 | 361 | 370 | 11 | 0 |3222 | 7.871036e+01 | 8.400000e+01 | 6.72%
646.31/646.31 c 646s| 60000 | 22447 | 7658k| 127.6 | 29M| 49 | 219 | 361 | 361 | 361 | 370 | 11 | 0 |3597 | 7.876633e+01 | 8.400000e+01 | 6.64%
732.02/732.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.02/732.06 c 732s| 70000 | 25311 | 8719k| 124.5 | 32M| 50 | - | 361 | 361 | 361 | 370 | 11 | 0 |3845 | 7.881602e+01 | 8.400000e+01 | 6.58%
819.43/819.45 c 819s| 80000 | 28521 | 9803k| 122.5 | 34M| 51 | 278 | 361 | 361 | 361 | 370 | 11 | 0 |4134 | 7.884593e+01 | 8.400000e+01 | 6.54%
901.43/901.46 c 901s| 90000 | 31373 | 10804k| 120.0 | 37M| 52 | 257 | 361 | 361 | 361 | 370 | 11 | 0 |4394 | 7.887521e+01 | 8.400000e+01 | 6.50%
986.23/986.22 c 986s|100000 | 34263 | 11860k| 118.6 | 40M| 52 | 240 | 361 | 361 | 361 | 370 | 11 | 0 |4619 | 7.890108e+01 | 8.400000e+01 | 6.46%
1071.93/1071.97 c 1072s|110000 | 37387 | 12934k| 117.6 | 42M| 52 | 244 | 361 | 361 | 361 | 370 | 11 | 0 |4821 | 7.892692e+01 | 8.400000e+01 | 6.43%
1154.54/1154.53 c 1155s|120000 | 40575 | 13951k| 116.2 | 45M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |5065 | 7.894777e+01 | 8.400000e+01 | 6.40%
1237.24/1237.27 c 1237s|130000 | 43409 | 14969k| 115.1 | 47M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |5229 | 7.897018e+01 | 8.400000e+01 | 6.37%
1320.64/1320.62 c 1321s|140000 | 46769 | 16025k| 114.5 | 50M| 56 | 220 | 361 | 361 | 361 | 370 | 11 | 0 |5390 | 7.898884e+01 | 8.400000e+01 | 6.34%
1412.54/1412.54 c 1413s|150000 | 50731 | 17178k| 114.5 | 54M| 56 | 241 | 361 | 361 | 361 | 370 | 11 | 0 |5568 | 7.900936e+01 | 8.400000e+01 | 6.32%
1508.95/1508.94 c 1509s|160000 | 55465 | 18372k| 114.8 | 57M| 56 | 259 | 361 | 361 | 361 | 370 | 11 | 0 |5752 | 7.902907e+01 | 8.400000e+01 | 6.29%
1595.75/1595.71 c 1596s|170000 | 59189 | 19454k| 114.4 | 61M| 56 | 208 | 361 | 361 | 361 | 370 | 11 | 0 |5910 | 7.904440e+01 | 8.400000e+01 | 6.27%
1685.45/1685.49 c 1685s|180000 | 63193 | 20559k| 114.2 | 64M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |6050 | 7.906072e+01 | 8.400000e+01 | 6.25%
1779.26/1779.30 c 1779s|190000 | 67845 | 21720k| 114.3 | 67M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |6193 | 7.907467e+01 | 8.400000e+01 | 6.23%
1797.06/1797.01 c
1797.06/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.01 c Solving Time (sec) : 1797.01
1797.06/1797.01 c Solving Nodes : 191474
1797.06/1797.01 c Primal Bound : +8.40000000000000e+01 (634 solutions)
1797.06/1797.01 c Dual Bound : +7.90761160807224e+01
1797.06/1797.01 c Gap : 6.23 %
1797.06/1797.01 s SATISFIABLE
1797.06/1797.01 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420
1797.06/1797.01 v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1797.06/1797.01 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1797.06/1797.01 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358
1797.06/1797.01 v x357 x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 x338 -x337 -x336
1797.06/1797.01 v x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 x314
1797.06/1797.01 v -x313 -x312 x311 -x310 -x309 -x308 x307 -x306 x305 -x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 x293 -x292
1797.06/1797.01 v -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 x272 -x271
1797.06/1797.01 v -x270 -x269 x268 -x267 x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249
1797.06/1797.01 v -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 x230 x229 -x228
1797.06/1797.01 v x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206
1797.06/1797.01 v -x205 -x204 x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184
1797.06/1797.01 v -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163
1797.06/1797.01 v -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141
1797.06/1797.01 v x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120
1797.06/1797.01 v x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 x98 -x97
1797.06/1797.01 v -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 x76 -x75 -x74 -x73 -x72 x71
1797.06/1797.01 v -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 x45
1797.06/1797.01 v -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30 x29 -x28 -x27 -x26 x25 x24 -x23 -x22 -x21 x20 -x19
1797.06/1797.01 v -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1797.06/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.01 c Total Time : 1797.01
1797.06/1797.01 c solving : 1797.01
1797.06/1797.01 c presolving : 0.01 (included in solving)
1797.06/1797.01 c reading : 0.00 (included in solving)
1797.06/1797.01 c Original Problem :
1797.06/1797.01 c Problem name : HOME/instance-3489840-1307796340.opb
1797.06/1797.01 c Variables : 441 (441 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.01 c Constraints : 441 initial, 441 maximal
1797.06/1797.01 c Presolved Problem :
1797.06/1797.01 c Problem name : t_HOME/instance-3489840-1307796340.opb
1797.06/1797.01 c Variables : 361 (361 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.01 c Constraints : 361 initial, 361 maximal
1797.06/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.06/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c linear : 0.00 80 0 0 80 0 80 0 0 0
1797.06/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.01 c root node : - 0 - - 0 - - - - -
1797.06/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.06/1797.01 c integral : 0 0 0 130717 0 638 0 116 759 0 0 260800
1797.06/1797.01 c logicor : 361 12 287435 0 0 635 0 0 12283 0 0 0
1797.06/1797.01 c countsols : 0 0 0 0 0 636 0 0 0 0 0 0
1797.06/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.06/1797.01 c integral : 75.87 0.00 0.00 75.87 0.00 0.00 0.00
1797.06/1797.01 c logicor : 0.67 0.00 0.67 0.00 0.00 0.00 0.00
1797.06/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.06/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.06/1797.01 c vbounds : 0 0 0 0
1797.06/1797.01 c rootredcost : 22 0 0 0
1797.06/1797.01 c pseudoobj : 576452 0 0 0
1797.06/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.06/1797.01 c vbounds : 0.13 0.13 0.00
1797.06/1797.01 c rootredcost : 0.12 0.12 0.00
1797.06/1797.01 c pseudoobj : 3.82 3.82 0.00
1797.06/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.06/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.01 c applied globally : - - - 0 0.0 - - -
1797.06/1797.01 c applied locally : - - - 0 0.0 - - -
1797.06/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.06/1797.01 c cut pool : 0.02 11 - - 274 - (maximal pool size: 943)
1797.06/1797.01 c redcost : 2.20 202834 0 1205050 0 0
1797.06/1797.01 c impliedbounds : 0.00 12 0 0 0 0
1797.06/1797.01 c intobj : 0.00 0 0 0 0 0
1797.06/1797.01 c gomory : 0.41 12 0 0 0 0
1797.06/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.06/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.06/1797.01 c strongcg : 0.46 12 0 0 970 0
1797.06/1797.01 c cmir : 0.02 10 0 0 0 0
1797.06/1797.01 c flowcover : 0.03 10 0 0 0 0
1797.06/1797.01 c clique : 0.00 1 0 0 0 0
1797.06/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.06/1797.01 c mcf : 0.00 1 0 0 0 0
1797.06/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.06/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.06/1797.01 c Pricers : Time Calls Vars
1797.06/1797.01 c problem variables: 0.00 0 0
1797.06/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.06/1797.01 c relpscost : 75.78 130717 116 759 0 0 260800
1797.06/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.06/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.06/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.06/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.06/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.01 c random : 0.00 0 0 0 0 0 0
1797.06/1797.01 c Primal Heuristics : Time Calls Found
1797.06/1797.01 c LP solutions : 0.00 - 0
1797.06/1797.01 c pseudo solutions : 0.00 - 0
1797.06/1797.01 c crossover : 0.19 0 0
1797.06/1797.01 c oneopt : 0.04 7 1
1797.06/1797.01 c objpscostdiving : 89.41 64 162
1797.06/1797.01 c rootsoldiving : 9.29 76 0
1797.06/1797.01 c linesearchdiving : 76.62 767 9
1797.06/1797.01 c guideddiving : 66.80 1009 0
1797.06/1797.01 c fracdiving : 66.76 1040 0
1797.06/1797.01 c veclendiving : 63.59 1148 72
1797.06/1797.01 c trivial : 0.00 2 1
1797.06/1797.01 c shiftandpropagate: 0.00 0 0
1797.06/1797.01 c simplerounding : 2.80 130728 60
1797.06/1797.01 c zirounding : 0.78 3601 72
1797.06/1797.01 c rounding : 3.82 5050 0
1797.06/1797.01 c shifting : 1.21 1533 0
1797.06/1797.01 c intshifting : 0.00 0 0
1797.06/1797.01 c twoopt : 0.00 0 0
1797.06/1797.01 c fixandinfer : 0.00 0 0
1797.06/1797.01 c feaspump : 0.00 0 0
1797.06/1797.01 c clique : 0.00 0 0
1797.06/1797.01 c coefdiving : 124.43 1785 87
1797.06/1797.01 c pscostdiving : 83.67 747 170
1797.06/1797.01 c intdiving : 0.00 0 0
1797.06/1797.01 c actconsdiving : 0.00 0 0
1797.06/1797.01 c octane : 0.00 0 0
1797.06/1797.01 c rens : 0.01 0 0
1797.06/1797.01 c rins : 0.00 0 0
1797.06/1797.01 c localbranching : 0.00 0 0
1797.06/1797.01 c mutation : 0.00 0 0
1797.06/1797.01 c dins : 0.00 0 0
1797.06/1797.01 c vbounds : 0.00 0 0
1797.06/1797.01 c undercover : 0.00 0 0
1797.06/1797.01 c subnlp : 0.03 0 0
1797.06/1797.01 c trysol : 0.05 0 0
1797.06/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.06/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.06/1797.01 c dual LP : 1101.41 191686 14599703 76.16 13255.42
1797.06/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.06/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.06/1797.01 c diving/probing LP: 545.64 289510 7341422 25.36 13454.75
1797.06/1797.01 c strong branching : 68.69 6252 851676 136.22 12399.10
1797.06/1797.01 c (at root node) : - 25 8124 324.96 -
1797.06/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.06/1797.01 c B&B Tree :
1797.06/1797.01 c number of runs : 1
1797.06/1797.01 c nodes : 191474
1797.06/1797.01 c nodes (total) : 191474
1797.06/1797.01 c nodes left : 68695
1797.06/1797.01 c max depth : 56
1797.06/1797.01 c max depth (total): 56
1797.06/1797.01 c backtracks : 32121 (16.8%)
1797.06/1797.01 c delayed cutoffs : 0
1797.06/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.06/1797.01 c avg switch length: 4.56
1797.06/1797.01 c switching time : 3.11
1797.06/1797.01 c Solution :
1797.06/1797.01 c Solutions found : 634 (26 improvements)
1797.06/1797.01 c First Solution : +3.61000000000000e+02 (in run 1, after 1 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.06/1797.01 c Primal Bound : +8.40000000000000e+01 (in run 1, after 7815 nodes, 110.07 seconds, depth 103, found by <coefdiving>)
1797.06/1797.01 c Dual Bound : +7.90761160807224e+01
1797.06/1797.01 c Gap : 6.23 %
1797.06/1797.01 c Root Dual Bound : +7.67563337820536e+01
1797.06/1797.01 c Root Iterations : 2587
1797.16/1797.10 c Time complete: 1797.16.
OK 84
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-3489840-1307796340/watcher-3489840-1307796340 -o /tmp/evaluation-result-3489840-1307796340/solver-3489840-1307796340 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489840-1307796340.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.11 1.54 1.29 2/177 4584 /proc/meminfo: memFree=31340628/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=11972 CPUtime=0 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 2049 0 0 0 0 0 0 0 25 0 1 0 891233674 12259328 2003 33554432000 4194304 9016284 140733904209616 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/4584/statm: 2993 2016 340 1178 0 1811 0 [startup+0.0134831 s] /proc/loadavg: 2.11 1.54 1.29 2/177 4584 /proc/meminfo: memFree=31340628/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=18768 CPUtime=0 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 3711 0 0 0 0 0 0 0 25 0 1 0 891233674 19218432 3408 33554432000 4194304 9016284 140733904209616 18446744073709551615 5210591 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 4692 3408 483 1178 0 3510 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18768 [startup+0.100543 s] /proc/loadavg: 2.11 1.54 1.29 2/177 4584 /proc/meminfo: memFree=31340628/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=20440 CPUtime=0.09 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 4223 0 0 0 9 0 0 0 25 0 1 0 891233674 20930560 3916 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 5110 3916 605 1178 0 3928 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20440 [startup+0.300492 s] /proc/loadavg: 2.11 1.54 1.29 2/177 4584 /proc/meminfo: memFree=31340628/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=24816 CPUtime=0.29 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 5340 0 0 0 29 0 0 0 25 0 1 0 891233674 25411584 5033 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 6204 5033 645 1178 0 5022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24816 [startup+0.700429 s] /proc/loadavg: 2.11 1.54 1.29 2/177 4584 /proc/meminfo: memFree=31340628/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=32688 CPUtime=0.69 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 7352 0 0 0 68 1 0 0 25 0 1 0 891233674 33472512 7033 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8172 7033 646 1178 0 6990 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32688 [startup+1.50028 s] /proc/loadavg: 2.11 1.54 1.29 3/178 4585 /proc/meminfo: memFree=31313364/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=34712 CPUtime=1.49 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 9534 0 0 0 148 1 0 0 25 0 1 0 891233674 35545088 7619 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8678 7619 660 1178 0 7496 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34712 [startup+3.10097 s] /proc/loadavg: 2.11 1.54 1.29 3/178 4585 /proc/meminfo: memFree=31311504/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=34880 CPUtime=3.09 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 9569 0 0 0 307 2 0 0 25 0 1 0 891233674 35717120 7654 33554432000 4194304 9016284 140733904209616 18446744073709551615 7198972 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8720 7654 667 1178 0 7538 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34880 [startup+6.30036 s] /proc/loadavg: 2.10 1.54 1.30 3/178 4585 /proc/meminfo: memFree=31310868/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=34880 CPUtime=6.29 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 9569 0 0 0 623 6 0 0 25 0 1 0 891233674 35717120 7654 33554432000 4194304 9016284 140733904209616 18446744073709551615 7207497 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8720 7654 667 1178 0 7538 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34880 [startup+12.7011 s] /proc/loadavg: 2.09 1.55 1.30 3/178 4585 /proc/meminfo: memFree=31310880/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=34880 CPUtime=12.69 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 9569 0 0 0 1256 13 0 0 25 0 1 0 891233674 35717120 7654 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8720 7654 667 1178 0 7538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34880 [startup+25.5007 s] /proc/loadavg: 2.07 1.57 1.31 3/178 4586 /proc/meminfo: memFree=31310008/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=35356 CPUtime=25.49 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 11307 0 0 0 2520 29 0 0 25 0 1 0 891233674 36204544 7740 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8839 7740 670 1178 0 7657 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35356 [startup+51.1008 s] /proc/loadavg: 2.04 1.61 1.33 3/178 4586 /proc/meminfo: memFree=31309372/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=35644 CPUtime=51.1 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 17946 0 0 0 5043 67 0 0 25 0 1 0 891233674 36499456 7842 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 8911 7842 670 1178 0 7729 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 35644 [startup+102.306 s] /proc/loadavg: 2.02 1.66 1.36 3/178 4588 /proc/meminfo: memFree=31308108/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=36836 CPUtime=102.3 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 23108 0 0 0 10096 134 0 0 25 0 1 0 891233674 37720064 8129 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 9209 8129 670 1178 0 8027 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 36836 [startup+162.301 s] /proc/loadavg: 2.00 1.72 1.40 3/178 4589 /proc/meminfo: memFree=31306828/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=38672 CPUtime=162.3 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 30042 0 0 0 16012 218 0 0 25 0 1 0 891233674 39600128 8593 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 9668 8593 670 1178 0 8486 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 38672 [startup+222.3 s] /proc/loadavg: 2.00 1.77 1.43 3/178 4591 /proc/meminfo: memFree=31305808/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=39492 CPUtime=222.3 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 31906 0 0 0 21932 298 0 0 25 0 1 0 891233674 40439808 8812 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 9873 8812 670 1178 0 8691 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 39492 [startup+282.301 s] /proc/loadavg: 2.00 1.81 1.46 3/178 4593 /proc/meminfo: memFree=31302436/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=42596 CPUtime=282.3 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 34351 0 0 0 27846 384 0 0 25 0 1 0 891233674 43618304 9582 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 10649 9582 670 1178 0 9467 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 42596 [startup+342.3 s] /proc/loadavg: 2.00 1.84 1.49 3/178 4594 /proc/meminfo: memFree=31300532/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=44364 CPUtime=342.31 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 34816 0 0 0 33766 465 0 0 25 0 1 0 891233674 45428736 10043 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 11091 10043 670 1178 0 9909 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 44364 [startup+402.301 s] /proc/loadavg: 2.00 1.87 1.52 3/178 4596 /proc/meminfo: memFree=31297144/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=47432 CPUtime=402.31 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 37182 0 0 0 39679 552 0 0 25 0 1 0 891233674 48570368 10834 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 11858 10834 670 1178 0 10676 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 47432 [startup+462.301 s] /proc/loadavg: 2.00 1.89 1.55 3/178 4597 /proc/meminfo: memFree=31296736/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=49012 CPUtime=462.31 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 37571 0 0 0 45598 633 0 0 25 0 1 0 891233674 50188288 11223 33554432000 4194304 9016284 140733904209616 18446744073709551615 7093741 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 12253 11223 670 1178 0 11071 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 49012 [startup+522.301 s] /proc/loadavg: 2.00 1.91 1.57 3/178 4599 /proc/meminfo: memFree=31291868/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=52384 CPUtime=522.31 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 38420 0 0 0 51517 714 0 0 25 0 1 0 891233674 53641216 12070 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 13096 12070 670 1178 0 11914 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 52384 [startup+582.301 s] /proc/loadavg: 2.05 1.94 1.60 3/178 4601 /proc/meminfo: memFree=31289852/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=54356 CPUtime=582.32 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 38960 0 0 0 57436 796 0 0 25 0 1 0 891233674 55660544 12610 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 13589 12610 670 1178 0 12407 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 54356 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31270892/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=71576 CPUtime=1062.34 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 44796 0 0 0 104775 1459 0 0 25 0 1 0 891233674 73293824 16971 33554432000 4194304 9016284 140733904209616 18446744073709551615 7214159 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 17894 16971 670 1178 0 16712 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 71576 [startup+1122.3 s] /proc/loadavg: 2.02 1.99 1.76 3/178 4627 /proc/meminfo: memFree=31264392/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=76596 CPUtime=1122.34 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 46912 0 0 0 110694 1540 0 0 25 0 1 0 891233674 78434304 18254 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 19149 18254 670 1178 0 17967 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 76596 [startup+1182.3 s] /proc/loadavg: 2.01 1.99 1.77 3/178 4629 /proc/meminfo: memFree=31263532/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=78056 CPUtime=1182.34 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 47253 0 0 0 116613 1621 0 0 25 0 1 0 891233674 79929344 18595 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 19514 18595 670 1178 0 18332 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 78056 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.78 3/178 4630 /proc/meminfo: memFree=31261760/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=80156 CPUtime=1242.34 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 47786 0 0 0 122531 1703 0 0 25 0 1 0 891233674 82079744 19128 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 20039 19128 670 1178 0 18857 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 80156 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.80 3/178 4632 /proc/meminfo: memFree=31260360/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=83008 CPUtime=1302.35 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 48510 0 0 0 128450 1785 0 0 25 0 1 0 891233674 85000192 19852 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 20752 19852 670 1178 0 19570 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 83008 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.81 3/178 4633 /proc/meminfo: memFree=31256484/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=84420 CPUtime=1362.34 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 48871 0 0 0 134368 1866 0 0 25 0 1 0 891233674 86446080 20213 33554432000 4194304 9016284 140733904209616 18446744073709551615 7158157 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 21105 20213 670 1178 0 19923 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 84420 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.82 3/178 4635 /proc/meminfo: memFree=31256188/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=86948 CPUtime=1422.35 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 49495 0 0 0 140292 1943 0 0 25 0 1 0 891233674 89034752 20837 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 21737 20837 670 1178 0 20555 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 86948 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.83 3/178 4637 /proc/meminfo: memFree=31253808/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=88204 CPUtime=1482.35 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 49839 0 0 0 146209 2026 0 0 25 0 1 0 891233674 90320896 21181 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 22051 21181 670 1178 0 20869 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 88204 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.83 3/178 4638 /proc/meminfo: memFree=31248056/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=91540 CPUtime=1542.35 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 50683 0 0 0 152126 2109 0 0 25 0 1 0 891233674 93736960 22025 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 22885 22025 670 1178 0 21703 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 91540 [startup+1602.3 s] /proc/loadavg: 1.72 1.92 1.82 2/172 4664 /proc/meminfo: memFree=31385404/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=94564 CPUtime=1602.35 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 51451 0 0 0 158042 2193 0 0 25 0 1 0 891233674 96833536 22793 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 23641 22793 670 1178 0 22459 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 94564 [startup+1662.3 s] /proc/loadavg: 1.26 1.75 1.76 2/172 4665 /proc/meminfo: memFree=31383124/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=97048 CPUtime=1662.35 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 52080 0 0 0 163961 2274 0 0 25 0 1 0 891233674 99377152 23422 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 24262 23422 670 1178 0 23080 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 97048 [startup+1722.3 s] /proc/loadavg: 1.09 1.61 1.71 2/172 4667 /proc/meminfo: memFree=31380868/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=99432 CPUtime=1722.36 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 52670 0 0 0 169880 2356 0 0 25 0 1 0 891233674 101818368 24012 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 24858 24012 670 1178 0 23676 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 99432 [startup+1782.3 s] /proc/loadavg: 1.03 1.50 1.66 2/172 4669 /proc/meminfo: memFree=31378352/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=103468 CPUtime=1782.36 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53219 0 0 0 175796 2440 0 0 25 0 1 0 891233674 105951232 24561 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 25867 24561 670 1178 0 24685 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 103468 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.03 1.49 1.66 2/172 4669 /proc/meminfo: memFree=31377852/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=104048 CPUtime=1785.56 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53332 0 0 0 176112 2444 0 0 25 0 1 0 891233674 106545152 24674 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 26012 24674 670 1178 0 24830 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 104048 [startup+1791.91 s] /proc/loadavg: 1.03 1.48 1.66 2/172 4669 /proc/meminfo: memFree=31377972/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=104048 CPUtime=1791.96 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53341 0 0 0 176743 2453 0 0 25 0 1 0 891233674 106545152 24683 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 26012 24683 670 1178 0 24830 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 104048 [startup+1795.1 s] /proc/loadavg: 1.02 1.47 1.65 2/172 4669 /proc/meminfo: memFree=31376732/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=105220 CPUtime=1795.16 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53644 0 0 0 177059 2457 0 0 25 0 1 0 891233674 107745280 24978 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 26305 24978 670 1178 0 25123 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 105220 [startup+1795.9 s] /proc/loadavg: 1.02 1.47 1.65 2/172 4669 /proc/meminfo: memFree=31376732/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=105220 CPUtime=1795.96 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53647 0 0 0 177138 2458 0 0 25 0 1 0 891233674 107745280 24981 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 26305 24981 670 1178 0 25123 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 105220 [startup+1796.7 s] /proc/loadavg: 1.02 1.47 1.65 2/172 4669 /proc/meminfo: memFree=31376484/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=105472 CPUtime=1796.76 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53710 0 0 0 177218 2458 0 0 25 0 1 0 891233674 108003328 25044 33554432000 4194304 9016284 140733904209616 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/4584/statm: 26368 25044 670 1178 0 25186 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 105472 [startup+1797.1 s] /proc/loadavg: 1.02 1.47 1.65 2/172 4669 /proc/meminfo: memFree=31376484/32950928 swapFree=67055948/67111528 [pid=4584] ppid=4582 vsize=105472 CPUtime=1797.16 cores=0,2,4,6 /proc/4584/stat : 4584 (scip-2.0.1.4b_2) R 4582 4584 3190 0 -1 4202496 53716 0 0 0 177257 2459 0 0 18 0 1 0 891233674 108003328 25050 33554432000 4194304 9016284 140733904209616 18446744073709551615 5444560 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/4584/statm: 26368 25050 676 1178 0 25186 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (KiB) 105472 Child status: 0 Real time (s): 1797.11 CPU time (s): 1797.18 CPU user time (s): 1772.58 CPU system time (s): 24.5993 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 105472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.58 system time used= 24.5993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53721 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 3568 runsolver used 2.69459 second user time and 5.47717 second system time The end
Begin job on node127 at 2011-06-11 14:45:40 IDJOB=3489840 IDBENCH=89865 IDSOLVER=1979 FILE ID=node127/3489840-1307796340 RUNJOBID= node127-1307796122-4512 PBS_JOBID= 13550888 Free space on /tmp= 74044 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-go19.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489840-1307796340/watcher-3489840-1307796340 -o /tmp/evaluation-result-3489840-1307796340/solver-3489840-1307796340 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489840-1307796340.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ac3a0c512b81d5e532f489853538ca8f RANDOM SEED=81688502 node127.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.823 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.64 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.823 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.83 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.823 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.74 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.823 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.86 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.823 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.75 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.823 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.823 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.60 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.823 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31341056 kB Buffers: 303140 kB Cached: 975424 kB SwapCached: 9372 kB Active: 717200 kB Inactive: 697884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31341056 kB SwapTotal: 67111528 kB SwapFree: 67055948 kB Dirty: 16692 kB Writeback: 12 kB AnonPages: 134068 kB Mapped: 16076 kB Slab: 130836 kB PageTables: 4828 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 325884 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= 74044 MiB End job on node127 at 2011-06-11 15:15:37