Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c1.opb |
MD5SUM | b354df8d74ddbd5006be5e12ba59956d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 167 |
Best CPU time to get the best result obtained on this benchmark | 65.2251 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 167 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 1505 |
Number of constraints which are clauses | 1505 |
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 | 32 |
Number of terms in the objective function | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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-1876222-1245157014.opb. 0.00/0.00 c Instance file HOME/instance-1876222-1245157014.opb 0.00/0.00 c File size is 65206 bytes. 0.00/0.01 c Highest Coefficient sum: 33 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: 450 | 0.00/0.01 c | Number Clauses: 1955 | 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: 3 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.010998 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.013997 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: 3 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.01 c core #7 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.017997 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: 3 Core Weight: 1 Total Weight: 9 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.02 c Elapsed CPU time: 0.026995 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.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #16 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #17 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #18 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #21 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #22 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #23 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #24 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #26 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #27 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #28 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #29 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #30 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #31 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #32 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #33 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #34 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #35 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #36 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #37 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #38 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #39 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #40 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #41 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #42 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #43 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #44 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #45 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #46 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 46 0.07/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #47 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 47 0.07/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #48 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 48 0.07/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #49 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 49 0.07/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #50 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 50 0.07/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #51 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 51 0.07/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #52 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 52 0.07/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #53 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 53 0.07/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #54 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 54 0.07/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #55 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 55 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #56 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 56 0.07/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #57 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 57 0.07/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.07/0.10 c core #58 0.07/0.10 c Core size: 3 Core Weight: 1 Total Weight: 58 0.07/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #59 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 59 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #60 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 60 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #61 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 61 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #62 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 62 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #63 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 63 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #64 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 64 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #65 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 65 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #66 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 66 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #67 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 67 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #68 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 68 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #69 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 69 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #70 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 70 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #71 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #72 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 72 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #73 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 73 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #74 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 74 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #75 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 75 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #76 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 76 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #77 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 77 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #78 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #79 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 79 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #80 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 80 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #81 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 81 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #82 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 82 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #83 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 83 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #84 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 84 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #85 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 85 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #86 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 86 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #87 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 87 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #88 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 88 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #89 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 89 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #90 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 90 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #91 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 91 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #92 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 92 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #93 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 93 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #94 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 94 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #95 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 95 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #96 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 96 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #97 0.09/0.16 c Core size: 33 Core Weight: 1 Total Weight: 97 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #98 0.09/0.17 c Core size: 33 Core Weight: 1 Total Weight: 98 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #99 0.09/0.17 c Core size: 33 Core Weight: 1 Total Weight: 99 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #100 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #101 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #102 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #103 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #104 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 104 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #105 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #106 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #107 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 107 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #108 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 108 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #109 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 109 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #110 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 110 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #111 0.09/0.19 c Core size: 52 Core Weight: 1 Total Weight: 111 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #112 0.09/0.19 c Core size: 66 Core Weight: 1 Total Weight: 112 0.09/0.19 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #113 0.09/0.20 c Core size: 52 Core Weight: 1 Total Weight: 113 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #114 0.19/0.20 c Core size: 66 Core Weight: 1 Total Weight: 114 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #115 0.19/0.20 c Core size: 52 Core Weight: 1 Total Weight: 115 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #116 0.19/0.20 c Core size: 66 Core Weight: 1 Total Weight: 116 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #117 0.19/0.21 c Core size: 7 Core Weight: 1 Total Weight: 117 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #118 0.19/0.21 c Core size: 7 Core Weight: 1 Total Weight: 118 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #119 0.19/0.21 c Core size: 7 Core Weight: 1 Total Weight: 119 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 840 2074 7728 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #120 0.19/0.21 c Core size: 12 Core Weight: 1 Total Weight: 120 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 846 2075 7740 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #121 0.19/0.22 c Core size: 12 Core Weight: 1 Total Weight: 121 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 852 2076 7752 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #122 0.19/0.22 c Core size: 74 Core Weight: 1 Total Weight: 122 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 878 2077 7812 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #123 0.19/0.22 c Core size: 50 Core Weight: 1 Total Weight: 123 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 897 2078 7850 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #124 0.19/0.23 c Core size: 12 Core Weight: 1 Total Weight: 124 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 903 2079 7862 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #125 0.19/0.23 c Core size: 78 Core Weight: 1 Total Weight: 125 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 931 2080 7926 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #126 0.19/0.23 c Core size: 67 Core Weight: 1 Total Weight: 126 0.19/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 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 | 959 2081 7982 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #127 0.19/0.24 c Core size: 80 Core Weight: 1 Total Weight: 127 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 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 | 981 2082 8030 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #128 0.19/0.25 c Core size: 233 Core Weight: 1 Total Weight: 128 0.19/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.25 c Learning 1 hard constraints 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 | 1011 2084 8103 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #129 0.19/0.25 c Core size: 332 Core Weight: 1 Total Weight: 129 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c Learning 1 hard constraints 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 | 1031 2086 8150 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #130 0.19/0.25 c Core size: 392 Core Weight: 1 Total Weight: 130 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1089 2087 8269 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #131 0.19/0.26 c Core size: 188 Core Weight: 1 Total Weight: 131 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.26 c Learning 2 hard constraints 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1109 2090 8321 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #132 0.19/0.26 c Core size: 146 Core Weight: 1 Total Weight: 132 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.26 c Learning 1 hard constraints 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1121 2092 8350 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #133 0.19/0.27 c Core size: 222 Core Weight: 1 Total Weight: 133 0.19/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1137 2093 8382 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #134 0.19/0.27 c Core size: 218 Core Weight: 1 Total Weight: 134 0.19/0.27 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1165 2094 8438 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #135 0.19/0.28 c Core size: 456 Core Weight: 1 Total Weight: 135 0.19/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c Learning 1 hard constraints 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 | 1193 2096 8521 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #136 0.19/0.29 c Core size: 270 Core Weight: 1 Total Weight: 136 0.19/0.29 c Elapsed CPU time: 0.282956 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 | 1239 2097 8613 | 5000 0 nan | 0.000 % | 0.19/0.30 c | 100 | 1237 2097 8613 | 5500 99 35 | 0.403 % | 0.29/0.31 c | 250 | 1231 2097 8613 | 6050 249 35 | 0.886 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #137 0.29/0.32 c Core size: 324 Core Weight: 1 Total Weight: 137 0.29/0.32 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.32 c Learning 10 hard constraints 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 | 1310 2108 9046 | 5000 0 nan | 0.000 % | 0.29/0.33 c | 100 | 1310 2108 9046 | 5500 100 29 | 0.153 % | 0.29/0.34 c | 251 | 1310 2108 9046 | 6050 251 31 | 0.152 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #138 0.29/0.34 c Core size: 57 Core Weight: 1 Total Weight: 138 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.35 c Learning 13 hard constraints 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 1329 2122 9518 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 101 | 1328 2122 9518 | 5500 101 23 | 0.301 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #139 0.29/0.36 c Core size: 222 Core Weight: 1 Total Weight: 139 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.37 c Learning 12 hard constraints 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 1357 2135 9955 | 5000 0 nan | 0.000 % | 0.29/0.37 c | 101 | 1355 2135 9955 | 5500 100 14 | 0.294 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #140 0.29/0.38 c Core size: 781 Core Weight: 1 Total Weight: 140 0.29/0.38 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.38 c Learning 6 hard constraints 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 1417 2142 10234 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 100 | 1411 2142 10234 | 5500 100 5 | 5.306 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #141 0.29/0.39 c Core size: 456 Core Weight: 1 Total Weight: 141 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.39 c Learning 6 hard constraints 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1457 2149 10442 | 5000 0 nan | 0.000 % | 0.39/0.40 c | 100 | 1457 2149 10442 | 5500 100 15 | 0.069 % | 0.39/0.41 c | 250 | 1457 2149 10442 | 6050 250 21 | 0.072 % | 0.39/0.42 c | 476 | 1457 2149 10442 | 6655 476 30 | 0.069 % | 0.39/0.44 c | 815 | 1457 2149 10442 | 7320 815 33 | 0.069 % | 0.39/0.48 c | 1321 | 1455 2149 10442 | 8052 1197 30 | 0.209 % | 0.49/0.54 c | 2081 | 1453 2149 10442 | 8857 1957 33 | 0.346 % | 0.49/0.59 c =============================================================================== 0.59/0.61 c core #142 0.59/0.61 c Core size: 498 Core Weight: 1 Total Weight: 142 0.59/0.61 c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s 0.59/0.61 c Learning 46 hard constraints 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 1539 2196 11901 | 5000 0 nan | 0.000 % | 0.59/0.62 c | 101 | 1539 2196 11901 | 5500 101 17 | 0.065 % | 0.59/0.63 c | 251 | 1535 2196 11901 | 6050 246 13 | 0.455 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #143 0.59/0.64 c Core size: 860 Core Weight: 1 Total Weight: 143 0.59/0.64 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.65 c Learning 27 hard constraints 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 1587 2224 12702 | 5000 0 nan | 0.000 % | 0.59/0.65 c | 102 | 1587 2224 12702 | 5500 102 29 | 0.063 % | 0.59/0.66 c | 252 | 1587 2224 12702 | 6050 252 38 | 0.063 % | 0.59/0.67 c | 477 | 1587 2224 12702 | 6655 477 31 | 0.063 % | 0.59/0.69 c | 814 | 1587 2224 12702 | 7320 814 36 | 0.063 % | 0.69/0.72 c | 1321 | 1587 2224 12702 | 8052 1321 34 | 0.066 % | 0.69/0.78 c | 2081 | 1587 2224 12702 | 8857 2081 33 | 0.063 % | 0.79/0.88 c | 3221 | 1587 2224 12702 | 9743 3221 37 | 0.063 % | 1.00/1.03 c | 4930 | 1587 2224 12702 | 10717 4930 38 | 0.063 % | 1.30/1.32 c | 7494 | 1587 2224 12702 | 11789 7494 39 | 0.066 % | 1.89/1.97 c | 11339 | 1585 2224 12702 | 12968 9918 38 | 0.189 % | 3.29/3.34 c | 17105 | 1585 2224 12702 | 14265 9108 44 | 0.189 % | 3.49/3.59 c =============================================================================== 3.68/3.76 c core #144 3.68/3.76 c Core size: 591 Core Weight: 1 Total Weight: 144 3.68/3.76 c Elapsed CPU time: 3.69144 s Remaining CPU time: 1796.31 s 3.68/3.78 c Learning 54 hard constraints 3.68/3.78 c ============================[ Search Statistics ]============================== 3.68/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.78 c =============================================================================== 3.68/3.78 c | 0 | 1681 2279 14107 | 5000 0 nan | 0.000 % | 3.68/3.79 c | 100 | 1681 2279 14107 | 5500 100 46 | 0.060 % | 3.78/3.80 c | 252 | 1681 2279 14107 | 6050 252 34 | 0.059 % | 3.78/3.81 c | 478 | 1681 2279 14107 | 6655 478 27 | 0.062 % | 3.78/3.84 c | 816 | 1681 2279 14107 | 7320 816 46 | 0.059 % | 3.78/3.89 c | 1324 | 1681 2279 14107 | 8052 1324 52 | 0.062 % | 3.89/3.96 c | 2083 | 1681 2279 14107 | 8857 2083 50 | 0.059 % | 3.99/4.06 c | 3222 | 1681 2279 14107 | 9743 3222 44 | 0.059 % | 4.18/4.28 c | 4933 | 1681 2279 14107 | 10717 4933 51 | 0.060 % | 4.59/4.69 c | 7497 | 1681 2279 14107 | 11789 7497 60 | 0.060 % | 5.19/5.27 c | 11343 | 1681 2279 14107 | 12968 11343 51 | 0.059 % | 6.19/6.27 c | 17110 | 1681 2279 14107 | 14265 10521 46 | 0.059 % | 8.09/8.15 c =============================================================================== 8.29/8.31 c core #145 8.29/8.31 c Core size: 1234 Core Weight: 1 Total Weight: 145 8.29/8.31 c Elapsed CPU time: 8.18475 s Remaining CPU time: 1791.82 s 8.29/8.34 c Learning 22 hard constraints 8.29/8.34 c ============================[ Search Statistics ]============================== 8.29/8.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.34 c =============================================================================== 8.29/8.34 c | 0 | 1795 2302 14873 | 5000 0 nan | 0.000 % | 8.29/8.35 c | 100 | 1795 2302 14873 | 5500 100 22 | 0.000 % | 8.29/8.36 c | 251 | 1793 2302 14873 | 6050 225 17 | 0.112 % | 8.29/8.37 c | 476 | 1791 2302 14873 | 6655 449 15 | 0.225 % | 8.29/8.39 c | 814 | 1789 2302 14873 | 7320 787 20 | 0.446 % | 8.39/8.42 c | 1321 | 1785 2302 14873 | 8052 1244 23 | 0.558 % | 8.39/8.45 c =============================================================================== 8.39/8.46 c core #146 8.39/8.46 c Core size: 517 Core Weight: 1 Total Weight: 146 8.39/8.46 c Elapsed CPU time: 8.33873 s Remaining CPU time: 1791.66 s 8.39/8.47 c Learning 36 hard constraints 8.39/8.47 c ============================[ Search Statistics ]============================== 8.39/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.47 c =============================================================================== 8.39/8.47 c | 0 | 1864 2339 15895 | 5000 0 nan | 0.000 % | 8.39/8.48 c | 100 | 1864 2339 15895 | 5500 100 18 | 0.000 % | 8.39/8.49 c | 251 | 1864 2339 15895 | 6050 251 14 | 0.000 % | 8.48/8.51 c | 476 | 1862 2339 15895 | 6655 470 16 | 0.108 % | 8.48/8.53 c | 813 | 1860 2339 15895 | 7320 787 16 | 0.216 % | 8.48/8.57 c =============================================================================== 8.48/8.58 c core #147 8.48/8.58 c Core size: 1265 Core Weight: 1 Total Weight: 147 8.48/8.58 c Elapsed CPU time: 8.44772 s Remaining CPU time: 1791.55 s 8.48/8.58 c Learning 41 hard constraints 8.48/8.58 c ============================[ Search Statistics ]============================== 8.48/8.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.58 c =============================================================================== 8.48/8.58 c | 0 | 1920 2381 16936 | 5000 0 nan | 0.000 % | 8.48/8.59 c | 101 | 1920 2381 16936 | 5500 101 23 | 0.000 % | 8.58/8.61 c | 252 | 1920 2381 16936 | 6050 252 28 | 0.000 % | 8.58/8.62 c | 477 | 1920 2381 16936 | 6655 477 22 | 0.000 % | 8.58/8.64 c | 814 | 1910 2381 16936 | 7320 809 18 | 0.835 % | 8.58/8.64 c =============================================================================== 8.58/8.64 c core #148 8.58/8.64 c Core size: 287 Core Weight: 1 Total Weight: 148 8.58/8.64 c Elapsed CPU time: 8.50971 s Remaining CPU time: 1791.49 s 8.58/8.65 c Learning 79 hard constraints 8.58/8.65 c ============================[ Search Statistics ]============================== 8.58/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.65 c =============================================================================== 8.58/8.65 c | 0 | 1949 2461 19637 | 5000 0 nan | 0.000 % | 8.58/8.65 c | 100 | 1949 2461 19637 | 5500 100 42 | 0.000 % | 8.58/8.66 c | 250 | 1949 2461 19637 | 6050 250 38 | 0.002 % | 8.58/8.68 c | 477 | 1949 2461 19637 | 6655 477 31 | 0.000 % | 8.69/8.70 c | 814 | 1949 2461 19637 | 7320 814 25 | 0.000 % | 8.69/8.74 c | 1320 | 1949 2461 19637 | 8052 1320 24 | 0.000 % | 8.79/8.82 c | 2081 | 1947 2461 19637 | 8857 2076 41 | 0.105 % | 8.89/8.96 c | 3220 | 1945 2461 19637 | 9743 3199 51 | 0.205 % | 9.09/9.18 c | 4929 | 1945 2461 19637 | 10717 4908 61 | 0.205 % | 9.59/9.66 c | 7491 | 1945 2461 19637 | 11789 7470 64 | 0.205 % | 10.29/10.37 c | 11336 | 1945 2461 19637 | 12968 11315 66 | 0.206 % | 11.89/11.97 c | 17102 | 1941 2461 19637 | 14265 10269 71 | 0.413 % | 13.98/14.07 c | 25751 | 1937 2461 19637 | 15692 11539 75 | 0.618 % | 18.29/18.31 c | 38725 | 1937 2461 19637 | 17261 8309 86 | 0.625 % | 27.39/27.44 c | 58186 | 1937 2461 19637 | 18987 10211 72 | 0.616 % | 38.19/38.20 c | 87378 | 1937 2461 19637 | 20886 10591 85 | 0.616 % | 55.18/55.28 c | 131168 | 1937 2461 19637 | 22974 11990 61 | 0.616 % | 83.67/83.76 c | 196852 | 1937 2461 19637 | 25272 19179 88 | 0.616 % | 140.45/140.54 c | 295379 | 1937 2461 19637 | 27799 12879 96 | 0.617 % | 149.46/149.58 c =============================================================================== 149.75/149.87 c core #149 149.75/149.87 c Core size: 1363 Core Weight: 1 Total Weight: 149 149.75/149.87 c Elapsed CPU time: 148.772 s Remaining CPU time: 1651.23 s 150.05/150.18 c Learning 23 hard constraints 150.05/150.18 c ============================[ Search Statistics ]============================== 150.05/150.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 150.05/150.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 150.05/150.18 c =============================================================================== 150.05/150.18 c | 0 | 2034 2485 20245 | 5000 0 nan | 0.000 % | 150.15/150.25 c | 100 | 2034 2485 20245 | 5500 100 19 | 0.000 % | 150.15/150.26 c | 250 | 2034 2485 20245 | 6050 250 17 | 0.002 % | 150.15/150.27 c | 477 | 2034 2485 20245 | 6655 477 17 | 0.000 % | 150.25/150.30 c | 814 | 2034 2485 20245 | 7320 814 18 | 0.002 % | 150.25/150.35 c | 1320 | 2034 2485 20245 | 8052 1320 19 | 0.000 % | 150.25/150.40 c =============================================================================== 150.35/150.41 c core #150 150.35/150.41 c Core size: 1441 Core Weight: 1 Total Weight: 150 150.35/150.41 c Elapsed CPU time: 149.31 s Remaining CPU time: 1650.69 s 150.35/150.42 c Learning 115 hard constraints 150.35/150.42 c ============================[ Search Statistics ]============================== 150.35/150.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 150.35/150.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 150.35/150.42 c =============================================================================== 150.35/150.42 c | 0 | 2106 2601 23008 | 5000 0 nan | 0.000 % | 150.35/150.43 c | 100 | 2106 2601 23008 | 5500 100 36 | 0.000 % | 150.35/150.44 c | 250 | 2106 2601 23008 | 6050 250 42 | 0.000 % | 150.35/150.46 c | 475 | 2106 2601 23008 | 6655 475 37 | 0.000 % | 150.35/150.48 c | 818 | 2106 2601 23008 | 7320 818 49 | 0.000 % | 150.45/150.54 c | 1326 | 2106 2601 23008 | 8052 1326 50 | 0.000 % | 150.45/150.59 c | 2088 | 2106 2601 23008 | 8857 2088 40 | 0.000 % | 150.56/150.69 c | 3228 | 2106 2601 23008 | 9743 3228 41 | 0.000 % | 150.76/150.86 c | 4936 | 2106 2601 23008 | 10717 4936 37 | 0.000 % | 151.15/151.22 c | 7501 | 2106 2601 23008 | 11789 7501 48 | 0.000 % | 151.76/151.88 c | 11346 | 2106 2601 23008 | 12968 11346 60 | 0.000 % | 152.95/153.09 c | 17112 | 2106 2601 23008 | 14265 10453 73 | 0.000 % | 155.05/155.12 c | 25761 | 2106 2601 23008 | 15692 11774 52 | 0.000 % | 157.76/157.87 c =============================================================================== 158.26/158.32 c core #151 158.26/158.32 c Core size: 1646 Core Weight: 1 Total Weight: 151 158.26/158.32 c Elapsed CPU time: 157.136 s Remaining CPU time: 1642.86 s 158.26/158.38 c Learning 279 hard constraints 158.26/158.38 c ============================[ Search Statistics ]============================== 158.26/158.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 158.26/158.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 158.26/158.38 c =============================================================================== 158.26/158.38 c | 0 | 2172 2881 29641 | 5000 0 nan | 0.000 % | 158.36/158.41 c | 101 | 2172 2881 29641 | 5500 101 18 | 0.000 % | 158.36/158.42 c | 251 | 2172 2881 29641 | 6050 251 15 | 0.000 % | 158.36/158.43 c | 476 | 2172 2881 29641 | 6655 476 16 | 0.000 % | 158.36/158.45 c | 815 | 2172 2881 29641 | 7320 815 20 | 0.000 % | 158.36/158.49 c | 1321 | 2172 2881 29641 | 8052 1321 22 | 0.000 % | 158.45/158.55 c | 2080 | 2172 2881 29641 | 8857 2080 24 | 0.000 % | 158.56/158.65 c | 3219 | 2172 2881 29641 | 9743 3219 25 | 0.000 % | 158.65/158.79 c | 4927 | 2172 2881 29641 | 10717 4927 29 | 0.000 % | 158.95/159.07 c | 7490 | 2170 2881 29641 | 11789 7477 30 | 0.093 % | 159.55/159.65 c | 11334 | 2170 2881 29641 | 12968 11321 35 | 0.094 % | 160.56/160.61 c | 17104 | 2170 2881 29641 | 14265 10576 39 | 0.092 % | 162.65/162.75 c | 25753 | 2168 2881 29641 | 15692 11885 38 | 0.184 % | 166.25/166.31 c | 38727 | 2168 2881 29641 | 17261 8793 36 | 0.184 % | 170.25/170.33 c =============================================================================== 171.15/171.22 c core #152 171.15/171.22 c Core size: 1977 Core Weight: 1 Total Weight: 152 171.15/171.22 c Elapsed CPU time: 169.894 s Remaining CPU time: 1630.11 s 171.25/171.30 c Learning 225 hard constraints 171.25/171.30 c ============================[ Search Statistics ]============================== 171.25/171.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 171.25/171.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 171.25/171.30 c =============================================================================== 171.25/171.30 c | 0 | 2294 3107 34523 | 5000 0 nan | 0.000 % | 171.25/171.33 c | 100 | 2294 3107 34523 | 5500 100 26 | 0.000 % | 171.25/171.34 c | 251 | 2294 3107 34523 | 6050 251 32 | 0.001 % | 171.25/171.36 c | 476 | 2294 3107 34523 | 6655 476 34 | 0.000 % | 171.25/171.38 c | 817 | 2294 3107 34523 | 7320 817 37 | 0.000 % | 171.35/171.41 c | 1324 | 2294 3107 34523 | 8052 1324 37 | 0.000 % | 171.35/171.47 c | 2083 | 2294 3107 34523 | 8857 2083 37 | 0.000 % | 171.45/171.59 c | 3222 | 2294 3107 34523 | 9743 3222 38 | 0.000 % | 171.65/171.79 c | 4930 | 2294 3107 34523 | 10717 4930 41 | 0.000 % | 172.35/172.41 c | 7492 | 2289 3107 34523 | 11789 7491 42 | 0.218 % | 173.25/173.39 c | 11336 | 2289 3107 34523 | 12968 11335 44 | 0.218 % | 174.85/174.99 c | 17103 | 2289 3107 34523 | 14265 10547 42 | 0.218 % | 177.14/177.22 c | 25752 | 2284 3107 34523 | 15692 11973 38 | 0.437 % | 178.25/178.31 c =============================================================================== 178.75/178.83 c core #153 178.75/178.83 c Core size: 1459 Core Weight: 1 Total Weight: 153 178.75/178.83 c Elapsed CPU time: 177.433 s Remaining CPU time: 1622.57 s 178.85/178.90 c Learning 244 hard constraints 178.85/178.90 c ============================[ Search Statistics ]============================== 178.85/178.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 178.85/178.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 178.85/178.90 c =============================================================================== 178.85/178.90 c | 0 | 2404 3352 40483 | 5000 0 nan | 0.000 % | 178.85/178.93 c | 101 | 2404 3352 40483 | 5500 101 45 | 0.000 % | 178.85/178.93 c | 251 | 2404 3352 40483 | 6050 251 31 | 0.001 % | 178.85/178.95 c | 477 | 2404 3352 40483 | 6655 477 25 | 0.000 % | 178.85/178.97 c | 816 | 2404 3352 40483 | 7320 816 27 | 0.000 % | 178.95/179.01 c | 1323 | 2404 3352 40483 | 8052 1323 39 | 0.001 % | 178.95/179.08 c | 2082 | 2404 3352 40483 | 8857 2082 40 | 0.000 % | 179.04/179.17 c | 3224 | 2404 3352 40483 | 9743 3224 39 | 0.000 % | 179.25/179.32 c | 4933 | 2404 3352 40483 | 10717 4933 35 | 0.000 % | 179.55/179.64 c | 7496 | 2404 3352 40483 | 11789 7496 35 | 0.001 % | 180.25/180.31 c | 11341 | 2404 3352 40483 | 12968 11341 39 | 0.001 % | 181.15/181.29 c | 17107 | 2404 3352 40483 | 14265 10294 54 | 0.000 % | 182.64/182.72 c | 25756 | 2404 3352 40483 | 15692 11751 46 | 0.000 % | 185.34/185.42 c | 38733 | 2402 3352 40483 | 17261 12755 39 | 0.084 % | 190.74/190.83 c | 58194 | 2398 3352 40483 | 18987 13063 56 | 0.251 % | 200.94/201.04 c | 87386 | 2390 3352 40483 | 20886 18818 63 | 0.582 % | 201.84/201.94 c =============================================================================== 203.64/203.75 c core #154 203.64/203.75 c Core size: 2012 Core Weight: 1 Total Weight: 154 203.64/203.75 c Elapsed CPU time: 202.098 s Remaining CPU time: 1597.9 s 203.74/203.89 c Learning 204 hard constraints 203.74/203.89 c ============================[ Search Statistics ]============================== 203.74/203.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.74/203.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.74/203.89 c =============================================================================== 203.74/203.89 c | 0 | 2536 3557 44331 | 5000 0 nan | 0.000 % | 203.84/203.93 c | 101 | 2536 3557 44331 | 5500 101 32 | 0.000 % | 203.84/203.94 c | 251 | 2536 3557 44331 | 6050 251 28 | 0.000 % | 203.84/203.96 c | 478 | 2536 3557 44331 | 6655 478 29 | 0.001 % | 203.84/203.98 c | 817 | 2536 3557 44331 | 7320 817 32 | 0.000 % | 203.94/204.02 c | 1324 | 2536 3557 44331 | 8052 1324 32 | 0.000 % | 203.94/204.09 c | 2084 | 2536 3557 44331 | 8857 2084 34 | 0.000 % | 204.14/204.21 c | 3223 | 2536 3557 44331 | 9743 3223 36 | 0.000 % | 204.34/204.43 c | 4931 | 2536 3557 44331 | 10717 4931 51 | 0.000 % | 204.74/204.81 c | 7498 | 2536 3557 44331 | 11789 7498 50 | 0.000 % | 205.23/205.31 c | 11344 | 2536 3557 44331 | 12968 11344 47 | 0.000 % | 206.34/206.42 c | 17113 | 2536 3557 44331 | 14265 10364 46 | 0.000 % | 208.24/208.37 c | 25764 | 2536 3557 44331 | 15692 11662 59 | 0.001 % | 212.24/212.33 c | 38742 | 2536 3557 44331 | 17261 8710 76 | 0.001 % | 216.84/216.97 c | 58203 | 2536 3557 44331 | 18987 10351 77 | 0.000 % | 224.44/224.52 c | 87396 | 2536 3557 44331 | 20886 9950 78 | 0.001 % | 237.13/237.29 c | 131186 | 2536 3557 44331 | 22974 11157 119 | 0.000 % | 254.22/254.37 c | 196870 | 2536 3557 44331 | 25272 17936 52 | 0.000 % | 284.51/284.61 c | 295399 | 2536 3557 44331 | 27799 23078 56 | 0.000 % | 330.70/330.84 c | 443189 | 2536 3557 44331 | 30579 18896 114 | 0.001 % | 437.58/437.78 c | 664874 | 2536 3557 44331 | 33637 24542 73 | 0.000 % | 625.73/625.92 c | 997399 | 2536 3557 44331 | 37001 24461 98 | 0.000 % | 914.06/914.31 c | 1496192 | 2536 3557 44331 | 40701 29741 70 | 0.001 % | 1333.45/1333.89 c | 2244374 | 2532 3557 44331 | 44771 14970 57 | 0.159 % | 1772.64/1773.18 c ===============================================================================
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-1876222-1245157014/watcher-1876222-1245157014 -o /tmp/evaluation-result-1876222-1245157014/solver-1876222-1245157014 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876222-1245157014.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 2913 /proc/meminfo: memFree=1931304/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=2600 CPUtime=0 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 183298733 2662400 182 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 650 182 128 292 0 339 0 [startup+0.079824 s] /proc/loadavg: 0.87 0.97 0.99 3/64 2913 /proc/meminfo: memFree=1931304/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=2800 CPUtime=0.07 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 296 0 0 0 7 0 0 0 18 0 1 0 183298733 2867200 264 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 700 264 133 292 0 405 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2800 [startup+0.101827 s] /proc/loadavg: 0.87 0.97 0.99 3/64 2913 /proc/meminfo: memFree=1931304/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=2800 CPUtime=0.09 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 297 0 0 0 9 0 0 0 18 0 1 0 183298733 2867200 265 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 700 265 133 292 0 405 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2800 [startup+0.301846 s] /proc/loadavg: 0.87 0.97 0.99 3/64 2913 /proc/meminfo: memFree=1931304/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=3496 CPUtime=0.29 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 452 0 0 0 28 1 0 0 19 0 1 0 183298733 3579904 420 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 874 420 136 292 0 579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3496 [startup+0.701886 s] /proc/loadavg: 0.87 0.97 0.99 3/64 2913 /proc/meminfo: memFree=1931304/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=4568 CPUtime=0.69 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 726 0 0 0 67 2 0 0 22 0 1 0 183298733 4677632 694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 1142 694 136 292 0 847 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4568 [startup+1.50296 s] /proc/loadavg: 0.87 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1928608/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=6440 CPUtime=1.49 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 1219 0 0 0 145 4 0 0 25 0 1 0 183298733 6594560 1187 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 1610 1187 136 292 0 1315 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6440 [startup+3.10113 s] /proc/loadavg: 0.87 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1925408/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=9940 CPUtime=3.09 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 2065 0 0 0 303 6 0 0 25 0 1 0 183298733 10178560 2033 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 2485 2033 136 292 0 2190 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9940 [startup+6.30144 s] /proc/loadavg: 0.88 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1921760/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=12604 CPUtime=6.29 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 2734 0 0 0 619 10 0 0 25 0 1 0 183298733 12906496 2702 1992294400 134512640 135709839 4294956240 18446744073709551615 134563053 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 3151 2702 136 292 0 2856 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12604 [startup+12.7011 s] /proc/loadavg: 0.89 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1913888/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=20920 CPUtime=12.69 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 4815 0 0 0 1251 18 0 0 25 0 1 0 183298733 21422080 4783 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 5230 4783 136 292 0 4935 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20920 [startup+25.5014 s] /proc/loadavg: 0.91 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1895136/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=38372 CPUtime=25.48 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 9200 0 0 0 2522 26 0 0 25 0 1 0 183298733 39292928 9168 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 9593 9169 136 292 0 9298 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38372 [startup+51.1019 s] /proc/loadavg: 0.94 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1862432/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=71292 CPUtime=51.08 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 17410 0 0 0 5062 46 0 0 25 0 1 0 183298733 73003008 17378 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 17823 17378 136 292 0 17528 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71292 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1799008/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=134216 CPUtime=102.26 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 33136 0 0 0 10146 80 0 0 25 0 1 0 183298733 137437184 33104 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 33554 33105 136 292 0 33259 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 134216 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1750048/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=182792 CPUtime=162.25 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 45299 0 0 0 16104 121 0 0 25 0 1 0 183298733 187179008 45239 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 45698 45239 136 292 0 45403 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 182792 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2914 /proc/meminfo: memFree=1732512/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=200460 CPUtime=222.23 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 49746 0 0 0 22041 182 0 0 25 0 1 0 183298733 205271040 49686 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 50115 49686 136 292 0 49820 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 200460 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1652064/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=281848 CPUtime=282.21 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 70065 0 0 0 27976 245 0 0 25 0 1 0 183298733 288612352 70005 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 70462 70005 136 292 0 70167 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 281848 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1562464/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=370320 CPUtime=342.2 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 92127 0 0 0 33917 303 0 0 25 0 1 0 183298733 379207680 92067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 92580 92067 136 292 0 92285 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 370320 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1500960/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=432708 CPUtime=402.19 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 107685 0 0 0 39876 343 0 0 25 0 1 0 183298733 443092992 107625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 108177 107625 136 292 0 107882 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 432708 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1432800/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=500604 CPUtime=462.17 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 124639 0 0 0 45834 383 0 0 25 0 1 0 183298733 512618496 124579 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 125151 124579 136 292 0 124856 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 500604 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1371424/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=562012 CPUtime=522.15 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 139958 0 0 0 51802 413 0 0 25 0 1 0 183298733 575500288 139898 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 140503 139898 136 292 0 140208 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 562012 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1306784/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=626100 CPUtime=582.14 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 155977 0 0 0 57760 454 0 0 25 0 1 0 183298733 641126400 155917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 156525 155917 136 292 0 156230 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 626100 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=1242144/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=690220 CPUtime=642.13 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 171951 0 0 0 63720 493 0 0 25 0 1 0 183298733 706785280 171891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 172555 171891 136 292 0 172260 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 690220 [startup+702.302 s] ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=948832/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=983496 CPUtime=942.05 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 245202 0 0 0 93533 672 0 0 25 0 1 0 183298733 1007099904 245142 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 245874 245142 136 292 0 245579 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 983496 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=903072/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1029076 CPUtime=1002.03 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 256563 0 0 0 99505 698 0 0 25 0 1 0 183298733 1053773824 256503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 257269 256503 136 292 0 256974 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1029076 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=853728/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1078940 CPUtime=1062.02 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 269019 0 0 0 105473 729 0 0 25 0 1 0 183298733 1104834560 268959 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 269735 268959 136 292 0 269440 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1078940 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=787168/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1145176 CPUtime=1122 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 285574 0 0 0 111429 771 0 0 25 0 1 0 183298733 1172660224 285514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 286294 285514 136 292 0 285999 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1145176 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=730656/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1202096 CPUtime=1181.99 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 299831 0 0 0 117394 805 0 0 25 0 1 0 183298733 1230946304 299771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 300524 299771 136 292 0 300229 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1202096 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=669472/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1262232 CPUtime=1241.97 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 314848 0 0 0 123350 847 0 0 25 0 1 0 183298733 1292525568 314788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 315558 314788 136 292 0 315263 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1262232 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=603424/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1327980 CPUtime=1301.97 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 331247 0 0 0 129308 889 0 0 25 0 1 0 183298733 1359851520 331187 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 331995 331187 136 292 0 331700 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1327980 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=528096/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1403352 CPUtime=1361.94 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 350108 0 0 0 135263 931 0 0 25 0 1 0 183298733 1437032448 350048 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 350838 350048 136 292 0 350543 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1403352 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=462048/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1469080 CPUtime=1421.93 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 366502 0 0 0 141221 972 0 0 25 0 1 0 183298733 1504337920 366442 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 367270 366442 136 292 0 366975 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1469080 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=404000/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1527436 CPUtime=1481.91 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 381100 0 0 0 147180 1011 0 0 25 0 1 0 183298733 1564094464 381040 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 381859 381040 136 292 0 381564 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1527436 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=347808/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1582956 CPUtime=1541.89 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 394990 0 0 0 153140 1049 0 0 25 0 1 0 183298733 1620946944 394930 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 395739 394930 136 292 0 395444 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1582956 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=295712/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1635668 CPUtime=1601.89 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 408150 0 0 0 159102 1087 0 0 25 0 1 0 183298733 1674924032 408090 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 408917 408090 136 292 0 408622 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1635668 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=231840/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1698776 CPUtime=1661.87 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 423929 0 0 0 165060 1127 0 0 25 0 1 0 183298733 1739546624 423869 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 424694 423869 136 292 0 424399 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1698776 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=184416/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1746648 CPUtime=1721.86 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 435871 0 0 0 171025 1161 0 0 25 0 1 0 183298733 1788567552 435811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 436662 435811 136 292 0 436367 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1746648 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=122912/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1808160 CPUtime=1781.84 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 451240 0 0 0 176997 1187 0 0 25 0 1 0 183298733 1851555840 451180 1992294400 134512640 135709839 4294956240 18446744073709551615 134516532 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 452040 451180 136 292 0 451745 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1808160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2920 /proc/meminfo: memFree=109792/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=1820436 CPUtime=1800.04 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4194304 454331 0 0 0 178815 1189 0 0 25 0 1 0 183298733 1864126464 454271 1992294400 134512640 135709839 4294956240 18446744073709551615 134520133 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 455109 454271 136 292 0 454814 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1820436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.99 2/66 2921 /proc/meminfo: memFree=760088/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=0 CPUtime=1800.14 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4195332 454331 0 0 0 178815 1199 0 0 25 0 1 0 183298733 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/66 2921 /proc/meminfo: memFree=760088/2055920 swapFree=4181364/4192956 [pid=2913] ppid=2911 vsize=0 CPUtime=1800.24 /proc/2913/stat : 2913 (wbo) R 2911 2913 2870 0 -1 4195332 454331 0 0 0 178815 1209 0 0 25 0 1 0 183298733 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2913/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.32 CPU user time (s): 1788.15 CPU system time (s): 12.1662 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1820436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.15 system time used= 12.1662 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 454331 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= 1559 runsolver used 1.24781 second user time and 3.80142 second system time The end
Begin job on node36 at 2009-06-16 14:56:54 IDJOB=1876222 IDBENCH=2158 IDSOLVER=698 FILE ID=node36/1876222-1245157014 PBS_JOBID= 9363826 Free space on /tmp= 66200 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c1.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-1876222-1245157014/watcher-1876222-1245157014 -o /tmp/evaluation-result-1876222-1245157014/solver-1876222-1245157014 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876222-1245157014.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b354df8d74ddbd5006be5e12ba59956d RANDOM SEED=1389772731 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: 1931784 kB Buffers: 23352 kB Cached: 55076 kB SwapCached: 6436 kB Active: 53776 kB Inactive: 33444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1931784 kB SwapTotal: 4192956 kB SwapFree: 4181364 kB Dirty: 2552 kB Writeback: 0 kB Mapped: 13284 kB Slab: 22992 kB Committed_AS: 175448 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-1876222-1245157014.opb Free space on /tmp at the end= 66196 MiB End job on node36 at 2009-06-16 15:26:57