Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.12 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16c2.opb |
MD5SUM | cb4dc7ddfb50456685f1304551ada580 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 861 |
Best CPU time to get the best result obtained on this benchmark | 28.0657 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 861 |
Optimality of the best value was proved | YES |
Number of variables | 1848 |
Total number of constraints | 14727 |
Number of constraints which are clauses | 14727 |
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 | 16 |
Number of terms in the objective function | 1848 |
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 | 1848 |
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 | 1848 |
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-1876226-1245158185.opb. 0.00/0.00 c Instance file HOME/instance-1876226-1245158185.opb 0.00/0.00 c File size is 445704 bytes. 0.00/0.06 c Highest Coefficient sum: 17 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.06 s | 0.00/0.06 c | Number Variables: 1848 | 0.00/0.06 c | Number Clauses: 16575 | 0.00/0.06 c | Number Cardinality: 0 | 0.00/0.06 c | Number PB Constraints: 0 | 0.00/0.06 c core #1 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #2 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #3 0.07/0.07 c Core size: 3 Core Weight: 1 Total Weight: 3 0.07/0.07 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #4 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 4 0.07/0.08 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #5 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 5 0.07/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #6 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 6 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #7 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 7 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #8 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 8 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #9 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 9 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #10 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 10 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #11 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 11 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #12 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 12 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #13 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 13 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #14 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 14 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #15 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: 15 0.09/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #16 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 16 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #17 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 17 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #18 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 18 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #19 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 19 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #20 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 20 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #21 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 21 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #22 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 22 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #23 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 23 0.19/0.28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #24 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 24 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #25 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 25 0.29/0.30 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #26 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 26 0.29/0.31 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #27 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 27 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #28 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 28 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #29 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 29 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #30 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 30 0.29/0.35 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #31 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 31 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #32 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 32 0.29/0.37 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #33 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 33 0.29/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #34 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 34 0.29/0.39 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.29/0.40 c core #35 0.29/0.40 c Core size: 3 Core Weight: 1 Total Weight: 35 0.29/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #36 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 36 0.39/0.41 c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #37 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 37 0.39/0.42 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #38 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 38 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #39 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 39 0.39/0.44 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #40 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 40 0.39/0.45 c Elapsed CPU time: 0.449931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #41 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 41 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #42 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 42 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #43 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 43 0.39/0.48 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #44 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 44 0.39/0.49 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #45 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 45 0.49/0.50 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #46 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 46 0.49/0.51 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #47 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 47 0.49/0.52 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #48 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 48 0.49/0.53 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #49 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 49 0.49/0.54 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #50 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 50 0.49/0.55 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #51 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 51 0.49/0.56 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #52 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 52 0.49/0.57 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #53 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 53 0.49/0.58 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #54 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 54 0.49/0.59 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #55 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 55 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #56 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 56 0.59/0.61 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #57 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 57 0.59/0.62 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #58 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 58 0.59/0.63 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #59 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 59 0.59/0.64 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #60 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 60 0.59/0.65 c Elapsed CPU time: 0.6519 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #61 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 61 0.59/0.66 c Elapsed CPU time: 0.661899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #62 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 62 0.59/0.67 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #63 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 63 0.59/0.68 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #64 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 64 0.59/0.69 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #65 0.69/0.70 c Core size: 17 Core Weight: 1 Total Weight: 65 0.69/0.70 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #66 0.69/0.71 c Core size: 17 Core Weight: 1 Total Weight: 66 0.69/0.71 c Elapsed CPU time: 0.713891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #67 0.69/0.72 c Core size: 17 Core Weight: 1 Total Weight: 67 0.69/0.72 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #68 0.69/0.73 c Core size: 17 Core Weight: 1 Total Weight: 68 0.69/0.73 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #69 0.69/0.74 c Core size: 5 Core Weight: 1 Total Weight: 69 0.69/0.74 c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #70 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: 70 0.69/0.75 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #71 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 71 0.69/0.76 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #72 0.69/0.77 c Core size: 5 Core Weight: 1 Total Weight: 72 0.69/0.77 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #73 0.69/0.79 c Core size: 5 Core Weight: 1 Total Weight: 73 0.69/0.79 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.69/0.80 c core #74 0.69/0.80 c Core size: 5 Core Weight: 1 Total Weight: 74 0.69/0.80 c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #75 0.79/0.81 c Core size: 5 Core Weight: 1 Total Weight: 75 0.79/0.81 c Elapsed CPU time: 0.809876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #76 0.79/0.82 c Core size: 5 Core Weight: 1 Total Weight: 76 0.79/0.82 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #77 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: 77 0.79/0.83 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #78 0.79/0.84 c Core size: 5 Core Weight: 1 Total Weight: 78 0.79/0.84 c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #79 0.79/0.85 c Core size: 5 Core Weight: 1 Total Weight: 79 0.79/0.85 c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #80 0.79/0.86 c Core size: 5 Core Weight: 1 Total Weight: 80 0.79/0.86 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #81 0.79/0.87 c Core size: 5 Core Weight: 1 Total Weight: 81 0.79/0.87 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #82 0.79/0.88 c Core size: 5 Core Weight: 1 Total Weight: 82 0.79/0.88 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #83 0.79/0.89 c Core size: 5 Core Weight: 1 Total Weight: 83 0.79/0.89 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #84 0.89/0.91 c Core size: 5 Core Weight: 1 Total Weight: 84 0.89/0.91 c Elapsed CPU time: 0.907861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #85 0.89/0.92 c Core size: 5 Core Weight: 1 Total Weight: 85 0.89/0.92 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #86 0.89/0.93 c Core size: 5 Core Weight: 1 Total Weight: 86 0.89/0.93 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #87 0.89/0.94 c Core size: 5 Core Weight: 1 Total Weight: 87 0.89/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #88 0.89/0.95 c Core size: 5 Core Weight: 1 Total Weight: 88 0.89/0.95 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #89 0.89/0.96 c Core size: 5 Core Weight: 1 Total Weight: 89 0.89/0.96 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #90 0.89/0.97 c Core size: 5 Core Weight: 1 Total Weight: 90 0.89/0.97 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #91 0.89/0.98 c Core size: 5 Core Weight: 1 Total Weight: 91 0.89/0.98 c Elapsed CPU time: 0.98385 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #92 0.89/0.99 c Core size: 5 Core Weight: 1 Total Weight: 92 0.89/0.99 c Elapsed CPU time: 0.995848 s Remaining CPU time: 1799 s 1.00/1.00 c core #93 1.00/1.00 c Core size: 5 Core Weight: 1 Total Weight: 93 1.00/1.00 c Elapsed CPU time: 1.00585 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #94 1.00/1.02 c Core size: 5 Core Weight: 1 Total Weight: 94 1.00/1.02 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #95 1.00/1.03 c Core size: 5 Core Weight: 1 Total Weight: 95 1.00/1.03 c Elapsed CPU time: 1.02784 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #96 1.00/1.04 c Core size: 5 Core Weight: 1 Total Weight: 96 1.00/1.04 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #97 1.00/1.05 c Core size: 5 Core Weight: 1 Total Weight: 97 1.00/1.05 c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #98 1.00/1.06 c Core size: 5 Core Weight: 1 Total Weight: 98 1.00/1.06 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #99 1.00/1.07 c Core size: 5 Core Weight: 1 Total Weight: 99 1.00/1.07 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #100 1.00/1.08 c Core size: 5 Core Weight: 1 Total Weight: 100 1.00/1.08 c Elapsed CPU time: 1.08283 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #101 1.00/1.09 c Core size: 5 Core Weight: 1 Total Weight: 101 1.00/1.09 c Elapsed CPU time: 1.09383 s Remaining CPU time: 1798.91 s 1.10/1.10 c core #102 1.10/1.10 c Core size: 5 Core Weight: 1 Total Weight: 102 1.10/1.10 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.10/1.11 c core #103 1.10/1.11 c Core size: 5 Core Weight: 1 Total Weight: 103 1.10/1.11 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #104 1.10/1.13 c Core size: 5 Core Weight: 1 Total Weight: 104 1.10/1.13 c Elapsed CPU time: 1.12783 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #105 1.10/1.14 c Core size: 5 Core Weight: 1 Total Weight: 105 1.10/1.14 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #106 1.10/1.15 c Core size: 5 Core Weight: 1 Total Weight: 106 1.10/1.15 c Elapsed CPU time: 1.14983 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #107 1.10/1.16 c Core size: 5 Core Weight: 1 Total Weight: 107 1.10/1.16 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #108 1.10/1.17 c Core size: 5 Core Weight: 1 Total Weight: 108 1.10/1.17 c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #109 1.10/1.18 c Core size: 5 Core Weight: 1 Total Weight: 109 1.10/1.18 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #110 1.10/1.19 c Core size: 5 Core Weight: 1 Total Weight: 110 1.10/1.19 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #111 1.19/1.20 c Core size: 5 Core Weight: 1 Total Weight: 111 1.19/1.20 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #112 1.19/1.21 c Core size: 5 Core Weight: 1 Total Weight: 112 1.19/1.21 c Elapsed CPU time: 1.21582 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #113 1.19/1.23 c Core size: 5 Core Weight: 1 Total Weight: 113 1.19/1.23 c Elapsed CPU time: 1.22681 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #114 1.19/1.24 c Core size: 5 Core Weight: 1 Total Weight: 114 1.19/1.24 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #115 1.19/1.25 c Core size: 5 Core Weight: 1 Total Weight: 115 1.19/1.25 c Elapsed CPU time: 1.24881 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #116 1.19/1.26 c Core size: 5 Core Weight: 1 Total Weight: 116 1.19/1.26 c Elapsed CPU time: 1.25981 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #117 1.19/1.27 c Core size: 5 Core Weight: 1 Total Weight: 117 1.19/1.27 c Elapsed CPU time: 1.27081 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #118 1.19/1.28 c Core size: 5 Core Weight: 1 Total Weight: 118 1.19/1.28 c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #119 1.19/1.29 c Core size: 5 Core Weight: 1 Total Weight: 119 1.19/1.29 c Elapsed CPU time: 1.2938 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #120 1.29/1.30 c Core size: 5 Core Weight: 1 Total Weight: 120 1.29/1.30 c Elapsed CPU time: 1.3058 s Remaining CPU time: 1798.69 s 1.29/1.31 c core #121 1.29/1.31 c Core size: 5 Core Weight: 1 Total Weight: 121 1.29/1.31 c Elapsed CPU time: 1.3158 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #122 1.29/1.33 c Core size: 5 Core Weight: 1 Total Weight: 122 1.29/1.33 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #123 1.29/1.34 c Core size: 5 Core Weight: 1 Total Weight: 123 1.29/1.34 c Elapsed CPU time: 1.3388 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #124 1.29/1.35 c Core size: 5 Core Weight: 1 Total Weight: 124 1.29/1.35 c Elapsed CPU time: 1.34979 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #125 1.29/1.36 c Core size: 5 Core Weight: 1 Total Weight: 125 1.29/1.36 c Elapsed CPU time: 1.36079 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #126 1.29/1.37 c Core size: 5 Core Weight: 1 Total Weight: 126 1.29/1.37 c Elapsed CPU time: 1.37279 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #127 1.29/1.38 c Core size: 5 Core Weight: 1 Total Weight: 127 1.29/1.38 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #128 1.29/1.39 c Core size: 5 Core Weight: 1 Total Weight: 128 1.29/1.39 c Elapsed CPU time: 1.39479 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #129 1.39/1.40 c Core size: 5 Core Weight: 1 Total Weight: 129 1.39/1.40 c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #130 1.39/1.42 c Core size: 5 Core Weight: 1 Total Weight: 130 1.39/1.42 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #131 1.39/1.43 c Core size: 5 Core Weight: 1 Total Weight: 131 1.39/1.43 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #132 1.39/1.44 c Core size: 5 Core Weight: 1 Total Weight: 132 1.39/1.44 c Elapsed CPU time: 1.43978 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #133 1.39/1.45 c Core size: 5 Core Weight: 1 Total Weight: 133 1.39/1.45 c Elapsed CPU time: 1.45178 s Remaining CPU time: 1798.55 s 1.39/1.46 c core #134 1.39/1.46 c Core size: 5 Core Weight: 1 Total Weight: 134 1.39/1.46 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #135 1.39/1.47 c Core size: 5 Core Weight: 1 Total Weight: 135 1.39/1.47 c Elapsed CPU time: 1.47378 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #136 1.39/1.48 c Core size: 5 Core Weight: 1 Total Weight: 136 1.39/1.48 c Elapsed CPU time: 1.48477 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #137 1.39/1.49 c Core size: 5 Core Weight: 1 Total Weight: 137 1.39/1.49 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.49/1.51 c core #138 1.49/1.51 c Core size: 5 Core Weight: 1 Total Weight: 138 1.49/1.51 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #139 1.49/1.52 c Core size: 5 Core Weight: 1 Total Weight: 139 1.49/1.52 c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #140 1.49/1.53 c Core size: 5 Core Weight: 1 Total Weight: 140 1.49/1.53 c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s 1.49/1.54 c core #141 1.49/1.54 c Core size: 5 Core Weight: 1 Total Weight: 141 1.49/1.54 c Elapsed CPU time: 1.54076 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #142 1.49/1.55 c Core size: 5 Core Weight: 1 Total Weight: 142 1.49/1.55 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.49/1.56 c core #143 1.49/1.56 c Core size: 5 Core Weight: 1 Total Weight: 143 1.49/1.56 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.57 c core #144 1.49/1.57 c Core size: 5 Core Weight: 1 Total Weight: 144 1.49/1.57 c Elapsed CPU time: 1.57476 s Remaining CPU time: 1798.43 s 1.49/1.59 c core #145 1.49/1.59 c Core size: 5 Core Weight: 1 Total Weight: 145 1.49/1.59 c Elapsed CPU time: 1.58676 s Remaining CPU time: 1798.41 s 1.49/1.60 c core #146 1.49/1.60 c Core size: 5 Core Weight: 1 Total Weight: 146 1.49/1.60 c Elapsed CPU time: 1.59776 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #147 1.59/1.61 c Core size: 5 Core Weight: 1 Total Weight: 147 1.59/1.61 c Elapsed CPU time: 1.60875 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #148 1.59/1.62 c Core size: 5 Core Weight: 1 Total Weight: 148 1.59/1.62 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.59/1.63 c core #149 1.59/1.63 c Core size: 5 Core Weight: 1 Total Weight: 149 1.59/1.63 c Elapsed CPU time: 1.63175 s Remaining CPU time: 1798.37 s 1.59/1.64 c core #150 1.59/1.64 c Core size: 5 Core Weight: 1 Total Weight: 150 1.59/1.64 c Elapsed CPU time: 1.64275 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #151 1.59/1.65 c Core size: 5 Core Weight: 1 Total Weight: 151 1.59/1.65 c Elapsed CPU time: 1.65375 s Remaining CPU time: 1798.35 s 1.59/1.66 c core #152 1.59/1.66 c Core size: 5 Core Weight: 1 Total Weight: 152 1.59/1.66 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.59/1.67 c core #153 1.59/1.67 c Core size: 5 Core Weight: 1 Total Weight: 153 1.59/1.67 c Elapsed CPU time: 1.67575 s Remaining CPU time: 1798.32 s 1.59/1.69 c core #154 1.59/1.69 c Core size: 5 Core Weight: 1 Total Weight: 154 1.59/1.69 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.70 c core #155 1.69/1.70 c Core size: 5 Core Weight: 1 Total Weight: 155 1.69/1.70 c Elapsed CPU time: 1.69874 s Remaining CPU time: 1798.3 s 1.69/1.71 c core #156 1.69/1.71 c Core size: 5 Core Weight: 1 Total Weight: 156 1.69/1.71 c Elapsed CPU time: 1.71074 s Remaining CPU time: 1798.29 s 1.69/1.72 c core #157 1.69/1.72 c Core size: 5 Core Weight: 1 Total Weight: 157 1.69/1.72 c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s 1.69/1.73 c core #158 1.69/1.73 c Core size: 5 Core Weight: 1 Total Weight: 158 1.69/1.73 c Elapsed CPU time: 1.73274 s Remaining CPU time: 1798.27 s 1.69/1.74 c core #159 1.69/1.74 c Core size: 5 Core Weight: 1 Total Weight: 159 1.69/1.74 c Elapsed CPU time: 1.74373 s Remaining CPU time: 1798.26 s 1.69/1.75 c core #160 1.69/1.75 c Core size: 5 Core Weight: 1 Total Weight: 160 1.69/1.75 c Elapsed CPU time: 1.75373 s Remaining CPU time: 1798.25 s 1.69/1.77 c core #161 1.69/1.77 c Core size: 5 Core Weight: 1 Total Weight: 161 1.69/1.77 c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #162 1.69/1.78 c Core size: 5 Core Weight: 1 Total Weight: 162 1.69/1.78 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.69/1.79 c core #163 1.69/1.79 c Core size: 5 Core Weight: 1 Total Weight: 163 1.69/1.79 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #164 1.79/1.80 c Core size: 5 Core Weight: 1 Total Weight: 164 1.79/1.80 c Elapsed CPU time: 1.79873 s Remaining CPU time: 1798.2 s 1.79/1.81 c core #165 1.79/1.81 c Core size: 5 Core Weight: 1 Total Weight: 165 1.79/1.81 c Elapsed CPU time: 1.80972 s Remaining CPU time: 1798.19 s 1.79/1.82 c core #166 1.79/1.82 c Core size: 5 Core Weight: 1 Total Weight: 166 1.79/1.82 c Elapsed CPU time: 1.82072 s Remaining CPU time: 1798.18 s 1.79/1.83 c core #167 1.79/1.83 c Core size: 5 Core Weight: 1 Total Weight: 167 1.79/1.83 c Elapsed CPU time: 1.83172 s Remaining CPU time: 1798.17 s 1.79/1.84 c core #168 1.79/1.84 c Core size: 5 Core Weight: 1 Total Weight: 168 1.79/1.84 c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #169 1.79/1.86 c Core size: 5 Core Weight: 1 Total Weight: 169 1.79/1.86 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #170 1.79/1.87 c Core size: 5 Core Weight: 1 Total Weight: 170 1.79/1.87 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.79/1.88 c core #171 1.79/1.88 c Core size: 5 Core Weight: 1 Total Weight: 171 1.79/1.88 c Elapsed CPU time: 1.87771 s Remaining CPU time: 1798.12 s 1.79/1.89 c core #172 1.79/1.89 c Core size: 5 Core Weight: 1 Total Weight: 172 1.79/1.89 c Elapsed CPU time: 1.88971 s Remaining CPU time: 1798.11 s 1.89/1.90 c core #173 1.89/1.90 c Core size: 5 Core Weight: 1 Total Weight: 173 1.89/1.90 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.89/1.91 c core #174 1.89/1.91 c Core size: 5 Core Weight: 1 Total Weight: 174 1.89/1.91 c Elapsed CPU time: 1.91271 s Remaining CPU time: 1798.09 s 1.89/1.92 c core #175 1.89/1.92 c Core size: 5 Core Weight: 1 Total Weight: 175 1.89/1.92 c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #176 1.89/1.94 c Core size: 5 Core Weight: 1 Total Weight: 176 1.89/1.94 c Elapsed CPU time: 1.93471 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #177 1.89/1.95 c Core size: 5 Core Weight: 1 Total Weight: 177 1.89/1.95 c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s 1.89/1.96 c core #178 1.89/1.96 c Core size: 5 Core Weight: 1 Total Weight: 178 1.89/1.96 c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s 1.89/1.97 c core #179 1.89/1.97 c Core size: 5 Core Weight: 1 Total Weight: 179 1.89/1.97 c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s 1.89/1.98 c core #180 1.89/1.98 c Core size: 5 Core Weight: 1 Total Weight: 180 1.89/1.98 c Elapsed CPU time: 1.9827 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #181 1.89/1.99 c Core size: 5 Core Weight: 1 Total Weight: 181 1.89/1.99 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #182 1.99/2.01 c Core size: 5 Core Weight: 1 Total Weight: 182 1.99/2.01 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 1.99/2.02 c core #183 1.99/2.02 c Core size: 5 Core Weight: 1 Total Weight: 183 1.99/2.02 c Elapsed CPU time: 2.01669 s Remaining CPU time: 1797.98 s 1.99/2.03 c core #184 1.99/2.03 c Core size: 5 Core Weight: 1 Total Weight: 184 1.99/2.03 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 1.99/2.04 c core #185 1.99/2.04 c Core size: 5 Core Weight: 1 Total Weight: 185 1.99/2.04 c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s 1.99/2.05 c core #186 1.99/2.05 c Core size: 5 Core Weight: 1 Total Weight: 186 1.99/2.05 c Elapsed CPU time: 2.05269 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #187 1.99/2.07 c Core size: 5 Core Weight: 1 Total Weight: 187 1.99/2.07 c Elapsed CPU time: 2.06469 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #188 1.99/2.08 c Core size: 5 Core Weight: 1 Total Weight: 188 1.99/2.08 c Elapsed CPU time: 2.07668 s Remaining CPU time: 1797.92 s 1.99/2.09 c core #189 1.99/2.09 c Core size: 5 Core Weight: 1 Total Weight: 189 1.99/2.09 c Elapsed CPU time: 2.08768 s Remaining CPU time: 1797.91 s 1.99/2.10 c core #190 1.99/2.10 c Core size: 5 Core Weight: 1 Total Weight: 190 1.99/2.10 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.09/2.11 c core #191 2.09/2.11 c Core size: 5 Core Weight: 1 Total Weight: 191 2.09/2.11 c Elapsed CPU time: 2.11168 s Remaining CPU time: 1797.89 s 2.09/2.13 c core #192 2.09/2.13 c Core size: 5 Core Weight: 1 Total Weight: 192 2.09/2.13 c Elapsed CPU time: 2.12368 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #193 2.09/2.14 c Core size: 5 Core Weight: 1 Total Weight: 193 2.09/2.14 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.09/2.15 c core #194 2.09/2.15 c Core size: 5 Core Weight: 1 Total Weight: 194 2.09/2.15 c Elapsed CPU time: 2.14867 s Remaining CPU time: 1797.85 s 2.09/2.16 c core #195 2.09/2.16 c Core size: 5 Core Weight: 1 Total Weight: 195 2.09/2.16 c Elapsed CPU time: 2.16067 s Remaining CPU time: 1797.84 s 2.09/2.17 c core #196 2.09/2.17 c Core size: 5 Core Weight: 1 Total Weight: 196 2.09/2.17 c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #197 2.09/2.19 c Core size: 5 Core Weight: 1 Total Weight: 197 2.09/2.19 c Elapsed CPU time: 2.18467 s Remaining CPU time: 1797.82 s 2.09/2.20 c core #198 2.09/2.20 c Core size: 5 Core Weight: 1 Total Weight: 198 2.09/2.20 c Elapsed CPU time: 2.19767 s Remaining CPU time: 1797.8 s 2.19/2.21 c core #199 2.19/2.21 c Core size: 5 Core Weight: 1 Total Weight: 199 2.19/2.21 c Elapsed CPU time: 2.21066 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #200 2.19/2.23 c Core size: 5 Core Weight: 1 Total Weight: 200 2.19/2.23 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.19/2.24 c core #201 2.19/2.24 c Core size: 5 Core Weight: 1 Total Weight: 201 2.19/2.24 c Elapsed CPU time: 2.23566 s Remaining CPU time: 1797.76 s 2.19/2.25 c core #202 2.19/2.25 c Core size: 5 Core Weight: 1 Total Weight: 202 2.19/2.25 c Elapsed CPU time: 2.24866 s Remaining CPU time: 1797.75 s 2.19/2.26 c core #203 2.19/2.26 c Core size: 5 Core Weight: 1 Total Weight: 203 2.19/2.26 c Elapsed CPU time: 2.26066 s Remaining CPU time: 1797.74 s 2.19/2.28 c core #204 2.19/2.28 c Core size: 5 Core Weight: 1 Total Weight: 204 2.19/2.28 c Elapsed CPU time: 2.27365 s Remaining CPU time: 1797.73 s 2.19/2.29 c core #205 2.19/2.29 c Core size: 5 Core Weight: 1 Total Weight: 205 2.19/2.29 c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s 2.29/2.30 c core #206 2.29/2.30 c Core size: 5 Core Weight: 1 Total Weight: 206 2.29/2.30 c Elapsed CPU time: 2.29865 s Remaining CPU time: 1797.7 s 2.29/2.31 c core #207 2.29/2.31 c Core size: 5 Core Weight: 1 Total Weight: 207 2.29/2.31 c Elapsed CPU time: 2.31165 s Remaining CPU time: 1797.69 s 2.29/2.33 c core #208 2.29/2.33 c Core size: 5 Core Weight: 1 Total Weight: 208 2.29/2.33 c Elapsed CPU time: 2.32365 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #209 2.29/2.34 c Core size: 5 Core Weight: 1 Total Weight: 209 2.29/2.34 c Elapsed CPU time: 2.33664 s Remaining CPU time: 1797.66 s 2.29/2.35 c core #210 2.29/2.35 c Core size: 5 Core Weight: 1 Total Weight: 210 2.29/2.35 c Elapsed CPU time: 2.34964 s Remaining CPU time: 1797.65 s 2.29/2.36 c core #211 2.29/2.36 c Core size: 5 Core Weight: 1 Total Weight: 211 2.29/2.36 c Elapsed CPU time: 2.36164 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #212 2.29/2.38 c Core size: 5 Core Weight: 1 Total Weight: 212 2.29/2.38 c Elapsed CPU time: 2.37464 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #213 2.29/2.39 c Core size: 5 Core Weight: 1 Total Weight: 213 2.29/2.39 c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s 2.39/2.40 c core #214 2.39/2.40 c Core size: 5 Core Weight: 1 Total Weight: 214 2.39/2.40 c Elapsed CPU time: 2.39864 s Remaining CPU time: 1797.6 s 2.39/2.42 c core #215 2.39/2.42 c Core size: 5 Core Weight: 1 Total Weight: 215 2.39/2.42 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.39/2.43 c core #216 2.39/2.43 c Core size: 5 Core Weight: 1 Total Weight: 216 2.39/2.43 c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s 2.39/2.44 c core #217 2.39/2.44 c Core size: 5 Core Weight: 1 Total Weight: 217 2.39/2.44 c Elapsed CPU time: 2.43763 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #218 2.39/2.46 c Core size: 5 Core Weight: 1 Total Weight: 218 2.39/2.46 c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #219 2.39/2.47 c Core size: 5 Core Weight: 1 Total Weight: 219 2.39/2.47 c Elapsed CPU time: 2.46362 s Remaining CPU time: 1797.54 s 2.39/2.48 c core #220 2.39/2.48 c Core size: 5 Core Weight: 1 Total Weight: 220 2.39/2.48 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.39/2.49 c core #221 2.39/2.49 c Core size: 5 Core Weight: 1 Total Weight: 221 2.39/2.49 c Elapsed CPU time: 2.48862 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #222 2.49/2.51 c Core size: 5 Core Weight: 1 Total Weight: 222 2.49/2.51 c Elapsed CPU time: 2.50162 s Remaining CPU time: 1797.5 s 2.49/2.52 c core #223 2.49/2.52 c Core size: 5 Core Weight: 1 Total Weight: 223 2.49/2.52 c Elapsed CPU time: 2.51362 s Remaining CPU time: 1797.49 s 2.49/2.53 c core #224 2.49/2.53 c Core size: 5 Core Weight: 1 Total Weight: 224 2.49/2.53 c Elapsed CPU time: 2.52662 s Remaining CPU time: 1797.47 s 2.49/2.54 c core #225 2.49/2.54 c Core size: 5 Core Weight: 1 Total Weight: 225 2.49/2.54 c Elapsed CPU time: 2.53861 s Remaining CPU time: 1797.46 s 2.49/2.56 c core #226 2.49/2.56 c Core size: 5 Core Weight: 1 Total Weight: 226 2.49/2.56 c Elapsed CPU time: 2.55061 s Remaining CPU time: 1797.45 s 2.49/2.57 c core #227 2.49/2.57 c Core size: 5 Core Weight: 1 Total Weight: 227 2.49/2.57 c Elapsed CPU time: 2.56261 s Remaining CPU time: 1797.44 s 2.49/2.58 c core #228 2.49/2.58 c Core size: 5 Core Weight: 1 Total Weight: 228 2.49/2.58 c Elapsed CPU time: 2.57561 s Remaining CPU time: 1797.42 s 2.49/2.59 c core #229 2.49/2.59 c Core size: 5 Core Weight: 1 Total Weight: 229 2.49/2.59 c Elapsed CPU time: 2.58761 s Remaining CPU time: 1797.41 s 2.59/2.61 c core #230 2.59/2.61 c Core size: 5 Core Weight: 1 Total Weight: 230 2.59/2.61 c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #231 2.59/2.62 c Core size: 5 Core Weight: 1 Total Weight: 231 2.59/2.62 c Elapsed CPU time: 2.6136 s Remaining CPU time: 1797.39 s 2.59/2.63 c core #232 2.59/2.63 c Core size: 5 Core Weight: 1 Total Weight: 232 2.59/2.63 c Elapsed CPU time: 2.6266 s Remaining CPU time: 1797.37 s 2.59/2.64 c core #233 2.59/2.64 c Core size: 5 Core Weight: 1 Total Weight: 233 2.59/2.64 c Elapsed CPU time: 2.6386 s Remaining CPU time: 1797.36 s 2.59/2.66 c core #234 2.59/2.66 c Core size: 5 Core Weight: 1 Total Weight: 234 2.59/2.66 c Elapsed CPU time: 2.6516 s Remaining CPU time: 1797.35 s 2.59/2.67 c core #235 2.59/2.67 c Core size: 5 Core Weight: 1 Total Weight: 235 2.59/2.67 c Elapsed CPU time: 2.66459 s Remaining CPU time: 1797.34 s 2.59/2.68 c core #236 2.59/2.68 c Core size: 5 Core Weight: 1 Total Weight: 236 2.59/2.68 c Elapsed CPU time: 2.67759 s Remaining CPU time: 1797.32 s 2.69/2.70 c core #237 2.69/2.70 c Core size: 5 Core Weight: 1 Total Weight: 237 2.69/2.70 c Elapsed CPU time: 2.69159 s Remaining CPU time: 1797.31 s 2.69/2.71 c core #238 2.69/2.71 c Core size: 5 Core Weight: 1 Total Weight: 238 2.69/2.71 c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s 2.69/2.72 c core #239 2.69/2.72 c Core size: 5 Core Weight: 1 Total Weight: 239 2.69/2.72 c Elapsed CPU time: 2.71759 s Remaining CPU time: 1797.28 s 2.69/2.74 c core #240 2.69/2.74 c Core size: 5 Core Weight: 1 Total Weight: 240 2.69/2.74 c Elapsed CPU time: 2.73158 s Remaining CPU time: 1797.27 s 2.69/2.75 c core #241 2.69/2.75 c Core size: 5 Core Weight: 1 Total Weight: 241 2.69/2.75 c Elapsed CPU time: 2.74558 s Remaining CPU time: 1797.25 s 2.69/2.76 c core #242 2.69/2.76 c Core size: 5 Core Weight: 1 Total Weight: 242 2.69/2.76 c Elapsed CPU time: 2.75858 s Remaining CPU time: 1797.24 s 2.69/2.78 c core #243 2.69/2.78 c Core size: 5 Core Weight: 1 Total Weight: 243 2.69/2.78 c Elapsed CPU time: 2.77158 s Remaining CPU time: 1797.23 s 2.69/2.79 c core #244 2.69/2.79 c Core size: 5 Core Weight: 1 Total Weight: 244 2.69/2.79 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 2.79/2.80 c core #245 2.79/2.80 c Core size: 5 Core Weight: 1 Total Weight: 245 2.79/2.80 c Elapsed CPU time: 2.79857 s Remaining CPU time: 1797.2 s 2.79/2.82 c core #246 2.79/2.82 c Core size: 5 Core Weight: 1 Total Weight: 246 2.79/2.82 c Elapsed CPU time: 2.81257 s Remaining CPU time: 1797.19 s 2.79/2.83 c core #247 2.79/2.83 c Core size: 5 Core Weight: 1 Total Weight: 247 2.79/2.83 c Elapsed CPU time: 2.82657 s Remaining CPU time: 1797.17 s 2.79/2.85 c core #248 2.79/2.85 c Core size: 5 Core Weight: 1 Total Weight: 248 2.79/2.85 c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 s 2.79/2.86 c core #249 2.79/2.86 c Core size: 5 Core Weight: 1 Total Weight: 249 2.79/2.86 c Elapsed CPU time: 2.85457 s Remaining CPU time: 1797.15 s 2.79/2.87 c core #250 2.79/2.87 c Core size: 5 Core Weight: 1 Total Weight: 250 2.79/2.87 c Elapsed CPU time: 2.86856 s Remaining CPU time: 1797.13 s 2.79/2.89 c core #251 2.79/2.89 c Core size: 5 Core Weight: 1 Total Weight: 251 2.79/2.89 c Elapsed CPU time: 2.88156 s Remaining CPU time: 1797.12 s 2.89/2.90 c core #252 2.89/2.90 c Core size: 5 Core Weight: 1 Total Weight: 252 2.89/2.90 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.89/2.91 c core #253 2.89/2.91 c Core size: 5 Core Weight: 1 Total Weight: 253 2.89/2.91 c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s 2.89/2.93 c core #254 2.89/2.93 c Core size: 5 Core Weight: 1 Total Weight: 254 2.89/2.93 c Elapsed CPU time: 2.92256 s Remaining CPU time: 1797.08 s 2.89/2.94 c core #255 2.89/2.94 c Core size: 5 Core Weight: 1 Total Weight: 255 2.89/2.94 c Elapsed CPU time: 2.93555 s Remaining CPU time: 1797.06 s 2.89/2.96 c core #256 2.89/2.96 c Core size: 5 Core Weight: 1 Total Weight: 256 2.89/2.96 c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s 2.89/2.97 c core #257 2.89/2.97 c Core size: 5 Core Weight: 1 Total Weight: 257 2.89/2.97 c Elapsed CPU time: 2.96255 s Remaining CPU time: 1797.04 s 2.89/2.98 c core #258 2.89/2.98 c Core size: 5 Core Weight: 1 Total Weight: 258 2.89/2.98 c Elapsed CPU time: 2.97555 s Remaining CPU time: 1797.02 s 2.89/3.00 c core #259 2.89/3.00 c Core size: 5 Core Weight: 1 Total Weight: 259 2.89/3.00 c Elapsed CPU time: 2.98855 s Remaining CPU time: 1797.01 s 2.98/3.01 c core #260 2.98/3.01 c Core size: 5 Core Weight: 1 Total Weight: 260 2.98/3.01 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 s 2.98/3.02 c core #261 2.98/3.02 c Core size: 5 Core Weight: 1 Total Weight: 261 2.98/3.02 c Elapsed CPU time: 3.01554 s Remaining CPU time: 1796.98 s 2.98/3.04 c core #262 2.98/3.04 c Core size: 5 Core Weight: 1 Total Weight: 262 2.98/3.04 c Elapsed CPU time: 3.02954 s Remaining CPU time: 1796.97 s 2.98/3.05 c core #263 2.98/3.05 c Core size: 5 Core Weight: 1 Total Weight: 263 2.98/3.05 c Elapsed CPU time: 3.04354 s Remaining CPU time: 1796.96 s 2.98/3.07 c core #264 2.98/3.07 c Core size: 5 Core Weight: 1 Total Weight: 264 2.98/3.07 c Elapsed CPU time: 3.05854 s Remaining CPU time: 1796.94 s 2.98/3.08 c core #265 2.98/3.08 c Core size: 5 Core Weight: 1 Total Weight: 265 2.98/3.08 c Elapsed CPU time: 3.07253 s Remaining CPU time: 1796.93 s 2.98/3.09 c core #266 2.98/3.09 c Core size: 5 Core Weight: 1 Total Weight: 266 2.98/3.09 c Elapsed CPU time: 3.08653 s Remaining CPU time: 1796.91 s 3.08/3.11 c core #267 3.08/3.11 c Core size: 5 Core Weight: 1 Total Weight: 267 3.08/3.11 c Elapsed CPU time: 3.10153 s Remaining CPU time: 1796.9 s 3.08/3.12 c core #268 3.08/3.12 c Core size: 23 Core Weight: 1 Total Weight: 268 3.08/3.12 c Elapsed CPU time: 3.11453 s Remaining CPU time: 1796.89 s 3.08/3.14 c core #269 3.08/3.14 c Core size: 36 Core Weight: 1 Total Weight: 269 3.08/3.14 c Elapsed CPU time: 3.12852 s Remaining CPU time: 1796.87 s 3.08/3.15 c core #270 3.08/3.15 c Core size: 36 Core Weight: 1 Total Weight: 270 3.08/3.15 c Elapsed CPU time: 3.14352 s Remaining CPU time: 1796.86 s 3.08/3.17 c core #271 3.08/3.17 c Core size: 37 Core Weight: 1 Total Weight: 271 3.08/3.17 c Elapsed CPU time: 3.15752 s Remaining CPU time: 1796.84 s 3.08/3.18 c core #272 3.08/3.18 c Core size: 39 Core Weight: 1 Total Weight: 272 3.08/3.18 c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s 3.08/3.20 c core #273 3.08/3.20 c Core size: 39 Core Weight: 1 Total Weight: 273 3.08/3.20 c Elapsed CPU time: 3.18851 s Remaining CPU time: 1796.81 s 3.19/3.21 c core #274 3.19/3.21 c Core size: 36 Core Weight: 1 Total Weight: 274 3.19/3.21 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.19/3.23 c core #275 3.19/3.23 c Core size: 39 Core Weight: 1 Total Weight: 275 3.19/3.23 c Elapsed CPU time: 3.21851 s Remaining CPU time: 1796.78 s 3.19/3.24 c core #276 3.19/3.24 c Core size: 38 Core Weight: 1 Total Weight: 276 3.19/3.24 c Elapsed CPU time: 3.23351 s Remaining CPU time: 1796.77 s 3.19/3.26 c core #277 3.19/3.26 c Core size: 39 Core Weight: 1 Total Weight: 277 3.19/3.26 c Elapsed CPU time: 3.24851 s Remaining CPU time: 1796.75 s 3.19/3.27 c core #278 3.19/3.27 c Core size: 39 Core Weight: 1 Total Weight: 278 3.19/3.27 c Elapsed CPU time: 3.2625 s Remaining CPU time: 1796.74 s 3.19/3.29 c core #279 3.19/3.29 c Core size: 38 Core Weight: 1 Total Weight: 279 3.19/3.29 c Elapsed CPU time: 3.2775 s Remaining CPU time: 1796.72 s 3.29/3.31 c core #280 3.29/3.31 c Core size: 40 Core Weight: 1 Total Weight: 280 3.29/3.31 c Elapsed CPU time: 3.2925 s Remaining CPU time: 1796.71 s 3.29/3.32 c core #281 3.29/3.32 c Core size: 39 Core Weight: 1 Total Weight: 281 3.29/3.32 c Elapsed CPU time: 3.3085 s Remaining CPU time: 1796.69 s 3.29/3.34 c core #282 3.29/3.34 c Core size: 37 Core Weight: 1 Total Weight: 282 3.29/3.34 c Elapsed CPU time: 3.32349 s Remaining CPU time: 1796.68 s 3.29/3.35 c core #283 3.29/3.35 c Core size: 39 Core Weight: 1 Total Weight: 283 3.29/3.35 c Elapsed CPU time: 3.33749 s Remaining CPU time: 1796.66 s 3.29/3.37 c core #284 3.29/3.37 c Core size: 38 Core Weight: 1 Total Weight: 284 3.29/3.37 c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s 3.29/3.38 c core #285 3.29/3.38 c Core size: 36 Core Weight: 1 Total Weight: 285 3.29/3.38 c Elapsed CPU time: 3.36949 s Remaining CPU time: 1796.63 s 3.39/3.40 c core #286 3.39/3.40 c Core size: 39 Core Weight: 1 Total Weight: 286 3.39/3.40 c Elapsed CPU time: 3.38549 s Remaining CPU time: 1796.61 s 3.39/3.42 c core #287 3.39/3.42 c Core size: 39 Core Weight: 1 Total Weight: 287 3.39/3.42 c Elapsed CPU time: 3.40048 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #288 3.39/3.43 c Core size: 41 Core Weight: 1 Total Weight: 288 3.39/3.43 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #289 3.39/3.45 c Core size: 39 Core Weight: 1 Total Weight: 289 3.39/3.45 c Elapsed CPU time: 3.43148 s Remaining CPU time: 1796.57 s 3.39/3.46 c core #290 3.39/3.46 c Core size: 38 Core Weight: 1 Total Weight: 290 3.39/3.46 c Elapsed CPU time: 3.44648 s Remaining CPU time: 1796.55 s 3.39/3.48 c core #291 3.39/3.48 c Core size: 38 Core Weight: 1 Total Weight: 291 3.39/3.48 c Elapsed CPU time: 3.46047 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #292 3.39/3.49 c Core size: 40 Core Weight: 1 Total Weight: 292 3.39/3.49 c Elapsed CPU time: 3.47647 s Remaining CPU time: 1796.52 s 3.48/3.51 c core #293 3.48/3.51 c Core size: 39 Core Weight: 1 Total Weight: 293 3.48/3.51 c Elapsed CPU time: 3.49247 s Remaining CPU time: 1796.51 s 3.48/3.53 c core #294 3.48/3.53 c Core size: 37 Core Weight: 1 Total Weight: 294 3.48/3.53 c Elapsed CPU time: 3.50847 s Remaining CPU time: 1796.49 s 3.48/3.54 c core #295 3.48/3.54 c Core size: 38 Core Weight: 1 Total Weight: 295 3.48/3.54 c Elapsed CPU time: 3.52446 s Remaining CPU time: 1796.48 s 3.48/3.56 c core #296 3.48/3.56 c Core size: 39 Core Weight: 1 Total Weight: 296 3.48/3.56 c Elapsed CPU time: 3.53946 s Remaining CPU time: 1796.46 s 3.48/3.57 c core #297 3.48/3.57 c Core size: 38 Core Weight: 1 Total Weight: 297 3.48/3.57 c Elapsed CPU time: 3.55546 s Remaining CPU time: 1796.44 s 3.48/3.59 c core #298 3.48/3.59 c Core size: 39 Core Weight: 1 Total Weight: 298 3.48/3.59 c Elapsed CPU time: 3.57146 s Remaining CPU time: 1796.43 s 3.58/3.60 c core #299 3.58/3.60 c Core size: 40 Core Weight: 1 Total Weight: 299 3.58/3.60 c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s 3.58/3.62 c core #300 3.58/3.62 c Core size: 37 Core Weight: 1 Total Weight: 300 3.58/3.62 c Elapsed CPU time: 3.60245 s Remaining CPU time: 1796.4 s 3.58/3.64 c core #301 3.58/3.64 c Core size: 39 Core Weight: 1 Total Weight: 301 3.58/3.64 c Elapsed CPU time: 3.61845 s Remaining CPU time: 1796.38 s 3.58/3.65 c core #302 3.58/3.65 c Core size: 39 Core Weight: 1 Total Weight: 302 3.58/3.65 c Elapsed CPU time: 3.63445 s Remaining CPU time: 1796.37 s 3.58/3.67 c core #303 3.58/3.67 c Core size: 40 Core Weight: 1 Total Weight: 303 3.58/3.67 c Elapsed CPU time: 3.65044 s Remaining CPU time: 1796.35 s 3.58/3.69 c core #304 3.58/3.69 c Core size: 23 Core Weight: 1 Total Weight: 304 3.58/3.69 c Elapsed CPU time: 3.66544 s Remaining CPU time: 1796.33 s 3.68/3.70 c core #305 3.68/3.70 c Core size: 36 Core Weight: 1 Total Weight: 305 3.68/3.70 c Elapsed CPU time: 3.68144 s Remaining CPU time: 1796.32 s 3.68/3.72 c core #306 3.68/3.72 c Core size: 36 Core Weight: 1 Total Weight: 306 3.68/3.72 c Elapsed CPU time: 3.69744 s Remaining CPU time: 1796.3 s 3.68/3.73 c core #307 3.68/3.73 c Core size: 37 Core Weight: 1 Total Weight: 307 3.68/3.73 c Elapsed CPU time: 3.71344 s Remaining CPU time: 1796.29 s 3.68/3.75 c core #308 3.68/3.75 c Core size: 39 Core Weight: 1 Total Weight: 308 3.68/3.75 c Elapsed CPU time: 3.73043 s Remaining CPU time: 1796.27 s 3.68/3.77 c core #309 3.68/3.77 c Core size: 39 Core Weight: 1 Total Weight: 309 3.68/3.77 c Elapsed CPU time: 3.74743 s Remaining CPU time: 1796.25 s 3.68/3.79 c core #310 3.68/3.79 c Core size: 36 Core Weight: 1 Total Weight: 310 3.68/3.79 c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s 3.78/3.80 c core #311 3.78/3.80 c Core size: 39 Core Weight: 1 Total Weight: 311 3.78/3.80 c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s 3.78/3.82 c core #312 3.78/3.82 c Core size: 38 Core Weight: 1 Total Weight: 312 3.78/3.82 c Elapsed CPU time: 3.79842 s Remaining CPU time: 1796.2 s 3.78/3.84 c core #313 3.78/3.84 c Core size: 39 Core Weight: 1 Total Weight: 313 3.78/3.84 c Elapsed CPU time: 3.81342 s Remaining CPU time: 1796.19 s 3.78/3.85 c core #314 3.78/3.85 c Core size: 39 Core Weight: 1 Total Weight: 314 3.78/3.85 c Elapsed CPU time: 3.83142 s Remaining CPU time: 1796.17 s 3.78/3.87 c core #315 3.78/3.87 c Core size: 38 Core Weight: 1 Total Weight: 315 3.78/3.87 c Elapsed CPU time: 3.84841 s Remaining CPU time: 1796.15 s 3.78/3.89 c core #316 3.78/3.89 c Core size: 40 Core Weight: 1 Total Weight: 316 3.78/3.89 c Elapsed CPU time: 3.86541 s Remaining CPU time: 1796.13 s 3.88/3.90 c core #317 3.88/3.90 c Core size: 39 Core Weight: 1 Total Weight: 317 3.88/3.90 c Elapsed CPU time: 3.88241 s Remaining CPU time: 1796.12 s 3.88/3.92 c core #318 3.88/3.92 c Core size: 37 Core Weight: 1 Total Weight: 318 3.88/3.92 c Elapsed CPU time: 3.89941 s Remaining CPU time: 1796.1 s 3.88/3.94 c core #319 3.88/3.94 c Core size: 39 Core Weight: 1 Total Weight: 319 3.88/3.94 c Elapsed CPU time: 3.9164 s Remaining CPU time: 1796.08 s 3.88/3.96 c core #320 3.88/3.96 c Core size: 38 Core Weight: 1 Total Weight: 320 3.88/3.96 c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 s 3.88/3.97 c core #321 3.88/3.97 c Core size: 36 Core Weight: 1 Total Weight: 321 3.88/3.97 c Elapsed CPU time: 3.9514 s Remaining CPU time: 1796.05 s 3.88/3.99 c core #322 3.88/3.99 c Core size: 39 Core Weight: 1 Total Weight: 322 3.88/3.99 c Elapsed CPU time: 3.9694 s Remaining CPU time: 1796.03 s 3.98/4.01 c core #323 3.98/4.01 c Core size: 39 Core Weight: 1 Total Weight: 323 3.98/4.01 c Elapsed CPU time: 3.98639 s Remaining CPU time: 1796.01 s 3.98/4.03 c core #324 3.98/4.03 c Core size: 41 Core Weight: 1 Total Weight: 324 3.98/4.03 c Elapsed CPU time: 4.00439 s Remaining CPU time: 1796 s 3.98/4.04 c core #325 3.98/4.04 c Core size: 39 Core Weight: 1 Total Weight: 325 3.98/4.04 c Elapsed CPU time: 4.01939 s Remaining CPU time: 1795.98 s 3.98/4.06 c core #326 3.98/4.06 c Core size: 38 Core Weight: 1 Total Weight: 326 3.98/4.06 c Elapsed CPU time: 4.03739 s Remaining CPU time: 1795.96 s 3.98/4.08 c core #327 3.98/4.08 c Core size: 38 Core Weight: 1 Total Weight: 327 3.98/4.08 c Elapsed CPU time: 4.05438 s Remaining CPU time: 1795.95 s 4.08/4.10 c core #328 4.08/4.10 c Core size: 40 Core Weight: 1 Total Weight: 328 4.08/4.10 c Elapsed CPU time: 4.07238 s Remaining CPU time: 1795.93 s 4.08/4.11 c core #329 4.08/4.11 c Core size: 39 Core Weight: 1 Total Weight: 329 4.08/4.12 c Elapsed CPU time: 4.08838 s Remaining CPU time: 1795.91 s 4.08/4.13 c core #330 4.08/4.13 c Core size: 37 Core Weight: 1 Total Weight: 330 4.08/4.13 c Elapsed CPU time: 4.10637 s Remaining CPU time: 1795.89 s 4.08/4.15 c core #331 4.08/4.15 c Core size: 38 Core Weight: 1 Total Weight: 331 4.08/4.15 c Elapsed CPU time: 4.12337 s Remaining CPU time: 1795.88 s 4.08/4.17 c core #332 4.08/4.17 c Core size: 39 Core Weight: 1 Total Weight: 332 4.08/4.17 c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s 4.08/4.19 c core #333 4.08/4.19 c Core size: 38 Core Weight: 1 Total Weight: 333 4.08/4.19 c Elapsed CPU time: 4.15937 s Remaining CPU time: 1795.84 s 4.17/4.20 c core #334 4.17/4.20 c Core size: 39 Core Weight: 1 Total Weight: 334 4.17/4.20 c Elapsed CPU time: 4.17736 s Remaining CPU time: 1795.82 s 4.17/4.22 c core #335 4.17/4.22 c Core size: 40 Core Weight: 1 Total Weight: 335 4.17/4.22 c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s 4.17/4.24 c core #336 4.17/4.24 c Core size: 37 Core Weight: 1 Total Weight: 336 4.17/4.24 c Elapsed CPU time: 4.21136 s Remaining CPU time: 1795.79 s 4.17/4.26 c core #337 4.17/4.26 c Core size: 39 Core Weight: 1 Total Weight: 337 4.17/4.26 c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s 4.17/4.28 c core #338 4.17/4.28 c Core size: 39 Core Weight: 1 Total Weight: 338 4.17/4.28 c Elapsed CPU time: 4.24735 s Remaining CPU time: 1795.75 s 4.17/4.29 c core #339 4.17/4.29 c Core size: 40 Core Weight: 1 Total Weight: 339 4.17/4.29 c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s 4.28/4.31 c core #340 4.28/4.31 c Core size: 23 Core Weight: 1 Total Weight: 340 4.28/4.31 c Elapsed CPU time: 4.28335 s Remaining CPU time: 1795.72 s 4.28/4.33 c core #341 4.28/4.33 c Core size: 36 Core Weight: 1 Total Weight: 341 4.28/4.33 c Elapsed CPU time: 4.30135 s Remaining CPU time: 1795.7 s 4.28/4.35 c core #342 4.28/4.35 c Core size: 36 Core Weight: 1 Total Weight: 342 4.28/4.35 c Elapsed CPU time: 4.31934 s Remaining CPU time: 1795.68 s 4.28/4.37 c core #343 4.28/4.37 c Core size: 37 Core Weight: 1 Total Weight: 343 4.28/4.37 c Elapsed CPU time: 4.33834 s Remaining CPU time: 1795.66 s 4.28/4.38 c core #344 4.28/4.38 c Core size: 39 Core Weight: 1 Total Weight: 344 4.28/4.38 c Elapsed CPU time: 4.35634 s Remaining CPU time: 1795.64 s 4.38/4.40 c core #345 4.38/4.40 c Core size: 39 Core Weight: 1 Total Weight: 345 4.38/4.40 c Elapsed CPU time: 4.37434 s Remaining CPU time: 1795.63 s 4.38/4.42 c core #346 4.38/4.42 c Core size: 36 Core Weight: 1 Total Weight: 346 4.38/4.42 c Elapsed CPU time: 4.39333 s Remaining CPU time: 1795.61 s 4.38/4.44 c core #347 4.38/4.44 c Core size: 39 Core Weight: 1 Total Weight: 347 4.38/4.44 c Elapsed CPU time: 4.41233 s Remaining CPU time: 1795.59 s 4.38/4.46 c core #348 4.38/4.46 c Core size: 38 Core Weight: 1 Total Weight: 348 4.38/4.46 c Elapsed CPU time: 4.43133 s Remaining CPU time: 1795.57 s 4.38/4.48 c core #349 4.38/4.48 c Core size: 39 Core Weight: 1 Total Weight: 349 4.38/4.48 c Elapsed CPU time: 4.45032 s Remaining CPU time: 1795.55 s 4.47/4.50 c core #350 4.47/4.50 c Core size: 39 Core Weight: 1 Total Weight: 350 4.47/4.50 c Elapsed CPU time: 4.47032 s Remaining CPU time: 1795.53 s 4.47/4.52 c core #351 4.47/4.52 c Core size: 38 Core Weight: 1 Total Weight: 351 4.47/4.52 c Elapsed CPU time: 4.48832 s Remaining CPU time: 1795.51 s 4.47/4.54 c core #352 4.47/4.54 c Core size: 40 Core Weight: 1 Total Weight: 352 4.47/4.54 c Elapsed CPU time: 4.50731 s Remaining CPU time: 1795.49 s 4.47/4.56 c core #353 4.47/4.56 c Core size: 39 Core Weight: 1 Total Weight: 353 4.47/4.56 c Elapsed CPU time: 4.52631 s Remaining CPU time: 1795.47 s 4.47/4.57 c core #354 4.47/4.57 c Core size: 37 Core Weight: 1 Total Weight: 354 4.47/4.57 c Elapsed CPU time: 4.54531 s Remaining CPU time: 1795.45 s 4.47/4.59 c core #355 4.47/4.59 c Core size: 39 Core Weight: 1 Total Weight: 355 4.47/4.59 c Elapsed CPU time: 4.56431 s Remaining CPU time: 1795.44 s 4.58/4.61 c core #356 4.58/4.61 c Core size: 38 Core Weight: 1 Total Weight: 356 4.58/4.61 c Elapsed CPU time: 4.5823 s Remaining CPU time: 1795.42 s 4.58/4.63 c core #357 4.58/4.63 c Core size: 36 Core Weight: 1 Total Weight: 357 4.58/4.63 c Elapsed CPU time: 4.6013 s Remaining CPU time: 1795.4 s 4.58/4.65 c core #358 4.58/4.65 c Core size: 39 Core Weight: 1 Total Weight: 358 4.58/4.65 c Elapsed CPU time: 4.6213 s Remaining CPU time: 1795.38 s 4.58/4.67 c core #359 4.58/4.67 c Core size: 39 Core Weight: 1 Total Weight: 359 4.58/4.67 c Elapsed CPU time: 4.64029 s Remaining CPU time: 1795.36 s 4.58/4.69 c core #360 4.58/4.69 c Core size: 41 Core Weight: 1 Total Weight: 360 4.58/4.69 c Elapsed CPU time: 4.66029 s Remaining CPU time: 1795.34 s 4.68/4.71 c core #361 4.68/4.71 c Core size: 39 Core Weight: 1 Total Weight: 361 4.68/4.71 c Elapsed CPU time: 4.68029 s Remaining CPU time: 1795.32 s 4.68/4.73 c core #362 4.68/4.73 c Core size: 38 Core Weight: 1 Total Weight: 362 4.68/4.73 c Elapsed CPU time: 4.69928 s Remaining CPU time: 1795.3 s 4.68/4.75 c core #363 4.68/4.75 c Core size: 38 Core Weight: 1 Total Weight: 363 4.68/4.75 c Elapsed CPU time: 4.71928 s Remaining CPU time: 1795.28 s 4.68/4.77 c core #364 4.68/4.77 c Core size: 40 Core Weight: 1 Total Weight: 364 4.68/4.77 c Elapsed CPU time: 4.73928 s Remaining CPU time: 1795.26 s 4.68/4.79 c core #365 4.68/4.79 c Core size: 39 Core Weight: 1 Total Weight: 365 4.68/4.79 c Elapsed CPU time: 4.75828 s Remaining CPU time: 1795.24 s 4.78/4.81 c core #366 4.78/4.81 c Core size: 37 Core Weight: 1 Total Weight: 366 4.78/4.81 c Elapsed CPU time: 4.77727 s Remaining CPU time: 1795.22 s 4.78/4.83 c core #367 4.78/4.83 c Core size: 38 Core Weight: 1 Total Weight: 367 4.78/4.83 c Elapsed CPU time: 4.79727 s Remaining CPU time: 1795.2 s 4.78/4.85 c core #368 4.78/4.85 c Core size: 39 Core Weight: 1 Total Weight: 368 4.78/4.85 c Elapsed CPU time: 4.81827 s Remaining CPU time: 1795.18 s 4.78/4.87 c core #369 4.78/4.87 c Core size: 38 Core Weight: 1 Total Weight: 369 4.78/4.87 c Elapsed CPU time: 4.83826 s Remaining CPU time: 1795.16 s 4.78/4.89 c core #370 4.78/4.89 c Core size: 39 Core Weight: 1 Total Weight: 370 4.78/4.89 c Elapsed CPU time: 4.85826 s Remaining CPU time: 1795.14 s 4.88/4.91 c core #371 4.88/4.91 c Core size: 40 Core Weight: 1 Total Weight: 371 4.88/4.91 c Elapsed CPU time: 4.87826 s Remaining CPU time: 1795.12 s 4.88/4.93 c core #372 4.88/4.93 c Core size: 37 Core Weight: 1 Total Weight: 372 4.88/4.93 c Elapsed CPU time: 4.89825 s Remaining CPU time: 1795.1 s 4.88/4.95 c core #373 4.88/4.95 c Core size: 39 Core Weight: 1 Total Weight: 373 4.88/4.95 c Elapsed CPU time: 4.91825 s Remaining CPU time: 1795.08 s 4.88/4.97 c core #374 4.88/4.97 c Core size: 39 Core Weight: 1 Total Weight: 374 4.88/4.97 c Elapsed CPU time: 4.93725 s Remaining CPU time: 1795.06 s 4.88/4.99 c core #375 4.88/4.99 c Core size: 40 Core Weight: 1 Total Weight: 375 4.88/4.99 c Elapsed CPU time: 4.95725 s Remaining CPU time: 1795.04 s 4.97/5.01 c core #376 4.97/5.01 c Core size: 23 Core Weight: 1 Total Weight: 376 4.97/5.01 c Elapsed CPU time: 4.97724 s Remaining CPU time: 1795.02 s 4.97/5.03 c core #377 4.97/5.03 c Core size: 36 Core Weight: 1 Total Weight: 377 4.97/5.03 c Elapsed CPU time: 4.99724 s Remaining CPU time: 1795 s 4.97/5.05 c core #378 4.97/5.05 c Core size: 36 Core Weight: 1 Total Weight: 378 4.97/5.05 c Elapsed CPU time: 5.01624 s Remaining CPU time: 1794.98 s 4.97/5.07 c core #379 4.97/5.07 c Core size: 37 Core Weight: 1 Total Weight: 379 4.97/5.07 c Elapsed CPU time: 5.03623 s Remaining CPU time: 1794.96 s 4.97/5.10 c core #380 4.97/5.10 c Core size: 39 Core Weight: 1 Total Weight: 380 4.97/5.10 c Elapsed CPU time: 5.05723 s Remaining CPU time: 1794.94 s 5.07/5.12 c core #381 5.07/5.12 c Core size: 39 Core Weight: 1 Total Weight: 381 5.07/5.12 c Elapsed CPU time: 5.07723 s Remaining CPU time: 1794.92 s 5.07/5.14 c core #382 5.07/5.14 c Core size: 36 Core Weight: 1 Total Weight: 382 5.07/5.14 c Elapsed CPU time: 5.09822 s Remaining CPU time: 1794.9 s 5.07/5.16 c core #383 5.07/5.16 c Core size: 39 Core Weight: 1 Total Weight: 383 5.07/5.16 c Elapsed CPU time: 5.12022 s Remaining CPU time: 1794.88 s 5.07/5.18 c core #384 5.07/5.18 c Core size: 38 Core Weight: 1 Total Weight: 384 5.07/5.18 c Elapsed CPU time: 5.14022 s Remaining CPU time: 1794.86 s 5.17/5.20 c core #385 5.17/5.20 c Core size: 39 Core Weight: 1 Total Weight: 385 5.17/5.20 c Elapsed CPU time: 5.16122 s Remaining CPU time: 1794.84 s 5.17/5.22 c core #386 5.17/5.22 c Core size: 39 Core Weight: 1 Total Weight: 386 5.17/5.22 c Elapsed CPU time: 5.18221 s Remaining CPU time: 1794.82 s 5.17/5.24 c core #387 5.17/5.24 c Core size: 38 Core Weight: 1 Total Weight: 387 5.17/5.24 c Elapsed CPU time: 5.20321 s Remaining CPU time: 1794.8 s 5.17/5.27 c core #388 5.17/5.27 c Core size: 40 Core Weight: 1 Total Weight: 388 5.17/5.27 c Elapsed CPU time: 5.22321 s Remaining CPU time: 1794.78 s 5.17/5.29 c core #389 5.17/5.29 c Core size: 39 Core Weight: 1 Total Weight: 389 5.17/5.29 c Elapsed CPU time: 5.2442 s Remaining CPU time: 1794.76 s 5.27/5.31 c core #390 5.27/5.31 c Core size: 37 Core Weight: 1 Total Weight: 390 5.27/5.31 c Elapsed CPU time: 5.2652 s Remaining CPU time: 1794.73 s 5.27/5.33 c core #391 5.27/5.33 c Core size: 39 Core Weight: 1 Total Weight: 391 5.27/5.33 c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s 5.27/5.35 c core #392 5.27/5.35 c Core size: 38 Core Weight: 1 Total Weight: 392 5.27/5.35 c Elapsed CPU time: 5.31019 s Remaining CPU time: 1794.69 s 5.27/5.37 c core #393 5.27/5.37 c Core size: 36 Core Weight: 1 Total Weight: 393 5.27/5.37 c Elapsed CPU time: 5.33219 s Remaining CPU time: 1794.67 s 5.27/5.40 c core #394 5.27/5.40 c Core size: 39 Core Weight: 1 Total Weight: 394 5.27/5.40 c Elapsed CPU time: 5.35518 s Remaining CPU time: 1794.64 s 5.37/5.42 c core #395 5.37/5.42 c Core size: 39 Core Weight: 1 Total Weight: 395 5.37/5.42 c Elapsed CPU time: 5.37718 s Remaining CPU time: 1794.62 s 5.37/5.44 c core #396 5.37/5.44 c Core size: 41 Core Weight: 1 Total Weight: 396 5.37/5.44 c Elapsed CPU time: 5.40018 s Remaining CPU time: 1794.6 s 5.37/5.46 c core #397 5.37/5.46 c Core size: 39 Core Weight: 1 Total Weight: 397 5.37/5.46 c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s 5.37/5.49 c core #398 5.37/5.49 c Core size: 38 Core Weight: 1 Total Weight: 398 5.37/5.49 c Elapsed CPU time: 5.44417 s Remaining CPU time: 1794.56 s 5.47/5.51 c core #399 5.47/5.51 c Core size: 38 Core Weight: 1 Total Weight: 399 5.47/5.51 c Elapsed CPU time: 5.46617 s Remaining CPU time: 1794.53 s 5.47/5.53 c core #400 5.47/5.53 c Core size: 40 Core Weight: 1 Total Weight: 400 5.47/5.53 c Elapsed CPU time: 5.48717 s Remaining CPU time: 1794.51 s 5.47/5.55 c core #401 5.47/5.55 c Core size: 39 Core Weight: 1 Total Weight: 401 5.47/5.55 c Elapsed CPU time: 5.50916 s Remaining CPU time: 1794.49 s 5.47/5.58 c core #402 5.47/5.58 c Core size: 37 Core Weight: 1 Total Weight: 402 5.47/5.58 c Elapsed CPU time: 5.53116 s Remaining CPU time: 1794.47 s 5.57/5.60 c core #403 5.57/5.60 c Core size: 38 Core Weight: 1 Total Weight: 403 5.57/5.60 c Elapsed CPU time: 5.55316 s Remaining CPU time: 1794.45 s 5.57/5.62 c core #404 5.57/5.62 c Core size: 39 Core Weight: 1 Total Weight: 404 5.57/5.62 c Elapsed CPU time: 5.57515 s Remaining CPU time: 1794.42 s 5.57/5.64 c core #405 5.57/5.64 c Core size: 38 Core Weight: 1 Total Weight: 405 5.57/5.64 c Elapsed CPU time: 5.59715 s Remaining CPU time: 1794.4 s 5.57/5.66 c core #406 5.57/5.66 c Core size: 39 Core Weight: 1 Total Weight: 406 5.57/5.66 c Elapsed CPU time: 5.61914 s Remaining CPU time: 1794.38 s 5.57/5.69 c core #407 5.57/5.69 c Core size: 40 Core Weight: 1 Total Weight: 407 5.57/5.69 c Elapsed CPU time: 5.64114 s Remaining CPU time: 1794.36 s 5.66/5.71 c core #408 5.66/5.71 c Core size: 37 Core Weight: 1 Total Weight: 408 5.66/5.71 c Elapsed CPU time: 5.66314 s Remaining CPU time: 1794.34 s 5.66/5.73 c core #409 5.66/5.73 c Core size: 39 Core Weight: 1 Total Weight: 409 5.66/5.73 c Elapsed CPU time: 5.68513 s Remaining CPU time: 1794.31 s 5.66/5.76 c core #410 5.66/5.76 c Core size: 39 Core Weight: 1 Total Weight: 410 5.66/5.76 c Elapsed CPU time: 5.70813 s Remaining CPU time: 1794.29 s 5.66/5.78 c core #411 5.66/5.78 c Core size: 40 Core Weight: 1 Total Weight: 411 5.66/5.78 c Elapsed CPU time: 5.73113 s Remaining CPU time: 1794.27 s 5.76/5.80 c core #412 5.76/5.80 c Core size: 149 Core Weight: 1 Total Weight: 412 5.76/5.80 c Elapsed CPU time: 5.75413 s Remaining CPU time: 1794.25 s 5.76/5.82 c core #413 5.76/5.82 c Core size: 81 Core Weight: 1 Total Weight: 413 5.76/5.82 c Elapsed CPU time: 5.77612 s Remaining CPU time: 1794.22 s 5.76/5.85 c ============================[ Search Statistics ]============================== 5.76/5.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.85 c =============================================================================== 5.76/5.85 c | 0 | 3702 16988 46664 | 5662 0 nan | 0.000 % | 5.76/5.85 c =============================================================================== 5.76/5.85 c core #414 5.76/5.85 c Core size: 51 Core Weight: 1 Total Weight: 414 5.76/5.85 c Elapsed CPU time: 5.79812 s Remaining CPU time: 1794.2 s 5.76/5.87 c ============================[ Search Statistics ]============================== 5.76/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.87 c =============================================================================== 5.76/5.87 c | 0 | 3715 16989 46690 | 5663 0 nan | 0.000 % | 5.76/5.87 c =============================================================================== 5.76/5.87 c core #415 5.76/5.87 c Core size: 15 Core Weight: 1 Total Weight: 415 5.76/5.87 c Elapsed CPU time: 5.82111 s Remaining CPU time: 1794.18 s 5.76/5.89 c ============================[ Search Statistics ]============================== 5.76/5.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.89 c =============================================================================== 5.76/5.89 c | 0 | 3722 16990 46704 | 5663 0 nan | 0.000 % | 5.76/5.90 c =============================================================================== 5.76/5.90 c core #416 5.76/5.90 c Core size: 56 Core Weight: 1 Total Weight: 416 5.76/5.90 c Elapsed CPU time: 5.84511 s Remaining CPU time: 1794.15 s 5.86/5.92 c ============================[ Search Statistics ]============================== 5.86/5.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.92 c =============================================================================== 5.86/5.92 c | 0 | 3743 16991 46746 | 5663 0 nan | 0.000 % | 5.86/5.92 c =============================================================================== 5.86/5.92 c core #417 5.86/5.92 c Core size: 14 Core Weight: 1 Total Weight: 417 5.86/5.92 c Elapsed CPU time: 5.86711 s Remaining CPU time: 1794.13 s 5.86/5.94 c ============================[ Search Statistics ]============================== 5.86/5.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.94 c =============================================================================== 5.86/5.94 c | 0 | 3750 16992 46760 | 5664 0 nan | 0.000 % | 5.86/5.94 c =============================================================================== 5.86/5.94 c core #418 5.86/5.94 c Core size: 12 Core Weight: 1 Total Weight: 418 5.86/5.94 c Elapsed CPU time: 5.8901 s Remaining CPU time: 1794.11 s 5.86/5.96 c ============================[ Search Statistics ]============================== 5.86/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.96 c =============================================================================== 5.86/5.96 c | 0 | 3756 16993 46772 | 5664 0 nan | 0.000 % | 5.86/5.97 c =============================================================================== 5.86/5.97 c core #419 5.86/5.97 c Core size: 52 Core Weight: 1 Total Weight: 419 5.86/5.97 c Elapsed CPU time: 5.9131 s Remaining CPU time: 1794.09 s 5.86/5.99 c ============================[ Search Statistics ]============================== 5.86/5.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.99 c =============================================================================== 5.86/5.99 c | 0 | 3767 16994 46794 | 5664 0 nan | 0.000 % | 5.86/5.99 c =============================================================================== 5.86/5.99 c core #420 5.86/5.99 c Core size: 15 Core Weight: 1 Total Weight: 420 5.86/5.99 c Elapsed CPU time: 5.9351 s Remaining CPU time: 1794.06 s 5.96/6.01 c ============================[ Search Statistics ]============================== 5.96/6.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.01 c =============================================================================== 5.96/6.01 c | 0 | 3774 16995 46808 | 5665 0 nan | 0.000 % | 5.96/6.01 c =============================================================================== 5.96/6.01 c core #421 5.96/6.01 c Core size: 14 Core Weight: 1 Total Weight: 421 5.96/6.01 c Elapsed CPU time: 5.95809 s Remaining CPU time: 1794.04 s 5.96/6.03 c ============================[ Search Statistics ]============================== 5.96/6.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.03 c =============================================================================== 5.96/6.03 c | 0 | 3781 16996 46822 | 5665 0 nan | 0.000 % | 5.96/6.04 c =============================================================================== 5.96/6.04 c core #422 5.96/6.04 c Core size: 19 Core Weight: 1 Total Weight: 422 5.96/6.04 c Elapsed CPU time: 5.97909 s Remaining CPU time: 1794.02 s 5.96/6.06 c ============================[ Search Statistics ]============================== 5.96/6.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.06 c =============================================================================== 5.96/6.06 c | 0 | 3790 16997 46840 | 5665 0 nan | 0.000 % | 5.96/6.06 c =============================================================================== 5.96/6.06 c core #423 5.96/6.06 c Core size: 17 Core Weight: 1 Total Weight: 423 5.96/6.06 c Elapsed CPU time: 6.00109 s Remaining CPU time: 1794 s 5.96/6.08 c ============================[ Search Statistics ]============================== 5.96/6.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.96/6.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.96/6.08 c =============================================================================== 5.96/6.08 c | 0 | 3798 16998 46856 | 5666 0 nan | 0.000 % | 5.96/6.08 c =============================================================================== 5.96/6.08 c core #424 5.96/6.08 c Core size: 17 Core Weight: 1 Total Weight: 424 5.96/6.08 c Elapsed CPU time: 6.02408 s Remaining CPU time: 1793.98 s 6.05/6.10 c ============================[ Search Statistics ]============================== 6.05/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.10 c =============================================================================== 6.05/6.10 c | 0 | 3806 16999 46872 | 5666 0 nan | 0.000 % | 6.05/6.11 c =============================================================================== 6.05/6.11 c core #425 6.05/6.11 c Core size: 84 Core Weight: 1 Total Weight: 425 6.05/6.11 c Elapsed CPU time: 6.04708 s Remaining CPU time: 1793.95 s 6.05/6.13 c ============================[ Search Statistics ]============================== 6.05/6.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.13 c =============================================================================== 6.05/6.13 c | 0 | 3812 17000 46884 | 5666 0 nan | 0.000 % | 6.05/6.13 c =============================================================================== 6.05/6.13 c core #426 6.05/6.13 c Core size: 83 Core Weight: 1 Total Weight: 426 6.05/6.13 c Elapsed CPU time: 6.07108 s Remaining CPU time: 1793.93 s 6.05/6.15 c ============================[ Search Statistics ]============================== 6.05/6.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.15 c =============================================================================== 6.05/6.15 c | 0 | 3820 17001 46900 | 5667 0 nan | 0.000 % | 6.05/6.15 c =============================================================================== 6.05/6.15 c core #427 6.05/6.15 c Core size: 99 Core Weight: 1 Total Weight: 427 6.05/6.15 c Elapsed CPU time: 6.09407 s Remaining CPU time: 1793.91 s 6.05/6.17 c Learning 1 hard constraints 6.05/6.17 c ============================[ Search Statistics ]============================== 6.05/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.05/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.05/6.17 c =============================================================================== 6.05/6.17 c | 0 | 3834 17003 46940 | 5667 0 nan | 0.000 % | 6.05/6.18 c =============================================================================== 6.05/6.18 c core #428 6.05/6.18 c Core size: 77 Core Weight: 1 Total Weight: 428 6.05/6.18 c Elapsed CPU time: 6.11707 s Remaining CPU time: 1793.88 s 6.16/6.20 c Learning 1 hard constraints 6.16/6.20 c ============================[ Search Statistics ]============================== 6.16/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.20 c =============================================================================== 6.16/6.20 c | 0 | 3844 17005 46975 | 5668 0 nan | 0.000 % | 6.16/6.20 c =============================================================================== 6.16/6.20 c core #429 6.16/6.20 c Core size: 81 Core Weight: 1 Total Weight: 429 6.16/6.20 c Elapsed CPU time: 6.14107 s Remaining CPU time: 1793.86 s 6.16/6.22 c Learning 1 hard constraints 6.16/6.22 c ============================[ Search Statistics ]============================== 6.16/6.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.22 c =============================================================================== 6.16/6.22 c | 0 | 3853 17007 47004 | 5669 0 nan | 0.000 % | 6.16/6.23 c =============================================================================== 6.16/6.23 c core #430 6.16/6.23 c Core size: 90 Core Weight: 1 Total Weight: 430 6.16/6.23 c Elapsed CPU time: 6.16606 s Remaining CPU time: 1793.83 s 6.16/6.25 c Learning 1 hard constraints 6.16/6.25 c ============================[ Search Statistics ]============================== 6.16/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.25 c =============================================================================== 6.16/6.25 c | 0 | 3867 17009 47045 | 5669 0 nan | 0.000 % | 6.16/6.25 c =============================================================================== 6.16/6.25 c core #431 6.16/6.25 c Core size: 88 Core Weight: 1 Total Weight: 431 6.16/6.25 c Elapsed CPU time: 6.18806 s Remaining CPU time: 1793.81 s 6.16/6.27 c ============================[ Search Statistics ]============================== 6.16/6.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.27 c =============================================================================== 6.16/6.27 c | 0 | 3874 17010 47059 | 5670 0 nan | 0.000 % | 6.16/6.27 c =============================================================================== 6.16/6.27 c core #432 6.16/6.27 c Core size: 91 Core Weight: 1 Total Weight: 432 6.16/6.27 c Elapsed CPU time: 6.21305 s Remaining CPU time: 1793.79 s 6.16/6.29 c Learning 3 hard constraints 6.16/6.30 c ============================[ Search Statistics ]============================== 6.16/6.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.30 c =============================================================================== 6.16/6.30 c | 0 | 3887 17014 47125 | 5671 0 nan | 0.000 % | 6.26/6.30 c =============================================================================== 6.26/6.30 c core #433 6.26/6.30 c Core size: 78 Core Weight: 1 Total Weight: 433 6.26/6.30 c Elapsed CPU time: 6.23605 s Remaining CPU time: 1793.76 s 6.26/6.32 c ============================[ Search Statistics ]============================== 6.26/6.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.32 c =============================================================================== 6.26/6.32 c | 0 | 3892 17015 47135 | 5671 0 nan | 0.000 % | 6.26/6.32 c =============================================================================== 6.26/6.32 c core #434 6.26/6.32 c Core size: 75 Core Weight: 1 Total Weight: 434 6.26/6.32 c Elapsed CPU time: 6.25905 s Remaining CPU time: 1793.74 s 6.26/6.34 c ============================[ Search Statistics ]============================== 6.26/6.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.34 c =============================================================================== 6.26/6.34 c | 0 | 3898 17016 47147 | 5672 0 nan | 0.000 % | 6.26/6.35 c =============================================================================== 6.26/6.35 c core #435 6.26/6.35 c Core size: 83 Core Weight: 1 Total Weight: 435 6.26/6.35 c Elapsed CPU time: 6.28304 s Remaining CPU time: 1793.72 s 6.26/6.37 c ============================[ Search Statistics ]============================== 6.26/6.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.37 c =============================================================================== 6.26/6.37 c | 0 | 3904 17017 47159 | 5672 0 nan | 0.000 % | 6.26/6.37 c =============================================================================== 6.26/6.37 c core #436 6.26/6.37 c Core size: 80 Core Weight: 1 Total Weight: 436 6.26/6.37 c Elapsed CPU time: 6.30504 s Remaining CPU time: 1793.69 s 6.26/6.39 c ============================[ Search Statistics ]============================== 6.26/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.39 c =============================================================================== 6.26/6.39 c | 0 | 3914 17018 47179 | 5672 0 nan | 0.000 % | 6.26/6.40 c =============================================================================== 6.26/6.40 c core #437 6.26/6.40 c Core size: 15 Core Weight: 1 Total Weight: 437 6.26/6.40 c Elapsed CPU time: 6.32804 s Remaining CPU time: 1793.67 s 6.35/6.42 c ============================[ Search Statistics ]============================== 6.35/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.35/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.35/6.42 c =============================================================================== 6.35/6.42 c | 0 | 3921 17019 47193 | 5673 0 nan | 0.000 % | 6.35/6.42 c =============================================================================== 6.35/6.42 c core #438 6.35/6.42 c Core size: 53 Core Weight: 1 Total Weight: 438 6.35/6.42 c Elapsed CPU time: 6.35003 s Remaining CPU time: 1793.65 s 6.35/6.44 c ============================[ Search Statistics ]============================== 6.35/6.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.35/6.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.35/6.44 c =============================================================================== 6.35/6.44 c | 0 | 3933 17020 47217 | 5673 0 nan | 0.000 % | 6.35/6.45 c =============================================================================== 6.35/6.45 c core #439 6.35/6.45 c Core size: 22 Core Weight: 1 Total Weight: 439 6.35/6.45 c Elapsed CPU time: 6.37603 s Remaining CPU time: 1793.62 s 6.35/6.47 c ============================[ Search Statistics ]============================== 6.35/6.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.35/6.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.35/6.47 c =============================================================================== 6.35/6.47 c | 0 | 3944 17021 47239 | 5673 0 nan | 0.000 % | 6.35/6.47 c =============================================================================== 6.35/6.47 c core #440 6.35/6.47 c Core size: 52 Core Weight: 1 Total Weight: 440 6.35/6.47 c Elapsed CPU time: 6.39903 s Remaining CPU time: 1793.6 s 6.35/6.49 c ============================[ Search Statistics ]============================== 6.35/6.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.35/6.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.35/6.49 c =============================================================================== 6.35/6.49 c | 0 | 3955 17022 47261 | 5674 0 nan | 0.000 % | 6.35/6.50 c =============================================================================== 6.35/6.50 c core #441 6.35/6.50 c Core size: 80 Core Weight: 1 Total Weight: 441 6.35/6.50 c Elapsed CPU time: 6.42502 s Remaining CPU time: 1793.57 s 6.45/6.52 c Learning 1 hard constraints 6.45/6.52 c ============================[ Search Statistics ]============================== 6.45/6.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.45/6.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.45/6.52 c =============================================================================== 6.45/6.52 c | 0 | 3967 17024 47293 | 5674 0 nan | 0.000 % | 6.45/6.52 c =============================================================================== 6.45/6.52 c core #442 6.45/6.52 c Core size: 91 Core Weight: 1 Total Weight: 442 6.45/6.52 c Elapsed CPU time: 6.44702 s Remaining CPU time: 1793.55 s 6.45/6.54 c ============================[ Search Statistics ]============================== 6.45/6.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.45/6.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.45/6.54 c =============================================================================== 6.45/6.54 c | 0 | 3977 17025 47313 | 5675 0 nan | 0.000 % | 6.45/6.55 c =============================================================================== 6.45/6.55 c core #443 6.45/6.55 c Core size: 15 Core Weight: 1 Total Weight: 443 6.45/6.55 c Elapsed CPU time: 6.47202 s Remaining CPU time: 1793.53 s 6.45/6.57 c ============================[ Search Statistics ]============================== 6.45/6.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.45/6.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.45/6.57 c =============================================================================== 6.45/6.57 c | 0 | 3984 17026 47327 | 5675 0 nan | 0.000 % | 6.45/6.57 c =============================================================================== 6.45/6.57 c core #444 6.45/6.57 c Core size: 28 Core Weight: 1 Total Weight: 444 6.45/6.57 c Elapsed CPU time: 6.49601 s Remaining CPU time: 1793.5 s 6.45/6.59 c ============================[ Search Statistics ]============================== 6.45/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.45/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.45/6.59 c =============================================================================== 6.45/6.59 c | 0 | 3997 17027 47353 | 5675 0 nan | 0.000 % | 6.45/6.59 c =============================================================================== 6.45/6.59 c core #445 6.45/6.59 c Core size: 13 Core Weight: 1 Total Weight: 445 6.45/6.59 c Elapsed CPU time: 6.51901 s Remaining CPU time: 1793.48 s 6.55/6.62 c ============================[ Search Statistics ]============================== 6.55/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.62 c =============================================================================== 6.55/6.62 c | 0 | 4003 17028 47365 | 5676 0 nan | 0.000 % | 6.55/6.62 c =============================================================================== 6.55/6.62 c core #446 6.55/6.62 c Core size: 46 Core Weight: 1 Total Weight: 446 6.55/6.62 c Elapsed CPU time: 6.543 s Remaining CPU time: 1793.46 s 6.55/6.64 c ============================[ Search Statistics ]============================== 6.55/6.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.64 c =============================================================================== 6.55/6.64 c | 0 | 4010 17029 47379 | 5676 0 nan | 0.000 % | 6.55/6.64 c =============================================================================== 6.55/6.64 c core #447 6.55/6.64 c Core size: 12 Core Weight: 1 Total Weight: 447 6.55/6.64 c Elapsed CPU time: 6.568 s Remaining CPU time: 1793.43 s 6.55/6.66 c ============================[ Search Statistics ]============================== 6.55/6.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.66 c =============================================================================== 6.55/6.66 c | 0 | 4016 17030 47391 | 5676 0 nan | 0.000 % | 6.55/6.67 c =============================================================================== 6.55/6.67 c core #448 6.55/6.67 c Core size: 95 Core Weight: 1 Total Weight: 448 6.55/6.67 c Elapsed CPU time: 6.592 s Remaining CPU time: 1793.41 s 6.55/6.69 c Learning 1 hard constraints 6.55/6.69 c ============================[ Search Statistics ]============================== 6.55/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.55/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.55/6.69 c =============================================================================== 6.55/6.69 c | 0 | 4047 17032 47468 | 5677 0 nan | 0.000 % | 6.65/6.70 c =============================================================================== 6.65/6.70 c core #449 6.65/6.70 c Core size: 95 Core Weight: 1 Total Weight: 449 6.65/6.70 c Elapsed CPU time: 6.61799 s Remaining CPU time: 1793.38 s 6.65/6.72 c ============================[ Search Statistics ]============================== 6.65/6.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.72 c =============================================================================== 6.65/6.72 c | 0 | 4058 17033 47490 | 5677 0 nan | 0.000 % | 6.65/6.72 c =============================================================================== 6.65/6.72 c core #450 6.65/6.72 c Core size: 95 Core Weight: 1 Total Weight: 450 6.65/6.72 c Elapsed CPU time: 6.64099 s Remaining CPU time: 1793.36 s 6.65/6.74 c ============================[ Search Statistics ]============================== 6.65/6.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.74 c =============================================================================== 6.65/6.74 c | 0 | 4068 17034 47510 | 5678 0 nan | 0.000 % | 6.65/6.75 c =============================================================================== 6.65/6.75 c core #451 6.65/6.75 c Core size: 15 Core Weight: 1 Total Weight: 451 6.65/6.75 c Elapsed CPU time: 6.66899 s Remaining CPU time: 1793.33 s 6.65/6.77 c Learning 1 hard constraints 6.65/6.77 c ============================[ Search Statistics ]============================== 6.65/6.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.65/6.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.65/6.77 c =============================================================================== 6.65/6.77 c | 0 | 4075 17036 47537 | 5678 0 nan | 0.000 % | 6.65/6.78 c =============================================================================== 6.65/6.78 c core #452 6.65/6.78 c Core size: 86 Core Weight: 1 Total Weight: 452 6.65/6.78 c Elapsed CPU time: 6.69298 s Remaining CPU time: 1793.31 s 6.75/6.80 c Learning 1 hard constraints 6.75/6.80 c ============================[ Search Statistics ]============================== 6.75/6.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.75/6.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.75/6.80 c =============================================================================== 6.75/6.80 c | 0 | 4084 17038 47569 | 5679 0 nan | 0.000 % | 6.75/6.80 c =============================================================================== 6.75/6.80 c core #453 6.75/6.80 c Core size: 62 Core Weight: 1 Total Weight: 453 6.75/6.80 c Elapsed CPU time: 6.71698 s Remaining CPU time: 1793.28 s 6.75/6.82 c ============================[ Search Statistics ]============================== 6.75/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.75/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.75/6.82 c =============================================================================== 6.75/6.82 c | 0 | 4099 17039 47599 | 5679 0 nan | 0.000 % | 6.75/6.83 c =============================================================================== 6.75/6.83 c core #454 6.75/6.83 c Core size: 87 Core Weight: 1 Total Weight: 454 6.75/6.83 c Elapsed CPU time: 6.74297 s Remaining CPU time: 1793.26 s 6.75/6.85 c Learning 3 hard constraints 6.75/6.85 c ============================[ Search Statistics ]============================== 6.75/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.75/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.75/6.85 c =============================================================================== 6.75/6.85 c | 0 | 4109 17043 47654 | 5681 0 nan | 0.000 % | 6.75/6.85 c =============================================================================== 6.75/6.85 c core #455 6.75/6.85 c Core size: 73 Core Weight: 1 Total Weight: 455 6.75/6.85 c Elapsed CPU time: 6.76797 s Remaining CPU time: 1793.23 s 6.75/6.88 c Learning 6 hard constraints 6.75/6.88 c ============================[ Search Statistics ]============================== 6.75/6.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.75/6.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.75/6.88 c =============================================================================== 6.75/6.88 c | 0 | 4117 17050 47744 | 5683 0 nan | 0.000 % | 6.75/6.88 c =============================================================================== 6.75/6.88 c core #456 6.75/6.88 c Core size: 83 Core Weight: 1 Total Weight: 456 6.75/6.88 c Elapsed CPU time: 6.79397 s Remaining CPU time: 1793.21 s 6.84/6.90 c Learning 1 hard constraints 6.84/6.90 c ============================[ Search Statistics ]============================== 6.84/6.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.90 c =============================================================================== 6.84/6.90 c | 0 | 4130 17052 47782 | 5684 0 nan | 0.000 % | 6.84/6.91 c =============================================================================== 6.84/6.91 c core #457 6.84/6.91 c Core size: 89 Core Weight: 1 Total Weight: 457 6.84/6.91 c Elapsed CPU time: 6.81896 s Remaining CPU time: 1793.18 s 6.84/6.93 c Learning 4 hard constraints 6.84/6.93 c ============================[ Search Statistics ]============================== 6.84/6.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.93 c =============================================================================== 6.84/6.93 c | 0 | 4142 17057 47864 | 5685 0 nan | 0.000 % | 6.84/6.94 c =============================================================================== 6.84/6.94 c core #458 6.84/6.94 c Core size: 117 Core Weight: 1 Total Weight: 458 6.84/6.94 c Elapsed CPU time: 6.84596 s Remaining CPU time: 1793.15 s 6.84/6.96 c Learning 2 hard constraints 6.84/6.96 c ============================[ Search Statistics ]============================== 6.84/6.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.96 c =============================================================================== 6.84/6.96 c | 0 | 4157 17060 47909 | 5686 0 nan | 0.000 % | 6.84/6.96 c =============================================================================== 6.84/6.96 c core #459 6.84/6.96 c Core size: 90 Core Weight: 1 Total Weight: 459 6.84/6.96 c Elapsed CPU time: 6.87195 s Remaining CPU time: 1793.13 s 6.84/6.98 c Learning 1 hard constraints 6.84/6.98 c ============================[ Search Statistics ]============================== 6.84/6.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.84/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.84/6.99 c =============================================================================== 6.84/6.99 c | 0 | 4167 17062 47940 | 5687 0 nan | 0.000 % | 6.84/6.99 c =============================================================================== 6.84/6.99 c core #460 6.84/6.99 c Core size: 75 Core Weight: 1 Total Weight: 460 6.84/6.99 c Elapsed CPU time: 6.89795 s Remaining CPU time: 1793.1 s 6.94/7.01 c Learning 4 hard constraints 6.94/7.01 c ============================[ Search Statistics ]============================== 6.94/7.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.01 c =============================================================================== 6.94/7.01 c | 0 | 4179 17067 48006 | 5689 0 nan | 0.000 % | 6.94/7.02 c =============================================================================== 6.94/7.02 c core #461 6.94/7.02 c Core size: 87 Core Weight: 1 Total Weight: 461 6.94/7.02 c Elapsed CPU time: 6.92295 s Remaining CPU time: 1793.08 s 6.94/7.04 c Learning 1 hard constraints 6.94/7.04 c ============================[ Search Statistics ]============================== 6.94/7.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.04 c =============================================================================== 6.94/7.04 c | 0 | 4189 17069 48041 | 5689 0 nan | 0.000 % | 6.94/7.04 c =============================================================================== 6.94/7.04 c core #462 6.94/7.04 c Core size: 95 Core Weight: 1 Total Weight: 462 6.94/7.04 c Elapsed CPU time: 6.94994 s Remaining CPU time: 1793.05 s 6.94/7.06 c Learning 4 hard constraints 6.94/7.06 c ============================[ Search Statistics ]============================== 6.94/7.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.06 c =============================================================================== 6.94/7.06 c | 0 | 4200 17074 48101 | 5691 0 nan | 0.000 % | 6.94/7.07 c =============================================================================== 6.94/7.07 c core #463 6.94/7.07 c Core size: 54 Core Weight: 1 Total Weight: 463 6.94/7.07 c Elapsed CPU time: 6.97494 s Remaining CPU time: 1793.03 s 6.94/7.09 c Learning 1 hard constraints 6.94/7.09 c ============================[ Search Statistics ]============================== 6.94/7.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.94/7.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.94/7.09 c =============================================================================== 6.94/7.09 c | 0 | 4211 17076 48137 | 5692 0 nan | 0.000 % | 6.94/7.09 c =============================================================================== 6.94/7.09 c core #464 6.94/7.09 c Core size: 51 Core Weight: 1 Total Weight: 464 6.94/7.09 c Elapsed CPU time: 7.00094 s Remaining CPU time: 1793 s 7.04/7.12 c ============================[ Search Statistics ]============================== 7.04/7.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.12 c =============================================================================== 7.04/7.12 c | 0 | 4221 17077 48157 | 5692 0 nan | 0.000 % | 7.04/7.12 c =============================================================================== 7.04/7.12 c core #465 7.04/7.12 c Core size: 22 Core Weight: 1 Total Weight: 465 7.04/7.12 c Elapsed CPU time: 7.02693 s Remaining CPU time: 1792.97 s 7.04/7.14 c Learning 1 hard constraints 7.04/7.14 c ============================[ Search Statistics ]============================== 7.04/7.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.14 c =============================================================================== 7.04/7.14 c | 0 | 4232 17079 48191 | 5693 0 nan | 0.000 % | 7.04/7.15 c =============================================================================== 7.04/7.15 c core #466 7.04/7.15 c Core size: 44 Core Weight: 1 Total Weight: 466 7.04/7.15 c Elapsed CPU time: 7.05193 s Remaining CPU time: 1792.95 s 7.04/7.17 c ============================[ Search Statistics ]============================== 7.04/7.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.17 c =============================================================================== 7.04/7.17 c | 0 | 4241 17080 48209 | 5693 0 nan | 0.000 % | 7.04/7.17 c =============================================================================== 7.04/7.17 c core #467 7.04/7.17 c Core size: 21 Core Weight: 1 Total Weight: 467 7.04/7.17 c Elapsed CPU time: 7.07492 s Remaining CPU time: 1792.93 s 7.04/7.19 c ============================[ Search Statistics ]============================== 7.04/7.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.04/7.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.04/7.19 c =============================================================================== 7.04/7.19 c | 0 | 4251 17081 48229 | 5693 0 nan | 0.000 % | 7.14/7.20 c =============================================================================== 7.14/7.20 c core #468 7.14/7.20 c Core size: 80 Core Weight: 1 Total Weight: 468 7.14/7.20 c Elapsed CPU time: 7.10092 s Remaining CPU time: 1792.9 s 7.14/7.22 c ============================[ Search Statistics ]============================== 7.14/7.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.14/7.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.14/7.22 c =============================================================================== 7.14/7.22 c | 0 | 4259 17082 48245 | 5694 0 nan | 0.000 % | 7.14/7.22 c =============================================================================== 7.14/7.22 c core #469 7.14/7.22 c Core size: 112 Core Weight: 1 Total Weight: 469 7.14/7.22 c Elapsed CPU time: 7.12692 s Remaining CPU time: 1792.87 s 7.14/7.25 c Learning 1 hard constraints 7.14/7.25 c ============================[ Search Statistics ]============================== 7.14/7.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.14/7.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.14/7.25 c =============================================================================== 7.14/7.25 c | 0 | 4276 17084 48294 | 5694 0 nan | 0.000 % | 7.14/7.25 c =============================================================================== 7.14/7.25 c core #470 7.14/7.25 c Core size: 110 Core Weight: 1 Total Weight: 470 7.14/7.25 c Elapsed CPU time: 7.15291 s Remaining CPU time: 1792.85 s 7.14/7.27 c Learning 3 hard constraints 7.14/7.27 c ============================[ Search Statistics ]============================== 7.14/7.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.14/7.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.14/7.27 c =============================================================================== 7.14/7.27 c | 0 | 4301 17088 48367 | 5696 0 nan | 0.000 % | 7.14/7.28 c =============================================================================== 7.14/7.28 c core #471 7.14/7.28 c Core size: 28 Core Weight: 1 Total Weight: 471 7.14/7.28 c Elapsed CPU time: 7.17991 s Remaining CPU time: 1792.82 s 7.24/7.30 c Learning 1 hard constraints 7.24/7.30 c ============================[ Search Statistics ]============================== 7.24/7.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.24/7.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.24/7.30 c =============================================================================== 7.24/7.30 c | 0 | 4314 17090 48407 | 5696 0 nan | 0.000 % | 7.24/7.31 c =============================================================================== 7.24/7.31 c core #472 7.24/7.31 c Core size: 171 Core Weight: 1 Total Weight: 472 7.24/7.31 c Elapsed CPU time: 7.2069 s Remaining CPU time: 1792.79 s 7.24/7.33 c Learning 7 hard constraints 7.24/7.33 c ============================[ Search Statistics ]============================== 7.24/7.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.24/7.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.24/7.33 c =============================================================================== 7.24/7.33 c | 0 | 4338 17098 48536 | 5699 0 nan | 0.000 % | 7.24/7.34 c | 101 | 4334 17098 48536 | 6269 101 13 | 0.138 % | 7.24/7.34 c =============================================================================== 7.24/7.35 c core #473 7.24/7.35 c Core size: 478 Core Weight: 1 Total Weight: 473 7.24/7.35 c Elapsed CPU time: 7.2449 s Remaining CPU time: 1792.76 s 7.24/7.37 c Learning 17 hard constraints 7.24/7.37 c ============================[ Search Statistics ]============================== 7.24/7.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.24/7.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.24/7.37 c =============================================================================== 7.24/7.37 c | 0 | 4397 17116 48883 | 5705 0 nan | 0.000 % | 7.24/7.37 c =============================================================================== 7.24/7.37 c core #474 7.24/7.37 c Core size: 19 Core Weight: 1 Total Weight: 474 7.24/7.37 c Elapsed CPU time: 7.27089 s Remaining CPU time: 1792.73 s 7.24/7.39 c ============================[ Search Statistics ]============================== 7.24/7.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.24/7.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.24/7.39 c =============================================================================== 7.24/7.39 c | 0 | 4406 17117 48901 | 5705 0 nan | 0.000 % | 7.34/7.40 c =============================================================================== 7.34/7.40 c core #475 7.34/7.40 c Core size: 13 Core Weight: 1 Total Weight: 475 7.34/7.40 c Elapsed CPU time: 7.29589 s Remaining CPU time: 1792.7 s 7.34/7.42 c ============================[ Search Statistics ]============================== 7.34/7.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.42 c =============================================================================== 7.34/7.42 c | 0 | 4412 17118 48913 | 5706 0 nan | 0.000 % | 7.34/7.43 c =============================================================================== 7.34/7.43 c core #476 7.34/7.43 c Core size: 53 Core Weight: 1 Total Weight: 476 7.34/7.43 c Elapsed CPU time: 7.32189 s Remaining CPU time: 1792.68 s 7.34/7.45 c Learning 1 hard constraints 7.34/7.45 c ============================[ Search Statistics ]============================== 7.34/7.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.45 c =============================================================================== 7.34/7.45 c | 0 | 4424 17120 48952 | 5706 0 nan | 0.000 % | 7.34/7.46 c | 102 | 4421 17120 48952 | 6277 102 13 | 0.136 % | 7.34/7.46 c =============================================================================== 7.34/7.46 c core #477 7.34/7.46 c Core size: 330 Core Weight: 1 Total Weight: 477 7.34/7.46 c Elapsed CPU time: 7.35788 s Remaining CPU time: 1792.64 s 7.34/7.48 c Learning 9 hard constraints 7.34/7.48 c ============================[ Search Statistics ]============================== 7.34/7.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.34/7.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.34/7.48 c =============================================================================== 7.34/7.48 c | 0 | 4473 17130 49176 | 5710 0 nan | 0.000 % | 7.34/7.49 c =============================================================================== 7.34/7.49 c core #478 7.34/7.49 c Core size: 12 Core Weight: 1 Total Weight: 478 7.34/7.49 c Elapsed CPU time: 7.38288 s Remaining CPU time: 1792.62 s 7.43/7.51 c ============================[ Search Statistics ]============================== 7.43/7.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.51 c =============================================================================== 7.43/7.51 c | 0 | 4479 17131 49188 | 5710 0 nan | 0.000 % | 7.43/7.52 c =============================================================================== 7.43/7.52 c core #479 7.43/7.52 c Core size: 56 Core Weight: 1 Total Weight: 479 7.43/7.52 c Elapsed CPU time: 7.40987 s Remaining CPU time: 1792.59 s 7.43/7.54 c Learning 5 hard constraints 7.43/7.54 c ============================[ Search Statistics ]============================== 7.43/7.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.54 c =============================================================================== 7.43/7.54 c | 0 | 4492 17137 49287 | 5712 0 nan | 0.000 % | 7.43/7.54 c =============================================================================== 7.43/7.54 c core #480 7.43/7.54 c Core size: 13 Core Weight: 1 Total Weight: 480 7.43/7.54 c Elapsed CPU time: 7.43687 s Remaining CPU time: 1792.56 s 7.43/7.56 c ============================[ Search Statistics ]============================== 7.43/7.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.56 c =============================================================================== 7.43/7.56 c | 0 | 4498 17138 49299 | 5712 0 nan | 0.000 % | 7.43/7.57 c =============================================================================== 7.43/7.57 c core #481 7.43/7.57 c Core size: 51 Core Weight: 1 Total Weight: 481 7.43/7.57 c Elapsed CPU time: 7.46087 s Remaining CPU time: 1792.54 s 7.43/7.59 c ============================[ Search Statistics ]============================== 7.43/7.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.59 c =============================================================================== 7.43/7.59 c | 0 | 4508 17139 49319 | 5713 0 nan | 0.000 % | 7.43/7.59 c =============================================================================== 7.43/7.59 c core #482 7.43/7.59 c Core size: 13 Core Weight: 1 Total Weight: 482 7.43/7.59 c Elapsed CPU time: 7.48486 s Remaining CPU time: 1792.52 s 7.53/7.62 c ============================[ Search Statistics ]============================== 7.53/7.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.62 c =============================================================================== 7.53/7.62 c | 0 | 4514 17140 49331 | 5713 0 nan | 0.000 % | 7.53/7.62 c =============================================================================== 7.53/7.62 c core #483 7.53/7.62 c Core size: 17 Core Weight: 1 Total Weight: 483 7.53/7.62 c Elapsed CPU time: 7.51086 s Remaining CPU time: 1792.49 s 7.53/7.64 c ============================[ Search Statistics ]============================== 7.53/7.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.64 c =============================================================================== 7.53/7.64 c | 0 | 4522 17141 49347 | 5713 0 nan | 0.000 % | 7.53/7.65 c =============================================================================== 7.53/7.65 c core #484 7.53/7.65 c Core size: 13 Core Weight: 1 Total Weight: 484 7.53/7.65 c Elapsed CPU time: 7.53685 s Remaining CPU time: 1792.46 s 7.53/7.67 c ============================[ Search Statistics ]============================== 7.53/7.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.67 c =============================================================================== 7.53/7.67 c | 0 | 4528 17142 49359 | 5714 0 nan | 0.000 % | 7.53/7.68 c =============================================================================== 7.53/7.68 c core #485 7.53/7.68 c Core size: 94 Core Weight: 1 Total Weight: 485 7.53/7.68 c Elapsed CPU time: 7.56385 s Remaining CPU time: 1792.44 s 7.53/7.70 c Learning 1 hard constraints 7.53/7.70 c ============================[ Search Statistics ]============================== 7.53/7.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.53/7.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.53/7.70 c =============================================================================== 7.53/7.70 c | 0 | 4541 17144 49396 | 5714 0 nan | 0.000 % | 7.63/7.71 c =============================================================================== 7.63/7.71 c core #486 7.63/7.71 c Core size: 65 Core Weight: 1 Total Weight: 486 7.63/7.71 c Elapsed CPU time: 7.59085 s Remaining CPU time: 1792.41 s 7.63/7.73 c Learning 4 hard constraints 7.63/7.73 c ============================[ Search Statistics ]============================== 7.63/7.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.63/7.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.63/7.73 c =============================================================================== 7.63/7.73 c | 0 | 4552 17149 49465 | 5716 0 nan | 0.000 % | 7.63/7.73 c =============================================================================== 7.63/7.73 c core #487 7.63/7.73 c Core size: 76 Core Weight: 1 Total Weight: 487 7.63/7.73 c Elapsed CPU time: 7.61784 s Remaining CPU time: 1792.38 s 7.63/7.75 c Learning 1 hard constraints 7.63/7.75 c ============================[ Search Statistics ]============================== 7.63/7.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.63/7.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.63/7.75 c =============================================================================== 7.63/7.75 c | 0 | 4560 17151 49496 | 5717 0 nan | 0.000 % | 7.63/7.76 c =============================================================================== 7.63/7.76 c core #488 7.63/7.76 c Core size: 103 Core Weight: 1 Total Weight: 488 7.63/7.76 c Elapsed CPU time: 7.64384 s Remaining CPU time: 1792.36 s 7.63/7.78 c Learning 2 hard constraints 7.63/7.78 c ============================[ Search Statistics ]============================== 7.63/7.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.63/7.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.63/7.78 c =============================================================================== 7.63/7.78 c | 0 | 4578 17154 49556 | 5718 0 nan | 0.000 % | 7.63/7.79 c =============================================================================== 7.63/7.79 c core #489 7.63/7.79 c Core size: 85 Core Weight: 1 Total Weight: 489 7.63/7.79 c Elapsed CPU time: 7.66883 s Remaining CPU time: 1792.33 s 7.72/7.81 c Learning 1 hard constraints 7.72/7.81 c ============================[ Search Statistics ]============================== 7.72/7.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.81 c =============================================================================== 7.72/7.81 c | 0 | 4589 17156 49593 | 5718 0 nan | 0.000 % | 7.72/7.81 c =============================================================================== 7.72/7.81 c core #490 7.72/7.81 c Core size: 77 Core Weight: 1 Total Weight: 490 7.72/7.81 c Elapsed CPU time: 7.69483 s Remaining CPU time: 1792.31 s 7.72/7.83 c Learning 2 hard constraints 7.72/7.83 c ============================[ Search Statistics ]============================== 7.72/7.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.83 c =============================================================================== 7.72/7.83 c | 0 | 4596 17159 49632 | 5719 0 nan | 0.000 % | 7.72/7.84 c =============================================================================== 7.72/7.84 c core #491 7.72/7.84 c Core size: 87 Core Weight: 1 Total Weight: 491 7.72/7.84 c Elapsed CPU time: 7.72382 s Remaining CPU time: 1792.28 s 7.72/7.86 c Learning 2 hard constraints 7.72/7.86 c ============================[ Search Statistics ]============================== 7.72/7.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.86 c =============================================================================== 7.72/7.86 c | 0 | 4612 17162 49683 | 5720 0 nan | 0.000 % | 7.72/7.87 c =============================================================================== 7.72/7.87 c core #492 7.72/7.87 c Core size: 101 Core Weight: 1 Total Weight: 492 7.72/7.87 c Elapsed CPU time: 7.74982 s Remaining CPU time: 1792.25 s 7.72/7.89 c Learning 3 hard constraints 7.72/7.89 c ============================[ Search Statistics ]============================== 7.72/7.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.89 c =============================================================================== 7.72/7.89 c | 0 | 4626 17166 49735 | 5722 0 nan | 0.000 % | 7.72/7.90 c =============================================================================== 7.72/7.90 c core #493 7.72/7.90 c Core size: 117 Core Weight: 1 Total Weight: 493 7.72/7.90 c Elapsed CPU time: 7.77582 s Remaining CPU time: 1792.22 s 7.82/7.92 c Learning 1 hard constraints 7.82/7.92 c ============================[ Search Statistics ]============================== 7.82/7.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.82/7.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.82/7.92 c =============================================================================== 7.82/7.92 c | 0 | 4644 17168 49783 | 5722 0 nan | 0.000 % | 7.82/7.92 c =============================================================================== 7.82/7.92 c core #494 7.82/7.92 c Core size: 62 Core Weight: 1 Total Weight: 494 7.82/7.92 c Elapsed CPU time: 7.80381 s Remaining CPU time: 1792.2 s 7.82/7.95 c Learning 1 hard constraints 7.82/7.95 c ============================[ Search Statistics ]============================== 7.82/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.82/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.82/7.95 c =============================================================================== 7.82/7.95 c | 0 | 4654 17170 49816 | 5723 0 nan | 0.000 % | 7.82/7.95 c =============================================================================== 7.82/7.95 c core #495 7.82/7.95 c Core size: 88 Core Weight: 1 Total Weight: 495 7.82/7.95 c Elapsed CPU time: 7.83181 s Remaining CPU time: 1792.17 s 7.82/7.97 c Learning 2 hard constraints 7.82/7.97 c ============================[ Search Statistics ]============================== 7.82/7.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.82/7.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.82/7.97 c =============================================================================== 7.82/7.97 c | 0 | 4672 17173 49874 | 5724 0 nan | 0.000 % | 7.82/7.98 c =============================================================================== 7.82/7.98 c core #496 7.82/7.98 c Core size: 90 Core Weight: 1 Total Weight: 496 7.82/7.98 c Elapsed CPU time: 7.8598 s Remaining CPU time: 1792.14 s 7.92/8.00 c Learning 2 hard constraints 7.92/8.00 c ============================[ Search Statistics ]============================== 7.92/8.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.00 c =============================================================================== 7.92/8.00 c | 0 | 4680 17176 49916 | 5725 0 nan | 0.000 % | 7.92/8.01 c =============================================================================== 7.92/8.01 c core #497 7.92/8.01 c Core size: 88 Core Weight: 1 Total Weight: 497 7.92/8.01 c Elapsed CPU time: 7.8888 s Remaining CPU time: 1792.11 s 7.92/8.03 c Learning 1 hard constraints 7.92/8.03 c ============================[ Search Statistics ]============================== 7.92/8.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.03 c =============================================================================== 7.92/8.03 c | 0 | 4692 17178 49954 | 5726 0 nan | 0.000 % | 7.92/8.04 c =============================================================================== 7.92/8.04 c core #498 7.92/8.04 c Core size: 125 Core Weight: 1 Total Weight: 498 7.92/8.04 c Elapsed CPU time: 7.9168 s Remaining CPU time: 1792.08 s 7.92/8.06 c Learning 2 hard constraints 7.92/8.06 c ============================[ Search Statistics ]============================== 7.92/8.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.06 c =============================================================================== 7.92/8.06 c | 0 | 4713 17181 50022 | 5727 0 nan | 0.000 % | 7.92/8.07 c =============================================================================== 7.92/8.07 c core #499 7.92/8.07 c Core size: 195 Core Weight: 1 Total Weight: 499 7.92/8.07 c Elapsed CPU time: 7.94579 s Remaining CPU time: 1792.05 s 7.92/8.09 c Learning 2 hard constraints 7.92/8.09 c ============================[ Search Statistics ]============================== 7.92/8.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.92/8.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.92/8.09 c =============================================================================== 7.92/8.09 c | 0 | 4749 17184 50121 | 5728 0 nan | 0.000 % | 7.92/8.10 c =============================================================================== 7.92/8.10 c core #500 7.92/8.10 c Core size: 52 Core Weight: 1 Total Weight: 500 7.92/8.10 c Elapsed CPU time: 7.97179 s Remaining CPU time: 1792.03 s 8.02/8.12 c ============================[ Search Statistics ]============================== 8.02/8.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.12 c =============================================================================== 8.02/8.12 c | 0 | 4760 17185 50143 | 5728 0 nan | 0.000 % | 8.02/8.12 c =============================================================================== 8.02/8.12 c core #501 8.02/8.12 c Core size: 48 Core Weight: 1 Total Weight: 501 8.02/8.12 c Elapsed CPU time: 7.99778 s Remaining CPU time: 1792 s 8.02/8.14 c ============================[ Search Statistics ]============================== 8.02/8.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.14 c =============================================================================== 8.02/8.14 c | 0 | 4769 17186 50161 | 5728 0 nan | 0.000 % | 8.02/8.15 c =============================================================================== 8.02/8.15 c core #502 8.02/8.15 c Core size: 13 Core Weight: 1 Total Weight: 502 8.02/8.15 c Elapsed CPU time: 8.02178 s Remaining CPU time: 1791.98 s 8.02/8.17 c ============================[ Search Statistics ]============================== 8.02/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.02/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.02/8.17 c =============================================================================== 8.02/8.17 c | 0 | 4775 17187 50173 | 5729 0 nan | 0.000 % | 8.02/8.18 c =============================================================================== 8.02/8.18 c core #503 8.02/8.18 c Core size: 49 Core Weight: 1 Total Weight: 503 8.02/8.18 c Elapsed CPU time: 8.04878 s Remaining CPU time: 1791.95 s 8.11/8.20 c ============================[ Search Statistics ]============================== 8.11/8.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.20 c =============================================================================== 8.11/8.20 c | 0 | 4784 17188 50191 | 5729 0 nan | 0.000 % | 8.11/8.20 c =============================================================================== 8.11/8.20 c core #504 8.11/8.20 c Core size: 14 Core Weight: 1 Total Weight: 504 8.11/8.20 c Elapsed CPU time: 8.07377 s Remaining CPU time: 1791.93 s 8.11/8.22 c ============================[ Search Statistics ]============================== 8.11/8.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.22 c =============================================================================== 8.11/8.22 c | 0 | 4791 17189 50205 | 5729 0 nan | 0.000 % | 8.11/8.23 c =============================================================================== 8.11/8.23 c core #505 8.11/8.23 c Core size: 69 Core Weight: 1 Total Weight: 505 8.11/8.23 c Elapsed CPU time: 8.09977 s Remaining CPU time: 1791.9 s 8.11/8.25 c Learning 1 hard constraints 8.11/8.25 c ============================[ Search Statistics ]============================== 8.11/8.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.25 c =============================================================================== 8.11/8.25 c | 0 | 4800 17191 50227 | 5730 0 nan | 0.000 % | 8.11/8.26 c =============================================================================== 8.11/8.26 c core #506 8.11/8.26 c Core size: 81 Core Weight: 1 Total Weight: 506 8.11/8.26 c Elapsed CPU time: 8.12576 s Remaining CPU time: 1791.87 s 8.11/8.28 c Learning 2 hard constraints 8.11/8.28 c ============================[ Search Statistics ]============================== 8.11/8.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.11/8.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.11/8.28 c =============================================================================== 8.11/8.28 c | 0 | 4811 17194 50267 | 5731 0 nan | 0.000 % | 8.11/8.28 c =============================================================================== 8.11/8.28 c core #507 8.11/8.28 c Core size: 80 Core Weight: 1 Total Weight: 507 8.11/8.28 c Elapsed CPU time: 8.15176 s Remaining CPU time: 1791.85 s 8.22/8.31 c ============================[ Search Statistics ]============================== 8.22/8.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.31 c =============================================================================== 8.22/8.31 c | 0 | 4823 17195 50291 | 5731 0 nan | 0.000 % | 8.22/8.31 c =============================================================================== 8.22/8.31 c core #508 8.22/8.31 c Core size: 88 Core Weight: 1 Total Weight: 508 8.22/8.31 c Elapsed CPU time: 8.17676 s Remaining CPU time: 1791.82 s 8.22/8.33 c ============================[ Search Statistics ]============================== 8.22/8.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.33 c =============================================================================== 8.22/8.33 c | 0 | 4832 17196 50309 | 5732 0 nan | 0.000 % | 8.22/8.34 c =============================================================================== 8.22/8.34 c core #509 8.22/8.34 c Core size: 77 Core Weight: 1 Total Weight: 509 8.22/8.34 c Elapsed CPU time: 8.20275 s Remaining CPU time: 1791.8 s 8.22/8.36 c Learning 1 hard constraints 8.22/8.36 c ============================[ Search Statistics ]============================== 8.22/8.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.36 c =============================================================================== 8.22/8.36 c | 0 | 4845 17198 50340 | 5732 0 nan | 0.000 % | 8.22/8.36 c =============================================================================== 8.22/8.36 c core #510 8.22/8.36 c Core size: 79 Core Weight: 1 Total Weight: 510 8.22/8.36 c Elapsed CPU time: 8.22875 s Remaining CPU time: 1791.77 s 8.22/8.39 c Learning 1 hard constraints 8.22/8.39 c ============================[ Search Statistics ]============================== 8.22/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.22/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.22/8.39 c =============================================================================== 8.22/8.39 c | 0 | 4852 17200 50367 | 5733 0 nan | 0.000 % | 8.22/8.39 c =============================================================================== 8.22/8.39 c core #511 8.22/8.39 c Core size: 72 Core Weight: 1 Total Weight: 511 8.22/8.39 c Elapsed CPU time: 8.25674 s Remaining CPU time: 1791.74 s 8.32/8.41 c Learning 1 hard constraints 8.32/8.41 c ============================[ Search Statistics ]============================== 8.32/8.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.41 c =============================================================================== 8.32/8.41 c | 0 | 4857 17202 50389 | 5734 0 nan | 0.000 % | 8.32/8.42 c =============================================================================== 8.32/8.42 c core #512 8.32/8.42 c Core size: 81 Core Weight: 1 Total Weight: 512 8.32/8.42 c Elapsed CPU time: 8.28374 s Remaining CPU time: 1791.72 s 8.32/8.44 c Learning 1 hard constraints 8.32/8.44 c ============================[ Search Statistics ]============================== 8.32/8.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.44 c =============================================================================== 8.32/8.44 c | 0 | 4865 17204 50419 | 5734 0 nan | 0.000 % | 8.32/8.45 c =============================================================================== 8.32/8.45 c core #513 8.32/8.45 c Core size: 79 Core Weight: 1 Total Weight: 513 8.32/8.45 c Elapsed CPU time: 8.31174 s Remaining CPU time: 1791.69 s 8.32/8.47 c Learning 2 hard constraints 8.32/8.47 c ============================[ Search Statistics ]============================== 8.32/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.47 c =============================================================================== 8.32/8.47 c | 0 | 4876 17207 50462 | 5735 0 nan | 0.000 % | 8.32/8.47 c =============================================================================== 8.32/8.47 c core #514 8.32/8.47 c Core size: 85 Core Weight: 1 Total Weight: 514 8.32/8.47 c Elapsed CPU time: 8.33773 s Remaining CPU time: 1791.66 s 8.32/8.50 c ============================[ Search Statistics ]============================== 8.32/8.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.41/8.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.41/8.50 c =============================================================================== 8.41/8.50 c | 0 | 4886 17208 50482 | 5736 0 nan | 0.000 % | 8.41/8.50 c =============================================================================== 8.41/8.50 c core #515 8.41/8.50 c Core size: 103 Core Weight: 1 Total Weight: 515 8.41/8.50 c Elapsed CPU time: 8.36373 s Remaining CPU time: 1791.64 s 8.41/8.52 c ============================[ Search Statistics ]============================== 8.41/8.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.41/8.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.41/8.52 c =============================================================================== 8.41/8.52 c | 0 | 4909 17209 50528 | 5736 0 nan | 0.000 % | 8.41/8.53 c =============================================================================== 8.41/8.53 c core #516 8.41/8.53 c Core size: 96 Core Weight: 1 Total Weight: 516 8.41/8.53 c Elapsed CPU time: 8.39072 s Remaining CPU time: 1791.61 s 8.41/8.55 c ============================[ Search Statistics ]============================== 8.41/8.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.41/8.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.41/8.55 c =============================================================================== 8.41/8.55 c | 0 | 4920 17210 50550 | 5736 0 nan | 0.000 % | 8.41/8.56 c =============================================================================== 8.41/8.56 c core #517 8.41/8.56 c Core size: 88 Core Weight: 1 Total Weight: 517 8.41/8.56 c Elapsed CPU time: 8.41672 s Remaining CPU time: 1791.58 s 8.41/8.58 c ============================[ Search Statistics ]============================== 8.41/8.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.41/8.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.41/8.58 c =============================================================================== 8.41/8.58 c | 0 | 4935 17211 50580 | 5737 0 nan | 0.000 % | 8.41/8.59 c =============================================================================== 8.41/8.59 c core #518 8.41/8.59 c Core size: 97 Core Weight: 1 Total Weight: 518 8.41/8.59 c Elapsed CPU time: 8.44372 s Remaining CPU time: 1791.56 s 8.51/8.61 c Learning 2 hard constraints 8.51/8.61 c ============================[ Search Statistics ]============================== 8.51/8.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.51/8.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.51/8.61 c =============================================================================== 8.51/8.61 c | 0 | 4947 17214 50623 | 5738 0 nan | 0.000 % | 8.51/8.62 c =============================================================================== 8.51/8.62 c core #519 8.51/8.62 c Core size: 137 Core Weight: 1 Total Weight: 519 8.51/8.62 c Elapsed CPU time: 8.47271 s Remaining CPU time: 1791.53 s 8.51/8.64 c Learning 4 hard constraints 8.51/8.64 c ============================[ Search Statistics ]============================== 8.51/8.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.51/8.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.51/8.64 c =============================================================================== 8.51/8.64 c | 0 | 4969 17219 50709 | 5739 0 nan | 0.000 % | 8.51/8.65 c =============================================================================== 8.51/8.65 c core #520 8.51/8.65 c Core size: 150 Core Weight: 1 Total Weight: 520 8.51/8.65 c Elapsed CPU time: 8.50371 s Remaining CPU time: 1791.5 s 8.51/8.67 c Learning 1 hard constraints 8.51/8.67 c ============================[ Search Statistics ]============================== 8.51/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.51/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.51/8.67 c =============================================================================== 8.51/8.67 c | 0 | 5000 17221 50786 | 5740 0 nan | 0.000 % | 8.51/8.68 c =============================================================================== 8.51/8.68 c core #521 8.51/8.68 c Core size: 110 Core Weight: 1 Total Weight: 521 8.51/8.68 c Elapsed CPU time: 8.5327 s Remaining CPU time: 1791.47 s 8.61/8.70 c Learning 2 hard constraints 8.61/8.70 c ============================[ Search Statistics ]============================== 8.61/8.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.61/8.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.61/8.70 c =============================================================================== 8.61/8.70 c | 0 | 5019 17224 50848 | 5741 0 nan | 0.000 % | 8.61/8.71 c =============================================================================== 8.61/8.71 c core #522 8.61/8.71 c Core size: 209 Core Weight: 1 Total Weight: 522 8.61/8.71 c Elapsed CPU time: 8.5647 s Remaining CPU time: 1791.44 s 8.61/8.74 c Learning 4 hard constraints 8.61/8.74 c ============================[ Search Statistics ]============================== 8.61/8.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.61/8.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.61/8.74 c =============================================================================== 8.61/8.74 c | 0 | 5041 17229 50931 | 5743 0 nan | 0.000 % | 8.61/8.74 c =============================================================================== 8.61/8.74 c core #523 8.61/8.74 c Core size: 148 Core Weight: 1 Total Weight: 523 8.61/8.74 c Elapsed CPU time: 8.59369 s Remaining CPU time: 1791.41 s 8.61/8.77 c Learning 6 hard constraints 8.61/8.77 c ============================[ Search Statistics ]============================== 8.61/8.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.61/8.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.61/8.77 c =============================================================================== 8.61/8.77 c | 0 | 5067 17236 51052 | 5745 0 nan | 0.000 % | 8.61/8.78 c =============================================================================== 8.61/8.78 c core #524 8.61/8.78 c Core size: 143 Core Weight: 1 Total Weight: 524 8.61/8.78 c Elapsed CPU time: 8.62569 s Remaining CPU time: 1791.37 s 8.61/8.80 c Learning 8 hard constraints 8.61/8.80 c ============================[ Search Statistics ]============================== 8.70/8.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.70/8.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.70/8.80 c =============================================================================== 8.70/8.80 c | 0 | 5082 17245 51179 | 5748 0 nan | 0.000 % | 8.70/8.81 c =============================================================================== 8.70/8.81 c core #525 8.70/8.81 c Core size: 193 Core Weight: 1 Total Weight: 525 8.70/8.81 c Elapsed CPU time: 8.65868 s Remaining CPU time: 1791.34 s 8.70/8.83 c ============================[ Search Statistics ]============================== 8.70/8.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.70/8.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.70/8.83 c =============================================================================== 8.70/8.83 c | 0 | 5101 17246 51217 | 5748 0 nan | 0.000 % | 8.70/8.85 c | 100 | 5090 17246 51217 | 6323 100 7 | 0.588 % | 8.70/8.85 c =============================================================================== 8.70/8.85 c core #526 8.70/8.85 c Core size: 193 Core Weight: 1 Total Weight: 526 8.70/8.85 c Elapsed CPU time: 8.69468 s Remaining CPU time: 1791.31 s 8.70/8.87 c Learning 7 hard constraints 8.70/8.87 c ============================[ Search Statistics ]============================== 8.70/8.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.70/8.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.70/8.87 c =============================================================================== 8.70/8.87 c | 0 | 5122 17254 51349 | 5751 0 nan | 0.000 % | 8.70/8.88 c | 100 | 5122 17254 51349 | 6326 100 10 | 0.001 % | 8.70/8.89 c =============================================================================== 8.70/8.89 c core #527 8.70/8.89 c Core size: 365 Core Weight: 1 Total Weight: 527 8.70/8.89 c Elapsed CPU time: 8.73567 s Remaining CPU time: 1791.26 s 8.79/8.92 c Learning 18 hard constraints 8.79/8.92 c ============================[ Search Statistics ]============================== 8.79/8.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.92 c =============================================================================== 8.79/8.92 c | 0 | 5187 17273 51713 | 5757 0 nan | 0.000 % | 8.79/8.93 c | 100 | 5187 17273 51713 | 6333 100 13 | 0.001 % | 8.79/8.94 c =============================================================================== 8.79/8.94 c core #528 8.79/8.94 c Core size: 80 Core Weight: 1 Total Weight: 528 8.79/8.94 c Elapsed CPU time: 8.77867 s Remaining CPU time: 1791.22 s 8.79/8.96 c Learning 3 hard constraints 8.79/8.96 c ============================[ Search Statistics ]============================== 8.79/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.96 c =============================================================================== 8.79/8.96 c | 0 | 5195 17277 51773 | 5759 0 nan | 0.000 % | 8.79/8.97 c | 101 | 5195 17277 51773 | 6334 101 12 | 0.001 % | 8.79/8.98 c | 251 | 5195 17277 51773 | 6968 251 14 | 0.000 % | 8.79/8.99 c =============================================================================== 8.79/8.99 c core #529 8.79/8.99 c Core size: 434 Core Weight: 1 Total Weight: 529 8.79/8.99 c Elapsed CPU time: 8.83166 s Remaining CPU time: 1791.17 s 8.89/9.01 c Learning 39 hard constraints 8.89/9.01 c ============================[ Search Statistics ]============================== 8.89/9.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/9.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/9.01 c =============================================================================== 8.89/9.01 c | 0 | 5234 17317 52369 | 5772 0 nan | 0.000 % | 8.89/9.02 c =============================================================================== 8.89/9.02 c core #530 8.89/9.02 c Core size: 210 Core Weight: 1 Total Weight: 530 8.89/9.02 c Elapsed CPU time: 8.86365 s Remaining CPU time: 1791.14 s 8.89/9.05 c Learning 5 hard constraints 8.89/9.05 c ============================[ Search Statistics ]============================== 8.89/9.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/9.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/9.05 c =============================================================================== 8.89/9.05 c | 0 | 5262 17323 52494 | 5774 0 nan | 0.000 % | 8.89/9.05 c =============================================================================== 8.89/9.05 c core #531 8.89/9.05 c Core size: 124 Core Weight: 1 Total Weight: 531 8.89/9.05 c Elapsed CPU time: 8.89065 s Remaining CPU time: 1791.11 s 8.89/9.08 c Learning 2 hard constraints 8.89/9.08 c ============================[ Search Statistics ]============================== 8.89/9.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/9.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/9.08 c =============================================================================== 8.89/9.08 c | 0 | 5277 17326 52549 | 5775 0 nan | 0.000 % | 8.89/9.08 c =============================================================================== 8.89/9.08 c core #532 8.89/9.08 c Core size: 110 Core Weight: 1 Total Weight: 532 8.89/9.08 c Elapsed CPU time: 8.91964 s Remaining CPU time: 1791.08 s 9.00/9.11 c Learning 4 hard constraints 9.00/9.11 c ============================[ Search Statistics ]============================== 9.00/9.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.11 c =============================================================================== 9.00/9.11 c | 0 | 5294 17331 52632 | 5777 0 nan | 0.000 % | 9.00/9.12 c | 102 | 5292 17331 52632 | 6354 102 12 | 0.076 % | 9.00/9.12 c | 252 | 5292 17331 52632 | 6990 252 13 | 0.076 % | 9.00/9.13 c =============================================================================== 9.00/9.13 c core #533 9.00/9.13 c Core size: 417 Core Weight: 1 Total Weight: 533 9.00/9.13 c Elapsed CPU time: 8.97064 s Remaining CPU time: 1791.03 s 9.00/9.16 c Learning 58 hard constraints 9.00/9.16 c ============================[ Search Statistics ]============================== 9.00/9.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.00/9.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.00/9.16 c =============================================================================== 9.00/9.16 c | 0 | 5320 17390 53424 | 5796 0 nan | 0.000 % | 9.00/9.17 c | 100 | 5318 17390 53424 | 6376 100 9 | 0.075 % | 9.00/9.18 c | 254 | 5318 17390 53424 | 7013 254 12 | 0.075 % | 9.00/9.20 c | 480 | 5309 17390 53424 | 7715 480 14 | 3.947 % | 9.00/9.20 c =============================================================================== 9.10/9.20 c core #534 9.10/9.20 c Core size: 674 Core Weight: 1 Total Weight: 534 9.10/9.20 c Elapsed CPU time: 9.03363 s Remaining CPU time: 1790.97 s 9.10/9.22 c Learning 62 hard constraints 9.10/9.22 c ============================[ Search Statistics ]============================== 9.10/9.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.10/9.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.10/9.22 c =============================================================================== 9.10/9.22 c | 0 | 5369 17453 54316 | 5817 0 nan | 0.000 % | 9.10/9.24 c | 102 | 5369 17453 54316 | 6399 102 16 | 0.037 % | 9.10/9.25 c | 254 | 5369 17453 54316 | 7039 254 17 | 0.037 % | 9.10/9.26 c =============================================================================== 9.10/9.26 c core #535 9.10/9.26 c Core size: 426 Core Weight: 1 Total Weight: 535 9.10/9.26 c Elapsed CPU time: 9.08962 s Remaining CPU time: 1790.91 s 9.10/9.28 c Learning 62 hard constraints 9.10/9.28 c ============================[ Search Statistics ]============================== 9.10/9.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.10/9.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.10/9.28 c =============================================================================== 9.10/9.28 c | 0 | 5405 17516 55195 | 5838 0 nan | 0.000 % | 9.10/9.29 c =============================================================================== 9.10/9.29 c core #536 9.10/9.29 c Core size: 129 Core Weight: 1 Total Weight: 536 9.10/9.29 c Elapsed CPU time: 9.11961 s Remaining CPU time: 1790.88 s 9.19/9.31 c Learning 3 hard constraints 9.19/9.31 c ============================[ Search Statistics ]============================== 9.19/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.19/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.19/9.31 c =============================================================================== 9.19/9.31 c | 0 | 5414 17520 55247 | 5840 0 nan | 0.000 % | 9.19/9.33 c | 100 | 5414 17520 55247 | 6424 100 17 | 0.001 % | 9.19/9.34 c | 250 | 5414 17520 55247 | 7066 250 16 | 0.000 % | 9.19/9.35 c | 476 | 5414 17520 55247 | 7773 476 15 | 0.000 % | 9.19/9.37 c =============================================================================== 9.19/9.37 c core #537 9.19/9.37 c Core size: 546 Core Weight: 1 Total Weight: 537 9.19/9.37 c Elapsed CPU time: 9.2006 s Remaining CPU time: 1790.8 s 9.29/9.40 c Learning 118 hard constraints 9.29/9.40 c ============================[ Search Statistics ]============================== 9.29/9.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.40 c =============================================================================== 9.29/9.40 c | 0 | 5460 17639 56774 | 5879 0 nan | 0.000 % | 9.29/9.41 c =============================================================================== 9.29/9.41 c core #538 9.29/9.41 c Core size: 160 Core Weight: 1 Total Weight: 538 9.29/9.41 c Elapsed CPU time: 9.2316 s Remaining CPU time: 1790.77 s 9.29/9.43 c Learning 7 hard constraints 9.29/9.43 c ============================[ Search Statistics ]============================== 9.29/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.43 c =============================================================================== 9.29/9.43 c | 0 | 5476 17647 56890 | 5882 0 nan | 0.000 % | 9.29/9.44 c =============================================================================== 9.29/9.44 c core #539 9.29/9.44 c Core size: 238 Core Weight: 1 Total Weight: 539 9.29/9.44 c Elapsed CPU time: 9.26659 s Remaining CPU time: 1790.73 s 9.29/9.47 c Learning 6 hard constraints 9.29/9.47 c ============================[ Search Statistics ]============================== 9.29/9.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.47 c =============================================================================== 9.29/9.47 c | 0 | 5495 17654 57015 | 5884 0 nan | 0.000 % | 9.29/9.48 c | 102 | 5495 17654 57015 | 6473 102 18 | 0.001 % | 9.29/9.49 c | 253 | 5495 17654 57015 | 7120 253 18 | 0.000 % | 9.39/9.50 c =============================================================================== 9.39/9.50 c core #540 9.39/9.50 c Core size: 166 Core Weight: 1 Total Weight: 540 9.39/9.50 c Elapsed CPU time: 9.32258 s Remaining CPU time: 1790.68 s 9.39/9.53 c Learning 41 hard constraints 9.39/9.53 c ============================[ Search Statistics ]============================== 9.39/9.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.53 c =============================================================================== 9.39/9.53 c | 0 | 5524 17696 57596 | 5898 0 nan | 0.000 % | 9.39/9.54 c | 101 | 5523 17696 57596 | 6488 101 21 | 0.036 % | 9.39/9.55 c | 253 | 5523 17696 57596 | 7137 253 21 | 0.036 % | 9.39/9.55 c =============================================================================== 9.39/9.55 c core #541 9.39/9.55 c Core size: 168 Core Weight: 1 Total Weight: 541 9.39/9.55 c Elapsed CPU time: 9.36957 s Remaining CPU time: 1790.63 s 9.39/9.58 c Learning 11 hard constraints 9.39/9.58 c ============================[ Search Statistics ]============================== 9.39/9.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.58 c =============================================================================== 9.39/9.58 c | 0 | 5547 17708 57787 | 5902 0 nan | 0.000 % | 9.39/9.59 c =============================================================================== 9.39/9.59 c core #542 9.39/9.59 c Core size: 174 Core Weight: 1 Total Weight: 542 9.39/9.59 c Elapsed CPU time: 9.40457 s Remaining CPU time: 1790.6 s 9.48/9.61 c Learning 9 hard constraints 9.48/9.61 c ============================[ Search Statistics ]============================== 9.48/9.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.62 c =============================================================================== 9.48/9.62 c | 0 | 5567 17718 57939 | 5906 0 nan | 0.000 % | 9.48/9.63 c =============================================================================== 9.48/9.63 c core #543 9.48/9.63 c Core size: 178 Core Weight: 1 Total Weight: 543 9.48/9.63 c Elapsed CPU time: 9.43857 s Remaining CPU time: 1790.56 s 9.48/9.65 c Learning 7 hard constraints 9.48/9.65 c ============================[ Search Statistics ]============================== 9.48/9.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.65 c =============================================================================== 9.48/9.65 c | 0 | 5583 17726 58060 | 5908 0 nan | 0.000 % | 9.48/9.66 c | 100 | 5583 17726 58060 | 6499 100 15 | 0.001 % | 9.48/9.67 c | 253 | 5583 17726 58060 | 7149 253 22 | 0.001 % | 9.48/9.68 c =============================================================================== 9.48/9.68 c core #544 9.48/9.68 c Core size: 294 Core Weight: 1 Total Weight: 544 9.48/9.68 c Elapsed CPU time: 9.48856 s Remaining CPU time: 1790.51 s 9.58/9.70 c Learning 12 hard constraints 9.58/9.70 c ============================[ Search Statistics ]============================== 9.58/9.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.58/9.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.58/9.70 c =============================================================================== 9.58/9.70 c | 0 | 5622 17739 58302 | 5913 0 nan | 0.000 % | 9.58/9.72 c | 101 | 5621 17739 58302 | 6504 101 11 | 0.071 % | 9.58/9.74 c | 252 | 5594 17739 58302 | 7154 252 16 | 2.170 % | 9.58/9.77 c =============================================================================== 9.58/9.78 c core #545 9.58/9.78 c Core size: 1556 Core Weight: 1 Total Weight: 545 9.58/9.78 c Elapsed CPU time: 9.58354 s Remaining CPU time: 1790.42 s 9.69/9.81 c Learning 205 hard constraints 9.69/9.81 c ============================[ Search Statistics ]============================== 9.69/9.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.81 c =============================================================================== 9.69/9.81 c | 0 | 5667 17945 62846 | 5981 0 nan | 0.000 % | 9.69/9.82 c | 102 | 5667 17945 62846 | 6579 102 15 | 0.001 % | 9.69/9.83 c =============================================================================== 9.69/9.83 c core #546 9.69/9.83 c Core size: 341 Core Weight: 1 Total Weight: 546 9.69/9.83 c Elapsed CPU time: 9.63153 s Remaining CPU time: 1790.37 s 9.69/9.85 c Learning 11 hard constraints 9.69/9.85 c ============================[ Search Statistics ]============================== 9.69/9.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.85 c =============================================================================== 9.69/9.85 c | 0 | 5708 17957 63074 | 5985 0 nan | 0.000 % | 9.69/9.87 c | 100 | 5708 17957 63074 | 6584 100 14 | 0.001 % | 9.69/9.88 c =============================================================================== 9.69/9.88 c core #547 9.69/9.88 c Core size: 300 Core Weight: 1 Total Weight: 547 9.69/9.88 c Elapsed CPU time: 9.68053 s Remaining CPU time: 1790.32 s 9.79/9.90 c Learning 18 hard constraints 9.79/9.90 c ============================[ Search Statistics ]============================== 9.79/9.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.90 c =============================================================================== 9.79/9.90 c | 0 | 5743 17976 63383 | 5992 0 nan | 0.000 % | 9.79/9.92 c | 100 | 5743 17976 63383 | 6591 100 13 | 0.001 % | 9.79/9.92 c | 250 | 5743 17976 63383 | 7250 250 17 | 0.000 % | 9.79/9.93 c | 475 | 5743 17976 63383 | 7975 475 18 | 0.000 % | 9.79/9.95 c | 814 | 5743 17976 63383 | 8772 814 21 | 0.000 % | 9.79/10.00 c | 1320 | 5741 17976 63383 | 9650 660 15 | 0.035 % | 9.88/10.04 c =============================================================================== 9.88/10.06 c core #548 9.88/10.06 c Core size: 536 Core Weight: 1 Total Weight: 548 9.88/10.06 c Elapsed CPU time: 9.8585 s Remaining CPU time: 1790.14 s 9.88/10.09 c Learning 112 hard constraints 9.88/10.09 c ============================[ Search Statistics ]============================== 9.88/10.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.88/10.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.88/10.09 c =============================================================================== 9.88/10.09 c | 0 | 5788 18089 64857 | 6029 0 nan | 0.000 % | 9.98/10.10 c | 100 | 5788 18089 64857 | 6632 100 14 | 0.001 % | 9.98/10.11 c =============================================================================== 9.98/10.11 c core #549 9.98/10.11 c Core size: 459 Core Weight: 1 Total Weight: 549 9.98/10.11 c Elapsed CPU time: 9.91049 s Remaining CPU time: 1790.09 s 9.98/10.14 c Learning 19 hard constraints 9.98/10.14 c ============================[ Search Statistics ]============================== 9.98/10.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.98/10.14 c =============================================================================== 9.98/10.14 c | 0 | 5839 18109 65192 | 6036 0 nan | 0.000 % | 9.98/10.15 c | 102 | 5839 18109 65192 | 6639 102 10 | 0.001 % | 9.98/10.16 c =============================================================================== 9.98/10.16 c core #550 9.98/10.16 c Core size: 315 Core Weight: 1 Total Weight: 550 9.98/10.16 c Elapsed CPU time: 9.95449 s Remaining CPU time: 1790.05 s 9.98/10.19 c Learning 36 hard constraints 9.98/10.19 c ============================[ Search Statistics ]============================== 9.98/10.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.98/10.19 c =============================================================================== 9.98/10.19 c | 0 | 5865 18146 65704 | 6048 0 nan | 0.000 % | 10.08/10.21 c | 100 | 5865 18146 65704 | 6653 100 22 | 0.001 % | 10.08/10.25 c | 251 | 5865 18146 65704 | 7318 251 20 | 0.000 % | 10.08/10.29 c | 479 | 5865 18146 65704 | 8050 479 20 | 0.000 % | 10.18/10.32 c | 816 | 5863 18146 65704 | 8855 814 19 | 0.034 % | 10.18/10.32 c =============================================================================== 10.18/10.33 c core #551 10.18/10.33 c Core size: 2169 Core Weight: 1 Total Weight: 551 10.18/10.33 c Elapsed CPU time: 10.1265 s Remaining CPU time: 1789.87 s 10.18/10.36 c Learning 312 hard constraints 10.18/10.36 c ============================[ Search Statistics ]============================== 10.18/10.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.36 c =============================================================================== 10.18/10.36 c | 0 | 5909 18459 71187 | 6153 0 nan | 0.000 % | 10.18/10.38 c | 100 | 5906 18459 71187 | 6768 100 12 | 0.102 % | 10.18/10.38 c =============================================================================== 10.18/10.38 c core #552 10.18/10.38 c Core size: 327 Core Weight: 1 Total Weight: 552 10.18/10.38 c Elapsed CPU time: 10.1725 s Remaining CPU time: 1789.83 s 10.28/10.41 c Learning 16 hard constraints 10.28/10.41 c ============================[ Search Statistics ]============================== 10.28/10.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.41 c =============================================================================== 10.28/10.41 c | 0 | 5944 18476 71477 | 6158 0 nan | 0.000 % | 10.28/10.44 c | 100 | 5940 18476 71477 | 6774 100 14 | 0.067 % | 10.28/10.48 c | 254 | 5938 18476 71477 | 7451 250 23 | 0.101 % | 10.38/10.50 c =============================================================================== 10.38/10.51 c core #553 10.38/10.51 c Core size: 1962 Core Weight: 1 Total Weight: 553 10.38/10.51 c Elapsed CPU time: 10.2974 s Remaining CPU time: 1789.7 s 10.38/10.54 c Learning 201 hard constraints 10.38/10.54 c ============================[ Search Statistics ]============================== 10.38/10.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.54 c =============================================================================== 10.38/10.54 c | 0 | 5963 18678 75721 | 6226 0 nan | 0.000 % | 10.38/10.57 c | 100 | 5960 18678 75721 | 6848 100 15 | 0.067 % | 10.48/10.62 c | 254 | 5915 18678 75721 | 7533 154 16 | 4.696 % | 10.48/10.62 c =============================================================================== 10.48/10.62 c core #554 10.48/10.62 c Core size: 1832 Core Weight: 1 Total Weight: 554 10.48/10.62 c Elapsed CPU time: 10.4074 s Remaining CPU time: 1789.59 s 10.48/10.65 c Learning 81 hard constraints 10.48/10.65 c ============================[ Search Statistics ]============================== 10.48/10.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.48/10.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.48/10.65 c =============================================================================== 10.48/10.65 c | 0 | 5989 18760 77062 | 6253 0 nan | 0.000 % | 10.48/10.68 c | 101 | 5986 18760 77062 | 6878 101 15 | 0.100 % | 10.58/10.70 c =============================================================================== 10.58/10.70 c core #555 10.58/10.70 c Core size: 1256 Core Weight: 1 Total Weight: 555 10.58/10.70 c Elapsed CPU time: 10.4904 s Remaining CPU time: 1789.51 s 10.58/10.73 c Learning 83 hard constraints 10.58/10.73 c ============================[ Search Statistics ]============================== 10.58/10.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.58/10.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.58/10.73 c =============================================================================== 10.58/10.73 c | 0 | 6011 18844 78618 | 6281 0 nan | 0.000 % | 10.58/10.75 c | 100 | 6009 18844 78618 | 6909 100 11 | 0.033 % | 10.58/10.76 c =============================================================================== 10.58/10.76 c core #556 10.58/10.76 c Core size: 594 Core Weight: 1 Total Weight: 556 10.58/10.76 c Elapsed CPU time: 10.5464 s Remaining CPU time: 1789.45 s 10.58/10.79 c Learning 33 hard constraints 10.58/10.79 c ============================[ Search Statistics ]============================== 10.58/10.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.58/10.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.58/10.79 c =============================================================================== 10.58/10.79 c | 0 | 6046 18878 79076 | 6292 0 nan | 0.000 % | 10.68/10.81 c | 100 | 6046 18878 79076 | 6921 100 21 | 0.034 % | 10.68/10.81 c | 250 | 6046 18878 79076 | 7614 250 17 | 0.033 % | 10.68/10.83 c | 478 | 6045 18878 79076 | 8375 478 17 | 0.067 % | 10.68/10.86 c | 816 | 6038 18878 79076 | 9213 716 18 | 0.165 % | 10.78/10.92 c =============================================================================== 10.78/10.93 c core #557 10.78/10.93 c Core size: 1947 Core Weight: 1 Total Weight: 557 10.78/10.93 c Elapsed CPU time: 10.7064 s Remaining CPU time: 1789.29 s 10.78/10.96 c Learning 228 hard constraints 10.78/10.96 c ============================[ Search Statistics ]============================== 10.78/10.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.78/10.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.78/10.96 c =============================================================================== 10.78/10.96 c | 0 | 6112 19107 83356 | 6369 0 nan | 0.000 % | 10.78/10.97 c =============================================================================== 10.78/10.97 c core #558 10.78/10.97 c Core size: 267 Core Weight: 1 Total Weight: 558 10.78/10.97 c Elapsed CPU time: 10.7524 s Remaining CPU time: 1789.25 s 10.87/11.00 c Learning 13 hard constraints 10.87/11.00 c ============================[ Search Statistics ]============================== 10.87/11.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.87/11.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.87/11.00 c =============================================================================== 10.87/11.00 c | 0 | 6128 19121 83552 | 6373 0 nan | 0.000 % | 10.87/11.02 c | 101 | 6128 19121 83552 | 7011 101 25 | 0.033 % | 10.87/11.03 c | 251 | 6128 19121 83552 | 7712 251 25 | 0.033 % | 10.87/11.04 c | 477 | 6128 19121 83552 | 8483 477 24 | 0.033 % | 10.87/11.07 c | 815 | 6123 19121 83552 | 9331 815 25 | 0.131 % | 10.98/11.10 c | 1324 | 6123 19121 83552 | 10264 1324 28 | 0.131 % | 10.98/11.18 c =============================================================================== 10.98/11.20 c core #559 10.98/11.20 c Core size: 1271 Core Weight: 1 Total Weight: 559 10.98/11.20 c Elapsed CPU time: 10.9693 s Remaining CPU time: 1789.03 s 11.08/11.23 c Learning 148 hard constraints 11.08/11.23 c ============================[ Search Statistics ]============================== 11.08/11.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.23 c =============================================================================== 11.08/11.23 c | 0 | 6165 19270 86119 | 6423 0 nan | 0.000 % | 11.08/11.25 c | 101 | 6165 19270 86119 | 7065 101 27 | 0.033 % | 11.08/11.27 c | 252 | 6165 19270 86119 | 7772 252 28 | 0.032 % | 11.17/11.30 c =============================================================================== 11.17/11.30 c core #560 11.17/11.30 c Core size: 1289 Core Weight: 1 Total Weight: 560 11.17/11.30 c Elapsed CPU time: 11.0763 s Remaining CPU time: 1788.92 s 11.17/11.34 c Learning 89 hard constraints 11.17/11.34 c ============================[ Search Statistics ]============================== 11.17/11.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.17/11.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.17/11.34 c =============================================================================== 11.17/11.34 c | 0 | 6194 19360 87588 | 6453 0 nan | 0.000 % | 11.17/11.36 c | 101 | 6194 19360 87588 | 7098 101 18 | 0.033 % | 11.27/11.40 c =============================================================================== 11.27/11.40 c core #561 11.27/11.40 c Core size: 828 Core Weight: 1 Total Weight: 561 11.27/11.40 c Elapsed CPU time: 11.1733 s Remaining CPU time: 1788.83 s 11.27/11.44 c Learning 117 hard constraints 11.27/11.44 c ============================[ Search Statistics ]============================== 11.27/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.27/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.27/11.44 c =============================================================================== 11.27/11.44 c | 0 | 6209 19478 89778 | 6492 0 nan | 0.000 % | 11.27/11.47 c =============================================================================== 11.27/11.47 c core #562 11.27/11.47 c Core size: 724 Core Weight: 1 Total Weight: 562 11.27/11.47 c Elapsed CPU time: 11.2423 s Remaining CPU time: 1788.76 s 11.37/11.51 c Learning 30 hard constraints 11.37/11.51 c ============================[ Search Statistics ]============================== 11.37/11.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.37/11.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.37/11.51 c =============================================================================== 11.37/11.51 c | 0 | 6223 19509 90402 | 6503 0 nan | 0.000 % | 11.37/11.52 c | 102 | 6223 19509 90402 | 7153 102 18 | 0.033 % | 11.37/11.53 c | 252 | 6223 19509 90402 | 7868 252 16 | 0.032 % | 11.37/11.55 c | 477 | 6223 19509 90402 | 8655 477 15 | 0.032 % | 11.37/11.55 c =============================================================================== 11.37/11.56 c core #563 11.37/11.56 c Core size: 436 Core Weight: 1 Total Weight: 563 11.37/11.56 c Elapsed CPU time: 11.3233 s Remaining CPU time: 1788.68 s 11.37/11.59 c Learning 64 hard constraints 11.37/11.59 c ============================[ Search Statistics ]============================== 11.37/11.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.37/11.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.37/11.59 c =============================================================================== 11.37/11.59 c | 0 | 6251 19574 91245 | 6524 0 nan | 0.000 % | 11.47/11.63 c =============================================================================== 11.47/11.64 c core #564 11.47/11.64 c Core size: 1059 Core Weight: 1 Total Weight: 564 11.47/11.64 c Elapsed CPU time: 11.4023 s Remaining CPU time: 1788.6 s 11.47/11.67 c Learning 54 hard constraints 11.47/11.67 c ============================[ Search Statistics ]============================== 11.47/11.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.47/11.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.47/11.67 c =============================================================================== 11.47/11.67 c | 0 | 6273 19629 92288 | 6543 0 nan | 0.000 % | 11.47/11.68 c | 100 | 6273 19629 92288 | 7197 100 13 | 0.064 % | 11.57/11.70 c | 250 | 6271 19629 92288 | 7917 250 14 | 0.064 % | 11.57/11.76 c | 476 | 6237 19629 92288 | 8708 476 15 | 3.283 % | 11.57/11.76 c =============================================================================== 11.57/11.77 c core #565 11.57/11.77 c Core size: 1671 Core Weight: 1 Total Weight: 565 11.57/11.77 c Elapsed CPU time: 11.5302 s Remaining CPU time: 1788.47 s 11.67/11.80 c Learning 130 hard constraints 11.67/11.80 c ============================[ Search Statistics ]============================== 11.67/11.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.67/11.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.67/11.80 c =============================================================================== 11.67/11.80 c | 0 | 6312 19760 94630 | 6586 0 nan | 0.000 % | 11.67/11.84 c | 100 | 6312 19760 94630 | 7245 100 26 | 0.032 % | 11.67/11.87 c =============================================================================== 11.67/11.87 c core #566 11.67/11.87 c Core size: 1174 Core Weight: 1 Total Weight: 566 11.67/11.87 c Elapsed CPU time: 11.6352 s Remaining CPU time: 1788.36 s 11.77/11.91 c Learning 71 hard constraints 11.77/11.91 c ============================[ Search Statistics ]============================== 11.77/11.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.77/11.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.77/11.91 c =============================================================================== 11.77/11.91 c | 0 | 6320 19832 96571 | 6610 0 nan | 0.000 % | 11.77/11.95 c | 100 | 6318 19832 96571 | 7271 100 21 | 0.063 % | 11.77/12.00 c =============================================================================== 11.77/12.00 c core #567 11.77/12.00 c Core size: 1728 Core Weight: 1 Total Weight: 567 11.77/12.00 c Elapsed CPU time: 11.7532 s Remaining CPU time: 1788.25 s 11.87/12.03 c Learning 81 hard constraints 11.87/12.03 c ============================[ Search Statistics ]============================== 11.87/12.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.87/12.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.87/12.04 c =============================================================================== 11.87/12.04 c | 0 | 6334 19914 98467 | 6638 0 nan | 0.000 % | 11.87/12.07 c | 101 | 6332 19914 98467 | 7301 101 19 | 0.095 % | 11.87/12.09 c | 251 | 6332 19914 98467 | 8031 251 16 | 0.095 % | 11.98/12.11 c =============================================================================== 11.98/12.12 c core #568 11.98/12.12 c Core size: 1340 Core Weight: 1 Total Weight: 568 11.98/12.12 c Elapsed CPU time: 11.8652 s Remaining CPU time: 1788.13 s 11.98/12.15 c Learning 134 hard constraints 11.98/12.15 c ============================[ Search Statistics ]============================== 11.98/12.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.98/12.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.98/12.15 c =============================================================================== 11.98/12.15 c | 0 | 6363 20049 101478 | 6683 0 nan | 0.000 % | 11.98/12.19 c | 101 | 6361 20049 101478 | 7351 101 22 | 0.094 % | 12.07/12.20 c | 253 | 6361 20049 101478 | 8086 253 20 | 0.094 % | 12.07/12.23 c | 482 | 6360 20049 101478 | 8895 482 22 | 0.126 % | 12.07/12.25 c | 820 | 6338 20049 101478 | 9784 820 22 | 5.890 % | 12.07/12.26 c =============================================================================== 12.07/12.27 c core #569 12.07/12.27 c Core size: 1507 Core Weight: 1 Total Weight: 569 12.07/12.27 c Elapsed CPU time: 12.0172 s Remaining CPU time: 1787.98 s 12.17/12.31 c Learning 56 hard constraints 12.17/12.31 c ============================[ Search Statistics ]============================== 12.17/12.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.17/12.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.17/12.31 c =============================================================================== 12.17/12.31 c | 0 | 6408 20106 102871 | 6702 0 nan | 0.000 % | 12.17/12.34 c =============================================================================== 12.17/12.35 c core #570 12.17/12.35 c Core size: 1043 Core Weight: 1 Total Weight: 570 12.17/12.35 c Elapsed CPU time: 12.0892 s Remaining CPU time: 1787.91 s 12.17/12.38 c Learning 20 hard constraints 12.17/12.38 c ============================[ Search Statistics ]============================== 12.17/12.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.17/12.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.17/12.38 c =============================================================================== 12.17/12.38 c | 0 | 6420 20127 103223 | 6709 0 nan | 0.000 % | 12.26/12.41 c | 100 | 6418 20127 103223 | 7379 100 16 | 0.093 % | 12.26/12.44 c | 251 | 6418 20127 103223 | 8117 251 19 | 0.093 % | 12.26/12.47 c | 477 | 6418 20127 103223 | 8929 477 18 | 0.094 % | 12.26/12.49 c | 816 | 6418 20127 103223 | 9822 816 20 | 0.094 % | 12.36/12.53 c =============================================================================== 12.36/12.54 c core #571 12.36/12.54 c Core size: 1685 Core Weight: 1 Total Weight: 571 12.36/12.54 c Elapsed CPU time: 12.2811 s Remaining CPU time: 1787.72 s 12.36/12.58 c Learning 109 hard constraints 12.36/12.58 c ============================[ Search Statistics ]============================== 12.36/12.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.36/12.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.36/12.58 c =============================================================================== 12.36/12.58 c | 0 | 6461 20237 105324 | 6745 0 nan | 0.000 % | 12.46/12.63 c | 104 | 6459 20237 105324 | 7420 104 20 | 0.093 % | 12.46/12.68 c =============================================================================== 12.46/12.68 c core #572 12.46/12.68 c Core size: 1888 Core Weight: 1 Total Weight: 572 12.46/12.68 c Elapsed CPU time: 12.4211 s Remaining CPU time: 1787.58 s 12.56/12.72 c Learning 116 hard constraints 12.56/12.72 c ============================[ Search Statistics ]============================== 12.56/12.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.56/12.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.56/12.72 c =============================================================================== 12.56/12.72 c | 0 | 6476 20354 107824 | 6784 0 nan | 0.000 % | 12.56/12.74 c | 101 | 6472 20354 107824 | 7463 101 11 | 0.185 % | 12.56/12.77 c =============================================================================== 12.56/12.77 c core #573 12.56/12.77 c Core size: 833 Core Weight: 1 Total Weight: 573 12.56/12.77 c Elapsed CPU time: 12.5051 s Remaining CPU time: 1787.49 s 12.66/12.81 c Learning 29 hard constraints 12.66/12.81 c ============================[ Search Statistics ]============================== 12.66/12.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.66/12.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.66/12.81 c =============================================================================== 12.66/12.81 c | 0 | 6497 20384 108577 | 6794 0 nan | 0.000 % | 12.66/12.84 c | 101 | 6495 20384 108577 | 7474 101 25 | 0.154 % | 12.66/12.86 c | 253 | 6494 20384 108577 | 8221 253 23 | 0.184 % | 12.66/12.89 c | 478 | 6462 20384 108577 | 9043 478 22 | 5.765 % | 12.66/12.90 c =============================================================================== 12.77/12.90 c core #574 12.77/12.90 c Core size: 1817 Core Weight: 1 Total Weight: 574 12.77/12.90 c Elapsed CPU time: 12.6351 s Remaining CPU time: 1787.36 s 12.77/12.93 c Learning 89 hard constraints 12.77/12.93 c ============================[ Search Statistics ]============================== 12.77/12.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.77/12.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.77/12.93 c =============================================================================== 12.77/12.94 c | 0 | 6530 20474 110712 | 6824 0 nan | 0.000 % | 12.86/13.00 c =============================================================================== 12.86/13.00 c core #575 12.86/13.00 c Core size: 1378 Core Weight: 1 Total Weight: 575 12.86/13.00 c Elapsed CPU time: 12.7341 s Remaining CPU time: 1787.27 s 12.86/13.04 c Learning 32 hard constraints 12.86/13.04 c ============================[ Search Statistics ]============================== 12.86/13.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.86/13.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.86/13.04 c =============================================================================== 12.86/13.04 c | 0 | 6549 20507 111709 | 6835 0 nan | 0.000 % | 12.86/13.06 c | 104 | 6547 20507 111709 | 7519 104 14 | 0.153 % | 12.86/13.10 c | 255 | 6546 20507 111709 | 8271 255 19 | 0.183 % | 12.96/13.12 c | 480 | 6545 20507 111709 | 9098 480 20 | 0.214 % | 12.96/13.14 c =============================================================================== 12.96/13.14 c core #576 12.96/13.14 c Core size: 1270 Core Weight: 1 Total Weight: 576 12.96/13.14 c Elapsed CPU time: 12.867 s Remaining CPU time: 1787.13 s 12.96/13.18 c Learning 65 hard constraints 12.96/13.18 c ============================[ Search Statistics ]============================== 12.96/13.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.96/13.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.96/13.18 c =============================================================================== 12.96/13.18 c | 0 | 6596 20573 113290 | 6857 0 nan | 0.000 % | 13.06/13.23 c =============================================================================== 13.06/13.23 c core #577 13.06/13.23 c Core size: 1384 Core Weight: 1 Total Weight: 577 13.06/13.23 c Elapsed CPU time: 12.96 s Remaining CPU time: 1787.04 s 13.06/13.27 c Learning 55 hard constraints 13.06/13.27 c ============================[ Search Statistics ]============================== 13.06/13.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.06/13.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.06/13.27 c =============================================================================== 13.06/13.27 c | 0 | 6606 20629 114966 | 6876 0 nan | 0.000 % | 13.16/13.31 c | 100 | 6604 20629 114966 | 7563 100 17 | 0.242 % | 13.16/13.32 c =============================================================================== 13.16/13.33 c core #578 13.16/13.33 c Core size: 999 Core Weight: 1 Total Weight: 578 13.16/13.33 c Elapsed CPU time: 13.046 s Remaining CPU time: 1786.95 s 13.16/13.36 c Learning 51 hard constraints 13.16/13.36 c ============================[ Search Statistics ]============================== 13.16/13.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.16/13.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.16/13.36 c =============================================================================== 13.16/13.36 c | 0 | 6620 20681 116211 | 6893 0 nan | 0.000 % | 13.16/13.39 c | 101 | 6620 20681 116211 | 7583 101 22 | 0.241 % | 13.26/13.40 c | 252 | 6620 20681 116211 | 8341 252 23 | 0.241 % | 13.26/13.41 c | 477 | 6620 20681 116211 | 9175 477 31 | 0.241 % | 13.26/13.43 c | 816 | 6620 20681 116211 | 10093 816 29 | 0.241 % | 13.26/13.46 c | 1323 | 6620 20681 116211 | 11102 1323 27 | 0.242 % | 13.36/13.54 c | 2085 | 6620 20681 116211 | 12212 2085 31 | 0.242 % | 13.46/13.63 c =============================================================================== 13.46/13.63 c core #579 13.46/13.63 c Core size: 783 Core Weight: 1 Total Weight: 579 13.46/13.63 c Elapsed CPU time: 13.341 s Remaining CPU time: 1786.66 s 13.46/13.68 c Learning 136 hard constraints 13.46/13.68 c ============================[ Search Statistics ]============================== 13.46/13.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.46/13.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.46/13.68 c =============================================================================== 13.46/13.68 c | 0 | 6669 20818 119186 | 6939 0 nan | 0.000 % | 13.56/13.70 c | 101 | 6669 20818 119186 | 7633 101 24 | 0.240 % | 13.56/13.71 c | 252 | 6669 20818 119186 | 8396 252 27 | 0.239 % | 13.56/13.72 c | 480 | 6669 20818 119186 | 9236 480 32 | 0.239 % | 13.56/13.75 c | 818 | 6668 20818 119186 | 10159 818 30 | 0.269 % | 13.56/13.78 c | 1325 | 6668 20818 119186 | 11175 1325 29 | 0.269 % | 13.66/13.85 c | 2085 | 6663 20818 119186 | 12293 2085 29 | 0.359 % | 13.76/13.97 c | 3228 | 6630 20818 119186 | 13522 3207 31 | 6.462 % | 13.76/13.97 c =============================================================================== 13.86/14.00 c core #580 13.86/14.00 c Core size: 670 Core Weight: 1 Total Weight: 580 13.86/14.00 c Elapsed CPU time: 13.6949 s Remaining CPU time: 1786.31 s 13.86/14.04 c Learning 70 hard constraints 13.86/14.04 c ============================[ Search Statistics ]============================== 13.86/14.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.86/14.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.86/14.04 c =============================================================================== 13.86/14.04 c | 0 | 6713 20889 120728 | 6963 0 nan | 0.000 % | 13.86/14.06 c | 100 | 6713 20889 120728 | 7659 100 14 | 0.238 % | 13.86/14.09 c | 250 | 6711 20889 120728 | 8425 250 16 | 0.268 % | 13.96/14.12 c =============================================================================== 13.96/14.12 c core #581 13.96/14.12 c Core size: 1425 Core Weight: 1 Total Weight: 581 13.96/14.12 c Elapsed CPU time: 13.8159 s Remaining CPU time: 1786.18 s 13.96/14.16 c Learning 65 hard constraints 13.96/14.16 c ============================[ Search Statistics ]============================== 13.96/14.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.96/14.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.96/14.16 c =============================================================================== 13.96/14.16 c | 0 | 6744 20955 122087 | 6985 0 nan | 0.000 % | 14.06/14.22 c =============================================================================== 14.06/14.22 c core #582 14.06/14.22 c Core size: 1372 Core Weight: 1 Total Weight: 582 14.06/14.22 c Elapsed CPU time: 13.9099 s Remaining CPU time: 1786.09 s 14.06/14.26 c Learning 30 hard constraints 14.06/14.26 c ============================[ Search Statistics ]============================== 14.06/14.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.06/14.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.06/14.26 c =============================================================================== 14.06/14.26 c | 0 | 6753 20986 123045 | 6995 0 nan | 0.000 % | 14.16/14.32 c =============================================================================== 14.16/14.32 c core #583 14.16/14.32 c Core size: 1392 Core Weight: 1 Total Weight: 583 14.16/14.32 c Elapsed CPU time: 14.0129 s Remaining CPU time: 1785.99 s 14.16/14.36 c Learning 25 hard constraints 14.16/14.36 c ============================[ Search Statistics ]============================== 14.16/14.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.16/14.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.16/14.36 c =============================================================================== 14.16/14.36 c | 0 | 6760 21012 123665 | 7004 0 nan | 0.000 % | 14.16/14.38 c | 100 | 6760 21012 123665 | 7704 100 15 | 0.266 % | 14.25/14.45 c =============================================================================== 14.25/14.45 c core #584 14.25/14.45 c Core size: 1346 Core Weight: 1 Total Weight: 584 14.25/14.45 c Elapsed CPU time: 14.1438 s Remaining CPU time: 1785.86 s 14.25/14.49 c Learning 54 hard constraints 14.25/14.49 c ============================[ Search Statistics ]============================== 14.25/14.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.25/14.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.25/14.50 c =============================================================================== 14.25/14.50 c | 0 | 6766 21067 125014 | 7022 0 nan | 0.000 % | 14.35/14.51 c | 102 | 6766 21067 125014 | 7724 102 27 | 0.295 % | 14.35/14.52 c | 252 | 6766 21067 125014 | 8497 252 25 | 0.295 % | 14.35/14.53 c | 480 | 6766 21067 125014 | 9346 480 29 | 0.295 % | 14.35/14.55 c | 818 | 6766 21067 125014 | 10281 818 34 | 0.295 % | 14.35/14.59 c | 1324 | 6766 21067 125014 | 11309 1324 36 | 0.295 % | 14.45/14.66 c | 2089 | 6764 21067 125014 | 12440 2089 37 | 0.325 % | 14.55/14.76 c | 3233 | 6762 21067 125014 | 13684 3232 37 | 0.354 % | 14.76/14.95 c | 4942 | 6758 21067 125014 | 15052 4941 36 | 0.443 % | 15.16/15.31 c | 7506 | 6755 21067 125014 | 16558 7497 41 | 0.472 % | 16.05/16.27 c | 11350 | 6755 21067 125014 | 18214 11341 45 | 0.472 % | 17.66/17.80 c | 17116 | 6730 21067 125014 | 20035 17105 44 | 1.194 % | 17.75/17.96 c =============================================================================== 17.95/18.12 c core #585 17.95/18.12 c Core size: 1434 Core Weight: 1 Total Weight: 585 17.95/18.12 c Elapsed CPU time: 17.7603 s Remaining CPU time: 1782.24 s 17.95/18.18 c Learning 89 hard constraints 17.95/18.18 c ============================[ Search Statistics ]============================== 17.95/18.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.95/18.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.95/18.18 c =============================================================================== 17.95/18.18 c | 0 | 6835 21157 127281 | 7052 0 nan | 0.000 % | 18.05/18.20 c | 100 | 6835 21157 127281 | 7757 100 18 | 0.292 % | 18.05/18.20 c | 250 | 6835 21157 127281 | 8533 250 18 | 0.292 % | 18.05/18.24 c | 475 | 6832 21157 127281 | 9386 475 19 | 0.350 % | 18.05/18.27 c | 815 | 6826 21157 127281 | 10325 815 21 | 0.496 % | 18.05/18.27 c =============================================================================== 18.05/18.28 c core #586 18.05/18.28 c Core size: 1114 Core Weight: 1 Total Weight: 586 18.05/18.28 c Elapsed CPU time: 17.9133 s Remaining CPU time: 1782.09 s 18.16/18.32 c Learning 55 hard constraints 18.16/18.32 c ============================[ Search Statistics ]============================== 18.16/18.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.16/18.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.16/18.32 c =============================================================================== 18.16/18.32 c | 0 | 6857 21213 128388 | 7071 0 nan | 0.000 % | 18.16/18.38 c | 100 | 6853 21213 128388 | 7778 100 23 | 0.378 % | 18.26/18.41 c =============================================================================== 18.26/18.41 c core #587 18.26/18.41 c Core size: 1532 Core Weight: 1 Total Weight: 587 18.26/18.41 c Elapsed CPU time: 18.0443 s Remaining CPU time: 1781.96 s 18.26/18.45 c Learning 47 hard constraints 18.26/18.45 c ============================[ Search Statistics ]============================== 18.26/18.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.26/18.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.26/18.45 c =============================================================================== 18.26/18.45 c | 0 | 6870 21261 129590 | 7087 0 nan | 0.000 % | 18.26/18.48 c | 101 | 6870 21261 129590 | 7795 101 21 | 0.320 % | 18.35/18.50 c | 251 | 6868 21261 129590 | 8575 251 18 | 0.348 % | 18.35/18.52 c | 479 | 6867 21261 129590 | 9432 479 18 | 0.377 % | 18.35/18.56 c =============================================================================== 18.35/18.56 c core #588 18.35/18.56 c Core size: 837 Core Weight: 1 Total Weight: 588 18.35/18.56 c Elapsed CPU time: 18.1982 s Remaining CPU time: 1781.8 s 18.46/18.61 c Learning 63 hard constraints 18.46/18.61 c ============================[ Search Statistics ]============================== 18.46/18.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.46/18.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.46/18.61 c =============================================================================== 18.46/18.61 c | 0 | 6902 21325 131351 | 7108 0 nan | 0.000 % | 18.46/18.62 c | 100 | 6902 21325 131351 | 7819 100 29 | 0.347 % | 18.46/18.64 c | 251 | 6902 21325 131351 | 8601 251 20 | 0.347 % | 18.46/18.66 c | 477 | 6901 21325 131351 | 9461 477 21 | 0.375 % | 18.46/18.68 c | 816 | 6900 21325 131351 | 10407 816 22 | 0.404 % | 18.55/18.71 c | 1323 | 6900 21325 131351 | 11448 1323 27 | 0.404 % | 18.55/18.77 c | 2083 | 6900 21325 131351 | 12592 2083 29 | 0.404 % | 18.76/18.90 c | 3222 | 6895 21325 131351 | 13852 3216 33 | 0.462 % | 18.76/18.99 c =============================================================================== 18.86/19.02 c core #589 18.86/19.02 c Core size: 1168 Core Weight: 1 Total Weight: 589 18.86/19.02 c Elapsed CPU time: 18.6442 s Remaining CPU time: 1781.36 s 18.86/19.07 c Learning 131 hard constraints 18.86/19.07 c ============================[ Search Statistics ]============================== 18.86/19.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.86/19.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.86/19.07 c =============================================================================== 18.86/19.07 c | 0 | 6956 21457 134148 | 7152 0 nan | 0.000 % | 18.95/19.10 c | 101 | 6954 21457 134148 | 7867 101 31 | 0.372 % | 18.95/19.12 c | 253 | 6954 21457 134148 | 8654 253 29 | 0.372 % | 18.95/19.13 c | 486 | 6954 21457 134148 | 9519 486 35 | 0.372 % | 18.95/19.18 c | 823 | 6953 21457 134148 | 10471 823 39 | 0.401 % | 19.05/19.22 c | 1335 | 6953 21457 134148 | 11518 1335 40 | 0.401 % | 19.05/19.29 c | 2095 | 6952 21457 134148 | 12670 2089 40 | 0.402 % | 19.25/19.42 c | 3235 | 6952 21457 134148 | 13937 3229 48 | 0.401 % | 19.45/19.68 c | 4944 | 6950 21457 134148 | 15331 4938 52 | 0.459 % | 19.85/20.00 c | 7507 | 6948 21457 134148 | 16864 7499 51 | 0.458 % | 20.95/21.15 c | 11352 | 6946 21457 134148 | 18551 11344 53 | 0.516 % | 22.65/22.83 c | 17123 | 6942 21457 134148 | 20406 17104 54 | 0.544 % | 24.54/24.76 c | 25772 | 6940 21457 134148 | 22447 15330 53 | 0.602 % | 36.34/36.54 c | 38748 | 6861 21457 134148 | 24691 16818 62 | 5.802 % | 43.74/43.96 c =============================================================================== 44.23/44.45 c core #590 44.23/44.45 c Core size: 1563 Core Weight: 1 Total Weight: 590 44.23/44.45 c Elapsed CPU time: 43.9523 s Remaining CPU time: 1756.05 s 44.34/44.54 c Learning 3 hard constraints 44.34/44.54 c ============================[ Search Statistics ]============================== 44.34/44.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.34/44.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.34/44.54 c =============================================================================== 44.34/44.54 c | 0 | 7010 21461 134295 | 7153 0 nan | 0.000 % | 44.44/44.61 c =============================================================================== 44.44/44.61 c core #591 44.44/44.61 c Core size: 1189 Core Weight: 1 Total Weight: 591 44.44/44.61 c Elapsed CPU time: 44.1053 s Remaining CPU time: 1755.89 s 44.44/44.65 c Learning 21 hard constraints 44.44/44.65 c ============================[ Search Statistics ]============================== 44.44/44.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.44/44.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.44/44.65 c =============================================================================== 44.44/44.65 c | 0 | 7020 21483 134857 | 7161 0 nan | 0.000 % | 44.54/44.72 c | 100 | 7016 21483 134857 | 7877 100 29 | 0.398 % | 44.54/44.74 c =============================================================================== 44.54/44.74 c core #592 44.54/44.74 c Core size: 1634 Core Weight: 1 Total Weight: 592 44.54/44.74 c Elapsed CPU time: 44.2373 s Remaining CPU time: 1755.76 s 44.54/44.79 c Learning 51 hard constraints 44.54/44.79 c ============================[ Search Statistics ]============================== 44.54/44.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.54/44.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.54/44.79 c =============================================================================== 44.54/44.79 c | 0 | 7039 21535 136406 | 7178 0 nan | 0.000 % | 44.63/44.84 c | 101 | 7037 21535 136406 | 7896 101 32 | 0.368 % | 44.63/44.86 c =============================================================================== 44.63/44.86 c core #593 44.63/44.86 c Core size: 1152 Core Weight: 1 Total Weight: 593 44.63/44.86 c Elapsed CPU time: 44.3513 s Remaining CPU time: 1755.65 s 44.73/44.91 c Learning 62 hard constraints 44.73/44.91 c ============================[ Search Statistics ]============================== 44.73/44.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.73/44.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.73/44.91 c =============================================================================== 44.73/44.91 c | 0 | 7063 21598 138483 | 7199 0 nan | 0.000 % | 44.73/44.94 c | 100 | 7061 21598 138483 | 7919 100 13 | 0.367 % | 44.73/44.95 c | 252 | 7061 21598 138483 | 8711 252 14 | 0.367 % | 44.73/44.99 c | 478 | 7056 21598 138483 | 9582 478 16 | 0.452 % | 44.84/45.02 c =============================================================================== 44.84/45.03 c core #594 44.84/45.03 c Core size: 1610 Core Weight: 1 Total Weight: 594 44.84/45.03 c Elapsed CPU time: 44.5152 s Remaining CPU time: 1755.48 s 44.84/45.08 c Learning 116 hard constraints 44.84/45.08 c ============================[ Search Statistics ]============================== 44.84/45.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.84/45.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.84/45.08 c =============================================================================== 44.84/45.08 c | 0 | 7096 21715 140999 | 7238 0 nan | 0.000 % | 44.94/45.15 c | 101 | 7094 21715 140999 | 7962 101 24 | 0.365 % | 44.94/45.16 c | 252 | 7091 21715 140999 | 8758 252 19 | 0.421 % | 44.94/45.17 c =============================================================================== 44.94/45.17 c core #595 44.94/45.17 c Core size: 861 Core Weight: 1 Total Weight: 595 44.94/45.17 c Elapsed CPU time: 44.6532 s Remaining CPU time: 1755.35 s 45.03/45.22 c Learning 44 hard constraints 45.03/45.22 c ============================[ Search Statistics ]============================== 45.03/45.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.03/45.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.03/45.22 c =============================================================================== 45.03/45.22 c | 0 | 7119 21760 141775 | 7253 0 nan | 0.000 % | 45.03/45.24 c | 101 | 7119 21760 141775 | 7978 101 17 | 0.337 % | 45.03/45.26 c | 252 | 7119 21760 141775 | 8776 252 24 | 0.336 % | 45.14/45.33 c | 477 | 6973 21760 141775 | 9654 477 29 | 4.760 % | 45.14/45.35 c | 814 | 6973 21760 141775 | 10619 814 33 | 4.761 % | 45.14/45.40 c | 1320 | 6968 21760 141775 | 11681 1320 37 | 4.900 % | 45.23/45.48 c | 2081 | 6785 21760 141775 | 12849 2000 39 | 5.152 % | 45.43/45.62 c | 3221 | 6783 21760 141775 | 14134 3140 46 | 5.180 % | 45.83/46.03 c | 4929 | 6780 21760 141775 | 15548 4848 51 | 5.264 % | 46.53/46.73 c | 7491 | 6767 21760 141775 | 17102 7390 56 | 5.264 % | 47.33/47.50 c =============================================================================== 47.43/47.61 c core #596 47.43/47.61 c Core size: 1737 Core Weight: 1 Total Weight: 596 47.43/47.61 c Elapsed CPU time: 47.0608 s Remaining CPU time: 1752.94 s 47.43/47.67 c Learning 21 hard constraints 47.43/47.67 c ============================[ Search Statistics ]============================== 47.43/47.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.43/47.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.43/47.67 c =============================================================================== 47.43/47.67 c | 0 | 7170 21782 142368 | 7260 0 nan | 0.000 % | 47.43/47.69 c | 104 | 7170 21782 142368 | 7986 104 24 | 0.334 % | 47.53/47.74 c =============================================================================== 47.53/47.75 c core #597 47.53/47.75 c Core size: 1623 Core Weight: 1 Total Weight: 597 47.53/47.75 c Elapsed CPU time: 47.1918 s Remaining CPU time: 1752.81 s 47.53/47.79 c Learning 46 hard constraints 47.53/47.79 c ============================[ Search Statistics ]============================== 47.53/47.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.53/47.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.53/47.79 c =============================================================================== 47.53/47.79 c | 0 | 7190 21829 143570 | 7276 0 nan | 0.000 % | 47.63/47.86 c | 100 | 7182 21829 143570 | 8003 100 17 | 5.379 % | 47.63/47.88 c =============================================================================== 47.63/47.88 c core #598 47.63/47.88 c Core size: 1480 Core Weight: 1 Total Weight: 598 47.63/47.88 c Elapsed CPU time: 47.3178 s Remaining CPU time: 1752.68 s 47.73/47.93 c Learning 53 hard constraints 47.73/47.93 c ============================[ Search Statistics ]============================== 47.73/47.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.73/47.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.73/47.93 c =============================================================================== 47.73/47.93 c | 0 | 7215 21883 145017 | 7294 0 nan | 0.000 % | 47.73/47.97 c | 102 | 7215 21883 145017 | 8023 102 22 | 0.332 % | 47.73/47.99 c | 252 | 7215 21883 145017 | 8826 252 16 | 0.332 % | 47.82/48.02 c | 479 | 7215 21883 145017 | 9708 479 18 | 0.332 % | 47.82/48.04 c | 817 | 7215 21883 145017 | 10679 817 20 | 0.332 % | 47.82/48.09 c | 1324 | 7215 21883 145017 | 11747 1324 23 | 0.332 % | 47.91/48.17 c | 2083 | 7211 21883 145017 | 12922 2076 24 | 0.414 % | 47.91/48.19 c =============================================================================== 48.02/48.20 c core #599 48.02/48.20 c Core size: 1280 Core Weight: 1 Total Weight: 599 48.02/48.20 c Elapsed CPU time: 47.6178 s Remaining CPU time: 1752.38 s 48.02/48.25 c Learning 109 hard constraints 48.02/48.25 c ============================[ Search Statistics ]============================== 48.02/48.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.02/48.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.02/48.25 c =============================================================================== 48.02/48.25 c | 0 | 7296 21993 147800 | 7331 0 nan | 0.000 % | 48.02/48.28 c | 100 | 7296 21993 147800 | 8064 100 18 | 0.329 % | 48.02/48.30 c | 252 | 7294 21993 147800 | 8870 252 17 | 0.355 % | 48.12/48.32 c | 477 | 7294 21993 147800 | 9757 477 21 | 0.355 % | 48.12/48.40 c =============================================================================== 48.22/48.41 c core #600 48.22/48.41 c Core size: 2091 Core Weight: 1 Total Weight: 600 48.22/48.41 c Elapsed CPU time: 47.8257 s Remaining CPU time: 1752.17 s 48.22/48.46 c Learning 56 hard constraints 48.22/48.46 c ============================[ Search Statistics ]============================== 48.22/48.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.22/48.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.22/48.46 c =============================================================================== 48.22/48.46 c | 0 | 7335 22050 149359 | 7350 0 nan | 0.000 % | 48.22/48.48 c | 101 | 7335 22050 149359 | 8085 101 19 | 0.381 % | 48.22/48.49 c | 251 | 7335 22050 149359 | 8893 251 21 | 0.380 % | 48.32/48.53 c | 476 | 7334 22050 149359 | 9782 476 19 | 0.407 % | 48.32/48.58 c | 817 | 7332 22050 149359 | 10761 817 21 | 0.435 % | 48.41/48.63 c =============================================================================== 48.41/48.64 c core #601 48.41/48.64 c Core size: 1529 Core Weight: 1 Total Weight: 601 48.41/48.64 c Elapsed CPU time: 48.0497 s Remaining CPU time: 1751.95 s 48.41/48.69 c Learning 52 hard constraints 48.41/48.69 c ============================[ Search Statistics ]============================== 48.41/48.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.41/48.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.41/48.69 c =============================================================================== 48.41/48.69 c | 0 | 7387 22103 150791 | 7367 0 nan | 0.000 % | 48.52/48.73 c | 100 | 7383 22103 150791 | 8104 100 24 | 0.486 % | 48.52/48.78 c =============================================================================== 48.52/48.79 c core #602 48.52/48.79 c Core size: 1685 Core Weight: 1 Total Weight: 602 48.52/48.79 c Elapsed CPU time: 48.1987 s Remaining CPU time: 1751.8 s 48.62/48.84 c Learning 56 hard constraints 48.62/48.84 c ============================[ Search Statistics ]============================== 48.62/48.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.62/48.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.62/48.84 c =============================================================================== 48.62/48.84 c | 0 | 7401 22160 152303 | 7386 0 nan | 0.000 % | 48.62/48.89 c | 104 | 7401 22160 152303 | 8125 104 21 | 0.485 % | 48.62/48.90 c =============================================================================== 48.72/48.90 c core #603 48.72/48.90 c Core size: 441 Core Weight: 1 Total Weight: 603 48.72/48.90 c Elapsed CPU time: 48.3057 s Remaining CPU time: 1751.69 s 48.72/48.95 c Learning 19 hard constraints 48.72/48.95 c ============================[ Search Statistics ]============================== 48.72/48.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.72/48.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.72/48.95 c =============================================================================== 48.72/48.95 c | 0 | 7417 22180 152673 | 7393 0 nan | 0.000 % | 48.72/48.96 c | 100 | 7417 22180 152673 | 8132 100 18 | 0.377 % | 48.72/48.99 c | 251 | 7416 22180 152673 | 8945 251 19 | 0.403 % | 48.82/49.02 c | 476 | 7414 22180 152673 | 9840 476 26 | 0.431 % | 48.82/49.05 c | 816 | 7412 22180 152673 | 10824 816 31 | 0.457 % | 48.82/49.09 c | 1325 | 7409 22180 152673 | 11907 1325 34 | 0.511 % | 48.91/49.15 c | 2085 | 7402 22180 152673 | 13097 2085 38 | 0.645 % | 49.02/49.28 c | 3226 | 7379 22180 152673 | 14407 3209 38 | 0.917 % | 49.32/49.53 c | 4938 | 7379 22180 152673 | 15848 4921 44 | 0.913 % | 49.82/50.04 c | 7500 | 7371 22180 152673 | 17433 7483 45 | 1.182 % | 50.91/51.12 c | 11348 | 7357 22180 152673 | 19176 11285 49 | 1.182 % | 51.42/51.64 c =============================================================================== 51.52/51.78 c core #604 51.52/51.78 c Core size: 1327 Core Weight: 1 Total Weight: 604 51.52/51.78 c Elapsed CPU time: 51.1612 s Remaining CPU time: 1748.84 s 51.61/51.85 c Learning 46 hard constraints 51.61/51.85 c ============================[ Search Statistics ]============================== 51.61/51.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.61/51.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.61/51.85 c =============================================================================== 51.61/51.85 c | 0 | 7461 22227 153814 | 7409 0 nan | 0.000 % | 51.61/51.87 c | 100 | 7461 22227 153814 | 8149 100 26 | 0.374 % | 51.61/51.89 c | 250 | 7461 22227 153814 | 8964 250 25 | 0.374 % | 51.72/51.91 c | 476 | 7461 22227 153814 | 9861 476 29 | 0.374 % | 51.72/51.94 c | 813 | 7457 22227 153814 | 10847 813 30 | 0.428 % | 51.72/51.99 c | 1319 | 7312 22227 153814 | 11932 1319 39 | 4.340 % | 51.81/52.06 c | 2078 | 7163 22227 153814 | 13125 2010 43 | 4.366 % | 51.92/52.19 c | 3217 | 7163 22227 153814 | 14438 3149 50 | 4.366 % | 52.22/52.42 c | 4925 | 7162 22227 153814 | 15881 4857 57 | 4.394 % | 52.62/52.86 c | 7487 | 7159 22227 153814 | 17470 7415 56 | 4.420 % | 53.52/53.71 c | 11331 | 7159 22227 153814 | 19217 11259 65 | 4.420 % | 54.82/55.08 c | 17097 | 7159 22227 153814 | 21138 17025 65 | 4.420 % | 57.41/57.66 c | 25748 | 7156 22227 153814 | 23252 14679 66 | 4.447 % | 63.41/63.69 c | 38724 | 7155 22227 153814 | 25577 15380 53 | 4.461 % | 72.91/73.18 c | 58190 | 7154 22227 153814 | 28135 20191 63 | 4.487 % | 73.01/73.24 c =============================================================================== 73.01/73.24 c core #605 73.01/73.24 c Core size: 1118 Core Weight: 1 Total Weight: 605 73.01/73.24 c Elapsed CPU time: 72.461 s Remaining CPU time: 1727.54 s 73.11/73.35 c Learning 23 hard constraints 73.11/73.35 c ============================[ Search Statistics ]============================== 73.11/73.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.11/73.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.11/73.35 c =============================================================================== 73.11/73.35 c | 0 | 7475 22251 154474 | 7417 0 nan | 0.000 % | 73.11/73.38 c | 101 | 7473 22251 154474 | 8158 101 19 | 0.400 % | 73.20/73.41 c | 252 | 7473 22251 154474 | 8974 252 21 | 0.400 % | 73.20/73.43 c =============================================================================== 73.20/73.44 c core #606 73.20/73.44 c Core size: 1153 Core Weight: 1 Total Weight: 606 73.20/73.44 c Elapsed CPU time: 72.648 s Remaining CPU time: 1727.35 s 73.20/73.48 c Learning 101 hard constraints 73.20/73.48 c ============================[ Search Statistics ]============================== 73.20/73.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.20/73.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.20/73.48 c =============================================================================== 73.20/73.48 c | 0 | 7487 22353 156903 | 7451 0 nan | 0.000 % | 73.30/73.51 c | 100 | 7487 22353 156903 | 8196 100 17 | 0.400 % | 73.30/73.55 c | 254 | 7483 22353 156903 | 9015 254 16 | 0.479 % | 73.30/73.56 c =============================================================================== 73.30/73.56 c core #607 73.30/73.56 c Core size: 888 Core Weight: 1 Total Weight: 607 73.30/73.56 c Elapsed CPU time: 72.7719 s Remaining CPU time: 1727.23 s 73.41/73.62 c Learning 81 hard constraints 73.41/73.62 c ============================[ Search Statistics ]============================== 73.41/73.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.41/73.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.41/73.62 c =============================================================================== 73.41/73.62 c | 0 | 7509 22435 158999 | 7478 0 nan | 0.000 % | 73.41/73.66 c | 100 | 7509 22435 158999 | 8226 100 31 | 0.398 % | 73.41/73.70 c | 250 | 7509 22435 158999 | 9048 250 26 | 0.398 % | 73.51/73.71 c | 475 | 7509 22435 158999 | 9953 475 30 | 0.398 % | 73.51/73.75 c | 812 | 7509 22435 158999 | 10949 812 36 | 0.398 % | 73.60/73.81 c | 1320 | 7509 22435 158999 | 12043 1320 41 | 0.398 % | 73.60/73.89 c | 2079 | 7509 22435 158999 | 13248 2079 49 | 0.398 % | 73.81/74.00 c | 3219 | 7509 22435 158999 | 14573 3219 51 | 0.398 % | 74.01/74.27 c | 4928 | 7509 22435 158999 | 16030 4928 57 | 0.398 % | 74.40/74.70 c | 7490 | 7509 22435 158999 | 17633 7490 63 | 0.398 % | 75.31/75.57 c | 11334 | 7507 22435 158999 | 19396 11333 64 | 0.425 % | 76.51/76.71 c | 17103 | 7507 22435 158999 | 21336 17102 64 | 0.424 % | 79.90/80.11 c | 25752 | 7505 22435 158999 | 23470 14789 73 | 0.451 % | 84.10/84.30 c | 38733 | 7505 22435 158999 | 25817 15762 67 | 0.451 % | 91.19/91.44 c | 58195 | 7505 22435 158999 | 28398 20395 66 | 0.451 % | 91.30/91.59 c =============================================================================== 91.30/91.60 c core #608 91.30/91.60 c Core size: 2094 Core Weight: 1 Total Weight: 608 91.30/91.60 c Elapsed CPU time: 90.6462 s Remaining CPU time: 1709.35 s 91.50/91.71 c Learning 81 hard constraints 91.50/91.71 c ============================[ Search Statistics ]============================== 91.50/91.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.50/91.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.50/91.71 c =============================================================================== 91.50/91.71 c | 0 | 7548 22517 162339 | 7505 0 nan | 0.000 % | 91.50/91.74 c | 100 | 7548 22517 162339 | 8256 100 39 | 0.396 % | 91.50/91.77 c | 251 | 7547 22517 162339 | 9081 251 34 | 0.422 % | 91.50/91.78 c | 477 | 7546 22517 162339 | 9990 477 35 | 0.449 % | 91.60/91.80 c | 814 | 7546 22517 162339 | 10989 814 34 | 0.449 % | 91.60/91.85 c | 1321 | 7546 22517 162339 | 12087 1321 41 | 0.449 % | 91.70/91.93 c | 2089 | 7546 22517 162339 | 13296 2089 42 | 0.449 % | 91.80/92.08 c | 3233 | 7542 22517 162339 | 14626 3231 47 | 0.502 % | 92.10/92.39 c | 4942 | 7541 22517 162339 | 16089 4940 52 | 0.528 % | 92.70/92.97 c | 7505 | 7539 22517 162339 | 17697 7503 55 | 0.581 % | 94.00/94.24 c | 11350 | 7534 22517 162339 | 19467 11339 58 | 0.581 % | 96.20/96.41 c | 17118 | 7534 22517 162339 | 21414 17107 59 | 0.581 % | 100.90/101.12 c | 25767 | 7532 22517 162339 | 23555 14780 60 | 0.607 % | 108.09/108.32 c | 38742 | 7531 22517 162339 | 25911 15696 62 | 0.660 % | 120.99/121.27 c | 58207 | 7528 22517 162339 | 28502 20648 63 | 0.660 % | 138.88/139.18 c | 87401 | 7528 22517 162339 | 31353 16656 65 | 0.660 % | 180.27/180.56 c | 131191 | 7528 22517 162339 | 34488 21871 61 | 0.660 % | 238.55/238.80 c | 196875 | 7525 22517 162339 | 37937 20458 60 | 0.713 % | 324.83/325.17 c | 295402 | 7520 22517 162339 | 41730 18446 80 | 0.765 % | 492.77/493.11 c | 443193 | 7520 22517 162339 | 45903 23145 63 | 0.765 % | 809.38/809.83 c | 664876 | 7518 22517 162339 | 50494 15982 60 | 0.792 % | 1388.42/1389.03 c | 997401 | 7514 22517 162339 | 55543 19937 79 | 0.845 % |
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-1876226-1245158185/watcher-1876226-1245158185 -o /tmp/evaluation-result-1876226-1245158185/solver-1876226-1245158185 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876226-1245158185.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.95 0.98 3/64 6164 /proc/meminfo: memFree=1853568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=3288 CPUtime=0 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 183415346 3366912 247 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 822 247 124 292 0 418 0 [startup+0.0765109 s] /proc/loadavg: 0.85 0.95 0.98 3/64 6164 /proc/meminfo: memFree=1853568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=4344 CPUtime=0.07 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 759 0 0 0 7 0 0 0 18 0 1 0 183415346 4448256 634 1992294400 134512640 135709839 4294956240 18446744073709551615 134530627 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 1086 634 133 292 0 791 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4344 [startup+0.101514 s] /proc/loadavg: 0.85 0.95 0.98 3/64 6164 /proc/meminfo: memFree=1853568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=4344 CPUtime=0.09 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 766 0 0 0 9 0 0 0 18 0 1 0 183415346 4448256 641 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 1086 641 133 292 0 791 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4344 [startup+0.301535 s] /proc/loadavg: 0.85 0.95 0.98 3/64 6164 /proc/meminfo: memFree=1853568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=4344 CPUtime=0.29 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 769 0 0 0 29 0 0 0 19 0 1 0 183415346 4448256 644 1992294400 134512640 135709839 4294956240 18446744073709551615 135182835 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 1086 644 133 292 0 791 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4344 [startup+0.70158 s] /proc/loadavg: 0.85 0.95 0.98 3/64 6164 /proc/meminfo: memFree=1853568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=4476 CPUtime=0.69 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 780 0 0 0 69 0 0 0 22 0 1 0 183415346 4583424 655 1992294400 134512640 135709839 4294956240 18446744073709551615 135172954 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 1119 655 133 292 0 824 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4476 [startup+1.50167 s] /proc/loadavg: 0.85 0.95 0.98 2/65 6165 /proc/meminfo: memFree=1851384/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=4616 CPUtime=1.49 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 1007 0 0 0 149 0 0 0 25 0 1 0 183415346 4726784 718 1992294400 134512640 135709839 4294956240 18446744073709551615 134529831 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 1154 718 133 292 0 859 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4616 [startup+3.10185 s] /proc/loadavg: 0.85 0.95 0.98 2/65 6165 /proc/meminfo: memFree=1850616/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=5764 CPUtime=3.08 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 1703 0 0 0 308 0 0 0 25 0 1 0 183415346 5902336 971 1992294400 134512640 135709839 4294956240 18446744073709551615 134607451 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 1441 971 133 292 0 1146 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5764 [startup+6.3012 s] /proc/loadavg: 0.86 0.95 0.98 2/65 6165 /proc/meminfo: memFree=1848568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=8160 CPUtime=6.26 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 2990 0 0 0 623 3 0 0 25 0 1 0 183415346 8355840 1582 1992294400 134512640 135709839 4294956240 18446744073709551615 135166229 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 2040 1582 135 292 0 1745 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 8160 [startup+12.7019 s] /proc/loadavg: 0.87 0.95 0.98 2/65 6165 /proc/meminfo: memFree=1836736/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=19664 CPUtime=12.56 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 6765 0 0 0 1243 13 0 0 25 0 1 0 183415346 20135936 4424 1992294400 134512640 135709839 4294956240 18446744073709551615 134529846 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 4916 4424 136 292 0 4621 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 19664 [startup+25.5013 s] /proc/loadavg: 0.90 0.96 0.98 2/65 6165 /proc/meminfo: memFree=1825152/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=30460 CPUtime=25.35 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 9643 0 0 0 2505 30 0 0 25 0 1 0 183415346 31191040 7159 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 7615 7159 136 292 0 7320 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 30460 [startup+51.1012 s] /proc/loadavg: 0.93 0.96 0.98 2/65 6165 /proc/meminfo: memFree=1813568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=41916 CPUtime=50.91 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 12484 0 0 0 5047 44 0 0 25 0 1 0 183415346 42921984 10000 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 10479 10000 136 292 0 10184 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 41916 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.98 2/65 6165 /proc/meminfo: memFree=1788608/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=66592 CPUtime=102.1 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 18681 0 0 0 10127 83 0 0 25 0 1 0 183415346 68190208 16197 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 16648 16197 136 292 0 16353 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 66592 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1756352/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=99132 CPUtime=162.07 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 26774 0 0 0 16100 107 0 0 25 0 1 0 183415346 101511168 24290 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 24783 24290 136 292 0 24488 0 Current children cumulated CPU time (s) 162.07 Current children cumulated vsize (KiB) 99132 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1731776/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=123680 CPUtime=222.06 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 32897 0 0 0 22080 126 0 0 25 0 1 0 183415346 126648320 30413 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 30920 30413 136 292 0 30625 0 Current children cumulated CPU time (s) 222.06 Current children cumulated vsize (KiB) 123680 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1699008/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=156416 CPUtime=282.04 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 41050 0 0 0 28056 148 0 0 25 0 1 0 183415346 160169984 38566 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 39104 38566 136 292 0 38809 0 Current children cumulated CPU time (s) 282.04 Current children cumulated vsize (KiB) 156416 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1669568/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=185716 CPUtime=342.02 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 48359 0 0 0 34032 170 0 0 25 0 1 0 183415346 190173184 45875 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 46429 45875 136 292 0 46134 0 Current children cumulated CPU time (s) 342.02 Current children cumulated vsize (KiB) 185716 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1647744/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=207852 CPUtime=402 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 53845 0 0 0 40013 187 0 0 25 0 1 0 183415346 212840448 51361 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 51963 51361 136 292 0 51668 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 207852 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1625856/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=229628 CPUtime=461.99 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 59262 0 0 0 45994 205 0 0 25 0 1 0 183415346 235139072 56778 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 57407 56778 136 292 0 57112 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 229628 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1603136/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=252652 CPUtime=521.97 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 64988 0 0 0 51972 225 0 0 25 0 1 0 183415346 258715648 62504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 63163 62504 136 292 0 62868 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 252652 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1582848/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=272680 CPUtime=581.95 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 69986 0 0 0 57954 241 0 0 25 0 1 0 183415346 279224320 67502 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 68170 67502 136 292 0 67875 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 272680 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1567872/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=287556 CPUtime=641.94 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 73695 0 0 0 63942 252 0 0 25 0 1 0 183415346 294457344 71211 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 71889 71211 136 292 0 71594 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 287556 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1495552/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=359720 CPUtime=881.87 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 91732 0 0 0 87873 314 0 0 25 0 1 0 183415346 368353280 89248 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 89930 89248 136 292 0 89635 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 359720 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1470720/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=385064 CPUtime=941.85 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 98030 0 0 0 93850 335 0 0 25 0 1 0 183415346 394305536 95546 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 96266 95546 136 292 0 95971 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 385064 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1453376/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=401844 CPUtime=1001.83 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 102244 0 0 0 99835 348 0 0 25 0 1 0 183415346 411488256 99760 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 100461 99760 136 292 0 100166 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 401844 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1442496/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=412740 CPUtime=1061.81 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 104944 0 0 0 105823 358 0 0 25 0 1 0 183415346 422645760 102460 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 103185 102460 136 292 0 102890 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 412740 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1428928/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=426276 CPUtime=1121.8 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 108334 0 0 0 111810 370 0 0 25 0 1 0 183415346 436506624 105850 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 106569 105850 136 292 0 106274 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 426276 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1413440/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=442068 CPUtime=1181.78 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 112270 0 0 0 117795 383 0 0 25 0 1 0 183415346 452677632 109786 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 110517 109786 136 292 0 110222 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 442068 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1401984/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=453288 CPUtime=1241.76 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 115073 0 0 0 123784 392 0 0 25 0 1 0 183415346 464166912 112589 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 113322 112589 136 292 0 113027 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 453288 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1387392/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=467600 CPUtime=1301.75 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 118629 0 0 0 129773 402 0 0 25 0 1 0 183415346 478822400 116145 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 116900 116145 136 292 0 116605 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 467600 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1371776/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=483332 CPUtime=1361.72 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 122541 0 0 0 135758 414 0 0 25 0 1 0 183415346 494931968 120057 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 120833 120057 136 292 0 120538 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 483332 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1350528/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=504528 CPUtime=1421.72 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 127819 0 0 0 141743 429 0 0 25 0 1 0 183415346 516636672 125335 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 126132 125335 136 292 0 125837 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 504528 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1327872/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=527424 CPUtime=1481.7 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 133569 0 0 0 147723 447 0 0 25 0 1 0 183415346 540082176 131085 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 131856 131085 136 292 0 131561 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 527424 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1307392/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=547592 CPUtime=1541.68 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 138581 0 0 0 153706 462 0 0 25 0 1 0 183415346 560734208 136097 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 136898 136097 136 292 0 136603 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 547592 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1290560/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=564596 CPUtime=1601.66 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 142825 0 0 0 159692 474 0 0 25 0 1 0 183415346 578146304 140341 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 141149 140341 136 292 0 140854 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 564596 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1275264/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=579684 CPUtime=1661.64 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 146607 0 0 0 165677 487 0 0 25 0 1 0 183415346 593596416 144123 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 144921 144123 136 292 0 144626 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 579684 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1254080/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=600948 CPUtime=1721.62 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 151924 0 0 0 171658 504 0 0 25 0 1 0 183415346 615370752 149440 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 150237 149440 136 292 0 149942 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 600948 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1239104/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=615804 CPUtime=1781.61 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 155618 0 0 0 177645 516 0 0 25 0 1 0 183415346 630583296 153134 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 153951 153134 136 292 0 153656 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 615804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1232128/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=622604 CPUtime=1800.01 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4194304 157312 0 0 0 179481 520 0 0 25 0 1 0 183415346 637546496 154828 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 155651 154828 136 292 0 155356 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 622604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.98 2/65 6165 /proc/meminfo: memFree=1232128/2055920 swapFree=4192812/4192956 [pid=6164] ppid=6162 vsize=0 CPUtime=1800.11 /proc/6164/stat : 6164 (wbo) R 6162 6164 6121 0 -1 4195332 157312 0 0 0 179481 530 0 0 25 0 1 0 183415346 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6164/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.81 CPU time (s): 1800.12 CPU user time (s): 1794.81 CPU system time (s): 5.30919 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 622604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.81 system time used= 5.30919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157312 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= 6555 runsolver used 1.41378 second user time and 3.75343 second system time The end
Begin job on node42 at 2009-06-16 15:16:25 IDJOB=1876226 IDBENCH=2168 IDSOLVER=698 FILE ID=node42/1876226-1245158185 PBS_JOBID= 9363839 Free space on /tmp= 66148 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16c2.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-1876226-1245158185/watcher-1876226-1245158185 -o /tmp/evaluation-result-1876226-1245158185/solver-1876226-1245158185 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876226-1245158185.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb4dc7ddfb50456685f1304551ada580 RANDOM SEED=1740844548 node42.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.214 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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1854064 kB Buffers: 21692 kB Cached: 106012 kB SwapCached: 0 kB Active: 46076 kB Inactive: 95492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854064 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3020 kB Writeback: 0 kB Mapped: 23616 kB Slab: 46316 kB Committed_AS: 162440 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876226-1245158185.opb Free space on /tmp at the end= 66144 MiB End job on node42 at 2009-06-16 15:46:28