| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1457.73 | 1462.91 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
| MD5SUM | 9711add7b63200e6cedabbc5764a3737 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 350 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| 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 | 1040 |
| Total number of constraints | 3656 |
| Number of constraints which are clauses | 3656 |
| 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 | 1040 |
| 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 | 1040 |
| 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 | 1040 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875728-1245154159.opb. 0.00/0.00 c Instance file HOME/instance-1875728-1245154159.opb 0.00/0.00 c File size is 100790 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: 1040 | 0.00/0.02 c | Number Clauses: 4696 | 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.014997 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.017997 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #3 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.03 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #4 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.03 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.04 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #9 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #10 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 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.041993 s Remaining CPU time: 1799.96 s 0.04/0.05 c core #12 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.04/0.05 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.04/0.05 c core #13 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 13 0.04/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.04/0.06 c core #14 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 14 0.04/0.06 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.04/0.06 c core #15 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 15 0.04/0.06 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.04/0.06 c core #16 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 16 0.04/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #17 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 17 0.04/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.04/0.07 c core #18 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 18 0.04/0.07 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.04/0.07 c core #19 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 19 0.04/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.04/0.07 c core #20 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 20 0.04/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #21 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 21 0.04/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.04/0.08 c core #22 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 22 0.04/0.08 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.04/0.08 c core #23 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 23 0.04/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.04/0.08 c core #24 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 24 0.04/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #25 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 25 0.04/0.09 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #26 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 26 0.04/0.09 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #27 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 27 0.04/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #28 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 28 0.04/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.04/0.10 c core #29 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 29 0.04/0.10 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.04/0.10 c core #30 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 30 0.04/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.04/0.10 c core #31 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 31 0.04/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.04/0.11 c core #32 0.04/0.11 c Core size: 3 Core Weight: 1 Total Weight: 32 0.04/0.11 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.04/0.11 c core #33 0.04/0.11 c Core size: 3 Core Weight: 1 Total Weight: 33 0.04/0.11 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.10/0.11 c core #34 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 34 0.10/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.10/0.11 c core #35 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 35 0.10/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #36 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 36 0.10/0.12 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #37 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 37 0.10/0.12 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #38 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 38 0.10/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #39 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 39 0.10/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.10/0.13 c core #40 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: 40 0.10/0.13 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.10/0.13 c core #41 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: 41 0.10/0.13 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.10/0.13 c core #42 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: 42 0.10/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.10/0.14 c core #43 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 43 0.10/0.14 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.10/0.14 c core #44 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 44 0.10/0.14 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.10/0.14 c core #45 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 45 0.10/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.10/0.14 c core #46 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 46 0.10/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.10/0.15 c core #47 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 47 0.10/0.15 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.10/0.15 c core #48 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 48 0.10/0.15 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.10/0.15 c core #49 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 49 0.10/0.15 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.10/0.16 c core #50 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 50 0.10/0.16 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.10/0.16 c core #51 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 51 0.10/0.16 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.10/0.16 c core #52 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 52 0.10/0.16 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.10/0.16 c core #53 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 53 0.10/0.16 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.10/0.17 c core #54 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 54 0.10/0.17 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.10/0.17 c core #55 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 55 0.10/0.17 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.10/0.17 c core #56 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 56 0.10/0.17 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.10/0.18 c core #57 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 57 0.10/0.18 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #58 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 58 0.10/0.18 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #59 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 59 0.10/0.18 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #60 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 60 0.10/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.10/0.19 c core #61 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: 61 0.10/0.19 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.10/0.19 c core #62 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: 62 0.10/0.19 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.10/0.19 c core #63 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: 63 0.10/0.19 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.10/0.20 c core #64 0.10/0.20 c Core size: 3 Core Weight: 1 Total Weight: 64 0.10/0.20 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #65 0.18/0.20 c Core size: 3 Core Weight: 1 Total Weight: 65 0.18/0.20 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #66 0.18/0.20 c Core size: 3 Core Weight: 1 Total Weight: 66 0.18/0.20 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #67 0.18/0.20 c Core size: 3 Core Weight: 1 Total Weight: 67 0.18/0.20 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.18/0.21 c core #68 0.18/0.21 c Core size: 3 Core Weight: 1 Total Weight: 68 0.18/0.21 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.18/0.21 c core #69 0.18/0.21 c Core size: 3 Core Weight: 1 Total Weight: 69 0.18/0.21 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.18/0.21 c core #70 0.18/0.21 c Core size: 3 Core Weight: 1 Total Weight: 70 0.18/0.21 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.18/0.22 c core #71 0.18/0.22 c Core size: 3 Core Weight: 1 Total Weight: 71 0.18/0.22 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.18/0.22 c core #72 0.18/0.22 c Core size: 3 Core Weight: 1 Total Weight: 72 0.18/0.22 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.18/0.22 c core #73 0.18/0.22 c Core size: 3 Core Weight: 1 Total Weight: 73 0.18/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.18/0.23 c core #74 0.18/0.23 c Core size: 3 Core Weight: 1 Total Weight: 74 0.18/0.23 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.18/0.23 c core #75 0.18/0.23 c Core size: 3 Core Weight: 1 Total Weight: 75 0.18/0.23 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.18/0.23 c core #76 0.18/0.23 c Core size: 3 Core Weight: 1 Total Weight: 76 0.18/0.23 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.18/0.23 c core #77 0.18/0.23 c Core size: 3 Core Weight: 1 Total Weight: 77 0.18/0.23 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.18/0.24 c core #78 0.18/0.24 c Core size: 3 Core Weight: 1 Total Weight: 78 0.18/0.24 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.18/0.24 c core #79 0.18/0.24 c Core size: 3 Core Weight: 1 Total Weight: 79 0.18/0.24 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.18/0.24 c core #80 0.18/0.24 c Core size: 3 Core Weight: 1 Total Weight: 80 0.18/0.24 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.18/0.25 c core #81 0.18/0.25 c Core size: 9 Core Weight: 1 Total Weight: 81 0.18/0.25 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.18/0.25 c core #82 0.18/0.25 c Core size: 9 Core Weight: 1 Total Weight: 82 0.18/0.25 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.18/0.25 c core #83 0.18/0.25 c Core size: 9 Core Weight: 1 Total Weight: 83 0.18/0.25 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.18/0.25 c core #84 0.18/0.25 c Core size: 9 Core Weight: 1 Total Weight: 84 0.18/0.25 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.18/0.26 c core #85 0.18/0.26 c Core size: 9 Core Weight: 1 Total Weight: 85 0.18/0.26 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.18/0.26 c core #86 0.18/0.26 c Core size: 9 Core Weight: 1 Total Weight: 86 0.18/0.26 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.18/0.26 c core #87 0.18/0.26 c Core size: 9 Core Weight: 1 Total Weight: 87 0.18/0.26 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.18/0.27 c core #88 0.18/0.27 c Core size: 9 Core Weight: 1 Total Weight: 88 0.18/0.27 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.18/0.27 c core #89 0.18/0.27 c Core size: 9 Core Weight: 1 Total Weight: 89 0.18/0.27 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.18/0.27 c core #90 0.18/0.27 c Core size: 9 Core Weight: 1 Total Weight: 90 0.18/0.27 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.18/0.28 c core #91 0.18/0.28 c Core size: 11 Core Weight: 1 Total Weight: 91 0.18/0.28 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.18/0.28 c core #92 0.18/0.28 c Core size: 11 Core Weight: 1 Total Weight: 92 0.18/0.28 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.18/0.28 c core #93 0.18/0.28 c Core size: 11 Core Weight: 1 Total Weight: 93 0.18/0.28 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.18/0.29 c core #94 0.18/0.29 c Core size: 11 Core Weight: 1 Total Weight: 94 0.18/0.29 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.18/0.29 c core #95 0.18/0.29 c Core size: 11 Core Weight: 1 Total Weight: 95 0.18/0.29 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.18/0.29 c core #96 0.18/0.29 c Core size: 11 Core Weight: 1 Total Weight: 96 0.18/0.29 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 0.18/0.29 c core #97 0.18/0.29 c Core size: 11 Core Weight: 1 Total Weight: 97 0.18/0.29 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.18/0.30 c core #98 0.18/0.30 c Core size: 11 Core Weight: 1 Total Weight: 98 0.18/0.30 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.28/0.30 c core #99 0.28/0.30 c Core size: 11 Core Weight: 1 Total Weight: 99 0.28/0.30 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.28/0.30 c core #100 0.28/0.30 c Core size: 11 Core Weight: 1 Total Weight: 100 0.28/0.30 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.28/0.31 c core #101 0.28/0.31 c Core size: 11 Core Weight: 1 Total Weight: 101 0.28/0.31 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s 0.28/0.31 c core #102 0.28/0.31 c Core size: 11 Core Weight: 1 Total Weight: 102 0.28/0.31 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.28/0.32 c core #103 0.28/0.32 c Core size: 11 Core Weight: 1 Total Weight: 103 0.28/0.32 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.28/0.32 c core #104 0.28/0.32 c Core size: 11 Core Weight: 1 Total Weight: 104 0.28/0.32 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.28/0.32 c core #105 0.28/0.32 c Core size: 11 Core Weight: 1 Total Weight: 105 0.28/0.32 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.28/0.33 c core #106 0.28/0.33 c Core size: 11 Core Weight: 1 Total Weight: 106 0.28/0.33 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.28/0.33 c core #107 0.28/0.33 c Core size: 11 Core Weight: 1 Total Weight: 107 0.28/0.33 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.28/0.33 c core #108 0.28/0.33 c Core size: 11 Core Weight: 1 Total Weight: 108 0.28/0.33 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.28/0.34 c core #109 0.28/0.34 c Core size: 11 Core Weight: 1 Total Weight: 109 0.28/0.34 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.28/0.34 c core #110 0.28/0.34 c Core size: 11 Core Weight: 1 Total Weight: 110 0.28/0.34 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.28/0.34 c core #111 0.28/0.34 c Core size: 11 Core Weight: 1 Total Weight: 111 0.28/0.34 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.28/0.35 c core #112 0.28/0.35 c Core size: 11 Core Weight: 1 Total Weight: 112 0.28/0.35 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.28/0.35 c core #113 0.28/0.35 c Core size: 11 Core Weight: 1 Total Weight: 113 0.28/0.35 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.28/0.35 c core #114 0.28/0.35 c Core size: 11 Core Weight: 1 Total Weight: 114 0.28/0.35 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.28/0.36 c core #115 0.28/0.36 c Core size: 11 Core Weight: 1 Total Weight: 115 0.28/0.36 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.28/0.36 c core #116 0.28/0.36 c Core size: 11 Core Weight: 1 Total Weight: 116 0.28/0.36 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.28/0.36 c core #117 0.28/0.36 c Core size: 11 Core Weight: 1 Total Weight: 117 0.28/0.36 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.28/0.37 c core #118 0.28/0.37 c Core size: 11 Core Weight: 1 Total Weight: 118 0.28/0.37 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.28/0.37 c core #119 0.28/0.37 c Core size: 11 Core Weight: 1 Total Weight: 119 0.28/0.37 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.28/0.37 c core #120 0.28/0.37 c Core size: 11 Core Weight: 1 Total Weight: 120 0.28/0.37 c Elapsed CPU time: 0.353946 s Remaining CPU time: 1799.65 s 0.28/0.38 c core #121 0.28/0.38 c Core size: 11 Core Weight: 1 Total Weight: 121 0.28/0.38 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.28/0.38 c core #122 0.28/0.38 c Core size: 11 Core Weight: 1 Total Weight: 122 0.28/0.38 c Elapsed CPU time: 0.360945 s Remaining CPU time: 1799.64 s 0.28/0.39 c core #123 0.28/0.39 c Core size: 11 Core Weight: 1 Total Weight: 123 0.28/0.39 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.28/0.39 c core #124 0.28/0.39 c Core size: 11 Core Weight: 1 Total Weight: 124 0.28/0.39 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.28/0.39 c core #125 0.28/0.39 c Core size: 11 Core Weight: 1 Total Weight: 125 0.28/0.39 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.28/0.40 c core #126 0.28/0.40 c Core size: 11 Core Weight: 1 Total Weight: 126 0.28/0.40 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.28/0.40 c core #127 0.28/0.40 c Core size: 17 Core Weight: 1 Total Weight: 127 0.28/0.40 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.38/0.40 c core #128 0.38/0.40 c Core size: 16 Core Weight: 1 Total Weight: 128 0.38/0.40 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.38/0.41 c core #129 0.38/0.41 c Core size: 20 Core Weight: 1 Total Weight: 129 0.38/0.41 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.38/0.41 c core #130 0.38/0.41 c Core size: 21 Core Weight: 1 Total Weight: 130 0.38/0.41 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.38/0.41 c core #131 0.38/0.41 c Core size: 21 Core Weight: 1 Total Weight: 131 0.38/0.41 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 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.397939 s Remaining CPU time: 1799.6 s 0.38/0.42 c core #133 0.38/0.42 c Core size: 22 Core Weight: 1 Total Weight: 133 0.38/0.42 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.38/0.43 c core #134 0.38/0.43 c Core size: 21 Core Weight: 1 Total Weight: 134 0.38/0.43 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.38/0.43 c core #135 0.38/0.43 c Core size: 21 Core Weight: 1 Total Weight: 135 0.38/0.43 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.38/0.43 c core #136 0.38/0.43 c Core size: 17 Core Weight: 1 Total Weight: 136 0.38/0.43 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.38/0.44 c core #137 0.38/0.44 c Core size: 16 Core Weight: 1 Total Weight: 137 0.38/0.44 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.38/0.44 c core #138 0.38/0.44 c Core size: 20 Core Weight: 1 Total Weight: 138 0.38/0.44 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.38/0.44 c core #139 0.38/0.44 c Core size: 21 Core Weight: 1 Total Weight: 139 0.38/0.44 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 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.426935 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.430934 s Remaining CPU time: 1799.57 s 0.38/0.46 c core #142 0.38/0.46 c Core size: 22 Core Weight: 1 Total Weight: 142 0.38/0.46 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.38/0.46 c core #143 0.38/0.46 c Core size: 21 Core Weight: 1 Total Weight: 143 0.38/0.46 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.38/0.46 c core #144 0.38/0.46 c Core size: 21 Core Weight: 1 Total Weight: 144 0.38/0.46 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s 0.38/0.47 c core #145 0.38/0.47 c Core size: 17 Core Weight: 1 Total Weight: 145 0.38/0.47 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.38/0.47 c core #146 0.38/0.47 c Core size: 16 Core Weight: 1 Total Weight: 146 0.38/0.47 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.38/0.48 c core #147 0.38/0.48 c Core size: 20 Core Weight: 1 Total Weight: 147 0.38/0.48 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.38/0.48 c core #148 0.38/0.48 c Core size: 21 Core Weight: 1 Total Weight: 148 0.38/0.48 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.38/0.48 c core #149 0.38/0.48 c Core size: 21 Core Weight: 1 Total Weight: 149 0.38/0.48 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 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.463929 s Remaining CPU time: 1799.54 s 0.38/0.49 c core #151 0.38/0.49 c Core size: 22 Core Weight: 1 Total Weight: 151 0.38/0.49 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.38/0.50 c core #152 0.38/0.50 c Core size: 21 Core Weight: 1 Total Weight: 152 0.38/0.50 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.38/0.50 c core #153 0.38/0.50 c Core size: 21 Core Weight: 1 Total Weight: 153 0.38/0.50 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.38/0.50 c core #154 0.38/0.50 c Core size: 17 Core Weight: 1 Total Weight: 154 0.38/0.50 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.48/0.51 c core #155 0.48/0.51 c Core size: 16 Core Weight: 1 Total Weight: 155 0.48/0.51 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.48/0.51 c core #156 0.48/0.51 c Core size: 20 Core Weight: 1 Total Weight: 156 0.48/0.51 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.48/0.52 c core #157 0.48/0.52 c Core size: 21 Core Weight: 1 Total Weight: 157 0.48/0.52 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.48/0.52 c core #158 0.48/0.52 c Core size: 21 Core Weight: 1 Total Weight: 158 0.48/0.52 c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s 0.48/0.52 c core #159 0.48/0.52 c Core size: 21 Core Weight: 1 Total Weight: 159 0.48/0.53 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.48/0.53 c core #160 0.48/0.53 c Core size: 22 Core Weight: 1 Total Weight: 160 0.48/0.53 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.48/0.53 c core #161 0.48/0.53 c Core size: 21 Core Weight: 1 Total Weight: 161 0.48/0.53 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.48/0.54 c core #162 0.48/0.54 c Core size: 21 Core Weight: 1 Total Weight: 162 0.48/0.54 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.48/0.54 c core #163 0.48/0.54 c Core size: 17 Core Weight: 1 Total Weight: 163 0.48/0.54 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.48/0.55 c core #164 0.48/0.55 c Core size: 16 Core Weight: 1 Total Weight: 164 0.48/0.55 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.48/0.55 c core #165 0.48/0.55 c Core size: 20 Core Weight: 1 Total Weight: 165 0.48/0.55 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.48/0.56 c core #166 0.48/0.56 c Core size: 21 Core Weight: 1 Total Weight: 166 0.48/0.56 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.48/0.56 c core #167 0.48/0.56 c Core size: 21 Core Weight: 1 Total Weight: 167 0.48/0.56 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.48/0.56 c core #168 0.48/0.56 c Core size: 21 Core Weight: 1 Total Weight: 168 0.48/0.56 c Elapsed CPU time: 0.538918 s Remaining CPU time: 1799.46 s 0.48/0.57 c core #169 0.48/0.57 c Core size: 22 Core Weight: 1 Total Weight: 169 0.48/0.57 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.48/0.57 c core #170 0.48/0.57 c Core size: 21 Core Weight: 1 Total Weight: 170 0.48/0.57 c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s 0.48/0.58 c core #171 0.48/0.58 c Core size: 21 Core Weight: 1 Total Weight: 171 0.48/0.58 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.48/0.58 c core #172 0.48/0.58 c Core size: 17 Core Weight: 1 Total Weight: 172 0.48/0.58 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.48/0.59 c core #173 0.48/0.59 c Core size: 16 Core Weight: 1 Total Weight: 173 0.48/0.59 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.48/0.59 c core #174 0.48/0.59 c Core size: 20 Core Weight: 1 Total Weight: 174 0.48/0.59 c Elapsed CPU time: 0.563914 s Remaining CPU time: 1799.44 s 0.48/0.60 c core #175 0.48/0.60 c Core size: 21 Core Weight: 1 Total Weight: 175 0.48/0.60 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.56/0.60 c core #176 0.56/0.60 c Core size: 21 Core Weight: 1 Total Weight: 176 0.56/0.60 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.56/0.60 c core #177 0.56/0.60 c Core size: 21 Core Weight: 1 Total Weight: 177 0.56/0.60 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.56/0.61 c core #178 0.56/0.61 c Core size: 22 Core Weight: 1 Total Weight: 178 0.56/0.61 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.56/0.61 c core #179 0.56/0.61 c Core size: 21 Core Weight: 1 Total Weight: 179 0.56/0.61 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.56/0.62 c core #180 0.56/0.62 c Core size: 21 Core Weight: 1 Total Weight: 180 0.56/0.62 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.56/0.62 c core #181 0.56/0.62 c Core size: 17 Core Weight: 1 Total Weight: 181 0.56/0.62 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.56/0.63 c core #182 0.56/0.63 c Core size: 16 Core Weight: 1 Total Weight: 182 0.56/0.63 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.56/0.63 c core #183 0.56/0.63 c Core size: 20 Core Weight: 1 Total Weight: 183 0.56/0.63 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.56/0.63 c core #184 0.56/0.63 c Core size: 21 Core Weight: 1 Total Weight: 184 0.56/0.63 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.76/1.17 c core #185 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 185 0.76/1.17 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.76/1.17 c core #186 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 186 0.76/1.17 c Elapsed CPU time: 0.614906 s Remaining CPU time: 1799.39 s 0.76/1.17 c core #187 0.76/1.17 c Core size: 22 Core Weight: 1 Total Weight: 187 0.76/1.17 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.76/1.17 c core #188 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 188 0.76/1.17 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.76/1.17 c core #189 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 189 0.76/1.17 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.76/1.17 c core #190 0.76/1.17 c Core size: 17 Core Weight: 1 Total Weight: 190 0.76/1.17 c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s 0.76/1.17 c core #191 0.76/1.17 c Core size: 16 Core Weight: 1 Total Weight: 191 0.76/1.17 c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s 0.76/1.17 c core #192 0.76/1.17 c Core size: 20 Core Weight: 1 Total Weight: 192 0.76/1.17 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.76/1.17 c core #193 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 193 0.76/1.17 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.76/1.17 c core #194 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 194 0.76/1.17 c Elapsed CPU time: 0.650901 s Remaining CPU time: 1799.35 s 0.76/1.17 c core #195 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 195 0.76/1.17 c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s 0.76/1.17 c core #196 0.76/1.17 c Core size: 22 Core Weight: 1 Total Weight: 196 0.76/1.17 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.76/1.17 c core #197 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 197 0.76/1.17 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.76/1.17 c core #198 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 198 0.76/1.17 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.76/1.17 c core #199 0.76/1.17 c Core size: 17 Core Weight: 1 Total Weight: 199 0.76/1.17 c Elapsed CPU time: 0.673897 s Remaining CPU time: 1799.33 s 0.76/1.17 c core #200 0.76/1.17 c Core size: 16 Core Weight: 1 Total Weight: 200 0.76/1.17 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.76/1.17 c core #201 0.76/1.17 c Core size: 20 Core Weight: 1 Total Weight: 201 0.76/1.17 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.76/1.17 c core #202 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 202 0.76/1.17 c Elapsed CPU time: 0.687895 s Remaining CPU time: 1799.31 s 0.76/1.17 c core #203 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 203 0.76/1.17 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.76/1.17 c core #204 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 204 0.76/1.17 c Elapsed CPU time: 0.696894 s Remaining CPU time: 1799.3 s 0.76/1.17 c core #205 0.76/1.17 c Core size: 22 Core Weight: 1 Total Weight: 205 0.76/1.17 c Elapsed CPU time: 0.701893 s Remaining CPU time: 1799.3 s 0.76/1.17 c core #206 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 206 0.76/1.17 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.76/1.17 c core #207 0.76/1.17 c Core size: 21 Core Weight: 1 Total Weight: 207 0.76/1.17 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.76/1.17 c core #208 0.76/1.17 c Core size: 17 Core Weight: 1 Total Weight: 208 0.76/1.17 c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s 0.76/1.17 c core #209 0.76/1.17 c Core size: 16 Core Weight: 1 Total Weight: 209 0.76/1.17 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.76/1.17 c core #210 0.76/1.17 c Core size: 20 Core Weight: 1 Total Weight: 210 0.76/1.18 c Elapsed CPU time: 0.724889 s Remaining CPU time: 1799.28 s 0.76/1.18 c core #211 0.76/1.18 c Core size: 21 Core Weight: 1 Total Weight: 211 0.76/1.18 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.76/1.18 c core #212 0.76/1.18 c Core size: 21 Core Weight: 1 Total Weight: 212 0.76/1.18 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.76/1.18 c core #213 0.76/1.18 c Core size: 21 Core Weight: 1 Total Weight: 213 0.76/1.18 c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s 0.76/1.18 c core #214 0.76/1.18 c Core size: 22 Core Weight: 1 Total Weight: 214 0.76/1.18 c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s 0.76/1.18 c core #215 0.76/1.18 c Core size: 21 Core Weight: 1 Total Weight: 215 0.76/1.18 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.76/1.18 c core #216 0.76/1.18 c Core size: 21 Core Weight: 1 Total Weight: 216 0.76/1.18 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.76/1.18 c core #217 0.76/1.18 c Core size: 201 Core Weight: 1 Total Weight: 217 0.76/1.18 c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s 0.76/1.18 c ============================[ Search Statistics ]============================== 0.76/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.76/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.76/1.18 c =============================================================================== 0.76/1.18 c | 0 | 2060 4913 11510 | 5000 0 nan | 0.000 % | 0.76/1.18 c =============================================================================== 0.76/1.18 c core #218 0.76/1.18 c Core size: 13 Core Weight: 1 Total Weight: 218 0.76/1.18 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.76/1.18 c ============================[ Search Statistics ]============================== 0.76/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.76/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.76/1.18 c =============================================================================== 0.76/1.18 c | 0 | 2066 4914 11522 | 5000 0 nan | 0.000 % | 0.76/1.18 c =============================================================================== 0.76/1.18 c core #219 0.76/1.18 c Core size: 13 Core Weight: 1 Total Weight: 219 0.76/1.18 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.76/1.18 c ============================[ Search Statistics ]============================== 0.76/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.76/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.76/1.18 c =============================================================================== 0.76/1.18 c | 0 | 2072 4915 11534 | 5000 0 nan | 0.000 % | 0.76/1.18 c =============================================================================== 0.76/1.18 c core #220 0.76/1.18 c Core size: 17 Core Weight: 1 Total Weight: 220 0.76/1.18 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.76/1.19 c ============================[ Search Statistics ]============================== 0.76/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.76/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.76/1.19 c =============================================================================== 0.76/1.19 c | 0 | 2080 4916 11550 | 5000 0 nan | 0.000 % | 0.76/1.19 c =============================================================================== 0.76/1.19 c core #221 0.76/1.19 c Core size: 13 Core Weight: 1 Total Weight: 221 0.76/1.19 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.76/1.19 c ============================[ Search Statistics ]============================== 0.76/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.76/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.76/1.19 c =============================================================================== 0.76/1.19 c | 0 | 2086 4917 11562 | 5000 0 nan | 0.000 % | 0.76/1.20 c =============================================================================== 0.76/1.20 c core #222 0.76/1.20 c Core size: 19 Core Weight: 1 Total Weight: 222 0.76/1.20 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.78/1.20 c ============================[ Search Statistics ]============================== 0.78/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.20 c =============================================================================== 0.78/1.20 c | 0 | 2095 4918 11580 | 5000 0 nan | 0.000 % | 0.78/1.20 c =============================================================================== 0.78/1.20 c core #223 0.78/1.20 c Core size: 22 Core Weight: 1 Total Weight: 223 0.78/1.20 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.78/1.21 c ============================[ Search Statistics ]============================== 0.78/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.21 c =============================================================================== 0.78/1.21 c | 0 | 2105 4919 11600 | 5000 0 nan | 0.000 % | 0.78/1.21 c =============================================================================== 0.78/1.21 c core #224 0.78/1.21 c Core size: 63 Core Weight: 1 Total Weight: 224 0.78/1.21 c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s 0.78/1.21 c Learning 1 hard constraints 0.78/1.21 c ============================[ Search Statistics ]============================== 0.78/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.21 c =============================================================================== 0.78/1.21 c | 0 | 2120 4921 11637 | 5000 0 nan | 0.000 % | 0.78/1.21 c =============================================================================== 0.78/1.21 c core #225 0.78/1.21 c Core size: 82 Core Weight: 1 Total Weight: 225 0.78/1.21 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.78/1.22 c Learning 5 hard constraints 0.78/1.22 c ============================[ Search Statistics ]============================== 0.78/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.22 c =============================================================================== 0.78/1.22 c | 0 | 2139 4927 11708 | 5000 0 nan | 0.000 % | 0.78/1.22 c =============================================================================== 0.78/1.22 c core #226 0.78/1.22 c Core size: 12 Core Weight: 1 Total Weight: 226 0.78/1.22 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.78/1.22 c Learning 5 hard constraints 0.78/1.22 c ============================[ Search Statistics ]============================== 0.78/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.22 c =============================================================================== 0.78/1.22 c | 0 | 2145 4933 11746 | 5000 0 nan | 0.000 % | 0.78/1.22 c =============================================================================== 0.78/1.22 c core #227 0.78/1.22 c Core size: 13 Core Weight: 1 Total Weight: 227 0.78/1.22 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.78/1.23 c ============================[ Search Statistics ]============================== 0.78/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.23 c =============================================================================== 0.78/1.23 c | 0 | 2151 4934 11758 | 5000 0 nan | 0.000 % | 0.78/1.23 c =============================================================================== 0.78/1.23 c core #228 0.78/1.23 c Core size: 15 Core Weight: 1 Total Weight: 228 0.78/1.23 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.78/1.24 c ============================[ Search Statistics ]============================== 0.78/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.24 c =============================================================================== 0.78/1.24 c | 0 | 2158 4935 11772 | 5000 0 nan | 0.000 % | 0.78/1.24 c =============================================================================== 0.78/1.24 c core #229 0.78/1.24 c Core size: 13 Core Weight: 1 Total Weight: 229 0.78/1.24 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.78/1.24 c ============================[ Search Statistics ]============================== 0.78/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.24 c =============================================================================== 0.78/1.24 c | 0 | 2164 4936 11784 | 5000 0 nan | 0.000 % | 0.78/1.24 c =============================================================================== 0.78/1.24 c core #230 0.78/1.24 c Core size: 13 Core Weight: 1 Total Weight: 230 0.78/1.24 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.78/1.25 c ============================[ Search Statistics ]============================== 0.78/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.25 c =============================================================================== 0.78/1.25 c | 0 | 2170 4937 11796 | 5000 0 nan | 0.000 % | 0.78/1.25 c =============================================================================== 0.78/1.25 c core #231 0.78/1.25 c Core size: 13 Core Weight: 1 Total Weight: 231 0.78/1.25 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.78/1.25 c ============================[ Search Statistics ]============================== 0.78/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.25 c =============================================================================== 0.78/1.25 c | 0 | 2176 4938 11808 | 5000 0 nan | 0.000 % | 0.78/1.26 c =============================================================================== 0.78/1.26 c core #232 0.78/1.26 c Core size: 13 Core Weight: 1 Total Weight: 232 0.78/1.26 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.78/1.26 c ============================[ Search Statistics ]============================== 0.78/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.26 c =============================================================================== 0.78/1.26 c | 0 | 2182 4939 11820 | 5000 0 nan | 0.000 % | 0.78/1.26 c =============================================================================== 0.78/1.26 c core #233 0.78/1.26 c Core size: 17 Core Weight: 1 Total Weight: 233 0.78/1.26 c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s 0.78/1.27 c ============================[ Search Statistics ]============================== 0.78/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.27 c =============================================================================== 0.78/1.27 c | 0 | 2190 4940 11836 | 5000 0 nan | 0.000 % | 0.78/1.27 c =============================================================================== 0.78/1.27 c core #234 0.78/1.27 c Core size: 15 Core Weight: 1 Total Weight: 234 0.78/1.27 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.78/1.27 c Learning 4 hard constraints 0.78/1.27 c ============================[ Search Statistics ]============================== 0.78/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.27 c =============================================================================== 0.78/1.27 c | 0 | 2197 4945 11876 | 5000 0 nan | 0.000 % | 0.78/1.28 c =============================================================================== 0.78/1.28 c core #235 0.78/1.28 c Core size: 15 Core Weight: 1 Total Weight: 235 0.78/1.28 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.78/1.28 c ============================[ Search Statistics ]============================== 0.78/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.28 c =============================================================================== 0.78/1.28 c | 0 | 2204 4946 11890 | 5000 0 nan | 0.000 % | 0.78/1.28 c =============================================================================== 0.78/1.28 c core #236 0.78/1.28 c Core size: 13 Core Weight: 1 Total Weight: 236 0.78/1.28 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.78/1.29 c ============================[ Search Statistics ]============================== 0.78/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.29 c =============================================================================== 0.78/1.29 c | 0 | 2210 4947 11902 | 5000 0 nan | 0.000 % | 0.78/1.29 c =============================================================================== 0.78/1.29 c core #237 0.78/1.29 c Core size: 65 Core Weight: 1 Total Weight: 237 0.78/1.29 c Elapsed CPU time: 0.876866 s Remaining CPU time: 1799.12 s 0.78/1.29 c ============================[ Search Statistics ]============================== 0.78/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/1.29 c =============================================================================== 0.78/1.29 c | 0 | 2234 4948 11950 | 5000 0 nan | 0.000 % | 0.78/1.29 c =============================================================================== 0.78/1.29 c core #238 0.78/1.29 c Core size: 15 Core Weight: 1 Total Weight: 238 0.78/1.29 c Elapsed CPU time: 0.883865 s Remaining CPU time: 1799.12 s 0.88/1.30 c ============================[ Search Statistics ]============================== 0.88/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.30 c =============================================================================== 0.88/1.30 c | 0 | 2241 4949 11964 | 5000 0 nan | 0.000 % | 0.88/1.30 c =============================================================================== 0.88/1.30 c core #239 0.88/1.30 c Core size: 13 Core Weight: 1 Total Weight: 239 0.88/1.30 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.88/1.31 c ============================[ Search Statistics ]============================== 0.88/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.31 c =============================================================================== 0.88/1.31 c | 0 | 2247 4950 11976 | 5000 0 nan | 0.000 % | 0.88/1.31 c =============================================================================== 0.88/1.31 c core #240 0.88/1.31 c Core size: 15 Core Weight: 1 Total Weight: 240 0.88/1.31 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.88/1.31 c ============================[ Search Statistics ]============================== 0.88/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.31 c =============================================================================== 0.88/1.31 c | 0 | 2254 4951 11990 | 5000 0 nan | 0.000 % | 0.88/1.31 c =============================================================================== 0.88/1.31 c core #241 0.88/1.31 c Core size: 13 Core Weight: 1 Total Weight: 241 0.88/1.31 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.88/1.32 c ============================[ Search Statistics ]============================== 0.88/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.32 c =============================================================================== 0.88/1.32 c | 0 | 2260 4952 12002 | 5000 0 nan | 0.000 % | 0.88/1.32 c =============================================================================== 0.88/1.32 c core #242 0.88/1.32 c Core size: 15 Core Weight: 1 Total Weight: 242 0.88/1.32 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.88/1.33 c ============================[ Search Statistics ]============================== 0.88/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.33 c =============================================================================== 0.88/1.33 c | 0 | 2267 4953 12016 | 5000 0 nan | 0.000 % | 0.88/1.33 c =============================================================================== 0.88/1.33 c core #243 0.88/1.33 c Core size: 15 Core Weight: 1 Total Weight: 243 0.88/1.33 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.88/1.33 c ============================[ Search Statistics ]============================== 0.88/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.33 c =============================================================================== 0.88/1.33 c | 0 | 2274 4954 12030 | 5000 0 nan | 0.000 % | 0.88/1.33 c =============================================================================== 0.88/1.33 c core #244 0.88/1.33 c Core size: 32 Core Weight: 1 Total Weight: 244 0.88/1.33 c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s 0.88/1.34 c ============================[ Search Statistics ]============================== 0.88/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.34 c =============================================================================== 0.88/1.34 c | 0 | 2283 4955 12048 | 5000 0 nan | 0.000 % | 0.88/1.34 c =============================================================================== 0.88/1.34 c core #245 0.88/1.34 c Core size: 13 Core Weight: 1 Total Weight: 245 0.88/1.34 c Elapsed CPU time: 0.924859 s Remaining CPU time: 1799.08 s 0.88/1.35 c ============================[ Search Statistics ]============================== 0.88/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.35 c =============================================================================== 0.88/1.35 c | 0 | 2289 4956 12060 | 5000 0 nan | 0.000 % | 0.88/1.35 c =============================================================================== 0.88/1.35 c core #246 0.88/1.35 c Core size: 15 Core Weight: 1 Total Weight: 246 0.88/1.35 c Elapsed CPU time: 0.930858 s Remaining CPU time: 1799.07 s 0.88/1.35 c ============================[ Search Statistics ]============================== 0.88/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.35 c =============================================================================== 0.88/1.35 c | 0 | 2296 4957 12074 | 5000 0 nan | 0.000 % | 0.88/1.36 c =============================================================================== 0.88/1.36 c core #247 0.88/1.36 c Core size: 172 Core Weight: 1 Total Weight: 247 0.88/1.36 c Elapsed CPU time: 0.939857 s Remaining CPU time: 1799.06 s 0.88/1.36 c Learning 6 hard constraints 0.88/1.36 c ============================[ Search Statistics ]============================== 0.88/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.36 c =============================================================================== 0.88/1.36 c | 0 | 2334 4964 12176 | 5000 0 nan | 0.000 % | 0.88/1.36 c =============================================================================== 0.88/1.36 c core #248 0.88/1.36 c Core size: 13 Core Weight: 1 Total Weight: 248 0.88/1.36 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 0.88/1.37 c ============================[ Search Statistics ]============================== 0.88/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.37 c =============================================================================== 0.88/1.37 c | 0 | 2340 4965 12188 | 5000 0 nan | 0.000 % | 0.88/1.37 c =============================================================================== 0.88/1.37 c core #249 0.88/1.37 c Core size: 36 Core Weight: 1 Total Weight: 249 0.88/1.37 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.88/1.38 c ============================[ Search Statistics ]============================== 0.88/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.38 c =============================================================================== 0.88/1.38 c | 0 | 2350 4966 12208 | 5000 0 nan | 0.000 % | 0.88/1.38 c =============================================================================== 0.88/1.38 c core #250 0.88/1.38 c Core size: 50 Core Weight: 1 Total Weight: 250 0.88/1.38 c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s 0.88/1.38 c ============================[ Search Statistics ]============================== 0.88/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.38 c =============================================================================== 0.88/1.38 c | 0 | 2366 4967 12240 | 5000 0 nan | 0.000 % | 0.88/1.38 c =============================================================================== 0.88/1.38 c core #251 0.88/1.38 c Core size: 27 Core Weight: 1 Total Weight: 251 0.88/1.38 c Elapsed CPU time: 0.965853 s Remaining CPU time: 1799.03 s 0.88/1.39 c ============================[ Search Statistics ]============================== 0.88/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.39 c =============================================================================== 0.88/1.39 c | 0 | 2378 4968 12264 | 5000 0 nan | 0.000 % | 0.88/1.39 c =============================================================================== 0.88/1.39 c core #252 0.88/1.39 c Core size: 47 Core Weight: 1 Total Weight: 252 0.88/1.39 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 0.88/1.40 c ============================[ Search Statistics ]============================== 0.88/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/1.40 c =============================================================================== 0.88/1.40 c | 0 | 2397 4969 12302 | 5000 0 nan | 0.000 % | 0.98/1.40 c =============================================================================== 0.98/1.40 c core #253 0.98/1.40 c Core size: 17 Core Weight: 1 Total Weight: 253 0.98/1.40 c Elapsed CPU time: 0.979851 s Remaining CPU time: 1799.02 s 0.98/1.40 c ============================[ Search Statistics ]============================== 0.98/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.40 c =============================================================================== 0.98/1.40 c | 0 | 2405 4970 12318 | 5000 0 nan | 0.000 % | 0.98/1.40 c =============================================================================== 0.98/1.40 c core #254 0.98/1.40 c Core size: 39 Core Weight: 1 Total Weight: 254 0.98/1.40 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 0.98/1.41 c ============================[ Search Statistics ]============================== 0.98/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.41 c =============================================================================== 0.98/1.41 c | 0 | 2417 4971 12342 | 5000 0 nan | 0.000 % | 0.98/1.41 c =============================================================================== 0.98/1.41 c core #255 0.98/1.41 c Core size: 36 Core Weight: 1 Total Weight: 255 0.98/1.41 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 0.98/1.42 c ============================[ Search Statistics ]============================== 0.98/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.42 c =============================================================================== 0.98/1.42 c | 0 | 2427 4972 12362 | 5000 0 nan | 0.000 % | 0.98/1.42 c =============================================================================== 0.98/1.42 c core #256 0.98/1.42 c Core size: 49 Core Weight: 1 Total Weight: 256 0.98/1.42 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 0.98/1.42 c ============================[ Search Statistics ]============================== 0.98/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.42 c =============================================================================== 0.98/1.42 c | 0 | 2442 4973 12392 | 5000 0 nan | 0.000 % | 0.98/1.43 c =============================================================================== 0.98/1.43 c core #257 0.98/1.43 c Core size: 13 Core Weight: 1 Total Weight: 257 0.98/1.43 c Elapsed CPU time: 1.00285 s Remaining CPU time: 1799 s 0.98/1.43 c ============================[ Search Statistics ]============================== 0.98/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.43 c =============================================================================== 0.98/1.43 c | 0 | 2448 4974 12404 | 5000 0 nan | 0.000 % | 0.98/1.43 c =============================================================================== 0.98/1.43 c core #258 0.98/1.43 c Core size: 13 Core Weight: 1 Total Weight: 258 0.98/1.43 c Elapsed CPU time: 1.00985 s Remaining CPU time: 1798.99 s 0.98/1.44 c ============================[ Search Statistics ]============================== 0.98/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.44 c =============================================================================== 0.98/1.44 c | 0 | 2454 4975 12416 | 5000 0 nan | 0.000 % | 0.98/1.44 c =============================================================================== 0.98/1.44 c core #259 0.98/1.44 c Core size: 13 Core Weight: 1 Total Weight: 259 0.98/1.44 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 0.98/1.44 c ============================[ Search Statistics ]============================== 0.98/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.44 c =============================================================================== 0.98/1.44 c | 0 | 2460 4976 12428 | 5000 0 nan | 0.000 % | 0.98/1.45 c =============================================================================== 0.98/1.45 c core #260 0.98/1.45 c Core size: 17 Core Weight: 1 Total Weight: 260 0.98/1.45 c Elapsed CPU time: 1.02284 s Remaining CPU time: 1798.98 s 0.98/1.45 c ============================[ Search Statistics ]============================== 0.98/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.45 c =============================================================================== 0.98/1.45 c | 0 | 2468 4977 12444 | 5000 0 nan | 0.000 % | 0.98/1.45 c =============================================================================== 0.98/1.45 c core #261 0.98/1.45 c Core size: 15 Core Weight: 1 Total Weight: 261 0.98/1.45 c Elapsed CPU time: 1.02984 s Remaining CPU time: 1798.97 s 0.98/1.46 c ============================[ Search Statistics ]============================== 0.98/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.46 c =============================================================================== 0.98/1.46 c | 0 | 2475 4978 12458 | 5000 0 nan | 0.000 % | 0.98/1.46 c =============================================================================== 0.98/1.46 c core #262 0.98/1.46 c Core size: 36 Core Weight: 1 Total Weight: 262 0.98/1.46 c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s 0.98/1.47 c ============================[ Search Statistics ]============================== 0.98/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.47 c =============================================================================== 0.98/1.47 c | 0 | 2485 4979 12478 | 5000 0 nan | 0.000 % | 0.98/1.47 c =============================================================================== 0.98/1.47 c core #263 0.98/1.47 c Core size: 13 Core Weight: 1 Total Weight: 263 0.98/1.47 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 0.98/1.47 c ============================[ Search Statistics ]============================== 0.98/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.47 c =============================================================================== 0.98/1.47 c | 0 | 2491 4980 12490 | 5000 0 nan | 0.000 % | 0.98/1.47 c =============================================================================== 0.98/1.47 c core #264 0.98/1.47 c Core size: 15 Core Weight: 1 Total Weight: 264 0.98/1.47 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 0.98/1.48 c ============================[ Search Statistics ]============================== 0.98/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.48 c =============================================================================== 0.98/1.48 c | 0 | 2498 4981 12504 | 5000 0 nan | 0.000 % | 0.98/1.48 c =============================================================================== 0.98/1.48 c core #265 0.98/1.48 c Core size: 13 Core Weight: 1 Total Weight: 265 0.98/1.48 c Elapsed CPU time: 1.05584 s Remaining CPU time: 1798.94 s 0.98/1.49 c ============================[ Search Statistics ]============================== 0.98/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.49 c =============================================================================== 0.98/1.49 c | 0 | 2504 4982 12516 | 5000 0 nan | 0.000 % | 0.98/1.49 c =============================================================================== 0.98/1.49 c core #266 0.98/1.49 c Core size: 17 Core Weight: 1 Total Weight: 266 0.98/1.49 c Elapsed CPU time: 1.06284 s Remaining CPU time: 1798.94 s 0.98/1.49 c ============================[ Search Statistics ]============================== 0.98/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.49 c =============================================================================== 0.98/1.49 c | 0 | 2512 4983 12532 | 5000 0 nan | 0.000 % | 0.98/1.49 c =============================================================================== 0.98/1.49 c core #267 0.98/1.49 c Core size: 15 Core Weight: 1 Total Weight: 267 0.98/1.49 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 0.98/1.50 c ============================[ Search Statistics ]============================== 0.98/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.98/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.98/1.50 c =============================================================================== 0.98/1.50 c | 0 | 2519 4984 12546 | 5000 0 nan | 0.000 % | 0.98/1.50 c =============================================================================== 0.98/1.50 c core #268 0.98/1.50 c Core size: 36 Core Weight: 1 Total Weight: 268 0.98/1.50 c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s 1.08/1.51 c ============================[ Search Statistics ]============================== 1.08/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.51 c =============================================================================== 1.08/1.51 c | 0 | 2529 4985 12566 | 5000 0 nan | 0.000 % | 1.08/1.51 c =============================================================================== 1.08/1.51 c core #269 1.08/1.51 c Core size: 12 Core Weight: 1 Total Weight: 269 1.08/1.51 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 1.08/1.51 c ============================[ Search Statistics ]============================== 1.08/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.51 c =============================================================================== 1.08/1.51 c | 0 | 2535 4986 12578 | 5000 0 nan | 0.000 % | 1.08/1.51 c =============================================================================== 1.08/1.51 c core #270 1.08/1.51 c Core size: 33 Core Weight: 1 Total Weight: 270 1.08/1.51 c Elapsed CPU time: 1.08583 s Remaining CPU time: 1798.91 s 1.08/1.52 c ============================[ Search Statistics ]============================== 1.08/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.52 c =============================================================================== 1.08/1.52 c | 0 | 2544 4987 12596 | 5000 0 nan | 0.000 % | 1.08/1.52 c =============================================================================== 1.08/1.52 c core #271 1.08/1.52 c Core size: 36 Core Weight: 1 Total Weight: 271 1.08/1.52 c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s 1.08/1.53 c ============================[ Search Statistics ]============================== 1.08/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.53 c =============================================================================== 1.08/1.53 c | 0 | 2554 4988 12616 | 5000 0 nan | 0.000 % | 1.08/1.53 c =============================================================================== 1.08/1.53 c core #272 1.08/1.53 c Core size: 21 Core Weight: 1 Total Weight: 272 1.08/1.53 c Elapsed CPU time: 1.09983 s Remaining CPU time: 1798.9 s 1.08/1.54 c ============================[ Search Statistics ]============================== 1.08/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.54 c =============================================================================== 1.08/1.54 c | 0 | 2564 4989 12636 | 5000 0 nan | 0.000 % | 1.08/1.54 c =============================================================================== 1.08/1.54 c core #273 1.08/1.54 c Core size: 80 Core Weight: 1 Total Weight: 273 1.08/1.54 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.08/1.54 c ============================[ Search Statistics ]============================== 1.08/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.54 c =============================================================================== 1.08/1.54 c | 0 | 2584 4990 12676 | 5000 0 nan | 0.000 % | 1.08/1.54 c =============================================================================== 1.08/1.54 c core #274 1.08/1.54 c Core size: 13 Core Weight: 1 Total Weight: 274 1.08/1.54 c Elapsed CPU time: 1.11383 s Remaining CPU time: 1798.89 s 1.08/1.55 c ============================[ Search Statistics ]============================== 1.08/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.55 c =============================================================================== 1.08/1.55 c | 0 | 2590 4991 12688 | 5000 0 nan | 0.000 % | 1.08/1.55 c =============================================================================== 1.08/1.55 c core #275 1.08/1.55 c Core size: 21 Core Weight: 1 Total Weight: 275 1.08/1.55 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.08/1.56 c ============================[ Search Statistics ]============================== 1.08/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.56 c =============================================================================== 1.08/1.56 c | 0 | 2600 4992 12708 | 5000 0 nan | 0.000 % | 1.08/1.56 c =============================================================================== 1.08/1.56 c core #276 1.08/1.56 c Core size: 33 Core Weight: 1 Total Weight: 276 1.08/1.56 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.08/1.57 c ============================[ Search Statistics ]============================== 1.08/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.57 c =============================================================================== 1.08/1.57 c | 0 | 2615 4993 12738 | 5000 0 nan | 0.000 % | 1.08/1.57 c =============================================================================== 1.08/1.57 c core #277 1.08/1.57 c Core size: 40 Core Weight: 1 Total Weight: 277 1.08/1.57 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.08/1.57 c ============================[ Search Statistics ]============================== 1.08/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.57 c =============================================================================== 1.08/1.57 c | 0 | 2630 4994 12768 | 5000 0 nan | 0.000 % | 1.08/1.57 c =============================================================================== 1.08/1.57 c core #278 1.08/1.57 c Core size: 15 Core Weight: 1 Total Weight: 278 1.08/1.57 c Elapsed CPU time: 1.14183 s Remaining CPU time: 1798.86 s 1.08/1.58 c ============================[ Search Statistics ]============================== 1.08/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.58 c =============================================================================== 1.08/1.58 c | 0 | 2637 4995 12782 | 5000 0 nan | 0.000 % | 1.08/1.58 c =============================================================================== 1.08/1.58 c core #279 1.08/1.58 c Core size: 21 Core Weight: 1 Total Weight: 279 1.08/1.58 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.08/1.59 c ============================[ Search Statistics ]============================== 1.08/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.59 c =============================================================================== 1.08/1.59 c | 0 | 2647 4996 12802 | 5000 0 nan | 0.000 % | 1.08/1.59 c =============================================================================== 1.08/1.59 c core #280 1.08/1.59 c Core size: 72 Core Weight: 1 Total Weight: 280 1.08/1.59 c Elapsed CPU time: 1.15582 s Remaining CPU time: 1798.84 s 1.08/1.60 c Learning 3 hard constraints 1.08/1.60 c ============================[ Search Statistics ]============================== 1.08/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.08/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.08/1.60 c =============================================================================== 1.08/1.60 c | 0 | 2663 5000 12849 | 5000 0 nan | 0.000 % | 1.17/1.60 c =============================================================================== 1.17/1.60 c core #281 1.17/1.60 c Core size: 105 Core Weight: 1 Total Weight: 281 1.17/1.60 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.17/1.60 c Learning 1 hard constraints 1.17/1.60 c ============================[ Search Statistics ]============================== 1.17/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.60 c =============================================================================== 1.17/1.60 c | 0 | 2696 5002 12923 | 5000 0 nan | 0.000 % | 1.17/1.61 c =============================================================================== 1.17/1.61 c core #282 1.17/1.61 c Core size: 15 Core Weight: 1 Total Weight: 282 1.17/1.61 c Elapsed CPU time: 1.17082 s Remaining CPU time: 1798.83 s 1.17/1.61 c ============================[ Search Statistics ]============================== 1.17/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.61 c =============================================================================== 1.17/1.61 c | 0 | 2703 5003 12937 | 5000 0 nan | 0.000 % | 1.17/1.61 c =============================================================================== 1.17/1.61 c core #283 1.17/1.61 c Core size: 77 Core Weight: 1 Total Weight: 283 1.17/1.61 c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s 1.17/1.62 c ============================[ Search Statistics ]============================== 1.17/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.62 c =============================================================================== 1.17/1.62 c | 0 | 2723 5004 12977 | 5000 0 nan | 0.000 % | 1.17/1.62 c =============================================================================== 1.17/1.62 c core #284 1.17/1.62 c Core size: 23 Core Weight: 1 Total Weight: 284 1.17/1.62 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.17/1.63 c Learning 2 hard constraints 1.17/1.63 c ============================[ Search Statistics ]============================== 1.17/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.63 c =============================================================================== 1.17/1.63 c | 0 | 2733 5007 13008 | 5000 0 nan | 0.000 % | 1.17/1.63 c =============================================================================== 1.17/1.63 c core #285 1.17/1.63 c Core size: 37 Core Weight: 1 Total Weight: 285 1.17/1.63 c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s 1.17/1.64 c ============================[ Search Statistics ]============================== 1.17/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.64 c =============================================================================== 1.17/1.64 c | 0 | 2748 5008 13038 | 5000 0 nan | 0.000 % | 1.17/1.64 c =============================================================================== 1.17/1.64 c core #286 1.17/1.64 c Core size: 15 Core Weight: 1 Total Weight: 286 1.17/1.64 c Elapsed CPU time: 1.19982 s Remaining CPU time: 1798.8 s 1.17/1.64 c ============================[ Search Statistics ]============================== 1.17/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.64 c =============================================================================== 1.17/1.64 c | 0 | 2755 5009 13052 | 5000 0 nan | 0.000 % | 1.17/1.64 c =============================================================================== 1.17/1.65 c core #287 1.17/1.65 c Core size: 77 Core Weight: 1 Total Weight: 287 1.17/1.65 c Elapsed CPU time: 1.20682 s Remaining CPU time: 1798.79 s 1.17/1.65 c ============================[ Search Statistics ]============================== 1.17/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.65 c =============================================================================== 1.17/1.65 c | 0 | 2777 5010 13096 | 5000 0 nan | 0.000 % | 1.17/1.65 c =============================================================================== 1.17/1.65 c core #288 1.17/1.65 c Core size: 64 Core Weight: 1 Total Weight: 288 1.17/1.65 c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s 1.17/1.66 c Learning 2 hard constraints 1.17/1.66 c ============================[ Search Statistics ]============================== 1.17/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.66 c =============================================================================== 1.17/1.66 c | 0 | 2793 5013 13140 | 5000 0 nan | 0.000 % | 1.17/1.66 c =============================================================================== 1.17/1.66 c core #289 1.17/1.66 c Core size: 37 Core Weight: 1 Total Weight: 289 1.17/1.66 c Elapsed CPU time: 1.22181 s Remaining CPU time: 1798.78 s 1.17/1.67 c Learning 3 hard constraints 1.17/1.67 c ============================[ Search Statistics ]============================== 1.17/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.67 c =============================================================================== 1.17/1.67 c | 0 | 2803 5017 13179 | 5000 0 nan | 0.000 % | 1.17/1.67 c =============================================================================== 1.17/1.67 c core #290 1.17/1.67 c Core size: 57 Core Weight: 1 Total Weight: 290 1.17/1.67 c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s 1.17/1.68 c Learning 2 hard constraints 1.17/1.68 c ============================[ Search Statistics ]============================== 1.17/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.68 c =============================================================================== 1.17/1.68 c | 0 | 2816 5020 13216 | 5000 0 nan | 0.000 % | 1.17/1.68 c =============================================================================== 1.17/1.68 c core #291 1.17/1.68 c Core size: 83 Core Weight: 1 Total Weight: 291 1.17/1.68 c Elapsed CPU time: 1.23481 s Remaining CPU time: 1798.77 s 1.17/1.68 c Learning 1 hard constraints 1.17/1.68 c ============================[ Search Statistics ]============================== 1.17/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.68 c =============================================================================== 1.17/1.68 c | 0 | 2835 5022 13260 | 5000 0 nan | 0.000 % | 1.17/1.69 c =============================================================================== 1.17/1.69 c core #292 1.17/1.69 c Core size: 136 Core Weight: 1 Total Weight: 292 1.17/1.69 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.17/1.69 c Learning 1 hard constraints 1.17/1.69 c ============================[ Search Statistics ]============================== 1.17/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.69 c =============================================================================== 1.17/1.69 c | 0 | 2868 5024 13333 | 5000 0 nan | 0.000 % | 1.17/1.69 c =============================================================================== 1.17/1.69 c core #293 1.17/1.69 c Core size: 74 Core Weight: 1 Total Weight: 293 1.17/1.69 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.27/1.70 c Learning 1 hard constraints 1.27/1.70 c ============================[ Search Statistics ]============================== 1.27/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.70 c =============================================================================== 1.27/1.70 c | 0 | 2884 5026 13368 | 5000 0 nan | 0.000 % | 1.27/1.71 c | 100 | 2884 5026 13368 | 5500 100 10 | 0.346 % | 1.27/1.71 c =============================================================================== 1.27/1.71 c core #294 1.27/1.71 c Core size: 118 Core Weight: 1 Total Weight: 294 1.27/1.71 c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s 1.27/1.71 c Learning 4 hard constraints 1.27/1.71 c ============================[ Search Statistics ]============================== 1.27/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.71 c =============================================================================== 1.27/1.71 c | 0 | 2910 5031 13440 | 5000 0 nan | 0.000 % | 1.27/1.72 c =============================================================================== 1.27/1.72 c core #295 1.27/1.72 c Core size: 65 Core Weight: 1 Total Weight: 295 1.27/1.72 c Elapsed CPU time: 1.27081 s Remaining CPU time: 1798.73 s 1.27/1.72 c Learning 2 hard constraints 1.27/1.72 c ============================[ Search Statistics ]============================== 1.27/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.72 c =============================================================================== 1.27/1.72 c | 0 | 2922 5034 13475 | 5000 0 nan | 0.000 % | 1.27/1.73 c =============================================================================== 1.27/1.73 c core #296 1.27/1.73 c Core size: 175 Core Weight: 1 Total Weight: 296 1.27/1.73 c Elapsed CPU time: 1.2808 s Remaining CPU time: 1798.72 s 1.27/1.73 c Learning 5 hard constraints 1.27/1.73 c ============================[ Search Statistics ]============================== 1.27/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.73 c =============================================================================== 1.27/1.73 c | 0 | 2960 5040 13577 | 5000 0 nan | 0.000 % | 1.27/1.74 c =============================================================================== 1.27/1.74 c core #297 1.27/1.74 c Core size: 140 Core Weight: 1 Total Weight: 297 1.27/1.74 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.27/1.74 c Learning 1 hard constraints 1.27/1.74 c ============================[ Search Statistics ]============================== 1.27/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.74 c =============================================================================== 1.27/1.74 c | 0 | 3010 5042 13684 | 5000 0 nan | 0.000 % | 1.27/1.75 c =============================================================================== 1.27/1.75 c core #298 1.27/1.75 c Core size: 123 Core Weight: 1 Total Weight: 298 1.27/1.75 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.27/1.75 c Learning 2 hard constraints 1.27/1.75 c ============================[ Search Statistics ]============================== 1.27/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.75 c =============================================================================== 1.27/1.75 c | 0 | 3039 5045 13754 | 5000 0 nan | 0.000 % | 1.27/1.76 c =============================================================================== 1.27/1.76 c core #299 1.27/1.76 c Core size: 157 Core Weight: 1 Total Weight: 299 1.27/1.76 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.27/1.76 c Learning 6 hard constraints 1.27/1.76 c ============================[ Search Statistics ]============================== 1.27/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.76 c =============================================================================== 1.27/1.77 c | 0 | 3078 5052 13860 | 5000 0 nan | 0.000 % | 1.27/1.77 c =============================================================================== 1.27/1.77 c core #300 1.27/1.77 c Core size: 58 Core Weight: 1 Total Weight: 300 1.27/1.77 c Elapsed CPU time: 1.3188 s Remaining CPU time: 1798.68 s 1.27/1.77 c ============================[ Search Statistics ]============================== 1.27/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.77 c =============================================================================== 1.27/1.77 c | 0 | 3091 5053 13886 | 5000 0 nan | 0.000 % | 1.27/1.78 c =============================================================================== 1.27/1.78 c core #301 1.27/1.78 c Core size: 83 Core Weight: 1 Total Weight: 301 1.27/1.78 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.27/1.78 c Learning 6 hard constraints 1.27/1.78 c ============================[ Search Statistics ]============================== 1.27/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.27/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.27/1.78 c =============================================================================== 1.27/1.78 c | 0 | 3116 5060 13970 | 5000 0 nan | 0.000 % | 1.27/1.79 c | 102 | 3116 5060 13970 | 5500 102 16 | 0.320 % | 1.27/1.79 c | 254 | 3114 5060 13970 | 6050 254 15 | 0.384 % | 1.36/1.80 c =============================================================================== 1.36/1.80 c core #302 1.36/1.80 c Core size: 225 Core Weight: 1 Total Weight: 302 1.36/1.80 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.36/1.81 c Learning 8 hard constraints 1.36/1.81 c ============================[ Search Statistics ]============================== 1.36/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.36/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.36/1.81 c =============================================================================== 1.36/1.81 c | 0 | 3161 5069 14109 | 5000 0 nan | 0.000 % | 1.36/1.81 c | 100 | 3161 5069 14109 | 5500 100 14 | 0.316 % | 1.36/1.82 c =============================================================================== 1.36/1.82 c core #303 1.36/1.82 c Core size: 145 Core Weight: 1 Total Weight: 303 1.36/1.82 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.36/1.83 c Learning 4 hard constraints 1.36/1.83 c ============================[ Search Statistics ]============================== 1.36/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.36/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.36/1.83 c =============================================================================== 1.36/1.83 c | 0 | 3191 5074 14188 | 5000 0 nan | 0.000 % | 1.36/1.83 c =============================================================================== 1.36/1.83 c core #304 1.36/1.83 c Core size: 103 Core Weight: 1 Total Weight: 304 1.36/1.83 c Elapsed CPU time: 1.38079 s Remaining CPU time: 1798.62 s 1.36/1.84 c Learning 3 hard constraints 1.36/1.84 c ============================[ Search Statistics ]============================== 1.36/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.36/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.36/1.84 c =============================================================================== 1.36/1.84 c | 0 | 3212 5078 14249 | 5000 0 nan | 0.000 % | 1.36/1.84 c | 100 | 3212 5078 14249 | 5500 100 20 | 0.311 % | 1.36/1.85 c | 250 | 3212 5078 14249 | 6050 250 17 | 0.310 % | 1.36/1.86 c | 477 | 3212 5078 14249 | 6655 477 16 | 0.311 % | 1.36/1.86 c =============================================================================== 1.36/1.86 c core #305 1.36/1.86 c Core size: 85 Core Weight: 1 Total Weight: 305 1.36/1.86 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s 1.36/1.87 c Learning 9 hard constraints 1.36/1.87 c ============================[ Search Statistics ]============================== 1.36/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.36/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.36/1.87 c =============================================================================== 1.36/1.87 c | 0 | 3233 5088 14346 | 5000 0 nan | 0.000 % | 1.36/1.87 c | 102 | 3233 5088 14346 | 5500 102 11 | 0.309 % | 1.36/1.88 c | 252 | 3224 5088 14346 | 6050 252 11 | 1.604 % | 1.36/1.88 c =============================================================================== 1.36/1.88 c core #306 1.36/1.88 c Core size: 206 Core Weight: 1 Total Weight: 306 1.36/1.88 c Elapsed CPU time: 1.42478 s Remaining CPU time: 1798.58 s 1.36/1.89 c Learning 14 hard constraints 1.36/1.89 c ============================[ Search Statistics ]============================== 1.36/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.36/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.36/1.89 c =============================================================================== 1.36/1.89 c | 0 | 3283 5103 14524 | 5000 0 nan | 0.000 % | 1.36/1.89 c =============================================================================== 1.36/1.89 c core #307 1.36/1.89 c Core size: 107 Core Weight: 1 Total Weight: 307 1.36/1.89 c Elapsed CPU time: 1.43378 s Remaining CPU time: 1798.57 s 1.36/1.90 c Learning 2 hard constraints 1.36/1.90 c ============================[ Search Statistics ]============================== 1.36/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.36/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.36/1.90 c =============================================================================== 1.46/1.90 c | 0 | 3313 5106 14596 | 5000 0 nan | 0.000 % | 1.46/1.90 c | 104 | 3313 5106 14596 | 5500 104 20 | 0.301 % | 1.46/1.91 c | 254 | 3311 5106 14596 | 6050 253 15 | 0.361 % | 1.46/1.91 c =============================================================================== 1.46/1.91 c core #308 1.46/1.91 c Core size: 199 Core Weight: 1 Total Weight: 308 1.46/1.91 c Elapsed CPU time: 1.45378 s Remaining CPU time: 1798.55 s 1.46/1.92 c Learning 28 hard constraints 1.46/1.92 c ============================[ Search Statistics ]============================== 1.46/1.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.46/1.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.46/1.92 c =============================================================================== 1.46/1.92 c | 0 | 3352 5135 14829 | 5000 0 nan | 0.000 % | 1.46/1.93 c | 100 | 3352 5135 14829 | 5500 100 16 | 0.298 % | 1.46/1.93 c | 251 | 3352 5135 14829 | 6050 251 15 | 0.297 % | 1.46/1.94 c | 476 | 3352 5135 14829 | 6655 476 15 | 0.297 % | 1.46/1.96 c | 813 | 3345 5135 14829 | 7320 812 16 | 0.535 % | 1.46/1.98 c | 1319 | 3340 5135 14829 | 8052 1168 13 | 0.654 % | 1.46/1.99 c =============================================================================== 1.46/1.99 c core #309 1.46/1.99 c Core size: 230 Core Weight: 1 Total Weight: 309 1.46/1.99 c Elapsed CPU time: 1.51877 s Remaining CPU time: 1798.48 s 1.46/2.00 c Learning 50 hard constraints 1.46/2.00 c ============================[ Search Statistics ]============================== 1.46/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.46/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.46/2.00 c =============================================================================== 1.56/2.00 c | 0 | 3400 5186 15269 | 5000 0 nan | 0.000 % | 1.56/2.00 c | 100 | 3399 5186 15269 | 5500 100 10 | 0.411 % | 1.56/2.00 c =============================================================================== 1.56/2.01 c core #310 1.56/2.01 c Core size: 175 Core Weight: 1 Total Weight: 310 1.56/2.01 c Elapsed CPU time: 1.53277 s Remaining CPU time: 1798.47 s 1.56/2.01 c Learning 10 hard constraints 1.56/2.01 c ============================[ Search Statistics ]============================== 1.56/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.56/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.56/2.01 c =============================================================================== 1.56/2.01 c | 0 | 3430 5197 15390 | 5000 0 nan | 0.000 % | 1.56/2.02 c | 100 | 3430 5197 15390 | 5500 100 13 | 0.291 % | 1.56/2.02 c =============================================================================== 1.56/2.02 c core #311 1.56/2.02 c Core size: 87 Core Weight: 1 Total Weight: 311 1.56/2.02 c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s 1.56/2.03 c Learning 10 hard constraints 1.56/2.03 c ============================[ Search Statistics ]============================== 1.56/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.56/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.56/2.03 c =============================================================================== 1.56/2.03 c | 0 | 3451 5208 15495 | 5000 0 nan | 0.000 % | 1.56/2.04 c | 101 | 3451 5208 15495 | 5500 101 11 | 0.289 % | 1.56/2.04 c =============================================================================== 1.56/2.04 c core #312 1.56/2.04 c Core size: 125 Core Weight: 1 Total Weight: 312 1.56/2.04 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.56/2.05 c Learning 5 hard constraints 1.56/2.05 c ============================[ Search Statistics ]============================== 1.56/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.56/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.56/2.05 c =============================================================================== 1.56/2.05 c | 0 | 3474 5214 15573 | 5000 0 nan | 0.000 % | 1.56/2.05 c | 100 | 3474 5214 15573 | 5500 100 16 | 0.287 % | 1.56/2.06 c | 250 | 3473 5214 15573 | 6050 250 13 | 0.344 % | 1.56/2.07 c | 475 | 3470 5214 15573 | 6655 444 12 | 0.488 % | 1.56/2.08 c | 815 | 3468 5214 15573 | 7320 784 13 | 0.488 % | 1.66/2.11 c | 1321 | 3467 5214 15573 | 8052 1287 16 | 0.546 % | 1.66/2.15 c | 2080 | 3464 5214 15573 | 8857 2036 16 | 0.603 % | 1.66/2.18 c =============================================================================== 1.66/2.19 c core #313 1.66/2.19 c Core size: 638 Core Weight: 1 Total Weight: 313 1.66/2.19 c Elapsed CPU time: 1.70174 s Remaining CPU time: 1798.3 s 1.66/2.20 c Learning 56 hard constraints 1.66/2.20 c ============================[ Search Statistics ]============================== 1.66/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.66/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.66/2.20 c =============================================================================== 1.66/2.20 c | 0 | 3598 5271 16142 | 5000 0 nan | 0.000 % | 1.66/2.20 c | 101 | 3598 5271 16142 | 5500 101 16 | 0.277 % | 1.76/2.21 c | 251 | 3598 5271 16142 | 6050 251 16 | 0.277 % | 1.76/2.22 c | 479 | 3597 5271 16142 | 6655 478 17 | 0.360 % | 1.76/2.24 c | 816 | 3596 5271 16142 | 7320 815 17 | 0.360 % | 1.76/2.27 c | 1322 | 3593 5271 16142 | 8052 1320 18 | 0.416 % | 1.85/2.32 c | 2082 | 3551 5271 16142 | 8857 1877 17 | 1.635 % | 1.85/2.34 c =============================================================================== 1.85/2.34 c core #314 1.85/2.34 c Core size: 269 Core Weight: 1 Total Weight: 314 1.85/2.34 c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s 1.85/2.35 c Learning 66 hard constraints 1.85/2.35 c ============================[ Search Statistics ]============================== 1.85/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.85/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.85/2.35 c =============================================================================== 1.85/2.35 c | 0 | 3669 5338 16668 | 5000 0 nan | 0.000 % | 1.85/2.36 c | 103 | 3669 5338 16668 | 5500 103 23 | 0.272 % | 1.85/2.36 c | 253 | 3669 5338 16668 | 6050 253 19 | 0.272 % | 1.85/2.37 c | 479 | 3669 5338 16668 | 6655 479 20 | 0.272 % | 1.85/2.39 c | 817 | 3669 5338 16668 | 7320 817 20 | 0.272 % | 1.95/2.41 c | 1323 | 3667 5338 16668 | 8052 1321 19 | 0.326 % | 1.95/2.46 c | 2082 | 3663 5338 16668 | 8857 1932 20 | 0.435 % | 1.95/2.50 c =============================================================================== 2.05/2.51 c core #315 2.05/2.51 c Core size: 411 Core Weight: 1 Total Weight: 315 2.05/2.51 c Elapsed CPU time: 2.00969 s Remaining CPU time: 1797.99 s 2.05/2.52 c Learning 32 hard constraints 2.05/2.52 c ============================[ Search Statistics ]============================== 2.05/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.05/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.05/2.52 c =============================================================================== 2.05/2.52 c | 0 | 3745 5371 16999 | 5000 0 nan | 0.000 % | 2.05/2.53 c | 100 | 3743 5371 16999 | 5500 100 11 | 0.320 % | 2.05/2.54 c | 250 | 3743 5371 16999 | 6050 250 14 | 0.320 % | 2.05/2.55 c | 475 | 3743 5371 16999 | 6655 474 13 | 0.320 % | 2.05/2.56 c | 813 | 3738 5371 16999 | 7320 811 12 | 0.479 % | 2.05/2.58 c | 1319 | 3735 5371 16999 | 8052 1314 14 | 0.533 % | 2.05/2.58 c =============================================================================== 2.05/2.59 c core #316 2.05/2.59 c Core size: 301 Core Weight: 1 Total Weight: 316 2.05/2.59 c Elapsed CPU time: 2.07668 s Remaining CPU time: 1797.92 s 2.05/2.60 c Learning 43 hard constraints 2.05/2.60 c ============================[ Search Statistics ]============================== 2.05/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.05/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.05/2.60 c =============================================================================== 2.05/2.60 c | 0 | 3797 5415 17369 | 5000 0 nan | 0.000 % | 2.15/2.60 c | 100 | 3797 5415 17369 | 5500 100 21 | 0.263 % | 2.15/2.61 c | 250 | 3797 5415 17369 | 6050 250 20 | 0.263 % | 2.15/2.62 c | 475 | 3797 5415 17369 | 6655 475 19 | 0.263 % | 2.15/2.63 c =============================================================================== 2.15/2.63 c core #317 2.15/2.63 c Core size: 188 Core Weight: 1 Total Weight: 317 2.15/2.63 c Elapsed CPU time: 2.12068 s Remaining CPU time: 1797.88 s 2.15/2.64 c Learning 11 hard constraints 2.15/2.64 c ============================[ Search Statistics ]============================== 2.15/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.15/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.15/2.64 c =============================================================================== 2.15/2.64 c | 0 | 3826 5427 17483 | 5000 0 nan | 0.000 % | 2.15/2.65 c | 101 | 3826 5427 17483 | 5500 101 18 | 0.261 % | 2.15/2.66 c | 252 | 3826 5427 17483 | 6050 252 17 | 0.261 % | 2.15/2.67 c | 477 | 3826 5427 17483 | 6655 477 18 | 0.261 % | 2.15/2.68 c | 814 | 3826 5427 17483 | 7320 814 19 | 0.261 % | 2.25/2.71 c | 1320 | 3821 5427 17483 | 8052 1311 20 | 0.469 % | 2.25/2.76 c | 2080 | 3815 5427 17483 | 8857 2063 21 | 0.574 % | 2.25/2.78 c =============================================================================== 2.25/2.78 c core #318 2.25/2.78 c Core size: 243 Core Weight: 1 Total Weight: 318 2.25/2.78 c Elapsed CPU time: 2.26266 s Remaining CPU time: 1797.74 s 2.25/2.79 c Learning 52 hard constraints 2.25/2.79 c ============================[ Search Statistics ]============================== 2.25/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.25/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.25/2.79 c =============================================================================== 2.25/2.79 c | 0 | 3878 5480 17893 | 5000 0 nan | 0.000 % | 2.35/2.80 c | 100 | 3878 5480 17893 | 5500 100 12 | 0.257 % | 2.35/2.81 c | 250 | 3878 5480 17893 | 6050 250 16 | 0.257 % | 2.35/2.82 c | 476 | 3875 5480 17893 | 6655 475 14 | 0.360 % | 2.35/2.83 c | 813 | 3871 5480 17893 | 7320 809 14 | 0.463 % | 2.35/2.86 c | 1321 | 3865 5480 17893 | 8052 1291 14 | 0.617 % | 2.45/2.90 c | 2080 | 3836 5480 17893 | 8857 2007 16 | 1.801 % | 2.45/2.91 c =============================================================================== 2.45/2.91 c core #319 2.45/2.91 c Core size: 260 Core Weight: 1 Total Weight: 319 2.45/2.91 c Elapsed CPU time: 2.37764 s Remaining CPU time: 1797.62 s 2.45/2.92 c Learning 45 hard constraints 2.45/2.92 c ============================[ Search Statistics ]============================== 2.45/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.45/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.45/2.92 c =============================================================================== 2.45/2.92 c | 0 | 3937 5526 18329 | 5000 0 nan | 0.000 % | 2.45/2.93 c | 102 | 3937 5526 18329 | 5500 102 18 | 0.254 % | 2.45/2.93 c | 252 | 3936 5526 18329 | 6050 252 14 | 0.304 % | 2.45/2.94 c | 477 | 3936 5526 18329 | 6655 477 15 | 0.304 % | 2.45/2.96 c | 819 | 3935 5526 18329 | 7320 813 16 | 0.304 % | 2.45/2.99 c | 1328 | 3935 5526 18329 | 8052 1322 18 | 0.304 % | 2.54/3.03 c | 2088 | 3933 5526 18329 | 8857 2072 17 | 0.355 % | 2.54/3.08 c | 3230 | 3929 5526 18329 | 9743 3213 17 | 0.456 % | 2.65/3.19 c | 4939 | 3912 5526 18329 | 10717 4916 18 | 0.912 % | 2.85/3.37 c =============================================================================== 2.85/3.37 c core #320 2.85/3.37 c Core size: 132 Core Weight: 1 Total Weight: 320 2.85/3.37 c Elapsed CPU time: 2.82057 s Remaining CPU time: 1797.18 s 2.85/3.39 c Learning 95 hard constraints 2.85/3.39 c ============================[ Search Statistics ]============================== 2.85/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.85/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.85/3.39 c =============================================================================== 2.85/3.39 c | 0 | 3966 5622 18956 | 5000 0 nan | 0.000 % | 2.85/3.39 c | 101 | 3966 5622 18956 | 5500 101 26 | 0.252 % | 2.85/3.40 c | 251 | 3966 5622 18956 | 6050 251 23 | 0.252 % | 2.95/3.41 c | 476 | 3964 5622 18956 | 6655 468 19 | 0.302 % | 2.95/3.43 c | 816 | 3964 5622 18956 | 7320 808 19 | 0.302 % | 2.95/3.45 c | 1322 | 3961 5622 18956 | 8052 1308 18 | 0.403 % | 2.95/3.50 c | 2081 | 3960 5622 18956 | 8857 2067 19 | 0.453 % | 3.05/3.57 c | 3221 | 3944 5622 18956 | 9743 3192 20 | 0.981 % | 3.15/3.67 c | 4930 | 3930 5622 18956 | 10717 4873 20 | 1.182 % | 3.35/3.89 c | 7492 | 3907 5622 18956 | 11789 7382 22 | 2.490 % | 3.86/4.31 c =============================================================================== 3.86/4.38 c core #321 3.86/4.38 c Core size: 2244 Core Weight: 1 Total Weight: 321 3.86/4.38 c Elapsed CPU time: 3.79742 s Remaining CPU time: 1796.2 s 3.86/4.40 c Learning 130 hard constraints 3.86/4.40 c ============================[ Search Statistics ]============================== 3.86/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.86/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.86/4.40 c =============================================================================== 3.86/4.40 c | 0 | 4280 5753 20741 | 5000 0 nan | 0.000 % | 3.95/4.41 c | 100 | 4280 5753 20741 | 5500 100 11 | 0.233 % | 3.95/4.42 c | 252 | 4280 5753 20741 | 6050 252 16 | 0.233 % | 3.95/4.43 c | 478 | 4278 5753 20741 | 6655 465 16 | 0.280 % | 3.95/4.45 c | 815 | 4278 5753 20741 | 7320 802 18 | 0.280 % | 3.95/4.48 c | 1323 | 4278 5753 20741 | 8052 1310 23 | 0.280 % | 4.05/4.53 c | 2082 | 4278 5753 20741 | 8857 2069 26 | 0.280 % | 4.15/4.60 c | 3222 | 4278 5753 20741 | 9743 3209 27 | 0.280 % | 4.24/4.77 c | 4931 | 4276 5753 20741 | 10717 4913 32 | 0.327 % | 4.34/4.84 c =============================================================================== 4.34/4.84 c core #322 4.34/4.84 c Core size: 173 Core Weight: 1 Total Weight: 322 4.34/4.84 c Elapsed CPU time: 4.24235 s Remaining CPU time: 1795.76 s 4.34/4.86 c Learning 42 hard constraints 4.34/4.86 c ============================[ Search Statistics ]============================== 4.34/4.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.86 c =============================================================================== 4.34/4.86 c | 0 | 4315 5796 21052 | 5000 0 nan | 0.000 % | 4.34/4.87 c | 102 | 4315 5796 21052 | 5500 102 36 | 0.231 % | 4.34/4.88 c | 256 | 4315 5796 21052 | 6050 256 36 | 0.231 % | 4.34/4.89 c | 482 | 4315 5796 21052 | 6655 482 43 | 0.231 % | 4.45/4.91 c | 820 | 4315 5796 21052 | 7320 820 34 | 0.231 % | 4.45/4.94 c | 1326 | 4315 5796 21052 | 8052 1326 31 | 0.231 % | 4.54/5.00 c | 2085 | 4313 5796 21052 | 8857 2068 28 | 0.278 % | 4.54/5.09 c | 3224 | 4313 5796 21052 | 9743 3207 30 | 0.277 % | 4.74/5.25 c | 4934 | 4313 5796 21052 | 10717 4917 31 | 0.278 % | 5.05/5.57 c | 7498 | 4313 5796 21052 | 11789 7481 32 | 0.277 % | 5.35/5.90 c | 11342 | 4310 5796 21052 | 12968 11308 31 | 0.347 % | 5.55/6.01 c =============================================================================== 5.55/6.03 c core #323 5.55/6.03 c Core size: 211 Core Weight: 1 Total Weight: 323 5.55/6.03 c Elapsed CPU time: 5.39618 s Remaining CPU time: 1794.6 s 5.55/6.05 c Learning 80 hard constraints 5.55/6.05 c ============================[ Search Statistics ]============================== 5.55/6.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.55/6.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.55/6.05 c =============================================================================== 5.55/6.05 c | 0 | 4352 5877 21564 | 5000 0 nan | 0.000 % | 5.55/6.06 c | 102 | 4352 5877 21564 | 5500 102 20 | 0.229 % | 5.55/6.07 c | 253 | 4352 5877 21564 | 6050 253 17 | 0.229 % | 5.55/6.08 c | 479 | 4352 5877 21564 | 6655 479 18 | 0.229 % | 5.55/6.09 c | 818 | 4350 5877 21564 | 7320 810 16 | 0.275 % | 5.64/6.12 c | 1325 | 4347 5877 21564 | 8052 1317 16 | 0.367 % | 5.64/6.16 c | 2087 | 4346 5877 21564 | 8857 1830 22 | 0.367 % | 5.75/6.23 c | 3228 | 4346 5877 21564 | 9743 2971 23 | 0.367 % | 5.95/6.41 c | 4938 | 4346 5877 21564 | 10717 4681 28 | 0.367 % | 6.15/6.66 c | 7501 | 4346 5877 21564 | 11789 7244 32 | 0.367 % | 6.75/7.20 c | 11355 | 4343 5877 21564 | 12968 10980 33 | 0.459 % | 7.44/7.97 c | 17122 | 4341 5877 21564 | 14265 9558 34 | 0.504 % | 8.93/9.48 c | 25771 | 4338 5877 21564 | 15692 10213 45 | 0.550 % | 10.44/10.98 c =============================================================================== 10.73/11.23 c core #324 10.73/11.23 c Core size: 1655 Core Weight: 1 Total Weight: 324 10.73/11.23 c Elapsed CPU time: 10.4554 s Remaining CPU time: 1789.54 s 10.73/11.28 c Learning 68 hard constraints 10.73/11.28 c ============================[ Search Statistics ]============================== 10.73/11.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.73/11.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.73/11.28 c =============================================================================== 10.73/11.28 c | 0 | 4640 5946 22478 | 5000 0 nan | 0.000 % | 10.73/11.29 c | 100 | 4640 5946 22478 | 5500 100 24 | 0.215 % | 10.83/11.30 c | 251 | 4640 5946 22478 | 6050 251 22 | 0.215 % | 10.83/11.32 c | 477 | 4640 5946 22478 | 6655 477 23 | 0.215 % | 10.83/11.34 c | 816 | 4640 5946 22478 | 7320 816 25 | 0.215 % | 10.83/11.39 c | 1323 | 4640 5946 22478 | 8052 1323 30 | 0.215 % | 10.92/11.49 c | 2083 | 4640 5946 22478 | 8857 2083 38 | 0.215 % | 11.02/11.55 c | 3225 | 4640 5946 22478 | 9743 3225 39 | 0.215 % | 11.23/11.75 c | 4934 | 4640 5946 22478 | 10717 4934 44 | 0.215 % | 11.73/12.27 c | 7496 | 4640 5946 22478 | 11789 7496 52 | 0.215 % | 12.63/13.18 c | 11340 | 4640 5946 22478 | 12968 11340 55 | 0.215 % | 13.73/14.23 c | 17107 | 4640 5946 22478 | 14265 10470 50 | 0.215 % | 15.32/15.86 c | 25758 | 4640 5946 22478 | 15692 11621 53 | 0.215 % | 19.12/19.65 c | 38732 | 4640 5946 22478 | 17261 8662 56 | 0.215 % | 22.12/22.62 c | 58194 | 4636 5946 22478 | 18987 10081 70 | 0.301 % | 27.82/28.38 c | 87389 | 4634 5946 22478 | 20886 19620 71 | 0.344 % | 38.12/38.64 c | 131180 | 4632 5946 22478 | 22974 18185 92 | 0.387 % | 68.00/68.58 c | 196866 | 4632 5946 22478 | 25272 14155 95 | 0.387 % | 106.20/106.74 c | 295394 | 4630 5946 22478 | 27799 18670 100 | 0.430 % | 159.98/160.60 c =============================================================================== 162.79/163.31 c core #325 162.79/163.31 c Core size: 2926 Core Weight: 1 Total Weight: 325 162.79/163.31 c Elapsed CPU time: 161.042 s Remaining CPU time: 1638.96 s 163.18/163.73 c Learning 41 hard constraints 163.18/163.73 c ============================[ Search Statistics ]============================== 163.18/163.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 163.18/163.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 163.18/163.73 c =============================================================================== 163.18/163.73 c | 0 | 5085 5988 23557 | 5000 0 nan | 0.000 % | 163.29/163.82 c | 102 | 5085 5988 23557 | 5500 102 18 | 0.196 % | 163.29/163.83 c | 255 | 5085 5988 23557 | 6050 255 29 | 0.196 % | 163.29/163.86 c | 480 | 5085 5988 23557 | 6655 480 35 | 0.196 % | 163.29/163.89 c | 818 | 5085 5988 23557 | 7320 818 41 | 0.196 % | 163.38/163.94 c | 1325 | 5085 5988 23557 | 8052 1325 39 | 0.196 % | 163.48/164.01 c | 2084 | 5085 5988 23557 | 8857 2084 43 | 0.196 % | 163.58/164.17 c | 3223 | 5085 5988 23557 | 9743 3223 45 | 0.196 % | 163.78/164.39 c | 4931 | 5085 5988 23557 | 10717 4931 55 | 0.196 % | 164.28/164.89 c | 7495 | 5085 5988 23557 | 11789 7495 53 | 0.196 % | 164.58/165.18 c | 11339 | 5085 5988 23557 | 12968 11339 45 | 0.196 % | 165.68/166.20 c | 17105 | 5085 5988 23557 | 14265 9525 47 | 0.196 % | 168.07/168.65 c | 25761 | 5085 5988 23557 | 15692 10852 88 | 0.196 % | 172.86/173.42 c | 38737 | 5085 5988 23557 | 17261 15838 69 | 0.196 % | 178.54/179.17 c | 58200 | 5083 5988 23557 | 18987 17023 77 | 0.236 % | 188.58/189.23 c | 87392 | 5083 5988 23557 | 20886 16404 95 | 0.236 % | 202.77/203.43 c | 131181 | 5083 5988 23557 | 22974 16603 173 | 0.236 % | 243.98/244.84 c | 196870 | 5083 5988 23557 | 25272 22731 72 | 0.236 % | 287.45/288.67 c | 295400 | 5081 5988 23557 | 27799 24108 81 | 0.275 % | 377.28/378.95 c | 443191 | 5075 5988 23557 | 30579 14989 313 | 0.393 % | 497.21/499.47 c | 664874 | 5065 5988 23557 | 33637 15134 162 | 0.589 % | 661.65/663.96 c | 997400 | 5049 5988 23557 | 37001 34423 69 | 0.903 % | 1091.48/1094.91 c | 1496188 | 5010 5988 23557 | 40701 35050 206 | 1.668 % |
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-1875728-1245154159/watcher-1875728-1245154159 -o /tmp/evaluation-result-1875728-1245154159/solver-1875728-1245154159 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875728-1245154159.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.10 2.03 2.00 4/73 9348 /proc/meminfo: memFree=829392/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=18576 CPUtime=0 /proc/9348/stat : 9348 (runsolver) R 9346 9348 8822 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 183013932 19021824 284 1992294400 4194304 4302564 548682068512 18446744073709551615 254613712167 0 0 4096 24578 0 0 0 17 1 0 0 /proc/9348/statm: 4644 284 249 26 0 2626 0 [startup+0.05145 s] /proc/loadavg: 2.10 2.03 2.00 4/73 9348 /proc/meminfo: memFree=829392/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=3064 CPUtime=0.04 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 365 0 0 0 4 0 0 0 20 0 1 0 183013932 3137536 324 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 766 324 133 292 0 471 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3064 [startup+0.113433 s] /proc/loadavg: 2.10 2.03 2.00 4/73 9348 /proc/meminfo: memFree=829392/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=3188 CPUtime=0.1 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 390 0 0 0 10 0 0 0 20 0 1 0 183013932 3264512 349 1992294400 134512640 135709839 4294956240 18446744073709551615 134571159 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 797 349 133 292 0 502 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3188 [startup+0.30343 s] /proc/loadavg: 2.10 2.03 2.00 4/73 9348 /proc/meminfo: memFree=829392/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=3320 CPUtime=0.28 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 438 0 0 0 28 0 0 0 23 0 1 0 183013932 3399680 397 1992294400 134512640 135709839 4294956240 18446744073709551615 134571159 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 830 397 133 292 0 535 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3320 [startup+0.701701 s] /proc/loadavg: 2.10 2.03 2.00 4/73 9348 /proc/meminfo: memFree=829392/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=4132 CPUtime=0.66 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 696 0 0 0 66 0 0 0 25 0 1 0 183013932 4231168 576 1992294400 134512640 135709839 4294956240 18446744073709551615 134607449 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 1033 576 133 292 0 738 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 4132 [startup+1.50936 s] /proc/loadavg: 2.10 2.03 2.00 3/74 9349 /proc/meminfo: memFree=827272/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=5576 CPUtime=1.08 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 1132 0 0 0 107 1 0 0 18 0 1 0 183013932 5709824 963 1992294400 134512640 135709839 4294956240 18446744073709551615 134529890 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 1394 963 135 292 0 1099 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 5576 [startup+3.10298 s] /proc/loadavg: 2.10 2.03 2.00 3/74 9349 /proc/meminfo: memFree=823432/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=8984 CPUtime=2.65 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 1997 0 0 0 255 10 0 0 25 0 1 0 183013932 9199616 1795 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 2246 1795 136 292 0 1951 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 8984 [startup+6.30133 s] /proc/loadavg: 2.01 2.01 1.99 3/74 9349 /proc/meminfo: memFree=818760/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=13044 CPUtime=5.85 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 3039 0 0 0 565 20 0 0 25 0 1 0 183013932 13357056 2811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 3261 2811 136 292 0 2966 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 13044 [startup+12.702 s] /proc/loadavg: 2.01 2.01 1.99 4/74 9349 /proc/meminfo: memFree=808264/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=22812 CPUtime=12.23 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 5474 0 0 0 1189 34 0 0 25 0 1 0 183013932 23359488 5246 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 5703 5246 136 292 0 5408 0 Current children cumulated CPU time (s) 12.23 Current children cumulated vsize (KiB) 22812 [startup+25.5015 s] /proc/loadavg: 1.79 1.96 1.98 3/74 9349 /proc/meminfo: memFree=784520/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=47172 CPUtime=25.02 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 11561 0 0 0 2451 51 0 0 25 0 1 0 183013932 48304128 11333 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 11793 11333 136 292 0 11498 0 Current children cumulated CPU time (s) 25.02 Current children cumulated vsize (KiB) 47172 [startup+51.1015 s] /proc/loadavg: 1.90 1.98 1.98 2/74 9349 /proc/meminfo: memFree=735368/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=96240 CPUtime=50.62 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 23813 0 0 0 4979 83 0 0 25 0 1 0 183013932 98549760 23585 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 24060 23585 136 292 0 23765 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 96240 [startup+102.31 s] /proc/loadavg: 2.13 2.02 2.00 3/74 9349 /proc/meminfo: memFree=660040/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=171016 CPUtime=101.8 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 42499 0 0 0 10054 126 0 0 25 0 1 0 183013932 175120384 42271 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 42754 42271 136 292 0 42459 0 Current children cumulated CPU time (s) 101.8 Current children cumulated vsize (KiB) 171016 [startup+162.305 s] /proc/loadavg: 2.35 2.09 2.02 3/74 9349 /proc/meminfo: memFree=566152/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=265528 CPUtime=161.79 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 66105 0 0 0 16003 176 0 0 25 0 1 0 183013932 271900672 65877 1992294400 134512640 135709839 4294956240 18446744073709551615 134583576 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 66382 65877 136 292 0 66087 0 Current children cumulated CPU time (s) 161.79 Current children cumulated vsize (KiB) 265528 [startup+222.302 s] /proc/loadavg: 2.23 2.11 2.03 3/74 9349 /proc/meminfo: memFree=545288/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=285244 CPUtime=221.67 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 71102 0 0 0 21944 223 0 0 25 0 1 0 183013932 292089856 70845 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 71311 70845 136 292 0 71016 0 Current children cumulated CPU time (s) 221.67 Current children cumulated vsize (KiB) 285244 [startup+282.301 s] /proc/loadavg: 1.87 2.04 2.00 3/74 9349 /proc/meminfo: memFree=496776/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=335500 CPUtime=281.21 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 83634 0 0 0 27857 264 0 0 25 0 1 0 183013932 343552000 83377 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 83875 83377 136 292 0 83580 0 Current children cumulated CPU time (s) 281.21 Current children cumulated vsize (KiB) 335500 [startup+342.302 s] /proc/loadavg: 1.78 1.98 1.99 3/74 9349 /proc/meminfo: memFree=378184/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=452828 CPUtime=340.77 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 112912 0 0 0 33753 324 0 0 25 0 1 0 183013932 463695872 112655 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 113207 112655 136 292 0 112912 0 Current children cumulated CPU time (s) 340.77 Current children cumulated vsize (KiB) 452828 [startup+402.302 s] /proc/loadavg: 1.81 1.94 1.97 4/74 9349 /proc/meminfo: memFree=279880/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=551020 CPUtime=400.52 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 137449 0 0 0 39690 362 0 0 25 0 1 0 183013932 564244480 137192 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 137755 137192 136 292 0 137460 0 Current children cumulated CPU time (s) 400.52 Current children cumulated vsize (KiB) 551020 [startup+462.313 s] /proc/loadavg: 1.87 1.94 1.97 2/74 9349 /proc/meminfo: memFree=192712/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=638256 CPUtime=460.16 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 159228 0 0 0 45604 412 0 0 25 0 1 0 183013932 653574144 158971 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 159564 158971 136 292 0 159269 0 Current children cumulated CPU time (s) 460.16 Current children cumulated vsize (KiB) 638256 [startup+522.302 s] /proc/loadavg: 2.18 2.01 1.99 2/74 9349 /proc/meminfo: memFree=104392/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=728700 CPUtime=520.09 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 181832 0 0 0 51545 464 0 0 25 0 1 0 183013932 746188800 181575 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 182175 181575 136 292 0 181880 0 Current children cumulated CPU time (s) 520.09 Current children cumulated vsize (KiB) 728700 [startup+582.304 s] /proc/loadavg: 2.19 2.04 2.00 2/74 9349 /proc/meminfo: memFree=16200/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=820408 CPUtime=580.07 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 204719 0 0 0 57487 520 0 0 25 0 1 0 183013932 840097792 204462 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 205102 204462 136 292 0 204807 0 Current children cumulated CPU time (s) 580.07 Current children cumulated vsize (KiB) 820408 [startup+642.311 s] /proc/loadavg: 2.23 2.06 2.01 3/74 9349 /proc/meminfo: memFree=16328/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=861352 CPUtime=640.05 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 214906 0 0 0 63459 546 0 0 25 0 1 0 183013932 882024448 214649 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 215338 214649 136 292 0 215043 0 Current children cumulated CPU time (s) 640.05 Current children cumulated vsize (KiB) 861352 [startup+702.301 s] /proc/loadavg: 2.08 2.07 2.01 2/74 9349 /proc/meminfo: memFree=14984/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=945000 CPUtime=699.91 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 235810 0 0 0 69397 594 0 0 25 0 1 0 183013932 967680000 235553 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 236250 235553 136 292 0 235955 0 Current children cumulated CPU time (s) 699.91 Current children cumulated vsize (KiB) 945000 [startup+762.316 s] /proc/loadavg: 1.95 2.03 2.00 3/74 9349 /proc/meminfo: memFree=14856/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1027244 CPUtime=759.78 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 256364 0 0 0 75350 628 0 0 25 0 1 0 183013932 1051897856 256107 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 256811 256107 136 292 0 256516 0 Current children cumulated CPU time (s) 759.78 Current children cumulated vsize (KiB) 1027244 [startup+822.307 s] /proc/loadavg: 1.87 2.01 1.99 2/74 9349 /proc/meminfo: memFree=15176/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1121328 CPUtime=819.73 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 279852 0 0 0 81311 662 0 0 25 0 1 0 183013932 1148239872 279595 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 280332 279595 136 292 0 280037 0 Current children cumulated CPU time (s) 819.73 Current children cumulated vsize (KiB) 1121328 [startup+882.301 s] /proc/loadavg: 1.74 1.96 1.98 3/74 9349 /proc/meminfo: memFree=15816/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1180292 CPUtime=879.69 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 294556 0 0 0 87284 685 0 0 25 0 1 0 183013932 1208619008 294299 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 295073 294299 136 292 0 294778 0 Current children cumulated CPU time (s) 879.69 Current children cumulated vsize (KiB) 1180292 [startup+942.304 s] /proc/loadavg: 2.17 2.04 2.00 3/74 9349 /proc/meminfo: memFree=15496/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1272792 CPUtime=939.64 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 317677 0 0 0 93234 730 0 0 25 0 1 0 183013932 1303339008 317420 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 318198 317420 136 292 0 317903 0 Current children cumulated CPU time (s) 939.64 Current children cumulated vsize (KiB) 1272792 [startup+1002.3 s] /proc/loadavg: 1.98 2.00 1.99 3/74 9349 /proc/meminfo: memFree=15176/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1336332 CPUtime=999.51 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 333492 0 0 0 99189 762 0 0 25 0 1 0 183013932 1368403968 333235 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 334083 333235 136 292 0 333788 0 Current children cumulated CPU time (s) 999.51 Current children cumulated vsize (KiB) 1336332 [startup+1062.3 s] /proc/loadavg: 1.91 1.97 1.98 2/74 9349 /proc/meminfo: memFree=15688/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1385640 CPUtime=1059.14 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 345785 0 0 0 105124 790 0 0 25 0 1 0 183013932 1418895360 345528 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 346410 345528 136 292 0 346115 0 Current children cumulated CPU time (s) 1059.14 Current children cumulated vsize (KiB) 1385640 [startup+1122.3 s] /proc/loadavg: 2.14 2.02 2.00 2/74 9349 /proc/meminfo: memFree=15816/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1442940 CPUtime=1118.59 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 360065 0 0 0 111038 821 0 0 25 0 1 0 183013932 1477570560 359808 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 360735 359808 136 292 0 360440 0 Current children cumulated CPU time (s) 1118.59 Current children cumulated vsize (KiB) 1442940 [startup+1182.3 s] /proc/loadavg: 2.33 2.09 2.02 2/74 9349 /proc/meminfo: memFree=15560/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1523612 CPUtime=1178.11 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 380237 0 0 0 116952 859 0 0 25 0 1 0 183013932 1560178688 379980 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 380903 379980 136 292 0 380608 0 Current children cumulated CPU time (s) 1178.11 Current children cumulated vsize (KiB) 1523612 [startup+1242.31 s] /proc/loadavg: 2.14 2.07 2.01 3/74 9349 /proc/meminfo: memFree=15240/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1588004 CPUtime=1237.94 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 396304 0 0 0 122907 887 0 0 25 0 1 0 183013932 1626116096 396047 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 397001 396047 136 292 0 396706 0 Current children cumulated CPU time (s) 1237.94 Current children cumulated vsize (KiB) 1588004 [startup+1302.31 s] /proc/loadavg: 2.05 2.06 2.01 3/74 9349 /proc/meminfo: memFree=16136/2055920 swapFree=4180876/4192956 [pid=9348] ppid=9346 vsize=1650904 CPUtime=1297.88 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 412004 0 0 0 128874 914 0 0 25 0 1 0 183013932 1690525696 411747 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 412726 411747 136 292 0 412431 0 Current children cumulated CPU time (s) 1297.88 Current children cumulated vsize (KiB) 1650904 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/74 9349 /proc/meminfo: memFree=14920/2055920 swapFree=4180892/4192956 [pid=9348] ppid=9346 vsize=1719344 CPUtime=1357.62 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 429110 0 0 0 134822 940 0 0 25 0 1 0 183013932 1760608256 428853 1992294400 134512640 135709839 4294956240 18446744073709551615 134566430 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 429836 428853 136 292 0 429541 0 Current children cumulated CPU time (s) 1357.62 Current children cumulated vsize (KiB) 1719344 [startup+1422.31 s] /proc/loadavg: 1.75 1.96 1.98 2/74 9349 /proc/meminfo: memFree=15816/2055920 swapFree=4180892/4192956 [pid=9348] ppid=9346 vsize=1791480 CPUtime=1417.52 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 447108 0 0 0 140786 966 0 0 25 0 1 0 183013932 1834475520 446851 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 447870 446851 136 292 0 447575 0 Current children cumulated CPU time (s) 1417.52 Current children cumulated vsize (KiB) 1791480 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1462.6 s] /proc/loadavg: 1.88 1.96 1.98 2/74 9349 /proc/meminfo: memFree=15368/2055920 swapFree=4180892/4192956 [pid=9348] ppid=9346 vsize=1843368 CPUtime=1457.44 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4194304 460054 0 0 0 144754 990 0 0 25 0 1 0 183013932 1887608832 459797 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0 /proc/9348/statm: 460842 459797 136 292 0 460547 0 Current children cumulated CPU time (s) 1457.44 Current children cumulated vsize (KiB) 1843368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1462.8 s] /proc/loadavg: 1.88 1.96 1.98 2/74 9349 /proc/meminfo: memFree=15368/2055920 swapFree=4180892/4192956 [pid=9348] ppid=9346 vsize=0 CPUtime=1457.62 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4195332 460054 0 0 0 144754 1008 0 0 25 0 1 0 183013932 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1457.62 Current children cumulated vsize (KiB) 0 [startup+1462.9 s] /proc/loadavg: 1.88 1.96 1.98 4/75 9350 /proc/meminfo: memFree=1815296/2055920 swapFree=4180892/4192956 [pid=9348] ppid=9346 vsize=0 CPUtime=1457.72 /proc/9348/stat : 9348 (wbo) R 9346 9348 8822 0 -1 4195332 460054 0 0 0 144754 1018 0 0 25 0 1 0 183013932 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9348/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1457.72 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1462.91 CPU time (s): 1457.73 CPU user time (s): 1447.54 CPU system time (s): 10.1905 CPU usage (%): 99.646 Max. virtual memory (cumulated for all children) (KiB): 1843368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1447.54 system time used= 10.1905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460054 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 17033 runsolver used 1.84472 second user time and 4.79027 second system time The end
Begin job on node87 at 2009-06-16 14:09:19 IDJOB=1875728 IDBENCH=2119 IDSOLVER=698 FILE ID=node87/1875728-1245154159 PBS_JOBID= 9363771 Free space on /tmp= 66540 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.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-1875728-1245154159/watcher-1875728-1245154159 -o /tmp/evaluation-result-1875728-1245154159/solver-1875728-1245154159 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875728-1245154159.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737 RANDOM SEED=1087633571 node87.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.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 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: 829808 kB Buffers: 59152 kB Cached: 1065992 kB SwapCached: 6784 kB Active: 229964 kB Inactive: 921440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 829808 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 2472 kB Writeback: 0 kB Mapped: 33068 kB Slab: 59680 kB Committed_AS: 588440 kB PageTables: 2128 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-1875728-1245154159.opb Free space on /tmp at the end= 66536 MiB End job on node87 at 2009-06-16 14:33:44