Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb |
MD5SUM | f69ecb5497caa964fbd82b9dc6698ac3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 90 |
Best CPU time to get the best result obtained on this benchmark | 0.31995 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 90 |
Optimality of the best value was proved | YES |
Number of variables | 652 |
Total number of constraints | 759 |
Number of constraints which are clauses | 759 |
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 | 46 |
Number of terms in the objective function | 652 |
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 | 652 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 652 |
Number of bits of the biggest sum of numbers | 10 |
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-3461525-1307103223.opb. 0.00/0.00 c Instance file HOME/instance-3461525-1307103223.opb 0.00/0.00 c File size is 82250 bytes. 0.00/0.00 c Highest Coefficient sum: 47 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: 652 | 0.00/0.00 c | Number Clauses: 759 | 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 | 652 759 9241 | 5000 0 -nan | 0.000 % | 0.03/0.04 c core #1 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 1 0.03/0.04 c Current CPU time: 0.005999 s 0.03/0.04 c 0.03/0.04 c core #2 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 21 Core Weight: 1 Total Weight: 2 0.03/0.04 c Current CPU time: 0.005999 s 0.03/0.04 c 0.03/0.04 c core #3 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 16 Core Weight: 1 Total Weight: 3 0.03/0.04 c Current CPU time: 0.006998 s 0.03/0.04 c 0.03/0.04 c core #4 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 4 0.03/0.04 c Current CPU time: 0.007998 s 0.03/0.04 c 0.03/0.04 c core #5 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 7 Core Weight: 1 Total Weight: 5 0.03/0.04 c Current CPU time: 0.008998 s 0.03/0.04 c 0.03/0.04 c core #6 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 7 Core Weight: 1 Total Weight: 6 0.03/0.04 c Current CPU time: 0.008998 s 0.03/0.04 c 0.03/0.04 c core #7 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 10 Core Weight: 1 Total Weight: 7 0.03/0.04 c Current CPU time: 0.009998 s 0.03/0.04 c 0.03/0.04 c core #8 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 5 Core Weight: 1 Total Weight: 8 0.03/0.04 c Current CPU time: 0.010998 s 0.03/0.04 c 0.03/0.04 c core #9 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 9 0.03/0.04 c Current CPU time: 0.011998 s 0.03/0.04 c 0.03/0.04 c core #10 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 26 Core Weight: 1 Total Weight: 10 0.03/0.04 c Current CPU time: 0.011998 s 0.03/0.04 c 0.03/0.04 c core #11 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 11 Core Weight: 1 Total Weight: 11 0.03/0.04 c Current CPU time: 0.012998 s 0.03/0.04 c 0.03/0.04 c core #12 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 12 0.03/0.04 c Current CPU time: 0.013997 s 0.03/0.04 c 0.03/0.04 c core #13 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 13 0.03/0.04 c Current CPU time: 0.014997 s 0.03/0.04 c 0.03/0.04 c core #14 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 14 0.03/0.04 c Current CPU time: 0.015997 s 0.03/0.04 c 0.03/0.04 c core #15 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 15 0.03/0.04 c Current CPU time: 0.015997 s 0.03/0.04 c 0.03/0.04 c core #16 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 16 0.03/0.04 c Current CPU time: 0.016997 s 0.03/0.04 c 0.03/0.04 c core #17 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 17 0.03/0.04 c Current CPU time: 0.017997 s 0.03/0.04 c 0.03/0.04 c core #18 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 18 0.03/0.04 c Current CPU time: 0.018997 s 0.03/0.04 c 0.03/0.04 c core #19 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 19 0.03/0.04 c Current CPU time: 0.019996 s 0.03/0.04 c 0.03/0.04 c core #20 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 9 Core Weight: 1 Total Weight: 20 0.03/0.04 c Current CPU time: 0.019996 s 0.03/0.04 c 0.03/0.04 c core #21 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 5 Core Weight: 1 Total Weight: 21 0.03/0.04 c Current CPU time: 0.019996 s 0.03/0.04 c 0.03/0.04 c core #22 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 26 Core Weight: 1 Total Weight: 22 0.03/0.04 c Current CPU time: 0.020996 s 0.03/0.04 c 0.03/0.04 c core #23 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 23 0.03/0.04 c Current CPU time: 0.021996 s 0.03/0.04 c 0.03/0.04 c core #24 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 10 Core Weight: 1 Total Weight: 24 0.03/0.04 c Current CPU time: 0.022996 s 0.03/0.04 c 0.03/0.04 c core #25 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 7 Core Weight: 1 Total Weight: 25 0.03/0.04 c Current CPU time: 0.023996 s 0.03/0.04 c 0.03/0.04 c core #26 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 26 0.03/0.04 c Current CPU time: 0.024996 s 0.03/0.04 c 0.03/0.04 c core #27 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 12 Core Weight: 1 Total Weight: 27 0.03/0.04 c Current CPU time: 0.024996 s 0.03/0.04 c 0.03/0.04 c core #28 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 6 Core Weight: 1 Total Weight: 28 0.03/0.04 c Current CPU time: 0.025996 s 0.03/0.04 c 0.03/0.04 c core #29 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 29 0.03/0.04 c Current CPU time: 0.026995 s 0.03/0.04 c 0.03/0.04 c core #30 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 3 Core Weight: 1 Total Weight: 30 0.03/0.04 c Current CPU time: 0.027995 s 0.03/0.04 c 0.03/0.04 c core #31 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 5 Core Weight: 1 Total Weight: 31 0.03/0.04 c Current CPU time: 0.028995 s 0.03/0.04 c 0.03/0.04 c core #32 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 9 Core Weight: 1 Total Weight: 32 0.03/0.04 c Current CPU time: 0.029995 s 0.03/0.04 c 0.03/0.04 c core #33 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 9 Core Weight: 1 Total Weight: 33 0.03/0.04 c Current CPU time: 0.030995 s 0.03/0.04 c 0.03/0.04 c core #34 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 14 Core Weight: 1 Total Weight: 34 0.03/0.04 c Current CPU time: 0.031995 s 0.03/0.04 c 0.03/0.04 c core #35 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 11 Core Weight: 1 Total Weight: 35 0.03/0.04 c Current CPU time: 0.031995 s 0.03/0.04 c 0.03/0.04 c core #36 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 12 Core Weight: 1 Total Weight: 36 0.03/0.04 c Current CPU time: 0.032994 s 0.03/0.04 c 0.03/0.04 c core #37 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 11 Core Weight: 1 Total Weight: 37 0.03/0.04 c Current CPU time: 0.033994 s 0.03/0.04 c 0.03/0.04 c core #38 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 8 Core Weight: 1 Total Weight: 38 0.03/0.04 c Current CPU time: 0.034994 s 0.03/0.04 c 0.03/0.04 c core #39 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 39 0.03/0.04 c Current CPU time: 0.035994 s 0.03/0.04 c 0.03/0.04 c core #40 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 9 Core Weight: 1 Total Weight: 40 0.03/0.04 c Current CPU time: 0.036994 s 0.03/0.04 c 0.03/0.04 c core #41 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 13 Core Weight: 1 Total Weight: 41 0.03/0.04 c Current CPU time: 0.037994 s 0.03/0.04 c 0.03/0.04 c core #42 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 7 Core Weight: 1 Total Weight: 42 0.03/0.04 c Current CPU time: 0.038994 s 0.03/0.04 c 0.03/0.04 c core #43 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 12 Core Weight: 1 Total Weight: 43 0.03/0.07 c Current CPU time: 0.039993 s 0.03/0.07 c 0.03/0.07 c core #44 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 44 0.03/0.07 c Current CPU time: 0.040993 s 0.03/0.07 c 0.03/0.07 c core #45 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 6 Core Weight: 1 Total Weight: 45 0.03/0.07 c Current CPU time: 0.041993 s 0.03/0.07 c 0.03/0.07 c core #46 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 9 Core Weight: 1 Total Weight: 46 0.03/0.07 c Current CPU time: 0.042993 s 0.03/0.07 c 0.03/0.07 c core #47 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 6 Core Weight: 1 Total Weight: 47 0.03/0.07 c Current CPU time: 0.043993 s 0.03/0.07 c 0.03/0.07 c core #48 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 6 Core Weight: 1 Total Weight: 48 0.03/0.07 c Current CPU time: 0.044993 s 0.03/0.07 c 0.03/0.07 c core #49 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 49 0.03/0.07 c Current CPU time: 0.045993 s 0.03/0.07 c 0.03/0.07 c core #50 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 50 0.03/0.07 c Current CPU time: 0.046992 s 0.03/0.07 c 0.03/0.07 c core #51 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 51 0.03/0.07 c Current CPU time: 0.047992 s 0.03/0.07 c 0.03/0.07 c core #52 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 52 0.03/0.07 c Current CPU time: 0.048992 s 0.03/0.07 c 0.03/0.07 c core #53 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 53 0.03/0.07 c Current CPU time: 0.049992 s 0.03/0.07 c 0.03/0.07 c core #54 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 5 Core Weight: 1 Total Weight: 54 0.03/0.07 c Current CPU time: 0.050992 s 0.03/0.07 c 0.03/0.07 c core #55 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 8 Core Weight: 1 Total Weight: 55 0.03/0.07 c Current CPU time: 0.051992 s 0.03/0.07 c 0.03/0.07 c core #56 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 8 Core Weight: 1 Total Weight: 56 0.03/0.07 c Current CPU time: 0.052991 s 0.03/0.07 c 0.03/0.07 c core #57 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 7 Core Weight: 1 Total Weight: 57 0.03/0.07 c Current CPU time: 0.052991 s 0.03/0.07 c 0.03/0.07 c core #58 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 6 Core Weight: 1 Total Weight: 58 0.03/0.07 c Current CPU time: 0.053991 s 0.03/0.07 c 0.03/0.07 c core #59 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 6 Core Weight: 1 Total Weight: 59 0.03/0.07 c Current CPU time: 0.054991 s 0.03/0.07 c 0.03/0.07 c core #60 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 60 0.03/0.07 c Current CPU time: 0.055991 s 0.03/0.07 c 0.03/0.07 c core #61 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 25 Core Weight: 1 Total Weight: 61 0.03/0.07 c Current CPU time: 0.056991 s 0.03/0.07 c 0.03/0.07 c core #62 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 14 Core Weight: 1 Total Weight: 62 0.03/0.07 c Current CPU time: 0.057991 s 0.03/0.07 c 0.03/0.07 c core #63 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 9 Core Weight: 1 Total Weight: 63 0.03/0.07 c Current CPU time: 0.05999 s 0.03/0.07 c 0.03/0.07 c core #64 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 11 Core Weight: 1 Total Weight: 64 0.03/0.07 c Current CPU time: 0.06099 s 0.03/0.07 c 0.03/0.07 c core #65 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 23 Core Weight: 1 Total Weight: 65 0.03/0.07 c Current CPU time: 0.06199 s 0.03/0.07 c 0.03/0.07 c core #66 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 16 Core Weight: 1 Total Weight: 66 0.03/0.07 c Current CPU time: 0.06299 s 0.03/0.07 c 0.03/0.07 c core #67 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 15 Core Weight: 1 Total Weight: 67 0.03/0.07 c Current CPU time: 0.06399 s 0.03/0.07 c 0.03/0.07 c core #68 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 24 Core Weight: 1 Total Weight: 68 0.03/0.07 c Current CPU time: 0.06499 s 0.03/0.07 c 0.03/0.07 c core #69 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 26 Core Weight: 1 Total Weight: 69 0.03/0.07 c Current CPU time: 0.065989 s 0.03/0.07 c 0.03/0.07 c core #70 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 16 Core Weight: 1 Total Weight: 70 0.03/0.07 c Current CPU time: 0.066989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 998 1481 10834 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #71 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 15 Core Weight: 1 Total Weight: 71 0.03/0.07 c Current CPU time: 0.067989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 1008 1482 10854 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #72 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 91 Core Weight: 1 Total Weight: 72 0.03/0.07 c Current CPU time: 0.068989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 1121 1483 11049 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #73 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 64 Core Weight: 1 Total Weight: 73 0.03/0.07 c Current CPU time: 0.069989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 1189 1484 11173 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #74 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 26 Core Weight: 1 Total Weight: 74 0.03/0.07 c Current CPU time: 0.071989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 1246 1485 11218 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #75 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 38 Core Weight: 1 Total Weight: 75 0.03/0.07 c Current CPU time: 0.073988 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 1282 1486 11284 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #76 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 14 Core Weight: 1 Total Weight: 76 0.03/0.08 c Current CPU time: 0.076988 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 1299 1487 11313 | 5000 0 -nan | 0.000 % | 0.03/0.08 c | 100 | 1299 1487 11313 | 5500 100 13 | 8.842 % | 0.03/0.08 c | 251 | 1299 1487 11313 | 6050 251 12 | 8.842 % | 0.03/0.09 c | 476 | 1293 1487 11313 | 6655 476 13 | 9.404 % | 0.09/0.10 c | 815 | 1288 1487 11313 | 7320 815 14 | 9.685 % | 0.09/0.10 c =============================================================================== 0.09/0.11 c core #77 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 159 Core Weight: 1 Total Weight: 77 0.09/0.11 c Current CPU time: 0.101984 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1467 1488 11636 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 106 | 1467 1488 11636 | 5500 106 28 | 7.152 % | 0.09/0.11 c | 258 | 1467 1488 11636 | 6050 258 30 | 7.152 % | 0.09/0.12 c | 486 | 1467 1488 11636 | 6655 486 30 | 7.152 % | 0.09/0.13 c | 823 | 1467 1488 11636 | 7320 823 37 | 7.152 % | 0.09/0.15 c | 1329 | 1467 1488 11636 | 8052 1329 37 | 7.152 % | 0.09/0.18 c | 2089 | 1467 1488 11636 | 8857 2089 40 | 7.152 % | 0.19/0.22 c | 3228 | 1467 1488 11636 | 9743 3228 42 | 7.152 % | 0.19/0.28 c =============================================================================== 0.29/0.30 c core #78 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 162 Core Weight: 1 Total Weight: 78 0.29/0.30 c Current CPU time: 0.276957 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1632 1489 11960 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #79 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 37 Core Weight: 1 Total Weight: 79 0.29/0.30 c Current CPU time: 0.279957 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1673 1490 12032 | 5000 0 -nan | 0.000 % | 0.29/0.30 c | 102 | 1673 1490 12032 | 5500 102 27 | 5.480 % | 0.29/0.30 c | 252 | 1672 1490 12032 | 6050 252 25 | 5.537 % | 0.29/0.31 c | 477 | 1670 1490 12032 | 6655 477 38 | 5.650 % | 0.29/0.32 c | 814 | 1670 1490 12032 | 7320 814 45 | 5.650 % | 0.29/0.34 c | 1320 | 1641 1490 12032 | 8052 1320 44 | 7.571 % | 0.29/0.36 c | 2085 | 1636 1490 12032 | 8857 2085 40 | 7.571 % | 0.39/0.41 c | 3230 | 1636 1490 12032 | 9743 3230 41 | 7.571 % | 0.39/0.49 c =============================================================================== 0.49/0.50 c core #80 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 140 Core Weight: 1 Total Weight: 80 0.49/0.50 c Current CPU time: 0.463929 s 0.49/0.50 c 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 1821 1491 12313 | 5000 0 -nan | 0.000 % | 0.49/0.50 c | 100 | 1821 1491 12313 | 5500 100 26 | 4.309 % | 0.49/0.50 c | 250 | 1821 1491 12313 | 6050 250 22 | 4.309 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #81 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 79 Core Weight: 1 Total Weight: 81 0.49/0.51 c Current CPU time: 0.472928 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1899 1492 12468 | 5000 0 -nan | 0.000 % | 0.49/0.51 c | 102 | 1899 1492 12468 | 5500 102 73 | 4.091 % | 0.49/0.51 c | 253 | 1897 1492 12468 | 6050 253 47 | 4.192 % | 0.49/0.52 c | 480 | 1895 1492 12468 | 6655 480 39 | 4.293 % | 0.49/0.53 c | 817 | 1895 1492 12468 | 7320 817 53 | 4.293 % | 0.49/0.55 c | 1331 | 1895 1492 12468 | 8052 1331 61 | 4.293 % | 0.49/0.58 c | 2093 | 1895 1492 12468 | 8857 2093 60 | 4.293 % | 0.59/0.63 c | 3233 | 1895 1492 12468 | 9743 3233 64 | 4.293 % | 0.69/0.72 c | 4942 | 1895 1492 12468 | 10717 4942 72 | 4.293 % | 0.79/0.87 c | 7506 | 1895 1492 12468 | 11789 7506 79 | 4.293 % | 1.11/1.15 c | 11350 | 1895 1492 12468 | 12968 11350 84 | 4.293 % | 1.69/1.70 c | 17118 | 1895 1492 12468 | 14265 10434 90 | 4.293 % | 2.39/2.40 c | 25768 | 1895 1492 12468 | 15692 11828 87 | 4.293 % | 3.79/3.88 c | 38744 | 1895 1492 12468 | 17261 8834 99 | 4.293 % | 4.99/5.02 c =============================================================================== 5.19/5.23 c core #82 5.19/5.23 c 5.19/5.23 c 5.19/5.23 c Core size: 182 Core Weight: 1 Total Weight: 82 5.19/5.23 c Current CPU time: 5.05423 s 5.19/5.23 c 5.19/5.23 c ============================[ Search Statistics ]============================== 5.19/5.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.23 c =============================================================================== 5.19/5.23 c | 0 | 2083 1493 12830 | 5000 0 -nan | 0.000 % | 5.19/5.23 c | 100 | 2083 1493 12830 | 5500 100 40 | 3.475 % | 5.19/5.24 c | 253 | 2083 1493 12830 | 6050 253 55 | 3.475 % | 5.19/5.25 c | 481 | 2083 1493 12830 | 6655 481 59 | 3.475 % | 5.19/5.26 c | 823 | 2083 1493 12830 | 7320 823 52 | 3.475 % | 5.19/5.28 c | 1331 | 2083 1493 12830 | 8052 1331 49 | 3.475 % | 5.29/5.30 c | 2090 | 2083 1493 12830 | 8857 2090 55 | 3.475 % | 5.29/5.34 c | 3233 | 2083 1493 12830 | 9743 3233 59 | 3.475 % | 5.39/5.42 c | 4941 | 2083 1493 12830 | 10717 4941 68 | 3.475 % | 5.51/5.53 c | 7507 | 2083 1493 12830 | 11789 7507 70 | 3.475 % | 5.79/5.90 c | 11353 | 2083 1493 12830 | 12968 11353 100 | 3.475 % | 6.61/6.64 c | 17119 | 2083 1493 12830 | 14265 10529 149 | 3.475 % | 7.29/7.35 c | 25768 | 2083 1493 12830 | 15692 11880 131 | 3.475 % | 8.89/8.93 c | 38742 | 2083 1493 12830 | 17261 8995 175 | 3.475 % | 11.29/11.34 c | 58205 | 2083 1493 12830 | 18987 10904 156 | 3.475 % | 17.39/17.46 c | 87397 | 2083 1493 12830 | 20886 10834 182 | 3.475 % | 25.09/25.12 c | 131190 | 2082 1493 12830 | 22974 12070 172 | 3.522 % | 37.90/37.95 c | 196875 | 2082 1493 12830 | 25272 19187 150 | 3.522 % | 60.09/60.19 c | 295403 | 2082 1493 12830 | 27799 14227 174 | 3.522 % | 93.79/93.84 c =============================================================================== 96.49/96.56 c core #83 96.49/96.56 c 96.49/96.56 c 96.49/96.56 c Core size: 329 Core Weight: 1 Total Weight: 83 96.49/96.56 c Current CPU time: 95.2295 s 96.49/96.56 c 96.49/96.56 c ============================[ Search Statistics ]============================== 96.49/96.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.49/96.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.49/96.56 c =============================================================================== 96.49/96.56 c | 0 | 2426 1494 13498 | 5000 0 -nan | 0.000 % | 96.49/96.56 c | 101 | 2426 1494 13498 | 5500 101 22 | 2.296 % | 96.49/96.56 c | 252 | 2426 1494 13498 | 6050 252 16 | 2.296 % | 96.49/96.57 c | 477 | 2426 1494 13498 | 6655 477 22 | 2.296 % | 96.49/96.58 c | 815 | 2426 1494 13498 | 7320 815 28 | 2.296 % | 96.49/96.59 c | 1321 | 2426 1494 13498 | 8052 1321 32 | 2.296 % | 96.59/96.61 c | 2080 | 2426 1494 13498 | 8857 2080 37 | 2.296 % | 96.59/96.64 c | 3221 | 2426 1494 13498 | 9743 3221 40 | 2.296 % | 96.59/96.69 c | 4932 | 2426 1494 13498 | 10717 4932 46 | 2.296 % | 96.81/96.84 c | 7494 | 2426 1494 13498 | 11789 7494 53 | 2.296 % | 97.09/97.11 c | 11340 | 2426 1494 13498 | 12968 11340 58 | 2.296 % | 97.49/97.54 c | 17106 | 2426 1494 13498 | 14265 10541 76 | 2.296 % | 98.09/98.10 c =============================================================================== 98.09/98.17 c core #84 98.09/98.17 c 98.09/98.17 c 98.09/98.17 c Core size: 194 Core Weight: 1 Total Weight: 84 98.09/98.17 c Current CPU time: 96.9883 s 98.09/98.17 c 98.09/98.17 c ============================[ Search Statistics ]============================== 98.09/98.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.09/98.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.09/98.17 c =============================================================================== 98.09/98.17 c | 0 | 2635 1495 13899 | 5000 0 -nan | 0.000 % | 98.09/98.17 c | 101 | 2635 1495 13899 | 5500 101 26 | 1.495 % | 98.09/98.17 c | 251 | 2635 1495 13899 | 6050 251 26 | 1.495 % | 98.09/98.18 c | 477 | 2635 1495 13899 | 6655 477 45 | 1.495 % | 98.09/98.19 c | 816 | 2635 1495 13899 | 7320 816 46 | 1.495 % | 98.19/98.21 c | 1324 | 2635 1495 13899 | 8052 1324 58 | 1.495 % | 98.19/98.24 c | 2083 | 2635 1495 13899 | 8857 2083 65 | 1.495 % | 98.19/98.29 c | 3223 | 2635 1495 13899 | 9743 3223 70 | 1.495 % | 98.29/98.36 c | 4931 | 2635 1495 13899 | 10717 4931 69 | 1.495 % | 98.40/98.47 c | 7495 | 2635 1495 13899 | 11789 7495 75 | 1.495 % | 98.69/98.76 c | 11340 | 2635 1495 13899 | 12968 11340 114 | 1.495 % | 99.19/99.28 c | 17107 | 2635 1495 13899 | 14265 10464 152 | 1.495 % | 100.19/100.22 c | 25757 | 2635 1495 13899 | 15692 11682 190 | 1.495 % | 101.59/101.60 c | 38734 | 2635 1495 13899 | 17261 8643 182 | 1.495 % | 103.99/104.03 c | 58195 | 2635 1495 13899 | 18987 10484 232 | 1.495 % | 109.40/109.44 c | 87390 | 2635 1495 13899 | 20886 10767 252 | 1.495 % | 118.30/118.33 c | 131179 | 2635 1495 13899 | 22974 12067 217 | 1.495 % | 133.19/133.22 c | 196863 | 2635 1495 13899 | 25272 19526 301 | 1.495 % | 156.10/156.18 c | 295389 | 2635 1495 13899 | 27799 15134 248 | 1.495 % | 187.89/187.99 c | 443179 | 2635 1495 13899 | 30579 19620 293 | 1.495 % | 258.19/258.21 c | 664868 | 2635 1495 13899 | 33637 22755 377 | 1.495 % | 338.71/338.77 c | 997394 | 2635 1495 13899 | 37001 25389 235 | 1.495 % | 491.41/491.48 c | 1496182 | 2635 1495 13899 | 40701 18267 229 | 1.495 % | 738.90/738.94 c | 2244366 | 2635 1495 13899 | 44771 27887 245 | 1.495 % | 1179.62/1179.65 c | 3366643 | 2635 1495 13899 | 49248 24629 262 | 1.495 % |
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-3461525-1307103223/watcher-3461525-1307103223 -o /tmp/evaluation-result-3461525-1307103223/solver-3461525-1307103223 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461525-1307103223.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.04 2.01 3/535 10056 /proc/meminfo: memFree=25260856/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=2376 CPUtime=0 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 421 0 0 0 0 0 0 0 25 0 1 0 802738572 2433024 353 33554432000 4194304 5714214 140735270797872 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 594 354 173 372 0 219 0 [startup+0.0364019 s] /proc/loadavg: 2.00 2.04 2.01 3/535 10056 /proc/meminfo: memFree=25260856/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=2804 CPUtime=0.03 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 499 0 0 0 3 0 0 0 25 0 1 0 802738572 2871296 431 33554432000 4194304 5714214 140735270797872 18446744073709551615 4977556 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 701 431 175 372 0 326 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2804 [startup+0.100389 s] /proc/loadavg: 2.00 2.04 2.01 3/535 10056 /proc/meminfo: memFree=25260856/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=3132 CPUtime=0.09 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 600 0 0 0 9 0 0 0 18 0 1 0 802738572 3207168 532 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 783 532 180 372 0 408 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3132 [startup+0.300364 s] /proc/loadavg: 2.00 2.04 2.01 3/535 10056 /proc/meminfo: memFree=25260856/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=4928 CPUtime=0.29 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 1062 0 0 0 27 2 0 0 18 0 1 0 802738572 5046272 994 33554432000 4194304 5714214 140735270797872 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 1232 995 180 372 0 857 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4928 [startup+0.700282 s] /proc/loadavg: 2.00 2.04 2.01 3/535 10056 /proc/meminfo: memFree=25260856/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=5388 CPUtime=0.69 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 1158 0 0 0 64 5 0 0 18 0 1 0 802738572 5517312 1090 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 1347 1090 180 372 0 972 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5388 [startup+1.50014 s] /proc/loadavg: 2.00 2.04 2.01 3/536 10058 /proc/meminfo: memFree=25246588/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=10716 CPUtime=1.49 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 2498 0 0 0 142 7 0 0 19 0 1 0 802738572 10973184 2430 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 2679 2430 180 372 0 2304 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10716 [startup+3.10085 s] /proc/loadavg: 2.00 2.04 2.01 3/536 10058 /proc/meminfo: memFree=25236728/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=15368 CPUtime=3.09 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 3662 0 0 0 297 12 0 0 22 0 1 0 802738572 15736832 3594 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 3842 3594 180 372 0 3467 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15368 [startup+6.30028 s] /proc/loadavg: 2.00 2.03 2.01 3/536 10058 /proc/meminfo: memFree=25223096/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=19952 CPUtime=6.29 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 4828 0 0 0 610 19 0 0 25 0 1 0 802738572 20430848 4726 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 4988 4726 180 372 0 4613 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19952 [startup+12.7001 s] /proc/loadavg: 2.00 2.03 2.01 3/536 10058 /proc/meminfo: memFree=25214852/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=29952 CPUtime=12.69 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 7319 0 0 0 1238 31 0 0 25 0 1 0 802738572 30670848 7217 33554432000 4194304 5714214 140735270797872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 7488 7217 180 372 0 7113 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29952 [startup+25.5009 s] /proc/loadavg: 2.00 2.03 2.01 3/536 10058 /proc/meminfo: memFree=25174188/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=47132 CPUtime=25.49 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 11522 0 0 0 2501 48 0 0 25 0 1 0 802738572 48263168 11420 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 11783 11420 180 372 0 11408 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47132 [startup+51.1003 s] /proc/loadavg: 2.00 2.03 2.00 3/536 10059 /proc/meminfo: memFree=25128732/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=70796 CPUtime=51.09 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 17330 0 0 0 5032 77 0 0 25 0 1 0 802738572 72495104 17228 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 17699 17228 180 372 0 17324 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70796 [startup+102.32 s] /proc/loadavg: 2.00 2.02 2.00 3/536 10060 /proc/meminfo: memFree=25038924/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=120560 CPUtime=102.31 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 29664 0 0 0 10099 132 0 0 21 0 1 0 802738572 123453440 29506 33554432000 4194304 5714214 140735270797872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 30140 29506 180 372 0 29765 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 120560 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 10062 /proc/meminfo: memFree=25000932/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=120560 CPUtime=162.29 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 29826 0 0 0 16028 201 0 0 25 0 1 0 802738572 123453440 29668 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 30140 29668 180 372 0 29765 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 120560 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 10063 /proc/meminfo: memFree=24950168/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=141380 CPUtime=222.29 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 35130 0 0 0 21969 260 0 0 25 0 1 0 802738572 144773120 34972 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 35345 34972 180 372 0 34970 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 141380 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/536 10065 /proc/meminfo: memFree=24911812/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=179292 CPUtime=282.3 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 44497 0 0 0 27920 310 0 0 25 0 1 0 802738572 183595008 44339 33554432000 4194304 5714214 140735270797872 18446744073709551615 4322892 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 44823 44339 180 372 0 44448 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 179292 [startup+342.3 s] /proc/loadavg: 2.14 2.04 2.01 3/536 10067 /proc/meminfo: memFree=24869492/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=221568 CPUtime=342.3 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 55079 0 0 0 33862 368 0 0 25 0 1 0 802738572 226885632 54797 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 55392 54797 180 372 0 55017 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 221568 [startup+402.3 s] /proc/loadavg: 2.05 2.03 2.00 3/536 10068 /proc/meminfo: memFree=24831116/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=259544 CPUtime=402.3 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 64581 0 0 0 39818 412 0 0 25 0 1 0 802738572 265773056 64299 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 64886 64299 180 372 0 64511 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 259544 [startup+462.301 s] /proc/loadavg: 2.09 2.05 2.01 3/536 10070 /proc/meminfo: memFree=24777868/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=294084 CPUtime=462.3 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 73045 0 0 0 45770 460 0 0 25 0 1 0 802738572 301142016 72763 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 73521 72763 180 372 0 73146 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 294084 [startup+522.301 s] /proc/loadavg: 2.07 2.05 2.01 3/536 10071 /proc/meminfo: memFree=24726628/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=326112 CPUtime=522.3 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 80877 0 0 0 51725 505 0 0 25 0 1 0 802738572 333938688 80595 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 81528 80595 180 372 0 81153 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 326112 [startup+582.3 s] /proc/loadavg: 2.02 2.04 2.00 3/536 10073 /proc/meminfo: memFree=24675116/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=352816 CPUtime=582.3 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 87394 0 0 0 57679 551 0 0 25 0 1 0 802738572 361283584 87112 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 88204 87112 180 372 0 87829 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 352816 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 10082 /proc/meminfo: memFree=24421480/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=498660 CPUtime=822.32 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 123479 0 0 0 81497 735 0 0 25 0 1 0 802738572 510627840 123197 33554432000 4194304 5714214 140735270797872 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 124665 123197 180 372 0 124290 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 498660 [startup+882.301 s] /proc/loadavg: 2.09 2.04 2.01 3/536 10084 /proc/meminfo: memFree=24364400/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=534856 CPUtime=882.31 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 132398 0 0 0 87452 779 0 0 25 0 1 0 802738572 547692544 132116 33554432000 4194304 5714214 140735270797872 18446744073709551615 4300080 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 133714 132116 180 372 0 133339 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 534856 [startup+942.301 s] /proc/loadavg: 2.07 2.04 2.01 3/536 10086 /proc/meminfo: memFree=24300988/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=562352 CPUtime=942.31 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 139247 0 0 0 93422 809 0 0 25 0 1 0 802738572 575848448 138965 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 140588 138965 180 372 0 140213 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 562352 [startup+1002.3 s] /proc/loadavg: 2.13 2.06 2.01 3/536 10087 /proc/meminfo: memFree=24250352/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=595276 CPUtime=1002.32 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 147399 0 0 0 99389 843 0 0 25 0 1 0 802738572 609562624 147117 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 148819 147117 180 372 0 148444 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 595276 [startup+1062.3 s] /proc/loadavg: 2.09 2.06 2.01 3/536 10089 /proc/meminfo: memFree=24213236/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=614864 CPUtime=1062.31 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 152286 0 0 0 105352 879 0 0 25 0 1 0 802738572 629620736 152004 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 153716 152004 180 372 0 153341 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 614864 [startup+1122.3 s] /proc/loadavg: 2.03 2.05 2.01 3/536 10090 /proc/meminfo: memFree=24161596/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=644368 CPUtime=1122.32 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 159526 0 0 0 111315 917 0 0 25 0 1 0 802738572 659832832 159244 33554432000 4194304 5714214 140735270797872 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 161092 159244 180 372 0 160717 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 644368 [startup+1182.3 s] /proc/loadavg: 2.01 2.04 2.00 3/536 10092 /proc/meminfo: memFree=24107592/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=667944 CPUtime=1182.32 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 165306 0 0 0 117278 954 0 0 25 0 1 0 802738572 683974656 165024 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 166986 165024 180 372 0 166611 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 667944 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 10094 /proc/meminfo: memFree=24051496/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=696804 CPUtime=1242.32 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 172500 0 0 0 123250 982 0 0 25 0 1 0 802738572 713527296 172218 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 174201 172218 180 372 0 173826 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 696804 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 10095 /proc/meminfo: memFree=23981376/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=738712 CPUtime=1302.33 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 182984 0 0 0 129214 1019 0 0 25 0 1 0 802738572 756441088 182702 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 184678 182702 180 372 0 184303 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 738712 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 10097 /proc/meminfo: memFree=23954680/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=738132 CPUtime=1362.33 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 183030 0 0 0 135175 1058 0 0 25 0 1 0 802738572 755847168 182610 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 184533 182610 180 372 0 184158 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 738132 [startup+1422.32 s] /proc/loadavg: 2.12 2.04 2.01 3/536 10098 /proc/meminfo: memFree=23919280/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=768452 CPUtime=1422.35 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 190524 0 0 0 141136 1099 0 0 25 0 1 0 802738572 786894848 190104 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 192113 190104 180 372 0 191738 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 768452 [startup+1482.3 s] /proc/loadavg: 2.10 2.05 2.01 3/536 10100 /proc/meminfo: memFree=23873468/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=790992 CPUtime=1482.33 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 196104 0 0 0 147089 1144 0 0 25 0 1 0 802738572 809975808 195684 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 197748 195684 180 372 0 197373 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 790992 [startup+1542.3 s] /proc/loadavg: 2.18 2.07 2.01 3/536 10102 /proc/meminfo: memFree=23830892/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=814780 CPUtime=1542.33 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 201920 0 0 0 153066 1167 0 0 25 0 1 0 802738572 834334720 201500 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 203695 201500 180 372 0 203320 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 814780 [startup+1602.3 s] /proc/loadavg: 2.13 2.07 2.01 3/536 10103 /proc/meminfo: memFree=23782496/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=842724 CPUtime=1602.34 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 208908 0 0 0 159031 1203 0 0 25 0 1 0 802738572 862949376 208488 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 210681 208488 180 372 0 210306 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 842724 [startup+1662.3 s] /proc/loadavg: 2.05 2.05 2.01 3/536 10105 /proc/meminfo: memFree=23718476/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=866588 CPUtime=1662.33 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 214879 0 0 0 164998 1235 0 0 25 0 1 0 802738572 887386112 214459 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 216647 214459 180 372 0 216272 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 866588 [startup+1722.3 s] /proc/loadavg: 2.02 2.04 2.00 3/536 10106 /proc/meminfo: memFree=23678864/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=881576 CPUtime=1722.34 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 218609 0 0 0 170974 1260 0 0 25 0 1 0 802738572 902733824 218189 33554432000 4194304 5714214 140735270797872 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 220394 218189 180 372 0 220019 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 881576 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 10108 /proc/meminfo: memFree=23631196/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=895516 CPUtime=1782.34 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 222020 0 0 0 176938 1296 0 0 25 0 1 0 802738572 917008384 221600 33554432000 4194304 5714214 140735270797872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 223879 221600 180 372 0 223504 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 895516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.00 2/534 10109 /proc/meminfo: memFree=24366768/32951124 swapFree=46970528/67111528 [pid=10056] ppid=10053 vsize=896748 CPUtime=1800.05 cores=1,3,5,7 /proc/10056/stat : 10056 (wbo1.6) R 10053 10056 9437 0 -1 4202496 222276 0 0 0 178703 1302 0 0 25 0 1 0 802738572 918269952 221856 33554432000 4194304 5714214 140735270797872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10056/statm: 224187 221856 180 372 0 223812 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 896748 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.06 CPU time (s): 1800.1 CPU user time (s): 1787.05 CPU system time (s): 13.056 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 896748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.05 system time used= 13.056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 222284 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= 17 involuntary context switches= 20036 runsolver used 9.40857 second user time and 21.7147 second system time The end
Begin job on node146 at 2011-06-03 14:13:43 IDJOB=3461525 IDBENCH=2868 IDSOLVER=1953 FILE ID=node146/3461525-1307103223 RUNJOBID= node146-1307094211-9456 PBS_JOBID= 13498003 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461525-1307103223/watcher-3461525-1307103223 -o /tmp/evaluation-result-3461525-1307103223/solver-3461525-1307103223 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461525-1307103223.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3 RANDOM SEED=629890185 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: 25261136 kB Buffers: 99732 kB Cached: 215632 kB SwapCached: 60100 kB Active: 196132 kB Inactive: 7254544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25261136 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 8556 kB Writeback: 0 kB AnonPages: 7086676 kB Mapped: 17332 kB Slab: 72920 kB PageTables: 96936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160692956 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 14:43:45