Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.05 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-go19.opb |
MD5SUM | ac3a0c512b81d5e532f489853538ca8f |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 84 |
Best CPU time to get the best result obtained on this benchmark | 1797.14 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 441 |
Total number of constraints | 441 |
Number of constraints which are clauses | 361 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 361 |
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 | 361 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 361 |
Number of bits of the biggest sum of numbers | 9 |
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-3479238-1307447631.opb. 0.00/0.00 c Instance file HOME/instance-3479238-1307447631.opb 0.00/0.00 c File size is 20573 bytes. 0.00/0.00 c Highest Coefficient sum: 6 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: 441 | 0.00/0.00 c | Number Clauses: 441 | 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 | 361 441 1805 | 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.002999 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: 5 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.002999 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: 5 Core Weight: 1 Total Weight: 3 0.00/0.01 c Current CPU time: 0.002999 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: 5 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: 5 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.003999 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: 5 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.003999 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.003999 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: 6 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: 6 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.004999 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: 6 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.004999 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: 6 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.004999 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: 6 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: 6 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.005999 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: 5 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.005999 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: 5 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.005999 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: 6 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.006998 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: 6 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.006998 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: 6 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.006998 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: 6 Core Weight: 1 Total Weight: 19 0.00/0.01 c Current CPU time: 0.006998 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: 6 Core Weight: 1 Total Weight: 20 0.00/0.01 c Current CPU time: 0.007998 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: 6 Core Weight: 1 Total Weight: 21 0.00/0.01 c Current CPU time: 0.007998 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: 6 Core Weight: 1 Total Weight: 22 0.00/0.01 c Current CPU time: 0.007998 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: 6 Core Weight: 1 Total Weight: 23 0.00/0.01 c Current CPU time: 0.008998 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: 6 Core Weight: 1 Total Weight: 24 0.00/0.01 c Current CPU time: 0.008998 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: 6 Core Weight: 1 Total Weight: 25 0.00/0.01 c Current CPU time: 0.008998 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: 6 Core Weight: 1 Total Weight: 26 0.00/0.01 c Current CPU time: 0.008998 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: 6 Core Weight: 1 Total Weight: 27 0.00/0.01 c Current CPU time: 0.009998 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: 5 Core Weight: 1 Total Weight: 28 0.00/0.01 c Current CPU time: 0.009998 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: 5 Core Weight: 1 Total Weight: 29 0.00/0.01 c Current CPU time: 0.009998 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: 6 Core Weight: 1 Total Weight: 30 0.00/0.01 c Current CPU time: 0.010998 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: 6 Core Weight: 1 Total Weight: 31 0.00/0.01 c Current CPU time: 0.010998 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: 6 Core Weight: 1 Total Weight: 32 0.00/0.01 c Current CPU time: 0.010998 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: 6 Core Weight: 1 Total Weight: 33 0.00/0.01 c Current CPU time: 0.011998 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: 6 Core Weight: 1 Total Weight: 34 0.00/0.01 c Current CPU time: 0.011998 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: 6 Core Weight: 1 Total Weight: 35 0.00/0.01 c Current CPU time: 0.011998 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: 6 Core Weight: 1 Total Weight: 36 0.00/0.01 c Current CPU time: 0.012998 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: 6 Core Weight: 1 Total Weight: 37 0.00/0.01 c Current CPU time: 0.012998 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: 6 Core Weight: 1 Total Weight: 38 0.00/0.01 c Current CPU time: 0.012998 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: 6 Core Weight: 1 Total Weight: 39 0.00/0.01 c Current CPU time: 0.013997 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: 6 Core Weight: 1 Total Weight: 40 0.00/0.01 c Current CPU time: 0.013997 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: 6 Core Weight: 1 Total Weight: 41 0.00/0.01 c Current CPU time: 0.013997 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: 5 Core Weight: 1 Total Weight: 42 0.00/0.01 c Current CPU time: 0.014997 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: 5 Core Weight: 1 Total Weight: 43 0.00/0.02 c Current CPU time: 0.014997 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: 6 Core Weight: 1 Total Weight: 44 0.00/0.02 c Current CPU time: 0.014997 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: 6 Core Weight: 1 Total Weight: 45 0.00/0.02 c Current CPU time: 0.015997 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: 6 Core Weight: 1 Total Weight: 46 0.00/0.02 c Current CPU time: 0.015997 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: 6 Core Weight: 1 Total Weight: 47 0.00/0.02 c Current CPU time: 0.015997 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: 6 Core Weight: 1 Total Weight: 48 0.00/0.02 c Current CPU time: 0.016997 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: 6 Core Weight: 1 Total Weight: 49 0.00/0.02 c Current CPU time: 0.016997 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: 6 Core Weight: 1 Total Weight: 50 0.00/0.02 c Current CPU time: 0.016997 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: 6 Core Weight: 1 Total Weight: 51 0.00/0.02 c Current CPU time: 0.017997 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: 6 Core Weight: 1 Total Weight: 52 0.00/0.02 c Current CPU time: 0.017997 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: 6 Core Weight: 1 Total Weight: 53 0.00/0.02 c Current CPU time: 0.018997 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: 6 Core Weight: 1 Total Weight: 54 0.00/0.02 c Current CPU time: 0.018997 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.018997 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.019996 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: 5 Core Weight: 1 Total Weight: 57 0.00/0.02 c Current CPU time: 0.019996 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: 6 Core Weight: 1 Total Weight: 58 0.00/0.02 c Current CPU time: 0.019996 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: 6 Core Weight: 1 Total Weight: 59 0.00/0.02 c Current CPU time: 0.020996 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: 6 Core Weight: 1 Total Weight: 60 0.00/0.02 c Current CPU time: 0.020996 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: 6 Core Weight: 1 Total Weight: 61 0.00/0.02 c Current CPU time: 0.021996 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: 6 Core Weight: 1 Total Weight: 62 0.00/0.02 c Current CPU time: 0.021996 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: 6 Core Weight: 1 Total Weight: 63 0.00/0.02 c Current CPU time: 0.021996 s 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: 5 Core Weight: 1 Total Weight: 64 0.00/0.02 c Current CPU time: 0.022996 s 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: 5 Core Weight: 1 Total Weight: 65 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 | 612 867 2647 | 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: 16 Core Weight: 1 Total Weight: 66 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 | 630 868 2677 | 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: 24 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 | 657 869 2725 | 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: 79 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 | 732 870 2867 | 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: 66 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 | 799 871 2990 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 101 | 799 871 2990 | 5500 101 16 | 11.517 % | 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: 88 Core Weight: 1 Total Weight: 70 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 | 885 872 3158 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 102 | 885 872 3158 | 5500 102 33 | 10.152 % | 0.00/0.03 c | 259 | 885 872 3158 | 6050 259 31 | 10.152 % | 0.00/0.04 c | 485 | 885 872 3158 | 6655 485 31 | 10.152 % | 0.00/0.04 c | 826 | 810 872 3158 | 7320 826 27 | 17.767 % | 0.00/0.04 c =============================================================================== 0.00/0.05 c core #71 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 92 Core Weight: 1 Total Weight: 71 0.00/0.05 c Current CPU time: 0.045993 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 976 873 3337 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 100 | 976 873 3337 | 5500 100 35 | 9.040 % | 0.00/0.05 c | 250 | 976 873 3337 | 6050 250 51 | 9.040 % | 0.04/0.06 c | 475 | 976 873 3337 | 6655 475 53 | 9.040 % | 0.04/0.07 c | 813 | 976 873 3337 | 7320 813 58 | 9.040 % | 0.04/0.09 c | 1319 | 976 873 3337 | 8052 1319 54 | 9.040 % | 0.09/0.11 c | 2082 | 976 873 3337 | 8857 2082 49 | 9.040 % | 0.09/0.17 c | 3222 | 976 873 3337 | 9743 3222 48 | 9.040 % | 0.19/0.25 c | 4931 | 972 873 3337 | 10717 4931 52 | 9.599 % | 0.29/0.39 c | 7494 | 972 873 3337 | 11789 7494 52 | 9.599 % | 0.39/0.47 c =============================================================================== 0.49/0.50 c core #72 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 148 Core Weight: 1 Total Weight: 72 0.49/0.50 c Current CPU time: 0.468928 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 | 1129 874 3634 | 5000 0 -nan | 0.000 % | 0.49/0.50 c | 102 | 1129 874 3634 | 5500 102 53 | 7.231 % | 0.49/0.51 c | 255 | 1129 874 3634 | 6050 255 35 | 7.231 % | 0.49/0.51 c | 482 | 1129 874 3634 | 6655 482 39 | 7.231 % | 0.49/0.52 c | 820 | 1129 874 3634 | 7320 820 42 | 7.231 % | 0.49/0.54 c | 1326 | 1129 874 3634 | 8052 1326 47 | 7.231 % | 0.49/0.57 c | 2086 | 1129 874 3634 | 8857 2086 53 | 7.231 % | 0.59/0.64 c | 3226 | 1129 874 3634 | 9743 3226 58 | 7.231 % | 0.69/0.75 c | 4937 | 1129 874 3634 | 10717 4937 64 | 7.231 % | 0.89/0.91 c | 7499 | 1129 874 3634 | 11789 7499 61 | 7.231 % | 1.11/1.19 c | 11343 | 1127 874 3634 | 12968 11343 65 | 7.395 % | 1.19/1.29 c =============================================================================== 1.29/1.32 c core #73 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 165 Core Weight: 1 Total Weight: 73 1.29/1.32 c Current CPU time: 1.25481 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 1298 875 3967 | 5000 0 -nan | 0.000 % | 1.29/1.33 c | 104 | 1298 875 3967 | 5500 104 76 | 6.010 % | 1.29/1.33 c | 257 | 1298 875 3967 | 6050 257 40 | 6.010 % | 1.29/1.33 c | 484 | 1298 875 3967 | 6655 484 33 | 6.010 % | 1.29/1.34 c | 821 | 1298 875 3967 | 7320 821 32 | 6.010 % | 1.29/1.36 c | 1329 | 1298 875 3967 | 8052 1329 40 | 6.010 % | 1.29/1.38 c | 2088 | 1298 875 3967 | 8857 2088 42 | 6.010 % | 1.39/1.43 c | 3234 | 1298 875 3967 | 9743 3234 43 | 6.010 % | 1.49/1.51 c | 4943 | 1297 875 3967 | 10717 4943 43 | 6.083 % | 1.49/1.52 c =============================================================================== 1.49/1.54 c core #74 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 105 Core Weight: 1 Total Weight: 74 1.49/1.54 c Current CPU time: 1.44978 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 1404 876 4176 | 5000 0 -nan | 0.000 % | 1.49/1.54 c | 100 | 1404 876 4176 | 5500 100 69 | 5.391 % | 1.49/1.55 c | 257 | 1404 876 4176 | 6050 257 95 | 5.391 % | 1.49/1.55 c | 482 | 1404 876 4176 | 6655 482 109 | 5.391 % | 1.49/1.57 c | 819 | 1404 876 4176 | 7320 819 125 | 5.391 % | 1.59/1.61 c | 1326 | 1404 876 4176 | 8052 1326 148 | 5.391 % | 1.59/1.66 c | 2087 | 1404 876 4176 | 8857 2087 144 | 5.391 % | 1.69/1.72 c | 3229 | 1404 876 4176 | 9743 3229 137 | 5.391 % | 1.79/1.82 c | 4937 | 1404 876 4176 | 10717 4937 128 | 5.391 % | 1.89/1.98 c | 7504 | 1404 876 4176 | 11789 7504 116 | 5.391 % | 2.20/2.26 c | 11348 | 1404 876 4176 | 12968 11348 112 | 5.391 % | 2.79/2.86 c | 17114 | 1404 876 4176 | 14265 10487 103 | 5.391 % | 3.99/4.03 c | 25763 | 1404 876 4176 | 15692 11839 105 | 5.391 % | 5.89/5.98 c | 38746 | 1404 876 4176 | 17261 8847 84 | 5.391 % | 8.49/8.55 c | 58209 | 1404 876 4176 | 18987 10820 96 | 5.391 % | 12.79/12.89 c | 87401 | 1404 876 4176 | 20886 11124 108 | 5.391 % | 16.19/16.21 c =============================================================================== 16.89/16.98 c core #75 16.89/16.98 c 16.89/16.98 c 16.89/16.98 c Core size: 210 Core Weight: 1 Total Weight: 75 16.89/16.98 c Current CPU time: 16.5025 s 16.89/16.98 c 16.89/16.98 c ============================[ Search Statistics ]============================== 16.89/16.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.89/16.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.89/16.98 c =============================================================================== 16.89/16.98 c | 0 | 1611 877 4590 | 5000 0 -nan | 0.000 % | 16.89/16.99 c | 104 | 1611 877 4590 | 5500 104 108 | 4.731 % | 16.89/16.99 c | 254 | 1611 877 4590 | 6050 254 70 | 4.731 % | 16.99/17.00 c | 480 | 1611 877 4590 | 6655 480 79 | 4.731 % | 16.99/17.01 c | 817 | 1611 877 4590 | 7320 817 80 | 4.731 % | 16.99/17.03 c | 1323 | 1611 877 4590 | 8052 1323 92 | 4.731 % | 16.99/17.07 c | 2086 | 1611 877 4590 | 8857 2086 100 | 4.731 % | 17.09/17.14 c | 3225 | 1611 877 4590 | 9743 3225 115 | 4.731 % | 17.19/17.27 c | 4935 | 1611 877 4590 | 10717 4935 124 | 4.731 % | 17.39/17.48 c | 7499 | 1611 877 4590 | 11789 7499 139 | 4.731 % | 17.89/17.96 c | 11343 | 1611 877 4590 | 12968 11343 144 | 4.731 % | 18.49/18.61 c | 17109 | 1611 877 4590 | 14265 10489 166 | 4.731 % | 19.70/19.75 c | 25765 | 1611 877 4590 | 15692 11819 170 | 4.731 % | 22.49/22.52 c | 38739 | 1611 877 4590 | 17261 8867 193 | 4.731 % | 25.89/25.91 c | 58201 | 1611 877 4590 | 18987 10685 200 | 4.731 % | 32.19/32.25 c | 87393 | 1611 877 4590 | 20886 10808 201 | 4.731 % | 42.91/42.96 c | 131182 | 1611 877 4590 | 22974 12151 201 | 4.731 % | 56.89/56.95 c | 196868 | 1611 877 4590 | 25272 19538 206 | 4.731 % | 75.69/75.76 c | 295396 | 1611 877 4590 | 27799 14496 148 | 4.731 % | 118.09/118.13 c | 443185 | 1611 877 4590 | 30579 20049 167 | 4.731 % | 180.90/180.96 c | 664868 | 1611 877 4590 | 33637 18833 191 | 4.731 % | 282.72/282.79 c | 997395 | 1611 877 4590 | 37001 16797 164 | 4.731 % | 459.51/459.51 c | 1496187 | 1611 877 4590 | 40701 17027 235 | 4.731 % | 665.92/665.91 c | 2244369 | 1611 877 4590 | 44771 23060 250 | 4.731 % | 1095.84/1095.86 c | 3366651 | 1611 877 4590 | 49248 25128 206 | 4.731 % | 1163.75/1163.76 c =============================================================================== 1210.06/1210.07 c core #76 1210.06/1210.07 c 1210.06/1210.07 c 1210.06/1210.07 c Core size: 352 Core Weight: 1 Total Weight: 76 1210.06/1210.07 c Current CPU time: 1197.08 s 1210.06/1210.07 c 1210.06/1210.07 c ============================[ Search Statistics ]============================== 1210.06/1210.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1210.06/1210.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1210.06/1210.07 c =============================================================================== 1210.06/1210.07 c | 0 | 1959 878 5286 | 5000 0 -nan | 0.000 % | 1210.06/1210.07 c | 100 | 1959 878 5286 | 5500 100 34 | 3.924 % | 1210.06/1210.08 c | 251 | 1959 878 5286 | 6050 251 42 | 3.924 % | 1210.06/1210.08 c | 476 | 1959 878 5286 | 6655 476 47 | 3.924 % | 1210.15/1210.10 c | 815 | 1959 878 5286 | 7320 815 69 | 3.924 % | 1210.15/1210.12 c | 1321 | 1959 878 5286 | 8052 1321 85 | 3.924 % | 1210.15/1210.16 c | 2081 | 1959 878 5286 | 8857 2081 92 | 3.924 % | 1210.25/1210.22 c | 3223 | 1959 878 5286 | 9743 3223 116 | 3.924 % | 1210.35/1210.32 c | 4931 | 1959 878 5286 | 10717 4931 142 | 3.924 % | 1210.44/1210.49 c | 7494 | 1959 878 5286 | 11789 7494 151 | 3.924 % | 1210.85/1210.87 c | 11340 | 1959 878 5286 | 12968 11340 173 | 3.924 % | 1211.45/1211.44 c | 17110 | 1959 878 5286 | 14265 10345 175 | 3.924 % | 1212.45/1212.45 c | 25759 | 1959 878 5286 | 15692 11540 184 | 3.924 % | 1214.24/1214.30 c | 38733 | 1959 878 5286 | 17261 16207 197 | 3.924 % | 1216.85/1216.87 c | 58194 | 1959 878 5286 | 18987 17707 181 | 3.924 % | 1224.36/1224.34 c | 87391 | 1959 878 5286 | 20886 17534 255 | 3.924 % | 1235.85/1235.80 c | 131183 | 1959 878 5286 | 22974 18108 271 | 3.924 % | 1257.15/1257.15 c | 196873 | 1959 878 5286 | 25272 13271 243 | 3.924 % | 1285.15/1285.10 c | 295403 | 1959 878 5286 | 27799 20498 238 | 3.924 % | 1325.57/1325.59 c | 443192 | 1959 878 5286 | 30579 17218 215 | 3.924 % | 1387.06/1387.04 c | 664876 | 1959 878 5286 | 33637 24812 242 | 3.924 % | 1515.36/1515.33 c | 997401 | 1959 878 5286 | 37001 24303 254 | 3.924 % | 1747.77/1747.78 c | 1496191 | 1959 878 5286 | 40701 34983 317 | 3.924 % |
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-3479238-1307447631/watcher-3479238-1307447631 -o /tmp/evaluation-result-3479238-1307447631/solver-3479238-1307447631 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479238-1307447631.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.09 2.03 2.01 2/437 1569 /proc/meminfo: memFree=23748488/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=2236 CPUtime=0 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 357 0 0 0 0 0 0 0 25 0 1 0 837178757 2289664 305 33554432000 4194304 5714214 140735546057824 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 559 305 175 372 0 184 0 [startup+0.0566571 s] /proc/loadavg: 2.09 2.03 2.01 2/437 1569 /proc/meminfo: memFree=23748488/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=2996 CPUtime=0.04 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 554 0 0 0 4 0 0 0 18 0 1 0 837178757 3067904 502 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 749 502 180 372 0 374 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2996 [startup+0.100662 s] /proc/loadavg: 2.09 2.03 2.01 2/437 1569 /proc/meminfo: memFree=23748488/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=3128 CPUtime=0.09 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 583 0 0 0 8 1 0 0 18 0 1 0 837178757 3203072 531 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 782 531 180 372 0 407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3128 [startup+0.300612 s] /proc/loadavg: 2.09 2.03 2.01 2/437 1569 /proc/meminfo: memFree=23748488/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=5132 CPUtime=0.29 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 1085 0 0 0 27 2 0 0 18 0 1 0 837178757 5255168 1033 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 1283 1033 180 372 0 908 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5132 [startup+0.700533 s] /proc/loadavg: 2.09 2.03 2.01 2/437 1569 /proc/meminfo: memFree=23748488/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=7184 CPUtime=0.69 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 1599 0 0 0 65 4 0 0 18 0 1 0 837178757 7356416 1547 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 1796 1547 180 372 0 1421 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7184 [startup+1.50038 s] /proc/loadavg: 2.09 2.03 2.01 3/438 1570 /proc/meminfo: memFree=23740916/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=9572 CPUtime=1.49 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 2219 0 0 0 141 8 0 0 18 0 1 0 837178757 9801728 2142 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 2393 2142 180 372 0 2018 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9572 [startup+3.10106 s] /proc/loadavg: 2.09 2.03 2.01 3/438 1570 /proc/meminfo: memFree=23737568/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=12192 CPUtime=3.09 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 2871 0 0 0 295 14 0 0 20 0 1 0 837178757 12484608 2794 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 3048 2794 180 372 0 2673 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12192 [startup+6.30043 s] /proc/loadavg: 2.08 2.03 2.01 3/438 1570 /proc/meminfo: memFree=23729564/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=19112 CPUtime=6.29 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 4539 0 0 0 609 20 0 0 25 0 1 0 837178757 19570688 4462 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 4778 4462 180 372 0 4403 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19112 [startup+12.7002 s] /proc/loadavg: 2.07 2.03 2.01 3/438 1570 /proc/meminfo: memFree=23714680/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=31580 CPUtime=12.7 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 7620 0 0 0 1235 35 0 0 25 0 1 0 837178757 32337920 7543 33554432000 4194304 5714214 140735546057824 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 7895 7543 180 372 0 7520 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 31580 [startup+25.5006 s] /proc/loadavg: 2.06 2.03 2.00 3/438 1571 /proc/meminfo: memFree=23700432/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=37772 CPUtime=25.49 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 9248 0 0 0 2486 63 0 0 25 0 1 0 837178757 38678528 9129 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 9443 9129 180 372 0 9068 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37772 [startup+51.1005 s] /proc/loadavg: 2.04 2.02 2.00 3/438 1572 /proc/meminfo: memFree=23663912/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=58116 CPUtime=51.1 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 14289 0 0 0 5014 96 0 0 25 0 1 0 837178757 59510784 14170 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 14529 14170 180 372 0 14154 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 58116 [startup+102.316 s] /proc/loadavg: 2.01 2.02 2.00 3/438 1573 /proc/meminfo: memFree=23578196/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=102456 CPUtime=102.31 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 25127 0 0 0 10071 160 0 0 25 0 1 0 837178757 104914944 25008 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 25614 25008 180 372 0 25239 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 102456 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1574 /proc/meminfo: memFree=23490504/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=145552 CPUtime=162.29 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 35778 0 0 0 15997 232 0 0 25 0 1 0 837178757 149045248 35659 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 36388 35659 180 372 0 36013 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 145552 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1576 /proc/meminfo: memFree=23414232/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=190720 CPUtime=222.3 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 46818 0 0 0 21939 291 0 0 25 0 1 0 837178757 195297280 46699 33554432000 4194304 5714214 140735546057824 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 47680 46699 180 372 0 47305 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 190720 [startup+282.301 s] /proc/loadavg: 2.07 2.02 2.00 3/438 1578 /proc/meminfo: memFree=23353708/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=220720 CPUtime=282.31 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 54212 0 0 0 27869 362 0 0 25 0 1 0 837178757 226017280 54093 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 55180 54093 180 372 0 54805 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 220720 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/438 1579 /proc/meminfo: memFree=23270980/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=264932 CPUtime=342.31 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 65110 0 0 0 33807 424 0 0 25 0 1 0 837178757 271290368 64991 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 66233 64991 180 372 0 65858 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 264932 [startup+402.301 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1581 /proc/meminfo: memFree=23211196/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=298776 CPUtime=402.31 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 73513 0 0 0 39757 474 0 0 25 0 1 0 837178757 305946624 73394 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 74694 73394 180 372 0 74319 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 298776 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1591 /proc/meminfo: memFree=23142328/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=333132 CPUtime=462.31 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 81865 0 0 0 45713 518 0 0 25 0 1 0 837178757 341127168 81746 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 83283 81746 180 372 0 82908 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 333132 [startup+522.301 s] /proc/loadavg: 2.03 2.01 2.00 3/438 1593 /proc/meminfo: memFree=23068164/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=373168 CPUtime=522.32 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 91820 0 0 0 51648 584 0 0 25 0 1 0 837178757 382124032 91701 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 93292 91701 180 372 0 92917 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 373168 [startup+582.301 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1595 /proc/meminfo: memFree=22998708/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=408588 CPUtime=582.32 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 100613 0 0 0 57591 641 0 0 25 0 1 0 837178757 418394112 100494 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 102147 100494 180 372 0 101772 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 408588 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.04 2.01 2.00 3/438 1601 /proc/meminfo: memFree=22636056/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=528480 CPUtime=822.33 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 130311 0 0 0 81395 838 0 0 25 0 1 0 837178757 541163520 130192 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 132120 130192 180 372 0 131745 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 528480 [startup+882.301 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1603 /proc/meminfo: memFree=22613348/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=551032 CPUtime=882.33 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 135939 0 0 0 87337 896 0 0 25 0 1 0 837178757 564256768 135820 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 137758 135820 180 372 0 137383 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 551032 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1604 /proc/meminfo: memFree=22577000/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=587408 CPUtime=942.34 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 144968 0 0 0 93272 962 0 0 25 0 1 0 837178757 601505792 144849 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 146852 144849 180 372 0 146477 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 587408 [startup+1002.3 s] /proc/loadavg: 2.05 2.01 2.00 3/438 1606 /proc/meminfo: memFree=22552808/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=611364 CPUtime=1002.34 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 150834 0 0 0 99231 1003 0 0 25 0 1 0 837178757 626036736 150715 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 152841 150715 180 372 0 152466 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 611364 [startup+1062.3 s] /proc/loadavg: 2.22 2.07 2.02 3/438 1635 /proc/meminfo: memFree=22882152/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=643244 CPUtime=1062.34 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 158731 0 0 0 105187 1047 0 0 25 0 1 0 837178757 658681856 158612 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 160811 158612 180 372 0 160436 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 643244 [startup+1122.3 s] /proc/loadavg: 2.08 2.05 2.01 3/438 1637 /proc/meminfo: memFree=22391684/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=681084 CPUtime=1122.35 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 168115 0 0 0 111147 1088 0 0 25 0 1 0 837178757 697430016 167996 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 170271 167996 180 372 0 169896 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 681084 [startup+1182.3 s] /proc/loadavg: 2.03 2.04 2.01 3/438 1639 /proc/meminfo: memFree=22283988/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=793660 CPUtime=1182.35 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 196153 0 0 0 117116 1119 0 0 25 0 1 0 837178757 812707840 196034 33554432000 4194304 5714214 140735546057824 18446744073709551615 4197588 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 198415 196034 180 372 0 198040 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 793660 [startup+1242.3 s] /proc/loadavg: 2.04 2.05 2.01 3/438 1640 /proc/meminfo: memFree=22238468/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1242.35 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 204538 0 0 0 123084 1151 0 0 25 0 1 0 837178757 846311424 204266 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 204266 180 372 0 206244 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 826476 [startup+1302.3 s] /proc/loadavg: 2.08 2.05 2.01 3/438 1642 /proc/meminfo: memFree=22238536/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1302.35 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 204627 0 0 0 129049 1186 0 0 25 0 1 0 837178757 846311424 204355 33554432000 4194304 5714214 140735546057824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 204355 180 372 0 206244 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 826476 [startup+1362.3 s] /proc/loadavg: 2.03 2.04 2.00 3/438 1643 /proc/meminfo: memFree=22237628/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1362.35 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 204880 0 0 0 135001 1234 0 0 25 0 1 0 837178757 846311424 204608 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 204608 180 372 0 206244 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 826476 [startup+1422.32 s] /proc/loadavg: 2.01 2.03 2.00 3/438 1645 /proc/meminfo: memFree=22237344/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1422.37 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205088 0 0 0 140964 1273 0 0 25 0 1 0 837178757 846311424 204816 33554432000 4194304 5714214 140735546057824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 204816 180 372 0 206244 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 826476 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/438 1647 /proc/meminfo: memFree=21948900/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1482.36 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205244 0 0 0 146932 1304 0 0 25 0 1 0 837178757 846311424 204972 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 204972 180 372 0 206244 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 826476 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/438 1648 /proc/meminfo: memFree=21948372/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1542.36 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205385 0 0 0 152909 1327 0 0 25 0 1 0 837178757 846311424 205113 33554432000 4194304 5714214 140735546057824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 205113 180 372 0 206244 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 826476 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1650 /proc/meminfo: memFree=21947852/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1602.37 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205459 0 0 0 158886 1351 0 0 25 0 1 0 837178757 846311424 205187 33554432000 4194304 5714214 140735546057824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 205187 180 372 0 206244 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 826476 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1651 /proc/meminfo: memFree=21947560/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1662.37 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205511 0 0 0 164863 1374 0 0 25 0 1 0 837178757 846311424 205239 33554432000 4194304 5714214 140735546057824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 205239 180 372 0 206244 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 826476 [startup+1722.3 s] /proc/loadavg: 2.05 2.02 2.00 3/438 1653 /proc/meminfo: memFree=21947508/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1722.37 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205527 0 0 0 170839 1398 0 0 25 0 1 0 837178757 846311424 205255 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 205255 180 372 0 206244 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 826476 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/438 1655 /proc/meminfo: memFree=21945852/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1782.37 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205677 0 0 0 176815 1422 0 0 25 0 1 0 837178757 846311424 205405 33554432000 4194304 5714214 140735546057824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 205405 180 372 0 206244 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 826476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.02 2.00 3/438 1655 /proc/meminfo: memFree=21946708/32951124 swapFree=50923800/67111528 [pid=1569] ppid=1567 vsize=826476 CPUtime=1800.08 cores=1,3,5,7 /proc/1569/stat : 1569 (wbo1.6) R 1567 1569 656 0 -1 4202496 205682 0 0 0 178579 1429 0 0 25 0 1 0 837178757 846311424 205410 33554432000 4194304 5714214 140735546057824 18446744073709551615 4965022 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/1569/statm: 206619 205410 180 372 0 206244 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 826476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.13 CPU user time (s): 1785.81 CPU system time (s): 14.3278 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 827284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.81 system time used= 14.3278 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205682 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= 23 involuntary context switches= 1956 runsolver used 7.13692 second user time and 17.5243 second system time The end
Begin job on node143 at 2011-06-07 13:53:51 IDJOB=3479238 IDBENCH=89865 IDSOLVER=1953 FILE ID=node143/3479238-1307447631 RUNJOBID= node143-1307436782-675 PBS_JOBID= 13519945 Free space on /tmp= 74012 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-go19.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479238-1307447631/watcher-3479238-1307447631 -o /tmp/evaluation-result-3479238-1307447631/solver-3479238-1307447631 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479238-1307447631.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ac3a0c512b81d5e532f489853538ca8f RANDOM SEED=595003571 node143.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 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.846 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.846 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.83 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23748644 kB Buffers: 355568 kB Cached: 787416 kB SwapCached: 9164 kB Active: 8200404 kB Inactive: 710568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23748644 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 4312 kB Writeback: 0 kB AnonPages: 7765428 kB Mapped: 22392 kB Slab: 142768 kB PageTables: 80620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 116243072 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= 73432 MiB End job on node143 at 2011-06-07 14:23:53