Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb |
MD5SUM | e3831f007858c5fb2624c51cbae12da0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 100 |
Best CPU time to get the best result obtained on this benchmark | 0.002999 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 100 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 700 |
Number of constraints which are clauses | 699 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
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-3461382-1307083396.opb. 0.00/0.00 c Instance file HOME/instance-3461382-1307083396.opb 0.00/0.00 c File size is 21606 bytes. 0.00/0.00 c Highest Coefficient sum: 4 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: 700 | 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 700 1999 | 5000 0 -nan | 0.000 % | 0.00/0.01 c core #1 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #5 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #6 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #7 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #8 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #9 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #10 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #11 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #12 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #13 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #14 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #15 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #16 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #17 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #18 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #19 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #20 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #21 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #22 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #23 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #24 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #25 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #26 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #27 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #28 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #29 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #30 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #31 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #32 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #33 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #34 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #35 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #36 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #37 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #38 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #39 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #40 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #41 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #42 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #43 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.02 c Current CPU time: 0.012998 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: 4 Core Weight: 1 Total Weight: 44 0.00/0.02 c Current CPU time: 0.013997 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: 4 Core Weight: 1 Total Weight: 45 0.00/0.02 c Current CPU time: 0.013997 s 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: 4 Core Weight: 1 Total Weight: 46 0.00/0.02 c Current CPU time: 0.013997 s 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: 4 Core Weight: 1 Total Weight: 47 0.00/0.02 c Current CPU time: 0.014997 s 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: 4 Core Weight: 1 Total Weight: 48 0.00/0.02 c Current CPU time: 0.014997 s 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: 4 Core Weight: 1 Total Weight: 49 0.00/0.02 c Current CPU time: 0.014997 s 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: 4 Core Weight: 1 Total Weight: 50 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #51 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #52 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #53 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #54 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #55 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 55 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #56 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 56 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #57 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 16 Core Weight: 1 Total Weight: 57 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #58 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 58 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #59 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 25 Core Weight: 1 Total Weight: 59 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #60 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 16 Core Weight: 1 Total Weight: 60 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #61 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 61 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #62 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 28 Core Weight: 1 Total Weight: 62 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #63 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 20 Core Weight: 1 Total Weight: 63 0.00/0.02 c Current CPU time: 0.020996 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 | 402 963 2601 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #64 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 25 Core Weight: 1 Total Weight: 64 0.00/0.02 c Current CPU time: 0.020996 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 | 422 965 2646 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #65 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 58 Core Weight: 1 Total Weight: 65 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 | 470 966 2742 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #66 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 55 Core Weight: 1 Total Weight: 66 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 | 511 967 2824 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #67 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 40 Core Weight: 1 Total Weight: 67 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 | 534 971 2879 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #68 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 41 Core Weight: 1 Total Weight: 68 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 | 550 973 2913 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #69 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 36 Core Weight: 1 Total Weight: 69 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 | 576 976 2970 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #70 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 41 Core Weight: 1 Total Weight: 70 0.00/0.02 c Current CPU time: 0.026995 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 | 602 983 3035 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #71 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 24 Core Weight: 1 Total Weight: 71 0.00/0.02 c Current CPU time: 0.027995 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 615 990 3074 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #72 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 70 Core Weight: 1 Total Weight: 72 0.00/0.02 c Current CPU time: 0.028995 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 | 628 998 3118 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #73 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 24 Core Weight: 1 Total Weight: 73 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 621 1011 3146 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #74 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 78 Core Weight: 1 Total Weight: 74 0.00/0.03 c Current CPU time: 0.029995 s 0.00/0.03 c 0.00/0.03 c core #75 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 105 Core Weight: 1 Total Weight: 75 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 | 425 1015 3166 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #76 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 109 Core Weight: 1 Total Weight: 76 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 | 429 1016 3174 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #77 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 69 Core Weight: 1 Total Weight: 77 0.00/0.03 c Current CPU time: 0.031995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 434 1017 3184 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #78 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 83 Core Weight: 1 Total Weight: 78 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 | 438 1018 3192 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #79 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 73 Core Weight: 1 Total Weight: 79 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 | 444 1019 3204 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #80 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 112 Core Weight: 1 Total Weight: 80 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 | 460 1020 3230 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #81 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 133 Core Weight: 1 Total Weight: 81 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 | 477 1021 3264 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #82 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 84 Core Weight: 1 Total Weight: 82 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 | 481 1022 3272 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 100 | 481 1022 3272 | 5500 100 22 | 30.891 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #83 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 137 Core Weight: 1 Total Weight: 83 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 500 1023 3310 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 500 1023 3310 | 5500 100 30 | 30.070 % | 0.00/0.04 c | 251 | 500 1023 3310 | 6050 251 30 | 30.070 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #84 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 94 Core Weight: 1 Total Weight: 84 0.00/0.04 c Current CPU time: 0.044993 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 | 505 1024 3320 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 505 1024 3320 | 5500 100 30 | 29.861 % | 0.00/0.05 c | 251 | 505 1024 3320 | 6050 251 32 | 29.861 % | 0.00/0.05 c | 476 | 501 1024 3320 | 6655 476 35 | 30.417 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #85 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 139 Core Weight: 1 Total Weight: 85 0.00/0.06 c Current CPU time: 0.057991 s 0.00/0.06 c 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 526 1025 3362 | 5000 0 -nan | 0.000 % | 0.00/0.06 c | 100 | 526 1025 3362 | 5500 100 38 | 29.015 % | 0.00/0.06 c | 250 | 526 1025 3362 | 6050 250 38 | 29.015 % | 0.00/0.07 c | 476 | 526 1025 3362 | 6655 476 36 | 29.015 % | 0.00/0.07 c | 818 | 526 1025 3362 | 7320 818 39 | 29.015 % | 0.08/0.09 c | 1325 | 526 1025 3362 | 8052 1325 41 | 29.015 % | 0.09/0.13 c | 2085 | 526 1025 3362 | 8857 2085 43 | 29.015 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #86 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 138 Core Weight: 1 Total Weight: 86 0.09/0.19 c Current CPU time: 0.183972 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 545 1026 3400 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 545 1026 3400 | 5500 100 45 | 28.290 % | 0.09/0.19 c | 250 | 545 1026 3400 | 6050 250 49 | 28.290 % | 0.09/0.19 c | 475 | 541 1026 3400 | 6655 475 44 | 28.816 % | 0.19/0.20 c | 815 | 541 1026 3400 | 7320 815 46 | 29.342 % | 0.19/0.22 c | 1324 | 541 1026 3400 | 8052 1324 43 | 29.342 % | 0.19/0.28 c | 2084 | 537 1026 3400 | 8857 2084 44 | 29.342 % | 0.29/0.35 c | 3223 | 537 1026 3400 | 9743 3223 45 | 29.342 % | 0.49/0.52 c | 4931 | 537 1026 3400 | 10717 4931 48 | 29.342 % | 0.79/0.87 c | 7493 | 537 1026 3400 | 11789 7493 49 | 29.342 % | 1.49/1.54 c | 11337 | 518 1026 3400 | 12968 11337 50 | 31.842 % | 1.49/1.59 c =============================================================================== 1.59/1.63 c core #87 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 140 Core Weight: 1 Total Weight: 87 1.59/1.63 c Current CPU time: 1.61675 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 566 1027 3442 | 5000 0 -nan | 0.000 % | 1.59/1.64 c | 100 | 566 1027 3442 | 5500 100 54 | 27.529 % | 1.59/1.64 c | 252 | 566 1027 3442 | 6050 252 44 | 27.529 % | 1.59/1.64 c | 477 | 566 1027 3442 | 6655 477 53 | 27.529 % | 1.59/1.65 c | 817 | 566 1027 3442 | 7320 817 55 | 27.529 % | 1.59/1.67 c | 1324 | 566 1027 3442 | 8052 1324 63 | 27.529 % | 1.69/1.72 c | 2087 | 562 1027 3442 | 8857 2087 70 | 28.041 % | 1.79/1.83 c | 3230 | 562 1027 3442 | 9743 3230 73 | 28.553 % | 1.99/2.07 c | 4938 | 556 1027 3442 | 10717 4938 74 | 29.834 % | 2.29/2.39 c | 7501 | 555 1027 3442 | 11789 7501 67 | 30.346 % | 2.99/3.02 c | 11345 | 544 1027 3442 | 12968 11345 65 | 31.370 % | 3.99/4.09 c | 17113 | 544 1027 3442 | 14265 10482 56 | 31.370 % | 4.89/4.94 c =============================================================================== 4.99/5.05 c core #88 4.99/5.05 c 4.99/5.05 c 4.99/5.05 c Core size: 151 Core Weight: 1 Total Weight: 88 4.99/5.05 c Current CPU time: 5.01124 s 4.99/5.05 c 4.99/5.05 c ============================[ Search Statistics ]============================== 4.99/5.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.05 c =============================================================================== 4.99/5.05 c | 0 | 594 1028 3498 | 5000 0 -nan | 0.000 % | 4.99/5.05 c | 100 | 594 1028 3498 | 5500 100 61 | 26.576 % | 4.99/5.05 c | 250 | 594 1028 3498 | 6050 250 76 | 26.576 % | 4.99/5.06 c | 476 | 594 1028 3498 | 6655 476 85 | 26.576 % | 4.99/5.08 c | 818 | 594 1028 3498 | 7320 818 96 | 26.576 % | 5.09/5.11 c | 1325 | 594 1028 3498 | 8052 1325 97 | 26.576 % | 5.09/5.18 c | 2084 | 590 1028 3498 | 8857 2084 102 | 27.565 % | 5.29/5.32 c | 3223 | 590 1028 3498 | 9743 3223 102 | 27.936 % | 5.40/5.48 c | 4933 | 590 1028 3498 | 10717 4933 100 | 27.936 % | 5.69/5.73 c | 7497 | 572 1028 3498 | 11789 7497 93 | 29.296 % | 6.09/6.15 c | 11344 | 572 1028 3498 | 12968 11344 88 | 29.296 % | 7.09/7.13 c | 17111 | 572 1028 3498 | 14265 10428 69 | 29.790 % | 8.39/8.42 c | 25760 | 572 1028 3498 | 15692 11740 73 | 29.790 % | 10.90/10.93 c | 38735 | 567 1028 3498 | 17261 8681 80 | 29.914 % | 15.30/15.33 c | 58199 | 554 1028 3498 | 18987 10535 83 | 32.633 % | 22.99/23.11 c | 87392 | 553 1028 3498 | 20886 10792 91 | 34.364 % | 30.99/31.08 c =============================================================================== 31.09/31.13 c core #89 31.09/31.13 c 31.09/31.13 c 31.09/31.13 c Core size: 122 Core Weight: 1 Total Weight: 89 31.09/31.13 c Current CPU time: 30.9723 s 31.09/31.13 c 31.09/31.13 c ============================[ Search Statistics ]============================== 31.09/31.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.09/31.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.09/31.13 c =============================================================================== 31.09/31.13 c | 0 | 603 1029 3516 | 5000 0 -nan | 0.000 % | 31.09/31.13 c | 101 | 603 1029 3516 | 5500 101 44 | 26.284 % | 31.09/31.13 c | 251 | 603 1029 3516 | 6050 251 56 | 26.284 % | 31.09/31.14 c | 477 | 603 1029 3516 | 6655 477 65 | 26.284 % | 31.09/31.15 c | 816 | 603 1029 3516 | 7320 816 75 | 26.284 % | 31.09/31.18 c | 1324 | 603 1029 3516 | 8052 1324 85 | 26.284 % | 31.19/31.22 c | 2087 | 603 1029 3516 | 8857 2087 88 | 26.284 % | 31.29/31.30 c | 3228 | 603 1029 3516 | 9743 3228 85 | 26.284 % | 31.39/31.48 c | 4936 | 603 1029 3516 | 10717 4936 87 | 26.284 % | 31.91/31.92 c | 7500 | 603 1029 3516 | 11789 7500 89 | 26.284 % | 32.49/32.58 c | 11344 | 599 1029 3516 | 12968 11344 88 | 26.773 % | 33.99/34.08 c | 17113 | 599 1029 3516 | 14265 10474 87 | 27.751 % | 36.49/36.50 c | 25763 | 599 1029 3516 | 15692 11829 89 | 27.751 % | 39.99/40.07 c | 38737 | 589 1029 3516 | 17261 8802 83 | 28.973 % | 40.09/40.13 c =============================================================================== 40.09/40.14 c core #90 40.09/40.14 c 40.09/40.14 c 40.09/40.14 c Core size: 119 Core Weight: 1 Total Weight: 90 40.09/40.14 c Current CPU time: 39.9839 s 40.09/40.14 c 40.09/40.14 c ============================[ Search Statistics ]============================== 40.09/40.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.09/40.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.09/40.14 c =============================================================================== 40.09/40.14 c | 0 | 615 1030 3540 | 5000 0 -nan | 0.000 % | 40.09/40.14 c | 105 | 615 1030 3540 | 5500 105 43 | 25.904 % | 40.09/40.15 c | 256 | 611 1030 3540 | 6050 256 58 | 26.386 % | 40.09/40.16 c | 481 | 611 1030 3540 | 6655 481 79 | 26.386 % | 40.09/40.17 c | 818 | 611 1030 3540 | 7320 818 94 | 26.386 % | 40.18/40.20 c | 1325 | 608 1030 3540 | 8052 1325 96 | 26.747 % | 40.18/40.25 c | 2087 | 608 1030 3540 | 8857 2087 98 | 26.747 % | 40.29/40.36 c | 3231 | 608 1030 3540 | 9743 3231 102 | 26.747 % | 40.49/40.58 c | 4941 | 608 1030 3540 | 10717 4941 101 | 26.747 % | 40.99/41.05 c | 7503 | 608 1030 3540 | 11789 7503 98 | 26.747 % | 41.89/41.94 c | 11349 | 604 1030 3540 | 12968 11349 96 | 27.711 % | 42.79/42.82 c | 17118 | 603 1030 3540 | 14265 10446 85 | 28.675 % | 44.39/44.43 c | 25771 | 602 1030 3540 | 15692 11799 85 | 29.759 % | 46.79/46.89 c | 38746 | 602 1030 3540 | 17261 8735 79 | 29.759 % | 51.59/51.66 c | 58212 | 582 1030 3540 | 18987 10583 91 | 29.880 % | 58.49/58.50 c | 87404 | 578 1030 3540 | 20886 10776 92 | 30.362 % | 70.89/70.90 c | 131193 | 578 1030 3540 | 22974 12103 90 | 30.964 % | 87.69/87.75 c | 196878 | 569 1030 3540 | 25272 19514 88 | 31.566 % | 117.19/117.20 c | 295406 | 569 1030 3540 | 27799 14285 89 | 31.928 % | 156.60/156.64 c | 443197 | 564 1030 3540 | 30579 23804 85 | 32.530 % | 197.90/197.93 c =============================================================================== 198.09/198.17 c core #91 198.09/198.17 c 198.09/198.17 c 198.09/198.17 c Core size: 135 Core Weight: 1 Total Weight: 91 198.09/198.17 c Current CPU time: 197.294 s 198.09/198.17 c 198.09/198.17 c ============================[ Search Statistics ]============================== 198.09/198.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.09/198.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.09/198.17 c =============================================================================== 198.09/198.17 c | 0 | 627 1031 3564 | 5000 0 -nan | 0.000 % | 198.09/198.17 c | 100 | 627 1031 3564 | 5500 100 60 | 25.535 % | 198.09/198.17 c | 251 | 627 1031 3564 | 6050 251 53 | 25.535 % | 198.09/198.17 c | 477 | 627 1031 3564 | 6655 477 50 | 25.535 % | 198.09/198.18 c | 815 | 627 1031 3564 | 7320 815 55 | 25.535 % | 198.20/198.21 c | 1321 | 627 1031 3564 | 8052 1321 68 | 25.535 % | 198.20/198.26 c | 2080 | 622 1031 3564 | 8857 2080 79 | 26.485 % | 198.30/198.37 c | 3220 | 622 1031 3564 | 9743 3220 86 | 26.485 % | 198.70/198.71 c | 4930 | 622 1031 3564 | 10717 4930 92 | 26.485 % | 199.20/199.20 c | 7492 | 622 1031 3564 | 11789 7492 96 | 26.485 % | 200.29/200.37 c | 11336 | 619 1031 3564 | 12968 11336 97 | 26.841 % | 201.99/202.07 c | 17102 | 619 1031 3564 | 14265 10441 97 | 26.841 % | 203.99/204.08 c | 25751 | 617 1031 3564 | 15692 11780 89 | 26.960 % | 206.60/206.60 c | 38725 | 617 1031 3564 | 17261 8706 89 | 26.960 % | 210.59/210.67 c | 58187 | 615 1031 3564 | 18987 10569 94 | 27.910 % | 216.30/216.38 c | 87379 | 615 1031 3564 | 20886 10775 91 | 27.910 % | 228.70/228.77 c | 131170 | 607 1031 3564 | 22974 12106 90 | 28.266 % | 247.52/247.57 c | 196856 | 604 1031 3564 | 25272 19537 91 | 28.266 % | 283.20/283.23 c | 295382 | 603 1031 3564 | 27799 15224 90 | 28.385 % | 323.19/323.29 c | 443173 | 601 1031 3564 | 30579 25646 81 | 29.098 % | 397.50/397.59 c | 664858 | 588 1031 3564 | 33637 17624 82 | 30.166 % | 430.11/430.17 c =============================================================================== 436.00/436.04 c core #92 436.00/436.04 c 436.00/436.04 c 436.00/436.04 c Core size: 176 Core Weight: 1 Total Weight: 92 436.00/436.04 c Current CPU time: 434.385 s 436.00/436.04 c 436.00/436.04 c ============================[ Search Statistics ]============================== 436.00/436.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 436.00/436.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 436.00/436.04 c =============================================================================== 436.00/436.04 c | 0 | 662 1032 3634 | 5000 0 -nan | 0.000 % | 436.00/436.05 c | 102 | 662 1032 3634 | 5500 102 52 | 24.516 % | 436.00/436.05 c | 256 | 662 1032 3634 | 6050 256 62 | 24.516 % | 436.00/436.05 c | 481 | 662 1032 3634 | 6655 481 70 | 24.516 % | 436.00/436.07 c | 818 | 662 1032 3634 | 7320 818 86 | 24.516 % | 436.00/436.09 c | 1325 | 662 1032 3634 | 8052 1325 100 | 24.516 % | 436.10/436.15 c | 2084 | 658 1032 3634 | 8857 2084 108 | 24.972 % | 436.20/436.25 c | 3223 | 658 1032 3634 | 9743 3223 109 | 24.972 % | 436.40/436.46 c | 4931 | 658 1032 3634 | 10717 4931 112 | 24.972 % | 437.00/437.06 c | 7493 | 658 1032 3634 | 11789 7493 113 | 24.972 % | 438.20/438.21 c | 11339 | 658 1032 3634 | 12968 11339 114 | 24.972 % | 440.30/440.32 c | 17108 | 654 1032 3634 | 14265 10447 114 | 25.770 % | 442.60/442.63 c | 25764 | 654 1032 3634 | 15692 11806 118 | 25.770 % | 445.30/445.34 c | 38738 | 654 1032 3634 | 17261 8732 107 | 26.226 % | 445.60/445.63 c =============================================================================== 445.60/445.64 c core #93 445.60/445.64 c 445.60/445.64 c 445.60/445.64 c Core size: 125 Core Weight: 1 Total Weight: 93 445.60/445.64 c Current CPU time: 444.308 s 445.60/445.64 c 445.60/445.64 c ============================[ Search Statistics ]============================== 445.60/445.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 445.60/445.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 445.60/445.64 c =============================================================================== 445.60/445.64 c | 0 | 678 1033 3666 | 5000 0 -nan | 0.000 % | 445.60/445.64 c | 101 | 678 1033 3666 | 5500 101 67 | 24.076 % | 445.60/445.64 c | 252 | 678 1033 3666 | 6050 252 47 | 24.076 % | 445.60/445.65 c | 481 | 678 1033 3666 | 6655 481 56 | 24.076 % | 445.60/445.66 c | 821 | 675 1033 3666 | 7320 821 71 | 24.412 % | 445.60/445.69 c | 1327 | 675 1033 3666 | 8052 1327 84 | 24.412 % | 445.70/445.76 c | 2089 | 675 1033 3666 | 8857 2089 96 | 24.412 % | 445.80/445.85 c | 3228 | 675 1033 3666 | 9743 3228 101 | 24.412 % | 446.00/446.09 c | 4937 | 671 1033 3666 | 10717 4937 107 | 24.860 % | 446.40/446.48 c | 7499 | 671 1033 3666 | 11789 7499 110 | 24.860 % | 447.50/447.59 c | 11344 | 671 1033 3666 | 12968 11344 114 | 24.860 % | 449.60/449.62 c | 17113 | 671 1033 3666 | 14265 10468 118 | 24.860 % | 453.40/453.43 c | 25764 | 671 1033 3666 | 15692 11854 120 | 24.860 % | 457.00/457.08 c | 38741 | 667 1033 3666 | 17261 8783 112 | 25.308 % | 462.70/462.78 c | 58208 | 667 1033 3666 | 18987 10646 111 | 25.308 % | 469.20/469.21 c | 87402 | 667 1033 3666 | 20886 10793 106 | 25.756 % | 478.60/478.60 c | 131191 | 663 1033 3666 | 22974 12069 100 | 25.757 % | 495.60/495.61 c | 196892 | 663 1033 3666 | 25272 19469 99 | 25.756 % | 523.40/523.51 c | 295422 | 663 1033 3666 | 27799 14499 98 | 25.756 % | 564.10/564.13 c | 443211 | 663 1033 3666 | 30579 26647 104 | 25.756 % | 630.90/630.93 c | 664894 | 663 1033 3666 | 33637 21961 111 | 25.756 % | 739.91/739.91 c | 997426 | 659 1033 3666 | 37001 24219 105 | 26.540 % | 909.81/909.89 c | 1496216 | 656 1033 3666 | 40701 22910 109 | 26.540 % | 1242.53/1242.54 c | 2244402 | 656 1033 3666 | 44771 34465 76 | 26.540 % | 1331.04/1331.06 c =============================================================================== 1349.63/1349.69 c core #94 1349.63/1349.69 c 1349.63/1349.69 c 1349.63/1349.69 c Core size: 177 Core Weight: 1 Total Weight: 94 1349.63/1349.69 c Current CPU time: 1344.72 s 1349.63/1349.69 c 1349.63/1349.69 c ============================[ Search Statistics ]============================== 1349.63/1349.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1349.63/1349.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1349.63/1349.69 c =============================================================================== 1349.63/1349.69 c | 0 | 713 1034 3736 | 5000 0 -nan | 0.000 % | 1349.63/1349.70 c | 103 | 713 1034 3736 | 5500 103 81 | 23.168 % | 1349.63/1349.70 c | 253 | 709 1034 3736 | 6050 253 64 | 23.599 % | 1349.63/1349.71 c | 479 | 709 1034 3736 | 6655 479 69 | 23.599 % | 1349.74/1349.72 c | 816 | 709 1034 3736 | 7320 816 87 | 23.599 % | 1349.74/1349.75 c | 1328 | 709 1034 3736 | 8052 1328 98 | 23.599 % | 1349.82/1349.80 c | 2089 | 709 1034 3736 | 8857 2089 119 | 23.599 % | 1349.92/1349.91 c | 3228 | 706 1034 3736 | 9743 3228 128 | 23.923 % | 1350.23/1350.24 c | 4941 | 706 1034 3736 | 10717 4941 126 | 23.923 % | 1350.53/1350.55 c | 7503 | 706 1034 3736 | 11789 7503 130 | 23.923 % | 1351.72/1351.73 c | 11349 | 706 1034 3736 | 12968 11349 136 | 23.923 % | 1353.05/1353.09 c | 17115 | 705 1034 3736 | 14265 10468 132 | 24.354 % | 1356.23/1356.24 c | 25766 | 702 1034 3736 | 15692 11804 137 | 24.785 % | 1361.03/1361.02 c | 38744 | 702 1034 3736 | 17261 8787 143 | 24.785 % | 1363.52/1363.59 c | 58205 | 700 1034 3736 | 18987 10630 86 | 25.216 % | 1369.33/1369.36 c | 87398 | 700 1034 3736 | 20886 10597 89 | 25.216 % | 1376.92/1376.94 c | 131188 | 693 1034 3736 | 22974 11911 75 | 25.323 % | 1377.63/1377.69 c =============================================================================== 1378.13/1378.17 c core #95 1378.13/1378.17 c 1378.13/1378.17 c 1378.13/1378.17 c Core size: 181 Core Weight: 1 Total Weight: 95 1378.13/1378.17 c Current CPU time: 1374.27 s 1378.13/1378.17 c 1378.13/1378.17 c ============================[ Search Statistics ]============================== 1378.13/1378.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1378.13/1378.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1378.13/1378.17 c =============================================================================== 1378.13/1378.17 c | 0 | 751 1035 3812 | 5000 0 -nan | 0.000 % | 1378.13/1378.17 c | 101 | 751 1035 3812 | 5500 101 77 | 22.257 % | 1378.13/1378.17 c | 252 | 751 1035 3812 | 6050 252 61 | 22.257 % | 1378.13/1378.17 c | 477 | 751 1035 3812 | 6655 477 48 | 22.257 % | 1378.13/1378.19 c | 817 | 751 1035 3812 | 7320 817 78 | 22.257 % | 1378.13/1378.20 c | 1324 | 751 1035 3812 | 8052 1324 84 | 22.257 % | 1378.23/1378.23 c | 2084 | 751 1035 3812 | 8857 2084 92 | 22.257 % | 1378.23/1378.28 c | 3224 | 751 1035 3812 | 9743 3224 88 | 22.257 % | 1378.42/1378.41 c | 4932 | 747 1035 3812 | 10717 4932 106 | 23.085 % | 1378.72/1378.71 c | 7495 | 747 1035 3812 | 11789 7495 134 | 23.396 % | 1379.13/1379.16 c | 11342 | 747 1035 3812 | 12968 11342 142 | 23.396 % | 1380.23/1380.24 c | 17110 | 747 1035 3812 | 14265 10428 155 | 23.396 % | 1382.52/1382.60 c | 25760 | 740 1035 3812 | 15692 11731 170 | 23.810 % | 1385.83/1385.82 c | 38734 | 740 1035 3812 | 17261 8573 154 | 23.810 % | 1389.35/1389.36 c | 58198 | 740 1035 3812 | 18987 10318 134 | 23.810 % | 1395.43/1395.47 c | 87391 | 740 1035 3812 | 20886 10284 136 | 23.810 % | 1408.23/1408.21 c | 131181 | 734 1035 3812 | 22974 11464 165 | 24.534 % | 1424.82/1424.84 c | 196872 | 733 1035 3812 | 25272 18678 135 | 24.534 % | 1454.13/1454.18 c | 295399 | 729 1035 3812 | 27799 13023 133 | 24.534 % | 1519.73/1519.71 c =============================================================================== 1519.83/1519.87 c core #96 1519.83/1519.87 c 1519.83/1519.87 c 1519.83/1519.87 c Core size: 134 Core Weight: 1 Total Weight: 96 1519.83/1519.87 c Current CPU time: 1515.5 s 1519.83/1519.87 c 1519.83/1519.87 c ============================[ Search Statistics ]============================== 1519.83/1519.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1519.83/1519.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1519.83/1519.87 c =============================================================================== 1519.83/1519.87 c | 0 | 763 1036 3836 | 5000 0 -nan | 0.000 % | 1519.83/1519.87 c | 101 | 759 1036 3836 | 5500 101 44 | 22.393 % | 1519.83/1519.88 c | 251 | 759 1036 3836 | 6050 251 51 | 22.393 % | 1519.83/1519.88 c | 476 | 755 1036 3836 | 6655 476 56 | 22.802 % | 1519.83/1519.89 c | 819 | 755 1036 3836 | 7320 819 71 | 22.802 % | 1519.93/1519.91 c | 1325 | 755 1036 3836 | 8052 1325 69 | 22.802 % | 1519.93/1519.94 c | 2084 | 755 1036 3836 | 8857 2084 81 | 22.802 % | 1519.93/1519.97 c | 3225 | 755 1036 3836 | 9743 3225 68 | 22.802 % | 1520.03/1520.11 c | 4934 | 755 1036 3836 | 10717 4934 87 | 22.802 % | 1520.33/1520.32 c | 7497 | 755 1036 3836 | 11789 7497 104 | 22.802 % | 1520.93/1520.94 c | 11343 | 751 1036 3836 | 12968 11343 113 | 23.517 % | 1521.93/1521.95 c | 17109 | 751 1036 3836 | 14265 10397 149 | 23.517 % | 1523.55/1523.57 c | 25758 | 751 1036 3836 | 15692 11718 165 | 23.517 % | 1526.73/1526.74 c | 38732 | 751 1036 3836 | 17261 8589 156 | 23.517 % | 1531.72/1531.73 c | 58193 | 751 1036 3836 | 18987 10373 167 | 23.517 % | 1540.53/1540.58 c | 87386 | 748 1036 3836 | 20886 10557 176 | 23.517 % | 1554.43/1554.45 c | 131177 | 748 1036 3836 | 22974 11780 169 | 23.517 % | 1579.03/1579.08 c | 196862 | 748 1036 3836 | 25272 19104 173 | 23.517 % | 1615.34/1615.33 c | 295388 | 748 1036 3836 | 27799 25769 134 | 23.517 % | 1654.93/1654.94 c | 443180 | 748 1036 3836 | 30579 25348 143 | 23.517 % | 1738.33/1738.32 c | 664867 | 748 1036 3836 | 33637 28701 163 | 23.517 % |
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-3461382-1307083396/watcher-3461382-1307083396 -o /tmp/evaluation-result-3461382-1307083396/solver-3461382-1307083396 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461382-1307083396.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.87 2.01 2.00 3/535 8790 /proc/meminfo: memFree=25292368/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=2108 CPUtime=0 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 800755897 2158592 283 33554432000 4194304 5714214 140736603592288 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 527 283 175 372 0 152 0 [startup+0.0901559 s] /proc/loadavg: 1.87 2.01 2.00 3/535 8790 /proc/meminfo: memFree=25292368/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=2768 CPUtime=0.08 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 500 0 0 0 8 0 0 0 18 0 1 0 800755897 2834432 447 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 692 447 180 372 0 317 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2768 [startup+0.101162 s] /proc/loadavg: 1.87 2.01 2.00 3/535 8790 /proc/meminfo: memFree=25292368/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=2900 CPUtime=0.09 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 522 0 0 0 9 0 0 0 18 0 1 0 800755897 2969600 469 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 725 469 180 372 0 350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2900 [startup+0.301119 s] /proc/loadavg: 1.87 2.01 2.00 3/535 8790 /proc/meminfo: memFree=25292368/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=3836 CPUtime=0.29 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 768 0 0 0 29 0 0 0 18 0 1 0 800755897 3928064 715 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 959 715 180 372 0 584 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3836 [startup+0.701048 s] /proc/loadavg: 1.87 2.01 2.00 3/535 8790 /proc/meminfo: memFree=25292368/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=5040 CPUtime=0.69 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 1073 0 0 0 68 1 0 0 18 0 1 0 800755897 5160960 1020 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 1260 1020 180 372 0 885 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5040 [startup+1.5009 s] /proc/loadavg: 1.87 2.01 2.00 3/536 8791 /proc/meminfo: memFree=25281944/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=7524 CPUtime=1.49 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 1675 0 0 0 148 1 0 0 20 0 1 0 800755897 7704576 1622 33554432000 4194304 5714214 140736603592288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 1881 1622 180 372 0 1506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7524 [startup+3.10059 s] /proc/loadavg: 1.87 2.01 2.00 3/536 8791 /proc/meminfo: memFree=25274628/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=8684 CPUtime=3.09 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 1966 0 0 0 307 2 0 0 25 0 1 0 800755897 8892416 1913 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 2171 1913 180 372 0 1796 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8684 [startup+6.30106 s] /proc/loadavg: 1.88 2.01 2.00 3/536 8791 /proc/meminfo: memFree=25269056/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=10672 CPUtime=6.29 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 2511 0 0 0 625 4 0 0 25 0 1 0 800755897 10928128 2429 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 2668 2429 180 372 0 2293 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10672 [startup+12.7009 s] /proc/loadavg: 1.89 2.01 2.00 3/536 8791 /proc/meminfo: memFree=25251108/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=17516 CPUtime=12.69 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 4177 0 0 0 1262 7 0 0 25 0 1 0 800755897 17936384 4095 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 4379 4095 180 372 0 4004 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17516 [startup+25.5006 s] /proc/loadavg: 1.99 2.02 2.00 3/536 8791 /proc/meminfo: memFree=25227148/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=27092 CPUtime=25.49 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 6518 0 0 0 2539 10 0 0 25 0 1 0 800755897 27742208 6436 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 6773 6436 180 372 0 6398 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27092 [startup+51.101 s] /proc/loadavg: 1.99 2.02 2.00 3/536 8792 /proc/meminfo: memFree=25216792/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=30308 CPUtime=51.09 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 7390 0 0 0 5091 18 0 0 25 0 1 0 800755897 31035392 7266 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 7577 7266 180 372 0 7202 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 30308 [startup+102.32 s] /proc/loadavg: 1.99 2.02 2.00 3/536 8794 /proc/meminfo: memFree=25152656/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=52996 CPUtime=102.31 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 12902 0 0 0 10199 32 0 0 25 0 1 0 800755897 54267904 12778 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 13249 12778 180 372 0 12874 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 52996 [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.00 3/536 8795 /proc/meminfo: memFree=25077968/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=85296 CPUtime=162.29 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 20801 0 0 0 16176 53 0 0 25 0 1 0 800755897 87343104 20677 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 21324 20677 180 372 0 20949 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 85296 [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.00 3/536 8797 /proc/meminfo: memFree=25015764/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=100504 CPUtime=222.3 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 24968 0 0 0 22157 73 0 0 25 0 1 0 800755897 102916096 24521 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 25126 24521 180 372 0 24751 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 100504 [startup+282.301 s] /proc/loadavg: 1.99 2.00 2.00 3/536 8798 /proc/meminfo: memFree=24974304/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=100504 CPUtime=282.29 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 25123 0 0 0 28142 87 0 0 25 0 1 0 800755897 102916096 24676 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 25126 24676 180 372 0 24751 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 100504 [startup+342.301 s] /proc/loadavg: 1.99 2.00 2.00 3/536 8800 /proc/meminfo: memFree=24939388/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=100504 CPUtime=342.29 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 25241 0 0 0 34125 104 0 0 25 0 1 0 800755897 102916096 24794 33554432000 4194304 5714214 140736603592288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 25126 24794 180 372 0 24751 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 100504 [startup+402.3 s] /proc/loadavg: 2.12 2.03 2.01 3/536 8801 /proc/meminfo: memFree=24891972/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=113640 CPUtime=402.3 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 28492 0 0 0 40109 121 0 0 25 0 1 0 800755897 116367360 28045 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 28410 28045 180 372 0 28035 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 113640 [startup+462.301 s] /proc/loadavg: 2.10 2.04 2.01 3/536 8803 /proc/meminfo: memFree=24815524/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=155520 CPUtime=462.3 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 38919 0 0 0 46092 138 0 0 25 0 1 0 800755897 159252480 38472 33554432000 4194304 5714214 140736603592288 18446744073709551615 4198963 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 38880 38472 180 372 0 38505 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 155520 [startup+522.301 s] /proc/loadavg: 2.04 2.03 2.00 3/536 8805 /proc/meminfo: memFree=24791672/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=155520 CPUtime=522.3 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 39003 0 0 0 52072 158 0 0 25 0 1 0 800755897 159252480 38556 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 38880 38556 180 372 0 38505 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 155520 [startup+582.301 s] /proc/loadavg: 2.08 2.05 2.01 3/536 8806 /proc/meminfo: memFree=24762340/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=155520 CPUtime=582.31 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 39073 0 0 0 58054 177 0 0 25 0 1 0 800755897 159252480 38626 33554432000 4194304 5714214 140736603592288 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 38880 38626 180 372 0 38505 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 155520 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8813 /proc/meminfo: memFree=24637244/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=203460 CPUtime=822.31 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 50918 0 0 0 81984 247 0 0 25 0 1 0 800755897 208343040 50471 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 50865 50471 180 372 0 50490 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 203460 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8814 /proc/meminfo: memFree=24609804/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=230184 CPUtime=882.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 57513 0 0 0 87966 266 0 0 25 0 1 0 800755897 235708416 57066 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 57546 57066 180 372 0 57171 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 230184 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8816 /proc/meminfo: memFree=24589756/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=250772 CPUtime=942.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 62579 0 0 0 93952 280 0 0 25 0 1 0 800755897 256790528 62132 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 62693 62132 180 372 0 62318 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 250772 [startup+1002.3 s] /proc/loadavg: 2.14 2.05 2.01 3/536 8818 /proc/meminfo: memFree=24572228/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=268588 CPUtime=1002.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 66969 0 0 0 99940 292 0 0 25 0 1 0 800755897 275034112 66522 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 67147 66522 180 372 0 66772 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 268588 [startup+1062.3 s] /proc/loadavg: 2.05 2.04 2.00 3/536 8819 /proc/meminfo: memFree=24556164/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=283556 CPUtime=1062.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 70624 0 0 0 105928 304 0 0 25 0 1 0 800755897 290361344 70177 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 70889 70177 180 372 0 70514 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 283556 [startup+1122.3 s] /proc/loadavg: 2.11 2.06 2.01 3/536 8830 /proc/meminfo: memFree=24540412/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=298580 CPUtime=1122.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 74339 0 0 0 111914 318 0 0 25 0 1 0 800755897 305745920 73892 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 74645 73892 180 372 0 74270 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 298580 [startup+1182.3 s] /proc/loadavg: 2.08 2.06 2.01 3/536 8831 /proc/meminfo: memFree=24522764/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=314572 CPUtime=1182.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 78273 0 0 0 117901 331 0 0 25 0 1 0 800755897 322121728 77826 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 78643 77826 180 372 0 78268 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 314572 [startup+1242.3 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8833 /proc/meminfo: memFree=24501516/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=334480 CPUtime=1242.32 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 83155 0 0 0 123884 348 0 0 25 0 1 0 800755897 342507520 82708 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 83620 82708 180 372 0 83245 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 334480 [startup+1302.3 s] /proc/loadavg: 2.01 2.04 2.00 3/536 8835 /proc/meminfo: memFree=24473056/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=362772 CPUtime=1302.33 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 90217 0 0 0 129869 364 0 0 25 0 1 0 800755897 371478528 89770 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 90693 89770 180 372 0 90318 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 362772 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8836 /proc/meminfo: memFree=24369564/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1362.33 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 135853 380 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 466076 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8838 /proc/meminfo: memFree=24370000/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1422.35 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 141830 405 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 466076 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8839 /proc/meminfo: memFree=24369088/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1482.33 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 147813 420 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 466076 [startup+1542.3 s] /proc/loadavg: 2.09 2.04 2.01 3/536 8841 /proc/meminfo: memFree=24369136/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1542.33 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 153800 433 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 466076 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.01 3/536 8842 /proc/meminfo: memFree=24362896/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1602.33 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 159785 448 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 466076 [startup+1662.3 s] /proc/loadavg: 2.16 2.06 2.01 3/536 8844 /proc/meminfo: memFree=24333332/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1662.33 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 165767 466 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 466076 [startup+1722.3 s] /proc/loadavg: 2.12 2.07 2.01 3/536 8846 /proc/meminfo: memFree=24310972/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1722.34 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 171750 484 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 466076 [startup+1782.3 s] /proc/loadavg: 2.04 2.05 2.01 3/536 8847 /proc/meminfo: memFree=24287600/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1782.34 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 177737 497 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 466076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.05 2.00 2/534 8849 /proc/meminfo: memFree=24823036/32951124 swapFree=46970528/67111528 [pid=8790] ppid=8788 vsize=466076 CPUtime=1800.04 cores=0,2,4,6 /proc/8790/stat : 8790 (wbo1.6) R 8788 8790 6615 0 -1 4202496 116101 0 0 0 179503 501 0 0 25 0 1 0 800755897 477261824 115565 33554432000 4194304 5714214 140736603592288 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/8790/statm: 116519 115565 180 372 0 116144 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 466076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.08 CPU user time (s): 1795.05 CPU system time (s): 5.03723 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 466560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.05 system time used= 5.03723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116101 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= 15 involuntary context switches= 2612 runsolver used 9.96248 second user time and 21.1688 second system time The end
Begin job on node146 at 2011-06-03 08:43:16 IDJOB=3461382 IDBENCH=2070 IDSOLVER=1953 FILE ID=node146/3461382-1307083396 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-aim-100-6_0-yes1-2.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461382-1307083396/watcher-3461382-1307083396 -o /tmp/evaluation-result-3461382-1307083396/solver-3461382-1307083396 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461382-1307083396.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3831f007858c5fb2624c51cbae12da0 RANDOM SEED=1521901409 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: 25292524 kB Buffers: 81612 kB Cached: 201384 kB SwapCached: 60080 kB Active: 180688 kB Inactive: 7238768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25292524 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 8596 kB Writeback: 0 kB AnonPages: 7087760 kB Mapped: 17132 kB Slab: 72512 kB PageTables: 97612 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160697024 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= 73720 MiB End job on node146 at 2011-06-03 09:13:18