Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb |
MD5SUM | 61258ef9ae3ea0a3e79eb8124ccd651a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 97 |
Best CPU time to get the best result obtained on this benchmark | 0.005998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 97 |
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-3461452-1307091144.opb. 0.00/0.00 c Instance file HOME/instance-3461452-1307091144.opb 0.00/0.00 c File size is 38914 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 4090 | 5000 0 -nan | 0.000 % | 0.00/0.02 c core #1 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 2 Core Weight: 4 Total Weight: 4 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #2 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #3 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #4 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 9 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #7 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 11 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #9 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 33 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 35 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #36 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #38 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #40 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 43 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #41 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #42 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 45 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #43 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 14 Core Weight: 1 Total Weight: 46 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #44 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 54 Core Weight: 1 Total Weight: 47 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 367 1127 4605 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #45 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 48 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 379 1128 4631 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #46 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 24 Core Weight: 1 Total Weight: 49 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 397 1129 4670 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #47 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 21 Core Weight: 1 Total Weight: 50 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 413 1130 4705 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #48 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 23 Core Weight: 1 Total Weight: 51 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 436 1131 4753 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #49 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 53 Core Weight: 1 Total Weight: 52 0.00/0.02 c Current CPU time: 0.025996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 490 1132 4863 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #50 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 101 Core Weight: 1 Total Weight: 53 0.00/0.02 c Current CPU time: 0.027995 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 564 1133 5011 | 5000 0 -nan | 0.000 % | 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: 79 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 | 613 1134 5109 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 103 | 613 1134 5109 | 5500 103 13 | 3.257 % | 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: 115 Core Weight: 1 Total Weight: 55 0.00/0.03 c Current CPU time: 0.031995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 708 1137 5305 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 100 | 708 1137 5305 | 5500 100 28 | 0.000 % | 0.00/0.04 c | 252 | 700 1137 5305 | 6050 252 18 | 14.972 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #53 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 101 Core Weight: 1 Total Weight: 56 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 776 1145 5457 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 102 | 776 1145 5457 | 5500 102 40 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #54 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 59 Core Weight: 1 Total Weight: 57 0.00/0.04 c Current CPU time: 0.043993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 794 1151 5508 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 101 | 794 1151 5508 | 5500 101 40 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #55 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 124 Core Weight: 1 Total Weight: 58 0.00/0.05 c Current CPU time: 0.048992 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 | 785 1170 5598 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #56 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 74 Core Weight: 1 Total Weight: 59 0.00/0.05 c Current CPU time: 0.050992 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 797 1190 5675 | 5000 0 -nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #57 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 77 Core Weight: 1 Total Weight: 60 0.00/0.05 c Current CPU time: 0.052991 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 | 803 1192 5717 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 101 | 803 1192 5717 | 5500 101 18 | 6.211 % | 0.00/0.05 c | 254 | 662 1192 5717 | 6050 254 25 | 22.673 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #58 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 180 Core Weight: 1 Total Weight: 61 0.00/0.06 c Current CPU time: 0.05999 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 | 694 1195 5783 | 5000 0 -nan | 0.000 % | 0.00/0.06 c | 102 | 694 1195 5783 | 5500 102 28 | 21.847 % | 0.00/0.06 c | 253 | 694 1195 5783 | 6050 253 30 | 21.847 % | 0.00/0.07 c | 478 | 694 1195 5783 | 6655 478 31 | 21.847 % | 0.07/0.08 c | 818 | 694 1195 5783 | 7320 818 35 | 21.849 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c core #59 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 206 Core Weight: 1 Total Weight: 62 0.07/0.08 c Current CPU time: 0.084987 s 0.07/0.08 c 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 742 1196 5873 | 5000 0 -nan | 0.000 % | 0.07/0.09 c | 100 | 742 1196 5873 | 5500 100 39 | 20.472 % | 0.07/0.09 c | 250 | 742 1196 5873 | 6050 250 37 | 20.472 % | 0.07/0.09 c | 476 | 742 1196 5873 | 6655 476 44 | 20.472 % | 0.09/0.10 c | 815 | 742 1196 5873 | 7320 815 47 | 20.472 % | 0.09/0.12 c | 1323 | 742 1196 5873 | 8052 1323 48 | 20.472 % | 0.09/0.16 c | 2083 | 742 1196 5873 | 8857 2083 52 | 20.472 % | 0.19/0.22 c | 3222 | 742 1196 5873 | 9743 3222 53 | 20.472 % | 0.29/0.39 c | 4932 | 742 1196 5873 | 10717 4932 59 | 20.472 % | 0.69/0.73 c | 7495 | 742 1196 5873 | 11789 7495 63 | 20.474 % | 0.79/0.89 c =============================================================================== 0.89/0.92 c core #60 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 228 Core Weight: 1 Total Weight: 63 0.89/0.92 c Current CPU time: 0.91786 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 802 1197 5993 | 5000 0 -nan | 0.000 % | 0.89/0.93 c | 102 | 802 1197 5993 | 5500 102 46 | 19.235 % | 0.89/0.93 c | 253 | 802 1197 5993 | 6050 253 44 | 19.235 % | 0.89/0.93 c | 478 | 802 1197 5993 | 6655 478 44 | 19.235 % | 0.89/0.94 c | 816 | 802 1197 5993 | 7320 816 48 | 19.235 % | 0.89/0.96 c | 1324 | 802 1197 5993 | 8052 1324 51 | 19.235 % | 0.89/0.98 c | 2083 | 802 1197 5993 | 8857 2083 48 | 19.235 % | 0.89/1.01 c | 3224 | 801 1197 5993 | 9743 3224 43 | 19.335 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c core #61 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 166 Core Weight: 1 Total Weight: 64 1.00/1.05 c Current CPU time: 1.04584 s 1.00/1.05 c 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 828 1198 6045 | 5000 0 -nan | 0.000 % | 1.00/1.06 c | 102 | 828 1198 6045 | 5500 102 49 | 18.744 % | 1.00/1.06 c | 253 | 828 1198 6045 | 6050 253 40 | 18.744 % | 1.00/1.06 c | 479 | 828 1198 6045 | 6655 479 37 | 18.744 % | 1.00/1.07 c | 817 | 828 1198 6045 | 7320 817 39 | 18.744 % | 1.00/1.09 c | 1326 | 828 1198 6045 | 8052 1326 42 | 18.744 % | 1.11/1.13 c | 2085 | 828 1198 6045 | 8857 2085 45 | 18.744 % | 1.19/1.20 c | 3226 | 828 1198 6045 | 9743 3226 47 | 18.744 % | 1.29/1.32 c | 4936 | 828 1198 6045 | 10717 4936 49 | 18.744 % | 1.39/1.45 c =============================================================================== 1.39/1.47 c core #62 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 177 Core Weight: 1 Total Weight: 65 1.39/1.47 c Current CPU time: 1.45278 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 856 1199 6101 | 5000 0 -nan | 0.000 % | 1.39/1.47 c | 101 | 856 1199 6101 | 5500 101 53 | 18.243 % | 1.39/1.47 c | 252 | 856 1199 6101 | 6050 252 50 | 18.243 % | 1.39/1.48 c | 480 | 856 1199 6101 | 6655 480 49 | 18.243 % | 1.39/1.49 c | 818 | 856 1199 6101 | 7320 818 55 | 18.243 % | 1.49/1.50 c | 1325 | 856 1199 6101 | 8052 1325 54 | 18.243 % | 1.49/1.52 c | 2084 | 856 1199 6101 | 8857 2084 50 | 18.243 % | 1.49/1.57 c | 3223 | 856 1199 6101 | 9743 3223 47 | 18.243 % | 1.59/1.68 c | 4936 | 856 1199 6101 | 10717 4936 47 | 18.243 % | 1.79/1.80 c =============================================================================== 1.79/1.82 c core #63 1.79/1.82 c 1.79/1.82 c 1.79/1.82 c Core size: 182 Core Weight: 1 Total Weight: 66 1.79/1.82 c Current CPU time: 1.80173 s 1.79/1.82 c 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 887 1200 6163 | 5000 0 -nan | 0.000 % | 1.79/1.82 c | 102 | 887 1200 6163 | 5500 102 57 | 17.718 % | 1.79/1.82 c | 252 | 887 1200 6163 | 6050 252 48 | 17.718 % | 1.79/1.83 c | 479 | 887 1200 6163 | 6655 479 45 | 17.718 % | 1.79/1.84 c | 817 | 887 1200 6163 | 7320 817 64 | 17.718 % | 1.79/1.85 c | 1323 | 887 1200 6163 | 8052 1323 65 | 17.718 % | 1.79/1.88 c | 2084 | 887 1200 6163 | 8857 2084 71 | 17.718 % | 1.89/1.96 c | 3223 | 887 1200 6163 | 9743 3223 77 | 17.718 % | 1.99/2.07 c | 4933 | 887 1200 6163 | 10717 4933 75 | 17.718 % | 2.29/2.36 c | 7497 | 887 1200 6163 | 11789 7497 80 | 17.718 % | 2.99/3.04 c | 11341 | 887 1200 6163 | 12968 11341 84 | 17.718 % | 4.09/4.10 c | 17107 | 887 1200 6163 | 14265 10485 88 | 17.718 % | 5.51/5.56 c | 25757 | 887 1200 6163 | 15692 11827 89 | 17.718 % | 8.59/8.63 c | 38735 | 887 1200 6163 | 17261 8731 93 | 17.718 % | 13.59/13.64 c | 58196 | 887 1200 6163 | 18987 10537 92 | 17.718 % | 21.09/21.14 c | 87388 | 887 1200 6163 | 20886 10685 92 | 17.718 % | 31.69/31.75 c | 131178 | 887 1200 6163 | 22974 11985 93 | 17.718 % | 47.68/47.78 c | 196864 | 887 1200 6163 | 25272 19365 102 | 17.718 % | 75.79/75.90 c | 295390 | 887 1200 6163 | 27799 14191 94 | 17.718 % | 104.67/104.71 c =============================================================================== 107.69/107.80 c core #64 107.69/107.80 c 107.69/107.80 c 107.69/107.80 c Core size: 219 Core Weight: 1 Total Weight: 67 107.69/107.80 c Current CPU time: 107.226 s 107.69/107.80 c 107.69/107.80 c ============================[ Search Statistics ]============================== 107.69/107.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.69/107.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.69/107.80 c =============================================================================== 107.69/107.80 c | 0 | 946 1201 6281 | 5000 0 -nan | 0.000 % | 107.69/107.80 c | 100 | 946 1201 6281 | 5500 100 87 | 16.799 % | 107.69/107.81 c | 252 | 946 1201 6281 | 6050 252 59 | 16.799 % | 107.79/107.81 c | 477 | 946 1201 6281 | 6655 477 67 | 16.799 % | 107.79/107.82 c | 814 | 946 1201 6281 | 7320 814 76 | 16.799 % | 107.79/107.84 c | 1322 | 946 1201 6281 | 8052 1322 69 | 16.799 % | 107.79/107.87 c | 2083 | 946 1201 6281 | 8857 2083 80 | 16.799 % | 107.88/107.92 c | 3225 | 946 1201 6281 | 9743 3225 83 | 16.799 % | 107.98/108.04 c | 4935 | 946 1201 6281 | 10717 4935 90 | 16.799 % | 108.28/108.32 c | 7498 | 946 1201 6281 | 11789 7498 92 | 16.799 % | 108.90/108.93 c | 11343 | 946 1201 6281 | 12968 11343 94 | 16.799 % | 109.89/109.98 c | 17111 | 946 1201 6281 | 14265 10461 94 | 16.799 % | 111.68/111.80 c | 25762 | 946 1201 6281 | 15692 11781 104 | 16.799 % | 114.97/115.06 c | 38736 | 946 1201 6281 | 17261 8699 117 | 16.799 % | 119.98/120.05 c | 58197 | 946 1201 6281 | 18987 10526 111 | 16.799 % | 128.38/128.48 c | 87391 | 946 1201 6281 | 20886 10697 110 | 16.799 % | 141.17/141.29 c | 131180 | 946 1201 6281 | 22974 11828 122 | 16.799 % | 160.78/160.81 c | 196867 | 946 1201 6281 | 25272 19150 116 | 16.799 % | 187.48/187.54 c | 295394 | 946 1201 6281 | 27799 14269 86 | 16.799 % | 224.18/224.24 c | 443187 | 946 1201 6281 | 30579 25694 134 | 16.799 % | 295.68/295.73 c | 664870 | 946 1201 6281 | 33637 21029 138 | 16.799 % | 411.49/411.55 c | 997397 | 946 1201 6281 | 37001 21467 148 | 16.799 % | 656.61/656.67 c | 1496185 | 946 1201 6281 | 40701 18750 94 | 16.799 % | 896.71/896.70 c | 2244367 | 946 1201 6281 | 44771 34927 129 | 16.799 % | 1339.12/1339.18 c | 3366644 | 946 1201 6281 | 49248 27289 118 | 16.799 % |
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-3461452-1307091144/watcher-3461452-1307091144 -o /tmp/evaluation-result-3461452-1307091144/solver-3461452-1307091144 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461452-1307091144.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: 2.02 2.05 2.01 2/424 21969 /proc/meminfo: memFree=29180808/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=2236 CPUtime=0.01 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 358 0 0 0 1 0 0 0 23 0 1 0 820714824 2289664 301 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 559 301 175 372 0 184 0 [startup+0.081219 s] /proc/loadavg: 2.02 2.05 2.01 2/424 21969 /proc/meminfo: memFree=29180808/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=2752 CPUtime=0.07 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 487 0 0 0 7 0 0 0 23 0 1 0 820714824 2818048 430 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 688 430 180 372 0 313 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2752 [startup+0.10123 s] /proc/loadavg: 2.02 2.05 2.01 2/424 21969 /proc/meminfo: memFree=29180808/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=2908 CPUtime=0.09 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 548 0 0 0 9 0 0 0 18 0 1 0 820714824 2977792 491 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 727 491 180 372 0 352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2908 [startup+0.301187 s] /proc/loadavg: 2.02 2.05 2.01 2/424 21969 /proc/meminfo: memFree=29180808/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=4228 CPUtime=0.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 863 0 0 0 29 0 0 0 18 0 1 0 820714824 4329472 806 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 1057 806 180 372 0 682 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4228 [startup+0.701105 s] /proc/loadavg: 2.02 2.05 2.01 2/424 21969 /proc/meminfo: memFree=29180808/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=5848 CPUtime=0.69 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 1276 0 0 0 69 0 0 0 18 0 1 0 820714824 5988352 1219 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 1462 1219 180 372 0 1087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5848 [startup+1.50093 s] /proc/loadavg: 2.02 2.05 2.01 3/430 21975 /proc/meminfo: memFree=29166620/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=7596 CPUtime=1.49 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 1715 0 0 0 148 1 0 0 18 0 1 0 820714824 7778304 1658 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 1899 1658 180 372 0 1524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7596 [startup+3.10066 s] /proc/loadavg: 2.02 2.05 2.01 3/430 21975 /proc/meminfo: memFree=29161672/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=9060 CPUtime=3.09 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 2089 0 0 0 306 3 0 0 21 0 1 0 820714824 9277440 2032 33554432000 4194304 5714214 140736387249952 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 2265 2032 180 372 0 1890 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9060 [startup+6.30106 s] /proc/loadavg: 2.02 2.05 2.01 3/430 21975 /proc/meminfo: memFree=29149536/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=14044 CPUtime=6.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 3291 0 0 0 625 4 0 0 25 0 1 0 820714824 14381056 3234 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 3511 3234 180 372 0 3136 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14044 [startup+12.7009 s] /proc/loadavg: 2.02 2.05 2.01 3/430 21975 /proc/meminfo: memFree=29136432/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=19832 CPUtime=12.69 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 4711 0 0 0 1262 7 0 0 25 0 1 0 820714824 20307968 4654 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 4958 4654 180 372 0 4583 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19832 [startup+25.5005 s] /proc/loadavg: 2.02 2.04 2.01 3/430 21976 /proc/meminfo: memFree=29121064/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=30436 CPUtime=25.49 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 7249 0 0 0 2538 11 0 0 25 0 1 0 820714824 31166464 7192 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 7609 7192 180 372 0 7234 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30436 [startup+51.1007 s] /proc/loadavg: 2.01 2.04 2.01 3/430 21976 /proc/meminfo: memFree=29095700/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=50036 CPUtime=51.08 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 12105 0 0 0 5086 22 0 0 25 0 1 0 820714824 51236864 12048 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 12509 12048 180 372 0 12134 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 50036 [startup+102.316 s] /proc/loadavg: 2.12 2.06 2.01 3/430 21978 /proc/meminfo: memFree=29051060/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=78704 CPUtime=102.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 19111 0 0 0 10192 37 0 0 25 0 1 0 820714824 80592896 19054 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 19676 19054 180 372 0 19301 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 78704 [startup+162.301 s] /proc/loadavg: 2.15 2.08 2.02 3/430 21979 /proc/meminfo: memFree=29019808/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=93804 CPUtime=162.28 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 23651 0 0 0 16174 54 0 0 25 0 1 0 820714824 96055296 23066 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 23451 23066 180 372 0 23076 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 93804 [startup+222.301 s] /proc/loadavg: 2.05 2.06 2.01 3/430 21981 /proc/meminfo: memFree=29002448/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=93804 CPUtime=222.28 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 23774 0 0 0 22153 75 0 0 25 0 1 0 820714824 96055296 23189 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 23451 23189 180 372 0 23076 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 93804 [startup+282.301 s] /proc/loadavg: 2.02 2.05 2.01 3/430 21982 /proc/meminfo: memFree=28945276/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=123108 CPUtime=282.28 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 30904 0 0 0 28134 94 0 0 25 0 1 0 820714824 126062592 30319 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 30777 30319 180 372 0 30402 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 123108 [startup+342.301 s] /proc/loadavg: 2.00 2.04 2.00 3/430 21984 /proc/meminfo: memFree=28864404/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=150288 CPUtime=342.28 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 37572 0 0 0 34117 111 0 0 25 0 1 0 820714824 153894912 36987 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 37572 36987 180 372 0 37197 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 150288 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/430 21986 /proc/meminfo: memFree=28838104/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=177152 CPUtime=402.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 44136 0 0 0 40101 128 0 0 25 0 1 0 820714824 181403648 43551 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 44288 43551 180 372 0 43913 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 177152 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21987 /proc/meminfo: memFree=28820492/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=195288 CPUtime=462.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 48569 0 0 0 46088 141 0 0 25 0 1 0 820714824 199974912 47984 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 48822 47984 180 372 0 48447 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 195288 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 21998 /proc/meminfo: memFree=28793824/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=221624 CPUtime=522.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 55102 0 0 0 52074 155 0 0 25 0 1 0 820714824 226942976 54517 33554432000 4194304 5714214 140736387249952 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 55406 54517 180 372 0 55031 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 221624 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/430 21999 /proc/meminfo: memFree=28783244/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=231408 CPUtime=582.29 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 57533 0 0 0 58063 166 0 0 25 0 1 0 820714824 236961792 56948 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 57852 56948 180 372 0 57477 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 231408 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.02 2.00 3/430 22009 /proc/meminfo: memFree=28629568/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=318704 CPUtime=822.3 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 78944 0 0 0 81998 232 0 0 25 0 1 0 820714824 326352896 78359 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 79676 78359 180 372 0 79301 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 318704 [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 3/430 22011 /proc/meminfo: memFree=28558020/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=346980 CPUtime=882.3 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 86007 0 0 0 87978 252 0 0 25 0 1 0 820714824 355307520 85422 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 86745 85422 180 372 0 86370 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 346980 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/430 22012 /proc/meminfo: memFree=28517480/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=371972 CPUtime=942.3 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 92235 0 0 0 93964 266 0 0 25 0 1 0 820714824 380899328 91650 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 92993 91650 180 372 0 92618 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 371972 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/430 22014 /proc/meminfo: memFree=28468756/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=392788 CPUtime=1002.31 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 97381 0 0 0 99951 280 0 0 25 0 1 0 820714824 402214912 96796 33554432000 4194304 5714214 140736387249952 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 98197 96796 180 372 0 97822 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 392788 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/430 22015 /proc/meminfo: memFree=28399928/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=414748 CPUtime=1062.31 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 102818 0 0 0 105932 299 0 0 25 0 1 0 820714824 424701952 102233 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 103687 102233 180 372 0 103312 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 414748 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/430 22017 /proc/meminfo: memFree=28366320/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=441920 CPUtime=1122.31 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 109589 0 0 0 111918 313 0 0 25 0 1 0 820714824 452526080 109004 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 110480 109004 180 372 0 110105 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 441920 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/430 22018 /proc/meminfo: memFree=28325268/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=459716 CPUtime=1182.32 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 113998 0 0 0 117905 327 0 0 25 0 1 0 820714824 470749184 113413 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 114929 113413 180 372 0 114554 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 459716 [startup+1242.3 s] /proc/loadavg: 2.14 2.05 2.01 3/430 22020 /proc/meminfo: memFree=28286208/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=472892 CPUtime=1242.32 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 117240 0 0 0 123892 340 0 0 25 0 1 0 820714824 484241408 116655 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 118223 116655 180 372 0 117848 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 472892 [startup+1302.3 s] /proc/loadavg: 2.09 2.05 2.01 3/430 22022 /proc/meminfo: memFree=28234988/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=494920 CPUtime=1302.34 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 122698 0 0 0 129880 354 0 0 25 0 1 0 820714824 506798080 122113 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 123730 122113 180 372 0 123355 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 494920 [startup+1362.3 s] /proc/loadavg: 2.03 2.04 2.01 3/430 22023 /proc/meminfo: memFree=28188736/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=522008 CPUtime=1362.32 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 129435 0 0 0 135861 371 0 0 25 0 1 0 820714824 534536192 128850 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 130502 128850 180 372 0 130127 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 522008 [startup+1422.32 s] /proc/loadavg: 2.01 2.03 2.00 3/430 22025 /proc/meminfo: memFree=28132804/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=542828 CPUtime=1422.34 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 134654 0 0 0 141850 384 0 0 25 0 1 0 820714824 555855872 134069 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 135707 134069 180 372 0 135332 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 542828 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 22026 /proc/meminfo: memFree=28093116/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=560780 CPUtime=1482.32 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 139139 0 0 0 147837 395 0 0 25 0 1 0 820714824 574238720 138554 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 140195 138554 180 372 0 139820 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 560780 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/430 22028 /proc/meminfo: memFree=28052552/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=579084 CPUtime=1542.33 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 143674 0 0 0 153825 408 0 0 25 0 1 0 820714824 592982016 143089 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 144771 143089 180 372 0 144396 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 579084 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/430 22030 /proc/meminfo: memFree=28002576/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=595636 CPUtime=1602.33 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 147704 0 0 0 159814 419 0 0 25 0 1 0 820714824 609931264 147119 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 148909 147119 180 372 0 148534 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 595636 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/430 22031 /proc/meminfo: memFree=27967708/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=610824 CPUtime=1662.33 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 151485 0 0 0 165801 432 0 0 25 0 1 0 820714824 625483776 150900 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 152706 150900 180 372 0 152331 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 610824 [startup+1722.3 s] /proc/loadavg: 2.06 2.02 2.00 3/430 22033 /proc/meminfo: memFree=27930748/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=622696 CPUtime=1722.33 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 154448 0 0 0 171790 443 0 0 25 0 1 0 820714824 637640704 153863 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 155674 153863 180 372 0 155299 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 622696 [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.00 3/430 22034 /proc/meminfo: memFree=27884484/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=645216 CPUtime=1782.34 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 159970 0 0 0 177777 457 0 0 25 0 1 0 820714824 660701184 159385 33554432000 4194304 5714214 140736387249952 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 161304 159385 180 372 0 160929 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 645216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.03 2.00 3/430 22035 /proc/meminfo: memFree=27876548/32951124 swapFree=43324008/67111528 [pid=21969] ppid=21967 vsize=649632 CPUtime=1800.05 cores=0,2,4,6 /proc/21969/stat : 21969 (wbo1.6) R 21967 21969 15685 0 -1 4202496 161057 0 0 0 179544 461 0 0 25 0 1 0 820714824 665223168 160472 33554432000 4194304 5714214 140736387249952 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/21969/statm: 162408 160472 180 372 0 162033 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 649632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.09 CPU user time (s): 1795.44 CPU system time (s): 4.64329 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 649632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.44 system time used= 4.64329 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 161057 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= 12 involuntary context switches= 1799 runsolver used 8.00478 second user time and 16.8174 second system time The end
Begin job on node105 at 2011-06-03 10:52:24 IDJOB=3461452 IDBENCH=2195 IDSOLVER=1953 FILE ID=node105/3461452-1307091144 RUNJOBID= node105-1307091144-21954 PBS_JOBID= 13497883 Free space on /tmp= 73764 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh212.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461452-1307091144/watcher-3461452-1307091144 -o /tmp/evaluation-result-3461452-1307091144/solver-3461452-1307091144 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461452-1307091144.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 61258ef9ae3ea0a3e79eb8124ccd651a RANDOM SEED=322975205 node105.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.825 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.65 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.825 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.825 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.82 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.825 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.825 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 : 5410.70 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.825 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.825 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.82 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.825 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: 29180972 kB Buffers: 284224 kB Cached: 767596 kB SwapCached: 20984 kB Active: 2814404 kB Inactive: 644252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29180972 kB SwapTotal: 67111528 kB SwapFree: 43324008 kB Dirty: 8464 kB Writeback: 116 kB AnonPages: 2404076 kB Mapped: 18944 kB Slab: 163236 kB PageTables: 81312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 114857360 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= 73756 MiB End job on node105 at 2011-06-03 11:22:26