Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.26 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 3.69744 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
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-1876123-1245132911.opb. 0.00/0.00 c Instance file HOME/instance-1876123-1245132911.opb 0.00/0.00 c File size is 125155 bytes. 0.01/0.02 c Highest Coefficient sum: 2701 0.01/0.02 c ============================[ Problem Statistics ]============================= 0.01/0.02 c | | 0.01/0.02 c | Parsing time: 0.02 s | 0.01/0.02 c | Number Variables: 2655 | 0.01/0.02 c | Number Clauses: 2799 | 0.01/0.02 c | Number Cardinality: 146 | 0.01/0.02 c | Number PB Constraints: 1 | 0.01/0.02 c core #1 0.01/0.02 c Core size: 36 Core Weight: 180 Total Weight: 180 0.01/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #2 0.01/0.02 c Core size: 59 Core Weight: 53 Total Weight: 233 0.01/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.01/0.03 c core #3 0.01/0.03 c Core size: 93 Core Weight: 33 Total Weight: 266 0.01/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #4 0.01/0.03 c Core size: 80 Core Weight: 12 Total Weight: 278 0.01/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #5 0.01/0.03 c Core size: 99 Core Weight: 18 Total Weight: 296 0.01/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #6 0.01/0.04 c Core size: 46 Core Weight: 25 Total Weight: 321 0.01/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #7 0.01/0.04 c Core size: 82 Core Weight: 2 Total Weight: 323 0.01/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #8 0.01/0.05 c Core size: 51 Core Weight: 140 Total Weight: 463 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #9 0.01/0.05 c Core size: 75 Core Weight: 24 Total Weight: 487 0.01/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #10 0.01/0.06 c Core size: 25 Core Weight: 1 Total Weight: 488 0.01/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #11 0.01/0.06 c Core size: 63 Core Weight: 9 Total Weight: 497 0.01/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.01/0.07 c core #12 0.01/0.07 c Core size: 88 Core Weight: 2 Total Weight: 499 0.01/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #13 0.01/0.07 c Core size: 108 Core Weight: 14 Total Weight: 513 0.01/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.01/0.08 c core #14 0.01/0.08 c Core size: 108 Core Weight: 28 Total Weight: 541 0.01/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #15 0.01/0.08 c Core size: 58 Core Weight: 9 Total Weight: 550 0.01/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #16 0.01/0.09 c Core size: 131 Core Weight: 1 Total Weight: 551 0.01/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #17 0.01/0.09 c Core size: 77 Core Weight: 40 Total Weight: 591 0.01/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #18 0.09/0.10 c Core size: 139 Core Weight: 4 Total Weight: 595 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #19 0.09/0.11 c Core size: 210 Core Weight: 7 Total Weight: 602 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #20 0.09/0.11 c Core size: 242 Core Weight: 3 Total Weight: 605 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #21 0.09/0.12 c Core size: 53 Core Weight: 15 Total Weight: 620 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #22 0.09/0.13 c Core size: 226 Core Weight: 4 Total Weight: 624 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #23 0.09/0.13 c Core size: 109 Core Weight: 4 Total Weight: 628 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #24 0.09/0.14 c Core size: 225 Core Weight: 16 Total Weight: 644 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #25 0.09/0.15 c Core size: 51 Core Weight: 82 Total Weight: 726 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #26 0.09/0.15 c Core size: 14 Core Weight: 26 Total Weight: 752 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #27 0.09/0.16 c Core size: 76 Core Weight: 1 Total Weight: 753 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #28 0.09/0.17 c Core size: 50 Core Weight: 98 Total Weight: 851 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #29 0.09/0.17 c Core size: 100 Core Weight: 32 Total Weight: 883 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #30 0.09/0.18 c Core size: 32 Core Weight: 6 Total Weight: 889 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #31 0.09/0.19 c Core size: 101 Core Weight: 2 Total Weight: 891 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #32 0.09/0.20 c Core size: 52 Core Weight: 24 Total Weight: 915 0.09/0.20 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #33 0.19/0.20 c Core size: 152 Core Weight: 1 Total Weight: 916 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #34 0.19/0.21 c Core size: 151 Core Weight: 15 Total Weight: 931 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #35 0.19/0.22 c Core size: 181 Core Weight: 2 Total Weight: 933 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #36 0.19/0.23 c Core size: 169 Core Weight: 1 Total Weight: 934 0.19/0.23 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #37 0.19/0.24 c Core size: 167 Core Weight: 2 Total Weight: 936 0.19/0.24 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #38 0.19/0.24 c Core size: 92 Core Weight: 35 Total Weight: 971 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #39 0.19/0.25 c Core size: 14 Core Weight: 55 Total Weight: 1026 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #40 0.19/0.26 c Core size: 50 Core Weight: 96 Total Weight: 1122 0.19/0.26 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #41 0.19/0.27 c Core size: 99 Core Weight: 5 Total Weight: 1127 0.19/0.27 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #42 0.19/0.28 c Core size: 102 Core Weight: 2 Total Weight: 1129 0.19/0.28 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #43 0.19/0.29 c Core size: 101 Core Weight: 26 Total Weight: 1155 0.19/0.29 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.30 c core #44 0.19/0.30 c Core size: 61 Core Weight: 42 Total Weight: 1197 0.19/0.30 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #45 0.29/0.31 c Core size: 14 Core Weight: 32 Total Weight: 1229 0.29/0.31 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #46 0.29/0.31 c Core size: 158 Core Weight: 37 Total Weight: 1266 0.29/0.31 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #47 0.29/0.32 c Core size: 68 Core Weight: 1 Total Weight: 1267 0.29/0.32 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #48 0.29/0.33 c Core size: 47 Core Weight: 19 Total Weight: 1286 0.29/0.33 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #49 0.29/0.34 c Core size: 85 Core Weight: 95 Total Weight: 1381 0.29/0.34 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #50 0.29/0.35 c Core size: 359 Core Weight: 3 Total Weight: 1384 0.29/0.35 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #51 0.29/0.36 c Core size: 134 Core Weight: 4 Total Weight: 1388 0.29/0.36 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #52 0.29/0.37 c Core size: 360 Core Weight: 2 Total Weight: 1390 0.29/0.37 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #53 0.29/0.38 c Core size: 509 Core Weight: 1 Total Weight: 1391 0.29/0.38 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #54 0.29/0.39 c Core size: 40 Core Weight: 21 Total Weight: 1412 0.29/0.39 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #55 0.39/0.40 c Core size: 72 Core Weight: 23 Total Weight: 1435 0.39/0.40 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #56 0.39/0.41 c Core size: 256 Core Weight: 25 Total Weight: 1460 0.39/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.43 c core #57 0.39/0.43 c Core size: 115 Core Weight: 12 Total Weight: 1472 0.39/0.43 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.44 c core #58 0.39/0.44 c Core size: 239 Core Weight: 1 Total Weight: 1473 0.39/0.44 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #59 0.39/0.45 c Core size: 120 Core Weight: 12 Total Weight: 1485 0.39/0.45 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.46 c core #60 0.39/0.46 c Core size: 137 Core Weight: 6 Total Weight: 1491 0.39/0.46 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #61 0.39/0.47 c Core size: 137 Core Weight: 8 Total Weight: 1499 0.39/0.47 c Elapsed CPU time: 0.45893 s Remaining CPU time: 1799.54 s 0.39/0.48 c core #62 0.39/0.48 c Core size: 136 Core Weight: 3 Total Weight: 1502 0.39/0.48 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.49/0.50 c core #63 0.49/0.50 c Core size: 96 Core Weight: 2 Total Weight: 1504 0.49/0.50 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #64 0.49/0.51 c Core size: 68 Core Weight: 1 Total Weight: 1505 0.49/0.51 c Elapsed CPU time: 0.493924 s Remaining CPU time: 1799.51 s 0.49/0.52 c core #65 0.49/0.52 c Core size: 21 Core Weight: 73 Total Weight: 1578 0.49/0.52 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #66 0.49/0.53 c Core size: 21 Core Weight: 73 Total Weight: 1651 0.49/0.53 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #67 0.49/0.55 c Core size: 41 Core Weight: 48 Total Weight: 1699 0.49/0.55 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #68 0.49/0.56 c Core size: 234 Core Weight: 3 Total Weight: 1702 0.49/0.56 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.49/0.57 c core #69 0.49/0.57 c Core size: 41 Core Weight: 4 Total Weight: 1706 0.49/0.57 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.49/0.58 c core #70 0.49/0.58 c Core size: 350 Core Weight: 3 Total Weight: 1709 0.49/0.58 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.49/0.60 c core #71 0.49/0.60 c Core size: 349 Core Weight: 3 Total Weight: 1712 0.49/0.60 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.58/0.61 c core #72 0.58/0.61 c Core size: 265 Core Weight: 6 Total Weight: 1718 0.58/0.61 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.58/0.62 c core #73 0.58/0.62 c Core size: 41 Core Weight: 9 Total Weight: 1727 0.58/0.62 c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s 0.58/0.64 c core #74 0.58/0.64 c Core size: 87 Core Weight: 11 Total Weight: 1738 0.58/0.64 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.58/0.65 c core #75 0.58/0.65 c Core size: 41 Core Weight: 22 Total Weight: 1760 0.58/0.65 c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s 0.58/0.66 c core #76 0.58/0.66 c Core size: 108 Core Weight: 24 Total Weight: 1784 0.58/0.66 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.58/0.68 c core #77 0.58/0.68 c Core size: 343 Core Weight: 1 Total Weight: 1785 0.58/0.68 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.58/0.69 c core #78 0.58/0.69 c Core size: 276 Core Weight: 1 Total Weight: 1786 0.58/0.69 c Elapsed CPU time: 0.673897 s Remaining CPU time: 1799.33 s 0.69/0.71 c core #79 0.69/0.71 c Core size: 274 Core Weight: 2 Total Weight: 1788 0.69/0.71 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.72 c core #80 0.69/0.72 c Core size: 272 Core Weight: 1 Total Weight: 1789 0.69/0.72 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.74 c core #81 0.69/0.74 c Core size: 74 Core Weight: 42 Total Weight: 1831 0.69/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 1799.28 s 0.69/0.76 c core #82 0.69/0.76 c Core size: 357 Core Weight: 1 Total Weight: 1832 0.69/0.76 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.77 c core #83 0.69/0.77 c Core size: 42 Core Weight: 24 Total Weight: 1856 0.69/0.77 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.69/0.79 c core #84 0.69/0.79 c Core size: 78 Core Weight: 24 Total Weight: 1880 0.69/0.79 c Elapsed CPU time: 0.764883 s Remaining CPU time: 1799.24 s 0.79/0.80 c core #85 0.79/0.80 c Core size: 115 Core Weight: 1 Total Weight: 1881 0.79/0.80 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.79/0.82 c core #86 0.79/0.82 c Core size: 114 Core Weight: 19 Total Weight: 1900 0.79/0.82 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.79/0.83 c core #87 0.79/0.83 c Core size: 425 Core Weight: 1 Total Weight: 1901 0.79/0.83 c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s 0.79/0.85 c core #88 0.79/0.85 c Core size: 284 Core Weight: 3 Total Weight: 1904 0.79/0.85 c Elapsed CPU time: 0.827874 s Remaining CPU time: 1799.17 s 0.79/0.87 c core #89 0.79/0.87 c Core size: 283 Core Weight: 1 Total Weight: 1905 0.79/0.87 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.79/0.89 c core #90 0.79/0.89 c Core size: 66 Core Weight: 5 Total Weight: 1910 0.79/0.89 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.89/0.91 c core #91 0.89/0.91 c Core size: 141 Core Weight: 6 Total Weight: 1916 0.89/0.91 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.89/0.93 c core #92 0.89/0.93 c Core size: 158 Core Weight: 5 Total Weight: 1921 0.89/0.93 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/0.94 c core #93 0.89/0.94 c Core size: 202 Core Weight: 1 Total Weight: 1922 0.89/0.94 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.96 c core #94 0.89/0.96 c Core size: 201 Core Weight: 4 Total Weight: 1926 0.89/0.96 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.98 c core #95 0.89/0.98 c Core size: 200 Core Weight: 1 Total Weight: 1927 0.89/0.98 c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s 0.89/1.00 c core #96 0.89/1.00 c Core size: 36 Core Weight: 3 Total Weight: 1930 0.89/1.00 c Elapsed CPU time: 0.965853 s Remaining CPU time: 1799.03 s 0.99/1.02 c core #97 0.99/1.02 c Core size: 85 Core Weight: 14 Total Weight: 1944 0.99/1.02 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.99/1.03 c core #98 0.99/1.03 c Core size: 161 Core Weight: 1 Total Weight: 1945 0.99/1.03 c Elapsed CPU time: 1.00085 s Remaining CPU time: 1799 s 0.99/1.05 c core #99 0.99/1.05 c Core size: 240 Core Weight: 13 Total Weight: 1958 0.99/1.05 c Elapsed CPU time: 1.01885 s Remaining CPU time: 1798.98 s 0.99/1.07 c core #100 0.99/1.07 c Core size: 181 Core Weight: 6 Total Weight: 1964 0.99/1.07 c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s 0.99/1.09 c core #101 0.99/1.09 c Core size: 26 Core Weight: 5 Total Weight: 1969 0.99/1.09 c Elapsed CPU time: 1.05484 s Remaining CPU time: 1798.95 s 1.09/1.11 c core #102 1.09/1.11 c Core size: 50 Core Weight: 15 Total Weight: 1984 1.09/1.11 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.09/1.12 c core #103 1.09/1.12 c Core size: 80 Core Weight: 10 Total Weight: 1994 1.09/1.12 c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s 1.09/1.14 c core #104 1.09/1.14 c Core size: 96 Core Weight: 20 Total Weight: 2014 1.09/1.14 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.16 c core #105 1.09/1.16 c Core size: 96 Core Weight: 3 Total Weight: 2017 1.09/1.16 c Elapsed CPU time: 1.12483 s Remaining CPU time: 1798.88 s 1.09/1.18 c core #106 1.09/1.18 c Core size: 46 Core Weight: 5 Total Weight: 2022 1.09/1.18 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.09/1.20 c core #107 1.09/1.20 c Core size: 179 Core Weight: 1 Total Weight: 2023 1.09/1.20 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.19/1.21 c core #108 1.19/1.21 c Core size: 202 Core Weight: 3 Total Weight: 2026 1.19/1.21 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.19/1.23 c core #109 1.19/1.23 c Core size: 201 Core Weight: 20 Total Weight: 2046 1.19/1.23 c Elapsed CPU time: 1.19982 s Remaining CPU time: 1798.8 s 1.19/1.25 c core #110 1.19/1.25 c Core size: 26 Core Weight: 4 Total Weight: 2050 1.19/1.25 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.27 c core #111 1.19/1.27 c Core size: 36 Core Weight: 12 Total Weight: 2062 1.19/1.27 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.19/1.29 c core #112 1.19/1.29 c Core size: 52 Core Weight: 5 Total Weight: 2067 1.19/1.29 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.29/1.31 c core #113 1.29/1.31 c Core size: 37 Core Weight: 40 Total Weight: 2107 1.29/1.31 c Elapsed CPU time: 1.27281 s Remaining CPU time: 1798.73 s 1.29/1.33 c core #114 1.29/1.33 c Core size: 26 Core Weight: 28 Total Weight: 2135 1.29/1.33 c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s 1.29/1.35 c core #115 1.29/1.35 c Core size: 21 Core Weight: 47 Total Weight: 2182 1.29/1.35 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.29/1.37 c core #116 1.29/1.37 c Core size: 61 Core Weight: 16 Total Weight: 2198 1.29/1.37 c Elapsed CPU time: 1.3298 s Remaining CPU time: 1798.67 s 1.29/1.39 c core #117 1.29/1.39 c Core size: 79 Core Weight: 4 Total Weight: 2202 1.29/1.39 c Elapsed CPU time: 1.34879 s Remaining CPU time: 1798.65 s 1.39/1.41 c core #118 1.39/1.41 c Core size: 41 Core Weight: 9 Total Weight: 2211 1.39/1.41 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.39/1.43 c core #119 1.39/1.43 c Core size: 58 Core Weight: 8 Total Weight: 2219 1.39/1.43 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.39/1.45 c core #120 1.39/1.45 c Core size: 117 Core Weight: 2 Total Weight: 2221 1.39/1.45 c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s 1.39/1.47 c core #121 1.39/1.47 c Core size: 162 Core Weight: 2 Total Weight: 2223 1.39/1.47 c Elapsed CPU time: 1.42678 s Remaining CPU time: 1798.57 s 1.39/1.49 c core #122 1.39/1.49 c Core size: 161 Core Weight: 1 Total Weight: 2224 1.39/1.49 c Elapsed CPU time: 1.44678 s Remaining CPU time: 1798.55 s 1.49/1.51 c core #123 1.49/1.51 c Core size: 223 Core Weight: 1 Total Weight: 2225 1.49/1.51 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.49/1.53 c core #124 1.49/1.53 c Core size: 51 Core Weight: 7 Total Weight: 2232 1.49/1.53 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.49/1.55 c core #125 1.49/1.55 c Core size: 71 Core Weight: 23 Total Weight: 2255 1.49/1.55 c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s 1.49/1.57 c core #126 1.49/1.57 c Core size: 65 Core Weight: 12 Total Weight: 2267 1.49/1.57 c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s 1.49/1.59 c core #127 1.49/1.59 c Core size: 297 Core Weight: 1 Total Weight: 2268 1.49/1.59 c Elapsed CPU time: 1.54876 s Remaining CPU time: 1798.45 s 1.59/1.61 c core #128 1.59/1.61 c Core size: 42 Core Weight: 5 Total Weight: 2273 1.59/1.61 c Elapsed CPU time: 1.56976 s Remaining CPU time: 1798.43 s 1.59/1.63 c core #129 1.59/1.63 c Core size: 60 Core Weight: 5 Total Weight: 2278 1.59/1.63 c Elapsed CPU time: 1.59076 s Remaining CPU time: 1798.41 s 1.59/1.65 c core #130 1.59/1.65 c Core size: 64 Core Weight: 9 Total Weight: 2287 1.59/1.65 c Elapsed CPU time: 1.61175 s Remaining CPU time: 1798.39 s 1.59/1.68 c core #131 1.59/1.68 c Core size: 207 Core Weight: 3 Total Weight: 2290 1.59/1.68 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.69/1.70 c core #132 1.69/1.70 c Core size: 206 Core Weight: 3 Total Weight: 2293 1.69/1.70 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.69/1.72 c core #133 1.69/1.72 c Core size: 206 Core Weight: 1 Total Weight: 2294 1.69/1.72 c Elapsed CPU time: 1.67575 s Remaining CPU time: 1798.32 s 1.69/1.74 c core #134 1.69/1.74 c Core size: 97 Core Weight: 5 Total Weight: 2299 1.69/1.74 c Elapsed CPU time: 1.69574 s Remaining CPU time: 1798.3 s 1.69/1.77 c core #135 1.69/1.77 c Core size: 96 Core Weight: 26 Total Weight: 2325 1.69/1.77 c Elapsed CPU time: 1.71974 s Remaining CPU time: 1798.28 s 1.69/1.79 c core #136 1.69/1.79 c Core size: 72 Core Weight: 21 Total Weight: 2346 1.69/1.79 c Elapsed CPU time: 1.73974 s Remaining CPU time: 1798.26 s 1.79/1.81 c core #137 1.79/1.81 c Core size: 65 Core Weight: 14 Total Weight: 2360 1.79/1.81 c Elapsed CPU time: 1.76173 s Remaining CPU time: 1798.24 s 1.79/1.83 c core #138 1.79/1.83 c Core size: 304 Core Weight: 1 Total Weight: 2361 1.79/1.83 c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s 1.79/1.86 c core #139 1.79/1.86 c Core size: 5 Core Weight: 37 Total Weight: 2398 1.79/1.86 c Elapsed CPU time: 1.80573 s Remaining CPU time: 1798.19 s 1.79/1.88 c core #140 1.79/1.88 c Core size: 39 Core Weight: 4 Total Weight: 2402 1.79/1.88 c Elapsed CPU time: 1.82772 s Remaining CPU time: 1798.17 s 1.89/1.90 c core #141 1.89/1.90 c Core size: 81 Core Weight: 17 Total Weight: 2419 1.89/1.90 c Elapsed CPU time: 1.84972 s Remaining CPU time: 1798.15 s 1.89/1.92 c core #142 1.89/1.92 c Core size: 102 Core Weight: 4 Total Weight: 2423 1.89/1.92 c Elapsed CPU time: 1.87172 s Remaining CPU time: 1798.13 s 1.89/1.95 c core #143 1.89/1.95 c Core size: 189 Core Weight: 1 Total Weight: 2424 1.89/1.95 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s 1.89/1.97 c core #144 1.89/1.97 c Core size: 56 Core Weight: 1 Total Weight: 2425 1.89/1.97 c Elapsed CPU time: 1.91771 s Remaining CPU time: 1798.08 s 1.89/1.99 c core #145 1.89/1.99 c Core size: 60 Core Weight: 4 Total Weight: 2429 1.89/1.99 c Elapsed CPU time: 1.9407 s Remaining CPU time: 1798.06 s 1.99/2.02 c core #146 1.99/2.02 c Core size: 54 Core Weight: 96 Total Weight: 2525 1.99/2.02 c Elapsed CPU time: 1.9627 s Remaining CPU time: 1798.04 s 1.99/2.04 c core #147 1.99/2.04 c Core size: 40 Core Weight: 55 Total Weight: 2580 1.99/2.04 c Elapsed CPU time: 1.9847 s Remaining CPU time: 1798.02 s 1.99/2.06 c core #148 1.99/2.06 c Core size: 233 Core Weight: 2 Total Weight: 2582 1.99/2.06 c Elapsed CPU time: 2.00769 s Remaining CPU time: 1797.99 s 1.99/2.09 c core #149 1.99/2.09 c Core size: 264 Core Weight: 1 Total Weight: 2583 1.99/2.09 c Elapsed CPU time: 2.03369 s Remaining CPU time: 1797.97 s 2.09/2.12 c core #150 2.09/2.12 c Core size: 430 Core Weight: 2 Total Weight: 2585 2.09/2.12 c Elapsed CPU time: 2.05969 s Remaining CPU time: 1797.94 s 2.09/2.14 c core #151 2.09/2.14 c Core size: 429 Core Weight: 2 Total Weight: 2587 2.09/2.14 c Elapsed CPU time: 2.08668 s Remaining CPU time: 1797.91 s 2.09/2.17 c core #152 2.09/2.17 c Core size: 143 Core Weight: 1 Total Weight: 2588 2.09/2.17 c Elapsed CPU time: 2.10968 s Remaining CPU time: 1797.89 s 2.09/2.20 c core #153 2.09/2.20 c Core size: 142 Core Weight: 11 Total Weight: 2599 2.09/2.20 c Elapsed CPU time: 2.13468 s Remaining CPU time: 1797.87 s 2.19/2.22 c core #154 2.19/2.22 c Core size: 123 Core Weight: 2 Total Weight: 2601 2.19/2.22 c Elapsed CPU time: 2.15967 s Remaining CPU time: 1797.84 s 2.19/2.25 c core #155 2.19/2.25 c Core size: 176 Core Weight: 3 Total Weight: 2604 2.19/2.25 c Elapsed CPU time: 2.18467 s Remaining CPU time: 1797.82 s 2.19/2.28 c core #156 2.19/2.28 c Core size: 214 Core Weight: 2 Total Weight: 2606 2.19/2.28 c Elapsed CPU time: 2.21166 s Remaining CPU time: 1797.79 s 2.29/2.31 c core #157 2.29/2.31 c Core size: 196 Core Weight: 5 Total Weight: 2611 2.29/2.31 c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s 2.29/2.33 c core #158 2.29/2.33 c Core size: 62 Core Weight: 37 Total Weight: 2648 2.29/2.33 c Elapsed CPU time: 2.26166 s Remaining CPU time: 1797.74 s 2.29/2.36 c core #159 2.29/2.36 c Core size: 89 Core Weight: 31 Total Weight: 2679 2.29/2.36 c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s 2.29/2.39 c core #160 2.29/2.39 c Core size: 217 Core Weight: 1 Total Weight: 2680 2.29/2.39 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.39/2.42 c core #161 2.39/2.42 c Core size: 123 Core Weight: 8 Total Weight: 2688 2.39/2.42 c Elapsed CPU time: 2.33465 s Remaining CPU time: 1797.67 s 2.39/2.45 c core #162 2.39/2.45 c Core size: 142 Core Weight: 3 Total Weight: 2691 2.39/2.45 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.39/2.47 c core #163 2.39/2.47 c Core size: 455 Core Weight: 1 Total Weight: 2692 2.39/2.47 c Elapsed CPU time: 2.38364 s Remaining CPU time: 1797.62 s 2.49/2.50 c core #164 2.49/2.50 c Core size: 375 Core Weight: 3 Total Weight: 2695 2.49/2.50 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.49/2.53 c core #165 2.49/2.53 c Core size: 405 Core Weight: 1 Total Weight: 2696 2.49/2.53 c Elapsed CPU time: 2.43963 s Remaining CPU time: 1797.56 s 2.49/2.56 c core #166 2.49/2.56 c Core size: 404 Core Weight: 1 Total Weight: 2697 2.49/2.56 c Elapsed CPU time: 2.46862 s Remaining CPU time: 1797.53 s 2.49/2.59 c core #167 2.49/2.59 c Core size: 402 Core Weight: 1 Total Weight: 2698 2.49/2.59 c Elapsed CPU time: 2.49662 s Remaining CPU time: 1797.5 s 2.59/2.62 c core #168 2.59/2.62 c Core size: 81 Core Weight: 2 Total Weight: 2700 2.59/2.62 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.59/2.65 c core #169 2.59/2.65 c Core size: 256 Core Weight: 3 Total Weight: 2703 2.59/2.65 c Elapsed CPU time: 2.55161 s Remaining CPU time: 1797.45 s 2.59/2.68 c core #170 2.59/2.68 c Core size: 104 Core Weight: 4 Total Weight: 2707 2.59/2.68 c Elapsed CPU time: 2.57961 s Remaining CPU time: 1797.42 s 2.69/2.71 c core #171 2.69/2.71 c Core size: 300 Core Weight: 1 Total Weight: 2708 2.69/2.71 c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s 2.69/2.74 c core #172 2.69/2.74 c Core size: 231 Core Weight: 6 Total Weight: 2714 2.69/2.74 c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s 2.69/2.77 c core #173 2.69/2.77 c Core size: 147 Core Weight: 2 Total Weight: 2716 2.69/2.77 c Elapsed CPU time: 2.66459 s Remaining CPU time: 1797.34 s 2.79/2.80 c core #174 2.79/2.80 c Core size: 146 Core Weight: 4 Total Weight: 2720 2.79/2.80 c Elapsed CPU time: 2.69159 s Remaining CPU time: 1797.31 s 2.79/2.83 c core #175 2.79/2.83 c Core size: 128 Core Weight: 3 Total Weight: 2723 2.79/2.83 c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s 2.79/2.86 c core #176 2.79/2.86 c Core size: 64 Core Weight: 25 Total Weight: 2748 2.79/2.86 c Elapsed CPU time: 2.74858 s Remaining CPU time: 1797.25 s 2.79/2.90 c core #177 2.79/2.90 c Core size: 145 Core Weight: 6 Total Weight: 2754 2.79/2.90 c Elapsed CPU time: 2.77958 s Remaining CPU time: 1797.22 s 2.89/2.93 c core #178 2.89/2.93 c Core size: 148 Core Weight: 11 Total Weight: 2765 2.89/2.93 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.89/2.96 c core #179 2.89/2.96 c Core size: 546 Core Weight: 2 Total Weight: 2767 2.89/2.96 c Elapsed CPU time: 2.83957 s Remaining CPU time: 1797.16 s 2.89/2.99 c core #180 2.89/2.99 c Core size: 545 Core Weight: 1 Total Weight: 2768 2.89/2.99 c Elapsed CPU time: 2.86856 s Remaining CPU time: 1797.13 s 2.99/3.03 c core #181 2.99/3.03 c Core size: 490 Core Weight: 1 Total Weight: 2769 2.99/3.03 c Elapsed CPU time: 2.89956 s Remaining CPU time: 1797.1 s 2.99/3.06 c core #182 2.99/3.06 c Core size: 60 Core Weight: 11 Total Weight: 2780 2.99/3.06 c Elapsed CPU time: 2.93255 s Remaining CPU time: 1797.07 s 2.99/3.09 c core #183 2.99/3.09 c Core size: 187 Core Weight: 1 Total Weight: 2781 2.99/3.09 c Elapsed CPU time: 2.96555 s Remaining CPU time: 1797.03 s 3.09/3.13 c core #184 3.09/3.13 c Core size: 28 Core Weight: 12 Total Weight: 2793 3.09/3.13 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 3.09/3.16 c core #185 3.09/3.16 c Core size: 329 Core Weight: 1 Total Weight: 2794 3.09/3.16 c Elapsed CPU time: 3.02754 s Remaining CPU time: 1796.97 s 3.09/3.19 c core #186 3.09/3.19 c Core size: 328 Core Weight: 4 Total Weight: 2798 3.09/3.19 c Elapsed CPU time: 3.06153 s Remaining CPU time: 1796.94 s 3.19/3.23 c core #187 3.19/3.23 c Core size: 327 Core Weight: 1 Total Weight: 2799 3.19/3.23 c Elapsed CPU time: 3.09553 s Remaining CPU time: 1796.9 s 3.19/3.27 c core #188 3.19/3.27 c Core size: 64 Core Weight: 21 Total Weight: 2820 3.19/3.27 c Elapsed CPU time: 3.12752 s Remaining CPU time: 1796.87 s 3.29/3.30 c core #189 3.29/3.30 c Core size: 127 Core Weight: 7 Total Weight: 2827 3.29/3.30 c Elapsed CPU time: 3.16152 s Remaining CPU time: 1796.84 s 3.29/3.34 c core #190 3.29/3.34 c Core size: 264 Core Weight: 1 Total Weight: 2828 3.29/3.34 c Elapsed CPU time: 3.19151 s Remaining CPU time: 1796.81 s 3.29/3.37 c core #191 3.29/3.37 c Core size: 263 Core Weight: 1 Total Weight: 2829 3.29/3.37 c Elapsed CPU time: 3.22451 s Remaining CPU time: 1796.78 s 3.39/3.41 c core #192 3.39/3.41 c Core size: 30 Core Weight: 22 Total Weight: 2851 3.39/3.41 c Elapsed CPU time: 3.2575 s Remaining CPU time: 1796.74 s 3.39/3.44 c core #193 3.39/3.44 c Core size: 52 Core Weight: 76 Total Weight: 2927 3.39/3.44 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.39/3.48 c core #194 3.39/3.48 c Core size: 45 Core Weight: 49 Total Weight: 2976 3.39/3.48 c Elapsed CPU time: 3.32249 s Remaining CPU time: 1796.68 s 3.49/3.51 c core #195 3.49/3.51 c Core size: 280 Core Weight: 1 Total Weight: 2977 3.49/3.51 c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s 3.49/3.55 c core #196 3.49/3.55 c Core size: 653 Core Weight: 3 Total Weight: 2980 3.49/3.55 c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s 3.49/3.59 c core #197 3.49/3.59 c Core size: 275 Core Weight: 1 Total Weight: 2981 3.49/3.59 c Elapsed CPU time: 3.42148 s Remaining CPU time: 1796.58 s 3.58/3.62 c core #198 3.58/3.62 c Core size: 302 Core Weight: 1 Total Weight: 2982 3.58/3.62 c Elapsed CPU time: 3.45647 s Remaining CPU time: 1796.54 s 3.58/3.66 c core #199 3.58/3.66 c Core size: 161 Core Weight: 2 Total Weight: 2984 3.58/3.66 c Elapsed CPU time: 3.49247 s Remaining CPU time: 1796.51 s 3.69/3.70 c core #200 3.69/3.70 c Core size: 159 Core Weight: 5 Total Weight: 2989 3.69/3.70 c Elapsed CPU time: 3.52446 s Remaining CPU time: 1796.48 s 3.69/3.74 c core #201 3.69/3.74 c Core size: 117 Core Weight: 2 Total Weight: 2991 3.69/3.74 c Elapsed CPU time: 3.55946 s Remaining CPU time: 1796.44 s 3.69/3.78 c core #202 3.69/3.78 c Core size: 287 Core Weight: 1 Total Weight: 2992 3.69/3.78 c Elapsed CPU time: 3.59345 s Remaining CPU time: 1796.41 s 3.78/3.82 c core #203 3.78/3.82 c Core size: 212 Core Weight: 2 Total Weight: 2994 3.78/3.82 c Elapsed CPU time: 3.62945 s Remaining CPU time: 1796.37 s 3.78/3.86 c core #204 3.78/3.86 c Core size: 626 Core Weight: 1 Total Weight: 2995 3.78/3.86 c Elapsed CPU time: 3.66944 s Remaining CPU time: 1796.33 s 3.89/3.90 c core #205 3.89/3.90 c Core size: 500 Core Weight: 2 Total Weight: 2997 3.89/3.90 c Elapsed CPU time: 3.70544 s Remaining CPU time: 1796.29 s 3.89/3.94 c core #206 3.89/3.94 c Core size: 273 Core Weight: 4 Total Weight: 3001 3.89/3.94 c Elapsed CPU time: 3.74243 s Remaining CPU time: 1796.26 s 3.89/3.98 c core #207 3.89/3.98 c Core size: 114 Core Weight: 2 Total Weight: 3003 3.89/3.98 c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s 3.98/4.02 c core #208 3.98/4.02 c Core size: 114 Core Weight: 2 Total Weight: 3005 3.98/4.02 c Elapsed CPU time: 3.81642 s Remaining CPU time: 1796.18 s 3.98/4.07 c core #209 3.98/4.07 c Core size: 114 Core Weight: 3 Total Weight: 3008 3.98/4.07 c Elapsed CPU time: 3.85741 s Remaining CPU time: 1796.14 s 4.09/4.11 c core #210 4.09/4.11 c Core size: 233 Core Weight: 1 Total Weight: 3009 4.09/4.11 c Elapsed CPU time: 3.90041 s Remaining CPU time: 1796.1 s 4.09/4.16 c core #211 4.09/4.16 c Core size: 232 Core Weight: 4 Total Weight: 3013 4.09/4.16 c Elapsed CPU time: 3.9454 s Remaining CPU time: 1796.05 s 4.19/4.21 c core #212 4.19/4.21 c Core size: 209 Core Weight: 1 Total Weight: 3014 4.19/4.21 c Elapsed CPU time: 3.99239 s Remaining CPU time: 1796.01 s 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 32351 35347 57918 | 11782 0 nan | 0.000 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c core #213 4.19/4.27 c Core size: 285 Core Weight: 1 Total Weight: 3015 4.19/4.27 c Elapsed CPU time: 4.04738 s Remaining CPU time: 1795.95 s 4.30/4.33 c Learning 1 hard constraints 4.30/4.33 c ============================[ Search Statistics ]============================== 4.30/4.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.33 c =============================================================================== 4.30/4.33 c | 0 | 32626 35622 58398 | 11874 0 nan | 0.000 % | 4.30/4.33 c =============================================================================== 4.30/4.33 c core #214 4.30/4.33 c Core size: 283 Core Weight: 1 Total Weight: 3016 4.30/4.33 c Elapsed CPU time: 4.10438 s Remaining CPU time: 1795.9 s 4.30/4.39 c Learning 1 hard constraints 4.30/4.39 c ============================[ Search Statistics ]============================== 4.30/4.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.39 c =============================================================================== 4.30/4.39 c | 0 | 32901 35898 58743 | 11966 0 nan | 0.000 % | 4.30/4.40 c =============================================================================== 4.30/4.40 c core #215 4.30/4.40 c Core size: 283 Core Weight: 1 Total Weight: 3017 4.30/4.40 c Elapsed CPU time: 4.16237 s Remaining CPU time: 1795.84 s 4.39/4.45 c ============================[ Search Statistics ]============================== 4.39/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.45 c =============================================================================== 4.39/4.45 c | 0 | 33177 36162 59126 | 12054 0 nan | 0.000 % | 4.39/4.46 c =============================================================================== 4.39/4.46 c core #216 4.39/4.46 c Core size: 517 Core Weight: 1 Total Weight: 3018 4.39/4.46 c Elapsed CPU time: 4.22836 s Remaining CPU time: 1795.77 s 4.49/4.52 c Learning 3 hard constraints 4.49/4.52 c core #217 4.49/4.52 c Core size: 254 Core Weight: 1 Total Weight: 3019 4.49/4.52 c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s 4.49/4.58 c core #218 4.49/4.58 c Core size: 322 Core Weight: 1 Total Weight: 3020 4.49/4.58 c Elapsed CPU time: 4.33834 s Remaining CPU time: 1795.66 s 4.58/4.64 c ============================[ Search Statistics ]============================== 4.58/4.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.64 c =============================================================================== 4.58/4.64 c | 0 | 34236 37208 60462 | 12402 0 nan | 0.000 % | 4.58/4.64 c =============================================================================== 4.58/4.64 c core #219 4.58/4.64 c Core size: 298 Core Weight: 1 Total Weight: 3021 4.58/4.64 c Elapsed CPU time: 4.39733 s Remaining CPU time: 1795.6 s 4.69/4.70 c ============================[ Search Statistics ]============================== 4.69/4.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.70 c =============================================================================== 4.69/4.70 c | 0 | 34619 37488 61176 | 12496 0 nan | 0.000 % | 4.69/4.71 c =============================================================================== 4.69/4.71 c core #220 4.69/4.71 c Core size: 156 Core Weight: 1 Total Weight: 3022 4.69/4.71 c Elapsed CPU time: 4.45432 s Remaining CPU time: 1795.55 s 4.69/4.76 c Learning 1 hard constraints 4.69/4.76 c core #221 4.69/4.76 c Core size: 142 Core Weight: 8 Total Weight: 3030 4.69/4.76 c Elapsed CPU time: 4.50931 s Remaining CPU time: 1795.49 s 4.79/4.82 c ============================[ Search Statistics ]============================== 4.79/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.82 c =============================================================================== 4.79/4.82 c | 0 | 34907 37770 61721 | 12590 0 nan | 0.000 % | 4.79/4.83 c =============================================================================== 4.79/4.83 c core #222 4.79/4.83 c Core size: 269 Core Weight: 1 Total Weight: 3031 4.79/4.83 c Elapsed CPU time: 4.5723 s Remaining CPU time: 1795.43 s 4.79/4.88 c ============================[ Search Statistics ]============================== 4.79/4.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.88 c =============================================================================== 4.79/4.88 c | 0 | 35162 38017 62043 | 12672 0 nan | 0.000 % | 4.79/4.89 c =============================================================================== 4.79/4.89 c core #223 4.79/4.89 c Core size: 281 Core Weight: 1 Total Weight: 3032 4.79/4.89 c Elapsed CPU time: 4.63129 s Remaining CPU time: 1795.37 s 4.89/4.95 c ============================[ Search Statistics ]============================== 4.89/4.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.95 c =============================================================================== 4.89/4.95 c | 0 | 35430 38279 62360 | 12759 0 nan | 0.000 % | 4.89/4.96 c =============================================================================== 4.89/4.96 c core #224 4.89/4.96 c Core size: 281 Core Weight: 1 Total Weight: 3033 4.89/4.96 c Elapsed CPU time: 4.69429 s Remaining CPU time: 1795.31 s 4.98/5.02 c ============================[ Search Statistics ]============================== 4.98/5.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.98/5.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.98/5.02 c =============================================================================== 4.98/5.02 c | 0 | 35698 38547 62689 | 12849 0 nan | 0.000 % | 4.98/5.02 c =============================================================================== 4.98/5.02 c core #225 4.98/5.02 c Core size: 115 Core Weight: 13 Total Weight: 3046 4.98/5.02 c Elapsed CPU time: 4.75528 s Remaining CPU time: 1795.24 s 4.98/5.08 c ============================[ Search Statistics ]============================== 4.98/5.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.98/5.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.98/5.08 c =============================================================================== 4.98/5.08 c | 0 | 35807 38654 62801 | 12884 0 nan | 0.000 % | 4.98/5.09 c =============================================================================== 4.98/5.09 c core #226 4.98/5.09 c Core size: 128 Core Weight: 48 Total Weight: 3094 4.98/5.09 c Elapsed CPU time: 4.81727 s Remaining CPU time: 1795.18 s 5.09/5.15 c ============================[ Search Statistics ]============================== 5.09/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.15 c =============================================================================== 5.09/5.15 c | 0 | 35930 38774 62928 | 12924 0 nan | 0.000 % | 5.09/5.15 c =============================================================================== 5.09/5.15 c core #227 5.09/5.15 c Core size: 128 Core Weight: 3 Total Weight: 3097 5.09/5.15 c Elapsed CPU time: 4.87626 s Remaining CPU time: 1795.12 s 5.19/5.21 c ============================[ Search Statistics ]============================== 5.19/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.21 c =============================================================================== 5.19/5.21 c | 0 | 36053 38894 63055 | 12964 0 nan | 0.000 % | 5.19/5.22 c =============================================================================== 5.19/5.22 c core #228 5.19/5.22 c Core size: 128 Core Weight: 1 Total Weight: 3098 5.19/5.22 c Elapsed CPU time: 4.93825 s Remaining CPU time: 1795.06 s 5.19/5.28 c ============================[ Search Statistics ]============================== 5.19/5.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.28 c =============================================================================== 5.19/5.28 c | 0 | 36176 39016 63186 | 13005 0 nan | 0.000 % | 5.19/5.29 c =============================================================================== 5.19/5.29 c core #229 5.19/5.29 c Core size: 128 Core Weight: 3 Total Weight: 3101 5.19/5.29 c Elapsed CPU time: 5.00224 s Remaining CPU time: 1795 s 5.29/5.35 c ============================[ Search Statistics ]============================== 5.29/5.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.35 c =============================================================================== 5.29/5.35 c | 0 | 36299 39136 63313 | 13045 0 nan | 0.000 % | 5.29/5.36 c =============================================================================== 5.29/5.36 c core #230 5.29/5.36 c Core size: 128 Core Weight: 6 Total Weight: 3107 5.29/5.36 c Elapsed CPU time: 5.06423 s Remaining CPU time: 1794.94 s 5.39/5.42 c ============================[ Search Statistics ]============================== 5.39/5.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.42 c =============================================================================== 5.39/5.42 c | 0 | 36422 39256 63440 | 13085 0 nan | 0.000 % | 5.39/5.43 c =============================================================================== 5.39/5.43 c core #231 5.39/5.43 c Core size: 353 Core Weight: 1 Total Weight: 3108 5.39/5.43 c Elapsed CPU time: 5.13322 s Remaining CPU time: 1794.87 s 5.39/5.49 c ============================[ Search Statistics ]============================== 5.39/5.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.49 c =============================================================================== 5.39/5.49 c | 0 | 36760 39593 63858 | 13197 0 nan | 0.000 % | 5.39/5.50 c =============================================================================== 5.39/5.50 c core #232 5.39/5.50 c Core size: 128 Core Weight: 6 Total Weight: 3114 5.39/5.50 c Elapsed CPU time: 5.19921 s Remaining CPU time: 1794.8 s 5.50/5.56 c ============================[ Search Statistics ]============================== 5.50/5.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.50/5.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.50/5.56 c =============================================================================== 5.50/5.56 c | 0 | 36883 39713 63985 | 13237 0 nan | 0.000 % | 5.50/5.57 c =============================================================================== 5.50/5.57 c core #233 5.50/5.57 c Core size: 186 Core Weight: 4 Total Weight: 3118 5.50/5.57 c Elapsed CPU time: 5.2652 s Remaining CPU time: 1794.73 s 5.58/5.63 c Learning 1 hard constraints 5.58/5.63 c ============================[ Search Statistics ]============================== 5.58/5.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.58/5.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.58/5.63 c =============================================================================== 5.58/5.63 c | 0 | 37065 39895 64341 | 13298 0 nan | 0.000 % | 5.58/5.63 c =============================================================================== 5.58/5.64 c core #234 5.58/5.64 c Core size: 259 Core Weight: 1 Total Weight: 3119 5.58/5.64 c Elapsed CPU time: 5.32619 s Remaining CPU time: 1794.67 s 5.69/5.70 c Learning 1 hard constraints 5.69/5.70 c core #235 5.69/5.70 c Core size: 254 Core Weight: 2 Total Weight: 3121 5.69/5.70 c Elapsed CPU time: 5.38518 s Remaining CPU time: 1794.61 s 5.69/5.76 c ============================[ Search Statistics ]============================== 5.69/5.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.76 c =============================================================================== 5.69/5.76 c | 0 | 37567 40392 65191 | 13464 0 nan | 0.000 % | 5.69/5.77 c =============================================================================== 5.69/5.77 c core #236 5.69/5.77 c Core size: 307 Core Weight: 1 Total Weight: 3122 5.69/5.77 c Elapsed CPU time: 5.45317 s Remaining CPU time: 1794.55 s 5.79/5.83 c ============================[ Search Statistics ]============================== 5.79/5.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.83 c =============================================================================== 5.79/5.83 c | 0 | 37865 40689 65593 | 13563 0 nan | 0.000 % | 5.79/5.84 c =============================================================================== 5.79/5.84 c core #237 5.79/5.84 c Core size: 361 Core Weight: 1 Total Weight: 3123 5.79/5.84 c Elapsed CPU time: 5.52116 s Remaining CPU time: 1794.48 s 5.89/5.91 c Learning 1 hard constraints 5.89/5.91 c ============================[ Search Statistics ]============================== 5.89/5.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.91 c =============================================================================== 5.89/5.91 c | 0 | 38213 41038 66032 | 13679 0 nan | 0.000 % | 5.89/5.92 c =============================================================================== 5.89/5.92 c core #238 5.89/5.92 c Core size: 463 Core Weight: 1 Total Weight: 3124 5.89/5.92 c Elapsed CPU time: 5.59315 s Remaining CPU time: 1794.41 s 5.89/5.98 c ============================[ Search Statistics ]============================== 5.89/5.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.98 c =============================================================================== 5.89/5.98 c | 0 | 38663 41485 66580 | 13828 0 nan | 0.000 % | 5.99/6.00 c =============================================================================== 5.99/6.00 c core #239 5.99/6.00 c Core size: 463 Core Weight: 1 Total Weight: 3125 5.99/6.00 c Elapsed CPU time: 5.66814 s Remaining CPU time: 1794.33 s 5.99/6.06 c ============================[ Search Statistics ]============================== 5.99/6.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.06 c =============================================================================== 5.99/6.06 c | 0 | 39112 41931 67142 | 13977 0 nan | 0.000 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c core #240 5.99/6.07 c Core size: 187 Core Weight: 1 Total Weight: 3126 5.99/6.07 c Elapsed CPU time: 5.73013 s Remaining CPU time: 1794.27 s 6.09/6.14 c ============================[ Search Statistics ]============================== 6.09/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.14 c =============================================================================== 6.09/6.14 c | 0 | 39290 42107 67365 | 14035 0 nan | 0.000 % | 6.09/6.15 c =============================================================================== 6.09/6.15 c core #241 6.09/6.15 c Core size: 187 Core Weight: 1 Total Weight: 3127 6.09/6.15 c Elapsed CPU time: 5.80012 s Remaining CPU time: 1794.2 s 6.19/6.21 c ============================[ Search Statistics ]============================== 6.19/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.21 c =============================================================================== 6.19/6.21 c | 0 | 39470 42281 67684 | 14093 0 nan | 0.000 % | 6.19/6.22 c =============================================================================== 6.19/6.22 c core #242 6.19/6.22 c Core size: 184 Core Weight: 1 Total Weight: 3128 6.19/6.22 c Elapsed CPU time: 5.87011 s Remaining CPU time: 1794.13 s 6.19/6.29 c ============================[ Search Statistics ]============================== 6.19/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.29 c =============================================================================== 6.19/6.29 c | 0 | 39647 42451 68000 | 14150 0 nan | 0.000 % | 6.29/6.30 c =============================================================================== 6.29/6.30 c core #243 6.29/6.30 c Core size: 180 Core Weight: 1 Total Weight: 3129 6.29/6.30 c Elapsed CPU time: 5.9421 s Remaining CPU time: 1794.06 s 6.29/6.36 c ============================[ Search Statistics ]============================== 6.29/6.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.36 c =============================================================================== 6.29/6.36 c | 0 | 39822 42611 68421 | 14203 0 nan | 0.000 % | 6.29/6.37 c =============================================================================== 6.29/6.37 c core #244 6.29/6.37 c Core size: 287 Core Weight: 1 Total Weight: 3130 6.29/6.37 c Elapsed CPU time: 6.00909 s Remaining CPU time: 1793.99 s 6.38/6.44 c ============================[ Search Statistics ]============================== 6.38/6.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.38/6.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.38/6.44 c =============================================================================== 6.38/6.44 c | 0 | 40099 42876 68910 | 14292 0 nan | 0.000 % | 6.38/6.45 c =============================================================================== 6.38/6.45 c core #245 6.38/6.45 c Core size: 180 Core Weight: 1 Total Weight: 3131 6.38/6.45 c Elapsed CPU time: 6.08007 s Remaining CPU time: 1793.92 s 6.50/6.51 c ============================[ Search Statistics ]============================== 6.50/6.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.51 c =============================================================================== 6.50/6.51 c | 0 | 40272 43046 69235 | 14348 0 nan | 0.000 % | 6.50/6.53 c =============================================================================== 6.50/6.53 c core #246 6.50/6.53 c Core size: 180 Core Weight: 1 Total Weight: 3132 6.50/6.53 c Elapsed CPU time: 6.15306 s Remaining CPU time: 1793.85 s 6.50/6.59 c ============================[ Search Statistics ]============================== 6.50/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.59 c =============================================================================== 6.50/6.59 c | 0 | 40443 43216 69492 | 14405 0 nan | 0.000 % | 6.60/6.61 c =============================================================================== 6.60/6.61 c core #247 6.60/6.61 c Core size: 178 Core Weight: 1 Total Weight: 3133 6.60/6.61 c Elapsed CPU time: 6.22705 s Remaining CPU time: 1793.77 s 6.60/6.67 c Learning 1 hard constraints 6.60/6.67 c ============================[ Search Statistics ]============================== 6.60/6.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.67 c =============================================================================== 6.60/6.67 c | 0 | 40523 43387 69837 | 14462 0 nan | 0.000 % | 6.60/6.69 c =============================================================================== 6.60/6.69 c core #248 6.60/6.69 c Core size: 469 Core Weight: 1 Total Weight: 3134 6.60/6.69 c Elapsed CPU time: 6.30504 s Remaining CPU time: 1793.69 s 6.69/6.76 c Learning 1 hard constraints 6.69/6.76 c ============================[ Search Statistics ]============================== 6.69/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.76 c =============================================================================== 6.69/6.76 c | 0 | 41039 43826 70727 | 14608 0 nan | 0.000 % | 6.69/6.77 c =============================================================================== 6.69/6.77 c core #249 6.69/6.77 c Core size: 183 Core Weight: 1 Total Weight: 3135 6.69/6.77 c Elapsed CPU time: 6.38103 s Remaining CPU time: 1793.62 s 6.79/6.84 c ============================[ Search Statistics ]============================== 6.79/6.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.84 c =============================================================================== 6.79/6.84 c | 0 | 41213 43999 71058 | 14666 0 nan | 0.000 % | 6.79/6.85 c =============================================================================== 6.79/6.85 c core #250 6.79/6.85 c Core size: 341 Core Weight: 1 Total Weight: 3136 6.79/6.85 c Elapsed CPU time: 6.45702 s Remaining CPU time: 1793.54 s 6.88/6.92 c Learning 6 hard constraints 6.88/6.92 c ============================[ Search Statistics ]============================== 6.88/6.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.92 c =============================================================================== 6.88/6.92 c | 0 | 41538 44316 71755 | 14772 0 nan | 0.000 % | 6.88/6.93 c =============================================================================== 6.88/6.93 c core #251 6.88/6.93 c Core size: 183 Core Weight: 1 Total Weight: 3137 6.88/6.93 c Elapsed CPU time: 6.53501 s Remaining CPU time: 1793.46 s 6.99/7.00 c ============================[ Search Statistics ]============================== 6.99/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.00 c =============================================================================== 6.99/7.00 c | 0 | 41714 44485 72234 | 14828 0 nan | 0.000 % | 6.99/7.01 c =============================================================================== 6.99/7.01 c core #252 6.99/7.01 c Core size: 339 Core Weight: 1 Total Weight: 3138 6.99/7.01 c Elapsed CPU time: 6.61099 s Remaining CPU time: 1793.39 s 6.99/7.08 c ============================[ Search Statistics ]============================== 6.99/7.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.08 c =============================================================================== 6.99/7.08 c | 0 | 42044 44813 72721 | 14937 0 nan | 0.000 % | 7.09/7.10 c =============================================================================== 7.09/7.10 c core #253 7.09/7.10 c Core size: 459 Core Weight: 1 Total Weight: 3139 7.09/7.10 c Elapsed CPU time: 6.69498 s Remaining CPU time: 1793.31 s 7.09/7.17 c Learning 6 hard constraints 7.09/7.17 c ============================[ Search Statistics ]============================== 7.09/7.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.17 c =============================================================================== 7.09/7.17 c | 0 | 42485 45259 73464 | 15086 0 nan | 0.000 % | 7.09/7.19 c =============================================================================== 7.09/7.19 c core #254 7.09/7.19 c Core size: 340 Core Weight: 1 Total Weight: 3140 7.09/7.19 c Elapsed CPU time: 6.77397 s Remaining CPU time: 1793.23 s 7.19/7.26 c Learning 1 hard constraints 7.19/7.26 c ============================[ Search Statistics ]============================== 7.19/7.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.26 c =============================================================================== 7.19/7.26 c | 0 | 42818 45578 74103 | 15192 0 nan | 0.000 % | 7.19/7.27 c =============================================================================== 7.19/7.27 c core #255 7.19/7.27 c Core size: 273 Core Weight: 1 Total Weight: 3141 7.19/7.27 c Elapsed CPU time: 6.84696 s Remaining CPU time: 1793.15 s 7.29/7.34 c Learning 1 hard constraints 7.29/7.34 c ============================[ Search Statistics ]============================== 7.29/7.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.34 c =============================================================================== 7.29/7.34 c | 0 | 43083 45843 74518 | 15281 0 nan | 0.000 % | 7.29/7.34 c =============================================================================== 7.29/7.34 c core #256 7.29/7.34 c Core size: 120 Core Weight: 4 Total Weight: 3145 7.29/7.34 c Elapsed CPU time: 6.91795 s Remaining CPU time: 1793.08 s 7.39/7.41 c ============================[ Search Statistics ]============================== 7.39/7.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.41 c =============================================================================== 7.39/7.41 c | 0 | 43197 45955 74635 | 15318 0 nan | 0.000 % | 7.39/7.42 c =============================================================================== 7.39/7.42 c core #257 7.39/7.42 c Core size: 211 Core Weight: 2 Total Weight: 3147 7.39/7.42 c Elapsed CPU time: 6.99294 s Remaining CPU time: 1793.01 s 7.39/7.49 c Learning 1 hard constraints 7.39/7.49 c ============================[ Search Statistics ]============================== 7.39/7.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.50 c =============================================================================== 7.39/7.50 c | 0 | 42948 46153 74851 | 15384 0 nan | 0.000 % | 7.49/7.50 c =============================================================================== 7.49/7.50 c core #258 7.49/7.50 c Core size: 208 Core Weight: 1 Total Weight: 3148 7.49/7.50 c Elapsed CPU time: 7.06992 s Remaining CPU time: 1792.93 s 7.49/7.58 c Learning 2 hard constraints 7.49/7.58 c ============================[ Search Statistics ]============================== 7.49/7.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.58 c =============================================================================== 7.49/7.58 c | 0 | 43144 46352 75054 | 15450 0 nan | 0.000 % | 7.49/7.58 c =============================================================================== 7.49/7.58 c core #259 7.49/7.58 c Core size: 223 Core Weight: 1 Total Weight: 3149 7.49/7.58 c Elapsed CPU time: 7.14591 s Remaining CPU time: 1792.85 s 7.59/7.66 c Learning 1 hard constraints 7.59/7.66 c ============================[ Search Statistics ]============================== 7.59/7.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.66 c =============================================================================== 7.59/7.66 c | 0 | 43363 46564 75478 | 15521 0 nan | 0.000 % | 7.59/7.66 c =============================================================================== 7.59/7.66 c core #260 7.59/7.66 c Core size: 231 Core Weight: 1 Total Weight: 3150 7.59/7.66 c Elapsed CPU time: 7.2209 s Remaining CPU time: 1792.78 s 7.69/7.74 c Learning 2 hard constraints 7.69/7.74 c ============================[ Search Statistics ]============================== 7.69/7.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.74 c =============================================================================== 7.69/7.74 c | 0 | 43580 46778 75940 | 15592 0 nan | 0.000 % | 7.69/7.75 c =============================================================================== 7.69/7.75 c core #261 7.69/7.75 c Core size: 228 Core Weight: 1 Total Weight: 3151 7.69/7.75 c Elapsed CPU time: 7.29789 s Remaining CPU time: 1792.7 s 7.79/7.82 c Learning 1 hard constraints 7.79/7.82 c ============================[ Search Statistics ]============================== 7.79/7.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.82 c =============================================================================== 7.79/7.82 c | 0 | 43797 46990 76282 | 15663 0 nan | 0.000 % | 7.79/7.83 c =============================================================================== 7.79/7.83 c core #262 7.79/7.83 c Core size: 285 Core Weight: 1 Total Weight: 3152 7.79/7.83 c Elapsed CPU time: 7.37788 s Remaining CPU time: 1792.62 s 7.89/7.90 c ============================[ Search Statistics ]============================== 7.89/7.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.90 c =============================================================================== 7.89/7.90 c | 0 | 44068 47255 76584 | 15751 0 nan | 0.000 % | 7.89/7.92 c =============================================================================== 7.89/7.92 c core #263 7.89/7.92 c Core size: 380 Core Weight: 1 Total Weight: 3153 7.89/7.92 c Elapsed CPU time: 7.46286 s Remaining CPU time: 1792.54 s 7.89/7.99 c Learning 1 hard constraints 7.89/7.99 c ============================[ Search Statistics ]============================== 7.89/7.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.99 c =============================================================================== 7.89/7.99 c | 0 | 44430 47617 77101 | 15872 0 nan | 0.000 % | 7.99/8.01 c =============================================================================== 7.99/8.01 c core #264 7.99/8.01 c Core size: 306 Core Weight: 1 Total Weight: 3154 7.99/8.01 c Elapsed CPU time: 7.54285 s Remaining CPU time: 1792.46 s 7.99/8.08 c Learning 1 hard constraints 7.99/8.08 c ============================[ Search Statistics ]============================== 7.99/8.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.08 c =============================================================================== 7.99/8.08 c | 0 | 44723 47901 77622 | 15967 0 nan | 0.000 % | 8.09/8.10 c =============================================================================== 8.09/8.10 c core #265 8.09/8.10 c Core size: 517 Core Weight: 1 Total Weight: 3155 8.09/8.10 c Elapsed CPU time: 7.62784 s Remaining CPU time: 1792.37 s 8.09/8.18 c ============================[ Search Statistics ]============================== 8.09/8.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.18 c =============================================================================== 8.09/8.18 c | 0 | 45220 48392 78156 | 16130 0 nan | 0.000 % | 8.19/8.20 c =============================================================================== 8.19/8.20 c core #266 8.19/8.20 c Core size: 513 Core Weight: 1 Total Weight: 3156 8.19/8.20 c Elapsed CPU time: 7.71483 s Remaining CPU time: 1792.29 s 8.19/8.27 c ============================[ Search Statistics ]============================== 8.19/8.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.27 c =============================================================================== 8.19/8.27 c | 0 | 45715 48883 78770 | 16294 0 nan | 0.000 % | 8.19/8.29 c =============================================================================== 8.19/8.29 c core #267 8.19/8.29 c Core size: 451 Core Weight: 1 Total Weight: 3157 8.19/8.29 c Elapsed CPU time: 7.80481 s Remaining CPU time: 1792.2 s 8.28/8.37 c ============================[ Search Statistics ]============================== 8.28/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.37 c =============================================================================== 8.28/8.37 c | 0 | 46145 49304 79346 | 16434 0 nan | 0.000 % | 8.28/8.39 c =============================================================================== 8.28/8.39 c core #268 8.28/8.39 c Core size: 295 Core Weight: 1 Total Weight: 3158 8.28/8.39 c Elapsed CPU time: 7.8948 s Remaining CPU time: 1792.11 s 8.39/8.47 c ============================[ Search Statistics ]============================== 8.39/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.47 c =============================================================================== 8.39/8.47 c | 0 | 46427 49581 79735 | 16527 0 nan | 0.000 % | 8.39/8.49 c =============================================================================== 8.39/8.49 c core #269 8.39/8.49 c Core size: 295 Core Weight: 1 Total Weight: 3159 8.39/8.49 c Elapsed CPU time: 7.98578 s Remaining CPU time: 1792.01 s 8.49/8.57 c ============================[ Search Statistics ]============================== 8.49/8.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.57 c =============================================================================== 8.49/8.57 c | 0 | 46707 49849 80058 | 16616 0 nan | 0.000 % | 8.49/8.59 c =============================================================================== 8.49/8.59 c core #270 8.49/8.59 c Core size: 286 Core Weight: 1 Total Weight: 3160 8.49/8.59 c Elapsed CPU time: 8.08277 s Remaining CPU time: 1791.92 s 8.59/8.67 c ============================[ Search Statistics ]============================== 8.59/8.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.67 c =============================================================================== 8.59/8.67 c | 0 | 46976 50106 80454 | 16702 0 nan | 0.000 % | 8.59/8.68 c =============================================================================== 8.59/8.68 c core #271 8.59/8.68 c Core size: 209 Core Weight: 2 Total Weight: 3162 8.59/8.68 c Elapsed CPU time: 8.16476 s Remaining CPU time: 1791.84 s 8.69/8.76 c ============================[ Search Statistics ]============================== 8.69/8.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.76 c =============================================================================== 8.69/8.76 c | 0 | 47180 50310 80680 | 16770 0 nan | 0.000 % | 8.69/8.80 c =============================================================================== 8.69/8.80 c core #272 8.69/8.80 c Core size: 694 Core Weight: 1 Total Weight: 3163 8.69/8.80 c Elapsed CPU time: 8.27474 s Remaining CPU time: 1791.73 s 8.79/8.88 c ============================[ Search Statistics ]============================== 8.79/8.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.88 c =============================================================================== 8.79/8.88 c | 0 | 47938 50967 81653 | 16989 0 nan | 0.000 % | 8.88/8.92 c =============================================================================== 8.88/8.92 c core #273 8.88/8.92 c Core size: 552 Core Weight: 1 Total Weight: 3164 8.88/8.92 c Elapsed CPU time: 8.38872 s Remaining CPU time: 1791.61 s 8.99/9.00 c ============================[ Search Statistics ]============================== 8.99/9.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.00 c =============================================================================== 8.99/9.00 c | 0 | 48464 51471 82317 | 17157 0 nan | 0.000 % | 8.99/9.04 c =============================================================================== 8.99/9.04 c core #274 8.99/9.04 c Core size: 604 Core Weight: 1 Total Weight: 3165 8.99/9.04 c Elapsed CPU time: 8.50271 s Remaining CPU time: 1791.5 s 9.09/9.12 c ============================[ Search Statistics ]============================== 9.09/9.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.12 c =============================================================================== 9.09/9.12 c | 0 | 49038 52030 83002 | 17343 0 nan | 0.000 % | 9.09/9.17 c =============================================================================== 9.09/9.17 c core #275 9.09/9.17 c Core size: 736 Core Weight: 1 Total Weight: 3166 9.09/9.17 c Elapsed CPU time: 8.62869 s Remaining CPU time: 1791.37 s 9.18/9.25 c ============================[ Search Statistics ]============================== 9.18/9.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.25 c =============================================================================== 9.18/9.25 c | 0 | 49738 52697 83799 | 17565 0 nan | 0.000 % | 9.29/9.30 c =============================================================================== 9.29/9.30 c core #276 9.29/9.30 c Core size: 650 Core Weight: 1 Total Weight: 3167 9.29/9.30 c Elapsed CPU time: 8.74867 s Remaining CPU time: 1791.25 s 9.29/9.38 c Learning 2 hard constraints 9.29/9.38 c ============================[ Search Statistics ]============================== 9.29/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.38 c =============================================================================== 9.29/9.38 c | 0 | 50359 53275 85015 | 17758 0 nan | 0.000 % | 9.39/9.43 c =============================================================================== 9.39/9.43 c core #277 9.39/9.43 c Core size: 576 Core Weight: 1 Total Weight: 3168 9.39/9.43 c Elapsed CPU time: 8.87365 s Remaining CPU time: 1791.13 s 9.49/9.52 c Learning 4 hard constraints 9.49/9.52 c ============================[ Search Statistics ]============================== 9.49/9.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.52 c =============================================================================== 9.49/9.52 c | 0 | 50901 53787 86304 | 17929 0 nan | 0.000 % | 9.49/9.56 c =============================================================================== 9.49/9.57 c core #278 9.49/9.57 c Core size: 447 Core Weight: 1 Total Weight: 3169 9.49/9.57 c Elapsed CPU time: 8.99363 s Remaining CPU time: 1791.01 s 9.59/9.65 c Learning 2 hard constraints 9.59/9.65 c ============================[ Search Statistics ]============================== 9.59/9.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.65 c =============================================================================== 9.59/9.65 c | 0 | 51315 54154 87235 | 18051 0 nan | 0.000 % | 9.59/9.70 c =============================================================================== 9.59/9.70 c core #279 9.59/9.70 c Core size: 620 Core Weight: 1 Total Weight: 3170 9.59/9.70 c Elapsed CPU time: 9.11661 s Remaining CPU time: 1790.88 s 9.69/9.78 c ============================[ Search Statistics ]============================== 9.69/9.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.78 c =============================================================================== 9.69/9.78 c | 0 | 51892 54662 88354 | 18220 0 nan | 0.000 % | 9.80/9.86 c =============================================================================== 9.80/9.86 c core #280 9.80/9.86 c Core size: 654 Core Weight: 1 Total Weight: 3171 9.80/9.86 c Elapsed CPU time: 9.26459 s Remaining CPU time: 1790.74 s 9.89/9.95 c ============================[ Search Statistics ]============================== 9.89/9.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.95 c =============================================================================== 9.89/9.95 c | 0 | 52500 55229 89185 | 18409 0 nan | 0.000 % | 9.89/9.97 c =============================================================================== 9.89/9.97 c core #281 9.89/9.97 c Core size: 432 Core Weight: 1 Total Weight: 3172 9.89/9.97 c Elapsed CPU time: 9.36458 s Remaining CPU time: 1790.64 s 9.99/10.05 c Learning 3 hard constraints 9.99/10.05 c ============================[ Search Statistics ]============================== 9.99/10.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.05 c =============================================================================== 9.99/10.05 c | 0 | 52910 55641 89778 | 18547 0 nan | 0.000 % | 9.99/10.07 c =============================================================================== 9.99/10.07 c core #282 9.99/10.07 c Core size: 418 Core Weight: 1 Total Weight: 3173 9.99/10.07 c Elapsed CPU time: 9.46556 s Remaining CPU time: 1790.53 s 10.09/10.16 c ============================[ Search Statistics ]============================== 10.09/10.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.16 c =============================================================================== 10.09/10.16 c | 0 | 53306 56019 90501 | 18673 0 nan | 0.000 % | 10.19/10.25 c =============================================================================== 10.19/10.25 c core #283 10.19/10.25 c Core size: 656 Core Weight: 1 Total Weight: 3174 10.19/10.25 c Elapsed CPU time: 9.62654 s Remaining CPU time: 1790.37 s 10.29/10.34 c Learning 1 hard constraints 10.29/10.34 c ============================[ Search Statistics ]============================== 10.29/10.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.34 c =============================================================================== 10.29/10.34 c | 0 | 53927 56588 92051 | 18862 0 nan | 0.000 % | 10.29/10.39 c =============================================================================== 10.29/10.39 c core #284 10.29/10.39 c Core size: 804 Core Weight: 1 Total Weight: 3175 10.29/10.39 c Elapsed CPU time: 9.75352 s Remaining CPU time: 1790.25 s 10.39/10.48 c Learning 12 hard constraints 10.39/10.48 c ============================[ Search Statistics ]============================== 10.39/10.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.39/10.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.39/10.48 c =============================================================================== 10.39/10.48 c | 0 | 54683 57323 94137 | 19107 0 nan | 0.000 % | 10.59/10.62 c =============================================================================== 10.59/10.62 c core #285 10.59/10.62 c Core size: 1277 Core Weight: 1 Total Weight: 3176 10.59/10.62 c Elapsed CPU time: 9.98248 s Remaining CPU time: 1790.02 s 10.69/10.71 c Learning 2 hard constraints 10.69/10.71 c ============================[ Search Statistics ]============================== 10.69/10.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.69/10.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.69/10.71 c =============================================================================== 10.69/10.71 c | 0 | 55884 58403 96258 | 19467 0 nan | 0.000 % | 10.69/10.74 c =============================================================================== 10.69/10.74 c core #286 10.69/10.74 c Core size: 346 Core Weight: 1 Total Weight: 3177 10.69/10.74 c Elapsed CPU time: 10.0915 s Remaining CPU time: 1789.91 s 10.79/10.83 c Learning 11 hard constraints 10.79/10.83 c ============================[ Search Statistics ]============================== 10.79/10.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.79/10.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.79/10.83 c =============================================================================== 10.79/10.83 c | 0 | 56207 58719 97370 | 19573 0 nan | 0.000 % | 10.89/10.95 c | 105 | 56205 58719 97370 | 21530 102 140 | 5.009 % | 10.89/11.00 c =============================================================================== 10.99/11.00 c core #287 10.99/11.00 c Core size: 1660 Core Weight: 1 Total Weight: 3178 10.99/11.00 c Elapsed CPU time: 10.3374 s Remaining CPU time: 1789.66 s 11.09/11.10 c Learning 2 hard constraints 11.09/11.10 c ============================[ Search Statistics ]============================== 11.09/11.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.09/11.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.09/11.10 c =============================================================================== 11.09/11.10 c | 0 | 57965 60154 99838 | 20051 0 nan | 0.000 % | 11.18/11.23 c =============================================================================== 11.18/11.23 c core #288 11.18/11.23 c Core size: 1560 Core Weight: 1 Total Weight: 3179 11.18/11.23 c Elapsed CPU time: 10.5534 s Remaining CPU time: 1789.45 s 11.29/11.33 c Learning 19 hard constraints 11.29/11.33 c ============================[ Search Statistics ]============================== 11.29/11.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.33 c =============================================================================== 11.29/11.33 c | 0 | 59413 61505 103266 | 20501 0 nan | 0.000 % | 11.39/11.44 c | 102 | 59413 61505 103266 | 22551 102 142 | 4.432 % | 11.49/11.54 c =============================================================================== 11.49/11.54 c core #289 11.49/11.54 c Core size: 1724 Core Weight: 1 Total Weight: 3180 11.49/11.54 c Elapsed CPU time: 10.8504 s Remaining CPU time: 1789.15 s 11.59/11.65 c Learning 11 hard constraints 11.59/11.65 c ============================[ Search Statistics ]============================== 11.59/11.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.65 c =============================================================================== 11.59/11.65 c | 0 | 61003 62914 107399 | 20971 0 nan | 0.000 % | 11.69/11.70 c =============================================================================== 11.69/11.70 c core #290 11.69/11.70 c Core size: 791 Core Weight: 1 Total Weight: 3181 11.69/11.70 c Elapsed CPU time: 10.9943 s Remaining CPU time: 1789.01 s 11.79/11.81 c Learning 5 hard constraints 11.79/11.81 c ============================[ Search Statistics ]============================== 11.79/11.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.81 c =============================================================================== 11.79/11.81 c | 0 | 61752 63650 108893 | 21216 0 nan | 0.000 % | 11.89/11.93 c | 101 | 61751 63650 108893 | 23338 100 179 | 4.262 % | 11.99/12.02 c =============================================================================== 11.99/12.03 c core #291 11.99/12.03 c Core size: 1665 Core Weight: 1 Total Weight: 3182 11.99/12.03 c Elapsed CPU time: 11.2973 s Remaining CPU time: 1788.7 s 12.09/12.13 c Learning 8 hard constraints 12.09/12.13 c ============================[ Search Statistics ]============================== 12.09/12.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.13 c =============================================================================== 12.09/12.13 c | 0 | 63292 65053 112084 | 21684 0 nan | 0.000 % | 12.19/12.27 c =============================================================================== 12.19/12.27 c core #292 12.19/12.27 c Core size: 838 Core Weight: 1 Total Weight: 3183 12.19/12.27 c Elapsed CPU time: 11.5212 s Remaining CPU time: 1788.48 s 12.29/12.37 c Learning 5 hard constraints 12.29/12.37 c ============================[ Search Statistics ]============================== 12.29/12.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.37 c =============================================================================== 12.29/12.37 c | 0 | 64086 65797 113887 | 21932 0 nan | 0.000 % | 12.39/12.44 c =============================================================================== 12.39/12.44 c core #293 12.39/12.44 c Core size: 654 Core Weight: 1 Total Weight: 3184 12.39/12.44 c Elapsed CPU time: 11.6812 s Remaining CPU time: 1788.32 s 12.48/12.55 c ============================[ Search Statistics ]============================== 12.48/12.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.48/12.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.48/12.55 c =============================================================================== 12.48/12.55 c | 0 | 64705 66384 114928 | 22128 0 nan | 0.000 % | 12.48/12.59 c =============================================================================== 12.48/12.59 c core #294 12.48/12.59 c Core size: 454 Core Weight: 1 Total Weight: 3185 12.48/12.59 c Elapsed CPU time: 11.8102 s Remaining CPU time: 1788.19 s 12.69/12.70 c Learning 5 hard constraints 12.69/12.70 c ============================[ Search Statistics ]============================== 12.69/12.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.70 c =============================================================================== 12.69/12.70 c | 0 | 65143 66811 115739 | 22270 0 nan | 0.000 % | 12.69/12.74 c =============================================================================== 12.69/12.74 c core #295 12.69/12.74 c Core size: 586 Core Weight: 1 Total Weight: 3186 12.69/12.74 c Elapsed CPU time: 11.9402 s Remaining CPU time: 1788.06 s 12.79/12.85 c Learning 5 hard constraints 12.79/12.85 c ============================[ Search Statistics ]============================== 12.79/12.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.85 c =============================================================================== 12.79/12.85 c | 0 | 65696 67358 116898 | 22452 0 nan | 0.000 % | 12.79/12.87 c =============================================================================== 12.79/12.87 c core #296 12.79/12.87 c Core size: 371 Core Weight: 1 Total Weight: 3187 12.79/12.87 c Elapsed CPU time: 12.0632 s Remaining CPU time: 1787.94 s 12.89/12.97 c Learning 1 hard constraints 12.89/12.97 c ============================[ Search Statistics ]============================== 12.89/12.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.89/12.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.89/12.97 c =============================================================================== 12.89/12.97 c | 0 | 66053 67708 117740 | 22569 0 nan | 0.000 % | 12.99/13.08 c =============================================================================== 12.99/13.08 c core #297 12.99/13.08 c Core size: 662 Core Weight: 1 Total Weight: 3188 12.99/13.08 c Elapsed CPU time: 12.2371 s Remaining CPU time: 1787.76 s 13.09/13.19 c Learning 10 hard constraints 13.09/13.19 c ============================[ Search Statistics ]============================== 13.09/13.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.19 c =============================================================================== 13.09/13.19 c | 0 | 66664 68303 119293 | 22767 0 nan | 0.000 % | 13.19/13.24 c =============================================================================== 13.19/13.24 c core #298 13.19/13.24 c Core size: 580 Core Weight: 1 Total Weight: 3189 13.19/13.24 c Elapsed CPU time: 12.3761 s Remaining CPU time: 1787.62 s 13.28/13.35 c Learning 2 hard constraints 13.28/13.35 c ============================[ Search Statistics ]============================== 13.28/13.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.28/13.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.28/13.35 c =============================================================================== 13.28/13.35 c | 0 | 67214 68849 120309 | 22949 0 nan | 0.000 % | 13.28/13.40 c =============================================================================== 13.28/13.40 c core #299 13.28/13.40 c Core size: 664 Core Weight: 1 Total Weight: 3190 13.28/13.40 c Elapsed CPU time: 12.5181 s Remaining CPU time: 1787.48 s 13.49/13.51 c Learning 5 hard constraints 13.49/13.51 c ============================[ Search Statistics ]============================== 13.49/13.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.51 c =============================================================================== 13.49/13.51 c | 0 | 67838 69444 121618 | 23148 0 nan | 0.000 % | 13.49/13.56 c =============================================================================== 13.49/13.56 c core #300 13.49/13.56 c Core size: 810 Core Weight: 1 Total Weight: 3191 13.49/13.56 c Elapsed CPU time: 12.6741 s Remaining CPU time: 1787.33 s 13.58/13.67 c Learning 1 hard constraints 13.58/13.67 c ============================[ Search Statistics ]============================== 13.58/13.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.58/13.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.58/13.67 c =============================================================================== 13.58/13.67 c | 0 | 68606 70181 122662 | 23393 0 nan | 0.000 % | 13.69/13.72 c =============================================================================== 13.69/13.72 c core #301 13.69/13.72 c Core size: 797 Core Weight: 1 Total Weight: 3192 13.69/13.72 c Elapsed CPU time: 12.8171 s Remaining CPU time: 1787.18 s 13.78/13.84 c ============================[ Search Statistics ]============================== 13.78/13.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.78/13.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.78/13.84 c =============================================================================== 13.78/13.84 c | 0 | 69367 70928 123831 | 23642 0 nan | 0.000 % | 13.88/13.93 c =============================================================================== 13.88/13.93 c core #302 13.88/13.93 c Core size: 1352 Core Weight: 1 Total Weight: 3193 13.88/13.93 c Elapsed CPU time: 13.012 s Remaining CPU time: 1786.99 s 13.99/14.04 c ============================[ Search Statistics ]============================== 13.99/14.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.99/14.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.99/14.04 c =============================================================================== 13.99/14.04 c | 0 | 70633 72130 125590 | 24043 0 nan | 0.000 % | 14.08/14.10 c =============================================================================== 14.08/14.10 c core #303 14.08/14.10 c Core size: 650 Core Weight: 1 Total Weight: 3194 14.08/14.10 c Elapsed CPU time: 13.161 s Remaining CPU time: 1786.84 s 14.19/14.22 c Learning 3 hard constraints 14.19/14.22 c ============================[ Search Statistics ]============================== 14.19/14.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.22 c =============================================================================== 14.19/14.22 c | 0 | 71250 72729 126656 | 24243 0 nan | 0.000 % | 14.19/14.26 c =============================================================================== 14.19/14.26 c core #304 14.19/14.26 c Core size: 651 Core Weight: 1 Total Weight: 3195 14.19/14.26 c Elapsed CPU time: 13.309 s Remaining CPU time: 1786.69 s 14.29/14.38 c Learning 2 hard constraints 14.29/14.38 c ============================[ Search Statistics ]============================== 14.29/14.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.29/14.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.29/14.38 c =============================================================================== 14.29/14.38 c | 0 | 71867 73345 127573 | 24448 0 nan | 0.000 % | 14.38/14.43 c =============================================================================== 14.38/14.43 c core #305 14.38/14.43 c Core size: 378 Core Weight: 1 Total Weight: 3196 14.38/14.43 c Elapsed CPU time: 13.458 s Remaining CPU time: 1786.54 s 14.49/14.55 c Learning 4 hard constraints 14.49/14.55 c ============================[ Search Statistics ]============================== 14.49/14.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.49/14.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.49/14.55 c =============================================================================== 14.49/14.55 c | 0 | 72221 73685 128252 | 24561 0 nan | 0.000 % | 14.49/14.57 c =============================================================================== 14.49/14.57 c core #306 14.49/14.57 c Core size: 313 Core Weight: 1 Total Weight: 3197 14.49/14.57 c Elapsed CPU time: 13.5899 s Remaining CPU time: 1786.41 s 14.58/14.68 c ============================[ Search Statistics ]============================== 14.58/14.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.58/14.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.58/14.68 c =============================================================================== 14.58/14.68 c | 0 | 72513 73949 128856 | 24649 0 nan | 0.000 % | 14.68/14.72 c =============================================================================== 14.68/14.73 c core #307 14.68/14.73 c Core size: 382 Core Weight: 1 Total Weight: 3198 14.68/14.73 c Elapsed CPU time: 13.7309 s Remaining CPU time: 1786.27 s 14.78/14.84 c Learning 4 hard constraints 14.78/14.84 c ============================[ Search Statistics ]============================== 14.78/14.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.78/14.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.78/14.84 c =============================================================================== 14.78/14.84 c | 0 | 72877 74308 129860 | 24769 0 nan | 0.000 % | 14.78/14.87 c =============================================================================== 14.78/14.87 c core #308 14.78/14.87 c Core size: 184 Core Weight: 1 Total Weight: 3199 14.78/14.87 c Elapsed CPU time: 13.8669 s Remaining CPU time: 1786.13 s 14.88/14.98 c Learning 2 hard constraints 14.88/14.98 c ============================[ Search Statistics ]============================== 14.88/14.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.88/14.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.88/14.98 c =============================================================================== 14.88/14.98 c | 0 | 73051 74485 130112 | 24828 0 nan | 0.000 % | 14.99/15.02 c =============================================================================== 14.99/15.02 c core #309 14.99/15.02 c Core size: 525 Core Weight: 1 Total Weight: 3200 14.99/15.02 c Elapsed CPU time: 13.9989 s Remaining CPU time: 1786 s 15.09/15.13 c ============================[ Search Statistics ]============================== 15.09/15.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.09/15.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.09/15.13 c =============================================================================== 15.09/15.13 c | 0 | 73552 74984 130691 | 24994 0 nan | 0.000 % | 15.09/15.16 c =============================================================================== 15.09/15.16 c core #310 15.09/15.16 c Core size: 184 Core Weight: 1 Total Weight: 3201 15.09/15.16 c Elapsed CPU time: 14.1299 s Remaining CPU time: 1785.87 s 15.18/15.28 c Learning 1 hard constraints 15.18/15.28 c ============================[ Search Statistics ]============================== 15.18/15.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.18/15.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.18/15.28 c =============================================================================== 15.18/15.28 c | 0 | 73727 75160 130991 | 25053 0 nan | 0.000 % | 15.29/15.31 c =============================================================================== 15.29/15.31 c core #311 15.29/15.31 c Core size: 181 Core Weight: 2 Total Weight: 3203 15.29/15.31 c Elapsed CPU time: 14.2628 s Remaining CPU time: 1785.74 s 15.39/15.43 c Learning 2 hard constraints 15.39/15.43 c ============================[ Search Statistics ]============================== 15.39/15.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.39/15.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.39/15.43 c =============================================================================== 15.39/15.43 c | 0 | 73900 75335 131506 | 25111 0 nan | 0.000 % | 15.39/15.46 c =============================================================================== 15.39/15.46 c core #312 15.39/15.46 c Core size: 181 Core Weight: 1 Total Weight: 3204 15.39/15.46 c Elapsed CPU time: 14.3978 s Remaining CPU time: 1785.6 s 15.48/15.58 c ============================[ Search Statistics ]============================== 15.48/15.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.48/15.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.48/15.58 c =============================================================================== 15.48/15.58 c | 0 | 74074 75508 131814 | 25169 0 nan | 0.000 % | 15.59/15.60 c =============================================================================== 15.59/15.60 c core #313 15.59/15.60 c Core size: 181 Core Weight: 1 Total Weight: 3205 15.59/15.60 c Elapsed CPU time: 14.5258 s Remaining CPU time: 1785.47 s 15.69/15.72 c ============================[ Search Statistics ]============================== 15.69/15.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.72 c =============================================================================== 15.69/15.72 c | 0 | 74249 75680 132257 | 25226 0 nan | 0.000 % | 15.69/15.74 c =============================================================================== 15.69/15.74 c core #314 15.69/15.74 c Core size: 181 Core Weight: 4 Total Weight: 3209 15.69/15.74 c Elapsed CPU time: 14.6498 s Remaining CPU time: 1785.35 s 15.78/15.86 c ============================[ Search Statistics ]============================== 15.78/15.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.78/15.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.78/15.86 c =============================================================================== 15.78/15.86 c | 0 | 74425 75850 132854 | 25283 0 nan | 0.000 % | 15.78/15.89 c =============================================================================== 15.78/15.89 c core #315 15.78/15.89 c Core size: 282 Core Weight: 1 Total Weight: 3210 15.78/15.89 c Elapsed CPU time: 14.7818 s Remaining CPU time: 1785.22 s 15.98/16.01 c Learning 1 hard constraints 15.98/16.01 c ============================[ Search Statistics ]============================== 15.98/16.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.98/16.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.98/16.01 c =============================================================================== 15.98/16.01 c | 0 | 74691 76116 133133 | 25372 0 nan | 0.000 % | 15.98/16.04 c =============================================================================== 15.98/16.04 c core #316 15.98/16.04 c Core size: 281 Core Weight: 1 Total Weight: 3211 15.98/16.04 c Elapsed CPU time: 14.9117 s Remaining CPU time: 1785.09 s 16.08/16.16 c Learning 1 hard constraints 16.08/16.16 c ============================[ Search Statistics ]============================== 16.08/16.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.08/16.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.08/16.16 c =============================================================================== 16.08/16.16 c | 0 | 74957 76381 133410 | 25460 0 nan | 0.000 % | 16.08/16.18 c =============================================================================== 16.08/16.18 c core #317 16.08/16.18 c Core size: 281 Core Weight: 1 Total Weight: 3212 16.08/16.18 c Elapsed CPU time: 15.0427 s Remaining CPU time: 1784.96 s 16.29/16.30 c ============================[ Search Statistics ]============================== 16.29/16.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.29/16.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.29/16.30 c =============================================================================== 16.29/16.30 c | 0 | 75228 76647 134000 | 25549 0 nan | 0.000 % | 16.29/16.33 c =============================================================================== 16.29/16.33 c core #318 16.29/16.33 c Core size: 431 Core Weight: 1 Total Weight: 3213 16.29/16.33 c Elapsed CPU time: 15.1837 s Remaining CPU time: 1784.82 s 16.39/16.45 c Learning 1 hard constraints 16.39/16.45 c ============================[ Search Statistics ]============================== 16.39/16.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.39/16.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.39/16.45 c =============================================================================== 16.39/16.45 c | 0 | 75642 77055 134604 | 25685 0 nan | 0.000 % | 16.39/16.49 c =============================================================================== 16.39/16.49 c core #319 16.39/16.49 c Core size: 362 Core Weight: 1 Total Weight: 3214 16.39/16.49 c Elapsed CPU time: 15.3257 s Remaining CPU time: 1784.67 s 16.59/16.61 c ============================[ Search Statistics ]============================== 16.59/16.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.59/16.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.59/16.61 c =============================================================================== 16.59/16.61 c | 0 | 75982 77369 135072 | 25789 0 nan | 0.000 % | 16.59/16.65 c =============================================================================== 16.59/16.65 c core #320 16.59/16.65 c Core size: 360 Core Weight: 1 Total Weight: 3215 16.59/16.65 c Elapsed CPU time: 15.4696 s Remaining CPU time: 1784.53 s 16.69/16.77 c ============================[ Search Statistics ]============================== 16.69/16.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.69/16.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.69/16.77 c =============================================================================== 16.69/16.77 c | 0 | 76321 77688 135561 | 25896 0 nan | 0.000 % | 16.79/16.82 c =============================================================================== 16.79/16.82 c core #321 16.79/16.82 c Core size: 375 Core Weight: 1 Total Weight: 3216 16.79/16.82 c Elapsed CPU time: 15.6206 s Remaining CPU time: 1784.38 s 16.89/16.94 c Learning 1 hard constraints 16.89/16.94 c ============================[ Search Statistics ]============================== 16.89/16.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.89/16.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.89/16.94 c =============================================================================== 16.89/16.94 c | 0 | 76612 78040 136071 | 26013 0 nan | 0.000 % | 16.89/16.98 c =============================================================================== 16.89/16.98 c core #322 16.89/16.98 c Core size: 514 Core Weight: 1 Total Weight: 3217 16.89/16.98 c Elapsed CPU time: 15.7726 s Remaining CPU time: 1784.23 s 17.09/17.10 c Learning 1 hard constraints 17.09/17.10 c ============================[ Search Statistics ]============================== 17.09/17.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.09/17.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.09/17.10 c =============================================================================== 17.09/17.10 c | 0 | 77101 78526 136624 | 26175 0 nan | 0.000 % | 17.09/17.16 c =============================================================================== 17.09/17.16 c core #323 17.09/17.16 c Core size: 448 Core Weight: 1 Total Weight: 3218 17.09/17.16 c Elapsed CPU time: 15.9396 s Remaining CPU time: 1784.06 s 17.19/17.29 c ============================[ Search Statistics ]============================== 17.19/17.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.19/17.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.19/17.29 c =============================================================================== 17.19/17.29 c | 0 | 77531 78951 137108 | 26317 0 nan | 0.000 % | 17.29/17.32 c =============================================================================== 17.29/17.32 c core #324 17.29/17.32 c Core size: 365 Core Weight: 1 Total Weight: 3219 17.29/17.32 c Elapsed CPU time: 16.0846 s Remaining CPU time: 1783.92 s 17.39/17.45 c ============================[ Search Statistics ]============================== 17.39/17.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.39/17.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.39/17.45 c =============================================================================== 17.39/17.45 c | 0 | 77880 79274 137832 | 26424 0 nan | 0.000 % | 17.49/17.51 c =============================================================================== 17.49/17.51 c core #325 17.49/17.51 c Core size: 544 Core Weight: 1 Total Weight: 3220 17.49/17.51 c Elapsed CPU time: 16.2525 s Remaining CPU time: 1783.75 s 17.59/17.64 c Learning 2 hard constraints 17.59/17.64 c ============================[ Search Statistics ]============================== 17.59/17.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.59/17.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.59/17.64 c =============================================================================== 17.59/17.64 c | 0 | 78392 79761 138998 | 26587 0 nan | 0.000 % | 17.69/17.70 c =============================================================================== 17.69/17.70 c core #326 17.69/17.70 c Core size: 581 Core Weight: 1 Total Weight: 3221 17.69/17.70 c Elapsed CPU time: 16.4315 s Remaining CPU time: 1783.57 s 17.78/17.83 c Learning 1 hard constraints 17.78/17.83 c ============================[ Search Statistics ]============================== 17.78/17.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.83 c =============================================================================== 17.78/17.83 c | 0 | 78932 80256 139945 | 26752 0 nan | 0.000 % | 17.88/17.90 c =============================================================================== 17.88/17.90 c core #327 17.88/17.90 c Core size: 503 Core Weight: 1 Total Weight: 3222 17.88/17.90 c Elapsed CPU time: 16.6065 s Remaining CPU time: 1783.39 s 17.99/18.03 c ============================[ Search Statistics ]============================== 17.99/18.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.99/18.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.99/18.03 c =============================================================================== 17.99/18.03 c | 0 | 79413 80717 140916 | 26905 0 nan | 0.000 % | 18.08/18.10 c =============================================================================== 18.08/18.10 c core #328 18.08/18.10 c Core size: 440 Core Weight: 1 Total Weight: 3223 18.08/18.10 c Elapsed CPU time: 16.7904 s Remaining CPU time: 1783.21 s 18.19/18.23 c Learning 2 hard constraints 18.19/18.23 c ============================[ Search Statistics ]============================== 18.19/18.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.19/18.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.19/18.23 c =============================================================================== 18.19/18.23 c | 0 | 79823 81115 141895 | 27038 0 nan | 0.000 % | 18.19/18.28 c =============================================================================== 18.19/18.29 c core #329 18.19/18.29 c Core size: 494 Core Weight: 1 Total Weight: 3224 18.19/18.29 c Elapsed CPU time: 16.9614 s Remaining CPU time: 1783.04 s 18.39/18.42 c Learning 1 hard constraints 18.39/18.42 c ============================[ Search Statistics ]============================== 18.39/18.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.39/18.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.39/18.42 c =============================================================================== 18.39/18.42 c | 0 | 80552 81585 142810 | 27195 0 nan | 0.000 % | 18.39/18.48 c =============================================================================== 18.39/18.48 c core #330 18.39/18.48 c Core size: 533 Core Weight: 1 Total Weight: 3225 18.39/18.48 c Elapsed CPU time: 17.1374 s Remaining CPU time: 1782.86 s 18.59/18.61 c Learning 3 hard constraints 18.59/18.61 c ============================[ Search Statistics ]============================== 18.59/18.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.59/18.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.59/18.61 c =============================================================================== 18.59/18.61 c | 0 | 81051 82071 143493 | 27357 0 nan | 0.000 % | 18.59/18.69 c =============================================================================== 18.59/18.69 c core #331 18.59/18.69 c Core size: 315 Core Weight: 1 Total Weight: 3226 18.59/18.69 c Elapsed CPU time: 17.3294 s Remaining CPU time: 1782.67 s 18.79/18.82 c Learning 1 hard constraints 18.79/18.82 c ============================[ Search Statistics ]============================== 18.79/18.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.79/18.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.79/18.82 c =============================================================================== 18.79/18.82 c | 0 | 81349 82357 143972 | 27452 0 nan | 0.000 % | 18.79/18.89 c =============================================================================== 18.79/18.89 c core #332 18.79/18.89 c Core size: 400 Core Weight: 1 Total Weight: 3227 18.79/18.89 c Elapsed CPU time: 17.5233 s Remaining CPU time: 1782.48 s 18.98/19.02 c Learning 2 hard constraints 18.98/19.02 c ============================[ Search Statistics ]============================== 18.98/19.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.98/19.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.98/19.02 c =============================================================================== 18.98/19.02 c | 0 | 81712 82699 144523 | 27566 0 nan | 0.000 % | 18.98/19.09 c =============================================================================== 18.98/19.09 c core #333 18.98/19.09 c Core size: 501 Core Weight: 1 Total Weight: 3228 18.98/19.09 c Elapsed CPU time: 17.7013 s Remaining CPU time: 1782.3 s 19.19/19.22 c ============================[ Search Statistics ]============================== 19.19/19.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.19/19.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.19/19.22 c =============================================================================== 19.19/19.22 c | 0 | 82176 83136 145239 | 27712 0 nan | 0.000 % | 19.19/19.28 c =============================================================================== 19.19/19.28 c core #334 19.19/19.28 c Core size: 510 Core Weight: 1 Total Weight: 3229 19.19/19.28 c Elapsed CPU time: 17.8793 s Remaining CPU time: 1782.12 s 19.38/19.42 c Learning 1 hard constraints 19.38/19.42 c ============================[ Search Statistics ]============================== 19.38/19.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.38/19.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.38/19.42 c =============================================================================== 19.38/19.42 c | 0 | 82649 83578 145988 | 27859 0 nan | 0.000 % | 19.38/19.47 c =============================================================================== 19.38/19.48 c core #335 19.38/19.48 c Core size: 702 Core Weight: 1 Total Weight: 3230 19.38/19.48 c Elapsed CPU time: 18.0583 s Remaining CPU time: 1781.94 s 19.58/19.61 c Learning 4 hard constraints 19.58/19.61 c ============================[ Search Statistics ]============================== 19.58/19.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.58/19.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.58/19.61 c =============================================================================== 19.58/19.61 c | 0 | 83312 84227 147477 | 28075 0 nan | 0.000 % | 19.58/19.67 c =============================================================================== 19.58/19.68 c core #336 19.58/19.68 c Core size: 544 Core Weight: 1 Total Weight: 3231 19.58/19.68 c Elapsed CPU time: 18.2422 s Remaining CPU time: 1781.76 s 19.79/19.81 c ============================[ Search Statistics ]============================== 19.79/19.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.79/19.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.79/19.81 c =============================================================================== 19.79/19.81 c | 0 | 83819 84716 148248 | 28238 0 nan | 0.000 % | 19.79/19.87 c =============================================================================== 19.79/19.87 c core #337 19.79/19.87 c Core size: 553 Core Weight: 1 Total Weight: 3232 19.79/19.87 c Elapsed CPU time: 18.4292 s Remaining CPU time: 1781.57 s 19.98/20.01 c ============================[ Search Statistics ]============================== 19.98/20.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.98/20.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.98/20.01 c =============================================================================== 19.98/20.01 c | 0 | 84330 85190 148908 | 28396 0 nan | 0.000 % | 20.09/20.12 c =============================================================================== 20.09/20.12 c core #338 20.09/20.12 c Core size: 485 Core Weight: 1 Total Weight: 3233 20.09/20.12 c Elapsed CPU time: 18.6602 s Remaining CPU time: 1781.34 s 20.18/20.26 c Learning 1 hard constraints 20.18/20.26 c ============================[ Search Statistics ]============================== 20.18/20.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.18/20.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.18/20.26 c =============================================================================== 20.18/20.26 c | 0 | 84797 85630 150417 | 28543 0 nan | 0.000 % | 20.28/20.36 c =============================================================================== 20.28/20.36 c core #339 20.28/20.36 c Core size: 617 Core Weight: 1 Total Weight: 3234 20.28/20.36 c Elapsed CPU time: 18.8781 s Remaining CPU time: 1781.12 s 20.39/20.50 c Learning 1 hard constraints 20.39/20.50 c ============================[ Search Statistics ]============================== 20.39/20.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.39/20.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.39/20.50 c =============================================================================== 20.39/20.50 c | 0 | 85380 86197 151610 | 28732 0 nan | 0.000 % | 20.48/20.60 c =============================================================================== 20.59/20.60 c core #340 20.59/20.60 c Core size: 477 Core Weight: 1 Total Weight: 3235 20.59/20.60 c Elapsed CPU time: 19.1011 s Remaining CPU time: 1780.9 s 20.69/20.74 c Learning 1 hard constraints 20.69/20.74 c ============================[ Search Statistics ]============================== 20.69/20.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.69/20.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.69/20.74 c =============================================================================== 20.69/20.74 c | 0 | 85827 86637 152358 | 28879 0 nan | 0.000 % | 20.79/20.83 c =============================================================================== 20.79/20.83 c core #341 20.79/20.83 c Core size: 741 Core Weight: 1 Total Weight: 3236 20.79/20.83 c Elapsed CPU time: 19.3211 s Remaining CPU time: 1780.68 s 20.89/20.97 c Learning 2 hard constraints 20.89/20.97 c ============================[ Search Statistics ]============================== 20.89/20.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.89/20.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.89/20.97 c =============================================================================== 20.89/20.97 c | 0 | 86533 87334 153434 | 29111 0 nan | 0.000 % | 20.98/21.08 c =============================================================================== 20.98/21.08 c core #342 20.98/21.08 c Core size: 592 Core Weight: 1 Total Weight: 3237 20.98/21.08 c Elapsed CPU time: 19.548 s Remaining CPU time: 1780.45 s 21.18/21.22 c ============================[ Search Statistics ]============================== 21.18/21.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.18/21.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.18/21.22 c =============================================================================== 21.18/21.22 c | 0 | 87093 87886 154223 | 29295 0 nan | 0.000 % | 21.28/21.31 c =============================================================================== 21.28/21.31 c core #343 21.28/21.31 c Core size: 462 Core Weight: 1 Total Weight: 3238 21.28/21.31 c Elapsed CPU time: 19.766 s Remaining CPU time: 1780.23 s 21.39/21.46 c ============================[ Search Statistics ]============================== 21.39/21.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.46 c =============================================================================== 21.39/21.46 c | 0 | 87526 88297 155186 | 29432 0 nan | 0.000 % | 21.48/21.58 c =============================================================================== 21.48/21.58 c core #344 21.48/21.58 c Core size: 560 Core Weight: 1 Total Weight: 3239 21.48/21.58 c Elapsed CPU time: 20.014 s Remaining CPU time: 1779.99 s 21.68/21.72 c Learning 2 hard constraints 21.68/21.72 c ============================[ Search Statistics ]============================== 21.68/21.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.68/21.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.68/21.72 c =============================================================================== 21.68/21.72 c | 0 | 88052 88815 156246 | 29605 0 nan | 0.000 % | 21.78/21.81 c =============================================================================== 21.78/21.82 c core #345 21.78/21.82 c Core size: 668 Core Weight: 1 Total Weight: 3240 21.78/21.82 c Elapsed CPU time: 20.2299 s Remaining CPU time: 1779.77 s 21.89/21.96 c Learning 1 hard constraints 21.89/21.96 c ============================[ Search Statistics ]============================== 21.89/21.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.89/21.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.89/21.96 c =============================================================================== 21.89/21.96 c | 0 | 88676 89398 157555 | 29799 0 nan | 0.000 % | 21.99/22.06 c =============================================================================== 21.99/22.07 c core #346 21.99/22.07 c Core size: 700 Core Weight: 1 Total Weight: 3241 21.99/22.07 c Elapsed CPU time: 20.4569 s Remaining CPU time: 1779.54 s 22.19/22.21 c Learning 3 hard constraints 22.19/22.21 c ============================[ Search Statistics ]============================== 22.19/22.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.19/22.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.19/22.21 c =============================================================================== 22.19/22.21 c | 0 | 89323 90012 159249 | 30004 0 nan | 0.000 % | 22.29/22.35 c =============================================================================== 22.29/22.35 c core #347 22.29/22.35 c Core size: 1081 Core Weight: 1 Total Weight: 3242 22.29/22.35 c Elapsed CPU time: 20.7258 s Remaining CPU time: 1779.27 s 22.49/22.50 c Learning 4 hard constraints 22.49/22.50 c ============================[ Search Statistics ]============================== 22.49/22.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.49/22.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.49/22.50 c =============================================================================== 22.49/22.50 c | 0 | 90334 90948 161557 | 30316 0 nan | 0.000 % | 22.58/22.64 c =============================================================================== 22.58/22.65 c core #348 22.58/22.65 c Core size: 702 Core Weight: 1 Total Weight: 3243 22.58/22.65 c Elapsed CPU time: 21.0018 s Remaining CPU time: 1779 s 22.78/22.80 c Learning 2 hard constraints 22.78/22.80 c ============================[ Search Statistics ]============================== 22.78/22.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.78/22.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.78/22.80 c =============================================================================== 22.78/22.80 c | 0 | 90984 91545 163503 | 30515 0 nan | 0.000 % | 22.88/22.93 c =============================================================================== 22.88/22.93 c core #349 22.88/22.93 c Core size: 791 Core Weight: 1 Total Weight: 3244 22.88/22.93 c Elapsed CPU time: 21.2678 s Remaining CPU time: 1778.73 s 22.99/23.09 c Learning 7 hard constraints 22.99/23.09 c ============================[ Search Statistics ]============================== 22.99/23.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.99/23.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.99/23.09 c =============================================================================== 22.99/23.09 c | 0 | 91703 92211 165319 | 30737 0 nan | 0.000 % | 23.18/23.24 c =============================================================================== 23.18/23.24 c core #350 23.18/23.24 c Core size: 807 Core Weight: 1 Total Weight: 3245 23.18/23.24 c Elapsed CPU time: 21.5507 s Remaining CPU time: 1778.45 s 23.28/23.39 c Learning 1 hard constraints 23.28/23.39 c ============================[ Search Statistics ]============================== 23.28/23.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.28/23.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.28/23.39 c =============================================================================== 23.28/23.39 c | 0 | 92448 92916 167054 | 30972 0 nan | 0.000 % | 23.48/23.57 c =============================================================================== 23.48/23.57 c core #351 23.48/23.57 c Core size: 1194 Core Weight: 1 Total Weight: 3246 23.48/23.57 c Elapsed CPU time: 21.8547 s Remaining CPU time: 1778.15 s 23.69/23.72 c ============================[ Search Statistics ]============================== 23.69/23.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.69/23.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.69/23.72 c =============================================================================== 23.69/23.72 c | 0 | 93554 93908 169546 | 31302 0 nan | 0.000 % | 23.89/23.94 c =============================================================================== 23.89/23.94 c core #352 23.89/23.94 c Core size: 1103 Core Weight: 1 Total Weight: 3247 23.89/23.94 c Elapsed CPU time: 22.2036 s Remaining CPU time: 1777.8 s 23.99/24.09 c Learning 1 hard constraints 23.99/24.09 c ============================[ Search Statistics ]============================== 23.99/24.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.99/24.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.99/24.09 c =============================================================================== 23.99/24.09 c | 0 | 94648 94754 172307 | 31584 0 nan | 0.000 % | 24.18/24.28 c =============================================================================== 24.18/24.28 c core #353 24.18/24.28 c Core size: 1252 Core Weight: 1 Total Weight: 3248 24.18/24.28 c Elapsed CPU time: 22.5176 s Remaining CPU time: 1777.48 s 24.38/24.43 c Learning 3 hard constraints 24.38/24.43 c ============================[ Search Statistics ]============================== 24.38/24.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.38/24.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.38/24.43 c =============================================================================== 24.38/24.43 c | 0 | 95804 95799 175048 | 31933 0 nan | 0.000 % | 24.49/24.59 c =============================================================================== 24.49/24.59 c core #354 24.49/24.59 c Core size: 1084 Core Weight: 1 Total Weight: 3249 24.49/24.59 c Elapsed CPU time: 22.8165 s Remaining CPU time: 1777.18 s 24.69/24.75 c Learning 6 hard constraints 24.69/24.75 c ============================[ Search Statistics ]============================== 24.69/24.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.69/24.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.69/24.75 c =============================================================================== 24.69/24.75 c | 0 | 96793 96713 177323 | 32237 0 nan | 0.000 % | 24.88/24.92 c =============================================================================== 24.88/24.92 c core #355 24.88/24.92 c Core size: 1258 Core Weight: 1 Total Weight: 3250 24.88/24.92 c Elapsed CPU time: 23.1175 s Remaining CPU time: 1776.88 s 24.98/25.07 c Learning 1 hard constraints 24.98/25.07 c ============================[ Search Statistics ]============================== 24.98/25.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.98/25.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.98/25.07 c =============================================================================== 24.98/25.07 c | 0 | 97934 97710 179776 | 32570 0 nan | 0.000 % | 25.29/25.37 c | 100 | 97928 97710 179776 | 35827 97 165 | 2.449 % | 25.39/25.43 c =============================================================================== 25.39/25.43 c core #356 25.39/25.43 c Core size: 1255 Core Weight: 1 Total Weight: 3251 25.39/25.43 c Elapsed CPU time: 23.6084 s Remaining CPU time: 1776.39 s 25.49/25.59 c ============================[ Search Statistics ]============================== 25.49/25.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.59 c =============================================================================== 25.49/25.59 c | 0 | 99071 98746 181927 | 32915 0 nan | 0.000 % | 25.59/25.64 c =============================================================================== 25.59/25.64 c core #357 25.59/25.64 c Core size: 426 Core Weight: 1 Total Weight: 3252 25.59/25.64 c Elapsed CPU time: 23.7984 s Remaining CPU time: 1776.2 s 25.68/25.80 c Learning 5 hard constraints 25.68/25.80 c ============================[ Search Statistics ]============================== 25.68/25.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.68/25.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.68/25.80 c =============================================================================== 25.68/25.80 c | 0 | 99476 99151 182791 | 33050 0 nan | 0.000 % | 25.98/26.09 c =============================================================================== 25.98/26.09 c core #358 25.98/26.09 c Core size: 1088 Core Weight: 1 Total Weight: 3253 25.98/26.09 c Elapsed CPU time: 24.2153 s Remaining CPU time: 1775.78 s 26.18/26.25 c Learning 2 hard constraints 26.18/26.25 c ============================[ Search Statistics ]============================== 26.18/26.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.18/26.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.18/26.26 c =============================================================================== 26.18/26.26 c | 0 | 100466 100060 184972 | 33353 0 nan | 0.000 % | 26.39/26.43 c =============================================================================== 26.39/26.43 c core #359 26.39/26.43 c Core size: 1065 Core Weight: 1 Total Weight: 3254 26.39/26.43 c Elapsed CPU time: 24.5343 s Remaining CPU time: 1775.47 s 26.48/26.59 c Learning 6 hard constraints 26.48/26.59 c ============================[ Search Statistics ]============================== 26.48/26.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.48/26.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.48/26.59 c =============================================================================== 26.48/26.59 c | 0 | 101533 100956 187571 | 33652 0 nan | 0.000 % | 26.79/26.85 c | 101 | 101530 100956 187571 | 37017 99 152 | 2.163 % | 26.99/27.06 c =============================================================================== 26.99/27.06 c core #360 26.99/27.06 c Core size: 2197 Core Weight: 1 Total Weight: 3255 26.99/27.06 c Elapsed CPU time: 25.1342 s Remaining CPU time: 1774.87 s 27.19/27.23 c Learning 6 hard constraints 27.19/27.23 c ============================[ Search Statistics ]============================== 27.19/27.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.19/27.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.19/27.23 c =============================================================================== 27.19/27.23 c | 0 | 103539 102691 192324 | 34230 0 nan | 0.000 % | 27.39/27.45 c | 103 | 103532 102691 192324 | 37653 100 120 | 2.117 % | 27.49/27.54 c =============================================================================== 27.49/27.54 c core #361 27.49/27.54 c Core size: 1525 Core Weight: 1 Total Weight: 3256 27.49/27.54 c Elapsed CPU time: 25.5861 s Remaining CPU time: 1774.41 s 27.68/27.71 c Learning 11 hard constraints 27.68/27.71 c ============================[ Search Statistics ]============================== 27.68/27.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.68/27.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.68/27.71 c =============================================================================== 27.68/27.71 c | 0 | 104941 103891 196087 | 34630 0 nan | 0.000 % | 27.99/28.04 c | 100 | 104941 103891 196087 | 38093 100 196 | 2.075 % | 28.09/28.13 c =============================================================================== 28.09/28.13 c core #362 28.09/28.13 c Core size: 1206 Core Weight: 1 Total Weight: 3257 28.09/28.13 c Elapsed CPU time: 26.142 s Remaining CPU time: 1773.86 s 28.29/28.30 c Learning 19 hard constraints 28.29/28.30 c ============================[ Search Statistics ]============================== 28.29/28.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.29/28.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.29/28.30 c =============================================================================== 28.29/28.30 c | 0 | 106031 104895 198938 | 34965 0 nan | 0.000 % | 28.39/28.47 c =============================================================================== 28.39/28.47 c core #363 28.39/28.47 c Core size: 906 Core Weight: 1 Total Weight: 3258 28.39/28.47 c Elapsed CPU time: 26.455 s Remaining CPU time: 1773.55 s 28.59/28.65 c Learning 4 hard constraints 28.59/28.65 c ============================[ Search Statistics ]============================== 28.59/28.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.59/28.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.59/28.65 c =============================================================================== 28.59/28.65 c | 0 | 106842 105594 201105 | 35198 0 nan | 0.000 % | 28.69/28.74 c =============================================================================== 28.69/28.74 c core #364 28.69/28.74 c Core size: 248 Core Weight: 1 Total Weight: 3259 28.69/28.74 c Elapsed CPU time: 26.7099 s Remaining CPU time: 1773.29 s 28.88/28.91 c Learning 9 hard constraints 28.88/28.91 c ============================[ Search Statistics ]============================== 28.88/28.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.88/28.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.88/28.91 c =============================================================================== 28.88/28.91 c | 0 | 107061 105802 201623 | 35267 0 nan | 0.000 % | 28.88/28.96 c =============================================================================== 28.88/28.96 c core #365 28.88/28.96 c Core size: 317 Core Weight: 1 Total Weight: 3260 28.88/28.96 c Elapsed CPU time: 26.8989 s Remaining CPU time: 1773.1 s 29.08/29.13 c Learning 3 hard constraints 29.08/29.13 c ============================[ Search Statistics ]============================== 29.08/29.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.08/29.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.08/29.13 c =============================================================================== 29.08/29.13 c | 0 | 107359 106101 202155 | 35367 0 nan | 0.000 % | 29.08/29.17 c =============================================================================== 29.08/29.17 c core #366 29.08/29.17 c Core size: 289 Core Weight: 1 Total Weight: 3261 29.08/29.17 c Elapsed CPU time: 27.0839 s Remaining CPU time: 1772.92 s 29.28/29.35 c Learning 2 hard constraints 29.28/29.35 c ============================[ Search Statistics ]============================== 29.28/29.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.28/29.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.28/29.35 c =============================================================================== 29.28/29.35 c | 0 | 107630 106375 202582 | 35458 0 nan | 0.000 % | 29.28/29.36 c =============================================================================== 29.28/29.36 c core #367 29.28/29.36 c Core size: 287 Core Weight: 1 Total Weight: 3262 29.28/29.36 c Elapsed CPU time: 27.2609 s Remaining CPU time: 1772.74 s 29.48/29.53 c ============================[ Search Statistics ]============================== 29.48/29.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.48/29.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.48/29.53 c =============================================================================== 29.48/29.53 c | 0 | 107915 106644 203674 | 35548 0 nan | 0.000 % | 29.48/29.56 c =============================================================================== 29.48/29.56 c core #368 29.48/29.56 c Core size: 251 Core Weight: 2 Total Weight: 3264 29.48/29.56 c Elapsed CPU time: 27.4488 s Remaining CPU time: 1772.55 s 29.68/29.73 c Learning 1 hard constraints 29.68/29.73 c ============================[ Search Statistics ]============================== 29.68/29.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.68/29.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.68/29.73 c =============================================================================== 29.68/29.73 c | 0 | 108150 106880 204109 | 35626 0 nan | 0.000 % | 29.68/29.77 c =============================================================================== 29.68/29.77 c core #369 29.68/29.77 c Core size: 247 Core Weight: 4 Total Weight: 3268 29.68/29.77 c Elapsed CPU time: 27.6418 s Remaining CPU time: 1772.36 s 29.88/29.94 c Learning 2 hard constraints 29.88/29.94 c ============================[ Search Statistics ]============================== 29.88/29.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.88/29.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.88/29.94 c =============================================================================== 29.88/29.94 c | 0 | 108385 107114 204659 | 35704 0 nan | 0.000 % | 29.88/29.96 c =============================================================================== 29.88/29.96 c core #370 29.88/29.96 c Core size: 274 Core Weight: 1 Total Weight: 3269 29.88/29.96 c Elapsed CPU time: 27.8208 s Remaining CPU time: 1772.18 s 30.08/30.14 c ============================[ Search Statistics ]============================== 30.08/30.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.08/30.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.08/30.14 c =============================================================================== 30.08/30.14 c | 0 | 108646 107370 205079 | 35790 0 nan | 0.000 % | 30.08/30.15 c =============================================================================== 30.08/30.15 c core #371 30.08/30.15 c Core size: 276 Core Weight: 1 Total Weight: 3270 30.08/30.15 c Elapsed CPU time: 28.0037 s Remaining CPU time: 1772 s 30.29/30.32 c ============================[ Search Statistics ]============================== 30.29/30.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.29/30.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.29/30.32 c =============================================================================== 30.29/30.32 c | 0 | 108906 107626 205631 | 35875 0 nan | 0.000 % | 30.29/30.35 c =============================================================================== 30.29/30.35 c core #372 30.29/30.35 c Core size: 244 Core Weight: 1 Total Weight: 3271 30.29/30.35 c Elapsed CPU time: 28.1777 s Remaining CPU time: 1771.82 s 30.48/30.52 c ============================[ Search Statistics ]============================== 30.48/30.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.48/30.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.48/30.52 c =============================================================================== 30.48/30.52 c | 0 | 109135 107849 206322 | 35949 0 nan | 0.000 % | 30.48/30.54 c =============================================================================== 30.48/30.54 c core #373 30.48/30.54 c Core size: 178 Core Weight: 1 Total Weight: 3272 30.48/30.54 c Elapsed CPU time: 28.3577 s Remaining CPU time: 1771.64 s 30.68/30.72 c ============================[ Search Statistics ]============================== 30.68/30.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.68/30.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.68/30.72 c =============================================================================== 30.68/30.72 c | 0 | 109297 108010 206504 | 36003 0 nan | 0.000 % | 30.68/30.74 c =============================================================================== 30.68/30.74 c core #374 30.68/30.74 c Core size: 175 Core Weight: 1 Total Weight: 3273 30.68/30.74 c Elapsed CPU time: 28.5397 s Remaining CPU time: 1771.46 s 30.88/30.91 c Learning 1 hard constraints 30.88/30.91 c ============================[ Search Statistics ]============================== 30.88/30.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.88/30.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.88/30.91 c =============================================================================== 30.88/30.91 c | 0 | 109457 108171 206806 | 36057 0 nan | 0.000 % | 30.88/30.93 c =============================================================================== 30.88/30.93 c core #375 30.88/30.93 c Core size: 175 Core Weight: 1 Total Weight: 3274 30.88/30.93 c Elapsed CPU time: 28.7196 s Remaining CPU time: 1771.28 s 31.08/31.10 c Learning 1 hard constraints 31.08/31.10 c ============================[ Search Statistics ]============================== 31.08/31.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.08/31.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.08/31.10 c =============================================================================== 31.08/31.10 c | 0 | 109618 108331 207327 | 36110 0 nan | 0.000 % | 31.08/31.14 c =============================================================================== 31.08/31.14 c core #376 31.08/31.14 c Core size: 254 Core Weight: 1 Total Weight: 3275 31.08/31.14 c Elapsed CPU time: 28.9096 s Remaining CPU time: 1771.09 s 31.28/31.31 c Learning 1 hard constraints 31.28/31.31 c ============================[ Search Statistics ]============================== 31.28/31.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.28/31.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.28/31.31 c =============================================================================== 31.28/31.31 c | 0 | 109855 108553 207940 | 36184 0 nan | 0.000 % | 31.28/31.35 c =============================================================================== 31.28/31.35 c core #377 31.28/31.35 c Core size: 222 Core Weight: 1 Total Weight: 3276 31.28/31.35 c Elapsed CPU time: 29.1056 s Remaining CPU time: 1770.89 s 31.48/31.53 c Learning 2 hard constraints 31.48/31.53 c ============================[ Search Statistics ]============================== 31.48/31.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.48/31.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.48/31.53 c =============================================================================== 31.48/31.53 c | 0 | 110060 108752 208370 | 36250 0 nan | 0.000 % | 31.48/31.56 c =============================================================================== 31.48/31.56 c core #378 31.48/31.56 c Core size: 249 Core Weight: 1 Total Weight: 3277 31.48/31.56 c Elapsed CPU time: 29.2995 s Remaining CPU time: 1770.7 s 31.68/31.74 c Learning 3 hard constraints 31.68/31.74 c ============================[ Search Statistics ]============================== 31.68/31.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.68/31.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.68/31.74 c =============================================================================== 31.68/31.74 c | 0 | 110288 108977 208901 | 36325 0 nan | 0.000 % | 31.68/31.76 c =============================================================================== 31.68/31.76 c core #379 31.68/31.76 c Core size: 324 Core Weight: 1 Total Weight: 3278 31.68/31.76 c Elapsed CPU time: 29.4885 s Remaining CPU time: 1770.51 s 31.88/31.93 c ============================[ Search Statistics ]============================== 31.88/31.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.88/31.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.88/31.93 c =============================================================================== 31.88/31.93 c | 0 | 110586 109254 209263 | 36418 0 nan | 0.000 % | 31.88/31.96 c =============================================================================== 31.88/31.96 c core #380 31.88/31.96 c Core size: 202 Core Weight: 1 Total Weight: 3279 31.88/31.96 c Elapsed CPU time: 29.6705 s Remaining CPU time: 1770.33 s 32.08/32.14 c ============================[ Search Statistics ]============================== 32.08/32.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.08/32.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.08/32.14 c =============================================================================== 32.08/32.14 c | 0 | 110773 109440 209473 | 36480 0 nan | 0.000 % | 32.08/32.16 c =============================================================================== 32.08/32.16 c core #381 32.08/32.16 c Core size: 200 Core Weight: 1 Total Weight: 3280 32.08/32.16 c Elapsed CPU time: 29.8565 s Remaining CPU time: 1770.14 s 32.28/32.34 c ============================[ Search Statistics ]============================== 32.28/32.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.28/32.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.28/32.34 c =============================================================================== 32.28/32.34 c | 0 | 110962 109625 209948 | 36541 0 nan | 0.000 % | 32.28/32.37 c =============================================================================== 32.28/32.37 c core #382 32.28/32.37 c Core size: 202 Core Weight: 3 Total Weight: 3283 32.28/32.37 c Elapsed CPU time: 30.0464 s Remaining CPU time: 1769.95 s 32.48/32.54 c Learning 3 hard constraints 32.48/32.54 c ============================[ Search Statistics ]============================== 32.48/32.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.48/32.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.48/32.54 c =============================================================================== 32.48/32.54 c | 0 | 111149 109814 210420 | 36604 0 nan | 0.000 % | 32.48/32.57 c =============================================================================== 32.48/32.57 c core #383 32.48/32.57 c Core size: 201 Core Weight: 1 Total Weight: 3284 32.48/32.57 c Elapsed CPU time: 30.2434 s Remaining CPU time: 1769.76 s 32.68/32.75 c Learning 1 hard constraints 32.68/32.75 c ============================[ Search Statistics ]============================== 32.68/32.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.68/32.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.68/32.75 c =============================================================================== 32.68/32.75 c | 0 | 111334 109999 210633 | 36666 0 nan | 0.000 % | 32.68/32.78 c =============================================================================== 32.68/32.78 c core #384 32.68/32.78 c Core size: 200 Core Weight: 1 Total Weight: 3285 32.68/32.78 c Elapsed CPU time: 30.4374 s Remaining CPU time: 1769.56 s 32.88/32.95 c ============================[ Search Statistics ]============================== 32.88/32.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.88/32.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.88/32.95 c =============================================================================== 32.88/32.95 c | 0 | 111522 110180 211106 | 36726 0 nan | 0.000 % | 32.88/33.00 c =============================================================================== 32.88/33.00 c core #385 32.88/33.00 c Core size: 200 Core Weight: 1 Total Weight: 3286 32.88/33.00 c Elapsed CPU time: 30.6413 s Remaining CPU time: 1769.36 s 33.08/33.18 c ============================[ Search Statistics ]============================== 33.08/33.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.08/33.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.08/33.18 c =============================================================================== 33.08/33.18 c | 0 | 111707 110365 211325 | 36788 0 nan | 0.000 % | 33.18/33.21 c =============================================================================== 33.18/33.21 c core #386 33.18/33.21 c Core size: 202 Core Weight: 1 Total Weight: 3287 33.18/33.21 c Elapsed CPU time: 30.8453 s Remaining CPU time: 1769.15 s 33.28/33.39 c ============================[ Search Statistics ]============================== 33.28/33.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.28/33.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.28/33.39 c =============================================================================== 33.28/33.39 c | 0 | 111895 110544 211693 | 36848 0 nan | 0.000 % | 33.38/33.44 c =============================================================================== 33.38/33.44 c core #387 33.38/33.44 c Core size: 197 Core Weight: 1 Total Weight: 3288 33.38/33.44 c Elapsed CPU time: 31.0463 s Remaining CPU time: 1768.95 s 33.58/33.62 c Learning 2 hard constraints 33.58/33.62 c ============================[ Search Statistics ]============================== 33.58/33.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.58/33.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.58/33.62 c =============================================================================== 33.58/33.62 c | 0 | 112075 110725 212163 | 36908 0 nan | 0.000 % | 33.58/33.66 c =============================================================================== 33.58/33.66 c core #388 33.58/33.66 c Core size: 203 Core Weight: 1 Total Weight: 3289 33.58/33.66 c Elapsed CPU time: 31.2552 s Remaining CPU time: 1768.74 s 33.77/33.83 c Learning 1 hard constraints 33.77/33.83 c ============================[ Search Statistics ]============================== 33.77/33.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.77/33.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.77/33.83 c =============================================================================== 33.77/33.83 c | 0 | 112259 110910 212386 | 36970 0 nan | 0.000 % | 33.77/33.87 c =============================================================================== 33.77/33.87 c core #389 33.77/33.87 c Core size: 201 Core Weight: 1 Total Weight: 3290 33.77/33.87 c Elapsed CPU time: 31.4542 s Remaining CPU time: 1768.55 s 33.98/34.05 c ============================[ Search Statistics ]============================== 33.98/34.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.98/34.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.98/34.05 c =============================================================================== 33.98/34.05 c | 0 | 112444 111088 212597 | 37029 0 nan | 0.000 % | 34.09/34.10 c =============================================================================== 34.09/34.10 c core #390 34.09/34.10 c Core size: 201 Core Weight: 1 Total Weight: 3291 34.09/34.10 c Elapsed CPU time: 31.6702 s Remaining CPU time: 1768.33 s 34.18/34.28 c ============================[ Search Statistics ]============================== 34.18/34.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.18/34.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.18/34.28 c =============================================================================== 34.18/34.28 c | 0 | 112630 111273 213008 | 37091 0 nan | 0.000 % | 34.27/34.34 c =============================================================================== 34.27/34.34 c core #391 34.27/34.34 c Core size: 369 Core Weight: 1 Total Weight: 3292 34.27/34.34 c Elapsed CPU time: 31.8912 s Remaining CPU time: 1768.11 s 34.48/34.51 c ============================[ Search Statistics ]============================== 34.48/34.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.48/34.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.48/34.51 c =============================================================================== 34.48/34.51 c | 0 | 112967 111570 213687 | 37190 0 nan | 0.000 % | 34.48/34.58 c =============================================================================== 34.48/34.59 c core #392 34.48/34.59 c Core size: 223 Core Weight: 1 Total Weight: 3293 34.48/34.59 c Elapsed CPU time: 32.1261 s Remaining CPU time: 1767.87 s 34.68/34.77 c Learning 2 hard constraints 34.68/34.77 c ============================[ Search Statistics ]============================== 34.68/34.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.68/34.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.68/34.77 c =============================================================================== 34.68/34.77 c | 0 | 113168 111751 214370 | 37250 0 nan | 0.000 % | 34.78/34.86 c =============================================================================== 34.78/34.86 c core #393 34.78/34.86 c Core size: 605 Core Weight: 1 Total Weight: 3294 34.78/34.86 c Elapsed CPU time: 32.3801 s Remaining CPU time: 1767.62 s 34.98/35.04 c Learning 1 hard constraints 34.98/35.04 c ============================[ Search Statistics ]============================== 34.98/35.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.98/35.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.98/35.04 c =============================================================================== 34.98/35.04 c | 0 | 113721 112259 215130 | 37419 0 nan | 0.000 % | 35.08/35.11 c =============================================================================== 35.08/35.11 c core #394 35.08/35.11 c Core size: 397 Core Weight: 1 Total Weight: 3295 35.08/35.11 c Elapsed CPU time: 32.621 s Remaining CPU time: 1767.38 s 35.18/35.29 c ============================[ Search Statistics ]============================== 35.18/35.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.18/35.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.18/35.29 c =============================================================================== 35.18/35.29 c | 0 | 114092 112599 216281 | 37533 0 nan | 0.000 % | 35.28/35.40 c =============================================================================== 35.28/35.40 c core #395 35.28/35.40 c Core size: 470 Core Weight: 1 Total Weight: 3296 35.28/35.40 c Elapsed CPU time: 32.891 s Remaining CPU time: 1767.11 s 35.48/35.57 c Learning 2 hard constraints 35.48/35.57 c ============================[ Search Statistics ]============================== 35.48/35.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.48/35.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.48/35.57 c =============================================================================== 35.48/35.57 c | 0 | 114517 112985 217138 | 37661 0 nan | 0.000 % | 35.58/35.67 c =============================================================================== 35.58/35.67 c core #396 35.58/35.67 c Core size: 422 Core Weight: 1 Total Weight: 3297 35.58/35.67 c Elapsed CPU time: 33.154 s Remaining CPU time: 1766.85 s 35.78/35.85 c Learning 1 hard constraints 35.78/35.85 c ============================[ Search Statistics ]============================== 35.78/35.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.78/35.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.78/35.85 c =============================================================================== 35.78/35.85 c | 0 | 114895 113324 217765 | 37774 0 nan | 0.000 % | 35.88/35.95 c =============================================================================== 35.88/35.95 c core #397 35.88/35.95 c Core size: 454 Core Weight: 1 Total Weight: 3298 35.88/35.95 c Elapsed CPU time: 33.4199 s Remaining CPU time: 1766.58 s 36.08/36.13 c Learning 1 hard constraints 36.08/36.13 c ============================[ Search Statistics ]============================== 36.08/36.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.08/36.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.08/36.13 c =============================================================================== 36.08/36.13 c | 0 | 115312 113719 218808 | 37906 0 nan | 0.000 % | 36.18/36.25 c =============================================================================== 36.18/36.25 c core #398 36.18/36.25 c Core size: 422 Core Weight: 1 Total Weight: 3299 36.18/36.25 c Elapsed CPU time: 33.7079 s Remaining CPU time: 1766.29 s 36.38/36.44 c Learning 2 hard constraints 36.38/36.44 c ============================[ Search Statistics ]============================== 36.38/36.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.38/36.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.38/36.44 c =============================================================================== 36.38/36.44 c | 0 | 115705 114085 220255 | 38028 0 nan | 0.000 % | 36.48/36.58 c =============================================================================== 36.48/36.58 c core #399 36.48/36.58 c Core size: 418 Core Weight: 1 Total Weight: 3300 36.48/36.58 c Elapsed CPU time: 34.0208 s Remaining CPU time: 1765.98 s 36.68/36.76 c Learning 1 hard constraints 36.68/36.76 c ============================[ Search Statistics ]============================== 36.68/36.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.68/36.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.68/36.76 c =============================================================================== 36.68/36.76 c | 0 | 116076 114402 221390 | 38134 0 nan | 0.000 % | 36.88/36.90 c =============================================================================== 36.88/36.90 c core #400 36.88/36.90 c Core size: 509 Core Weight: 1 Total Weight: 3301 36.88/36.90 c Elapsed CPU time: 34.3248 s Remaining CPU time: 1765.68 s 36.98/37.09 c ============================[ Search Statistics ]============================== 36.98/37.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.98/37.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.98/37.09 c =============================================================================== 36.98/37.09 c | 0 | 116526 114771 223313 | 38257 0 nan | 0.000 % | 37.18/37.25 c =============================================================================== 37.18/37.25 c core #401 37.18/37.25 c Core size: 575 Core Weight: 1 Total Weight: 3302 37.18/37.25 c Elapsed CPU time: 34.6577 s Remaining CPU time: 1765.34 s 37.38/37.43 c Learning 1 hard constraints 37.38/37.43 c ============================[ Search Statistics ]============================== 37.38/37.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.38/37.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.38/37.43 c =============================================================================== 37.38/37.43 c | 0 | 117128 115206 224938 | 38402 0 nan | 0.000 % | 37.57/37.62 c =============================================================================== 37.57/37.62 c core #402 37.57/37.62 c Core size: 534 Core Weight: 1 Total Weight: 3303 37.57/37.62 c Elapsed CPU time: 35.0137 s Remaining CPU time: 1764.99 s 37.78/37.82 c Learning 3 hard constraints 37.78/37.82 c ============================[ Search Statistics ]============================== 37.78/37.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.78/37.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.78/37.82 c =============================================================================== 37.78/37.82 c | 0 | 117612 115641 226414 | 38547 0 nan | 0.000 % | 37.98/38.03 c =============================================================================== 37.98/38.03 c core #403 37.98/38.03 c Core size: 817 Core Weight: 1 Total Weight: 3304 37.98/38.03 c Elapsed CPU time: 35.4056 s Remaining CPU time: 1764.59 s 38.18/38.22 c Learning 3 hard constraints 38.18/38.22 c ============================[ Search Statistics ]============================== 38.18/38.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.18/38.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.18/38.22 c =============================================================================== 38.18/38.22 c | 0 | 118351 116258 229185 | 38752 0 nan | 0.000 % | 38.39/38.43 c =============================================================================== 38.39/38.43 c core #404 38.39/38.43 c Core size: 607 Core Weight: 1 Total Weight: 3305 38.39/38.43 c Elapsed CPU time: 35.7926 s Remaining CPU time: 1764.21 s 38.58/38.62 c Learning 1 hard constraints 38.58/38.62 c ============================[ Search Statistics ]============================== 38.58/38.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.58/38.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.58/38.62 c =============================================================================== 38.58/38.62 c | 0 | 118915 116769 230513 | 38923 0 nan | 0.000 % | 38.78/38.82 c =============================================================================== 38.78/38.82 c core #405 38.78/38.82 c Core size: 530 Core Weight: 1 Total Weight: 3306 38.78/38.82 c Elapsed CPU time: 36.1625 s Remaining CPU time: 1763.84 s 38.98/39.01 c Learning 1 hard constraints 38.98/39.01 c ============================[ Search Statistics ]============================== 38.98/39.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.98/39.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.98/39.01 c =============================================================================== 38.98/39.01 c | 0 | 119408 117228 231936 | 39076 0 nan | 0.000 % | 39.28/39.36 c =============================================================================== 39.28/39.36 c core #406 39.28/39.36 c Core size: 922 Core Weight: 1 Total Weight: 3307 39.28/39.36 c Elapsed CPU time: 36.6734 s Remaining CPU time: 1763.33 s 39.48/39.56 c Learning 1 hard constraints 39.48/39.56 c ============================[ Search Statistics ]============================== 39.48/39.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.48/39.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.48/39.56 c =============================================================================== 39.48/39.56 c | 0 | 120248 117975 233352 | 39325 0 nan | 0.000 % | 39.78/39.81 c =============================================================================== 39.78/39.81 c core #407 39.78/39.81 c Core size: 704 Core Weight: 1 Total Weight: 3308 39.78/39.81 c Elapsed CPU time: 37.1094 s Remaining CPU time: 1762.89 s 39.98/40.00 c ============================[ Search Statistics ]============================== 39.98/40.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.98/40.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.98/40.00 c =============================================================================== 39.98/40.00 c | 0 | 120905 118603 234709 | 39534 0 nan | 0.000 % | 40.17/40.25 c =============================================================================== 40.17/40.25 c core #408 40.17/40.25 c Core size: 648 Core Weight: 1 Total Weight: 3309 40.17/40.25 c Elapsed CPU time: 37.5313 s Remaining CPU time: 1762.47 s 40.38/40.45 c Learning 3 hard constraints 40.38/40.45 c ============================[ Search Statistics ]============================== 40.38/40.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.38/40.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.38/40.45 c =============================================================================== 40.38/40.45 c | 0 | 121494 119120 236164 | 39706 0 nan | 0.000 % | 40.77/40.84 c =============================================================================== 40.77/40.84 c core #409 40.77/40.84 c Core size: 782 Core Weight: 1 Total Weight: 3310 40.77/40.84 c Elapsed CPU time: 38.1032 s Remaining CPU time: 1761.9 s 40.97/41.05 c Learning 1 hard constraints 40.97/41.05 c ============================[ Search Statistics ]============================== 40.97/41.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.97/41.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.97/41.05 c =============================================================================== 40.97/41.05 c | 0 | 122183 119676 238089 | 39892 0 nan | 0.000 % | 41.37/41.45 c =============================================================================== 41.37/41.45 c core #410 41.37/41.45 c Core size: 846 Core Weight: 1 Total Weight: 3311 41.37/41.45 c Elapsed CPU time: 38.6911 s Remaining CPU time: 1761.31 s 41.57/41.65 c ============================[ Search Statistics ]============================== 41.57/41.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.57/41.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.57/41.65 c =============================================================================== 41.57/41.65 c | 0 | 122937 120277 240607 | 40092 0 nan | 0.000 % | 41.97/42.05 c =============================================================================== 41.97/42.05 c core #411 41.97/42.05 c Core size: 950 Core Weight: 1 Total Weight: 3312 41.97/42.05 c Elapsed CPU time: 39.259 s Remaining CPU time: 1760.74 s 42.17/42.25 c Learning 3 hard constraints 42.17/42.25 c ============================[ Search Statistics ]============================== 42.17/42.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.17/42.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.17/42.25 c =============================================================================== 42.17/42.25 c | 0 | 123797 120931 243061 | 40310 0 nan | 0.000 % | 42.68/42.79 c | 101 | 123795 120931 243061 | 44341 100 113 | 1.602 % | 42.88/42.99 c =============================================================================== 42.88/42.99 c core #412 42.88/42.99 c Core size: 1672 Core Weight: 1 Total Weight: 3313 42.88/42.99 c Elapsed CPU time: 40.1719 s Remaining CPU time: 1759.83 s 43.17/43.20 c Learning 4 hard constraints 43.17/43.20 c ============================[ Search Statistics ]============================== 43.17/43.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.17/43.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.17/43.20 c =============================================================================== 43.17/43.20 c | 0 | 125327 122126 248199 | 40708 0 nan | 0.000 % | 43.57/43.62 c =============================================================================== 43.57/43.62 c core #413 43.57/43.62 c Core size: 2246 Core Weight: 1 Total Weight: 3314 43.57/43.62 c Elapsed CPU time: 40.7838 s Remaining CPU time: 1759.22 s 43.77/43.83 c Learning 3 hard constraints 43.77/43.83 c ============================[ Search Statistics ]============================== 43.77/43.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.77/43.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.77/43.83 c =============================================================================== 43.77/43.83 c | 0 | 127352 123703 252420 | 41234 0 nan | 0.000 % | 44.27/44.34 c | 100 | 127346 123703 252420 | 45357 93 113 | 1.549 % | 44.47/44.55 c =============================================================================== 44.47/44.55 c core #414 44.47/44.55 c Core size: 2120 Core Weight: 1 Total Weight: 3315 44.47/44.55 c Elapsed CPU time: 41.6897 s Remaining CPU time: 1758.31 s 44.68/44.76 c Learning 3 hard constraints 44.68/44.76 c ============================[ Search Statistics ]============================== 44.68/44.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.68/44.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.68/44.76 c =============================================================================== 44.68/44.76 c | 0 | 129274 125161 257522 | 41720 0 nan | 0.000 % | 45.18/45.25 c | 100 | 129264 125161 257522 | 45892 91 138 | 1.521 % | 45.28/45.31 c =============================================================================== 45.28/45.31 c core #415 45.28/45.31 c Core size: 637 Core Weight: 1 Total Weight: 3316 45.28/45.31 c Elapsed CPU time: 42.4226 s Remaining CPU time: 1757.58 s 45.48/45.53 c Learning 8 hard constraints 45.48/45.53 c ============================[ Search Statistics ]============================== 45.48/45.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.48/45.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.48/45.53 c =============================================================================== 45.48/45.53 c | 0 | 129858 125724 259149 | 41908 0 nan | 0.000 % | 45.98/46.01 c | 100 | 129858 125724 259149 | 46098 100 137 | 1.506 % | 46.08/46.10 c =============================================================================== 46.08/46.10 c core #416 46.08/46.10 c Core size: 788 Core Weight: 1 Total Weight: 3317 46.08/46.10 c Elapsed CPU time: 43.1844 s Remaining CPU time: 1756.82 s 46.27/46.32 c Learning 4 hard constraints 46.27/46.32 c ============================[ Search Statistics ]============================== 46.27/46.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.27/46.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.27/46.32 c =============================================================================== 46.27/46.32 c | 0 | 130581 126360 260538 | 42120 0 nan | 0.000 % | 46.67/46.72 c | 100 | 130577 126360 260538 | 46332 97 129 | 1.502 % | 46.97/47.02 c =============================================================================== 46.97/47.02 c core #417 46.97/47.02 c Core size: 2668 Core Weight: 1 Total Weight: 3318 46.97/47.02 c Elapsed CPU time: 44.0833 s Remaining CPU time: 1755.92 s 47.18/47.24 c Learning 11 hard constraints 47.18/47.24 c ============================[ Search Statistics ]============================== 47.18/47.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.18/47.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.18/47.24 c =============================================================================== 47.18/47.24 c | 0 | 132991 128246 267157 | 42748 0 nan | 0.000 % | 47.48/47.59 c | 102 | 132990 128246 267157 | 47023 100 119 | 1.466 % | 47.98/48.00 c | 255 | 132983 128246 267157 | 51725 246 258 | 1.471 % | 48.28/48.39 c =============================================================================== 48.28/48.40 c core #418 48.28/48.40 c Core size: 3950 Core Weight: 1 Total Weight: 3319 48.28/48.40 c Elapsed CPU time: 45.4231 s Remaining CPU time: 1754.58 s 48.57/48.64 c Learning 16 hard constraints 48.57/48.64 c ============================[ Search Statistics ]============================== 48.57/48.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.57/48.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.57/48.64 c =============================================================================== 48.57/48.64 c | 0 | 136578 130846 277103 | 43615 0 nan | 0.000 % | 48.98/49.01 c | 101 | 136577 130846 277103 | 47976 100 99 | 1.420 % | 49.27/49.36 c =============================================================================== 49.27/49.37 c core #419 49.27/49.37 c Core size: 2307 Core Weight: 1 Total Weight: 3320 49.27/49.37 c Elapsed CPU time: 46.361 s Remaining CPU time: 1753.64 s 49.58/49.61 c Learning 14 hard constraints 49.58/49.61 c ============================[ Search Statistics ]============================== 49.58/49.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.58/49.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.58/49.61 c =============================================================================== 49.58/49.61 c | 0 | 138630 132377 282448 | 44125 0 nan | 0.000 % | 49.97/50.01 c | 100 | 138625 132377 282448 | 48538 94 178 | 1.398 % | 50.17/50.20 c =============================================================================== 50.17/50.20 c core #420 50.17/50.20 c Core size: 2060 Core Weight: 1 Total Weight: 3321 50.17/50.20 c Elapsed CPU time: 47.1548 s Remaining CPU time: 1752.85 s 50.37/50.45 c Learning 7 hard constraints 50.37/50.45 c ============================[ Search Statistics ]============================== 50.37/50.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.37/50.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.37/50.45 c =============================================================================== 50.37/50.45 c | 0 | 140479 133868 286988 | 44622 0 nan | 0.000 % | 50.77/50.83 c | 100 | 140479 133868 286988 | 49084 100 104 | 1.373 % | 50.87/50.98 c =============================================================================== 50.87/50.98 c core #421 50.87/50.98 c Core size: 1256 Core Weight: 1 Total Weight: 3322 50.87/50.98 c Elapsed CPU time: 47.8917 s Remaining CPU time: 1752.11 s 51.18/51.22 c Learning 1 hard constraints 51.18/51.22 c ============================[ Search Statistics ]============================== 51.18/51.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.18/51.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.18/51.22 c =============================================================================== 51.18/51.22 c | 0 | 141593 134781 289721 | 44927 0 nan | 0.000 % | 51.68/51.73 c | 100 | 141592 134781 289721 | 49419 99 133 | 1.360 % | 51.98/52.00 c =============================================================================== 51.98/52.00 c core #422 51.98/52.00 c Core size: 1294 Core Weight: 1 Total Weight: 3323 51.98/52.00 c Elapsed CPU time: 48.8776 s Remaining CPU time: 1751.12 s 52.17/52.25 c Learning 2 hard constraints 52.17/52.25 c ============================[ Search Statistics ]============================== 52.17/52.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.17/52.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.17/52.25 c =============================================================================== 52.17/52.25 c | 0 | 142756 135759 292527 | 45253 0 nan | 0.000 % | 52.58/52.69 c | 100 | 142755 135759 292527 | 49778 99 105 | 1.346 % | 52.98/53.05 c | 250 | 142752 135759 292527 | 54756 247 203 | 1.348 % | 53.37/53.44 c =============================================================================== 53.37/53.44 c core #423 53.37/53.44 c Core size: 3838 Core Weight: 1 Total Weight: 3324 53.37/53.44 c Elapsed CPU time: 50.2764 s Remaining CPU time: 1749.72 s 53.67/53.70 c Learning 22 hard constraints 53.67/53.70 c ============================[ Search Statistics ]============================== 53.67/53.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.67/53.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.67/53.70 c =============================================================================== 53.67/53.70 c | 0 | 146201 138211 302498 | 46070 0 nan | 0.000 % | 54.07/54.10 c | 100 | 146199 138211 302498 | 50677 98 82 | 1.308 % | 54.27/54.34 c | 250 | 146191 138211 302498 | 55745 233 114 | 1.313 % | 54.58/54.60 c =============================================================================== 54.58/54.60 c core #424 54.58/54.60 c Core size: 2298 Core Weight: 1 Total Weight: 3325 54.58/54.60 c Elapsed CPU time: 51.3892 s Remaining CPU time: 1748.61 s 54.78/54.85 c Learning 14 hard constraints 54.78/54.85 c ============================[ Search Statistics ]============================== 54.78/54.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.78/54.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.78/54.85 c =============================================================================== 54.78/54.85 c | 0 | 148300 139884 308646 | 46628 0 nan | 0.000 % | 55.28/55.32 c | 101 | 148300 139884 308646 | 51290 101 93 | 1.283 % | 55.57/55.65 c | 251 | 148294 139884 308646 | 56419 239 156 | 1.286 % | 55.98/56.04 c =============================================================================== 55.98/56.04 c core #425 55.98/56.04 c Core size: 2891 Core Weight: 1 Total Weight: 3326 55.98/56.04 c Elapsed CPU time: 52.783 s Remaining CPU time: 1747.22 s 56.17/56.29 c Learning 7 hard constraints 56.17/56.29 c ============================[ Search Statistics ]============================== 56.17/56.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.17/56.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.17/56.29 c =============================================================================== 56.17/56.29 c | 0 | 150897 141908 315074 | 47302 0 nan | 0.000 % | 56.67/56.70 c | 101 | 150897 141908 315074 | 52032 101 165 | 1.254 % | 56.97/57.08 c =============================================================================== 56.97/57.08 c core #426 56.97/57.08 c Core size: 2524 Core Weight: 1 Total Weight: 3327 56.97/57.08 c Elapsed CPU time: 53.7848 s Remaining CPU time: 1746.22 s 57.27/57.33 c Learning 16 hard constraints 57.27/57.33 c ============================[ Search Statistics ]============================== 57.27/57.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.27/57.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.27/57.33 c =============================================================================== 57.27/57.33 c | 0 | 153168 143757 320869 | 47919 0 nan | 0.000 % | 57.77/57.89 c | 105 | 153168 143757 320869 | 52710 105 150 | 1.233 % | 58.17/58.28 c | 255 | 153163 143757 320869 | 57981 250 124 | 1.236 % | 58.77/58.81 c =============================================================================== 58.77/58.82 c core #427 58.77/58.82 c Core size: 3105 Core Weight: 1 Total Weight: 3328 58.77/58.82 c Elapsed CPU time: 55.4686 s Remaining CPU time: 1744.53 s 58.97/59.09 c Learning 10 hard constraints 58.97/59.09 c ============================[ Search Statistics ]============================== 58.97/59.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.97/59.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.97/59.09 c =============================================================================== 58.97/59.09 c | 0 | 155974 145963 328256 | 48654 0 nan | 0.000 % | 59.48/59.50 c | 100 | 155974 145963 328256 | 53519 100 122 | 1.205 % | 59.77/59.87 c =============================================================================== 59.77/59.87 c core #428 59.77/59.87 c Core size: 1908 Core Weight: 1 Total Weight: 3329 59.77/59.87 c Elapsed CPU time: 56.4594 s Remaining CPU time: 1743.54 s 60.08/60.12 c Learning 5 hard constraints 60.08/60.12 c ============================[ Search Statistics ]============================== 60.08/60.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.08/60.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.08/60.12 c =============================================================================== 60.08/60.12 c | 0 | 157708 147223 332269 | 49074 0 nan | 0.000 % | 60.38/60.46 c | 102 | 157698 147223 332269 | 53981 92 168 | 1.195 % | 60.67/60.75 c =============================================================================== 60.67/60.75 c core #429 60.67/60.75 c Core size: 2012 Core Weight: 1 Total Weight: 3330 60.67/60.75 c Elapsed CPU time: 57.2973 s Remaining CPU time: 1742.7 s 60.97/61.02 c Learning 15 hard constraints 60.97/61.02 c ============================[ Search Statistics ]============================== 60.97/61.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.97/61.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.97/61.02 c =============================================================================== 60.97/61.02 c | 0 | 159515 148753 337183 | 49584 0 nan | 0.000 % | 61.37/61.41 c | 102 | 159512 148753 337183 | 54542 101 88 | 1.175 % | 61.67/61.78 c | 254 | 159507 148753 337183 | 59997 243 156 | 1.177 % | 61.97/62.00 c =============================================================================== 61.97/62.00 c core #430 61.97/62.00 c Core size: 2657 Core Weight: 1 Total Weight: 3331 61.97/62.00 c Elapsed CPU time: 58.4921 s Remaining CPU time: 1741.51 s 62.17/62.28 c Learning 6 hard constraints 62.17/62.28 c ============================[ Search Statistics ]============================== 62.17/62.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.17/62.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.17/62.28 c =============================================================================== 62.17/62.28 c | 0 | 161908 150617 343185 | 50205 0 nan | 0.000 % | 62.58/62.65 c | 100 | 161903 150617 343185 | 55226 99 93 | 1.154 % | 62.97/63.03 c | 250 | 161901 150617 343185 | 60748 235 124 | 1.156 % | 63.37/63.46 c =============================================================================== 63.37/63.46 c core #431 63.37/63.46 c Core size: 3082 Core Weight: 1 Total Weight: 3332 63.37/63.46 c Elapsed CPU time: 59.9019 s Remaining CPU time: 1740.1 s 63.68/63.73 c Learning 49 hard constraints 63.68/63.73 c ============================[ Search Statistics ]============================== 63.68/63.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.68/63.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.68/63.73 c =============================================================================== 63.68/63.73 c | 0 | 164700 152888 354347 | 50962 0 nan | 0.000 % | 64.17/64.23 c | 101 | 164700 152888 354347 | 56058 101 165 | 1.128 % | 64.57/64.63 c | 252 | 164695 152888 354347 | 61664 249 194 | 1.131 % | 65.17/65.26 c | 477 | 164689 152888 354347 | 67831 464 247 | 1.135 % | 65.57/65.65 c =============================================================================== 65.57/65.65 c core #432 65.57/65.65 c Core size: 2471 Core Weight: 1 Total Weight: 3333 65.57/65.65 c Elapsed CPU time: 62.0346 s Remaining CPU time: 1737.97 s 65.87/65.93 c Learning 58 hard constraints 65.87/65.93 c ============================[ Search Statistics ]============================== 65.87/65.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.87/65.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.87/65.93 c =============================================================================== 65.87/65.93 c | 0 | 166891 154608 362446 | 51536 0 nan | 0.000 % | 66.27/66.39 c | 103 | 166890 154608 362446 | 56689 102 253 | 1.111 % | 66.98/67.01 c =============================================================================== 66.98/67.02 c core #433 66.98/67.02 c Core size: 3022 Core Weight: 1 Total Weight: 3334 66.98/67.02 c Elapsed CPU time: 63.3374 s Remaining CPU time: 1736.66 s 67.27/67.30 c Learning 19 hard constraints 67.27/67.30 c ============================[ Search Statistics ]============================== 67.27/67.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.27/67.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.27/67.30 c =============================================================================== 67.27/67.30 c | 0 | 169613 156636 369791 | 52212 0 nan | 0.000 % | 67.67/67.77 c | 104 | 169613 156636 369791 | 57433 104 162 | 1.091 % | 68.07/68.19 c | 256 | 169608 156636 369791 | 63176 251 254 | 1.094 % | 68.47/68.57 c =============================================================================== 68.47/68.58 c core #434 68.47/68.58 c Core size: 3547 Core Weight: 1 Total Weight: 3335 68.47/68.58 c Elapsed CPU time: 64.8441 s Remaining CPU time: 1735.16 s 68.77/68.87 c Learning 11 hard constraints 68.77/68.87 c ============================[ Search Statistics ]============================== 68.77/68.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.77/68.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.77/68.87 c =============================================================================== 68.77/68.87 c | 0 | 172831 158756 378962 | 52918 0 nan | 0.000 % | 69.27/69.33 c | 100 | 172831 158756 378962 | 58210 100 258 | 1.066 % | 69.77/69.88 c | 250 | 172726 158756 378962 | 64031 134 180 | 1.126 % | 70.47/70.52 c =============================================================================== 70.47/70.53 c core #435 70.47/70.53 c Core size: 3426 Core Weight: 1 Total Weight: 3336 70.47/70.53 c Elapsed CPU time: 66.7289 s Remaining CPU time: 1733.27 s 70.77/70.82 c Learning 32 hard constraints 70.77/70.82 c ============================[ Search Statistics ]============================== 70.77/70.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.77/70.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.77/70.82 c =============================================================================== 70.77/70.82 c | 0 | 175885 160924 388627 | 53641 0 nan | 0.000 % | 71.16/71.22 c | 102 | 175884 160924 388627 | 59005 101 61 | 1.043 % | 71.57/71.69 c | 252 | 175876 160924 388627 | 64906 243 125 | 1.047 % | 72.17/72.29 c | 477 | 175875 160924 388627 | 71396 467 144 | 1.048 % | 72.67/72.77 c =============================================================================== 72.67/72.78 c core #436 72.67/72.78 c Core size: 2547 Core Weight: 1 Total Weight: 3337 72.67/72.78 c Elapsed CPU time: 68.9075 s Remaining CPU time: 1731.09 s 72.96/73.07 c Learning 31 hard constraints 72.96/73.07 c ============================[ Search Statistics ]============================== 72.96/73.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 72.96/73.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 72.96/73.07 c =============================================================================== 72.96/73.07 c | 0 | 178186 162589 397204 | 54196 0 nan | 0.000 % | 73.47/73.58 c | 100 | 178186 162589 397204 | 59615 100 199 | 1.006 % | 73.87/73.98 c | 251 | 178182 162589 397204 | 65577 250 264 | 1.008 % | 74.67/74.72 c | 479 | 178178 162589 397204 | 72135 469 230 | 1.011 % | 75.47/75.53 c | 818 | 178168 162589 397204 | 79348 788 216 | 1.017 % | 76.77/76.89 c | 1325 | 178153 162589 397204 | 87283 1265 419 | 1.024 % | 77.86/77.95 c =============================================================================== 77.86/77.98 c core #437 77.86/77.98 c Core size: 7310 Core Weight: 1 Total Weight: 3338 77.86/77.98 c Elapsed CPU time: 74.0457 s Remaining CPU time: 1725.95 s 78.26/78.30 c Learning 54 hard constraints 78.26/78.30 c ============================[ Search Statistics ]============================== 78.26/78.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.26/78.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.26/78.30 c =============================================================================== 78.26/78.30 c | 0 | 184762 166025 418257 | 55341 0 nan | 0.000 % | 78.57/78.69 c | 102 | 184762 166025 418257 | 60875 102 173 | 0.962 % | 78.97/79.02 c | 252 | 184759 166025 418257 | 66963 250 169 | 0.964 % | 79.57/79.61 c | 477 | 184751 166025 418257 | 73659 467 141 | 0.968 % | 80.46/80.58 c | 815 | 184366 166025 418257 | 81025 564 247 | 1.174 % | 80.96/81.07 c =============================================================================== 80.96/81.08 c core #438 80.96/81.08 c Core size: 5263 Core Weight: 1 Total Weight: 3339 80.96/81.08 c Elapsed CPU time: 77.0923 s Remaining CPU time: 1722.91 s 81.27/81.39 c Learning 35 hard constraints 81.27/81.39 c ============================[ Search Statistics ]============================== 81.27/81.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.27/81.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.27/81.39 c =============================================================================== 81.27/81.39 c | 0 | 189520 168596 431157 | 56198 0 nan | 0.000 % | 81.86/81.97 c | 102 | 189520 168596 431157 | 61818 102 358 | 0.933 % | 82.26/82.36 c | 252 | 189518 168596 431157 | 68000 251 225 | 0.934 % | 82.86/83.00 c | 477 | 189515 168596 431157 | 74800 470 168 | 0.936 % | 83.67/83.71 c | 814 | 189512 168596 431157 | 82280 804 136 | 0.937 % | 84.46/84.52 c =============================================================================== 84.46/84.53 c core #439 84.46/84.53 c Core size: 2496 Core Weight: 1 Total Weight: 3340 84.46/84.53 c Elapsed CPU time: 80.4508 s Remaining CPU time: 1719.55 s 84.76/84.86 c Learning 45 hard constraints 84.76/84.86 c ============================[ Search Statistics ]============================== 84.76/84.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.76/84.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.76/84.86 c =============================================================================== 84.76/84.86 c | 0 | 191717 170345 441382 | 56781 0 nan | 0.000 % | 85.37/85.41 c | 102 | 191716 170345 441382 | 62459 100 147 | 0.916 % | 85.67/85.78 c | 252 | 191716 170345 441382 | 68705 250 188 | 0.916 % | 86.16/86.29 c | 480 | 191710 170345 441382 | 75576 472 166 | 0.919 % | 86.87/86.97 c | 817 | 191708 170345 441382 | 83134 800 233 | 0.920 % | 88.06/88.16 c =============================================================================== 88.06/88.18 c core #440 88.06/88.18 c Core size: 3968 Core Weight: 1 Total Weight: 3341 88.06/88.18 c Elapsed CPU time: 84.0582 s Remaining CPU time: 1715.94 s 88.37/88.50 c Learning 91 hard constraints 88.37/88.50 c ============================[ Search Statistics ]============================== 88.37/88.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.37/88.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.37/88.50 c =============================================================================== 88.37/88.50 c | 0 | 195215 172819 454373 | 57606 0 nan | 0.000 % | 88.87/88.98 c | 101 | 195215 172819 454373 | 63366 101 231 | 0.894 % | 89.37/89.46 c | 251 | 195212 172819 454373 | 69703 249 165 | 0.895 % | 89.96/90.03 c | 488 | 195210 172819 454373 | 76674 483 222 | 0.896 % | 91.06/91.14 c | 827 | 195201 172819 454373 | 84341 813 237 | 0.901 % | 92.86/92.98 c | 1333 | 195171 172819 454373 | 92775 1234 259 | 0.916 % | 95.36/95.41 c | 2094 | 195155 172819 454373 | 102053 1959 404 | 0.924 % | 96.36/96.47 c =============================================================================== 96.36/96.49 c core #441 96.36/96.49 c Core size: 6401 Core Weight: 1 Total Weight: 3342 96.36/96.49 c Elapsed CPU time: 92.283 s Remaining CPU time: 1707.72 s 96.76/96.83 c Learning 147 hard constraints 96.76/96.83 c ============================[ Search Statistics ]============================== 96.76/96.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.76/96.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.76/96.83 c =============================================================================== 96.76/96.83 c | 0 | 200880 175921 479496 | 58640 0 nan | 0.000 % | 97.26/97.31 c | 100 | 200879 175921 479496 | 64504 99 111 | 0.863 % | 97.56/97.62 c | 251 | 200879 175921 479496 | 70954 250 101 | 0.863 % | 98.36/98.41 c | 476 | 200873 175921 479496 | 78050 468 97 | 0.866 % | 99.26/99.39 c | 814 | 200857 175921 479496 | 85855 763 267 | 0.874 % | 99.46/99.53 c =============================================================================== 99.46/99.54 c core #442 99.46/99.54 c Core size: 3829 Core Weight: 1 Total Weight: 3343 99.46/99.54 c Elapsed CPU time: 95.2315 s Remaining CPU time: 1704.77 s 99.76/99.87 c Learning 63 hard constraints 99.76/99.87 c ============================[ Search Statistics ]============================== 99.76/99.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.76/99.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.76/99.87 c =============================================================================== 99.76/99.87 c | 0 | 204294 178042 490058 | 59347 0 nan | 0.000 % | 100.46/100.58 c | 100 | 204294 178042 490058 | 65282 100 329 | 0.846 % | 100.96/101.09 c | 250 | 204293 178042 490058 | 71810 249 281 | 0.846 % | 101.66/101.77 c | 475 | 204290 178042 490058 | 78991 469 251 | 0.848 % | 102.76/102.87 c | 812 | 204287 178042 490058 | 86890 802 274 | 0.849 % | 104.46/104.53 c | 1319 | 204276 178042 490058 | 95579 1293 495 | 0.855 % | 104.56/104.69 c =============================================================================== 104.66/104.71 c core #443 104.66/104.71 c Core size: 6094 Core Weight: 1 Total Weight: 3344 104.66/104.71 c Elapsed CPU time: 100.313 s Remaining CPU time: 1699.69 s 105.06/105.10 c Learning 52 hard constraints 105.06/105.10 c ============================[ Search Statistics ]============================== 105.06/105.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.06/105.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.06/105.10 c =============================================================================== 105.06/105.10 c | 0 | 209744 180814 507239 | 60271 0 nan | 0.000 % | 105.46/105.58 c | 100 | 209743 180814 507239 | 66298 98 89 | 0.819 % | 106.36/106.40 c | 250 | 209739 180814 507239 | 72928 246 114 | 0.821 % | 106.96/107.06 c | 475 | 209734 180814 507239 | 80221 466 118 | 0.823 % | 107.95/108.06 c | 812 | 209726 180814 507239 | 88243 783 112 | 0.827 % | 109.46/109.56 c | 1318 | 209720 180814 507239 | 97067 1272 263 | 0.830 % | 111.76/111.81 c | 2078 | 209710 180814 507239 | 106774 2011 328 | 0.835 % | 113.85/113.98 c =============================================================================== 113.95/114.01 c core #444 113.95/114.01 c Core size: 6597 Core Weight: 1 Total Weight: 3345 113.95/114.01 c Elapsed CPU time: 109.507 s Remaining CPU time: 1690.49 s 114.26/114.36 c Learning 163 hard constraints 114.26/114.36 c ============================[ Search Statistics ]============================== 114.26/114.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.26/114.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.26/114.36 c =============================================================================== 114.26/114.36 c | 0 | 215651 184142 535948 | 61380 0 nan | 0.000 % | 114.76/114.88 c | 100 | 215651 184142 535948 | 67518 100 186 | 0.793 % | 115.36/115.45 c | 250 | 215647 184142 535948 | 74270 242 156 | 0.794 % | 116.25/116.31 c | 476 | 215645 184142 535948 | 81697 466 168 | 0.795 % | 117.35/117.49 c | 813 | 215642 184142 535948 | 89867 799 172 | 0.797 % | 118.86/118.91 c | 1319 | 215640 184142 535948 | 98854 1302 197 | 0.798 % | 120.86/120.98 c | 2078 | 215636 184142 535948 | 108739 2050 313 | 0.800 % | 124.65/124.72 c | 3219 | 215622 184142 535948 | 119613 3162 386 | 0.806 % | 130.25/130.30 c | 4927 | 215617 184142 535948 | 131574 4855 630 | 0.808 % | 134.55/134.61 c =============================================================================== 134.65/134.71 c core #445 134.65/134.71 c Core size: 11145 Core Weight: 1 Total Weight: 3346 134.65/134.71 c Elapsed CPU time: 130.079 s Remaining CPU time: 1669.92 s 135.05/135.13 c Learning 318 hard constraints 135.05/135.13 c ============================[ Search Statistics ]============================== 135.05/135.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.05/135.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.05/135.13 c =============================================================================== 135.05/135.13 c | 0 | 225717 188006 587094 | 62668 0 nan | 0.000 % | 135.55/135.61 c | 102 | 225714 188006 587094 | 68935 102 157 | 0.756 % | 136.15/136.27 c | 254 | 225714 188006 587094 | 75829 251 199 | 0.756 % | 137.05/137.10 c | 479 | 225713 188006 587094 | 83411 475 250 | 0.757 % | 138.05/138.12 c | 817 | 225712 188006 587094 | 91753 813 266 | 0.757 % | 139.45/139.51 c | 1323 | 225711 188006 587094 | 100928 1317 320 | 0.758 % | 141.55/141.63 c | 2082 | 225706 188006 587094 | 111021 2063 321 | 0.760 % | 144.65/144.72 c | 3221 | 225693 188006 587094 | 122123 3159 333 | 0.765 % | 149.95/150.05 c | 4929 | 225633 188006 587094 | 134335 4685 394 | 0.792 % | 154.54/154.69 c =============================================================================== 154.64/154.77 c core #446 154.64/154.77 c Core size: 10198 Core Weight: 1 Total Weight: 3347 154.64/154.77 c Elapsed CPU time: 149.994 s Remaining CPU time: 1650.01 s 155.15/155.20 c Learning 360 hard constraints 155.15/155.20 c ============================[ Search Statistics ]============================== 155.15/155.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 155.15/155.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 155.15/155.20 c =============================================================================== 155.15/155.20 c | 0 | 234868 191950 643669 | 63983 0 nan | 0.000 % | 155.75/155.80 c | 101 | 234868 191950 643669 | 70381 101 204 | 0.722 % | 155.95/156.10 c | 251 | 234868 191950 643669 | 77419 251 232 | 0.722 % | 156.54/156.69 c | 477 | 234865 191950 643669 | 85161 474 206 | 0.724 % | 157.35/157.46 c | 814 | 234865 191950 643669 | 93677 811 197 | 0.724 % | 159.24/159.35 c | 1321 | 234857 191950 643669 | 103045 1301 185 | 0.727 % | 161.55/161.62 c | 2081 | 234851 191950 643669 | 113350 2054 256 | 0.730 % | 164.64/164.80 c | 3220 | 234845 191950 643669 | 124685 3182 340 | 0.732 % | 169.54/169.66 c | 4928 | 234844 191950 643669 | 137153 4878 441 | 0.733 % | 177.33/177.44 c | 7490 | 234823 191950 643669 | 150869 7377 501 | 0.741 % | 190.64/190.70 c | 11334 | 234814 191950 643669 | 165956 11132 613 | 0.745 % | 211.62/211.74 c | 17100 | 234802 191950 643669 | 182551 16250 709 | 0.750 % | 267.22/267.35 c | 25749 | 234772 191950 643669 | 200807 24708 945 | 0.763 % | 325.99/326.19 c =============================================================================== 326.79/326.92 c core #447 326.79/326.92 c Core size: 16856 Core Weight: 1 Total Weight: 3348 326.79/326.92 c Elapsed CPU time: 321.624 s Remaining CPU time: 1478.38 s 327.29/327.45 c Learning 1329 hard constraints 327.29/327.45 c ============================[ Search Statistics ]============================== 327.29/327.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 327.29/327.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 327.29/327.45 c =============================================================================== 327.29/327.45 c | 0 | 249964 197544 825790 | 65848 0 nan | 0.000 % | 327.89/328.05 c | 100 | 249963 197544 825790 | 72432 100 222 | 0.677 % | 328.49/328.61 c | 252 | 249963 197544 825790 | 79676 251 205 | 0.677 % | 329.49/329.62 c | 478 | 249963 197544 825790 | 87643 477 202 | 0.677 % | 330.49/330.61 c | 817 | 249961 197544 825790 | 96408 813 256 | 0.678 % | 331.49/331.67 c | 1323 | 249959 197544 825790 | 106048 1314 292 | 0.679 % | 334.20/334.39 c | 2082 | 249953 197544 825790 | 116653 2057 253 | 0.681 % | 337.89/338.01 c | 3223 | 249947 197544 825790 | 128319 3184 267 | 0.684 % | 342.08/342.28 c | 4934 | 249944 197544 825790 | 141151 4892 427 | 0.685 % | 349.38/349.50 c | 7496 | 249936 197544 825790 | 155266 7410 578 | 0.688 % | 359.88/360.06 c | 11340 | 249928 197544 825790 | 170792 11249 637 | 0.691 % | 381.78/381.95 c | 17107 | 249915 197544 825790 | 187872 16949 761 | 0.697 % | 438.66/438.82 c | 25758 | 249908 197544 825790 | 206659 25596 1000 | 0.699 % | 623.00/623.24 c | 38734 | 249906 197544 825790 | 227325 38369 1230 | 0.700 % | 981.40/981.75 c | 58195 | 249900 197544 825790 | 250057 57822 1375 | 0.703 % | 1490.56/1491.00 c | 87387 | 249876 197544 825790 | 275063 86946 1463 | 0.712 % | 1502.86/1503.37 c =============================================================================== 1506.65/1507.18 c core #448 1506.65/1507.18 c Core size: 20034 Core Weight: 1 Total Weight: 3349 1506.65/1507.18 c Elapsed CPU time: 1500.34 s Remaining CPU time: 299.659 s 1507.35/1507.88 c Learning 3011 hard constraints 1507.35/1507.88 c ============================[ Search Statistics ]============================== 1507.35/1507.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1507.35/1507.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1507.35/1507.88 c =============================================================================== 1507.35/1507.88 c | 0 | 267185 204676 1408544 | 68225 0 nan | 0.000 % | 1508.05/1508.50 c | 101 | 267185 204676 1408544 | 75047 101 419 | 0.630 % | 1509.05/1509.52 c | 253 | 267185 204676 1408544 | 82552 253 292 | 0.630 % | 1510.15/1510.66 c | 479 | 267185 204676 1408544 | 90807 479 303 | 0.630 % | 1511.15/1511.65 c | 816 | 267184 204676 1408544 | 99888 815 326 | 0.630 % | 1512.15/1512.68 c | 1322 | 267182 204676 1408544 | 109877 1321 367 | 0.631 % | 1513.55/1514.08 c | 2081 | 267182 204676 1408544 | 120865 2076 434 | 0.631 % | 1516.74/1517.28 c | 3220 | 267173 204676 1408544 | 132951 3214 417 | 0.634 % | 1520.45/1520.94 c | 4929 | 267170 204676 1408544 | 146247 4898 583 | 0.636 % | 1527.05/1527.52 c | 7498 | 267167 204676 1408544 | 160871 7457 651 | 0.637 % | 1537.84/1538.38 c | 11343 | 267158 204676 1408544 | 176958 11287 743 | 0.640 % | 1557.24/1557.72 c | 17111 | 267151 204676 1408544 | 194654 17035 837 | 0.643 % | 1592.62/1593.17 c | 25766 | 267139 204676 1408544 | 214120 25652 921 | 0.647 % | 1669.71/1670.26 c | 38743 | 267133 204676 1408544 | 235532 38573 1008 | 0.649 % |
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-1876123-1245132911/watcher-1876123-1245132911 -o /tmp/evaluation-result-1876123-1245132911/solver-1876123-1245132911 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876123-1245132911.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: 1.00 1.00 1.00 3/64 5379 /proc/meminfo: memFree=1272456/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=2976 CPUtime=0 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 180887960 3047424 246 1992294400 134512640 135709839 4294956240 18446744073709551615 135118583 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 744 246 122 292 0 418 0 [startup+0.0166551 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5379 /proc/meminfo: memFree=1272456/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=3116 CPUtime=0.01 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 346 0 0 0 1 0 0 0 18 0 1 0 180887960 3190784 330 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 779 330 145 292 0 453 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3116 [startup+0.101665 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5379 /proc/meminfo: memFree=1272456/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=5152 CPUtime=0.09 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 895 0 0 0 9 0 0 0 18 0 1 0 180887960 5275648 836 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 1288 836 134 292 0 993 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5152 [startup+0.301687 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5379 /proc/meminfo: memFree=1272456/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=8244 CPUtime=0.29 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 1976 0 0 0 28 1 0 0 19 0 1 0 180887960 8441856 1581 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 2061 1581 134 292 0 1766 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8244 [startup+0.701731 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5379 /proc/meminfo: memFree=1272456/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=14012 CPUtime=0.69 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 3963 0 0 0 67 2 0 0 22 0 1 0 180887960 14348288 3025 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 3503 3025 134 292 0 3208 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14012 [startup+1.50182 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=1257664/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=22956 CPUtime=1.49 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 7664 0 0 0 145 4 0 0 25 0 1 0 180887960 23506944 5273 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 5739 5273 134 292 0 5444 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22956 [startup+3.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=1244352/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=39280 CPUtime=3.09 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 23969 0 0 0 296 13 0 0 25 0 1 0 180887960 40222720 9272 1992294400 134512640 135709839 4294956240 18446744073709551615 134570715 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 9820 9272 134 292 0 9525 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39280 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=1203776/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=83328 CPUtime=6.29 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 67486 0 0 0 594 35 0 0 25 0 1 0 180887960 85327872 20216 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 20832 20216 135 292 0 20537 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 83328 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=1128960/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=155360 CPUtime=12.69 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 120053 0 0 0 1190 79 0 0 25 0 1 0 180887960 159088640 38065 1992294400 134512640 135709839 4294956240 18446744073709551615 135236193 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 38840 38065 420 292 0 38545 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 155360 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=1003648/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=280420 CPUtime=25.49 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 232666 0 0 0 2366 183 0 0 25 0 1 0 180887960 287150080 69181 1992294400 134512640 135709839 4294956240 18446744073709551615 135165885 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 70105 69181 136 292 0 69810 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 280420 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=831296/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=459256 CPUtime=51.08 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 403143 0 0 0 4799 309 0 0 25 0 1 0 180887960 470278144 113125 1992294400 134512640 135709839 4294956240 18446744073709551615 134517456 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 114814 113125 136 292 0 114519 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 459256 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=734656/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=540100 CPUtime=102.26 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 495864 0 0 0 9790 436 0 0 25 0 1 0 180887960 553062400 134163 1992294400 134512640 135709839 4294956240 18446744073709551615 134609820 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 135025 134163 136 292 0 134730 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 540100 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=694080/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=585940 CPUtime=162.24 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 523930 0 0 0 15738 486 0 0 25 0 1 0 180887960 600002560 144282 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 146485 144282 136 292 0 146190 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 585940 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=654656/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=625572 CPUtime=222.22 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 533832 0 0 0 21721 501 0 0 25 0 1 0 180887960 640585728 154184 1992294400 134512640 135709839 4294956240 18446744073709551615 134588028 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 156393 154184 136 292 0 156098 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 625572 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=607744/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=672780 CPUtime=282.21 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 545640 0 0 0 27707 514 0 0 25 0 1 0 180887960 688926720 165992 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 168195 165992 136 292 0 167900 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 672780 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=560256/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=718872 CPUtime=342.18 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 561409 0 0 0 33684 534 0 0 25 0 1 0 180887960 736124928 177640 1992294400 134512640 135709839 4294956240 18446744073709551615 134517536 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 179718 177640 136 292 0 179423 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 718872 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=560256/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=718872 CPUtime=402.17 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 561409 0 0 0 39675 542 0 0 25 0 1 0 180887960 736124928 177640 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 179718 177640 136 292 0 179423 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 718872 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=560256/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=718872 CPUtime=462.16 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 561409 0 0 0 45670 546 0 0 25 0 1 0 180887960 736124928 177640 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 179718 177640 136 292 0 179423 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 718872 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=555392/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=724096 CPUtime=522.14 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 562727 0 0 0 51666 548 0 0 25 0 1 0 180887960 741474304 178958 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 181024 178958 136 292 0 180729 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 724096 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=528896/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=750272 CPUtime=582.12 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 569281 0 0 0 57659 553 0 0 25 0 1 0 180887960 768278528 185512 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 187568 185512 136 292 0 187273 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 750272 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=503616/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=775288 CPUtime=642.1 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 575531 0 0 0 63651 559 0 0 25 0 1 0 180887960 793894912 191762 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 193822 191762 136 292 0 193527 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 775288 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=403392/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=875752 CPUtime=882.03 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 600600 0 0 0 87620 583 0 0 25 0 1 0 180887960 896770048 216831 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 218938 216831 136 292 0 218643 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 875752 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=386368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=892968 CPUtime=942.01 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 604884 0 0 0 93614 587 0 0 25 0 1 0 180887960 914399232 221115 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 223242 221115 136 292 0 222947 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 892968 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=370176/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=908944 CPUtime=1002 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 608881 0 0 0 99608 592 0 0 25 0 1 0 180887960 930758656 225112 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 227236 225112 136 292 0 226941 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 908944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=354752/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=924356 CPUtime=1061.98 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 612728 0 0 0 105603 595 0 0 25 0 1 0 180887960 946540544 228959 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 231089 228959 136 292 0 230794 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 924356 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=335168/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=944068 CPUtime=1121.96 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 617616 0 0 0 111596 600 0 0 25 0 1 0 180887960 966725632 233847 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 236017 233847 136 292 0 235722 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 944068 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=310464/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=969080 CPUtime=1181.95 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 623873 0 0 0 117589 606 0 0 25 0 1 0 180887960 992337920 240104 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 242270 240104 136 292 0 241975 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 969080 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=277312/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1001844 CPUtime=1241.93 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 632047 0 0 0 123578 615 0 0 25 0 1 0 180887960 1025888256 248278 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 250461 248278 136 292 0 250166 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1001844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=250112/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1028680 CPUtime=1301.92 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 638773 0 0 0 129572 620 0 0 25 0 1 0 180887960 1053368320 255004 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 257170 255004 136 292 0 256875 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1028680 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=232256/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1046716 CPUtime=1361.9 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 643275 0 0 0 135566 624 0 0 25 0 1 0 180887960 1071837184 259506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 261679 259506 136 292 0 261384 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1046716 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=211072/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1067632 CPUtime=1421.88 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 648503 0 0 0 141559 629 0 0 25 0 1 0 180887960 1093255168 264734 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 266908 264734 136 292 0 266613 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1067632 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=183616/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1095316 CPUtime=1481.86 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 655419 0 0 0 147549 637 0 0 25 0 1 0 180887960 1121603584 271650 1992294400 134512640 135709839 4294956240 18446744073709551615 134573890 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 273829 271650 136 292 0 273534 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1095316 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1130712 CPUtime=1541.84 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 669444 0 0 0 153522 662 0 0 25 0 1 0 180887960 1157849088 280810 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 282678 280810 136 292 0 282383 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1130712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1130712 CPUtime=1601.82 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 669453 0 0 0 159512 670 0 0 25 0 1 0 180887960 1157849088 280819 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 282678 280819 136 292 0 282383 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1130712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1130712 CPUtime=1661.8 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 669459 0 0 0 165506 674 0 0 25 0 1 0 180887960 1157849088 280825 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 282678 280825 136 292 0 282383 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1130712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146304/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1130712 CPUtime=1721.78 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 669461 0 0 0 171501 677 0 0 25 0 1 0 180887960 1157849088 280827 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 282678 280827 136 292 0 282383 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1130712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1130712 CPUtime=1781.77 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 669464 0 0 0 177497 680 0 0 25 0 1 0 180887960 1157849088 280830 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 282678 280830 136 292 0 282383 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1130712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=1130712 CPUtime=1800.07 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4194304 669464 0 0 0 179326 681 0 0 25 0 1 0 180887960 1157849088 280830 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 282678 280830 136 292 0 282383 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1130712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5380 /proc/meminfo: memFree=146368/2055920 swapFree=4192812/4192956 [pid=5379] ppid=5377 vsize=0 CPUtime=1800.17 /proc/5379/stat : 5379 (wbo) R 5377 5379 5133 0 -1 4195332 669464 0 0 0 179326 691 0 0 25 0 1 0 180887960 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5379/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.26 CPU user time (s): 1793.27 CPU system time (s): 6.99294 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1156444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.27 system time used= 6.99294 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 669464 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= 18 involuntary context switches= 2475 runsolver used 1.48577 second user time and 3.59045 second system time The end
Begin job on node42 at 2009-06-16 08:15:11 IDJOB=1876123 IDBENCH=1851 IDSOLVER=698 FILE ID=node42/1876123-1245132911 PBS_JOBID= 9363686 Free space on /tmp= 66148 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.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-1876123-1245132911/watcher-1876123-1245132911 -o /tmp/evaluation-result-1876123-1245132911/solver-1876123-1245132911 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876123-1245132911.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED=1324898879 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: 1272872 kB Buffers: 45028 kB Cached: 647684 kB SwapCached: 140 kB Active: 118652 kB Inactive: 588180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1272872 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2708 kB Writeback: 0 kB Mapped: 23760 kB Slab: 62184 kB Committed_AS: 159604 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-1876123-1245132911.opb Free space on /tmp at the end= 66144 MiB End job on node42 at 2009-06-16 08:45:14