Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 5.20921 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
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 | 80 |
Number of terms in the objective function | 4676 |
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 | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
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-3461372-1307081684.opb. 0.00/0.00 c Instance file HOME/instance-3461372-1307081684.opb 0.00/0.00 c File size is 127509 bytes. 0.00/0.01 c Highest Coefficient sum: 81 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 4676 | 0.00/0.01 c | Number Clauses: 398 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 4676 398 9563 | 5000 0 -nan | 0.000 % | 0.00/0.09 c core #1 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 25 Core Weight: 1 Total Weight: 1 0.00/0.09 c Current CPU time: 0.012998 s 0.00/0.09 c 0.00/0.09 c core #2 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 21 Core Weight: 1 Total Weight: 2 0.00/0.09 c Current CPU time: 0.014997 s 0.00/0.09 c 0.00/0.09 c core #3 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 11 Core Weight: 1 Total Weight: 3 0.00/0.09 c Current CPU time: 0.016997 s 0.00/0.09 c 0.00/0.09 c core #4 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.09 c Current CPU time: 0.018997 s 0.00/0.09 c 0.00/0.09 c core #5 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 31 Core Weight: 1 Total Weight: 5 0.00/0.09 c Current CPU time: 0.019996 s 0.00/0.09 c 0.00/0.09 c core #6 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 14 Core Weight: 1 Total Weight: 6 0.00/0.09 c Current CPU time: 0.020996 s 0.00/0.09 c 0.00/0.09 c core #7 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 8 Core Weight: 1 Total Weight: 7 0.00/0.09 c Current CPU time: 0.022996 s 0.00/0.09 c 0.00/0.09 c core #8 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 28 Core Weight: 1 Total Weight: 8 0.00/0.09 c Current CPU time: 0.024996 s 0.00/0.09 c 0.00/0.09 c core #9 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 22 Core Weight: 1 Total Weight: 9 0.00/0.09 c Current CPU time: 0.026995 s 0.00/0.09 c 0.00/0.09 c core #10 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 19 Core Weight: 1 Total Weight: 10 0.00/0.09 c Current CPU time: 0.027995 s 0.00/0.09 c 0.00/0.09 c core #11 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 20 Core Weight: 1 Total Weight: 11 0.00/0.09 c Current CPU time: 0.029995 s 0.00/0.09 c 0.00/0.09 c core #12 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 22 Core Weight: 1 Total Weight: 12 0.00/0.09 c Current CPU time: 0.031995 s 0.00/0.09 c 0.00/0.09 c core #13 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 28 Core Weight: 1 Total Weight: 13 0.00/0.09 c Current CPU time: 0.033994 s 0.00/0.09 c 0.00/0.09 c core #14 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 31 Core Weight: 1 Total Weight: 14 0.00/0.09 c Current CPU time: 0.035994 s 0.00/0.09 c 0.00/0.09 c core #15 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 22 Core Weight: 1 Total Weight: 15 0.00/0.09 c Current CPU time: 0.037994 s 0.00/0.09 c 0.00/0.09 c core #16 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 17 Core Weight: 1 Total Weight: 16 0.00/0.09 c Current CPU time: 0.039993 s 0.00/0.09 c 0.00/0.09 c core #17 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 23 Core Weight: 1 Total Weight: 17 0.00/0.09 c Current CPU time: 0.041993 s 0.00/0.09 c 0.00/0.09 c core #18 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 16 Core Weight: 1 Total Weight: 18 0.00/0.09 c Current CPU time: 0.042993 s 0.00/0.09 c 0.00/0.09 c core #19 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 9 Core Weight: 1 Total Weight: 19 0.00/0.09 c Current CPU time: 0.044993 s 0.00/0.09 c 0.00/0.09 c core #20 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 34 Core Weight: 1 Total Weight: 20 0.00/0.09 c Current CPU time: 0.046992 s 0.00/0.09 c 0.00/0.09 c core #21 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 17 Core Weight: 1 Total Weight: 21 0.00/0.09 c Current CPU time: 0.048992 s 0.00/0.09 c 0.00/0.09 c core #22 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 28 Core Weight: 1 Total Weight: 22 0.00/0.09 c Current CPU time: 0.049992 s 0.00/0.09 c 0.00/0.09 c core #23 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 21 Core Weight: 1 Total Weight: 23 0.00/0.09 c Current CPU time: 0.051992 s 0.00/0.09 c 0.00/0.09 c core #24 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 11 Core Weight: 1 Total Weight: 24 0.00/0.09 c Current CPU time: 0.053991 s 0.00/0.09 c 0.00/0.09 c core #25 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 22 Core Weight: 1 Total Weight: 25 0.00/0.09 c Current CPU time: 0.055991 s 0.00/0.09 c 0.00/0.09 c core #26 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 11 Core Weight: 1 Total Weight: 26 0.00/0.09 c Current CPU time: 0.057991 s 0.00/0.09 c 0.00/0.09 c core #27 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 15 Core Weight: 1 Total Weight: 27 0.00/0.09 c Current CPU time: 0.05999 s 0.00/0.09 c 0.00/0.09 c core #28 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 30 Core Weight: 1 Total Weight: 28 0.00/0.09 c Current CPU time: 0.06199 s 0.00/0.09 c 0.00/0.09 c core #29 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 46 Core Weight: 1 Total Weight: 29 0.00/0.09 c Current CPU time: 0.06399 s 0.00/0.09 c 0.00/0.09 c core #30 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 28 Core Weight: 1 Total Weight: 30 0.00/0.09 c Current CPU time: 0.065989 s 0.00/0.09 c 0.00/0.09 c core #31 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 24 Core Weight: 1 Total Weight: 31 0.00/0.09 c Current CPU time: 0.067989 s 0.00/0.09 c 0.00/0.09 c core #32 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 6 Core Weight: 1 Total Weight: 32 0.00/0.09 c Current CPU time: 0.069989 s 0.00/0.09 c 0.00/0.09 c core #33 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 17 Core Weight: 1 Total Weight: 33 0.00/0.09 c Current CPU time: 0.071989 s 0.00/0.09 c 0.00/0.09 c core #34 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 21 Core Weight: 1 Total Weight: 34 0.00/0.09 c Current CPU time: 0.073988 s 0.00/0.09 c 0.00/0.09 c core #35 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 17 Core Weight: 1 Total Weight: 35 0.00/0.09 c Current CPU time: 0.075988 s 0.00/0.09 c 0.00/0.09 c core #36 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 40 Core Weight: 1 Total Weight: 36 0.00/0.09 c Current CPU time: 0.077988 s 0.00/0.09 c 0.00/0.09 c core #37 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 12 Core Weight: 1 Total Weight: 37 0.00/0.09 c Current CPU time: 0.079987 s 0.00/0.09 c 0.00/0.09 c core #38 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 31 Core Weight: 1 Total Weight: 38 0.00/0.09 c Current CPU time: 0.081987 s 0.00/0.09 c 0.00/0.09 c core #39 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 7 Core Weight: 1 Total Weight: 39 0.00/0.09 c Current CPU time: 0.083987 s 0.00/0.09 c 0.00/0.09 c core #40 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 16 Core Weight: 1 Total Weight: 40 0.00/0.09 c Current CPU time: 0.086986 s 0.00/0.09 c 0.00/0.09 c core #41 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.09 c Current CPU time: 0.088986 s 0.00/0.09 c 0.00/0.09 c core #42 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c Core size: 21 Core Weight: 1 Total Weight: 42 0.00/0.09 c Current CPU time: 0.090986 s 0.00/0.09 c 0.00/0.09 c core #43 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 9 Core Weight: 1 Total Weight: 43 0.10/0.18 c Current CPU time: 0.092985 s 0.10/0.18 c 0.10/0.18 c core #44 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 10 Core Weight: 1 Total Weight: 44 0.10/0.18 c Current CPU time: 0.094985 s 0.10/0.18 c 0.10/0.18 c core #45 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 33 Core Weight: 1 Total Weight: 45 0.10/0.18 c Current CPU time: 0.096985 s 0.10/0.18 c 0.10/0.18 c core #46 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 18 Core Weight: 1 Total Weight: 46 0.10/0.18 c Current CPU time: 0.098984 s 0.10/0.18 c 0.10/0.18 c core #47 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 19 Core Weight: 1 Total Weight: 47 0.10/0.18 c Current CPU time: 0.101984 s 0.10/0.18 c 0.10/0.18 c core #48 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 5 Core Weight: 1 Total Weight: 48 0.10/0.18 c Current CPU time: 0.103984 s 0.10/0.18 c 0.10/0.18 c core #49 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 14 Core Weight: 1 Total Weight: 49 0.10/0.18 c Current CPU time: 0.105983 s 0.10/0.18 c 0.10/0.18 c core #50 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 21 Core Weight: 1 Total Weight: 50 0.10/0.18 c Current CPU time: 0.107983 s 0.10/0.18 c 0.10/0.18 c core #51 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 9 Core Weight: 1 Total Weight: 51 0.10/0.18 c Current CPU time: 0.109983 s 0.10/0.18 c 0.10/0.18 c core #52 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 11 Core Weight: 1 Total Weight: 52 0.10/0.18 c Current CPU time: 0.111982 s 0.10/0.18 c 0.10/0.18 c core #53 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 10 Core Weight: 1 Total Weight: 53 0.10/0.18 c Current CPU time: 0.114982 s 0.10/0.18 c 0.10/0.18 c core #54 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 17 Core Weight: 1 Total Weight: 54 0.10/0.18 c Current CPU time: 0.116982 s 0.10/0.18 c 0.10/0.18 c core #55 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 16 Core Weight: 1 Total Weight: 55 0.10/0.18 c Current CPU time: 0.118981 s 0.10/0.18 c 0.10/0.18 c core #56 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 13 Core Weight: 1 Total Weight: 56 0.10/0.18 c Current CPU time: 0.120981 s 0.10/0.18 c 0.10/0.18 c core #57 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 4 Core Weight: 1 Total Weight: 57 0.10/0.18 c Current CPU time: 0.122981 s 0.10/0.18 c 0.10/0.18 c core #58 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 15 Core Weight: 1 Total Weight: 58 0.10/0.18 c Current CPU time: 0.12598 s 0.10/0.18 c 0.10/0.18 c core #59 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 15 Core Weight: 1 Total Weight: 59 0.10/0.18 c Current CPU time: 0.12798 s 0.10/0.18 c 0.10/0.18 c core #60 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 19 Core Weight: 1 Total Weight: 60 0.10/0.18 c Current CPU time: 0.12998 s 0.10/0.18 c 0.10/0.18 c core #61 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 27 Core Weight: 1 Total Weight: 61 0.10/0.18 c Current CPU time: 0.131979 s 0.10/0.18 c 0.10/0.18 c core #62 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 6 Core Weight: 1 Total Weight: 62 0.10/0.18 c Current CPU time: 0.134979 s 0.10/0.18 c 0.10/0.18 c core #63 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 18 Core Weight: 1 Total Weight: 63 0.10/0.18 c Current CPU time: 0.136979 s 0.10/0.18 c 0.10/0.18 c core #64 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 13 Core Weight: 1 Total Weight: 64 0.10/0.18 c Current CPU time: 0.138978 s 0.10/0.18 c 0.10/0.18 c core #65 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 18 Core Weight: 1 Total Weight: 65 0.10/0.18 c Current CPU time: 0.140978 s 0.10/0.18 c 0.10/0.18 c core #66 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 14 Core Weight: 1 Total Weight: 66 0.10/0.18 c Current CPU time: 0.143978 s 0.10/0.18 c 0.10/0.18 c core #67 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 18 Core Weight: 1 Total Weight: 67 0.10/0.18 c Current CPU time: 0.145977 s 0.10/0.18 c 0.10/0.18 c core #68 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 19 Core Weight: 1 Total Weight: 68 0.10/0.18 c Current CPU time: 0.147977 s 0.10/0.18 c 0.10/0.18 c core #69 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 9 Core Weight: 1 Total Weight: 69 0.10/0.18 c Current CPU time: 0.150977 s 0.10/0.18 c 0.10/0.18 c core #70 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 23 Core Weight: 1 Total Weight: 70 0.10/0.18 c Current CPU time: 0.152976 s 0.10/0.18 c 0.10/0.18 c core #71 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 12 Core Weight: 1 Total Weight: 71 0.10/0.18 c Current CPU time: 0.154976 s 0.10/0.18 c 0.10/0.18 c core #72 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 10 Core Weight: 1 Total Weight: 72 0.10/0.18 c Current CPU time: 0.157975 s 0.10/0.18 c 0.10/0.18 c core #73 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 11 Core Weight: 1 Total Weight: 73 0.10/0.18 c Current CPU time: 0.159975 s 0.10/0.18 c 0.10/0.18 c core #74 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 7 Core Weight: 1 Total Weight: 74 0.10/0.18 c Current CPU time: 0.161975 s 0.10/0.18 c 0.10/0.18 c core #75 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 13 Core Weight: 1 Total Weight: 75 0.10/0.18 c Current CPU time: 0.164974 s 0.10/0.18 c 0.10/0.18 c core #76 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 17 Core Weight: 1 Total Weight: 76 0.10/0.18 c Current CPU time: 0.166974 s 0.10/0.18 c 0.10/0.18 c core #77 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 14 Core Weight: 1 Total Weight: 77 0.10/0.18 c Current CPU time: 0.168974 s 0.10/0.18 c 0.10/0.18 c core #78 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 25 Core Weight: 1 Total Weight: 78 0.10/0.18 c Current CPU time: 0.171973 s 0.10/0.18 c 0.10/0.18 c core #79 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 6 Core Weight: 1 Total Weight: 79 0.10/0.18 c Current CPU time: 0.173973 s 0.10/0.18 c 0.10/0.18 c core #80 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 28 Core Weight: 1 Total Weight: 80 0.10/0.18 c Current CPU time: 0.175973 s 0.10/0.18 c 0.10/0.18 c core #81 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 10 Core Weight: 1 Total Weight: 81 0.10/0.18 c Current CPU time: 0.178972 s 0.10/0.18 c 0.10/0.18 c core #82 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 31 Core Weight: 1 Total Weight: 82 0.10/0.18 c Current CPU time: 0.180972 s 0.10/0.18 c 0.10/0.18 c core #83 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 15 Core Weight: 1 Total Weight: 83 0.10/0.18 c Current CPU time: 0.182972 s 0.10/0.18 c 0.10/0.18 c core #84 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 21 Core Weight: 1 Total Weight: 84 0.10/0.18 c Current CPU time: 0.185971 s 0.19/0.24 c 0.19/0.24 c core #85 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 21 Core Weight: 1 Total Weight: 85 0.19/0.24 c Current CPU time: 0.187971 s 0.19/0.24 c 0.19/0.24 c core #86 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 12 Core Weight: 1 Total Weight: 86 0.19/0.24 c Current CPU time: 0.19097 s 0.19/0.24 c 0.19/0.24 c core #87 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 17 Core Weight: 1 Total Weight: 87 0.19/0.24 c Current CPU time: 0.19397 s 0.19/0.24 c 0.19/0.24 c core #88 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 31 Core Weight: 1 Total Weight: 88 0.19/0.24 c Current CPU time: 0.19597 s 0.19/0.24 c 0.19/0.24 c core #89 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 26 Core Weight: 1 Total Weight: 89 0.19/0.24 c Current CPU time: 0.198969 s 0.19/0.24 c 0.19/0.24 c core #90 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 16 Core Weight: 1 Total Weight: 90 0.19/0.24 c Current CPU time: 0.200969 s 0.19/0.24 c 0.19/0.24 c core #91 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 13 Core Weight: 1 Total Weight: 91 0.19/0.24 c Current CPU time: 0.203968 s 0.19/0.24 c 0.19/0.24 c core #92 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 19 Core Weight: 1 Total Weight: 92 0.19/0.24 c Current CPU time: 0.205968 s 0.19/0.24 c 0.19/0.24 c core #93 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 93 0.19/0.24 c Current CPU time: 0.208968 s 0.19/0.24 c 0.19/0.24 c core #94 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 94 0.19/0.24 c Current CPU time: 0.210967 s 0.19/0.24 c 0.19/0.24 c core #95 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 95 0.19/0.24 c Current CPU time: 0.213967 s 0.19/0.24 c 0.19/0.24 c core #96 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 16 Core Weight: 1 Total Weight: 96 0.19/0.24 c Current CPU time: 0.215967 s 0.19/0.24 c 0.19/0.24 c core #97 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 30 Core Weight: 1 Total Weight: 97 0.19/0.24 c Current CPU time: 0.218966 s 0.19/0.24 c 0.19/0.24 c core #98 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 98 0.19/0.24 c Current CPU time: 0.221966 s 0.19/0.24 c 0.19/0.24 c core #99 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 99 0.19/0.24 c Current CPU time: 0.223965 s 0.19/0.24 c 0.19/0.24 c core #100 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 37 Core Weight: 1 Total Weight: 100 0.19/0.24 c Current CPU time: 0.226965 s 0.19/0.24 c 0.19/0.24 c core #101 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 40 Core Weight: 1 Total Weight: 101 0.19/0.24 c Current CPU time: 0.229965 s 0.19/0.24 c 0.19/0.24 c core #102 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 36 Core Weight: 1 Total Weight: 102 0.19/0.24 c Current CPU time: 0.231964 s 0.19/0.24 c 0.19/0.24 c core #103 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 24 Core Weight: 1 Total Weight: 103 0.19/0.24 c Current CPU time: 0.234964 s 0.19/0.24 c 0.19/0.24 c core #104 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 95 Core Weight: 1 Total Weight: 104 0.19/0.24 c Current CPU time: 0.236963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 3247 5178 14904 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #105 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 71 Core Weight: 1 Total Weight: 105 0.19/0.24 c Current CPU time: 0.239963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 3461 5179 15111 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.25 c core #106 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 56 Core Weight: 1 Total Weight: 106 0.19/0.25 c Current CPU time: 0.243962 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 3627 5180 15301 | 5000 0 -nan | 0.000 % | 0.19/0.25 c | 100 | 3623 5180 15301 | 5500 100 15 | 45.445 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #107 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 375 Core Weight: 1 Total Weight: 107 0.19/0.25 c Current CPU time: 0.251961 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 4265 5181 16220 | 5000 0 -nan | 0.000 % | 0.19/0.26 c | 101 | 4257 5181 16220 | 5500 101 12 | 39.637 % | 0.19/0.27 c | 257 | 4222 5181 16220 | 6050 257 22 | 42.578 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #108 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 237 Core Weight: 1 Total Weight: 108 0.19/0.28 c Current CPU time: 0.270958 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 4573 5182 16758 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 100 | 4573 5182 16758 | 5500 100 33 | 36.802 % | 0.19/0.29 c | 250 | 4566 5182 16758 | 6050 250 28 | 36.899 % | 0.29/0.30 c | 475 | 4556 5182 16758 | 6655 475 32 | 37.037 % | 0.29/0.31 c | 818 | 4526 5182 16758 | 7320 818 51 | 37.452 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #109 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 466 Core Weight: 1 Total Weight: 109 0.29/0.32 c Current CPU time: 0.313952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 5188 5183 17819 | 5000 0 -nan | 0.000 % | 0.29/0.33 c | 100 | 5184 5183 17819 | 5500 100 29 | 32.693 % | 0.29/0.35 c | 250 | 5178 5183 17819 | 6050 250 49 | 32.770 % | 0.29/0.37 c | 477 | 5177 5183 17819 | 6655 477 48 | 32.770 % | 0.29/0.39 c | 815 | 5176 5183 17819 | 7320 815 50 | 32.770 % | 0.39/0.44 c | 1322 | 5176 5183 17819 | 8052 1322 73 | 32.770 % | 0.49/0.52 c | 2082 | 5176 5183 17819 | 8857 2082 110 | 32.770 % | 0.59/0.64 c | 3221 | 5176 5183 17819 | 9743 3221 104 | 32.770 % | 0.79/0.87 c | 4929 | 5174 5183 17819 | 10717 4929 159 | 32.796 % | 1.21/1.28 c | 7491 | 5174 5183 17819 | 11789 7491 201 | 32.796 % | 1.79/1.85 c | 11338 | 5174 5183 17819 | 12968 11338 198 | 32.796 % | 2.79/2.83 c =============================================================================== 2.79/2.90 c core #110 2.79/2.90 c 2.79/2.90 c 2.79/2.90 c Core size: 798 Core Weight: 1 Total Weight: 110 2.79/2.90 c Current CPU time: 2.83357 s 2.79/2.90 c 2.79/2.90 c ============================[ Search Statistics ]============================== 2.79/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.90 c =============================================================================== 2.79/2.90 c | 0 | 6287 5184 19686 | 5000 0 -nan | 0.000 % | 2.89/2.90 c | 100 | 6285 5184 19686 | 5500 100 64 | 25.963 % | 2.89/2.91 c | 250 | 6285 5184 19686 | 6050 250 75 | 25.963 % | 2.89/2.94 c | 475 | 6285 5184 19686 | 6655 475 77 | 25.963 % | 2.89/2.99 c | 812 | 6285 5184 19686 | 7320 812 118 | 25.963 % | 2.99/3.05 c | 1318 | 6285 5184 19686 | 8052 1318 136 | 25.963 % | 3.09/3.14 c | 2080 | 6285 5184 19686 | 8857 2080 139 | 25.963 % | 3.19/3.27 c | 3219 | 6285 5184 19686 | 9743 3219 145 | 25.963 % | 3.49/3.52 c | 4938 | 6285 5184 19686 | 10717 4938 202 | 25.963 % | 4.09/4.17 c | 7500 | 6285 5184 19686 | 11789 7500 262 | 25.963 % | 4.89/4.99 c | 11345 | 6285 5184 19686 | 12968 11345 276 | 25.963 % | 6.50/6.61 c | 17114 | 6285 5184 19686 | 14265 9365 280 | 25.963 % | 10.01/10.06 c | 25763 | 6285 5184 19686 | 15692 9702 237 | 25.963 % | 14.09/14.12 c | 38737 | 6281 5184 19686 | 17261 13062 306 | 26.034 % | 21.09/21.20 c | 58198 | 6278 5184 19686 | 18987 12663 558 | 26.057 % | 33.89/33.98 c | 87390 | 6277 5184 19686 | 20886 19917 554 | 26.081 % | 53.59/53.65 c | 131181 | 6275 5184 19686 | 22974 16281 705 | 26.081 % | 76.40/76.48 c =============================================================================== 77.60/77.62 c core #111 77.60/77.62 c 77.60/77.62 c 77.60/77.62 c Core size: 1423 Core Weight: 1 Total Weight: 111 77.60/77.62 c Current CPU time: 76.8863 s 77.60/77.62 c 77.60/77.62 c ============================[ Search Statistics ]============================== 77.60/77.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.60/77.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.60/77.62 c =============================================================================== 77.60/77.62 c | 0 | 8011 5185 22829 | 5000 0 -nan | 0.000 % | 77.60/77.63 c | 100 | 8011 5185 22829 | 5500 100 44 | 19.146 % | 77.60/77.64 c | 251 | 8011 5185 22829 | 6050 251 73 | 19.146 % | 77.60/77.66 c | 476 | 8011 5185 22829 | 6655 476 84 | 19.146 % | 77.69/77.71 c | 813 | 8009 5185 22829 | 7320 813 116 | 19.166 % | 77.69/77.79 c | 1323 | 8009 5185 22829 | 8052 1323 142 | 19.166 % | 77.89/77.98 c | 2082 | 8009 5185 22829 | 8857 2082 144 | 19.166 % | 77.99/78.11 c | 3221 | 8009 5185 22829 | 9743 3221 145 | 19.166 % | 78.39/78.41 c | 4934 | 8009 5185 22829 | 10717 4934 171 | 19.166 % | 79.09/79.21 c | 7498 | 8009 5185 22829 | 11789 7498 248 | 19.166 % | 80.49/80.56 c | 11342 | 8009 5185 22829 | 12968 11342 298 | 19.166 % | 82.50/82.60 c | 17112 | 8009 5185 22829 | 14265 9367 482 | 19.166 % | 86.09/86.13 c | 25761 | 8009 5185 22829 | 15692 9581 545 | 19.166 % | 90.59/90.61 c | 38735 | 8007 5185 22829 | 17261 11883 417 | 19.187 % | 99.19/99.21 c | 58196 | 8007 5185 22829 | 18987 11046 655 | 19.187 % | 107.99/108.05 c =============================================================================== 107.99/108.08 c core #112 107.99/108.08 c 107.99/108.08 c 107.99/108.08 c Core size: 29 Core Weight: 1 Total Weight: 112 107.99/108.08 c Current CPU time: 107.15 s 107.99/108.08 c 107.99/108.08 c ============================[ Search Statistics ]============================== 107.99/108.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.99/108.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.99/108.08 c =============================================================================== 107.99/108.08 c | 0 | 8053 5186 22897 | 5000 0 -nan | 0.000 % | 107.99/108.09 c | 100 | 8053 5186 22897 | 5500 100 73 | 18.935 % | 108.09/108.11 c | 252 | 8053 5186 22897 | 6050 252 91 | 18.935 % | 108.09/108.19 c | 477 | 8053 5186 22897 | 6655 477 133 | 18.935 % | 108.19/108.23 c | 814 | 8053 5186 22897 | 7320 814 211 | 18.935 % | 108.30/108.36 c | 1320 | 8053 5186 22897 | 8052 1320 162 | 18.935 % | 108.39/108.44 c | 2079 | 8053 5186 22897 | 8857 2079 191 | 18.935 % | 108.59/108.68 c | 3219 | 8053 5186 22897 | 9743 3219 206 | 18.935 % | 108.91/108.93 c | 4928 | 8053 5186 22897 | 10717 4928 269 | 18.935 % | 109.39/109.45 c | 7490 | 8053 5186 22897 | 11789 7490 291 | 18.935 % | 110.39/110.40 c | 11334 | 8051 5186 22897 | 12968 11334 308 | 18.955 % | 112.50/112.52 c | 17104 | 8051 5186 22897 | 14265 9454 423 | 18.955 % | 116.39/116.43 c | 25756 | 8051 5186 22897 | 15692 9420 597 | 18.955 % | 121.99/122.03 c | 38732 | 8051 5186 22897 | 17261 13335 474 | 18.955 % | 135.31/135.37 c | 58194 | 8051 5186 22897 | 18987 13018 668 | 18.955 % | 152.69/152.72 c | 87387 | 8051 5186 22897 | 20886 19501 640 | 18.955 % | 170.51/170.61 c | 131176 | 8051 5186 22897 | 22974 16448 501 | 18.955 % | 199.59/199.62 c | 196860 | 8051 5186 22897 | 25272 23230 574 | 18.955 % | 261.99/262.04 c | 295386 | 8051 5186 22897 | 27799 14554 776 | 18.955 % | 365.70/365.79 c | 443175 | 8044 5186 22897 | 30579 24587 693 | 19.056 % | 505.02/505.06 c | 664858 | 8041 5186 22897 | 33637 28403 835 | 19.056 % | 727.41/727.46 c | 997383 | 8037 5186 22897 | 37001 32440 495 | 19.096 % | 1137.82/1137.85 c | 1496171 | 8029 5186 22897 | 40701 24750 901 | 19.177 % |
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-3461372-1307081684/watcher-3461372-1307081684 -o /tmp/evaluation-result-3461372-1307081684/solver-3461372-1307081684 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461372-1307081684.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.00 2/473 23855 /proc/meminfo: memFree=20018140/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=5024 CPUtime=0.01 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 1057 0 0 0 1 0 0 0 25 0 1 0 819768097 5144576 975 33554432000 4194304 5714214 140733229606416 18446744073709551615 4299024 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 1256 975 172 372 0 881 0 [startup+0.106866 s] /proc/loadavg: 2.00 2.03 2.00 2/473 23855 /proc/meminfo: memFree=20018140/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=6336 CPUtime=0.1 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 1753 0 0 0 10 0 0 0 25 0 1 0 819768097 6488064 1315 33554432000 4194304 5714214 140733229606416 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 1584 1315 175 372 0 1209 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6336 [startup+0.20085 s] /proc/loadavg: 2.00 2.03 2.00 2/473 23855 /proc/meminfo: memFree=20018140/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=7492 CPUtime=0.19 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 2293 0 0 0 19 0 0 0 25 0 1 0 819768097 7671808 1559 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 1873 1559 175 372 0 1498 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7492 [startup+0.300798 s] /proc/loadavg: 2.00 2.03 2.00 2/473 23855 /proc/meminfo: memFree=20018140/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=7080 CPUtime=0.29 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 2714 0 0 0 29 0 0 0 18 0 1 0 819768097 7249920 1541 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 1770 1541 180 372 0 1395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7080 [startup+0.700738 s] /proc/loadavg: 2.00 2.03 2.00 2/473 23855 /proc/meminfo: memFree=20018140/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=8440 CPUtime=0.69 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 3022 0 0 0 67 2 0 0 18 0 1 0 819768097 8642560 1849 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 2110 1849 180 372 0 1735 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8440 [startup+1.5006 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23856 /proc/meminfo: memFree=20006476/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=15524 CPUtime=1.49 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 4799 0 0 0 145 4 0 0 19 0 1 0 819768097 15896576 3626 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 3881 3626 180 372 0 3506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15524 [startup+3.10024 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23856 /proc/meminfo: memFree=19996184/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=25288 CPUtime=3.09 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 7199 0 0 0 302 7 0 0 23 0 1 0 819768097 25894912 6026 33554432000 4194304 5714214 140733229606416 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 6322 6026 180 372 0 5947 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25288 [startup+6.30079 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23856 /proc/meminfo: memFree=19986560/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=28324 CPUtime=6.29 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 7995 0 0 0 618 11 0 0 25 0 1 0 819768097 29003776 6822 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 7081 6822 180 372 0 6706 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28324 [startup+12.7006 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23856 /proc/meminfo: memFree=19979024/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=33888 CPUtime=12.69 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 9335 0 0 0 1252 17 0 0 25 0 1 0 819768097 34701312 8162 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319190 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 8472 8162 180 372 0 8097 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33888 [startup+25.5004 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23857 /proc/meminfo: memFree=19934000/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=77284 CPUtime=25.49 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 20207 0 0 0 2518 31 0 0 25 0 1 0 819768097 79138816 19034 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 19321 19034 180 372 0 18946 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77284 [startup+51.1008 s] /proc/loadavg: 2.15 2.05 2.01 3/474 23857 /proc/meminfo: memFree=19907564/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=103840 CPUtime=51.1 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 26851 0 0 0 5061 49 0 0 25 0 1 0 819768097 106332160 25678 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 25960 25678 180 372 0 25585 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 103840 [startup+102.301 s] /proc/loadavg: 1.99 2.03 2.00 3/474 23888 /proc/meminfo: memFree=20277216/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=121584 CPUtime=102.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 31321 0 0 0 10144 86 0 0 25 0 1 0 819768097 124502016 30148 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 30396 30148 180 372 0 30021 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 121584 [startup+162.3 s] /proc/loadavg: 1.99 2.02 2.00 3/474 23919 /proc/meminfo: memFree=20277696/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=115736 CPUtime=162.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 31331 0 0 0 16102 128 0 0 25 0 1 0 819768097 118513664 28697 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 28934 28697 180 372 0 28559 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 115736 [startup+222.318 s] /proc/loadavg: 1.99 2.02 2.00 3/474 23921 /proc/meminfo: memFree=20178660/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=163528 CPUtime=222.31 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 43275 0 0 0 22065 166 0 0 25 0 1 0 819768097 167452672 40641 33554432000 4194304 5714214 140733229606416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 40882 40641 180 372 0 40507 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 163528 [startup+282.3 s] /proc/loadavg: 2.13 2.04 2.01 3/474 23923 /proc/meminfo: memFree=20113516/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=191684 CPUtime=282.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 50304 0 0 0 28032 198 0 0 25 0 1 0 819768097 196284416 47670 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 47921 47670 180 372 0 47546 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 191684 [startup+342.301 s] /proc/loadavg: 2.11 2.05 2.01 3/474 23924 /proc/meminfo: memFree=20029148/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=217000 CPUtime=342.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 56628 0 0 0 34007 223 0 0 25 0 1 0 819768097 222208000 53994 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 54250 53994 180 372 0 53875 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 217000 [startup+402.301 s] /proc/loadavg: 2.04 2.04 2.00 3/474 23926 /proc/meminfo: memFree=20008528/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=217000 CPUtime=402.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 56629 0 0 0 39967 263 0 0 25 0 1 0 819768097 222208000 53995 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 54250 53995 180 372 0 53875 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 217000 [startup+462.301 s] /proc/loadavg: 2.01 2.03 2.00 3/474 23927 /proc/meminfo: memFree=19915256/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=267668 CPUtime=462.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 69247 0 0 0 45939 291 0 0 25 0 1 0 819768097 274092032 66613 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 66917 66613 180 372 0 66542 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 267668 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23929 /proc/meminfo: memFree=19861892/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=285856 CPUtime=522.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 73787 0 0 0 51912 318 0 0 25 0 1 0 819768097 292716544 71153 33554432000 4194304 5714214 140733229606416 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 71464 71153 180 372 0 71089 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 285856 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23931 /proc/meminfo: memFree=19811624/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=303208 CPUtime=582.3 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 78113 0 0 0 57887 343 0 0 25 0 1 0 819768097 310484992 75479 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 75802 75479 180 372 0 75427 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 303208 [startup+642.301 s] ################ # More data... # ################ [startup+882.318 s] /proc/loadavg: 2.07 2.04 2.01 3/474 23939 /proc/meminfo: memFree=19518784/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=403068 CPUtime=882.33 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 102976 0 0 0 87766 467 0 0 25 0 1 0 819768097 412741632 100342 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 100767 100342 180 372 0 100392 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 403068 [startup+942.301 s] /proc/loadavg: 2.06 2.05 2.01 3/474 23940 /proc/meminfo: memFree=19473740/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=427744 CPUtime=942.31 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 109132 0 0 0 93742 489 0 0 25 0 1 0 819768097 438009856 106498 33554432000 4194304 5714214 140733229606416 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 106936 106498 180 372 0 106561 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 427744 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/474 23942 /proc/meminfo: memFree=19408356/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=460692 CPUtime=1002.31 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 117362 0 0 0 99709 522 0 0 25 0 1 0 819768097 471748608 114728 33554432000 4194304 5714214 140733229606416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 115173 114728 180 372 0 114798 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 460692 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23943 /proc/meminfo: memFree=19355236/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=481144 CPUtime=1062.32 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 122467 0 0 0 105693 539 0 0 25 0 1 0 819768097 492691456 119833 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 120286 119833 180 372 0 119911 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 481144 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23945 /proc/meminfo: memFree=19298540/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=511152 CPUtime=1122.32 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 129953 0 0 0 111677 555 0 0 25 0 1 0 819768097 523419648 127319 33554432000 4194304 5714214 140733229606416 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 127788 127319 180 372 0 127413 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 511152 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23947 /proc/meminfo: memFree=19247040/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=549652 CPUtime=1182.32 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 139557 0 0 0 117658 574 0 0 25 0 1 0 819768097 562843648 136923 33554432000 4194304 5714214 140733229606416 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 137413 136923 180 372 0 137038 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 549652 [startup+1242.3 s] /proc/loadavg: 2.09 2.04 2.01 3/474 23948 /proc/meminfo: memFree=19195936/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=562280 CPUtime=1242.32 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 142945 0 0 0 123642 590 0 0 25 0 1 0 819768097 575774720 140109 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 140570 140109 180 372 0 140195 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 562280 [startup+1302.3 s] /proc/loadavg: 2.03 2.03 2.00 3/474 23950 /proc/meminfo: memFree=19148412/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=562280 CPUtime=1302.32 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 142946 0 0 0 129622 610 0 0 25 0 1 0 819768097 575774720 140110 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 140570 140110 180 372 0 140195 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 562280 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/474 23951 /proc/meminfo: memFree=19121948/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=567208 CPUtime=1362.32 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 144156 0 0 0 135605 627 0 0 25 0 1 0 819768097 580820992 141320 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 141802 141320 180 372 0 141427 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 567208 [startup+1422.3 s] /proc/loadavg: 2.10 2.05 2.01 3/474 23953 /proc/meminfo: memFree=19072196/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=591672 CPUtime=1422.34 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 150272 0 0 0 141588 646 0 0 25 0 1 0 819768097 605872128 147436 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 147918 147436 180 372 0 147543 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 591672 [startup+1482.3 s] /proc/loadavg: 2.08 2.05 2.01 3/474 23955 /proc/meminfo: memFree=18971960/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=654452 CPUtime=1482.33 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 165911 0 0 0 147576 657 0 0 25 0 1 0 819768097 670158848 163075 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 163613 163075 180 372 0 163238 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 654452 [startup+1542.32 s] /proc/loadavg: 2.03 2.04 2.00 3/474 23956 /proc/meminfo: memFree=18937200/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=665244 CPUtime=1542.34 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 168988 0 0 0 153566 668 0 0 25 0 1 0 819768097 681209856 165800 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 166311 165800 180 372 0 165936 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 665244 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 23958 /proc/meminfo: memFree=18931572/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=665244 CPUtime=1602.33 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 168988 0 0 0 159547 686 0 0 25 0 1 0 819768097 681209856 165800 33554432000 4194304 5714214 140733229606416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 166311 165800 180 372 0 165936 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 665244 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23959 /proc/meminfo: memFree=18879960/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=677288 CPUtime=1662.33 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 171986 0 0 0 165535 698 0 0 25 0 1 0 819768097 693542912 168798 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319201 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 169322 168798 180 372 0 168947 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 677288 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23961 /proc/meminfo: memFree=18845336/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=694376 CPUtime=1722.33 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 176251 0 0 0 171514 719 0 0 25 0 1 0 819768097 711041024 173063 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 173594 173063 180 372 0 173219 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 694376 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.00 3/474 23963 /proc/meminfo: memFree=18818520/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=703136 CPUtime=1782.34 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 178474 0 0 0 177498 736 0 0 25 0 1 0 819768097 720011264 175286 33554432000 4194304 5714214 140733229606416 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 175784 175286 180 372 0 175409 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 703136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.03 2.00 3/474 23963 /proc/meminfo: memFree=18807108/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=703136 CPUtime=1800.05 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 178474 0 0 0 179264 741 0 0 25 0 1 0 819768097 720011264 175286 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 175784 175286 180 372 0 175409 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 703136 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.05 2.03 2.00 3/474 23963 /proc/meminfo: memFree=18807108/32950928 swapFree=61858088/67111528 [pid=23855] ppid=23853 vsize=703136 CPUtime=1800.05 cores=0,2,4,6 /proc/23855/stat : 23855 (wbo1.6) R 23853 23855 21173 0 -1 4202496 178474 0 0 0 179264 741 0 0 25 0 1 0 819768097 720011264 175286 33554432000 4194304 5714214 140733229606416 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23855/statm: 175784 175286 180 372 0 175409 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 703136 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.09 CPU user time (s): 1792.65 CPU system time (s): 7.44887 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 703136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.65 system time used= 7.44887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178474 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= 9 involuntary context switches= 2526 runsolver used 8.72267 second user time and 18.8711 second system time The end
Begin job on node125 at 2011-06-03 08:14:44 IDJOB=3461372 IDBENCH=2048 IDSOLVER=1953 FILE ID=node125/3461372-1307081684 RUNJOBID= node125-1307068628-22229 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461372-1307081684/watcher-3461372-1307081684 -o /tmp/evaluation-result-3461372-1307081684/solver-3461372-1307081684 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461372-1307081684.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=2124315679 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.74 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20018428 kB Buffers: 339248 kB Cached: 3466980 kB SwapCached: 3616 kB Active: 9214072 kB Inactive: 3373252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20018428 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 8778612 kB Mapped: 34832 kB Slab: 214196 kB PageTables: 62892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130436084 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= 73752 MiB End job on node125 at 2011-06-03 08:44:46