Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb |
MD5SUM | 337fa63ae90b2f1f31bfc9ba194017c3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 94 |
Best CPU time to get the best result obtained on this benchmark | 0.004999 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 94 |
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-3461415-1307087001.opb. 0.00/0.00 c Instance file HOME/instance-3461415-1307087001.opb 0.00/0.00 c File size is 38794 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 | 200 900 4103 | 5000 0 -nan | 0.000 % | 0.01/0.02 c core #1 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 2 Core Weight: 2 Total Weight: 2 0.01/0.02 c Current CPU time: 0.002999 s 0.01/0.02 c 0.01/0.02 c core #2 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 8 Core Weight: 1 Total Weight: 3 0.01/0.02 c Current CPU time: 0.003999 s 0.01/0.02 c 0.01/0.02 c core #3 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 6 Core Weight: 1 Total Weight: 4 0.01/0.02 c Current CPU time: 0.003999 s 0.01/0.02 c 0.01/0.02 c core #4 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 5 0.01/0.02 c Current CPU time: 0.004999 s 0.01/0.02 c 0.01/0.02 c core #5 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 6 Core Weight: 1 Total Weight: 6 0.01/0.02 c Current CPU time: 0.004999 s 0.01/0.02 c 0.01/0.02 c core #6 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 10 Core Weight: 1 Total Weight: 7 0.01/0.02 c Current CPU time: 0.004999 s 0.01/0.02 c 0.01/0.02 c core #7 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 8 0.01/0.02 c Current CPU time: 0.005999 s 0.01/0.02 c 0.01/0.02 c core #8 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 9 Core Weight: 1 Total Weight: 9 0.01/0.02 c Current CPU time: 0.005999 s 0.01/0.02 c 0.01/0.02 c core #9 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 6 Core Weight: 1 Total Weight: 10 0.01/0.02 c Current CPU time: 0.005999 s 0.01/0.02 c 0.01/0.02 c core #10 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 11 0.01/0.02 c Current CPU time: 0.006998 s 0.01/0.02 c 0.01/0.02 c core #11 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 12 0.01/0.02 c Current CPU time: 0.006998 s 0.01/0.02 c 0.01/0.02 c core #12 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 7 Core Weight: 1 Total Weight: 13 0.01/0.02 c Current CPU time: 0.007998 s 0.01/0.02 c 0.01/0.02 c core #13 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 5 Core Weight: 1 Total Weight: 14 0.01/0.02 c Current CPU time: 0.007998 s 0.01/0.02 c 0.01/0.02 c core #14 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 15 0.01/0.02 c Current CPU time: 0.008998 s 0.01/0.02 c 0.01/0.02 c core #15 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.01/0.02 c Current CPU time: 0.008998 s 0.01/0.02 c 0.01/0.02 c core #16 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 5 Core Weight: 1 Total Weight: 17 0.01/0.02 c Current CPU time: 0.008998 s 0.01/0.02 c 0.01/0.02 c core #17 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 8 Core Weight: 1 Total Weight: 18 0.01/0.02 c Current CPU time: 0.009998 s 0.01/0.02 c 0.01/0.02 c core #18 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.01/0.02 c Current CPU time: 0.009998 s 0.01/0.02 c 0.01/0.02 c core #19 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 20 0.01/0.02 c Current CPU time: 0.010998 s 0.01/0.02 c 0.01/0.02 c core #20 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.01/0.02 c Current CPU time: 0.010998 s 0.01/0.02 c 0.01/0.02 c core #21 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 7 Core Weight: 1 Total Weight: 22 0.01/0.02 c Current CPU time: 0.010998 s 0.01/0.02 c 0.01/0.02 c core #22 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 5 Core Weight: 1 Total Weight: 23 0.01/0.02 c Current CPU time: 0.011998 s 0.01/0.02 c 0.01/0.02 c core #23 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 24 0.01/0.02 c Current CPU time: 0.011998 s 0.01/0.02 c 0.01/0.02 c core #24 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 25 0.01/0.02 c Current CPU time: 0.012998 s 0.01/0.02 c 0.01/0.02 c core #25 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.01/0.02 c Current CPU time: 0.012998 s 0.01/0.02 c 0.01/0.02 c core #26 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.01/0.02 c Current CPU time: 0.013997 s 0.01/0.02 c 0.01/0.02 c core #27 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 28 0.01/0.02 c Current CPU time: 0.013997 s 0.01/0.02 c 0.01/0.02 c core #28 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.01/0.02 c Current CPU time: 0.014997 s 0.01/0.02 c 0.01/0.02 c core #29 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 30 0.01/0.02 c Current CPU time: 0.014997 s 0.01/0.02 c 0.01/0.02 c core #30 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 31 0.01/0.02 c Current CPU time: 0.014997 s 0.01/0.02 c 0.01/0.02 c core #31 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.01/0.02 c Current CPU time: 0.015997 s 0.01/0.02 c 0.01/0.02 c core #32 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 6 Core Weight: 1 Total Weight: 33 0.01/0.02 c Current CPU time: 0.015997 s 0.01/0.02 c 0.01/0.02 c core #33 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 5 Core Weight: 1 Total Weight: 34 0.01/0.02 c Current CPU time: 0.016997 s 0.01/0.02 c 0.01/0.02 c core #34 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 35 0.01/0.02 c Current CPU time: 0.016997 s 0.01/0.02 c 0.01/0.02 c core #35 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 36 0.01/0.02 c Current CPU time: 0.017997 s 0.01/0.02 c 0.01/0.02 c core #36 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 37 0.01/0.02 c Current CPU time: 0.017997 s 0.01/0.02 c 0.01/0.02 c core #37 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 38 0.01/0.02 c Current CPU time: 0.018997 s 0.01/0.02 c 0.01/0.02 c core #38 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 39 0.01/0.02 c Current CPU time: 0.018997 s 0.01/0.02 c 0.01/0.02 c core #39 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 40 0.01/0.02 c Current CPU time: 0.019996 s 0.01/0.02 c 0.01/0.02 c core #40 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 41 0.01/0.02 c Current CPU time: 0.019996 s 0.01/0.02 c 0.01/0.02 c core #41 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 42 0.01/0.02 c Current CPU time: 0.020996 s 0.01/0.02 c 0.01/0.02 c core #42 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 43 0.01/0.02 c Current CPU time: 0.020996 s 0.01/0.02 c 0.01/0.02 c core #43 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 6 Core Weight: 1 Total Weight: 44 0.01/0.02 c Current CPU time: 0.021996 s 0.01/0.02 c 0.01/0.02 c core #44 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 12 Core Weight: 1 Total Weight: 45 0.01/0.02 c Current CPU time: 0.021996 s 0.01/0.02 c 0.01/0.02 c core #45 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 9 Core Weight: 1 Total Weight: 46 0.01/0.02 c Current CPU time: 0.022996 s 0.01/0.02 c 0.01/0.02 c core #46 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 21 Core Weight: 1 Total Weight: 47 0.01/0.02 c Current CPU time: 0.022996 s 0.01/0.02 c 0.01/0.02 c core #47 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 4 Core Weight: 1 Total Weight: 48 0.01/0.02 c Current CPU time: 0.023996 s 0.01/0.02 c 0.01/0.02 c core #48 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 6 Core Weight: 1 Total Weight: 49 0.01/0.02 c Current CPU time: 0.024996 s 0.01/0.02 c 0.01/0.02 c core #49 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 18 Core Weight: 1 Total Weight: 50 0.01/0.02 c Current CPU time: 0.024996 s 0.01/0.02 c 0.01/0.02 c core #50 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 16 Core Weight: 1 Total Weight: 51 0.01/0.02 c Current CPU time: 0.025996 s 0.01/0.02 c 0.01/0.02 c core #51 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 20 Core Weight: 1 Total Weight: 52 0.01/0.02 c Current CPU time: 0.025996 s 0.01/0.02 c 0.01/0.02 c core #52 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 12 Core Weight: 1 Total Weight: 53 0.01/0.02 c Current CPU time: 0.026995 s 0.01/0.02 c 0.01/0.02 c core #53 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 25 Core Weight: 1 Total Weight: 54 0.01/0.02 c Current CPU time: 0.026995 s 0.01/0.02 c 0.01/0.02 c core #54 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 17 Core Weight: 1 Total Weight: 55 0.01/0.02 c Current CPU time: 0.027995 s 0.01/0.02 c 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 401 1148 4698 | 5000 0 -nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c core #55 0.01/0.02 c 0.01/0.02 c 0.01/0.02 c Core size: 20 Core Weight: 1 Total Weight: 56 0.01/0.02 c Current CPU time: 0.027995 s 0.01/0.02 c 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 412 1149 4720 | 5000 0 -nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.03 c core #56 0.01/0.03 c 0.01/0.03 c 0.01/0.03 c Core size: 39 Core Weight: 1 Total Weight: 57 0.01/0.03 c Current CPU time: 0.028995 s 0.01/0.03 c 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 437 1150 4770 | 5000 0 -nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #57 0.01/0.03 c 0.01/0.03 c 0.01/0.03 c Core size: 36 Core Weight: 1 Total Weight: 58 0.01/0.03 c Current CPU time: 0.029995 s 0.01/0.03 c 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 463 1152 4828 | 5000 0 -nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #58 0.01/0.03 c 0.01/0.03 c 0.01/0.03 c Core size: 68 Core Weight: 1 Total Weight: 59 0.01/0.03 c Current CPU time: 0.030995 s 0.01/0.03 c 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 496 1153 4894 | 5000 0 -nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #59 0.01/0.03 c 0.01/0.03 c 0.01/0.03 c Core size: 119 Core Weight: 1 Total Weight: 60 0.01/0.03 c Current CPU time: 0.032994 s 0.01/0.03 c 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 576 1155 5056 | 5000 0 -nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #60 0.01/0.03 c 0.01/0.03 c 0.01/0.03 c Core size: 50 Core Weight: 1 Total Weight: 61 0.01/0.03 c Current CPU time: 0.033994 s 0.01/0.03 c 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 588 1158 5106 | 5000 0 -nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #61 0.01/0.03 c 0.01/0.03 c 0.01/0.03 c Core size: 99 Core Weight: 1 Total Weight: 62 0.01/0.03 c Current CPU time: 0.036994 s 0.01/0.03 c 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 633 1163 5208 | 5000 0 -nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.04 c core #62 0.01/0.04 c 0.01/0.04 c 0.01/0.04 c Core size: 134 Core Weight: 1 Total Weight: 63 0.01/0.04 c Current CPU time: 0.038994 s 0.01/0.04 c 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 671 1173 5309 | 5000 0 -nan | 0.000 % | 0.01/0.04 c | 107 | 671 1173 5309 | 5500 107 23 | 2.189 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c core #63 0.01/0.04 c 0.01/0.04 c 0.01/0.04 c Core size: 92 Core Weight: 1 Total Weight: 64 0.01/0.04 c Current CPU time: 0.041993 s 0.01/0.04 c 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 692 1182 5372 | 5000 0 -nan | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c core #64 0.01/0.04 c 0.01/0.04 c 0.01/0.04 c Core size: 89 Core Weight: 1 Total Weight: 65 0.01/0.04 c Current CPU time: 0.043993 s 0.01/0.04 c 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 711 1187 5421 | 5000 0 -nan | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c core #65 0.01/0.04 c 0.01/0.04 c 0.01/0.04 c Core size: 80 Core Weight: 1 Total Weight: 66 0.01/0.04 c Current CPU time: 0.046992 s 0.01/0.04 c 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 744 1193 5501 | 5000 0 -nan | 0.000 % | 0.01/0.05 c | 100 | 744 1193 5501 | 5500 100 24 | 1.988 % | 0.01/0.05 c | 250 | 692 1193 5501 | 6050 250 24 | 19.369 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c core #66 0.01/0.05 c 0.01/0.05 c 0.01/0.05 c Core size: 170 Core Weight: 1 Total Weight: 67 0.01/0.05 c Current CPU time: 0.054991 s 0.01/0.05 c 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 687 1205 5592 | 5000 0 -nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c core #67 0.01/0.05 c 0.01/0.05 c 0.01/0.05 c Core size: 142 Core Weight: 1 Total Weight: 68 0.01/0.05 c Current CPU time: 0.056991 s 0.01/0.05 c 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 675 1209 5628 | 5000 0 -nan | 0.000 % | 0.01/0.06 c | 100 | 672 1209 5628 | 5500 100 16 | 18.061 % | 0.01/0.06 c | 252 | 667 1209 5628 | 6050 252 22 | 18.059 % | 0.01/0.06 c | 481 | 667 1209 5628 | 6655 481 24 | 18.059 % | 0.01/0.07 c | 818 | 667 1209 5628 | 7320 818 27 | 18.061 % | 0.01/0.08 c | 1326 | 667 1209 5628 | 8052 1326 30 | 18.064 % | 0.09/0.11 c | 2086 | 667 1209 5628 | 8857 2086 32 | 18.060 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #68 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 195 Core Weight: 1 Total Weight: 69 0.09/0.16 c Current CPU time: 0.157975 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 | 713 1216 5733 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 102 | 713 1216 5733 | 5500 102 50 | 17.286 % | 0.09/0.16 c | 252 | 713 1216 5733 | 6050 252 52 | 17.286 % | 0.09/0.17 c | 477 | 713 1216 5733 | 6655 477 51 | 17.286 % | 0.09/0.18 c | 814 | 713 1216 5733 | 7320 814 54 | 17.286 % | 0.09/0.20 c | 1321 | 713 1216 5733 | 8052 1321 55 | 17.286 % | 0.19/0.23 c | 2082 | 713 1216 5733 | 8857 2082 58 | 17.286 % | 0.29/0.30 c | 3224 | 713 1216 5733 | 9743 3224 62 | 17.286 % | 0.29/0.39 c | 4932 | 713 1216 5733 | 10717 4932 58 | 17.286 % | 0.49/0.59 c | 7494 | 713 1216 5733 | 11789 7494 60 | 17.286 % | 0.89/0.99 c | 11340 | 711 1216 5733 | 12968 11340 62 | 17.518 % | 1.59/1.60 c | 17109 | 711 1216 5733 | 14265 10493 61 | 17.518 % | 1.89/1.93 c =============================================================================== 1.99/2.00 c core #69 1.99/2.00 c 1.99/2.00 c 1.99/2.00 c Core size: 216 Core Weight: 1 Total Weight: 70 1.99/2.00 c Current CPU time: 1.9697 s 1.99/2.00 c 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 776 1217 5859 | 5000 0 -nan | 0.000 % | 1.99/2.00 c | 101 | 776 1217 5859 | 5500 101 57 | 16.108 % | 1.99/2.01 c | 251 | 776 1217 5859 | 6050 251 49 | 16.108 % | 1.99/2.01 c | 477 | 776 1217 5859 | 6655 477 52 | 16.108 % | 1.99/2.02 c | 814 | 776 1217 5859 | 7320 814 52 | 16.108 % | 1.99/2.04 c | 1320 | 776 1217 5859 | 8052 1320 53 | 16.108 % | 1.99/2.04 c =============================================================================== 1.99/2.04 c core #70 1.99/2.04 c 1.99/2.04 c 1.99/2.04 c Core size: 137 Core Weight: 1 Total Weight: 71 1.99/2.04 c Current CPU time: 2.01669 s 1.99/2.04 c 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 796 1218 5899 | 5000 0 -nan | 0.000 % | 1.99/2.05 c | 100 | 796 1218 5899 | 5500 100 63 | 15.768 % | 1.99/2.05 c | 251 | 796 1218 5899 | 6050 251 59 | 15.767 % | 1.99/2.06 c | 479 | 796 1218 5899 | 6655 479 51 | 15.767 % | 1.99/2.06 c | 818 | 796 1218 5899 | 7320 818 45 | 15.767 % | 1.99/2.08 c | 1324 | 796 1218 5899 | 8052 1324 42 | 15.767 % | 1.99/2.10 c | 2084 | 796 1218 5899 | 8857 2084 45 | 15.771 % | 2.09/2.14 c | 3223 | 796 1218 5899 | 9743 3223 39 | 15.778 % | 2.21/2.22 c | 4933 | 796 1218 5899 | 10717 4933 41 | 15.767 % | 2.21/2.28 c =============================================================================== 2.21/2.29 c core #71 2.21/2.29 c 2.21/2.29 c 2.21/2.29 c Core size: 158 Core Weight: 1 Total Weight: 72 2.21/2.29 c Current CPU time: 2.26365 s 2.21/2.29 c 2.21/2.29 c ============================[ Search Statistics ]============================== 2.21/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.29 c =============================================================================== 2.21/2.29 c | 0 | 829 1219 5965 | 5000 0 -nan | 0.000 % | 2.21/2.29 c | 101 | 829 1219 5965 | 5500 101 59 | 15.235 % | 2.29/2.30 c | 251 | 829 1219 5965 | 6050 251 50 | 15.235 % | 2.29/2.30 c | 477 | 829 1219 5965 | 6655 477 43 | 15.235 % | 2.29/2.31 c | 819 | 829 1219 5965 | 7320 819 45 | 15.235 % | 2.29/2.32 c | 1326 | 829 1219 5965 | 8052 1326 45 | 15.239 % | 2.29/2.35 c | 2086 | 829 1219 5965 | 8857 2086 52 | 15.235 % | 2.39/2.41 c | 3227 | 829 1219 5965 | 9743 3227 58 | 15.235 % | 2.39/2.49 c | 4939 | 829 1219 5965 | 10717 4939 62 | 15.235 % | 2.59/2.69 c | 7502 | 829 1219 5965 | 11789 7502 66 | 15.235 % | 2.99/3.07 c | 11354 | 829 1219 5965 | 12968 11354 72 | 15.235 % | 3.79/3.80 c | 17121 | 829 1219 5965 | 14265 10486 80 | 15.235 % | 4.89/4.93 c | 25771 | 829 1219 5965 | 15692 11878 75 | 15.235 % | 6.69/6.80 c | 38746 | 829 1219 5965 | 17261 8841 70 | 15.239 % | 9.99/10.02 c | 58207 | 829 1219 5965 | 18987 10751 65 | 15.235 % | 15.49/15.56 c | 87401 | 829 1219 5965 | 20886 10968 71 | 15.235 % | 22.49/22.51 c | 131190 | 829 1219 5965 | 22974 12335 88 | 15.235 % | 34.78/34.87 c | 196875 | 829 1219 5965 | 25272 19805 71 | 15.235 % | 58.20/58.30 c | 295401 | 829 1219 5965 | 27799 25350 102 | 15.236 % | 98.19/98.24 c | 443192 | 829 1219 5965 | 30579 22143 124 | 15.235 % | 166.79/166.82 c | 664877 | 829 1219 5965 | 33637 20800 127 | 15.235 % | 268.70/268.76 c | 997406 | 829 1219 5965 | 37001 30943 96 | 15.235 % | 418.19/418.26 c | 1496197 | 829 1219 5965 | 40701 33521 93 | 15.235 % | 637.50/637.55 c =============================================================================== 655.90/655.90 c core #72 655.90/655.90 c 655.90/655.90 c 655.90/655.90 c Core size: 226 Core Weight: 1 Total Weight: 73 655.90/655.90 c Current CPU time: 652.953 s 655.90/655.90 c 655.90/655.91 c ============================[ Search Statistics ]============================== 655.90/655.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 655.90/655.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 655.90/655.91 c =============================================================================== 655.90/655.91 c | 0 | 899 1222 6109 | 5000 0 -nan | 0.000 % | 655.90/655.91 c | 101 | 899 1222 6109 | 5500 101 94 | 14.218 % | 655.90/655.91 c | 251 | 899 1222 6109 | 6050 251 62 | 14.218 % | 655.90/655.92 c | 476 | 899 1222 6109 | 6655 476 58 | 14.218 % | 655.90/655.93 c | 813 | 899 1222 6109 | 7320 813 54 | 14.218 % | 655.90/655.94 c | 1324 | 899 1222 6109 | 8052 1324 52 | 14.218 % | 655.90/655.97 c | 2085 | 899 1222 6109 | 8857 2085 64 | 14.218 % | 656.00/656.02 c | 3224 | 899 1222 6109 | 9743 3224 72 | 14.219 % | 656.10/656.11 c | 4933 | 899 1222 6109 | 10717 4933 68 | 14.218 % | 656.31/656.30 c | 7497 | 899 1222 6109 | 11789 7497 69 | 14.218 % | 656.50/656.54 c | 11343 | 899 1222 6109 | 12968 11343 71 | 14.218 % | 657.10/657.10 c | 17110 | 899 1222 6109 | 14265 10451 75 | 14.218 % | 658.10/658.12 c | 25761 | 899 1222 6109 | 15692 11800 83 | 14.218 % | 659.91/660.00 c | 38735 | 899 1222 6109 | 17261 8725 71 | 14.218 % | 662.60/662.64 c | 58196 | 899 1222 6109 | 18987 10599 88 | 14.218 % | 668.30/668.37 c | 87392 | 899 1222 6109 | 20886 10715 94 | 14.218 % | 676.00/676.00 c | 131182 | 899 1222 6109 | 22974 11913 69 | 14.218 % | 692.10/692.16 c | 196866 | 899 1222 6109 | 25272 18948 96 | 14.218 % | 715.11/715.14 c | 295400 | 899 1222 6109 | 27799 25612 117 | 14.218 % | 752.42/752.42 c | 443194 | 899 1222 6109 | 30579 24104 110 | 14.218 % | 816.70/816.79 c | 664879 | 899 1222 6109 | 33637 23399 125 | 14.218 % | 913.91/913.90 c | 997405 | 899 1222 6109 | 37001 22453 120 | 14.218 % | 1118.11/1118.12 c | 1496195 | 899 1222 6109 | 40701 25462 158 | 14.218 % | 1369.82/1369.83 c | 2244379 | 899 1222 6109 | 44771 32749 135 | 14.218 % |
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-3461415-1307087001/watcher-3461415-1307087001 -o /tmp/evaluation-result-3461415-1307087001/solver-3461415-1307087001 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461415-1307087001.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.97 2.04 2.01 3/535 9010 /proc/meminfo: memFree=25290688/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=2104 CPUtime=0 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 348 0 0 0 0 0 0 0 25 0 1 0 801116330 2154496 291 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 526 291 175 372 0 151 0 [startup+0.020201 s] /proc/loadavg: 1.97 2.04 2.01 3/535 9010 /proc/meminfo: memFree=25290688/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=2244 CPUtime=0.01 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 367 0 0 0 1 0 0 0 25 0 1 0 801116330 2297856 310 33554432000 4194304 5714214 140734492282896 18446744073709551615 4964699 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 561 310 175 372 0 186 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2244 [startup+0.100224 s] /proc/loadavg: 1.97 2.04 2.01 3/535 9010 /proc/meminfo: memFree=25290688/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=2908 CPUtime=0.09 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 532 0 0 0 9 0 0 0 18 0 1 0 801116330 2977792 475 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 727 475 180 372 0 352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2908 [startup+0.301175 s] /proc/loadavg: 1.97 2.04 2.01 3/535 9010 /proc/meminfo: memFree=25290688/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=3836 CPUtime=0.29 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 761 0 0 0 29 0 0 0 18 0 1 0 801116330 3928064 704 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 959 704 180 372 0 584 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3836 [startup+0.701077 s] /proc/loadavg: 1.97 2.04 2.01 3/535 9010 /proc/meminfo: memFree=25290688/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=6528 CPUtime=0.69 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 1439 0 0 0 68 1 0 0 18 0 1 0 801116330 6684672 1382 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 1632 1382 180 372 0 1257 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6528 [startup+1.50093 s] /proc/loadavg: 1.97 2.04 2.01 3/536 9011 /proc/meminfo: memFree=25279292/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=8940 CPUtime=1.49 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 2022 0 0 0 147 2 0 0 19 0 1 0 801116330 9154560 1965 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 2235 1965 180 372 0 1860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8940 [startup+3.10067 s] /proc/loadavg: 1.97 2.04 2.01 3/536 9011 /proc/meminfo: memFree=25272844/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=10864 CPUtime=3.09 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 2553 0 0 0 306 3 0 0 19 0 1 0 801116330 11124736 2470 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 2716 2470 180 372 0 2341 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10864 [startup+6.3011 s] /proc/loadavg: 1.98 2.04 2.01 3/536 9011 /proc/meminfo: memFree=25264400/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=13588 CPUtime=6.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 3233 0 0 0 624 6 0 0 25 0 1 0 801116330 13914112 3150 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 3397 3150 180 372 0 3022 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 13588 [startup+12.701 s] /proc/loadavg: 1.98 2.03 2.00 3/536 9011 /proc/meminfo: memFree=25245088/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=22688 CPUtime=12.69 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 5431 0 0 0 1261 8 0 0 25 0 1 0 801116330 23232512 5348 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 5672 5348 180 372 0 5297 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22688 [startup+25.5007 s] /proc/loadavg: 1.98 2.03 2.00 3/536 9012 /proc/meminfo: memFree=25220412/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=35344 CPUtime=25.49 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 8555 0 0 0 2535 14 0 0 25 0 1 0 801116330 36192256 8472 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/9010/statm: 8836 8472 180 372 0 8461 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35344 [startup+51.1011 s] /proc/loadavg: 1.99 2.03 2.00 3/536 9012 /proc/meminfo: memFree=25185632/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=55068 CPUtime=51.09 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 13404 0 0 0 5084 25 0 0 25 0 1 0 801116330 56389632 13321 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 13767 13322 180 372 0 13392 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 55068 [startup+102.32 s] /proc/loadavg: 2.13 2.06 2.01 3/536 9014 /proc/meminfo: memFree=25104492/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=87292 CPUtime=102.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 21401 0 0 0 10191 39 0 0 25 0 1 0 801116330 89387008 21318 33554432000 4194304 5714214 140734492282896 18446744073709551615 4300379 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 21823 21318 180 372 0 21448 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 87292 [startup+162.3 s] /proc/loadavg: 2.11 2.06 2.01 3/536 9015 /proc/meminfo: memFree=25036012/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=112768 CPUtime=162.29 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 27724 0 0 0 16173 56 0 0 25 0 1 0 801116330 115474432 27641 33554432000 4194304 5714214 140734492282896 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 28192 27641 180 372 0 27817 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 112768 [startup+222.3 s] /proc/loadavg: 2.04 2.05 2.00 3/536 9017 /proc/meminfo: memFree=24967892/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=140644 CPUtime=222.29 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 34659 0 0 0 22157 72 0 0 25 0 1 0 801116330 144019456 34576 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 35161 34576 180 372 0 34786 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 140644 [startup+282.301 s] /proc/loadavg: 2.01 2.04 2.00 3/536 9018 /proc/meminfo: memFree=24893556/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=167088 CPUtime=282.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 41156 0 0 0 28143 87 0 0 25 0 1 0 801116330 171098112 41073 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 41772 41073 180 372 0 41397 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 167088 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9020 /proc/meminfo: memFree=24826044/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=197368 CPUtime=342.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 48676 0 0 0 34128 102 0 0 25 0 1 0 801116330 202104832 48593 33554432000 4194304 5714214 140734492282896 18446744073709551615 4300368 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 49342 48593 180 372 0 48967 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 197368 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9022 /proc/meminfo: memFree=24763748/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=216740 CPUtime=402.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 53819 0 0 0 40111 119 0 0 25 0 1 0 801116330 221941760 53421 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 54185 53421 180 372 0 53810 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 216740 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9023 /proc/meminfo: memFree=24696120/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=248724 CPUtime=462.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 61728 0 0 0 46093 137 0 0 25 0 1 0 801116330 254693376 61330 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319844 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9010/statm: 62181 61330 180 372 0 61806 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 248724 [startup+522.301 s] /proc/loadavg: 2.10 2.04 2.01 3/536 9025 /proc/meminfo: memFree=24634308/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=273860 CPUtime=522.29 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 67981 0 0 0 52078 151 0 0 25 0 1 0 801116330 280432640 67583 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 68465 67583 180 372 0 68090 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 273860 [startup+582.301 s] /proc/loadavg: 2.08 2.04 2.01 3/536 9026 /proc/meminfo: memFree=24567680/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=299020 CPUtime=582.3 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 74229 0 0 0 58063 167 0 0 25 0 1 0 801116330 306196480 73831 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 74755 73831 180 372 0 74380 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 299020 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.04 2.07 2.02 3/536 9033 /proc/meminfo: memFree=24329972/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=822.31 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98465 0 0 0 81989 242 0 0 25 0 1 0 801116330 398602240 96877 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96877 180 372 0 96940 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 389260 [startup+882.3 s] /proc/loadavg: 2.01 2.05 2.01 3/536 9034 /proc/meminfo: memFree=24252556/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=882.31 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98469 0 0 0 87972 259 0 0 25 0 1 0 801116330 398602240 96881 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96881 180 372 0 96940 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 389260 [startup+942.301 s] /proc/loadavg: 2.00 2.04 2.00 3/536 9036 /proc/meminfo: memFree=24252864/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=942.31 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98514 0 0 0 93956 275 0 0 25 0 1 0 801116330 398602240 96926 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96926 180 372 0 96940 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 389260 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9038 /proc/meminfo: memFree=24252680/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1002.31 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98556 0 0 0 99941 290 0 0 25 0 1 0 801116330 398602240 96968 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96968 180 372 0 96940 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 389260 [startup+1062.3 s] /proc/loadavg: 2.15 2.06 2.01 3/536 9048 /proc/meminfo: memFree=24250740/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1062.32 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98563 0 0 0 105929 303 0 0 25 0 1 0 801116330 398602240 96975 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96975 180 372 0 96940 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 389260 [startup+1122.3 s] /proc/loadavg: 2.12 2.06 2.01 3/536 9050 /proc/meminfo: memFree=24250984/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1122.31 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98566 0 0 0 111917 314 0 0 25 0 1 0 801116330 398602240 96978 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96978 180 372 0 96940 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 389260 [startup+1182.3 s] /proc/loadavg: 2.04 2.05 2.00 3/536 9051 /proc/meminfo: memFree=24249824/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1182.31 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98577 0 0 0 117903 328 0 0 25 0 1 0 801116330 398602240 96989 33554432000 4194304 5714214 140734492282896 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 96989 180 372 0 96940 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 389260 [startup+1242.3 s] /proc/loadavg: 2.11 2.07 2.01 3/536 9053 /proc/meminfo: memFree=24248656/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1242.32 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98611 0 0 0 123883 349 0 0 25 0 1 0 801116330 398602240 97023 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 97023 180 372 0 96940 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 389260 [startup+1302.3 s] /proc/loadavg: 2.08 2.07 2.01 3/536 9055 /proc/meminfo: memFree=24247460/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1302.33 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98611 0 0 0 129871 362 0 0 25 0 1 0 801116330 398602240 97023 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 97023 180 372 0 96940 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 389260 [startup+1362.3 s] /proc/loadavg: 2.03 2.05 2.00 3/536 9056 /proc/meminfo: memFree=24248008/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1362.32 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98611 0 0 0 135858 374 0 0 25 0 1 0 801116330 398602240 97023 33554432000 4194304 5714214 140734492282896 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 97023 180 372 0 96940 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 389260 [startup+1422.32 s] /proc/loadavg: 2.01 2.04 2.00 3/536 9058 /proc/meminfo: memFree=24248828/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=389260 CPUtime=1422.34 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98635 0 0 0 141848 386 0 0 25 0 1 0 801116330 398602240 97047 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97315 97047 180 372 0 96940 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 389260 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9059 /proc/meminfo: memFree=24247544/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=390132 CPUtime=1482.33 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 98837 0 0 0 147833 400 0 0 25 0 1 0 801116330 399495168 97249 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 97533 97249 180 372 0 97158 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 390132 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9061 /proc/meminfo: memFree=24226308/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=412664 CPUtime=1542.32 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 104248 0 0 0 153819 413 0 0 25 0 1 0 801116330 422567936 102660 33554432000 4194304 5714214 140734492282896 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 103166 102660 180 372 0 102791 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 412664 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9063 /proc/meminfo: memFree=24209520/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=428948 CPUtime=1602.32 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 108277 0 0 0 159808 424 0 0 25 0 1 0 801116330 439242752 106689 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 107237 106689 180 372 0 106862 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 428948 [startup+1662.3 s] /proc/loadavg: 2.07 2.04 2.01 3/536 9064 /proc/meminfo: memFree=24188264/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=450284 CPUtime=1662.33 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 113543 0 0 0 165798 435 0 0 25 0 1 0 801116330 461090816 111955 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 112571 111955 180 372 0 112196 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 450284 [startup+1722.3 s] /proc/loadavg: 2.09 2.06 2.01 3/536 9066 /proc/meminfo: memFree=24176304/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=461936 CPUtime=1722.33 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 116463 0 0 0 171789 444 0 0 25 0 1 0 801116330 473022464 114875 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 115484 114875 180 372 0 115109 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 461936 [startup+1782.3 s] /proc/loadavg: 2.17 2.08 2.02 3/536 9067 /proc/meminfo: memFree=24161124/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=474312 CPUtime=1782.33 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 119519 0 0 0 177781 452 0 0 25 0 1 0 801116330 485695488 117931 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 118578 117931 180 372 0 118203 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 474312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.12 2.07 2.01 2/534 9069 /proc/meminfo: memFree=24806552/32951124 swapFree=46970528/67111528 [pid=9010] ppid=9008 vsize=478008 CPUtime=1800.03 cores=0,2,4,6 /proc/9010/stat : 9010 (wbo1.6) R 9008 9010 6615 0 -1 4202496 120457 0 0 0 179548 455 0 0 25 0 1 0 801116330 489480192 118869 33554432000 4194304 5714214 140734492282896 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9010/statm: 119502 118869 180 372 0 119127 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 478008 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.04 CPU time (s): 1800.08 CPU user time (s): 1795.5 CPU system time (s): 4.5783 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 478008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.5 system time used= 4.5783 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120457 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= 11 involuntary context switches= 3254 runsolver used 9.96248 second user time and 21.1608 second system time The end
Begin job on node146 at 2011-06-03 09:43:21 IDJOB=3461415 IDBENCH=2131 IDSOLVER=1953 FILE ID=node146/3461415-1307087001 RUNJOBID= node146-1307081594-8636 PBS_JOBID= 13497840 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh205.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461415-1307087001/watcher-3461415-1307087001 -o /tmp/evaluation-result-3461415-1307087001/solver-3461415-1307087001 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461415-1307087001.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 337fa63ae90b2f1f31bfc9ba194017c3 RANDOM SEED=119746852 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25290968 kB Buffers: 84992 kB Cached: 201292 kB SwapCached: 60100 kB Active: 180424 kB Inactive: 7241260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25290968 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 8580 kB Writeback: 0 kB AnonPages: 7086248 kB Mapped: 16944 kB Slab: 72504 kB PageTables: 97316 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160698016 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73724 MiB End job on node146 at 2011-06-03 10:13:23