Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 191 | 1800.04 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | 85de1910ead9431952046fc8a55b274b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 191 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 185 |
| Optimality of the best value was proved | NO |
| Number of variables | 478 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| 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 | 478 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 478 |
| 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.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452663-1307076744.opb>
0.00/0.01 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 478
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.780000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 478 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 72 del conss, 178 add conss, 0 chg bounds, 231 chg sides, 577 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 101 del conss, 194 add conss, 0 chg bounds, 304 chg sides, 717 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 106 del conss, 198 add conss, 0 chg bounds, 327 chg sides, 747 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 108 del conss, 200 add conss, 0 chg bounds, 333 chg sides, 768 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 109 del conss, 201 add conss, 0 chg bounds, 336 chg sides, 772 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/478 (21.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (8 rounds):
0.00/0.03 c 0 deleted vars, 109 deleted constraints, 201 added constraints, 0 tightened bounds, 0 added holes, 336 changed sides, 772 changed coefficients
0.00/0.03 c 244 implications, 0 cliques
0.00/0.03 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 570 constraints
0.00/0.03 c 445 constraints of type <knapsack>
0.00/0.03 c 122 constraints of type <setppc>
0.00/0.03 c 3 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
1.00/1.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.08 c t 1.1s| 1 | 0 | 10593 | - |2630k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 4.780000e+02 | 218.98%
1.00/1.08 o 355
1.00/1.08 c r 1.1s| 1 | 0 | 10593 | - |2643k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.550000e+02 | 136.90%
1.00/1.09 o 354
1.00/1.09 c R 1.1s| 1 | 0 | 10593 | - |2656k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.540000e+02 | 136.23%
1.00/1.09 o 353
1.00/1.09 c s 1.1s| 1 | 0 | 10593 | - |2670k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.530000e+02 | 135.56%
1.29/1.30 o 224
1.29/1.30 c y 1.3s| 1 | 0 | 10593 | - |3047k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 2.240000e+02 | 49.48%
1.79/1.87 c 1.9s| 1 | 0 | 15013 | - |2975k| 0 | 390 | 478 | 570 | 478 | 791 | 221 | 0 | 0 | 1.569297e+02 | 2.240000e+02 | 42.74%
2.49/2.55 c 2.6s| 1 | 0 | 18188 | - |3228k| 0 | 424 | 478 | 570 | 478 | 970 | 400 | 0 | 0 | 1.604786e+02 | 2.240000e+02 | 39.58%
3.21/3.25 c 3.3s| 1 | 0 | 20884 | - |3435k| 0 | 433 | 478 | 570 | 478 |1113 | 543 | 0 | 0 | 1.626169e+02 | 2.240000e+02 | 37.75%
3.79/3.85 c 3.9s| 1 | 0 | 22665 | - |3565k| 0 | 442 | 478 | 570 | 478 |1212 | 642 | 0 | 0 | 1.635069e+02 | 2.240000e+02 | 37.00%
4.41/4.43 c 4.4s| 1 | 0 | 23869 | - |3636k| 0 | 448 | 478 | 570 | 478 |1282 | 712 | 0 | 0 | 1.639810e+02 | 2.240000e+02 | 36.60%
4.89/4.94 c 4.9s| 1 | 0 | 24586 | - |3683k| 0 | 446 | 478 | 570 | 478 |1324 | 754 | 0 | 0 | 1.642741e+02 | 2.240000e+02 | 36.36%
5.29/5.41 c 5.4s| 1 | 0 | 24942 | - |3706k| 0 | 448 | 478 | 570 | 478 |1348 | 778 | 0 | 0 | 1.643771e+02 | 2.240000e+02 | 36.27%
5.69/5.76 c 5.8s| 1 | 0 | 24970 | - |3713k| 0 | 453 | 478 | 570 | 478 |1351 | 781 | 0 | 0 | 1.643808e+02 | 2.240000e+02 | 36.27%
6.09/6.18 c 6.2s| 1 | 0 | 25224 | - |3725k| 0 | 449 | 478 | 570 | 478 |1360 | 790 | 0 | 0 | 1.644220e+02 | 2.240000e+02 | 36.23%
6.50/6.53 c 6.5s| 1 | 0 | 25247 | - |3733k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 0 | 1.644225e+02 | 2.240000e+02 | 36.23%
10.29/10.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.29/10.34 c 10.3s| 1 | 2 | 25247 | - |3753k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 24 | 1.644225e+02 | 2.240000e+02 | 36.23%
30.39/30.43 o 223
30.39/30.43 c c30.4s| 15 | 16 | 41257 |1143.6 |4537k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.230000e+02 | 35.49%
30.39/30.43 o 222
30.39/30.43 c c30.4s| 15 | 16 | 41258 |1143.6 |4538k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.39/30.43 o 222
30.39/30.43 c c30.4s| 15 | 16 | 41259 |1143.7 |4539k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.39/30.43 o 221
30.39/30.43 c c30.4s| 15 | 16 | 41268 |1144.4 |4542k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.39/30.44 o 221
30.39/30.44 c c30.4s| 15 | 16 | 41290 |1145.9 |4545k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.39/30.44 o 220
30.39/30.44 c c30.4s| 15 | 16 | 41301 |1146.7 |4548k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.200000e+02 | 33.67%
30.39/30.44 o 219
30.39/30.44 c c30.4s| 15 | 16 | 41344 |1149.8 |4552k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.39/30.45 o 219
30.39/30.45 c c30.4s| 15 | 16 | 41396 |1153.5 |4566k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.39/30.47 o 216
30.39/30.47 c b30.5s| 16 | 15 | 41489 |1082.8 |4456k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.160000e+02 | 31.24%
31.99/32.07 o 215
31.99/32.07 c p32.1s| 27 | 28 | 52949 |1065.5 |4650k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.150000e+02 | 30.56%
31.99/32.07 o 213
31.99/32.07 c p32.1s| 27 | 28 | 52953 |1065.6 |4651k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.130000e+02 | 29.34%
31.99/32.07 o 212
31.99/32.07 c p32.1s| 27 | 28 | 52955 |1065.7 |4652k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.120000e+02 | 28.74%
31.99/32.07 o 209
31.99/32.07 c p32.1s| 27 | 28 | 52962 |1066.0 |4654k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.090000e+02 | 26.91%
31.99/32.08 o 208
31.99/32.08 c p32.1s| 27 | 28 | 52965 |1066.1 |4655k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.080000e+02 | 26.31%
31.99/32.08 o 207
31.99/32.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.99/32.08 c p32.1s| 27 | 28 | 52970 |1066.3 |4656k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.070000e+02 | 25.70%
31.99/32.08 o 206
31.99/32.08 c p32.1s| 27 | 28 | 52981 |1066.7 |4658k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.060000e+02 | 25.09%
31.99/32.08 o 205
31.99/32.08 c p32.1s| 27 | 28 | 52991 |1067.1 |4660k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.050000e+02 | 24.49%
31.99/32.08 o 204
31.99/32.08 c p32.1s| 27 | 28 | 52992 |1067.1 |4661k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.040000e+02 | 23.88%
31.99/32.08 o 203
31.99/32.08 c p32.1s| 27 | 28 | 52995 |1067.2 |4662k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.030000e+02 | 23.27%
31.99/32.08 o 202
31.99/32.08 c p32.1s| 27 | 28 | 53007 |1067.7 |4668k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.020000e+02 | 22.66%
31.99/32.08 o 201
31.99/32.08 c p32.1s| 27 | 28 | 53008 |1067.7 |4669k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.010000e+02 | 22.06%
31.99/32.08 o 200
31.99/32.08 c p32.1s| 27 | 28 | 53011 |1067.8 |4670k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.000000e+02 | 21.45%
31.99/32.08 o 199
31.99/32.08 c p32.1s| 27 | 28 | 53014 |1068.0 |4672k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 1.990000e+02 | 20.84%
71.59/71.61 o 199
71.59/71.61 c p71.6s| 227 | 228 |365925 |1507.4 |4903k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 292 | 1.647264e+02 | 1.990000e+02 | 20.81%
80.69/80.73 o 198
80.69/80.73 c p80.7s| 245 | 246 |436441 |1685.2 |4919k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 302 | 1.647356e+02 | 1.980000e+02 | 20.19%
122.11/122.18 o 198
122.11/122.18 c p 122s| 398 | 399 |728410 |1771.2 |5019k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 411 | 1.649512e+02 | 1.980000e+02 | 20.04%
127.89/127.96 o 197
127.89/127.96 c p 128s| 413 | 414 |771547 |1811.4 |5024k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.970000e+02 | 19.39%
127.89/127.96 o 197
127.89/127.96 c p 128s| 413 | 414 |771554 |1811.4 |5025k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.970000e+02 | 19.39%
127.89/127.96 o 196
127.89/127.96 c p 128s| 413 | 414 |771560 |1811.4 |5027k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.960000e+02 | 18.79%
182.19/182.21 o 195
182.19/182.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.19/182.21 c l 182s| 593 | 594 | 1187k|1962.9 |5154k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 492 | 1.650630e+02 | 1.950000e+02 | 18.14%
182.19/182.28 o 193
182.19/182.28 c b 182s| 594 | 595 | 1187k|1960.3 |4990k| 27 | 381 | 478 | 570 | 478 | 985 | 792 | 0 | 492 | 1.650630e+02 | 1.930000e+02 | 16.93%
434.52/434.53 o 191
434.52/434.53 c C 435s| 5472 | 2732 | 3075k| 557.6 |6537k| 122 | 405 | 478 | 577 | 478 | 985 | 792 | 7 |1070 | 1.654259e+02 | 1.910000e+02 | 15.46%
557.89/557.93 c 558s| 10000 | 4446 | 4072k| 404.8 |7933k| 122 | 147 | 478 | 577 | 478 | 985 | 792 | 7 |1211 | 1.655405e+02 | 1.910000e+02 | 15.38%
872.60/872.60 c 873s| 20000 | 7278 | 6546k| 326.1 | 10M| 122 | 144 | 478 | 576 | 478 | 985 | 792 | 9 |1854 | 1.657003e+02 | 1.910000e+02 | 15.27%
1148.11/1148.10 c 1148s| 30000 | 10088 | 8729k| 290.2 | 12M| 122 | 124 | 478 | 576 | 478 | 985 | 792 | 12 |2384 | 1.658020e+02 | 1.910000e+02 | 15.20%
1427.72/1427.75 c 1428s| 40000 | 12946 | 11010k| 274.6 | 14M| 122 | 143 | 478 | 576 | 478 | 985 | 792 | 13 |2794 | 1.658703e+02 | 1.910000e+02 | 15.15%
1670.51/1670.59 c 1671s| 50000 | 15634 | 12953k| 258.6 | 16M| 122 | - | 478 | 574 | 478 | 985 | 792 | 13 |3148 | 1.659202e+02 | 1.910000e+02 | 15.12%
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 55282
1800.01/1800.01 c Primal Bound : +1.91000000000000e+02 (689 solutions)
1800.01/1800.01 c Dual Bound : +1.65947862407482e+02
1800.01/1800.01 c Gap : 15.10 %
1800.01/1800.01 s SATISFIABLE
1800.01/1800.01 v -x478 x477 -x476 -x475 -x474 x473 -x472 -x471 x470 x469 -x468 x467 x466 -x465 -x464 x463 x462 x461 -x460 -x459 -x458 x457 -x456
1800.01/1800.01 v -x455 -x454 x453 -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 x436 x435 -x434
1800.01/1800.01 v x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 x424 x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 x412
1800.01/1800.01 v -x411 -x410 -x409 x408 -x407 -x406 x405 -x404 x403 -x402 x401 x400 -x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389
1800.01/1800.01 v x388 x387 -x386 x385 x384 -x383 x382 x381 -x380 -x379 -x378 x377 x376 x375 x374 -x373 -x372 -x371 x370 x369 -x368 x367 -x366
1800.01/1800.01 v x365 x364 -x363 x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 x348 -x347 -x346 x345 -x344
1800.01/1800.01 v -x343 x342 x341 -x340 -x339 -x338 -x337 x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 x327 -x326 -x325 -x324 -x323
1800.01/1800.01 v x322 -x321 -x320 x319 x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 x304 -x303 -x302 x301 -x300
1800.01/1800.01 v -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 x284 -x283 -x282 x281 -x280 x279
1800.01/1800.01 v -x278 -x277 -x276 x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 -x258 -x257
1800.01/1800.01 v -x256 x255 x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 -x239 x238 -x237 -x236 x235
1800.01/1800.01 v -x234 -x233 x232 -x231 x230 -x229 -x228 x227 -x226 -x225 x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 x215 x214 x213 x212
1800.01/1800.01 v -x211 x210 x209 -x208 x207 -x206 x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 x192 x191 x190
1800.01/1800.01 v -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 x180 x179 -x178 -x177 x176 x175 x174 -x173 -x172 -x171 x170 x169 x168
1800.01/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 x148 -x147 -x146
1800.01/1800.01 v -x145 -x144 x143 -x142 x141 x140 -x139 x138 -x137 x136 x135 x134 -x133 x132 x131 x130 -x129 x128 x127 -x126 x125 -x124 -x123
1800.01/1800.01 v x122 x121 -x120 x119 x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 x107 x106 x105 x104 x103 -x102 -x101 x100
1800.01/1800.01 v -x99 x98 -x97 -x96 x95 x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 x83 -x82 -x81 x80 x79 -x78 -x77 -x76 -x75 x74 x73
1800.01/1800.01 v x72 -x71 -x70 x69 -x68 -x67 x66 -x65 x64 -x63 x62 x61 -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 x46
1800.01/1800.01 v x45 x44 x43 -x42 -x41 x40 x39 -x38 x37 x36 -x35 -x34 x33 x32 -x31 x30 x29 x28 x27 x26 x25 x24 -x23 -x22 -x21 -x20 -x19 x18 -x17
1800.01/1800.01 v -x16 x15 x14 -x13 x12 -x11 -x10 -x9 x8 x7 x6 -x5 -x4 -x3 -x2 x1
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Total Time : 1800.01
1800.01/1800.01 c solving : 1800.01
1800.01/1800.01 c presolving : 0.02 (included in solving)
1800.01/1800.01 c reading : 0.01 (included in solving)
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-3452663-1307076744.opb
1800.01/1800.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 478 initial, 478 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-3452663-1307076744.opb
1800.01/1800.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 570 initial, 579 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c knapsack : 0.01 0 0 0 0 0 29 201 336 751
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 80 0 0 0
1800.01/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1800.01/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 0 - - 0 - - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 36350 0 694 0 0 22 0 0 72668
1800.01/1800.01 c knapsack : 445 11 315016 0 1 689 0 0 230986 763 0 0
1800.01/1800.01 c setppc : 122 11 314918 0 1 688 0 0 35387 0 0 0
1800.01/1800.01 c logicor : 3+ 11 20786 0 1 688 0 0 122 0 0 0
1800.01/1800.01 c countsols : 0 0 0 0 1 692 0 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.01 c integral : 107.92 0.00 0.00 107.92 0.00 0.00 0.00
1800.01/1800.01 c knapsack : 3.23 0.04 3.19 0.00 0.00 0.01 0.00
1800.01/1800.01 c setppc : 0.40 0.00 0.40 0.00 0.00 0.00 0.00
1800.01/1800.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.01/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.01 c vbounds : 0 0 0 0
1800.01/1800.01 c rootredcost : 26 0 0 0
1800.01/1800.01 c pseudoobj : 315726 0 0 0
1800.01/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.01 c vbounds : 0.06 0.06 0.00
1800.01/1800.01 c rootredcost : 0.06 0.06 0.00
1800.01/1800.01 c pseudoobj : 2.40 2.40 0.00
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c infeasible LP : 0.00 13 13 13 4.6 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c applied globally : - - - 13 4.6 - - -
1800.01/1800.01 c applied locally : - - - 0 0.0 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 10 - - 294 - (maximal pool size: 1429)
1800.01/1800.01 c redcost : 1.47 69851 0 804125 0 0
1800.01/1800.01 c impliedbounds : 0.00 11 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 1.56 11 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 1.44 11 0 0 0 0
1800.01/1800.01 c cmir : 0.23 10 0 0 862 0
1800.01/1800.01 c flowcover : 0.24 10 0 0 1008 0
1800.01/1800.01 c clique : 0.00 1 0 0 0 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 1 0 0 0 0
1800.01/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 107.90 36350 0 22 0 0 72668
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.00 - 0
1800.01/1800.01 c feaspump : 0.00 0 0
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c oneopt : 0.02 11 2
1800.01/1800.01 c objpscostdiving : 32.98 5 75
1800.01/1800.01 c crossover : 0.41 4 4
1800.01/1800.01 c fracdiving : 50.91 45 0
1800.01/1800.01 c veclendiving : 72.82 84 73
1800.01/1800.01 c coefdiving : 216.72 187 185
1800.01/1800.01 c pscostdiving : 307.65 359 241
1800.01/1800.01 c trivial : 0.00 2 1
1800.01/1800.01 c shiftandpropagate: 0.00 0 0
1800.01/1800.01 c simplerounding : 1.08 61810 25
1800.01/1800.01 c zirounding : 0.41 1000 14
1800.01/1800.01 c rounding : 11.65 11561 1
1800.01/1800.01 c shifting : 3.09 3295 1
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c clique : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c rootsoldiving : 12.40 14 0
1800.01/1800.01 c linesearchdiving : 102.08 141 66
1800.01/1800.01 c guideddiving : 51.75 43 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.00 0 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c vbounds : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c subnlp : 0.01 0 0
1800.01/1800.01 c trysol : 0.01 0 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 804.36 80732 6898428 85.45 8576.26
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 822.14 129427 7103602 54.89 8640.36
1800.01/1800.01 c strong branching : 106.12 3276 732683 223.65 6904.24
1800.01/1800.01 c (at root node) : - 24 20688 862.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 55282
1800.01/1800.01 c nodes (total) : 55282
1800.01/1800.01 c nodes left : 16968
1800.01/1800.01 c max depth : 122
1800.01/1800.01 c max depth (total): 122
1800.01/1800.01 c backtracks : 9288 (16.8%)
1800.01/1800.01 c delayed cutoffs : 0
1800.01/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.01/1800.01 c avg switch length: 6.62
1800.01/1800.01 c switching time : 2.52
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 689 (37 improvements)
1800.01/1800.01 c First Solution : +4.78000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 5472 nodes, 434.53 seconds, depth 9, found by <crossover>)
1800.01/1800.01 c Dual Bound : +1.65947862407482e+02
1800.01/1800.01 c Gap : 15.10 %
1800.01/1800.01 c Root Dual Bound : +1.64422542324259e+02
1800.01/1800.01 c Root Iterations : 25247
OK 191
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452663-1307076744/watcher-3452663-1307076744 -o /tmp/evaluation-result-3452663-1307076744/solver-3452663-1307076744 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452663-1307076744.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/498 9308 /proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=17012 CPUtime=0.01 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 3006 0 0 0 1 0 0 0 25 0 1 0 819274063 17420288 2959 33554432000 4194304 9128323 140735289126688 18446744073709551615 4552784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 4253 2960 478 1205 0 3044 0 [startup+0.0509641 s] /proc/loadavg: 2.00 2.01 2.00 2/498 9308 /proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=21108 CPUtime=0.04 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4405 0 0 0 4 0 0 0 25 0 1 0 819274063 21614592 4101 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 5277 4101 644 1205 0 4068 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 21108 [startup+0.100952 s] /proc/loadavg: 2.00 2.01 2.00 2/498 9308 /proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=21108 CPUtime=0.09 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4452 0 0 0 9 0 0 0 25 0 1 0 819274063 21614592 4148 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 5277 4148 644 1205 0 4068 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21108 [startup+0.300918 s] /proc/loadavg: 2.00 2.01 2.00 2/498 9308 /proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=21356 CPUtime=0.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4513 0 0 0 28 1 0 0 25 0 1 0 819274063 21868544 4208 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 5339 4208 645 1205 0 4130 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21356 [startup+0.700852 s] /proc/loadavg: 2.00 2.01 2.00 2/498 9308 /proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=21516 CPUtime=0.69 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4550 0 0 0 67 2 0 0 25 0 1 0 819274063 22032384 4245 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 5379 4245 645 1205 0 4170 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21516 [startup+1.50072 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9309 /proc/meminfo: memFree=29089244/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=23172 CPUtime=1.49 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 7849 0 0 0 145 4 0 0 25 0 1 0 819274063 23728128 4814 33554432000 4194304 9128323 140735289126688 18446744073709551615 7357384 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 5793 4814 723 1205 0 4584 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23172 [startup+3.10048 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9309 /proc/meminfo: memFree=29086764/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=24736 CPUtime=3.09 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 8207 0 0 0 302 7 0 0 25 0 1 0 819274063 25329664 5172 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6184 5172 724 1205 0 4975 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24736 [startup+6.30091 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9309 /proc/meminfo: memFree=29084556/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=25556 CPUtime=6.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 8390 0 0 0 620 9 0 0 25 0 1 0 819274063 26169344 5355 33554432000 4194304 9128323 140735289126688 18446744073709551615 6637235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6389 5355 724 1205 0 5180 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25556 [startup+12.7008 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9309 /proc/meminfo: memFree=29084540/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=25444 CPUtime=12.69 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 9259 0 0 0 1250 19 0 0 25 0 1 0 819274063 26054656 5336 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6361 5336 730 1205 0 5152 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25444 [startup+25.5007 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9309 /proc/meminfo: memFree=29085156/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=25444 CPUtime=25.49 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 9262 0 0 0 2507 42 0 0 25 0 1 0 819274063 26054656 5339 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6361 5339 731 1205 0 5152 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25444 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/499 9309 /proc/meminfo: memFree=29082580/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=26468 CPUtime=51.09 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 9533 0 0 0 4995 114 0 0 25 0 1 0 819274063 27103232 5610 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6617 5610 733 1205 0 5408 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 26468 [startup+102.319 s] /proc/loadavg: 2.00 2.00 2.00 3/499 9311 /proc/meminfo: memFree=29083356/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=26312 CPUtime=102.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 12119 0 0 0 10001 230 0 0 25 0 1 0 819274063 26943488 5572 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6578 5572 738 1205 0 5369 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 26312 [startup+162.301 s] /proc/loadavg: 2.10 2.03 2.01 3/499 9313 /proc/meminfo: memFree=29080612/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=26844 CPUtime=162.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 12249 0 0 0 15860 369 0 0 25 0 1 0 819274063 27488256 5702 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6711 5702 738 1205 0 5502 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 26844 [startup+222.301 s] /proc/loadavg: 2.08 2.04 2.01 3/499 9315 /proc/meminfo: memFree=29080848/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=27316 CPUtime=222.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 12371 0 0 0 21721 508 0 0 25 0 1 0 819274063 27971584 5824 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6829 5824 738 1205 0 5620 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 27316 [startup+282.3 s] /proc/loadavg: 2.10 2.06 2.01 3/499 9315 /proc/meminfo: memFree=29080840/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=27368 CPUtime=282.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 15459 0 0 0 27571 658 0 0 25 0 1 0 819274063 28024832 5834 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 6842 5834 739 1205 0 5633 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 27368 [startup+342.3 s] /proc/loadavg: 2.07 2.06 2.01 3/499 9317 /proc/meminfo: memFree=29080336/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=28256 CPUtime=342.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 15701 0 0 0 33417 812 0 0 25 0 1 0 819274063 28934144 6076 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 7064 6076 741 1205 0 5855 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 28256 [startup+402.3 s] /proc/loadavg: 2.02 2.04 2.01 3/499 9319 /proc/meminfo: memFree=29079712/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=28720 CPUtime=402.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 15824 0 0 0 39267 963 0 0 25 0 1 0 819274063 29409280 6199 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 7180 6199 741 1205 0 5971 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 28720 [startup+462.301 s] /proc/loadavg: 2.01 2.03 2.00 3/499 9321 /proc/meminfo: memFree=29077844/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=28984 CPUtime=462.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 24473 0 0 0 45112 1117 0 0 25 0 1 0 819274063 29679616 6260 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 7246 6260 741 1205 0 6037 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 28984 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/499 9332 /proc/meminfo: memFree=29075640/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=29600 CPUtime=522.29 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 25498 0 0 0 50954 1275 0 0 25 0 1 0 819274063 30310400 6414 33554432000 4194304 9128323 140735289126688 18446744073709551615 7357564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 7400 6414 741 1205 0 6191 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 29600 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/499 9332 /proc/meminfo: memFree=29072600/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=31500 CPUtime=582.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 25981 0 0 0 56757 1473 0 0 25 0 1 0 819274063 32256000 6897 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 7875 6897 741 1205 0 6666 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 31500 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.21 2.07 2.02 3/499 9343 /proc/meminfo: memFree=29069188/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=32336 CPUtime=822.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 27687 0 0 0 79928 2302 0 0 25 0 1 0 819274063 33112064 7100 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 8084 7100 741 1205 0 6875 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 32336 [startup+882.3 s] /proc/loadavg: 2.16 2.08 2.02 3/499 9343 /proc/meminfo: memFree=29066008/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=32336 CPUtime=882.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 27690 0 0 0 85734 2496 0 0 25 0 1 0 819274063 33112064 7103 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 8084 7103 741 1205 0 6875 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 32336 [startup+942.3 s] /proc/loadavg: 2.06 2.07 2.02 3/499 9345 /proc/meminfo: memFree=29065756/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=33596 CPUtime=942.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28017 0 0 0 91522 2708 0 0 25 0 1 0 819274063 34402304 7430 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 8399 7430 741 1205 0 7190 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 33596 [startup+1002.3 s] /proc/loadavg: 2.02 2.05 2.01 3/499 9347 /proc/meminfo: memFree=29063768/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=35000 CPUtime=1002.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28371 0 0 0 97325 2905 0 0 25 0 1 0 819274063 35840000 7784 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 8750 7784 741 1205 0 7541 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 35000 [startup+1062.3 s] /proc/loadavg: 2.01 2.04 2.01 3/499 9349 /proc/meminfo: memFree=29062272/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=36116 CPUtime=1062.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28646 0 0 0 103114 3117 0 0 25 0 1 0 819274063 36982784 8059 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9029 8059 741 1205 0 7820 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 36116 [startup+1122.3 s] /proc/loadavg: 2.00 2.03 2.00 3/499 9351 /proc/meminfo: memFree=29061516/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=36344 CPUtime=1122.3 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28702 0 0 0 108904 3326 0 0 25 0 1 0 819274063 37216256 8115 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9086 8115 741 1205 0 7877 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 36344 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 9351 /proc/meminfo: memFree=29060148/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=37028 CPUtime=1182.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29608 0 0 0 114705 3526 0 0 25 0 1 0 819274063 37916672 8285 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9257 8285 741 1205 0 8048 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 37028 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 9353 /proc/meminfo: memFree=29058648/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=37028 CPUtime=1242.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29624 0 0 0 120480 3751 0 0 25 0 1 0 819274063 37916672 8301 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9257 8301 741 1205 0 8048 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 37028 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9355 /proc/meminfo: memFree=29057648/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=37448 CPUtime=1302.32 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29733 0 0 0 126284 3948 0 0 25 0 1 0 819274063 38346752 8410 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9362 8410 741 1205 0 8153 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 37448 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 9357 /proc/meminfo: memFree=29057248/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=37688 CPUtime=1362.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29793 0 0 0 132075 4156 0 0 25 0 1 0 819274063 38592512 8470 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9422 8470 741 1205 0 8213 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 37688 [startup+1422.32 s] /proc/loadavg: 2.25 2.07 2.02 3/499 9359 /proc/meminfo: memFree=29055128/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=39052 CPUtime=1422.32 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30122 0 0 0 137878 4354 0 0 25 0 1 0 819274063 39989248 8799 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9763 8799 741 1205 0 8554 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 39052 [startup+1482.3 s] /proc/loadavg: 2.16 2.08 2.02 3/499 9359 /proc/meminfo: memFree=29054620/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=39052 CPUtime=1482.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30126 0 0 0 143675 4556 0 0 25 0 1 0 819274063 39989248 8803 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9763 8803 741 1205 0 8554 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 39052 [startup+1542.3 s] /proc/loadavg: 2.05 2.06 2.01 3/499 9361 /proc/meminfo: memFree=29056092/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=39052 CPUtime=1542.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30127 0 0 0 149462 4769 0 0 25 0 1 0 819274063 39989248 8804 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 9763 8804 741 1205 0 8554 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 39052 [startup+1602.3 s] /proc/loadavg: 2.02 2.05 2.01 3/499 9363 /proc/meminfo: memFree=29054464/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=40308 CPUtime=1602.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30446 0 0 0 155257 4974 0 0 25 0 1 0 819274063 41275392 9123 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 10077 9123 741 1205 0 8868 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 40308 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/499 9365 /proc/meminfo: memFree=29051224/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=40308 CPUtime=1662.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30460 0 0 0 161049 5182 0 0 25 0 1 0 819274063 41275392 9137 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 10077 9137 741 1205 0 8868 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 40308 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/499 9367 /proc/meminfo: memFree=29051092/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=40308 CPUtime=1722.31 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30468 0 0 0 166851 5380 0 0 25 0 1 0 819274063 41275392 9145 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 10077 9145 741 1205 0 8868 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 40308 [startup+1782.3 s] /proc/loadavg: 2.13 2.05 2.01 3/499 9394 /proc/meminfo: memFree=28280232/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=40480 CPUtime=1782.32 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30509 0 0 0 172635 5597 0 0 25 0 1 0 819274063 41451520 9186 33554432000 4194304 9128323 140735289126688 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9308/statm: 10120 9186 741 1205 0 8911 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 40480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.10 2.05 2.01 3/499 9396 /proc/meminfo: memFree=27585544/32951132 swapFree=57925096/67111528 [pid=9308] ppid=9306 vsize=40480 CPUtime=1800.03 cores=1,3,5,7 /proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30512 0 0 0 174326 5677 0 0 18 0 1 0 819274063 41451520 9189 33554432000 4194304 9128323 140735289126688 18446744073709551615 4746787 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9308/statm: 10120 9189 743 1205 0 8911 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 40480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.04 CPU user time (s): 1743.27 CPU system time (s): 56.7744 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 41936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.27 system time used= 56.7744 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30512 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3081 runsolver used 8.77966 second user time and 20.5059 second system time The end
Begin job on node129 at 2011-06-03 06:52:24 IDJOB=3452663 IDBENCH=1955 IDSOLVER=1949 FILE ID=node129/3452663-1307076744 RUNJOBID= node129-1307068417-8254 PBS_JOBID= 13497857 Free space on /tmp= 73856 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452663-1307076744/watcher-3452663-1307076744 -o /tmp/evaluation-result-3452663-1307076744/solver-3452663-1307076744 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452663-1307076744.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b RANDOM SEED=1471498340 node129.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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.82 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.831 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.74 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.831 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.83 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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: 32951132 kB MemFree: 29106396 kB Buffers: 301252 kB Cached: 2090920 kB SwapCached: 49348 kB Active: 409880 kB Inactive: 3154072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29106396 kB SwapTotal: 67111528 kB SwapFree: 57925096 kB Dirty: 20180 kB Writeback: 0 kB AnonPages: 1133748 kB Mapped: 17808 kB Slab: 152884 kB PageTables: 59200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 147345116 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73828 MiB End job on node129 at 2011-06-03 07:22:26