Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 189 | 1800.08 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
| MD5SUM | bddc7a1ce44c83fc28f6e299cbaaf04c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 188 |
| Best CPU time to get the best result obtained on this benchmark | 1797.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 184 |
| Optimality of the best value was proved | NO |
| Number of variables | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452559-1307076725.opb>
0.00/0.01 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 476
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.760000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 476 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 77 del conss, 169 add conss, 0 chg bounds, 230 chg sides, 574 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 108 del conss, 190 add conss, 0 chg bounds, 281 chg sides, 669 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 119 del conss, 200 add conss, 0 chg bounds, 300 chg sides, 711 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 121 del conss, 202 add conss, 0 chg bounds, 309 chg sides, 742 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 121 del conss, 202 add conss, 0 chg bounds, 311 chg sides, 752 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (8 rounds):
0.00/0.03 c 0 deleted vars, 121 deleted constraints, 202 added constraints, 0 tightened bounds, 0 added holes, 311 changed sides, 752 changed coefficients
0.00/0.03 c 216 implications, 0 cliques
0.00/0.03 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.03 c 447 constraints of type <knapsack>
0.00/0.03 c 108 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.99/1.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.02 c t 1.0s| 1 | 0 | 10605 | - |2600k| 0 | 335 | 476 | 557 | 476 | 557 | 0 | 0 | 0 | 1.489396e+02 | 4.760000e+02 | 219.59%
0.99/1.02 o 346
0.99/1.02 c r 1.0s| 1 | 0 | 10605 | - |2614k| 0 | 335 | 476 | 557 | 476 | 557 | 0 | 0 | 0 | 1.489396e+02 | 3.460000e+02 | 132.31%
0.99/1.02 o 345
0.99/1.02 c R 1.0s| 1 | 0 | 10605 | - |2627k| 0 | 335 | 476 | 557 | 476 | 557 | 0 | 0 | 0 | 1.489396e+02 | 3.450000e+02 | 131.64%
0.99/1.02 o 344
0.99/1.02 c s 1.0s| 1 | 0 | 10605 | - |2640k| 0 | 335 | 476 | 557 | 476 | 557 | 0 | 0 | 0 | 1.489396e+02 | 3.440000e+02 | 130.97%
1.21/1.24 o 231
1.21/1.24 c y 1.2s| 1 | 0 | 10605 | - |3017k| 0 | 335 | 476 | 557 | 476 | 557 | 0 | 0 | 0 | 1.489396e+02 | 2.310000e+02 | 55.10%
1.69/1.78 c 1.8s| 1 | 0 | 14358 | - |2947k| 0 | 379 | 476 | 557 | 476 | 780 | 223 | 0 | 0 | 1.547124e+02 | 2.310000e+02 | 49.31%
2.39/2.44 c 2.4s| 1 | 0 | 17346 | - |3197k| 0 | 418 | 476 | 557 | 476 | 968 | 411 | 0 | 0 | 1.580163e+02 | 2.310000e+02 | 46.19%
2.89/2.96 c 3.0s| 1 | 0 | 18912 | - |3391k| 0 | 418 | 476 | 557 | 476 |1107 | 550 | 0 | 0 | 1.598788e+02 | 2.310000e+02 | 44.48%
3.50/3.53 c 3.5s| 1 | 0 | 20317 | - |3513k| 0 | 428 | 476 | 557 | 476 |1201 | 644 | 0 | 0 | 1.608173e+02 | 2.310000e+02 | 43.64%
3.99/4.09 c 4.1s| 1 | 0 | 21535 | - |3575k| 0 | 429 | 476 | 557 | 476 |1258 | 701 | 0 | 0 | 1.613718e+02 | 2.310000e+02 | 43.15%
4.51/4.57 c 4.6s| 1 | 0 | 22324 | - |3601k| 0 | 434 | 476 | 557 | 476 |1286 | 729 | 0 | 0 | 1.615565e+02 | 2.310000e+02 | 42.98%
4.99/5.00 c 5.0s| 1 | 0 | 22581 | - |3629k| 0 | 432 | 476 | 557 | 476 |1307 | 750 | 0 | 0 | 1.616382e+02 | 2.310000e+02 | 42.91%
5.29/5.35 c 5.3s| 1 | 0 | 22626 | - |3637k| 0 | 433 | 476 | 557 | 476 |1311 | 754 | 0 | 0 | 1.616492e+02 | 2.310000e+02 | 42.90%
5.60/5.69 c 5.7s| 1 | 0 | 22651 | - |3644k| 0 | 433 | 476 | 557 | 476 |1313 | 756 | 0 | 0 | 1.616541e+02 | 2.310000e+02 | 42.90%
9.91/9.92 c 9.9s| 1 | 2 | 22651 | - |3665k| 0 | 433 | 476 | 557 | 476 |1313 | 756 | 0 | 29 | 1.616541e+02 | 2.310000e+02 | 42.90%
31.10/31.10 o 231
31.10/31.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.10/31.10 c c31.1s| 15 | 16 | 42787 |1438.3 |4462k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.310000e+02 | 42.71%
31.10/31.10 o 229
31.10/31.10 c c31.1s| 15 | 16 | 42833 |1441.6 |4469k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.290000e+02 | 41.47%
31.10/31.11 o 229
31.10/31.11 c c31.1s| 15 | 16 | 42852 |1442.9 |4474k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.290000e+02 | 41.47%
31.10/31.11 o 227
31.10/31.11 c c31.1s| 15 | 16 | 42857 |1443.3 |4476k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.270000e+02 | 40.24%
31.10/31.11 o 226
31.10/31.11 c c31.1s| 15 | 16 | 42866 |1443.9 |4477k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.260000e+02 | 39.62%
31.10/31.11 o 224
31.10/31.11 c c31.1s| 15 | 16 | 42868 |1444.1 |4478k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.240000e+02 | 38.38%
31.10/31.11 o 222
31.10/31.11 c c31.1s| 15 | 16 | 42916 |1447.5 |4490k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.220000e+02 | 37.15%
31.10/31.11 o 221
31.10/31.11 c c31.1s| 15 | 16 | 42917 |1447.6 |4491k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.210000e+02 | 36.53%
31.10/31.11 o 220
31.10/31.11 c c31.1s| 15 | 16 | 42918 |1447.6 |4492k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.200000e+02 | 35.91%
31.10/31.12 o 218
31.10/31.12 c c31.1s| 15 | 16 | 42924 |1448.1 |4494k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.180000e+02 | 34.68%
31.10/31.12 o 217
31.10/31.12 c c31.1s| 15 | 16 | 42927 |1448.3 |4495k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.170000e+02 | 34.06%
31.10/31.12 o 217
31.10/31.12 c c31.1s| 15 | 16 | 42930 |1448.5 |4496k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.170000e+02 | 34.06%
31.10/31.12 o 216
31.10/31.12 c c31.1s| 15 | 16 | 42941 |1449.3 |4505k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.160000e+02 | 33.44%
31.10/31.13 o 215
31.10/31.13 c b31.1s| 16 | 15 | 42957 |1353.7 |4375k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.618680e+02 | 2.150000e+02 | 32.82%
32.59/32.60 o 210
32.59/32.60 c p32.6s| 27 | 28 | 53796 |1197.9 |4572k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.100000e+02 | 29.65%
32.59/32.60 o 209
32.59/32.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.59/32.60 c p32.6s| 27 | 28 | 53797 |1197.9 |4572k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.090000e+02 | 29.04%
32.59/32.60 o 208
32.59/32.60 c p32.6s| 27 | 28 | 53800 |1198.0 |4574k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.080000e+02 | 28.42%
32.59/32.60 o 207
32.59/32.60 c p32.6s| 27 | 28 | 53802 |1198.1 |4575k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.070000e+02 | 27.80%
32.59/32.60 o 204
32.59/32.60 c p32.6s| 27 | 28 | 53811 |1198.5 |4577k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.040000e+02 | 25.95%
32.59/32.60 o 203
32.59/32.60 c p32.6s| 27 | 28 | 53820 |1198.8 |4580k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.030000e+02 | 25.33%
32.59/32.60 o 201
32.59/32.60 c p32.6s| 27 | 28 | 53836 |1199.4 |4584k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.010000e+02 | 24.10%
32.59/32.61 o 200
32.59/32.61 c p32.6s| 27 | 28 | 53853 |1200.1 |4588k| 14 | - | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 2.000000e+02 | 23.48%
32.59/32.61 o 199
32.59/32.61 c b32.6s| 27 | 28 | 53863 |1200.5 |4435k| 14 | 400 | 476 | 557 | 476 | 946 | 756 | 0 | 237 | 1.619696e+02 | 1.990000e+02 | 22.86%
92.70/92.77 o 199
92.70/92.77 c p92.8s| 277 | 278 |522785 |1812.1 |4858k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 323 | 1.621939e+02 | 1.990000e+02 | 22.69%
92.80/92.86 o 198
92.80/92.86 c b92.9s| 278 | 279 |523434 |1807.9 |4705k| 27 | 393 | 476 | 557 | 476 | 946 | 756 | 0 | 323 | 1.621939e+02 | 1.980000e+02 | 22.08%
104.90/104.91 o 197
104.90/104.91 c p 105s| 313 | 314 |615606 |1900.5 |4880k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.970000e+02 | 21.43%
104.90/104.91 o 196
104.90/104.91 c p 105s| 313 | 314 |615617 |1900.5 |4881k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.960000e+02 | 20.82%
104.90/104.91 o 195
104.90/104.91 c p 105s| 313 | 314 |615618 |1900.5 |4882k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.950000e+02 | 20.20%
104.90/104.91 o 194
104.90/104.91 c p 105s| 313 | 314 |615628 |1900.6 |4883k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.940000e+02 | 19.59%
104.90/104.91 o 193
104.90/104.91 c p 105s| 313 | 314 |615630 |1900.6 |4884k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.930000e+02 | 18.97%
104.90/104.91 o 192
104.90/104.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.90/104.91 c p 105s| 313 | 314 |615634 |1900.6 |4886k| 27 | - | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.920000e+02 | 18.35%
105.00/105.00 o 191
105.00/105.00 c b 105s| 314 | 315 |616193 |1896.3 |4727k| 27 | 388 | 476 | 557 | 476 | 946 | 756 | 0 | 341 | 1.622272e+02 | 1.910000e+02 | 17.74%
332.31/332.34 o 190
332.31/332.34 c C 332s| 3620 | 2109 | 2334k| 638.7 |5987k| 136 | 395 | 476 | 557 | 476 | 946 | 756 | 0 | 823 | 1.626439e+02 | 1.900000e+02 | 16.82%
541.51/541.53 c 542s| 10000 | 4095 | 4008k| 398.6 |7526k| 136 | 132 | 476 | 557 | 476 | 946 | 756 | 0 |1174 | 1.628522e+02 | 1.900000e+02 | 16.67%
546.31/546.36 o 189
546.31/546.36 c C 546s| 10295 | 3995 | 4048k| 391.1 |7399k| 136 | 377 | 476 | 557 | 476 | 946 | 756 | 0 |1174 | 1.628566e+02 | 1.890000e+02 | 16.05%
832.22/832.26 c 832s| 20000 | 6954 | 6248k| 311.3 |9715k| 136 | - | 476 | 557 | 476 | 946 | 756 | 0 |1727 | 1.630062e+02 | 1.890000e+02 | 15.95%
1123.83/1123.88 c 1124s| 30000 | 9796 | 8504k| 282.7 | 11M| 136 | - | 476 | 560 | 476 | 946 | 756 | 3 |2229 | 1.631111e+02 | 1.890000e+02 | 15.87%
1387.34/1387.36 c 1387s| 40000 | 12740 | 10555k| 263.3 | 13M| 136 | - | 476 | 559 | 476 | 946 | 756 | 3 |2642 | 1.631814e+02 | 1.890000e+02 | 15.82%
1640.45/1640.47 c 1640s| 50000 | 15814 | 12530k| 250.2 | 16M| 136 | 144 | 476 | 559 | 476 | 946 | 756 | 3 |3069 | 1.632340e+02 | 1.890000e+02 | 15.78%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 56623
1800.05/1800.00 c Primal Bound : +1.89000000000000e+02 (688 solutions)
1800.05/1800.00 c Dual Bound : +1.63259122856405e+02
1800.05/1800.00 c Gap : 15.77 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v x476 x475 -x474 x473 -x472 x471 -x470 -x469 -x468 x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.05/1800.00 v -x453 -x452 x451 -x450 -x449 x448 -x447 x446 x445 -x444 -x443 x442 x441 -x440 x439 x438 x437 -x436 x435 -x434 -x433 x432
1800.05/1800.00 v x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 x419 x418 x417 -x416 x415 x414 -x413 -x412 -x411 -x410
1800.05/1800.00 v -x409 x408 -x407 -x406 -x405 -x404 x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 x389 x388
1800.05/1800.00 v -x387 x386 x385 -x384 -x383 -x382 x381 -x380 -x379 x378 -x377 x376 x375 -x374 x373 x372 -x371 -x370 x369 -x368 -x367 -x366 x365
1800.05/1800.00 v x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 x354 x353 -x352 x351 -x350 x349 x348 -x347 x346 -x345 -x344 -x343
1800.05/1800.00 v -x342 x341 -x340 x339 -x338 -x337 -x336 x335 -x334 x333 x332 -x331 x330 x329 x328 x327 x326 x325 x324 -x323 x322 -x321 -x320
1800.05/1800.00 v x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 x310 -x309 -x308 x307 -x306 x305 x304 -x303 x302 -x301 x300 -x299 -x298
1800.05/1800.00 v -x297 -x296 x295 -x294 -x293 x292 -x291 x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 x280 x279 x278 -x277 -x276
1800.05/1800.00 v x275 x274 -x273 x272 -x271 -x270 -x269 x268 -x267 x266 -x265 x264 -x263 -x262 -x261 -x260 x259 -x258 x257 x256 -x255 -x254 -x253
1800.05/1800.00 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 x240 -x239 -x238 -x237 x236 x235 x234 -x233 -x232
1800.05/1800.00 v x231 -x230 -x229 -x228 -x227 -x226 x225 x224 -x223 x222 x221 -x220 x219 -x218 x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
1800.05/1800.00 v x208 x207 x206 x205 x204 x203 -x202 x201 -x200 x199 x198 x197 x196 x195 -x194 -x193 -x192 x191 x190 x189 -x188 -x187 -x186
1800.05/1800.00 v -x185 -x184 x183 x182 x181 -x180 -x179 -x178 x177 -x176 x175 -x174 -x173 x172 -x171 -x170 -x169 x168 -x167 x166 x165 -x164
1800.05/1800.00 v -x163 -x162 x161 -x160 -x159 x158 -x157 -x156 -x155 x154 x153 x152 -x151 x150 -x149 x148 x147 x146 x145 -x144 x143 x142 x141
1800.05/1800.00 v -x140 -x139 -x138 -x137 x136 x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119
1800.05/1800.00 v -x118 x117 -x116 x115 -x114 -x113 x112 -x111 x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 x98 -x97 x96
1800.05/1800.00 v x95 -x94 -x93 x92 x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 x80 x79 x78 x77 -x76 x75 x74 x73 -x72 -x71 -x70 x69
1800.05/1800.00 v -x68 x67 -x66 -x65 -x64 x63 x62 -x61 -x60 -x59 -x58 x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 x48 -x47 -x46 -x45 -x44 -x43 -x42
1800.05/1800.00 v x41 -x40 x39 x38 -x37 -x36 -x35 x34 -x33 -x32 x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 x21 -x20 -x19 -x18 -x17 x16 -x15
1800.05/1800.00 v x14 x13 x12 x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 x2 x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.02 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452559-1307076725.opb
1800.05/1800.00 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 476 initial, 476 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452559-1307076725.opb
1800.05/1800.00 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 557 initial, 563 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.01 0 0 0 0 0 26 202 311 730
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 95 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 22
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 37232 0 693 0 1 81 0 0 74394
1800.05/1800.00 c knapsack : 447 10 312043 0 1 688 0 0 236755 773 0 0
1800.05/1800.00 c setppc : 108 10 312029 0 1 687 0 0 38115 0 0 0
1800.05/1800.00 c logicor : 2+ 10 8674 0 1 687 0 0 60 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 691 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 109.29 0.00 0.00 109.29 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 3.27 0.03 3.23 0.00 0.00 0.01 0.00
1800.05/1800.00 c setppc : 0.37 0.00 0.37 0.00 0.00 0.00 0.00
1800.05/1800.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 30 0 0 0
1800.05/1800.00 c pseudoobj : 312919 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 0.06 0.06 0.00
1800.05/1800.00 c rootredcost : 0.06 0.06 0.00
1800.05/1800.00 c pseudoobj : 2.35 2.35 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c infeasible LP : 0.00 7 7 7 3.7 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 7 3.7 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 9 - - 248 - (maximal pool size: 1355)
1800.05/1800.00 c redcost : 1.49 72774 0 773518 0 0
1800.05/1800.00 c impliedbounds : 0.00 10 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 1.36 10 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 1.25 10 0 0 0 0
1800.05/1800.00 c cmir : 0.17 10 0 0 776 0
1800.05/1800.00 c flowcover : 0.25 10 0 0 947 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.06 1 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 109.27 37232 1 81 0 0 74394
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c oneopt : 0.02 11 4
1800.05/1800.00 c crossover : 1.23 9 9
1800.05/1800.00 c guideddiving : 48.39 43 0
1800.05/1800.00 c fracdiving : 48.76 44 0
1800.05/1800.00 c linesearchdiving : 65.78 86 19
1800.05/1800.00 c veclendiving : 81.36 95 90
1800.05/1800.00 c coefdiving : 271.38 216 185
1800.05/1800.00 c pscostdiving : 266.19 314 222
1800.05/1800.00 c trivial : 0.00 2 1
1800.05/1800.00 c shiftandpropagate: 0.00 0 0
1800.05/1800.00 c simplerounding : 1.09 63821 24
1800.05/1800.00 c zirounding : 0.44 1151 23
1800.05/1800.00 c rounding : 11.40 11778 1
1800.05/1800.00 c shifting : 3.28 3278 1
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 36.88 5 108
1800.05/1800.00 c rootsoldiving : 12.89 12 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.01 0 0
1800.05/1800.00 c trysol : 0.02 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 817.76 83191 6683511 80.34 8172.90
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 808.49 121719 7154998 58.78 8849.83
1800.05/1800.00 c strong branching : 107.41 3255 732369 225.00 6818.67
1800.05/1800.00 c (at root node) : - 29 23964 826.34 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 56623
1800.05/1800.00 c nodes (total) : 56623
1800.05/1800.00 c nodes left : 17593
1800.05/1800.00 c max depth : 136
1800.05/1800.00 c max depth (total): 136
1800.05/1800.00 c backtracks : 10192 (18.0%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 7.68
1800.05/1800.00 c switching time : 2.56
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 688 (39 improvements)
1800.05/1800.00 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.00 c Primal Bound : +1.89000000000000e+02 (in run 1, after 10295 nodes, 546.36 seconds, depth 13, found by <crossover>)
1800.05/1800.00 c Dual Bound : +1.63259122856405e+02
1800.05/1800.00 c Gap : 15.77 %
1800.05/1800.00 c Root Dual Bound : +1.61654061146454e+02
1800.05/1800.00 c Root Iterations : 22651
OK 189
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452559-1307076725/watcher-3452559-1307076725 -o /tmp/evaluation-result-3452559-1307076725/solver-3452559-1307076725 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452559-1307076725.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: 1.94 2.00 1.99 2/429 21087 /proc/meminfo: memFree=29158664/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=17012 CPUtime=0.01 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 3031 0 0 0 1 0 0 0 25 0 1 0 819272987 17420288 2983 33554432000 4194304 9128323 140735270190224 18446744073709551615 4542192 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 4253 2983 506 1205 0 3044 0 [startup+0.107833 s] /proc/loadavg: 1.94 2.00 1.99 2/429 21087 /proc/meminfo: memFree=29158664/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=20756 CPUtime=0.1 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 4394 0 0 0 10 0 0 0 18 0 1 0 819272987 21254144 4084 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 5189 4084 644 1205 0 3980 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 20756 [startup+0.200811 s] /proc/loadavg: 1.94 2.00 1.99 2/429 21087 /proc/meminfo: memFree=29158664/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=21048 CPUtime=0.19 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 4435 0 0 0 19 0 0 0 18 0 1 0 819272987 21553152 4125 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 5262 4125 645 1205 0 4053 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21048 [startup+0.300799 s] /proc/loadavg: 1.94 2.00 1.99 2/429 21087 /proc/meminfo: memFree=29158664/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=21048 CPUtime=0.29 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 4469 0 0 0 29 0 0 0 18 0 1 0 819272987 21553152 4159 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 5262 4159 645 1205 0 4053 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21048 [startup+0.700721 s] /proc/loadavg: 1.94 2.00 1.99 2/429 21087 /proc/meminfo: memFree=29158664/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=21240 CPUtime=0.69 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 4505 0 0 0 68 1 0 0 18 0 1 0 819272987 21749760 4195 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 5310 4195 645 1205 0 4101 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21240 [startup+1.50057 s] /proc/loadavg: 1.94 2.00 1.99 3/430 21089 /proc/meminfo: memFree=29142412/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=23820 CPUtime=1.49 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 7943 0 0 0 147 2 0 0 19 0 1 0 819272987 24391680 4943 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 5955 4943 724 1205 0 4746 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23820 [startup+3.10027 s] /proc/loadavg: 1.94 2.00 1.99 3/430 21089 /proc/meminfo: memFree=29139436/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=24696 CPUtime=3.09 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 8135 0 0 0 307 2 0 0 25 0 1 0 819272987 25288704 5135 33554432000 4194304 9128323 140735270190224 18446744073709551615 6637282 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6174 5135 724 1205 0 4965 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24696 [startup+6.30068 s] /proc/loadavg: 1.94 2.00 1.99 3/430 21089 /proc/meminfo: memFree=29138320/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=25168 CPUtime=6.29 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 9035 0 0 0 625 4 0 0 25 0 1 0 819272987 25772032 5299 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6292 5299 729 1205 0 5083 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25168 [startup+12.7005 s] /proc/loadavg: 1.95 2.00 1.99 3/430 21089 /proc/meminfo: memFree=29136676/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=25476 CPUtime=12.7 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 9109 0 0 0 1262 8 0 0 25 0 1 0 819272987 26087424 5373 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6369 5373 730 1205 0 5160 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 25476 [startup+25.5011 s] /proc/loadavg: 1.96 2.00 1.99 3/430 21089 /proc/meminfo: memFree=29136312/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=25476 CPUtime=25.5 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 9110 0 0 0 2533 17 0 0 25 0 1 0 819272987 26087424 5374 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6369 5374 731 1205 0 5160 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 25476 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 1.99 3/430 21090 /proc/meminfo: memFree=29136348/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=26020 CPUtime=51.09 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 9219 0 0 0 5071 38 0 0 25 0 1 0 819272987 26644480 5483 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6505 5483 733 1205 0 5296 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 26020 [startup+102.301 s] /proc/loadavg: 1.99 2.00 1.99 3/430 21091 /proc/meminfo: memFree=29133936/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=26220 CPUtime=102.31 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 11945 0 0 0 10150 81 0 0 25 0 1 0 819272987 26849280 5538 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6555 5538 738 1205 0 5346 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 26220 [startup+162.301 s] /proc/loadavg: 1.99 2.00 1.99 3/430 21093 /proc/meminfo: memFree=29133180/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=26424 CPUtime=162.3 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 11993 0 0 0 16098 132 0 0 25 0 1 0 819272987 27058176 5586 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6606 5586 738 1205 0 5397 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 26424 [startup+222.315 s] /proc/loadavg: 1.99 2.00 1.99 3/430 21094 /proc/meminfo: memFree=29133036/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=26852 CPUtime=222.31 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 12108 0 0 0 22045 186 0 0 25 0 1 0 819272987 27496448 5701 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6713 5701 738 1205 0 5504 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 26852 [startup+282.3 s] /proc/loadavg: 1.99 2.00 1.99 3/430 21096 /proc/meminfo: memFree=29131408/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=27632 CPUtime=282.3 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 17468 0 0 0 27990 240 0 0 25 0 1 0 819272987 28295168 5883 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 6908 5883 738 1205 0 5699 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 27632 [startup+342.301 s] /proc/loadavg: 1.99 2.00 1.99 3/430 21098 /proc/meminfo: memFree=29129352/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=28524 CPUtime=342.3 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 24417 0 0 0 33935 295 0 0 25 0 1 0 819272987 29208576 6108 33554432000 4194304 9128323 140735270190224 18446744073709551615 7357164 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 7131 6108 739 1205 0 5922 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 28524 [startup+402.301 s] /proc/loadavg: 1.99 2.00 1.99 3/430 21099 /proc/meminfo: memFree=29128844/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=29440 CPUtime=402.3 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 24647 0 0 0 39873 357 0 0 25 0 1 0 819272987 30146560 6338 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 7360 6338 739 1205 0 6151 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 29440 [startup+462.301 s] /proc/loadavg: 2.08 2.02 2.00 3/430 21101 /proc/meminfo: memFree=29127472/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=29440 CPUtime=462.31 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 24650 0 0 0 45817 414 0 0 25 0 1 0 819272987 30146560 6341 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 7360 6341 739 1205 0 6151 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 29440 [startup+522.301 s] /proc/loadavg: 2.06 2.03 2.00 3/430 21102 /proc/meminfo: memFree=29126952/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=29092 CPUtime=522.31 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 27996 0 0 0 51755 476 0 0 25 0 1 0 819272987 29790208 6268 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 7273 6268 739 1205 0 6064 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 29092 [startup+582.301 s] /proc/loadavg: 2.02 2.02 2.00 3/430 21113 /proc/meminfo: memFree=29124340/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=30604 CPUtime=582.31 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 32732 0 0 0 57696 535 0 0 25 0 1 0 819272987 31338496 6639 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 7651 6639 739 1205 0 6442 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 30604 [startup+642.3 s] ################ # More data... # ################ [startup+882.316 s] /proc/loadavg: 2.00 2.00 2.00 3/430 21124 /proc/meminfo: memFree=29119860/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=32376 CPUtime=882.34 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 37863 0 0 0 87423 811 0 0 25 0 1 0 819272987 33153024 7126 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 8094 7126 741 1205 0 6885 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 32376 [startup+942.301 s] /proc/loadavg: 2.15 2.03 2.01 3/430 21126 /proc/meminfo: memFree=29119116/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=32884 CPUtime=942.32 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 37973 0 0 0 93367 865 0 0 25 0 1 0 819272987 33673216 7236 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 8221 7236 741 1205 0 7012 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 32884 [startup+1002.3 s] /proc/loadavg: 2.17 2.06 2.02 3/430 21127 /proc/meminfo: memFree=29118728/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=33224 CPUtime=1002.32 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 38798 0 0 0 99308 924 0 0 25 0 1 0 819272987 34021376 7325 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 8306 7325 741 1205 0 7097 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 33224 [startup+1062.3 s] /proc/loadavg: 2.06 2.04 2.01 3/430 21129 /proc/meminfo: memFree=29115736/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=35352 CPUtime=1062.33 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 39335 0 0 0 105255 978 0 0 25 0 1 0 819272987 36200448 7862 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 8838 7862 741 1205 0 7629 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 35352 [startup+1122.3 s] /proc/loadavg: 2.02 2.03 2.00 3/430 21130 /proc/meminfo: memFree=29115476/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=35352 CPUtime=1122.33 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 39340 0 0 0 111200 1033 0 0 25 0 1 0 819272987 36200448 7867 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 8838 7867 741 1205 0 7629 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 35352 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 3/430 21132 /proc/meminfo: memFree=29112736/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=36116 CPUtime=1182.33 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 39522 0 0 0 117143 1090 0 0 25 0 1 0 819272987 36982784 8049 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9029 8049 741 1205 0 7820 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 36116 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21134 /proc/meminfo: memFree=29110872/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=36116 CPUtime=1242.33 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 39529 0 0 0 123090 1143 0 0 25 0 1 0 819272987 36982784 8056 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9029 8056 741 1205 0 7820 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 36116 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/430 21135 /proc/meminfo: memFree=29109756/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=36116 CPUtime=1302.33 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 39533 0 0 0 129035 1198 0 0 25 0 1 0 819272987 36982784 8060 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9029 8060 741 1205 0 7820 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 36116 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/430 21137 /proc/meminfo: memFree=29109508/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=37060 CPUtime=1362.34 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 42671 0 0 0 134980 1254 0 0 25 0 1 0 819272987 37949440 8304 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9265 8304 741 1205 0 8056 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 37060 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/430 21138 /proc/meminfo: memFree=29109128/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=37444 CPUtime=1422.36 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 42764 0 0 0 140922 1314 0 0 25 0 1 0 819272987 38342656 8397 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9361 8397 741 1205 0 8152 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 37444 [startup+1482.3 s] /proc/loadavg: 2.15 2.03 2.01 3/430 21140 /proc/meminfo: memFree=29107260/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=38648 CPUtime=1482.34 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43063 0 0 0 146867 1367 0 0 25 0 1 0 819272987 39575552 8696 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9662 8696 741 1205 0 8453 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 38648 [startup+1542.32 s] /proc/loadavg: 2.16 2.05 2.02 3/430 21142 /proc/meminfo: memFree=29105764/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=38648 CPUtime=1542.36 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43067 0 0 0 152812 1424 0 0 25 0 1 0 819272987 39575552 8700 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9662 8700 741 1205 0 8453 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 38648 [startup+1602.3 s] /proc/loadavg: 2.06 2.04 2.01 3/430 21143 /proc/meminfo: memFree=29104764/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=38948 CPUtime=1602.34 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43147 0 0 0 158758 1476 0 0 25 0 1 0 819272987 39882752 8780 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9737 8780 741 1205 0 8528 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 38948 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/430 21145 /proc/meminfo: memFree=29103760/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=39472 CPUtime=1662.35 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43286 0 0 0 164704 1531 0 0 25 0 1 0 819272987 40419328 8919 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9868 8919 741 1205 0 8659 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 39472 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21146 /proc/meminfo: memFree=29103260/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=39472 CPUtime=1722.35 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43304 0 0 0 170643 1592 0 0 25 0 1 0 819272987 40419328 8937 33554432000 4194304 9128323 140735270190224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 9868 8937 741 1205 0 8659 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 39472 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21148 /proc/meminfo: memFree=29100764/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=40360 CPUtime=1782.35 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43504 0 0 0 176591 1644 0 0 25 0 1 0 819272987 41328640 9137 33554432000 4194304 9128323 140735270190224 18446744073709551615 7342479 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21087/statm: 10090 9137 741 1205 0 8881 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 40360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21176 /proc/meminfo: memFree=28332092/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=41352 CPUtime=1800.07 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43756 0 0 0 178347 1660 0 0 25 0 1 0 819272987 42344448 9389 33554432000 4194304 9128323 140735270190224 18446744073709551615 4807257 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21087/statm: 10338 9389 743 1205 0 9129 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 41352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21176 /proc/meminfo: memFree=28332092/32951124 swapFree=43324008/67111528 [pid=21087] ppid=21085 vsize=41352 CPUtime=1800.07 cores=0,2,4,6 /proc/21087/stat : 21087 (scip-2.0.1.4.li) R 21085 21087 15685 0 -1 4202496 43756 0 0 0 178347 1660 0 0 25 0 1 0 819272987 42344448 9389 33554432000 4194304 9128323 140735270190224 18446744073709551615 4807257 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21087/statm: 10338 9389 743 1205 0 9129 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 41352 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.08 CPU user time (s): 1783.47 CPU system time (s): 16.6085 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 48968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.47 system time used= 16.6085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43756 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2555 runsolver used 8.13376 second user time and 16.3885 second system time The end
Begin job on node105 at 2011-06-03 06:52:05 IDJOB=3452559 IDBENCH=1954 IDSOLVER=1949 FILE ID=node105/3452559-1307076725 RUNJOBID= node105-1307073103-20820 PBS_JOBID= 13497883 Free space on /tmp= 73752 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452559-1307076725/watcher-3452559-1307076725 -o /tmp/evaluation-result-3452559-1307076725/solver-3452559-1307076725 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452559-1307076725.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bddc7a1ce44c83fc28f6e299cbaaf04c RANDOM SEED=473904079 node105.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.825 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.65 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.825 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.15 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.825 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.82 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.825 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.825 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 : 5410.70 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.825 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.74 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29158820 kB Buffers: 277524 kB Cached: 776664 kB SwapCached: 20984 kB Active: 2840792 kB Inactive: 640180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29158820 kB SwapTotal: 67111528 kB SwapFree: 43324008 kB Dirty: 24460 kB Writeback: 0 kB AnonPages: 2423976 kB Mapped: 22312 kB Slab: 162868 kB PageTables: 81076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 114899980 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= 73724 MiB End job on node105 at 2011-06-03 07:22:08