Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.14 | 1800.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb |
MD5SUM | 9a114b4c3025a5b4bab0d53b11234eee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 93 |
Best CPU time to get the best result obtained on this benchmark | 0.006998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 93 |
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-3461410-1307086326.opb. 0.00/0.00 c Instance file HOME/instance-3461410-1307086326.opb 0.00/0.00 c File size is 38665 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 4102 | 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: 6 Core Weight: 1 Total Weight: 1 0.00/0.02 c Current CPU time: 0.002999 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: 4 Core Weight: 1 Total Weight: 2 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: 6 Core Weight: 1 Total Weight: 3 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: 3 Core Weight: 1 Total Weight: 4 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: 5 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: 7 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.004999 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: 6 Core Weight: 1 Total Weight: 7 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: 9 Core Weight: 1 Total Weight: 8 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: 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 #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 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 #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 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 #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 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 #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 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 #14 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 #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 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 #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 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 #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 17 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: 6 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.008998 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: 19 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: 20 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 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 #22 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.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: 5 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 #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 24 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: 6 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 26 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: 27 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 28 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: 5 Core Weight: 1 Total Weight: 29 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: 30 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 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: 5 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 35 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: 6 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 37 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: 7 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.017997 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: 7 Core Weight: 1 Total Weight: 39 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: 11 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.018997 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: 30 Core Weight: 1 Total Weight: 41 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: 8 Core Weight: 1 Total Weight: 42 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: 12 Core Weight: 1 Total Weight: 43 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: 24 Core Weight: 1 Total Weight: 44 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #45 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 42 Core Weight: 1 Total Weight: 45 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 | 389 1145 4668 | 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: 20 Core Weight: 1 Total Weight: 46 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 | 398 1146 4687 | 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: 19 Core Weight: 1 Total Weight: 47 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 | 412 1147 4716 | 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: 66 Core Weight: 1 Total Weight: 48 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 | 471 1148 4841 | 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: 21 Core Weight: 1 Total Weight: 49 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 | 484 1150 4870 | 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: 36 Core Weight: 1 Total Weight: 50 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 | 519 1151 4940 | 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: 77 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 ============================[ 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 | 592 1152 5086 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 103 | 580 1152 5086 | 5500 103 17 | 2.521 % | 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: 105 Core Weight: 1 Total Weight: 52 0.00/0.03 c Current CPU time: 0.030995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 667 1153 5236 | 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: 98 Core Weight: 1 Total Weight: 53 0.00/0.03 c Current CPU time: 0.032994 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 | 703 1159 5323 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 100 | 703 1159 5323 | 5500 100 17 | 0.142 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c core #54 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 126 Core Weight: 1 Total Weight: 54 0.03/0.04 c Current CPU time: 0.036994 s 0.03/0.04 c 0.03/0.04 c ============================[ Search Statistics ]============================== 0.03/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.04 c =============================================================================== 0.03/0.04 c | 0 | 774 1163 5475 | 5000 0 -nan | 0.000 % | 0.03/0.04 c | 100 | 774 1163 5475 | 5500 100 26 | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c core #55 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 117 Core Weight: 1 Total Weight: 55 0.03/0.04 c Current CPU time: 0.041993 s 0.03/0.04 c 0.03/0.04 c ============================[ Search Statistics ]============================== 0.03/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.04 c =============================================================================== 0.03/0.04 c | 0 | 833 1187 5692 | 5000 0 -nan | 0.000 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c core #56 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 101 Core Weight: 1 Total Weight: 56 0.03/0.04 c Current CPU time: 0.043993 s 0.03/0.04 c 0.03/0.04 c ============================[ Search Statistics ]============================== 0.03/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.04 c =============================================================================== 0.03/0.04 c | 0 | 840 1200 5772 | 5000 0 -nan | 0.000 % | 0.03/0.05 c | 100 | 840 1200 5772 | 5500 100 36 | 4.548 % | 0.03/0.05 c =============================================================================== 0.03/0.05 c core #57 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 121 Core Weight: 1 Total Weight: 57 0.03/0.05 c Current CPU time: 0.048992 s 0.03/0.05 c 0.03/0.05 c ============================[ Search Statistics ]============================== 0.03/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.05 c =============================================================================== 0.03/0.05 c | 0 | 803 1211 5858 | 5000 0 -nan | 0.000 % | 0.03/0.05 c =============================================================================== 0.03/0.05 c core #58 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 172 Core Weight: 1 Total Weight: 58 0.03/0.05 c Current CPU time: 0.049992 s 0.03/0.05 c 0.03/0.05 c ============================[ Search Statistics ]============================== 0.03/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.05 c =============================================================================== 0.03/0.05 c | 0 | 825 1214 5898 | 5000 0 -nan | 0.000 % | 0.03/0.05 c | 102 | 825 1214 5898 | 5500 102 24 | 11.483 % | 0.03/0.06 c | 252 | 814 1214 5898 | 6050 252 30 | 12.768 % | 0.03/0.06 c =============================================================================== 0.03/0.06 c core #59 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 138 Core Weight: 1 Total Weight: 59 0.03/0.06 c Current CPU time: 0.056991 s 0.03/0.06 c 0.03/0.06 c ============================[ Search Statistics ]============================== 0.03/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.06 c =============================================================================== 0.03/0.06 c | 0 | 854 1218 5979 | 5000 0 -nan | 0.000 % | 0.03/0.06 c | 100 | 854 1218 5979 | 5500 100 23 | 12.051 % | 0.03/0.06 c | 250 | 851 1218 5979 | 6050 250 26 | 12.667 % | 0.03/0.07 c | 475 | 850 1218 5979 | 6655 475 32 | 12.667 % | 0.03/0.08 c | 812 | 848 1218 5979 | 7320 812 39 | 12.667 % | 0.09/0.10 c | 1318 | 848 1218 5979 | 8052 1318 46 | 12.667 % | 0.09/0.12 c =============================================================================== 0.09/0.13 c core #60 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 142 Core Weight: 1 Total Weight: 60 0.09/0.13 c Current CPU time: 0.118981 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 | 881 1225 6054 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 105 | 881 1225 6054 | 5500 105 28 | 12.252 % | 0.09/0.13 c | 255 | 881 1225 6054 | 6050 255 31 | 12.251 % | 0.09/0.14 c | 480 | 881 1225 6054 | 6655 480 29 | 12.251 % | 0.09/0.14 c | 819 | 881 1225 6054 | 7320 819 35 | 12.251 % | 0.09/0.16 c | 1326 | 881 1225 6054 | 8052 1326 34 | 12.254 % | 0.09/0.18 c | 2089 | 881 1225 6054 | 8857 2089 34 | 12.251 % | 0.19/0.25 c | 3231 | 881 1225 6054 | 9743 3231 39 | 12.251 % | 0.29/0.34 c | 4941 | 881 1225 6054 | 10717 4941 42 | 12.258 % | 0.49/0.53 c | 7504 | 877 1225 6054 | 11789 7504 44 | 12.849 % | 0.69/0.79 c =============================================================================== 0.79/0.83 c core #61 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 185 Core Weight: 1 Total Weight: 61 0.79/0.83 c Current CPU time: 0.800878 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 930 1234 6173 | 5000 0 -nan | 0.000 % | 0.79/0.84 c | 100 | 930 1234 6173 | 5500 100 36 | 11.682 % | 0.79/0.84 c | 253 | 930 1234 6173 | 6050 253 37 | 11.681 % | 0.79/0.85 c | 479 | 930 1234 6173 | 6655 479 46 | 11.681 % | 0.79/0.86 c | 816 | 930 1234 6173 | 7320 816 53 | 11.681 % | 0.79/0.88 c | 1322 | 930 1234 6173 | 8052 1322 52 | 11.683 % | 0.89/0.93 c | 2081 | 928 1234 6173 | 8857 2081 54 | 11.873 % | 0.89/0.99 c | 3220 | 928 1234 6173 | 9743 3220 55 | 11.871 % | 1.10/1.17 c | 4928 | 928 1234 6173 | 10717 4928 59 | 11.871 % | 1.39/1.43 c | 7492 | 928 1234 6173 | 11789 7492 64 | 11.871 % | 1.69/1.71 c | 11336 | 928 1234 6173 | 12968 11336 57 | 11.872 % | 1.69/1.72 c =============================================================================== 1.69/1.73 c core #62 1.69/1.73 c 1.69/1.73 c 1.69/1.73 c Core size: 215 Core Weight: 1 Total Weight: 62 1.69/1.73 c Current CPU time: 1.66675 s 1.69/1.73 c 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 1001 1241 6330 | 5000 0 -nan | 0.000 % | 1.69/1.74 c | 103 | 1001 1241 6330 | 5500 103 54 | 11.102 % | 1.69/1.74 c | 255 | 1001 1241 6330 | 6050 255 52 | 11.101 % | 1.69/1.75 c | 480 | 1001 1241 6330 | 6655 480 55 | 11.101 % | 1.69/1.76 c | 821 | 999 1241 6330 | 7320 821 60 | 11.279 % | 1.69/1.77 c | 1332 | 999 1241 6330 | 8052 1332 58 | 11.279 % | 1.79/1.81 c | 2091 | 999 1241 6330 | 8857 2091 62 | 11.279 % | 1.79/1.85 c | 3231 | 999 1241 6330 | 9743 3231 57 | 11.279 % | 1.89/1.93 c | 4940 | 999 1241 6330 | 10717 4940 58 | 11.279 % | 1.99/2.08 c | 7502 | 999 1241 6330 | 11789 7502 59 | 11.279 % | 2.29/2.39 c | 11347 | 999 1241 6330 | 12968 11347 65 | 11.279 % | 2.79/2.87 c | 17114 | 995 1241 6330 | 14265 10519 73 | 11.634 % | 3.09/3.19 c =============================================================================== 3.20/3.26 c core #63 3.20/3.26 c 3.20/3.26 c 3.20/3.26 c Core size: 242 Core Weight: 1 Total Weight: 63 3.20/3.26 c Current CPU time: 3.14752 s 3.20/3.26 c 3.20/3.26 c ============================[ Search Statistics ]============================== 3.20/3.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.26 c =============================================================================== 3.20/3.26 c | 0 | 1087 1250 6523 | 5000 0 -nan | 0.000 % | 3.20/3.26 c | 101 | 1087 1250 6523 | 5500 101 53 | 10.462 % | 3.20/3.27 c | 252 | 1087 1250 6523 | 6050 252 48 | 10.461 % | 3.20/3.27 c | 478 | 1087 1250 6523 | 6655 478 48 | 10.461 % | 3.20/3.28 c | 818 | 1087 1250 6523 | 7320 818 50 | 10.461 % | 3.20/3.30 c | 1324 | 1087 1250 6523 | 8052 1324 51 | 10.461 % | 3.31/3.32 c | 2086 | 1087 1250 6523 | 8857 2086 55 | 10.461 % | 3.31/3.37 c | 3227 | 1087 1250 6523 | 9743 3227 60 | 10.461 % | 3.39/3.47 c | 4936 | 1087 1250 6523 | 10717 4936 64 | 10.461 % | 3.59/3.63 c | 7498 | 1087 1250 6523 | 11789 7498 65 | 10.461 % | 3.89/3.97 c | 11342 | 1087 1250 6523 | 12968 11342 66 | 10.461 % | 4.69/4.71 c | 17110 | 1087 1250 6523 | 14265 10373 78 | 10.465 % | 5.59/5.68 c | 25762 | 1087 1250 6523 | 15692 11687 81 | 10.461 % | 7.39/7.43 c | 38736 | 1087 1250 6523 | 17261 8628 62 | 10.465 % | 9.91/9.97 c | 58197 | 1087 1250 6523 | 18987 10576 74 | 10.461 % | 12.99/13.02 c | 87389 | 1087 1250 6523 | 20886 10808 67 | 10.463 % | 19.30/19.31 c | 131178 | 1087 1250 6523 | 22974 12046 87 | 10.461 % | 30.70/30.76 c | 196864 | 1087 1250 6523 | 25272 19381 108 | 10.461 % | 60.19/60.22 c | 295391 | 1075 1250 6523 | 27799 13678 97 | 11.455 % | 61.19/61.20 c =============================================================================== 62.71/62.72 c core #64 62.71/62.72 c 62.71/62.72 c 62.71/62.72 c Core size: 235 Core Weight: 1 Total Weight: 64 62.71/62.72 c Current CPU time: 61.8236 s 62.71/62.72 c 62.71/62.72 c ============================[ Search Statistics ]============================== 62.71/62.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.71/62.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.71/62.72 c =============================================================================== 62.71/62.72 c | 0 | 1184 1256 6731 | 5000 0 -nan | 0.000 % | 62.71/62.73 c | 100 | 1184 1256 6731 | 5500 100 71 | 9.688 % | 62.71/62.73 c | 252 | 1184 1256 6731 | 6050 252 56 | 9.687 % | 62.71/62.74 c | 477 | 1184 1256 6731 | 6655 477 62 | 9.687 % | 62.71/62.75 c | 815 | 1184 1256 6731 | 7320 815 72 | 9.687 % | 62.71/62.77 c | 1322 | 1184 1256 6731 | 8052 1322 76 | 9.687 % | 62.71/62.79 c | 2084 | 1184 1256 6731 | 8857 2084 78 | 9.689 % | 62.79/62.85 c | 3223 | 1184 1256 6731 | 9743 3223 78 | 9.687 % | 62.89/62.95 c | 4933 | 1184 1256 6731 | 10717 4933 80 | 9.687 % | 63.09/63.10 c | 7496 | 1184 1256 6731 | 11789 7496 79 | 9.687 % | 63.39/63.42 c | 11342 | 1184 1256 6731 | 12968 11342 79 | 9.687 % | 63.90/63.93 c | 17113 | 1184 1256 6731 | 14265 10330 84 | 9.687 % | 64.91/64.94 c | 25763 | 1184 1256 6731 | 15692 11579 89 | 9.687 % | 66.39/66.47 c | 38740 | 1184 1256 6731 | 17261 8426 69 | 9.687 % | 70.30/70.39 c | 58207 | 1184 1256 6731 | 18987 10244 109 | 9.687 % | 76.67/76.73 c | 87401 | 1184 1256 6731 | 20886 10379 95 | 9.687 % | 84.43/84.57 c | 131196 | 1184 1256 6731 | 22974 11612 79 | 9.691 % | 96.64/96.74 c | 196881 | 1184 1256 6731 | 25272 18606 69 | 9.687 % | 123.43/123.55 c | 295414 | 1184 1256 6731 | 27799 12649 106 | 9.687 % | 157.44/157.52 c | 443203 | 1184 1256 6731 | 30579 22809 105 | 9.690 % | 220.74/220.81 c | 664888 | 1184 1256 6731 | 33637 16729 132 | 9.687 % | 327.24/327.34 c | 997413 | 1184 1256 6731 | 37001 21118 104 | 9.687 % | 449.04/449.15 c =============================================================================== 449.75/449.82 c core #65 449.75/449.82 c 449.75/449.82 c 449.75/449.82 c Core size: 143 Core Weight: 1 Total Weight: 65 449.75/449.82 c Current CPU time: 445.42 s 449.75/449.82 c 449.75/449.82 c ============================[ Search Statistics ]============================== 449.75/449.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 449.75/449.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 449.75/449.82 c =============================================================================== 449.75/449.82 c | 0 | 1216 1261 6804 | 5000 0 -nan | 0.000 % | 449.75/449.82 c | 102 | 1216 1261 6804 | 5500 102 72 | 9.457 % | 449.75/449.83 c | 254 | 1216 1261 6804 | 6050 254 64 | 9.456 % | 449.75/449.83 c | 480 | 1216 1261 6804 | 6655 480 71 | 9.456 % | 449.75/449.84 c | 818 | 1216 1261 6804 | 7320 818 81 | 9.457 % | 449.75/449.86 c | 1326 | 1216 1261 6804 | 8052 1326 77 | 9.456 % | 449.75/449.89 c | 2085 | 1216 1261 6804 | 8857 2085 74 | 9.456 % | 449.86/449.95 c | 3225 | 1216 1261 6804 | 9743 3225 77 | 9.456 % | 449.95/450.07 c | 4934 | 1216 1261 6804 | 10717 4934 91 | 9.456 % | 450.24/450.30 c | 7497 | 1216 1261 6804 | 11789 7497 99 | 9.456 % | 450.64/450.74 c | 11342 | 1216 1261 6804 | 12968 11342 105 | 9.458 % | 451.45/451.50 c | 17108 | 1216 1261 6804 | 14265 10394 121 | 9.456 % | 452.15/452.20 c | 25757 | 1216 1261 6804 | 15692 11680 89 | 9.456 % | 453.44/453.55 c | 38733 | 1216 1261 6804 | 17261 8581 78 | 9.456 % | 455.85/455.99 c | 58195 | 1216 1261 6804 | 18987 10274 92 | 9.456 % | 461.75/461.87 c | 87387 | 1216 1261 6804 | 20886 10313 105 | 9.456 % | 469.25/469.32 c | 131177 | 1216 1261 6804 | 22974 11499 110 | 9.456 % | 484.96/485.06 c | 196861 | 1216 1261 6804 | 25272 18677 104 | 9.456 % | 511.85/511.98 c | 295388 | 1216 1261 6804 | 27799 13068 96 | 9.456 % | 552.95/553.03 c | 443181 | 1216 1261 6804 | 30579 26150 106 | 9.456 % | 611.25/611.38 c | 664865 | 1216 1261 6804 | 33637 20883 120 | 9.456 % | 703.86/703.97 c | 997392 | 1216 1261 6804 | 37001 19759 125 | 9.460 % | 822.66/822.79 c | 1496182 | 1216 1261 6804 | 40701 18022 103 | 9.461 % | 872.96/873.07 c =============================================================================== 879.97/880.04 c core #66 879.97/880.04 c 879.97/880.04 c 879.97/880.04 c Core size: 235 Core Weight: 1 Total Weight: 66 879.97/880.04 c Current CPU time: 871.867 s 879.97/880.04 c 879.97/880.04 c ============================[ Search Statistics ]============================== 879.97/880.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 879.97/880.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 879.97/880.04 c =============================================================================== 879.97/880.04 c | 0 | 1311 1272 7015 | 5000 0 -nan | 0.000 % | 879.97/880.04 c | 101 | 1311 1272 7015 | 5500 101 68 | 8.832 % | 879.97/880.05 c | 253 | 1311 1272 7015 | 6050 253 69 | 8.832 % | 879.97/880.05 c | 478 | 1311 1272 7015 | 6655 478 75 | 8.832 % | 879.97/880.06 c | 829 | 1311 1272 7015 | 7320 829 78 | 8.832 % | 879.97/880.08 c | 1336 | 1311 1272 7015 | 8052 1336 71 | 8.832 % | 880.06/880.11 c | 2095 | 1311 1272 7015 | 8857 2095 85 | 8.832 % | 880.06/880.18 c | 3234 | 1311 1272 7015 | 9743 3234 96 | 8.832 % | 880.26/880.31 c | 4949 | 1311 1272 7015 | 10717 4949 100 | 8.832 % | 880.46/880.54 c | 7512 | 1311 1272 7015 | 11789 7512 108 | 8.832 % | 880.97/881.11 c | 11357 | 1311 1272 7015 | 12968 11357 113 | 8.832 % | 882.06/882.16 c | 17124 | 1311 1272 7015 | 14265 10422 113 | 8.832 % | 883.45/883.53 c | 25773 | 1311 1272 7015 | 15692 11720 127 | 8.832 % | 885.26/885.40 c | 38748 | 1311 1272 7015 | 17261 8678 111 | 8.832 % | 890.46/890.56 c | 58213 | 1311 1272 7015 | 18987 10524 134 | 8.832 % | 900.66/900.77 c | 87409 | 1311 1272 7015 | 20886 10590 131 | 8.832 % | 911.25/911.35 c | 131199 | 1311 1272 7015 | 22974 11854 120 | 8.832 % | 929.56/929.66 c | 196889 | 1311 1272 7015 | 25272 18719 173 | 8.832 % | 952.47/952.53 c | 295415 | 1311 1272 7015 | 27799 22964 151 | 8.832 % | 997.46/997.50 c | 443208 | 1311 1272 7015 | 30579 21371 124 | 8.832 % | 1066.98/1067.01 c | 664893 | 1311 1272 7015 | 33637 25661 134 | 8.832 % | 1156.17/1156.25 c | 997418 | 1311 1272 7015 | 37001 28689 87 | 8.832 % | 1307.47/1307.50 c | 1496209 | 1311 1272 7015 | 40701 36676 126 | 8.832 % | 1558.78/1558.88 c | 2244391 | 1311 1272 7015 | 44771 34872 79 | 8.832 % |
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-3461410-1307086326/watcher-3461410-1307086326 -o /tmp/evaluation-result-3461410-1307086326/solver-3461410-1307086326 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461410-1307086326.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.94 2.01 2.23 2/443 13329 /proc/meminfo: memFree=29297240/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=2240 CPUtime=0 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 355 0 0 0 0 0 0 0 25 0 1 0 898863289 2293760 298 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 560 298 175 372 0 185 0 [startup+0.0401109 s] /proc/loadavg: 1.94 2.01 2.23 2/443 13329 /proc/meminfo: memFree=29297240/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=2488 CPUtime=0.03 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 439 0 0 0 3 0 0 0 25 0 1 0 898863289 2547712 382 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 622 382 180 372 0 247 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2488 [startup+0.101102 s] /proc/loadavg: 1.94 2.01 2.23 2/443 13329 /proc/meminfo: memFree=29297240/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=2904 CPUtime=0.09 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 519 0 0 0 9 0 0 0 18 0 1 0 898863289 2973696 462 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 726 462 180 372 0 351 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2904 [startup+0.30106 s] /proc/loadavg: 1.94 2.01 2.23 2/443 13329 /proc/meminfo: memFree=29297240/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=3980 CPUtime=0.29 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 793 0 0 0 28 1 0 0 18 0 1 0 898863289 4075520 736 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 995 736 180 372 0 620 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3980 [startup+0.700981 s] /proc/loadavg: 1.94 2.01 2.23 2/443 13329 /proc/meminfo: memFree=29297240/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=6280 CPUtime=0.69 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 1359 0 0 0 67 2 0 0 18 0 1 0 898863289 6430720 1302 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 1570 1302 180 372 0 1195 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6280 [startup+1.50083 s] /proc/loadavg: 1.94 2.01 2.23 3/444 13330 /proc/meminfo: memFree=29291068/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=7480 CPUtime=1.49 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 1674 0 0 0 144 5 0 0 19 0 1 0 898863289 7659520 1617 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 1870 1617 180 372 0 1495 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7480 [startup+3.10052 s] /proc/loadavg: 1.95 2.01 2.23 3/444 13330 /proc/meminfo: memFree=29289208/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=10304 CPUtime=3.09 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 2374 0 0 0 299 10 0 0 25 0 1 0 898863289 10551296 2317 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 2576 2317 180 372 0 2201 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10304 [startup+6.30093 s] /proc/loadavg: 1.95 2.01 2.23 3/444 13330 /proc/meminfo: memFree=29284668/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=13804 CPUtime=6.3 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 3267 0 0 0 613 17 0 0 25 0 1 0 898863289 14135296 3183 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 3451 3183 180 372 0 3076 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 13804 [startup+12.7007 s] /proc/loadavg: 1.95 2.01 2.23 3/444 13330 /proc/meminfo: memFree=29275820/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=22540 CPUtime=12.69 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 5412 0 0 0 1240 29 0 0 25 0 1 0 898863289 23080960 5328 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 5635 5328 180 372 0 5260 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22540 [startup+25.5003 s] /proc/loadavg: 1.96 2.01 2.22 3/444 13331 /proc/meminfo: memFree=29256104/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=41364 CPUtime=25.49 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 10073 0 0 0 2501 48 0 0 25 0 1 0 898863289 42356736 9989 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 10341 9989 180 372 0 9966 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41364 [startup+51.1005 s] /proc/loadavg: 1.97 2.01 2.22 3/444 13360 /proc/meminfo: memFree=29878548/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=60888 CPUtime=51.1 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 14868 0 0 0 5043 67 0 0 25 0 1 0 898863289 62349312 14784 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 15222 14784 180 372 0 14847 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 60888 [startup+102.317 s] /proc/loadavg: 1.99 2.00 2.20 3/444 13361 /proc/meminfo: memFree=29840556/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=70824 CPUtime=102.24 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 17516 0 0 0 10100 124 0 0 25 0 1 0 898863289 72523776 17381 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 17706 17381 180 372 0 17331 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 70824 [startup+162.301 s] /proc/loadavg: 1.99 2.00 2.18 3/444 13362 /proc/meminfo: memFree=29787196/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=96528 CPUtime=162.23 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 23829 0 0 0 16046 177 0 0 25 0 1 0 898863289 98844672 23694 33554432000 4194304 5714214 140734379889712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 24132 23694 180 372 0 23757 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 96528 [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.17 3/444 13364 /proc/meminfo: memFree=29723316/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=133572 CPUtime=222.23 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 32883 0 0 0 22000 223 0 0 25 0 1 0 898863289 136777728 32748 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 33393 32748 180 372 0 33018 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 133572 [startup+282.301 s] /proc/loadavg: 1.99 2.00 2.16 3/444 13366 /proc/meminfo: memFree=29673928/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=158776 CPUtime=282.24 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 39043 0 0 0 27963 261 0 0 25 0 1 0 898863289 162586624 38908 33554432000 4194304 5714214 140734379889712 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 39694 38908 180 372 0 39319 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 158776 [startup+342.301 s] /proc/loadavg: 2.04 2.01 2.15 3/444 13367 /proc/meminfo: memFree=29613632/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=198812 CPUtime=342.24 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 48930 0 0 0 33923 301 0 0 25 0 1 0 898863289 203583488 48795 33554432000 4194304 5714214 140734379889712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 49703 48795 180 372 0 49328 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 198812 [startup+402.301 s] /proc/loadavg: 2.06 2.02 2.15 3/444 13371 /proc/meminfo: memFree=29574648/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=218560 CPUtime=402.24 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 53941 0 0 0 39880 344 0 0 25 0 1 0 898863289 223805440 53636 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 54640 53636 180 372 0 54265 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 218560 [startup+462.3 s] /proc/loadavg: 2.02 2.02 2.14 3/444 13373 /proc/meminfo: memFree=29528724/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=244212 CPUtime=462.25 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 60231 0 0 0 45830 395 0 0 25 0 1 0 898863289 250073088 59926 33554432000 4194304 5714214 140734379889712 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 61053 59926 180 372 0 60678 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 244212 [startup+522.301 s] /proc/loadavg: 2.06 2.03 2.13 3/444 13375 /proc/meminfo: memFree=29508112/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=244212 CPUtime=522.24 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 60467 0 0 0 51781 443 0 0 25 0 1 0 898863289 250073088 60162 33554432000 4194304 5714214 140734379889712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 61053 60162 180 372 0 60678 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 244212 [startup+582.301 s] /proc/loadavg: 2.02 2.02 2.12 3/444 13377 /proc/meminfo: memFree=29487744/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=244212 CPUtime=582.25 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 60583 0 0 0 57734 491 0 0 25 0 1 0 898863289 250073088 60278 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 61053 60278 180 372 0 60678 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 244212 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.07 2.02 2.08 3/444 13385 /proc/meminfo: memFree=29317256/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=882.26 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79617 0 0 0 87485 741 0 0 21 0 1 0 898863289 326316032 79231 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79231 180 372 0 79292 0 Current children cumulated CPU time (s) 882.26 Current children cumulated vsize (KiB) 318668 [startup+942.301 s] /proc/loadavg: 2.02 2.01 2.07 3/444 13386 /proc/meminfo: memFree=29299128/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=942.26 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79689 0 0 0 93432 794 0 0 25 0 1 0 898863289 326316032 79303 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79303 180 372 0 79292 0 Current children cumulated CPU time (s) 942.26 Current children cumulated vsize (KiB) 318668 [startup+1002.3 s] /proc/loadavg: 2.09 2.02 2.07 3/444 13388 /proc/meminfo: memFree=29278768/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1002.26 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79729 0 0 0 99390 836 0 0 25 0 1 0 898863289 326316032 79343 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79343 180 372 0 79292 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 318668 [startup+1062.3 s] /proc/loadavg: 2.10 2.03 2.07 3/444 13389 /proc/meminfo: memFree=29258772/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1062.26 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79729 0 0 0 105346 880 0 0 25 0 1 0 898863289 326316032 79343 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79343 180 372 0 79292 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 318668 [startup+1122.3 s] /proc/loadavg: 2.04 2.02 2.07 3/444 13391 /proc/meminfo: memFree=29238524/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1122.26 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79760 0 0 0 111296 930 0 0 25 0 1 0 898863289 326316032 79374 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79374 180 372 0 79292 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 318668 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.06 3/444 13393 /proc/meminfo: memFree=29183420/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1182.27 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79775 0 0 0 117247 980 0 0 25 0 1 0 898863289 326316032 79389 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79389 180 372 0 79292 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 318668 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.06 3/444 13394 /proc/meminfo: memFree=29183388/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1242.27 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79783 0 0 0 123202 1025 0 0 25 0 1 0 898863289 326316032 79397 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79397 180 372 0 79292 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 318668 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.05 3/444 13396 /proc/meminfo: memFree=29182496/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1302.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79783 0 0 0 129166 1062 0 0 25 0 1 0 898863289 326316032 79397 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79397 180 372 0 79292 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 318668 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.04 3/444 13397 /proc/meminfo: memFree=29181736/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=318668 CPUtime=1362.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 79787 0 0 0 135125 1103 0 0 25 0 1 0 898863289 326316032 79401 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 79667 79401 180 372 0 79292 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 318668 [startup+1422.32 s] /proc/loadavg: 2.07 2.03 2.05 3/444 13399 /proc/meminfo: memFree=29170804/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=330184 CPUtime=1422.29 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 82521 0 0 0 141093 1136 0 0 25 0 1 0 898863289 338108416 82135 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 82546 82135 180 372 0 82171 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 330184 [startup+1482.3 s] /proc/loadavg: 2.06 2.03 2.05 3/444 13401 /proc/meminfo: memFree=29148068/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=353292 CPUtime=1482.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 88201 0 0 0 147052 1176 0 0 25 0 1 0 898863289 361771008 87815 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 88323 87815 180 372 0 87948 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 353292 [startup+1542.3 s] /proc/loadavg: 2.11 2.05 2.05 3/444 13402 /proc/meminfo: memFree=29127680/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=375112 CPUtime=1542.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 93472 0 0 0 153009 1219 0 0 25 0 1 0 898863289 384114688 93086 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 93778 93086 180 372 0 93403 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 375112 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.05 3/444 13404 /proc/meminfo: memFree=29093672/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=409552 CPUtime=1602.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 102543 0 0 0 158963 1265 0 0 25 0 1 0 898863289 419381248 101555 33554432000 4194304 5714214 140734379889712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 102388 101555 180 372 0 102013 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 409552 [startup+1662.3 s] /proc/loadavg: 2.03 2.04 2.05 3/444 13405 /proc/meminfo: memFree=29062276/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=442024 CPUtime=1662.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 110556 0 0 0 164931 1297 0 0 25 0 1 0 898863289 452632576 109568 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 110506 109568 180 372 0 110131 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 442024 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.04 3/444 13407 /proc/meminfo: memFree=29046984/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=459016 CPUtime=1722.28 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 114683 0 0 0 170900 1328 0 0 25 0 1 0 898863289 470032384 113695 33554432000 4194304 5714214 140734379889712 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 114754 113695 180 372 0 114379 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 459016 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.04 3/444 13418 /proc/meminfo: memFree=29022492/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=480796 CPUtime=1782.29 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 119944 0 0 0 176868 1361 0 0 25 0 1 0 898863289 492335104 118956 33554432000 4194304 5714214 140734379889712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 120199 118956 180 372 0 119824 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 480796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.02 2.03 3/444 13418 /proc/meminfo: memFree=29016032/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=487040 CPUtime=1800.1 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 121492 0 0 0 178642 1368 0 0 25 0 1 0 898863289 498728960 120504 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 121760 120504 180 372 0 121385 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 487040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.02 2.03 3/444 13418 /proc/meminfo: memFree=29016032/32950928 swapFree=52246700/67111528 [pid=13329] ppid=13327 vsize=487040 CPUtime=1800.1 cores=1,3,5,7 /proc/13329/stat : 13329 (wbo1.6) R 13327 13329 9824 0 -1 4202496 121492 0 0 0 178642 1368 0 0 25 0 1 0 898863289 498728960 120504 33554432000 4194304 5714214 140734379889712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13329/statm: 121760 120504 180 372 0 121385 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 487040 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.14 CPU time (s): 1800.14 CPU user time (s): 1786.43 CPU system time (s): 13.7049 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 487040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.43 system time used= 13.7049 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121492 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= 4222 runsolver used 7.2249 second user time and 18.9671 second system time The end
Begin job on node114 at 2011-06-03 09:32:06 IDJOB=3461410 IDBENCH=2121 IDSOLVER=1953 FILE ID=node114/3461410-1307086326 RUNJOBID= node114-1307084510-13153 PBS_JOBID= 13497874 Free space on /tmp= 73924 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh209.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461410-1307086326/watcher-3461410-1307086326 -o /tmp/evaluation-result-3461410-1307086326/solver-3461410-1307086326 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461410-1307086326.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a114b4c3025a5b4bab0d53b11234eee RANDOM SEED=503413878 node114.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.848 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.69 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.848 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.848 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.74 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.848 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.73 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.74 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.848 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: 32950928 kB MemFree: 29297520 kB Buffers: 264384 kB Cached: 390056 kB SwapCached: 10660 kB Active: 2983328 kB Inactive: 399448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29297520 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 4584 kB Writeback: 0 kB AnonPages: 2725704 kB Mapped: 21900 kB Slab: 140052 kB PageTables: 63684 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108877328 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= 73920 MiB End job on node114 at 2011-06-03 10:02:08