Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.11 | 1804.71 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e5.opb |
MD5SUM | ad6c04a791a5d9edc6d6bca9a842a8ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 503 |
Best CPU time to get the best result obtained on this benchmark | 40.4648 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 503 |
Optimality of the best value was proved | YES |
Number of variables | 1044 |
Total number of constraints | 12158 |
Number of constraints which are clauses | 12158 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 1044 |
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 | 1044 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1044 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875684-1245152313.opb. 0.00/0.00 c Instance file HOME/instance-1875684-1245152313.opb 0.00/0.00 c File size is 488259 bytes. 0.04/0.06 c Highest Coefficient sum: 33 0.04/0.06 c ============================[ Problem Statistics ]============================= 0.04/0.06 c | | 0.04/0.07 c | Parsing time: 0.06 s | 0.04/0.07 c | Number Variables: 1044 | 0.04/0.07 c | Number Clauses: 13202 | 0.04/0.07 c | Number Cardinality: 0 | 0.04/0.07 c | Number PB Constraints: 0 | 0.04/0.07 c core #1 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 1 0.04/0.07 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.04/0.07 c core #2 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 2 0.04/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.04/0.08 c core #3 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 3 0.04/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #4 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 4 0.04/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.04/0.10 c core #5 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 5 0.04/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.04/0.11 c core #6 0.04/0.11 c Core size: 3 Core Weight: 1 Total Weight: 6 0.04/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.10/0.12 c core #7 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 7 0.10/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.10/0.13 c core #8 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: 8 0.10/0.13 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.10/0.14 c core #9 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 9 0.10/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.10/0.15 c core #10 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 10 0.10/0.15 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.10/0.16 c core #11 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 11 0.10/0.16 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.10/0.17 c core #12 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 12 0.10/0.17 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.10/0.18 c core #13 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 13 0.10/0.18 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #14 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 14 0.10/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.10/0.19 c core #15 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: 15 0.10/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.18/0.20 c core #16 0.18/0.20 c Core size: 3 Core Weight: 1 Total Weight: 16 0.18/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.18/0.21 c core #17 0.18/0.21 c Core size: 3 Core Weight: 1 Total Weight: 17 0.18/0.21 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.18/0.22 c core #18 0.18/0.22 c Core size: 3 Core Weight: 1 Total Weight: 18 0.18/0.22 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.18/0.23 c core #19 0.18/0.23 c Core size: 3 Core Weight: 1 Total Weight: 19 0.18/0.23 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.18/0.24 c core #20 0.18/0.24 c Core size: 3 Core Weight: 1 Total Weight: 20 0.18/0.24 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.18/0.25 c core #21 0.18/0.25 c Core size: 3 Core Weight: 1 Total Weight: 21 0.18/0.25 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.18/0.26 c core #22 0.18/0.26 c Core size: 3 Core Weight: 1 Total Weight: 22 0.18/0.26 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.18/0.27 c core #23 0.18/0.27 c Core size: 3 Core Weight: 1 Total Weight: 23 0.18/0.27 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.18/0.28 c core #24 0.18/0.28 c Core size: 3 Core Weight: 1 Total Weight: 24 0.18/0.28 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.18/0.28 c core #25 0.18/0.28 c Core size: 3 Core Weight: 1 Total Weight: 25 0.18/0.28 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.18/0.29 c core #26 0.18/0.29 c Core size: 3 Core Weight: 1 Total Weight: 26 0.18/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.28/0.30 c core #27 0.28/0.30 c Core size: 3 Core Weight: 1 Total Weight: 27 0.28/0.30 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.28/0.31 c core #28 0.28/0.31 c Core size: 3 Core Weight: 1 Total Weight: 28 0.28/0.31 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.28/0.32 c core #29 0.28/0.32 c Core size: 3 Core Weight: 1 Total Weight: 29 0.28/0.32 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.28/0.33 c core #30 0.28/0.33 c Core size: 3 Core Weight: 1 Total Weight: 30 0.28/0.33 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s 0.28/0.34 c core #31 0.28/0.34 c Core size: 3 Core Weight: 1 Total Weight: 31 0.28/0.34 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.28/0.35 c core #32 0.28/0.35 c Core size: 3 Core Weight: 1 Total Weight: 32 0.28/0.35 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.28/0.36 c core #33 0.28/0.36 c Core size: 3 Core Weight: 1 Total Weight: 33 0.28/0.36 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.28/0.37 c core #34 0.28/0.37 c Core size: 3 Core Weight: 1 Total Weight: 34 0.28/0.37 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.28/0.37 c core #35 0.28/0.37 c Core size: 3 Core Weight: 1 Total Weight: 35 0.28/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.28/0.38 c core #36 0.28/0.38 c Core size: 3 Core Weight: 1 Total Weight: 36 0.28/0.38 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.28/0.39 c core #37 0.28/0.39 c Core size: 3 Core Weight: 1 Total Weight: 37 0.28/0.39 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.38/0.40 c core #38 0.38/0.40 c Core size: 3 Core Weight: 1 Total Weight: 38 0.38/0.40 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.38/0.41 c core #39 0.38/0.41 c Core size: 3 Core Weight: 1 Total Weight: 39 0.38/0.41 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.38/0.42 c core #40 0.38/0.42 c Core size: 3 Core Weight: 1 Total Weight: 40 0.38/0.42 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.38/0.43 c core #41 0.38/0.43 c Core size: 3 Core Weight: 1 Total Weight: 41 0.38/0.43 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.38/0.44 c core #42 0.38/0.44 c Core size: 3 Core Weight: 1 Total Weight: 42 0.38/0.44 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.38/0.45 c core #43 0.38/0.45 c Core size: 3 Core Weight: 1 Total Weight: 43 0.38/0.45 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 s 0.38/0.46 c core #44 0.38/0.46 c Core size: 3 Core Weight: 1 Total Weight: 44 0.38/0.46 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.38/0.47 c core #45 0.38/0.47 c Core size: 3 Core Weight: 1 Total Weight: 45 0.38/0.47 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.38/0.47 c core #46 0.38/0.47 c Core size: 3 Core Weight: 1 Total Weight: 46 0.38/0.47 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.38/0.48 c core #47 0.38/0.48 c Core size: 3 Core Weight: 1 Total Weight: 47 0.38/0.48 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.38/0.49 c core #48 0.38/0.49 c Core size: 3 Core Weight: 1 Total Weight: 48 0.38/0.49 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.38/0.50 c core #49 0.38/0.50 c Core size: 3 Core Weight: 1 Total Weight: 49 0.38/0.50 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #50 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 50 0.49/0.51 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #51 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 51 0.49/0.52 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #52 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 52 0.49/0.53 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.54 c core #53 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 53 0.49/0.54 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #54 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 54 0.49/0.55 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #55 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 55 0.49/0.56 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #56 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 56 0.49/0.57 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #57 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 57 0.49/0.58 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.49/0.59 c core #58 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 58 0.49/0.59 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.49/0.60 c core #59 0.49/0.60 c Core size: 3 Core Weight: 1 Total Weight: 59 0.49/0.60 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.58/0.61 c core #60 0.58/0.61 c Core size: 3 Core Weight: 1 Total Weight: 60 0.58/0.61 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.58/0.62 c core #61 0.58/0.62 c Core size: 3 Core Weight: 1 Total Weight: 61 0.58/0.62 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.58/0.63 c core #62 0.58/0.63 c Core size: 3 Core Weight: 1 Total Weight: 62 0.58/0.63 c Elapsed CPU time: 0.612906 s Remaining CPU time: 1799.39 s 0.58/0.64 c core #63 0.58/0.64 c Core size: 3 Core Weight: 1 Total Weight: 63 0.58/0.64 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.58/0.64 c core #64 0.58/0.64 c Core size: 3 Core Weight: 1 Total Weight: 64 0.58/0.64 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.58/0.65 c core #65 0.58/0.65 c Core size: 3 Core Weight: 1 Total Weight: 65 0.58/0.65 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.58/0.66 c core #66 0.58/0.66 c Core size: 3 Core Weight: 1 Total Weight: 66 0.58/0.66 c Elapsed CPU time: 0.650901 s Remaining CPU time: 1799.35 s 0.58/0.67 c core #67 0.58/0.67 c Core size: 3 Core Weight: 1 Total Weight: 67 0.58/0.67 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.58/0.68 c core #68 0.58/0.68 c Core size: 3 Core Weight: 1 Total Weight: 68 0.58/0.68 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.58/0.69 c core #69 0.58/0.69 c Core size: 3 Core Weight: 1 Total Weight: 69 0.58/0.69 c Elapsed CPU time: 0.679896 s Remaining CPU time: 1799.32 s 0.68/0.70 c core #70 0.68/0.70 c Core size: 3 Core Weight: 1 Total Weight: 70 0.68/0.70 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.68/0.71 c core #71 0.68/0.71 c Core size: 3 Core Weight: 1 Total Weight: 71 0.68/0.71 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.68/0.72 c core #72 0.68/0.72 c Core size: 3 Core Weight: 1 Total Weight: 72 0.68/0.72 c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s 0.68/0.73 c core #73 0.68/0.73 c Core size: 3 Core Weight: 1 Total Weight: 73 0.68/0.73 c Elapsed CPU time: 0.716891 s Remaining CPU time: 1799.28 s 0.68/0.74 c core #74 0.68/0.74 c Core size: 3 Core Weight: 1 Total Weight: 74 0.68/0.74 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.68/0.75 c core #75 0.68/0.75 c Core size: 3 Core Weight: 1 Total Weight: 75 0.68/0.75 c Elapsed CPU time: 0.735888 s Remaining CPU time: 1799.26 s 0.68/0.76 c core #76 0.68/0.76 c Core size: 3 Core Weight: 1 Total Weight: 76 0.68/0.76 c Elapsed CPU time: 0.745886 s Remaining CPU time: 1799.25 s 0.68/0.77 c core #77 0.68/0.77 c Core size: 3 Core Weight: 1 Total Weight: 77 0.68/0.77 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.68/0.78 c core #78 0.68/0.78 c Core size: 3 Core Weight: 1 Total Weight: 78 0.68/0.78 c Elapsed CPU time: 0.764883 s Remaining CPU time: 1799.24 s 0.68/0.79 c core #79 0.68/0.79 c Core size: 3 Core Weight: 1 Total Weight: 79 0.68/0.79 c Elapsed CPU time: 0.773882 s Remaining CPU time: 1799.23 s 0.78/0.80 c core #80 0.78/0.80 c Core size: 3 Core Weight: 1 Total Weight: 80 0.78/0.80 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.78/0.81 c core #81 0.78/0.81 c Core size: 3 Core Weight: 1 Total Weight: 81 0.78/0.81 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.78/0.82 c core #82 0.78/0.82 c Core size: 3 Core Weight: 1 Total Weight: 82 0.78/0.82 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.78/0.83 c core #83 0.78/0.83 c Core size: 3 Core Weight: 1 Total Weight: 83 0.78/0.83 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.78/0.84 c core #84 0.78/0.84 c Core size: 3 Core Weight: 1 Total Weight: 84 0.78/0.84 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.78/0.85 c core #85 0.78/0.85 c Core size: 3 Core Weight: 1 Total Weight: 85 0.78/0.85 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.78/0.86 c core #86 0.78/0.86 c Core size: 3 Core Weight: 1 Total Weight: 86 0.78/0.86 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.78/0.87 c core #87 0.78/0.87 c Core size: 3 Core Weight: 1 Total Weight: 87 0.78/0.87 c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s 0.78/0.88 c core #88 0.78/0.88 c Core size: 3 Core Weight: 1 Total Weight: 88 0.78/0.88 c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s 0.78/0.89 c core #89 0.78/0.89 c Core size: 3 Core Weight: 1 Total Weight: 89 0.78/0.89 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.87/0.90 c core #90 0.87/0.90 c Core size: 3 Core Weight: 1 Total Weight: 90 0.87/0.90 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 0.87/0.91 c core #91 0.87/0.91 c Core size: 3 Core Weight: 1 Total Weight: 91 0.87/0.91 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.87/0.92 c core #92 0.87/0.92 c Core size: 3 Core Weight: 1 Total Weight: 92 0.87/0.92 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.87/0.93 c core #93 0.87/0.93 c Core size: 3 Core Weight: 1 Total Weight: 93 0.87/0.93 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.87/0.94 c core #94 0.87/0.94 c Core size: 3 Core Weight: 1 Total Weight: 94 0.87/0.94 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.87/0.95 c core #95 0.87/0.95 c Core size: 3 Core Weight: 1 Total Weight: 95 0.87/0.95 c Elapsed CPU time: 0.926859 s Remaining CPU time: 1799.07 s 0.87/0.96 c core #96 0.87/0.96 c Core size: 3 Core Weight: 1 Total Weight: 96 0.87/0.96 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.87/0.96 c core #97 0.87/0.96 c Core size: 33 Core Weight: 1 Total Weight: 97 0.87/0.96 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.87/0.97 c core #98 0.87/0.97 c Core size: 33 Core Weight: 1 Total Weight: 98 0.87/0.97 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.87/0.98 c core #99 0.87/0.98 c Core size: 33 Core Weight: 1 Total Weight: 99 0.87/0.98 c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s 0.87/0.99 c core #100 0.87/0.99 c Core size: 4 Core Weight: 1 Total Weight: 100 0.87/0.99 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.98/1.01 c core #101 0.98/1.01 c Core size: 4 Core Weight: 1 Total Weight: 101 0.98/1.01 c Elapsed CPU time: 0.98485 s Remaining CPU time: 1799.02 s 0.98/1.02 c core #102 0.98/1.02 c Core size: 4 Core Weight: 1 Total Weight: 102 0.98/1.02 c Elapsed CPU time: 0.994848 s Remaining CPU time: 1799.01 s 0.98/1.03 c core #103 0.98/1.03 c Core size: 4 Core Weight: 1 Total Weight: 103 0.98/1.03 c Elapsed CPU time: 1.00485 s Remaining CPU time: 1799 s 0.98/1.04 c core #104 0.98/1.04 c Core size: 4 Core Weight: 1 Total Weight: 104 0.98/1.04 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.98/1.05 c core #105 0.98/1.05 c Core size: 4 Core Weight: 1 Total Weight: 105 0.98/1.05 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 0.98/1.06 c core #106 0.98/1.06 c Core size: 4 Core Weight: 1 Total Weight: 106 0.98/1.06 c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s 0.98/1.07 c core #107 0.98/1.07 c Core size: 4 Core Weight: 1 Total Weight: 107 0.98/1.07 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 0.98/1.08 c core #108 0.98/1.08 c Core size: 4 Core Weight: 1 Total Weight: 108 0.98/1.08 c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s 0.98/1.09 c core #109 0.98/1.09 c Core size: 4 Core Weight: 1 Total Weight: 109 0.98/1.09 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 0.98/1.10 c core #110 0.98/1.10 c Core size: 4 Core Weight: 1 Total Weight: 110 0.98/1.10 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 1.07/1.11 c core #111 1.07/1.11 c Core size: 4 Core Weight: 1 Total Weight: 111 1.07/1.11 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.07/1.12 c core #112 1.07/1.12 c Core size: 4 Core Weight: 1 Total Weight: 112 1.07/1.12 c Elapsed CPU time: 1.09783 s Remaining CPU time: 1798.9 s 1.07/1.13 c core #113 1.07/1.13 c Core size: 4 Core Weight: 1 Total Weight: 113 1.07/1.13 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.07/1.14 c core #114 1.07/1.14 c Core size: 4 Core Weight: 1 Total Weight: 114 1.07/1.14 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.07/1.15 c core #115 1.07/1.15 c Core size: 4 Core Weight: 1 Total Weight: 115 1.07/1.15 c Elapsed CPU time: 1.12883 s Remaining CPU time: 1798.87 s 1.07/1.16 c core #116 1.07/1.16 c Core size: 4 Core Weight: 1 Total Weight: 116 1.07/1.16 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.07/1.17 c core #117 1.07/1.17 c Core size: 4 Core Weight: 1 Total Weight: 117 1.07/1.17 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.07/1.18 c core #118 1.07/1.18 c Core size: 4 Core Weight: 1 Total Weight: 118 1.07/1.18 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.07/1.19 c core #119 1.07/1.19 c Core size: 4 Core Weight: 1 Total Weight: 119 1.07/1.19 c Elapsed CPU time: 1.16882 s Remaining CPU time: 1798.83 s 1.17/1.20 c core #120 1.17/1.20 c Core size: 4 Core Weight: 1 Total Weight: 120 1.17/1.20 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.17/1.21 c core #121 1.17/1.21 c Core size: 4 Core Weight: 1 Total Weight: 121 1.17/1.21 c Elapsed CPU time: 1.18982 s Remaining CPU time: 1798.81 s 1.17/1.22 c core #122 1.17/1.22 c Core size: 4 Core Weight: 1 Total Weight: 122 1.17/1.22 c Elapsed CPU time: 1.20082 s Remaining CPU time: 1798.8 s 1.17/1.23 c core #123 1.17/1.23 c Core size: 4 Core Weight: 1 Total Weight: 123 1.17/1.23 c Elapsed CPU time: 1.21182 s Remaining CPU time: 1798.79 s 1.17/1.24 c core #124 1.17/1.24 c Core size: 4 Core Weight: 1 Total Weight: 124 1.17/1.24 c Elapsed CPU time: 1.22181 s Remaining CPU time: 1798.78 s 1.17/1.25 c core #125 1.17/1.25 c Core size: 4 Core Weight: 1 Total Weight: 125 1.17/1.25 c Elapsed CPU time: 1.23281 s Remaining CPU time: 1798.77 s 1.17/1.26 c core #126 1.17/1.26 c Core size: 4 Core Weight: 1 Total Weight: 126 1.17/1.26 c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s 1.17/1.27 c core #127 1.17/1.27 c Core size: 4 Core Weight: 1 Total Weight: 127 1.17/1.28 c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s 1.17/1.29 c core #128 1.17/1.29 c Core size: 4 Core Weight: 1 Total Weight: 128 1.17/1.29 c Elapsed CPU time: 1.26281 s Remaining CPU time: 1798.74 s 1.17/1.30 c core #129 1.17/1.30 c Core size: 4 Core Weight: 1 Total Weight: 129 1.17/1.30 c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s 1.27/1.31 c core #130 1.27/1.31 c Core size: 4 Core Weight: 1 Total Weight: 130 1.27/1.31 c Elapsed CPU time: 1.2848 s Remaining CPU time: 1798.72 s 1.27/1.32 c core #131 1.27/1.32 c Core size: 4 Core Weight: 1 Total Weight: 131 1.27/1.32 c Elapsed CPU time: 1.2948 s Remaining CPU time: 1798.71 s 1.27/1.33 c core #132 1.27/1.33 c Core size: 4 Core Weight: 1 Total Weight: 132 1.27/1.33 c Elapsed CPU time: 1.3058 s Remaining CPU time: 1798.69 s 1.27/1.34 c core #133 1.27/1.34 c Core size: 4 Core Weight: 1 Total Weight: 133 1.27/1.34 c Elapsed CPU time: 1.3168 s Remaining CPU time: 1798.68 s 1.27/1.35 c core #134 1.27/1.35 c Core size: 4 Core Weight: 1 Total Weight: 134 1.27/1.35 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.27/1.36 c core #135 1.27/1.36 c Core size: 4 Core Weight: 1 Total Weight: 135 1.27/1.36 c Elapsed CPU time: 1.3368 s Remaining CPU time: 1798.66 s 1.27/1.37 c core #136 1.27/1.37 c Core size: 4 Core Weight: 1 Total Weight: 136 1.27/1.37 c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s 1.27/1.38 c core #137 1.27/1.38 c Core size: 4 Core Weight: 1 Total Weight: 137 1.27/1.38 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.27/1.39 c core #138 1.27/1.39 c Core size: 4 Core Weight: 1 Total Weight: 138 1.27/1.39 c Elapsed CPU time: 1.36979 s Remaining CPU time: 1798.63 s 1.37/1.40 c core #139 1.37/1.40 c Core size: 4 Core Weight: 1 Total Weight: 139 1.37/1.40 c Elapsed CPU time: 1.38079 s Remaining CPU time: 1798.62 s 1.37/1.41 c core #140 1.37/1.41 c Core size: 4 Core Weight: 1 Total Weight: 140 1.37/1.41 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.37/1.43 c core #141 1.37/1.43 c Core size: 4 Core Weight: 1 Total Weight: 141 1.37/1.43 c Elapsed CPU time: 1.40179 s Remaining CPU time: 1798.6 s 1.37/1.44 c core #142 1.37/1.44 c Core size: 4 Core Weight: 1 Total Weight: 142 1.37/1.44 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.37/1.45 c core #143 1.37/1.45 c Core size: 4 Core Weight: 1 Total Weight: 143 1.37/1.45 c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s 1.37/1.46 c core #144 1.37/1.46 c Core size: 4 Core Weight: 1 Total Weight: 144 1.37/1.46 c Elapsed CPU time: 1.43378 s Remaining CPU time: 1798.57 s 1.37/1.47 c core #145 1.37/1.47 c Core size: 4 Core Weight: 1 Total Weight: 145 1.37/1.47 c Elapsed CPU time: 1.44478 s Remaining CPU time: 1798.56 s 1.37/1.48 c core #146 1.37/1.48 c Core size: 4 Core Weight: 1 Total Weight: 146 1.37/1.48 c Elapsed CPU time: 1.45578 s Remaining CPU time: 1798.54 s 1.37/1.49 c core #147 1.37/1.49 c Core size: 4 Core Weight: 1 Total Weight: 147 1.37/1.49 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.37/1.50 c core #148 1.37/1.50 c Core size: 4 Core Weight: 1 Total Weight: 148 1.37/1.50 c Elapsed CPU time: 1.47677 s Remaining CPU time: 1798.52 s 1.47/1.51 c core #149 1.47/1.51 c Core size: 4 Core Weight: 1 Total Weight: 149 1.47/1.51 c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s 1.47/1.52 c core #150 1.47/1.52 c Core size: 4 Core Weight: 1 Total Weight: 150 1.47/1.52 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.47/1.53 c core #151 1.47/1.53 c Core size: 4 Core Weight: 1 Total Weight: 151 1.47/1.53 c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s 1.47/1.54 c core #152 1.47/1.54 c Core size: 4 Core Weight: 1 Total Weight: 152 1.47/1.54 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.47/1.55 c core #153 1.47/1.55 c Core size: 4 Core Weight: 1 Total Weight: 153 1.47/1.55 c Elapsed CPU time: 1.53077 s Remaining CPU time: 1798.47 s 1.47/1.57 c core #154 1.47/1.57 c Core size: 4 Core Weight: 1 Total Weight: 154 1.47/1.57 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.47/1.58 c core #155 1.47/1.58 c Core size: 4 Core Weight: 1 Total Weight: 155 1.47/1.58 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.47/1.59 c core #156 1.47/1.59 c Core size: 4 Core Weight: 1 Total Weight: 156 1.47/1.59 c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s 1.57/1.60 c core #157 1.57/1.60 c Core size: 4 Core Weight: 1 Total Weight: 157 1.57/1.60 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.57/1.61 c core #158 1.57/1.61 c Core size: 4 Core Weight: 1 Total Weight: 158 1.57/1.61 c Elapsed CPU time: 1.58476 s Remaining CPU time: 1798.42 s 1.57/1.62 c core #159 1.57/1.62 c Core size: 4 Core Weight: 1 Total Weight: 159 1.57/1.62 c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s 1.57/1.63 c core #160 1.57/1.63 c Core size: 4 Core Weight: 1 Total Weight: 160 1.57/1.63 c Elapsed CPU time: 1.60676 s Remaining CPU time: 1798.39 s 1.57/1.64 c core #161 1.57/1.64 c Core size: 4 Core Weight: 1 Total Weight: 161 1.57/1.64 c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s 1.57/1.65 c core #162 1.57/1.65 c Core size: 4 Core Weight: 1 Total Weight: 162 1.57/1.65 c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s 1.57/1.66 c core #163 1.57/1.66 c Core size: 4 Core Weight: 1 Total Weight: 163 1.57/1.66 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.57/1.67 c core #164 1.57/1.67 c Core size: 4 Core Weight: 1 Total Weight: 164 1.57/1.67 c Elapsed CPU time: 1.64975 s Remaining CPU time: 1798.35 s 1.57/1.68 c core #165 1.57/1.68 c Core size: 4 Core Weight: 1 Total Weight: 165 1.57/1.68 c Elapsed CPU time: 1.65975 s Remaining CPU time: 1798.34 s 1.57/1.70 c core #166 1.57/1.70 c Core size: 4 Core Weight: 1 Total Weight: 166 1.57/1.70 c Elapsed CPU time: 1.66975 s Remaining CPU time: 1798.33 s 1.67/1.71 c core #167 1.67/1.71 c Core size: 4 Core Weight: 1 Total Weight: 167 1.67/1.71 c Elapsed CPU time: 1.68074 s Remaining CPU time: 1798.32 s 1.67/1.72 c core #168 1.67/1.72 c Core size: 4 Core Weight: 1 Total Weight: 168 1.67/1.72 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.67/1.73 c core #169 1.67/1.73 c Core size: 4 Core Weight: 1 Total Weight: 169 1.67/1.73 c Elapsed CPU time: 1.70274 s Remaining CPU time: 1798.3 s 1.67/1.74 c core #170 1.67/1.74 c Core size: 4 Core Weight: 1 Total Weight: 170 1.67/1.74 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.67/1.75 c core #171 1.67/1.75 c Core size: 4 Core Weight: 1 Total Weight: 171 1.67/1.75 c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s 1.67/1.76 c core #172 1.67/1.76 c Core size: 4 Core Weight: 1 Total Weight: 172 1.67/1.76 c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s 1.67/1.77 c core #173 1.67/1.77 c Core size: 4 Core Weight: 1 Total Weight: 173 1.67/1.77 c Elapsed CPU time: 1.74673 s Remaining CPU time: 1798.25 s 1.67/1.78 c core #174 1.67/1.78 c Core size: 4 Core Weight: 1 Total Weight: 174 1.67/1.78 c Elapsed CPU time: 1.75773 s Remaining CPU time: 1798.24 s 1.67/1.79 c core #175 1.67/1.79 c Core size: 4 Core Weight: 1 Total Weight: 175 1.67/1.79 c Elapsed CPU time: 1.76873 s Remaining CPU time: 1798.23 s 1.77/1.81 c core #176 1.77/1.81 c Core size: 4 Core Weight: 1 Total Weight: 176 1.77/1.81 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.77/1.82 c core #177 1.77/1.82 c Core size: 4 Core Weight: 1 Total Weight: 177 1.77/1.82 c Elapsed CPU time: 1.79173 s Remaining CPU time: 1798.21 s 1.77/1.83 c core #178 1.77/1.83 c Core size: 4 Core Weight: 1 Total Weight: 178 1.77/1.83 c Elapsed CPU time: 1.80273 s Remaining CPU time: 1798.2 s 1.77/1.84 c core #179 1.77/1.84 c Core size: 4 Core Weight: 1 Total Weight: 179 1.77/1.84 c Elapsed CPU time: 1.81272 s Remaining CPU time: 1798.19 s 1.77/1.85 c core #180 1.77/1.85 c Core size: 4 Core Weight: 1 Total Weight: 180 1.77/1.85 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.77/1.86 c core #181 1.77/1.86 c Core size: 4 Core Weight: 1 Total Weight: 181 1.77/1.86 c Elapsed CPU time: 1.83472 s Remaining CPU time: 1798.17 s 1.77/1.87 c core #182 1.77/1.87 c Core size: 4 Core Weight: 1 Total Weight: 182 1.77/1.87 c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s 1.77/1.88 c core #183 1.77/1.88 c Core size: 4 Core Weight: 1 Total Weight: 183 1.77/1.88 c Elapsed CPU time: 1.85672 s Remaining CPU time: 1798.14 s 1.77/1.89 c core #184 1.77/1.89 c Core size: 4 Core Weight: 1 Total Weight: 184 1.77/1.89 c Elapsed CPU time: 1.86772 s Remaining CPU time: 1798.13 s 1.87/1.90 c core #185 1.87/1.90 c Core size: 4 Core Weight: 1 Total Weight: 185 1.87/1.90 c Elapsed CPU time: 1.87871 s Remaining CPU time: 1798.12 s 1.87/1.92 c core #186 1.87/1.92 c Core size: 4 Core Weight: 1 Total Weight: 186 1.87/1.92 c Elapsed CPU time: 1.88971 s Remaining CPU time: 1798.11 s 1.87/1.93 c core #187 1.87/1.93 c Core size: 4 Core Weight: 1 Total Weight: 187 1.87/1.93 c Elapsed CPU time: 1.89971 s Remaining CPU time: 1798.1 s 1.87/1.94 c core #188 1.87/1.94 c Core size: 4 Core Weight: 1 Total Weight: 188 1.87/1.94 c Elapsed CPU time: 1.91171 s Remaining CPU time: 1798.09 s 1.87/1.95 c core #189 1.87/1.95 c Core size: 4 Core Weight: 1 Total Weight: 189 1.87/1.95 c Elapsed CPU time: 1.92271 s Remaining CPU time: 1798.08 s 1.87/1.96 c core #190 1.87/1.96 c Core size: 4 Core Weight: 1 Total Weight: 190 1.87/1.96 c Elapsed CPU time: 1.93471 s Remaining CPU time: 1798.07 s 1.87/1.97 c core #191 1.87/1.97 c Core size: 4 Core Weight: 1 Total Weight: 191 1.87/1.97 c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s 1.87/1.98 c core #192 1.87/1.98 c Core size: 4 Core Weight: 1 Total Weight: 192 1.87/1.98 c Elapsed CPU time: 1.9567 s Remaining CPU time: 1798.04 s 1.87/1.99 c core #193 1.87/1.99 c Core size: 4 Core Weight: 1 Total Weight: 193 1.87/1.99 c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s 1.96/2.01 c core #194 1.96/2.01 c Core size: 4 Core Weight: 1 Total Weight: 194 1.96/2.01 c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s 1.96/2.02 c core #195 1.96/2.02 c Core size: 4 Core Weight: 1 Total Weight: 195 1.96/2.02 c Elapsed CPU time: 1.9887 s Remaining CPU time: 1798.01 s 1.96/2.03 c core #196 1.96/2.03 c Core size: 4 Core Weight: 1 Total Weight: 196 1.96/2.03 c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s 1.96/2.04 c core #197 1.96/2.04 c Core size: 4 Core Weight: 1 Total Weight: 197 1.96/2.04 c Elapsed CPU time: 2.01169 s Remaining CPU time: 1797.99 s 1.96/2.05 c core #198 1.96/2.05 c Core size: 4 Core Weight: 1 Total Weight: 198 1.96/2.05 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 1.96/2.06 c core #199 1.96/2.06 c Core size: 4 Core Weight: 1 Total Weight: 199 1.96/2.06 c Elapsed CPU time: 2.03469 s Remaining CPU time: 1797.97 s 1.96/2.08 c core #200 1.96/2.08 c Core size: 4 Core Weight: 1 Total Weight: 200 1.96/2.08 c Elapsed CPU time: 2.04669 s Remaining CPU time: 1797.95 s 1.96/2.09 c core #201 1.96/2.09 c Core size: 4 Core Weight: 1 Total Weight: 201 1.96/2.09 c Elapsed CPU time: 2.05769 s Remaining CPU time: 1797.94 s 1.96/2.10 c core #202 1.96/2.10 c Core size: 4 Core Weight: 1 Total Weight: 202 1.96/2.10 c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s 1.96/2.11 c core #203 1.96/2.11 c Core size: 4 Core Weight: 1 Total Weight: 203 1.96/2.11 c Elapsed CPU time: 2.07968 s Remaining CPU time: 1797.92 s 2.08/2.12 c core #204 2.08/2.12 c Core size: 4 Core Weight: 1 Total Weight: 204 2.08/2.12 c Elapsed CPU time: 2.09068 s Remaining CPU time: 1797.91 s 2.08/2.13 c core #205 2.08/2.13 c Core size: 4 Core Weight: 1 Total Weight: 205 2.08/2.13 c Elapsed CPU time: 2.10268 s Remaining CPU time: 1797.9 s 2.08/2.14 c core #206 2.08/2.14 c Core size: 4 Core Weight: 1 Total Weight: 206 2.08/2.14 c Elapsed CPU time: 2.11368 s Remaining CPU time: 1797.89 s 2.08/2.16 c core #207 2.08/2.16 c Core size: 4 Core Weight: 1 Total Weight: 207 2.08/2.16 c Elapsed CPU time: 2.12468 s Remaining CPU time: 1797.88 s 2.08/2.17 c core #208 2.08/2.17 c Core size: 4 Core Weight: 1 Total Weight: 208 2.08/2.17 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.08/2.18 c core #209 2.08/2.18 c Core size: 4 Core Weight: 1 Total Weight: 209 2.08/2.18 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.08/2.19 c core #210 2.08/2.19 c Core size: 48 Core Weight: 1 Total Weight: 210 2.08/2.19 c Elapsed CPU time: 2.15967 s Remaining CPU time: 1797.84 s 2.08/2.20 c core #211 2.08/2.20 c Core size: 67 Core Weight: 1 Total Weight: 211 2.08/2.20 c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s 2.19/2.22 c core #212 2.19/2.22 c Core size: 67 Core Weight: 1 Total Weight: 212 2.19/2.22 c Elapsed CPU time: 2.18567 s Remaining CPU time: 1797.81 s 2.19/2.23 c core #213 2.19/2.23 c Core size: 70 Core Weight: 1 Total Weight: 213 2.19/2.23 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.19/2.25 c core #214 2.19/2.25 c Core size: 70 Core Weight: 1 Total Weight: 214 2.19/2.25 c Elapsed CPU time: 2.21566 s Remaining CPU time: 1797.78 s 2.19/2.26 c core #215 2.19/2.26 c Core size: 71 Core Weight: 1 Total Weight: 215 2.19/2.26 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.19/2.28 c core #216 2.19/2.28 c Core size: 71 Core Weight: 1 Total Weight: 216 2.19/2.28 c Elapsed CPU time: 2.24566 s Remaining CPU time: 1797.75 s 2.19/2.29 c core #217 2.19/2.29 c Core size: 68 Core Weight: 1 Total Weight: 217 2.19/2.29 c Elapsed CPU time: 2.26066 s Remaining CPU time: 1797.74 s 2.27/2.31 c core #218 2.27/2.31 c Core size: 71 Core Weight: 1 Total Weight: 218 2.27/2.31 c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s 2.27/2.32 c core #219 2.27/2.32 c Core size: 72 Core Weight: 1 Total Weight: 219 2.27/2.32 c Elapsed CPU time: 2.29165 s Remaining CPU time: 1797.71 s 2.27/2.34 c core #220 2.27/2.34 c Core size: 69 Core Weight: 1 Total Weight: 220 2.27/2.34 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.27/2.35 c core #221 2.27/2.35 c Core size: 71 Core Weight: 1 Total Weight: 221 2.27/2.35 c Elapsed CPU time: 2.32165 s Remaining CPU time: 1797.68 s 2.27/2.37 c core #222 2.27/2.37 c Core size: 71 Core Weight: 1 Total Weight: 222 2.27/2.37 c Elapsed CPU time: 2.33664 s Remaining CPU time: 1797.66 s 2.27/2.38 c core #223 2.27/2.38 c Core size: 71 Core Weight: 1 Total Weight: 223 2.27/2.38 c Elapsed CPU time: 2.35164 s Remaining CPU time: 1797.65 s 2.37/2.40 c core #224 2.37/2.40 c Core size: 70 Core Weight: 1 Total Weight: 224 2.37/2.40 c Elapsed CPU time: 2.36764 s Remaining CPU time: 1797.63 s 2.37/2.42 c core #225 2.37/2.42 c Core size: 71 Core Weight: 1 Total Weight: 225 2.37/2.42 c Elapsed CPU time: 2.38364 s Remaining CPU time: 1797.62 s 2.37/2.43 c core #226 2.37/2.43 c Core size: 71 Core Weight: 1 Total Weight: 226 2.37/2.43 c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s 2.37/2.45 c core #227 2.37/2.45 c Core size: 71 Core Weight: 1 Total Weight: 227 2.37/2.45 c Elapsed CPU time: 2.41463 s Remaining CPU time: 1797.59 s 2.37/2.46 c core #228 2.37/2.46 c Core size: 71 Core Weight: 1 Total Weight: 228 2.37/2.46 c Elapsed CPU time: 2.43063 s Remaining CPU time: 1797.57 s 2.37/2.48 c core #229 2.37/2.48 c Core size: 48 Core Weight: 1 Total Weight: 229 2.37/2.48 c Elapsed CPU time: 2.44263 s Remaining CPU time: 1797.56 s 2.37/2.49 c core #230 2.37/2.49 c Core size: 67 Core Weight: 1 Total Weight: 230 2.37/2.49 c Elapsed CPU time: 2.45563 s Remaining CPU time: 1797.54 s 2.47/2.51 c core #231 2.47/2.51 c Core size: 67 Core Weight: 1 Total Weight: 231 2.47/2.51 c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s 2.47/2.52 c core #232 2.47/2.52 c Core size: 70 Core Weight: 1 Total Weight: 232 2.47/2.52 c Elapsed CPU time: 2.48662 s Remaining CPU time: 1797.51 s 2.47/2.54 c core #233 2.47/2.54 c Core size: 70 Core Weight: 1 Total Weight: 233 2.47/2.54 c Elapsed CPU time: 2.50162 s Remaining CPU time: 1797.5 s 2.47/2.56 c core #234 2.47/2.56 c Core size: 71 Core Weight: 1 Total Weight: 234 2.47/2.56 c Elapsed CPU time: 2.51762 s Remaining CPU time: 1797.48 s 2.47/2.57 c core #235 2.47/2.57 c Core size: 71 Core Weight: 1 Total Weight: 235 2.47/2.57 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.47/2.59 c core #236 2.47/2.59 c Core size: 68 Core Weight: 1 Total Weight: 236 2.47/2.59 c Elapsed CPU time: 2.55061 s Remaining CPU time: 1797.45 s 2.56/2.61 c core #237 2.56/2.61 c Core size: 71 Core Weight: 1 Total Weight: 237 2.56/2.61 c Elapsed CPU time: 2.56761 s Remaining CPU time: 1797.43 s 2.56/2.62 c core #238 2.56/2.62 c Core size: 72 Core Weight: 1 Total Weight: 238 2.56/2.62 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.56/2.64 c core #239 2.56/2.64 c Core size: 69 Core Weight: 1 Total Weight: 239 2.56/2.64 c Elapsed CPU time: 2.6016 s Remaining CPU time: 1797.4 s 2.56/2.66 c core #240 2.56/2.66 c Core size: 71 Core Weight: 1 Total Weight: 240 2.56/2.66 c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s 2.56/2.67 c core #241 2.56/2.67 c Core size: 71 Core Weight: 1 Total Weight: 241 2.56/2.67 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.56/2.69 c core #242 2.56/2.69 c Core size: 71 Core Weight: 1 Total Weight: 242 2.56/2.69 c Elapsed CPU time: 2.6506 s Remaining CPU time: 1797.35 s 2.67/2.71 c core #243 2.67/2.71 c Core size: 70 Core Weight: 1 Total Weight: 243 2.67/2.71 c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s 2.67/2.73 c core #244 2.67/2.73 c Core size: 71 Core Weight: 1 Total Weight: 244 2.67/2.73 c Elapsed CPU time: 2.68559 s Remaining CPU time: 1797.31 s 2.67/2.74 c core #245 2.67/2.74 c Core size: 71 Core Weight: 1 Total Weight: 245 2.67/2.74 c Elapsed CPU time: 2.70259 s Remaining CPU time: 1797.3 s 2.67/2.76 c core #246 2.67/2.76 c Core size: 71 Core Weight: 1 Total Weight: 246 2.67/2.76 c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s 2.67/2.78 c core #247 2.67/2.78 c Core size: 71 Core Weight: 1 Total Weight: 247 2.67/2.78 c Elapsed CPU time: 2.73758 s Remaining CPU time: 1797.26 s 2.67/2.79 c core #248 2.67/2.79 c Core size: 48 Core Weight: 1 Total Weight: 248 2.67/2.79 c Elapsed CPU time: 2.75258 s Remaining CPU time: 1797.25 s 2.77/2.81 c core #249 2.77/2.81 c Core size: 67 Core Weight: 1 Total Weight: 249 2.77/2.81 c Elapsed CPU time: 2.76858 s Remaining CPU time: 1797.23 s 2.77/2.83 c core #250 2.77/2.83 c Core size: 67 Core Weight: 1 Total Weight: 250 2.77/2.83 c Elapsed CPU time: 2.78558 s Remaining CPU time: 1797.21 s 2.77/2.84 c core #251 2.77/2.84 c Core size: 70 Core Weight: 1 Total Weight: 251 2.77/2.84 c Elapsed CPU time: 2.80257 s Remaining CPU time: 1797.2 s 2.77/2.86 c core #252 2.77/2.86 c Core size: 70 Core Weight: 1 Total Weight: 252 2.77/2.86 c Elapsed CPU time: 2.82157 s Remaining CPU time: 1797.18 s 2.77/2.88 c core #253 2.77/2.88 c Core size: 71 Core Weight: 1 Total Weight: 253 2.77/2.88 c Elapsed CPU time: 2.83957 s Remaining CPU time: 1797.16 s 2.86/2.90 c core #254 2.86/2.90 c Core size: 71 Core Weight: 1 Total Weight: 254 2.86/2.90 c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s 2.86/2.92 c core #255 2.86/2.92 c Core size: 68 Core Weight: 1 Total Weight: 255 2.86/2.92 c Elapsed CPU time: 2.87656 s Remaining CPU time: 1797.12 s 2.86/2.94 c core #256 2.86/2.94 c Core size: 71 Core Weight: 1 Total Weight: 256 2.86/2.94 c Elapsed CPU time: 2.89456 s Remaining CPU time: 1797.11 s 2.86/2.95 c core #257 2.86/2.95 c Core size: 72 Core Weight: 1 Total Weight: 257 2.86/2.95 c Elapsed CPU time: 2.91256 s Remaining CPU time: 1797.09 s 2.86/2.97 c core #258 2.86/2.97 c Core size: 69 Core Weight: 1 Total Weight: 258 2.86/2.97 c Elapsed CPU time: 2.93055 s Remaining CPU time: 1797.07 s 2.86/2.99 c core #259 2.86/2.99 c Core size: 71 Core Weight: 1 Total Weight: 259 2.86/2.99 c Elapsed CPU time: 2.94855 s Remaining CPU time: 1797.05 s 2.96/3.01 c core #260 2.96/3.01 c Core size: 71 Core Weight: 1 Total Weight: 260 2.96/3.01 c Elapsed CPU time: 2.96755 s Remaining CPU time: 1797.03 s 2.96/3.03 c core #261 2.96/3.03 c Core size: 71 Core Weight: 1 Total Weight: 261 2.96/3.03 c Elapsed CPU time: 2.98555 s Remaining CPU time: 1797.01 s 2.96/3.05 c core #262 2.96/3.05 c Core size: 70 Core Weight: 1 Total Weight: 262 2.96/3.05 c Elapsed CPU time: 3.00454 s Remaining CPU time: 1797 s 2.96/3.07 c core #263 2.96/3.07 c Core size: 71 Core Weight: 1 Total Weight: 263 2.96/3.07 c Elapsed CPU time: 3.02254 s Remaining CPU time: 1796.98 s 2.96/3.08 c core #264 2.96/3.08 c Core size: 71 Core Weight: 1 Total Weight: 264 2.96/3.08 c Elapsed CPU time: 3.04154 s Remaining CPU time: 1796.96 s 3.06/3.10 c core #265 3.06/3.10 c Core size: 71 Core Weight: 1 Total Weight: 265 3.06/3.10 c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s 3.06/3.12 c core #266 3.06/3.12 c Core size: 71 Core Weight: 1 Total Weight: 266 3.06/3.12 c Elapsed CPU time: 3.08053 s Remaining CPU time: 1796.92 s 3.06/3.14 c core #267 3.06/3.14 c Core size: 205 Core Weight: 1 Total Weight: 267 3.06/3.14 c Elapsed CPU time: 3.09653 s Remaining CPU time: 1796.9 s 3.06/3.16 c ============================[ Search Statistics ]============================== 3.06/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.06/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.06/3.16 c =============================================================================== 3.06/3.16 c | 0 | 2088 13469 53658 | 5000 0 nan | 0.000 % | 3.06/3.16 c =============================================================================== 3.06/3.16 c core #268 3.06/3.16 c Core size: 15 Core Weight: 1 Total Weight: 268 3.06/3.16 c Elapsed CPU time: 3.11353 s Remaining CPU time: 1796.89 s 3.06/3.17 c ============================[ Search Statistics ]============================== 3.06/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.06/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.06/3.17 c =============================================================================== 3.06/3.17 c | 0 | 2095 13470 53672 | 5000 0 nan | 0.000 % | 3.06/3.17 c =============================================================================== 3.06/3.17 c core #269 3.06/3.17 c Core size: 15 Core Weight: 1 Total Weight: 269 3.06/3.17 c Elapsed CPU time: 3.12852 s Remaining CPU time: 1796.87 s 3.06/3.19 c ============================[ Search Statistics ]============================== 3.06/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.06/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.06/3.19 c =============================================================================== 3.06/3.19 c | 0 | 2102 13471 53686 | 5000 0 nan | 0.000 % | 3.06/3.19 c =============================================================================== 3.06/3.19 c core #270 3.06/3.19 c Core size: 15 Core Weight: 1 Total Weight: 270 3.06/3.19 c Elapsed CPU time: 3.14452 s Remaining CPU time: 1796.86 s 3.16/3.20 c ============================[ Search Statistics ]============================== 3.16/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.20 c =============================================================================== 3.16/3.20 c | 0 | 2109 13472 53700 | 5000 0 nan | 0.000 % | 3.16/3.21 c =============================================================================== 3.16/3.21 c core #271 3.16/3.21 c Core size: 19 Core Weight: 1 Total Weight: 271 3.16/3.21 c Elapsed CPU time: 3.16052 s Remaining CPU time: 1796.84 s 3.16/3.22 c ============================[ Search Statistics ]============================== 3.16/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.22 c =============================================================================== 3.16/3.22 c | 0 | 2118 13473 53718 | 5000 0 nan | 0.000 % | 3.16/3.22 c =============================================================================== 3.16/3.22 c core #272 3.16/3.22 c Core size: 17 Core Weight: 1 Total Weight: 272 3.16/3.22 c Elapsed CPU time: 3.17552 s Remaining CPU time: 1796.82 s 3.16/3.24 c ============================[ Search Statistics ]============================== 3.16/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.24 c =============================================================================== 3.16/3.24 c | 0 | 2126 13474 53734 | 5000 0 nan | 0.000 % | 3.16/3.24 c =============================================================================== 3.16/3.24 c core #273 3.16/3.24 c Core size: 85 Core Weight: 1 Total Weight: 273 3.16/3.24 c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s 3.16/3.25 c ============================[ Search Statistics ]============================== 3.16/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.25 c =============================================================================== 3.16/3.25 c | 0 | 2138 13475 53758 | 5000 0 nan | 0.000 % | 3.16/3.26 c =============================================================================== 3.16/3.26 c core #274 3.16/3.26 c Core size: 17 Core Weight: 1 Total Weight: 274 3.16/3.26 c Elapsed CPU time: 3.20751 s Remaining CPU time: 1796.79 s 3.16/3.27 c ============================[ Search Statistics ]============================== 3.16/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.27 c =============================================================================== 3.16/3.27 c | 0 | 2146 13476 53774 | 5000 0 nan | 0.000 % | 3.16/3.27 c =============================================================================== 3.16/3.27 c core #275 3.16/3.27 c Core size: 82 Core Weight: 1 Total Weight: 275 3.16/3.27 c Elapsed CPU time: 3.22251 s Remaining CPU time: 1796.78 s 3.16/3.29 c ============================[ Search Statistics ]============================== 3.16/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.16/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.16/3.29 c =============================================================================== 3.16/3.29 c | 0 | 2156 13477 53794 | 5000 0 nan | 0.000 % | 3.16/3.29 c =============================================================================== 3.16/3.29 c core #276 3.16/3.29 c Core size: 13 Core Weight: 1 Total Weight: 276 3.16/3.29 c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s 3.26/3.30 c ============================[ Search Statistics ]============================== 3.26/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.30 c =============================================================================== 3.26/3.30 c | 0 | 2162 13478 53806 | 5000 0 nan | 0.000 % | 3.26/3.31 c =============================================================================== 3.26/3.31 c core #277 3.26/3.31 c Core size: 80 Core Weight: 1 Total Weight: 277 3.26/3.31 c Elapsed CPU time: 3.2565 s Remaining CPU time: 1796.74 s 3.26/3.32 c ============================[ Search Statistics ]============================== 3.26/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.32 c =============================================================================== 3.26/3.32 c | 0 | 2170 13479 53822 | 5000 0 nan | 0.000 % | 3.26/3.32 c =============================================================================== 3.26/3.32 c core #278 3.26/3.32 c Core size: 84 Core Weight: 1 Total Weight: 278 3.26/3.32 c Elapsed CPU time: 3.2715 s Remaining CPU time: 1796.73 s 3.26/3.34 c ============================[ Search Statistics ]============================== 3.26/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.34 c =============================================================================== 3.26/3.34 c | 0 | 2181 13480 53844 | 5000 0 nan | 0.000 % | 3.26/3.34 c =============================================================================== 3.26/3.34 c core #279 3.26/3.34 c Core size: 82 Core Weight: 1 Total Weight: 279 3.26/3.34 c Elapsed CPU time: 3.2865 s Remaining CPU time: 1796.71 s 3.26/3.35 c ============================[ Search Statistics ]============================== 3.26/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.35 c =============================================================================== 3.26/3.35 c | 0 | 2191 13481 53864 | 5000 0 nan | 0.000 % | 3.26/3.36 c =============================================================================== 3.26/3.36 c core #280 3.26/3.36 c Core size: 83 Core Weight: 1 Total Weight: 280 3.26/3.36 c Elapsed CPU time: 3.3025 s Remaining CPU time: 1796.7 s 3.26/3.37 c ============================[ Search Statistics ]============================== 3.26/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.37 c =============================================================================== 3.26/3.37 c | 0 | 2201 13482 53884 | 5000 0 nan | 0.000 % | 3.26/3.37 c =============================================================================== 3.26/3.37 c core #281 3.26/3.37 c Core size: 17 Core Weight: 1 Total Weight: 281 3.26/3.37 c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s 3.26/3.39 c ============================[ Search Statistics ]============================== 3.26/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.26/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.26/3.39 c =============================================================================== 3.26/3.39 c | 0 | 2209 13483 53900 | 5000 0 nan | 0.000 % | 3.26/3.39 c =============================================================================== 3.26/3.39 c core #282 3.26/3.39 c Core size: 15 Core Weight: 1 Total Weight: 282 3.26/3.39 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.34/3.40 c ============================[ Search Statistics ]============================== 3.34/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.40 c =============================================================================== 3.34/3.40 c | 0 | 2216 13484 53914 | 5000 0 nan | 0.000 % | 3.34/3.41 c =============================================================================== 3.34/3.41 c core #283 3.34/3.41 c Core size: 25 Core Weight: 1 Total Weight: 283 3.34/3.41 c Elapsed CPU time: 3.34949 s Remaining CPU time: 1796.65 s 3.34/3.42 c ============================[ Search Statistics ]============================== 3.34/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.42 c =============================================================================== 3.34/3.42 c | 0 | 2228 13485 53938 | 5000 0 nan | 0.000 % | 3.34/3.42 c =============================================================================== 3.34/3.42 c core #284 3.34/3.42 c Core size: 83 Core Weight: 1 Total Weight: 284 3.34/3.42 c Elapsed CPU time: 3.36549 s Remaining CPU time: 1796.63 s 3.34/3.44 c ============================[ Search Statistics ]============================== 3.34/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.44 c =============================================================================== 3.34/3.44 c | 0 | 2238 13486 53958 | 5000 0 nan | 0.000 % | 3.34/3.44 c =============================================================================== 3.34/3.44 c core #285 3.34/3.44 c Core size: 81 Core Weight: 1 Total Weight: 285 3.34/3.44 c Elapsed CPU time: 3.38248 s Remaining CPU time: 1796.62 s 3.34/3.45 c ============================[ Search Statistics ]============================== 3.34/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.45 c =============================================================================== 3.34/3.45 c | 0 | 2246 13487 53974 | 5000 0 nan | 0.000 % | 3.34/3.46 c =============================================================================== 3.34/3.46 c core #286 3.34/3.46 c Core size: 36 Core Weight: 1 Total Weight: 286 3.34/3.46 c Elapsed CPU time: 3.39848 s Remaining CPU time: 1796.6 s 3.34/3.47 c ============================[ Search Statistics ]============================== 3.34/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.47 c =============================================================================== 3.34/3.47 c | 0 | 2261 13488 54004 | 5000 0 nan | 0.000 % | 3.34/3.47 c =============================================================================== 3.34/3.47 c core #287 3.34/3.47 c Core size: 15 Core Weight: 1 Total Weight: 287 3.34/3.47 c Elapsed CPU time: 3.41548 s Remaining CPU time: 1796.58 s 3.34/3.49 c Learning 2 hard constraints 3.34/3.49 c ============================[ Search Statistics ]============================== 3.34/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.49 c =============================================================================== 3.34/3.49 c | 0 | 2268 13491 54077 | 5000 0 nan | 0.000 % | 3.34/3.49 c =============================================================================== 3.34/3.49 c core #288 3.34/3.49 c Core size: 15 Core Weight: 1 Total Weight: 288 3.34/3.49 c Elapsed CPU time: 3.43648 s Remaining CPU time: 1796.56 s 3.45/3.51 c ============================[ Search Statistics ]============================== 3.45/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.51 c =============================================================================== 3.45/3.51 c | 0 | 2275 13492 54091 | 5000 0 nan | 0.000 % | 3.45/3.51 c =============================================================================== 3.45/3.51 c core #289 3.45/3.51 c Core size: 70 Core Weight: 1 Total Weight: 289 3.45/3.51 c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s 3.45/3.53 c ============================[ Search Statistics ]============================== 3.45/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.53 c =============================================================================== 3.45/3.53 c | 0 | 2300 13493 54141 | 5000 0 nan | 0.000 % | 3.45/3.53 c =============================================================================== 3.45/3.53 c core #290 3.45/3.53 c Core size: 19 Core Weight: 1 Total Weight: 290 3.45/3.53 c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s 3.45/3.55 c ============================[ Search Statistics ]============================== 3.45/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.55 c =============================================================================== 3.45/3.55 c | 0 | 2309 13494 54159 | 5000 0 nan | 0.000 % | 3.45/3.55 c =============================================================================== 3.45/3.55 c core #291 3.45/3.55 c Core size: 17 Core Weight: 1 Total Weight: 291 3.45/3.55 c Elapsed CPU time: 3.49247 s Remaining CPU time: 1796.51 s 3.45/3.57 c ============================[ Search Statistics ]============================== 3.45/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.57 c =============================================================================== 3.45/3.57 c | 0 | 2317 13495 54175 | 5000 0 nan | 0.000 % | 3.45/3.57 c =============================================================================== 3.45/3.57 c core #292 3.45/3.57 c Core size: 15 Core Weight: 1 Total Weight: 292 3.45/3.57 c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 s 3.45/3.59 c ============================[ Search Statistics ]============================== 3.45/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.59 c =============================================================================== 3.45/3.59 c | 0 | 2324 13496 54189 | 5000 0 nan | 0.000 % | 3.45/3.59 c =============================================================================== 3.45/3.59 c core #293 3.45/3.59 c Core size: 85 Core Weight: 1 Total Weight: 293 3.45/3.59 c Elapsed CPU time: 3.52946 s Remaining CPU time: 1796.47 s 3.55/3.61 c ============================[ Search Statistics ]============================== 3.55/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.61 c =============================================================================== 3.55/3.61 c | 0 | 2336 13497 54213 | 5000 0 nan | 0.000 % | 3.55/3.61 c =============================================================================== 3.55/3.61 c core #294 3.55/3.61 c Core size: 13 Core Weight: 1 Total Weight: 294 3.55/3.61 c Elapsed CPU time: 3.54846 s Remaining CPU time: 1796.45 s 3.55/3.63 c ============================[ Search Statistics ]============================== 3.55/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.63 c =============================================================================== 3.55/3.63 c | 0 | 2342 13498 54225 | 5000 0 nan | 0.000 % | 3.55/3.63 c =============================================================================== 3.55/3.63 c core #295 3.55/3.63 c Core size: 13 Core Weight: 1 Total Weight: 295 3.55/3.63 c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s 3.55/3.65 c ============================[ Search Statistics ]============================== 3.55/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.65 c =============================================================================== 3.55/3.65 c | 0 | 2348 13499 54237 | 5000 0 nan | 0.000 % | 3.55/3.65 c =============================================================================== 3.55/3.65 c core #296 3.55/3.65 c Core size: 13 Core Weight: 1 Total Weight: 296 3.55/3.65 c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s 3.55/3.66 c ============================[ Search Statistics ]============================== 3.55/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.66 c =============================================================================== 3.55/3.66 c | 0 | 2354 13500 54249 | 5000 0 nan | 0.000 % | 3.55/3.67 c =============================================================================== 3.55/3.67 c core #297 3.55/3.67 c Core size: 15 Core Weight: 1 Total Weight: 297 3.55/3.67 c Elapsed CPU time: 3.60445 s Remaining CPU time: 1796.4 s 3.55/3.68 c ============================[ Search Statistics ]============================== 3.55/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.68 c =============================================================================== 3.55/3.68 c | 0 | 2361 13501 54263 | 5000 0 nan | 0.000 % | 3.55/3.69 c =============================================================================== 3.55/3.69 c core #298 3.55/3.69 c Core size: 184 Core Weight: 1 Total Weight: 298 3.55/3.69 c Elapsed CPU time: 3.62545 s Remaining CPU time: 1796.37 s 3.65/3.71 c ============================[ Search Statistics ]============================== 3.65/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.71 c =============================================================================== 3.65/3.71 c | 0 | 2411 13502 54363 | 5000 0 nan | 0.000 % | 3.65/3.71 c =============================================================================== 3.65/3.71 c core #299 3.65/3.71 c Core size: 13 Core Weight: 1 Total Weight: 299 3.65/3.71 c Elapsed CPU time: 3.64445 s Remaining CPU time: 1796.36 s 3.65/3.73 c Learning 1 hard constraints 3.65/3.73 c ============================[ Search Statistics ]============================== 3.65/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.73 c =============================================================================== 3.65/3.73 c | 0 | 2417 13504 54405 | 5000 0 nan | 0.000 % | 3.65/3.73 c =============================================================================== 3.65/3.73 c core #300 3.65/3.73 c Core size: 84 Core Weight: 1 Total Weight: 300 3.65/3.73 c Elapsed CPU time: 3.66344 s Remaining CPU time: 1796.34 s 3.65/3.75 c Learning 3 hard constraints 3.65/3.75 c ============================[ Search Statistics ]============================== 3.65/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.75 c =============================================================================== 3.65/3.75 c | 0 | 2428 13508 54510 | 5000 0 nan | 0.000 % | 3.65/3.75 c =============================================================================== 3.65/3.75 c core #301 3.65/3.75 c Core size: 15 Core Weight: 1 Total Weight: 301 3.65/3.75 c Elapsed CPU time: 3.68444 s Remaining CPU time: 1796.32 s 3.65/3.77 c Learning 1 hard constraints 3.65/3.77 c ============================[ Search Statistics ]============================== 3.65/3.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.77 c =============================================================================== 3.65/3.77 c | 0 | 2435 13510 54555 | 5000 0 nan | 0.000 % | 3.65/3.77 c =============================================================================== 3.65/3.77 c core #302 3.65/3.77 c Core size: 14 Core Weight: 1 Total Weight: 302 3.65/3.77 c Elapsed CPU time: 3.70244 s Remaining CPU time: 1796.3 s 3.65/3.79 c Learning 1 hard constraints 3.65/3.79 c ============================[ Search Statistics ]============================== 3.65/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.79 c =============================================================================== 3.65/3.79 c | 0 | 2442 13512 54599 | 5000 0 nan | 0.000 % | 3.65/3.79 c =============================================================================== 3.65/3.79 c core #303 3.65/3.79 c Core size: 13 Core Weight: 1 Total Weight: 303 3.65/3.79 c Elapsed CPU time: 3.72343 s Remaining CPU time: 1796.28 s 3.74/3.81 c ============================[ Search Statistics ]============================== 3.74/3.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.81 c =============================================================================== 3.74/3.81 c | 0 | 2448 13513 54611 | 5000 0 nan | 0.000 % | 3.74/3.81 c =============================================================================== 3.74/3.81 c core #304 3.74/3.81 c Core size: 14 Core Weight: 1 Total Weight: 304 3.74/3.81 c Elapsed CPU time: 3.74443 s Remaining CPU time: 1796.26 s 3.74/3.83 c ============================[ Search Statistics ]============================== 3.74/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.83 c =============================================================================== 3.74/3.83 c | 0 | 2455 13514 54625 | 5000 0 nan | 0.000 % | 3.74/3.83 c =============================================================================== 3.74/3.83 c core #305 3.74/3.83 c Core size: 12 Core Weight: 1 Total Weight: 305 3.74/3.83 c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s 3.74/3.85 c ============================[ Search Statistics ]============================== 3.74/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.85 c =============================================================================== 3.74/3.85 c | 0 | 2461 13515 54637 | 5000 0 nan | 0.000 % | 3.74/3.85 c =============================================================================== 3.74/3.86 c core #306 3.74/3.86 c Core size: 12 Core Weight: 1 Total Weight: 306 3.74/3.86 c Elapsed CPU time: 3.78542 s Remaining CPU time: 1796.21 s 3.74/3.87 c ============================[ Search Statistics ]============================== 3.74/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.87 c =============================================================================== 3.74/3.87 c | 0 | 2467 13516 54649 | 5000 0 nan | 0.000 % | 3.74/3.88 c =============================================================================== 3.74/3.88 c core #307 3.74/3.88 c Core size: 17 Core Weight: 1 Total Weight: 307 3.74/3.88 c Elapsed CPU time: 3.80542 s Remaining CPU time: 1796.19 s 3.74/3.89 c ============================[ Search Statistics ]============================== 3.74/3.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.89 c =============================================================================== 3.74/3.89 c | 0 | 2475 13517 54665 | 5000 0 nan | 0.000 % | 3.74/3.90 c =============================================================================== 3.74/3.90 c core #308 3.74/3.90 c Core size: 14 Core Weight: 1 Total Weight: 308 3.74/3.90 c Elapsed CPU time: 3.82642 s Remaining CPU time: 1796.17 s 3.85/3.91 c ============================[ Search Statistics ]============================== 3.85/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.91 c =============================================================================== 3.85/3.91 c | 0 | 2482 13518 54679 | 5000 0 nan | 0.000 % | 3.85/3.92 c =============================================================================== 3.85/3.92 c core #309 3.85/3.92 c Core size: 276 Core Weight: 1 Total Weight: 309 3.85/3.92 c Elapsed CPU time: 3.84941 s Remaining CPU time: 1796.15 s 3.85/3.94 c Learning 1 hard constraints 3.85/3.94 c ============================[ Search Statistics ]============================== 3.85/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.94 c =============================================================================== 3.85/3.94 c | 0 | 2533 13520 54810 | 5000 0 nan | 0.000 % | 3.85/3.94 c =============================================================================== 3.85/3.94 c core #310 3.85/3.94 c Core size: 179 Core Weight: 1 Total Weight: 310 3.85/3.94 c Elapsed CPU time: 3.86941 s Remaining CPU time: 1796.13 s 3.85/3.96 c Learning 1 hard constraints 3.85/3.96 c ============================[ Search Statistics ]============================== 3.85/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.96 c =============================================================================== 3.85/3.96 c | 0 | 2549 13522 54867 | 5000 0 nan | 0.000 % | 3.85/3.97 c =============================================================================== 3.85/3.97 c core #311 3.85/3.97 c Core size: 84 Core Weight: 1 Total Weight: 311 3.85/3.97 c Elapsed CPU time: 3.89041 s Remaining CPU time: 1796.11 s 3.85/3.98 c ============================[ Search Statistics ]============================== 3.85/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.98 c =============================================================================== 3.85/3.98 c | 0 | 2560 13523 54889 | 5000 0 nan | 0.000 % | 3.85/3.99 c =============================================================================== 3.85/3.99 c core #312 3.85/3.99 c Core size: 91 Core Weight: 1 Total Weight: 312 3.85/3.99 c Elapsed CPU time: 3.9104 s Remaining CPU time: 1796.09 s 3.85/4.00 c ============================[ Search Statistics ]============================== 3.94/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.00 c =============================================================================== 3.94/4.00 c | 0 | 2574 13524 54917 | 5000 0 nan | 0.000 % | 3.94/4.01 c =============================================================================== 3.94/4.01 c core #313 3.94/4.01 c Core size: 19 Core Weight: 1 Total Weight: 313 3.94/4.01 c Elapsed CPU time: 3.9324 s Remaining CPU time: 1796.07 s 3.94/4.02 c ============================[ Search Statistics ]============================== 3.94/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.02 c =============================================================================== 3.94/4.02 c | 0 | 2583 13525 54935 | 5000 0 nan | 0.000 % | 3.94/4.03 c =============================================================================== 3.94/4.03 c core #314 3.94/4.03 c Core size: 13 Core Weight: 1 Total Weight: 314 3.94/4.03 c Elapsed CPU time: 3.9534 s Remaining CPU time: 1796.05 s 3.94/4.05 c ============================[ Search Statistics ]============================== 3.94/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.05 c =============================================================================== 3.94/4.05 c | 0 | 2589 13526 54947 | 5000 0 nan | 0.000 % | 3.94/4.05 c =============================================================================== 3.94/4.05 c core #315 3.94/4.05 c Core size: 15 Core Weight: 1 Total Weight: 315 3.94/4.05 c Elapsed CPU time: 3.9724 s Remaining CPU time: 1796.03 s 3.94/4.07 c ============================[ Search Statistics ]============================== 3.94/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.07 c =============================================================================== 3.94/4.07 c | 0 | 2596 13527 54961 | 5000 0 nan | 0.000 % | 3.94/4.07 c =============================================================================== 3.94/4.07 c core #316 3.94/4.07 c Core size: 81 Core Weight: 1 Total Weight: 316 3.94/4.07 c Elapsed CPU time: 3.98939 s Remaining CPU time: 1796.01 s 3.94/4.08 c ============================[ Search Statistics ]============================== 3.94/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.08 c =============================================================================== 3.94/4.08 c | 0 | 2605 13528 54979 | 5000 0 nan | 0.000 % | 3.94/4.09 c =============================================================================== 3.94/4.09 c core #317 3.94/4.09 c Core size: 15 Core Weight: 1 Total Weight: 317 3.94/4.09 c Elapsed CPU time: 4.00839 s Remaining CPU time: 1795.99 s 4.03/4.10 c ============================[ Search Statistics ]============================== 4.03/4.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.03/4.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.03/4.10 c =============================================================================== 4.03/4.10 c | 0 | 2612 13529 54993 | 5000 0 nan | 0.000 % | 4.03/4.11 c =============================================================================== 4.03/4.11 c core #318 4.03/4.11 c Core size: 19 Core Weight: 1 Total Weight: 318 4.03/4.11 c Elapsed CPU time: 4.02539 s Remaining CPU time: 1795.97 s 4.03/4.12 c ============================[ Search Statistics ]============================== 4.03/4.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.03/4.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.03/4.12 c =============================================================================== 4.03/4.12 c | 0 | 2621 13530 55011 | 5000 0 nan | 0.000 % | 4.03/4.13 c =============================================================================== 4.03/4.13 c core #319 4.03/4.13 c Core size: 13 Core Weight: 1 Total Weight: 319 4.03/4.13 c Elapsed CPU time: 4.04439 s Remaining CPU time: 1795.96 s 4.03/4.14 c Learning 4 hard constraints 4.03/4.14 c ============================[ Search Statistics ]============================== 4.03/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.03/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.03/4.14 c =============================================================================== 4.03/4.14 c | 0 | 2627 13535 55138 | 5000 0 nan | 0.000 % | 4.03/4.15 c =============================================================================== 4.03/4.15 c core #320 4.03/4.15 c Core size: 18 Core Weight: 1 Total Weight: 320 4.03/4.15 c Elapsed CPU time: 4.06438 s Remaining CPU time: 1795.94 s 4.03/4.16 c ============================[ Search Statistics ]============================== 4.03/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.03/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.03/4.16 c =============================================================================== 4.03/4.16 c | 0 | 2635 13536 55154 | 5000 0 nan | 0.000 % | 4.03/4.17 c =============================================================================== 4.03/4.17 c core #321 4.03/4.17 c Core size: 84 Core Weight: 1 Total Weight: 321 4.03/4.17 c Elapsed CPU time: 4.08338 s Remaining CPU time: 1795.92 s 4.03/4.18 c ============================[ Search Statistics ]============================== 4.03/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.03/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.03/4.18 c =============================================================================== 4.03/4.18 c | 0 | 2646 13537 55176 | 5000 0 nan | 0.000 % | 4.03/4.19 c =============================================================================== 4.03/4.19 c core #322 4.03/4.19 c Core size: 13 Core Weight: 1 Total Weight: 322 4.03/4.19 c Elapsed CPU time: 4.10238 s Remaining CPU time: 1795.9 s 4.13/4.20 c ============================[ Search Statistics ]============================== 4.13/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.13/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.13/4.20 c =============================================================================== 4.13/4.20 c | 0 | 2652 13538 55188 | 5000 0 nan | 0.000 % | 4.13/4.21 c =============================================================================== 4.13/4.21 c core #323 4.13/4.21 c Core size: 30 Core Weight: 1 Total Weight: 323 4.13/4.21 c Elapsed CPU time: 4.12137 s Remaining CPU time: 1795.88 s 4.13/4.22 c ============================[ Search Statistics ]============================== 4.13/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.13/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.13/4.22 c =============================================================================== 4.13/4.22 c | 0 | 2664 13539 55212 | 5000 0 nan | 0.000 % | 4.13/4.23 c =============================================================================== 4.13/4.23 c core #324 4.13/4.23 c Core size: 22 Core Weight: 1 Total Weight: 324 4.13/4.23 c Elapsed CPU time: 4.13937 s Remaining CPU time: 1795.86 s 4.13/4.24 c ============================[ Search Statistics ]============================== 4.13/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.13/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.13/4.24 c =============================================================================== 4.13/4.24 c | 0 | 2675 13540 55234 | 5000 0 nan | 0.000 % | 4.13/4.24 c =============================================================================== 4.13/4.24 c core #325 4.13/4.24 c Core size: 15 Core Weight: 1 Total Weight: 325 4.13/4.24 c Elapsed CPU time: 4.15737 s Remaining CPU time: 1795.84 s 4.13/4.26 c ============================[ Search Statistics ]============================== 4.13/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.13/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.13/4.26 c =============================================================================== 4.13/4.26 c | 0 | 2682 13541 55248 | 5000 0 nan | 0.000 % | 4.13/4.26 c =============================================================================== 4.13/4.26 c core #326 4.13/4.26 c Core size: 13 Core Weight: 1 Total Weight: 326 4.13/4.26 c Elapsed CPU time: 4.17537 s Remaining CPU time: 1795.82 s 4.13/4.28 c ============================[ Search Statistics ]============================== 4.13/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.13/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.13/4.28 c =============================================================================== 4.13/4.28 c | 0 | 2688 13542 55260 | 5000 0 nan | 0.000 % | 4.13/4.28 c =============================================================================== 4.13/4.28 c core #327 4.13/4.28 c Core size: 12 Core Weight: 1 Total Weight: 327 4.13/4.28 c Elapsed CPU time: 4.19236 s Remaining CPU time: 1795.81 s 4.13/4.30 c ============================[ Search Statistics ]============================== 4.13/4.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.13/4.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.13/4.30 c =============================================================================== 4.13/4.30 c | 0 | 2694 13543 55272 | 5000 0 nan | 0.000 % | 4.13/4.30 c =============================================================================== 4.13/4.30 c core #328 4.13/4.30 c Core size: 34 Core Weight: 1 Total Weight: 328 4.13/4.30 c Elapsed CPU time: 4.20936 s Remaining CPU time: 1795.79 s 4.24/4.32 c ============================[ Search Statistics ]============================== 4.24/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.32 c =============================================================================== 4.24/4.32 c | 0 | 2709 13544 55302 | 5000 0 nan | 0.000 % | 4.24/4.32 c =============================================================================== 4.24/4.32 c core #329 4.24/4.32 c Core size: 21 Core Weight: 1 Total Weight: 329 4.24/4.32 c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s 4.24/4.34 c ============================[ Search Statistics ]============================== 4.24/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.34 c =============================================================================== 4.24/4.34 c | 0 | 2718 13545 55320 | 5000 0 nan | 0.000 % | 4.24/4.34 c =============================================================================== 4.24/4.34 c core #330 4.24/4.34 c Core size: 26 Core Weight: 1 Total Weight: 330 4.24/4.34 c Elapsed CPU time: 4.24735 s Remaining CPU time: 1795.75 s 4.24/4.36 c ============================[ Search Statistics ]============================== 4.24/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.36 c =============================================================================== 4.24/4.36 c | 0 | 2729 13546 55342 | 5000 0 nan | 0.000 % | 4.24/4.36 c =============================================================================== 4.24/4.36 c core #331 4.24/4.36 c Core size: 25 Core Weight: 1 Total Weight: 331 4.24/4.36 c Elapsed CPU time: 4.26635 s Remaining CPU time: 1795.73 s 4.24/4.38 c ============================[ Search Statistics ]============================== 4.24/4.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.38 c =============================================================================== 4.24/4.38 c | 0 | 2740 13547 55364 | 5000 0 nan | 0.000 % | 4.24/4.38 c =============================================================================== 4.24/4.38 c core #332 4.24/4.38 c Core size: 27 Core Weight: 1 Total Weight: 332 4.24/4.38 c Elapsed CPU time: 4.28635 s Remaining CPU time: 1795.71 s 4.24/4.40 c ============================[ Search Statistics ]============================== 4.24/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.40 c =============================================================================== 4.24/4.40 c | 0 | 2751 13548 55386 | 5000 0 nan | 0.000 % | 4.24/4.40 c =============================================================================== 4.24/4.40 c core #333 4.24/4.40 c Core size: 91 Core Weight: 1 Total Weight: 333 4.24/4.40 c Elapsed CPU time: 4.30534 s Remaining CPU time: 1795.69 s 4.34/4.42 c ============================[ Search Statistics ]============================== 4.34/4.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.42 c =============================================================================== 4.34/4.42 c | 0 | 2764 13549 55412 | 5000 0 nan | 0.000 % | 4.34/4.42 c =============================================================================== 4.34/4.42 c core #334 4.34/4.42 c Core size: 54 Core Weight: 1 Total Weight: 334 4.34/4.42 c Elapsed CPU time: 4.32534 s Remaining CPU time: 1795.67 s 4.34/4.44 c Learning 1 hard constraints 4.34/4.44 c ============================[ Search Statistics ]============================== 4.34/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.44 c =============================================================================== 4.34/4.44 c | 0 | 2787 13551 55465 | 5000 0 nan | 0.000 % | 4.34/4.44 c =============================================================================== 4.34/4.44 c core #335 4.34/4.44 c Core size: 85 Core Weight: 1 Total Weight: 335 4.34/4.44 c Elapsed CPU time: 4.34634 s Remaining CPU time: 1795.65 s 4.34/4.46 c Learning 2 hard constraints 4.34/4.46 c ============================[ Search Statistics ]============================== 4.34/4.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.46 c =============================================================================== 4.34/4.46 c | 0 | 2798 13554 55545 | 5000 0 nan | 0.000 % | 4.34/4.46 c =============================================================================== 4.34/4.46 c core #336 4.34/4.46 c Core size: 47 Core Weight: 1 Total Weight: 336 4.34/4.46 c Elapsed CPU time: 4.36534 s Remaining CPU time: 1795.63 s 4.34/4.48 c ============================[ Search Statistics ]============================== 4.34/4.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.48 c =============================================================================== 4.34/4.48 c | 0 | 2815 13555 55579 | 5000 0 nan | 0.000 % | 4.34/4.49 c =============================================================================== 4.34/4.49 c core #337 4.34/4.49 c Core size: 267 Core Weight: 1 Total Weight: 337 4.34/4.49 c Elapsed CPU time: 4.39433 s Remaining CPU time: 1795.61 s 4.42/4.51 c Learning 12 hard constraints 4.42/4.51 c ============================[ Search Statistics ]============================== 4.42/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.51 c =============================================================================== 4.42/4.51 c | 0 | 2895 13568 56014 | 5000 0 nan | 0.000 % | 4.42/4.52 c | 100 | 2878 13568 56014 | 5500 100 19 | 0.691 % | 4.42/4.52 c =============================================================================== 4.42/4.52 c core #338 4.42/4.52 c Core size: 320 Core Weight: 1 Total Weight: 338 4.42/4.52 c Elapsed CPU time: 4.42333 s Remaining CPU time: 1795.58 s 4.42/4.54 c Learning 3 hard constraints 4.42/4.54 c ============================[ Search Statistics ]============================== 4.42/4.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.54 c =============================================================================== 4.42/4.54 c | 0 | 2980 13572 56273 | 5000 0 nan | 0.000 % | 4.42/4.56 c | 101 | 2977 13572 56273 | 5500 101 37 | 0.101 % | 4.42/4.56 c =============================================================================== 4.42/4.56 c core #339 4.42/4.56 c Core size: 298 Core Weight: 1 Total Weight: 339 4.42/4.56 c Elapsed CPU time: 4.46232 s Remaining CPU time: 1795.54 s 4.42/4.58 c Learning 63 hard constraints 4.42/4.58 c ============================[ Search Statistics ]============================== 4.42/4.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.42/4.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.42/4.58 c =============================================================================== 4.42/4.58 c | 0 | 2997 13636 58690 | 5000 0 nan | 0.000 % | 4.52/4.60 c | 100 | 2996 13636 58690 | 5500 100 35 | 0.067 % | 4.52/4.62 c | 250 | 2996 13636 58690 | 6050 250 43 | 0.067 % | 4.52/4.65 c | 475 | 2993 13636 58690 | 6655 466 39 | 0.200 % | 4.62/4.71 c | 814 | 2983 13636 58690 | 7320 793 39 | 0.601 % | 4.62/4.72 c =============================================================================== 4.62/4.73 c core #340 4.62/4.73 c Core size: 2617 Core Weight: 1 Total Weight: 340 4.62/4.73 c Elapsed CPU time: 4.6253 s Remaining CPU time: 1795.37 s 4.62/4.75 c Learning 281 hard constraints 4.62/4.75 c ============================[ Search Statistics ]============================== 4.62/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.62/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.62/4.75 c =============================================================================== 4.62/4.75 c | 0 | 3060 13918 67477 | 5000 0 nan | 0.000 % | 4.62/4.77 c | 101 | 3059 13918 67477 | 5500 101 36 | 0.033 % | 4.62/4.80 c | 251 | 3059 13918 67477 | 6050 251 51 | 0.033 % | 4.73/4.84 c | 476 | 3059 13918 67477 | 6655 476 55 | 0.033 % | 4.82/4.91 c | 813 | 3057 13918 67477 | 7320 812 60 | 0.131 % | 4.92/5.01 c | 1319 | 3048 13918 67477 | 8052 1300 61 | 0.556 % | 5.11/5.20 c | 2084 | 3021 13918 67477 | 8857 1986 63 | 1.405 % | 5.43/5.58 c | 3223 | 2993 13918 67477 | 9743 2732 61 | 2.190 % | 5.52/5.60 c =============================================================================== 5.52/5.60 c core #341 5.52/5.60 c Core size: 37 Core Weight: 1 Total Weight: 341 5.52/5.60 c Elapsed CPU time: 5.47917 s Remaining CPU time: 1794.52 s 5.52/5.64 c Learning 1642 hard constraints 5.52/5.64 c ============================[ Search Statistics ]============================== 5.52/5.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.52/5.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.52/5.64 c =============================================================================== 5.52/5.64 c | 0 | 3075 15561 148587 | 5187 0 nan | 0.000 % | 5.52/5.67 c | 100 | 3074 15561 148587 | 5705 100 43 | 0.033 % | 5.61/5.71 c | 252 | 3074 15561 148587 | 6276 252 51 | 0.033 % | 5.61/5.78 c | 477 | 3072 15561 148587 | 6903 477 56 | 0.130 % | 5.71/5.87 c | 814 | 3071 15561 148587 | 7594 814 57 | 0.195 % | 5.81/6.00 c | 1320 | 3060 15561 148587 | 8353 1310 52 | 0.650 % | 5.91/6.03 c =============================================================================== 5.91/6.03 c core #342 5.91/6.03 c Core size: 2248 Core Weight: 1 Total Weight: 342 5.91/6.03 c Elapsed CPU time: 5.8941 s Remaining CPU time: 1794.11 s 5.91/6.07 c Learning 709 hard constraints 5.91/6.07 c ============================[ Search Statistics ]============================== 5.91/6.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.91/6.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.91/6.07 c =============================================================================== 5.91/6.07 c | 0 | 3140 16271 177867 | 5423 0 nan | 0.000 % | 5.91/6.09 c | 100 | 3140 16271 177867 | 5966 100 50 | 0.064 % | 6.00/6.14 c | 250 | 3139 16271 177867 | 6562 250 51 | 0.064 % | 6.00/6.20 c | 476 | 3139 16271 177867 | 7218 476 56 | 0.064 % | 6.21/6.32 c | 813 | 3139 16271 177867 | 7940 813 60 | 0.064 % | 6.31/6.46 c | 1319 | 3138 16271 177867 | 8734 1318 58 | 0.064 % | 6.51/6.62 c =============================================================================== 6.51/6.64 c core #343 6.51/6.64 c Core size: 3876 Core Weight: 1 Total Weight: 343 6.51/6.64 c Elapsed CPU time: 6.49301 s Remaining CPU time: 1793.51 s 6.51/6.69 c Learning 1017 hard constraints 6.51/6.69 c ============================[ Search Statistics ]============================== 6.51/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.51/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.51/6.69 c =============================================================================== 6.51/6.69 c | 0 | 3189 17289 223243 | 5763 0 nan | 0.000 % | 6.60/6.72 c | 100 | 3188 17289 223243 | 6339 100 46 | 0.063 % | 6.60/6.78 c | 251 | 3187 17289 223243 | 6973 251 57 | 0.063 % | 6.70/6.85 c | 477 | 3186 17289 223243 | 7670 477 57 | 0.094 % | 6.80/6.94 c | 815 | 3185 17289 223243 | 8437 815 47 | 0.157 % | 6.80/6.95 c =============================================================================== 6.80/6.95 c core #344 6.80/6.95 c Core size: 2044 Core Weight: 1 Total Weight: 344 6.80/6.95 c Elapsed CPU time: 6.79997 s Remaining CPU time: 1793.2 s 6.80/7.00 c Learning 481 hard constraints 6.80/7.00 c ============================[ Search Statistics ]============================== 6.80/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.80/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.80/7.00 c =============================================================================== 6.80/7.00 c | 0 | 3205 17771 245339 | 5923 0 nan | 0.000 % | 6.90/7.04 c | 104 | 3204 17771 245339 | 6516 104 46 | 0.125 % | 6.90/7.10 c | 256 | 3204 17771 245339 | 7167 256 60 | 0.125 % | 7.00/7.19 c | 481 | 3204 17771 245339 | 7884 481 60 | 0.125 % | 7.20/7.35 c | 818 | 3200 17771 245339 | 8672 818 64 | 0.374 % | 7.30/7.42 c =============================================================================== 7.30/7.42 c core #345 7.30/7.42 c Core size: 1735 Core Weight: 1 Total Weight: 345 7.30/7.42 c Elapsed CPU time: 7.2659 s Remaining CPU time: 1792.73 s 7.30/7.47 c Learning 730 hard constraints 7.30/7.47 c ============================[ Search Statistics ]============================== 7.30/7.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.30/7.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.30/7.47 c =============================================================================== 7.30/7.47 c | 0 | 3217 18502 284848 | 6167 0 nan | 0.000 % | 7.41/7.53 c | 100 | 3214 18502 284848 | 6784 100 52 | 0.248 % | 7.41/7.58 c | 250 | 3212 18502 284848 | 7462 250 47 | 0.373 % | 7.51/7.65 c | 482 | 3211 18502 284848 | 8208 482 49 | 0.435 % | 7.70/7.81 c | 822 | 3208 18502 284848 | 9029 822 50 | 0.559 % | 7.70/7.87 c =============================================================================== 7.70/7.88 c core #346 7.70/7.88 c Core size: 3202 Core Weight: 1 Total Weight: 346 7.70/7.88 c Elapsed CPU time: 7.72583 s Remaining CPU time: 1792.27 s 7.80/7.94 c Learning 551 hard constraints 7.80/7.94 c ============================[ Search Statistics ]============================== 7.80/7.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.80/7.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.80/7.94 c =============================================================================== 7.80/7.94 c | 0 | 3251 19054 310002 | 6351 0 nan | 0.000 % | 7.80/7.96 c | 101 | 3251 19054 310002 | 6986 101 14 | 0.184 % | 7.80/7.97 c =============================================================================== 7.80/7.97 c core #347 7.80/7.97 c Core size: 323 Core Weight: 1 Total Weight: 347 7.80/7.97 c Elapsed CPU time: 7.80781 s Remaining CPU time: 1792.19 s 7.90/8.02 c Learning 7 hard constraints 7.90/8.02 c ============================[ Search Statistics ]============================== 7.90/8.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.90/8.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.90/8.02 c =============================================================================== 7.90/8.02 c | 0 | 3268 19062 310221 | 6354 0 nan | 0.000 % | 7.90/8.06 c | 101 | 3268 19062 310221 | 6989 101 52 | 0.123 % | 7.90/8.08 c =============================================================================== 7.90/8.08 c core #348 7.90/8.08 c Core size: 322 Core Weight: 1 Total Weight: 348 7.90/8.08 c Elapsed CPU time: 7.9218 s Remaining CPU time: 1792.08 s 8.00/8.14 c Learning 115 hard constraints 8.00/8.14 c ============================[ Search Statistics ]============================== 8.00/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.00/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.00/8.14 c =============================================================================== 8.00/8.14 c | 0 | 3290 19178 316168 | 6392 0 nan | 0.000 % | 8.00/8.19 c | 103 | 3290 19178 316168 | 7031 103 33 | 0.122 % | 8.10/8.25 c | 256 | 3290 19178 316168 | 7735 256 51 | 0.121 % | 8.20/8.34 c | 484 | 3290 19178 316168 | 8508 484 52 | 0.121 % | 8.40/8.50 c | 822 | 3290 19178 316168 | 9359 822 53 | 0.121 % | 8.60/8.79 c | 1331 | 3288 19178 316168 | 10295 1331 53 | 0.243 % | 8.99/9.10 c =============================================================================== 8.99/9.13 c core #349 8.99/9.13 c Core size: 4155 Core Weight: 1 Total Weight: 349 8.99/9.13 c Elapsed CPU time: 8.95564 s Remaining CPU time: 1791.04 s 8.99/9.19 c Learning 948 hard constraints 8.99/9.19 c ============================[ Search Statistics ]============================== 8.99/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.19 c =============================================================================== 8.99/9.19 c | 0 | 3318 20127 358486 | 6709 0 nan | 0.000 % | 9.09/9.25 c | 101 | 3318 20127 358486 | 7379 101 37 | 0.121 % | 9.20/9.33 c | 254 | 3318 20127 358486 | 8117 254 51 | 0.120 % | 9.30/9.42 c | 480 | 3317 20127 358486 | 8929 480 56 | 0.181 % | 9.50/9.62 c | 817 | 3315 20127 358486 | 9822 817 57 | 0.301 % | 9.71/9.89 c | 1324 | 3314 20127 358486 | 10804 1324 58 | 0.361 % | 10.10/10.29 c | 2086 | 3278 20127 358486 | 11885 2060 59 | 1.626 % | 10.20/10.32 c =============================================================================== 10.20/10.32 c core #350 10.20/10.32 c Core size: 491 Core Weight: 1 Total Weight: 350 10.20/10.32 c Elapsed CPU time: 10.1495 s Remaining CPU time: 1789.85 s 10.20/10.39 c Learning 1110 hard constraints 10.20/10.39 c ============================[ Search Statistics ]============================== 10.20/10.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.20/10.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.20/10.39 c =============================================================================== 10.20/10.39 c | 0 | 3359 21238 410112 | 7079 0 nan | 0.000 % | 10.30/10.46 c | 100 | 3359 21238 410112 | 7787 100 49 | 0.119 % | 10.40/10.55 c | 251 | 3359 21238 410112 | 8565 251 59 | 0.119 % | 10.50/10.68 c | 477 | 3359 21238 410112 | 9422 477 61 | 0.119 % | 10.70/10.88 c | 814 | 3358 21238 410112 | 10364 814 62 | 0.178 % | 11.09/11.23 c | 1322 | 3357 21238 410112 | 11401 1322 63 | 0.238 % | 11.50/11.70 c | 2083 | 3353 21238 410112 | 12541 2061 62 | 0.297 % | 12.30/12.41 c | 3222 | 3352 21238 410112 | 13795 3200 62 | 0.357 % | 13.19/13.36 c =============================================================================== 13.30/13.42 c core #351 13.30/13.42 c Core size: 6762 Core Weight: 1 Total Weight: 351 13.30/13.42 c Elapsed CPU time: 13.228 s Remaining CPU time: 1786.77 s 13.39/13.51 c Learning 2409 hard constraints 13.39/13.51 c ============================[ Search Statistics ]============================== 13.39/13.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.51 c =============================================================================== 13.39/13.51 c | 0 | 3398 23648 528937 | 7882 0 nan | 0.000 % | 13.49/13.60 c | 102 | 3398 23648 528937 | 8670 102 71 | 0.118 % | 13.59/13.70 c | 252 | 3398 23648 528937 | 9538 252 70 | 0.118 % | 13.79/13.91 c | 477 | 3397 23648 528937 | 10491 477 73 | 0.176 % | 14.00/14.15 c | 814 | 3397 23648 528937 | 11541 814 70 | 0.176 % | 14.40/14.53 c | 1320 | 3397 23648 528937 | 12695 1320 68 | 0.176 % | 14.80/15.00 c | 2083 | 3397 23648 528937 | 13964 2083 67 | 0.176 % | 15.69/15.84 c =============================================================================== 15.69/15.89 c core #352 15.69/15.89 c Core size: 6472 Core Weight: 1 Total Weight: 352 15.69/15.89 c Elapsed CPU time: 15.6866 s Remaining CPU time: 1784.31 s 15.79/15.98 c Learning 823 hard constraints 15.79/15.98 c ============================[ Search Statistics ]============================== 15.79/15.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.98 c =============================================================================== 15.79/15.98 c | 0 | 3431 24472 557876 | 8157 0 nan | 0.000 % | 15.89/16.08 c | 102 | 3430 24472 557876 | 8973 102 28 | 0.176 % | 15.99/16.16 c | 255 | 3430 24472 557876 | 9870 255 42 | 0.175 % | 16.18/16.36 c | 481 | 3430 24472 557876 | 10857 481 42 | 0.175 % | 16.49/16.62 c | 820 | 3426 24472 557876 | 11943 820 40 | 0.349 % | 16.49/16.62 c =============================================================================== 16.49/16.64 c core #353 16.49/16.64 c Core size: 3569 Core Weight: 1 Total Weight: 353 16.49/16.64 c Elapsed CPU time: 16.4285 s Remaining CPU time: 1783.57 s 16.59/16.73 c Learning 372 hard constraints 16.59/16.73 c ============================[ Search Statistics ]============================== 16.59/16.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.59/16.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.59/16.73 c =============================================================================== 16.59/16.73 c | 0 | 3444 24845 570580 | 8281 0 nan | 0.000 % | 16.69/16.81 c | 102 | 3444 24845 570580 | 9109 102 40 | 0.117 % | 16.79/16.96 c | 252 | 3444 24845 570580 | 10020 252 51 | 0.116 % | 16.99/17.17 c | 479 | 3444 24845 570580 | 11022 479 58 | 0.116 % | 17.30/17.42 c | 816 | 3444 24845 570580 | 12125 816 58 | 0.116 % | 17.69/17.80 c | 1324 | 3444 24845 570580 | 13337 1324 62 | 0.116 % | 18.30/18.47 c | 2084 | 3444 24845 570580 | 14671 2084 62 | 0.116 % | 19.39/19.54 c | 3224 | 3444 24845 570580 | 16138 3224 61 | 0.116 % | 20.49/20.69 c | 4932 | 3444 24845 570580 | 17752 4932 57 | 0.116 % | 22.19/22.38 c =============================================================================== 22.30/22.47 c core #354 22.30/22.47 c Core size: 8891 Core Weight: 1 Total Weight: 354 22.30/22.47 c Elapsed CPU time: 22.2466 s Remaining CPU time: 1777.75 s 22.39/22.59 c Learning 2071 hard constraints 22.39/22.59 c ============================[ Search Statistics ]============================== 22.39/22.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.59 c =============================================================================== 22.39/22.59 c | 0 | 3537 26917 664476 | 8972 0 nan | 0.000 % | 22.60/22.71 c | 100 | 3537 26917 664476 | 9869 100 45 | 0.113 % | 22.69/22.85 c | 250 | 3537 26917 664476 | 10856 250 51 | 0.113 % | 22.89/23.04 c | 475 | 3537 26917 664476 | 11942 475 58 | 0.113 % | 23.19/23.34 c | 814 | 3537 26917 664476 | 13136 814 60 | 0.113 % | 23.69/23.85 c | 1322 | 3537 26917 664476 | 14450 1322 60 | 0.113 % | 24.39/24.57 c | 2081 | 3537 26917 664476 | 15895 2081 57 | 0.113 % | 25.59/25.72 c | 3223 | 3530 26917 664476 | 17484 3181 54 | 0.395 % | 25.69/25.82 c =============================================================================== 25.69/25.88 c core #355 25.69/25.88 c Core size: 8241 Core Weight: 1 Total Weight: 355 25.69/25.88 c Elapsed CPU time: 25.6311 s Remaining CPU time: 1774.37 s 25.89/26.00 c Learning 2506 hard constraints 25.89/26.00 c ============================[ Search Statistics ]============================== 25.89/26.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.89/26.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.89/26.00 c =============================================================================== 25.89/26.00 c | 0 | 3562 29424 800671 | 9808 0 nan | 0.000 % | 25.89/26.04 c | 101 | 3561 29424 800671 | 10788 101 10 | 0.197 % | 25.89/26.08 c | 251 | 3555 29424 800671 | 11867 251 21 | 0.337 % | 25.99/26.15 c =============================================================================== 25.99/26.15 c core #356 25.99/26.15 c Core size: 1185 Core Weight: 1 Total Weight: 356 25.99/26.15 c Elapsed CPU time: 25.9051 s Remaining CPU time: 1774.09 s 26.08/26.26 c Learning 41 hard constraints 26.08/26.26 c ============================[ Search Statistics ]============================== 26.08/26.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.08/26.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.08/26.26 c =============================================================================== 26.08/26.26 c | 0 | 3629 29466 802779 | 9822 0 nan | 0.000 % | 26.19/26.35 c | 101 | 3629 29466 802779 | 10804 101 54 | 0.111 % | 26.39/26.53 c | 252 | 3629 29466 802779 | 11884 252 56 | 0.110 % | 26.68/26.84 c | 478 | 3629 29466 802779 | 13073 478 58 | 0.110 % | 27.08/27.25 c | 815 | 3629 29466 802779 | 14380 815 54 | 0.110 % | 27.39/27.51 c =============================================================================== 27.39/27.53 c core #357 27.39/27.53 c Core size: 4589 Core Weight: 1 Total Weight: 357 27.39/27.53 c Elapsed CPU time: 27.2809 s Remaining CPU time: 1772.72 s 27.48/27.66 c Learning 675 hard constraints 27.48/27.66 c ============================[ Search Statistics ]============================== 27.48/27.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.48/27.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.48/27.66 c =============================================================================== 27.48/27.66 c | 0 | 3643 30142 839970 | 10047 0 nan | 0.000 % | 27.58/27.73 c | 101 | 3636 30142 839970 | 11052 101 20 | 0.329 % | 27.68/27.86 c | 251 | 3636 30142 839970 | 12157 251 37 | 0.329 % | 27.99/28.14 c | 478 | 3630 30142 839970 | 13373 478 43 | 0.658 % | 28.28/28.42 c =============================================================================== 28.28/28.43 c core #358 28.28/28.43 c Core size: 3317 Core Weight: 1 Total Weight: 358 28.28/28.43 c Elapsed CPU time: 28.1787 s Remaining CPU time: 1771.82 s 28.40/28.56 c Learning 447 hard constraints 28.40/28.56 c ============================[ Search Statistics ]============================== 28.40/28.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.40/28.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.40/28.56 c =============================================================================== 28.40/28.56 c | 0 | 3658 30590 861490 | 10196 0 nan | 0.000 % | 28.58/28.71 c | 101 | 3658 30590 861490 | 11216 101 53 | 0.110 % | 28.68/28.90 c | 252 | 3658 30590 861490 | 12337 252 53 | 0.109 % | 28.99/29.17 c | 477 | 3655 30590 861490 | 13571 477 47 | 0.273 % | 29.39/29.56 c | 816 | 3653 30590 861490 | 14928 816 46 | 0.328 % | 29.88/30.04 c =============================================================================== 29.88/30.06 c core #359 29.88/30.06 c Core size: 4383 Core Weight: 1 Total Weight: 359 29.88/30.06 c Elapsed CPU time: 29.7985 s Remaining CPU time: 1770.2 s 29.98/30.19 c Learning 527 hard constraints 29.98/30.19 c ============================[ Search Statistics ]============================== 29.98/30.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.98/30.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.98/30.19 c =============================================================================== 29.98/30.19 c | 0 | 3680 31118 883542 | 10372 0 nan | 0.000 % | 30.19/30.32 c | 100 | 3680 31118 883542 | 11409 100 46 | 0.109 % | 30.28/30.44 c | 254 | 3680 31118 883542 | 12550 254 46 | 0.109 % | 30.59/30.74 c | 480 | 3680 31118 883542 | 13806 480 52 | 0.109 % | 30.98/31.14 c | 818 | 3679 31118 883542 | 15186 818 51 | 0.163 % | 31.49/31.63 c =============================================================================== 31.49/31.64 c core #360 31.49/31.64 c Core size: 4499 Core Weight: 1 Total Weight: 360 31.49/31.64 c Elapsed CPU time: 31.3752 s Remaining CPU time: 1768.62 s 31.59/31.78 c Learning 553 hard constraints 31.59/31.78 c ============================[ Search Statistics ]============================== 31.59/31.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.59/31.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.59/31.78 c =============================================================================== 31.59/31.78 c | 0 | 3691 31672 907488 | 10557 0 nan | 0.000 % | 31.79/31.94 c | 100 | 3691 31672 907488 | 11613 100 47 | 0.109 % | 31.88/32.09 c | 250 | 3691 31672 907488 | 12774 250 57 | 0.108 % | 32.19/32.35 c | 475 | 3691 31672 907488 | 14051 475 61 | 0.108 % | 32.69/32.83 c | 812 | 3691 31672 907488 | 15456 812 60 | 0.108 % | 33.28/33.43 c | 1318 | 3691 31672 907488 | 17002 1318 59 | 0.108 % | 34.28/34.41 c | 2080 | 3690 31672 907488 | 18702 2080 57 | 0.162 % | 35.57/35.72 c =============================================================================== 35.57/35.78 c core #361 35.57/35.78 c Core size: 8241 Core Weight: 1 Total Weight: 361 35.57/35.78 c Elapsed CPU time: 35.4966 s Remaining CPU time: 1764.5 s 35.77/35.94 c Learning 2114 hard constraints 35.77/35.94 c ============================[ Search Statistics ]============================== 35.77/35.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.77/35.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.77/35.94 c =============================================================================== 35.77/35.94 c | 0 | 3709 33787 1015400 | 11262 0 nan | 0.000 % | 35.88/36.05 c | 100 | 3709 33787 1015400 | 12388 100 45 | 0.108 % | 36.08/36.25 c | 252 | 3709 33787 1015400 | 13627 252 36 | 0.108 % | 36.47/36.67 c | 479 | 3709 33787 1015400 | 14990 479 47 | 0.108 % | 36.87/37.07 c | 816 | 3708 33787 1015400 | 16489 816 49 | 0.162 % | 37.46/37.62 c =============================================================================== 37.46/37.64 c core #362 37.46/37.64 c Core size: 5456 Core Weight: 1 Total Weight: 362 37.46/37.64 c Elapsed CPU time: 37.3383 s Remaining CPU time: 1762.66 s 37.56/37.79 c Learning 568 hard constraints 37.56/37.79 c ============================[ Search Statistics ]============================== 37.56/37.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.56/37.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.56/37.79 c =============================================================================== 37.56/37.79 c | 0 | 3732 34356 1041146 | 11452 0 nan | 0.000 % | 37.76/37.98 c | 104 | 3732 34356 1041146 | 12597 104 58 | 0.108 % | 38.06/38.21 c | 256 | 3732 34356 1041146 | 13856 256 58 | 0.107 % | 38.16/38.39 c | 484 | 3732 34356 1041146 | 15242 484 54 | 0.107 % | 38.26/38.45 c | 824 | 3731 34356 1041146 | 16766 824 42 | 0.161 % | 38.36/38.52 c =============================================================================== 38.36/38.53 c core #363 38.36/38.53 c Core size: 918 Core Weight: 1 Total Weight: 363 38.36/38.53 c Elapsed CPU time: 38.2192 s Remaining CPU time: 1761.78 s 38.45/38.69 c Learning 295 hard constraints 38.45/38.69 c ============================[ Search Statistics ]============================== 38.45/38.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.45/38.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.45/38.69 c =============================================================================== 38.45/38.69 c | 0 | 3758 34652 1053653 | 11550 0 nan | 0.000 % | 38.65/38.87 c | 103 | 3758 34652 1053653 | 12705 103 54 | 0.107 % | 38.95/39.12 c | 253 | 3758 34652 1053653 | 13976 253 60 | 0.106 % | 39.25/39.42 c | 478 | 3758 34652 1053653 | 15373 478 56 | 0.106 % | 39.64/39.87 c | 815 | 3758 34652 1053653 | 16911 815 53 | 0.106 % | 40.15/40.37 c | 1324 | 3758 34652 1053653 | 18602 1324 55 | 0.106 % | 40.55/40.73 c =============================================================================== 40.55/40.76 c core #364 40.55/40.76 c Core size: 6299 Core Weight: 1 Total Weight: 364 40.55/40.76 c Elapsed CPU time: 40.4249 s Remaining CPU time: 1759.58 s 40.74/40.92 c Learning 989 hard constraints 40.74/40.92 c ============================[ Search Statistics ]============================== 40.74/40.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.74/40.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.74/40.92 c =============================================================================== 40.74/40.92 c | 0 | 3793 35642 1109068 | 11880 0 nan | 0.000 % | 40.94/41.14 c | 100 | 3793 35642 1109068 | 13068 100 64 | 0.106 % | 41.04/41.20 c | 250 | 3793 35642 1109068 | 14375 250 75 | 0.105 % | 41.34/41.57 c | 478 | 3793 35642 1109068 | 15813 478 68 | 0.105 % | 41.44/41.61 c | 816 | 3791 35642 1109068 | 17394 816 47 | 0.158 % | 41.44/41.65 c | 1324 | 3791 35642 1109068 | 19133 1324 39 | 0.159 % | 41.54/41.75 c | 2084 | 3791 35642 1109068 | 21047 2084 34 | 0.159 % | 41.63/41.90 c | 3224 | 3791 35642 1109068 | 23152 3224 31 | 0.158 % | 41.84/42.04 c =============================================================================== 41.84/42.07 c core #365 41.84/42.07 c Core size: 1572 Core Weight: 1 Total Weight: 365 41.84/42.07 c Elapsed CPU time: 41.7267 s Remaining CPU time: 1758.27 s 42.04/42.24 c Learning 351 hard constraints 42.04/42.24 c ============================[ Search Statistics ]============================== 42.04/42.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.04/42.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.04/42.24 c =============================================================================== 42.04/42.24 c | 0 | 3817 35994 1124776 | 11998 0 nan | 0.000 % | 42.24/42.45 c | 100 | 3817 35994 1124776 | 13197 100 49 | 0.157 % | 42.54/42.75 c | 250 | 3817 35994 1124776 | 14517 250 52 | 0.157 % | 42.93/43.19 c | 475 | 3816 35994 1124776 | 15969 475 55 | 0.183 % | 43.32/43.60 c =============================================================================== 43.42/43.61 c core #366 43.42/43.61 c Core size: 5102 Core Weight: 1 Total Weight: 366 43.42/43.61 c Elapsed CPU time: 43.2524 s Remaining CPU time: 1756.75 s 43.52/43.78 c Learning 429 hard constraints 43.52/43.78 c ============================[ Search Statistics ]============================== 43.52/43.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.52/43.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.52/43.78 c =============================================================================== 43.52/43.78 c | 0 | 3845 36424 1147792 | 12141 0 nan | 0.000 % | 43.81/44.05 c | 100 | 3845 36424 1147792 | 13355 100 68 | 0.156 % | 44.09/44.30 c | 250 | 3845 36424 1147792 | 14691 250 62 | 0.156 % | 44.49/44.71 c | 475 | 3845 36424 1147792 | 16160 475 61 | 0.156 % | 45.08/45.30 c | 814 | 3845 36424 1147792 | 17776 814 59 | 0.156 % | 45.68/45.92 c =============================================================================== 45.68/45.93 c core #367 45.68/45.93 c Core size: 5595 Core Weight: 1 Total Weight: 367 45.68/45.93 c Elapsed CPU time: 45.5211 s Remaining CPU time: 1754.48 s 45.88/46.12 c Learning 517 hard constraints 45.88/46.12 c ============================[ Search Statistics ]============================== 45.88/46.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.88/46.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.88/46.12 c =============================================================================== 45.88/46.12 c | 0 | 3863 36942 1173104 | 12314 0 nan | 0.000 % | 46.07/46.37 c | 104 | 3863 36942 1173104 | 13545 104 67 | 0.207 % | 46.27/46.58 c | 254 | 3863 36942 1173104 | 14899 254 52 | 0.207 % | 46.77/47.05 c | 481 | 3863 36942 1173104 | 16389 481 60 | 0.207 % | 47.47/47.71 c | 819 | 3863 36942 1173104 | 18028 819 57 | 0.207 % | 47.97/48.23 c | 1326 | 3863 36942 1173104 | 19831 1326 51 | 0.207 % | 48.46/48.72 c =============================================================================== 48.46/48.75 c core #368 48.46/48.75 c Core size: 6549 Core Weight: 1 Total Weight: 368 48.46/48.75 c Elapsed CPU time: 48.3117 s Remaining CPU time: 1751.69 s 48.66/48.93 c Learning 690 hard constraints 48.66/48.93 c ============================[ Search Statistics ]============================== 48.66/48.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.66/48.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.66/48.93 c =============================================================================== 48.66/48.93 c | 0 | 3910 37633 1203703 | 12544 0 nan | 0.000 % | 48.76/49.09 c | 100 | 3910 37633 1203703 | 13798 100 48 | 0.205 % | 49.06/49.31 c | 253 | 3910 37633 1203703 | 15178 253 40 | 0.204 % | 49.45/49.70 c | 478 | 3910 37633 1203703 | 16696 478 46 | 0.204 % | 49.65/49.99 c =============================================================================== 49.75/50.00 c core #369 49.75/50.00 c Core size: 3961 Core Weight: 1 Total Weight: 369 49.75/50.00 c Elapsed CPU time: 49.5535 s Remaining CPU time: 1750.45 s 49.85/50.18 c Learning 363 hard constraints 49.85/50.18 c ============================[ Search Statistics ]============================== 49.85/50.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.85/50.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.85/50.18 c =============================================================================== 49.85/50.18 c | 0 | 3945 37997 1221885 | 12665 0 nan | 0.000 % | 49.95/50.25 c | 100 | 3945 37997 1221885 | 13932 100 31 | 0.203 % | 50.05/50.33 c | 250 | 3945 37997 1221885 | 15325 250 41 | 0.202 % | 50.35/50.61 c | 478 | 3945 37997 1221885 | 16858 478 40 | 0.202 % | 50.74/51.04 c | 816 | 3945 37997 1221885 | 18543 816 44 | 0.253 % | 51.05/51.33 c =============================================================================== 51.05/51.34 c core #370 51.05/51.34 c Core size: 4340 Core Weight: 1 Total Weight: 370 51.05/51.34 c Elapsed CPU time: 50.8793 s Remaining CPU time: 1749.12 s 51.25/51.53 c Learning 467 hard constraints 51.25/51.53 c ============================[ Search Statistics ]============================== 51.25/51.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.25/51.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.25/51.53 c =============================================================================== 51.25/51.53 c | 0 | 3983 38465 1246246 | 12821 0 nan | 0.000 % | 51.45/51.74 c | 100 | 3983 38465 1246246 | 14103 100 64 | 0.201 % | 51.55/51.81 c | 252 | 3983 38465 1246246 | 15514 252 61 | 0.200 % | 51.75/52.09 c | 479 | 3983 38465 1246246 | 17065 479 59 | 0.200 % | 51.95/52.20 c | 817 | 3983 38465 1246246 | 18772 817 48 | 0.200 % | 52.05/52.34 c | 1325 | 3983 38465 1246246 | 20649 1325 40 | 0.200 % | 52.44/52.76 c | 2084 | 3983 38465 1246246 | 22714 2084 37 | 0.200 % | 53.13/53.47 c | 3223 | 3983 38465 1246246 | 24985 3223 37 | 0.200 % | 54.63/54.96 c | 4934 | 3979 38465 1246246 | 27484 4934 46 | 0.301 % | 54.92/55.20 c =============================================================================== 54.92/55.24 c core #371 54.92/55.24 c Core size: 5346 Core Weight: 1 Total Weight: 371 54.92/55.24 c Elapsed CPU time: 54.7327 s Remaining CPU time: 1745.27 s 55.12/55.44 c Learning 1374 hard constraints 55.12/55.44 c ============================[ Search Statistics ]============================== 55.12/55.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.12/55.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.12/55.44 c =============================================================================== 55.12/55.44 c | 0 | 4066 39840 1321450 | 13280 0 nan | 0.000 % | 55.32/55.69 c | 100 | 4066 39840 1321450 | 14608 100 69 | 0.197 % | 55.62/55.96 c | 253 | 4066 39840 1321450 | 16068 253 53 | 0.196 % | 56.01/56.35 c | 478 | 4064 39840 1321450 | 17675 478 46 | 0.245 % | 56.51/56.84 c =============================================================================== 56.51/56.85 c core #372 56.51/56.85 c Core size: 3226 Core Weight: 1 Total Weight: 372 56.51/56.85 c Elapsed CPU time: 56.3334 s Remaining CPU time: 1743.67 s 56.71/57.04 c Learning 341 hard constraints 56.71/57.04 c ============================[ Search Statistics ]============================== 56.71/57.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.71/57.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.71/57.04 c =============================================================================== 56.71/57.04 c | 0 | 4083 40182 1338191 | 13394 0 nan | 0.000 % | 56.81/57.15 c | 100 | 4080 40182 1338191 | 14733 100 17 | 0.392 % | 57.00/57.32 c | 253 | 4075 40182 1338191 | 16206 253 38 | 0.489 % | 57.20/57.59 c =============================================================================== 57.20/57.59 c core #373 57.20/57.59 c Core size: 2123 Core Weight: 1 Total Weight: 373 57.20/57.59 c Elapsed CPU time: 57.0663 s Remaining CPU time: 1742.93 s 57.40/57.78 c Learning 178 hard constraints 57.40/57.78 c ============================[ Search Statistics ]============================== 57.40/57.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.40/57.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.40/57.78 c =============================================================================== 57.40/57.78 c | 0 | 4106 40361 1346525 | 13453 0 nan | 0.000 % | 57.69/58.01 c | 100 | 4106 40361 1346525 | 14799 100 64 | 0.243 % | 57.90/58.26 c | 251 | 4106 40361 1346525 | 16278 251 54 | 0.243 % | 58.20/58.52 c | 476 | 4106 40361 1346525 | 17906 476 49 | 0.243 % | 58.30/58.69 c | 813 | 4106 40361 1346525 | 19697 813 43 | 0.243 % | 58.90/59.29 c | 1319 | 4104 40361 1346525 | 21667 1319 40 | 0.292 % | 59.29/59.62 c =============================================================================== 59.29/59.63 c core #374 59.29/59.63 c Core size: 4103 Core Weight: 1 Total Weight: 374 59.29/59.63 c Elapsed CPU time: 59.088 s Remaining CPU time: 1740.91 s 59.49/59.83 c Learning 555 hard constraints 59.49/59.83 c ============================[ Search Statistics ]============================== 59.49/59.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.49/59.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.49/59.83 c =============================================================================== 59.49/59.83 c | 0 | 4162 40917 1375028 | 13639 0 nan | 0.000 % | 59.59/59.93 c | 100 | 4162 40917 1375028 | 15002 100 45 | 0.288 % | 59.69/60.07 c | 250 | 4162 40917 1375028 | 16503 250 43 | 0.287 % | 60.18/60.53 c | 476 | 4162 40917 1375028 | 18153 476 43 | 0.287 % | 60.18/60.59 c | 813 | 4162 40917 1375028 | 19968 813 35 | 0.287 % | 61.07/61.48 c =============================================================================== 61.07/61.49 c core #375 61.07/61.49 c Core size: 4352 Core Weight: 1 Total Weight: 375 61.07/61.49 c Elapsed CPU time: 60.9347 s Remaining CPU time: 1739.07 s 61.37/61.70 c Learning 417 hard constraints 61.37/61.70 c ============================[ Search Statistics ]============================== 61.37/61.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.37/61.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.37/61.70 c =============================================================================== 61.37/61.70 c | 0 | 4207 41335 1399084 | 13778 0 nan | 0.000 % | 61.67/62.01 c | 102 | 4207 41335 1399084 | 15156 102 71 | 0.285 % | 61.87/62.20 c | 252 | 4207 41335 1399084 | 16671 252 56 | 0.284 % | 62.07/62.48 c | 477 | 4205 41335 1399084 | 18338 477 48 | 0.332 % | 62.47/62.83 c | 815 | 4203 41335 1399084 | 20172 815 48 | 0.379 % | 62.87/63.29 c =============================================================================== 62.96/63.31 c core #376 62.96/63.31 c Core size: 4171 Core Weight: 1 Total Weight: 376 62.96/63.31 c Elapsed CPU time: 62.7275 s Remaining CPU time: 1737.27 s 63.16/63.51 c Learning 354 hard constraints 63.16/63.51 c ============================[ Search Statistics ]============================== 63.16/63.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.16/63.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.16/63.51 c =============================================================================== 63.16/63.51 c | 0 | 4230 41690 1416328 | 13896 0 nan | 0.000 % | 63.45/63.84 c | 100 | 4230 41690 1416328 | 15286 100 55 | 0.330 % | 63.45/63.87 c | 251 | 4230 41690 1416328 | 16814 251 29 | 0.330 % | 63.54/63.95 c | 477 | 4228 41690 1416328 | 18496 477 24 | 0.377 % | 63.64/64.03 c | 814 | 4228 41690 1416328 | 20346 814 24 | 0.377 % | 63.74/64.15 c | 1320 | 4228 41690 1416328 | 22380 1320 27 | 0.377 % | 63.94/64.33 c | 2080 | 4228 41690 1416328 | 24618 2080 28 | 0.377 % | 64.53/64.97 c =============================================================================== 64.53/65.00 c core #377 64.53/65.00 c Core size: 4061 Core Weight: 1 Total Weight: 377 64.53/65.00 c Elapsed CPU time: 64.3712 s Remaining CPU time: 1735.63 s 64.82/65.21 c Learning 284 hard constraints 64.82/65.21 c ============================[ Search Statistics ]============================== 64.82/65.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.82/65.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.82/65.21 c =============================================================================== 64.82/65.21 c | 0 | 4284 41975 1430803 | 13991 0 nan | 0.000 % | 64.92/65.39 c | 101 | 4284 41975 1430803 | 15390 101 43 | 0.326 % | 65.02/65.49 c | 251 | 4284 41975 1430803 | 16929 251 34 | 0.326 % | 65.33/65.74 c | 482 | 4284 41975 1430803 | 18622 482 36 | 0.326 % | 65.52/65.93 c | 825 | 4284 41975 1430803 | 20485 825 31 | 0.326 % | 65.71/66.16 c =============================================================================== 65.71/66.17 c core #378 65.71/66.17 c Core size: 2948 Core Weight: 1 Total Weight: 378 65.71/66.17 c Elapsed CPU time: 65.521 s Remaining CPU time: 1734.48 s 65.91/66.38 c Learning 229 hard constraints 65.91/66.38 c ============================[ Search Statistics ]============================== 65.91/66.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.91/66.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.91/66.38 c =============================================================================== 65.91/66.38 c | 0 | 4309 42205 1441349 | 14068 0 nan | 0.000 % | 66.11/66.59 c | 100 | 4309 42205 1441349 | 15475 100 62 | 0.324 % | 66.41/66.83 c | 253 | 4309 42205 1441349 | 17022 253 58 | 0.324 % | 66.89/67.31 c =============================================================================== 66.89/67.32 c core #379 66.89/67.32 c Core size: 2762 Core Weight: 1 Total Weight: 379 66.89/67.32 c Elapsed CPU time: 66.6449 s Remaining CPU time: 1733.36 s 67.09/67.52 c Learning 205 hard constraints 67.09/67.52 c ============================[ Search Statistics ]============================== 67.09/67.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.09/67.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.09/67.53 c =============================================================================== 67.09/67.53 c | 0 | 4323 42411 1454934 | 14137 0 nan | 0.000 % | 67.09/67.60 c | 102 | 4323 42411 1454934 | 15550 102 20 | 0.323 % | 67.20/67.67 c | 253 | 4323 42411 1454934 | 17105 253 19 | 0.323 % | 67.30/67.72 c | 479 | 4323 42411 1454934 | 18816 479 24 | 0.323 % | 67.79/68.24 c | 820 | 4321 42411 1454934 | 20697 820 37 | 0.369 % | 67.99/68.40 c =============================================================================== 67.99/68.41 c core #380 67.99/68.41 c Core size: 2981 Core Weight: 1 Total Weight: 380 67.99/68.41 c Elapsed CPU time: 67.7217 s Remaining CPU time: 1732.28 s 68.19/68.61 c Learning 240 hard constraints 68.19/68.61 c ============================[ Search Statistics ]============================== 68.19/68.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.19/68.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.19/68.61 c =============================================================================== 68.19/68.61 c | 0 | 4351 42652 1467721 | 14217 0 nan | 0.000 % | 68.49/68.90 c | 104 | 4351 42652 1467721 | 15639 104 72 | 0.321 % | 68.58/69.00 c | 254 | 4351 42652 1467721 | 17202 254 51 | 0.321 % | 68.58/69.07 c | 479 | 4351 42652 1467721 | 18923 479 45 | 0.321 % | 68.68/69.15 c | 818 | 4351 42652 1467721 | 20815 818 40 | 0.321 % | 68.88/69.35 c | 1325 | 4349 42652 1467721 | 22897 1325 40 | 0.367 % | 69.37/69.86 c | 2088 | 4349 42652 1467721 | 25186 2088 39 | 0.367 % | 69.68/70.19 c | 3228 | 4347 42652 1467721 | 27705 3228 38 | 0.412 % | 70.07/70.55 c | 4936 | 4345 42652 1467721 | 30476 4936 39 | 0.459 % | 70.67/71.18 c | 7498 | 4342 42652 1467721 | 33523 7498 40 | 0.550 % | 71.86/72.38 c =============================================================================== 71.96/72.49 c core #381 71.96/72.49 c Core size: 4125 Core Weight: 1 Total Weight: 381 71.96/72.49 c Elapsed CPU time: 71.7631 s Remaining CPU time: 1728.24 s 72.26/72.74 c Learning 729 hard constraints 72.26/72.74 c ============================[ Search Statistics ]============================== 72.26/72.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.26/72.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.26/72.74 c =============================================================================== 72.26/72.74 c | 0 | 4424 43382 1510521 | 14460 0 nan | 0.000 % | 72.46/72.96 c | 101 | 4424 43382 1510521 | 15906 101 57 | 0.361 % | 72.46/72.99 c | 253 | 4424 43382 1510521 | 17497 253 45 | 0.360 % | 72.66/73.12 c | 480 | 4422 43382 1510521 | 19247 480 52 | 0.406 % | 72.66/73.16 c | 818 | 4422 43382 1510521 | 21171 818 39 | 0.406 % | 73.06/73.57 c | 1324 | 4422 43382 1510521 | 23289 1324 45 | 0.405 % | 73.16/73.69 c | 2084 | 4422 43382 1510521 | 25617 2084 37 | 0.405 % | 73.95/74.46 c =============================================================================== 73.95/74.48 c core #382 73.95/74.48 c Core size: 3932 Core Weight: 1 Total Weight: 382 73.95/74.48 c Elapsed CPU time: 73.7228 s Remaining CPU time: 1726.28 s 74.15/74.69 c Learning 415 hard constraints 74.15/74.69 c ============================[ Search Statistics ]============================== 74.15/74.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.15/74.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.15/74.69 c =============================================================================== 74.15/74.69 c | 0 | 4440 43798 1532895 | 14599 0 nan | 0.000 % | 74.44/74.92 c | 101 | 4440 43798 1532895 | 16059 101 52 | 0.937 % | 74.84/75.34 c | 253 | 4440 43798 1532895 | 17665 253 58 | 0.937 % | 74.94/75.44 c | 479 | 4440 43798 1532895 | 19431 479 43 | 0.937 % | 75.04/75.58 c | 816 | 4440 43798 1532895 | 21374 816 37 | 0.937 % | 75.34/75.84 c =============================================================================== 75.34/75.85 c core #383 75.34/75.85 c Core size: 2058 Core Weight: 1 Total Weight: 383 75.34/75.85 c Elapsed CPU time: 75.0776 s Remaining CPU time: 1724.92 s 75.54/76.08 c Learning 235 hard constraints 75.54/76.08 c ============================[ Search Statistics ]============================== 75.54/76.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.54/76.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.54/76.08 c =============================================================================== 75.54/76.08 c | 0 | 4459 44034 1544519 | 14678 0 nan | 0.000 % | 75.63/76.18 c | 103 | 4459 44034 1544519 | 16145 103 31 | 1.109 % | 75.73/76.26 c | 253 | 4459 44034 1544519 | 17760 253 36 | 1.110 % | 75.83/76.37 c | 480 | 4459 44034 1544519 | 19536 480 29 | 1.109 % | 76.33/76.88 c =============================================================================== 76.33/76.89 c core #384 76.33/76.89 c Core size: 2183 Core Weight: 1 Total Weight: 384 76.33/76.89 c Elapsed CPU time: 76.1004 s Remaining CPU time: 1723.9 s 76.62/77.12 c Learning 161 hard constraints 76.62/77.12 c ============================[ Search Statistics ]============================== 76.62/77.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.62/77.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.62/77.12 c =============================================================================== 76.62/77.12 c | 0 | 4487 44196 1552310 | 14732 0 nan | 0.000 % | 76.72/77.25 c | 100 | 4487 44196 1552310 | 16205 100 23 | 1.146 % | 76.82/77.38 c | 251 | 4487 44196 1552310 | 17825 251 25 | 1.146 % | 77.32/77.81 c | 479 | 4486 44196 1552310 | 19608 479 38 | 1.190 % | 77.42/77.97 c =============================================================================== 77.42/77.97 c core #385 77.42/77.97 c Core size: 2595 Core Weight: 1 Total Weight: 385 77.42/77.97 c Elapsed CPU time: 77.1723 s Remaining CPU time: 1722.83 s 77.71/78.21 c Learning 151 hard constraints 77.71/78.21 c ============================[ Search Statistics ]============================== 77.71/78.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.71/78.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.71/78.21 c =============================================================================== 77.71/78.21 c | 0 | 4507 44348 1560576 | 14782 0 nan | 0.000 % | 77.81/78.36 c | 100 | 4507 44348 1560576 | 16260 100 24 | 1.141 % | 77.81/78.39 c | 250 | 4507 44348 1560576 | 17887 250 20 | 1.141 % | 77.91/78.45 c | 475 | 4507 44348 1560576 | 19675 475 21 | 1.141 % | 78.11/78.66 c | 814 | 4506 44348 1560576 | 21643 814 25 | 1.184 % | 78.31/78.80 c | 1321 | 4504 44348 1560576 | 23807 1321 29 | 1.229 % | 78.61/79.20 c =============================================================================== 78.71/79.22 c core #386 78.71/79.22 c Core size: 2495 Core Weight: 1 Total Weight: 386 78.71/79.22 c Elapsed CPU time: 78.3991 s Remaining CPU time: 1721.6 s 78.90/79.45 c Learning 283 hard constraints 78.90/79.45 c ============================[ Search Statistics ]============================== 78.90/79.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.90/79.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.90/79.45 c =============================================================================== 78.90/79.45 c | 0 | 4538 44632 1573387 | 14877 0 nan | 0.000 % | 79.10/79.60 c | 100 | 4538 44632 1573387 | 16365 100 34 | 1.133 % | 79.20/79.71 c | 252 | 4538 44632 1573387 | 18001 252 30 | 1.133 % | 79.30/79.83 c | 477 | 4538 44632 1573387 | 19801 477 26 | 1.133 % | 79.30/79.89 c | 814 | 4536 44632 1573387 | 21781 814 24 | 1.177 % | 79.60/80.20 c | 1321 | 4536 44632 1573387 | 23960 1321 26 | 1.176 % | 80.19/80.71 c | 2080 | 4534 44632 1573387 | 26356 2080 28 | 1.221 % | 80.29/80.85 c | 3223 | 4534 44632 1573387 | 28991 3223 31 | 1.220 % | 80.60/81.14 c | 4933 | 4530 44632 1573387 | 31890 4933 38 | 1.307 % | 81.19/81.72 c | 7495 | 4427 44632 1573387 | 35079 7495 43 | 11.939 % | 82.39/82.93 c | 11344 | 4423 44632 1573387 | 38587 11344 46 | 12.092 % | 82.49/83.03 c =============================================================================== 82.59/83.15 c core #387 82.59/83.15 c Core size: 3247 Core Weight: 1 Total Weight: 387 82.59/83.15 c Elapsed CPU time: 82.2965 s Remaining CPU time: 1717.7 s 82.88/83.41 c Learning 288 hard constraints 82.88/83.41 c ============================[ Search Statistics ]============================== 82.88/83.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.88/83.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.88/83.41 c =============================================================================== 82.88/83.41 c | 0 | 4596 44921 1589209 | 14973 0 nan | 0.000 % | 82.88/83.47 c | 102 | 4596 44921 1589209 | 16471 102 19 | 1.119 % | 82.98/83.51 c | 256 | 4596 44921 1589209 | 18118 256 20 | 1.119 % | 82.98/83.57 c | 481 | 4596 44921 1589209 | 19929 481 20 | 1.119 % | 83.67/84.28 c =============================================================================== 83.67/84.28 c core #388 83.67/84.28 c Core size: 2794 Core Weight: 1 Total Weight: 388 83.67/84.28 c Elapsed CPU time: 83.4143 s Remaining CPU time: 1716.59 s 83.97/84.51 c Learning 173 hard constraints 83.97/84.51 c ============================[ Search Statistics ]============================== 83.97/84.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.97/84.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.97/84.51 c =============================================================================== 83.97/84.51 c | 0 | 4618 45095 1598988 | 15031 0 nan | 0.000 % | 84.07/84.61 c | 100 | 4618 45095 1598988 | 16534 100 17 | 1.156 % | 84.07/84.62 c | 252 | 4618 45095 1598988 | 18188 252 17 | 1.156 % | 84.38/84.95 c | 477 | 4618 45095 1598988 | 20007 477 31 | 1.199 % | 84.68/85.28 c =============================================================================== 84.68/85.29 c core #389 84.68/85.29 c Core size: 2938 Core Weight: 1 Total Weight: 389 84.68/85.29 c Elapsed CPU time: 84.4102 s Remaining CPU time: 1715.59 s 84.97/85.52 c Learning 162 hard constraints 84.97/85.52 c ============================[ Search Statistics ]============================== 84.97/85.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.97/85.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.97/85.52 c =============================================================================== 84.97/85.52 c | 0 | 4641 45258 1608384 | 15086 0 nan | 0.000 % | 85.07/85.67 c | 102 | 4641 45258 1608384 | 16594 102 31 | 1.150 % | 85.07/85.69 c | 253 | 4641 45258 1608384 | 18254 253 22 | 1.150 % | 85.36/85.95 c | 480 | 4641 45258 1608384 | 20079 480 30 | 1.150 % | 85.66/86.25 c | 818 | 4639 45258 1608384 | 22087 818 33 | 1.193 % | 85.86/86.48 c | 1325 | 4569 45258 1608384 | 24296 1325 32 | 3.408 % | 85.96/86.53 c =============================================================================== 85.96/86.54 c core #390 85.96/86.54 c Core size: 2744 Core Weight: 1 Total Weight: 390 85.96/86.54 c Elapsed CPU time: 85.648 s Remaining CPU time: 1714.35 s 86.16/86.77 c Learning 191 hard constraints 86.16/86.77 c ============================[ Search Statistics ]============================== 86.16/86.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.16/86.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.16/86.77 c =============================================================================== 86.16/86.77 c | 0 | 4671 45450 1618002 | 15150 0 nan | 0.000 % | 86.46/87.00 c | 102 | 4671 45450 1618002 | 16665 102 47 | 1.143 % | 86.46/87.02 c | 255 | 4671 45450 1618002 | 18331 255 32 | 1.143 % | 86.56/87.15 c | 480 | 4669 45450 1618002 | 20164 480 32 | 1.185 % | 86.66/87.28 c | 818 | 4667 45450 1618002 | 22181 818 36 | 1.228 % | 86.86/87.41 c | 1327 | 4667 45450 1618002 | 24399 1327 33 | 1.228 % | 87.06/87.66 c | 2090 | 4663 45450 1618002 | 26839 2090 35 | 1.312 % | 87.25/87.81 c | 3229 | 4663 45450 1618002 | 29523 3229 34 | 1.312 % | 87.65/88.29 c =============================================================================== 87.75/88.32 c core #391 87.75/88.32 c Core size: 2857 Core Weight: 1 Total Weight: 391 87.75/88.32 c Elapsed CPU time: 87.4047 s Remaining CPU time: 1712.6 s 87.95/88.57 c Learning 388 hard constraints 87.95/88.57 c ============================[ Search Statistics ]============================== 87.95/88.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.95/88.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.95/88.57 c =============================================================================== 87.95/88.57 c | 0 | 4689 45839 1638996 | 15279 0 nan | 0.000 % | 88.15/88.76 c | 101 | 4689 45839 1638996 | 16807 101 24 | 1.305 % | 88.15/88.79 c | 251 | 4689 45839 1638996 | 18488 251 19 | 1.305 % | 88.25/88.85 c | 476 | 4689 45839 1638996 | 20337 476 18 | 1.305 % | 88.45/89.06 c | 814 | 4688 45839 1638996 | 22370 814 23 | 1.389 % | 88.74/89.32 c =============================================================================== 88.74/89.33 c core #392 88.74/89.33 c Core size: 2158 Core Weight: 1 Total Weight: 392 88.74/89.33 c Elapsed CPU time: 88.3986 s Remaining CPU time: 1711.6 s 88.94/89.56 c Learning 191 hard constraints 88.94/89.56 c ============================[ Search Statistics ]============================== 88.94/89.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.94/89.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.94/89.56 c =============================================================================== 88.94/89.56 c | 0 | 4722 46031 1648002 | 15343 0 nan | 0.000 % | 89.14/89.76 c | 100 | 4722 46031 1648002 | 16878 100 28 | 1.338 % | 89.24/89.81 c | 250 | 4722 46031 1648002 | 18565 250 23 | 1.337 % | 89.24/89.85 c | 476 | 4722 46031 1648002 | 20422 476 21 | 1.337 % | 89.34/89.99 c | 814 | 4720 46031 1648002 | 22464 814 22 | 1.379 % | 89.44/90.04 c | 1320 | 4720 46031 1648002 | 24711 1320 22 | 1.379 % | 89.54/90.19 c | 2081 | 4720 46031 1648002 | 27182 2081 25 | 1.379 % | 89.74/90.31 c | 3220 | 4720 46031 1648002 | 29900 3220 27 | 1.379 % | 90.23/90.88 c | 4930 | 4652 46031 1648002 | 32890 4930 28 | 3.176 % | 90.64/91.22 c | 7492 | 4642 46031 1648002 | 36179 7492 33 | 3.343 % | 91.43/92.02 c | 11339 | 4638 46031 1648002 | 39797 11339 36 | 3.385 % | 93.41/94.08 c =============================================================================== 93.61/94.27 c core #393 93.61/94.27 c Core size: 3782 Core Weight: 1 Total Weight: 393 93.61/94.27 c Elapsed CPU time: 93.2708 s Remaining CPU time: 1706.73 s 93.91/94.54 c Learning 343 hard constraints 93.91/94.54 c ============================[ Search Statistics ]============================== 93.91/94.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.91/94.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.91/94.54 c =============================================================================== 93.91/94.54 c | 0 | 4806 46375 1664002 | 15458 0 nan | 0.000 % | 93.91/94.60 c | 105 | 4806 46375 1664002 | 17004 105 19 | 1.355 % | 94.10/94.72 c | 256 | 4805 46375 1664002 | 18704 256 23 | 1.396 % | 94.20/94.82 c | 481 | 4804 46375 1664002 | 20575 481 24 | 1.396 % | 94.31/94.92 c | 818 | 4803 46375 1664002 | 22632 818 23 | 1.437 % | 94.51/95.19 c | 1327 | 4800 46375 1664002 | 24895 1327 25 | 1.478 % | 94.71/95.37 c | 2089 | 4795 46375 1664002 | 27385 2089 26 | 5.419 % | 94.71/95.38 c =============================================================================== 94.71/95.39 c core #394 94.71/95.39 c Core size: 1838 Core Weight: 1 Total Weight: 394 94.71/95.39 c Elapsed CPU time: 94.3777 s Remaining CPU time: 1705.62 s 95.00/95.64 c Learning 157 hard constraints 95.00/95.64 c ============================[ Search Statistics ]============================== 95.00/95.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.00/95.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.00/95.64 c =============================================================================== 95.00/95.64 c | 0 | 4833 46533 1672185 | 15511 0 nan | 0.000 % | 95.10/95.79 c | 102 | 4833 46533 1672185 | 17062 102 49 | 1.348 % | 95.19/95.83 c | 254 | 4833 46533 1672185 | 18768 254 32 | 1.347 % | 95.19/95.88 c | 479 | 4833 46533 1672185 | 20645 479 27 | 1.347 % | 95.29/95.98 c | 816 | 4833 46533 1672185 | 22709 816 25 | 1.347 % | 95.39/96.02 c | 1322 | 4833 46533 1672185 | 24980 1322 23 | 1.347 % | 95.49/96.15 c | 2081 | 4829 46533 1672185 | 27478 2081 24 | 1.429 % | 95.70/96.32 c | 3220 | 4829 46533 1672185 | 30226 3220 24 | 1.429 % | 96.00/96.69 c | 4928 | 4829 46533 1672185 | 33249 4928 26 | 1.429 % | 96.49/97.13 c =============================================================================== 96.49/97.17 c core #395 96.49/97.17 c Core size: 1989 Core Weight: 1 Total Weight: 395 96.49/97.18 c Elapsed CPU time: 96.1284 s Remaining CPU time: 1703.87 s 96.79/97.43 c Learning 251 hard constraints 96.79/97.43 c ============================[ Search Statistics ]============================== 96.79/97.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.79/97.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.79/97.43 c =============================================================================== 96.79/97.43 c | 0 | 4870 46785 1685471 | 15595 0 nan | 0.000 % | 96.98/97.62 c | 100 | 4870 46785 1685471 | 17154 100 54 | 1.417 % | 96.98/97.66 c | 251 | 4870 46785 1685471 | 18869 251 32 | 1.417 % | 97.09/97.70 c | 477 | 4870 46785 1685471 | 20756 477 27 | 1.417 % | 97.09/97.75 c | 817 | 4868 46785 1685471 | 22832 817 24 | 1.458 % | 97.09/97.79 c | 1325 | 4868 46785 1685471 | 25115 1325 28 | 1.457 % | 97.28/97.91 c | 2084 | 4868 46785 1685471 | 27627 2084 28 | 1.457 % | 97.38/98.05 c | 3223 | 4868 46785 1685471 | 30390 3223 27 | 1.457 % | 97.78/98.43 c | 4932 | 4813 46785 1685471 | 33429 4932 30 | 2.632 % | 98.18/98.85 c | 7494 | 4813 46785 1685471 | 36772 7494 34 | 2.632 % | 98.97/99.64 c =============================================================================== 99.07/99.74 c core #396 99.07/99.74 c Core size: 2175 Core Weight: 1 Total Weight: 396 99.07/99.74 c Elapsed CPU time: 98.647 s Remaining CPU time: 1701.35 s 99.27/99.99 c Learning 261 hard constraints 99.27/99.99 c ============================[ Search Statistics ]============================== 99.27/99.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.27/99.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.27/99.99 c =============================================================================== 99.27/99.99 c | 0 | 4892 47047 1698361 | 15682 0 nan | 0.000 % | 99.37/100.08 c | 100 | 4892 47047 1698361 | 17250 100 19 | 1.490 % | 99.47/100.10 c | 250 | 4892 47047 1698361 | 18975 250 18 | 1.490 % | 99.47/100.16 c | 476 | 4892 47047 1698361 | 20873 476 25 | 1.490 % | 99.56/100.21 c | 814 | 4892 47047 1698361 | 22960 814 24 | 1.490 % | 99.66/100.31 c | 1320 | 4886 47047 1698361 | 25256 1320 25 | 1.611 % | 99.66/100.38 c | 2079 | 4886 47047 1698361 | 27782 2079 27 | 1.611 % | 99.86/100.51 c | 3219 | 4886 47047 1698361 | 30560 3219 31 | 1.611 % | 100.06/100.78 c | 4927 | 4886 47047 1698361 | 33616 4927 30 | 1.611 % | 100.66/101.36 c | 7493 | 4884 47047 1698361 | 36978 7493 33 | 1.651 % | 101.75/102.48 c | 11338 | 4880 47047 1698361 | 40675 11338 39 | 1.732 % | 102.84/103.52 c =============================================================================== 102.94/103.65 c core #397 102.94/103.65 c Core size: 3648 Core Weight: 1 Total Weight: 397 102.94/103.65 c Elapsed CPU time: 102.502 s Remaining CPU time: 1697.5 s 103.24/103.92 c Learning 307 hard constraints 103.24/103.92 c ============================[ Search Statistics ]============================== 103.24/103.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.24/103.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.24/103.92 c =============================================================================== 103.24/103.92 c | 0 | 4935 47355 1713815 | 15785 0 nan | 0.000 % | 103.44/104.11 c | 102 | 4935 47355 1713815 | 17363 102 39 | 1.635 % | 103.44/104.18 c | 254 | 4933 47355 1713815 | 19099 254 34 | 1.674 % | 103.54/104.21 c | 479 | 4933 47355 1713815 | 21009 479 34 | 1.675 % | 103.54/104.26 c | 818 | 4933 47355 1713815 | 23110 818 32 | 1.675 % | 103.65/104.33 c | 1324 | 4933 47355 1713815 | 25421 1324 31 | 1.674 % | 103.75/104.45 c | 2084 | 4933 47355 1713815 | 27964 2084 28 | 1.674 % | 103.85/104.59 c | 3224 | 4933 47355 1713815 | 30760 3224 31 | 1.675 % | 104.24/104.99 c | 4932 | 4932 47355 1713815 | 33836 4932 32 | 1.714 % | 104.84/105.60 c | 7496 | 4930 47355 1713815 | 37220 7496 32 | 1.754 % | 105.73/106.43 c | 11342 | 4929 47355 1713815 | 40942 11342 32 | 1.754 % | 108.02/108.77 c | 17108 | 4929 47355 1713815 | 45036 17108 38 | 1.754 % | 113.61/114.32 c | 25758 | 4925 47355 1713815 | 49540 25758 42 | 1.834 % | 114.80/115.55 c =============================================================================== 115.10/115.89 c core #398 115.10/115.89 c Core size: 4218 Core Weight: 1 Total Weight: 398 115.10/115.89 c Elapsed CPU time: 114.634 s Remaining CPU time: 1685.37 s 115.40/116.18 c Learning 356 hard constraints 115.40/116.18 c ============================[ Search Statistics ]============================== 115.40/116.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.40/116.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.40/116.18 c =============================================================================== 115.40/116.18 c | 0 | 4996 47712 1731289 | 15904 0 nan | 0.000 % | 115.50/116.25 c | 101 | 4996 47712 1731289 | 17494 101 22 | 1.654 % | 115.60/116.32 c | 255 | 4994 47712 1731289 | 19243 255 22 | 1.693 % | 115.60/116.36 c | 482 | 4994 47712 1731289 | 21168 482 26 | 1.693 % | 115.70/116.43 c | 820 | 4994 47712 1731289 | 23285 820 32 | 1.693 % | 115.81/116.53 c | 1327 | 4994 47712 1731289 | 25613 1327 32 | 1.693 % | 115.91/116.63 c | 2090 | 4992 47712 1731289 | 28174 2090 32 | 1.732 % | 116.00/116.75 c | 3229 | 4992 47712 1731289 | 30992 3229 34 | 1.732 % | 116.20/116.92 c | 4938 | 4992 47712 1731289 | 34091 4938 34 | 1.732 % | 117.00/117.71 c | 7501 | 4992 47712 1731289 | 37500 7501 48 | 1.732 % | 117.71/118.46 c | 11347 | 4992 47712 1731289 | 41250 11347 54 | 1.732 % | 118.70/119.44 c | 17114 | 4992 47712 1731289 | 45375 17114 51 | 1.732 % | 121.00/121.76 c | 25766 | 4992 47712 1731289 | 49913 25766 50 | 1.732 % | 126.59/127.36 c | 38741 | 4992 47712 1731289 | 54904 38741 58 | 1.732 % | 138.49/139.21 c | 58202 | 4990 47712 1731289 | 60395 14948 62 | 1.772 % | 159.37/160.13 c | 87394 | 4989 47712 1731289 | 66434 44140 59 | 1.811 % | 189.16/189.92 c | 131183 | 4986 47712 1731289 | 73078 34855 91 | 1.851 % | 269.98/271.19 c | 196869 | 4982 47712 1731289 | 80386 38390 93 | 1.929 % | 305.56/306.74 c =============================================================================== 308.87/310.02 c core #399 308.87/310.02 c Core size: 7900 Core Weight: 1 Total Weight: 399 308.87/310.02 c Elapsed CPU time: 307.617 s Remaining CPU time: 1492.38 s 309.36/310.54 c Learning 226 hard constraints 309.36/310.54 c ============================[ Search Statistics ]============================== 309.36/310.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 309.36/310.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 309.36/310.54 c =============================================================================== 309.36/310.54 c | 0 | 5110 47939 1742385 | 15979 0 nan | 0.000 % | 309.46/310.68 c | 100 | 5110 47939 1742385 | 17577 100 31 | 1.618 % | 309.56/310.72 c | 252 | 5110 47939 1742385 | 19335 252 24 | 1.617 % | 309.56/310.76 c | 478 | 5110 47939 1742385 | 21268 478 23 | 1.617 % | 309.66/310.80 c | 816 | 5110 47939 1742385 | 23395 816 29 | 1.617 % | 309.66/310.85 c | 1322 | 5110 47939 1742385 | 25735 1322 26 | 1.617 % | 309.76/310.91 c | 2081 | 5110 47939 1742385 | 28308 2081 25 | 1.617 % | 309.86/311.06 c | 3221 | 5110 47939 1742385 | 31139 3221 33 | 1.617 % | 310.26/311.43 c | 4931 | 5106 47939 1742385 | 34253 4931 32 | 1.694 % | 310.66/311.88 c | 7497 | 5106 47939 1742385 | 37679 7497 43 | 1.694 % | 311.96/313.12 c | 11341 | 5003 47939 1742385 | 41447 11341 64 | 4.082 % | 312.45/313.62 c =============================================================================== 312.56/313.73 c core #400 312.56/313.73 c Core size: 2807 Core Weight: 1 Total Weight: 400 312.56/313.73 c Elapsed CPU time: 311.27 s Remaining CPU time: 1488.73 s 312.85/314.01 c Learning 180 hard constraints 312.85/314.01 c ============================[ Search Statistics ]============================== 312.85/314.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 312.85/314.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 312.85/314.01 c =============================================================================== 312.85/314.01 c | 0 | 5196 48120 1750791 | 16040 0 nan | 0.000 % | 312.95/314.15 c | 100 | 5196 48120 1750791 | 17644 100 49 | 1.628 % | 312.95/314.19 c | 251 | 5196 48120 1750791 | 19408 251 35 | 1.628 % | 313.05/314.29 c | 477 | 5194 48120 1750791 | 21349 477 49 | 1.666 % | 313.18/314.34 c | 815 | 5194 48120 1750791 | 23484 815 44 | 1.666 % | 313.26/314.44 c | 1322 | 5194 48120 1750791 | 25832 1322 49 | 1.666 % | 313.36/314.55 c | 2081 | 5194 48120 1750791 | 28415 2081 50 | 1.666 % | 313.66/314.81 c | 3221 | 5194 48120 1750791 | 31257 3221 45 | 1.666 % | 313.85/315.07 c | 4930 | 5194 48120 1750791 | 34383 4930 48 | 1.666 % | 314.35/315.53 c | 7493 | 5194 48120 1750791 | 37821 7493 44 | 1.666 % | 315.27/316.41 c | 11338 | 5194 48120 1750791 | 41603 11338 41 | 1.666 % | 316.66/317.85 c | 17105 | 5194 48120 1750791 | 45763 17105 56 | 1.666 % | 319.46/320.62 c | 25754 | 5194 48120 1750791 | 50340 25754 55 | 1.666 % | 325.47/326.62 c | 38730 | 5192 48120 1750791 | 55374 38536 59 | 1.704 % | 342.84/344.09 c | 58193 | 5192 48120 1750791 | 60911 14393 81 | 1.704 % | 351.34/352.59 c | 87387 | 5192 48120 1750791 | 67003 43587 64 | 1.705 % | 352.54/353.71 c =============================================================================== 353.24/354.47 c core #401 353.24/354.47 c Core size: 5435 Core Weight: 1 Total Weight: 401 353.24/354.47 c Elapsed CPU time: 351.806 s Remaining CPU time: 1448.19 s 353.64/354.86 c Learning 187 hard constraints 353.64/354.86 c ============================[ Search Statistics ]============================== 353.64/354.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 353.64/354.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 353.64/354.86 c =============================================================================== 353.64/354.86 c | 0 | 5286 48308 1760253 | 16102 0 nan | 0.000 % | 353.74/354.94 c | 100 | 5286 48308 1760253 | 17712 100 19 | 1.601 % | 353.84/355.00 c | 250 | 5284 48308 1760253 | 19484 250 28 | 1.638 % | 353.84/355.03 c | 475 | 5284 48308 1760253 | 21432 475 27 | 1.638 % | 353.84/355.08 c | 812 | 5284 48308 1760253 | 23575 812 30 | 1.638 % | 353.94/355.13 c | 1319 | 5284 48308 1760253 | 25933 1319 31 | 1.638 % | 353.94/355.21 c | 2083 | 5284 48308 1760253 | 28526 2083 31 | 1.638 % | 354.15/355.31 c | 3224 | 5284 48308 1760253 | 31379 3224 28 | 1.638 % | 354.24/355.50 c | 4934 | 5281 48308 1760253 | 34517 4934 30 | 1.713 % | 354.75/356.00 c | 7496 | 5279 48308 1760253 | 37969 7496 28 | 1.750 % | 355.54/356.73 c | 11340 | 5276 48308 1760253 | 41766 11340 31 | 1.824 % | 357.14/358.37 c | 17109 | 5253 48308 1760253 | 45942 17109 33 | 4.487 % | 357.24/358.40 c =============================================================================== 357.44/358.63 c core #402 357.44/358.63 c Core size: 2561 Core Weight: 1 Total Weight: 402 357.44/358.63 c Elapsed CPU time: 355.923 s Remaining CPU time: 1444.08 s 357.75/358.93 c Learning 236 hard constraints 357.75/358.93 c ============================[ Search Statistics ]============================== 357.75/358.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 357.75/358.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 357.75/358.93 c =============================================================================== 357.75/358.93 c | 0 | 5349 48545 1773044 | 16181 0 nan | 0.000 % | 357.84/359.04 c | 101 | 5349 48545 1773044 | 17799 101 39 | 1.619 % | 357.84/359.08 c | 251 | 5349 48545 1773044 | 19579 251 36 | 1.619 % | 357.94/359.19 c | 476 | 5349 48545 1773044 | 21537 476 39 | 1.619 % | 358.04/359.24 c | 813 | 5349 48545 1773044 | 23691 813 35 | 1.619 % | 358.04/359.29 c | 1320 | 5349 48545 1773044 | 26060 1320 34 | 1.619 % | 358.24/359.40 c | 2079 | 5349 48545 1773044 | 28666 2079 40 | 1.619 % | 358.34/359.53 c | 3218 | 5349 48545 1773044 | 31533 3218 43 | 1.619 % | 358.55/359.74 c | 4927 | 5349 48545 1773044 | 34686 4927 40 | 1.619 % | 358.83/360.09 c | 7491 | 5349 48545 1773044 | 38155 7491 40 | 1.619 % | 359.74/360.94 c | 11341 | 5349 48545 1773044 | 41971 11341 40 | 1.619 % | 361.54/362.70 c | 17110 | 5349 48545 1773044 | 46168 17110 43 | 1.619 % | 363.95/365.15 c | 25761 | 5349 48545 1773044 | 50785 25761 42 | 1.619 % | 369.63/370.90 c | 38737 | 5349 48545 1773044 | 55863 38737 42 | 1.619 % | 378.03/379.25 c | 58202 | 5349 48545 1773044 | 61449 15951 42 | 1.619 % | 380.53/381.71 c =============================================================================== 381.32/382.50 c core #403 381.32/382.50 c Core size: 2671 Core Weight: 1 Total Weight: 403 381.32/382.50 c Elapsed CPU time: 379.649 s Remaining CPU time: 1420.35 s 381.63/382.86 c Learning 108 hard constraints 381.63/382.86 c ============================[ Search Statistics ]============================== 381.63/382.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 381.63/382.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 381.63/382.86 c =============================================================================== 381.63/382.86 c | 0 | 5426 48654 1778343 | 16218 0 nan | 0.000 % | 381.72/382.93 c | 101 | 5426 48654 1778343 | 17839 101 13 | 1.596 % | 381.72/383.00 c | 251 | 5426 48654 1778343 | 19623 251 24 | 1.596 % | 381.93/383.13 c | 477 | 5425 48654 1778343 | 21586 477 26 | 1.632 % | 381.93/383.15 c | 816 | 5425 48654 1778343 | 23744 816 27 | 1.632 % | 382.02/383.23 c | 1322 | 5425 48654 1778343 | 26119 1322 28 | 1.632 % | 382.13/383.34 c | 2081 | 5425 48654 1778343 | 28731 2081 28 | 1.632 % | 382.33/383.54 c | 3222 | 5422 48654 1778343 | 31604 3222 29 | 1.668 % | 382.52/383.71 c | 4930 | 5422 48654 1778343 | 34764 4930 32 | 1.669 % | 382.83/384.07 c | 7493 | 5420 48654 1778343 | 38241 7493 35 | 1.705 % | 383.43/384.63 c | 11338 | 5420 48654 1778343 | 42065 11338 38 | 1.705 % | 385.23/386.48 c | 17107 | 5418 48654 1778343 | 46271 17107 40 | 1.741 % | 388.33/389.52 c | 25758 | 5418 48654 1778343 | 50899 25758 42 | 1.741 % | 396.02/397.28 c | 38735 | 5418 48654 1778343 | 55988 38683 46 | 1.741 % | 413.92/415.16 c | 58196 | 5414 48654 1778343 | 61587 16306 66 | 1.814 % | 427.80/429.02 c | 87390 | 5205 48654 1778343 | 67746 41840 56 | 5.622 % | 429.40/430.68 c =============================================================================== 430.81/432.03 c core #404 430.81/432.03 c Core size: 2389 Core Weight: 1 Total Weight: 404 430.81/432.03 c Elapsed CPU time: 428.929 s Remaining CPU time: 1371.07 s 431.20/432.41 c Learning 33 hard constraints 431.20/432.41 c ============================[ Search Statistics ]============================== 431.20/432.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 431.20/432.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 431.20/432.41 c =============================================================================== 431.20/432.41 c | 0 | 5495 48688 1779799 | 16229 0 nan | 0.000 % | 431.30/432.50 c | 103 | 5495 48688 1779799 | 17852 103 16 | 1.576 % | 431.30/432.56 c | 255 | 5495 48688 1779799 | 19637 255 18 | 1.576 % | 431.40/432.60 c | 483 | 5495 48688 1779799 | 21601 483 19 | 1.576 % | 431.40/432.65 c | 820 | 5495 48688 1779799 | 23761 820 28 | 1.576 % | 431.50/432.72 c | 1328 | 5494 48688 1779799 | 26137 1328 34 | 1.612 % | 431.60/432.82 c | 2091 | 5494 48688 1779799 | 28751 2091 35 | 1.612 % | 431.69/432.98 c | 3230 | 5494 48688 1779799 | 31626 3230 39 | 1.612 % | 431.90/433.16 c | 4939 | 5493 48688 1779799 | 34789 4939 40 | 1.612 % | 432.40/433.60 c | 7502 | 5493 48688 1779799 | 38267 7502 44 | 1.612 % | 433.10/434.30 c | 11348 | 5493 48688 1779799 | 42094 11348 45 | 1.612 % | 434.61/435.88 c | 17116 | 5492 48688 1779799 | 46304 17116 53 | 1.648 % | 437.80/439.06 c | 25767 | 5491 48688 1779799 | 50934 25767 54 | 1.684 % | 440.90/442.16 c | 38742 | 5488 48688 1779799 | 56028 38742 49 | 1.720 % | 445.60/446.80 c | 58207 | 5487 48688 1779799 | 61630 13327 41 | 1.720 % | 447.19/448.42 c =============================================================================== 447.69/448.99 c core #405 447.69/448.99 c Core size: 2496 Core Weight: 1 Total Weight: 405 447.69/448.99 c Elapsed CPU time: 445.747 s Remaining CPU time: 1354.25 s 448.09/449.33 c Learning 64 hard constraints 448.09/449.33 c ============================[ Search Statistics ]============================== 448.09/449.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 448.09/449.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 448.09/449.33 c =============================================================================== 448.09/449.33 c | 0 | 5567 48753 1783593 | 16251 0 nan | 0.000 % | 448.09/449.40 c | 100 | 5567 48753 1783593 | 17876 100 27 | 1.591 % | 448.19/449.44 c | 252 | 5567 48753 1783593 | 19663 252 30 | 1.591 % | 448.19/449.49 c | 478 | 5567 48753 1783593 | 21630 478 38 | 1.591 % | 448.29/449.52 c | 817 | 5567 48753 1783593 | 23793 817 36 | 1.591 % | 448.39/449.61 c | 1324 | 5567 48753 1783593 | 26172 1324 48 | 1.591 % | 448.39/449.70 c | 2084 | 5567 48753 1783593 | 28789 2084 43 | 1.591 % | 448.60/449.84 c | 3224 | 5567 48753 1783593 | 31668 3224 41 | 1.591 % | 448.79/450.02 c | 4933 | 5567 48753 1783593 | 34835 4933 46 | 1.591 % | 449.09/450.31 c | 7498 | 5567 48753 1783593 | 38319 7498 42 | 1.591 % | 449.79/451.03 c | 11348 | 5567 48753 1783593 | 42150 11348 41 | 1.591 % | 450.99/452.25 c | 17114 | 5567 48753 1783593 | 46365 17114 46 | 1.591 % | 453.00/454.23 c | 25763 | 5565 48753 1783593 | 51002 25763 48 | 1.627 % | 457.58/458.83 c | 38737 | 5565 48753 1783593 | 56102 38737 58 | 1.626 % | 467.29/468.51 c | 58200 | 5565 48753 1783593 | 61713 13722 54 | 1.626 % | 475.49/476.72 c | 87395 | 5565 48753 1783593 | 67884 42917 75 | 1.627 % | 506.37/507.77 c | 131185 | 5565 48753 1783593 | 74672 31518 68 | 1.626 % | 549.13/550.59 c | 196870 | 5561 48753 1783593 | 82140 36058 71 | 1.697 % | 585.82/587.22 c =============================================================================== 588.92/590.37 c core #406 588.92/590.37 c Core size: 3280 Core Weight: 1 Total Weight: 406 588.92/590.37 c Elapsed CPU time: 586.21 s Remaining CPU time: 1213.79 s 589.51/590.92 c Learning 64 hard constraints 589.51/590.92 c ============================[ Search Statistics ]============================== 589.51/590.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 589.51/590.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 589.51/590.92 c =============================================================================== 589.51/590.92 c | 0 | 5737 48818 1787070 | 16272 0 nan | 0.000 % | 589.62/591.03 c | 101 | 5737 48818 1787070 | 17899 101 29 | 1.545 % | 589.62/591.06 c | 251 | 5737 48818 1787070 | 19689 251 30 | 1.545 % | 589.71/591.10 c | 478 | 5737 48818 1787070 | 21658 478 30 | 1.545 % | 589.71/591.15 c | 819 | 5737 48818 1787070 | 23824 819 36 | 1.545 % | 589.81/591.24 c | 1325 | 5737 48818 1787070 | 26207 1325 37 | 1.545 % | 589.91/591.33 c | 2084 | 5737 48818 1787070 | 28828 2084 40 | 1.545 % | 590.01/591.48 c | 3226 | 5737 48818 1787070 | 31710 3226 46 | 1.545 % | 590.32/591.74 c | 4935 | 5737 48818 1787070 | 34881 4935 49 | 1.545 % | 590.62/592.03 c | 7499 | 5735 48818 1787070 | 38370 7499 45 | 1.579 % | 591.11/592.53 c | 11343 | 5735 48818 1787070 | 42207 11343 52 | 1.579 % | 591.92/593.38 c | 17110 | 5735 48818 1787070 | 46427 17110 58 | 1.579 % | 594.41/595.83 c | 25759 | 5735 48818 1787070 | 51070 25759 56 | 1.579 % | 598.11/599.52 c | 38733 | 5735 48818 1787070 | 56177 38729 54 | 1.579 % | 606.81/608.30 c | 58194 | 5735 48818 1787070 | 61795 14930 53 | 1.579 % | 619.52/621.06 c | 87386 | 5735 48818 1787070 | 67974 44122 69 | 1.579 % | 650.23/652.10 c | 131176 | 5735 48818 1787070 | 74772 31485 77 | 1.579 % | 740.55/742.45 c | 196864 | 5735 48818 1787070 | 82249 36798 71 | 1.579 % | 891.84/893.81 c | 295390 | 5733 48818 1787070 | 90474 66504 50 | 1.613 % | 1101.09/1104.05 c | 443179 | 5733 48818 1787070 | 99522 58555 73 | 1.613 % | 1393.70/1397.29 c | 664863 | 5733 48818 1787070 | 109474 22081 127 | 1.613 % |
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-1875684-1245152313/watcher-1875684-1245152313 -o /tmp/evaluation-result-1875684-1245152313/solver-1875684-1245152313 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875684-1245152313.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 1.93 1.97 4/73 15022 /proc/meminfo: memFree=429960/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=3016 CPUtime=0 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 192 0 0 0 0 0 0 0 21 0 1 0 182830265 3088384 176 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 754 177 118 292 0 339 0 [startup+0.049209 s] /proc/loadavg: 2.08 1.93 1.97 4/73 15022 /proc/meminfo: memFree=429960/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=3420 CPUtime=0.04 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 366 0 0 0 4 0 0 0 22 0 1 0 182830265 3502080 350 1992294400 134512640 135709839 4294956240 18446744073709551615 135351912 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 855 350 200 292 0 440 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3420 [startup+0.120609 s] /proc/loadavg: 2.08 1.93 1.97 4/73 15022 /proc/meminfo: memFree=429960/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=3984 CPUtime=0.1 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 693 0 0 0 10 0 0 0 22 0 1 0 182830265 4079616 557 1992294400 134512640 135709839 4294956240 18446744073709551615 135182873 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 996 557 133 292 0 701 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3984 [startup+0.302314 s] /proc/loadavg: 2.08 1.93 1.97 4/73 15022 /proc/meminfo: memFree=429960/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=3984 CPUtime=0.28 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 693 0 0 0 28 0 0 0 23 0 1 0 182830265 4079616 557 1992294400 134512640 135709839 4294956240 18446744073709551615 135182820 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 996 557 133 292 0 701 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3984 [startup+0.700982 s] /proc/loadavg: 2.08 1.93 1.97 4/73 15022 /proc/meminfo: memFree=429960/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=3984 CPUtime=0.68 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 696 0 0 0 68 0 0 0 25 0 1 0 182830265 4079616 560 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 996 560 133 292 0 701 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 3984 [startup+1.50618 s] /proc/loadavg: 2.08 1.93 1.97 2/74 15023 /proc/meminfo: memFree=427840/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=4372 CPUtime=1.47 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 871 0 0 0 147 0 0 0 25 0 1 0 182830265 4476928 642 1992294400 134512640 135709839 4294956240 18446744073709551615 134571159 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 1093 642 133 292 0 798 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 4372 [startup+3.10243 s] /proc/loadavg: 2.08 1.93 1.97 3/74 15023 /proc/meminfo: memFree=427264/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=5708 CPUtime=3.06 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 1252 0 0 0 305 1 0 0 25 0 1 0 182830265 5844992 966 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 1427 966 133 292 0 1132 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 5708 [startup+6.30252 s] /proc/loadavg: 2.07 1.93 1.97 4/74 15023 /proc/meminfo: memFree=422720/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=10508 CPUtime=6.21 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 2549 0 0 0 615 6 0 0 25 0 1 0 182830265 10760192 2187 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 2627 2187 136 292 0 2332 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 10508 [startup+12.7032 s] /proc/loadavg: 1.99 1.91 1.97 4/74 15023 /proc/meminfo: memFree=418248/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=13632 CPUtime=12.6 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 3304 0 0 0 1251 9 0 0 25 0 1 0 182830265 13959168 2942 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 3408 2942 136 292 0 3113 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 13632 [startup+25.5018 s] /proc/loadavg: 1.84 1.88 1.96 3/74 15023 /proc/meminfo: memFree=411656/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=20196 CPUtime=25.38 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 4963 0 0 0 2525 13 0 0 25 0 1 0 182830265 20680704 4601 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 5049 4601 136 292 0 4754 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 20196 [startup+51.1015 s] /proc/loadavg: 1.91 1.89 1.96 4/74 15023 /proc/meminfo: memFree=407560/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=24260 CPUtime=50.84 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 6024 0 0 0 5063 21 0 0 25 0 1 0 182830265 24842240 5600 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 6065 5600 136 292 0 5770 0 Current children cumulated CPU time (s) 50.84 Current children cumulated vsize (KiB) 24260 [startup+102.306 s] /proc/loadavg: 1.84 1.88 1.95 3/74 15023 /proc/meminfo: memFree=395208/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=36616 CPUtime=101.65 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 9278 0 0 0 10116 49 0 0 25 0 1 0 182830265 37494784 8680 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 9154 8680 136 292 0 8859 0 Current children cumulated CPU time (s) 101.65 Current children cumulated vsize (KiB) 36616 [startup+162.303 s] /proc/loadavg: 1.86 1.88 1.94 4/74 15023 /proc/meminfo: memFree=370952/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=61676 CPUtime=161.58 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 15492 0 0 0 16079 79 0 0 25 0 1 0 182830265 63156224 14894 1992294400 134512640 135709839 4294956240 18446744073709551615 134574246 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 15419 14895 136 292 0 15124 0 Current children cumulated CPU time (s) 161.58 Current children cumulated vsize (KiB) 61676 [startup+222.303 s] /proc/loadavg: 2.10 1.94 1.96 3/74 15023 /proc/meminfo: memFree=334216/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=97816 CPUtime=221.43 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 24488 0 0 0 22040 103 0 0 25 0 1 0 182830265 100163584 23890 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 24454 23890 136 292 0 24159 0 Current children cumulated CPU time (s) 221.43 Current children cumulated vsize (KiB) 97816 [startup+282.302 s] /proc/loadavg: 2.08 1.97 1.96 3/74 15023 /proc/meminfo: memFree=306952/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=125480 CPUtime=281.17 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 31361 0 0 0 27994 123 0 0 25 0 1 0 182830265 128491520 30763 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 31370 30763 136 292 0 31075 0 Current children cumulated CPU time (s) 281.17 Current children cumulated vsize (KiB) 125480 [startup+342.306 s] /proc/loadavg: 2.09 1.99 1.97 3/74 15023 /proc/meminfo: memFree=285640/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=146300 CPUtime=341.15 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 36639 0 0 0 33971 144 0 0 25 0 1 0 182830265 149811200 35969 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 36575 35969 136 292 0 36280 0 Current children cumulated CPU time (s) 341.15 Current children cumulated vsize (KiB) 146300 [startup+402.301 s] /proc/loadavg: 2.00 1.97 1.96 3/74 15023 /proc/meminfo: memFree=285192/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=146300 CPUtime=401.12 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 36747 0 0 0 39932 180 0 0 25 0 1 0 182830265 149811200 36077 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 36575 36077 136 292 0 36280 0 Current children cumulated CPU time (s) 401.12 Current children cumulated vsize (KiB) 146300 [startup+462.312 s] /proc/loadavg: 1.98 1.97 1.96 3/74 15023 /proc/meminfo: memFree=284872/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=146300 CPUtime=461.09 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 36798 0 0 0 45893 216 0 0 25 0 1 0 182830265 149811200 36128 1992294400 134512640 135709839 4294956240 18446744073709551615 134574232 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 36575 36128 136 292 0 36280 0 Current children cumulated CPU time (s) 461.09 Current children cumulated vsize (KiB) 146300 [startup+522.302 s] /proc/loadavg: 1.77 1.91 1.94 3/74 15023 /proc/meminfo: memFree=246152/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=185988 CPUtime=520.94 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 46636 0 0 0 51845 249 0 0 25 0 1 0 182830265 190451712 45966 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 46497 45966 136 292 0 46202 0 Current children cumulated CPU time (s) 520.94 Current children cumulated vsize (KiB) 185988 [startup+582.303 s] /proc/loadavg: 1.75 1.88 1.93 2/74 15023 /proc/meminfo: memFree=208648/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=223252 CPUtime=580.92 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 55910 0 0 0 57819 273 0 0 25 0 1 0 182830265 228610048 55240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 55813 55240 136 292 0 55518 0 Current children cumulated CPU time (s) 580.92 Current children cumulated vsize (KiB) 223252 [startup+642.302 s] /proc/loadavg: 1.76 1.88 1.92 4/74 15023 /proc/meminfo: memFree=186952/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=244084 CPUtime=640.63 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 61203 0 0 0 63756 307 0 0 25 0 1 0 182830265 249942016 60533 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15022/statm: 61021 60533 136 292 0 60726 0 Current children cumulated CPU time (s) 640.63 Current children cumulated vsize (KiB) 244084 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.92 1.93 1.92 2/74 15023 /proc/meminfo: memFree=140552/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=291220 CPUtime=820.4 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 72837 0 0 0 81690 350 0 0 25 0 1 0 182830265 298209280 72167 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 72805 72167 136 292 0 72510 0 Current children cumulated CPU time (s) 820.4 Current children cumulated vsize (KiB) 291220 [startup+882.309 s] /proc/loadavg: 1.72 1.87 1.90 3/74 15025 /proc/meminfo: memFree=126600/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=304968 CPUtime=880.35 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 76237 0 0 0 87671 364 0 0 25 0 1 0 182830265 312287232 75567 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 76242 75567 136 292 0 75947 0 Current children cumulated CPU time (s) 880.35 Current children cumulated vsize (KiB) 304968 [startup+942.301 s] /proc/loadavg: 1.86 1.88 1.90 2/74 15025 /proc/meminfo: memFree=100040/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=331816 CPUtime=940.32 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 82920 0 0 0 93648 384 0 0 25 0 1 0 182830265 339779584 82250 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 82954 82250 136 292 0 82659 0 Current children cumulated CPU time (s) 940.32 Current children cumulated vsize (KiB) 331816 [startup+1002.3 s] /proc/loadavg: 1.91 1.88 1.90 2/74 15025 /proc/meminfo: memFree=86472/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=345604 CPUtime=999.85 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 86281 0 0 0 99586 399 0 0 25 0 1 0 182830265 353898496 85611 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 86401 85611 136 292 0 86106 0 Current children cumulated CPU time (s) 999.85 Current children cumulated vsize (KiB) 345604 [startup+1062.3 s] /proc/loadavg: 1.76 1.85 1.89 3/74 15025 /proc/meminfo: memFree=70344/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=362296 CPUtime=1059.53 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 90418 0 0 0 105540 413 0 0 25 0 1 0 182830265 370991104 89748 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 90574 89748 136 292 0 90279 0 Current children cumulated CPU time (s) 1059.53 Current children cumulated vsize (KiB) 362296 [startup+1122.3 s] /proc/loadavg: 1.60 1.80 1.87 4/74 15025 /proc/meminfo: memFree=44872/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=387584 CPUtime=1119.24 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 96685 0 0 0 111489 435 0 0 25 0 1 0 182830265 396886016 96015 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 96896 96015 136 292 0 96601 0 Current children cumulated CPU time (s) 1119.24 Current children cumulated vsize (KiB) 387584 [startup+1182.3 s] /proc/loadavg: 1.75 1.80 1.87 3/74 15025 /proc/meminfo: memFree=22856/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=410040 CPUtime=1178.94 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 102229 0 0 0 117442 452 0 0 25 0 1 0 182830265 419880960 101559 1992294400 134512640 135709839 4294956240 18446744073709551615 134573796 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 102510 101559 136 292 0 102215 0 Current children cumulated CPU time (s) 1178.94 Current children cumulated vsize (KiB) 410040 [startup+1242.3 s] /proc/loadavg: 1.74 1.80 1.86 3/74 15025 /proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=459864 CPUtime=1238.87 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 114663 0 0 0 123410 477 0 0 25 0 1 0 182830265 470900736 113993 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 114966 113993 136 292 0 114671 0 Current children cumulated CPU time (s) 1238.87 Current children cumulated vsize (KiB) 459864 [startup+1302.3 s] /proc/loadavg: 2.05 1.87 1.88 2/74 15025 /proc/meminfo: memFree=15240/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=484720 CPUtime=1298.85 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 120844 0 0 0 129393 492 0 0 25 0 1 0 182830265 496353280 120174 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 121180 120174 136 292 0 120885 0 Current children cumulated CPU time (s) 1298.85 Current children cumulated vsize (KiB) 484720 [startup+1362.3 s] /proc/loadavg: 2.01 1.90 1.89 3/74 15031 /proc/meminfo: memFree=16128/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=502372 CPUtime=1358.81 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 125232 0 0 0 135377 504 0 0 25 0 1 0 182830265 514428928 124562 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 125593 124562 136 292 0 125298 0 Current children cumulated CPU time (s) 1358.81 Current children cumulated vsize (KiB) 502372 [startup+1422.31 s] /proc/loadavg: 2.08 1.93 1.90 2/74 15031 /proc/meminfo: memFree=15552/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=535312 CPUtime=1418.79 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 133408 0 0 0 141358 521 0 0 25 0 1 0 182830265 548159488 132738 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 133828 132738 136 292 0 133533 0 Current children cumulated CPU time (s) 1418.79 Current children cumulated vsize (KiB) 535312 [startup+1482.3 s] /proc/loadavg: 2.23 1.99 1.92 3/74 15031 /proc/meminfo: memFree=15616/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=555644 CPUtime=1478.75 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 138450 0 0 0 147341 534 0 0 25 0 1 0 182830265 568979456 137780 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 138911 137780 136 292 0 138616 0 Current children cumulated CPU time (s) 1478.75 Current children cumulated vsize (KiB) 555644 [startup+1542.3 s] /proc/loadavg: 2.38 2.07 1.95 2/74 15031 /proc/meminfo: memFree=15104/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=579092 CPUtime=1538.59 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 144275 0 0 0 153310 549 0 0 25 0 1 0 182830265 592990208 143605 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 144773 143605 136 292 0 144478 0 Current children cumulated CPU time (s) 1538.59 Current children cumulated vsize (KiB) 579092 [startup+1602.3 s] /proc/loadavg: 2.31 2.10 1.96 4/74 15031 /proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=591476 CPUtime=1598.36 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 147344 0 0 0 159276 560 0 0 25 0 1 0 182830265 605671424 146674 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 147869 146674 136 292 0 147574 0 Current children cumulated CPU time (s) 1598.36 Current children cumulated vsize (KiB) 591476 [startup+1662.3 s] /proc/loadavg: 2.26 2.11 1.97 2/74 15031 /proc/meminfo: memFree=15240/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=600552 CPUtime=1657.91 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 149617 0 0 0 165219 572 0 0 25 0 1 0 182830265 614965248 148947 1992294400 134512640 135709839 4294956240 18446744073709551615 134574184 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 150138 148947 136 292 0 149843 0 Current children cumulated CPU time (s) 1657.91 Current children cumulated vsize (KiB) 600552 [startup+1722.31 s] /proc/loadavg: 2.16 2.10 1.98 2/74 15031 /proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=611720 CPUtime=1717.83 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 152384 0 0 0 171204 579 0 0 25 0 1 0 182830265 626401280 151714 1992294400 134512640 135709839 4294956240 18446744073709551615 134573775 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 152930 151714 136 292 0 152635 0 Current children cumulated CPU time (s) 1717.83 Current children cumulated vsize (KiB) 611720 [startup+1782.3 s] /proc/loadavg: 2.24 2.14 2.00 3/74 15031 /proc/meminfo: memFree=15112/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=619328 CPUtime=1777.8 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 154250 0 0 0 177195 585 0 0 25 0 1 0 182830265 634191872 153580 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15022/statm: 154832 153580 136 292 0 154537 0 Current children cumulated CPU time (s) 1777.8 Current children cumulated vsize (KiB) 619328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1804.6 s] /proc/loadavg: 2.01 2.10 1.99 4/74 15031 /proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956 [pid=15022] ppid=15020 vsize=621976 CPUtime=1800 /proc/15022/stat : 15022 (wbo) R 15020 15022 14711 0 -1 4194304 154914 0 0 0 179412 588 0 0 25 0 1 0 182830265 636903424 154244 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15022/statm: 155494 154244 136 292 0 155199 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 621976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1804.71 CPU time (s): 1800.11 CPU user time (s): 1794.13 CPU system time (s): 5.98409 CPU usage (%): 99.7456 Max. virtual memory (cumulated for all children) (KiB): 621976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.13 system time used= 5.98409 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154914 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 18284 runsolver used 2.56861 second user time and 6.25905 second system time The end
Begin job on node81 at 2009-06-16 13:38:33 IDJOB=1875684 IDBENCH=2093 IDSOLVER=698 FILE ID=node81/1875684-1245152313 PBS_JOBID= 9363775 Free space on /tmp= 126776 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e5.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-1875684-1245152313/watcher-1875684-1245152313 -o /tmp/evaluation-result-1875684-1245152313/solver-1875684-1245152313 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875684-1245152313.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad6c04a791a5d9edc6d6bca9a842a8ee RANDOM SEED=1020750027 node81.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.268 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.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 430440 kB Buffers: 38448 kB Cached: 1483936 kB SwapCached: 0 kB Active: 795480 kB Inactive: 758576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 430440 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3104 kB Writeback: 0 kB Mapped: 43084 kB Slab: 56292 kB Committed_AS: 599664 kB PageTables: 2120 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875684-1245152313.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-16 14:08:40