Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.11 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb |
MD5SUM | b84b6cd84911af66063b9e69b75cd378 |
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.017996 |
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 | 950 |
Number of constraints which are clauses | 950 |
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 | 14 |
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-3461393-1307084716.opb. 0.00/0.00 c Instance file HOME/instance-3461393-1307084716.opb 0.00/0.00 c File size is 42760 bytes. 0.00/0.01 c Highest Coefficient sum: 15 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 200 | 0.00/0.01 c | Number Clauses: 950 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 200 950 4592 | 5000 0 -nan | 0.000 % | 0.00/0.03 c core #1 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.03 c Current CPU time: 0.003999 s 0.00/0.03 c 0.00/0.03 c core #2 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 2 0.00/0.03 c Current CPU time: 0.003999 s 0.00/0.03 c 0.00/0.03 c core #3 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.03 c Current CPU time: 0.003999 s 0.00/0.03 c 0.00/0.03 c core #4 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 4 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #5 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 5 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #6 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 6 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #7 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #8 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #9 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #10 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #11 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #12 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 12 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #13 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #14 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #15 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #16 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 16 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #17 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 17 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #18 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #19 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 19 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #20 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #21 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 21 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #22 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #23 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #24 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #25 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 25 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #26 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #27 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 27 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #28 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 28 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #29 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #30 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 30 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #31 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #32 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #33 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #34 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #35 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 35 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #36 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #37 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #38 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #39 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.03 c Current CPU time: 0.020996 s 0.00/0.03 c 0.00/0.03 c core #40 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.03 c Current CPU time: 0.020996 s 0.00/0.03 c 0.00/0.03 c core #41 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 41 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #42 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #43 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #44 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #45 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #46 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 10 Core Weight: 1 Total Weight: 46 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #47 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 47 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #48 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 48 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #49 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 49 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #50 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 50 Core Weight: 1 Total Weight: 50 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #51 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 58 Core Weight: 1 Total Weight: 51 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #52 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 19 Core Weight: 1 Total Weight: 52 0.00/0.03 c Current CPU time: 0.027995 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 | 376 1202 5130 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #53 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 19 Core Weight: 1 Total Weight: 53 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 | 387 1203 5152 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #54 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 20 Core Weight: 1 Total Weight: 54 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 | 401 1204 5183 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #55 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 31 Core Weight: 1 Total Weight: 55 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 | 423 1205 5229 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.04 c core #56 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: 56 0.00/0.04 c Current CPU time: 0.029995 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 | 433 1207 5252 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #57 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 15 Core Weight: 1 Total Weight: 57 0.00/0.04 c Current CPU time: 0.030995 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 | 441 1208 5268 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #58 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 57 Core Weight: 1 Total Weight: 58 0.00/0.04 c Current CPU time: 0.031995 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 | 479 1209 5346 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #59 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 72 Core Weight: 1 Total Weight: 59 0.00/0.04 c Current CPU time: 0.032994 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 | 536 1210 5463 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #60 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 89 Core Weight: 1 Total Weight: 60 0.00/0.04 c Current CPU time: 0.034994 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 | 616 1213 5636 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 616 1213 5636 | 5500 100 32 | 0.645 % | 0.00/0.05 c | 254 | 616 1213 5636 | 6050 254 28 | 0.645 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #61 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 151 Core Weight: 1 Total Weight: 61 0.00/0.05 c Current CPU time: 0.043993 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 | 743 1215 5892 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 100 | 743 1215 5892 | 5500 100 24 | 0.536 % | 0.00/0.06 c | 251 | 741 1215 5892 | 6050 251 18 | 0.805 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #62 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 103 Core Weight: 1 Total Weight: 62 0.00/0.06 c Current CPU time: 0.052991 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 | 802 1230 6048 | 5000 0 -nan | 0.000 % | 0.00/0.06 c | 100 | 802 1230 6048 | 5500 100 59 | 0.496 % | 0.00/0.07 c | 250 | 802 1230 6048 | 6050 250 40 | 0.496 % | 0.00/0.07 c | 477 | 752 1230 6048 | 6655 477 28 | 6.701 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #63 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 173 Core Weight: 1 Total Weight: 63 0.00/0.07 c Current CPU time: 0.06399 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 838 1234 6128 | 5000 0 -nan | 0.000 % | 0.00/0.07 c | 101 | 838 1234 6128 | 5500 101 81 | 0.475 % | 0.00/0.08 c | 254 | 838 1234 6128 | 6050 254 58 | 0.475 % | 0.00/0.08 c | 479 | 838 1234 6128 | 6655 479 37 | 0.475 % | 0.00/0.09 c | 817 | 826 1234 6128 | 7320 817 27 | 6.057 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #64 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 99 Core Weight: 1 Total Weight: 64 0.00/0.09 c Current CPU time: 0.079987 s 0.00/0.09 c 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 911 1252 6322 | 5000 0 -nan | 0.000 % | 0.00/0.10 c | 100 | 911 1252 6322 | 5500 100 49 | 0.437 % | 0.00/0.10 c | 252 | 911 1252 6322 | 6050 252 32 | 0.440 % | 0.00/0.11 c | 477 | 911 1252 6322 | 6655 477 24 | 0.437 % | 0.09/0.11 c | 815 | 909 1252 6322 | 7320 815 21 | 0.656 % | 0.09/0.13 c | 1321 | 897 1252 6322 | 8052 1321 21 | 1.968 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #65 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 175 Core Weight: 1 Total Weight: 65 0.09/0.13 c Current CPU time: 0.110983 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1007 1272 6565 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 102 | 1007 1272 6565 | 5500 102 127 | 0.396 % | 0.09/0.14 c | 252 | 1007 1272 6565 | 6050 252 68 | 0.396 % | 0.09/0.14 c | 478 | 1007 1272 6565 | 6655 478 45 | 0.396 % | 0.09/0.15 c | 815 | 1005 1272 6565 | 7320 815 35 | 0.598 % | 0.09/0.16 c | 1322 | 981 1272 6565 | 8052 1322 27 | 2.968 % | 0.09/0.18 c | 2082 | 971 1272 6565 | 8857 2082 24 | 3.957 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #66 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 131 Core Weight: 1 Total Weight: 66 0.09/0.19 c Current CPU time: 0.164974 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1079 1285 6742 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 101 | 1079 1285 6742 | 5500 101 30 | 0.369 % | 0.09/0.20 c | 255 | 1079 1285 6742 | 6050 255 25 | 0.370 % | 0.18/0.20 c | 480 | 1077 1285 6742 | 6655 480 24 | 0.554 % | 0.18/0.21 c | 817 | 1075 1285 6742 | 7320 817 22 | 0.739 % | 0.18/0.22 c | 1326 | 1075 1285 6742 | 8052 1326 24 | 0.739 % | 0.18/0.24 c | 2085 | 1073 1285 6742 | 8857 2085 23 | 0.924 % | 0.18/0.28 c | 3224 | 1073 1285 6742 | 9743 3224 30 | 0.923 % | 0.28/0.34 c | 4934 | 1052 1285 6742 | 10717 4934 31 | 2.955 % | 0.38/0.48 c | 7497 | 1049 1285 6742 | 11789 7497 32 | 3.142 % | 0.58/0.63 c =============================================================================== 0.58/0.66 c core #67 0.58/0.66 c 0.58/0.66 c 0.58/0.66 c Core size: 117 Core Weight: 1 Total Weight: 67 0.58/0.66 c Current CPU time: 0.619905 s 0.58/0.66 c 0.58/0.66 c ============================[ Search Statistics ]============================== 0.58/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.66 c =============================================================================== 0.58/0.66 c | 0 | 1146 1312 6965 | 5000 0 -nan | 0.000 % | 0.58/0.67 c | 100 | 1146 1312 6965 | 5500 100 84 | 1.546 % | 0.58/0.67 c | 250 | 1146 1312 6965 | 6050 250 55 | 1.546 % | 0.58/0.68 c | 476 | 1146 1312 6965 | 6655 476 45 | 1.547 % | 0.58/0.68 c | 813 | 1146 1312 6965 | 7320 813 37 | 1.546 % | 0.69/0.70 c | 1319 | 1146 1312 6965 | 8052 1319 36 | 1.546 % | 0.69/0.72 c | 2079 | 1146 1312 6965 | 8857 2079 34 | 1.546 % | 0.69/0.76 c | 3218 | 1144 1312 6965 | 9743 3218 34 | 1.718 % | 0.79/0.82 c | 4926 | 1144 1312 6965 | 10717 4926 33 | 1.718 % | 0.88/0.96 c | 7491 | 1144 1312 6965 | 11789 7491 34 | 1.718 % | 1.21/1.28 c | 11338 | 1142 1312 6965 | 12968 11338 37 | 1.890 % | 1.68/1.70 c | 17107 | 1142 1312 6965 | 14265 10466 39 | 1.890 % | 2.19/2.28 c | 25756 | 1142 1312 6965 | 15692 11824 44 | 1.890 % | 3.08/3.12 c | 38731 | 1142 1312 6965 | 17261 8803 40 | 1.890 % | 4.88/4.98 c | 58196 | 1126 1312 6965 | 18987 10615 68 | 3.265 % | 7.58/7.64 c | 87389 | 1124 1312 6965 | 20886 10809 62 | 3.436 % | 12.28/12.37 c =============================================================================== 12.68/12.79 c core #68 12.68/12.79 c 12.68/12.79 c 12.68/12.79 c Core size: 274 Core Weight: 1 Total Weight: 68 12.68/12.79 c Current CPU time: 12.4171 s 12.68/12.79 c 12.68/12.79 c ============================[ Search Statistics ]============================== 12.68/12.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.68/12.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.68/12.79 c =============================================================================== 12.68/12.79 c | 0 | 1294 1321 7281 | 5000 0 -nan | 0.000 % | 12.68/12.79 c | 102 | 1294 1321 7281 | 5500 102 55 | 1.672 % | 12.68/12.79 c | 253 | 1294 1321 7281 | 6050 253 45 | 1.672 % | 12.78/12.80 c | 479 | 1294 1321 7281 | 6655 479 39 | 1.672 % | 12.78/12.81 c | 818 | 1294 1321 7281 | 7320 818 37 | 1.672 % | 12.78/12.82 c | 1324 | 1294 1321 7281 | 8052 1324 39 | 1.672 % | 12.78/12.85 c | 2083 | 1294 1321 7281 | 8857 2083 39 | 1.672 % | 12.78/12.89 c | 3222 | 1294 1321 7281 | 9743 3222 41 | 1.672 % | 12.88/12.97 c | 4931 | 1294 1321 7281 | 10717 4931 40 | 1.672 % | 12.98/13.09 c | 7494 | 1294 1321 7281 | 11789 7494 40 | 1.672 % | 13.31/13.33 c | 11339 | 1294 1321 7281 | 12968 11339 45 | 1.672 % | 13.68/13.76 c | 17105 | 1294 1321 7281 | 14265 10419 44 | 1.672 % | 14.40/14.47 c | 25756 | 1294 1321 7281 | 15692 11798 56 | 1.672 % | 15.39/15.45 c | 38730 | 1294 1321 7281 | 17261 8653 45 | 1.672 % | 17.59/17.67 c | 58193 | 1294 1321 7281 | 18987 10484 71 | 1.672 % | 22.58/22.60 c | 87391 | 1294 1321 7281 | 20886 10580 68 | 1.672 % | 30.58/30.63 c | 131182 | 1294 1321 7281 | 22974 11743 74 | 1.672 % | 40.88/40.92 c | 196867 | 1288 1321 7281 | 25272 18599 66 | 2.128 % | 55.78/55.86 c | 295393 | 1286 1321 7281 | 27799 22005 60 | 2.280 % | 82.78/82.89 c | 443182 | 1272 1321 7281 | 30579 26255 88 | 3.344 % | 128.19/128.25 c | 664866 | 1270 1321 7281 | 33637 14274 49 | 3.495 % | 200.69/200.77 c | 997393 | 1270 1321 7281 | 37001 28922 76 | 3.496 % | 315.59/315.66 c | 1496184 | 1270 1321 7281 | 40701 20354 72 | 3.496 % | 510.41/510.45 c | 2244368 | 1264 1321 7281 | 44771 21146 84 | 3.951 % | 803.13/803.15 c | 3366643 | 1258 1321 7281 | 49248 19856 89 | 4.408 % | 993.12/993.18 c =============================================================================== 1006.02/1006.04 c core #69 1006.02/1006.04 c 1006.02/1006.04 c 1006.02/1006.04 c Core size: 265 Core Weight: 1 Total Weight: 69 1006.02/1006.04 c Current CPU time: 995.463 s 1006.02/1006.04 c 1006.02/1006.04 c ============================[ Search Statistics ]============================== 1006.02/1006.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1006.02/1006.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1006.02/1006.04 c =============================================================================== 1006.02/1006.04 c | 0 | 1460 1330 7632 | 5000 0 -nan | 0.000 % | 1006.02/1006.04 c | 105 | 1460 1330 7632 | 5500 105 161 | 1.485 % | 1006.02/1006.05 c | 260 | 1460 1330 7632 | 6050 260 122 | 1.485 % | 1006.02/1006.05 c | 486 | 1460 1330 7632 | 6655 486 80 | 1.485 % | 1006.02/1006.06 c | 824 | 1460 1330 7632 | 7320 824 62 | 1.485 % | 1006.02/1006.08 c | 1331 | 1460 1330 7632 | 8052 1331 60 | 1.485 % | 1006.11/1006.10 c | 2090 | 1460 1330 7632 | 8857 2090 55 | 1.485 % | 1006.11/1006.16 c | 3231 | 1460 1330 7632 | 9743 3231 61 | 1.485 % | 1006.22/1006.23 c | 4940 | 1460 1330 7632 | 10717 4940 56 | 1.485 % | 1006.32/1006.39 c | 7503 | 1460 1330 7632 | 11789 7503 55 | 1.485 % | 1006.72/1006.75 c | 11348 | 1460 1330 7632 | 12968 11348 63 | 1.485 % | 1007.32/1007.31 c | 17116 | 1460 1330 7632 | 14265 10296 84 | 1.485 % | 1008.22/1008.22 c | 25767 | 1460 1330 7632 | 15692 11548 69 | 1.485 % | 1009.82/1009.89 c | 38744 | 1460 1330 7632 | 17261 8454 58 | 1.485 % | 1013.13/1013.16 c | 58205 | 1460 1330 7632 | 18987 10221 91 | 1.485 % | 1017.63/1017.69 c | 87398 | 1460 1330 7632 | 20886 10211 66 | 1.485 % | 1025.82/1025.87 c | 131190 | 1460 1330 7632 | 22974 11252 84 | 1.485 % | 1040.02/1040.01 c | 196877 | 1450 1330 7632 | 25272 18006 67 | 2.159 % | 1064.62/1064.67 c | 295404 | 1450 1330 7632 | 27799 25450 84 | 2.159 % | 1099.52/1099.52 c | 443193 | 1450 1330 7632 | 30579 17392 79 | 2.160 % | 1158.52/1158.58 c | 664877 | 1450 1330 7632 | 33637 20828 84 | 2.162 % | 1258.44/1258.50 c | 997403 | 1450 1330 7632 | 37001 21655 84 | 2.159 % | 1403.03/1403.07 c | 1496192 | 1450 1330 7632 | 40701 21160 90 | 2.159 % | 1624.15/1624.17 c | 2244381 | 1450 1330 7632 | 44771 32581 103 | 2.159 % |
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-3461393-1307084716/watcher-3461393-1307084716 -o /tmp/evaluation-result-3461393-1307084716/solver-3461393-1307084716 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461393-1307084716.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.84 1.98 1.92 3/515 7754 /proc/meminfo: memFree=23247112/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=1884 CPUtime=0 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 898702296 1929216 206 33554432000 4194304 5714214 140736031048128 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 471 206 161 372 0 85 0 [startup+0.110789 s] /proc/loadavg: 1.84 1.98 1.92 3/515 7754 /proc/meminfo: memFree=23247112/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=2916 CPUtime=0.09 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 531 0 0 0 8 1 0 0 18 0 1 0 898702296 2985984 474 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 729 474 180 372 0 354 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2916 [startup+0.200755 s] /proc/loadavg: 1.84 1.98 1.92 3/515 7754 /proc/meminfo: memFree=23247112/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=3456 CPUtime=0.18 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 674 0 0 0 17 1 0 0 18 0 1 0 898702296 3538944 617 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 864 617 180 372 0 489 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 3456 [startup+0.300731 s] /proc/loadavg: 1.84 1.98 1.92 3/515 7754 /proc/meminfo: memFree=23247112/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=3588 CPUtime=0.28 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 716 0 0 0 26 2 0 0 18 0 1 0 898702296 3674112 659 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 897 660 180 372 0 522 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3588 [startup+0.700655 s] /proc/loadavg: 1.84 1.98 1.92 3/515 7754 /proc/meminfo: memFree=23247112/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=6560 CPUtime=0.69 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 1452 0 0 0 65 4 0 0 18 0 1 0 898702296 6717440 1395 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 1640 1395 180 372 0 1265 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6560 [startup+1.5005 s] /proc/loadavg: 1.84 1.98 1.92 3/516 7782 /proc/meminfo: memFree=23239324/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=7496 CPUtime=1.48 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 1689 0 0 0 141 7 0 0 19 0 1 0 898702296 7675904 1632 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 1874 1632 180 372 0 1499 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7496 [startup+3.1002 s] /proc/loadavg: 1.84 1.98 1.92 3/516 7782 /proc/meminfo: memFree=23231140/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=12676 CPUtime=3.08 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 2982 0 0 0 296 12 0 0 25 0 1 0 898702296 12980224 2925 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 3169 2925 180 372 0 2794 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12676 [startup+6.3006 s] /proc/loadavg: 1.85 1.98 1.92 3/516 7782 /proc/meminfo: memFree=23218244/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=19828 CPUtime=6.29 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 4750 0 0 0 609 20 0 0 25 0 1 0 898702296 20303872 4693 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 4957 4693 180 372 0 4582 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19828 [startup+12.7004 s] /proc/loadavg: 1.86 1.98 1.92 3/516 7783 /proc/meminfo: memFree=23205944/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=32744 CPUtime=12.68 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 7934 0 0 0 1237 31 0 0 25 0 1 0 898702296 33529856 7877 33554432000 4194304 5714214 140736031048128 18446744073709551615 4324880 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 8186 7877 180 372 0 7811 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32744 [startup+25.501 s] /proc/loadavg: 1.89 1.98 1.92 3/516 7783 /proc/meminfo: memFree=23190932/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=32808 CPUtime=25.48 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 8009 0 0 0 2495 53 0 0 25 0 1 0 898702296 33595392 7910 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 8202 7910 180 372 0 7827 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32808 [startup+51.1011 s] /proc/loadavg: 1.93 1.98 1.92 3/516 7784 /proc/meminfo: memFree=23156368/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=58212 CPUtime=51.09 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 14244 0 0 0 5026 83 0 0 25 0 1 0 898702296 59609088 14145 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 14553 14145 180 372 0 14178 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 58212 [startup+102.3 s] /proc/loadavg: 1.97 1.98 1.92 3/516 7785 /proc/meminfo: memFree=23062576/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=105112 CPUtime=102.3 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 25703 0 0 0 10093 137 0 0 25 0 1 0 898702296 107634688 25604 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 26278 25604 180 372 0 25903 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 105112 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.92 3/516 7787 /proc/meminfo: memFree=23008700/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=151184 CPUtime=162.28 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 37003 0 0 0 16034 194 0 0 25 0 1 0 898702296 154812416 36904 33554432000 4194304 5714214 140736031048128 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 37796 36904 180 372 0 37421 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 151184 [startup+222.32 s] /proc/loadavg: 2.18 2.04 1.94 3/516 7788 /proc/meminfo: memFree=22966108/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=189460 CPUtime=222.31 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 46482 0 0 0 21978 253 0 0 25 0 1 0 898702296 194007040 46383 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 47365 46383 180 372 0 46990 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 189460 [startup+282.3 s] /proc/loadavg: 2.15 2.06 1.95 3/516 7790 /proc/meminfo: memFree=22887188/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=224248 CPUtime=282.29 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 55079 0 0 0 27925 304 0 0 25 0 1 0 898702296 229629952 54980 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 56062 54980 180 372 0 55687 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 224248 [startup+342.301 s] /proc/loadavg: 2.05 2.04 1.95 3/516 7791 /proc/meminfo: memFree=22807544/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=265944 CPUtime=342.29 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 65256 0 0 0 33867 362 0 0 25 0 1 0 898702296 272326656 65157 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 66486 65157 180 372 0 66111 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 265944 [startup+402.301 s] /proc/loadavg: 2.02 2.03 1.95 3/516 7793 /proc/meminfo: memFree=22738904/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=291108 CPUtime=402.3 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 71425 0 0 0 39823 407 0 0 25 0 1 0 898702296 298094592 71326 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 72777 71326 180 372 0 72402 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 291108 [startup+462.3 s] /proc/loadavg: 2.00 2.03 1.95 3/516 7795 /proc/meminfo: memFree=22669024/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=326912 CPUtime=462.3 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 80264 0 0 0 45772 458 0 0 25 0 1 0 898702296 334757888 80165 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 81728 80165 180 372 0 81353 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 326912 [startup+522.301 s] /proc/loadavg: 2.00 2.02 1.95 3/516 7796 /proc/meminfo: memFree=22599024/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=361044 CPUtime=522.3 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 88753 0 0 0 51717 513 0 0 25 0 1 0 898702296 369709056 88654 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 90261 88654 180 372 0 89886 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 361044 [startup+582.301 s] /proc/loadavg: 2.00 2.01 1.95 3/516 7798 /proc/meminfo: memFree=22525064/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=400748 CPUtime=582.3 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 98539 0 0 0 57668 562 0 0 25 0 1 0 898702296 410365952 98440 33554432000 4194304 5714214 140736031048128 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 100187 98440 180 372 0 99812 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 400748 [startup+642.3 s] ################ # More data... # ################ [startup+882.32 s] /proc/loadavg: 2.03 2.04 1.98 3/516 7806 /proc/meminfo: memFree=22302880/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=558492 CPUtime=882.33 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 137493 0 0 0 87431 802 0 0 25 0 1 0 898702296 571895808 137394 33554432000 4194304 5714214 140736031048128 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 139623 137394 180 372 0 139248 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 558492 [startup+942.3 s] /proc/loadavg: 2.01 2.03 1.98 3/516 7807 /proc/meminfo: memFree=22266476/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=596120 CPUtime=942.32 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 146868 0 0 0 93390 842 0 0 25 0 1 0 898702296 610426880 146769 33554432000 4194304 5714214 140736031048128 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 149030 146769 180 372 0 148655 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 596120 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 1.98 3/516 7809 /proc/meminfo: memFree=22209120/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652780 CPUtime=1002.32 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161012 0 0 0 99359 873 0 0 25 0 1 0 898702296 668446720 160913 33554432000 4194304 5714214 140736031048128 18446744073709551615 4324856 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163195 160913 180 372 0 162820 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 652780 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 1.98 3/516 7811 /proc/meminfo: memFree=22208832/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1062.32 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161185 0 0 0 105305 927 0 0 25 0 1 0 898702296 667774976 160926 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 160926 180 372 0 162656 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 652124 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 1.98 3/516 7812 /proc/meminfo: memFree=22208524/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1122.32 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161271 0 0 0 111257 975 0 0 25 0 1 0 898702296 667774976 161012 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161012 180 372 0 162656 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 652124 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 1.98 3/516 7814 /proc/meminfo: memFree=22206988/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1182.32 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161459 0 0 0 117217 1015 0 0 25 0 1 0 898702296 667774976 161200 33554432000 4194304 5714214 140736031048128 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161200 180 372 0 162656 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 652124 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.98 3/516 7815 /proc/meminfo: memFree=22206556/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1242.32 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161571 0 0 0 123176 1056 0 0 25 0 1 0 898702296 667774976 161312 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161312 180 372 0 162656 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 652124 [startup+1302.3 s] /proc/loadavg: 2.18 2.06 2.00 3/516 7817 /proc/meminfo: memFree=22204136/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1302.33 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161697 0 0 0 129129 1104 0 0 25 0 1 0 898702296 667774976 161438 33554432000 4194304 5714214 140736031048128 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161438 180 372 0 162656 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 652124 [startup+1362.3 s] /proc/loadavg: 2.10 2.06 2.00 3/516 7819 /proc/meminfo: memFree=22203332/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1362.33 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161755 0 0 0 135086 1147 0 0 25 0 1 0 898702296 667774976 161496 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161496 180 372 0 162656 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 652124 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.00 3/516 7820 /proc/meminfo: memFree=22203124/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1422.34 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161797 0 0 0 141046 1188 0 0 25 0 1 0 898702296 667774976 161538 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161538 180 372 0 162656 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 652124 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/516 7822 /proc/meminfo: memFree=22203684/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1482.34 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161872 0 0 0 147003 1231 0 0 25 0 1 0 898702296 667774976 161613 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161613 180 372 0 162656 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 652124 [startup+1542.32 s] /proc/loadavg: 2.00 2.03 2.00 3/516 7823 /proc/meminfo: memFree=22203352/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1542.36 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 161893 0 0 0 152959 1277 0 0 25 0 1 0 898702296 667774976 161634 33554432000 4194304 5714214 140736031048128 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161634 180 372 0 162656 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 652124 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 7825 /proc/meminfo: memFree=22202308/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1602.34 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 162040 0 0 0 158918 1316 0 0 25 0 1 0 898702296 667774976 161781 33554432000 4194304 5714214 140736031048128 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161781 180 372 0 162656 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 652124 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/516 7827 /proc/meminfo: memFree=22201760/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1662.34 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 162137 0 0 0 164876 1358 0 0 25 0 1 0 898702296 667774976 161878 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161878 180 372 0 162656 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 652124 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/516 7828 /proc/meminfo: memFree=22201188/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1722.34 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 162182 0 0 0 170832 1402 0 0 25 0 1 0 898702296 667774976 161923 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161923 180 372 0 162656 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 652124 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 2.01 3/516 7830 /proc/meminfo: memFree=22198648/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1782.34 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 162212 0 0 0 176798 1436 0 0 25 0 1 0 898702296 667774976 161953 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 161953 180 372 0 162656 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 652124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.03 2.01 3/516 7830 /proc/meminfo: memFree=22200120/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1800.05 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 162267 0 0 0 178559 1446 0 0 25 0 1 0 898702296 667774976 162008 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 162008 180 372 0 162656 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 652124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.07 2.03 2.01 3/516 7830 /proc/meminfo: memFree=22200120/32950928 swapFree=58671692/67111528 [pid=7754] ppid=7752 vsize=652124 CPUtime=1800.05 cores=1,3,5,7 /proc/7754/stat : 7754 (wbo1.6) R 7752 7754 1417 0 -1 4202496 162267 0 0 0 178559 1446 0 0 25 0 1 0 898702296 667774976 162008 33554432000 4194304 5714214 140736031048128 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7754/statm: 163031 162008 180 372 0 162656 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 652124 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.11 CPU user time (s): 1785.61 CPU system time (s): 14.4958 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 652932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.61 system time used= 14.4958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162267 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= 2406 runsolver used 9.03563 second user time and 22.0796 second system time The end
Begin job on node115 at 2011-06-03 09:05:16 IDJOB=3461393 IDBENCH=2092 IDSOLVER=1953 FILE ID=node115/3461393-1307084716 RUNJOBID= node115-1307082914-7619 PBS_JOBID= 13497873 Free space on /tmp= 73828 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461393-1307084716/watcher-3461393-1307084716 -o /tmp/evaluation-result-3461393-1307084716/solver-3461393-1307084716 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461393-1307084716.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b84b6cd84911af66063b9e69b75cd378 RANDOM SEED=1537943503 node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 23247392 kB Buffers: 119892 kB Cached: 248424 kB SwapCached: 65796 kB Active: 1048844 kB Inactive: 8414136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 23247392 kB SwapTotal: 67111528 kB SwapFree: 58671692 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 9033408 kB Mapped: 28668 kB Slab: 95944 kB PageTables: 74904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 151831800 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73820 MiB End job on node115 at 2011-06-03 09:35:18