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 SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | 193 | 1800.06 | 1800.05 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 9828b7020b058ee74169951dda258843 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 190 |
| Best CPU time to get the best result obtained on this benchmark | 1797.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 186 |
| 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 | 20 |
| 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.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3450900-1307076836.opb>
0.00/0.02 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 476
0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.760000e+02
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 3) 0 del vars, 70 del conss, 162 add conss, 0 chg bounds, 224 chg sides, 571 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.04 c (round 4) 0 del vars, 97 del conss, 178 add conss, 0 chg bounds, 288 chg sides, 672 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.04 c (round 5) 0 del vars, 101 del conss, 181 add conss, 0 chg bounds, 295 chg sides, 683 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.04 c (round 6) 0 del vars, 101 del conss, 181 add conss, 0 chg bounds, 297 chg sides, 688 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (7 rounds):
0.00/0.05 c 0 deleted vars, 101 deleted constraints, 181 added constraints, 0 tightened bounds, 0 added holes, 297 changed sides, 688 changed coefficients
0.00/0.05 c 210 implications, 0 cliques
0.00/0.05 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 556 constraints
0.00/0.05 c 449 constraints of type <knapsack>
0.00/0.05 c 105 constraints of type <setppc>
0.00/0.05 c 2 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.97/1.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.97/1.05 c t 1.0s| 1 | 0 | 10645 | - |2633k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 4.760000e+02 | 216.22%
0.97/1.05 o 342
0.97/1.05 c r 1.0s| 1 | 0 | 10645 | - |2647k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.420000e+02 | 127.20%
0.97/1.06 o 341
0.97/1.06 c R 1.0s| 1 | 0 | 10645 | - |2660k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.410000e+02 | 126.54%
0.97/1.06 o 340
0.97/1.06 c s 1.0s| 1 | 0 | 10645 | - |2674k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.400000e+02 | 125.87%
1.17/1.26 o 221
1.17/1.26 c y 1.2s| 1 | 0 | 10645 | - |3041k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 2.210000e+02 | 46.82%
1.67/1.72 c 1.7s| 1 | 0 | 14041 | - |2969k| 0 | 384 | 476 | 556 | 476 | 773 | 217 | 0 | 0 | 1.569108e+02 | 2.210000e+02 | 40.84%
2.37/2.41 c 2.4s| 1 | 0 | 17250 | - |3202k| 0 | 425 | 476 | 556 | 476 | 947 | 391 | 0 | 0 | 1.598704e+02 | 2.210000e+02 | 38.24%
3.17/3.21 c 3.2s| 1 | 0 | 20830 | - |3403k| 0 | 421 | 476 | 556 | 476 |1094 | 538 | 0 | 0 | 1.617929e+02 | 2.210000e+02 | 36.59%
3.77/3.82 c 3.8s| 1 | 0 | 22781 | - |3513k| 0 | 436 | 476 | 556 | 476 |1191 | 635 | 0 | 0 | 1.626131e+02 | 2.210000e+02 | 35.91%
4.27/4.37 c 4.4s| 1 | 0 | 23989 | - |3569k| 0 | 438 | 476 | 556 | 476 |1251 | 695 | 0 | 0 | 1.630946e+02 | 2.210000e+02 | 35.50%
4.77/4.85 c 4.8s| 1 | 0 | 24667 | - |3604k| 0 | 437 | 476 | 556 | 476 |1291 | 735 | 0 | 0 | 1.633231e+02 | 2.210000e+02 | 35.31%
5.17/5.29 c 5.3s| 1 | 0 | 25068 | - |3629k| 0 | 444 | 476 | 556 | 476 |1316 | 760 | 0 | 0 | 1.634180e+02 | 2.210000e+02 | 35.24%
5.57/5.62 c 5.6s| 1 | 0 | 25099 | - |3637k| 0 | 442 | 476 | 556 | 476 |1318 | 762 | 0 | 0 | 1.634246e+02 | 2.210000e+02 | 35.23%
8.27/8.34 c 8.3s| 1 | 2 | 25099 | - |3657k| 0 | 442 | 476 | 556 | 476 |1318 | 762 | 0 | 16 | 1.634246e+02 | 2.210000e+02 | 35.23%
27.87/27.99 o 221
27.87/27.99 c c28.0s| 15 | 16 | 44234 |1366.8 |4476k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.210000e+02 | 35.10%
27.87/28.00 o 220
27.87/28.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.87/28.00 c c28.0s| 15 | 16 | 44269 |1369.3 |4489k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.200000e+02 | 34.49%
27.97/28.00 o 220
27.97/28.00 c c28.0s| 15 | 16 | 44270 |1369.4 |4490k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.200000e+02 | 34.49%
27.97/28.00 o 219
27.97/28.00 c c28.0s| 15 | 16 | 44287 |1370.6 |4494k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.635824e+02 | 2.190000e+02 | 33.88%
29.38/29.42 o 218
29.38/29.42 c p29.4s| 28 | 29 | 54695 |1096.1 |4555k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.180000e+02 | 33.21%
29.38/29.42 o 218
29.38/29.42 c p29.4s| 28 | 29 | 54718 |1097.0 |4556k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.180000e+02 | 33.21%
29.38/29.42 o 217
29.38/29.42 c p29.4s| 28 | 29 | 54719 |1097.0 |4556k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.170000e+02 | 32.60%
29.38/29.42 o 217
29.38/29.42 c p29.4s| 28 | 29 | 54720 |1097.1 |4557k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.170000e+02 | 32.60%
29.38/29.42 o 214
29.38/29.42 c p29.4s| 28 | 29 | 54735 |1097.6 |4559k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.140000e+02 | 30.76%
29.38/29.43 o 213
29.38/29.43 c p29.4s| 28 | 29 | 54752 |1098.3 |4563k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.130000e+02 | 30.15%
29.38/29.43 o 212
29.38/29.43 c p29.4s| 28 | 29 | 54756 |1098.4 |4566k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.120000e+02 | 29.54%
29.38/29.43 o 211
29.38/29.43 c p29.4s| 28 | 29 | 54763 |1098.7 |4568k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.110000e+02 | 28.93%
29.38/29.43 o 210
29.38/29.43 c p29.4s| 28 | 29 | 54771 |1099.0 |4568k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.100000e+02 | 28.32%
29.38/29.43 o 209
29.38/29.43 c p29.4s| 28 | 29 | 54772 |1099.0 |4569k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.090000e+02 | 27.71%
29.38/29.43 o 208
29.38/29.43 c p29.4s| 28 | 29 | 54776 |1099.1 |4570k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.080000e+02 | 27.10%
29.38/29.43 o 207
29.38/29.43 c p29.4s| 28 | 29 | 54779 |1099.3 |4571k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.070000e+02 | 26.49%
29.38/29.43 o 206
29.38/29.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.38/29.43 c p29.4s| 28 | 29 | 54792 |1099.7 |4574k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.060000e+02 | 25.87%
29.38/29.43 o 204
29.38/29.43 c p29.4s| 28 | 29 | 54800 |1100.0 |4576k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.040000e+02 | 24.65%
29.38/29.43 o 203
29.38/29.43 c p29.4s| 28 | 29 | 54807 |1100.3 |4577k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.030000e+02 | 24.04%
29.38/29.44 o 202
29.38/29.44 c p29.4s| 28 | 29 | 54829 |1101.1 |4582k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.020000e+02 | 23.43%
29.38/29.44 o 201
29.38/29.44 c p29.4s| 28 | 29 | 54830 |1101.1 |4583k| 14 | - | 476 | 556 | 476 | 962 | 762 | 0 | 217 | 1.636548e+02 | 2.010000e+02 | 22.82%
81.47/81.51 o 200
81.47/81.51 c v81.5s| 250 | 251 |436654 |1652.8 |4811k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639299e+02 | 2.000000e+02 | 22.00%
81.47/81.51 o 199
81.47/81.51 c v81.5s| 250 | 251 |436661 |1652.9 |4812k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639299e+02 | 1.990000e+02 | 21.39%
81.47/81.58 o 198
81.47/81.58 c b81.6s| 251 | 252 |437081 |1647.9 |4687k| 23 | 422 | 476 | 556 | 476 | 962 | 762 | 0 | 307 | 1.639591e+02 | 1.980000e+02 | 20.76%
98.88/99.00 o 196
98.88/99.00 c p99.0s| 283 | 284 |574485 |1948.2 |4860k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.960000e+02 | 19.50%
98.88/99.00 o 196
98.88/99.00 c p99.0s| 283 | 284 |574491 |1948.2 |4861k| 23 | - | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.960000e+02 | 19.50%
98.99/99.04 o 195
98.99/99.04 c b99.0s| 284 | 285 |574674 |1942.0 |4707k| 23 | 423 | 476 | 556 | 476 | 962 | 762 | 0 | 325 | 1.640138e+02 | 1.950000e+02 | 18.89%
255.38/255.41 o 194
255.38/255.41 c p 255s| 928 | 929 | 1780k|1893.5 |5264k| 26 | - | 476 | 556 | 476 | 962 | 762 | 0 | 572 | 1.642995e+02 | 1.940000e+02 | 18.08%
255.38/255.48 o 193
255.38/255.48 c b 255s| 929 | 930 | 1780k|1892.0 |5117k| 26 | 398 | 476 | 556 | 476 | 962 | 762 | 0 | 572 | 1.642995e+02 | 1.930000e+02 | 17.47%
1163.29/1163.33 c 1163s| 10000 | 9993 | 8585k| 856.2 | 11M| 91 | 369 | 476 | 569 | 476 | 962 | 762 | 13 |1787 | 1.651931e+02 | 1.930000e+02 | 16.83%
1800.00/1800.02 c
1800.00/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.02 c Solving Time (sec) : 1800.00
1800.00/1800.02 c Solving Nodes : 17690
1800.00/1800.02 c Primal Bound : +1.93000000000000e+02 (817 solutions)
1800.00/1800.02 c Dual Bound : +1.65377310513216e+02
1800.00/1800.02 c Gap : 16.70 %
1800.00/1800.02 s SATISFIABLE
1800.00/1800.02 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.00/1800.02 v x453 -x452 -x451 x450 -x449 -x448 -x447 x446 x445 x444 -x443 x442 x441 x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 -x431
1800.00/1800.02 v x430 -x429 x428 -x427 x426 x425 -x424 x423 x422 x421 -x420 x419 x418 x417 -x416 -x415 -x414 -x413 -x412 x411 x410 -x409
1800.00/1800.02 v x408 x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1800.00/1800.02 v x386 x385 x384 x383 -x382 -x381 x380 x379 -x378 x377 x376 x375 x374 -x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364
1800.00/1800.02 v -x363 x362 x361 x360 -x359 x358 x357 -x356 -x355 -x354 x353 -x352 x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 x343 x342 -x341
1800.00/1800.02 v -x340 x339 -x338 x337 x336 x335 -x334 x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 x322 -x321 x320 -x319
1800.00/1800.02 v -x318 -x317 -x316 -x315 x314 x313 -x312 -x311 -x310 -x309 x308 x307 -x306 x305 -x304 x303 -x302 -x301 x300 -x299 -x298 -x297
1800.00/1800.02 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 x287 x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275
1800.00/1800.02 v x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 x261 -x260 -x259 -x258 x257 -x256 x255 -x254
1800.00/1800.02 v -x253 -x252 -x251 x250 x249 -x248 x247 -x246 x245 x244 -x243 x242 x241 x240 -x239 -x238 x237 x236 x235 -x234 x233 x232 -x231
1800.00/1800.02 v x230 -x229 x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 x217 x216 -x215 -x214 -x213 x212 x211 -x210 -x209 x208
1800.00/1800.02 v -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 -x198 x197 x196 x195 x194 -x193 -x192 x191 x190 -x189 x188 -x187 -x186
1800.00/1800.02 v -x185 x184 x183 -x182 x181 -x180 x179 x178 x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163
1800.00/1800.02 v -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 -x141
1800.00/1800.02 v -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 x128 x127 -x126 -x125 -x124 x123 x122 -x121 x120 -x119
1800.00/1800.02 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.00/1800.02 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.00/1800.02 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.00/1800.02 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 -x14
1800.00/1800.02 v x13 -x12 -x11 -x10 -x9 x8 x7 x6 x5 x4 -x3 -x2 x1
1800.00/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.02 c Total Time : 1800.00
1800.00/1800.02 c solving : 1800.00
1800.00/1800.02 c presolving : 0.02 (included in solving)
1800.00/1800.02 c reading : 0.01 (included in solving)
1800.00/1800.02 c Original Problem :
1800.00/1800.02 c Problem name : HOME/instance-3450900-1307076836.opb
1800.00/1800.02 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.02 c Constraints : 476 initial, 476 maximal
1800.00/1800.02 c Presolved Problem :
1800.00/1800.02 c Problem name : t_HOME/instance-3450900-1307076836.opb
1800.00/1800.02 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.02 c Constraints : 556 initial, 576 maximal
1800.00/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c knapsack : 0.01 0 0 0 0 0 25 181 297 661
1800.00/1800.02 c setppc : 0.00 0 0 0 0 0 76 0 0 0
1800.00/1800.02 c linear : 0.01 0 0 0 0 0 0 0 0 27
1800.00/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.02 c root node : - 0 - - 0 - - - - -
1800.00/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.02 c integral : 0 0 0 17686 0 822 0 0 0 0 0 35372
1800.00/1800.02 c knapsack : 449 9 202165 0 0 817 0 0 6958 756 0 0
1800.00/1800.02 c setppc : 105 9 202165 0 0 816 0 0 2978 0 0 0
1800.00/1800.02 c logicor : 2+ 9 4888 0 0 816 0 0 0 0 0 0
1800.00/1800.02 c countsols : 0 0 0 0 0 820 0 0 0 0 0 0
1800.00/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.02 c integral : 103.65 0.00 0.00 103.65 0.00 0.00 0.00
1800.00/1800.02 c knapsack : 1.59 0.03 1.56 0.00 0.00 0.01 0.00
1800.00/1800.02 c setppc : 0.26 0.00 0.26 0.00 0.00 0.00 0.00
1800.00/1800.02 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.00/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.02 c vbounds : 0 0 0 0
1800.00/1800.02 c rootredcost : 24 0 0 0
1800.00/1800.02 c pseudoobj : 203706 0 0 0
1800.00/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.02 c vbounds : 0.04 0.04 0.00
1800.00/1800.02 c rootredcost : 0.05 0.05 0.00
1800.00/1800.02 c pseudoobj : 1.52 1.52 0.00
1800.00/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.02 c infeasible LP : 0.00 20 20 20 4.6 0 0.0 0
1800.00/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.02 c applied globally : - - - 20 4.6 - - -
1800.00/1800.02 c applied locally : - - - 0 0.0 - - -
1800.00/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.02 c cut pool : 0.00 8 - - 261 - (maximal pool size: 1290)
1800.00/1800.02 c redcost : 0.12 17700 0 164 0 0
1800.00/1800.02 c impliedbounds : 0.00 9 0 0 0 0
1800.00/1800.02 c intobj : 0.00 0 0 0 0 0
1800.00/1800.02 c gomory : 1.15 9 0 0 0 0
1800.00/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.02 c strongcg : 1.08 9 0 0 0 0
1800.00/1800.02 c cmir : 0.20 9 0 0 794 0
1800.00/1800.02 c flowcover : 0.22 9 0 0 906 0
1800.00/1800.02 c clique : 0.00 1 0 0 0 0
1800.00/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.02 c mcf : 0.00 1 0 0 0 0
1800.00/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.02 c rapidlearning : 0.06 1 0 0 0 0
1800.00/1800.02 c Pricers : Time Calls Vars
1800.00/1800.02 c problem variables: 0.00 0 0
1800.00/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.02 c relpscost : 103.64 17686 0 0 0 0 35372
1800.00/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.02 c inference : 0.00 0 0 0 0 0 0
1800.00/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.02 c random : 0.00 0 0 0 0 0 0
1800.00/1800.02 c Primal Heuristics : Time Calls Found
1800.00/1800.02 c LP solutions : 0.00 - 0
1800.00/1800.02 c pseudo solutions : 0.00 - 0
1800.00/1800.02 c oneopt : 0.01 9 3
1800.00/1800.02 c guideddiving : 48.43 39 0
1800.00/1800.02 c linesearchdiving : 76.97 98 98
1800.00/1800.02 c coefdiving : 164.53 123 167
1800.00/1800.02 c veclendiving : 119.37 131 112
1800.00/1800.02 c pscostdiving : 310.65 345 350
1800.00/1800.02 c trivial : 0.00 2 1
1800.00/1800.02 c shiftandpropagate: 0.00 0 0
1800.00/1800.02 c simplerounding : 0.55 17698 23
1800.00/1800.02 c zirounding : 0.42 1101 22
1800.00/1800.02 c rounding : 16.16 5941 1
1800.00/1800.02 c shifting : 4.15 1475 1
1800.00/1800.02 c intshifting : 0.00 0 0
1800.00/1800.02 c twoopt : 0.00 0 0
1800.00/1800.02 c fixandinfer : 0.00 0 0
1800.00/1800.02 c feaspump : 0.00 0 0
1800.00/1800.02 c clique : 0.00 0 0
1800.00/1800.02 c fracdiving : 48.06 39 0
1800.00/1800.02 c intdiving : 0.00 0 0
1800.00/1800.02 c actconsdiving : 0.00 0 0
1800.00/1800.02 c objpscostdiving : 40.69 5 36
1800.00/1800.02 c rootsoldiving : 12.80 12 0
1800.00/1800.02 c octane : 0.00 0 0
1800.00/1800.02 c rens : 0.01 0 0
1800.00/1800.02 c rins : 0.00 0 0
1800.00/1800.02 c localbranching : 0.00 0 0
1800.00/1800.02 c mutation : 0.00 0 0
1800.00/1800.02 c crossover : 0.04 2 2
1800.00/1800.02 c dins : 0.00 0 0
1800.00/1800.02 c vbounds : 0.00 0 0
1800.00/1800.02 c undercover : 0.00 0 0
1800.00/1800.02 c subnlp : 0.00 0 0
1800.00/1800.02 c trysol : 0.00 0 0
1800.00/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.02 c dual LP : 846.86 17702 6383580 360.61 7537.98
1800.00/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.02 c diving/probing LP: 796.83 127553 6989697 54.80 8771.93
1800.00/1800.02 c strong branching : 102.24 2458 698648 284.23 6833.54
1800.00/1800.02 c (at root node) : - 16 14760 922.50 -
1800.00/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.02 c B&B Tree :
1800.00/1800.02 c number of runs : 1
1800.00/1800.02 c nodes : 17690
1800.00/1800.02 c nodes (total) : 17690
1800.00/1800.02 c nodes left : 17683
1800.00/1800.02 c max depth : 91
1800.00/1800.02 c max depth (total): 91
1800.00/1800.02 c backtracks : 1950 (11.0%)
1800.00/1800.02 c delayed cutoffs : 0
1800.00/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.00/1800.02 c avg switch length: 3.85
1800.00/1800.02 c switching time : 0.54
1800.00/1800.02 c Solution :
1800.00/1800.02 c Solutions found : 817 (34 improvements)
1800.00/1800.02 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.02 c Primal Bound : +1.93000000000000e+02 (in run 1, after 929 nodes, 255.46 seconds, depth 13, found by <oneopt>)
1800.00/1800.02 c Dual Bound : +1.65377310513216e+02
1800.00/1800.02 c Gap : 16.70 %
1800.00/1800.02 c Root Dual Bound : +1.63424626604414e+02
1800.00/1800.02 c Root Iterations : 25099
1800.00/1800.04 c Time complete: 1800.06.
OK 193
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-3450900-1307076836/watcher-3450900-1307076836 -o /tmp/evaluation-result-3450900-1307076836/solver-3450900-1307076836 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450900-1307076836.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.04 2.01 3/505 341 /proc/meminfo: memFree=30370552/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/341/stat : 341 (runsolver) R 339 341 27258 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 819286216 12079104 51 33554432000 4194304 5432328 140735658598528 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0 /proc/341/statm: 2949 51 31 303 0 2643 0 [startup+0.0269801 s] /proc/loadavg: 2.03 2.04 2.01 3/505 341 /proc/meminfo: memFree=30370552/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=13384 CPUtime=0 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 2328 0 0 0 0 0 0 0 25 0 1 0 819286216 13705216 2281 33554432000 4194304 9163163 140736723991136 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/341/statm: 3346 2281 395 1214 0 2128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13384 [startup+0.100969 s] /proc/loadavg: 2.03 2.04 2.01 3/505 341 /proc/meminfo: memFree=30370552/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=22500 CPUtime=0.07 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 4791 0 0 0 7 0 0 0 25 0 1 0 819286216 23040000 4486 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 5625 4486 642 1214 0 4407 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22500 [startup+0.300932 s] /proc/loadavg: 2.03 2.04 2.01 3/505 341 /proc/meminfo: memFree=30370552/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=22728 CPUtime=0.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 4843 0 0 0 26 1 0 0 25 0 1 0 819286216 23273472 4536 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 5682 4536 643 1214 0 4464 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 22728 [startup+0.700861 s] /proc/loadavg: 2.03 2.04 2.01 3/505 341 /proc/meminfo: memFree=30370552/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=22896 CPUtime=0.68 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 4892 0 0 0 65 3 0 0 25 0 1 0 819286216 23445504 4585 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 5724 4585 643 1214 0 4506 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 22896 [startup+1.50072 s] /proc/loadavg: 2.03 2.04 2.01 3/506 342 /proc/meminfo: memFree=30353136/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=24284 CPUtime=1.47 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 8438 0 0 0 142 5 0 0 25 0 1 0 819286216 24866816 5074 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6071 5074 715 1214 0 4853 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 24284 [startup+3.10045 s] /proc/loadavg: 2.02 2.04 2.01 3/506 342 /proc/meminfo: memFree=30350160/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=25820 CPUtime=3.07 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 8749 0 0 0 300 7 0 0 25 0 1 0 819286216 26439680 5385 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6455 5385 715 1214 0 5237 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 25820 [startup+6.30087 s] /proc/loadavg: 2.02 2.04 2.01 3/506 343 /proc/meminfo: memFree=30348548/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=26644 CPUtime=6.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 10584 0 0 0 615 12 0 0 25 0 1 0 819286216 27283456 5649 33554432000 4194304 9163163 140736723991136 18446744073709551615 7389796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6661 5649 720 1214 0 5443 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 26644 [startup+12.7008 s] /proc/loadavg: 2.02 2.04 2.01 3/506 343 /proc/meminfo: memFree=30347432/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=26904 CPUtime=12.67 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 10597 0 0 0 1238 29 0 0 25 0 1 0 819286216 27549696 5662 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6726 5662 721 1214 0 5508 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 26904 [startup+25.5005 s] /proc/loadavg: 2.02 2.04 2.01 3/506 343 /proc/meminfo: memFree=30347680/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=26904 CPUtime=25.47 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 10617 0 0 0 2485 62 0 0 25 0 1 0 819286216 27549696 5682 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6726 5682 722 1214 0 5508 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 26904 [startup+51.101 s] /proc/loadavg: 2.01 2.03 2.00 3/506 344 /proc/meminfo: memFree=30347032/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=27836 CPUtime=51.08 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 10858 0 0 0 4965 143 0 0 25 0 1 0 819286216 28504064 5923 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6959 5923 724 1214 0 5741 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27836 [startup+102.318 s] /proc/loadavg: 2.00 2.03 2.00 3/506 345 /proc/meminfo: memFree=30347244/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=27620 CPUtime=102.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 13630 0 0 0 9918 311 0 0 25 0 1 0 819286216 28282880 5866 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6905 5866 729 1214 0 5687 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 27620 [startup+162.3 s] /proc/loadavg: 2.10 2.05 2.01 3/506 347 /proc/meminfo: memFree=30345588/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=27924 CPUtime=162.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 13743 0 0 0 15718 509 0 0 25 0 1 0 819286216 28594176 5979 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 6981 5979 730 1214 0 5763 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 27924 [startup+222.301 s] /proc/loadavg: 2.08 2.05 2.01 3/506 348 /proc/meminfo: memFree=30346044/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=28220 CPUtime=222.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 13786 0 0 0 21520 707 0 0 25 0 1 0 819286216 28897280 6022 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 7055 6022 730 1214 0 5837 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 28220 [startup+282.3 s] /proc/loadavg: 2.03 2.04 2.00 3/506 350 /proc/meminfo: memFree=30334212/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=282.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16630 0 0 0 27319 908 0 0 25 0 1 0 819286216 41881600 8866 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8866 730 1214 0 9007 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 40900 [startup+342.301 s] /proc/loadavg: 2.01 2.03 2.00 3/506 352 /proc/meminfo: memFree=30334424/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=342.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16680 0 0 0 33128 1099 0 0 25 0 1 0 819286216 41881600 8916 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8916 730 1214 0 9007 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 40900 [startup+402.301 s] /proc/loadavg: 2.13 2.06 2.01 3/506 353 /proc/meminfo: memFree=30334012/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=402.27 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16683 0 0 0 38932 1295 0 0 25 0 1 0 819286216 41881600 8919 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8919 730 1214 0 9007 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 40900 [startup+462.3 s] /proc/loadavg: 2.10 2.06 2.01 3/506 364 /proc/meminfo: memFree=30333816/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=462.28 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16684 0 0 0 44748 1480 0 0 25 0 1 0 819286216 41881600 8920 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8920 730 1214 0 9007 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 40900 [startup+522.301 s] /proc/loadavg: 2.04 2.05 2.00 3/506 365 /proc/meminfo: memFree=30333792/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=522.28 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16687 0 0 0 50565 1663 0 0 25 0 1 0 819286216 41881600 8923 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8923 730 1214 0 9007 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 40900 [startup+582.3 s] /proc/loadavg: 2.01 2.04 2.00 3/506 369 /proc/meminfo: memFree=30333752/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=582.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16691 0 0 0 56372 1857 0 0 25 0 1 0 819286216 41881600 8927 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8927 733 1214 0 9007 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 40900 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.04 2.05 2.00 3/506 376 /proc/meminfo: memFree=30334364/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=822.28 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16702 0 0 0 79599 2629 0 0 25 0 1 0 819286216 41881600 8938 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8938 733 1214 0 9007 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 40900 [startup+882.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 406 /proc/meminfo: memFree=30394900/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=882.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16703 0 0 0 85409 2820 0 0 25 0 1 0 819286216 41881600 8939 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8939 733 1214 0 9007 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 40900 [startup+942.301 s] /proc/loadavg: 2.00 2.03 2.00 3/506 407 /proc/meminfo: memFree=30392724/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=942.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16706 0 0 0 91218 3011 0 0 25 0 1 0 819286216 41881600 8942 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8942 733 1214 0 9007 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 40900 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 409 /proc/meminfo: memFree=30390944/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1002.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16707 0 0 0 97014 3215 0 0 25 0 1 0 819286216 41881600 8943 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8943 733 1214 0 9007 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 40900 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/506 411 /proc/meminfo: memFree=30390924/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1062.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16738 0 0 0 102812 3417 0 0 25 0 1 0 819286216 41881600 8974 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8974 733 1214 0 9007 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 40900 [startup+1122.3 s] /proc/loadavg: 2.10 2.04 2.01 3/506 412 /proc/meminfo: memFree=30390028/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1122.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16741 0 0 0 108623 3606 0 0 25 0 1 0 819286216 41881600 8977 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8977 733 1214 0 9007 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 40900 [startup+1182.3 s] /proc/loadavg: 2.08 2.04 2.01 3/506 414 /proc/meminfo: memFree=30389604/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1182.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16744 0 0 0 114438 3791 0 0 25 0 1 0 819286216 41881600 8980 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8980 733 1214 0 9007 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 40900 [startup+1242.3 s] /proc/loadavg: 2.03 2.03 2.00 3/506 416 /proc/meminfo: memFree=30389068/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1242.29 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16746 0 0 0 120247 3982 0 0 25 0 1 0 819286216 41881600 8982 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8982 733 1214 0 9007 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 40900 [startup+1302.3 s] /proc/loadavg: 2.08 2.05 2.01 3/506 417 /proc/meminfo: memFree=30388792/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1302.3 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16749 0 0 0 126054 4176 0 0 25 0 1 0 819286216 41881600 8985 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8985 733 1214 0 9007 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 40900 [startup+1362.3 s] /proc/loadavg: 2.06 2.05 2.01 3/506 419 /proc/meminfo: memFree=30389364/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1362.3 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16753 0 0 0 131858 4372 0 0 25 0 1 0 819286216 41881600 8989 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 8989 733 1214 0 9007 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 40900 [startup+1422.32 s] /proc/loadavg: 2.02 2.04 2.00 3/506 420 /proc/meminfo: memFree=30387572/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1422.32 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 16806 0 0 0 137664 4568 0 0 25 0 1 0 819286216 41881600 9042 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 9042 733 1214 0 9007 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 40900 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 422 /proc/meminfo: memFree=30385548/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1482.3 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17011 0 0 0 143473 4757 0 0 25 0 1 0 819286216 41881600 9247 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 9247 733 1214 0 9007 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 40900 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 424 /proc/meminfo: memFree=30384888/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1542.3 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17015 0 0 0 149276 4954 0 0 25 0 1 0 819286216 41881600 9251 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 9251 733 1214 0 9007 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 40900 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 425 /proc/meminfo: memFree=30385360/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1602.3 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17016 0 0 0 155077 5153 0 0 25 0 1 0 819286216 41881600 9252 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 9252 733 1214 0 9007 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 40900 [startup+1662.3 s] /proc/loadavg: 2.15 2.04 2.01 3/506 427 /proc/meminfo: memFree=30385328/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1662.3 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17020 0 0 0 160884 5346 0 0 25 0 1 0 819286216 41881600 9256 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 9256 733 1214 0 9007 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 40900 [startup+1722.3 s] /proc/loadavg: 2.12 2.05 2.01 3/506 428 /proc/meminfo: memFree=30385176/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=40900 CPUtime=1722.31 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17023 0 0 0 166690 5541 0 0 25 0 1 0 819286216 41881600 9259 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10225 9259 733 1214 0 9007 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 40900 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.00 3/506 430 /proc/meminfo: memFree=30380568/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=41460 CPUtime=1782.31 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17168 0 0 0 172499 5732 0 0 25 0 1 0 819286216 42455040 9404 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10365 9404 733 1214 0 9147 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 41460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.04 2.00 3/506 430 /proc/meminfo: memFree=30380428/32951124 swapFree=51712236/67111528 [pid=341] ppid=339 vsize=41460 CPUtime=1800 cores=1,3,5,7 /proc/341/stat : 341 (scip-2.0.1.4b.l) R 339 341 27258 0 -1 4202496 17169 0 0 0 174213 5787 0 0 25 0 1 0 819286216 42455040 9405 33554432000 4194304 9163163 140736723991136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/341/statm: 10365 9405 733 1214 0 9147 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 41460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.05 CPU time (s): 1800.06 CPU user time (s): 1742.18 CPU system time (s): 57.8822 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 41460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.18 system time used= 57.8822 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17175 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 23023 runsolver used 8.07877 second user time and 19.904 second system time The end
Begin job on node103 at 2011-06-03 06:53:56 IDJOB=3450900 IDBENCH=1950 IDSOLVER=1948 FILE ID=node103/3450900-1307076836 RUNJOBID= node103-1307065667-27816 PBS_JOBID= 13497885 Free space on /tmp= 73868 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450900-1307076836/watcher-3450900-1307076836 -o /tmp/evaluation-result-3450900-1307076836/solver-3450900-1307076836 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450900-1307076836.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9828b7020b058ee74169951dda258843 RANDOM SEED=1684574164 node103.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.858 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.71 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.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.77 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.858 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.75 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.858 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.858 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.83 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.858 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: 30370700 kB Buffers: 261624 kB Cached: 416236 kB SwapCached: 23760 kB Active: 1922356 kB Inactive: 365932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30370700 kB SwapTotal: 67111528 kB SwapFree: 51712236 kB Dirty: 12076 kB Writeback: 28 kB AnonPages: 1608060 kB Mapped: 26052 kB Slab: 148776 kB PageTables: 73300 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162142668 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= 73856 MiB End job on node103 at 2011-06-03 07:23:58