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) | OPT | -30 | 1473.37 | 1473.33 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
| MD5SUM | 65bafde3eb06761afc4fe90b6aa8c264 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 481.663 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | YES |
| Number of variables | 450 |
| Total number of constraints | 17827 |
| Number of constraints which are clauses | 17827 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| 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 | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| 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-3488845-1307768099.opb>
0.06/0.09 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17827 constraints
0.06/0.09 c problem read
0.06/0.09 c presolving settings loaded
0.09/0.11 o 0
0.09/0.11 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.11 c presolving:
0.09/0.18 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17827 upgd conss, 35654 impls, 0 clqs
0.29/0.34 c (0.3s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.34 c presolving (2 rounds):
0.29/0.34 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.34 c 35654 implications, 0 cliques
0.29/0.34 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17827 constraints
0.29/0.34 c 17827 constraints of type <setppc>
0.29/0.34 c transformed objective value is always integral (scale: 1)
0.29/0.34 c Presolving Time: 0.23
0.29/0.34 c - non default parameters ----------------------------------------------------------------------
0.29/0.34 c # SCIP version 2.0.1.5
0.29/0.34 c
0.29/0.34 c # frequency for displaying node information lines
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.34 c display/freq = 10000
0.29/0.34 c
0.29/0.34 c # maximal time in seconds to run
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/time = 1797
0.29/0.34 c
0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/memory = 13950
0.29/0.34 c
0.29/0.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.34 c # [type: int, range: [1,2], default: 1]
0.29/0.34 c timing/clocktype = 2
0.29/0.34 c
0.29/0.34 c # belongs reading time to solving time?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c timing/reading = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify inequalities
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/linear/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/indicator/addCouplingCons = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify knapsacks
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.34 c separating/rapidlearning/freq = 0
0.29/0.34 c
0.29/0.34 c -----------------------------------------------------------------------------------------------
0.29/0.34 c start solving
0.29/0.34 c
0.49/0.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.50 c t 0.5s| 1 | 0 | 450 | - | 22M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 | 0.000000e+00 | 100.00%
0.49/0.51 o -1
0.49/0.51 c R 0.5s| 1 | 0 | 450 | - | 22M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-1.000000e+00 | 99.56%
0.69/0.77 c 0.8s| 1 | 0 | 607 | - | 22M| 0 | 412 | 450 | 17k| 450 | 17k| 4 | 0 | 0 |-2.060000e+02 |-1.000000e+00 | 99.51%
0.69/0.77 o -19
0.69/0.77 c b 0.8s| 1 | 0 | 607 | - | 22M| 0 | 412 | 450 | 17k| 450 | 17k| 4 | 0 | 0 |-2.060000e+02 |-1.900000e+01 | 90.78%
0.99/1.08 c 1.1s| 1 | 0 | 782 | - | 22M| 0 | 344 | 450 | 17k| 450 | 17k| 54 | 0 | 0 |-1.720000e+02 |-1.900000e+01 | 88.95%
1.39/1.45 c 1.5s| 1 | 0 | 950 | - | 22M| 0 | 305 | 450 | 17k| 450 | 17k| 81 | 0 | 0 |-1.525000e+02 |-1.900000e+01 | 87.54%
1.79/1.86 c 1.9s| 1 | 0 | 1240 | - | 22M| 0 | 259 | 450 | 17k| 450 | 17k| 100 | 0 | 0 |-1.295000e+02 |-1.900000e+01 | 85.33%
2.29/2.33 c 2.3s| 1 | 0 | 1659 | - | 22M| 0 | 233 | 450 | 17k| 450 | 17k| 112 | 0 | 0 |-1.157500e+02 |-1.900000e+01 | 83.59%
2.70/2.76 c 2.8s| 1 | 0 | 2073 | - | 22M| 0 | 198 | 450 | 17k| 450 | 17k| 134 | 0 | 0 |-9.825000e+01 |-1.900000e+01 | 80.66%
3.09/3.18 c 3.2s| 1 | 0 | 2474 | - | 22M| 0 | 165 | 450 | 17k| 450 | 17k| 149 | 0 | 0 |-8.250000e+01 |-1.900000e+01 | 76.97%
3.49/3.55 c 3.5s| 1 | 0 | 2918 | - | 22M| 0 | 142 | 450 | 17k| 450 | 17k| 162 | 0 | 0 |-7.100000e+01 |-1.900000e+01 | 73.24%
3.79/3.88 c 3.9s| 1 | 0 | 3187 | - | 22M| 0 | 142 | 450 | 17k| 450 | 17k| 169 | 0 | 0 |-6.625000e+01 |-1.900000e+01 | 71.32%
4.19/4.20 c 4.2s| 1 | 0 | 3358 | - | 22M| 0 | 118 | 450 | 17k| 450 | 18k| 178 | 0 | 0 |-5.450000e+01 |-1.900000e+01 | 65.14%
4.29/4.36 c 4.4s| 1 | 0 | 3487 | - | 22M| 0 | 116 | 450 | 17k| 450 | 18k| 186 | 0 | 0 |-4.950000e+01 |-1.900000e+01 | 61.62%
4.59/4.63 c 4.6s| 1 | 0 | 4042 | - | 22M| 0 | 93 | 450 | 17k| 450 | 18k| 200 | 0 | 0 |-4.266667e+01 |-1.900000e+01 | 55.47%
4.69/4.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.69/4.80 c 4.8s| 1 | 0 | 4199 | - | 22M| 0 | 96 | 450 | 17k| 450 | 18k| 209 | 0 | 0 |-3.700000e+01 |-1.900000e+01 | 48.65%
4.89/4.98 c 5.0s| 1 | 0 | 4478 | - | 22M| 0 | 91 | 450 | 17k| 450 | 18k| 217 | 0 | 0 |-3.450000e+01 |-1.900000e+01 | 44.93%
5.09/5.12 c 5.1s| 1 | 0 | 4534 | - | 22M| 0 | 104 | 450 | 17k| 450 | 18k| 224 | 0 | 0 |-3.350000e+01 |-1.900000e+01 | 43.28%
5.29/5.30 c 5.3s| 1 | 0 | 4698 | - | 23M| 0 | 89 | 450 | 17k| 450 | 18k| 240 | 0 | 0 |-3.300000e+01 |-1.900000e+01 | 42.42%
5.40/5.46 c 5.5s| 1 | 0 | 4788 | - | 23M| 0 | 102 | 450 | 17k| 450 | 17k| 252 | 0 | 0 |-3.300000e+01 |-1.900000e+01 | 42.42%
5.69/5.74 c 5.7s| 1 | 0 | 5271 | - | 23M| 0 | 96 | 450 | 17k| 450 | 18k| 266 | 0 | 0 |-3.300000e+01 |-1.900000e+01 | 42.42%
5.99/6.01 c 6.0s| 1 | 0 | 5874 | - | 23M| 0 | 87 | 450 | 17k| 450 | 18k| 273 | 0 | 0 |-3.300000e+01 |-1.900000e+01 | 42.42%
6.09/6.18 c 6.2s| 1 | 0 | 5946 | - | 23M| 0 | 105 | 450 | 17k| 450 | 18k| 277 | 0 | 0 |-3.300000e+01 |-1.900000e+01 | 42.42%
6.29/6.37 c 6.4s| 1 | 0 | 6270 | - | 23M| 0 | 104 | 450 | 17k| 450 | 18k| 290 | 0 | 0 |-3.200000e+01 |-1.900000e+01 | 40.62%
6.50/6.57 c 6.6s| 1 | 0 | 6763 | - | 23M| 0 | 84 | 450 | 17k| 450 | 18k| 301 | 0 | 0 |-3.175000e+01 |-1.900000e+01 | 40.16%
6.60/6.67 c 6.7s| 1 | 0 | 6827 | - | 23M| 0 | 97 | 450 | 17k| 450 | 17k| 315 | 0 | 0 |-3.100000e+01 |-1.900000e+01 | 38.71%
6.69/6.78 c 6.8s| 1 | 0 | 6906 | - | 23M| 0 | 110 | 450 | 17k| 450 | 17k| 329 | 0 | 0 |-3.100000e+01 |-1.900000e+01 | 38.71%
8.09/8.14 c 8.1s| 1 | 0 | 7381 | - | 23M| 0 | 107 | 450 | 17k| 450 | 17k| 336 | 0 | 0 |-3.100000e+01 |-1.900000e+01 | 38.71%
8.19/8.27 c 8.3s| 1 | 0 | 7530 | - | 24M| 0 | 112 | 450 | 17k| 450 | 18k| 349 | 0 | 0 |-3.100000e+01 |-1.900000e+01 | 38.71%
8.59/8.61 c 8.6s| 1 | 0 | 8219 | - | 24M| 0 | 115 | 450 | 17k| 450 | 18k| 359 | 0 | 0 |-3.050000e+01 |-1.900000e+01 | 37.70%
8.70/8.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.70/8.80 c 8.8s| 1 | 0 | 8526 | - | 24M| 0 | 117 | 450 | 17k| 450 | 18k| 371 | 0 | 0 |-3.050000e+01 |-1.900000e+01 | 37.70%
10.09/10.11 c 10.1s| 1 | 0 | 8695 | - | 24M| 0 | 124 | 450 | 17k| 450 | 17k| 379 | 0 | 0 |-3.000000e+01 |-1.900000e+01 | 36.67%
11.29/11.36 c 11.4s| 1 | 0 | 8778 | - | 24M| 0 | 130 | 450 | 17k| 450 | 17k| 389 | 0 | 0 |-3.000000e+01 |-1.900000e+01 | 36.67%
12.79/12.84 c 12.8s| 1 | 0 | 8851 | - | 24M| 0 | 132 | 450 | 17k| 450 | 18k| 397 | 0 | 0 |-3.000000e+01 |-1.900000e+01 | 36.67%
14.39/14.44 c 14.4s| 1 | 0 | 8978 | - | 24M| 0 | 128 | 450 | 17k| 450 | 18k| 407 | 0 | 0 |-3.000000e+01 |-1.900000e+01 | 36.67%
15.99/16.03 c 16.0s| 1 | 0 | 9905 | - | 24M| 0 | 135 | 450 | 17k| 450 | 18k| 419 | 0 | 0 |-3.000000e+01 |-1.900000e+01 | 36.67%
16.09/16.16 c 16.2s| 1 | 0 | 9998 | - | 24M| 0 | 130 | 450 | 17k| 450 | 18k| 433 | 0 | 0 |-3.000000e+01 |-1.900000e+01 | 36.67%
16.99/17.02 o -20
16.99/17.02 c E17.0s| 1 | 0 | 9998 | - | 24M| 0 | 130 | 450 | 17k| 450 | 18k| 433 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
16.99/17.03 c 17.0s| 1 | 0 | 9998 | - | 24M| 0 | 130 | 450 | 17k| 450 | 18k| 433 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
16.99/17.03 o -21
16.99/17.03 c b17.0s| 1 | 0 | 9998 | - | 24M| 0 | 130 | 450 | 17k| 450 | 18k| 433 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 30.00%
18.49/18.58 c 18.6s| 1 | 0 | 10083 | - | 24M| 0 | 144 | 450 | 17k| 450 | 18k| 444 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 30.00%
24.19/24.21 c 24.2s| 1 | 2 | 10083 | - | 24M| 0 | 144 | 450 | 17k| 450 | 18k| 444 | 0 | 33 |-3.000000e+01 |-2.100000e+01 | 30.00%
41.09/41.18 o -22
41.09/41.18 c *41.2s| 13 | 10 | 10961 | 73.2 | 24M| 12 | - | 450 | 17k| 450 | 17k| 444 | 0 | 259 |-3.000000e+01 |-2.200000e+01 | 26.67%
44.29/44.36 o -23
44.29/44.36 c *44.4s| 22 | 16 | 11365 | 61.0 | 25M| 13 | - | 450 | 17k| 450 | 17k| 444 | 0 | 410 |-3.000000e+01 |-2.300000e+01 | 23.33%
56.39/56.46 o -25
56.39/56.46 c c56.5s| 35 | 19 | 12686 | 76.6 | 25M| 13 | - | 450 | 17k| 450 | 17k| 444 | 0 | 616 |-3.000000e+01 |-2.500000e+01 | 16.67%
69.90/69.95 o -26
69.90/69.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.90/69.95 c *69.9s| 288 | 109 | 22954 | 44.8 | 27M| 26 | - | 450 | 17k| 450 | 17k| 444 | 0 | 790 |-3.000000e+01 |-2.600000e+01 | 13.33%
87.49/87.59 o -27
87.49/87.59 c z87.6s| 1505 | 319 | 52891 | 28.5 | 30M| 43 | - | 450 | 17k| 450 | 17k| 444 | 0 |1006 |-3.000000e+01 |-2.700000e+01 | 10.00%
125.40/125.44 o -28
125.40/125.44 c * 125s| 4120 | 723 |131227 | 29.4 | 37M| 58 | - | 450 | 17k| 450 | 17k| 444 | 0 |1311 |-3.000000e+01 |-2.800000e+01 | 6.67%
205.70/205.77 c 206s| 10000 | 1941 |298114 | 28.8 | 53M| 58 | 43 | 450 | 17k| 450 | 17k| 444 | 0 |1905 |-3.000000e+01 |-2.800000e+01 | 6.67%
318.10/318.15 c 318s| 20000 | 3037 |521311 | 25.6 | 69M| 83 | - | 450 | 17k| 450 | 17k| 444 | 0 |2816 |-3.000000e+01 |-2.800000e+01 | 6.67%
417.71/417.71 c 418s| 30000 | 3653 |724642 | 23.8 | 79M| 83 | 96 | 450 | 17k| 450 | 17k| 444 | 0 |3585 |-3.000000e+01 |-2.800000e+01 | 6.67%
496.31/496.32 c 496s| 40000 | 4361 |896968 | 22.2 | 90M| 83 | 51 | 450 | 17k| 450 | 17k| 444 | 0 |3712 |-3.000000e+01 |-2.800000e+01 | 6.67%
577.51/577.55 c 578s| 50000 | 5155 | 1074k| 21.3 | 101M| 85 | 51 | 450 | 17k| 450 | 17k| 444 | 0 |3931 |-3.000000e+01 |-2.800000e+01 | 6.67%
604.70/604.78 o -29
604.70/604.78 c * 605s| 52869 | 282 | 1133k| 21.2 | 33M| 85 | - | 450 | 17k| 450 | 17k| 444 | 0 |4076 |-3.000000e+01 |-2.900000e+01 | 3.33%
680.51/680.51 c 681s| 60000 | 225 | 1306k| 21.6 | 32M| 85 | 52 | 450 | 17k| 450 | 17k| 444 | 0 |4558 |-3.000000e+01 |-2.900000e+01 | 3.33%
790.52/790.59 c 791s| 70000 | 167 | 1559k| 22.1 | 31M| 85 | - | 450 | 17k| 450 | 17k| 444 | 0 |5316 |-3.000000e+01 |-2.900000e+01 | 3.33%
893.91/893.90 c 894s| 80000 | 85 | 1801k| 22.4 | 28M| 85 | 59 | 450 | 17k| 450 | 17k| 444 | 0 |5911 |-3.000000e+01 |-2.900000e+01 | 3.33%
993.72/993.75 c 994s| 90000 | 77 | 2043k| 22.6 | 28M| 85 | 48 | 450 | 17k| 450 | 17k| 444 | 0 |6396 |-3.000000e+01 |-2.900000e+01 | 3.33%
1093.22/1093.21 c 1093s|100000 | 91 | 2274k| 22.6 | 28M| 85 | - | 450 | 17k| 450 | 17k| 444 | 0 |6927 |-3.000000e+01 |-2.900000e+01 | 3.33%
1197.52/1197.58 c 1198s|110000 | 121 | 2515k| 22.8 | 30M| 85 | - | 450 | 17k| 450 | 17k| 444 | 0 |7461 |-3.000000e+01 |-2.900000e+01 | 3.33%
1294.23/1294.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.23/1294.26 c 1294s|120000 | 101 | 2741k| 22.8 | 29M| 85 | 83 | 450 | 17k| 450 | 17k| 444 | 0 |7949 |-3.000000e+01 |-2.900000e+01 | 3.33%
1393.33/1393.37 c 1393s|130000 | 147 | 2975k| 22.8 | 30M| 85 | 61 | 450 | 17k| 450 | 17k| 444 | 0 |8377 |-3.000000e+01 |-2.900000e+01 | 3.33%
1473.23/1473.27 o -30
1473.23/1473.27 c *1473s|137655 | 0 | 3172k| 23.0 | 25M| 85 | - | 450 | 17k| 450 | 17k| 444 | 0 |8697 |-3.000000e+01 |-3.000000e+01 | 0.00%
1473.23/1473.28 c
1473.23/1473.28 c SCIP Status : problem is solved [optimal solution found]
1473.23/1473.28 c Solving Time (sec) : 1473.28
1473.23/1473.28 c Solving Nodes : 137655
1473.23/1473.28 c Primal Bound : -3.00000000000000e+01 (480 solutions)
1473.23/1473.28 c Dual Bound : -3.00000000000000e+01
1473.23/1473.28 c Gap : 0.00 %
1473.23/1473.28 s OPTIMUM FOUND
1473.23/1473.28 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1473.23/1473.28 v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1473.23/1473.28 v -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79
1473.23/1473.28 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103
1473.23/1473.28 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124
1473.23/1473.28 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145
1473.23/1473.28 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1473.23/1473.28 v x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188
1473.23/1473.28 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209
1473.23/1473.28 v -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230
1473.23/1473.28 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1473.23/1473.28 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272
1473.23/1473.28 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1473.23/1473.28 v -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314
1473.23/1473.28 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335
1473.23/1473.28 v x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356
1473.23/1473.28 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1473.23/1473.28 v -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1473.23/1473.28 v -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1473.23/1473.28 v -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1473.23/1473.28 v -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
1473.23/1473.28 c SCIP Status : problem is solved [optimal solution found]
1473.23/1473.28 c Total Time : 1473.28
1473.23/1473.28 c solving : 1473.28
1473.23/1473.28 c presolving : 0.23 (included in solving)
1473.23/1473.28 c reading : 0.09 (included in solving)
1473.23/1473.28 c Original Problem :
1473.23/1473.28 c Problem name : HOME/instance-3488845-1307768099.opb
1473.23/1473.28 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1473.23/1473.28 c Constraints : 17827 initial, 17827 maximal
1473.23/1473.28 c Presolved Problem :
1473.23/1473.28 c Problem name : t_HOME/instance-3488845-1307768099.opb
1473.23/1473.28 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1473.23/1473.28 c Constraints : 17827 initial, 17827 maximal
1473.23/1473.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1473.23/1473.28 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c implics : 0.00 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c probing : 0.15 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c linear : 0.07 0 0 0 0 0 0 0 0 0
1473.23/1473.28 c root node : - 0 - - 0 - - - - -
1473.23/1473.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1473.23/1473.28 c integral : 0 0 0 73587 0 479 0 329 2972 0 0 143470
1473.23/1473.28 c setppc : 17827 35 217046 6 0 474 0 1 1965369 0 0 0
1473.23/1473.28 c countsols : 0 0 0 6 0 477 0 0 0 0 0 0
1473.23/1473.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1473.23/1473.28 c integral : 173.72 0.00 0.00 173.72 0.00 0.00 0.00
1473.23/1473.28 c setppc : 25.70 0.04 25.51 0.00 0.00 0.16 0.00
1473.23/1473.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1473.23/1473.28 c Propagators : #Propagate #Resprop Cutoffs DomReds
1473.23/1473.28 c vbounds : 0 0 0 0
1473.23/1473.28 c rootredcost : 8 0 0 0
1473.23/1473.28 c pseudoobj : 216969 0 0 0
1473.23/1473.28 c Propagator Timings : TotalTime Propagate Resprop
1473.23/1473.28 c vbounds : 0.07 0.07 0.00
1473.23/1473.28 c rootredcost : 0.08 0.08 0.00
1473.23/1473.28 c pseudoobj : 2.37 2.37 0.00
1473.23/1473.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1473.23/1473.28 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1473.23/1473.28 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1473.23/1473.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1473.23/1473.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1473.23/1473.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1473.23/1473.28 c applied globally : - - - 0 0.0 - - -
1473.23/1473.28 c applied locally : - - - 0 0.0 - - -
1473.23/1473.28 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1473.23/1473.28 c cut pool : 0.01 34 - - 125 - (maximal pool size: 1253)
1473.23/1473.28 c redcost : 0.58 73823 0 227 0 0
1473.23/1473.28 c impliedbounds : 0.01 35 0 0 0 0
1473.23/1473.28 c intobj : 0.00 0 0 0 0 0
1473.23/1473.28 c gomory : 11.22 35 0 0 14793 0
1473.23/1473.28 c cgmip : 0.00 0 0 0 0 0
1473.23/1473.28 c closecuts : 0.00 0 0 0 0 0
1473.23/1473.28 c strongcg : 1.12 20 0 0 9950 0
1473.23/1473.28 c cmir : 0.66 10 0 0 0 0
1473.23/1473.28 c flowcover : 0.87 10 0 0 0 0
1473.23/1473.28 c clique : 0.14 35 0 0 307 0
1473.23/1473.28 c zerohalf : 0.00 0 0 0 0 0
1473.23/1473.28 c mcf : 0.01 1 0 0 0 0
1473.23/1473.28 c oddcycle : 0.00 0 0 0 0 0
1473.23/1473.28 c rapidlearning : 0.00 0 0 0 0 0
1473.23/1473.28 c Pricers : Time Calls Vars
1473.23/1473.28 c problem variables: 0.00 0 0
1473.23/1473.28 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1473.23/1473.28 c relpscost : 173.62 73581 329 2972 0 0 143470
1473.23/1473.28 c pscost : 0.00 0 0 0 0 0 0
1473.23/1473.28 c inference : 0.00 0 0 0 0 0 0
1473.23/1473.28 c mostinf : 0.00 0 0 0 0 0 0
1473.23/1473.28 c leastinf : 0.00 0 0 0 0 0 0
1473.23/1473.28 c fullstrong : 0.00 0 0 0 0 0 0
1473.23/1473.28 c allfullstrong : 0.00 0 0 0 0 0 0
1473.23/1473.28 c random : 0.00 0 0 0 0 0 0
1473.23/1473.28 c Primal Heuristics : Time Calls Found
1473.23/1473.28 c LP solutions : 0.05 - 6
1473.23/1473.28 c pseudo solutions : 0.00 - 0
1473.23/1473.28 c feaspump : 0.01 0 0
1473.23/1473.28 c intshifting : 0.00 0 0
1473.23/1473.28 c oneopt : 0.09 11 2
1473.23/1473.28 c crossover : 1.76 21 9
1473.23/1473.28 c rootsoldiving : 2.68 32 55
1473.23/1473.28 c fracdiving : 7.37 64 2
1473.23/1473.28 c coefdiving : 5.60 64 1
1473.23/1473.28 c guideddiving : 7.54 64 0
1473.23/1473.28 c veclendiving : 2.71 64 0
1473.23/1473.28 c pscostdiving : 3.00 64 2
1473.23/1473.28 c linesearchdiving : 2.84 64 0
1473.23/1473.28 c objpscostdiving : 3.98 33 70
1473.23/1473.28 c trivial : 0.00 2 1
1473.23/1473.28 c shiftandpropagate: 0.00 0 0
1473.23/1473.28 c simplerounding : 0.82 73616 98
1473.23/1473.28 c zirounding : 9.50 11601 232
1473.23/1473.28 c rounding : 6.64 12608 1
1473.23/1473.28 c shifting : 0.73 1142 0
1473.23/1473.28 c twoopt : 0.00 0 0
1473.23/1473.28 c fixandinfer : 0.00 0 0
1473.23/1473.28 c clique : 0.00 0 0
1473.23/1473.28 c intdiving : 0.00 0 0
1473.23/1473.28 c actconsdiving : 0.00 0 0
1473.23/1473.28 c octane : 0.00 0 0
1473.23/1473.28 c rens : 0.86 1 1
1473.23/1473.28 c rins : 0.00 0 0
1473.23/1473.28 c localbranching : 0.00 0 0
1473.23/1473.28 c mutation : 0.00 0 0
1473.23/1473.28 c dins : 0.00 0 0
1473.23/1473.28 c vbounds : 0.00 0 0
1473.23/1473.28 c undercover : 0.00 0 0
1473.23/1473.28 c subnlp : 0.06 0 0
1473.23/1473.28 c trysol : 0.04 0 0
1473.23/1473.28 c LP : Time Calls Iterations Iter/call Iter/sec
1473.23/1473.28 c primal LP : 0.02 0 0 0.00 0.00
1473.23/1473.28 c dual LP : 1037.38 139206 3089234 22.19 2977.91
1473.23/1473.28 c lex dual LP : 0.00 0 0 0.00 -
1473.23/1473.28 c barrier LP : 0.00 0 0 0.00 -
1473.23/1473.28 c diving/probing LP: 30.45 4628 82960 17.93 2724.25
1473.23/1473.28 c strong branching : 170.33 8697 434623 49.97 2551.70
1473.23/1473.28 c (at root node) : - 33 13100 396.97 -
1473.23/1473.28 c conflict analysis: 0.00 0 0 0.00 -
1473.23/1473.28 c B&B Tree :
1473.23/1473.28 c number of runs : 1
1473.23/1473.28 c nodes : 137655
1473.23/1473.28 c nodes (total) : 137655
1473.23/1473.28 c nodes left : 0
1473.23/1473.28 c max depth : 85
1473.23/1473.28 c max depth (total): 85
1473.23/1473.28 c backtracks : 15993 (11.6%)
1473.23/1473.28 c delayed cutoffs : 0
1473.23/1473.28 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1473.23/1473.28 c avg switch length: 3.59
1473.23/1473.28 c switching time : 33.63
1473.23/1473.28 c Solution :
1473.23/1473.28 c Solutions found : 480 (13 improvements)
1473.23/1473.28 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.10 seconds, depth 0, found by <trivial>)
1473.23/1473.28 c Primal Bound : -3.00000000000000e+01 (in run 1, after 137655 nodes, 1473.27 seconds, depth 30, found by <relaxation>)
1473.23/1473.28 c Dual Bound : -3.00000000000000e+01
1473.23/1473.28 c Gap : 0.00 %
1473.23/1473.28 c Root Dual Bound : -3.00000000000000e+01
1473.23/1473.28 c Root Iterations : 10083
1473.33/1473.33 c Time complete: 1473.36.
OK -30
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-3488845-1307768099/watcher-3488845-1307768099 -o /tmp/evaluation-result-3488845-1307768099/solver-3488845-1307768099 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488845-1307768099.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 1.96 1.92 2/174 12138 /proc/meminfo: memFree=31584856/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=12700 CPUtime=0 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 2155 0 0 0 0 0 0 0 25 0 1 0 888410316 13004800 2109 33554432000 4194304 9016284 140735818970272 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12138/statm: 3175 2122 353 1178 0 1993 0 [startup+0.0624249 s] /proc/loadavg: 2.00 1.96 1.92 2/174 12138 /proc/meminfo: memFree=31584856/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=18668 CPUtime=0.06 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 3660 0 0 0 6 0 0 0 25 0 1 0 888410316 19116032 3614 33554432000 4194304 9016284 140735818970272 18446744073709551615 7869834 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12138/statm: 4667 3614 360 1178 0 3485 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18668 [startup+0.10042 s] /proc/loadavg: 2.00 1.96 1.92 2/174 12138 /proc/meminfo: memFree=31584856/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=28372 CPUtime=0.09 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 6053 0 0 0 9 0 0 0 25 0 1 0 888410316 29052928 6007 33554432000 4194304 9016284 140735818970272 18446744073709551615 4320503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 7093 6007 406 1178 0 5911 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28372 [startup+0.300392 s] /proc/loadavg: 2.00 1.96 1.92 2/174 12138 /proc/meminfo: memFree=31584856/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=44056 CPUtime=0.29 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 10324 0 0 0 29 0 0 0 25 0 1 0 888410316 45113344 9745 33554432000 4194304 9016284 140735818970272 18446744073709551615 4982658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 11014 9745 507 1178 0 9832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44056 [startup+0.700309 s] /proc/loadavg: 2.00 1.96 1.92 2/174 12138 /proc/meminfo: memFree=31584856/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=70956 CPUtime=0.69 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 17521 0 0 0 68 1 0 0 25 0 1 0 888410316 72658944 16226 33554432000 4194304 9016284 140735818970272 18446744073709551615 6235152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 17739 16226 814 1178 0 16557 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 70956 [startup+1.50017 s] /proc/loadavg: 2.00 1.96 1.92 3/175 12139 /proc/meminfo: memFree=31522132/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=73188 CPUtime=1.49 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 18461 0 0 0 147 2 0 0 25 0 1 0 888410316 74944512 17045 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 18297 17045 782 1178 0 17115 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 73188 [startup+3.10087 s] /proc/loadavg: 2.00 1.96 1.92 3/175 12139 /proc/meminfo: memFree=31519776/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=74804 CPUtime=3.09 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 18990 0 0 0 306 3 0 0 25 0 1 0 888410316 76599296 17524 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 18701 17524 734 1178 0 17519 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 74804 [startup+6.30029 s] /proc/loadavg: 2.00 1.96 1.92 3/175 12139 /proc/meminfo: memFree=31516620/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=76276 CPUtime=6.29 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 19244 0 0 0 624 5 0 0 25 0 1 0 888410316 78106624 17716 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 19069 17716 674 1178 0 17887 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 76276 [startup+12.7001 s] /proc/loadavg: 2.00 1.96 1.92 3/175 12139 /proc/meminfo: memFree=31512784/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=79148 CPUtime=12.69 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 20018 0 0 0 1260 9 0 0 25 0 1 0 888410316 81047552 18487 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 19787 18487 672 1178 0 18605 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79148 [startup+25.5008 s] /proc/loadavg: 2.00 1.96 1.92 3/175 12139 /proc/meminfo: memFree=31484708/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=107220 CPUtime=25.49 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 27212 0 0 0 2528 21 0 0 25 0 1 0 888410316 109793280 25634 33554432000 4194304 9016284 140735818970272 18446744073709551615 7180945 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 26805 25634 685 1178 0 25623 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107220 [startup+51.1002 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12140 /proc/meminfo: memFree=31484768/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=107220 CPUtime=51.1 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 27212 0 0 0 5069 41 0 0 25 0 1 0 888410316 109793280 25634 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 26805 25634 685 1178 0 25623 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 107220 [startup+102.306 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12141 /proc/meminfo: memFree=31482448/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=107388 CPUtime=102.3 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 31837 0 0 0 10147 83 0 0 25 0 1 0 888410316 109965312 25964 33554432000 4194304 9016284 140735818970272 18446744073709551615 6606489 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 26847 25964 689 1178 0 25665 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 107388 [startup+162.301 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12143 /proc/meminfo: memFree=31483660/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=106308 CPUtime=162.29 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 50249 0 0 0 16095 134 0 0 25 0 1 0 888410316 108859392 25697 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 26577 25697 689 1178 0 25395 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 106308 [startup+222.301 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12145 /proc/meminfo: memFree=31474324/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=117464 CPUtime=222.3 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 60427 0 0 0 22049 181 0 0 25 0 1 0 888410316 120283136 28254 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 29366 28254 689 1178 0 28184 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 117464 [startup+282.3 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12146 /proc/meminfo: memFree=31465120/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=126692 CPUtime=282.29 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 69657 0 0 0 28004 225 0 0 25 0 1 0 888410316 129732608 30517 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12138/statm: 31673 30517 689 1178 0 30491 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 126692 [startup+342.3 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12148 /proc/meminfo: memFree=31458636/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=132852 CPUtime=342.3 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 78101 0 0 0 33959 271 0 0 25 0 1 0 888410316 136040448 32120 33554432000 4194304 9016284 140735818970272 18446744073709551615 6523992 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 33213 32120 689 1178 0 32031 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 132852 [startup+402.3 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12158 /proc/meminfo: memFree=31449552/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=141176 CPUtime=402.3 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 80163 0 0 0 39901 329 0 0 25 0 1 0 888410316 144564224 34181 33554432000 4194304 9016284 140735818970272 18446744073709551615 7103671 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 35294 34181 689 1178 0 34112 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 141176 [startup+462.3 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12160 /proc/meminfo: memFree=31443184/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=147268 CPUtime=462.3 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 88682 0 0 0 45844 386 0 0 25 0 1 0 888410316 150802432 35799 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 36817 35799 689 1178 0 35635 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 147268 [startup+522.301 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12162 /proc/meminfo: memFree=31432868/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=157856 CPUtime=522.3 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 91236 0 0 0 51776 454 0 0 25 0 1 0 888410316 161644544 38353 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 39464 38353 689 1178 0 38282 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 157856 [startup+582.301 s] /proc/loadavg: 2.00 1.97 1.92 3/175 12166 /proc/meminfo: memFree=31424308/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=165900 CPUtime=582.31 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 93216 0 0 0 57717 514 0 0 25 0 1 0 888410316 169881600 40333 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 41475 40333 689 1178 0 40293 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 165900 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31421680/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168544 CPUtime=822.31 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 139165 0 0 0 81443 788 0 0 25 0 1 0 888410316 172589056 41009 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42136 41009 690 1178 0 40954 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 168544 [startup+882.301 s] /proc/loadavg: 2.04 1.99 1.92 3/175 12174 /proc/meminfo: memFree=31422280/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=167896 CPUtime=882.31 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 145546 0 0 0 87370 861 0 0 25 0 1 0 888410316 171925504 40834 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 41974 40834 690 1178 0 40792 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 167896 [startup+942.3 s] /proc/loadavg: 2.01 1.99 1.92 3/175 12176 /proc/meminfo: memFree=31421748/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168396 CPUtime=942.31 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 145723 0 0 0 93299 932 0 0 25 0 1 0 888410316 172437504 41011 33554432000 4194304 9016284 140735818970272 18446744073709551615 7080773 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42099 41011 690 1178 0 40917 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 168396 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12177 /proc/meminfo: memFree=31421944/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168396 CPUtime=1002.32 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 145726 0 0 0 99229 1003 0 0 25 0 1 0 888410316 172437504 41014 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42099 41014 690 1178 0 40917 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 168396 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12179 /proc/meminfo: memFree=31421660/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168396 CPUtime=1062.33 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 145728 0 0 0 105159 1074 0 0 25 0 1 0 888410316 172437504 41016 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42099 41016 690 1178 0 40917 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 168396 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12181 /proc/meminfo: memFree=31421252/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168396 CPUtime=1122.32 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 145740 0 0 0 111090 1142 0 0 25 0 1 0 888410316 172437504 41028 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42099 41028 690 1178 0 40917 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 168396 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12220 /proc/meminfo: memFree=31506916/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1182.33 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152055 0 0 0 117019 1214 0 0 25 0 1 0 888410316 172482560 40943 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 40943 690 1178 0 40928 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 168440 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12222 /proc/meminfo: memFree=31506520/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1242.33 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152093 0 0 0 122934 1299 0 0 25 0 1 0 888410316 172482560 40981 33554432000 4194304 9016284 140735818970272 18446744073709551615 6930497 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 40981 690 1178 0 40928 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 168440 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12223 /proc/meminfo: memFree=31506860/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1302.33 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152103 0 0 0 128840 1393 0 0 25 0 1 0 888410316 172482560 40991 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 40991 690 1178 0 40928 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 168440 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.92 3/175 12225 /proc/meminfo: memFree=31453764/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1362.34 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152158 0 0 0 134744 1490 0 0 25 0 1 0 888410316 172482560 41046 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41046 690 1178 0 40928 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 168440 [startup+1422.31 s] /proc/loadavg: 2.03 2.00 1.93 3/175 12227 /proc/meminfo: memFree=31453608/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1422.34 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152181 0 0 0 140649 1585 0 0 25 0 1 0 888410316 172482560 41069 33554432000 4194304 9016284 140735818970272 18446744073709551615 6927115 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41069 690 1178 0 40928 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 168440 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 2.02 2.00 1.93 3/175 12227 /proc/meminfo: memFree=31453720/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1433.54 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152181 0 0 0 141753 1601 0 0 25 0 1 0 888410316 172482560 41069 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41069 690 1178 0 40928 0 Current children cumulated CPU time (s) 1433.54 Current children cumulated vsize (KiB) 168440 [startup+1459.1 s] /proc/loadavg: 2.01 2.00 1.93 3/175 12228 /proc/meminfo: memFree=31448380/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1459.13 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152212 0 0 0 144268 1645 0 0 25 0 1 0 888410316 172482560 41100 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41100 690 1178 0 40928 0 Current children cumulated CPU time (s) 1459.13 Current children cumulated vsize (KiB) 168440 [startup+1465.5 s] /proc/loadavg: 2.01 2.00 1.93 3/175 12228 /proc/meminfo: memFree=31448380/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1465.53 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152222 0 0 0 144897 1656 0 0 25 0 1 0 888410316 172482560 41110 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41110 690 1178 0 40928 0 Current children cumulated CPU time (s) 1465.53 Current children cumulated vsize (KiB) 168440 [startup+1468.7 s] /proc/loadavg: 2.01 2.00 1.93 4/175 12228 /proc/meminfo: memFree=31448380/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1468.73 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152223 0 0 0 145210 1663 0 0 25 0 1 0 888410316 172482560 41111 33554432000 4194304 9016284 140735818970272 18446744073709551615 6524012 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41111 690 1178 0 40928 0 Current children cumulated CPU time (s) 1468.73 Current children cumulated vsize (KiB) 168440 [startup+1471.9 s] /proc/loadavg: 2.01 2.00 1.93 3/175 12228 /proc/meminfo: memFree=31448504/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1471.93 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152223 0 0 0 145525 1668 0 0 25 0 1 0 888410316 172482560 41111 33554432000 4194304 9016284 140735818970272 18446744073709551615 7199063 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41111 690 1178 0 40928 0 Current children cumulated CPU time (s) 1471.93 Current children cumulated vsize (KiB) 168440 [startup+1472.7 s] /proc/loadavg: 2.01 2.00 1.93 3/175 12228 /proc/meminfo: memFree=31448504/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1472.74 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152223 0 0 0 145604 1670 0 0 25 0 1 0 888410316 172482560 41111 33554432000 4194304 9016284 140735818970272 18446744073709551615 7142731 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41111 690 1178 0 40928 0 Current children cumulated CPU time (s) 1472.74 Current children cumulated vsize (KiB) 168440 [startup+1473.1 s] /proc/loadavg: 2.01 2.00 1.93 3/175 12228 /proc/meminfo: memFree=31448504/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1473.13 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152223 0 0 0 145643 1670 0 0 25 0 1 0 888410316 172482560 41111 33554432000 4194304 9016284 140735818970272 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41111 690 1178 0 40928 0 Current children cumulated CPU time (s) 1473.13 Current children cumulated vsize (KiB) 168440 [startup+1473.3 s] /proc/loadavg: 2.01 2.00 1.93 3/175 12228 /proc/meminfo: memFree=31448504/32951124 swapFree=67060628/67111528 [pid=12138] ppid=12136 vsize=168440 CPUtime=1473.33 cores=1,3,5,7 /proc/12138/stat : 12138 (scip-2.0.1.4b_2) R 12136 12138 8673 0 -1 4202496 152225 0 0 0 145663 1670 0 0 18 0 1 0 888410316 172482560 41113 33554432000 4194304 9016284 140735818970272 18446744073709551615 6469248 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12138/statm: 42110 41113 692 1178 0 40928 0 Current children cumulated CPU time (s) 1473.33 Current children cumulated vsize (KiB) 168440 Child status: 0 Real time (s): 1473.33 CPU time (s): 1473.37 CPU user time (s): 1456.66 CPU system time (s): 16.7145 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 192696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1456.66 system time used= 16.7145 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152230 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2439 runsolver used 1.91571 second user time and 4.87626 second system time The end
Begin job on node106 at 2011-06-11 06:54:59 IDJOB=3488845 IDBENCH=2236 IDSOLVER=1979 FILE ID=node106/3488845-1307768099 RUNJOBID= node106-1307767442-11903 PBS_JOBID= 13550854 Free space on /tmp= 74004 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.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-3488845-1307768099/watcher-3488845-1307768099 -o /tmp/evaluation-result-3488845-1307768099/solver-3488845-1307768099 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488845-1307768099.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED=784699857 node106.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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.20 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.830 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.830 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.830 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.830 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.830 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.830 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: 32951124 kB MemFree: 31585416 kB Buffers: 122584 kB Cached: 799748 kB SwapCached: 12488 kB Active: 512756 kB Inactive: 694856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31585416 kB SwapTotal: 67111528 kB SwapFree: 67060628 kB Dirty: 17148 kB Writeback: 12 kB AnonPages: 283440 kB Mapped: 13060 kB Slab: 93740 kB PageTables: 4676 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 458176 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= 73988 MiB End job on node106 at 2011-06-11 07:19:33