Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1785.43 | 1789.77 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d1.opb |
MD5SUM | e79c956fa387b090702a2dffba5fa8e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 343 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of variables | 1060 |
Total number of constraints | 3737 |
Number of constraints which are clauses | 3737 |
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 | 10 |
Number of terms in the objective function | 1060 |
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 | 1060 |
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 | 1060 |
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.02 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.02 c Parsing opb file format. File HOME/instance-1875727-1245150424.opb. 0.00/0.02 c Instance file HOME/instance-1875727-1245150424.opb 0.00/0.02 c File size is 102543 bytes. 0.00/0.02 c Highest Coefficient sum: 11 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.01 s | 0.00/0.02 c | Number Variables: 1060 | 0.00/0.02 c | Number Clauses: 4797 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c core #1 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.02 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #5 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #6 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.05 c core #7 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.05 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #8 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.05 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #9 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.05 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #10 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.05 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.05 c core #11 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.05 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #12 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.05 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #13 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.05 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #14 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.05 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #15 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #16 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #17 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #18 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #19 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #20 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #21 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #22 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #23 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #24 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #25 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #26 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #27 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #28 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #29 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #30 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #31 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #32 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #33 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #34 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.00/0.10 c core #35 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.00/0.11 c core #36 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.00/0.11 c core #37 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.00/0.11 c core #38 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.00/0.11 c core #39 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.00/0.12 c core #40 0.00/0.12 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.00/0.12 c core #41 0.00/0.12 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.11/0.12 c core #42 0.11/0.12 c Core size: 3 Core Weight: 1 Total Weight: 42 0.11/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.11/0.13 c core #43 0.11/0.13 c Core size: 3 Core Weight: 1 Total Weight: 43 0.11/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.11/0.13 c core #44 0.11/0.13 c Core size: 3 Core Weight: 1 Total Weight: 44 0.11/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.11/0.13 c core #45 0.11/0.13 c Core size: 3 Core Weight: 1 Total Weight: 45 0.11/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.11/0.13 c core #46 0.11/0.13 c Core size: 3 Core Weight: 1 Total Weight: 46 0.11/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.11/0.14 c core #47 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 47 0.11/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.11/0.14 c core #48 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 48 0.11/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.11/0.14 c core #49 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 49 0.11/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.11/0.15 c core #50 0.11/0.15 c Core size: 3 Core Weight: 1 Total Weight: 50 0.11/0.15 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.11/0.15 c core #51 0.11/0.15 c Core size: 3 Core Weight: 1 Total Weight: 51 0.11/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.11/0.15 c core #52 0.11/0.15 c Core size: 3 Core Weight: 1 Total Weight: 52 0.11/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.11/0.15 c core #53 0.11/0.15 c Core size: 3 Core Weight: 1 Total Weight: 53 0.11/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.11/0.16 c core #54 0.11/0.16 c Core size: 3 Core Weight: 1 Total Weight: 54 0.11/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.11/0.16 c core #55 0.11/0.16 c Core size: 3 Core Weight: 1 Total Weight: 55 0.11/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.11/0.16 c core #56 0.11/0.16 c Core size: 3 Core Weight: 1 Total Weight: 56 0.11/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.11/0.17 c core #57 0.11/0.17 c Core size: 3 Core Weight: 1 Total Weight: 57 0.11/0.17 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.11/0.17 c core #58 0.11/0.17 c Core size: 3 Core Weight: 1 Total Weight: 58 0.11/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.11/0.17 c core #59 0.11/0.17 c Core size: 3 Core Weight: 1 Total Weight: 59 0.11/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.11/0.17 c core #60 0.11/0.17 c Core size: 3 Core Weight: 1 Total Weight: 60 0.11/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.11/0.18 c core #61 0.11/0.18 c Core size: 3 Core Weight: 1 Total Weight: 61 0.11/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.11/0.18 c core #62 0.11/0.18 c Core size: 3 Core Weight: 1 Total Weight: 62 0.11/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.11/0.18 c core #63 0.11/0.18 c Core size: 3 Core Weight: 1 Total Weight: 63 0.11/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.11/0.19 c core #64 0.11/0.19 c Core size: 3 Core Weight: 1 Total Weight: 64 0.11/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.11/0.19 c core #65 0.11/0.19 c Core size: 3 Core Weight: 1 Total Weight: 65 0.11/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.11/0.19 c core #66 0.11/0.19 c Core size: 3 Core Weight: 1 Total Weight: 66 0.11/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.11/0.20 c core #67 0.11/0.20 c Core size: 3 Core Weight: 1 Total Weight: 67 0.11/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.11/0.20 c core #68 0.11/0.20 c Core size: 3 Core Weight: 1 Total Weight: 68 0.11/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.11/0.20 c core #69 0.11/0.20 c Core size: 3 Core Weight: 1 Total Weight: 69 0.11/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #70 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 70 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #71 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 71 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #72 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 72 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #73 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 73 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #74 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #75 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 75 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #76 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #77 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.23 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #78 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 78 0.19/0.23 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #79 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 79 0.19/0.23 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #80 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 80 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #81 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 81 0.19/0.24 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #82 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 82 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #83 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 83 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #84 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 84 0.19/0.25 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #85 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 85 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #86 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 86 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.26 c core #87 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 87 0.19/0.26 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #88 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 88 0.19/0.26 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #89 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 89 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #90 0.19/0.27 c Core size: 9 Core Weight: 1 Total Weight: 90 0.19/0.27 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #91 0.19/0.27 c Core size: 11 Core Weight: 1 Total Weight: 91 0.19/0.27 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #92 0.19/0.27 c Core size: 11 Core Weight: 1 Total Weight: 92 0.19/0.27 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #93 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 93 0.19/0.28 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #94 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 94 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #95 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 95 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #96 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 96 0.19/0.29 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #97 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 97 0.19/0.29 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #98 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 98 0.19/0.29 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.30 c core #99 0.19/0.30 c Core size: 11 Core Weight: 1 Total Weight: 99 0.19/0.30 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #100 0.19/0.30 c Core size: 11 Core Weight: 1 Total Weight: 100 0.19/0.30 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #101 0.19/0.30 c Core size: 11 Core Weight: 1 Total Weight: 101 0.19/0.30 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #102 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 102 0.29/0.31 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #103 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 103 0.29/0.31 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #104 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 104 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #105 0.29/0.32 c Core size: 11 Core Weight: 1 Total Weight: 105 0.29/0.32 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #106 0.29/0.32 c Core size: 11 Core Weight: 1 Total Weight: 106 0.29/0.32 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #107 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 107 0.29/0.33 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #108 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 108 0.29/0.33 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #109 0.29/0.34 c Core size: 11 Core Weight: 1 Total Weight: 109 0.29/0.34 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #110 0.29/0.34 c Core size: 11 Core Weight: 1 Total Weight: 110 0.29/0.34 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #111 0.29/0.34 c Core size: 11 Core Weight: 1 Total Weight: 111 0.29/0.34 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #112 0.29/0.35 c Core size: 11 Core Weight: 1 Total Weight: 112 0.29/0.35 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #113 0.29/0.35 c Core size: 11 Core Weight: 1 Total Weight: 113 0.29/0.35 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #114 0.29/0.35 c Core size: 11 Core Weight: 1 Total Weight: 114 0.29/0.35 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #115 0.29/0.36 c Core size: 11 Core Weight: 1 Total Weight: 115 0.29/0.36 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #116 0.29/0.36 c Core size: 11 Core Weight: 1 Total Weight: 116 0.29/0.36 c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s 0.29/0.37 c core #117 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: 117 0.29/0.37 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #118 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: 118 0.29/0.37 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #119 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: 119 0.29/0.37 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.38 c core #120 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 120 0.29/0.38 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #121 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 121 0.29/0.38 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #122 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 122 0.29/0.38 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #123 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 123 0.29/0.39 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #124 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 124 0.29/0.39 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #125 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 125 0.29/0.39 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.40 c core #126 0.29/0.40 c Core size: 11 Core Weight: 1 Total Weight: 126 0.29/0.40 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.38/0.40 c core #127 0.38/0.40 c Core size: 11 Core Weight: 1 Total Weight: 127 0.38/0.40 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.38/0.40 c core #128 0.38/0.40 c Core size: 12 Core Weight: 1 Total Weight: 128 0.38/0.40 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.38/0.41 c core #129 0.38/0.41 c Core size: 22 Core Weight: 1 Total Weight: 129 0.38/0.41 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.38/0.41 c core #130 0.38/0.41 c Core size: 20 Core Weight: 1 Total Weight: 130 0.38/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.38/0.42 c core #131 0.38/0.42 c Core size: 21 Core Weight: 1 Total Weight: 131 0.38/0.42 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.38/0.42 c core #132 0.38/0.42 c Core size: 21 Core Weight: 1 Total Weight: 132 0.38/0.42 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.38/0.42 c core #133 0.38/0.42 c Core size: 20 Core Weight: 1 Total Weight: 133 0.38/0.42 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.38/0.43 c core #134 0.38/0.43 c Core size: 20 Core Weight: 1 Total Weight: 134 0.38/0.43 c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s 0.38/0.43 c core #135 0.38/0.43 c Core size: 22 Core Weight: 1 Total Weight: 135 0.38/0.43 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.38/0.44 c core #136 0.38/0.44 c Core size: 21 Core Weight: 1 Total Weight: 136 0.38/0.44 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.38/0.44 c core #137 0.38/0.44 c Core size: 12 Core Weight: 1 Total Weight: 137 0.38/0.44 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.38/0.44 c core #138 0.38/0.44 c Core size: 22 Core Weight: 1 Total Weight: 138 0.38/0.44 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.38/0.45 c core #139 0.38/0.45 c Core size: 20 Core Weight: 1 Total Weight: 139 0.38/0.45 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.38/0.45 c core #140 0.38/0.45 c Core size: 21 Core Weight: 1 Total Weight: 140 0.38/0.45 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.38/0.45 c core #141 0.38/0.45 c Core size: 21 Core Weight: 1 Total Weight: 141 0.38/0.45 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.38/0.46 c core #142 0.38/0.46 c Core size: 20 Core Weight: 1 Total Weight: 142 0.38/0.46 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.38/0.46 c core #143 0.38/0.46 c Core size: 20 Core Weight: 1 Total Weight: 143 0.38/0.46 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.38/0.47 c core #144 0.38/0.47 c Core size: 22 Core Weight: 1 Total Weight: 144 0.38/0.47 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.38/0.47 c core #145 0.38/0.47 c Core size: 21 Core Weight: 1 Total Weight: 145 0.38/0.47 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.38/0.47 c core #146 0.38/0.47 c Core size: 12 Core Weight: 1 Total Weight: 146 0.38/0.47 c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s 0.38/0.48 c core #147 0.38/0.48 c Core size: 22 Core Weight: 1 Total Weight: 147 0.38/0.48 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.38/0.48 c core #148 0.38/0.48 c Core size: 20 Core Weight: 1 Total Weight: 148 0.38/0.48 c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 s 0.38/0.49 c core #149 0.38/0.49 c Core size: 21 Core Weight: 1 Total Weight: 149 0.38/0.49 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.38/0.49 c core #150 0.38/0.49 c Core size: 21 Core Weight: 1 Total Weight: 150 0.38/0.49 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.38/0.49 c core #151 0.38/0.49 c Core size: 20 Core Weight: 1 Total Weight: 151 0.38/0.49 c Elapsed CPU time: 0.473927 s Remaining CPU time: 1799.53 s 0.38/0.50 c core #152 0.38/0.50 c Core size: 20 Core Weight: 1 Total Weight: 152 0.38/0.50 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.47/0.50 c core #153 0.47/0.50 c Core size: 22 Core Weight: 1 Total Weight: 153 0.47/0.50 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.47/0.51 c core #154 0.47/0.51 c Core size: 21 Core Weight: 1 Total Weight: 154 0.47/0.51 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.47/0.51 c core #155 0.47/0.51 c Core size: 12 Core Weight: 1 Total Weight: 155 0.47/0.51 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.47/0.51 c core #156 0.47/0.51 c Core size: 22 Core Weight: 1 Total Weight: 156 0.47/0.51 c Elapsed CPU time: 0.493924 s Remaining CPU time: 1799.51 s 0.47/0.52 c core #157 0.47/0.52 c Core size: 20 Core Weight: 1 Total Weight: 157 0.47/0.52 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.47/0.52 c core #158 0.47/0.52 c Core size: 21 Core Weight: 1 Total Weight: 158 0.47/0.52 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.47/0.53 c core #159 0.47/0.53 c Core size: 21 Core Weight: 1 Total Weight: 159 0.47/0.53 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.47/0.53 c core #160 0.47/0.53 c Core size: 20 Core Weight: 1 Total Weight: 160 0.47/0.53 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.47/0.54 c core #161 0.47/0.54 c Core size: 20 Core Weight: 1 Total Weight: 161 0.47/0.54 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.47/0.54 c core #162 0.47/0.54 c Core size: 22 Core Weight: 1 Total Weight: 162 0.47/0.54 c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s 0.47/0.54 c core #163 0.47/0.54 c Core size: 21 Core Weight: 1 Total Weight: 163 0.47/0.54 c Elapsed CPU time: 0.52292 s Remaining CPU time: 1799.48 s 0.47/0.55 c core #164 0.47/0.55 c Core size: 12 Core Weight: 1 Total Weight: 164 0.47/0.55 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.47/0.55 c core #165 0.47/0.55 c Core size: 22 Core Weight: 1 Total Weight: 165 0.47/0.55 c Elapsed CPU time: 0.531919 s Remaining CPU time: 1799.47 s 0.47/0.56 c core #166 0.47/0.56 c Core size: 20 Core Weight: 1 Total Weight: 166 0.47/0.56 c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s 0.47/0.56 c core #167 0.47/0.56 c Core size: 21 Core Weight: 1 Total Weight: 167 0.47/0.56 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.47/0.57 c core #168 0.47/0.57 c Core size: 21 Core Weight: 1 Total Weight: 168 0.47/0.57 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.47/0.57 c core #169 0.47/0.57 c Core size: 20 Core Weight: 1 Total Weight: 169 0.47/0.57 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.47/0.57 c core #170 0.47/0.57 c Core size: 20 Core Weight: 1 Total Weight: 170 0.47/0.57 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.47/0.58 c core #171 0.47/0.58 c Core size: 22 Core Weight: 1 Total Weight: 171 0.47/0.58 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.47/0.58 c core #172 0.47/0.58 c Core size: 21 Core Weight: 1 Total Weight: 172 0.47/0.58 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.47/0.59 c core #173 0.47/0.59 c Core size: 12 Core Weight: 1 Total Weight: 173 0.47/0.59 c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s 0.47/0.59 c core #174 0.47/0.59 c Core size: 22 Core Weight: 1 Total Weight: 174 0.47/0.59 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.47/0.60 c core #175 0.47/0.60 c Core size: 20 Core Weight: 1 Total Weight: 175 0.47/0.60 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.57/0.60 c core #176 0.57/0.60 c Core size: 21 Core Weight: 1 Total Weight: 176 0.57/0.60 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.57/0.61 c core #177 0.57/0.61 c Core size: 21 Core Weight: 1 Total Weight: 177 0.57/0.61 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.57/0.61 c core #178 0.57/0.61 c Core size: 20 Core Weight: 1 Total Weight: 178 0.57/0.61 c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s 0.57/0.62 c core #179 0.57/0.62 c Core size: 20 Core Weight: 1 Total Weight: 179 0.57/0.62 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.57/0.62 c core #180 0.57/0.62 c Core size: 22 Core Weight: 1 Total Weight: 180 0.57/0.62 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.57/0.62 c core #181 0.57/0.62 c Core size: 21 Core Weight: 1 Total Weight: 181 0.57/0.62 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.57/0.63 c core #182 0.57/0.63 c Core size: 12 Core Weight: 1 Total Weight: 182 0.57/0.63 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.57/0.63 c core #183 0.57/0.63 c Core size: 22 Core Weight: 1 Total Weight: 183 0.57/0.63 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.57/0.64 c core #184 0.57/0.64 c Core size: 20 Core Weight: 1 Total Weight: 184 0.57/0.64 c Elapsed CPU time: 0.614906 s Remaining CPU time: 1799.39 s 0.57/0.64 c core #185 0.57/0.64 c Core size: 21 Core Weight: 1 Total Weight: 185 0.57/0.64 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.57/0.65 c core #186 0.57/0.65 c Core size: 21 Core Weight: 1 Total Weight: 186 0.57/0.65 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.57/0.65 c core #187 0.57/0.65 c Core size: 20 Core Weight: 1 Total Weight: 187 0.57/0.65 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.57/0.66 c core #188 0.57/0.66 c Core size: 20 Core Weight: 1 Total Weight: 188 0.57/0.66 c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s 0.57/0.66 c core #189 0.57/0.66 c Core size: 22 Core Weight: 1 Total Weight: 189 0.57/0.66 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.57/0.67 c core #190 0.57/0.67 c Core size: 21 Core Weight: 1 Total Weight: 190 0.57/0.67 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.57/0.67 c core #191 0.57/0.67 c Core size: 12 Core Weight: 1 Total Weight: 191 0.57/0.67 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.57/0.68 c core #192 0.57/0.68 c Core size: 22 Core Weight: 1 Total Weight: 192 0.57/0.68 c Elapsed CPU time: 0.650901 s Remaining CPU time: 1799.35 s 0.57/0.68 c core #193 0.57/0.68 c Core size: 20 Core Weight: 1 Total Weight: 193 0.57/0.68 c Elapsed CPU time: 0.6559 s Remaining CPU time: 1799.34 s 0.57/0.68 c core #194 0.57/0.68 c Core size: 21 Core Weight: 1 Total Weight: 194 0.57/0.68 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.57/0.69 c core #195 0.57/0.69 c Core size: 21 Core Weight: 1 Total Weight: 195 0.57/0.69 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.57/0.69 c core #196 0.57/0.69 c Core size: 20 Core Weight: 1 Total Weight: 196 0.57/0.69 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.67/0.70 c core #197 0.67/0.70 c Core size: 20 Core Weight: 1 Total Weight: 197 0.67/0.70 c Elapsed CPU time: 0.674897 s Remaining CPU time: 1799.33 s 0.67/0.70 c core #198 0.67/0.70 c Core size: 22 Core Weight: 1 Total Weight: 198 0.67/0.70 c Elapsed CPU time: 0.679896 s Remaining CPU time: 1799.32 s 0.67/0.71 c core #199 0.67/0.71 c Core size: 21 Core Weight: 1 Total Weight: 199 0.67/0.71 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.67/0.71 c core #200 0.67/0.71 c Core size: 12 Core Weight: 1 Total Weight: 200 0.67/0.71 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 0.67/0.72 c core #201 0.67/0.72 c Core size: 22 Core Weight: 1 Total Weight: 201 0.67/0.72 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.67/0.72 c core #202 0.67/0.72 c Core size: 20 Core Weight: 1 Total Weight: 202 0.67/0.72 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.67/0.73 c core #203 0.67/0.73 c Core size: 21 Core Weight: 1 Total Weight: 203 0.67/0.73 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.67/0.73 c core #204 0.67/0.73 c Core size: 21 Core Weight: 1 Total Weight: 204 0.67/0.73 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.67/0.74 c core #205 0.67/0.74 c Core size: 20 Core Weight: 1 Total Weight: 205 0.67/0.74 c Elapsed CPU time: 0.713891 s Remaining CPU time: 1799.29 s 0.67/0.74 c core #206 0.67/0.74 c Core size: 20 Core Weight: 1 Total Weight: 206 0.67/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 1799.28 s 0.67/0.75 c core #207 0.67/0.75 c Core size: 22 Core Weight: 1 Total Weight: 207 0.67/0.75 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.67/0.75 c core #208 0.67/0.75 c Core size: 21 Core Weight: 1 Total Weight: 208 0.67/0.75 c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s 0.67/0.76 c core #209 0.67/0.76 c Core size: 12 Core Weight: 1 Total Weight: 209 0.67/0.76 c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s 0.67/0.76 c core #210 0.67/0.76 c Core size: 22 Core Weight: 1 Total Weight: 210 0.67/0.76 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.67/0.77 c core #211 0.67/0.77 c Core size: 20 Core Weight: 1 Total Weight: 211 0.67/0.77 c Elapsed CPU time: 0.743886 s Remaining CPU time: 1799.26 s 0.67/0.78 c core #212 0.67/0.78 c Core size: 21 Core Weight: 1 Total Weight: 212 0.67/0.78 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.67/0.78 c core #213 0.67/0.78 c Core size: 21 Core Weight: 1 Total Weight: 213 0.67/0.78 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.67/0.79 c core #214 0.67/0.79 c Core size: 20 Core Weight: 1 Total Weight: 214 0.67/0.79 c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s 0.67/0.79 c core #215 0.67/0.79 c Core size: 20 Core Weight: 1 Total Weight: 215 0.67/0.79 c Elapsed CPU time: 0.764883 s Remaining CPU time: 1799.24 s 0.67/0.80 c core #216 0.67/0.80 c Core size: 22 Core Weight: 1 Total Weight: 216 0.67/0.80 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.77/0.80 c core #217 0.77/0.80 c Core size: 21 Core Weight: 1 Total Weight: 217 0.77/0.80 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.77/0.81 c core #218 0.77/0.81 c Core size: 211 Core Weight: 1 Total Weight: 218 0.77/0.81 c Elapsed CPU time: 0.780881 s Remaining CPU time: 1799.22 s 0.77/0.81 c core #219 0.77/0.81 c Core size: 7 Core Weight: 1 Total Weight: 219 0.77/0.81 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.77/0.82 c core #220 0.77/0.82 c Core size: 7 Core Weight: 1 Total Weight: 220 0.77/0.82 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.77/0.82 c core #221 0.77/0.82 c Core size: 7 Core Weight: 1 Total Weight: 221 0.77/0.82 c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s 0.77/0.83 c core #222 0.77/0.83 c Core size: 7 Core Weight: 1 Total Weight: 222 0.77/0.83 c Elapsed CPU time: 0.800878 s Remaining CPU time: 1799.2 s 0.77/0.83 c core #223 0.77/0.83 c Core size: 7 Core Weight: 1 Total Weight: 223 0.77/0.83 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.77/0.84 c core #224 0.77/0.84 c Core size: 7 Core Weight: 1 Total Weight: 224 0.77/0.84 c Elapsed CPU time: 0.809876 s Remaining CPU time: 1799.19 s 0.77/0.84 c core #225 0.77/0.84 c Core size: 7 Core Weight: 1 Total Weight: 225 0.77/0.84 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.77/0.85 c core #226 0.77/0.85 c Core size: 7 Core Weight: 1 Total Weight: 226 0.77/0.85 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.77/0.85 c core #227 0.77/0.85 c Core size: 7 Core Weight: 1 Total Weight: 227 0.77/0.85 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.77/0.86 c core #228 0.77/0.86 c Core size: 7 Core Weight: 1 Total Weight: 228 0.77/0.86 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.77/0.86 c ============================[ Search Statistics ]============================== 0.77/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.86 c =============================================================================== 0.77/0.86 c | 0 | 2100 5025 11670 | 5000 0 nan | 0.000 % | 0.77/0.86 c =============================================================================== 0.77/0.86 c core #229 0.77/0.86 c Core size: 19 Core Weight: 1 Total Weight: 229 0.77/0.86 c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s 0.77/0.87 c ============================[ Search Statistics ]============================== 0.77/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.87 c =============================================================================== 0.77/0.87 c | 0 | 2109 5026 11688 | 5000 0 nan | 0.000 % | 0.77/0.87 c =============================================================================== 0.77/0.87 c core #230 0.77/0.87 c Core size: 35 Core Weight: 1 Total Weight: 230 0.77/0.87 c Elapsed CPU time: 0.839872 s Remaining CPU time: 1799.16 s 0.77/0.88 c ============================[ Search Statistics ]============================== 0.77/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.88 c =============================================================================== 0.77/0.88 c | 0 | 2119 5027 11708 | 5000 0 nan | 0.000 % | 0.77/0.88 c =============================================================================== 0.77/0.88 c core #231 0.77/0.88 c Core size: 15 Core Weight: 1 Total Weight: 231 0.77/0.88 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.77/0.88 c ============================[ Search Statistics ]============================== 0.77/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.88 c =============================================================================== 0.77/0.88 c | 0 | 2126 5028 11722 | 5000 0 nan | 0.000 % | 0.77/0.88 c =============================================================================== 0.77/0.88 c core #232 0.77/0.88 c Core size: 13 Core Weight: 1 Total Weight: 232 0.77/0.88 c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s 0.77/0.89 c ============================[ Search Statistics ]============================== 0.77/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.89 c =============================================================================== 0.77/0.89 c | 0 | 2132 5029 11734 | 5000 0 nan | 0.000 % | 0.77/0.89 c =============================================================================== 0.77/0.89 c core #233 0.77/0.89 c Core size: 35 Core Weight: 1 Total Weight: 233 0.77/0.89 c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s 0.77/0.89 c ============================[ Search Statistics ]============================== 0.77/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.89 c =============================================================================== 0.77/0.89 c | 0 | 2142 5030 11754 | 5000 0 nan | 0.000 % | 0.77/0.89 c =============================================================================== 0.77/0.89 c core #234 0.77/0.89 c Core size: 24 Core Weight: 1 Total Weight: 234 0.77/0.89 c Elapsed CPU time: 0.863868 s Remaining CPU time: 1799.14 s 0.77/0.90 c ============================[ Search Statistics ]============================== 0.77/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.90 c =============================================================================== 0.77/0.90 c | 0 | 2153 5031 11776 | 5000 0 nan | 0.000 % | 0.77/0.90 c =============================================================================== 0.77/0.90 c core #235 0.77/0.90 c Core size: 12 Core Weight: 1 Total Weight: 235 0.77/0.90 c Elapsed CPU time: 0.867868 s Remaining CPU time: 1799.13 s 0.77/0.91 c ============================[ Search Statistics ]============================== 0.77/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.91 c =============================================================================== 0.77/0.91 c | 0 | 2159 5032 11788 | 5000 0 nan | 0.000 % | 0.77/0.91 c =============================================================================== 0.77/0.91 c core #236 0.77/0.91 c Core size: 22 Core Weight: 1 Total Weight: 236 0.77/0.91 c Elapsed CPU time: 0.872867 s Remaining CPU time: 1799.13 s 0.77/0.91 c ============================[ Search Statistics ]============================== 0.77/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.91 c =============================================================================== 0.77/0.91 c | 0 | 2170 5033 11810 | 5000 0 nan | 0.000 % | 0.87/0.91 c =============================================================================== 0.87/0.91 c core #237 0.87/0.91 c Core size: 12 Core Weight: 1 Total Weight: 237 0.87/0.91 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.87/0.92 c ============================[ Search Statistics ]============================== 0.87/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.92 c =============================================================================== 0.87/0.92 c | 0 | 2176 5034 11822 | 5000 0 nan | 0.000 % | 0.87/0.92 c =============================================================================== 0.87/0.92 c core #238 0.87/0.92 c Core size: 15 Core Weight: 1 Total Weight: 238 0.87/0.92 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.87/0.92 c ============================[ Search Statistics ]============================== 0.87/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.92 c =============================================================================== 0.87/0.92 c | 0 | 2183 5035 11836 | 5000 0 nan | 0.000 % | 0.87/0.93 c =============================================================================== 0.87/0.93 c core #239 0.87/0.93 c Core size: 15 Core Weight: 1 Total Weight: 239 0.87/0.93 c Elapsed CPU time: 0.890864 s Remaining CPU time: 1799.11 s 0.87/0.93 c ============================[ Search Statistics ]============================== 0.87/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.93 c =============================================================================== 0.87/0.93 c | 0 | 2190 5036 11850 | 5000 0 nan | 0.000 % | 0.87/0.93 c =============================================================================== 0.87/0.93 c core #240 0.87/0.93 c Core size: 17 Core Weight: 1 Total Weight: 240 0.87/0.93 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.87/0.94 c ============================[ Search Statistics ]============================== 0.87/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.94 c =============================================================================== 0.87/0.94 c | 0 | 2198 5037 11866 | 5000 0 nan | 0.000 % | 0.87/0.94 c =============================================================================== 0.87/0.94 c core #241 0.87/0.94 c Core size: 13 Core Weight: 1 Total Weight: 241 0.87/0.94 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.87/0.94 c ============================[ Search Statistics ]============================== 0.87/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.94 c =============================================================================== 0.87/0.94 c | 0 | 2204 5038 11878 | 5000 0 nan | 0.000 % | 0.87/0.94 c =============================================================================== 0.87/0.94 c core #242 0.87/0.94 c Core size: 23 Core Weight: 1 Total Weight: 242 0.87/0.94 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.87/0.95 c ============================[ Search Statistics ]============================== 0.87/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.95 c =============================================================================== 0.87/0.95 c | 0 | 2214 5039 11898 | 5000 0 nan | 0.000 % | 0.87/0.95 c =============================================================================== 0.87/0.95 c core #243 0.87/0.95 c Core size: 12 Core Weight: 1 Total Weight: 243 0.87/0.95 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.87/0.96 c ============================[ Search Statistics ]============================== 0.87/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.96 c =============================================================================== 0.87/0.96 c | 0 | 2220 5040 11910 | 5000 0 nan | 0.000 % | 0.87/0.96 c =============================================================================== 0.87/0.96 c core #244 0.87/0.96 c Core size: 15 Core Weight: 1 Total Weight: 244 0.87/0.96 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.87/0.96 c ============================[ Search Statistics ]============================== 0.87/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.96 c =============================================================================== 0.87/0.96 c | 0 | 2227 5041 11924 | 5000 0 nan | 0.000 % | 0.87/0.96 c =============================================================================== 0.87/0.96 c core #245 0.87/0.96 c Core size: 15 Core Weight: 1 Total Weight: 245 0.87/0.96 c Elapsed CPU time: 0.924859 s Remaining CPU time: 1799.08 s 0.87/0.97 c ============================[ Search Statistics ]============================== 0.87/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.97 c =============================================================================== 0.87/0.97 c | 0 | 2234 5042 11938 | 5000 0 nan | 0.000 % | 0.87/0.97 c =============================================================================== 0.87/0.97 c core #246 0.87/0.97 c Core size: 17 Core Weight: 1 Total Weight: 246 0.87/0.97 c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s 0.87/0.98 c ============================[ Search Statistics ]============================== 0.87/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.98 c =============================================================================== 0.87/0.98 c | 0 | 2242 5043 11954 | 5000 0 nan | 0.000 % | 0.87/0.98 c =============================================================================== 0.87/0.98 c core #247 0.87/0.98 c Core size: 13 Core Weight: 1 Total Weight: 247 0.87/0.98 c Elapsed CPU time: 0.938857 s Remaining CPU time: 1799.06 s 0.87/0.98 c ============================[ Search Statistics ]============================== 0.87/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.98 c =============================================================================== 0.87/0.98 c | 0 | 2248 5044 11966 | 5000 0 nan | 0.000 % | 0.87/0.98 c =============================================================================== 0.87/0.98 c core #248 0.87/0.98 c Core size: 23 Core Weight: 1 Total Weight: 248 0.87/0.98 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.87/0.99 c ============================[ Search Statistics ]============================== 0.87/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.99 c =============================================================================== 0.87/0.99 c | 0 | 2258 5045 11986 | 5000 0 nan | 0.000 % | 0.87/0.99 c =============================================================================== 0.87/0.99 c core #249 0.87/0.99 c Core size: 72 Core Weight: 1 Total Weight: 249 0.87/0.99 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.87/1.00 c Learning 2 hard constraints 0.87/1.00 c ============================[ Search Statistics ]============================== 0.87/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/1.00 c =============================================================================== 0.87/1.00 c | 0 | 2281 5048 12042 | 5000 0 nan | 0.000 % | 0.95/1.00 c =============================================================================== 0.95/1.00 c core #250 0.95/1.00 c Core size: 12 Core Weight: 1 Total Weight: 250 0.95/1.00 c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s 0.95/1.00 c ============================[ Search Statistics ]============================== 0.95/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.00 c =============================================================================== 0.95/1.00 c | 0 | 2287 5049 12054 | 5000 0 nan | 0.000 % | 0.95/1.00 c =============================================================================== 0.95/1.01 c core #251 0.95/1.01 c Core size: 15 Core Weight: 1 Total Weight: 251 0.95/1.01 c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s 0.95/1.01 c ============================[ Search Statistics ]============================== 0.95/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.01 c =============================================================================== 0.95/1.01 c | 0 | 2294 5050 12068 | 5000 0 nan | 0.000 % | 0.95/1.01 c =============================================================================== 0.95/1.01 c core #252 0.95/1.01 c Core size: 20 Core Weight: 1 Total Weight: 252 0.95/1.01 c Elapsed CPU time: 0.970852 s Remaining CPU time: 1799.03 s 0.95/1.02 c ============================[ Search Statistics ]============================== 0.95/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.02 c =============================================================================== 0.95/1.02 c | 0 | 2303 5051 12086 | 5000 0 nan | 0.000 % | 0.95/1.02 c =============================================================================== 0.95/1.02 c core #253 0.95/1.02 c Core size: 15 Core Weight: 1 Total Weight: 253 0.95/1.02 c Elapsed CPU time: 0.977851 s Remaining CPU time: 1799.02 s 0.95/1.02 c ============================[ Search Statistics ]============================== 0.95/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.02 c =============================================================================== 0.95/1.02 c | 0 | 2310 5052 12100 | 5000 0 nan | 0.000 % | 0.95/1.03 c =============================================================================== 0.95/1.03 c core #254 0.95/1.03 c Core size: 19 Core Weight: 1 Total Weight: 254 0.95/1.03 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.95/1.03 c ============================[ Search Statistics ]============================== 0.95/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.03 c =============================================================================== 0.95/1.03 c | 0 | 2319 5053 12118 | 5000 0 nan | 0.000 % | 0.95/1.03 c =============================================================================== 0.95/1.03 c core #255 0.95/1.03 c Core size: 34 Core Weight: 1 Total Weight: 255 0.95/1.03 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 0.95/1.04 c ============================[ Search Statistics ]============================== 0.95/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.04 c =============================================================================== 0.95/1.04 c | 0 | 2328 5054 12136 | 5000 0 nan | 0.000 % | 0.95/1.04 c =============================================================================== 0.95/1.04 c core #256 0.95/1.04 c Core size: 15 Core Weight: 1 Total Weight: 256 0.95/1.04 c Elapsed CPU time: 0.993848 s Remaining CPU time: 1799.01 s 0.95/1.04 c ============================[ Search Statistics ]============================== 0.95/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.04 c =============================================================================== 0.95/1.04 c | 0 | 2335 5055 12150 | 5000 0 nan | 0.000 % | 0.95/1.04 c =============================================================================== 0.95/1.04 c core #257 0.95/1.04 c Core size: 13 Core Weight: 1 Total Weight: 257 0.95/1.04 c Elapsed CPU time: 0.999848 s Remaining CPU time: 1799 s 0.95/1.05 c ============================[ Search Statistics ]============================== 0.95/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.05 c =============================================================================== 0.95/1.05 c | 0 | 2341 5056 12162 | 5000 0 nan | 0.000 % | 0.95/1.05 c =============================================================================== 0.95/1.05 c core #258 0.95/1.05 c Core size: 25 Core Weight: 1 Total Weight: 258 0.95/1.05 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 0.95/1.06 c ============================[ Search Statistics ]============================== 0.95/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.06 c =============================================================================== 0.95/1.06 c | 0 | 2352 5057 12184 | 5000 0 nan | 0.000 % | 0.95/1.06 c =============================================================================== 0.95/1.06 c core #259 0.95/1.06 c Core size: 17 Core Weight: 1 Total Weight: 259 0.95/1.06 c Elapsed CPU time: 1.01285 s Remaining CPU time: 1798.99 s 0.95/1.06 c ============================[ Search Statistics ]============================== 0.95/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.06 c =============================================================================== 0.95/1.06 c | 0 | 2360 5058 12200 | 5000 0 nan | 0.000 % | 0.95/1.07 c =============================================================================== 0.95/1.07 c core #260 0.95/1.07 c Core size: 19 Core Weight: 1 Total Weight: 260 0.95/1.07 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 0.95/1.07 c ============================[ Search Statistics ]============================== 0.95/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.07 c =============================================================================== 0.95/1.07 c | 0 | 2369 5059 12218 | 5000 0 nan | 0.000 % | 0.95/1.07 c =============================================================================== 0.95/1.07 c core #261 0.95/1.07 c Core size: 34 Core Weight: 1 Total Weight: 261 0.95/1.07 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 0.95/1.08 c ============================[ Search Statistics ]============================== 0.95/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.08 c =============================================================================== 0.95/1.08 c | 0 | 2378 5060 12236 | 5000 0 nan | 0.000 % | 0.95/1.08 c =============================================================================== 0.95/1.08 c core #262 0.95/1.08 c Core size: 15 Core Weight: 1 Total Weight: 262 0.95/1.08 c Elapsed CPU time: 1.03184 s Remaining CPU time: 1798.97 s 0.95/1.08 c ============================[ Search Statistics ]============================== 0.95/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.08 c =============================================================================== 0.95/1.08 c | 0 | 2385 5061 12250 | 5000 0 nan | 0.000 % | 0.95/1.09 c =============================================================================== 0.95/1.09 c core #263 0.95/1.09 c Core size: 13 Core Weight: 1 Total Weight: 263 0.95/1.09 c Elapsed CPU time: 1.03784 s Remaining CPU time: 1798.96 s 0.95/1.09 c ============================[ Search Statistics ]============================== 0.95/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.09 c =============================================================================== 0.95/1.09 c | 0 | 2391 5062 12262 | 5000 0 nan | 0.000 % | 0.95/1.09 c =============================================================================== 0.95/1.09 c core #264 0.95/1.09 c Core size: 25 Core Weight: 1 Total Weight: 264 0.95/1.09 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 0.95/1.10 c ============================[ Search Statistics ]============================== 0.95/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.95/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.95/1.10 c =============================================================================== 0.95/1.10 c | 0 | 2402 5063 12284 | 5000 0 nan | 0.000 % | 0.95/1.10 c =============================================================================== 0.95/1.10 c core #265 0.95/1.10 c Core size: 13 Core Weight: 1 Total Weight: 265 0.95/1.10 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 1.06/1.11 c ============================[ Search Statistics ]============================== 1.06/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.11 c =============================================================================== 1.06/1.11 c | 0 | 2408 5064 12296 | 5000 0 nan | 0.000 % | 1.06/1.11 c =============================================================================== 1.06/1.11 c core #266 1.06/1.11 c Core size: 18 Core Weight: 1 Total Weight: 266 1.06/1.11 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 1.06/1.11 c ============================[ Search Statistics ]============================== 1.06/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.11 c =============================================================================== 1.06/1.11 c | 0 | 2416 5065 12312 | 5000 0 nan | 0.000 % | 1.06/1.11 c =============================================================================== 1.06/1.11 c core #267 1.06/1.11 c Core size: 28 Core Weight: 1 Total Weight: 267 1.06/1.11 c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s 1.06/1.12 c ============================[ Search Statistics ]============================== 1.06/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.12 c =============================================================================== 1.06/1.12 c | 0 | 2428 5066 12336 | 5000 0 nan | 0.000 % | 1.06/1.12 c =============================================================================== 1.06/1.12 c core #268 1.06/1.12 c Core size: 32 Core Weight: 1 Total Weight: 268 1.06/1.12 c Elapsed CPU time: 1.06984 s Remaining CPU time: 1798.93 s 1.06/1.13 c ============================[ Search Statistics ]============================== 1.06/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.13 c =============================================================================== 1.06/1.13 c | 0 | 2441 5067 12362 | 5000 0 nan | 0.000 % | 1.06/1.13 c =============================================================================== 1.06/1.13 c core #269 1.06/1.13 c Core size: 99 Core Weight: 1 Total Weight: 269 1.06/1.13 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 1.06/1.14 c ============================[ Search Statistics ]============================== 1.06/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.14 c =============================================================================== 1.06/1.14 c | 0 | 2476 5068 12432 | 5000 0 nan | 0.000 % | 1.06/1.14 c =============================================================================== 1.06/1.14 c core #270 1.06/1.14 c Core size: 35 Core Weight: 1 Total Weight: 270 1.06/1.14 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 1.06/1.14 c ============================[ Search Statistics ]============================== 1.06/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.14 c =============================================================================== 1.06/1.14 c | 0 | 2486 5069 12452 | 5000 0 nan | 0.000 % | 1.06/1.14 c =============================================================================== 1.06/1.14 c core #271 1.06/1.14 c Core size: 13 Core Weight: 1 Total Weight: 271 1.06/1.14 c Elapsed CPU time: 1.08583 s Remaining CPU time: 1798.91 s 1.06/1.15 c ============================[ Search Statistics ]============================== 1.06/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.15 c =============================================================================== 1.06/1.15 c | 0 | 2492 5070 12464 | 5000 0 nan | 0.000 % | 1.06/1.15 c =============================================================================== 1.06/1.15 c core #272 1.06/1.15 c Core size: 12 Core Weight: 1 Total Weight: 272 1.06/1.15 c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s 1.06/1.16 c ============================[ Search Statistics ]============================== 1.06/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.16 c =============================================================================== 1.06/1.16 c | 0 | 2498 5071 12476 | 5000 0 nan | 0.000 % | 1.06/1.16 c =============================================================================== 1.06/1.16 c core #273 1.06/1.16 c Core size: 20 Core Weight: 1 Total Weight: 273 1.06/1.16 c Elapsed CPU time: 1.09783 s Remaining CPU time: 1798.9 s 1.06/1.16 c ============================[ Search Statistics ]============================== 1.06/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.16 c =============================================================================== 1.06/1.16 c | 0 | 2507 5072 12494 | 5000 0 nan | 0.000 % | 1.06/1.16 c =============================================================================== 1.06/1.16 c core #274 1.06/1.16 c Core size: 27 Core Weight: 1 Total Weight: 274 1.06/1.16 c Elapsed CPU time: 1.10483 s Remaining CPU time: 1798.9 s 1.06/1.17 c ============================[ Search Statistics ]============================== 1.06/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.17 c =============================================================================== 1.06/1.17 c | 0 | 2520 5073 12520 | 5000 0 nan | 0.000 % | 1.06/1.17 c =============================================================================== 1.06/1.17 c core #275 1.06/1.17 c Core size: 17 Core Weight: 1 Total Weight: 275 1.06/1.17 c Elapsed CPU time: 1.11183 s Remaining CPU time: 1798.89 s 1.06/1.18 c ============================[ Search Statistics ]============================== 1.06/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.18 c =============================================================================== 1.06/1.18 c | 0 | 2528 5074 12536 | 5000 0 nan | 0.000 % | 1.06/1.18 c =============================================================================== 1.06/1.18 c core #276 1.06/1.18 c Core size: 46 Core Weight: 1 Total Weight: 276 1.06/1.18 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.06/1.18 c ============================[ Search Statistics ]============================== 1.06/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.18 c =============================================================================== 1.06/1.18 c | 0 | 2537 5075 12554 | 5000 0 nan | 0.000 % | 1.06/1.18 c =============================================================================== 1.06/1.18 c core #277 1.06/1.18 c Core size: 19 Core Weight: 1 Total Weight: 277 1.06/1.19 c Elapsed CPU time: 1.12583 s Remaining CPU time: 1798.87 s 1.06/1.19 c ============================[ Search Statistics ]============================== 1.06/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.19 c =============================================================================== 1.06/1.19 c | 0 | 2546 5076 12572 | 5000 0 nan | 0.000 % | 1.06/1.19 c =============================================================================== 1.06/1.19 c core #278 1.06/1.19 c Core size: 34 Core Weight: 1 Total Weight: 278 1.06/1.19 c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s 1.06/1.20 c ============================[ Search Statistics ]============================== 1.06/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.06/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.06/1.20 c =============================================================================== 1.06/1.20 c | 0 | 2555 5077 12590 | 5000 0 nan | 0.000 % | 1.06/1.20 c =============================================================================== 1.06/1.20 c core #279 1.06/1.20 c Core size: 13 Core Weight: 1 Total Weight: 279 1.06/1.20 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.15/1.20 c ============================[ Search Statistics ]============================== 1.15/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.20 c =============================================================================== 1.15/1.20 c | 0 | 2561 5078 12602 | 5000 0 nan | 0.000 % | 1.15/1.21 c =============================================================================== 1.15/1.21 c core #280 1.15/1.21 c Core size: 13 Core Weight: 1 Total Weight: 280 1.15/1.21 c Elapsed CPU time: 1.14682 s Remaining CPU time: 1798.85 s 1.15/1.21 c ============================[ Search Statistics ]============================== 1.15/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.21 c =============================================================================== 1.15/1.21 c | 0 | 2567 5079 12614 | 5000 0 nan | 0.000 % | 1.15/1.21 c =============================================================================== 1.15/1.21 c core #281 1.15/1.21 c Core size: 15 Core Weight: 1 Total Weight: 281 1.15/1.21 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.15/1.22 c ============================[ Search Statistics ]============================== 1.15/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.22 c =============================================================================== 1.15/1.22 c | 0 | 2574 5080 12628 | 5000 0 nan | 0.000 % | 1.15/1.22 c =============================================================================== 1.15/1.22 c core #282 1.15/1.22 c Core size: 60 Core Weight: 1 Total Weight: 282 1.15/1.22 c Elapsed CPU time: 1.16182 s Remaining CPU time: 1798.84 s 1.15/1.23 c ============================[ Search Statistics ]============================== 1.15/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.23 c =============================================================================== 1.15/1.23 c | 0 | 2589 5081 12658 | 5000 0 nan | 0.000 % | 1.15/1.23 c =============================================================================== 1.15/1.23 c core #283 1.15/1.23 c Core size: 13 Core Weight: 1 Total Weight: 283 1.15/1.23 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.15/1.23 c Learning 1 hard constraints 1.15/1.23 c ============================[ Search Statistics ]============================== 1.15/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.23 c =============================================================================== 1.15/1.23 c | 0 | 2595 5083 12677 | 5000 0 nan | 0.000 % | 1.15/1.24 c =============================================================================== 1.15/1.24 c core #284 1.15/1.24 c Core size: 27 Core Weight: 1 Total Weight: 284 1.15/1.24 c Elapsed CPU time: 1.17582 s Remaining CPU time: 1798.82 s 1.15/1.24 c ============================[ Search Statistics ]============================== 1.15/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.24 c =============================================================================== 1.15/1.24 c | 0 | 2606 5084 12699 | 5000 0 nan | 0.000 % | 1.15/1.24 c =============================================================================== 1.15/1.24 c core #285 1.15/1.24 c Core size: 13 Core Weight: 1 Total Weight: 285 1.15/1.24 c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s 1.15/1.25 c ============================[ Search Statistics ]============================== 1.15/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.25 c =============================================================================== 1.15/1.25 c | 0 | 2612 5085 12711 | 5000 0 nan | 0.000 % | 1.15/1.25 c =============================================================================== 1.15/1.25 c core #286 1.15/1.25 c Core size: 36 Core Weight: 1 Total Weight: 286 1.15/1.25 c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s 1.15/1.26 c Learning 2 hard constraints 1.15/1.26 c ============================[ Search Statistics ]============================== 1.15/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.26 c =============================================================================== 1.15/1.26 c | 0 | 2619 5088 12736 | 5000 0 nan | 0.000 % | 1.15/1.26 c =============================================================================== 1.15/1.26 c core #287 1.15/1.26 c Core size: 58 Core Weight: 1 Total Weight: 287 1.15/1.26 c Elapsed CPU time: 1.19582 s Remaining CPU time: 1798.8 s 1.15/1.26 c ============================[ Search Statistics ]============================== 1.15/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.26 c =============================================================================== 1.15/1.26 c | 0 | 2638 5089 12774 | 5000 0 nan | 0.000 % | 1.15/1.27 c =============================================================================== 1.15/1.27 c core #288 1.15/1.27 c Core size: 13 Core Weight: 1 Total Weight: 288 1.15/1.27 c Elapsed CPU time: 1.20282 s Remaining CPU time: 1798.8 s 1.15/1.27 c Learning 2 hard constraints 1.15/1.27 c ============================[ Search Statistics ]============================== 1.15/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.27 c =============================================================================== 1.15/1.27 c | 0 | 2644 5092 12799 | 5000 0 nan | 0.000 % | 1.15/1.27 c =============================================================================== 1.15/1.27 c core #289 1.15/1.27 c Core size: 15 Core Weight: 1 Total Weight: 289 1.15/1.27 c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s 1.15/1.28 c ============================[ Search Statistics ]============================== 1.15/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.28 c =============================================================================== 1.15/1.28 c | 0 | 2651 5093 12813 | 5000 0 nan | 0.000 % | 1.15/1.28 c =============================================================================== 1.15/1.28 c core #290 1.15/1.28 c Core size: 50 Core Weight: 1 Total Weight: 290 1.15/1.28 c Elapsed CPU time: 1.21582 s Remaining CPU time: 1798.78 s 1.15/1.29 c ============================[ Search Statistics ]============================== 1.15/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.29 c =============================================================================== 1.15/1.29 c | 0 | 2668 5094 12847 | 5000 0 nan | 0.000 % | 1.15/1.29 c =============================================================================== 1.15/1.29 c core #291 1.15/1.29 c Core size: 26 Core Weight: 1 Total Weight: 291 1.15/1.29 c Elapsed CPU time: 1.22281 s Remaining CPU time: 1798.78 s 1.15/1.29 c ============================[ Search Statistics ]============================== 1.15/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.15/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.15/1.29 c =============================================================================== 1.15/1.29 c | 0 | 2679 5095 12869 | 5000 0 nan | 0.000 % | 1.15/1.29 c =============================================================================== 1.15/1.29 c core #292 1.15/1.29 c Core size: 20 Core Weight: 1 Total Weight: 292 1.15/1.29 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.24/1.30 c ============================[ Search Statistics ]============================== 1.24/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.30 c =============================================================================== 1.24/1.30 c | 0 | 2688 5096 12887 | 5000 0 nan | 0.000 % | 1.24/1.30 c =============================================================================== 1.24/1.30 c core #293 1.24/1.30 c Core size: 127 Core Weight: 1 Total Weight: 293 1.24/1.30 c Elapsed CPU time: 1.23681 s Remaining CPU time: 1798.76 s 1.24/1.31 c Learning 4 hard constraints 1.24/1.31 c ============================[ Search Statistics ]============================== 1.24/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.31 c =============================================================================== 1.24/1.31 c | 0 | 2722 5101 12981 | 5000 0 nan | 0.000 % | 1.24/1.31 c =============================================================================== 1.24/1.31 c core #294 1.24/1.31 c Core size: 44 Core Weight: 1 Total Weight: 294 1.24/1.31 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.24/1.32 c ============================[ Search Statistics ]============================== 1.24/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.32 c =============================================================================== 1.24/1.32 c | 0 | 2739 5102 13015 | 5000 0 nan | 0.000 % | 1.24/1.32 c =============================================================================== 1.24/1.32 c core #295 1.24/1.32 c Core size: 113 Core Weight: 1 Total Weight: 295 1.24/1.32 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.24/1.33 c Learning 1 hard constraints 1.24/1.33 c ============================[ Search Statistics ]============================== 1.24/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.33 c =============================================================================== 1.24/1.33 c | 0 | 2768 5104 13080 | 5000 0 nan | 0.000 % | 1.24/1.33 c =============================================================================== 1.24/1.33 c core #296 1.24/1.33 c Core size: 92 Core Weight: 1 Total Weight: 296 1.24/1.33 c Elapsed CPU time: 1.26081 s Remaining CPU time: 1798.74 s 1.24/1.34 c Learning 2 hard constraints 1.24/1.34 c ============================[ Search Statistics ]============================== 1.24/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.34 c =============================================================================== 1.24/1.34 c | 0 | 2789 5107 13135 | 5000 0 nan | 0.000 % | 1.24/1.34 c =============================================================================== 1.24/1.34 c core #297 1.24/1.34 c Core size: 88 Core Weight: 1 Total Weight: 297 1.24/1.34 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.24/1.35 c Learning 1 hard constraints 1.24/1.35 c ============================[ Search Statistics ]============================== 1.24/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.35 c =============================================================================== 1.24/1.35 c | 0 | 2816 5109 13196 | 5000 0 nan | 0.000 % | 1.24/1.35 c =============================================================================== 1.24/1.35 c core #298 1.24/1.35 c Core size: 146 Core Weight: 1 Total Weight: 298 1.24/1.35 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.24/1.36 c Learning 4 hard constraints 1.24/1.36 c ============================[ Search Statistics ]============================== 1.24/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.36 c =============================================================================== 1.24/1.36 c | 0 | 2848 5114 13283 | 5000 0 nan | 0.000 % | 1.24/1.36 c =============================================================================== 1.24/1.36 c core #299 1.24/1.36 c Core size: 81 Core Weight: 1 Total Weight: 299 1.24/1.36 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.24/1.37 c Learning 3 hard constraints 1.24/1.37 c ============================[ Search Statistics ]============================== 1.24/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.37 c =============================================================================== 1.24/1.37 c | 0 | 2869 5118 13346 | 5000 0 nan | 0.000 % | 1.24/1.37 c | 100 | 2869 5118 13346 | 5500 100 8 | 0.693 % | 1.24/1.38 c =============================================================================== 1.24/1.38 c core #300 1.24/1.38 c Core size: 207 Core Weight: 1 Total Weight: 300 1.24/1.38 c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s 1.24/1.38 c Learning 7 hard constraints 1.24/1.38 c ============================[ Search Statistics ]============================== 1.24/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.38 c =============================================================================== 1.24/1.38 c | 0 | 2920 5126 13489 | 5000 0 nan | 0.000 % | 1.24/1.39 c =============================================================================== 1.24/1.39 c core #301 1.24/1.39 c Core size: 180 Core Weight: 1 Total Weight: 301 1.24/1.39 c Elapsed CPU time: 1.3108 s Remaining CPU time: 1798.69 s 1.24/1.39 c Learning 6 hard constraints 1.24/1.39 c ============================[ Search Statistics ]============================== 1.24/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.24/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.24/1.39 c =============================================================================== 1.24/1.39 c | 0 | 2953 5133 13594 | 5000 0 nan | 0.000 % | 1.33/1.40 c | 100 | 2953 5133 13594 | 5500 100 10 | 0.808 % | 1.33/1.41 c | 251 | 2945 5133 13594 | 6050 206 12 | 0.942 % | 1.33/1.41 c | 479 | 2943 5133 13594 | 6655 434 12 | 1.009 % | 1.33/1.42 c =============================================================================== 1.33/1.43 c core #302 1.33/1.43 c Core size: 272 Core Weight: 1 Total Weight: 302 1.33/1.43 c Elapsed CPU time: 1.3458 s Remaining CPU time: 1798.65 s 1.33/1.43 c Learning 8 hard constraints 1.33/1.43 c ============================[ Search Statistics ]============================== 1.33/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.33/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.33/1.43 c =============================================================================== 1.33/1.43 c | 0 | 3005 5142 13747 | 5000 0 nan | 0.000 % | 1.33/1.44 c =============================================================================== 1.33/1.44 c core #303 1.33/1.44 c Core size: 59 Core Weight: 1 Total Weight: 303 1.33/1.44 c Elapsed CPU time: 1.35479 s Remaining CPU time: 1798.65 s 1.33/1.44 c Learning 2 hard constraints 1.33/1.44 c ============================[ Search Statistics ]============================== 1.33/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.33/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.33/1.44 c =============================================================================== 1.33/1.44 c | 0 | 3021 5145 13788 | 5000 0 nan | 0.000 % | 1.33/1.45 c =============================================================================== 1.33/1.45 c core #304 1.33/1.45 c Core size: 97 Core Weight: 1 Total Weight: 304 1.33/1.45 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.33/1.45 c Learning 2 hard constraints 1.33/1.45 c ============================[ Search Statistics ]============================== 1.33/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.33/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.33/1.45 c =============================================================================== 1.33/1.45 c | 0 | 3049 5148 13853 | 5000 0 nan | 0.000 % | 1.33/1.46 c | 101 | 3046 5148 13853 | 5500 101 7 | 0.782 % | 1.33/1.47 c =============================================================================== 1.33/1.47 c core #305 1.33/1.47 c Core size: 230 Core Weight: 1 Total Weight: 305 1.33/1.47 c Elapsed CPU time: 1.38479 s Remaining CPU time: 1798.62 s 1.33/1.48 c Learning 11 hard constraints 1.33/1.48 c ============================[ Search Statistics ]============================== 1.33/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.33/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.33/1.48 c =============================================================================== 1.33/1.48 c | 0 | 3102 5160 14026 | 5000 0 nan | 0.000 % | 1.33/1.48 c | 100 | 3102 5160 14026 | 5500 100 15 | 0.641 % | 1.33/1.49 c | 251 | 3102 5160 14026 | 6050 251 16 | 0.641 % | 1.33/1.50 c | 477 | 3100 5160 14026 | 6655 476 18 | 0.705 % | 1.43/1.51 c | 814 | 3097 5160 14026 | 7320 813 18 | 0.833 % | 1.43/1.54 c =============================================================================== 1.43/1.54 c core #306 1.43/1.54 c Core size: 51 Core Weight: 1 Total Weight: 306 1.43/1.54 c Elapsed CPU time: 1.44878 s Remaining CPU time: 1798.55 s 1.43/1.55 c Learning 8 hard constraints 1.43/1.55 c ============================[ Search Statistics ]============================== 1.43/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.43/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.43/1.55 c =============================================================================== 1.43/1.55 c | 0 | 3122 5169 14115 | 5000 0 nan | 0.000 % | 1.43/1.55 c | 100 | 3114 5169 14115 | 5500 100 9 | 1.019 % | 1.43/1.56 c =============================================================================== 1.43/1.56 c core #307 1.43/1.56 c Core size: 201 Core Weight: 1 Total Weight: 307 1.43/1.56 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.43/1.56 c Learning 9 hard constraints 1.43/1.56 c ============================[ Search Statistics ]============================== 1.43/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.43/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.43/1.56 c =============================================================================== 1.43/1.56 c | 0 | 3163 5179 14251 | 5000 0 nan | 0.000 % | 1.43/1.57 c | 101 | 3158 5179 14251 | 5500 101 12 | 0.785 % | 1.43/1.58 c | 252 | 3158 5179 14251 | 6050 252 18 | 0.785 % | 1.43/1.59 c | 478 | 3158 5179 14251 | 6655 472 18 | 0.786 % | 1.43/1.60 c | 815 | 3148 5179 14251 | 7320 808 15 | 1.226 % | 1.53/1.61 c =============================================================================== 1.53/1.61 c core #308 1.53/1.61 c Core size: 86 Core Weight: 1 Total Weight: 308 1.53/1.61 c Elapsed CPU time: 1.51177 s Remaining CPU time: 1798.49 s 1.53/1.62 c Learning 25 hard constraints 1.53/1.62 c ============================[ Search Statistics ]============================== 1.53/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.53/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.53/1.62 c =============================================================================== 1.53/1.62 c | 0 | 3186 5205 14434 | 5000 0 nan | 0.000 % | 1.53/1.62 c =============================================================================== 1.53/1.62 c core #309 1.53/1.62 c Core size: 65 Core Weight: 1 Total Weight: 309 1.53/1.62 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.53/1.63 c Learning 1 hard constraints 1.53/1.63 c ============================[ Search Statistics ]============================== 1.53/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.53/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.53/1.63 c =============================================================================== 1.53/1.63 c | 0 | 3202 5207 14473 | 5000 0 nan | 0.000 % | 1.53/1.63 c | 100 | 3188 5207 14473 | 5500 100 7 | 1.117 % | 1.53/1.64 c =============================================================================== 1.53/1.64 c core #310 1.53/1.64 c Core size: 51 Core Weight: 1 Total Weight: 310 1.53/1.64 c Elapsed CPU time: 1.53377 s Remaining CPU time: 1798.47 s 1.53/1.64 c Learning 13 hard constraints 1.53/1.64 c ============================[ Search Statistics ]============================== 1.53/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.53/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.53/1.64 c =============================================================================== 1.53/1.64 c | 0 | 3211 5221 14566 | 5000 0 nan | 0.000 % | 1.53/1.65 c =============================================================================== 1.53/1.65 c core #311 1.53/1.65 c Core size: 164 Core Weight: 1 Total Weight: 311 1.53/1.65 c Elapsed CPU time: 1.54377 s Remaining CPU time: 1798.46 s 1.53/1.65 c Learning 9 hard constraints 1.53/1.65 c ============================[ Search Statistics ]============================== 1.53/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.53/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.53/1.65 c =============================================================================== 1.53/1.65 c | 0 | 3260 5231 14718 | 5000 0 nan | 0.000 % | 1.53/1.66 c | 100 | 3260 5231 14718 | 5500 100 9 | 0.610 % | 1.53/1.67 c | 250 | 3255 5231 14718 | 6050 244 10 | 0.823 % | 1.53/1.67 c =============================================================================== 1.53/1.67 c core #312 1.53/1.67 c Core size: 100 Core Weight: 1 Total Weight: 312 1.53/1.67 c Elapsed CPU time: 1.56776 s Remaining CPU time: 1798.43 s 1.53/1.68 c Learning 8 hard constraints 1.53/1.68 c ============================[ Search Statistics ]============================== 1.53/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.53/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.53/1.68 c =============================================================================== 1.53/1.68 c | 0 | 3285 5240 14819 | 5000 0 nan | 0.000 % | 1.53/1.69 c | 100 | 3279 5240 14819 | 5500 100 8 | 0.787 % | 1.53/1.69 c | 254 | 3275 5240 14819 | 6050 243 13 | 0.908 % | 1.63/1.70 c | 479 | 3274 5240 14819 | 6655 468 17 | 0.968 % | 1.63/1.72 c | 816 | 3267 5240 14819 | 7320 764 18 | 1.150 % | 1.63/1.74 c | 1322 | 3261 5240 14819 | 8052 1255 16 | 1.332 % | 1.63/1.76 c =============================================================================== 1.63/1.76 c core #313 1.63/1.76 c Core size: 126 Core Weight: 1 Total Weight: 313 1.63/1.76 c Elapsed CPU time: 1.64375 s Remaining CPU time: 1798.36 s 1.63/1.77 c Learning 20 hard constraints 1.63/1.77 c ============================[ Search Statistics ]============================== 1.63/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.63/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.63/1.77 c =============================================================================== 1.63/1.77 c | 0 | 3317 5261 15001 | 5000 0 nan | 0.000 % | 1.63/1.77 c | 102 | 3317 5261 15001 | 5500 102 10 | 0.600 % | 1.63/1.78 c | 252 | 3316 5261 15001 | 6050 252 10 | 0.659 % | 1.63/1.78 c =============================================================================== 1.63/1.78 c core #314 1.63/1.78 c Core size: 265 Core Weight: 1 Total Weight: 314 1.63/1.78 c Elapsed CPU time: 1.66575 s Remaining CPU time: 1798.33 s 1.63/1.79 c Learning 19 hard constraints 1.63/1.79 c ============================[ Search Statistics ]============================== 1.63/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.63/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.63/1.79 c =============================================================================== 1.63/1.79 c | 0 | 3367 5281 15217 | 5000 0 nan | 0.000 % | 1.63/1.80 c | 102 | 3367 5281 15217 | 5500 102 8 | 0.591 % | 1.63/1.80 c =============================================================================== 1.73/1.80 c core #315 1.73/1.80 c Core size: 184 Core Weight: 1 Total Weight: 315 1.73/1.80 c Elapsed CPU time: 1.68074 s Remaining CPU time: 1798.32 s 1.73/1.81 c Learning 9 hard constraints 1.73/1.81 c ============================[ Search Statistics ]============================== 1.73/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.73/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.73/1.81 c =============================================================================== 1.73/1.81 c | 0 | 3410 5291 15348 | 5000 0 nan | 0.000 % | 1.73/1.81 c | 101 | 3410 5291 15348 | 5500 101 15 | 0.583 % | 1.73/1.82 c | 251 | 3410 5291 15348 | 6050 251 13 | 0.583 % | 1.73/1.83 c | 477 | 3398 5291 15348 | 6655 476 12 | 0.933 % | 1.73/1.84 c | 817 | 3395 5291 15348 | 7320 816 13 | 1.050 % | 1.73/1.86 c =============================================================================== 1.73/1.86 c core #316 1.73/1.86 c Core size: 146 Core Weight: 1 Total Weight: 316 1.73/1.86 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.73/1.86 c Learning 35 hard constraints 1.73/1.86 c ============================[ Search Statistics ]============================== 1.73/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.73/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.73/1.86 c =============================================================================== 1.73/1.86 c | 0 | 3443 5327 15625 | 5000 0 nan | 0.000 % | 1.73/1.87 c | 101 | 3443 5327 15625 | 5500 101 9 | 0.578 % | 1.73/1.88 c | 251 | 3432 5327 15625 | 6050 251 10 | 2.166 % | 1.73/1.88 c =============================================================================== 1.73/1.88 c core #317 1.73/1.88 c Core size: 237 Core Weight: 1 Total Weight: 317 1.73/1.88 c Elapsed CPU time: 1.75073 s Remaining CPU time: 1798.25 s 1.73/1.88 c Learning 9 hard constraints 1.73/1.88 c ============================[ Search Statistics ]============================== 1.73/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.73/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.73/1.88 c =============================================================================== 1.73/1.88 c | 0 | 3493 5337 15771 | 5000 0 nan | 0.000 % | 1.73/1.89 c | 101 | 3493 5337 15771 | 5500 101 17 | 0.570 % | 1.73/1.90 c | 251 | 3493 5337 15771 | 6050 251 19 | 0.570 % | 1.82/1.91 c | 476 | 3492 5337 15771 | 6655 475 19 | 0.598 % | 1.82/1.93 c | 813 | 3491 5337 15771 | 7320 812 22 | 0.626 % | 1.82/1.95 c | 1319 | 3491 5337 15771 | 8052 1316 22 | 0.626 % | 1.93/2.01 c | 2078 | 3487 5337 15771 | 8857 2037 24 | 0.740 % | 1.93/2.05 c =============================================================================== 1.93/2.05 c core #318 1.93/2.05 c Core size: 261 Core Weight: 1 Total Weight: 318 1.93/2.05 c Elapsed CPU time: 1.91371 s Remaining CPU time: 1798.09 s 1.93/2.06 c Learning 31 hard constraints 1.93/2.06 c ============================[ Search Statistics ]============================== 1.93/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.93/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.93/2.06 c =============================================================================== 1.93/2.06 c | 0 | 3557 5369 16086 | 5000 0 nan | 0.000 % | 1.93/2.07 c | 102 | 3555 5369 16086 | 5500 102 14 | 0.615 % | 1.93/2.08 c | 253 | 3553 5369 16086 | 6050 251 17 | 0.671 % | 1.93/2.09 c | 478 | 3553 5369 16086 | 6655 476 19 | 0.671 % | 2.04/2.11 c | 817 | 3550 5369 16086 | 7320 814 15 | 0.783 % | 2.04/2.13 c | 1323 | 3549 5369 16086 | 8052 1317 15 | 0.783 % | 2.04/2.14 c =============================================================================== 2.04/2.14 c core #319 2.04/2.14 c Core size: 184 Core Weight: 1 Total Weight: 319 2.04/2.14 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 2.04/2.15 c Learning 32 hard constraints 2.04/2.15 c ============================[ Search Statistics ]============================== 2.04/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.04/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.04/2.15 c =============================================================================== 2.04/2.15 c | 0 | 3597 5402 16367 | 5000 0 nan | 0.000 % | 2.04/2.16 c | 100 | 3597 5402 16367 | 5500 100 15 | 0.553 % | 2.04/2.16 c | 251 | 3597 5402 16367 | 6050 251 16 | 0.553 % | 2.04/2.17 c | 476 | 3597 5402 16367 | 6655 476 20 | 0.553 % | 2.04/2.19 c | 813 | 3596 5402 16367 | 7320 812 18 | 0.581 % | 2.13/2.22 c | 1321 | 3588 5402 16367 | 8052 1194 17 | 0.802 % | 2.13/2.22 c =============================================================================== 2.13/2.22 c core #320 2.13/2.22 c Core size: 346 Core Weight: 1 Total Weight: 320 2.13/2.22 c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s 2.13/2.23 c Learning 22 hard constraints 2.13/2.23 c ============================[ Search Statistics ]============================== 2.13/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.13/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.13/2.23 c =============================================================================== 2.13/2.23 c | 0 | 3666 5425 16621 | 5000 0 nan | 0.000 % | 2.13/2.24 c | 100 | 3666 5425 16621 | 5500 100 14 | 0.543 % | 2.13/2.25 c | 252 | 3666 5425 16621 | 6050 252 15 | 0.543 % | 2.13/2.26 c | 480 | 3665 5425 16621 | 6655 477 15 | 0.597 % | 2.13/2.27 c | 819 | 3662 5425 16621 | 7320 729 16 | 0.651 % | 2.13/2.30 c | 1327 | 3658 5425 16621 | 8052 1233 18 | 0.760 % | 2.23/2.32 c =============================================================================== 2.23/2.33 c core #321 2.23/2.33 c Core size: 346 Core Weight: 1 Total Weight: 321 2.23/2.33 c Elapsed CPU time: 2.17167 s Remaining CPU time: 1797.83 s 2.23/2.34 c Learning 15 hard constraints 2.23/2.34 c ============================[ Search Statistics ]============================== 2.23/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.23/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.23/2.34 c =============================================================================== 2.23/2.34 c | 0 | 3725 5441 16826 | 5000 0 nan | 0.000 % | 2.23/2.35 c | 102 | 3725 5441 16826 | 5500 102 24 | 0.534 % | 2.23/2.36 c | 252 | 3725 5441 16826 | 6050 252 24 | 0.534 % | 2.23/2.37 c | 479 | 3721 5441 16826 | 6655 478 19 | 0.641 % | 2.23/2.38 c | 816 | 3719 5441 16826 | 7320 815 17 | 0.694 % | 2.33/2.41 c | 1322 | 3715 5441 16826 | 8052 1313 18 | 0.801 % | 2.33/2.45 c | 2083 | 3709 5441 16826 | 8857 2060 18 | 0.961 % | 2.42/2.50 c | 3222 | 3705 5441 16826 | 9743 3126 17 | 1.068 % | 2.42/2.54 c =============================================================================== 2.42/2.54 c core #322 2.42/2.54 c Core size: 250 Core Weight: 1 Total Weight: 322 2.42/2.54 c Elapsed CPU time: 2.36964 s Remaining CPU time: 1797.63 s 2.42/2.55 c Learning 70 hard constraints 2.42/2.55 c ============================[ Search Statistics ]============================== 2.42/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.42/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.42/2.55 c =============================================================================== 2.42/2.55 c | 0 | 3779 5512 17431 | 5000 0 nan | 0.000 % | 2.42/2.56 c | 100 | 3779 5512 17431 | 5500 100 25 | 0.527 % | 2.42/2.57 c | 252 | 3779 5512 17431 | 6050 252 28 | 0.526 % | 2.42/2.58 c | 477 | 3779 5512 17431 | 6655 477 22 | 0.527 % | 2.42/2.60 c | 814 | 3779 5512 17431 | 7320 814 19 | 0.526 % | 2.52/2.62 c | 1320 | 3779 5512 17431 | 8052 1320 20 | 0.527 % | 2.52/2.67 c | 2079 | 3779 5512 17431 | 8857 2079 26 | 0.526 % | 2.62/2.73 c | 3218 | 3776 5512 17431 | 9743 3216 26 | 0.632 % | 2.72/2.83 c | 4928 | 3751 5512 17431 | 10717 4926 24 | 1.369 % | 2.92/3.08 c | 7491 | 3731 5512 17431 | 11789 7369 29 | 1.948 % | 3.42/3.52 c | 11335 | 3697 5512 17431 | 12968 11089 30 | 3.080 % | 3.42/3.53 c =============================================================================== 3.42/3.54 c core #323 3.42/3.54 c Core size: 629 Core Weight: 1 Total Weight: 323 3.42/3.54 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.42/3.56 c Learning 111 hard constraints 3.42/3.56 c ============================[ Search Statistics ]============================== 3.42/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.42/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.42/3.56 c =============================================================================== 3.42/3.56 c | 0 | 3893 5624 18322 | 5000 0 nan | 0.000 % | 3.42/3.56 c | 100 | 3892 5624 18322 | 5500 100 17 | 0.562 % | 3.42/3.57 c | 251 | 3892 5624 18322 | 6050 251 14 | 0.562 % | 3.42/3.58 c | 476 | 3892 5624 18322 | 6655 476 16 | 0.562 % | 3.42/3.59 c | 813 | 3889 5624 18322 | 7320 812 18 | 0.613 % | 3.52/3.62 c | 1319 | 3878 5624 18322 | 8052 1313 16 | 0.997 % | 3.52/3.63 c =============================================================================== 3.52/3.64 c core #324 3.52/3.64 c Core size: 483 Core Weight: 1 Total Weight: 324 3.52/3.64 c Elapsed CPU time: 3.42748 s Remaining CPU time: 1796.57 s 3.52/3.65 c Learning 45 hard constraints 3.52/3.65 c ============================[ Search Statistics ]============================== 3.52/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.52/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.52/3.65 c =============================================================================== 3.52/3.65 c | 0 | 3989 5670 18763 | 5000 0 nan | 0.000 % | 3.52/3.66 c | 100 | 3989 5670 18763 | 5500 100 13 | 0.499 % | 3.52/3.67 c | 250 | 3989 5670 18763 | 6050 250 15 | 0.499 % | 3.52/3.68 c | 477 | 3989 5670 18763 | 6655 477 15 | 0.499 % | 3.52/3.69 c | 814 | 3988 5670 18763 | 7320 813 16 | 0.524 % | 3.62/3.72 c | 1325 | 3988 5670 18763 | 8052 1324 17 | 0.524 % | 3.62/3.76 c | 2086 | 3988 5670 18763 | 8857 2085 20 | 0.524 % | 3.72/3.84 c | 3225 | 3988 5670 18763 | 9743 3224 23 | 0.524 % | 3.82/3.94 c | 4933 | 3986 5670 18763 | 10717 4930 22 | 0.574 % | 4.02/4.14 c | 7495 | 3980 5670 18763 | 11789 7491 23 | 0.723 % | 4.42/4.53 c | 11340 | 3972 5670 18763 | 12968 11292 24 | 0.923 % | 5.02/5.12 c | 17107 | 3923 5670 18763 | 14265 10401 23 | 2.370 % | 5.22/5.39 c =============================================================================== 5.31/5.48 c core #325 5.31/5.48 c Core size: 1752 Core Weight: 1 Total Weight: 325 5.31/5.48 c Elapsed CPU time: 5.21321 s Remaining CPU time: 1794.79 s 5.43/5.51 c Learning 142 hard constraints 5.43/5.51 c ============================[ Search Statistics ]============================== 5.43/5.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.43/5.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.43/5.51 c =============================================================================== 5.43/5.51 c | 0 | 4300 5813 20202 | 5000 0 nan | 0.000 % | 5.43/5.53 c | 100 | 4300 5813 20202 | 5500 100 13 | 0.463 % | 5.43/5.53 c | 251 | 4298 5813 20202 | 6050 250 11 | 0.509 % | 5.43/5.55 c | 476 | 4298 5813 20202 | 6655 475 14 | 0.509 % | 5.43/5.56 c | 813 | 4298 5813 20202 | 7320 812 15 | 0.509 % | 5.43/5.59 c | 1320 | 4296 5813 20202 | 8052 1310 17 | 0.556 % | 5.52/5.64 c | 2079 | 4296 5813 20202 | 8857 2069 18 | 0.556 % | 5.52/5.69 c | 3218 | 4296 5813 20202 | 9743 3208 19 | 0.556 % | 5.72/5.81 c | 4926 | 4292 5813 20202 | 10717 4906 22 | 0.648 % | 5.92/6.06 c | 7489 | 4286 5813 20202 | 11789 7453 26 | 0.787 % | 6.42/6.55 c | 11334 | 4286 5813 20202 | 12968 11298 34 | 0.787 % | 6.91/7.02 c | 17101 | 4286 5813 20202 | 14265 10302 36 | 0.787 % | 7.73/7.82 c | 25753 | 4285 5813 20202 | 15692 11469 34 | 0.810 % | 10.02/10.11 c =============================================================================== 10.22/10.34 c core #326 10.22/10.34 c Core size: 2929 Core Weight: 1 Total Weight: 326 10.22/10.34 c Elapsed CPU time: 9.94249 s Remaining CPU time: 1790.06 s 10.22/10.39 c Learning 139 hard constraints 10.22/10.39 c ============================[ Search Statistics ]============================== 10.22/10.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.22/10.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.22/10.39 c =============================================================================== 10.22/10.39 c | 0 | 4758 5953 21918 | 5000 0 nan | 0.000 % | 10.31/10.40 c | 101 | 4758 5953 21918 | 5500 101 25 | 0.419 % | 10.31/10.41 c | 252 | 4758 5953 21918 | 6050 252 22 | 0.419 % | 10.31/10.42 c | 478 | 4758 5953 21918 | 6655 478 25 | 0.419 % | 10.31/10.45 c | 815 | 4758 5953 21918 | 7320 815 27 | 0.419 % | 10.31/10.50 c | 1326 | 4758 5953 21918 | 8052 1326 28 | 0.419 % | 10.43/10.57 c | 2085 | 4758 5953 21918 | 8857 2085 29 | 0.419 % | 10.51/10.66 c | 3227 | 4758 5953 21918 | 9743 3227 30 | 0.419 % | 10.71/10.82 c | 4937 | 4758 5953 21918 | 10717 4937 34 | 0.419 % | 10.92/11.07 c | 7499 | 4758 5953 21918 | 11789 7499 34 | 0.419 % | 11.32/11.48 c | 11343 | 4758 5953 21918 | 12968 11343 33 | 0.419 % | 12.31/12.40 c | 17109 | 4758 5953 21918 | 14265 10530 37 | 0.419 % | 13.62/13.74 c | 25759 | 4758 5953 21918 | 15692 11682 46 | 0.419 % | 13.91/14.05 c =============================================================================== 13.91/14.06 c core #327 13.91/14.06 c Core size: 214 Core Weight: 1 Total Weight: 327 13.91/14.06 c Elapsed CPU time: 13.6029 s Remaining CPU time: 1786.4 s 14.01/14.10 c Learning 98 hard constraints 14.01/14.10 c ============================[ Search Statistics ]============================== 14.01/14.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.01/14.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.01/14.10 c =============================================================================== 14.01/14.10 c | 0 | 4791 6052 22506 | 5000 0 nan | 0.000 % | 14.01/14.12 c | 100 | 4791 6052 22506 | 5500 100 27 | 0.416 % | 14.01/14.13 c | 253 | 4791 6052 22506 | 6050 253 26 | 0.416 % | 14.01/14.14 c | 479 | 4791 6052 22506 | 6655 479 25 | 0.416 % | 14.01/14.17 c | 816 | 4791 6052 22506 | 7320 816 25 | 0.416 % | 14.11/14.21 c | 1322 | 4791 6052 22506 | 8052 1322 26 | 0.416 % | 14.11/14.25 c | 2081 | 4791 6052 22506 | 8857 2081 28 | 0.416 % | 14.22/14.35 c | 3220 | 4791 6052 22506 | 9743 3220 28 | 0.416 % | 14.32/14.49 c | 4928 | 4791 6052 22506 | 10717 4928 29 | 0.416 % | 14.71/14.86 c | 7493 | 4791 6052 22506 | 11789 7493 37 | 0.416 % | 15.52/15.61 c | 11338 | 4791 6052 22506 | 12968 11338 40 | 0.416 % | 16.21/16.34 c | 17106 | 4791 6052 22506 | 14265 9349 54 | 0.416 % | 17.31/17.49 c | 25758 | 4791 6052 22506 | 15692 10720 43 | 0.416 % | 19.20/19.35 c | 38734 | 4791 6052 22506 | 17261 15742 50 | 0.416 % | 24.51/24.62 c | 58195 | 4791 6052 22506 | 18987 16989 47 | 0.416 % | 26.20/26.31 c =============================================================================== 26.40/26.53 c core #328 26.40/26.53 c Core size: 1945 Core Weight: 1 Total Weight: 328 26.40/26.53 c Elapsed CPU time: 25.8721 s Remaining CPU time: 1774.13 s 26.50/26.61 c Learning 126 hard constraints 26.50/26.61 c ============================[ Search Statistics ]============================== 26.50/26.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.50/26.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.50/26.61 c =============================================================================== 26.50/26.61 c | 0 | 5104 6179 23757 | 5000 0 nan | 0.000 % | 26.50/26.63 c | 100 | 5104 6179 23757 | 5500 100 43 | 0.390 % | 26.50/26.64 c | 253 | 5104 6179 23757 | 6050 253 28 | 0.390 % | 26.50/26.66 c | 479 | 5104 6179 23757 | 6655 479 32 | 0.390 % | 26.50/26.70 c | 816 | 5104 6179 23757 | 7320 816 32 | 0.390 % | 26.61/26.76 c | 1329 | 5104 6179 23757 | 8052 1329 31 | 0.390 % | 26.69/26.81 c | 2091 | 5104 6179 23757 | 8857 2091 32 | 0.390 % | 26.69/26.89 c | 3230 | 5104 6179 23757 | 9743 3230 32 | 0.390 % | 26.89/27.06 c | 4941 | 5104 6179 23757 | 10717 4941 41 | 0.390 % | 27.38/27.50 c | 7503 | 5104 6179 23757 | 11789 7503 49 | 0.390 % | 27.88/28.06 c | 11349 | 5104 6179 23757 | 12968 11349 50 | 0.390 % | 29.38/29.51 c | 17116 | 5104 6179 23757 | 14265 10058 71 | 0.390 % | 31.66/31.81 c | 25765 | 5104 6179 23757 | 15692 11336 69 | 0.390 % | 33.56/33.72 c | 38739 | 5104 6179 23757 | 17261 15912 68 | 0.390 % | 41.41/41.62 c | 58201 | 5104 6179 23757 | 18987 8938 117 | 0.390 % | 51.54/51.83 c | 87395 | 5104 6179 23757 | 20886 18360 166 | 0.390 % | 67.13/67.57 c | 131185 | 5104 6179 23757 | 22974 18456 70 | 0.390 % | 102.10/102.79 c | 196869 | 5104 6179 23757 | 25272 12208 186 | 0.390 % | 161.86/162.93 c | 295395 | 5104 6179 23757 | 27799 17390 212 | 0.390 % | 237.93/239.32 c | 443190 | 5104 6179 23757 | 30579 21765 59 | 0.390 % | 371.89/373.30 c | 664878 | 5101 6179 23757 | 33637 16061 60 | 0.468 % | 618.87/621.59 c | 997405 | 5098 6179 23757 | 37001 15704 89 | 0.507 % | 925.89/928.98 c | 1496197 | 5096 6179 23757 | 40701 25151 186 | 0.546 % | 1385.41/1389.17 c | 2244383 | 5094 6179 23757 | 44771 38328 167 | 0.585 % |
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-1875727-1245150424/watcher-1875727-1245150424 -o /tmp/evaluation-result-1875727-1245150424/solver-1875727-1245150424 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875727-1245150424.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: 2.42 2.27 2.07 3/73 1461 /proc/meminfo: memFree=1800984/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=3068 CPUtime=0.05 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 378 0 0 0 5 0 0 0 20 0 1 0 182641023 3141632 336 1992294400 134512640 135709839 4294956240 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 767 336 133 292 0 472 0 [startup+0.125979 s] /proc/loadavg: 2.42 2.27 2.07 3/73 1461 /proc/meminfo: memFree=1800984/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=3068 CPUtime=0.11 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 383 0 0 0 11 0 0 0 22 0 1 0 182641023 3141632 341 1992294400 134512640 135709839 4294956240 18446744073709551615 134571183 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 767 341 133 292 0 472 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 3068 [startup+0.206989 s] /proc/loadavg: 2.42 2.27 2.07 3/73 1461 /proc/meminfo: memFree=1800984/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=3200 CPUtime=0.19 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 396 0 0 0 19 0 0 0 22 0 1 0 182641023 3276800 354 1992294400 134512640 135709839 4294956240 18446744073709551615 134571159 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 800 354 133 292 0 505 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3200 [startup+0.308301 s] /proc/loadavg: 2.42 2.27 2.07 3/73 1461 /proc/meminfo: memFree=1800984/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=3452 CPUtime=0.29 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 449 0 0 0 29 0 0 0 23 0 1 0 182641023 3534848 407 1992294400 134512640 135709839 4294956240 18446744073709551615 134571159 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 863 407 133 292 0 568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3452 [startup+0.703043 s] /proc/loadavg: 2.42 2.27 2.07 3/73 1461 /proc/meminfo: memFree=1800984/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=3912 CPUtime=0.67 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 635 0 0 0 67 0 0 0 25 0 1 0 182641023 4005888 556 1992294400 134512640 135709839 4294956240 18446744073709551615 134569903 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 978 556 133 292 0 683 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 3912 [startup+1.50519 s] /proc/loadavg: 2.42 2.27 2.07 3/74 1462 /proc/meminfo: memFree=1797904/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=6864 CPUtime=1.43 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 1431 0 0 0 141 2 0 0 25 0 1 0 182641023 7028736 1285 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 1716 1285 136 292 0 1421 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 6864 [startup+3.10132 s] /proc/loadavg: 2.47 2.28 2.08 3/74 1462 /proc/meminfo: memFree=1794640/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=9516 CPUtime=3.02 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 2114 0 0 0 290 12 0 0 25 0 1 0 182641023 9744384 1956 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 2379 1956 136 292 0 2084 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 9516 [startup+6.30168 s] /proc/loadavg: 2.47 2.28 2.08 2/74 1462 /proc/meminfo: memFree=1788432/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=14432 CPUtime=6.22 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 3317 0 0 0 600 22 0 0 25 0 1 0 182641023 14778368 3159 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 3608 3159 136 292 0 3313 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 14432 [startup+12.7014 s] /proc/loadavg: 2.32 2.26 2.07 3/74 1462 /proc/meminfo: memFree=1778456/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=24272 CPUtime=12.61 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 5811 0 0 0 1225 36 0 0 25 0 1 0 182641023 24854528 5601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 6068 5601 136 292 0 5773 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 24272 [startup+25.5039 s] /proc/loadavg: 2.20 2.23 2.06 3/74 1462 /proc/meminfo: memFree=1761624/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=41820 CPUtime=25.41 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 10257 0 0 0 2485 56 0 0 25 0 1 0 182641023 42823680 9991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 10455 9991 136 292 0 10160 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 41820 [startup+51.1019 s] /proc/loadavg: 2.16 2.21 2.06 2/74 1462 /proc/meminfo: memFree=1719256/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=83816 CPUtime=50.84 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 20773 0 0 0 4993 91 0 0 25 0 1 0 182641023 85827584 20507 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 20954 20507 136 292 0 20659 0 Current children cumulated CPU time (s) 50.84 Current children cumulated vsize (KiB) 83816 [startup+102.303 s] /proc/loadavg: 2.24 2.24 2.08 2/74 1462 /proc/meminfo: memFree=1638680/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=165012 CPUtime=101.7 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 41060 0 0 0 10040 130 0 0 25 0 1 0 182641023 168972288 40794 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 41253 40794 136 292 0 40958 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 165012 [startup+162.301 s] /proc/loadavg: 2.20 2.22 2.08 3/74 1462 /proc/meminfo: memFree=1517976/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=284824 CPUtime=161.27 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 70995 0 0 0 15945 182 0 0 25 0 1 0 182641023 291659776 70729 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 71206 70729 136 292 0 70911 0 Current children cumulated CPU time (s) 161.27 Current children cumulated vsize (KiB) 284824 [startup+222.302 s] /proc/loadavg: 1.96 2.15 2.07 3/74 1462 /proc/meminfo: memFree=1471000/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=332468 CPUtime=221 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 82854 0 0 0 21885 215 0 0 25 0 1 0 182641023 340447232 82588 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 83117 82588 136 292 0 82822 0 Current children cumulated CPU time (s) 221 Current children cumulated vsize (KiB) 332468 [startup+282.31 s] /proc/loadavg: 1.99 2.13 2.07 3/74 1462 /proc/meminfo: memFree=1393560/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=409240 CPUtime=280.92 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 102022 0 0 0 27839 253 0 0 25 0 1 0 182641023 419061760 101756 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 102310 101756 136 292 0 102015 0 Current children cumulated CPU time (s) 280.92 Current children cumulated vsize (KiB) 409240 [startup+342.302 s] /proc/loadavg: 2.10 2.12 2.06 3/74 1462 /proc/meminfo: memFree=1351384/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=451808 CPUtime=340.89 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 112566 0 0 0 33812 277 0 0 25 0 1 0 182641023 462651392 112300 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 112952 112300 136 292 0 112657 0 Current children cumulated CPU time (s) 340.89 Current children cumulated vsize (KiB) 451808 [startup+402.305 s] /proc/loadavg: 1.75 2.02 2.03 2/74 1462 /proc/meminfo: memFree=1299224/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=503804 CPUtime=400.86 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 125526 0 0 0 39778 308 0 0 25 0 1 0 182641023 515895296 125260 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 125951 125260 136 292 0 125656 0 Current children cumulated CPU time (s) 400.86 Current children cumulated vsize (KiB) 503804 [startup+462.302 s] /proc/loadavg: 1.97 2.02 2.03 5/74 1462 /proc/meminfo: memFree=1259672/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=543072 CPUtime=460.53 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 135324 0 0 0 45712 341 0 0 25 0 1 0 182641023 556105728 135058 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 135768 135058 136 292 0 135473 0 Current children cumulated CPU time (s) 460.53 Current children cumulated vsize (KiB) 543072 [startup+522.302 s] /proc/loadavg: 2.37 2.11 2.05 2/74 1462 /proc/meminfo: memFree=1223512/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=579628 CPUtime=520.08 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 144392 0 0 0 51639 369 0 0 25 0 1 0 182641023 593539072 144126 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 144907 144126 136 292 0 144612 0 Current children cumulated CPU time (s) 520.08 Current children cumulated vsize (KiB) 579628 [startup+582.307 s] /proc/loadavg: 2.05 2.05 2.04 3/74 1462 /proc/meminfo: memFree=1180760/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=622252 CPUtime=579.71 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 155037 0 0 0 57574 397 0 0 25 0 1 0 182641023 637186048 154771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 155563 154771 136 292 0 155268 0 Current children cumulated CPU time (s) 579.71 Current children cumulated vsize (KiB) 622252 [startup+642.305 s] /proc/loadavg: 2.06 2.06 2.04 3/74 1462 /proc/meminfo: memFree=1135064/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=668240 CPUtime=639.66 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 166505 0 0 0 63539 427 0 0 25 0 1 0 182641023 684277760 166239 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 167060 166239 136 292 0 166765 0 Current children cumulated CPU time (s) 639.66 Current children cumulated vsize (KiB) 668240 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.93 2.00 2.00 4/74 1462 /proc/meminfo: memFree=798936/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1004736 CPUtime=939.22 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 250388 0 0 0 93331 591 0 0 25 0 1 0 182641023 1028849664 250122 1992294400 134512640 135709839 4294956240 18446744073709551615 134574128 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 251184 250122 136 292 0 250889 0 Current children cumulated CPU time (s) 939.22 Current children cumulated vsize (KiB) 1004736 [startup+1002.3 s] /proc/loadavg: 1.75 1.95 1.98 3/74 1462 /proc/meminfo: memFree=740120/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1063184 CPUtime=999.08 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 264977 0 0 0 99284 624 0 0 25 0 1 0 182641023 1088700416 264711 1992294400 134512640 135709839 4294956240 18446744073709551615 134573837 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 265796 264711 136 292 0 265501 0 Current children cumulated CPU time (s) 999.08 Current children cumulated vsize (KiB) 1063184 [startup+1062.3 s] /proc/loadavg: 1.80 1.93 1.97 2/74 1462 /proc/meminfo: memFree=698712/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1105000 CPUtime=1059.06 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 275396 0 0 0 105254 652 0 0 25 0 1 0 182641023 1131520000 275130 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 276250 275130 136 292 0 275955 0 Current children cumulated CPU time (s) 1059.06 Current children cumulated vsize (KiB) 1105000 [startup+1122.3 s] /proc/loadavg: 1.77 1.89 1.96 2/74 1462 /proc/meminfo: memFree=617304/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1185604 CPUtime=1118.9 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 295524 0 0 0 111196 694 0 0 25 0 1 0 182641023 1214058496 295258 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0 /proc/1461/statm: 296401 295258 136 292 0 296106 0 Current children cumulated CPU time (s) 1118.9 Current children cumulated vsize (KiB) 1185604 [startup+1182.31 s] /proc/loadavg: 1.91 1.91 1.96 3/74 1462 /proc/meminfo: memFree=535448/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1268136 CPUtime=1178.67 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 316153 0 0 0 117141 726 0 0 25 0 1 0 182641023 1298571264 315887 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 317034 315887 136 292 0 316739 0 Current children cumulated CPU time (s) 1178.67 Current children cumulated vsize (KiB) 1268136 [startup+1242.31 s] /proc/loadavg: 2.23 2.00 1.98 2/74 1462 /proc/meminfo: memFree=425624/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1377020 CPUtime=1238.65 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 343338 0 0 0 123089 776 0 0 25 0 1 0 182641023 1410068480 343072 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 344255 343072 136 292 0 343960 0 Current children cumulated CPU time (s) 1238.65 Current children cumulated vsize (KiB) 1377020 [startup+1302.31 s] /proc/loadavg: 2.23 2.03 1.99 3/74 1462 /proc/meminfo: memFree=346136/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1457736 CPUtime=1298.63 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 363532 0 0 0 129048 815 0 0 25 0 1 0 182641023 1492721664 363266 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 364434 363266 136 292 0 364139 0 Current children cumulated CPU time (s) 1298.63 Current children cumulated vsize (KiB) 1457736 [startup+1362.31 s] /proc/loadavg: 2.05 2.02 1.99 3/74 1462 /proc/meminfo: memFree=270040/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1532332 CPUtime=1358.62 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 382156 0 0 0 135013 849 0 0 25 0 1 0 182641023 1569107968 381890 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 383083 381890 136 292 0 382788 0 Current children cumulated CPU time (s) 1358.62 Current children cumulated vsize (KiB) 1532332 [startup+1422.3 s] /proc/loadavg: 2.28 2.09 2.02 3/74 1462 /proc/meminfo: memFree=216600/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1586512 CPUtime=1418.59 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 395667 0 0 0 140978 881 0 0 25 0 1 0 182641023 1624588288 395401 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 396628 395401 136 292 0 396333 0 Current children cumulated CPU time (s) 1418.59 Current children cumulated vsize (KiB) 1586512 [startup+1482.3 s] /proc/loadavg: 2.12 2.06 2.01 3/74 1462 /proc/meminfo: memFree=165464/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1636980 CPUtime=1478.27 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 408255 0 0 0 146913 914 0 0 25 0 1 0 182641023 1676267520 407989 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 409245 407989 136 292 0 408950 0 Current children cumulated CPU time (s) 1478.27 Current children cumulated vsize (KiB) 1636980 [startup+1542.3 s] /proc/loadavg: 1.93 2.03 2.00 4/74 1462 /proc/meminfo: memFree=123160/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1679716 CPUtime=1538.13 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 418869 0 0 0 152877 936 0 0 25 0 1 0 182641023 1720029184 418603 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 419929 418603 136 292 0 419634 0 Current children cumulated CPU time (s) 1538.13 Current children cumulated vsize (KiB) 1679716 [startup+1602.3 s] /proc/loadavg: 1.90 1.99 1.98 4/74 1462 /proc/meminfo: memFree=84120/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1718768 CPUtime=1598.11 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 428598 0 0 0 158854 957 0 0 25 0 1 0 182641023 1760018432 428332 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 429692 428332 136 292 0 429397 0 Current children cumulated CPU time (s) 1598.11 Current children cumulated vsize (KiB) 1718768 [startup+1662.3 s] /proc/loadavg: 2.11 2.02 2.00 2/74 1462 /proc/meminfo: memFree=40536/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1762436 CPUtime=1658.09 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 439470 0 0 0 164828 981 0 0 25 0 1 0 182641023 1804734464 439204 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 440609 439204 136 292 0 440314 0 Current children cumulated CPU time (s) 1658.09 Current children cumulated vsize (KiB) 1762436 [startup+1722.3 s] /proc/loadavg: 1.80 1.95 1.97 4/74 1462 /proc/meminfo: memFree=14936/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1799864 CPUtime=1718.05 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 448833 0 0 0 170806 999 0 0 25 0 1 0 182641023 1843060736 448567 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 449966 448567 136 292 0 449671 0 Current children cumulated CPU time (s) 1718.05 Current children cumulated vsize (KiB) 1799864 [startup+1782.31 s] /proc/loadavg: 1.92 1.96 1.97 3/74 1462 /proc/meminfo: memFree=15960/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1838756 CPUtime=1777.98 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 458496 0 0 0 176776 1022 0 0 25 0 1 0 182641023 1882886144 458230 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 459689 458230 136 292 0 459394 0 Current children cumulated CPU time (s) 1777.98 Current children cumulated vsize (KiB) 1838756 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1789.51 s] /proc/loadavg: 2.00 1.97 1.98 4/74 1462 /proc/meminfo: memFree=15000/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=1843244 CPUtime=1785.16 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4194304 459603 0 0 0 177492 1024 0 0 25 0 1 0 182641023 1887481856 459337 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 460811 459337 136 292 0 460516 0 Current children cumulated CPU time (s) 1785.16 Current children cumulated vsize (KiB) 1843244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1789.61 s] /proc/loadavg: 2.00 1.97 1.98 4/74 1462 /proc/meminfo: memFree=15000/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=0 CPUtime=1785.27 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4195332 459603 0 0 0 177492 1035 0 0 25 0 1 0 182641023 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1785.27 Current children cumulated vsize (KiB) 0 [startup+1789.7 s] /proc/loadavg: 2.00 1.97 1.98 4/74 1462 /proc/meminfo: memFree=15000/2055920 swapFree=4192948/4192956 [pid=1461] ppid=1459 vsize=0 CPUtime=1785.35 /proc/1461/stat : 1461 (wbo) R 1459 1461 1192 0 -1 4195332 459603 0 0 0 177492 1043 0 0 25 0 1 0 182641023 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1461/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1789.77 CPU time (s): 1785.43 CPU user time (s): 1774.92 CPU system time (s): 10.5104 CPU usage (%): 99.7576 Max. virtual memory (cumulated for all children) (KiB): 1843244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.92 system time used= 10.5104 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459603 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= 2 involuntary context switches= 17031 runsolver used 2.38464 second user time and 5.77512 second system time The end
Begin job on node85 at 2009-06-16 13:07:05 IDJOB=1875727 IDBENCH=2065 IDSOLVER=698 FILE ID=node85/1875727-1245150424 PBS_JOBID= 9363772 Free space on /tmp= 126844 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.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-1875727-1245150424/watcher-1875727-1245150424 -o /tmp/evaluation-result-1875727-1245150424/solver-1875727-1245150424 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875727-1245150424.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e79c956fa387b090702a2dffba5fa8e9 RANDOM SEED=827489371 node85.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.213 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 : 5931.00 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.213 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1801472 kB Buffers: 18964 kB Cached: 131784 kB SwapCached: 8 kB Active: 50436 kB Inactive: 130224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801472 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 2480 kB Writeback: 0 kB Mapped: 41256 kB Slab: 58856 kB Committed_AS: 578356 kB PageTables: 2044 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-1875727-1245150424.opb Free space on /tmp at the end= 126844 MiB End job on node85 at 2009-06-16 13:36:56