Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb |
MD5SUM | 13b0390cc5a9eb04efebd7fc2f9164cf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 100 |
Best CPU time to get the best result obtained on this benchmark | 0.001999 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 100 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 260 |
Number of constraints which are clauses | 260 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461428-1307088321.opb. 0.00/0.00 c Instance file HOME/instance-3461428-1307088321.opb 0.00/0.00 c File size is 8680 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 200 | 0.00/0.00 c | Number Clauses: 260 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 200 260 680 | 5000 0 -nan | 0.000 % | 0.00/0.00 c core #1 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #2 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #3 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #4 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #5 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #6 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #7 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #8 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #9 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #10 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #11 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #12 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #13 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #14 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #15 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #16 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #17 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #18 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #19 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #20 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #21 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #22 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #23 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #24 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #25 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #26 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #27 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #28 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #29 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #30 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #31 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #32 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #33 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #34 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #35 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #36 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #37 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #38 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 0.00/0.00 c core #39 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 0.00/0.00 c core #40 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 0.00/0.00 c core #41 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 0.00/0.00 c core #42 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 0.00/0.00 c core #43 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #44 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #45 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #46 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #47 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #48 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #49 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #50 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #51 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #52 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #53 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: 53 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #54 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 13 Core Weight: 1 Total Weight: 54 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #55 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 16 Core Weight: 1 Total Weight: 55 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #56 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 56 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #57 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 20 Core Weight: 1 Total Weight: 57 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #58 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 29 Core Weight: 1 Total Weight: 58 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #59 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 59 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 397 519 1264 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #60 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 34 Core Weight: 1 Total Weight: 60 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 416 520 1304 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #61 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 51 Core Weight: 1 Total Weight: 61 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 459 522 1400 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #62 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 50 Core Weight: 1 Total Weight: 62 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 505 523 1492 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #63 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 62 Core Weight: 1 Total Weight: 63 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 541 525 1568 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #64 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 62 Core Weight: 1 Total Weight: 64 0.00/0.01 c Current CPU time: 0.014997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 592 529 1679 | 5000 0 -nan | 0.000 % | 0.00/0.01 c | 102 | 592 529 1679 | 5500 102 17 | 0.000 % | 0.00/0.01 c | 253 | 592 529 1679 | 6050 253 14 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #65 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 82 Core Weight: 1 Total Weight: 65 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 667 537 1850 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 100 | 667 537 1850 | 5500 100 19 | 0.000 % | 0.00/0.02 c | 251 | 667 537 1850 | 6050 251 18 | 0.000 % | 0.00/0.03 c | 476 | 667 537 1850 | 6655 476 17 | 0.000 % | 0.00/0.04 c | 813 | 665 537 1850 | 7320 813 16 | 0.301 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #66 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 128 Core Weight: 1 Total Weight: 66 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 785 560 2151 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #67 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 110 Core Weight: 1 Total Weight: 67 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 665 573 2200 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #68 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 127 Core Weight: 1 Total Weight: 68 0.00/0.04 c Current CPU time: 0.040993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 689 574 2236 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 100 | 689 574 2236 | 5500 100 23 | 15.148 % | 0.00/0.05 c | 250 | 687 574 2236 | 6050 250 25 | 15.394 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #69 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 133 Core Weight: 1 Total Weight: 69 0.00/0.05 c Current CPU time: 0.050992 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 716 575 2284 | 5000 0 -nan | 0.000 % | 0.00/0.06 c | 100 | 716 575 2284 | 5500 100 34 | 14.354 % | 0.00/0.06 c | 251 | 716 575 2284 | 6050 251 28 | 14.354 % | 0.00/0.06 c =============================================================================== 0.00/0.07 c core #70 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 219 Core Weight: 1 Total Weight: 70 0.00/0.07 c Current CPU time: 0.05999 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 667 578 2378 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #71 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 190 Core Weight: 1 Total Weight: 71 0.00/0.07 c Current CPU time: 0.06199 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 685 579 2414 | 5000 0 -nan | 0.000 % | 0.00/0.07 c | 101 | 684 579 2414 | 5500 101 20 | 24.000 % | 0.07/0.07 c | 251 | 681 579 2414 | 6050 251 27 | 24.445 % | 0.07/0.07 c =============================================================================== 0.07/0.07 c core #72 0.07/0.07 c 0.07/0.07 c 0.07/0.07 c Core size: 208 Core Weight: 1 Total Weight: 72 0.07/0.07 c Current CPU time: 0.066989 s 0.07/0.07 c 0.07/0.07 c ============================[ Search Statistics ]============================== 0.07/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.07 c =============================================================================== 0.07/0.07 c | 0 | 713 580 2470 | 5000 0 -nan | 0.000 % | 0.07/0.08 c | 102 | 713 580 2470 | 5500 102 26 | 23.168 % | 0.07/0.08 c | 255 | 713 580 2470 | 6050 255 32 | 23.168 % | 0.07/0.09 c | 480 | 713 580 2470 | 6655 480 35 | 23.168 % | 0.07/0.10 c | 817 | 713 580 2470 | 7320 817 36 | 23.168 % | 0.09/0.12 c | 1323 | 713 580 2470 | 8052 1323 39 | 23.168 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #73 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 206 Core Weight: 1 Total Weight: 73 0.09/0.16 c Current CPU time: 0.148977 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 740 581 2524 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 102 | 740 581 2524 | 5500 102 33 | 22.513 % | 0.09/0.16 c | 253 | 739 581 2524 | 6050 253 44 | 22.618 % | 0.09/0.17 c | 478 | 739 581 2524 | 6655 478 49 | 22.618 % | 0.09/0.18 c | 815 | 739 581 2524 | 7320 815 52 | 22.618 % | 0.19/0.21 c | 1321 | 739 581 2524 | 8052 1321 58 | 22.618 % | 0.19/0.26 c | 2082 | 736 581 2524 | 8857 2082 57 | 22.932 % | 0.29/0.37 c | 3221 | 735 581 2524 | 9743 3221 58 | 23.037 % | 0.49/0.59 c | 4932 | 735 581 2524 | 10717 4932 58 | 23.874 % | 0.89/0.92 c | 7495 | 719 581 2524 | 11789 7495 59 | 25.131 % | 1.59/1.69 c | 11340 | 719 581 2524 | 12968 11340 59 | 25.131 % | 2.59/2.60 c | 17111 | 719 581 2524 | 14265 10473 59 | 25.550 % | 3.09/3.20 c =============================================================================== 3.20/3.28 c core #74 3.20/3.28 c 3.20/3.28 c 3.20/3.28 c Core size: 225 Core Weight: 1 Total Weight: 74 3.20/3.28 c Current CPU time: 3.23351 s 3.20/3.28 c 3.20/3.28 c ============================[ Search Statistics ]============================== 3.20/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.28 c =============================================================================== 3.20/3.28 c | 0 | 777 582 2598 | 5000 0 -nan | 0.000 % | 3.20/3.28 c | 103 | 777 582 2598 | 5500 103 50 | 21.673 % | 3.20/3.28 c | 253 | 777 582 2598 | 6050 253 56 | 21.673 % | 3.20/3.29 c | 479 | 777 582 2598 | 6655 479 64 | 21.673 % | 3.20/3.30 c | 816 | 777 582 2598 | 7320 816 62 | 21.673 % | 3.31/3.34 c | 1323 | 777 582 2598 | 8052 1323 63 | 21.673 % | 3.39/3.40 c | 2084 | 777 582 2598 | 8857 2084 64 | 21.673 % | 3.39/3.49 c | 3225 | 777 582 2598 | 9743 3225 64 | 21.673 % | 3.59/3.66 c | 4934 | 777 582 2598 | 10717 4934 63 | 21.673 % | 3.89/3.93 c | 7497 | 777 582 2598 | 11789 7497 63 | 21.673 % | 4.49/4.52 c | 11344 | 777 582 2598 | 12968 11344 65 | 21.673 % | 5.09/5.13 c =============================================================================== 5.19/5.21 c core #75 5.19/5.21 c 5.19/5.21 c 5.19/5.21 c Core size: 221 Core Weight: 1 Total Weight: 75 5.19/5.21 c Current CPU time: 5.14722 s 5.19/5.21 c 5.19/5.21 c ============================[ Search Statistics ]============================== 5.19/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.21 c =============================================================================== 5.19/5.21 c | 0 | 812 583 2668 | 5000 0 -nan | 0.000 % | 5.19/5.21 c | 102 | 812 583 2668 | 5500 102 46 | 20.935 % | 5.19/5.21 c | 255 | 812 583 2668 | 6050 255 44 | 20.935 % | 5.19/5.22 c | 481 | 812 583 2668 | 6655 481 40 | 20.935 % | 5.19/5.22 c =============================================================================== 5.19/5.22 c core #76 5.19/5.22 c 5.19/5.22 c 5.19/5.22 c Core size: 192 Core Weight: 1 Total Weight: 76 5.19/5.22 c Current CPU time: 5.16521 s 5.19/5.22 c 5.19/5.22 c ============================[ Search Statistics ]============================== 5.19/5.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.22 c =============================================================================== 5.19/5.22 c | 0 | 821 584 2686 | 5000 0 -nan | 0.000 % | 5.19/5.22 c | 102 | 821 584 2686 | 5500 102 46 | 20.753 % | 5.19/5.23 c | 253 | 821 584 2686 | 6050 253 57 | 20.753 % | 5.19/5.23 c | 479 | 821 584 2686 | 6655 479 72 | 20.753 % | 5.19/5.24 c | 818 | 821 584 2686 | 7320 818 66 | 20.753 % | 5.19/5.26 c | 1328 | 821 584 2686 | 8052 1328 65 | 20.753 % | 5.19/5.29 c | 2087 | 821 584 2686 | 8857 2087 65 | 20.753 % | 5.29/5.37 c | 3226 | 821 584 2686 | 9743 3226 74 | 20.753 % | 5.40/5.51 c | 4936 | 821 584 2686 | 10717 4936 75 | 20.753 % | 5.69/5.77 c | 7498 | 821 584 2686 | 11789 7498 78 | 20.753 % | 6.19/6.29 c | 11345 | 821 584 2686 | 12968 11345 80 | 20.753 % | 7.29/7.33 c | 17113 | 821 584 2686 | 14265 10459 86 | 20.753 % | 8.99/9.09 c | 25764 | 821 584 2686 | 15692 11773 95 | 20.753 % | 12.11/12.16 c | 38739 | 821 584 2686 | 17261 8704 81 | 20.753 % | 15.19/15.25 c | 58212 | 821 584 2686 | 18987 10586 70 | 20.753 % | 19.99/20.05 c | 87404 | 821 584 2686 | 20886 10841 80 | 20.753 % | 27.89/27.96 c | 131193 | 821 584 2686 | 22974 12209 90 | 20.753 % | 44.19/44.23 c | 196877 | 821 584 2686 | 25272 19628 124 | 20.753 % | 45.49/45.53 c =============================================================================== 45.59/45.64 c core #77 45.59/45.64 c 45.59/45.64 c 45.59/45.64 c Core size: 235 Core Weight: 1 Total Weight: 77 45.59/45.64 c Current CPU time: 45.2181 s 45.59/45.64 c 45.59/45.64 c ============================[ Search Statistics ]============================== 45.59/45.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.59/45.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.59/45.64 c =============================================================================== 45.59/45.64 c | 0 | 866 585 2776 | 5000 0 -nan | 0.000 % | 45.59/45.64 c | 104 | 866 585 2776 | 5500 104 26 | 19.889 % | 45.59/45.64 c | 255 | 866 585 2776 | 6050 255 53 | 19.889 % | 45.59/45.65 c | 481 | 866 585 2776 | 6655 481 53 | 19.889 % | 45.59/45.66 c | 818 | 866 585 2776 | 7320 818 56 | 19.889 % | 45.59/45.67 c | 1325 | 866 585 2776 | 8052 1325 58 | 19.889 % | 45.70/45.70 c | 2086 | 866 585 2776 | 8857 2086 53 | 19.889 % | 45.70/45.75 c | 3232 | 866 585 2776 | 9743 3232 51 | 19.889 % | 45.80/45.88 c | 4940 | 866 585 2776 | 10717 4940 53 | 19.889 % | 46.10/46.17 c | 7504 | 866 585 2776 | 11789 7504 55 | 19.889 % | 46.60/46.63 c | 11348 | 866 585 2776 | 12968 11348 55 | 19.889 % | 47.39/47.47 c | 17116 | 866 585 2776 | 14265 10484 54 | 19.893 % | 48.50/48.51 c =============================================================================== 48.60/48.61 c core #78 48.60/48.61 c 48.60/48.61 c 48.60/48.61 c Core size: 169 Core Weight: 1 Total Weight: 78 48.60/48.61 c Current CPU time: 48.2247 s 48.60/48.61 c 48.60/48.61 c ============================[ Search Statistics ]============================== 48.60/48.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.60/48.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.60/48.61 c =============================================================================== 48.60/48.61 c | 0 | 885 586 2814 | 5000 0 -nan | 0.000 % | 48.60/48.61 c | 102 | 885 586 2814 | 5500 102 49 | 19.546 % | 48.60/48.61 c | 253 | 885 586 2814 | 6050 253 57 | 19.546 % | 48.60/48.62 c | 480 | 885 586 2814 | 6655 480 65 | 19.546 % | 48.60/48.63 c | 817 | 885 586 2814 | 7320 817 69 | 19.546 % | 48.60/48.64 c | 1324 | 885 586 2814 | 8052 1324 69 | 19.546 % | 48.60/48.67 c | 2084 | 885 586 2814 | 8857 2084 72 | 19.546 % | 48.69/48.73 c | 3224 | 885 586 2814 | 9743 3224 70 | 19.546 % | 48.79/48.87 c | 4932 | 885 586 2814 | 10717 4932 75 | 19.546 % | 49.29/49.30 c | 7495 | 885 586 2814 | 11789 7495 81 | 19.546 % | 49.99/50.02 c | 11339 | 885 586 2814 | 12968 11339 82 | 19.546 % | 50.99/51.04 c | 17106 | 885 586 2814 | 14265 10418 86 | 19.546 % | 52.60/52.71 c | 25758 | 885 586 2814 | 15692 11755 94 | 19.546 % | 55.69/55.77 c | 38734 | 885 586 2814 | 17261 8684 93 | 19.546 % | 59.50/59.57 c | 58197 | 885 586 2814 | 18987 10412 96 | 19.546 % | 65.90/65.99 c | 87391 | 885 586 2814 | 20886 10555 102 | 19.546 % | 76.69/76.78 c | 131180 | 885 586 2814 | 22974 11706 107 | 19.546 % | 94.39/94.49 c | 196866 | 885 586 2814 | 25272 18881 104 | 19.546 % | 118.81/118.88 c | 295392 | 885 586 2814 | 27799 24963 102 | 19.546 % | 161.30/161.37 c | 443184 | 885 586 2814 | 30579 23030 110 | 19.546 % | 227.50/227.58 c | 664868 | 885 586 2814 | 33637 29803 99 | 19.546 % | 325.91/325.96 c | 997396 | 885 586 2814 | 37001 19449 117 | 19.546 % | 511.61/511.62 c | 1496198 | 885 586 2814 | 40701 30023 126 | 19.546 % | 793.03/793.10 c | 2244381 | 885 586 2814 | 44771 19822 115 | 19.546 % | 1187.24/1187.26 c | 3366655 | 885 586 2814 | 49248 39410 107 | 19.546 % |
ERROR: no interpretation found !
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-3461428-1307088321/watcher-3461428-1307088321 -o /tmp/evaluation-result-3461428-1307088321/solver-3461428-1307088321 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461428-1307088321.opb 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: 1.84 1.98 1.99 1/513 7974 /proc/meminfo: memFree=23243296/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=2104 CPUtime=0 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 899062742 2154496 283 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 526 283 175 372 0 151 0 [startup+0.07481 s] /proc/loadavg: 1.84 1.98 1.99 1/513 7974 /proc/meminfo: memFree=23243296/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=2664 CPUtime=0.07 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 476 0 0 0 6 1 0 0 25 0 1 0 899062742 2727936 426 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 666 426 180 372 0 291 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2664 [startup+0.100808 s] /proc/loadavg: 1.84 1.98 1.99 1/513 7974 /proc/meminfo: memFree=23243296/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=2664 CPUtime=0.09 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 476 0 0 0 8 1 0 0 25 0 1 0 899062742 2727936 426 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 666 426 180 372 0 291 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2664 [startup+0.300769 s] /proc/loadavg: 1.84 1.98 1.99 1/513 7974 /proc/meminfo: memFree=23243296/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=3468 CPUtime=0.29 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 680 0 0 0 27 2 0 0 25 0 1 0 899062742 3551232 630 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 867 630 180 372 0 492 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3468 [startup+0.700694 s] /proc/loadavg: 1.84 1.98 1.99 1/513 7974 /proc/meminfo: memFree=23243296/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=5220 CPUtime=0.69 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 1106 0 0 0 67 2 0 0 25 0 1 0 899062742 5345280 1056 33554432000 4194304 5714214 140734110704272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 1305 1056 180 372 0 930 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5220 [startup+1.50054 s] /proc/loadavg: 1.84 1.98 1.99 3/516 8002 /proc/meminfo: memFree=23237264/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=7464 CPUtime=1.49 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 1651 0 0 0 146 3 0 0 25 0 1 0 899062742 7643136 1601 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 1866 1601 180 372 0 1491 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7464 [startup+3.10024 s] /proc/loadavg: 1.84 1.98 1.99 3/516 8002 /proc/meminfo: memFree=23229080/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=10088 CPUtime=3.09 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 2286 0 0 0 305 4 0 0 25 0 1 0 899062742 10330112 2236 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 2522 2236 180 372 0 2147 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10088 [startup+6.30064 s] /proc/loadavg: 1.85 1.98 1.99 3/516 8003 /proc/meminfo: memFree=23223956/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=11412 CPUtime=6.29 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 2668 0 0 0 621 8 0 0 25 0 1 0 899062742 11685888 2590 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 2853 2590 180 372 0 2478 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11412 [startup+12.7004 s] /proc/loadavg: 1.86 1.98 1.99 3/516 8003 /proc/meminfo: memFree=23213980/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=16068 CPUtime=12.7 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 3823 0 0 0 1258 12 0 0 25 0 1 0 899062742 16453632 3745 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 4017 3745 180 372 0 3642 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 16068 [startup+25.501 s] /proc/loadavg: 1.89 1.98 1.99 3/516 8003 /proc/meminfo: memFree=23197244/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=31532 CPUtime=25.49 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 7578 0 0 0 2529 20 0 0 25 0 1 0 899062742 32288768 7500 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 7883 7500 180 372 0 7508 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31532 [startup+51.1002 s] /proc/loadavg: 1.99 2.00 1.99 3/516 8004 /proc/meminfo: memFree=23157276/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=47580 CPUtime=51.09 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 12292 0 0 0 5068 41 0 0 25 0 1 0 899062742 48721920 11482 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 11895 11482 180 372 0 11520 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 47580 [startup+102.319 s] /proc/loadavg: 1.99 2.00 1.99 3/516 8005 /proc/meminfo: memFree=23150272/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=52452 CPUtime=102.32 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 13628 0 0 0 10164 68 0 0 25 0 1 0 899062742 53710848 12818 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 13113 12818 180 372 0 12738 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 52452 [startup+162.301 s] /proc/loadavg: 1.99 2.00 1.99 3/516 8007 /proc/meminfo: memFree=23081420/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=88688 CPUtime=162.29 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 22364 0 0 0 16131 98 0 0 25 0 1 0 899062742 90816512 21554 33554432000 4194304 5714214 140734110704272 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 22172 21554 180 372 0 21797 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 88688 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.99 3/516 8008 /proc/meminfo: memFree=23020088/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=120452 CPUtime=222.3 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 30130 0 0 0 22106 124 0 0 25 0 1 0 899062742 123342848 29320 33554432000 4194304 5714214 140734110704272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 30113 29320 180 372 0 29738 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 120452 [startup+282.3 s] /proc/loadavg: 1.99 2.00 1.99 3/516 8010 /proc/meminfo: memFree=22960528/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=157008 CPUtime=282.3 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 39196 0 0 0 28073 157 0 0 25 0 1 0 899062742 160776192 38386 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 39252 38386 180 372 0 38877 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 157008 [startup+342.301 s] /proc/loadavg: 1.99 2.00 1.99 3/516 8011 /proc/meminfo: memFree=22909012/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=185740 CPUtime=342.3 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 46297 0 0 0 34051 179 0 0 25 0 1 0 899062742 190197760 45487 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 46435 45487 180 372 0 46060 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 185740 [startup+402.301 s] /proc/loadavg: 2.13 2.03 2.00 3/516 8013 /proc/meminfo: memFree=22861828/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=209568 CPUtime=402.31 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 52232 0 0 0 40030 201 0 0 25 0 1 0 899062742 214597632 51422 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 52392 51422 180 372 0 52017 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 209568 [startup+462.3 s] /proc/loadavg: 2.11 2.04 2.00 3/516 8015 /proc/meminfo: memFree=22792572/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=239368 CPUtime=462.31 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 59643 0 0 0 46009 222 0 0 25 0 1 0 899062742 245112832 58833 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 59842 58833 180 372 0 59467 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 239368 [startup+522.301 s] /proc/loadavg: 2.12 2.06 2.01 3/516 8016 /proc/meminfo: memFree=22748708/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=257208 CPUtime=522.31 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 64044 0 0 0 51990 241 0 0 25 0 1 0 899062742 263380992 63234 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 64302 63234 180 372 0 63927 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 257208 [startup+582.3 s] /proc/loadavg: 2.08 2.06 2.01 3/516 8018 /proc/meminfo: memFree=22702540/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=278420 CPUtime=582.31 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 69288 0 0 0 57965 266 0 0 25 0 1 0 899062742 285102080 68478 33554432000 4194304 5714214 140734110704272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 69605 68478 180 372 0 69230 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 278420 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8024 /proc/meminfo: memFree=22528352/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=362520 CPUtime=822.32 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 90245 0 0 0 81882 350 0 0 25 0 1 0 899062742 371220480 89435 33554432000 4194304 5714214 140734110704272 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 90630 89435 180 372 0 90255 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 362520 [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.00 3/516 8026 /proc/meminfo: memFree=22488964/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=374700 CPUtime=882.32 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 93262 0 0 0 87864 368 0 0 25 0 1 0 899062742 383692800 92452 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 93675 92452 180 372 0 93300 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 374700 [startup+942.3 s] /proc/loadavg: 2.07 2.04 2.01 3/516 8027 /proc/meminfo: memFree=22441404/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=403880 CPUtime=942.33 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 100453 0 0 0 93842 391 0 0 25 0 1 0 899062742 413573120 99643 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 100970 99643 180 372 0 100595 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 403880 [startup+1002.3 s] /proc/loadavg: 2.06 2.04 2.01 3/516 8029 /proc/meminfo: memFree=22397464/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=431076 CPUtime=1002.33 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 107182 0 0 0 99813 420 0 0 25 0 1 0 899062742 441421824 106372 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 107769 106372 180 372 0 107394 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 431076 [startup+1062.3 s] /proc/loadavg: 2.13 2.06 2.01 3/516 8031 /proc/meminfo: memFree=22359196/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=454288 CPUtime=1062.33 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 112917 0 0 0 105789 444 0 0 25 0 1 0 899062742 465190912 112107 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319741 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 113572 112107 180 372 0 113197 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 454288 [startup+1122.3 s] /proc/loadavg: 2.10 2.06 2.01 3/516 8032 /proc/meminfo: memFree=22309396/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=479972 CPUtime=1122.34 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 119321 0 0 0 111759 475 0 0 25 0 1 0 899062742 491491328 118511 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 119993 118511 180 372 0 119618 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 479972 [startup+1182.3 s] /proc/loadavg: 2.04 2.05 2.00 3/516 8034 /proc/meminfo: memFree=22257108/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=510980 CPUtime=1182.34 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 127007 0 0 0 117727 507 0 0 25 0 1 0 899062742 523243520 126197 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 127745 126197 180 372 0 127370 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 510980 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.00 3/516 8035 /proc/meminfo: memFree=22211164/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=536884 CPUtime=1242.34 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 133436 0 0 0 123699 535 0 0 25 0 1 0 899062742 549769216 132626 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 134221 132626 180 372 0 133846 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 536884 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8037 /proc/meminfo: memFree=22171308/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=562528 CPUtime=1302.34 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 139820 0 0 0 129678 556 0 0 25 0 1 0 899062742 576028672 139010 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 140632 139010 180 372 0 140257 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 562528 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8039 /proc/meminfo: memFree=22128452/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=583808 CPUtime=1362.35 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 145114 0 0 0 135657 578 0 0 25 0 1 0 899062742 597819392 144304 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 145952 144304 180 372 0 145577 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 583808 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8040 /proc/meminfo: memFree=22088704/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=607428 CPUtime=1422.36 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 151005 0 0 0 141635 601 0 0 25 0 1 0 899062742 622006272 150195 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 151857 150195 180 372 0 151482 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 607428 [startup+1482.3 s] /proc/loadavg: 2.10 2.04 2.01 3/516 8042 /proc/meminfo: memFree=22057872/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=628576 CPUtime=1482.34 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 156249 0 0 0 147614 620 0 0 25 0 1 0 899062742 643661824 155439 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 157144 155439 180 372 0 156769 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 628576 [startup+1542.3 s] /proc/loadavg: 2.08 2.05 2.01 3/516 8043 /proc/meminfo: memFree=22018516/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=650220 CPUtime=1542.35 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 161678 0 0 0 153593 642 0 0 25 0 1 0 899062742 665825280 160868 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 162555 160868 180 372 0 162180 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 650220 [startup+1602.3 s] /proc/loadavg: 2.17 2.08 2.02 3/516 8045 /proc/meminfo: memFree=21984480/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=669340 CPUtime=1602.35 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 166438 0 0 0 159576 659 0 0 25 0 1 0 899062742 685404160 165628 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 167335 165628 180 372 0 166960 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 669340 [startup+1662.3 s] /proc/loadavg: 2.06 2.06 2.01 3/516 8047 /proc/meminfo: memFree=21952180/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=688464 CPUtime=1662.35 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 171082 0 0 0 165557 678 0 0 25 0 1 0 899062742 704987136 170272 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 172116 170272 180 372 0 171741 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 688464 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.01 3/516 8048 /proc/meminfo: memFree=21915516/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=704884 CPUtime=1722.36 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 175182 0 0 0 171536 700 0 0 25 0 1 0 899062742 721801216 174372 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 176221 174372 180 372 0 175846 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 704884 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.00 3/516 8050 /proc/meminfo: memFree=21869568/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=722984 CPUtime=1782.36 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 179622 0 0 0 177514 722 0 0 25 0 1 0 899062742 740335616 178812 33554432000 4194304 5714214 140734110704272 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 180746 178812 180 372 0 180371 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 722984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8050 /proc/meminfo: memFree=21855296/32950928 swapFree=58671692/67111528 [pid=7974] ppid=7972 vsize=733612 CPUtime=1800.07 cores=1,3,5,7 /proc/7974/stat : 7974 (wbo1.6) R 7972 7974 1417 0 -1 4202496 182275 0 0 0 179278 729 0 0 25 0 1 0 899062742 751218688 181465 33554432000 4194304 5714214 140734110704272 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7974/statm: 183403 181465 180 372 0 183028 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 733612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.12 CPU user time (s): 1792.79 CPU system time (s): 7.32489 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 733612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.79 system time used= 7.32489 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182275 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 22034 runsolver used 9.68253 second user time and 21.1828 second system time The end
Begin job on node115 at 2011-06-03 10:05:21 IDJOB=3461428 IDBENCH=2149 IDSOLVER=1953 FILE ID=node115/3461428-1307088321 RUNJOBID= node115-1307082914-7619 PBS_JOBID= 13497873 Free space on /tmp= 73828 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461428-1307088321/watcher-3461428-1307088321 -o /tmp/evaluation-result-3461428-1307088321/solver-3461428-1307088321 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461428-1307088321.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 13b0390cc5a9eb04efebd7fc2f9164cf RANDOM SEED=637994280 node115.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.811 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.62 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.811 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.811 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.811 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 23243328 kB Buffers: 123120 kB Cached: 248736 kB SwapCached: 65796 kB Active: 1050184 kB Inactive: 8416612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 23243328 kB SwapTotal: 67111528 kB SwapFree: 58671692 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 9032872 kB Mapped: 27524 kB Slab: 95940 kB PageTables: 75292 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 151842864 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= 73820 MiB End job on node115 at 2011-06-03 10:35:23