Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1588.88 | 1589.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb |
MD5SUM | 9633aa6e9fb6df7104bc0e43c44542c0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 165 |
Best CPU time to get the best result obtained on this benchmark | 1.89485 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 165 |
Optimality of the best value was proved | YES |
Number of variables | 1073 |
Total number of constraints | 832 |
Number of constraints which are clauses | 832 |
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 | 19 |
Number of terms in the objective function | 1073 |
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 | 1073 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1073 |
Number of bits of the biggest sum of numbers | 11 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876291-1245172179.opb. 0.00/0.00 c Instance file HOME/instance-1876291-1245172179.opb 0.00/0.00 c File size is 57348 bytes. 0.00/0.01 c Highest Coefficient sum: 20 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: 1073 | 0.00/0.01 c | Number Clauses: 1905 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 9 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 10 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 11 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 12 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 15 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 5 Core Weight: 1 Total Weight: 16 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 17 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #18 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 18 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #19 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 19 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #20 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 20 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #21 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 21 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #22 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 22 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #23 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 23 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #24 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 24 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #25 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 25 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #26 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 26 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #27 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 27 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #28 0.00/0.05 c Core size: 7 Core Weight: 1 Total Weight: 28 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #29 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 29 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #30 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 30 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #31 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 31 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #32 0.00/0.06 c Core size: 6 Core Weight: 1 Total Weight: 32 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #33 0.00/0.06 c Core size: 9 Core Weight: 1 Total Weight: 33 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #34 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: 34 0.06/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #35 0.06/0.07 c Core size: 5 Core Weight: 1 Total Weight: 35 0.06/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #36 0.06/0.07 c Core size: 6 Core Weight: 1 Total Weight: 36 0.06/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #37 0.06/0.07 c Core size: 6 Core Weight: 1 Total Weight: 37 0.06/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #38 0.06/0.07 c Core size: 6 Core Weight: 1 Total Weight: 38 0.06/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #39 0.06/0.08 c Core size: 10 Core Weight: 1 Total Weight: 39 0.06/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #40 0.06/0.08 c Core size: 10 Core Weight: 1 Total Weight: 40 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #41 0.06/0.08 c Core size: 6 Core Weight: 1 Total Weight: 41 0.06/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #42 0.06/0.08 c Core size: 3 Core Weight: 1 Total Weight: 42 0.06/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.06/0.08 c core #43 0.06/0.08 c Core size: 6 Core Weight: 1 Total Weight: 43 0.06/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #44 0.06/0.09 c Core size: 5 Core Weight: 1 Total Weight: 44 0.06/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #45 0.06/0.09 c Core size: 5 Core Weight: 1 Total Weight: 45 0.06/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #46 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 46 0.06/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #47 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 47 0.06/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #48 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 48 0.06/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.06/0.10 c core #49 0.06/0.10 c Core size: 12 Core Weight: 1 Total Weight: 49 0.06/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #50 0.09/0.10 c Core size: 12 Core Weight: 1 Total Weight: 50 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #51 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 51 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #52 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 52 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #53 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 53 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #54 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 54 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #55 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 55 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #56 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 56 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #57 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 57 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #58 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 58 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #59 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 59 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #60 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 60 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #61 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 61 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #62 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 62 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #63 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 63 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #64 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 64 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #65 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 65 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #66 0.09/0.13 c Core size: 9 Core Weight: 1 Total Weight: 66 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #67 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 67 0.09/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #68 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 68 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #69 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 69 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #70 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 70 0.09/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #71 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 71 0.09/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #72 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 72 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #73 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 73 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #74 0.09/0.15 c Core size: 5 Core Weight: 1 Total Weight: 74 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #75 0.09/0.15 c Core size: 5 Core Weight: 1 Total Weight: 75 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #76 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: 76 0.09/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #77 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 77 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #78 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 78 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #79 0.09/0.16 c Core size: 11 Core Weight: 1 Total Weight: 79 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #80 0.09/0.16 c Core size: 5 Core Weight: 1 Total Weight: 80 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #81 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 81 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #82 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 82 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #83 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 83 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #84 0.09/0.17 c Core size: 11 Core Weight: 1 Total Weight: 84 0.09/0.17 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #85 0.09/0.17 c Core size: 8 Core Weight: 1 Total Weight: 85 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #86 0.09/0.18 c Core size: 8 Core Weight: 1 Total Weight: 86 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #87 0.09/0.18 c Core size: 5 Core Weight: 1 Total Weight: 87 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #88 0.09/0.18 c Core size: 5 Core Weight: 1 Total Weight: 88 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #89 0.09/0.18 c Core size: 9 Core Weight: 1 Total Weight: 89 0.09/0.18 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #90 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 90 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #91 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 91 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #92 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 92 0.09/0.19 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #93 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 93 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.09/0.20 c core #94 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: 94 0.09/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #95 0.19/0.20 c Core size: 5 Core Weight: 1 Total Weight: 95 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #96 0.19/0.20 c Core size: 5 Core Weight: 1 Total Weight: 96 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #97 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 97 0.19/0.20 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #98 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 98 0.19/0.20 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #99 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 99 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #100 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 100 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #101 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 101 0.19/0.21 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #102 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 102 0.19/0.21 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #103 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 103 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #104 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 104 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #105 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: 105 0.19/0.22 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #106 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: 106 0.19/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #107 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 107 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #108 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 108 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #109 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 109 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #110 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 110 0.19/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #111 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 111 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #112 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 112 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #113 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 113 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #114 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 114 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #115 0.19/0.25 c Core size: 14 Core Weight: 1 Total Weight: 115 0.19/0.25 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #116 0.19/0.25 c Core size: 15 Core Weight: 1 Total Weight: 116 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #117 0.19/0.25 c Core size: 15 Core Weight: 1 Total Weight: 117 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #118 0.19/0.25 c Core size: 13 Core Weight: 1 Total Weight: 118 0.19/0.25 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #119 0.19/0.26 c Core size: 13 Core Weight: 1 Total Weight: 119 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #120 0.19/0.26 c Core size: 38 Core Weight: 1 Total Weight: 120 0.19/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #121 0.19/0.26 c Core size: 79 Core Weight: 1 Total Weight: 121 0.19/0.26 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #122 0.19/0.26 c Core size: 79 Core Weight: 1 Total Weight: 122 0.19/0.26 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #123 0.19/0.27 c Core size: 16 Core Weight: 1 Total Weight: 123 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #124 0.19/0.27 c Core size: 16 Core Weight: 1 Total Weight: 124 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #125 0.19/0.27 c Core size: 9 Core Weight: 1 Total Weight: 125 0.19/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #126 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 126 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 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 | 1407 2031 7486 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #127 0.19/0.28 c Core size: 15 Core Weight: 1 Total Weight: 127 0.19/0.28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 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 | 1419 2032 7508 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #128 0.19/0.28 c Core size: 55 Core Weight: 1 Total Weight: 128 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1471 2033 7616 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #129 0.19/0.29 c Core size: 89 Core Weight: 1 Total Weight: 129 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.19/0.30 c ============================[ Search Statistics ]============================== 0.19/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.30 c =============================================================================== 0.19/0.30 c | 0 | 1546 2034 7766 | 5000 0 nan | 0.000 % | 0.29/0.30 c | 117 | 1546 2034 7766 | 5500 117 43 | 22.273 % | 0.29/0.31 c | 269 | 1546 2034 7766 | 6050 269 51 | 22.273 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #130 0.29/0.33 c Core size: 27 Core Weight: 1 Total Weight: 130 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1581 2035 7822 | 5000 0 nan | 0.000 % | 0.29/0.34 c | 107 | 1581 2035 7822 | 5500 107 43 | 21.343 % | 0.29/0.35 c | 265 | 1581 2035 7822 | 6050 265 52 | 21.343 % | 0.29/0.37 c | 490 | 1581 2035 7822 | 6655 490 58 | 21.343 % | 0.39/0.41 c | 827 | 1579 2035 7822 | 7320 826 59 | 21.443 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #131 0.39/0.43 c Core size: 21 Core Weight: 1 Total Weight: 131 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 1594 2036 7847 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #132 0.39/0.44 c Core size: 58 Core Weight: 1 Total Weight: 132 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 1638 2037 7932 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 1620 2037 7932 | 5500 70 15 | 21.474 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #133 0.39/0.45 c Core size: 102 Core Weight: 1 Total Weight: 133 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 1732 2038 8109 | 5000 0 nan | 0.000 % | 0.39/0.46 c | 104 | 1732 2038 8109 | 5500 104 53 | 19.292 % | 0.39/0.47 c | 255 | 1732 2038 8109 | 6050 255 50 | 19.292 % | 0.39/0.48 c | 481 | 1732 2038 8109 | 6655 481 50 | 19.292 % | 0.49/0.51 c | 821 | 1730 2038 8109 | 7320 820 47 | 19.385 % | 0.49/0.56 c | 1329 | 1730 2038 8109 | 8052 1328 50 | 19.385 % | 0.59/0.63 c | 2091 | 1730 2038 8109 | 8857 2090 51 | 19.385 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #134 0.59/0.64 c Core size: 33 Core Weight: 1 Total Weight: 134 0.59/0.64 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 1782 2039 8243 | 5000 0 nan | 0.000 % | 0.59/0.65 c | 105 | 1782 2039 8243 | 5500 105 16 | 17.880 % | 0.59/0.65 c | 257 | 1781 2039 8243 | 6050 257 19 | 17.926 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #135 0.59/0.65 c Core size: 18 Core Weight: 1 Total Weight: 135 0.59/0.65 c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1806 2040 8282 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #136 0.59/0.66 c Core size: 57 Core Weight: 1 Total Weight: 136 0.59/0.66 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 1861 2041 8392 | 5000 0 nan | 0.000 % | 0.59/0.67 c | 101 | 1861 2041 8392 | 5500 101 66 | 16.659 % | 0.59/0.67 c | 251 | 1861 2041 8392 | 6050 251 52 | 16.659 % | 0.59/0.69 c | 476 | 1861 2041 8392 | 6655 476 46 | 16.659 % | 0.69/0.72 c | 813 | 1861 2041 8392 | 7320 813 46 | 16.659 % | 0.69/0.76 c | 1319 | 1861 2041 8392 | 8052 1319 46 | 16.659 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #137 0.69/0.78 c Core size: 9 Core Weight: 1 Total Weight: 137 0.69/0.78 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 1869 2042 8406 | 5000 0 nan | 0.000 % | 0.69/0.78 c | 101 | 1869 2042 8406 | 5500 101 14 | 16.525 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #138 0.69/0.79 c Core size: 15 Core Weight: 1 Total Weight: 138 0.69/0.79 c Elapsed CPU time: 0.770882 s Remaining CPU time: 1799.23 s 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 1881 2043 8428 | 5000 0 nan | 0.000 % | 0.79/0.80 c | 103 | 1881 2043 8428 | 5500 103 29 | 16.363 % | 0.79/0.81 c | 254 | 1881 2043 8428 | 6050 254 26 | 16.363 % | 0.79/0.82 c | 485 | 1881 2043 8428 | 6655 485 27 | 16.363 % | 0.79/0.85 c | 832 | 1881 2043 8428 | 7320 832 28 | 16.363 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #139 0.79/0.88 c Core size: 18 Core Weight: 1 Total Weight: 139 0.79/0.88 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 1905 2044 8467 | 5000 0 nan | 0.000 % | 0.79/0.89 c | 105 | 1905 2044 8467 | 5500 105 77 | 15.857 % | 0.89/0.90 c | 256 | 1905 2044 8467 | 6050 256 80 | 15.857 % | 0.89/0.93 c | 485 | 1905 2044 8467 | 6655 485 70 | 15.857 % | 0.89/0.96 c | 822 | 1905 2044 8467 | 7320 822 64 | 15.857 % | 0.99/1.02 c | 1329 | 1902 2044 8467 | 8052 1328 59 | 15.989 % | 1.10/1.10 c | 2091 | 1901 2044 8467 | 8857 2090 56 | 16.122 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c core #140 1.10/1.16 c Core size: 15 Core Weight: 1 Total Weight: 140 1.10/1.16 c Elapsed CPU time: 1.13383 s Remaining CPU time: 1798.87 s 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 1917 2045 8489 | 5000 0 nan | 0.000 % | 1.10/1.17 c | 100 | 1917 2045 8489 | 5500 100 27 | 15.699 % | 1.10/1.18 c | 256 | 1917 2045 8489 | 6050 256 28 | 15.699 % | 1.19/1.20 c | 481 | 1915 2045 8489 | 6655 480 25 | 15.875 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c core #141 1.19/1.22 c Core size: 23 Core Weight: 1 Total Weight: 141 1.19/1.22 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 1945 2046 8535 | 5000 0 nan | 0.000 % | 1.19/1.23 c | 104 | 1945 2046 8535 | 5500 104 67 | 15.140 % | 1.19/1.25 c | 254 | 1945 2046 8535 | 6050 254 67 | 15.140 % | 1.19/1.26 c | 480 | 1945 2046 8535 | 6655 480 60 | 15.140 % | 1.19/1.29 c | 821 | 1945 2046 8535 | 7320 821 60 | 15.140 % | 1.29/1.34 c | 1329 | 1945 2046 8535 | 8052 1329 58 | 15.140 % | 1.39/1.43 c | 2088 | 1945 2046 8535 | 8857 2088 57 | 15.140 % | 1.49/1.59 c | 3227 | 1942 2046 8535 | 9743 3226 53 | 15.271 % | 1.69/1.72 c =============================================================================== 1.69/1.75 c core #142 1.69/1.75 c Core size: 112 Core Weight: 1 Total Weight: 142 1.69/1.75 c Elapsed CPU time: 1.71074 s Remaining CPU time: 1798.29 s 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 2034 2047 8712 | 5000 0 nan | 0.000 % | 1.69/1.76 c | 100 | 2034 2047 8712 | 5500 100 34 | 14.580 % | 1.69/1.78 c | 251 | 2033 2047 8712 | 6050 250 73 | 14.580 % | 1.69/1.79 c | 476 | 2033 2047 8712 | 6655 475 77 | 14.580 % | 1.79/1.82 c | 813 | 2033 2047 8712 | 7320 812 73 | 14.580 % | 1.79/1.87 c | 1321 | 2033 2047 8712 | 8052 1320 76 | 14.580 % | 1.89/1.98 c | 2083 | 2033 2047 8712 | 8857 2082 82 | 14.580 % | 2.09/2.13 c | 3222 | 2033 2047 8712 | 9743 3221 81 | 14.580 % | 2.29/2.33 c | 4930 | 2033 2047 8712 | 10717 4929 80 | 14.580 % | 2.69/2.74 c | 7496 | 2033 2047 8712 | 11789 7495 86 | 14.580 % | 3.89/3.95 c | 11344 | 2033 2047 8712 | 12968 11343 89 | 14.580 % | 5.49/5.50 c | 17117 | 2030 2047 8712 | 14265 10416 89 | 14.706 % | 7.29/7.34 c =============================================================================== 7.29/7.34 c core #143 7.29/7.34 c Core size: 18 Core Weight: 1 Total Weight: 143 7.29/7.34 c Elapsed CPU time: 7.2189 s Remaining CPU time: 1792.78 s 7.29/7.37 c ============================[ Search Statistics ]============================== 7.29/7.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.37 c =============================================================================== 7.29/7.37 c | 0 | 2045 2048 8734 | 5000 0 nan | 0.000 % | 7.29/7.38 c | 104 | 2045 2048 8734 | 5500 104 92 | 14.471 % | 7.29/7.39 c | 254 | 2045 2048 8734 | 6050 254 94 | 14.471 % | 7.39/7.42 c | 479 | 2045 2048 8734 | 6655 479 89 | 14.471 % | 7.39/7.46 c =============================================================================== 7.39/7.46 c core #144 7.39/7.46 c Core size: 15 Core Weight: 1 Total Weight: 144 7.39/7.46 c Elapsed CPU time: 7.33888 s Remaining CPU time: 1792.66 s 7.39/7.47 c ============================[ Search Statistics ]============================== 7.39/7.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.47 c =============================================================================== 7.39/7.47 c | 0 | 2057 2049 8756 | 5000 0 nan | 0.000 % | 7.39/7.47 c | 101 | 2056 2049 8756 | 5500 101 14 | 14.411 % | 7.39/7.48 c | 255 | 2056 2049 8756 | 6050 255 15 | 14.452 % | 7.39/7.49 c =============================================================================== 7.39/7.49 c core #145 7.39/7.49 c Core size: 135 Core Weight: 1 Total Weight: 145 7.39/7.49 c Elapsed CPU time: 7.36088 s Remaining CPU time: 1792.64 s 7.39/7.49 c ============================[ Search Statistics ]============================== 7.39/7.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.49 c =============================================================================== 7.39/7.49 c | 0 | 2167 2050 8948 | 5000 0 nan | 0.000 % | 7.39/7.50 c =============================================================================== 7.39/7.50 c core #146 7.39/7.50 c Core size: 27 Core Weight: 1 Total Weight: 146 7.39/7.50 c Elapsed CPU time: 7.36688 s Remaining CPU time: 1792.63 s 7.49/7.50 c ============================[ Search Statistics ]============================== 7.49/7.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.50 c =============================================================================== 7.49/7.50 c | 0 | 2189 2051 8992 | 5000 0 nan | 0.000 % | 7.49/7.50 c =============================================================================== 7.49/7.50 c core #147 7.49/7.50 c Core size: 23 Core Weight: 1 Total Weight: 147 7.49/7.50 c Elapsed CPU time: 7.37288 s Remaining CPU time: 1792.63 s 7.49/7.51 c ============================[ Search Statistics ]============================== 7.49/7.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.51 c =============================================================================== 7.49/7.51 c | 0 | 2204 2052 9020 | 5000 0 nan | 0.000 % | 7.49/7.51 c | 100 | 2203 2052 9020 | 5500 100 10 | 12.807 % | 7.49/7.52 c =============================================================================== 7.49/7.52 c core #148 7.49/7.52 c Core size: 67 Core Weight: 1 Total Weight: 148 7.49/7.52 c Elapsed CPU time: 7.38688 s Remaining CPU time: 1792.61 s 7.49/7.52 c ============================[ Search Statistics ]============================== 7.49/7.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.52 c =============================================================================== 7.49/7.52 c | 0 | 2259 2053 9130 | 5000 0 nan | 0.000 % | 7.49/7.53 c | 101 | 2259 2053 9130 | 5500 101 20 | 12.340 % | 7.49/7.54 c | 254 | 2259 2053 9130 | 6050 254 22 | 12.340 % | 7.49/7.55 c | 479 | 2259 2053 9130 | 6655 479 27 | 12.340 % | 7.49/7.57 c | 818 | 2259 2053 9130 | 7320 818 27 | 12.340 % | 7.49/7.59 c =============================================================================== 7.49/7.59 c core #149 7.49/7.59 c Core size: 110 Core Weight: 1 Total Weight: 149 7.49/7.59 c Elapsed CPU time: 7.45787 s Remaining CPU time: 1792.54 s 7.59/7.60 c ============================[ Search Statistics ]============================== 7.59/7.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.60 c =============================================================================== 7.59/7.60 c | 0 | 2355 2054 9314 | 5000 0 nan | 0.000 % | 7.59/7.61 c | 100 | 2355 2054 9314 | 5500 100 12 | 11.632 % | 7.59/7.61 c | 250 | 2354 2054 9314 | 6050 250 14 | 11.670 % | 7.59/7.62 c | 477 | 2354 2054 9314 | 6655 477 15 | 11.670 % | 7.59/7.65 c | 814 | 2354 2054 9314 | 7320 747 18 | 11.670 % | 7.59/7.68 c | 1320 | 2352 2054 9314 | 8052 1252 19 | 11.745 % | 7.59/7.69 c =============================================================================== 7.59/7.70 c core #150 7.59/7.70 c Core size: 173 Core Weight: 1 Total Weight: 150 7.59/7.70 c Elapsed CPU time: 7.55785 s Remaining CPU time: 1792.44 s 7.69/7.71 c ============================[ Search Statistics ]============================== 7.69/7.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.71 c =============================================================================== 7.69/7.71 c | 0 | 2477 2055 9546 | 5000 0 nan | 0.000 % | 7.69/7.71 c | 103 | 2477 2055 9546 | 5500 103 46 | 10.739 % | 7.69/7.73 c | 254 | 2477 2055 9546 | 6050 254 71 | 10.739 % | 7.69/7.75 c | 479 | 2477 2055 9546 | 6655 479 72 | 10.739 % | 7.69/7.78 c | 816 | 2477 2055 9546 | 7320 816 75 | 10.739 % | 7.79/7.83 c | 1322 | 2477 2055 9546 | 8052 1322 75 | 10.739 % | 7.88/7.93 c | 2081 | 2477 2055 9546 | 8857 2081 78 | 10.739 % | 8.09/8.15 c | 3220 | 2477 2055 9546 | 9743 3220 84 | 10.739 % | 8.59/8.63 c | 4931 | 2477 2055 9546 | 10717 4931 88 | 10.739 % | 9.19/9.28 c | 7494 | 2477 2055 9546 | 11789 7494 89 | 10.739 % | 10.09/10.10 c | 11340 | 2477 2055 9546 | 12968 11340 88 | 10.739 % | 11.49/11.56 c | 17106 | 2477 2055 9546 | 14265 10431 84 | 10.739 % | 13.89/13.90 c =============================================================================== 14.09/14.13 c core #151 14.09/14.13 c Core size: 133 Core Weight: 1 Total Weight: 151 14.09/14.13 c Elapsed CPU time: 13.8969 s Remaining CPU time: 1786.1 s 14.09/14.16 c ============================[ Search Statistics ]============================== 14.09/14.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.09/14.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.09/14.16 c =============================================================================== 14.09/14.16 c | 0 | 2579 2056 9750 | 5000 0 nan | 0.000 % | 14.09/14.17 c | 102 | 2578 2056 9750 | 5500 102 11 | 10.567 % | 14.09/14.18 c | 252 | 2573 2056 9750 | 6050 252 14 | 11.053 % | 14.09/14.19 c | 477 | 2559 2056 9750 | 6655 315 27 | 11.053 % | 14.19/14.22 c | 815 | 2559 2056 9750 | 7320 653 33 | 11.053 % | 14.19/14.26 c | 1321 | 2559 2056 9750 | 8052 1159 36 | 11.053 % | 14.29/14.33 c | 2080 | 2559 2056 9750 | 8857 1918 45 | 11.053 % | 14.39/14.45 c | 3220 | 2559 2056 9750 | 9743 3058 51 | 11.053 % | 14.69/14.72 c | 4928 | 2559 2056 9750 | 10717 4766 54 | 11.053 % | 15.09/15.15 c | 7492 | 2559 2056 9750 | 11789 7330 59 | 11.053 % | 15.88/15.96 c | 11336 | 2559 2056 9750 | 12968 11174 57 | 11.053 % | 17.18/17.28 c | 17106 | 2559 2056 9750 | 14265 10266 58 | 11.053 % | 19.19/19.23 c | 25755 | 2459 2056 9750 | 15692 3908 58 | 14.529 % | 19.29/19.35 c =============================================================================== 19.59/19.62 c core #152 19.59/19.62 c Core size: 107 Core Weight: 1 Total Weight: 152 19.59/19.62 c Elapsed CPU time: 19.3051 s Remaining CPU time: 1780.69 s 19.59/19.66 c ============================[ Search Statistics ]============================== 19.59/19.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.66 c =============================================================================== 19.59/19.66 c | 0 | 2665 2057 9918 | 5000 0 nan | 0.000 % | 19.59/19.67 c | 102 | 2665 2057 9918 | 5500 102 87 | 9.936 % | 19.59/19.68 c | 253 | 2665 2057 9918 | 6050 253 95 | 9.936 % | 19.69/19.70 c | 480 | 2665 2057 9918 | 6655 480 105 | 9.936 % | 19.69/19.75 c | 818 | 2665 2057 9918 | 7320 818 120 | 9.936 % | 19.79/19.86 c | 1326 | 2665 2057 9918 | 8052 1326 131 | 9.936 % | 19.99/20.03 c | 2085 | 2665 2057 9918 | 8857 2085 140 | 9.936 % | 20.28/20.32 c | 3224 | 2665 2057 9918 | 9743 3224 143 | 9.936 % | 20.69/20.75 c | 4932 | 2665 2057 9918 | 10717 4932 139 | 9.936 % | 21.69/21.74 c | 7494 | 2665 2057 9918 | 11789 7494 141 | 9.936 % | 23.58/23.64 c | 11339 | 2665 2057 9918 | 12968 11339 145 | 9.936 % | 25.69/25.70 c | 17107 | 2665 2057 9918 | 14265 10447 145 | 9.936 % | 29.69/29.77 c | 25760 | 2665 2057 9918 | 15692 11713 154 | 9.936 % | 33.68/33.77 c | 38734 | 2665 2057 9918 | 17261 8485 135 | 9.936 % | 40.98/41.09 c | 58195 | 2665 2057 9918 | 18987 10177 157 | 9.936 % | 53.37/53.47 c | 87390 | 2665 2057 9918 | 20886 10077 129 | 9.936 % | 74.68/74.70 c | 131184 | 2665 2057 9918 | 22974 11026 132 | 9.936 % | 107.17/107.25 c | 196868 | 2654 2057 9918 | 25272 18061 125 | 10.375 % | 130.56/130.67 c =============================================================================== 133.36/133.49 c core #153 133.36/133.49 c Core size: 118 Core Weight: 1 Total Weight: 153 133.36/133.49 c Elapsed CPU time: 132.091 s Remaining CPU time: 1667.91 s 133.66/133.76 c ============================[ Search Statistics ]============================== 133.66/133.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.66/133.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.66/133.76 c =============================================================================== 133.66/133.76 c | 0 | 2753 2058 10094 | 5000 0 nan | 0.000 % | 133.66/133.79 c | 102 | 2753 2058 10094 | 5500 102 29 | 9.649 % | 133.76/133.81 c | 252 | 2752 2058 10094 | 6050 252 27 | 9.714 % | 133.76/133.83 c | 478 | 2751 2058 10094 | 6655 477 28 | 9.780 % | 133.76/133.85 c | 815 | 2751 2058 10094 | 7320 814 31 | 9.780 % | 133.85/133.91 c | 1322 | 2749 2058 10094 | 8052 1320 33 | 9.780 % | 133.85/133.99 c | 2081 | 2747 2058 10094 | 8857 2077 42 | 9.846 % | 134.06/134.13 c | 3228 | 2747 2058 10094 | 9743 3224 51 | 9.846 % | 134.36/134.41 c | 4937 | 2747 2058 10094 | 10717 4933 62 | 9.846 % | 134.76/134.87 c | 7500 | 2747 2058 10094 | 11789 7496 69 | 9.847 % | 135.35/135.42 c =============================================================================== 135.45/135.52 c core #154 135.45/135.52 c Core size: 207 Core Weight: 1 Total Weight: 154 135.45/135.52 c Elapsed CPU time: 134.08 s Remaining CPU time: 1665.92 s 135.45/135.54 c ============================[ Search Statistics ]============================== 135.45/135.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.45/135.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.45/135.54 c =============================================================================== 135.45/135.54 c | 0 | 2891 2059 10364 | 5000 0 nan | 0.000 % | 135.45/135.56 c | 107 | 2891 2059 10364 | 5500 107 44 | 9.059 % | 135.45/135.57 c | 258 | 2891 2059 10364 | 6050 258 58 | 9.059 % | 135.45/135.58 c | 483 | 2891 2059 10364 | 6655 483 69 | 9.059 % | 135.56/135.62 c | 822 | 2891 2059 10364 | 7320 822 69 | 9.059 % | 135.56/135.66 c | 1329 | 2891 2059 10364 | 8052 1329 73 | 9.059 % | 135.66/135.74 c | 2090 | 2891 2059 10364 | 8857 2090 68 | 9.059 % | 135.75/135.88 c | 3229 | 2891 2059 10364 | 9743 3229 62 | 9.059 % | 136.05/136.10 c | 4938 | 2891 2059 10364 | 10717 4938 61 | 9.059 % | 136.36/136.40 c | 7501 | 2891 2059 10364 | 11789 7501 63 | 9.059 % | 136.96/137.09 c | 11345 | 2891 2059 10364 | 12968 11345 75 | 9.059 % | 138.86/138.96 c | 17114 | 2891 2059 10364 | 14265 10407 92 | 9.059 % | 141.65/141.73 c | 25763 | 2891 2059 10364 | 15692 11735 96 | 9.059 % | 145.86/145.97 c | 38737 | 2891 2059 10364 | 17261 8532 93 | 9.059 % | 152.55/152.65 c | 58198 | 2891 2059 10364 | 18987 10263 98 | 9.059 % | 164.35/164.49 c | 87391 | 2891 2059 10364 | 20886 10340 109 | 9.059 % | 183.24/183.38 c | 131180 | 2890 2059 10364 | 22974 11472 99 | 9.091 % | 185.75/185.87 c =============================================================================== 187.94/188.05 c core #155 187.94/188.05 c Core size: 134 Core Weight: 1 Total Weight: 155 187.94/188.05 c Elapsed CPU time: 186.131 s Remaining CPU time: 1613.87 s 188.14/188.23 c ============================[ Search Statistics ]============================== 188.14/188.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.23 c =============================================================================== 188.14/188.23 c | 0 | 2995 2060 10572 | 5000 0 nan | 0.000 % | 188.14/188.28 c | 106 | 2995 2060 10572 | 5500 106 143 | 8.772 % | 188.14/188.29 c | 257 | 2995 2060 10572 | 6050 257 141 | 8.772 % | 188.25/188.31 c | 483 | 2995 2060 10572 | 6655 483 107 | 8.772 % | 188.25/188.37 c | 823 | 2995 2060 10572 | 7320 823 117 | 8.772 % | 188.34/188.43 c | 1331 | 2995 2060 10572 | 8052 1331 117 | 8.772 % | 188.45/188.53 c | 2091 | 2995 2060 10572 | 8857 2091 131 | 8.772 % | 188.64/188.72 c | 3230 | 2995 2060 10572 | 9743 3230 135 | 8.772 % | 188.94/189.08 c | 4939 | 2995 2060 10572 | 10717 4939 131 | 8.772 % | 189.65/189.71 c | 7502 | 2995 2060 10572 | 11789 7502 135 | 8.772 % | 190.84/190.94 c | 11351 | 2995 2060 10572 | 12968 11351 142 | 8.772 % | 193.45/193.54 c | 17117 | 2995 2060 10572 | 14265 10417 160 | 8.772 % | 198.14/198.27 c | 25772 | 2995 2060 10572 | 15692 11700 169 | 8.772 % | 207.24/207.35 c | 38749 | 2995 2060 10572 | 17261 8640 167 | 8.772 % | 219.43/219.55 c | 58211 | 2995 2060 10572 | 18987 10424 129 | 8.772 % | 234.43/234.52 c | 87405 | 2989 2060 10572 | 20886 10412 136 | 8.955 % | 267.33/267.43 c | 131195 | 2989 2060 10572 | 22974 11237 156 | 8.955 % | 310.82/310.91 c | 196882 | 2989 2060 10572 | 25272 18194 164 | 8.955 % | 377.20/377.36 c | 295419 | 2983 2060 10572 | 27799 22821 197 | 9.138 % | 495.47/495.61 c | 443209 | 2967 2060 10572 | 30579 12152 175 | 10.082 % | 633.73/633.90 c | 664894 | 2951 2060 10572 | 33637 16785 145 | 10.113 % | 730.41/730.69 c =============================================================================== 745.01/745.28 c core #156 745.01/745.28 c Core size: 262 Core Weight: 1 Total Weight: 156 745.01/745.28 c Elapsed CPU time: 739.606 s Remaining CPU time: 1060.39 s 745.91/746.18 c ============================[ Search Statistics ]============================== 745.91/746.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 745.91/746.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 745.91/746.18 c =============================================================================== 745.91/746.18 c | 0 | 3201 2061 10992 | 5000 0 nan | 0.000 % | 746.01/746.28 c | 102 | 3201 2061 10992 | 5500 102 35 | 7.832 % | 746.10/746.35 c | 252 | 3201 2061 10992 | 6050 252 52 | 7.832 % | 746.10/746.37 c | 478 | 3201 2061 10992 | 6655 478 49 | 7.832 % | 746.20/746.41 c | 819 | 3201 2061 10992 | 7320 819 56 | 7.832 % | 746.20/746.46 c | 1325 | 3201 2061 10992 | 8052 1325 68 | 7.832 % | 746.30/746.56 c | 2088 | 3201 2061 10992 | 8857 2088 74 | 7.832 % | 746.50/746.73 c | 3228 | 3201 2061 10992 | 9743 3228 82 | 7.832 % | 746.81/747.05 c | 4936 | 3201 2061 10992 | 10717 4936 90 | 7.832 % | 747.71/747.91 c | 7498 | 3201 2061 10992 | 11789 7498 93 | 7.832 % | 749.10/749.35 c | 11343 | 3201 2061 10992 | 12968 11343 96 | 7.832 % | 750.70/750.95 c | 17110 | 3201 2061 10992 | 14265 10400 94 | 7.832 % | 753.21/753.49 c | 25760 | 3201 2061 10992 | 15692 11694 98 | 7.832 % | 758.50/758.72 c | 38735 | 3201 2061 10992 | 17261 8556 104 | 7.832 % | 767.20/767.40 c | 58200 | 3201 2061 10992 | 18987 10247 139 | 7.832 % | 781.00/781.25 c | 87392 | 3201 2061 10992 | 20886 10309 171 | 7.832 % | 805.09/805.35 c | 131191 | 3201 2061 10992 | 22974 11441 149 | 7.832 % | 838.08/838.33 c | 196877 | 3195 2061 10992 | 25272 18496 182 | 8.005 % | 948.45/948.77 c | 295403 | 3195 2061 10992 | 27799 22221 312 | 8.005 % | 1147.11/1147.45 c | 443194 | 3191 2061 10992 | 30579 13636 251 | 8.235 % | 1375.24/1375.66 c | 664877 | 3181 2061 10992 | 33637 30441 275 | 8.408 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876291-1245172179/watcher-1876291-1245172179 -o /tmp/evaluation-result-1876291-1245172179/solver-1876291-1245172179 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876291-1245172179.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.87 0.97 0.99 3/64 3583 /proc/meminfo: memFree=1920040/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=2728 CPUtime=0 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 232 0 0 0 0 0 0 0 18 0 1 0 184815202 2793472 216 1992294400 134512640 135709839 4294956240 18446744073709551615 135058279 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 682 216 127 292 0 372 0 [startup+0.069711 s] /proc/loadavg: 0.87 0.97 0.99 3/64 3583 /proc/meminfo: memFree=1920040/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=3048 CPUtime=0.06 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 357 0 0 0 6 0 0 0 18 0 1 0 184815202 3121152 326 1992294400 134512640 135709839 4294956240 18446744073709551615 134530311 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 762 326 133 292 0 467 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3048 [startup+0.101713 s] /proc/loadavg: 0.87 0.97 0.99 3/64 3583 /proc/meminfo: memFree=1920040/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=3048 CPUtime=0.09 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 370 0 0 0 9 0 0 0 18 0 1 0 184815202 3121152 339 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 762 339 133 292 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3048 [startup+0.301734 s] /proc/loadavg: 0.87 0.97 0.99 3/64 3583 /proc/meminfo: memFree=1920040/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=3544 CPUtime=0.29 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 486 0 0 0 29 0 0 0 19 0 1 0 184815202 3629056 455 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 886 455 135 292 0 591 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3544 [startup+0.701774 s] /proc/loadavg: 0.87 0.97 0.99 3/64 3583 /proc/meminfo: memFree=1920040/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=4600 CPUtime=0.69 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 745 0 0 0 68 1 0 0 22 0 1 0 184815202 4710400 714 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 1150 714 136 292 0 855 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4600 [startup+1.50185 s] /proc/loadavg: 0.87 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1917664/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=5000 CPUtime=1.49 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 862 0 0 0 146 3 0 0 25 0 1 0 184815202 5120000 831 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 1250 831 136 292 0 955 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5000 [startup+3.10201 s] /proc/loadavg: 0.87 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1916000/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=8740 CPUtime=3.09 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 1782 0 0 0 302 7 0 0 25 0 1 0 184815202 8949760 1751 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 2185 1751 136 292 0 1890 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8740 [startup+6.30233 s] /proc/loadavg: 0.88 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1908448/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=15828 CPUtime=6.29 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 3565 0 0 0 618 11 0 0 25 0 1 0 184815202 16207872 3534 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 3957 3534 136 292 0 3662 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15828 [startup+12.702 s] /proc/loadavg: 0.89 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1901416/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=21544 CPUtime=12.68 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 4994 0 0 0 1247 21 0 0 25 0 1 0 184815202 22061056 4963 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 5386 4963 136 292 0 5091 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21544 [startup+25.5012 s] /proc/loadavg: 0.91 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1885416/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=37360 CPUtime=25.48 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 8915 0 0 0 2511 37 0 0 25 0 1 0 184815202 38256640 8884 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 9340 8884 136 292 0 9045 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37360 [startup+51.1018 s] /proc/loadavg: 0.94 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1831848/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=91156 CPUtime=51.08 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 22371 0 0 0 5042 66 0 0 25 0 1 0 184815202 93343744 22340 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 22789 22340 136 292 0 22494 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 91156 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1746920/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=175056 CPUtime=102.27 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 43300 0 0 0 10111 116 0 0 25 0 1 0 184815202 179257344 43269 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 43764 43269 136 292 0 43469 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 175056 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1709416/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=212048 CPUtime=162.25 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 52632 0 0 0 16058 167 0 0 25 0 1 0 184815202 217137152 52587 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 53012 52587 136 292 0 52717 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 212048 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1656552/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=265168 CPUtime=222.23 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 65896 0 0 0 22011 212 0 0 25 0 1 0 184815202 271532032 65851 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 66292 65851 136 292 0 65997 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 265168 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1586472/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=335704 CPUtime=282.22 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 83497 0 0 0 27971 251 0 0 25 0 1 0 184815202 343760896 83452 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 83926 83452 136 292 0 83631 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 335704 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1497192/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=424480 CPUtime=342.2 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 105678 0 0 0 33926 294 0 0 25 0 1 0 184815202 434667520 105633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 106120 105633 136 292 0 105825 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 424480 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1435944/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=485964 CPUtime=402.19 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 121007 0 0 0 39898 321 0 0 25 0 1 0 184815202 497627136 120962 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 121491 120962 136 292 0 121196 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 485964 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1350440/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=570940 CPUtime=462.18 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 142238 0 0 0 45855 363 0 0 25 0 1 0 184815202 584642560 142193 1992294400 134512640 135709839 4294956240 18446744073709551615 134573927 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 142735 142193 136 292 0 142440 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 570940 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3584 /proc/meminfo: memFree=1265384/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=656816 CPUtime=522.16 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 163673 0 0 0 51809 407 0 0 25 0 1 0 184815202 672579584 163628 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 164204 163628 136 292 0 163909 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 656816 [startup+582.302 s] /proc/loadavg: 1.11 1.00 1.00 2/65 3584 /proc/meminfo: memFree=1191976/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=729660 CPUtime=582.15 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 181843 0 0 0 57773 442 0 0 25 0 1 0 184815202 747171840 181798 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 182415 181798 136 292 0 182120 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 729660 [startup+642.302 s] /proc/loadavg: 1.11 1.02 1.00 2/65 3584 /proc/meminfo: memFree=1109864/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=810972 CPUtime=642.13 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 202161 0 0 0 63726 487 0 0 25 0 1 0 184815202 830435328 202116 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 202743 202116 136 292 0 202448 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 810972 [startup+702.302 s] /proc/loadavg: 1.11 1.03 1.00 2/65 3584 /proc/meminfo: memFree=1037580/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=883820 CPUtime=702.12 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 220370 0 0 0 69681 531 0 0 25 0 1 0 184815202 905031680 220325 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 220955 220325 136 292 0 220660 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 883820 [startup+762.305 s] /proc/loadavg: 1.04 1.02 1.00 2/65 3584 /proc/meminfo: memFree=984680/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=935772 CPUtime=762.1 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 233367 0 0 0 75645 565 0 0 25 0 1 0 184815202 958230528 233288 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 233943 233288 136 292 0 233648 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 935772 [startup+822.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 3584 /proc/meminfo: memFree=967400/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=953652 CPUtime=822.08 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 238052 0 0 0 81599 609 0 0 25 0 1 0 184815202 976539648 237973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 238413 237973 136 292 0 238118 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 953652 [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3584 /proc/meminfo: memFree=897448/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1022348 CPUtime=882.07 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 255206 0 0 0 87571 636 0 0 25 0 1 0 184815202 1046884352 255127 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 255587 255127 136 292 0 255292 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1022348 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=822056/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1098492 CPUtime=942.05 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 274231 0 0 0 93539 666 0 0 25 0 1 0 184815202 1124855808 274152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 274623 274152 136 292 0 274328 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1098492 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=748456/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1171040 CPUtime=1002.04 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 292355 0 0 0 99508 696 0 0 25 0 1 0 184815202 1199144960 292276 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 292760 292276 136 292 0 292465 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1171040 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=702632/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1217756 CPUtime=1062.02 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 303992 0 0 0 105487 715 0 0 25 0 1 0 184815202 1246982144 303913 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 304439 303913 136 292 0 304144 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1217756 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=655016/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1264600 CPUtime=1122.01 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 315669 0 0 0 111465 736 0 0 25 0 1 0 184815202 1294950400 315590 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 316150 315590 136 292 0 315855 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1264600 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=604392/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1316232 CPUtime=1182 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 328574 0 0 0 117440 760 0 0 25 0 1 0 184815202 1347821568 328495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 329058 328495 136 292 0 328763 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1316232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=526760/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1392996 CPUtime=1241.98 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 347716 0 0 0 123402 796 0 0 25 0 1 0 184815202 1426427904 347637 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 348249 347637 136 292 0 347954 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1392996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=457320/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1461748 CPUtime=1301.96 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 364901 0 0 0 129374 822 0 0 25 0 1 0 184815202 1496829952 364822 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 365437 364822 136 292 0 365142 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1461748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=374376/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1545212 CPUtime=1361.95 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 385751 0 0 0 135333 862 0 0 25 0 1 0 184815202 1582297088 385672 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 386303 385672 136 292 0 386008 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1545212 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=290600/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1628244 CPUtime=1421.94 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 406502 0 0 0 141295 899 0 0 25 0 1 0 184815202 1667321856 406423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 407061 406423 136 292 0 406766 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1628244 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=218152/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1701680 CPUtime=1481.92 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 424831 0 0 0 147260 932 0 0 25 0 1 0 184815202 1742520320 424752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 425420 424752 136 292 0 425125 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1701680 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=138536/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1780396 CPUtime=1541.91 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 444494 0 0 0 153219 972 0 0 25 0 1 0 184815202 1823125504 444415 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 445099 444415 136 292 0 444804 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1780396 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1589 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=75304/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=1843296 CPUtime=1588.59 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4194304 460180 0 0 0 157855 1004 0 0 25 0 1 0 184815202 1887535104 460101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 460824 460101 136 292 0 460529 0 Current children cumulated CPU time (s) 1588.59 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1589.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3584 /proc/meminfo: memFree=75304/2055920 swapFree=4181364/4192956 [pid=3583] ppid=3581 vsize=0 CPUtime=1588.79 /proc/3583/stat : 3583 (wbo) R 3581 3583 3450 0 -1 4195332 460180 0 0 0 157855 1024 0 0 25 0 1 0 184815202 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/3583/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1588.79 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1589.28 CPU time (s): 1588.88 CPU user time (s): 1578.56 CPU system time (s): 10.3274 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1578.56 system time used= 10.3274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460180 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= 3 involuntary context switches= 1357 runsolver used 1.27281 second user time and 3.15352 second system time The end
Begin job on node36 at 2009-06-16 19:09:39 IDJOB=1876291 IDBENCH=2842 IDSOLVER=698 FILE ID=node36/1876291-1245172179 PBS_JOBID= 9363892 Free space on /tmp= 66200 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876291-1245172179/watcher-1876291-1245172179 -o /tmp/evaluation-result-1876291-1245172179/solver-1876291-1245172179 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876291-1245172179.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9633aa6e9fb6df7104bc0e43c44542c0 RANDOM SEED=2029430048 node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.230 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.230 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1920456 kB Buffers: 33296 kB Cached: 56284 kB SwapCached: 6436 kB Active: 54556 kB Inactive: 43912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1920456 kB SwapTotal: 4192956 kB SwapFree: 4181364 kB Dirty: 2528 kB Writeback: 0 kB Mapped: 13376 kB Slab: 23028 kB Committed_AS: 179108 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876291-1245172179.opb Free space on /tmp at the end= 66196 MiB End job on node36 at 2009-06-16 19:36:10