Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | 194 | 1797.06 | 1797.04 |
| 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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488923-1307761283.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.02 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.02 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.5
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 = 1797
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
0.99/1.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.09 c t 1.1s| 1 | 0 | 10593 | - |2664k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 4.780000e+02 | 218.98%
0.99/1.09 o 355
0.99/1.09 c r 1.1s| 1 | 0 | 10593 | - |2677k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.550000e+02 | 136.90%
0.99/1.09 o 354
0.99/1.09 c R 1.1s| 1 | 0 | 10593 | - |2690k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.540000e+02 | 136.23%
0.99/1.10 o 353
0.99/1.10 c s 1.1s| 1 | 0 | 10593 | - |2704k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.530000e+02 | 135.56%
1.29/1.31 o 224
1.29/1.31 c y 1.3s| 1 | 0 | 10593 | - |3080k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 2.240000e+02 | 49.48%
1.79/1.88 c 1.9s| 1 | 0 | 15013 | - |3009k| 0 | 390 | 478 | 570 | 478 | 791 | 221 | 0 | 0 | 1.569297e+02 | 2.240000e+02 | 42.74%
2.49/2.56 c 2.6s| 1 | 0 | 18188 | - |3261k| 0 | 424 | 478 | 570 | 478 | 970 | 400 | 0 | 0 | 1.604786e+02 | 2.240000e+02 | 39.58%
3.20/3.26 c 3.3s| 1 | 0 | 20884 | - |3469k| 0 | 433 | 478 | 570 | 478 |1113 | 543 | 0 | 0 | 1.626169e+02 | 2.240000e+02 | 37.75%
3.79/3.87 c 3.9s| 1 | 0 | 22665 | - |3598k| 0 | 442 | 478 | 570 | 478 |1212 | 642 | 0 | 0 | 1.635069e+02 | 2.240000e+02 | 37.00%
4.40/4.45 c 4.4s| 1 | 0 | 23869 | - |3670k| 0 | 448 | 478 | 570 | 478 |1282 | 712 | 0 | 0 | 1.639810e+02 | 2.240000e+02 | 36.60%
4.89/4.97 c 5.0s| 1 | 0 | 24586 | - |3716k| 0 | 446 | 478 | 570 | 478 |1324 | 754 | 0 | 0 | 1.642741e+02 | 2.240000e+02 | 36.36%
5.40/5.43 c 5.4s| 1 | 0 | 24942 | - |3739k| 0 | 448 | 478 | 570 | 478 |1348 | 778 | 0 | 0 | 1.643771e+02 | 2.240000e+02 | 36.27%
5.69/5.79 c 5.8s| 1 | 0 | 24970 | - |3746k| 0 | 453 | 478 | 570 | 478 |1351 | 781 | 0 | 0 | 1.643808e+02 | 2.240000e+02 | 36.27%
6.19/6.22 c 6.2s| 1 | 0 | 25224 | - |3758k| 0 | 449 | 478 | 570 | 478 |1360 | 790 | 0 | 0 | 1.644220e+02 | 2.240000e+02 | 36.23%
6.50/6.57 c 6.6s| 1 | 0 | 25247 | - |3766k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 0 | 1.644225e+02 | 2.240000e+02 | 36.23%
10.39/10.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.39/10.40 c 10.4s| 1 | 2 | 25247 | - |3786k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 24 | 1.644225e+02 | 2.240000e+02 | 36.23%
30.39/30.46 o 223
30.39/30.46 c c30.5s| 15 | 16 | 41257 |1143.6 |4570k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.230000e+02 | 35.49%
30.39/30.46 o 222
30.39/30.46 c c30.5s| 15 | 16 | 41258 |1143.6 |4571k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.39/30.46 o 222
30.39/30.46 c c30.5s| 15 | 16 | 41259 |1143.7 |4573k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.39/30.46 o 221
30.39/30.46 c c30.5s| 15 | 16 | 41268 |1144.4 |4575k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.39/30.46 o 221
30.39/30.46 c c30.5s| 15 | 16 | 41290 |1145.9 |4578k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.39/30.46 o 220
30.39/30.46 c c30.5s| 15 | 16 | 41301 |1146.7 |4581k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.200000e+02 | 33.67%
30.39/30.47 o 219
30.39/30.47 c c30.5s| 15 | 16 | 41344 |1149.8 |4585k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.39/30.48 o 219
30.39/30.48 c c30.5s| 15 | 16 | 41396 |1153.5 |4599k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.39/30.49 o 216
30.39/30.49 c b30.5s| 16 | 15 | 41489 |1082.8 |4489k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.160000e+02 | 31.24%
32.09/32.10 o 215
32.09/32.10 c p32.1s| 27 | 28 | 52949 |1065.5 |4683k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.150000e+02 | 30.56%
32.09/32.10 o 213
32.09/32.10 c p32.1s| 27 | 28 | 52953 |1065.6 |4684k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.130000e+02 | 29.34%
32.09/32.10 o 212
32.09/32.10 c p32.1s| 27 | 28 | 52955 |1065.7 |4685k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.120000e+02 | 28.74%
32.09/32.10 o 209
32.09/32.10 c p32.1s| 27 | 28 | 52962 |1066.0 |4687k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.090000e+02 | 26.91%
32.09/32.10 o 208
32.09/32.10 c p32.1s| 27 | 28 | 52965 |1066.1 |4688k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.080000e+02 | 26.31%
32.09/32.11 o 207
32.09/32.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.09/32.11 c p32.1s| 27 | 28 | 52970 |1066.3 |4689k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.070000e+02 | 25.70%
32.09/32.11 o 206
32.09/32.11 c p32.1s| 27 | 28 | 52981 |1066.7 |4691k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.060000e+02 | 25.09%
32.09/32.11 o 205
32.09/32.11 c p32.1s| 27 | 28 | 52991 |1067.1 |4693k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.050000e+02 | 24.49%
32.09/32.11 o 204
32.09/32.11 c p32.1s| 27 | 28 | 52992 |1067.1 |4694k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.040000e+02 | 23.88%
32.09/32.11 o 203
32.09/32.11 c p32.1s| 27 | 28 | 52995 |1067.2 |4695k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.030000e+02 | 23.27%
32.09/32.11 o 202
32.09/32.11 c p32.1s| 27 | 28 | 53007 |1067.7 |4701k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.020000e+02 | 22.66%
32.09/32.11 o 201
32.09/32.11 c p32.1s| 27 | 28 | 53008 |1067.7 |4702k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.010000e+02 | 22.06%
32.09/32.11 o 200
32.09/32.11 c p32.1s| 27 | 28 | 53011 |1067.8 |4703k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.000000e+02 | 21.45%
32.09/32.11 o 199
32.09/32.11 c p32.1s| 27 | 28 | 53014 |1068.0 |4705k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 1.990000e+02 | 20.84%
78.19/78.29 o 199
78.19/78.29 c p78.3s| 237 | 238 |416040 |1655.9 |4942k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 302 | 1.647264e+02 | 1.990000e+02 | 20.81%
182.29/182.34 o 198
182.29/182.34 c p 182s| 600 | 601 | 1189k|1943.1 |5175k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 483 | 1.650589e+02 | 1.980000e+02 | 19.96%
182.29/182.34 o 197
182.29/182.34 c p 182s| 600 | 601 | 1189k|1943.2 |5178k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 483 | 1.650589e+02 | 1.970000e+02 | 19.35%
182.29/182.35 o 196
182.29/182.35 c p 182s| 600 | 601 | 1189k|1943.2 |5179k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 483 | 1.650589e+02 | 1.960000e+02 | 18.75%
1145.21/1145.21 c 1145s| 10000 | 10001 | 8224k| 820.0 | 11M| 91 | 372 | 478 | 576 | 478 | 985 | 792 | 6 |1920 | 1.659174e+02 | 1.960000e+02 | 18.13%
1599.82/1599.86 o 195
1599.82/1599.86 c p1600s| 15590 | 15591 | 11546k| 739.1 | 15M| 91 | - | 478 | 579 | 478 | 985 | 792 | 9 |2454 | 1.660430e+02 | 1.950000e+02 | 17.44%
1599.82/1599.86 o 195
1599.82/1599.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.82/1599.86 c p1600s| 15590 | 15591 | 11546k| 739.1 | 15M| 91 | - | 478 | 579 | 478 | 985 | 792 | 9 |2454 | 1.660430e+02 | 1.950000e+02 | 17.44%
1599.92/1599.90 o 194
1599.92/1599.90 c b1600s| 15591 | 15592 | 11546k| 739.0 | 15M| 91 | 404 | 478 | 579 | 478 | 985 | 792 | 9 |2454 | 1.660430e+02 | 1.940000e+02 | 16.84%
1797.01/1797.01 c
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Solving Time (sec) : 1797.01
1797.01/1797.01 c Solving Nodes : 17990
1797.01/1797.01 c Primal Bound : +1.94000000000000e+02 (856 solutions)
1797.01/1797.01 c Dual Bound : +1.66081004517055e+02
1797.01/1797.01 c Gap : 16.81 %
1797.01/1797.01 s SATISFIABLE
1797.01/1797.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
1797.01/1797.01 v -x455 -x454 x453 -x452 -x451 x450 -x449 -x448 x447 x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 x438 -x437 x436 x435 -x434
1797.01/1797.01 v x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
1797.01/1797.01 v x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 x400 x399 x398 -x397 x396 -x395 -x394 x393 -x392 -x391 -x390
1797.01/1797.01 v -x389 x388 x387 -x386 -x385 x384 x383 -x382 x381 -x380 -x379 -x378 x377 x376 x375 x374 -x373 -x372 -x371 x370 x369 -x368
1797.01/1797.01 v x367 x366 x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 x348 -x347 -x346
1797.01/1797.01 v x345 -x344 x343 x342 x341 -x340 -x339 -x338 -x337 -x336 x335 x334 x333 -x332 -x331 x330 -x329 x328 x327 -x326 -x325 -x324 x323
1797.01/1797.01 v x322 x321 -x320 x319 x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301
1797.01/1797.01 v -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 x291 -x290 x289 -x288 -x287 x286 -x285 x284 -x283 -x282 x281 -x280 x279
1797.01/1797.01 v x278 x277 -x276 -x275 x274 x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 -x258 x257
1797.01/1797.01 v -x256 -x255 x254 -x253 x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 -x239 x238 -x237 x236 x235
1797.01/1797.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
1797.01/1797.01 v -x211 x210 x209 -x208 x207 -x206 x205 x204 -x203 x202 x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 x193 x192 x191 x190 x189
1797.01/1797.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 x180 x179 -x178 -x177 x176 x175 x174 -x173 -x172 -x171 x170 -x169 -x168 x167
1797.01/1797.01 v -x166 -x165 x164 x163 -x162 -x161 x160 -x159 -x158 x157 -x156 x155 -x154 -x153 -x152 x151 x150 -x149 x148 -x147 -x146 -x145 -x144
1797.01/1797.01 v -x143 -x142 x141 x140 x139 -x138 -x137 x136 -x135 x134 x133 x132 -x131 x130 -x129 x128 x127 -x126 -x125 -x124 -x123 x122
1797.01/1797.01 v x121 -x120 -x119 x118 x117 -x116 -x115 x114 x113 -x112 x111 -x110 -x109 -x108 x107 x106 x105 -x104 x103 -x102 -x101 x100 -x99
1797.01/1797.01 v x98 -x97 -x96 -x95 x94 -x93 -x92 x91 x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 x74 -x73 x72
1797.01/1797.01 v -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 x45
1797.01/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 x18 -x17
1797.01/1797.01 v -x16 x15 x14 -x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 -x3 x2 x1
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Total Time : 1797.01
1797.01/1797.01 c solving : 1797.01
1797.01/1797.01 c presolving : 0.02 (included in solving)
1797.01/1797.01 c reading : 0.01 (included in solving)
1797.01/1797.01 c Original Problem :
1797.01/1797.01 c Problem name : HOME/instance-3488923-1307761283.opb
1797.01/1797.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 478 initial, 478 maximal
1797.01/1797.01 c Presolved Problem :
1797.01/1797.01 c Problem name : t_HOME/instance-3488923-1307761283.opb
1797.01/1797.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 570 initial, 579 maximal
1797.01/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c knapsack : 0.01 0 0 0 0 0 29 201 336 751
1797.01/1797.01 c setppc : 0.00 0 0 0 0 0 80 0 0 0
1797.01/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1797.01/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c root node : - 0 - - 0 - - - - -
1797.01/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c integral : 0 0 0 17988 0 861 0 0 0 0 0 35976
1797.01/1797.01 c knapsack : 445 11 208455 0 2 856 0 0 4640 763 0 0
1797.01/1797.01 c setppc : 122 11 208422 0 2 855 0 0 5022 0 0 0
1797.01/1797.01 c logicor : 3+ 11 4106 0 2 855 0 0 0 0 0 0
1797.01/1797.01 c countsols : 0 0 0 0 2 859 0 0 0 0 0 0
1797.01/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.01 c integral : 115.07 0.00 0.00 115.07 0.00 0.00 0.00
1797.01/1797.01 c knapsack : 1.49 0.04 1.45 0.00 0.00 0.01 0.00
1797.01/1797.01 c setppc : 0.26 0.00 0.26 0.00 0.00 0.00 0.00
1797.01/1797.01 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.01 c vbounds : 0 0 0 0
1797.01/1797.01 c rootredcost : 25 0 0 0
1797.01/1797.01 c pseudoobj : 209999 0 0 0
1797.01/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.01 c vbounds : 0.04 0.04 0.00
1797.01/1797.01 c rootredcost : 0.04 0.04 0.00
1797.01/1797.01 c pseudoobj : 1.51 1.51 0.00
1797.01/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c infeasible LP : 0.00 9 9 9 3.9 0 0.0 0
1797.01/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c applied globally : - - - 9 3.9 - - -
1797.01/1797.01 c applied locally : - - - 0 0.0 - - -
1797.01/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.01 c cut pool : 0.00 10 - - 294 - (maximal pool size: 1429)
1797.01/1797.01 c redcost : 0.12 17998 0 0 0 0
1797.01/1797.01 c impliedbounds : 0.00 11 0 0 0 0
1797.01/1797.01 c intobj : 0.00 0 0 0 0 0
1797.01/1797.01 c gomory : 1.54 11 0 0 0 0
1797.01/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.01 c strongcg : 1.51 11 0 0 0 0
1797.01/1797.01 c cmir : 0.22 10 0 0 862 0
1797.01/1797.01 c flowcover : 0.25 10 0 0 1008 0
1797.01/1797.01 c clique : 0.00 1 0 0 0 0
1797.01/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.01 c mcf : 0.00 1 0 0 0 0
1797.01/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.01 c rapidlearning : 0.07 1 0 0 0 0
1797.01/1797.01 c Pricers : Time Calls Vars
1797.01/1797.01 c problem variables: 0.00 0 0
1797.01/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c relpscost : 115.06 17988 0 0 0 0 35976
1797.01/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.01/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c random : 0.00 0 0 0 0 0 0
1797.01/1797.01 c Primal Heuristics : Time Calls Found
1797.01/1797.01 c LP solutions : 0.00 - 0
1797.01/1797.01 c pseudo solutions : 0.00 - 0
1797.01/1797.01 c oneopt : 0.01 8 2
1797.01/1797.01 c fracdiving : 46.88 36 0
1797.01/1797.01 c guideddiving : 46.07 37 0
1797.01/1797.01 c veclendiving : 75.30 78 94
1797.01/1797.01 c linesearchdiving : 73.28 93 46
1797.01/1797.01 c coefdiving : 211.77 165 185
1797.01/1797.01 c pscostdiving : 326.15 336 400
1797.01/1797.01 c trivial : 0.00 2 1
1797.01/1797.01 c shiftandpropagate: 0.00 0 0
1797.01/1797.01 c simplerounding : 0.55 17998 25
1797.01/1797.01 c zirounding : 0.40 1000 14
1797.01/1797.01 c rounding : 15.90 6001 1
1797.01/1797.01 c shifting : 4.17 1520 1
1797.01/1797.01 c intshifting : 0.00 0 0
1797.01/1797.01 c twoopt : 0.00 0 0
1797.01/1797.01 c fixandinfer : 0.00 0 0
1797.01/1797.01 c feaspump : 0.00 0 0
1797.01/1797.01 c clique : 0.00 0 0
1797.01/1797.01 c intdiving : 0.00 0 0
1797.01/1797.01 c actconsdiving : 0.00 0 0
1797.01/1797.01 c objpscostdiving : 37.69 5 84
1797.01/1797.01 c rootsoldiving : 12.10 12 0
1797.01/1797.01 c octane : 0.00 0 0
1797.01/1797.01 c rens : 0.01 0 0
1797.01/1797.01 c rins : 0.00 0 0
1797.01/1797.01 c localbranching : 0.00 0 0
1797.01/1797.01 c mutation : 0.00 0 0
1797.01/1797.01 c crossover : 0.05 2 2
1797.01/1797.01 c dins : 0.00 0 0
1797.01/1797.01 c vbounds : 0.00 0 0
1797.01/1797.01 c undercover : 0.00 0 0
1797.01/1797.01 c subnlp : 0.00 0 0
1797.01/1797.01 c trysol : 0.00 0 0
1797.01/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.01/1797.01 c dual LP : 824.03 18000 6039932 335.55 7329.73
1797.01/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.01 c diving/probing LP: 803.92 128781 6955027 54.01 8651.35
1797.01/1797.01 c strong branching : 113.64 2641 755903 286.22 6651.44
1797.01/1797.01 c (at root node) : - 24 20688 862.00 -
1797.01/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.01 c B&B Tree :
1797.01/1797.01 c number of runs : 1
1797.01/1797.01 c nodes : 17990
1797.01/1797.01 c nodes (total) : 17990
1797.01/1797.01 c nodes left : 17991
1797.01/1797.01 c max depth : 91
1797.01/1797.01 c max depth (total): 91
1797.01/1797.01 c backtracks : 1999 (11.1%)
1797.01/1797.01 c delayed cutoffs : 0
1797.01/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.01/1797.01 c avg switch length: 3.80
1797.01/1797.01 c switching time : 0.53
1797.01/1797.01 c Solution :
1797.01/1797.01 c Solutions found : 856 (35 improvements)
1797.01/1797.01 c First Solution : +4.78000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.01/1797.01 c Primal Bound : +1.94000000000000e+02 (in run 1, after 15591 nodes, 1599.90 seconds, depth 11, found by <oneopt>)
1797.01/1797.01 c Dual Bound : +1.66081004517055e+02
1797.01/1797.01 c Gap : 16.81 %
1797.01/1797.01 c Root Dual Bound : +1.64422542324259e+02
1797.01/1797.01 c Root Iterations : 25247
1797.01/1797.03 c Time complete: 1797.05.
OK 194
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488923-1307761283/watcher-3488923-1307761283 -o /tmp/evaluation-result-3488923-1307761283/solver-3488923-1307761283 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488923-1307761283.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.02 2.01 2.00 2/177 19860 /proc/meminfo: memFree=31683328/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=13108 CPUtime=0 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 2228 0 0 0 0 0 0 0 25 0 1 0 887726980 13422592 2183 33554432000 4194304 9016284 140736764505248 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19860/statm: 3277 2197 353 1178 0 2095 0 [startup+0.042821 s] /proc/loadavg: 2.02 2.01 2.00 2/177 19860 /proc/meminfo: memFree=31683328/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=22132 CPUtime=0.03 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 4718 0 0 0 3 0 0 0 25 0 1 0 887726980 22663168 4411 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 5533 4411 626 1178 0 4351 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 22132 [startup+0.100833 s] /proc/loadavg: 2.02 2.01 2.00 2/177 19860 /proc/meminfo: memFree=31683328/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=22344 CPUtime=0.09 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 4774 0 0 0 9 0 0 0 25 0 1 0 887726980 22880256 4467 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 5586 4467 626 1178 0 4404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22344 [startup+0.3008 s] /proc/loadavg: 2.02 2.01 2.00 2/177 19860 /proc/meminfo: memFree=31683328/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=22588 CPUtime=0.29 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 4830 0 0 0 29 0 0 0 25 0 1 0 887726980 23130112 4523 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 5647 4523 627 1178 0 4465 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22588 [startup+0.700732 s] /proc/loadavg: 2.02 2.01 2.00 2/177 19860 /proc/meminfo: memFree=31683328/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=22588 CPUtime=0.69 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 4858 0 0 0 68 1 0 0 25 0 1 0 887726980 23130112 4551 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 5647 4551 627 1178 0 4465 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22588 [startup+1.5006 s] /proc/loadavg: 2.02 2.01 2.00 3/178 19861 /proc/meminfo: memFree=31667108/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31396 CPUtime=1.49 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 8483 0 0 0 147 2 0 0 25 0 1 0 887726980 32149504 6758 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 7849 6758 694 1178 0 6667 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31396 [startup+3.10022 s] /proc/loadavg: 2.02 2.01 2.00 3/178 19861 /proc/meminfo: memFree=31658676/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31644 CPUtime=3.09 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 8545 0 0 0 305 4 0 0 25 0 1 0 887726980 32403456 6820 33554432000 4194304 9016284 140736764505248 18446744073709551615 7178576 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 7911 6820 696 1178 0 6729 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31644 [startup+6.30079 s] /proc/loadavg: 2.02 2.01 2.00 3/178 19861 /proc/meminfo: memFree=31658124/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=6.29 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 8620 0 0 0 623 6 0 0 25 0 1 0 887726980 32747520 6895 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 7995 6895 696 1178 0 6813 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31980 [startup+12.7007 s] /proc/loadavg: 2.01 2.01 2.00 3/178 19861 /proc/meminfo: memFree=31656832/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=33004 CPUtime=12.69 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 8975 0 0 0 1258 11 0 0 25 0 1 0 887726980 33796096 7250 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 8251 7250 699 1178 0 7069 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33004 [startup+25.5006 s] /proc/loadavg: 2.01 2.01 2.00 3/178 19861 /proc/meminfo: memFree=31657200/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=33004 CPUtime=25.49 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 8977 0 0 0 2528 21 0 0 25 0 1 0 887726980 33796096 7252 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19860/statm: 8251 7252 701 1178 0 7069 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33004 [startup+51.1003 s] /proc/loadavg: 2.01 2.00 2.00 3/178 19862 /proc/meminfo: memFree=31656916/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=33004 CPUtime=51.09 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 8978 0 0 0 5057 52 0 0 25 0 1 0 887726980 33796096 7253 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 8251 7253 702 1178 0 7069 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 33004 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19863 /proc/meminfo: memFree=31656872/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=102.3 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 10353 0 0 0 10125 105 0 0 25 0 1 0 887726980 32747520 7016 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7016 704 1178 0 6813 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 31980 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19865 /proc/meminfo: memFree=31656148/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=162.3 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 10353 0 0 0 16067 163 0 0 25 0 1 0 887726980 32747520 7016 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7016 704 1178 0 6813 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 31980 [startup+222.3 s] /proc/loadavg: 2.11 2.03 2.01 3/178 19869 /proc/meminfo: memFree=31655860/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=222.29 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 12145 0 0 0 22012 217 0 0 25 0 1 0 887726980 32747520 7020 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7020 707 1178 0 6813 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 31980 [startup+282.3 s] /proc/loadavg: 2.04 2.02 2.00 3/178 19871 /proc/meminfo: memFree=31655692/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=282.29 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 12148 0 0 0 27958 271 0 0 25 0 1 0 887726980 32747520 7023 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7023 707 1178 0 6813 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 31980 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 19873 /proc/meminfo: memFree=31655176/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=342.29 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 12807 0 0 0 33902 327 0 0 25 0 1 0 887726980 32747520 7025 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7025 708 1178 0 6813 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 31980 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 19874 /proc/meminfo: memFree=31653536/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=402.3 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 13696 0 0 0 39848 382 0 0 25 0 1 0 887726980 32747520 7028 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7028 708 1178 0 6813 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 31980 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/178 19876 /proc/meminfo: memFree=31652768/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=462.3 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 13697 0 0 0 45791 439 0 0 25 0 1 0 887726980 32747520 7029 33554432000 4194304 9016284 140736764505248 18446744073709551615 7219225 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7029 708 1178 0 6813 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 31980 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19877 /proc/meminfo: memFree=31651992/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=522.3 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 13700 0 0 0 51736 494 0 0 25 0 1 0 887726980 32747520 7032 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7032 708 1178 0 6813 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 31980 [startup+582.301 s] /proc/loadavg: 2.03 2.01 2.00 3/178 19879 /proc/meminfo: memFree=31651828/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=31980 CPUtime=582.29 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 13701 0 0 0 57673 556 0 0 25 0 1 0 887726980 32747520 7033 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 7995 7033 708 1178 0 6813 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 31980 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31641048/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=37024 CPUtime=1122.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 14959 0 0 0 111158 1073 0 0 25 0 1 0 887726980 37912576 8291 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9256 8291 708 1178 0 8074 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 37024 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19895 /proc/meminfo: memFree=31640892/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=37248 CPUtime=1182.3 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15015 0 0 0 117099 1131 0 0 25 0 1 0 887726980 38141952 8347 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9312 8347 708 1178 0 8130 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 37248 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19897 /proc/meminfo: memFree=31639868/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=37400 CPUtime=1242.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15043 0 0 0 123047 1184 0 0 25 0 1 0 887726980 38297600 8375 33554432000 4194304 9016284 140736764505248 18446744073709551615 4786429 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9350 8375 708 1178 0 8168 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 37400 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19898 /proc/meminfo: memFree=31639468/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=37636 CPUtime=1302.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15105 0 0 0 128990 1241 0 0 25 0 1 0 887726980 38539264 8437 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9409 8437 708 1178 0 8227 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 37636 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19900 /proc/meminfo: memFree=31637824/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=38312 CPUtime=1362.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15303 0 0 0 134934 1297 0 0 25 0 1 0 887726980 39231488 8635 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9578 8635 708 1178 0 8396 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 38312 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19901 /proc/meminfo: memFree=31634696/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=39324 CPUtime=1422.32 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15557 0 0 0 140873 1359 0 0 25 0 1 0 887726980 40267776 8889 33554432000 4194304 9016284 140736764505248 18446744073709551615 7091829 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9831 8889 708 1178 0 8649 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 39324 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19903 /proc/meminfo: memFree=31634548/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=39608 CPUtime=1482.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15613 0 0 0 146812 1419 0 0 25 0 1 0 887726980 40558592 8945 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9902 8945 708 1178 0 8720 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 39608 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19905 /proc/meminfo: memFree=31634392/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=39608 CPUtime=1542.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15634 0 0 0 152759 1472 0 0 25 0 1 0 887726980 40558592 8966 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9902 8966 708 1178 0 8720 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 39608 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19906 /proc/meminfo: memFree=31633124/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=39868 CPUtime=1602.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15688 0 0 0 158703 1528 0 0 25 0 1 0 887726980 40824832 9020 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 9967 9020 708 1178 0 8785 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 39868 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19946 /proc/meminfo: memFree=30465980/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=40192 CPUtime=1662.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15772 0 0 0 164646 1585 0 0 25 0 1 0 887726980 41156608 9104 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10048 9104 708 1178 0 8866 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 40192 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19947 /proc/meminfo: memFree=30229284/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=40992 CPUtime=1722.31 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15963 0 0 0 170591 1640 0 0 25 0 1 0 887726980 41975808 9295 33554432000 4194304 9016284 140736764505248 18446744073709551615 7180632 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10248 9295 708 1178 0 9066 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 40992 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30227628/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=40992 CPUtime=1782.32 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15968 0 0 0 176535 1697 0 0 25 0 1 0 887726980 41975808 9300 33554432000 4194304 9016284 140736764505248 18446744073709551615 7190391 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10248 9300 708 1178 0 9066 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 40992 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30227736/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=40992 CPUtime=1785.52 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 15968 0 0 0 176853 1699 0 0 25 0 1 0 887726980 41975808 9300 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10248 9300 708 1178 0 9066 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 40992 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30227236/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=41384 CPUtime=1791.93 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 16076 0 0 0 177488 1705 0 0 25 0 1 0 887726980 42377216 9408 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10346 9408 708 1178 0 9164 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 41384 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30226740/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=41692 CPUtime=1795.12 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 16157 0 0 0 177805 1707 0 0 25 0 1 0 887726980 42692608 9489 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10423 9489 708 1178 0 9241 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (KiB) 41692 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30226740/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=41692 CPUtime=1795.92 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 16158 0 0 0 177884 1708 0 0 25 0 1 0 887726980 42692608 9490 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10423 9490 708 1178 0 9241 0 Current children cumulated CPU time (s) 1795.92 Current children cumulated vsize (KiB) 41692 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30226740/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=41692 CPUtime=1796.72 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 16158 0 0 0 177964 1708 0 0 25 0 1 0 887726980 42692608 9490 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10423 9490 708 1178 0 9241 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 41692 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30226740/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=41692 CPUtime=1796.91 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 16158 0 0 0 177983 1708 0 0 25 0 1 0 887726980 42692608 9490 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10423 9490 708 1178 0 9241 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 41692 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/178 19949 /proc/meminfo: memFree=30226740/32950928 swapFree=67050648/67111528 [pid=19860] ppid=19858 vsize=41692 CPUtime=1797.01 cores=0,2,4,6 /proc/19860/stat : 19860 (scip-2.0.1.4b_2) R 19858 19860 19488 0 -1 4202496 16158 0 0 0 177993 1708 0 0 25 0 1 0 887726980 42692608 9490 33554432000 4194304 9016284 140736764505248 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19860/statm: 10423 9490 708 1178 0 9241 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 41692 Child status: 0 Real time (s): 1797.04 CPU time (s): 1797.06 CPU user time (s): 1779.97 CPU system time (s): 17.0914 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 41692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.97 system time used= 17.0914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16166 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= 7 involuntary context switches= 3048 runsolver used 2.67359 second user time and 5.49916 second system time The end
Begin job on node126 at 2011-06-11 05:01:23 IDJOB=3488923 IDBENCH=1955 IDSOLVER=1979 FILE ID=node126/3488923-1307761283 RUNJOBID= node126-1307759435-19506 PBS_JOBID= 13550866 Free space on /tmp= 74152 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) 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.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488923-1307761283/watcher-3488923-1307761283 -o /tmp/evaluation-result-3488923-1307761283/solver-3488923-1307761283 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488923-1307761283.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b RANDOM SEED=376201236 node126.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.783 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.56 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.74 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.783 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.80 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.82 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.783 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31684012 kB Buffers: 261864 kB Cached: 763780 kB SwapCached: 14888 kB Active: 501916 kB Inactive: 566388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31684012 kB SwapTotal: 67111528 kB SwapFree: 67050648 kB Dirty: 16860 kB Writeback: 0 kB AnonPages: 39900 kB Mapped: 12064 kB Slab: 133264 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 235036 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74120 MiB End job on node126 at 2011-06-11 05:31:20