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 | -37 | 1797.32 | 1797.32 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
| MD5SUM | 9984e76947bf9addca42277d72ff7107 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -38 |
| Best CPU time to get the best result obtained on this benchmark | 1797.31 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -40 |
| Optimality of the best value was proved | YES |
| Number of variables | 760 |
| Total number of constraints | 41314 |
| Number of constraints which are clauses | 41314 |
| 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 | 760 |
| 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 | 760 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 760 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-3488952-1307768315.opb>
0.19/0.20 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41314 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.24 o 0
0.19/0.24 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.24 c presolving:
0.39/0.42 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41314 upgd conss, 82628 impls, 0 clqs
0.89/0.95 c (0.9s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.95 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.95 c presolving (2 rounds):
0.89/0.95 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.95 c 82628 implications, 0 cliques
0.89/0.95 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41314 constraints
0.89/0.95 c 41314 constraints of type <setppc>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.71
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c # SCIP version 2.0.1.5
0.89/0.95 c
0.89/0.95 c # frequency for displaying node information lines
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95 c display/freq = 10000
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/time = 1797
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/memory = 13950
0.89/0.95 c
0.89/0.95 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.95 c # [type: int, range: [1,2], default: 1]
0.89/0.95 c timing/clocktype = 2
0.89/0.95 c
0.89/0.95 c # belongs reading time to solving time?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c timing/reading = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify inequalities
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/linear/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/indicator/addCouplingCons = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify knapsacks
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c separating/rapidlearning/freq = 0
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.95 c
1.39/1.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.46 c t 1.5s| 1 | 0 | 760 | - | 51M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
1.39/1.49 o -1
1.39/1.49 c R 1.5s| 1 | 0 | 760 | - | 51M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
1.49/1.51 o -2
1.49/1.51 c s 1.5s| 1 | 0 | 760 | - | 51M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | 99.47%
2.10/2.15 c 2.1s| 1 | 0 | 1053 | - | 51M| 0 | 709 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.545000e+02 |-2.000000e+00 | 99.44%
2.10/2.16 o -27
2.10/2.16 c b 2.2s| 1 | 0 | 1053 | - | 51M| 0 | 709 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.545000e+02 |-2.700000e+01 | 92.38%
2.99/3.04 c 3.0s| 1 | 0 | 1336 | - | 51M| 0 | 659 | 760 | 41k| 760 | 41k| 26 | 0 | 0 |-3.295000e+02 |-2.700000e+01 | 91.81%
3.99/4.09 c 4.1s| 1 | 0 | 1566 | - | 51M| 0 | 606 | 760 | 41k| 760 | 41k| 51 | 0 | 0 |-3.030000e+02 |-2.700000e+01 | 91.09%
5.08/5.31 c 5.3s| 1 | 0 | 1808 | - | 51M| 0 | 576 | 760 | 41k| 760 | 41k| 61 | 0 | 0 |-2.880000e+02 |-2.700000e+01 | 90.62%
5.83/6.52 c 6.5s| 1 | 0 | 1988 | - | 51M| 0 | 541 | 760 | 41k| 760 | 41k| 74 | 0 | 0 |-2.705000e+02 |-2.700000e+01 | 90.02%
5.83/7.90 c 7.9s| 1 | 0 | 2248 | - | 51M| 0 | 505 | 760 | 41k| 760 | 41k| 86 | 0 | 0 |-2.520000e+02 |-2.700000e+01 | 89.29%
5.83/9.44 c 9.4s| 1 | 0 | 2818 | - | 51M| 0 | 454 | 760 | 41k| 760 | 41k| 102 | 0 | 0 |-2.270000e+02 |-2.700000e+01 | 88.11%
10.69/10.79 c 10.8s| 1 | 0 | 3247 | - | 51M| 0 | 428 | 760 | 41k| 760 | 41k| 116 | 0 | 0 |-2.140000e+02 |-2.700000e+01 | 87.38%
12.20/12.29 c 12.3s| 1 | 0 | 4150 | - | 51M| 0 | 388 | 760 | 41k| 760 | 41k| 132 | 0 | 0 |-1.935000e+02 |-2.700000e+01 | 86.05%
13.69/13.74 c 13.7s| 1 | 0 | 4772 | - | 51M| 0 | 354 | 760 | 41k| 760 | 41k| 149 | 0 | 0 |-1.770000e+02 |-2.700000e+01 | 84.75%
14.19/14.26 c 14.3s| 1 | 0 | 5109 | - | 51M| 0 | 340 | 760 | 41k| 760 | 41k| 159 | 0 | 0 |-1.692500e+02 |-2.700000e+01 | 84.05%
15.09/15.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.09/15.14 c 15.1s| 1 | 0 | 6202 | - | 51M| 0 | 304 | 760 | 41k| 760 | 41k| 174 | 0 | 0 |-1.505000e+02 |-2.700000e+01 | 82.06%
15.79/15.81 c 15.8s| 1 | 0 | 6882 | - | 51M| 0 | 281 | 760 | 41k| 760 | 41k| 185 | 0 | 0 |-1.403000e+02 |-2.700000e+01 | 80.76%
16.28/16.32 c 16.3s| 1 | 0 | 7337 | - | 51M| 0 | 265 | 760 | 41k| 760 | 41k| 196 | 0 | 0 |-1.303000e+02 |-2.700000e+01 | 79.28%
17.28/17.33 c 17.3s| 1 | 0 | 8721 | - | 51M| 0 | 229 | 760 | 41k| 760 | 41k| 210 | 0 | 0 |-1.145000e+02 |-2.700000e+01 | 76.42%
17.78/17.80 c 17.8s| 1 | 0 | 9102 | - | 51M| 0 | 222 | 760 | 41k| 760 | 41k| 226 | 0 | 0 |-1.051667e+02 |-2.700000e+01 | 74.33%
18.27/18.33 c 18.3s| 1 | 0 | 9582 | - | 52M| 0 | 212 | 760 | 41k| 760 | 41k| 236 | 0 | 0 |-9.891667e+01 |-2.700000e+01 | 72.70%
18.97/19.06 c 19.1s| 1 | 0 | 10582 | - | 52M| 0 | 197 | 760 | 41k| 760 | 41k| 247 | 0 | 0 |-9.191667e+01 |-2.700000e+01 | 70.63%
19.47/19.56 c 19.6s| 1 | 0 | 11002 | - | 52M| 0 | 160 | 760 | 41k| 760 | 41k| 256 | 0 | 0 |-7.850000e+01 |-2.700000e+01 | 65.61%
19.96/20.03 c 20.0s| 1 | 0 | 11386 | - | 52M| 0 | 136 | 760 | 41k| 760 | 41k| 263 | 0 | 0 |-6.725000e+01 |-2.700000e+01 | 59.85%
20.36/20.41 c 20.4s| 1 | 0 | 12030 | - | 52M| 0 | 141 | 760 | 41k| 760 | 41k| 273 | 0 | 0 |-6.375000e+01 |-2.700000e+01 | 57.65%
20.66/20.72 c 20.7s| 1 | 0 | 12331 | - | 52M| 0 | 104 | 760 | 41k| 760 | 41k| 283 | 0 | 0 |-5.200000e+01 |-2.700000e+01 | 48.08%
21.17/21.27 c 21.3s| 1 | 0 | 13293 | - | 52M| 0 | 94 | 760 | 41k| 760 | 41k| 293 | 0 | 0 |-4.800000e+01 |-2.700000e+01 | 43.75%
21.47/21.59 c 21.6s| 1 | 0 | 13619 | - | 52M| 0 | 113 | 760 | 41k| 760 | 41k| 301 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
21.77/21.80 c 21.8s| 1 | 0 | 13709 | - | 52M| 0 | 114 | 760 | 41k| 760 | 41k| 315 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
21.97/22.02 c 22.0s| 1 | 0 | 13801 | - | 52M| 0 | 130 | 760 | 41k| 760 | 41k| 332 | 0 | 0 |-4.100000e+01 |-2.700000e+01 | 34.15%
22.17/22.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.17/22.28 c 22.3s| 1 | 0 | 13949 | - | 52M| 0 | 123 | 760 | 41k| 760 | 41k| 347 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
22.87/22.91 c 22.9s| 1 | 0 | 14759 | - | 52M| 0 | 103 | 760 | 41k| 760 | 41k| 361 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
23.06/23.14 c 23.1s| 1 | 0 | 14829 | - | 52M| 0 | 133 | 760 | 41k| 760 | 41k| 368 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
23.66/23.75 c 23.8s| 1 | 0 | 14907 | - | 52M| 0 | 145 | 760 | 41k| 760 | 41k| 381 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
28.27/28.35 c 28.3s| 1 | 0 | 14969 | - | 52M| 0 | 148 | 760 | 41k| 760 | 41k| 386 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
32.77/32.89 c 32.9s| 1 | 0 | 15036 | - | 52M| 0 | 145 | 760 | 41k| 760 | 41k| 396 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
37.46/37.59 c 37.6s| 1 | 0 | 15148 | - | 52M| 0 | 142 | 760 | 41k| 760 | 41k| 401 | 0 | 0 |-4.000000e+01 |-2.700000e+01 | 32.50%
48.67/48.72 c 48.7s| 1 | 2 | 15148 | - | 52M| 0 | 142 | 760 | 41k| 760 | 41k| 401 | 0 | 24 |-4.000000e+01 |-2.700000e+01 | 32.50%
69.57/69.61 o -29
69.57/69.61 c c69.6s| 15 | 13 | 16492 | 96.0 | 53M| 14 | - | 760 | 41k| 760 | 41k| 401 | 0 | 298 |-4.000000e+01 |-2.900000e+01 | 27.50%
110.86/110.96 o -31
110.86/110.96 c v 111s| 51 | 45 | 19051 | 78.1 | 55M| 16 | - | 760 | 41k| 760 | 41k| 401 | 0 | 897 |-4.000000e+01 |-3.100000e+01 | 22.50%
124.37/124.41 o -34
124.37/124.41 c o 124s| 63 | 57 | 19893 | 76.5 | 55M| 17 | 0 | 760 | 41k| 760 | 41k| 401 | 0 |1097 |-4.000000e+01 |-3.400000e+01 | 15.00%
300.66/300.72 o -35
300.66/300.72 c o 301s| 2513 | 1746 |160124 | 57.7 | 98M| 52 | 0 | 760 | 41k| 760 | 41k| 401 | 0 |1780 |-4.000000e+01 |-3.500000e+01 | 12.50%
417.76/417.86 o -36
417.76/417.86 c p 418s| 3784 | 2328 |267271 | 66.6 | 116M| 52 | - | 760 | 41k| 760 | 41k| 401 | 0 |2192 |-4.000000e+01 |-3.600000e+01 | 10.00%
685.67/685.76 o -37
685.67/685.76 c l 686s| 8449 | 3431 |537172 | 61.8 | 152M| 57 | - | 760 | 41k| 760 | 41k| 401 | 0 |2892 |-4.000000e+01 |-3.700000e+01 | 7.50%
767.37/767.42 c 767s| 10000 | 3906 |609652 | 59.5 | 163M| 57 | - | 760 | 41k| 760 | 41k| 401 | 0 |3281 |-4.000000e+01 |-3.700000e+01 | 7.50%
1212.98/1213.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.98/1213.02 c 1213s| 20000 | 7368 | 1044k| 51.5 | 234M| 57 | 101 | 760 | 41k| 760 | 41k| 401 | 0 |4494 |-4.000000e+01 |-3.700000e+01 | 7.50%
1615.29/1615.30 c 1615s| 30000 | 10456 | 1459k| 48.1 | 296M| 57 | - | 760 | 41k| 760 | 41k| 401 | 0 |5270 |-4.000000e+01 |-3.700000e+01 | 7.50%
1796.99/1797.01 c
1796.99/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.99/1797.01 c Solving Time (sec) : 1797.01
1796.99/1797.01 c Solving Nodes : 35342
1796.99/1797.01 c Primal Bound : -3.70000000000000e+01 (656 solutions)
1796.99/1797.01 c Dual Bound : -4.00000000000000e+01
1796.99/1797.01 c Gap : 7.50 %
1796.99/1797.02 s SATISFIABLE
1796.99/1797.02 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
1796.99/1797.02 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
1796.99/1797.02 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
1796.99/1797.02 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
1796.99/1797.02 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1796.99/1797.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.99/1797.02 v -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.99/1797.02 v -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.99/1797.02 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.99/1797.02 v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1796.99/1797.02 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.99/1797.02 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.99/1797.02 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.99/1797.02 v -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.99/1797.02 v x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.99/1797.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355
1796.99/1797.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.99/1797.02 v -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.99/1797.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.99/1797.02 v -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.99/1797.02 v -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460
1796.99/1797.02 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.99/1797.02 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.99/1797.02 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523
1796.99/1797.02 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.99/1797.02 v x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1796.99/1797.02 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.99/1797.02 v -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1796.99/1797.02 v -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.99/1797.02 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649
1796.99/1797.02 v x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1796.99/1797.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691
1796.99/1797.02 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1796.99/1797.02 v -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
1796.99/1797.02 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1796.99/1797.02 v -x755 -x756 -x757 x758 -x759 -x760
1796.99/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.99/1797.02 c Total Time : 1797.01
1796.99/1797.02 c solving : 1797.01
1796.99/1797.02 c presolving : 0.71 (included in solving)
1796.99/1797.02 c reading : 0.20 (included in solving)
1796.99/1797.02 c Original Problem :
1796.99/1797.02 c Problem name : HOME/instance-3488952-1307768315.opb
1796.99/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.02 c Constraints : 41314 initial, 41314 maximal
1796.99/1797.02 c Presolved Problem :
1796.99/1797.02 c Problem name : t_HOME/instance-3488952-1307768315.opb
1796.99/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.02 c Constraints : 41314 initial, 41314 maximal
1796.99/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.99/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c probing : 0.49 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c linear : 0.16 0 0 0 0 0 0 0 0 0
1796.99/1797.02 c root node : - 0 - - 0 - - - - -
1796.99/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.99/1797.02 c integral : 0 0 0 24903 0 661 0 45 772 0 0 48948
1796.99/1797.02 c setppc : 41314 33 84582 0 0 656 0 0 700068 0 0 0
1796.99/1797.02 c countsols : 0 0 0 0 0 659 0 0 0 0 0 0
1796.99/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.99/1797.02 c integral : 289.98 0.00 0.00 289.97 0.00 0.01 0.00
1796.99/1797.02 c setppc : 15.10 0.10 14.31 0.00 0.00 0.69 0.00
1796.99/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.99/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.99/1797.02 c vbounds : 0 0 0 0
1796.99/1797.02 c rootredcost : 6 0 0 0
1796.99/1797.02 c pseudoobj : 84508 0 0 0
1796.99/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1796.99/1797.02 c vbounds : 0.04 0.04 0.00
1796.99/1797.02 c rootredcost : 0.04 0.04 0.00
1796.99/1797.02 c pseudoobj : 1.80 1.80 0.00
1796.99/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.99/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.99/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.99/1797.02 c applied globally : - - - 0 0.0 - - -
1796.99/1797.02 c applied locally : - - - 0 0.0 - - -
1796.99/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.99/1797.02 c cut pool : 0.00 32 - - 84 - (maximal pool size: 1045)
1796.99/1797.02 c redcost : 0.53 25074 0 153 0 0
1796.99/1797.02 c impliedbounds : 0.01 33 0 0 0 0
1796.99/1797.02 c intobj : 0.00 0 0 0 0 0
1796.99/1797.02 c gomory : 17.91 33 0 0 15008 0
1796.99/1797.02 c cgmip : 0.00 0 0 0 0 0
1796.99/1797.02 c closecuts : 0.00 0 0 0 0 0
1796.99/1797.02 c strongcg : 2.44 20 0 0 10000 0
1796.99/1797.02 c cmir : 3.02 10 0 0 0 0
1796.99/1797.02 c flowcover : 3.55 10 0 0 0 0
1796.99/1797.02 c clique : 0.40 33 0 0 289 0
1796.99/1797.02 c zerohalf : 0.00 0 0 0 0 0
1796.99/1797.02 c mcf : 0.02 1 0 0 0 0
1796.99/1797.02 c oddcycle : 0.00 0 0 0 0 0
1796.99/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1796.99/1797.02 c Pricers : Time Calls Vars
1796.99/1797.02 c problem variables: 0.00 0 0
1796.99/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.99/1797.02 c relpscost : 289.93 24903 45 772 0 0 48948
1796.99/1797.02 c pscost : 0.00 0 0 0 0 0 0
1796.99/1797.02 c inference : 0.00 0 0 0 0 0 0
1796.99/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1796.99/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1796.99/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1796.99/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1796.99/1797.02 c random : 0.00 0 0 0 0 0 0
1796.99/1797.02 c Primal Heuristics : Time Calls Found
1796.99/1797.02 c LP solutions : 0.00 - 0
1796.99/1797.02 c pseudo solutions : 0.00 - 0
1796.99/1797.02 c feaspump : 0.00 0 0
1796.99/1797.02 c intshifting : 0.00 0 0
1796.99/1797.02 c oneopt : 0.06 8 1
1796.99/1797.02 c crossover : 3.06 14 3
1796.99/1797.02 c linesearchdiving : 22.44 176 13
1796.99/1797.02 c coefdiving : 51.28 176 8
1796.99/1797.02 c fracdiving : 71.03 176 11
1796.99/1797.02 c pscostdiving : 24.31 176 20
1796.99/1797.02 c guideddiving : 69.29 176 6
1796.99/1797.02 c veclendiving : 53.76 176 10
1796.99/1797.02 c rootsoldiving : 19.57 89 104
1796.99/1797.02 c objpscostdiving : 31.42 89 169
1796.99/1797.02 c trivial : 0.01 2 1
1796.99/1797.02 c shiftandpropagate: 0.00 0 0
1796.99/1797.02 c simplerounding : 0.43 24936 81
1796.99/1797.02 c zirounding : 29.38 11301 226
1796.99/1797.02 c rounding : 13.66 7174 1
1796.99/1797.02 c shifting : 4.10 1810 1
1796.99/1797.02 c twoopt : 0.00 0 0
1796.99/1797.02 c fixandinfer : 0.00 0 0
1796.99/1797.02 c clique : 0.00 0 0
1796.99/1797.02 c intdiving : 0.00 0 0
1796.99/1797.02 c actconsdiving : 0.00 0 0
1796.99/1797.02 c octane : 0.00 0 0
1796.99/1797.02 c rens : 0.74 1 1
1796.99/1797.02 c rins : 0.00 0 0
1796.99/1797.02 c localbranching : 0.00 0 0
1796.99/1797.02 c mutation : 0.00 0 0
1796.99/1797.02 c dins : 0.00 0 0
1796.99/1797.02 c vbounds : 0.00 0 0
1796.99/1797.02 c undercover : 0.00 0 0
1796.99/1797.02 c subnlp : 0.02 0 0
1796.99/1797.02 c trysol : 0.02 0 0
1796.99/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1796.99/1797.02 c primal LP : 0.04 0 0 0.00 0.00
1796.99/1797.02 c dual LP : 923.44 35759 1355605 37.91 1467.99
1796.99/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.99/1797.02 c barrier LP : 0.00 0 0 0.00 -
1796.99/1797.02 c diving/probing LP: 287.35 19459 310586 15.96 1080.87
1796.99/1797.02 c strong branching : 287.33 5291 352430 66.61 1226.58
1796.99/1797.02 c (at root node) : - 24 17894 745.58 -
1796.99/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.99/1797.02 c B&B Tree :
1796.99/1797.02 c number of runs : 1
1796.99/1797.02 c nodes : 35342
1796.99/1797.02 c nodes (total) : 35342
1796.99/1797.02 c nodes left : 11826
1796.99/1797.02 c max depth : 57
1796.99/1797.02 c max depth (total): 57
1796.99/1797.02 c backtracks : 5060 (14.3%)
1796.99/1797.02 c delayed cutoffs : 0
1796.99/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.99/1797.02 c avg switch length: 6.05
1796.99/1797.02 c switching time : 36.17
1796.99/1797.02 c Solution :
1796.99/1797.02 c Solutions found : 656 (10 improvements)
1796.99/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.24 seconds, depth 0, found by <trivial>)
1796.99/1797.02 c Primal Bound : -3.70000000000000e+01 (in run 1, after 8449 nodes, 685.75 seconds, depth 28, found by <linesearchdiving>)
1796.99/1797.02 c Dual Bound : -4.00000000000000e+01
1796.99/1797.02 c Gap : 7.50 %
1796.99/1797.02 c Root Dual Bound : -4.00000000000000e+01
1796.99/1797.02 c Root Iterations : 15148
1797.30/1797.31 c Time complete: 1797.31.
OK -37
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-3488952-1307768315/watcher-3488952-1307768315 -o /tmp/evaluation-result-3488952-1307768315/solver-3488952-1307768315 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488952-1307768315.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.00 2.01 2.00 2/175 25848 /proc/meminfo: memFree=30617024/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=12696 CPUtime=0 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 888431201 13000704 2121 33554432000 4194304 9016284 140737367846208 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/25848/statm: 3174 2122 353 1178 0 1992 0 [startup+0.062314 s] /proc/loadavg: 2.00 2.01 2.00 2/175 25848 /proc/meminfo: memFree=30617024/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=18860 CPUtime=0.05 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 3707 0 0 0 5 0 0 0 25 0 1 0 888431201 19312640 3661 33554432000 4194304 9016284 140737367846208 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/25848/statm: 4715 3661 360 1178 0 3533 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18860 [startup+0.100309 s] /proc/loadavg: 2.00 2.01 2.00 2/175 25848 /proc/meminfo: memFree=30617024/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=21280 CPUtime=0.09 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 4318 0 0 0 9 0 0 0 25 0 1 0 888431201 21790720 4272 33554432000 4194304 9016284 140737367846208 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/25848/statm: 5320 4272 360 1178 0 4138 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21280 [startup+0.300274 s] /proc/loadavg: 2.00 2.01 2.00 2/175 25848 /proc/meminfo: memFree=30617024/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=59200 CPUtime=0.28 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 13513 0 0 0 27 1 0 0 25 0 1 0 888431201 60620800 13438 33554432000 4194304 9016284 140737367846208 18446744073709551615 5252012 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 14800 13438 478 1178 0 13618 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 59200 [startup+0.701206 s] /proc/loadavg: 2.00 2.01 2.00 2/175 25848 /proc/meminfo: memFree=30617024/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=80760 CPUtime=0.69 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 22060 0 0 0 66 3 0 0 25 0 1 0 888431201 82698240 18831 33554432000 4194304 9016284 140737367846208 18446744073709551615 4318263 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 20190 18831 507 1178 0 19008 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 80760 [startup+1.50106 s] /proc/loadavg: 2.00 2.01 2.00 3/176 25849 /proc/meminfo: memFree=30517344/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=139620 CPUtime=1.49 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 36082 0 0 0 145 4 0 0 18 0 1 0 888431201 142970880 31797 33554432000 4194304 9016284 140737367846208 18446744073709551615 5879452 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 34905 31797 783 1178 0 33723 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 139620 [startup+3.10078 s] /proc/loadavg: 2.00 2.01 2.00 3/176 25849 /proc/meminfo: memFree=30489692/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=140088 CPUtime=3.09 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 37799 0 0 0 304 5 0 0 21 0 1 0 888431201 143450112 33248 33554432000 4194304 9016284 140737367846208 18446744073709551615 6922766 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 35022 33248 771 1178 0 33840 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140088 [startup+10.3005 s] /proc/loadavg: 2.00 2.01 2.00 3/176 25849 /proc/meminfo: memFree=30484724/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=143128 CPUtime=10.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 38534 0 0 0 1023 6 0 0 25 0 1 0 888431201 146563072 33906 33554432000 4194304 9016284 140737367846208 18446744073709551615 6270523 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 35782 33906 695 1178 0 34600 0 Current children cumulated CPU time (s) 10.29 Current children cumulated vsize (KiB) 143128 [startup+12.7011 s] /proc/loadavg: 2.22 2.05 2.02 3/176 25849 /proc/meminfo: memFree=30480280/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=146176 CPUtime=12.7 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 39348 0 0 0 1263 7 0 0 25 0 1 0 888431201 149684224 34691 33554432000 4194304 9016284 140737367846208 18446744073709551615 6259807 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 36544 34691 757 1178 0 35362 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 146176 [startup+25.5009 s] /proc/loadavg: 2.19 2.05 2.01 3/176 25849 /proc/meminfo: memFree=30478884/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=146732 CPUtime=25.47 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 39734 0 0 0 2537 10 0 0 25 0 1 0 888431201 150253568 34994 33554432000 4194304 9016284 140737367846208 18446744073709551615 7870498 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 36683 34994 675 1178 0 35501 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 146732 [startup+51.1005 s] /proc/loadavg: 2.12 2.05 2.01 3/176 25849 /proc/meminfo: memFree=30468196/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=154160 CPUtime=51.07 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 50622 0 0 0 5091 16 0 0 25 0 1 0 888431201 157859840 37598 33554432000 4194304 9016284 140737367846208 18446744073709551615 7180877 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 38540 37598 686 1178 0 37358 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 154160 [startup+102.301 s] /proc/loadavg: 2.05 2.04 2.01 3/176 25851 /proc/meminfo: memFree=30460604/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=154160 CPUtime=102.27 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 50622 0 0 0 10201 26 0 0 25 0 1 0 888431201 157859840 37598 33554432000 4194304 9016284 140737367846208 18446744073709551615 7055200 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/25848/statm: 38540 37598 686 1178 0 37358 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 154160 [startup+162.301 s] /proc/loadavg: 2.02 2.03 2.00 3/176 25862 /proc/meminfo: memFree=30425936/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=195360 CPUtime=162.25 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 60570 0 0 0 16184 41 0 0 25 0 1 0 888431201 200048640 47546 33554432000 4194304 9016284 140737367846208 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 48840 47546 687 1178 0 47658 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 195360 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/176 25864 /proc/meminfo: memFree=30411820/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=209744 CPUtime=222.26 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 64184 0 0 0 22172 54 0 0 25 0 1 0 888431201 214777856 51160 33554432000 4194304 9016284 140737367846208 18446744073709551615 7081817 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 52436 51160 687 1178 0 51254 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 209744 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/176 25865 /proc/meminfo: memFree=30407464/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=209744 CPUtime=282.27 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 64459 0 0 0 28162 65 0 0 25 0 1 0 888431201 214777856 51435 33554432000 4194304 9016284 140737367846208 18446744073709551615 7213536 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 52436 51435 687 1178 0 51254 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 209744 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/176 25866 /proc/meminfo: memFree=30397892/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=221892 CPUtime=342.26 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 70580 0 0 0 34150 76 0 0 25 0 1 0 888431201 227217408 54537 33554432000 4194304 9016284 140737367846208 18446744073709551615 6950852 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 55473 54537 687 1178 0 54291 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 221892 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25868 /proc/meminfo: memFree=30408656/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=215164 CPUtime=402.26 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 79240 0 0 0 40136 90 0 0 25 0 1 0 888431201 220327936 51912 33554432000 4194304 9016284 140737367846208 18446744073709551615 7080778 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 53791 51912 690 1178 0 52609 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 215164 [startup+462.301 s] /proc/loadavg: 2.06 2.02 2.00 3/176 25873 /proc/meminfo: memFree=30397936/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=222892 CPUtime=462.27 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 81553 0 0 0 46124 103 0 0 25 0 1 0 888431201 228241408 54216 33554432000 4194304 9016284 140737367846208 18446744073709551615 6855073 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 55723 54216 690 1178 0 54541 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 222892 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/176 25875 /proc/meminfo: memFree=30385552/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=234556 CPUtime=522.26 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 96422 0 0 0 52110 116 0 0 25 0 1 0 888431201 240185344 57202 33554432000 4194304 9016284 140737367846208 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 58639 57202 690 1178 0 57457 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 234556 [startup+582.3 s] /proc/loadavg: 2.01 2.00 2.00 3/176 25876 /proc/meminfo: memFree=30371532/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=247140 CPUtime=582.27 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 109699 0 0 0 58096 131 0 0 25 0 1 0 888431201 253071360 60683 33554432000 4194304 9016284 140737367846208 18446744073709551615 7080792 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 61785 60683 690 1178 0 60603 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 247140 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30306408/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=308176 CPUtime=1062.28 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 180912 0 0 0 105998 230 0 0 25 0 1 0 888431201 315572224 75224 33554432000 4194304 9016284 140737367846208 18446744073709551615 7080773 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 77044 75224 691 1178 0 75862 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 308176 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25891 /proc/meminfo: memFree=30296108/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=315772 CPUtime=1122.28 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 195322 0 0 0 111984 244 0 0 25 0 1 0 888431201 323350528 77429 33554432000 4194304 9016284 140737367846208 18446744073709551615 6971634 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 78943 77429 699 1178 0 77761 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 315772 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25892 /proc/meminfo: memFree=30286296/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=325312 CPUtime=1182.28 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 197699 0 0 0 117971 257 0 0 25 0 1 0 888431201 333119488 79797 33554432000 4194304 9016284 140737367846208 18446744073709551615 7142967 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 81328 79797 690 1178 0 80146 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 325312 [startup+1242.3 s] /proc/loadavg: 2.22 2.05 2.02 3/176 25931 /proc/meminfo: memFree=30165740/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=336224 CPUtime=1242.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 200372 0 0 0 123961 268 0 0 25 0 1 0 888431201 344293376 82468 33554432000 4194304 9016284 140737367846208 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 84056 82468 691 1178 0 82874 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 336224 [startup+1302.3 s] /proc/loadavg: 2.09 2.04 2.01 3/176 25933 /proc/meminfo: memFree=30144452/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=344952 CPUtime=1302.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 202487 0 0 0 129949 280 0 0 25 0 1 0 888431201 353230848 84583 33554432000 4194304 9016284 140737367846208 18446744073709551615 7082212 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 86238 84583 691 1178 0 85056 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 344952 [startup+1362.3 s] /proc/loadavg: 2.03 2.03 2.00 3/176 25935 /proc/meminfo: memFree=30140436/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=355228 CPUtime=1362.28 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 215540 0 0 0 135936 292 0 0 25 0 1 0 888431201 363753472 87445 33554432000 4194304 9016284 140737367846208 18446744073709551615 7214320 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 88807 87445 690 1178 0 87625 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 355228 [startup+1422.3 s] /proc/loadavg: 2.01 2.02 2.00 3/176 25937 /proc/meminfo: memFree=30132060/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=364296 CPUtime=1422.28 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 217749 0 0 0 141925 303 0 0 25 0 1 0 888431201 373039104 89654 33554432000 4194304 9016284 140737367846208 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 91074 89654 690 1178 0 89892 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 364296 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/176 25938 /proc/meminfo: memFree=30124596/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=372592 CPUtime=1482.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 219460 0 0 0 147914 315 0 0 25 0 1 0 888431201 381534208 91365 33554432000 4194304 9016284 140737367846208 18446744073709551615 7080744 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 93148 91365 690 1178 0 91966 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 372592 [startup+1542.3 s] /proc/loadavg: 2.04 2.03 2.00 3/176 25939 /proc/meminfo: memFree=30108204/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=385128 CPUtime=1542.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 222796 0 0 0 153903 326 0 0 25 0 1 0 888431201 394371072 94700 33554432000 4194304 9016284 140737367846208 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 96282 94700 690 1178 0 95100 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 385128 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/176 25941 /proc/meminfo: memFree=30086240/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=394888 CPUtime=1602.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 234400 0 0 0 159890 339 0 0 25 0 1 0 888431201 404365312 97724 33554432000 4194304 9016284 140737367846208 18446744073709551615 6523992 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 98722 97724 690 1178 0 97540 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 394888 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/176 25943 /proc/meminfo: memFree=30069360/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=398656 CPUtime=1662.3 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 234845 0 0 0 165880 350 0 0 25 0 1 0 888431201 408223744 98169 33554432000 4194304 9016284 140737367846208 18446744073709551615 7214556 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 99664 98169 690 1178 0 98482 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 398656 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/176 25945 /proc/meminfo: memFree=30049496/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=413624 CPUtime=1722.29 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 238567 0 0 0 171867 362 0 0 25 0 1 0 888431201 423550976 101843 33554432000 4194304 9016284 140737367846208 18446744073709551615 7180742 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 103406 101843 690 1178 0 102224 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 413624 [startup+1782.31 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25946 /proc/meminfo: memFree=30035108/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=423256 CPUtime=1782.3 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241012 0 0 0 177856 374 0 0 25 0 1 0 888431201 433414144 104286 33554432000 4194304 9016284 140737367846208 18446744073709551615 4319249 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 105814 104286 690 1178 0 104632 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 423256 Solver just ended. Dumping a history of the last processes samples [startup+1787.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25946 /proc/meminfo: memFree=30034608/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=424492 CPUtime=1787.09 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241270 0 0 0 178334 375 0 0 25 0 1 0 888431201 434679808 104544 33554432000 4194304 9016284 140737367846208 18446744073709551615 7082192 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 106123 104544 690 1178 0 104941 0 Current children cumulated CPU time (s) 1787.09 Current children cumulated vsize (KiB) 424492 [startup+1793.5 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25947 /proc/meminfo: memFree=30032372/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=425364 CPUtime=1793.49 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241656 0 0 0 178972 377 0 0 25 0 1 0 888431201 435572736 104930 33554432000 4194304 9016284 140737367846208 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 106341 104930 690 1178 0 105159 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (KiB) 425364 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25947 /proc/meminfo: memFree=30032372/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=425364 CPUtime=1795.09 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241666 0 0 0 179132 377 0 0 25 0 1 0 888431201 435572736 104940 33554432000 4194304 9016284 140737367846208 18446744073709551615 7092352 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 106341 104940 690 1178 0 105159 0 Current children cumulated CPU time (s) 1795.09 Current children cumulated vsize (KiB) 425364 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25947 /proc/meminfo: memFree=30032124/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=425364 CPUtime=1796.7 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241701 0 0 0 179292 378 0 0 25 0 1 0 888431201 435572736 104975 33554432000 4194304 9016284 140737367846208 18446744073709551615 7080792 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/25848/statm: 106341 104975 690 1178 0 105159 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 425364 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25947 /proc/meminfo: memFree=30032124/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=426636 CPUtime=1797.09 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241776 0 0 0 179331 378 0 0 18 0 1 0 888431201 436875264 105050 33554432000 4194304 9016284 140737367846208 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25848/statm: 106659 105050 692 1178 0 105477 0 Current children cumulated CPU time (s) 1797.09 Current children cumulated vsize (KiB) 426636 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 25947 /proc/meminfo: memFree=30032124/32951132 swapFree=67054616/67111528 [pid=25848] ppid=25846 vsize=358844 CPUtime=1797.3 cores=0,2,4,6 /proc/25848/stat : 25848 (scip-2.0.1.4b_2) R 25846 25848 24772 0 -1 4202496 241776 0 0 0 179351 379 0 0 18 0 1 0 888431201 367456256 85249 33554432000 4194304 9016284 140737367846208 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25848/statm: 89711 85249 688 1178 0 88529 0 Current children cumulated CPU time (s) 1797.3 Current children cumulated vsize (KiB) 358844 Child status: 0 Real time (s): 1797.32 CPU time (s): 1797.32 CPU user time (s): 1793.51 CPU system time (s): 3.80742 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 429584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.51 system time used= 3.80742 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 241781 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= 8 involuntary context switches= 4477 runsolver used 3.89941 second user time and 8.31574 second system time The end
Begin job on node131 at 2011-06-11 06:58:36 IDJOB=3488952 IDBENCH=2243 IDSOLVER=1979 FILE ID=node131/3488952-1307768315 RUNJOBID= node131-1307760515-24790 PBS_JOBID= 13550872 Free space on /tmp= 74052 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/frb40-19-opb/normalized-frb40-19-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-3488952-1307768315/watcher-3488952-1307768315 -o /tmp/evaluation-result-3488952-1307768315/solver-3488952-1307768315 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488952-1307768315.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED=1388895260 node131.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 : 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.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.83 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.75 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.77 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30617576 kB Buffers: 273096 kB Cached: 1683524 kB SwapCached: 9824 kB Active: 617888 kB Inactive: 1465820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30617576 kB SwapTotal: 67111528 kB SwapFree: 67054616 kB Dirty: 17484 kB Writeback: 0 kB AnonPages: 125120 kB Mapped: 16136 kB Slab: 184716 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 324260 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74036 MiB End job on node131 at 2011-06-11 07:28:33