Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | 84 | 1796.79 | 1797.1 |
| 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 | 1796.78 |
| 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.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3741485-1338776059.opb>
0.00/0.01 c original problem has 441 variables (441 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.00/0.01 c problem read
0.00/0.01 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.02 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.02 c (0.0s) probing: 101/361 (28.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 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.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 361 variables (361 bin, 0 int, 0 impl, 0 cont) and 361 constraints
0.00/0.02 c 361 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c conflict/interconss = 0
0.00/0.02 c
0.00/0.02 c # should binary conflicts be preferred?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c conflict/preferbinary = TRUE
0.00/0.02 c
0.00/0.02 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c constraints/agelimit = 1
0.00/0.02 c
0.00/0.02 c # should enforcement of pseudo solution be disabled?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/disableenfops = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 o 361
0.00/0.02 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.02 c t 0.0s| 1 | 0 | 0 | - |1135k| 0 | - | 361 | 361 | 0 | 0 | 0 | 0 | 0 | -- | 3.610000e+02 | Inf
0.00/0.02 o 121
0.00/0.02 c b 0.0s| 1 | 0 | 0 | - |1462k| 0 | - | 361 | 361 | 361 | 361 | 0 | 0 | 0 | -- | 1.210000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 2142 | - |1458k| 0 | 357 | 361 | 361 | 361 | 361 | 0 | 0 | 0 | 7.653022e+01 | 1.210000e+02 | 58.11%
0.19/0.25 c 0.2s| 1 | 0 | 2234 | - |4672k| 0 | 349 | 361 | 361 | 361 | 362 | 1 | 0 | 0 | 7.668403e+01 | 1.210000e+02 | 57.79%
0.29/0.34 c 0.3s| 1 | 0 | 2304 | - |7330k| 0 | 348 | 361 | 361 | 361 | 363 | 2 | 0 | 0 | 7.670426e+01 | 1.210000e+02 | 57.75%
0.38/0.43 c 0.4s| 1 | 0 | 2340 | - |9458k| 0 | 353 | 361 | 361 | 361 | 364 | 3 | 0 | 0 | 7.671433e+01 | 1.210000e+02 | 57.73%
0.48/0.51 c 0.5s| 1 | 0 | 2368 | - | 10M| 0 | 354 | 361 | 361 | 361 | 365 | 4 | 0 | 0 | 7.672451e+01 | 1.210000e+02 | 57.71%
0.48/0.58 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.58/0.66 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.68/0.74 c 0.7s| 1 | 0 | 2476 | - | 10M| 0 | 353 | 361 | 361 | 361 | 368 | 7 | 0 | 0 | 7.674226e+01 | 1.210000e+02 | 57.67%
0.78/0.82 c 0.8s| 1 | 0 | 2512 | - | 10M| 0 | 356 | 361 | 361 | 361 | 369 | 8 | 0 | 0 | 7.674573e+01 | 1.210000e+02 | 57.66%
0.88/0.90 c 0.9s| 1 | 0 | 2538 | - | 10M| 0 | 352 | 361 | 361 | 361 | 370 | 9 | 0 | 0 | 7.675106e+01 | 1.210000e+02 | 57.65%
0.88/0.99 c 1.0s| 1 | 0 | 2561 | - | 10M| 0 | 351 | 361 | 361 | 361 | 371 | 10 | 0 | 0 | 7.675452e+01 | 1.210000e+02 | 57.65%
0.98/1.07 c 1.1s| 1 | 0 | 2587 | - | 10M| 0 | 351 | 361 | 361 | 361 | 372 | 11 | 0 | 0 | 7.675633e+01 | 1.210000e+02 | 57.64%
2.18/2.21 c 2.2s| 1 | 2 | 2587 | - | 10M| 0 | 351 | 361 | 361 | 361 | 372 | 11 | 0 | 25 | 7.675633e+01 | 1.210000e+02 | 57.64%
8.88/8.95 o 120
8.88/8.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.88/8.95 c c 8.9s| 15 | 16 | 6227 | 260.0 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.200000e+02 | 56.17%
8.88/8.95 o 120
8.88/8.95 c c 8.9s| 15 | 16 | 6242 | 261.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.200000e+02 | 56.17%
8.88/8.95 o 119
8.88/8.95 c c 8.9s| 15 | 16 | 6243 | 261.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.190000e+02 | 54.87%
8.88/8.95 o 116
8.88/8.95 c c 8.9s| 15 | 16 | 6254 | 261.9 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.160000e+02 | 50.97%
8.88/8.95 o 115
8.88/8.95 c c 8.9s| 15 | 16 | 6301 | 265.3 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.150000e+02 | 49.66%
8.88/8.95 o 113
8.88/8.95 c c 8.9s| 15 | 16 | 6303 | 265.4 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.130000e+02 | 47.06%
8.88/8.95 o 113
8.88/8.95 c c 8.9s| 15 | 16 | 6311 | 266.0 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.130000e+02 | 47.06%
8.88/8.95 o 111
8.88/8.95 c c 8.9s| 15 | 16 | 6312 | 266.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.110000e+02 | 44.46%
8.88/8.95 o 110
8.88/8.95 c c 8.9s| 15 | 16 | 6318 | 266.5 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.100000e+02 | 43.16%
8.88/8.95 o 108
8.88/8.95 c c 8.9s| 15 | 16 | 6319 | 266.6 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.080000e+02 | 40.55%
8.88/8.96 o 107
8.88/8.96 c c 8.9s| 15 | 16 | 6326 | 267.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.070000e+02 | 39.25%
8.88/8.96 o 106
8.88/8.96 c c 8.9s| 15 | 16 | 6327 | 267.1 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.060000e+02 | 37.95%
8.88/8.96 o 104
8.88/8.96 c c 8.9s| 15 | 16 | 6328 | 267.2 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.040000e+02 | 35.35%
8.88/8.96 o 101
8.88/8.96 c c 9.0s| 15 | 16 | 6329 | 267.3 | 10M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 1.010000e+02 | 31.44%
8.88/8.96 o 96
8.88/8.96 c c 9.0s| 15 | 16 | 6332 | 267.5 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.600000e+01 | 24.94%
8.88/8.96 o 95
8.88/8.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.88/8.96 c c 9.0s| 15 | 16 | 6348 | 268.6 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.500000e+01 | 23.64%
8.88/8.96 o 93
8.88/8.96 c c 9.0s| 15 | 16 | 6354 | 269.1 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.300000e+01 | 21.03%
8.88/8.96 o 92
8.88/8.96 c c 9.0s| 15 | 16 | 6355 | 269.1 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.200000e+01 | 19.73%
8.88/8.96 o 90
8.88/8.96 c c 9.0s| 15 | 16 | 6359 | 269.4 | 11M| 14 | - | 361 | 361 | 361 | 370 | 11 | 0 | 324 | 7.683892e+01 | 9.000000e+01 | 17.13%
14.99/15.03 o 88
14.99/15.03 c o15.0s| 145 | 110 | 53892 | 356.3 | 11M| 49 | 0 | 361 | 361 | 361 | 370 | 11 | 0 | 475 | 7.683892e+01 | 8.800000e+01 | 14.53%
20.08/20.13 o 87
20.08/20.13 c p20.1s| 608 | 280 |104041 | 167.1 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 | 605 | 7.721645e+01 | 8.700000e+01 | 12.67%
20.08/20.13 o 86
20.08/20.13 c p20.1s| 608 | 275 |104057 | 167.2 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 | 605 | 7.721645e+01 | 8.600000e+01 | 11.38%
35.58/35.67 o 85
35.58/35.67 c v35.7s| 1895 | 621 |297623 | 155.8 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 | 814 | 7.757384e+01 | 8.500000e+01 | 9.57%
100.17/100.28 o 84
100.17/100.28 c c 100s| 7815 | 1650 | 1139k| 145.4 | 11M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 |1254 | 7.814456e+01 | 8.400000e+01 | 7.49%
121.76/121.88 c 122s| 10000 | 2241 | 1428k| 142.6 | 12M| 49 | 212 | 361 | 361 | 361 | 370 | 11 | 0 |1330 | 7.821727e+01 | 8.400000e+01 | 7.39%
225.54/225.63 c 226s| 20000 | 6325 | 2808k| 140.3 | 15M| 49 | 231 | 361 | 361 | 361 | 370 | 11 | 0 |1831 | 7.841892e+01 | 8.400000e+01 | 7.12%
319.83/319.92 c 320s| 30000 | 10275 | 4057k| 135.2 | 19M| 49 | 244 | 361 | 361 | 361 | 370 | 11 | 0 |2423 | 7.855091e+01 | 8.400000e+01 | 6.94%
404.62/404.76 c 405s| 40000 | 13793 | 5193k| 129.8 | 22M| 49 | - | 361 | 361 | 361 | 370 | 11 | 0 |2780 | 7.863996e+01 | 8.400000e+01 | 6.82%
494.80/494.91 c 495s| 50000 | 17913 | 6409k| 128.1 | 25M| 49 | 211 | 361 | 361 | 361 | 370 | 11 | 0 |3222 | 7.871036e+01 | 8.400000e+01 | 6.72%
586.48/586.65 c 587s| 60000 | 22447 | 7658k| 127.6 | 29M| 49 | 219 | 361 | 361 | 361 | 370 | 11 | 0 |3597 | 7.876633e+01 | 8.400000e+01 | 6.64%
664.07/664.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.07/664.27 c 664s| 70000 | 25311 | 8719k| 124.5 | 32M| 50 | - | 361 | 361 | 361 | 370 | 11 | 0 |3845 | 7.881602e+01 | 8.400000e+01 | 6.58%
743.46/743.64 c 744s| 80000 | 28521 | 9803k| 122.5 | 34M| 51 | 278 | 361 | 361 | 361 | 370 | 11 | 0 |4134 | 7.884593e+01 | 8.400000e+01 | 6.54%
817.95/818.15 c 818s| 90000 | 31373 | 10804k| 120.0 | 37M| 52 | 257 | 361 | 361 | 361 | 370 | 11 | 0 |4394 | 7.887521e+01 | 8.400000e+01 | 6.50%
894.82/895.00 c 895s|100000 | 34263 | 11860k| 118.6 | 40M| 52 | 240 | 361 | 361 | 361 | 370 | 11 | 0 |4619 | 7.890108e+01 | 8.400000e+01 | 6.46%
972.52/972.77 c 973s|110000 | 37387 | 12934k| 117.6 | 42M| 52 | 244 | 361 | 361 | 361 | 370 | 11 | 0 |4821 | 7.892692e+01 | 8.400000e+01 | 6.43%
1047.40/1047.67 c 1048s|120000 | 40575 | 13951k| 116.2 | 45M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |5065 | 7.894777e+01 | 8.400000e+01 | 6.40%
1122.29/1122.53 c 1123s|130000 | 43409 | 14969k| 115.1 | 47M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |5229 | 7.897018e+01 | 8.400000e+01 | 6.37%
1197.87/1198.12 c 1198s|140000 | 46769 | 16025k| 114.5 | 50M| 56 | 220 | 361 | 361 | 361 | 370 | 11 | 0 |5390 | 7.898884e+01 | 8.400000e+01 | 6.34%
1281.57/1281.81 c 1282s|150000 | 50731 | 17178k| 114.5 | 54M| 56 | 241 | 361 | 361 | 361 | 370 | 11 | 0 |5568 | 7.900936e+01 | 8.400000e+01 | 6.32%
1369.15/1369.41 c 1369s|160000 | 55465 | 18372k| 114.8 | 57M| 56 | 259 | 361 | 361 | 361 | 370 | 11 | 0 |5752 | 7.902907e+01 | 8.400000e+01 | 6.29%
1447.43/1447.74 c 1448s|170000 | 59189 | 19454k| 114.4 | 61M| 56 | 208 | 361 | 361 | 361 | 370 | 11 | 0 |5910 | 7.904440e+01 | 8.400000e+01 | 6.27%
1528.12/1528.46 c 1528s|180000 | 63193 | 20559k| 114.2 | 64M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |6050 | 7.906072e+01 | 8.400000e+01 | 6.25%
1612.41/1612.76 c 1613s|190000 | 67845 | 21720k| 114.3 | 67M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |6193 | 7.907467e+01 | 8.400000e+01 | 6.23%
1697.40/1697.77 c 1698s|200000 | 72013 | 22894k| 114.5 | 71M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |6336 | 7.908894e+01 | 8.400000e+01 | 6.21%
1779.09/1779.42 c 1779s|210000 | 76227 | 24004k| 114.3 | 74M| 56 | - | 361 | 361 | 361 | 370 | 11 | 0 |6482 | 7.910421e+01 | 8.400000e+01 | 6.19%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.00
1796.68/1797.01 c Solving Nodes : 211769
1796.68/1797.01 c Primal Bound : +8.40000000000000e+01 (637 solutions)
1796.68/1797.01 c Dual Bound : +7.91058296943376e+01
1796.68/1797.01 c Gap : 6.19 %
1796.68/1797.01 s SATISFIABLE
1796.68/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
1796.68/1797.01 v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1796.68/1797.01 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1796.68/1797.01 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358
1796.68/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
1796.68/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
1796.68/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
1796.68/1797.01 v -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 x272 -x271
1796.68/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
1796.68/1797.01 v -x248 -x247 -x246 x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 x230 x229 -x228
1796.68/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
1796.68/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
1796.68/1797.01 v -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163
1796.68/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
1796.68/1797.01 v x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120
1796.68/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
1796.68/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
1796.68/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
1796.68/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
1796.68/1797.01 v -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.01 (included in solving)
1796.68/1797.01 c reading : 0.00 (included in solving)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3741485-1338776059.opb
1796.68/1797.01 c Variables : 441 (441 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 441 initial, 441 maximal
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3741485-1338776059.opb
1796.68/1797.01 c Variables : 361 (361 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 361 initial, 361 maximal
1796.68/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.00 80 0 0 80 0 80 0 0 0
1796.68/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 145081 0 641 0 118 795 0 0 289504
1796.68/1797.01 c logicor : 361 12 316709 0 0 638 0 0 13297 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 639 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.01 c integral : 72.19 0.00 0.00 72.19 0.00 0.00 0.00
1796.68/1797.01 c logicor : 0.65 0.00 0.65 0.00 0.00 0.00 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c rootredcost : 22 0 0 0
1796.68/1797.01 c pseudoobj : 635681 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.01 c vbounds : 0.11 0.11 0.00
1796.68/1797.01 c rootredcost : 0.11 0.11 0.00
1796.68/1797.01 c pseudoobj : 3.75 3.75 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 0 0.0 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.02 11 - - 274 - (maximal pool size: 943)
1796.68/1797.01 c redcost : 2.16 224447 0 1321028 0 0
1796.68/1797.01 c impliedbounds : 0.00 12 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.37 12 0 0 0 0
1796.68/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.41 12 0 0 970 0
1796.68/1797.01 c cmir : 0.02 10 0 0 0 0
1796.68/1797.01 c flowcover : 0.03 10 0 0 0 0
1796.68/1797.01 c clique : 0.00 1 0 0 0 0
1796.68/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : Time Calls Vars
1796.68/1797.01 c problem variables: 0.00 0 0
1796.68/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 72.11 145081 118 795 0 0 289504
1796.68/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : Time Calls Found
1796.68/1797.01 c LP solutions : 0.00 - 0
1796.68/1797.01 c pseudo solutions : 0.00 - 0
1796.68/1797.01 c crossover : 0.20 0 0
1796.68/1797.01 c feaspump : 0.00 0 0
1796.68/1797.01 c oneopt : 0.03 7 1
1796.68/1797.01 c linesearchdiving : 77.05 867 9
1796.68/1797.01 c guideddiving : 67.45 1139 0
1796.68/1797.01 c veclendiving : 63.10 1288 72
1796.68/1797.01 c coefdiving : 120.29 1940 87
1796.68/1797.01 c trivial : 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0 0
1796.68/1797.01 c simplerounding : 2.82 145092 60
1796.68/1797.01 c zirounding : 0.72 3601 72
1796.68/1797.01 c rounding : 3.67 5327 0
1796.68/1797.01 c shifting : 1.17 1621 0
1796.68/1797.01 c intshifting : 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0 0
1796.68/1797.01 c clique : 0.00 0 0
1796.68/1797.01 c pscostdiving : 82.84 825 170
1796.68/1797.01 c fracdiving : 67.28 1161 0
1796.68/1797.01 c intdiving : 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0 0
1796.68/1797.01 c objpscostdiving : 86.49 70 165
1796.68/1797.01 c rootsoldiving : 9.25 83 0
1796.68/1797.01 c octane : 0.00 0 0
1796.68/1797.01 c rens : 0.01 0 0
1796.68/1797.01 c rins : 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0 0
1796.68/1797.01 c dins : 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0 0
1796.68/1797.01 c subnlp : 0.03 0 0
1796.68/1797.01 c trysol : 0.04 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.68/1797.01 c dual LP : 1112.65 211991 16254960 76.68 14609.21
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.01 c diving/probing LP: 538.93 319054 7995921 25.06 14836.73
1796.68/1797.01 c strong branching : 64.90 6530 888946 136.13 13696.46
1796.68/1797.01 c (at root node) : - 25 8124 324.96 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 211769
1796.68/1797.01 c nodes (total) : 211769
1796.68/1797.01 c nodes left : 77102
1796.68/1797.01 c max depth : 56
1796.68/1797.01 c max depth (total): 56
1796.68/1797.01 c backtracks : 35344 (16.7%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 4.59
1796.68/1797.01 c switching time : 3.03
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 637 (26 improvements)
1796.68/1797.01 c First Solution : +3.61000000000000e+02 (in run 1, after 1 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : +8.40000000000000e+01 (in run 1, after 7815 nodes, 100.27 seconds, depth 103, found by <coefdiving>)
1796.68/1797.01 c Dual Bound : +7.91058296943376e+01
1796.68/1797.01 c Gap : 6.19 %
1796.68/1797.01 c Root Dual Bound : +7.67563337820536e+01
1796.68/1797.01 c Root Iterations : 2587
1796.68/1797.09 c Time complete: 1796.78.
OK 84
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3741485-1338776059/watcher-3741485-1338776059 -o /tmp/evaluation-result-3741485-1338776059/solver-3741485-1338776059 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741485-1338776059.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.06 2.02 2.00 3/176 22182 /proc/meminfo: memFree=31187124/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/22182/stat : 22182 (runsolver) D 22180 22182 20052 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 343731901 12095488 52 33554432000 4194304 5436572 140736975929312 140736975925608 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/22182/statm: 2953 52 31 304 0 2645 0 [startup+0.0581441 s] /proc/loadavg: 2.06 2.02 2.00 3/176 22182 /proc/meminfo: memFree=31187124/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=20296 CPUtime=0.04 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 4179 0 0 0 4 0 0 0 20 0 1 0 343731901 20783104 3872 33554432000 4194304 9016284 140736619891920 140736975925496 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 5074 3872 605 1178 0 3892 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 20296 [startup+0.100278 s] /proc/loadavg: 2.06 2.02 2.00 3/176 22182 /proc/meminfo: memFree=31187124/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=20444 CPUtime=0.09 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 4222 0 0 0 8 1 0 0 20 0 1 0 343731901 20934656 3915 33554432000 4194304 9016284 140736619891920 140736975925496 7219225 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 5111 3915 605 1178 0 3929 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20444 [startup+0.300182 s] /proc/loadavg: 2.06 2.02 2.00 3/176 22182 /proc/meminfo: memFree=31187124/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=25840 CPUtime=0.29 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 5643 0 0 0 28 1 0 0 20 0 1 0 343731901 26460160 5332 33554432000 4194304 9016284 140736619891920 140736975925496 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 6460 5332 641 1178 0 5278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25840 [startup+0.700262 s] /proc/loadavg: 2.06 2.02 2.00 3/176 22182 /proc/meminfo: memFree=31187124/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=33680 CPUtime=0.68 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 7610 0 0 0 67 1 0 0 20 0 1 0 343731901 34488320 7287 33554432000 4194304 9016284 140736619891920 140736619887032 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8420 7287 642 1178 0 7238 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 33680 [startup+1.50018 s] /proc/loadavg: 2.06 2.02 2.00 3/177 22183 /proc/meminfo: memFree=31159760/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=34884 CPUtime=1.48 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 9545 0 0 0 146 2 0 0 20 0 1 0 343731901 35721216 7630 33554432000 4194304 9016284 140736619891920 140736619887032 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8721 7630 662 1178 0 7539 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34884 [startup+3.10022 s] /proc/loadavg: 2.06 2.02 2.00 3/177 22183 /proc/meminfo: memFree=31158024/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=34884 CPUtime=3.09 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 9568 0 0 0 305 4 0 0 20 0 1 0 343731901 35721216 7653 33554432000 4194304 9016284 140736619891920 140736619885768 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8721 7653 667 1178 0 7539 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34884 [startup+6.30023 s] /proc/loadavg: 2.06 2.01 2.00 3/177 22183 /proc/meminfo: memFree=31158032/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=34884 CPUtime=6.28 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 9568 0 0 0 621 7 0 0 20 0 1 0 343731901 35721216 7653 33554432000 4194304 9016284 140736619891920 140736619885720 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8721 7653 667 1178 0 7539 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34884 [startup+12.7002 s] /proc/loadavg: 2.05 2.01 2.00 3/177 22183 /proc/meminfo: memFree=31157420/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=34884 CPUtime=12.68 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 9570 0 0 0 1252 16 0 0 20 0 1 0 343731901 35721216 7655 33554432000 4194304 9016284 140736619891920 140736619886088 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8721 7655 669 1178 0 7539 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34884 [startup+25.5002 s] /proc/loadavg: 2.04 2.01 2.00 3/177 22183 /proc/meminfo: memFree=31157668/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=34948 CPUtime=25.48 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 12887 0 0 0 2515 33 0 0 20 0 1 0 343731901 35786752 7664 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8737 7664 670 1178 0 7555 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34948 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 2.00 3/177 22183 /proc/meminfo: memFree=31156180/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=35648 CPUtime=51.08 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 17945 0 0 0 5040 68 0 0 20 0 1 0 343731901 36503552 7841 33554432000 4194304 9016284 140736619891920 140736619885336 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 8912 7841 670 1178 0 7730 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35648 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/177 22183 /proc/meminfo: memFree=31150600/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=37008 CPUtime=102.27 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 23181 0 0 0 10088 139 0 0 20 0 1 0 343731901 37896192 8202 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 9252 8202 670 1178 0 8070 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37008 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22184 /proc/meminfo: memFree=31154052/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=38676 CPUtime=162.26 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 30049 0 0 0 16008 218 0 0 20 0 1 0 343731901 39604224 8600 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 9669 8600 670 1178 0 8487 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 38676 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22184 /proc/meminfo: memFree=31146536/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=41868 CPUtime=222.24 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 32493 0 0 0 21918 306 0 0 20 0 1 0 343731901 42872832 9835 33554432000 4194304 9016284 140736619891920 140736619886088 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 10467 9835 670 1178 0 9285 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 41868 [startup+282.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 22222 /proc/meminfo: memFree=31428480/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=43148 CPUtime=282.23 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 34460 0 0 0 27831 392 0 0 20 0 1 0 343731901 44183552 10127 33554432000 4194304 9016284 140736619891920 140736619885992 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 10787 10127 670 1178 0 9605 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 43148 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 22225 /proc/meminfo: memFree=31423568/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=46900 CPUtime=342.22 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 35442 0 0 0 33744 478 0 0 20 0 1 0 343731901 48025600 11104 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 11725 11104 670 1178 0 10543 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 46900 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22263 /proc/meminfo: memFree=31368832/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=48536 CPUtime=402.21 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 37443 0 0 0 39650 571 0 0 20 0 1 0 343731901 49700864 11528 33554432000 4194304 9016284 140736619891920 140736619885288 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 12134 11528 670 1178 0 10952 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 48536 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22264 /proc/meminfo: memFree=31367628/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=51688 CPUtime=462.2 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 38220 0 0 0 45558 662 0 0 20 0 1 0 343731901 52928512 12303 33554432000 4194304 9016284 140736619891920 140736619885928 6523992 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 12922 12303 670 1178 0 11740 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 51688 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22264 /proc/meminfo: memFree=31383136/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=53964 CPUtime=522.19 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 38789 0 0 0 51469 750 0 0 20 0 1 0 343731901 55259136 12870 33554432000 4194304 9016284 140736619891920 140736619885880 7201446 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 13491 12870 670 1178 0 12309 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 53964 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22264 /proc/meminfo: memFree=31348752/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=57740 CPUtime=582.18 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 41221 0 0 0 57380 838 0 0 20 0 1 0 343731901 59125760 13829 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 14435 13829 670 1178 0 13253 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 57740 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31356952/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=80016 CPUtime=1122.09 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 47629 0 0 0 110567 1642 0 0 20 0 1 0 343731901 81936384 19390 33554432000 4194304 9016284 140736619891920 140736619885528 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 20004 19390 670 1178 0 18822 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 80016 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 22271 /proc/meminfo: memFree=31325868/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=83184 CPUtime=1182.08 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 48414 0 0 0 116483 1725 0 0 20 0 1 0 343731901 85180416 20175 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 20796 20175 670 1178 0 19614 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 83184 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22271 /proc/meminfo: memFree=31345528/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=84424 CPUtime=1242.07 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 48737 0 0 0 122394 1813 0 0 20 0 1 0 343731901 86450176 20496 33554432000 4194304 9016284 140736619891920 140736619885096 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 21106 20496 670 1178 0 19924 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 84424 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 22271 /proc/meminfo: memFree=31342488/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=87216 CPUtime=1302.06 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 49426 0 0 0 128309 1897 0 0 20 0 1 0 343731901 89309184 21185 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 21804 21185 670 1178 0 20622 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 87216 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/176 22271 /proc/meminfo: memFree=31341188/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=88736 CPUtime=1362.05 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 49799 0 0 0 134222 1983 0 0 20 0 1 0 343731901 90865664 21556 33554432000 4194304 9016284 140736619891920 140736619885976 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 22184 21556 670 1178 0 21002 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 88736 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 2.00 3/177 22272 /proc/meminfo: memFree=31336596/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=92808 CPUtime=1422.05 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 50824 0 0 0 140131 2074 0 0 20 0 1 0 343731901 95035392 22581 33554432000 4194304 9016284 140736619891920 140736619885976 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 23202 22581 670 1178 0 22020 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 92808 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 22272 /proc/meminfo: memFree=31333428/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=96064 CPUtime=1482.03 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 51640 0 0 0 146039 2164 0 0 20 0 1 0 343731901 98369536 23396 33554432000 4194304 9016284 140736619891920 140736619886024 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 24016 23396 670 1178 0 22834 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 96064 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 22275 /proc/meminfo: memFree=31331536/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=97504 CPUtime=1542.03 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 52002 0 0 0 151952 2251 0 0 20 0 1 0 343731901 99844096 23758 33554432000 4194304 9016284 140736619891920 140736619885672 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 24376 23758 670 1178 0 23194 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 97504 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22275 /proc/meminfo: memFree=31328156/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=103472 CPUtime=1602.01 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 53008 0 0 0 157858 2343 0 0 20 0 1 0 343731901 105955328 24762 33554432000 4194304 9016284 140736619891920 140736619885608 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 25868 24762 670 1178 0 24686 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 103472 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22275 /proc/meminfo: memFree=31325312/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=106152 CPUtime=1662 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 53678 0 0 0 163775 2425 0 0 20 0 1 0 343731901 108699648 25424 33554432000 4194304 9016284 140736619891920 140736619886088 7219706 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 26538 25424 670 1178 0 25356 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 106152 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31321836/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=109696 CPUtime=1722 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 54602 0 0 0 169693 2507 0 0 20 0 1 0 343731901 112328704 26347 33554432000 4194304 9016284 140736619891920 140736619885784 7219751 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 27424 26347 670 1178 0 26242 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 109696 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31320100/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=111088 CPUtime=1781.98 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 54961 0 0 0 175606 2592 0 0 20 0 1 0 343731901 113754112 26706 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 27772 26706 670 1178 0 26590 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 111088 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31296028/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=111088 CPUtime=1785.18 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 54961 0 0 0 175922 2596 0 0 20 0 1 0 343731901 113754112 26706 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 27772 26706 670 1178 0 26590 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 111088 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31322768/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=112424 CPUtime=1791.59 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 55276 0 0 0 176553 2606 0 0 20 0 1 0 343731901 115122176 27021 33554432000 4194304 9016284 140736619891920 140736619885832 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 28106 27021 670 1178 0 26924 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 112424 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31299500/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=112424 CPUtime=1794.78 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 55279 0 0 0 176867 2611 0 0 20 0 1 0 343731901 115122176 27024 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 28106 27024 670 1178 0 26924 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 112424 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31299500/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=112424 CPUtime=1795.58 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 55279 0 0 0 176946 2612 0 0 20 0 1 0 343731901 115122176 27024 33554432000 4194304 9016284 140736619891920 140736619885784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 28106 27024 670 1178 0 26924 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (KiB) 112424 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31325560/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=112424 CPUtime=1796.38 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 55279 0 0 0 177025 2613 0 0 20 0 1 0 343731901 115122176 27024 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 28106 27024 670 1178 0 26924 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 112424 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31325560/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=112424 CPUtime=1796.58 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 55279 0 0 0 177045 2613 0 0 20 0 1 0 343731901 115122176 27024 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 28106 27024 670 1178 0 26924 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (KiB) 112424 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22276 /proc/meminfo: memFree=31325560/32873648 swapFree=7628/7628 [pid=22182] ppid=22180 vsize=112424 CPUtime=1796.68 cores=0,2,4,6 /proc/22182/stat : 22182 (scip-2.0.1.4b_2) R 22180 22182 20052 0 -1 4202496 55279 0 0 0 177055 2613 0 0 20 0 1 0 343731901 115122176 27024 33554432000 4194304 9016284 140736619891920 140736619885880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/22182/statm: 28106 27024 670 1178 0 26924 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (KiB) 112424 Child status: 0 Real time (s): 1797.1 CPU time (s): 1796.79 CPU user time (s): 1770.65 CPU system time (s): 26.141 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 112424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.65 system time used= 26.141 maximum resident set size= 108120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55290 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= 37 involuntary context switches= 1939 runsolver used 4.48632 second user time and 14.3138 second system time The end
Begin job on node122 at 2012-06-04 04:14:19 IDJOB=3741485 IDBENCH=89865 IDSOLVER=2329 FILE ID=node122/3741485-1338776059 RUNJOBID= node122-1338749400-20068 PBS_JOBID= 14636801 Free space on /tmp= 71168 MiB SOLVER NAME= PB11: 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-3741485-1338776059/watcher-3741485-1338776059 -o /tmp/evaluation-result-3741485-1338776059/solver-3741485-1338776059 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741485-1338776059.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ac3a0c512b81d5e532f489853538ca8f RANDOM SEED=1833113383 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31187388 kB Buffers: 263384 kB Cached: 228268 kB SwapCached: 1832 kB Active: 769264 kB Inactive: 64292 kB Active(anon): 337248 kB Inactive(anon): 6992 kB Active(file): 432016 kB Inactive(file): 57300 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100168 kB Dirty: 16944 kB Writeback: 0 kB AnonPages: 347816 kB Mapped: 11684 kB Shmem: 0 kB Slab: 715272 kB SReclaimable: 159324 kB SUnreclaim: 555948 kB KernelStack: 1448 kB PageTables: 4608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 466892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 307200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71152 MiB End job on node122 at 2012-06-04 04:44:16