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-jnh301.opb |
MD5SUM | 21989a3a2eabf31d3de5b03788f598a8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 95 |
Best CPU time to get the best result obtained on this benchmark | 0.007998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 14 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461398-1307085198.opb. 0.00/0.00 c Instance file HOME/instance-3461398-1307085198.opb 0.00/0.00 c File size is 45059 bytes. 0.00/0.00 c Highest Coefficient sum: 15 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: 1000 | 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 1000 4854 | 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: 4 Core Weight: 1 Total Weight: 1 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: 5 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: 8 Core Weight: 1 Total Weight: 3 0.00/0.02 c Current CPU time: 0.004999 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: 7 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: 5 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.005999 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: 6 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: 4 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.006998 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: 5 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.006998 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.007998 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: 7 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.007998 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.008998 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: 4 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.009998 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: 8 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.009998 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: 5 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.010998 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: 5 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.011998 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: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.011998 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.011998 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: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.012998 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: 21 0.00/0.02 c Current CPU time: 0.013997 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: 22 0.00/0.02 c Current CPU time: 0.013997 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: 10 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.014997 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: 3 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.015997 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: 6 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.015997 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: 3 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.016997 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: 6 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.018997 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.018997 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: 33 0.00/0.02 c Current CPU time: 0.019996 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: 34 0.00/0.02 c Current CPU time: 0.020996 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.020996 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: 3 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.021996 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: 5 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.021996 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: 38 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.022996 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: 4 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.023996 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: 3 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.024996 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: 42 0.00/0.02 c Current CPU time: 0.024996 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: 3 Core Weight: 1 Total Weight: 43 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #44 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #45 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #46 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.03 c Current CPU time: 0.027995 s 0.00/0.03 c 0.00/0.03 c core #47 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.03 c Current CPU time: 0.027995 s 0.00/0.03 c 0.00/0.03 c core #48 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 48 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c core #49 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 49 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c core #50 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 20 Core Weight: 1 Total Weight: 50 0.00/0.03 c Current CPU time: 0.029995 s 0.00/0.03 c 0.00/0.03 c core #51 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 24 Core Weight: 1 Total Weight: 51 0.00/0.03 c Current CPU time: 0.030995 s 0.00/0.03 c 0.00/0.03 c core #52 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 29 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 core #53 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 23 Core Weight: 1 Total Weight: 53 0.00/0.03 c Current CPU time: 0.031995 s 0.00/0.03 c 0.00/0.03 c core #54 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 17 Core Weight: 1 Total Weight: 54 0.00/0.03 c Current CPU time: 0.032994 s 0.00/0.03 c 0.00/0.03 c core #55 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 17 Core Weight: 1 Total Weight: 55 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 | 402 1255 5449 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #56 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 22 Core Weight: 1 Total Weight: 56 0.00/0.03 c Current CPU time: 0.033994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 410 1256 5465 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #57 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 28 Core Weight: 1 Total Weight: 57 0.00/0.03 c Current CPU time: 0.034994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 421 1257 5488 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #58 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 26 Core Weight: 1 Total Weight: 58 0.00/0.03 c Current CPU time: 0.035994 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 | 437 1258 5522 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #59 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 54 Core Weight: 1 Total Weight: 59 0.00/0.03 c Current CPU time: 0.036994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 472 1259 5594 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #60 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 36 Core Weight: 1 Total Weight: 60 0.00/0.03 c Current CPU time: 0.037994 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 | 487 1260 5625 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #61 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 76 Core Weight: 1 Total Weight: 61 0.00/0.04 c Current CPU time: 0.039993 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 | 557 1262 5769 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.04/0.04 c core #62 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 65 Core Weight: 1 Total Weight: 62 0.04/0.04 c Current CPU time: 0.040993 s 0.04/0.04 c 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 581 1265 5827 | 5000 0 -nan | 0.000 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c core #63 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 113 Core Weight: 1 Total Weight: 63 0.04/0.04 c Current CPU time: 0.043993 s 0.04/0.04 c 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 641 1267 5949 | 5000 0 -nan | 0.000 % | 0.04/0.04 c | 102 | 641 1267 5949 | 5500 102 28 | 0.774 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #64 0.04/0.05 c 0.04/0.05 c 0.04/0.05 c Core size: 176 Core Weight: 1 Total Weight: 64 0.04/0.05 c Current CPU time: 0.050992 s 0.04/0.05 c 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 721 1270 6116 | 5000 0 -nan | 0.000 % | 0.04/0.05 c | 100 | 721 1270 6116 | 5500 100 33 | 0.552 % | 0.04/0.05 c | 250 | 721 1270 6116 | 6050 250 26 | 0.552 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #65 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 229 Core Weight: 1 Total Weight: 65 0.04/0.06 c Current CPU time: 0.058991 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 793 1275 6270 | 5000 0 -nan | 0.000 % | 0.04/0.06 c | 101 | 793 1275 6270 | 5500 101 49 | 0.502 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #66 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 72 Core Weight: 1 Total Weight: 66 0.04/0.06 c Current CPU time: 0.06399 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 809 1284 6326 | 5000 0 -nan | 0.000 % | 0.04/0.07 c | 100 | 809 1284 6326 | 5500 100 31 | 0.492 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #67 0.04/0.07 c 0.04/0.07 c 0.04/0.07 c Core size: 103 Core Weight: 1 Total Weight: 67 0.04/0.07 c Current CPU time: 0.069989 s 0.04/0.07 c 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 835 1298 6410 | 5000 0 -nan | 0.000 % | 0.04/0.07 c | 102 | 835 1298 6410 | 5500 102 23 | 0.490 % | 0.04/0.08 c | 252 | 786 1298 6410 | 6050 252 28 | 12.873 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c core #68 0.04/0.08 c 0.04/0.08 c 0.04/0.08 c Core size: 153 Core Weight: 1 Total Weight: 68 0.04/0.08 c Current CPU time: 0.080987 s 0.04/0.08 c 0.04/0.08 c ============================[ Search Statistics ]============================== 0.04/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.08 c =============================================================================== 0.04/0.08 c | 0 | 783 1310 6509 | 5000 0 -nan | 0.000 % | 0.04/0.08 c | 102 | 745 1310 6509 | 5500 102 20 | 19.750 % | 0.04/0.09 c | 254 | 706 1310 6509 | 6050 254 23 | 20.216 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c core #69 0.04/0.09 c 0.04/0.09 c 0.04/0.09 c Core size: 160 Core Weight: 1 Total Weight: 69 0.04/0.09 c Current CPU time: 0.088986 s 0.04/0.09 c 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 736 1316 6579 | 5000 0 -nan | 0.000 % | 0.04/0.09 c | 100 | 736 1316 6579 | 5500 100 29 | 19.564 % | 0.09/0.10 c | 253 | 736 1316 6579 | 6050 253 33 | 19.563 % | 0.09/0.10 c | 478 | 736 1316 6579 | 6655 478 37 | 19.563 % | 0.09/0.11 c | 817 | 736 1316 6579 | 7320 817 39 | 19.563 % | 0.09/0.14 c | 1326 | 736 1316 6579 | 8052 1326 41 | 19.563 % | 0.09/0.18 c | 2086 | 736 1316 6579 | 8857 2086 42 | 19.563 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #70 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 151 Core Weight: 1 Total Weight: 70 0.19/0.22 c Current CPU time: 0.214967 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 761 1317 6629 | 5000 0 -nan | 0.000 % | 0.19/0.22 c | 104 | 761 1317 6629 | 5500 104 38 | 19.044 % | 0.19/0.22 c | 257 | 761 1317 6629 | 6050 257 44 | 19.043 % | 0.19/0.23 c | 482 | 758 1317 6629 | 6655 482 43 | 19.362 % | 0.19/0.24 c | 820 | 758 1317 6629 | 7320 820 47 | 19.362 % | 0.19/0.26 c | 1329 | 758 1317 6629 | 8052 1329 51 | 19.362 % | 0.29/0.31 c | 2088 | 758 1317 6629 | 8857 2088 53 | 19.362 % | 0.29/0.39 c | 3227 | 758 1317 6629 | 9743 3227 54 | 19.362 % | 0.49/0.56 c | 4938 | 748 1317 6629 | 10717 4938 55 | 20.426 % | 0.59/0.64 c =============================================================================== 0.59/0.66 c core #71 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 172 Core Weight: 1 Total Weight: 71 0.59/0.66 c Current CPU time: 0.6529 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 806 1318 6705 | 5000 0 -nan | 0.000 % | 0.59/0.66 c | 103 | 806 1318 6705 | 5500 103 39 | 17.588 % | 0.59/0.66 c | 254 | 806 1318 6705 | 6050 254 38 | 17.587 % | 0.59/0.67 c | 480 | 806 1318 6705 | 6655 480 53 | 17.587 % | 0.59/0.68 c | 817 | 806 1318 6705 | 7320 817 64 | 17.587 % | 0.69/0.72 c | 1323 | 806 1318 6705 | 8052 1323 78 | 17.587 % | 0.69/0.78 c | 2082 | 806 1318 6705 | 8857 2082 83 | 17.587 % | 0.89/0.91 c | 3221 | 806 1318 6705 | 9743 3221 88 | 17.587 % | 1.19/1.22 c | 4932 | 806 1318 6705 | 10717 4932 90 | 17.587 % | 1.79/1.86 c | 7495 | 806 1318 6705 | 11789 7495 92 | 17.587 % | 2.89/2.97 c | 11340 | 806 1318 6705 | 12968 11340 92 | 17.587 % | 4.41/4.48 c | 17106 | 806 1318 6705 | 14265 10482 82 | 17.587 % | 6.09/6.17 c | 25755 | 806 1318 6705 | 15692 11857 63 | 17.587 % | 9.19/9.24 c | 38729 | 806 1318 6705 | 17261 8849 68 | 17.587 % | 13.59/13.64 c | 58192 | 806 1318 6705 | 18987 10754 70 | 17.587 % | 15.41/15.42 c =============================================================================== 15.79/15.84 c core #72 15.79/15.84 c 15.79/15.84 c 15.79/15.84 c Core size: 185 Core Weight: 1 Total Weight: 72 15.79/15.84 c Current CPU time: 15.7636 s 15.79/15.84 c 15.79/15.84 c ============================[ Search Statistics ]============================== 15.79/15.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.84 c =============================================================================== 15.79/15.84 c | 0 | 851 1319 6795 | 5000 0 -nan | 0.000 % | 15.79/15.84 c | 101 | 851 1319 6795 | 5500 101 55 | 16.814 % | 15.79/15.84 c | 251 | 851 1319 6795 | 6050 251 48 | 16.813 % | 15.79/15.85 c | 478 | 851 1319 6795 | 6655 478 47 | 16.813 % | 15.79/15.86 c | 819 | 851 1319 6795 | 7320 819 59 | 16.813 % | 15.79/15.88 c | 1325 | 851 1319 6795 | 8052 1325 69 | 16.813 % | 15.89/15.92 c | 2085 | 849 1319 6795 | 8857 2085 69 | 17.009 % | 15.89/15.98 c | 3224 | 849 1319 6795 | 9743 3224 76 | 17.009 % | 16.09/16.10 c | 4932 | 849 1319 6795 | 10717 4932 81 | 17.009 % | 16.19/16.27 c | 7494 | 849 1319 6795 | 11789 7494 78 | 17.009 % | 16.70/16.71 c | 11339 | 849 1319 6795 | 12968 11339 76 | 17.009 % | 17.39/17.50 c | 17106 | 849 1319 6795 | 14265 10455 71 | 17.009 % | 18.90/18.95 c | 25757 | 846 1319 6795 | 15692 11804 71 | 17.302 % | 20.80/20.84 c | 38731 | 846 1319 6795 | 17261 8777 67 | 17.302 % | 24.49/24.53 c | 58194 | 846 1319 6795 | 18987 10706 72 | 17.302 % | 28.90/28.98 c =============================================================================== 29.50/29.54 c core #73 29.50/29.54 c 29.50/29.54 c 29.50/29.54 c Core size: 202 Core Weight: 1 Total Weight: 73 29.50/29.54 c Current CPU time: 29.3945 s 29.50/29.54 c 29.50/29.54 c ============================[ Search Statistics ]============================== 29.50/29.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.50/29.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.50/29.54 c =============================================================================== 29.50/29.54 c | 0 | 907 1320 6907 | 5000 0 -nan | 0.000 % | 29.50/29.54 c | 101 | 907 1320 6907 | 5500 101 62 | 15.942 % | 29.50/29.55 c | 252 | 907 1320 6907 | 6050 252 50 | 15.941 % | 29.50/29.55 c | 480 | 907 1320 6907 | 6655 480 63 | 15.941 % | 29.50/29.57 c | 820 | 907 1320 6907 | 7320 820 69 | 15.941 % | 29.50/29.59 c | 1327 | 907 1320 6907 | 8052 1327 80 | 15.941 % | 29.60/29.63 c | 2088 | 907 1320 6907 | 8857 2088 93 | 15.941 % | 29.71/29.73 c | 3227 | 907 1320 6907 | 9743 3227 105 | 15.941 % | 29.89/29.96 c | 4937 | 907 1320 6907 | 10717 4937 112 | 15.941 % | 30.39/30.48 c | 7500 | 907 1320 6907 | 11789 7500 118 | 15.941 % | 31.69/31.76 c | 11344 | 907 1320 6907 | 12968 11344 125 | 15.941 % | 33.59/33.65 c | 17115 | 907 1320 6907 | 14265 10469 136 | 15.941 % | 36.20/36.25 c | 25766 | 907 1320 6907 | 15692 11858 127 | 15.941 % | 40.19/40.27 c | 38741 | 907 1320 6907 | 17261 8778 123 | 15.941 % | 46.99/47.08 c | 58204 | 907 1320 6907 | 18987 10636 128 | 15.941 % | 53.80/53.91 c | 87397 | 907 1320 6907 | 20886 10789 119 | 15.941 % | 63.99/64.06 c | 131187 | 907 1320 6907 | 22974 12142 107 | 15.941 % | 86.99/87.02 c | 196872 | 907 1320 6907 | 25272 19571 130 | 15.941 % | 116.99/117.01 c | 295400 | 907 1320 6907 | 27799 14944 125 | 15.941 % | 164.50/164.54 c | 443191 | 907 1320 6907 | 30579 26550 130 | 15.941 % | 239.10/239.17 c | 664874 | 907 1320 6907 | 33637 20681 101 | 15.941 % | 273.91/273.96 c =============================================================================== 278.09/278.15 c core #74 278.09/278.15 c 278.09/278.15 c 278.09/278.15 c Core size: 235 Core Weight: 1 Total Weight: 74 278.09/278.15 c Current CPU time: 276.99 s 278.09/278.15 c 278.09/278.15 c ============================[ Search Statistics ]============================== 278.09/278.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 278.09/278.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 278.09/278.15 c =============================================================================== 278.09/278.15 c | 0 | 988 1323 7073 | 5000 0 -nan | 0.000 % | 278.09/278.16 c | 101 | 988 1323 7073 | 5500 101 67 | 14.828 % | 278.09/278.16 c | 252 | 988 1323 7073 | 6050 252 54 | 14.828 % | 278.09/278.17 c | 477 | 988 1323 7073 | 6655 477 68 | 14.828 % | 278.09/278.18 c | 816 | 988 1323 7073 | 7320 816 74 | 14.828 % | 278.09/278.19 c | 1324 | 988 1323 7073 | 8052 1324 80 | 14.828 % | 278.21/278.23 c | 2085 | 988 1323 7073 | 8857 2085 91 | 14.828 % | 278.32/278.32 c | 3226 | 988 1323 7073 | 9743 3226 104 | 14.828 % | 278.40/278.48 c | 4935 | 988 1323 7073 | 10717 4935 109 | 14.828 % | 278.79/278.85 c | 7498 | 988 1323 7073 | 11789 7498 118 | 14.828 % | 279.50/279.53 c | 11342 | 988 1323 7073 | 12968 11342 126 | 14.828 % | 280.51/280.58 c | 17109 | 988 1323 7073 | 14265 10449 129 | 14.828 % | 282.50/282.61 c | 25759 | 988 1323 7073 | 15692 11831 134 | 14.828 % | 286.90/286.96 c | 38734 | 988 1323 7073 | 17261 8740 133 | 14.828 % | 291.90/291.92 c | 58195 | 988 1323 7073 | 18987 10640 139 | 14.828 % | 296.50/296.57 c | 87388 | 988 1323 7073 | 20886 10904 109 | 14.828 % | 307.50/307.55 c | 131177 | 988 1323 7073 | 22974 12094 99 | 14.828 % | 321.30/321.38 c | 196861 | 988 1323 7073 | 25272 19453 93 | 14.828 % | 334.20/334.20 c =============================================================================== 334.80/334.84 c core #75 334.80/334.84 c 334.80/334.84 c 334.80/334.84 c Core size: 199 Core Weight: 1 Total Weight: 75 334.80/334.84 c Current CPU time: 333.803 s 334.80/334.84 c 334.80/334.84 c ============================[ Search Statistics ]============================== 334.80/334.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 334.80/334.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 334.80/334.84 c =============================================================================== 334.80/334.84 c | 0 | 1042 1324 7181 | 5000 0 -nan | 0.000 % | 334.80/334.84 c | 101 | 1042 1324 7181 | 5500 101 67 | 14.169 % | 334.80/334.85 c | 251 | 1042 1324 7181 | 6050 251 48 | 14.168 % | 334.80/334.85 c | 476 | 1042 1324 7181 | 6655 476 58 | 14.168 % | 334.80/334.87 c | 813 | 1042 1324 7181 | 7320 813 68 | 14.168 % | 334.80/334.89 c | 1321 | 1042 1324 7181 | 8052 1321 87 | 14.168 % | 334.90/334.94 c | 2080 | 1042 1324 7181 | 8857 2080 100 | 14.168 % | 335.00/335.04 c | 3219 | 1042 1324 7181 | 9743 3219 114 | 14.168 % | 335.20/335.27 c | 4927 | 1042 1324 7181 | 10717 4927 122 | 14.168 % | 335.69/335.75 c | 7492 | 1042 1324 7181 | 11789 7492 129 | 14.168 % | 336.90/336.97 c | 11336 | 1042 1324 7181 | 12968 11336 134 | 14.168 % | 338.50/338.59 c | 17102 | 1042 1324 7181 | 14265 10419 136 | 14.168 % | 341.60/341.69 c | 25753 | 1042 1324 7181 | 15692 11742 143 | 14.168 % | 346.00/346.02 c | 38728 | 1042 1324 7181 | 17261 8644 138 | 14.168 % | 352.50/352.59 c | 58191 | 1042 1324 7181 | 18987 10459 133 | 14.168 % | 366.60/366.60 c | 87383 | 1042 1324 7181 | 20886 10591 152 | 14.168 % | 382.60/382.69 c | 131172 | 1042 1324 7181 | 22974 11828 154 | 14.168 % | 399.40/399.42 c | 196856 | 1042 1324 7181 | 25272 19132 137 | 14.168 % | 436.30/436.31 c | 295382 | 1042 1324 7181 | 27799 12986 173 | 14.168 % | 488.00/488.01 c | 443172 | 1042 1324 7181 | 30579 22444 126 | 14.168 % | 568.73/568.78 c | 664855 | 1042 1324 7181 | 33637 26862 144 | 14.168 % | 693.03/693.09 c | 997380 | 1042 1324 7181 | 37001 18160 140 | 14.168 % | 885.82/885.86 c | 1496169 | 1042 1324 7181 | 40701 25475 164 | 14.168 % | 1222.22/1222.24 c | 2244351 | 1042 1324 7181 | 44771 19728 125 | 14.168 % | 1645.13/1645.12 c | 3366630 | 1042 1324 7181 | 49248 17127 150 | 14.168 % |
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-3461398-1307085198/watcher-3461398-1307085198 -o /tmp/evaluation-result-3461398-1307085198/solver-3461398-1307085198 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461398-1307085198.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.03 2.05 2.00 2/535 8903 /proc/meminfo: memFree=25291172/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=2104 CPUtime=0 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 345 0 0 0 0 0 0 0 25 0 1 0 800936112 2154496 287 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 526 287 175 372 0 151 0 [startup+0.0425131 s] /proc/loadavg: 2.03 2.05 2.00 2/535 8903 /proc/meminfo: memFree=25291172/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=2504 CPUtime=0.04 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 437 0 0 0 4 0 0 0 25 0 1 0 800936112 2564096 379 33554432000 4194304 5714214 140733303441424 18446744073709551615 4345899 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 626 379 179 372 0 251 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2504 [startup+0.100529 s] /proc/loadavg: 2.03 2.05 2.00 2/535 8903 /proc/meminfo: memFree=25291172/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=2876 CPUtime=0.09 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 510 0 0 0 9 0 0 0 25 0 1 0 800936112 2945024 452 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 719 452 180 372 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2876 [startup+0.300508 s] /proc/loadavg: 2.03 2.05 2.00 2/535 8903 /proc/meminfo: memFree=25291172/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=3820 CPUtime=0.29 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 765 0 0 0 29 0 0 0 25 0 1 0 800936112 3911680 707 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 955 707 180 372 0 580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3820 [startup+0.700422 s] /proc/loadavg: 2.03 2.05 2.00 2/535 8903 /proc/meminfo: memFree=25291172/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=5600 CPUtime=0.69 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 1215 0 0 0 69 0 0 0 25 0 1 0 800936112 5734400 1157 33554432000 4194304 5714214 140733303441424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 1400 1157 180 372 0 1025 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5600 [startup+1.50029 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8904 /proc/meminfo: memFree=25282360/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=6168 CPUtime=1.49 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 1332 0 0 0 149 0 0 0 25 0 1 0 800936112 6316032 1274 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 1542 1274 180 372 0 1167 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6168 [startup+3.10101 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8904 /proc/meminfo: memFree=25279164/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=9612 CPUtime=3.09 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 2212 0 0 0 308 1 0 0 25 0 1 0 800936112 9842688 2154 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 2403 2154 180 372 0 2028 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9612 [startup+6.30044 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8904 /proc/meminfo: memFree=25268880/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=12644 CPUtime=6.29 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 2941 0 0 0 627 2 0 0 25 0 1 0 800936112 12947456 2883 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 3161 2883 180 372 0 2786 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12644 [startup+12.7003 s] /proc/loadavg: 2.02 2.04 2.00 3/536 8904 /proc/meminfo: memFree=25256788/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=18380 CPUtime=12.7 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 4348 0 0 0 1266 4 0 0 25 0 1 0 800936112 18821120 4290 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 4595 4290 180 372 0 4220 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 18380 [startup+25.501 s] /proc/loadavg: 2.09 2.06 2.01 3/536 8905 /proc/meminfo: memFree=25241344/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=23752 CPUtime=25.49 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 5773 0 0 0 2540 9 0 0 25 0 1 0 800936112 24322048 5680 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 5938 5680 180 372 0 5563 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23752 [startup+51.1004 s] /proc/loadavg: 2.06 2.05 2.00 3/536 8905 /proc/meminfo: memFree=25229276/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=26820 CPUtime=51.09 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 6560 0 0 0 5092 17 0 0 25 0 1 0 800936112 27463680 6467 33554432000 4194304 5714214 140733303441424 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 6705 6467 180 372 0 6330 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 26820 [startup+102.319 s] /proc/loadavg: 2.09 2.07 2.01 3/536 8907 /proc/meminfo: memFree=25177520/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=56848 CPUtime=102.31 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 13893 0 0 0 10201 30 0 0 25 0 1 0 800936112 58212352 13800 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 14212 13800 180 372 0 13837 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 56848 [startup+162.301 s] /proc/loadavg: 2.06 2.07 2.01 3/536 8908 /proc/meminfo: memFree=25137180/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=94652 CPUtime=162.3 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 23084 0 0 0 16181 49 0 0 25 0 1 0 800936112 96923648 22991 33554432000 4194304 5714214 140733303441424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 23663 22991 180 372 0 23288 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 94652 [startup+222.301 s] /proc/loadavg: 2.02 2.05 2.00 3/536 8910 /proc/meminfo: memFree=25112688/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=120240 CPUtime=222.29 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 29404 0 0 0 22165 64 0 0 25 0 1 0 800936112 123125760 29311 33554432000 4194304 5714214 140733303441424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 30060 29311 180 372 0 29685 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 120240 [startup+282.301 s] /proc/loadavg: 2.01 2.04 2.00 3/536 8911 /proc/meminfo: memFree=25058964/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=152144 CPUtime=282.29 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 37532 0 0 0 28151 78 0 0 20 0 1 0 800936112 155795456 37262 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 38036 37262 180 372 0 37661 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 152144 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8913 /proc/meminfo: memFree=25031628/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=152144 CPUtime=342.3 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 37673 0 0 0 34134 96 0 0 25 0 1 0 800936112 155795456 37403 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 38036 37403 180 372 0 37661 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 152144 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8915 /proc/meminfo: memFree=25008632/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=152144 CPUtime=402.3 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 37686 0 0 0 40120 110 0 0 25 0 1 0 800936112 155795456 37416 33554432000 4194304 5714214 140733303441424 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 38036 37416 180 372 0 37661 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 152144 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8916 /proc/meminfo: memFree=24983800/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=152144 CPUtime=462.3 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 37797 0 0 0 46108 122 0 0 25 0 1 0 800936112 155795456 37527 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 38036 37527 180 372 0 37661 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 152144 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8918 /proc/meminfo: memFree=24954232/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=152144 CPUtime=522.31 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 37934 0 0 0 52096 135 0 0 25 0 1 0 800936112 155795456 37664 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 38036 37664 180 372 0 37661 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 152144 [startup+582.3 s] /proc/loadavg: 2.10 2.04 2.00 3/536 8919 /proc/meminfo: memFree=24934832/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=152144 CPUtime=582.3 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 37978 0 0 0 58079 151 0 0 25 0 1 0 800936112 155795456 37708 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 38036 37708 180 372 0 37661 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 152144 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.04 2.00 3/536 8929 /proc/meminfo: memFree=24751348/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=247268 CPUtime=822.31 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 61374 0 0 0 82024 207 0 0 25 0 1 0 800936112 253202432 61104 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 61817 61104 180 372 0 61442 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 247268 [startup+882.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8930 /proc/meminfo: memFree=24702456/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=272484 CPUtime=882.31 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 67584 0 0 0 88010 221 0 0 25 0 1 0 800936112 279023616 67314 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 68121 67314 180 372 0 67746 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 272484 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8932 /proc/meminfo: memFree=24660248/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=293476 CPUtime=942.32 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 72805 0 0 0 93999 233 0 0 25 0 1 0 800936112 300519424 72535 33554432000 4194304 5714214 140733303441424 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 73369 72535 180 372 0 72994 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 293476 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8934 /proc/meminfo: memFree=24620012/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=315108 CPUtime=1002.32 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 78153 0 0 0 99986 246 0 0 25 0 1 0 800936112 322670592 77883 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 78777 77883 180 372 0 78402 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 315108 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8935 /proc/meminfo: memFree=24571832/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=337524 CPUtime=1062.32 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 83754 0 0 0 105977 255 0 0 25 0 1 0 800936112 345624576 83484 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 84381 83484 180 372 0 84006 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 337524 [startup+1122.3 s] /proc/loadavg: 2.08 2.03 2.01 3/536 8937 /proc/meminfo: memFree=24539560/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=351964 CPUtime=1122.32 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 87317 0 0 0 111964 268 0 0 25 0 1 0 800936112 360411136 87047 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 87991 87047 180 372 0 87616 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 351964 [startup+1182.3 s] /proc/loadavg: 2.20 2.07 2.02 3/536 8938 /proc/meminfo: memFree=24403100/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=380232 CPUtime=1182.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 94231 0 0 0 117948 285 0 0 25 0 1 0 800936112 389357568 93961 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 95058 93961 180 372 0 94683 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 380232 [startup+1242.3 s] /proc/loadavg: 2.13 2.07 2.02 3/536 8940 /proc/meminfo: memFree=24373152/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=409864 CPUtime=1242.32 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 101578 0 0 0 123931 301 0 0 25 0 1 0 800936112 419700736 101308 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 102466 101308 180 372 0 102091 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 409864 [startup+1302.3 s] /proc/loadavg: 2.05 2.05 2.01 3/536 8942 /proc/meminfo: memFree=24346956/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=435316 CPUtime=1302.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 107807 0 0 0 129920 313 0 0 25 0 1 0 800936112 445763584 107537 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 108829 107537 180 372 0 108454 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 435316 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/536 8943 /proc/meminfo: memFree=24337364/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=447276 CPUtime=1362.32 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 111010 0 0 0 135908 324 0 0 25 0 1 0 800936112 458010624 110487 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 111819 110487 180 372 0 111444 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 447276 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8945 /proc/meminfo: memFree=24307300/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=477268 CPUtime=1422.34 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 118957 0 0 0 141893 341 0 0 25 0 1 0 800936112 488722432 117999 33554432000 4194304 5714214 140733303441424 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 119317 117999 180 372 0 118942 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 477268 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8946 /proc/meminfo: memFree=24297964/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=485716 CPUtime=1482.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 121078 0 0 0 147879 354 0 0 25 0 1 0 800936112 497373184 120120 33554432000 4194304 5714214 140733303441424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 121429 120120 180 372 0 121054 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 485716 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8948 /proc/meminfo: memFree=24265412/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=518324 CPUtime=1542.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 129217 0 0 0 153863 370 0 0 25 0 1 0 800936112 530763776 128259 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 129581 128259 180 372 0 129206 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 518324 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8950 /proc/meminfo: memFree=24245144/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=539168 CPUtime=1602.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 135230 0 0 0 159848 385 0 0 25 0 1 0 800936112 552108032 133490 33554432000 4194304 5714214 140733303441424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 134792 133490 180 372 0 134417 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 539168 [startup+1662.3 s] /proc/loadavg: 2.11 2.04 2.01 3/536 8951 /proc/meminfo: memFree=24207512/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=576376 CPUtime=1662.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 144477 0 0 0 165834 399 0 0 25 0 1 0 800936112 590209024 142737 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 144094 142737 180 372 0 143719 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 576376 [startup+1722.3 s] /proc/loadavg: 2.09 2.04 2.01 3/536 8953 /proc/meminfo: memFree=24196432/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=589432 CPUtime=1722.34 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 147717 0 0 0 171819 415 0 0 25 0 1 0 800936112 603578368 145977 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 147358 145977 180 372 0 146983 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 589432 [startup+1782.3 s] /proc/loadavg: 2.10 2.06 2.01 3/536 8954 /proc/meminfo: memFree=24158072/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=623068 CPUtime=1782.33 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 156101 0 0 0 177803 430 0 0 25 0 1 0 800936112 638021632 154361 33554432000 4194304 5714214 140733303441424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 155767 154361 180 372 0 155392 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 623068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.15 2.07 2.02 2/535 8956 /proc/meminfo: memFree=24662600/32951124 swapFree=46970528/67111528 [pid=8903] ppid=8901 vsize=626964 CPUtime=1800.04 cores=0,2,4,6 /proc/8903/stat : 8903 (wbo1.6) R 8901 8903 6615 0 -1 4202496 157063 0 0 0 179570 434 0 0 25 0 1 0 800936112 642011136 155323 33554432000 4194304 5714214 140733303441424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/8903/statm: 156741 155323 180 372 0 156366 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 626964 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.72 CPU system time (s): 4.37433 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 626964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.72 system time used= 4.37434 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157063 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= 16 involuntary context switches= 5641 runsolver used 9.8285 second user time and 21.2978 second system time The end
Begin job on node146 at 2011-06-03 09:13:18 IDJOB=3461398 IDBENCH=2102 IDSOLVER=1953 FILE ID=node146/3461398-1307085198 RUNJOBID= node146-1307081594-8636 PBS_JOBID= 13497840 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh301.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461398-1307085198/watcher-3461398-1307085198 -o /tmp/evaluation-result-3461398-1307085198/solver-3461398-1307085198 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461398-1307085198.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21989a3a2eabf31d3de5b03788f598a8 RANDOM SEED=1605919666 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25291452 kB Buffers: 83360 kB Cached: 201392 kB SwapCached: 60080 kB Active: 180416 kB Inactive: 7240100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25291452 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 8592 kB Writeback: 0 kB AnonPages: 7086564 kB Mapped: 17332 kB Slab: 72488 kB PageTables: 97320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160696852 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73724 MiB End job on node146 at 2011-06-03 09:43:21