| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.36 | 1800.96 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8c1.opb |
| MD5SUM | 455daeae9aaa9768f332064b32a16167 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 302 |
| Best CPU time to get the best result obtained on this benchmark | 392.34 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 302 |
| Optimality of the best value was proved | NO |
| Number of variables | 1020 |
| Total number of constraints | 3575 |
| Number of constraints which are clauses | 3575 |
| 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 | 1020 |
| 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 | 1020 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1020 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-1875772-1245158863.opb. 0.00/0.00 c Instance file HOME/instance-1875772-1245158863.opb 0.00/0.00 c File size is 99046 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1020 | 0.00/0.01 c | Number Clauses: 4595 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.01/0.02 c core #2 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 2 0.01/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #3 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 3 0.01/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #4 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 4 0.01/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #5 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 5 0.01/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.01/0.03 c core #6 0.01/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.01/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #7 0.01/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.01/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #8 0.01/0.03 c Core size: 3 Core Weight: 1 Total Weight: 8 0.01/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.01/0.04 c core #9 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 9 0.01/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.01/0.04 c core #10 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 10 0.01/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #11 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 11 0.01/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #12 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 12 0.01/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.01/0.05 c core #13 0.01/0.05 c Core size: 3 Core Weight: 1 Total Weight: 13 0.01/0.05 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #14 0.01/0.05 c Core size: 3 Core Weight: 1 Total Weight: 14 0.01/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #15 0.01/0.05 c Core size: 3 Core Weight: 1 Total Weight: 15 0.01/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.01/0.06 c core #16 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 16 0.01/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.01/0.06 c core #17 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 17 0.01/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #18 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 18 0.01/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #19 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 19 0.01/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.01/0.07 c core #20 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 20 0.01/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #21 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 21 0.01/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #22 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 22 0.01/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #23 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 23 0.01/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.01/0.08 c core #24 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: 24 0.01/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #25 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: 25 0.01/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #26 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: 26 0.01/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #27 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 27 0.01/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #28 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 28 0.01/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #29 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 29 0.01/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #30 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 30 0.01/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #31 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 31 0.09/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #32 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 32 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #33 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 33 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #34 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 34 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #35 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 35 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #36 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 36 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #37 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 37 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #38 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 38 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #39 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 39 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #40 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 40 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #41 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 41 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #42 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 42 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #43 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 43 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #44 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 44 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #45 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 45 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #46 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 46 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #47 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.15 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #48 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #49 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 49 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #50 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 50 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #51 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 51 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #52 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 52 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #53 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 53 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #54 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 54 0.09/0.17 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #55 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 55 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #56 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 56 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #57 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 57 0.09/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #58 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 58 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #59 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 59 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #60 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 60 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #61 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 61 0.09/0.19 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #62 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 62 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #63 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 63 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #64 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: 64 0.09/0.20 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #65 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 65 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #66 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 66 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #67 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 67 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #68 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 68 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #69 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 69 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #70 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 70 0.19/0.21 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #71 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 71 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #72 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 72 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #73 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 73 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #74 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.22 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #75 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 75 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #76 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.23 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #77 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.23 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #78 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 78 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #79 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 79 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #80 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 80 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #81 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 81 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #82 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 82 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #83 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 83 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #84 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 84 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #85 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 85 0.19/0.26 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #86 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 86 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #87 0.19/0.27 c Core size: 9 Core Weight: 1 Total Weight: 87 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #88 0.19/0.27 c Core size: 9 Core Weight: 1 Total Weight: 88 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #89 0.19/0.27 c Core size: 9 Core Weight: 1 Total Weight: 89 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #90 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 90 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #91 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 91 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #92 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 92 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #93 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 93 0.19/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #94 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 94 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #95 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 95 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #96 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 96 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #97 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 97 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #98 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 98 0.29/0.30 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #99 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 99 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #100 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 100 0.29/0.31 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #101 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 101 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #102 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 102 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #103 0.29/0.32 c Core size: 11 Core Weight: 1 Total Weight: 103 0.29/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #104 0.29/0.32 c Core size: 11 Core Weight: 1 Total Weight: 104 0.29/0.32 c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #105 0.29/0.32 c Core size: 11 Core Weight: 1 Total Weight: 105 0.29/0.32 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #106 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 106 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #107 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 107 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #108 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 108 0.29/0.33 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #109 0.29/0.34 c Core size: 11 Core Weight: 1 Total Weight: 109 0.29/0.34 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #110 0.29/0.34 c Core size: 11 Core Weight: 1 Total Weight: 110 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #111 0.29/0.34 c Core size: 11 Core Weight: 1 Total Weight: 111 0.29/0.34 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #112 0.29/0.35 c Core size: 11 Core Weight: 1 Total Weight: 112 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #113 0.29/0.35 c Core size: 11 Core Weight: 1 Total Weight: 113 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #114 0.29/0.35 c Core size: 11 Core Weight: 1 Total Weight: 114 0.29/0.35 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #115 0.29/0.36 c Core size: 11 Core Weight: 1 Total Weight: 115 0.29/0.36 c Elapsed CPU time: 0.353946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #116 0.29/0.36 c Core size: 11 Core Weight: 1 Total Weight: 116 0.29/0.36 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #117 0.29/0.36 c Core size: 11 Core Weight: 1 Total Weight: 117 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #118 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: 118 0.29/0.37 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #119 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: 119 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #120 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: 120 0.29/0.37 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #121 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 121 0.29/0.38 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #122 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 122 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #123 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 123 0.29/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #124 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 124 0.29/0.39 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #125 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 125 0.29/0.39 c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #126 0.29/0.39 c Core size: 16 Core Weight: 1 Total Weight: 126 0.29/0.39 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #127 0.39/0.40 c Core size: 20 Core Weight: 1 Total Weight: 127 0.39/0.40 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #128 0.39/0.40 c Core size: 22 Core Weight: 1 Total Weight: 128 0.39/0.40 c Elapsed CPU time: 0.396939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #129 0.39/0.41 c Core size: 19 Core Weight: 1 Total Weight: 129 0.39/0.41 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #130 0.39/0.41 c Core size: 22 Core Weight: 1 Total Weight: 130 0.39/0.41 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #131 0.39/0.41 c Core size: 22 Core Weight: 1 Total Weight: 131 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #132 0.39/0.42 c Core size: 19 Core Weight: 1 Total Weight: 132 0.39/0.42 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #133 0.39/0.42 c Core size: 22 Core Weight: 1 Total Weight: 133 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #134 0.39/0.42 c Core size: 16 Core Weight: 1 Total Weight: 134 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #135 0.39/0.43 c Core size: 20 Core Weight: 1 Total Weight: 135 0.39/0.43 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #136 0.39/0.43 c Core size: 22 Core Weight: 1 Total Weight: 136 0.39/0.43 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #137 0.39/0.43 c Core size: 19 Core Weight: 1 Total Weight: 137 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #138 0.39/0.44 c Core size: 22 Core Weight: 1 Total Weight: 138 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #139 0.39/0.44 c Core size: 22 Core Weight: 1 Total Weight: 139 0.39/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #140 0.39/0.45 c Core size: 19 Core Weight: 1 Total Weight: 140 0.39/0.45 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #141 0.39/0.45 c Core size: 22 Core Weight: 1 Total Weight: 141 0.39/0.45 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #142 0.39/0.45 c Core size: 16 Core Weight: 1 Total Weight: 142 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #143 0.39/0.46 c Core size: 20 Core Weight: 1 Total Weight: 143 0.39/0.46 c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #144 0.39/0.46 c Core size: 22 Core Weight: 1 Total Weight: 144 0.39/0.46 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #145 0.39/0.47 c Core size: 19 Core Weight: 1 Total Weight: 145 0.39/0.47 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #146 0.39/0.47 c Core size: 22 Core Weight: 1 Total Weight: 146 0.39/0.47 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #147 0.39/0.47 c Core size: 22 Core Weight: 1 Total Weight: 147 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #148 0.39/0.48 c Core size: 19 Core Weight: 1 Total Weight: 148 0.39/0.48 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #149 0.39/0.48 c Core size: 22 Core Weight: 1 Total Weight: 149 0.39/0.48 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #150 0.39/0.49 c Core size: 16 Core Weight: 1 Total Weight: 150 0.39/0.49 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #151 0.39/0.49 c Core size: 20 Core Weight: 1 Total Weight: 151 0.39/0.49 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #152 0.39/0.49 c Core size: 22 Core Weight: 1 Total Weight: 152 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #153 0.49/0.50 c Core size: 19 Core Weight: 1 Total Weight: 153 0.49/0.50 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #154 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 154 0.49/0.50 c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #155 0.49/0.51 c Core size: 22 Core Weight: 1 Total Weight: 155 0.49/0.51 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #156 0.49/0.51 c Core size: 19 Core Weight: 1 Total Weight: 156 0.49/0.51 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #157 0.49/0.51 c Core size: 22 Core Weight: 1 Total Weight: 157 0.49/0.51 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #158 0.49/0.52 c Core size: 16 Core Weight: 1 Total Weight: 158 0.49/0.52 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #159 0.49/0.52 c Core size: 20 Core Weight: 1 Total Weight: 159 0.49/0.52 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #160 0.49/0.53 c Core size: 22 Core Weight: 1 Total Weight: 160 0.49/0.53 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #161 0.49/0.53 c Core size: 19 Core Weight: 1 Total Weight: 161 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #162 0.49/0.53 c Core size: 22 Core Weight: 1 Total Weight: 162 0.49/0.53 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #163 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 163 0.49/0.54 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #164 0.49/0.54 c Core size: 19 Core Weight: 1 Total Weight: 164 0.49/0.54 c Elapsed CPU time: 0.538918 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #165 0.49/0.55 c Core size: 22 Core Weight: 1 Total Weight: 165 0.49/0.55 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #166 0.49/0.55 c Core size: 16 Core Weight: 1 Total Weight: 166 0.49/0.55 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #167 0.49/0.56 c Core size: 20 Core Weight: 1 Total Weight: 167 0.49/0.56 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #168 0.49/0.56 c Core size: 22 Core Weight: 1 Total Weight: 168 0.49/0.56 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #169 0.49/0.56 c Core size: 19 Core Weight: 1 Total Weight: 169 0.49/0.56 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #170 0.49/0.57 c Core size: 22 Core Weight: 1 Total Weight: 170 0.49/0.57 c Elapsed CPU time: 0.563914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #171 0.49/0.57 c Core size: 22 Core Weight: 1 Total Weight: 171 0.49/0.57 c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #172 0.49/0.58 c Core size: 19 Core Weight: 1 Total Weight: 172 0.49/0.58 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #173 0.49/0.58 c Core size: 22 Core Weight: 1 Total Weight: 173 0.49/0.58 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #174 0.49/0.59 c Core size: 16 Core Weight: 1 Total Weight: 174 0.49/0.59 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #175 0.49/0.59 c Core size: 20 Core Weight: 1 Total Weight: 175 0.49/0.59 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #176 0.49/0.60 c Core size: 22 Core Weight: 1 Total Weight: 176 0.49/0.60 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #177 0.59/0.60 c Core size: 19 Core Weight: 1 Total Weight: 177 0.59/0.60 c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #178 0.59/0.60 c Core size: 22 Core Weight: 1 Total Weight: 178 0.59/0.60 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #179 0.59/0.61 c Core size: 22 Core Weight: 1 Total Weight: 179 0.59/0.61 c Elapsed CPU time: 0.603908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #180 0.59/0.61 c Core size: 19 Core Weight: 1 Total Weight: 180 0.59/0.61 c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #181 0.59/0.62 c Core size: 22 Core Weight: 1 Total Weight: 181 0.59/0.62 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #182 0.59/0.62 c Core size: 16 Core Weight: 1 Total Weight: 182 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #183 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 183 0.59/0.63 c Elapsed CPU time: 0.620905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #184 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 184 0.59/0.63 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #185 0.59/0.64 c Core size: 19 Core Weight: 1 Total Weight: 185 0.59/0.64 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #186 0.59/0.64 c Core size: 22 Core Weight: 1 Total Weight: 186 0.59/0.64 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #187 0.59/0.64 c Core size: 22 Core Weight: 1 Total Weight: 187 0.59/0.64 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #188 0.59/0.65 c Core size: 19 Core Weight: 1 Total Weight: 188 0.59/0.65 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #189 0.59/0.65 c Core size: 22 Core Weight: 1 Total Weight: 189 0.59/0.65 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #190 0.59/0.66 c Core size: 16 Core Weight: 1 Total Weight: 190 0.59/0.66 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #191 0.59/0.66 c Core size: 20 Core Weight: 1 Total Weight: 191 0.59/0.66 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #192 0.59/0.67 c Core size: 22 Core Weight: 1 Total Weight: 192 0.59/0.67 c Elapsed CPU time: 0.662899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #193 0.59/0.67 c Core size: 19 Core Weight: 1 Total Weight: 193 0.59/0.67 c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #194 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 194 0.59/0.68 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #195 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 195 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #196 0.59/0.69 c Core size: 19 Core Weight: 1 Total Weight: 196 0.59/0.69 c Elapsed CPU time: 0.681896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #197 0.59/0.69 c Core size: 22 Core Weight: 1 Total Weight: 197 0.59/0.69 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #198 0.69/0.70 c Core size: 16 Core Weight: 1 Total Weight: 198 0.69/0.70 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #199 0.69/0.70 c Core size: 20 Core Weight: 1 Total Weight: 199 0.69/0.70 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #200 0.69/0.71 c Core size: 22 Core Weight: 1 Total Weight: 200 0.69/0.71 c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #201 0.69/0.71 c Core size: 19 Core Weight: 1 Total Weight: 201 0.69/0.71 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #202 0.69/0.72 c Core size: 22 Core Weight: 1 Total Weight: 202 0.69/0.72 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #203 0.69/0.72 c Core size: 22 Core Weight: 1 Total Weight: 203 0.69/0.72 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #204 0.69/0.73 c Core size: 19 Core Weight: 1 Total Weight: 204 0.69/0.73 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #205 0.69/0.73 c Core size: 22 Core Weight: 1 Total Weight: 205 0.69/0.73 c Elapsed CPU time: 0.724889 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #206 0.69/0.74 c Core size: 201 Core Weight: 1 Total Weight: 206 0.69/0.74 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #207 0.69/0.74 c Core size: 7 Core Weight: 1 Total Weight: 207 0.69/0.74 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #208 0.69/0.75 c Core size: 7 Core Weight: 1 Total Weight: 208 0.69/0.75 c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #209 0.69/0.75 c Core size: 7 Core Weight: 1 Total Weight: 209 0.69/0.75 c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #210 0.69/0.76 c Core size: 7 Core Weight: 1 Total Weight: 210 0.69/0.76 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #211 0.69/0.76 c Core size: 7 Core Weight: 1 Total Weight: 211 0.69/0.76 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #212 0.69/0.76 c Core size: 7 Core Weight: 1 Total Weight: 212 0.69/0.76 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #213 0.69/0.77 c Core size: 7 Core Weight: 1 Total Weight: 213 0.69/0.77 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #214 0.69/0.77 c Core size: 7 Core Weight: 1 Total Weight: 214 0.69/0.77 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #215 0.69/0.78 c Core size: 7 Core Weight: 1 Total Weight: 215 0.69/0.78 c Elapsed CPU time: 0.773882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #216 0.69/0.78 c Core size: 7 Core Weight: 1 Total Weight: 216 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2000 4811 11280 | 5000 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #217 0.69/0.79 c Core size: 15 Core Weight: 1 Total Weight: 217 0.69/0.79 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2007 4812 11294 | 5000 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #218 0.69/0.79 c Core size: 32 Core Weight: 1 Total Weight: 218 0.69/0.79 c Elapsed CPU time: 0.78888 s Remaining CPU time: 1799.21 s 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2018 4813 11317 | 5000 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #219 0.79/0.80 c Core size: 37 Core Weight: 1 Total Weight: 219 0.79/0.80 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2025 4814 11331 | 5000 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #220 0.79/0.80 c Core size: 12 Core Weight: 1 Total Weight: 220 0.79/0.80 c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2031 4815 11343 | 5000 0 nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #221 0.79/0.81 c Core size: 12 Core Weight: 1 Total Weight: 221 0.79/0.81 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2037 4816 11355 | 5000 0 nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #222 0.79/0.81 c Core size: 13 Core Weight: 1 Total Weight: 222 0.79/0.81 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2043 4817 11367 | 5000 0 nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #223 0.79/0.82 c Core size: 17 Core Weight: 1 Total Weight: 223 0.79/0.82 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.79/0.82 c Learning 1 hard constraints 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2051 4819 11386 | 5000 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #224 0.79/0.83 c Core size: 15 Core Weight: 1 Total Weight: 224 0.79/0.83 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2058 4820 11400 | 5000 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #225 0.79/0.83 c Core size: 72 Core Weight: 1 Total Weight: 225 0.79/0.83 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2080 4821 11444 | 5000 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #226 0.79/0.84 c Core size: 15 Core Weight: 1 Total Weight: 226 0.79/0.84 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2087 4822 11458 | 5000 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #227 0.79/0.84 c Core size: 15 Core Weight: 1 Total Weight: 227 0.79/0.84 c Elapsed CPU time: 0.836872 s Remaining CPU time: 1799.16 s 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2094 4823 11472 | 5000 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #228 0.79/0.85 c Core size: 43 Core Weight: 1 Total Weight: 228 0.79/0.85 c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2107 4824 11498 | 5000 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #229 0.79/0.85 c Core size: 34 Core Weight: 1 Total Weight: 229 0.79/0.85 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 0.79/0.86 c Learning 1 hard constraints 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2116 4826 11521 | 5000 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #230 0.79/0.86 c Core size: 15 Core Weight: 1 Total Weight: 230 0.79/0.86 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2123 4827 11535 | 5000 0 nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #231 0.79/0.87 c Core size: 17 Core Weight: 1 Total Weight: 231 0.79/0.87 c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2131 4828 11551 | 5000 0 nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #232 0.79/0.87 c Core size: 13 Core Weight: 1 Total Weight: 232 0.79/0.87 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2137 4829 11563 | 5000 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #233 0.79/0.88 c Core size: 13 Core Weight: 1 Total Weight: 233 0.79/0.88 c Elapsed CPU time: 0.872867 s Remaining CPU time: 1799.13 s 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2143 4830 11575 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #234 0.79/0.89 c Core size: 15 Core Weight: 1 Total Weight: 234 0.79/0.89 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.79/0.89 c Learning 1 hard constraints 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2150 4832 11596 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #235 0.79/0.89 c Core size: 33 Core Weight: 1 Total Weight: 235 0.79/0.89 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.79/0.90 c Learning 1 hard constraints 0.79/0.90 c ============================[ Search Statistics ]============================== 0.79/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.90 c =============================================================================== 0.79/0.90 c | 0 | 2159 4834 11621 | 5000 0 nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c core #236 0.89/0.90 c Core size: 15 Core Weight: 1 Total Weight: 236 0.89/0.90 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2166 4835 11635 | 5000 0 nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c core #237 0.89/0.90 c Core size: 12 Core Weight: 1 Total Weight: 237 0.89/0.90 c Elapsed CPU time: 0.898863 s Remaining CPU time: 1799.1 s 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 2172 4836 11647 | 5000 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #238 0.89/0.91 c Core size: 34 Core Weight: 1 Total Weight: 238 0.89/0.91 c Elapsed CPU time: 0.904862 s Remaining CPU time: 1799.1 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2181 4837 11665 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #239 0.89/0.92 c Core size: 42 Core Weight: 1 Total Weight: 239 0.89/0.92 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2194 4838 11691 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #240 0.89/0.92 c Core size: 15 Core Weight: 1 Total Weight: 240 0.89/0.92 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2201 4839 11705 | 5000 0 nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c core #241 0.89/0.93 c Core size: 13 Core Weight: 1 Total Weight: 241 0.89/0.93 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2207 4840 11717 | 5000 0 nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #242 0.89/0.94 c Core size: 109 Core Weight: 1 Total Weight: 242 0.89/0.94 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2242 4841 11788 | 5000 0 nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #243 0.89/0.94 c Core size: 17 Core Weight: 1 Total Weight: 243 0.89/0.94 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2250 4842 11804 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #244 0.89/0.95 c Core size: 12 Core Weight: 1 Total Weight: 244 0.89/0.95 c Elapsed CPU time: 0.939857 s Remaining CPU time: 1799.06 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2256 4843 11816 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #245 0.89/0.95 c Core size: 17 Core Weight: 1 Total Weight: 245 0.89/0.95 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 2264 4844 11832 | 5000 0 nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #246 0.89/0.96 c Core size: 15 Core Weight: 1 Total Weight: 246 0.89/0.96 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 2271 4845 11846 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #247 0.89/0.97 c Core size: 48 Core Weight: 1 Total Weight: 247 0.89/0.97 c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s 0.89/0.97 c Learning 1 hard constraints 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 2283 4847 11873 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #248 0.89/0.97 c Core size: 65 Core Weight: 1 Total Weight: 248 0.89/0.97 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.89/0.98 c Learning 2 hard constraints 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 2300 4850 11914 | 5000 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #249 0.89/0.98 c Core size: 13 Core Weight: 1 Total Weight: 249 0.89/0.98 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2306 4851 11926 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #250 0.89/0.99 c Core size: 35 Core Weight: 1 Total Weight: 250 0.89/0.99 c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2314 4852 11942 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #251 0.89/0.99 c Core size: 67 Core Weight: 1 Total Weight: 251 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 0.89/1.00 c Learning 1 hard constraints 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 2337 4854 11995 | 5000 0 nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.00 c core #252 0.89/1.00 c Core size: 15 Core Weight: 1 Total Weight: 252 0.89/1.00 c Elapsed CPU time: 0.991849 s Remaining CPU time: 1799.01 s 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 2344 4855 12009 | 5000 0 nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #253 0.99/1.01 c Core size: 32 Core Weight: 1 Total Weight: 253 0.99/1.01 c Elapsed CPU time: 0.997848 s Remaining CPU time: 1799 s 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 2355 4856 12032 | 5000 0 nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #254 0.99/1.01 c Core size: 47 Core Weight: 1 Total Weight: 254 0.99/1.01 c Elapsed CPU time: 1.00485 s Remaining CPU time: 1799 s 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 2369 4857 12060 | 5000 0 nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c core #255 0.99/1.02 c Core size: 49 Core Weight: 1 Total Weight: 255 0.99/1.02 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 0.99/1.03 c Learning 1 hard constraints 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 2376 4859 12080 | 5000 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #256 0.99/1.03 c Core size: 13 Core Weight: 1 Total Weight: 256 0.99/1.03 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 2382 4860 12092 | 5000 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #257 0.99/1.03 c Core size: 15 Core Weight: 1 Total Weight: 257 0.99/1.03 c Elapsed CPU time: 1.02084 s Remaining CPU time: 1798.98 s 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 2389 4861 12106 | 5000 0 nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #258 0.99/1.04 c Core size: 13 Core Weight: 1 Total Weight: 258 0.99/1.04 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 2395 4862 12118 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #259 0.99/1.05 c Core size: 39 Core Weight: 1 Total Weight: 259 0.99/1.05 c Elapsed CPU time: 1.03184 s Remaining CPU time: 1798.97 s 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 2406 4863 12140 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #260 0.99/1.05 c Core size: 14 Core Weight: 1 Total Weight: 260 0.99/1.05 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 2413 4864 12154 | 5000 0 nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #261 0.99/1.06 c Core size: 17 Core Weight: 1 Total Weight: 261 0.99/1.06 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 2421 4865 12170 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #262 0.99/1.07 c Core size: 18 Core Weight: 1 Total Weight: 262 0.99/1.07 c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 2430 4866 12188 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #263 0.99/1.07 c Core size: 33 Core Weight: 1 Total Weight: 263 0.99/1.07 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 2438 4867 12204 | 5000 0 nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c core #264 0.99/1.08 c Core size: 43 Core Weight: 1 Total Weight: 264 0.99/1.08 c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 2451 4868 12230 | 5000 0 nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #265 0.99/1.09 c Core size: 15 Core Weight: 1 Total Weight: 265 0.99/1.09 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 2458 4869 12244 | 5000 0 nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #266 0.99/1.10 c Core size: 24 Core Weight: 1 Total Weight: 266 0.99/1.10 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 1.09/1.10 c | 0 | 2469 4870 12266 | 5000 0 nan | 0.000 % | 1.09/1.10 c =============================================================================== 1.09/1.10 c core #267 1.09/1.10 c Core size: 34 Core Weight: 1 Total Weight: 267 1.09/1.10 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 1.09/1.11 c ============================[ Search Statistics ]============================== 1.09/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.11 c =============================================================================== 1.09/1.11 c | 0 | 2480 4871 12289 | 5000 0 nan | 0.000 % | 1.09/1.11 c =============================================================================== 1.09/1.11 c core #268 1.09/1.11 c Core size: 34 Core Weight: 1 Total Weight: 268 1.09/1.11 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.09/1.11 c ============================[ Search Statistics ]============================== 1.09/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.11 c =============================================================================== 1.09/1.11 c | 0 | 2489 4872 12307 | 5000 0 nan | 0.000 % | 1.09/1.12 c =============================================================================== 1.09/1.12 c core #269 1.09/1.12 c Core size: 15 Core Weight: 1 Total Weight: 269 1.09/1.12 c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s 1.09/1.12 c ============================[ Search Statistics ]============================== 1.09/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.12 c =============================================================================== 1.09/1.12 c | 0 | 2496 4873 12321 | 5000 0 nan | 0.000 % | 1.09/1.12 c =============================================================================== 1.09/1.12 c core #270 1.09/1.12 c Core size: 18 Core Weight: 1 Total Weight: 270 1.09/1.12 c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s 1.09/1.13 c ============================[ Search Statistics ]============================== 1.09/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.13 c =============================================================================== 1.09/1.13 c | 0 | 2505 4874 12339 | 5000 0 nan | 0.000 % | 1.09/1.13 c =============================================================================== 1.09/1.13 c core #271 1.09/1.13 c Core size: 15 Core Weight: 1 Total Weight: 271 1.09/1.13 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.09/1.13 c ============================[ Search Statistics ]============================== 1.09/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.13 c =============================================================================== 1.09/1.13 c | 0 | 2512 4875 12353 | 5000 0 nan | 0.000 % | 1.09/1.14 c =============================================================================== 1.09/1.14 c core #272 1.09/1.14 c Core size: 15 Core Weight: 1 Total Weight: 272 1.09/1.14 c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s 1.09/1.14 c Learning 3 hard constraints 1.09/1.14 c ============================[ Search Statistics ]============================== 1.09/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.14 c =============================================================================== 1.09/1.14 c | 0 | 2519 4879 12382 | 5000 0 nan | 0.000 % | 1.09/1.14 c =============================================================================== 1.09/1.14 c core #273 1.09/1.14 c Core size: 61 Core Weight: 1 Total Weight: 273 1.09/1.14 c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s 1.09/1.15 c Learning 1 hard constraints 1.09/1.15 c ============================[ Search Statistics ]============================== 1.09/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.15 c =============================================================================== 1.09/1.15 c | 0 | 2537 4881 12424 | 5000 0 nan | 0.000 % | 1.09/1.15 c =============================================================================== 1.09/1.15 c core #274 1.09/1.15 c Core size: 62 Core Weight: 1 Total Weight: 274 1.09/1.15 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.09/1.16 c Learning 1 hard constraints 1.09/1.16 c ============================[ Search Statistics ]============================== 1.09/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.16 c =============================================================================== 1.09/1.16 c | 0 | 2557 4883 12471 | 5000 0 nan | 0.000 % | 1.09/1.16 c =============================================================================== 1.09/1.16 c core #275 1.09/1.16 c Core size: 22 Core Weight: 1 Total Weight: 275 1.09/1.16 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.09/1.17 c Learning 2 hard constraints 1.09/1.17 c ============================[ Search Statistics ]============================== 1.09/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.17 c =============================================================================== 1.09/1.17 c | 0 | 2567 4886 12500 | 5000 0 nan | 0.000 % | 1.09/1.17 c =============================================================================== 1.09/1.17 c core #276 1.09/1.17 c Core size: 56 Core Weight: 1 Total Weight: 276 1.09/1.17 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.09/1.17 c ============================[ Search Statistics ]============================== 1.09/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.17 c =============================================================================== 1.09/1.17 c | 0 | 2584 4887 12534 | 5000 0 nan | 0.000 % | 1.09/1.17 c =============================================================================== 1.09/1.17 c core #277 1.09/1.17 c Core size: 72 Core Weight: 1 Total Weight: 277 1.09/1.17 c Elapsed CPU time: 1.14583 s Remaining CPU time: 1798.85 s 1.09/1.18 c ============================[ Search Statistics ]============================== 1.09/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.18 c =============================================================================== 1.09/1.18 c | 0 | 2604 4888 12574 | 5000 0 nan | 0.000 % | 1.09/1.18 c =============================================================================== 1.09/1.18 c core #278 1.09/1.18 c Core size: 26 Core Weight: 1 Total Weight: 278 1.09/1.18 c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s 1.09/1.19 c ============================[ Search Statistics ]============================== 1.09/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.19 c =============================================================================== 1.09/1.19 c | 0 | 2615 4889 12596 | 5000 0 nan | 0.000 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c core #279 1.09/1.19 c Core size: 58 Core Weight: 1 Total Weight: 279 1.09/1.19 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.09/1.19 c Learning 1 hard constraints 1.09/1.19 c ============================[ Search Statistics ]============================== 1.09/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.19 c =============================================================================== 1.09/1.19 c | 0 | 2634 4891 12640 | 5000 0 nan | 0.000 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c core #280 1.09/1.19 c Core size: 56 Core Weight: 1 Total Weight: 280 1.09/1.19 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s 1.18/1.20 c ============================[ Search Statistics ]============================== 1.18/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.20 c =============================================================================== 1.18/1.20 c | 0 | 2652 4892 12676 | 5000 0 nan | 0.000 % | 1.18/1.20 c =============================================================================== 1.18/1.20 c core #281 1.18/1.20 c Core size: 44 Core Weight: 1 Total Weight: 281 1.18/1.20 c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s 1.18/1.21 c ============================[ Search Statistics ]============================== 1.18/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.21 c =============================================================================== 1.18/1.21 c | 0 | 2670 4893 12712 | 5000 0 nan | 0.000 % | 1.18/1.21 c =============================================================================== 1.18/1.21 c core #282 1.18/1.21 c Core size: 104 Core Weight: 1 Total Weight: 282 1.18/1.21 c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s 1.18/1.22 c Learning 1 hard constraints 1.18/1.22 c ============================[ Search Statistics ]============================== 1.18/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.22 c =============================================================================== 1.18/1.22 c | 0 | 2695 4895 12767 | 5000 0 nan | 0.000 % | 1.18/1.22 c =============================================================================== 1.18/1.22 c core #283 1.18/1.22 c Core size: 48 Core Weight: 1 Total Weight: 283 1.18/1.22 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.18/1.22 c ============================[ Search Statistics ]============================== 1.18/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.22 c =============================================================================== 1.18/1.22 c | 0 | 2715 4896 12807 | 5000 0 nan | 0.000 % | 1.18/1.22 c =============================================================================== 1.18/1.22 c core #284 1.18/1.22 c Core size: 74 Core Weight: 1 Total Weight: 284 1.18/1.22 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.18/1.23 c Learning 1 hard constraints 1.18/1.23 c ============================[ Search Statistics ]============================== 1.18/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.23 c =============================================================================== 1.18/1.23 c | 0 | 2735 4898 12854 | 5000 0 nan | 0.000 % | 1.18/1.23 c =============================================================================== 1.18/1.23 c core #285 1.18/1.23 c Core size: 49 Core Weight: 1 Total Weight: 285 1.18/1.23 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.18/1.24 c ============================[ Search Statistics ]============================== 1.18/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.24 c =============================================================================== 1.18/1.24 c | 0 | 2749 4899 12883 | 5000 0 nan | 0.000 % | 1.18/1.24 c =============================================================================== 1.18/1.24 c core #286 1.18/1.24 c Core size: 89 Core Weight: 1 Total Weight: 286 1.18/1.24 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.18/1.24 c ============================[ Search Statistics ]============================== 1.18/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.24 c =============================================================================== 1.18/1.24 c | 0 | 2772 4900 12929 | 5000 0 nan | 0.000 % | 1.18/1.25 c =============================================================================== 1.18/1.25 c core #287 1.18/1.25 c Core size: 120 Core Weight: 1 Total Weight: 287 1.18/1.25 c Elapsed CPU time: 1.21681 s Remaining CPU time: 1798.78 s 1.18/1.26 c Learning 7 hard constraints 1.18/1.26 c ============================[ Search Statistics ]============================== 1.18/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.26 c =============================================================================== 1.18/1.26 c | 0 | 2805 4908 13031 | 5000 0 nan | 0.000 % | 1.18/1.26 c | 100 | 2773 4908 13031 | 5500 100 6 | 3.716 % | 1.18/1.27 c =============================================================================== 1.18/1.27 c core #288 1.18/1.27 c Core size: 66 Core Weight: 1 Total Weight: 288 1.18/1.27 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.18/1.27 c Learning 12 hard constraints 1.18/1.27 c ============================[ Search Statistics ]============================== 1.18/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.27 c =============================================================================== 1.18/1.27 c | 0 | 2820 4921 13122 | 5000 0 nan | 0.000 % | 1.18/1.27 c =============================================================================== 1.18/1.27 c core #289 1.18/1.27 c Core size: 61 Core Weight: 1 Total Weight: 289 1.18/1.27 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.18/1.28 c Learning 1 hard constraints 1.18/1.28 c ============================[ Search Statistics ]============================== 1.18/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.28 c =============================================================================== 1.18/1.28 c | 0 | 2837 4923 13163 | 5000 0 nan | 0.000 % | 1.18/1.28 c | 100 | 2837 4923 13163 | 5500 100 6 | 0.701 % | 1.18/1.29 c =============================================================================== 1.18/1.29 c core #290 1.18/1.29 c Core size: 209 Core Weight: 1 Total Weight: 290 1.18/1.29 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.28/1.30 c Learning 8 hard constraints 1.28/1.30 c ============================[ Search Statistics ]============================== 1.28/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.30 c =============================================================================== 1.28/1.30 c | 0 | 2886 4932 13299 | 5000 0 nan | 0.000 % | 1.28/1.31 c | 102 | 2872 4932 13299 | 5500 102 5 | 1.308 % | 1.28/1.31 c =============================================================================== 1.28/1.31 c core #291 1.28/1.31 c Core size: 252 Core Weight: 1 Total Weight: 291 1.28/1.31 c Elapsed CPU time: 1.27181 s Remaining CPU time: 1798.73 s 1.28/1.32 c Learning 8 hard constraints 1.28/1.32 c ============================[ Search Statistics ]============================== 1.28/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.32 c =============================================================================== 1.28/1.32 c | 0 | 2940 4941 13449 | 5000 0 nan | 0.000 % | 1.28/1.32 c =============================================================================== 1.28/1.32 c core #292 1.28/1.32 c Core size: 47 Core Weight: 1 Total Weight: 292 1.28/1.32 c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s 1.28/1.33 c Learning 6 hard constraints 1.28/1.33 c ============================[ Search Statistics ]============================== 1.28/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.33 c =============================================================================== 1.28/1.33 c | 0 | 2952 4948 13517 | 5000 0 nan | 0.000 % | 1.28/1.34 c | 103 | 2949 4948 13517 | 5500 103 8 | 0.808 % | 1.28/1.34 c | 253 | 2945 4948 13517 | 6050 247 9 | 1.110 % | 1.28/1.36 c | 478 | 2913 4948 13517 | 6655 411 9 | 2.255 % | 1.28/1.37 c =============================================================================== 1.28/1.37 c core #293 1.28/1.37 c Core size: 460 Core Weight: 1 Total Weight: 293 1.28/1.37 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 1.28/1.38 c Learning 26 hard constraints 1.28/1.38 c ============================[ Search Statistics ]============================== 1.28/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.38 c =============================================================================== 1.28/1.38 c | 0 | 3052 4975 13839 | 5000 0 nan | 0.000 % | 1.28/1.38 c | 102 | 3052 4975 13839 | 5500 102 9 | 0.651 % | 1.28/1.39 c | 253 | 3010 4975 13839 | 6050 253 8 | 3.255 % | 1.38/1.40 c | 478 | 2953 4975 13839 | 6655 370 9 | 3.874 % | 1.38/1.42 c | 817 | 2952 4975 13839 | 7320 709 13 | 4.004 % | 1.38/1.46 c | 1324 | 2907 4975 13839 | 8052 1110 17 | 6.152 % | 1.38/1.47 c =============================================================================== 1.38/1.48 c core #294 1.38/1.48 c Core size: 1136 Core Weight: 1 Total Weight: 294 1.38/1.48 c Elapsed CPU time: 1.43178 s Remaining CPU time: 1798.57 s 1.38/1.49 c Learning 16 hard constraints 1.38/1.49 c ============================[ Search Statistics ]============================== 1.38/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.49 c =============================================================================== 1.38/1.49 c | 0 | 3312 4992 14440 | 5000 0 nan | 0.000 % | 1.38/1.49 c | 100 | 3312 4992 14440 | 5500 100 9 | 0.601 % | 1.47/1.50 c | 252 | 3310 4992 14440 | 6050 250 8 | 0.660 % | 1.47/1.51 c | 477 | 3275 4992 14440 | 6655 431 10 | 1.711 % | 1.47/1.52 c =============================================================================== 1.47/1.52 c core #295 1.47/1.52 c Core size: 72 Core Weight: 1 Total Weight: 295 1.47/1.52 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.47/1.52 c Learning 32 hard constraints 1.47/1.52 c ============================[ Search Statistics ]============================== 1.47/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.47/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.47/1.52 c =============================================================================== 1.47/1.52 c | 0 | 3325 5025 14649 | 5000 0 nan | 0.000 % | 1.47/1.53 c | 102 | 3325 5025 14649 | 5500 102 11 | 0.598 % | 1.47/1.54 c | 256 | 3325 5025 14649 | 6050 256 11 | 0.598 % | 1.47/1.56 c | 485 | 3325 5025 14649 | 6655 485 19 | 0.598 % | 1.47/1.59 c | 822 | 3325 5025 14649 | 7320 822 28 | 0.598 % | 1.58/1.62 c | 1329 | 3325 5025 14649 | 8052 1329 29 | 0.598 % | 1.58/1.70 c | 2089 | 3323 5025 14649 | 8857 2087 29 | 0.658 % | 1.67/1.77 c =============================================================================== 1.67/1.77 c core #296 1.67/1.77 c Core size: 283 Core Weight: 1 Total Weight: 296 1.67/1.77 c Elapsed CPU time: 1.71474 s Remaining CPU time: 1798.29 s 1.67/1.78 c Learning 61 hard constraints 1.67/1.78 c ============================[ Search Statistics ]============================== 1.67/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.67/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.67/1.78 c =============================================================================== 1.67/1.78 c | 0 | 3388 5087 15083 | 5000 0 nan | 0.000 % | 1.67/1.79 c | 100 | 3388 5087 15083 | 5500 100 16 | 0.587 % | 1.78/1.80 c | 250 | 3388 5087 15083 | 6050 250 14 | 0.587 % | 1.78/1.81 c | 477 | 3388 5087 15083 | 6655 477 14 | 0.587 % | 1.78/1.83 c | 816 | 3386 5087 15083 | 7320 815 20 | 0.646 % | 1.78/1.87 c | 1323 | 3379 5087 15083 | 8052 1312 19 | 0.880 % | 1.88/1.94 c | 2084 | 3372 5087 15083 | 8857 2059 24 | 1.056 % | 1.98/2.03 c | 3225 | 3361 5087 15083 | 9743 2346 21 | 1.408 % | 2.08/2.18 c =============================================================================== 2.18/2.20 c core #297 2.18/2.20 c Core size: 1551 Core Weight: 1 Total Weight: 297 2.18/2.20 c Elapsed CPU time: 2.11668 s Remaining CPU time: 1797.88 s 2.18/2.22 c Learning 76 hard constraints 2.18/2.22 c ============================[ Search Statistics ]============================== 2.18/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.22 c =============================================================================== 2.18/2.22 c | 0 | 3674 5164 16050 | 5000 0 nan | 0.000 % | 2.18/2.23 c | 100 | 3674 5164 16050 | 5500 100 21 | 0.542 % | 2.18/2.23 c | 250 | 3674 5164 16050 | 6050 250 26 | 0.541 % | 2.18/2.25 c | 476 | 3674 5164 16050 | 6655 476 28 | 0.541 % | 2.18/2.28 c | 813 | 3672 5164 16050 | 7320 746 24 | 0.596 % | 2.28/2.32 c | 1319 | 3670 5164 16050 | 8052 1252 24 | 0.650 % | 2.28/2.39 c | 2078 | 3670 5164 16050 | 8857 1991 42 | 0.650 % | 2.47/2.53 c | 3217 | 3670 5164 16050 | 9743 3130 43 | 0.650 % | 2.67/2.73 c | 4925 | 3668 5164 16050 | 10717 4811 43 | 0.704 % | 3.18/3.20 c | 7487 | 3663 5164 16050 | 11789 7370 56 | 1.029 % | 4.17/4.23 c | 11331 | 3655 5164 16050 | 12968 11072 72 | 1.083 % | 5.67/5.76 c | 17098 | 3652 5164 16050 | 14265 10204 82 | 1.191 % | 8.27/8.34 c | 25748 | 3641 5164 16050 | 15692 11640 80 | 1.435 % | 10.58/10.63 c =============================================================================== 10.67/10.78 c core #298 10.67/10.78 c Core size: 2054 Core Weight: 1 Total Weight: 298 10.67/10.78 c Elapsed CPU time: 10.5344 s Remaining CPU time: 1789.47 s 10.77/10.83 c Learning 68 hard constraints 10.77/10.83 c ============================[ Search Statistics ]============================== 10.77/10.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.77/10.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.77/10.83 c =============================================================================== 10.77/10.83 c | 0 | 4066 5233 17119 | 5000 0 nan | 0.000 % | 10.77/10.84 c | 100 | 4066 5233 17119 | 5500 100 20 | 0.490 % | 10.77/10.85 c | 250 | 4066 5233 17119 | 6050 250 21 | 0.489 % | 10.77/10.87 c | 478 | 4066 5233 17119 | 6655 478 25 | 0.490 % | 10.87/10.91 c | 816 | 4066 5233 17119 | 7320 816 32 | 0.490 % | 10.87/10.98 c | 1322 | 4066 5233 17119 | 8052 1322 38 | 0.489 % | 10.97/11.06 c | 2084 | 4066 5233 17119 | 8857 2084 37 | 0.489 % | 11.17/11.23 c | 3225 | 4066 5233 17119 | 9743 3225 43 | 0.489 % | 11.47/11.59 c | 4933 | 4066 5233 17119 | 10717 4933 51 | 0.489 % | 11.87/11.98 c | 7495 | 4064 5233 17119 | 11789 6318 47 | 0.538 % | 12.57/12.61 c | 11339 | 4064 5233 17119 | 12968 10162 44 | 0.538 % | 13.77/13.85 c | 17108 | 4064 5233 17119 | 14265 8711 72 | 0.539 % | 15.27/15.39 c | 25757 | 4062 5233 17119 | 15692 8820 48 | 0.588 % | 20.56/20.65 c | 38732 | 4061 5233 17119 | 17261 13690 111 | 0.612 % | 30.06/30.13 c | 58195 | 4061 5233 17119 | 18987 15271 148 | 0.612 % | 43.87/43.90 c | 87388 | 4051 5233 17119 | 20886 13016 151 | 0.857 % | 59.66/59.79 c | 131181 | 4044 5233 17119 | 22974 12847 121 | 1.028 % | 114.84/114.96 c | 196869 | 4044 5233 17119 | 25272 19561 227 | 1.028 % | 214.51/214.67 c | 295395 | 4044 5233 17119 | 27799 15130 208 | 1.028 % | 355.36/355.50 c | 443188 | 4044 5233 17119 | 30579 20095 152 | 1.028 % | 554.39/554.69 c | 664882 | 4043 5233 17119 | 33637 18659 136 | 1.052 % | 626.07/626.33 c =============================================================================== 642.77/643.09 c core #299 642.77/643.09 c Core size: 3117 Core Weight: 1 Total Weight: 299 642.77/643.09 c Elapsed CPU time: 638.928 s Remaining CPU time: 1161.07 s 643.57/643.89 c Learning 41 hard constraints 643.57/643.89 c ============================[ Search Statistics ]============================== 643.57/643.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 643.57/643.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 643.57/643.89 c =============================================================================== 643.57/643.89 c | 0 | 4622 5275 18349 | 5000 0 nan | 0.000 % | 643.66/643.93 c | 101 | 4622 5275 18349 | 5500 101 36 | 0.431 % | 643.76/644.04 c | 252 | 4622 5275 18349 | 6050 252 39 | 0.431 % | 643.76/644.08 c | 477 | 4622 5275 18349 | 6655 477 35 | 0.431 % | 643.86/644.12 c | 814 | 4622 5275 18349 | 7320 814 32 | 0.431 % | 643.86/644.17 c | 1320 | 4622 5275 18349 | 8052 1320 34 | 0.431 % | 643.96/644.28 c | 2082 | 4622 5275 18349 | 8857 2082 36 | 0.431 % | 644.16/644.44 c | 3222 | 4622 5275 18349 | 9743 3222 37 | 0.431 % | 644.57/644.81 c | 4930 | 4622 5275 18349 | 10717 4930 40 | 0.431 % | 644.86/645.12 c | 7494 | 4622 5275 18349 | 11789 7494 42 | 0.431 % | 645.47/645.74 c | 11339 | 4622 5275 18349 | 12968 11339 57 | 0.431 % | 647.06/647.31 c | 17106 | 4622 5275 18349 | 14265 10034 93 | 0.431 % | 649.87/650.18 c | 25755 | 4622 5275 18349 | 15692 11410 83 | 0.431 % | 653.07/653.37 c | 38731 | 4622 5275 18349 | 17261 16297 67 | 0.431 % | 658.46/658.71 c | 58192 | 4622 5275 18349 | 18987 17876 93 | 0.431 % | 671.75/672.01 c | 87385 | 4619 5275 18349 | 20886 16847 59 | 0.517 % | 696.14/696.43 c | 131174 | 4618 5275 18349 | 22974 17245 243 | 0.517 % | 737.93/738.24 c | 196860 | 4618 5275 18349 | 25272 23439 57 | 0.517 % | 834.00/834.37 c | 295387 | 4618 5275 18349 | 27799 15656 78 | 0.517 % | 962.77/963.12 c | 443176 | 4618 5275 18349 | 30579 24348 198 | 0.517 % | 1211.48/1211.94 c | 664861 | 4614 5275 18349 | 33637 21721 263 | 0.603 % | 1453.90/1454.49 c | 997387 | 4610 5275 18349 | 37001 22499 78 | 0.689 % |
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-1875772-1245158863/watcher-1875772-1245158863 -o /tmp/evaluation-result-1875772-1245158863/solver-1875772-1245158863 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875772-1245158863.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.83 3/64 2611 /proc/meminfo: memFree=1958528/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=2492 CPUtime=0 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 163 0 0 0 0 0 0 0 20 0 1 0 215745 2551808 147 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 623 148 117 292 0 303 0 [startup+0.0188021 s] /proc/loadavg: 0.99 0.97 0.83 3/64 2611 /proc/meminfo: memFree=1958528/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=2800 CPUtime=0.01 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 317 0 0 0 1 0 0 0 20 0 1 0 215745 2867200 276 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 700 278 133 292 0 405 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2800 [startup+0.101811 s] /proc/loadavg: 0.99 0.97 0.83 3/64 2611 /proc/meminfo: memFree=1958528/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=3088 CPUtime=0.09 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 376 0 0 0 9 0 0 0 20 0 1 0 215745 3162112 335 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 772 335 133 292 0 477 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301833 s] /proc/loadavg: 0.99 0.97 0.83 3/64 2611 /proc/meminfo: memFree=1958528/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=3320 CPUtime=0.29 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 436 0 0 0 29 0 0 0 22 0 1 0 215745 3399680 395 1992294400 134512640 135709839 4294956240 18446744073709551615 135183283 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 830 395 133 292 0 535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3320 [startup+0.701878 s] /proc/loadavg: 0.99 0.97 0.83 3/64 2611 /proc/meminfo: memFree=1958528/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=4004 CPUtime=0.69 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 631 0 0 0 69 0 0 0 25 0 1 0 215745 4100096 575 1992294400 134512640 135709839 4294956240 18446744073709551615 135166081 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 1001 575 133 292 0 706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4004 [startup+1.50198 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2612 /proc/meminfo: memFree=1955704/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=7176 CPUtime=1.47 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 1466 0 0 0 144 3 0 0 25 0 1 0 215745 7348224 1330 1992294400 134512640 135709839 4294956240 18446744073709551615 134601539 0 0 4096 3 0 0 0 17 0 0 0 /proc/2611/statm: 1794 1330 136 292 0 1499 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 7176 [startup+3.10215 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2612 /proc/meminfo: memFree=1952760/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=9684 CPUtime=3.07 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 2126 0 0 0 297 10 0 0 25 0 1 0 215745 9916416 1990 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 2421 1990 136 292 0 2126 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 9684 [startup+6.30151 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2612 /proc/meminfo: memFree=1945272/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=17004 CPUtime=6.27 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 3943 0 0 0 611 16 0 0 25 0 1 0 215745 17412096 3807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 4251 3807 136 292 0 3956 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 17004 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2612 /proc/meminfo: memFree=1933752/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=26628 CPUtime=12.67 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 6338 0 0 0 1241 26 0 0 25 0 1 0 215745 27267072 6202 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 6657 6202 136 292 0 6362 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 26628 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2612 /proc/meminfo: memFree=1915576/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=45372 CPUtime=25.46 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 11031 0 0 0 2504 42 0 0 25 0 1 0 215745 46460928 10895 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 11343 10895 136 292 0 11048 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 45372 [startup+51.1015 s] /proc/loadavg: 1.05 0.99 0.84 2/65 2612 /proc/meminfo: memFree=1869240/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=92396 CPUtime=51.06 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 22768 0 0 0 5040 66 0 0 25 0 1 0 215745 94613504 22632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 23099 22632 136 292 0 22804 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 92396 [startup+102.305 s] /proc/loadavg: 1.02 0.99 0.84 2/65 2612 /proc/meminfo: memFree=1789048/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=171372 CPUtime=102.25 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 42513 0 0 0 10122 103 0 0 25 0 1 0 215745 175484928 42377 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 42843 42377 136 292 0 42548 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 171372 [startup+162.301 s] /proc/loadavg: 1.01 0.99 0.85 2/65 2612 /proc/meminfo: memFree=1714616/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=246728 CPUtime=162.23 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 61317 0 0 0 16090 133 0 0 25 0 1 0 215745 252649472 61181 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 61682 61181 136 292 0 61387 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 246728 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.86 2/65 2612 /proc/meminfo: memFree=1639736/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=320896 CPUtime=222.2 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 79806 0 0 0 22050 170 0 0 25 0 1 0 215745 328597504 79670 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 80224 79670 136 292 0 79929 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 320896 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.86 2/65 2612 /proc/meminfo: memFree=1568696/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=392576 CPUtime=282.19 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 97718 0 0 0 28020 199 0 0 25 0 1 0 215745 401997824 97582 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 98144 97582 136 292 0 97849 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 392576 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.87 2/65 2612 /proc/meminfo: memFree=1500536/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=460132 CPUtime=342.16 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 114579 0 0 0 33985 231 0 0 25 0 1 0 215745 471175168 114443 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 115033 114443 136 292 0 114738 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 460132 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.87 2/65 2612 /proc/meminfo: memFree=1420344/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=540512 CPUtime=402.14 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 134665 0 0 0 39940 274 0 0 25 0 1 0 215745 553484288 134529 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 135128 134529 136 292 0 134833 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 540512 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.88 2/65 2612 /proc/meminfo: memFree=1352632/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=607632 CPUtime=462.12 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 151445 0 0 0 45901 311 0 0 25 0 1 0 215745 622215168 151309 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 151908 151309 136 292 0 151613 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 607632 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.89 2/65 2612 /proc/meminfo: memFree=1292536/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=668156 CPUtime=522.1 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 166592 0 0 0 51872 338 0 0 25 0 1 0 215745 684191744 166456 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 167039 166456 136 292 0 166744 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 668156 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.89 2/65 2612 /proc/meminfo: memFree=1225144/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=734972 CPUtime=582.08 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 183286 0 0 0 57837 371 0 0 25 0 1 0 215745 752611328 183150 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 183743 183150 136 292 0 183448 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 734972 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.90 2/65 2612 /proc/meminfo: memFree=1166776/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=792536 CPUtime=642.07 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 197678 0 0 0 63813 394 0 0 25 0 1 0 215745 811556864 197542 1992294400 134512640 135709839 4294956240 18446744073709551615 134584101 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 198134 197542 136 292 0 197839 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 792536 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=1130424/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=829708 CPUtime=941.97 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 207110 0 0 0 93683 514 0 0 25 0 1 0 215745 849620992 206892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 207427 206892 136 292 0 207132 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 829708 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=1053496/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=905592 CPUtime=1001.96 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 226061 0 0 0 99637 559 0 0 25 0 1 0 215745 927326208 225843 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 226398 225843 136 292 0 226103 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 905592 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=989752/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=969872 CPUtime=1061.93 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 242108 0 0 0 105611 582 0 0 25 0 1 0 215745 993148928 241890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 242468 241890 136 292 0 242173 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 969872 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=939256/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1019720 CPUtime=1121.91 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 254591 0 0 0 111589 602 0 0 25 0 1 0 215745 1044193280 254373 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 254930 254373 136 292 0 254635 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1019720 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=888056/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1071676 CPUtime=1181.9 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 267559 0 0 0 117570 620 0 0 25 0 1 0 215745 1097396224 267341 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 267919 267341 136 292 0 267624 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1071676 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=819896/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1139008 CPUtime=1241.87 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 284379 0 0 0 123529 658 0 0 25 0 1 0 215745 1166344192 284161 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 284752 284161 136 292 0 284457 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1139008 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=752248/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1205848 CPUtime=1301.86 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 301088 0 0 0 129495 691 0 0 25 0 1 0 215745 1234788352 300870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 301462 300870 136 292 0 301167 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1205848 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=677944/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1280996 CPUtime=1361.83 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 319854 0 0 0 135456 727 0 0 25 0 1 0 215745 1311739904 319636 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 320249 319636 136 292 0 319954 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1280996 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=620088/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1338052 CPUtime=1421.82 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 334064 0 0 0 141419 763 0 0 25 0 1 0 215745 1370165248 333846 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 334513 333846 136 292 0 334218 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1338052 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2612 /proc/meminfo: memFree=569016/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1389824 CPUtime=1481.79 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 347001 0 0 0 147388 791 0 0 25 0 1 0 215745 1423179776 346783 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 347456 346783 136 292 0 347161 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1389824 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2614 /proc/meminfo: memFree=507320/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1450832 CPUtime=1541.78 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 362210 0 0 0 153362 816 0 0 25 0 1 0 215745 1485651968 361992 1992294400 134512640 135709839 4294956240 18446744073709551615 134574232 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 362708 361992 136 292 0 362413 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1450832 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2614 /proc/meminfo: memFree=454456/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1504144 CPUtime=1601.76 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 375515 0 0 0 159338 838 0 0 25 0 1 0 215745 1540243456 375297 1992294400 134512640 135709839 4294956240 18446744073709551615 134573832 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 376036 375297 136 292 0 375741 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1504144 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 2614 /proc/meminfo: memFree=400824/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1557076 CPUtime=1661.73 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 388759 0 0 0 165313 860 0 0 25 0 1 0 215745 1594445824 388541 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 389269 388541 136 292 0 388974 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1557076 [startup+1722.3 s] /proc/loadavg: 1.05 1.00 0.91 2/65 2614 /proc/meminfo: memFree=351224/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1607156 CPUtime=1721.71 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 401203 0 0 0 171276 895 0 0 25 0 1 0 215745 1645727744 400985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 401789 400985 136 292 0 401494 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1607156 [startup+1782.3 s] /proc/loadavg: 1.02 1.00 0.91 2/65 2614 /proc/meminfo: memFree=302008/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1655932 CPUtime=1781.69 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 413401 0 0 0 177241 928 0 0 25 0 1 0 215745 1695674368 413183 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 413983 413183 136 292 0 413688 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1655932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2614 /proc/meminfo: memFree=287224/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=1670564 CPUtime=1800.1 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4194304 417042 0 0 0 179073 937 0 0 25 0 1 0 215745 1710657536 416824 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 417641 416824 136 292 0 417346 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1670564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2614 /proc/meminfo: memFree=287224/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=0 CPUtime=1800.2 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4195332 417042 0 0 0 179073 947 0 0 25 0 1 0 215745 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.01 1.00 0.91 2/65 2614 /proc/meminfo: memFree=287224/2055920 swapFree=4192956/4192956 [pid=2611] ppid=2609 vsize=0 CPUtime=1800.29 /proc/2611/stat : 2611 (wbo) R 2609 2611 2526 0 -1 4195332 417042 0 0 0 179073 956 0 0 25 0 1 0 215745 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2611/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.96 CPU time (s): 1800.36 CPU user time (s): 1790.73 CPU system time (s): 9.62454 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 1670564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.73 system time used= 9.62454 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 417042 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= 4 involuntary context switches= 3925 runsolver used 1.58276 second user time and 3.39848 second system time The end
Begin job on node30 at 2009-06-16 15:27:43 IDJOB=1875772 IDBENCH=2174 IDSOLVER=698 FILE ID=node30/1875772-1245158863 PBS_JOBID= 9363829 Free space on /tmp= 66220 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c1.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-1875772-1245158863/watcher-1875772-1245158863 -o /tmp/evaluation-result-1875772-1245158863/solver-1875772-1245158863 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875772-1245158863.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455daeae9aaa9768f332064b32a16167 RANDOM SEED=383339416 node30.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.273 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.273 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1959008 kB Buffers: 11500 kB Cached: 44328 kB SwapCached: 0 kB Active: 41452 kB Inactive: 27164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1959008 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2476 kB Writeback: 0 kB Mapped: 22556 kB Slab: 14368 kB Committed_AS: 50256 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875772-1245158863.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 15:57:46