Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb |
MD5SUM | 0146e39fcd18fa569f99190bc3dd90ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 92 |
Best CPU time to get the best result obtained on this benchmark | 0.004998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 92 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 11 |
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-3461443-1307089940.opb. 0.00/0.00 c Instance file HOME/instance-3461443-1307089940.opb 0.00/0.00 c File size is 38686 bytes. 0.00/0.00 c Highest Coefficient sum: 12 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: 900 | 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 | 186 900 4096 | 5000 0 -nan | 0.000 % | 0.00/0.01 c core #1 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 8 Core Weight: 1 Total Weight: 8 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #5 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 7 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #6 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 5 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #7 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #8 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 5 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #9 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #10 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #11 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 42 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #36 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #38 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #40 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #41 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #42 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #43 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 50 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #44 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #45 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #46 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 53 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #47 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 54 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #48 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 55 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #49 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 56 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #50 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 57 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #51 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 58 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #52 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 40 Core Weight: 1 Total Weight: 59 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #53 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 39 Core Weight: 1 Total Weight: 60 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #54 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 12 Core Weight: 1 Total Weight: 61 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c core #55 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: 62 0.00/0.02 c Current CPU time: 0.024996 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 | 362 1011 3790 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #56 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 45 Core Weight: 1 Total Weight: 63 0.00/0.02 c Current CPU time: 0.025996 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 | 392 1012 3853 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #57 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 30 Core Weight: 1 Total Weight: 64 0.00/0.02 c Current CPU time: 0.025996 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 | 408 1013 3887 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #58 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: 65 0.00/0.02 c Current CPU time: 0.026995 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 | 421 1014 3913 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #59 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 41 Core Weight: 1 Total Weight: 66 0.00/0.02 c Current CPU time: 0.027995 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 | 448 1015 3969 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #60 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 31 Core Weight: 1 Total Weight: 67 0.00/0.02 c Current CPU time: 0.027995 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 | 452 1016 3977 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #61 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 36 Core Weight: 1 Total Weight: 68 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 467 1019 4019 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #62 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 45 Core Weight: 1 Total Weight: 69 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 482 1020 4050 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #63 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 69 Core Weight: 1 Total Weight: 70 0.00/0.03 c Current CPU time: 0.029995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 516 1022 4120 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #64 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 108 Core Weight: 1 Total Weight: 71 0.00/0.03 c Current CPU time: 0.030995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 539 1024 4186 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #65 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 84 Core Weight: 1 Total Weight: 72 0.00/0.03 c Current CPU time: 0.031995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 567 1028 4251 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #66 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 75 Core Weight: 1 Total Weight: 73 0.00/0.03 c Current CPU time: 0.033994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 601 1030 4321 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #67 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 108 Core Weight: 1 Total Weight: 74 0.00/0.03 c Current CPU time: 0.034994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 612 1037 4369 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #68 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 140 Core Weight: 1 Total Weight: 75 0.00/0.03 c Current CPU time: 0.036994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 640 1043 4443 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #69 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 103 Core Weight: 1 Total Weight: 76 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 | 624 1048 4485 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 614 1048 4485 | 5500 100 35 | 12.160 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #70 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 148 Core Weight: 1 Total Weight: 77 0.00/0.04 c Current CPU time: 0.043993 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 | 644 1059 4570 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 644 1059 4570 | 5500 100 15 | 11.915 % | 0.00/0.05 c | 251 | 634 1059 4570 | 6050 251 19 | 13.406 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #71 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 179 Core Weight: 1 Total Weight: 78 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 | 673 1066 4672 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 100 | 673 1066 4672 | 5500 100 20 | 13.837 % | 0.00/0.05 c | 250 | 673 1066 4672 | 6050 250 16 | 13.829 % | 0.00/0.06 c | 477 | 663 1066 4672 | 6655 477 23 | 15.116 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #72 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 172 Core Weight: 1 Total Weight: 79 0.00/0.06 c Current CPU time: 0.06099 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 712 1071 4778 | 5000 0 -nan | 0.000 % | 0.06/0.06 c | 100 | 712 1071 4778 | 5500 100 36 | 14.223 % | 0.06/0.06 c | 251 | 712 1071 4778 | 6050 251 34 | 14.217 % | 0.06/0.07 c | 477 | 712 1071 4778 | 6655 477 41 | 14.217 % | 0.06/0.08 c | 815 | 706 1071 4778 | 7320 815 49 | 14.940 % | 0.06/0.09 c | 1321 | 706 1071 4778 | 8052 1321 45 | 14.945 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #73 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 175 Core Weight: 1 Total Weight: 80 0.09/0.11 c Current CPU time: 0.114982 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 758 1073 4882 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 103 | 758 1073 4882 | 5500 103 45 | 14.064 % | 0.09/0.12 c | 254 | 758 1073 4882 | 6050 254 32 | 14.059 % | 0.09/0.12 c | 481 | 758 1073 4882 | 6655 481 34 | 14.064 % | 0.09/0.13 c | 818 | 722 1073 4882 | 7320 818 28 | 18.141 % | 0.09/0.14 c | 1324 | 722 1073 4882 | 8052 1324 36 | 18.141 % | 0.09/0.16 c | 2084 | 722 1073 4882 | 8857 2084 45 | 18.141 % | 0.19/0.21 c | 3223 | 722 1073 4882 | 9743 3223 57 | 18.141 % | 0.29/0.30 c | 4932 | 722 1073 4882 | 10717 4932 68 | 18.141 % | 0.39/0.48 c | 7494 | 722 1073 4882 | 11789 7494 73 | 18.141 % | 1.00/1.02 c | 11339 | 722 1073 4882 | 12968 11339 84 | 18.141 % | 1.69/1.79 c | 17105 | 722 1073 4882 | 14265 10497 86 | 18.141 % | 2.39/2.49 c | 25754 | 722 1073 4882 | 15692 11889 61 | 18.141 % | 3.99/4.00 c | 38728 | 722 1073 4882 | 17261 8870 70 | 18.143 % | 6.19/6.21 c | 58192 | 722 1073 4882 | 18987 10794 73 | 18.142 % | 11.09/11.12 c | 87384 | 673 1073 4882 | 20886 11077 81 | 23.696 % | 11.29/11.33 c =============================================================================== 11.49/11.58 c core #74 11.49/11.58 c 11.49/11.58 c 11.49/11.58 c Core size: 215 Core Weight: 1 Total Weight: 81 11.49/11.58 c Current CPU time: 11.4623 s 11.49/11.58 c 11.49/11.58 c ============================[ Search Statistics ]============================== 11.49/11.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.58 c =============================================================================== 11.49/11.58 c | 0 | 827 1074 5020 | 5000 0 -nan | 0.000 % | 11.49/11.58 c | 100 | 827 1074 5020 | 5500 100 59 | 13.043 % | 11.49/11.59 c | 251 | 827 1074 5020 | 6050 251 38 | 13.039 % | 11.49/11.59 c | 476 | 825 1074 5020 | 6655 476 37 | 13.249 % | 11.59/11.60 c | 815 | 825 1074 5020 | 7320 815 38 | 13.249 % | 11.59/11.61 c | 1321 | 825 1074 5020 | 8052 1321 40 | 13.249 % | 11.59/11.63 c | 2083 | 825 1074 5020 | 8857 2083 41 | 13.249 % | 11.59/11.68 c | 3224 | 825 1074 5020 | 9743 3224 52 | 13.253 % | 11.69/11.75 c | 4932 | 791 1074 5020 | 10717 4932 51 | 16.825 % | 11.89/11.93 c | 7494 | 791 1074 5020 | 11789 7494 60 | 16.825 % | 12.19/12.23 c | 11338 | 791 1074 5020 | 12968 11338 69 | 16.825 % | 12.99/13.02 c | 17105 | 791 1074 5020 | 14265 10433 87 | 16.825 % | 14.31/14.32 c | 25754 | 791 1074 5020 | 15692 11806 93 | 16.825 % | 16.17/16.27 c | 38729 | 791 1074 5020 | 17261 8708 78 | 16.825 % | 19.37/19.46 c | 58192 | 791 1074 5020 | 18987 10606 101 | 16.825 % | 25.88/25.98 c | 87385 | 791 1074 5020 | 20886 10878 112 | 16.825 % | 38.98/39.05 c | 131174 | 791 1074 5020 | 22974 12228 111 | 16.825 % | 56.37/56.41 c | 196861 | 791 1074 5020 | 25272 19651 122 | 16.825 % | 81.48/81.55 c | 295389 | 790 1074 5020 | 27799 15356 116 | 16.930 % | 85.97/86.07 c =============================================================================== 88.48/88.57 c core #75 88.48/88.57 c 88.48/88.57 c 88.48/88.57 c Core size: 197 Core Weight: 1 Total Weight: 82 88.48/88.57 c Current CPU time: 87.9406 s 88.48/88.57 c 88.48/88.57 c ============================[ Search Statistics ]============================== 88.48/88.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.48/88.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.48/88.57 c =============================================================================== 88.48/88.57 c | 0 | 894 1079 5165 | 5000 0 -nan | 0.000 % | 88.48/88.57 c | 100 | 894 1079 5165 | 5500 100 78 | 12.356 % | 88.48/88.57 c | 250 | 894 1079 5165 | 6050 250 46 | 12.353 % | 88.48/88.58 c | 476 | 894 1079 5165 | 6655 476 45 | 12.356 % | 88.48/88.58 c | 818 | 894 1079 5165 | 7320 818 40 | 12.353 % | 88.48/88.59 c | 1324 | 894 1079 5165 | 8052 1324 42 | 12.356 % | 88.58/88.62 c | 2085 | 894 1079 5165 | 8857 2085 56 | 12.353 % | 88.58/88.66 c | 3228 | 894 1079 5165 | 9743 3228 55 | 12.353 % | 88.67/88.75 c | 4938 | 894 1079 5165 | 10717 4938 61 | 12.353 % | 88.87/88.90 c | 7502 | 894 1079 5165 | 11789 7502 58 | 12.353 % | 89.09/89.13 c | 11349 | 894 1079 5165 | 12968 11349 62 | 12.356 % | 89.58/89.63 c | 17117 | 894 1079 5165 | 14265 10449 57 | 12.353 % | 90.19/90.29 c | 25768 | 894 1079 5165 | 15692 11722 58 | 12.358 % | 91.78/91.88 c | 38743 | 866 1079 5165 | 17261 8576 86 | 15.688 % | 94.59/94.63 c | 58204 | 860 1079 5165 | 18987 10436 95 | 15.686 % | 98.77/98.85 c | 87397 | 860 1079 5165 | 20886 10545 78 | 15.686 % | 107.38/107.43 c | 131186 | 860 1079 5165 | 22974 11853 110 | 15.686 % | 119.98/120.07 c | 196873 | 860 1079 5165 | 25272 18962 96 | 15.686 % | 138.37/138.50 c | 295404 | 860 1079 5165 | 27799 24816 107 | 15.686 % | 176.58/176.60 c | 443193 | 860 1079 5165 | 30579 25872 149 | 15.686 % | 237.18/237.23 c | 664878 | 860 1079 5165 | 33637 27349 135 | 15.686 % | 340.58/340.60 c | 997405 | 860 1079 5165 | 37001 18567 140 | 15.686 % | 510.88/510.97 c | 1496194 | 860 1079 5165 | 40701 34543 131 | 15.686 % | 779.29/779.35 c | 2244382 | 860 1079 5165 | 44771 36067 133 | 15.686 % | 1231.70/1231.74 c | 3366657 | 860 1079 5165 | 49248 29608 182 | 15.686 % |
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-3461443-1307089940/watcher-3461443-1307089940 -o /tmp/evaluation-result-3461443-1307089940/solver-3461443-1307089940 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461443-1307089940.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.05 1.35 3/399 26860 /proc/meminfo: memFree=30190372/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=2196 CPUtime=0.01 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 352 0 0 0 1 0 0 0 22 0 1 0 820593804 2248704 295 33554432000 4194304 5714214 140734408826064 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 549 295 175 372 0 174 0 [startup+0.063898 s] /proc/loadavg: 1.01 1.05 1.35 3/399 26860 /proc/meminfo: memFree=30190372/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=2768 CPUtime=0.06 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 493 0 0 0 6 0 0 0 23 0 1 0 820593804 2834432 436 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 692 436 180 372 0 317 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2768 [startup+0.100878 s] /proc/loadavg: 1.01 1.05 1.35 3/399 26860 /proc/meminfo: memFree=30190372/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=2900 CPUtime=0.09 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 533 0 0 0 9 0 0 0 23 0 1 0 820593804 2969600 476 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 725 476 180 372 0 350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2900 [startup+0.300847 s] /proc/loadavg: 1.01 1.05 1.35 3/399 26860 /proc/meminfo: memFree=30190372/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=4628 CPUtime=0.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 978 0 0 0 29 0 0 0 23 0 1 0 820593804 4739072 921 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 1157 921 180 372 0 782 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4628 [startup+0.700776 s] /proc/loadavg: 1.01 1.05 1.35 3/399 26860 /proc/meminfo: memFree=30190372/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=7272 CPUtime=0.69 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 1629 0 0 0 68 1 0 0 25 0 1 0 820593804 7446528 1572 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 1818 1572 180 372 0 1443 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7272 [startup+1.50064 s] /proc/loadavg: 1.01 1.05 1.35 5/401 26862 /proc/meminfo: memFree=30177328/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=10204 CPUtime=1.49 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 2332 0 0 0 148 1 0 0 25 0 1 0 820593804 10448896 2275 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 2551 2275 180 372 0 2176 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10204 [startup+3.10035 s] /proc/loadavg: 1.01 1.05 1.35 4/401 26862 /proc/meminfo: memFree=30170624/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=12508 CPUtime=3.09 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 2933 0 0 0 306 3 0 0 25 0 1 0 820593804 12808192 2876 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 3127 2876 180 372 0 2752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12508 [startup+6.30081 s] /proc/loadavg: 1.09 1.06 1.35 4/401 26862 /proc/meminfo: memFree=30163492/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=18692 CPUtime=6.3 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 4461 0 0 0 625 5 0 0 25 0 1 0 820593804 19140608 4404 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 4673 4404 180 372 0 4298 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 18692 [startup+12.7006 s] /proc/loadavg: 1.16 1.08 1.36 5/401 26862 /proc/meminfo: memFree=30150404/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=24944 CPUtime=12.69 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 6004 0 0 0 1259 10 0 0 25 0 1 0 820593804 25542656 5909 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/26860/statm: 6236 5909 180 372 0 5861 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24944 [startup+25.5004 s] /proc/loadavg: 1.34 1.12 1.37 5/401 26863 /proc/meminfo: memFree=30147420/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=27532 CPUtime=25.48 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 6730 0 0 0 2531 17 0 0 25 0 1 0 820593804 28192768 6635 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 6883 6635 180 372 0 6508 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27532 [startup+51.1007 s] /proc/loadavg: 1.57 1.19 1.38 5/401 26863 /proc/meminfo: memFree=30121204/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=43880 CPUtime=51.08 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 10694 0 0 0 5080 28 0 0 25 0 1 0 820593804 44933120 10599 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 10970 10599 180 372 0 10595 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 43880 [startup+102.315 s] /proc/loadavg: 1.81 1.31 1.41 5/401 26865 /proc/meminfo: memFree=30068320/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=76004 CPUtime=102.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 18654 0 0 0 10172 57 0 0 25 0 1 0 820593804 77828096 18504 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 19001 18504 180 372 0 18626 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 76004 [startup+162.301 s] /proc/loadavg: 1.93 1.44 1.45 5/401 26866 /proc/meminfo: memFree=30037732/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=85948 CPUtime=162.28 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 21341 0 0 0 16142 86 0 0 25 0 1 0 820593804 88010752 21191 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 21487 21191 180 372 0 21112 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 85948 [startup+222.3 s] /proc/loadavg: 1.97 1.54 1.48 4/401 26868 /proc/meminfo: memFree=30004260/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=119528 CPUtime=222.28 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 29652 0 0 0 22116 112 0 0 25 0 1 0 820593804 122396672 29502 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 29882 29502 180 372 0 29507 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 119528 [startup+282.301 s] /proc/loadavg: 1.99 1.62 1.51 4/401 26869 /proc/meminfo: memFree=29954084/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=157252 CPUtime=282.28 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 38916 0 0 0 28091 137 0 0 25 0 1 0 820593804 161026048 38766 33554432000 4194304 5714214 140734408826064 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 39313 38766 180 372 0 38938 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 157252 [startup+342.301 s] /proc/loadavg: 1.99 1.68 1.54 5/401 26871 /proc/meminfo: memFree=29925872/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=186788 CPUtime=342.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 46233 0 0 0 34068 161 0 0 25 0 1 0 820593804 191270912 46083 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 46697 46083 180 372 0 46322 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 186788 [startup+402.3 s] /proc/loadavg: 1.99 1.74 1.56 5/401 26873 /proc/meminfo: memFree=29892032/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=215736 CPUtime=402.28 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 53401 0 0 0 40049 179 0 0 25 0 1 0 820593804 220913664 53251 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 53934 53251 180 372 0 53559 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 215736 [startup+462.301 s] /proc/loadavg: 2.05 1.80 1.59 4/401 26874 /proc/meminfo: memFree=29864316/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=243544 CPUtime=462.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 60302 0 0 0 46029 200 0 0 25 0 1 0 820593804 249389056 60152 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 60886 60152 180 372 0 60511 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 243544 [startup+522.301 s] /proc/loadavg: 2.11 1.86 1.62 4/401 26876 /proc/meminfo: memFree=29836096/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=267784 CPUtime=522.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 66177 0 0 0 52010 219 0 0 25 0 1 0 820593804 274210816 66027 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 66946 66027 180 372 0 66571 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 267784 [startup+582.3 s] /proc/loadavg: 2.08 1.90 1.65 5/401 26877 /proc/meminfo: memFree=29805008/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=298204 CPUtime=582.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 73750 0 0 0 57983 246 0 0 25 0 1 0 820593804 305360896 73600 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 74551 73600 180 372 0 74176 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 298204 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.04 1.96 1.73 5/401 26884 /proc/meminfo: memFree=29587392/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=401032 CPUtime=822.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 99266 0 0 0 81904 325 0 0 25 0 1 0 820593804 410656768 99116 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 100258 99116 180 372 0 99883 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 401032 [startup+882.301 s] /proc/loadavg: 2.01 1.97 1.74 5/401 26885 /proc/meminfo: memFree=29538484/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=435124 CPUtime=882.29 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 107756 0 0 0 87878 351 0 0 25 0 1 0 820593804 445566976 107606 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 108781 107606 180 372 0 108406 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 435124 [startup+942.301 s] /proc/loadavg: 2.00 1.97 1.75 4/401 26887 /proc/meminfo: memFree=29486460/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=452812 CPUtime=942.3 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 112136 0 0 0 93856 374 0 0 25 0 1 0 820593804 463679488 111986 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 113203 111986 180 372 0 112828 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 452812 [startup+1002.3 s] /proc/loadavg: 2.15 2.00 1.77 4/401 26889 /proc/meminfo: memFree=29429752/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=480136 CPUtime=1002.3 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 118938 0 0 0 99838 392 0 0 25 0 1 0 820593804 491659264 118788 33554432000 4194304 5714214 140734408826064 18446744073709551615 4320159 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 120034 118788 180 372 0 119659 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 480136 [startup+1062.3 s] /proc/loadavg: 2.25 2.05 1.80 5/401 26890 /proc/meminfo: memFree=29412320/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=497488 CPUtime=1062.3 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 123227 0 0 0 105821 409 0 0 25 0 1 0 820593804 509427712 123077 33554432000 4194304 5714214 140734408826064 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 124372 123077 180 372 0 123997 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 497488 [startup+1122.3 s] /proc/loadavg: 2.15 2.05 1.82 5/401 26892 /proc/meminfo: memFree=29391428/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=518416 CPUtime=1122.3 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 128349 0 0 0 111804 426 0 0 25 0 1 0 820593804 530857984 128199 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 129604 128199 180 372 0 129229 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 518416 [startup+1182.3 s] /proc/loadavg: 2.05 2.04 1.82 5/401 26893 /proc/meminfo: memFree=29367180/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=541652 CPUtime=1182.31 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 134080 0 0 0 117788 443 0 0 25 0 1 0 820593804 554651648 133930 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 135413 133930 180 372 0 135038 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 541652 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 1.83 5/401 26895 /proc/meminfo: memFree=29343548/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=564864 CPUtime=1242.31 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 139865 0 0 0 123770 461 0 0 25 0 1 0 820593804 578420736 139715 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 141216 139715 180 372 0 140841 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 564864 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 1.84 5/401 26897 /proc/meminfo: memFree=29323788/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=583240 CPUtime=1302.32 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 144365 0 0 0 129752 480 0 0 25 0 1 0 820593804 597237760 144215 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 145810 144215 180 372 0 145435 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 583240 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 1.84 4/401 26898 /proc/meminfo: memFree=29302280/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=605428 CPUtime=1362.31 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 149925 0 0 0 135732 499 0 0 25 0 1 0 820593804 619958272 149775 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 151357 149775 180 372 0 150982 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 605428 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 1.85 4/401 26900 /proc/meminfo: memFree=29283880/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=623804 CPUtime=1422.32 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 154466 0 0 0 141717 515 0 0 25 0 1 0 820593804 638775296 154316 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 155951 154316 180 372 0 155576 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 623804 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.85 4/401 26901 /proc/meminfo: memFree=29266352/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=640432 CPUtime=1482.31 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 158609 0 0 0 147703 528 0 0 25 0 1 0 820593804 655802368 158459 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 160108 158459 180 372 0 159733 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 640432 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.86 5/401 26903 /proc/meminfo: memFree=29233060/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=654960 CPUtime=1542.31 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 162225 0 0 0 153686 545 0 0 25 0 1 0 820593804 670679040 162075 33554432000 4194304 5714214 140734408826064 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 163740 162075 180 372 0 163365 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 654960 [startup+1602.3 s] /proc/loadavg: 2.07 2.03 1.88 5/401 26905 /proc/meminfo: memFree=29187884/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=666572 CPUtime=1602.32 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 165136 0 0 0 159669 563 0 0 25 0 1 0 820593804 682569728 164986 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 166643 164986 180 372 0 166268 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 666572 [startup+1662.3 s] /proc/loadavg: 2.13 2.06 1.90 5/401 26906 /proc/meminfo: memFree=29140220/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=688144 CPUtime=1662.32 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 170499 0 0 0 165653 579 0 0 25 0 1 0 820593804 704659456 170349 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 172036 170349 180 372 0 171661 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 688144 [startup+1722.3 s] /proc/loadavg: 2.08 2.06 1.91 4/401 26917 /proc/meminfo: memFree=29089716/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=704104 CPUtime=1722.32 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 174443 0 0 0 171641 591 0 0 25 0 1 0 820593804 721002496 174293 33554432000 4194304 5714214 140734408826064 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 176026 174293 180 372 0 175651 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 704104 [startup+1782.3 s] /proc/loadavg: 2.03 2.05 1.91 5/401 26918 /proc/meminfo: memFree=29061500/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=722892 CPUtime=1782.32 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 179080 0 0 0 177625 607 0 0 25 0 1 0 820593804 740241408 178930 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 180723 178930 180 372 0 180348 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 722892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.04 1.91 4/401 26919 /proc/meminfo: memFree=29049836/32950904 swapFree=56615552/67111528 [pid=26860] ppid=26858 vsize=731100 CPUtime=1800.03 cores=0,2,4,6 /proc/26860/stat : 26860 (wbo1.6) R 26858 26860 19672 0 -1 4202496 181105 0 0 0 179391 612 0 0 25 0 1 0 820593804 748646400 180955 33554432000 4194304 5714214 140734408826064 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26860/statm: 182775 180955 180 372 0 182400 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 731100 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.08 CPU user time (s): 1793.92 CPU system time (s): 6.15606 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 731100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.92 system time used= 6.15606 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 181105 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= 1829 runsolver used 6.66199 second user time and 16.2175 second system time The end
Begin job on node121 at 2011-06-03 10:32:21 IDJOB=3461443 IDBENCH=2177 IDSOLVER=1953 FILE ID=node121/3461443-1307089940 RUNJOBID= node121-1307089940-26841 PBS_JOBID= 13497865 Free space on /tmp= 73948 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh213.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461443-1307089940/watcher-3461443-1307089940 -o /tmp/evaluation-result-3461443-1307089940/solver-3461443-1307089940 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461443-1307089940.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0146e39fcd18fa569f99190bc3dd90ba RANDOM SEED=1424793275 node121.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.817 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.63 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.817 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.07 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.817 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.84 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.817 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.817 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.82 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.817 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.817 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.817 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: 32950904 kB MemFree: 30190776 kB Buffers: 270932 kB Cached: 386340 kB SwapCached: 9896 kB Active: 2144380 kB Inactive: 358376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 30190776 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 8596 kB Writeback: 0 kB AnonPages: 1842676 kB Mapped: 13512 kB Slab: 139268 kB PageTables: 51216 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 83516160 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= 73944 MiB End job on node121 at 2011-06-03 11:02:23