Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.18 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
MD5SUM | 866c660dea8282137b8c78839dd4c03f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4517 |
Best CPU time to get the best result obtained on this benchmark | 4.69729 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4517 |
Optimality of the best value was proved | YES |
Number of variables | 651 |
Total number of constraints | 1658 |
Number of constraints which are clauses | 1656 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 651 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 28138 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 28138 |
Number of bits of the biggest sum of numbers | 15 |
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-1876140-1245147377.opb. 0.00/0.00 c Instance file HOME/instance-1876140-1245147377.opb 0.00/0.00 c File size is 71286 bytes. 0.00/0.01 c Highest Coefficient sum: 43 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 651 | 0.00/0.01 c | Number Clauses: 2307 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 2 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 12 Core Weight: 32 Total Weight: 32 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 15 Core Weight: 16 Total Weight: 48 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 15 Core Weight: 12 Total Weight: 60 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 22 Core Weight: 34 Total Weight: 94 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 18 Core Weight: 34 Total Weight: 128 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #6 0.00/0.02 c Core size: 12 Core Weight: 16 Total Weight: 144 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 30 Core Weight: 26 Total Weight: 170 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 9 Core Weight: 8 Total Weight: 178 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 15 Core Weight: 34 Total Weight: 212 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 21 Core Weight: 32 Total Weight: 244 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #11 0.00/0.03 c Core size: 27 Core Weight: 27 Total Weight: 271 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #12 0.00/0.03 c Core size: 10 Core Weight: 5 Total Weight: 276 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 23 Core Weight: 16 Total Weight: 292 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 14 Core Weight: 34 Total Weight: 326 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 16 Core Weight: 34 Total Weight: 360 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #16 0.00/0.04 c Core size: 12 Core Weight: 8 Total Weight: 368 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #17 0.00/0.04 c Core size: 11 Core Weight: 7 Total Weight: 375 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #18 0.00/0.04 c Core size: 9 Core Weight: 34 Total Weight: 409 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #19 0.00/0.04 c Core size: 11 Core Weight: 8 Total Weight: 417 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #20 0.00/0.04 c Core size: 4 Core Weight: 19 Total Weight: 436 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #21 0.00/0.05 c Core size: 11 Core Weight: 32 Total Weight: 468 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #22 0.00/0.05 c Core size: 10 Core Weight: 19 Total Weight: 487 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #23 0.00/0.05 c Core size: 15 Core Weight: 9 Total Weight: 496 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #24 0.00/0.05 c Core size: 3 Core Weight: 42 Total Weight: 538 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c core #25 0.00/0.05 c Core size: 3 Core Weight: 18 Total Weight: 556 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #26 0.00/0.06 c Core size: 4 Core Weight: 42 Total Weight: 598 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #27 0.00/0.06 c Core size: 7 Core Weight: 8 Total Weight: 606 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #28 0.00/0.06 c Core size: 7 Core Weight: 1 Total Weight: 607 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #29 0.00/0.06 c Core size: 8 Core Weight: 18 Total Weight: 625 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.06 c core #30 0.00/0.06 c Core size: 12 Core Weight: 9 Total Weight: 634 0.00/0.06 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #31 0.00/0.07 c Core size: 6 Core Weight: 25 Total Weight: 659 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #32 0.00/0.07 c Core size: 14 Core Weight: 16 Total Weight: 675 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #33 0.00/0.07 c Core size: 5 Core Weight: 42 Total Weight: 717 0.00/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #34 0.07/0.07 c Core size: 2 Core Weight: 42 Total Weight: 759 0.07/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.07/0.07 c core #35 0.07/0.07 c Core size: 2 Core Weight: 42 Total Weight: 801 0.07/0.07 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #36 0.07/0.08 c Core size: 4 Core Weight: 25 Total Weight: 826 0.07/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #37 0.07/0.08 c Core size: 3 Core Weight: 42 Total Weight: 868 0.07/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #38 0.07/0.08 c Core size: 2 Core Weight: 42 Total Weight: 910 0.07/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.08 c core #39 0.07/0.08 c Core size: 4 Core Weight: 25 Total Weight: 935 0.07/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #40 0.07/0.09 c Core size: 9 Core Weight: 10 Total Weight: 945 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #41 0.07/0.09 c Core size: 9 Core Weight: 16 Total Weight: 961 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #42 0.07/0.09 c Core size: 3 Core Weight: 42 Total Weight: 1003 0.07/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #43 0.07/0.09 c Core size: 2 Core Weight: 42 Total Weight: 1045 0.07/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.07/0.09 c core #44 0.07/0.09 c Core size: 4 Core Weight: 17 Total Weight: 1062 0.07/0.09 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #45 0.10/0.10 c Core size: 3 Core Weight: 33 Total Weight: 1095 0.10/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #46 0.10/0.10 c Core size: 8 Core Weight: 17 Total Weight: 1112 0.10/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #47 0.10/0.10 c Core size: 6 Core Weight: 17 Total Weight: 1129 0.10/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.10/0.10 c core #48 0.10/0.10 c Core size: 6 Core Weight: 26 Total Weight: 1155 0.10/0.10 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #49 0.10/0.11 c Core size: 5 Core Weight: 34 Total Weight: 1189 0.10/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #50 0.10/0.11 c Core size: 4 Core Weight: 42 Total Weight: 1231 0.10/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #51 0.10/0.11 c Core size: 2 Core Weight: 42 Total Weight: 1273 0.10/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #52 0.10/0.11 c Core size: 3 Core Weight: 42 Total Weight: 1315 0.10/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #53 0.10/0.12 c Core size: 4 Core Weight: 23 Total Weight: 1338 0.10/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #54 0.10/0.12 c Core size: 2 Core Weight: 42 Total Weight: 1380 0.10/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #55 0.10/0.12 c Core size: 2 Core Weight: 42 Total Weight: 1422 0.10/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #56 0.10/0.12 c Core size: 5 Core Weight: 42 Total Weight: 1464 0.10/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.10/0.12 c core #57 0.10/0.12 c Core size: 6 Core Weight: 17 Total Weight: 1481 0.10/0.12 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #58 0.10/0.13 c Core size: 6 Core Weight: 25 Total Weight: 1506 0.10/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #59 0.10/0.13 c Core size: 6 Core Weight: 9 Total Weight: 1515 0.10/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #60 0.10/0.13 c Core size: 3 Core Weight: 31 Total Weight: 1546 0.10/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.10/0.13 c core #61 0.10/0.13 c Core size: 4 Core Weight: 17 Total Weight: 1563 0.10/0.13 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #62 0.10/0.14 c Core size: 5 Core Weight: 24 Total Weight: 1587 0.10/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #63 0.10/0.14 c Core size: 3 Core Weight: 26 Total Weight: 1613 0.10/0.14 c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #64 0.10/0.14 c Core size: 5 Core Weight: 25 Total Weight: 1638 0.10/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.10/0.14 c core #65 0.10/0.14 c Core size: 3 Core Weight: 25 Total Weight: 1663 0.10/0.14 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #66 0.10/0.15 c Core size: 3 Core Weight: 42 Total Weight: 1705 0.10/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #67 0.10/0.15 c Core size: 3 Core Weight: 9 Total Weight: 1714 0.10/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #68 0.10/0.15 c Core size: 3 Core Weight: 17 Total Weight: 1731 0.10/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #69 0.10/0.15 c Core size: 5 Core Weight: 42 Total Weight: 1773 0.10/0.15 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #70 0.10/0.16 c Core size: 6 Core Weight: 8 Total Weight: 1781 0.10/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #71 0.10/0.16 c Core size: 5 Core Weight: 1 Total Weight: 1782 0.10/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #72 0.10/0.16 c Core size: 4 Core Weight: 34 Total Weight: 1816 0.10/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #73 0.10/0.16 c Core size: 5 Core Weight: 42 Total Weight: 1858 0.10/0.16 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #74 0.10/0.17 c Core size: 6 Core Weight: 8 Total Weight: 1866 0.10/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #75 0.10/0.17 c Core size: 5 Core Weight: 1 Total Weight: 1867 0.10/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #76 0.10/0.17 c Core size: 2 Core Weight: 42 Total Weight: 1909 0.10/0.17 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #77 0.10/0.17 c Core size: 2 Core Weight: 42 Total Weight: 1951 0.10/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.10/0.17 c core #78 0.10/0.17 c Core size: 2 Core Weight: 42 Total Weight: 1993 0.10/0.17 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #79 0.10/0.18 c Core size: 6 Core Weight: 8 Total Weight: 2001 0.10/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #80 0.10/0.18 c Core size: 9 Core Weight: 18 Total Weight: 2019 0.10/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #81 0.10/0.18 c Core size: 9 Core Weight: 17 Total Weight: 2036 0.10/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.10/0.18 c core #82 0.10/0.18 c Core size: 7 Core Weight: 16 Total Weight: 2052 0.10/0.18 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.10/0.19 c core #83 0.10/0.19 c Core size: 10 Core Weight: 28 Total Weight: 2080 0.10/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.10/0.19 c core #84 0.10/0.19 c Core size: 3 Core Weight: 42 Total Weight: 2122 0.10/0.19 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.10/0.19 c core #85 0.10/0.19 c Core size: 3 Core Weight: 42 Total Weight: 2164 0.10/0.19 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.10/0.19 c core #86 0.10/0.19 c Core size: 5 Core Weight: 16 Total Weight: 2180 0.10/0.19 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.20/0.20 c core #87 0.20/0.20 c Core size: 3 Core Weight: 42 Total Weight: 2222 0.20/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.20/0.20 c core #88 0.20/0.20 c Core size: 4 Core Weight: 10 Total Weight: 2232 0.20/0.20 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.20/0.20 c core #89 0.20/0.20 c Core size: 10 Core Weight: 23 Total Weight: 2255 0.20/0.20 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #90 0.20/0.21 c Core size: 11 Core Weight: 16 Total Weight: 2271 0.20/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #91 0.20/0.21 c Core size: 5 Core Weight: 16 Total Weight: 2287 0.20/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #92 0.20/0.21 c Core size: 4 Core Weight: 34 Total Weight: 2321 0.20/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #93 0.20/0.21 c Core size: 5 Core Weight: 8 Total Weight: 2329 0.20/0.21 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.20/0.22 c core #94 0.20/0.22 c Core size: 4 Core Weight: 34 Total Weight: 2363 0.20/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.20/0.22 c core #95 0.20/0.22 c Core size: 5 Core Weight: 24 Total Weight: 2387 0.20/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.20/0.22 c core #96 0.20/0.22 c Core size: 4 Core Weight: 27 Total Weight: 2414 0.20/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.20/0.22 c core #97 0.20/0.22 c Core size: 3 Core Weight: 3 Total Weight: 2417 0.20/0.22 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.20/0.23 c core #98 0.20/0.23 c Core size: 7 Core Weight: 23 Total Weight: 2440 0.20/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.20/0.23 c core #99 0.20/0.23 c Core size: 10 Core Weight: 32 Total Weight: 2472 0.20/0.23 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.20/0.23 c core #100 0.20/0.23 c Core size: 10 Core Weight: 2 Total Weight: 2474 0.20/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.20/0.23 c core #101 0.20/0.23 c Core size: 3 Core Weight: 13 Total Weight: 2487 0.20/0.23 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.20/0.24 c core #102 0.20/0.24 c Core size: 10 Core Weight: 32 Total Weight: 2519 0.20/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.20/0.24 c core #103 0.20/0.24 c Core size: 5 Core Weight: 19 Total Weight: 2538 0.20/0.24 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.20/0.24 c core #104 0.20/0.24 c Core size: 8 Core Weight: 9 Total Weight: 2547 0.20/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.20/0.24 c core #105 0.20/0.24 c Core size: 4 Core Weight: 8 Total Weight: 2555 0.20/0.24 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.20/0.25 c core #106 0.20/0.25 c Core size: 3 Core Weight: 42 Total Weight: 2597 0.20/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.20/0.25 c core #107 0.20/0.25 c Core size: 4 Core Weight: 10 Total Weight: 2607 0.20/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.20/0.25 c core #108 0.20/0.25 c Core size: 10 Core Weight: 26 Total Weight: 2633 0.20/0.25 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.20/0.25 c core #109 0.20/0.25 c Core size: 8 Core Weight: 6 Total Weight: 2639 0.20/0.25 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.20/0.26 c core #110 0.20/0.26 c Core size: 5 Core Weight: 19 Total Weight: 2658 0.20/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.20/0.26 c core #111 0.20/0.26 c Core size: 5 Core Weight: 8 Total Weight: 2666 0.20/0.26 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.20/0.26 c core #112 0.20/0.26 c Core size: 4 Core Weight: 34 Total Weight: 2700 0.20/0.26 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.20/0.26 c core #113 0.20/0.26 c Core size: 12 Core Weight: 26 Total Weight: 2726 0.20/0.26 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.20/0.27 c core #114 0.20/0.27 c Core size: 6 Core Weight: 16 Total Weight: 2742 0.20/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.20/0.27 c core #115 0.20/0.27 c Core size: 5 Core Weight: 25 Total Weight: 2767 0.20/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.20/0.27 c core #116 0.20/0.27 c Core size: 4 Core Weight: 8 Total Weight: 2775 0.20/0.27 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.20/0.27 c core #117 0.20/0.27 c Core size: 7 Core Weight: 18 Total Weight: 2793 0.20/0.27 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.20/0.28 c core #118 0.20/0.28 c Core size: 5 Core Weight: 23 Total Weight: 2816 0.20/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.20/0.28 c core #119 0.20/0.28 c Core size: 4 Core Weight: 28 Total Weight: 2844 0.20/0.28 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.20/0.28 c core #120 0.20/0.28 c Core size: 3 Core Weight: 29 Total Weight: 2873 0.20/0.28 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.20/0.29 c core #121 0.20/0.29 c Core size: 5 Core Weight: 19 Total Weight: 2892 0.20/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.20/0.29 c core #122 0.20/0.29 c Core size: 3 Core Weight: 42 Total Weight: 2934 0.20/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.20/0.29 c core #123 0.20/0.29 c Core size: 3 Core Weight: 3 Total Weight: 2937 0.20/0.29 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.20/0.29 c core #124 0.20/0.29 c Core size: 15 Core Weight: 7 Total Weight: 2944 0.20/0.29 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.20/0.30 c core #125 0.20/0.30 c Core size: 5 Core Weight: 34 Total Weight: 2978 0.20/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.30/0.30 c core #126 0.30/0.30 c Core size: 4 Core Weight: 28 Total Weight: 3006 0.30/0.30 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.30/0.30 c core #127 0.30/0.30 c Core size: 5 Core Weight: 8 Total Weight: 3014 0.30/0.30 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.30/0.30 c core #128 0.30/0.30 c Core size: 4 Core Weight: 1 Total Weight: 3015 0.30/0.30 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.30/0.31 c core #129 0.30/0.31 c Core size: 6 Core Weight: 18 Total Weight: 3033 0.30/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.30/0.31 c core #130 0.30/0.31 c Core size: 4 Core Weight: 7 Total Weight: 3040 0.30/0.31 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.30/0.31 c core #131 0.30/0.31 c Core size: 4 Core Weight: 34 Total Weight: 3074 0.30/0.31 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.30/0.32 c core #132 0.30/0.32 c Core size: 6 Core Weight: 32 Total Weight: 3106 0.30/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.30/0.32 c core #133 0.30/0.32 c Core size: 8 Core Weight: 9 Total Weight: 3115 0.30/0.32 c Elapsed CPU time: 0.32295 s Remaining CPU time: 1799.68 s 0.30/0.32 c core #134 0.30/0.32 c Core size: 8 Core Weight: 3 Total Weight: 3118 0.30/0.32 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.30/0.32 c core #135 0.30/0.32 c Core size: 8 Core Weight: 3 Total Weight: 3121 0.30/0.32 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.30/0.33 c core #136 0.30/0.33 c Core size: 10 Core Weight: 16 Total Weight: 3137 0.30/0.33 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.30/0.33 c core #137 0.30/0.33 c Core size: 7 Core Weight: 9 Total Weight: 3146 0.30/0.33 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.30/0.33 c core #138 0.30/0.33 c Core size: 10 Core Weight: 16 Total Weight: 3162 0.30/0.33 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.30/0.34 c core #139 0.30/0.34 c Core size: 10 Core Weight: 10 Total Weight: 3172 0.30/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.30/0.34 c core #140 0.30/0.34 c Core size: 12 Core Weight: 3 Total Weight: 3175 0.30/0.34 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.30/0.34 c core #141 0.30/0.34 c Core size: 12 Core Weight: 4 Total Weight: 3179 0.30/0.34 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.30/0.34 c core #142 0.30/0.34 c Core size: 5 Core Weight: 1 Total Weight: 3180 0.30/0.34 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.30/0.35 c core #143 0.30/0.35 c Core size: 5 Core Weight: 8 Total Weight: 3188 0.30/0.35 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.30/0.35 c core #144 0.30/0.35 c Core size: 5 Core Weight: 8 Total Weight: 3196 0.30/0.35 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.30/0.35 c core #145 0.30/0.35 c Core size: 6 Core Weight: 8 Total Weight: 3204 0.30/0.35 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.30/0.36 c core #146 0.30/0.36 c Core size: 5 Core Weight: 8 Total Weight: 3212 0.30/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.30/0.36 c core #147 0.30/0.36 c Core size: 5 Core Weight: 9 Total Weight: 3221 0.30/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.30/0.36 c core #148 0.30/0.36 c Core size: 5 Core Weight: 18 Total Weight: 3239 0.30/0.36 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.30/0.36 c core #149 0.30/0.36 c Core size: 6 Core Weight: 8 Total Weight: 3247 0.30/0.36 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.30/0.37 c core #150 0.30/0.37 c Core size: 8 Core Weight: 2 Total Weight: 3249 0.30/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.30/0.37 c core #151 0.30/0.37 c Core size: 7 Core Weight: 16 Total Weight: 3265 0.30/0.37 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.30/0.37 c core #152 0.30/0.37 c Core size: 12 Core Weight: 1 Total Weight: 3266 0.30/0.37 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.30/0.38 c core #153 0.30/0.38 c Core size: 3 Core Weight: 17 Total Weight: 3283 0.30/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.30/0.38 c core #154 0.30/0.38 c Core size: 3 Core Weight: 16 Total Weight: 3299 0.30/0.38 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.30/0.38 c core #155 0.30/0.38 c Core size: 3 Core Weight: 25 Total Weight: 3324 0.30/0.38 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.30/0.39 c core #156 0.30/0.39 c Core size: 13 Core Weight: 1 Total Weight: 3325 0.30/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.30/0.39 c core #157 0.30/0.39 c Core size: 17 Core Weight: 6 Total Weight: 3331 0.30/0.39 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.30/0.39 c core #158 0.30/0.39 c Core size: 10 Core Weight: 2 Total Weight: 3333 0.30/0.39 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.30/0.39 c core #159 0.30/0.39 c Core size: 12 Core Weight: 1 Total Weight: 3334 0.30/0.39 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #160 0.39/0.40 c Core size: 11 Core Weight: 4 Total Weight: 3338 0.39/0.40 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #161 0.39/0.40 c Core size: 12 Core Weight: 1 Total Weight: 3339 0.39/0.40 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #162 0.39/0.40 c Core size: 13 Core Weight: 2 Total Weight: 3341 0.39/0.40 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #163 0.39/0.41 c Core size: 20 Core Weight: 1 Total Weight: 3342 0.39/0.41 c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #164 0.39/0.41 c Core size: 13 Core Weight: 4 Total Weight: 3346 0.39/0.41 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #165 0.39/0.41 c Core size: 4 Core Weight: 24 Total Weight: 3370 0.39/0.41 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #166 0.39/0.42 c Core size: 10 Core Weight: 4 Total Weight: 3374 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #167 0.39/0.42 c Core size: 8 Core Weight: 9 Total Weight: 3383 0.39/0.42 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #168 0.39/0.42 c Core size: 10 Core Weight: 5 Total Weight: 3388 0.39/0.42 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #169 0.39/0.42 c Core size: 9 Core Weight: 4 Total Weight: 3392 0.39/0.42 c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #170 0.39/0.43 c Core size: 20 Core Weight: 3 Total Weight: 3395 0.39/0.43 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #171 0.39/0.43 c Core size: 21 Core Weight: 4 Total Weight: 3399 0.39/0.43 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #172 0.39/0.43 c Core size: 6 Core Weight: 7 Total Weight: 3406 0.39/0.43 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #173 0.39/0.44 c Core size: 7 Core Weight: 4 Total Weight: 3410 0.39/0.44 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #174 0.39/0.44 c Core size: 7 Core Weight: 2 Total Weight: 3412 0.39/0.44 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #175 0.39/0.44 c Core size: 8 Core Weight: 8 Total Weight: 3420 0.39/0.44 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #176 0.39/0.45 c Core size: 4 Core Weight: 16 Total Weight: 3436 0.39/0.45 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #177 0.39/0.45 c Core size: 4 Core Weight: 2 Total Weight: 3438 0.39/0.45 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #178 0.39/0.45 c Core size: 4 Core Weight: 25 Total Weight: 3463 0.39/0.45 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #179 0.39/0.46 c Core size: 4 Core Weight: 8 Total Weight: 3471 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #180 0.39/0.46 c Core size: 4 Core Weight: 41 Total Weight: 3512 0.39/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #181 0.39/0.46 c Core size: 5 Core Weight: 1 Total Weight: 3513 0.39/0.46 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #182 0.39/0.47 c Core size: 4 Core Weight: 41 Total Weight: 3554 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #183 0.39/0.47 c Core size: 6 Core Weight: 1 Total Weight: 3555 0.39/0.47 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #184 0.39/0.47 c Core size: 10 Core Weight: 4 Total Weight: 3559 0.39/0.47 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #185 0.39/0.48 c Core size: 10 Core Weight: 20 Total Weight: 3579 0.39/0.48 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #186 0.39/0.48 c Core size: 8 Core Weight: 1 Total Weight: 3580 0.39/0.48 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #187 0.39/0.48 c Core size: 6 Core Weight: 4 Total Weight: 3584 0.39/0.48 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #188 0.39/0.49 c Core size: 11 Core Weight: 1 Total Weight: 3585 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #189 0.39/0.49 c Core size: 5 Core Weight: 9 Total Weight: 3594 0.39/0.49 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #190 0.39/0.49 c Core size: 6 Core Weight: 8 Total Weight: 3602 0.39/0.49 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.39/0.50 c core #191 0.39/0.50 c Core size: 10 Core Weight: 1 Total Weight: 3603 0.39/0.50 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #192 0.49/0.50 c Core size: 5 Core Weight: 9 Total Weight: 3612 0.49/0.50 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #193 0.49/0.50 c Core size: 9 Core Weight: 3 Total Weight: 3615 0.49/0.50 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #194 0.49/0.51 c Core size: 4 Core Weight: 21 Total Weight: 3636 0.49/0.51 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #195 0.49/0.51 c Core size: 4 Core Weight: 4 Total Weight: 3640 0.49/0.51 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #196 0.49/0.51 c Core size: 7 Core Weight: 18 Total Weight: 3658 0.49/0.51 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #197 0.49/0.51 c Core size: 9 Core Weight: 9 Total Weight: 3667 0.49/0.51 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #198 0.49/0.52 c Core size: 14 Core Weight: 4 Total Weight: 3671 0.49/0.52 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #199 0.49/0.52 c Core size: 15 Core Weight: 10 Total Weight: 3681 0.49/0.52 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #200 0.49/0.53 c Core size: 22 Core Weight: 2 Total Weight: 3683 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #201 0.49/0.53 c Core size: 8 Core Weight: 6 Total Weight: 3689 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #202 0.49/0.53 c Core size: 11 Core Weight: 7 Total Weight: 3696 0.49/0.53 c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #203 0.49/0.54 c Core size: 9 Core Weight: 7 Total Weight: 3703 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #204 0.49/0.54 c Core size: 12 Core Weight: 4 Total Weight: 3707 0.49/0.54 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #205 0.49/0.54 c Core size: 12 Core Weight: 15 Total Weight: 3722 0.49/0.54 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #206 0.49/0.55 c Core size: 20 Core Weight: 3 Total Weight: 3725 0.49/0.55 c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #207 0.49/0.55 c Core size: 25 Core Weight: 4 Total Weight: 3729 0.49/0.55 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #208 0.49/0.55 c Core size: 11 Core Weight: 16 Total Weight: 3745 0.49/0.55 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #209 0.49/0.56 c Core size: 12 Core Weight: 1 Total Weight: 3746 0.49/0.56 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #210 0.49/0.56 c Core size: 26 Core Weight: 5 Total Weight: 3751 0.49/0.56 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #211 0.49/0.56 c Core size: 26 Core Weight: 2 Total Weight: 3753 0.49/0.56 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #212 0.49/0.57 c Core size: 26 Core Weight: 4 Total Weight: 3757 0.49/0.57 c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #213 0.49/0.57 c Core size: 20 Core Weight: 1 Total Weight: 3758 0.49/0.57 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #214 0.49/0.58 c Core size: 20 Core Weight: 6 Total Weight: 3764 0.49/0.58 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #215 0.49/0.58 c Core size: 15 Core Weight: 6 Total Weight: 3770 0.49/0.58 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #216 0.49/0.58 c Core size: 13 Core Weight: 6 Total Weight: 3776 0.49/0.58 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #217 0.49/0.59 c Core size: 13 Core Weight: 1 Total Weight: 3777 0.49/0.59 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #218 0.49/0.59 c Core size: 16 Core Weight: 1 Total Weight: 3778 0.49/0.59 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #219 0.49/0.59 c Core size: 12 Core Weight: 16 Total Weight: 3794 0.49/0.59 c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #220 0.59/0.60 c Core size: 13 Core Weight: 8 Total Weight: 3802 0.59/0.60 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #221 0.59/0.60 c Core size: 22 Core Weight: 1 Total Weight: 3803 0.59/0.60 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #222 0.59/0.61 c Core size: 22 Core Weight: 1 Total Weight: 3804 0.59/0.61 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #223 0.59/0.61 c Core size: 18 Core Weight: 4 Total Weight: 3808 0.59/0.61 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #224 0.59/0.61 c Core size: 11 Core Weight: 14 Total Weight: 3822 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #225 0.59/0.62 c Core size: 13 Core Weight: 2 Total Weight: 3824 0.59/0.62 c Elapsed CPU time: 0.617906 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #226 0.59/0.62 c Core size: 13 Core Weight: 1 Total Weight: 3825 0.59/0.62 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #227 0.59/0.62 c Core size: 12 Core Weight: 13 Total Weight: 3838 0.59/0.62 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #228 0.59/0.63 c Core size: 12 Core Weight: 2 Total Weight: 3840 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #229 0.59/0.63 c Core size: 13 Core Weight: 1 Total Weight: 3841 0.59/0.63 c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #230 0.59/0.64 c Core size: 13 Core Weight: 6 Total Weight: 3847 0.59/0.64 c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #231 0.59/0.64 c Core size: 10 Core Weight: 6 Total Weight: 3853 0.59/0.64 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #232 0.59/0.64 c Core size: 11 Core Weight: 4 Total Weight: 3857 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #233 0.59/0.65 c Core size: 11 Core Weight: 7 Total Weight: 3864 0.59/0.65 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #234 0.59/0.65 c Core size: 16 Core Weight: 11 Total Weight: 3875 0.59/0.65 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #235 0.59/0.66 c Core size: 7 Core Weight: 1 Total Weight: 3876 0.59/0.66 c Elapsed CPU time: 0.6569 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #236 0.59/0.66 c Core size: 8 Core Weight: 4 Total Weight: 3880 0.59/0.66 c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #237 0.59/0.66 c Core size: 5 Core Weight: 17 Total Weight: 3897 0.59/0.66 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #238 0.59/0.67 c Core size: 5 Core Weight: 7 Total Weight: 3904 0.59/0.67 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #239 0.59/0.67 c Core size: 5 Core Weight: 6 Total Weight: 3910 0.59/0.67 c Elapsed CPU time: 0.672897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #240 0.59/0.68 c Core size: 10 Core Weight: 5 Total Weight: 3915 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #241 0.59/0.68 c Core size: 10 Core Weight: 9 Total Weight: 3924 0.59/0.68 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #242 0.59/0.68 c Core size: 15 Core Weight: 2 Total Weight: 3926 0.59/0.68 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #243 0.59/0.69 c Core size: 24 Core Weight: 3 Total Weight: 3929 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #244 0.59/0.69 c Core size: 36 Core Weight: 5 Total Weight: 3934 0.59/0.69 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.59/0.70 c core #245 0.59/0.70 c Core size: 37 Core Weight: 1 Total Weight: 3935 0.59/0.70 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #246 0.69/0.70 c Core size: 42 Core Weight: 1 Total Weight: 3936 0.69/0.70 c Elapsed CPU time: 0.701893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #247 0.69/0.70 c Core size: 43 Core Weight: 6 Total Weight: 3942 0.69/0.70 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #248 0.69/0.71 c Core size: 45 Core Weight: 1 Total Weight: 3943 0.69/0.71 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #249 0.69/0.71 c Core size: 39 Core Weight: 1 Total Weight: 3944 0.69/0.71 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #250 0.69/0.72 c Core size: 20 Core Weight: 5 Total Weight: 3949 0.69/0.72 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #251 0.69/0.72 c Core size: 51 Core Weight: 1 Total Weight: 3950 0.69/0.72 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #252 0.69/0.73 c Core size: 43 Core Weight: 1 Total Weight: 3951 0.69/0.73 c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #253 0.69/0.73 c Core size: 28 Core Weight: 1 Total Weight: 3952 0.69/0.73 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #254 0.69/0.74 c Core size: 39 Core Weight: 3 Total Weight: 3955 0.69/0.74 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #255 0.69/0.74 c Core size: 20 Core Weight: 5 Total Weight: 3960 0.69/0.74 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #256 0.69/0.75 c Core size: 18 Core Weight: 7 Total Weight: 3967 0.69/0.75 c Elapsed CPU time: 0.745886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #257 0.69/0.75 c Core size: 28 Core Weight: 1 Total Weight: 3968 0.69/0.75 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #258 0.69/0.75 c Core size: 41 Core Weight: 2 Total Weight: 3970 0.69/0.75 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #259 0.69/0.76 c Core size: 35 Core Weight: 4 Total Weight: 3974 0.69/0.76 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #260 0.69/0.76 c Core size: 37 Core Weight: 1 Total Weight: 3975 0.69/0.76 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #261 0.69/0.77 c Core size: 37 Core Weight: 1 Total Weight: 3976 0.69/0.77 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #262 0.69/0.77 c Core size: 37 Core Weight: 1 Total Weight: 3977 0.69/0.77 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #263 0.69/0.78 c Core size: 31 Core Weight: 1 Total Weight: 3978 0.69/0.78 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #264 0.69/0.78 c Core size: 31 Core Weight: 1 Total Weight: 3979 0.69/0.78 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #265 0.69/0.79 c Core size: 22 Core Weight: 5 Total Weight: 3984 0.69/0.79 c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s 0.69/0.79 c core #266 0.69/0.79 c Core size: 34 Core Weight: 1 Total Weight: 3985 0.69/0.79 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #267 0.79/0.80 c Core size: 34 Core Weight: 10 Total Weight: 3995 0.79/0.80 c Elapsed CPU time: 0.796878 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #268 0.79/0.80 c Core size: 25 Core Weight: 1 Total Weight: 3996 0.79/0.80 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #269 0.79/0.81 c Core size: 25 Core Weight: 1 Total Weight: 3997 0.79/0.81 c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #270 0.79/0.81 c Core size: 25 Core Weight: 10 Total Weight: 4007 0.79/0.81 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #271 0.79/0.82 c Core size: 24 Core Weight: 1 Total Weight: 4008 0.79/0.82 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.79/0.82 c core #272 0.79/0.82 c Core size: 25 Core Weight: 3 Total Weight: 4011 0.79/0.82 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #273 0.79/0.83 c Core size: 11 Core Weight: 7 Total Weight: 4018 0.79/0.83 c Elapsed CPU time: 0.827874 s Remaining CPU time: 1799.17 s 0.79/0.83 c core #274 0.79/0.83 c Core size: 45 Core Weight: 1 Total Weight: 4019 0.79/0.83 c Elapsed CPU time: 0.832873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #275 0.79/0.84 c Core size: 25 Core Weight: 3 Total Weight: 4022 0.79/0.84 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #276 0.79/0.84 c Core size: 24 Core Weight: 2 Total Weight: 4024 0.79/0.84 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #277 0.79/0.85 c Core size: 20 Core Weight: 1 Total Weight: 4025 0.79/0.85 c Elapsed CPU time: 0.84887 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #278 0.79/0.86 c Core size: 29 Core Weight: 1 Total Weight: 4026 0.79/0.86 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #279 0.79/0.86 c Core size: 9 Core Weight: 9 Total Weight: 4035 0.79/0.86 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #280 0.79/0.87 c Core size: 14 Core Weight: 8 Total Weight: 4043 0.79/0.87 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #281 0.79/0.87 c Core size: 14 Core Weight: 7 Total Weight: 4050 0.79/0.87 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #282 0.79/0.88 c Core size: 15 Core Weight: 1 Total Weight: 4051 0.79/0.88 c Elapsed CPU time: 0.874867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #283 0.79/0.88 c Core size: 14 Core Weight: 1 Total Weight: 4052 0.79/0.88 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #284 0.79/0.89 c Core size: 12 Core Weight: 1 Total Weight: 4053 0.79/0.89 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #285 0.79/0.89 c Core size: 9 Core Weight: 1 Total Weight: 4054 0.79/0.89 c Elapsed CPU time: 0.890864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #286 0.89/0.90 c Core size: 20 Core Weight: 5 Total Weight: 4059 0.89/0.90 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.90 c core #287 0.89/0.90 c Core size: 20 Core Weight: 3 Total Weight: 4062 0.89/0.90 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 2426 4646 8772 | 5000 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #288 0.89/0.91 c Core size: 56 Core Weight: 1 Total Weight: 4063 0.89/0.91 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.89/0.92 c Learning 2 hard constraints 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2457 4673 8871 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #289 0.89/0.92 c Core size: 27 Core Weight: 7 Total Weight: 4070 0.89/0.92 c Elapsed CPU time: 0.91586 s Remaining CPU time: 1799.08 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2475 4690 8938 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #290 0.89/0.92 c Core size: 24 Core Weight: 1 Total Weight: 4071 0.89/0.92 c Elapsed CPU time: 0.921859 s Remaining CPU time: 1799.08 s 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2491 4703 8984 | 5000 0 nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c core #291 0.89/0.93 c Core size: 29 Core Weight: 1 Total Weight: 4072 0.89/0.93 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2509 4718 9057 | 5000 0 nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #292 0.89/0.94 c Core size: 32 Core Weight: 3 Total Weight: 4075 0.89/0.94 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2529 4737 9115 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #293 0.89/0.95 c Core size: 32 Core Weight: 2 Total Weight: 4077 0.89/0.95 c Elapsed CPU time: 0.942856 s Remaining CPU time: 1799.06 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2550 4752 9249 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #294 0.89/0.95 c Core size: 78 Core Weight: 1 Total Weight: 4078 0.89/0.95 c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 2596 4793 9377 | 5000 0 nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #295 0.89/0.96 c Core size: 40 Core Weight: 2 Total Weight: 4080 0.89/0.96 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 2626 4822 9433 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #296 0.89/0.97 c Core size: 26 Core Weight: 1 Total Weight: 4081 0.89/0.97 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 2637 4832 9461 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #297 0.89/0.97 c Core size: 60 Core Weight: 1 Total Weight: 4082 0.89/0.97 c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 2672 4867 9522 | 5000 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #298 0.89/0.98 c Core size: 22 Core Weight: 3 Total Weight: 4085 0.89/0.98 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2681 4874 9540 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #299 0.89/0.99 c Core size: 38 Core Weight: 4 Total Weight: 4089 0.89/0.99 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2711 4903 9637 | 5000 0 nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.00 c core #300 0.89/1.00 c Core size: 25 Core Weight: 6 Total Weight: 4095 0.89/1.00 c Elapsed CPU time: 0.990849 s Remaining CPU time: 1799.01 s 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 2749 4920 9761 | 5000 0 nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c core #301 0.99/1.00 c Core size: 12 Core Weight: 9 Total Weight: 4104 0.99/1.00 c Elapsed CPU time: 0.997848 s Remaining CPU time: 1799 s 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 2754 4924 9774 | 5000 0 nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #302 0.99/1.01 c Core size: 50 Core Weight: 1 Total Weight: 4105 0.99/1.01 c Elapsed CPU time: 1.00485 s Remaining CPU time: 1799 s 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 2781 4946 9834 | 5000 0 nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c core #303 0.99/1.02 c Core size: 75 Core Weight: 1 Total Weight: 4106 0.99/1.02 c Elapsed CPU time: 1.01285 s Remaining CPU time: 1798.99 s 0.99/1.02 c Learning 1 hard constraints 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 2821 4983 9951 | 5000 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #304 0.99/1.03 c Core size: 63 Core Weight: 1 Total Weight: 4107 0.99/1.03 c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 2857 5018 10079 | 5000 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #305 0.99/1.03 c Core size: 15 Core Weight: 4 Total Weight: 4111 0.99/1.03 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 2865 5025 10122 | 5000 0 nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #306 0.99/1.04 c Core size: 25 Core Weight: 1 Total Weight: 4112 0.99/1.04 c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 2883 5042 10163 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #307 0.99/1.05 c Core size: 63 Core Weight: 1 Total Weight: 4113 0.99/1.05 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 2918 5075 10261 | 5000 0 nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #308 0.99/1.06 c Core size: 63 Core Weight: 1 Total Weight: 4114 0.99/1.06 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 2953 5109 10361 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #309 0.99/1.07 c Core size: 42 Core Weight: 1 Total Weight: 4115 0.99/1.07 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 2975 5128 10424 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #310 0.99/1.07 c Core size: 25 Core Weight: 2 Total Weight: 4117 0.99/1.07 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 2993 5145 10465 | 5000 0 nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c core #311 0.99/1.08 c Core size: 25 Core Weight: 4 Total Weight: 4121 0.99/1.08 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 3012 5163 10553 | 5000 0 nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #312 0.99/1.09 c Core size: 46 Core Weight: 1 Total Weight: 4122 0.99/1.09 c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 3038 5186 10619 | 5000 0 nan | 0.000 % | 0.99/1.10 c =============================================================================== 0.99/1.10 c core #313 0.99/1.10 c Core size: 66 Core Weight: 2 Total Weight: 4124 0.99/1.10 c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 3078 5225 10699 | 5000 0 nan | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c core #314 1.10/1.11 c Core size: 61 Core Weight: 1 Total Weight: 4125 1.10/1.11 c Elapsed CPU time: 1.10183 s Remaining CPU time: 1798.9 s 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 3108 5254 10782 | 5000 0 nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c core #315 1.10/1.12 c Core size: 31 Core Weight: 2 Total Weight: 4127 1.10/1.12 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 3132 5277 10859 | 5000 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c core #316 1.10/1.13 c Core size: 52 Core Weight: 3 Total Weight: 4130 1.10/1.13 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 3158 5300 10903 | 5000 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c core #317 1.10/1.13 c Core size: 68 Core Weight: 1 Total Weight: 4131 1.10/1.13 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 3235 5339 11134 | 5000 0 nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c core #318 1.10/1.14 c Core size: 14 Core Weight: 4 Total Weight: 4135 1.10/1.14 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 3250 5347 11248 | 5000 0 nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c core #319 1.10/1.15 c Core size: 45 Core Weight: 1 Total Weight: 4136 1.10/1.15 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 3274 5371 11297 | 5000 0 nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c core #320 1.10/1.16 c Core size: 34 Core Weight: 4 Total Weight: 4140 1.10/1.16 c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 3297 5393 11355 | 5000 0 nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c core #321 1.10/1.17 c Core size: 59 Core Weight: 2 Total Weight: 4142 1.10/1.17 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.10/1.18 c Learning 1 hard constraints 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 3334 5430 11463 | 5000 0 nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c core #322 1.10/1.18 c Core size: 36 Core Weight: 2 Total Weight: 4144 1.10/1.18 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.10/1.19 c ============================[ Search Statistics ]============================== 1.10/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.19 c =============================================================================== 1.10/1.19 c | 0 | 3359 5453 11548 | 5000 0 nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c core #323 1.10/1.19 c Core size: 38 Core Weight: 2 Total Weight: 4146 1.10/1.19 c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s 1.10/1.20 c ============================[ Search Statistics ]============================== 1.10/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.20 c =============================================================================== 1.10/1.20 c | 0 | 3378 5471 11641 | 5000 0 nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c core #324 1.19/1.20 c Core size: 17 Core Weight: 7 Total Weight: 4153 1.19/1.20 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.19/1.21 c Learning 1 hard constraints 1.19/1.21 c core #325 1.19/1.21 c Core size: 18 Core Weight: 1 Total Weight: 4154 1.19/1.21 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.19/1.21 c core #326 1.19/1.21 c Core size: 21 Core Weight: 2 Total Weight: 4156 1.19/1.21 c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s 1.19/1.22 c core #327 1.19/1.22 c Core size: 17 Core Weight: 1 Total Weight: 4157 1.19/1.22 c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 3423 5510 11810 | 5000 0 nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #328 1.19/1.23 c Core size: 41 Core Weight: 1 Total Weight: 4158 1.19/1.23 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 3440 5526 11850 | 5000 0 nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c core #329 1.19/1.24 c Core size: 40 Core Weight: 2 Total Weight: 4160 1.19/1.24 c Elapsed CPU time: 1.22681 s Remaining CPU time: 1798.77 s 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 3464 5543 11955 | 5000 0 nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #330 1.19/1.25 c Core size: 38 Core Weight: 1 Total Weight: 4161 1.19/1.25 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 3483 5560 12007 | 5000 0 nan | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c core #331 1.19/1.26 c Core size: 38 Core Weight: 1 Total Weight: 4162 1.19/1.26 c Elapsed CPU time: 1.24481 s Remaining CPU time: 1798.76 s 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 3501 5573 12049 | 5000 0 nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c core #332 1.19/1.27 c Core size: 33 Core Weight: 2 Total Weight: 4164 1.19/1.27 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 3589 5589 12191 | 5000 0 nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c core #333 1.19/1.28 c Core size: 45 Core Weight: 1 Total Weight: 4165 1.19/1.28 c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s 1.19/1.28 c Learning 1 hard constraints 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 3611 5610 12254 | 5000 0 nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c core #334 1.19/1.29 c Core size: 42 Core Weight: 1 Total Weight: 4166 1.19/1.29 c Elapsed CPU time: 1.27181 s Remaining CPU time: 1798.73 s 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 3645 5632 12507 | 5000 0 nan | 0.000 % | 1.19/1.30 c =============================================================================== 1.19/1.30 c core #335 1.19/1.30 c Core size: 56 Core Weight: 1 Total Weight: 4167 1.19/1.30 c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 3677 5658 12567 | 5000 0 nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c core #336 1.29/1.31 c Core size: 52 Core Weight: 1 Total Weight: 4168 1.29/1.31 c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 3711 5680 12650 | 5000 0 nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c core #337 1.29/1.32 c Core size: 67 Core Weight: 2 Total Weight: 4170 1.29/1.32 c Elapsed CPU time: 1.3038 s Remaining CPU time: 1798.7 s 1.29/1.33 c Learning 1 hard constraints 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 3748 5717 12789 | 5000 0 nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c core #338 1.29/1.33 c Core size: 45 Core Weight: 1 Total Weight: 4171 1.29/1.33 c Elapsed CPU time: 1.3138 s Remaining CPU time: 1798.69 s 1.29/1.34 c Learning 1 hard constraints 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 3773 5742 12886 | 5000 0 nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #339 1.29/1.34 c Core size: 83 Core Weight: 1 Total Weight: 4172 1.29/1.34 c Elapsed CPU time: 1.3248 s Remaining CPU time: 1798.68 s 1.29/1.35 c Learning 1 hard constraints 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 3823 5780 13103 | 5000 0 nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #340 1.29/1.35 c Core size: 43 Core Weight: 1 Total Weight: 4173 1.29/1.35 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 3850 5804 13184 | 5000 0 nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c core #341 1.29/1.36 c Core size: 110 Core Weight: 1 Total Weight: 4174 1.29/1.36 c Elapsed CPU time: 1.34479 s Remaining CPU time: 1798.66 s 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 3916 5841 13480 | 5000 0 nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c core #342 1.29/1.37 c Core size: 59 Core Weight: 1 Total Weight: 4175 1.29/1.37 c Elapsed CPU time: 1.35579 s Remaining CPU time: 1798.64 s 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 3951 5867 13648 | 5000 0 nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #343 1.29/1.38 c Core size: 33 Core Weight: 5 Total Weight: 4180 1.29/1.38 c Elapsed CPU time: 1.36579 s Remaining CPU time: 1798.63 s 1.29/1.39 c Learning 1 hard constraints 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 3974 5890 13747 | 5000 0 nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c core #344 1.29/1.39 c Core size: 41 Core Weight: 1 Total Weight: 4181 1.29/1.39 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 4002 5914 13884 | 5000 0 nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #345 1.39/1.41 c Core size: 25 Core Weight: 4 Total Weight: 4185 1.39/1.41 c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s 1.39/1.41 c Learning 1 hard constraints 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 4014 5926 13920 | 5000 0 nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c core #346 1.39/1.42 c Core size: 34 Core Weight: 1 Total Weight: 4186 1.39/1.42 c Elapsed CPU time: 1.39779 s Remaining CPU time: 1798.6 s 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 4046 5946 14053 | 5000 0 nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c core #347 1.39/1.43 c Core size: 49 Core Weight: 1 Total Weight: 4187 1.39/1.43 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 4071 5967 14113 | 5000 0 nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #348 1.39/1.44 c Core size: 71 Core Weight: 1 Total Weight: 4188 1.39/1.44 c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 s 1.39/1.45 c Learning 1 hard constraints 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 3797 6009 14199 | 5000 0 nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c core #349 1.39/1.45 c Core size: 43 Core Weight: 1 Total Weight: 4189 1.39/1.45 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 3856 6026 14260 | 5000 0 nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c core #350 1.39/1.46 c Core size: 43 Core Weight: 1 Total Weight: 4190 1.39/1.46 c Elapsed CPU time: 1.43878 s Remaining CPU time: 1798.56 s 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 3960 6044 14293 | 5000 0 nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c core #351 1.39/1.47 c Core size: 43 Core Weight: 1 Total Weight: 4191 1.39/1.47 c Elapsed CPU time: 1.44878 s Remaining CPU time: 1798.55 s 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 3979 6062 14326 | 5000 0 nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c core #352 1.39/1.48 c Core size: 46 Core Weight: 1 Total Weight: 4192 1.39/1.48 c Elapsed CPU time: 1.45878 s Remaining CPU time: 1798.54 s 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 4034 6081 14369 | 5000 0 nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c core #353 1.39/1.49 c Core size: 50 Core Weight: 1 Total Weight: 4193 1.39/1.49 c Elapsed CPU time: 1.46878 s Remaining CPU time: 1798.53 s 1.39/1.50 c ============================[ Search Statistics ]============================== 1.39/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.50 c =============================================================================== 1.39/1.50 c | 0 | 4066 6110 14473 | 5000 0 nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c core #354 1.49/1.50 c Core size: 46 Core Weight: 1 Total Weight: 4194 1.49/1.50 c Elapsed CPU time: 1.47978 s Remaining CPU time: 1798.52 s 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 4094 6138 14578 | 5000 0 nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c core #355 1.49/1.51 c Core size: 55 Core Weight: 1 Total Weight: 4195 1.49/1.51 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 4194 6166 14666 | 5000 0 nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #356 1.49/1.52 c Core size: 41 Core Weight: 1 Total Weight: 4196 1.49/1.52 c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 4214 6184 14789 | 5000 0 nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #357 1.49/1.53 c Core size: 41 Core Weight: 1 Total Weight: 4197 1.49/1.53 c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s 1.49/1.54 c Learning 1 hard constraints 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 4352 6201 14938 | 5000 0 nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #358 1.49/1.54 c Core size: 43 Core Weight: 1 Total Weight: 4198 1.49/1.54 c Elapsed CPU time: 1.52077 s Remaining CPU time: 1798.48 s 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 4403 6220 15050 | 5000 0 nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c core #359 1.49/1.55 c Core size: 77 Core Weight: 1 Total Weight: 4199 1.49/1.55 c Elapsed CPU time: 1.53077 s Remaining CPU time: 1798.47 s 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 4443 6248 15145 | 5000 0 nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c core #360 1.49/1.56 c Core size: 56 Core Weight: 1 Total Weight: 4200 1.49/1.56 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 4472 6268 15223 | 5000 0 nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c core #361 1.49/1.58 c Core size: 58 Core Weight: 1 Total Weight: 4201 1.49/1.58 c Elapsed CPU time: 1.55376 s Remaining CPU time: 1798.45 s 1.49/1.59 c Learning 1 hard constraints 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 4486 6290 15298 | 5000 0 nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c core #362 1.49/1.59 c Core size: 68 Core Weight: 1 Total Weight: 4202 1.49/1.59 c Elapsed CPU time: 1.56576 s Remaining CPU time: 1798.43 s 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 4523 6317 15411 | 5000 0 nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c core #363 1.59/1.60 c Core size: 73 Core Weight: 1 Total Weight: 4203 1.59/1.60 c Elapsed CPU time: 1.57776 s Remaining CPU time: 1798.42 s 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 4565 6342 15526 | 5000 0 nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c core #364 1.59/1.61 c Core size: 67 Core Weight: 1 Total Weight: 4204 1.59/1.61 c Elapsed CPU time: 1.58976 s Remaining CPU time: 1798.41 s 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 4602 6365 15632 | 5000 0 nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.62 c core #365 1.59/1.62 c Core size: 51 Core Weight: 1 Total Weight: 4205 1.59/1.62 c Elapsed CPU time: 1.60276 s Remaining CPU time: 1798.4 s 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 4631 6390 15772 | 5000 0 nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #366 1.59/1.64 c Core size: 77 Core Weight: 1 Total Weight: 4206 1.59/1.64 c Elapsed CPU time: 1.61375 s Remaining CPU time: 1798.39 s 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 4675 6414 15959 | 5000 0 nan | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c core #367 1.59/1.65 c Core size: 86 Core Weight: 1 Total Weight: 4207 1.59/1.65 c Elapsed CPU time: 1.62575 s Remaining CPU time: 1798.37 s 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 4722 6437 16088 | 5000 0 nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c core #368 1.59/1.66 c Core size: 44 Core Weight: 1 Total Weight: 4208 1.59/1.66 c Elapsed CPU time: 1.63875 s Remaining CPU time: 1798.36 s 1.59/1.67 c ============================[ Search Statistics ]============================== 1.59/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.67 c =============================================================================== 1.59/1.67 c | 0 | 4746 6454 16153 | 5000 0 nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c core #369 1.59/1.68 c Core size: 61 Core Weight: 1 Total Weight: 4209 1.59/1.68 c Elapsed CPU time: 1.64975 s Remaining CPU time: 1798.35 s 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 4794 6483 16328 | 5000 0 nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #370 1.59/1.69 c Core size: 69 Core Weight: 1 Total Weight: 4210 1.59/1.69 c Elapsed CPU time: 1.66375 s Remaining CPU time: 1798.34 s 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 4838 6519 16468 | 5000 0 nan | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.70 c core #371 1.69/1.70 c Core size: 106 Core Weight: 1 Total Weight: 4211 1.69/1.70 c Elapsed CPU time: 1.67774 s Remaining CPU time: 1798.32 s 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 4898 6559 16618 | 5000 0 nan | 0.000 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c core #372 1.69/1.72 c Core size: 53 Core Weight: 1 Total Weight: 4212 1.69/1.72 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 4933 6589 16745 | 5000 0 nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c core #373 1.69/1.73 c Core size: 72 Core Weight: 1 Total Weight: 4213 1.69/1.73 c Elapsed CPU time: 1.70074 s Remaining CPU time: 1798.3 s 1.69/1.74 c ============================[ Search Statistics ]============================== 1.69/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.74 c =============================================================================== 1.69/1.74 c | 0 | 4979 6632 16887 | 5000 0 nan | 0.000 % | 1.69/1.74 c =============================================================================== 1.69/1.74 c core #374 1.69/1.74 c Core size: 73 Core Weight: 1 Total Weight: 4214 1.69/1.74 c Elapsed CPU time: 1.71574 s Remaining CPU time: 1798.28 s 1.69/1.75 c Learning 2 hard constraints 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 5016 6666 17025 | 5000 0 nan | 0.000 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c core #375 1.69/1.76 c Core size: 41 Core Weight: 1 Total Weight: 4215 1.69/1.76 c Elapsed CPU time: 1.72974 s Remaining CPU time: 1798.27 s 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 5037 6684 17086 | 5000 0 nan | 0.000 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c core #376 1.69/1.77 c Core size: 50 Core Weight: 1 Total Weight: 4216 1.69/1.77 c Elapsed CPU time: 1.74274 s Remaining CPU time: 1798.26 s 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 5068 6703 17265 | 5000 0 nan | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c core #377 1.69/1.79 c Core size: 107 Core Weight: 1 Total Weight: 4217 1.69/1.79 c Elapsed CPU time: 1.75773 s Remaining CPU time: 1798.24 s 1.79/1.80 c Learning 1 hard constraints 1.79/1.80 c ============================[ Search Statistics ]============================== 1.79/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.80 c =============================================================================== 1.79/1.80 c | 0 | 5133 6761 17479 | 5000 0 nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.80 c core #378 1.79/1.80 c Core size: 27 Core Weight: 2 Total Weight: 4219 1.79/1.80 c Elapsed CPU time: 1.77173 s Remaining CPU time: 1798.23 s 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 5148 6775 17574 | 5000 0 nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c core #379 1.79/1.81 c Core size: 50 Core Weight: 1 Total Weight: 4220 1.79/1.81 c Elapsed CPU time: 1.78473 s Remaining CPU time: 1798.22 s 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 5181 6802 17680 | 5000 0 nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c core #380 1.79/1.83 c Core size: 56 Core Weight: 2 Total Weight: 4222 1.79/1.83 c Elapsed CPU time: 1.79773 s Remaining CPU time: 1798.2 s 1.79/1.84 c ============================[ Search Statistics ]============================== 1.79/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.84 c =============================================================================== 1.79/1.84 c | 0 | 5224 6832 17767 | 5000 0 nan | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c core #381 1.79/1.84 c Core size: 87 Core Weight: 1 Total Weight: 4223 1.79/1.84 c Elapsed CPU time: 1.81072 s Remaining CPU time: 1798.19 s 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 5281 6887 17924 | 5000 0 nan | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c core #382 1.79/1.86 c Core size: 23 Core Weight: 4 Total Weight: 4227 1.79/1.86 c Elapsed CPU time: 1.82372 s Remaining CPU time: 1798.18 s 1.79/1.87 c Learning 1 hard constraints 1.79/1.87 c ============================[ Search Statistics ]============================== 1.79/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 5298 6904 17984 | 5000 0 nan | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c core #383 1.79/1.87 c Core size: 141 Core Weight: 1 Total Weight: 4228 1.79/1.87 c Elapsed CPU time: 1.83772 s Remaining CPU time: 1798.16 s 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 5378 6980 18213 | 5000 0 nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.79/1.88 c core #384 1.79/1.88 c Core size: 76 Core Weight: 1 Total Weight: 4229 1.79/1.88 c Elapsed CPU time: 1.85172 s Remaining CPU time: 1798.15 s 1.79/1.90 c Learning 1 hard constraints 1.79/1.90 c ============================[ Search Statistics ]============================== 1.79/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.90 c =============================================================================== 1.79/1.90 c | 0 | 5431 7019 18474 | 5000 0 nan | 0.000 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c core #385 1.89/1.90 c Core size: 81 Core Weight: 1 Total Weight: 4230 1.89/1.90 c Elapsed CPU time: 1.86572 s Remaining CPU time: 1798.13 s 1.89/1.91 c Learning 1 hard constraints 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 5481 7067 18659 | 5000 0 nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c core #386 1.89/1.91 c Core size: 81 Core Weight: 1 Total Weight: 4231 1.89/1.91 c Elapsed CPU time: 1.87971 s Remaining CPU time: 1798.12 s 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 5533 7109 18887 | 5000 0 nan | 0.000 % | 1.89/1.93 c =============================================================================== 1.89/1.93 c core #387 1.89/1.93 c Core size: 44 Core Weight: 3 Total Weight: 4234 1.89/1.93 c Elapsed CPU time: 1.89371 s Remaining CPU time: 1798.11 s 1.89/1.94 c ============================[ Search Statistics ]============================== 1.89/1.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.94 c =============================================================================== 1.89/1.94 c | 0 | 5557 7131 18959 | 5000 0 nan | 0.000 % | 1.89/1.94 c =============================================================================== 1.89/1.94 c core #388 1.89/1.94 c Core size: 56 Core Weight: 1 Total Weight: 4235 1.89/1.94 c Elapsed CPU time: 1.90771 s Remaining CPU time: 1798.09 s 1.89/1.95 c ============================[ Search Statistics ]============================== 1.89/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.95 c =============================================================================== 1.89/1.95 c | 0 | 5586 7155 19085 | 5000 0 nan | 0.000 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c core #389 1.89/1.96 c Core size: 35 Core Weight: 3 Total Weight: 4238 1.89/1.96 c Elapsed CPU time: 1.91971 s Remaining CPU time: 1798.08 s 1.89/1.97 c ============================[ Search Statistics ]============================== 1.89/1.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.97 c =============================================================================== 1.89/1.97 c | 0 | 5610 7179 19152 | 5000 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c core #390 1.89/1.97 c Core size: 34 Core Weight: 1 Total Weight: 4239 1.89/1.97 c Elapsed CPU time: 1.93371 s Remaining CPU time: 1798.07 s 1.89/1.98 c ============================[ Search Statistics ]============================== 1.89/1.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.98 c =============================================================================== 1.89/1.98 c | 0 | 5635 7204 19230 | 5000 0 nan | 0.000 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c core #391 1.89/1.98 c Core size: 36 Core Weight: 1 Total Weight: 4240 1.89/1.98 c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s 1.89/2.00 c ============================[ Search Statistics ]============================== 1.89/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/2.00 c =============================================================================== 1.89/2.00 c | 0 | 5654 7222 19287 | 5000 0 nan | 0.000 % | 1.99/2.00 c =============================================================================== 1.99/2.00 c core #392 1.99/2.00 c Core size: 97 Core Weight: 1 Total Weight: 4241 1.99/2.00 c Elapsed CPU time: 1.9607 s Remaining CPU time: 1798.04 s 1.99/2.01 c ============================[ Search Statistics ]============================== 1.99/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.01 c =============================================================================== 1.99/2.01 c | 0 | 5738 7282 19698 | 5000 0 nan | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c core #393 1.99/2.01 c Core size: 44 Core Weight: 1 Total Weight: 4242 1.99/2.01 c Elapsed CPU time: 1.9757 s Remaining CPU time: 1798.02 s 1.99/2.03 c ============================[ Search Statistics ]============================== 1.99/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.03 c =============================================================================== 1.99/2.03 c | 0 | 5760 7304 19763 | 5000 0 nan | 0.000 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c core #394 1.99/2.03 c Core size: 90 Core Weight: 1 Total Weight: 4243 1.99/2.03 c Elapsed CPU time: 1.9917 s Remaining CPU time: 1798.01 s 1.99/2.04 c Learning 1 hard constraints 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 5809 7346 19930 | 5000 0 nan | 0.000 % | 1.99/2.05 c =============================================================================== 1.99/2.05 c core #395 1.99/2.05 c Core size: 59 Core Weight: 1 Total Weight: 4244 1.99/2.05 c Elapsed CPU time: 2.00669 s Remaining CPU time: 1797.99 s 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 5841 7373 20025 | 5000 0 nan | 0.000 % | 1.99/2.06 c =============================================================================== 1.99/2.06 c core #396 1.99/2.06 c Core size: 72 Core Weight: 1 Total Weight: 4245 1.99/2.06 c Elapsed CPU time: 2.01969 s Remaining CPU time: 1797.98 s 1.99/2.08 c ============================[ Search Statistics ]============================== 1.99/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.08 c =============================================================================== 1.99/2.08 c | 0 | 5890 7412 20213 | 5000 0 nan | 0.000 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c core #397 1.99/2.08 c Core size: 105 Core Weight: 1 Total Weight: 4246 1.99/2.08 c Elapsed CPU time: 2.03469 s Remaining CPU time: 1797.97 s 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 5956 7466 20429 | 5000 0 nan | 0.000 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c core #398 1.99/2.10 c Core size: 39 Core Weight: 1 Total Weight: 4247 1.99/2.10 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 2.10/2.11 c Learning 1 hard constraints 2.10/2.11 c ============================[ Search Statistics ]============================== 2.10/2.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.11 c =============================================================================== 2.10/2.11 c | 0 | 5979 7488 20504 | 5000 0 nan | 0.000 % | 2.10/2.11 c =============================================================================== 2.10/2.11 c core #399 2.10/2.11 c Core size: 77 Core Weight: 1 Total Weight: 4248 2.10/2.11 c Elapsed CPU time: 2.06369 s Remaining CPU time: 1797.94 s 2.10/2.13 c Learning 1 hard constraints 2.10/2.13 c ============================[ Search Statistics ]============================== 2.10/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.13 c =============================================================================== 2.10/2.13 c | 0 | 6027 7531 20659 | 5000 0 nan | 0.000 % | 2.10/2.13 c =============================================================================== 2.10/2.13 c core #400 2.10/2.13 c Core size: 50 Core Weight: 2 Total Weight: 4250 2.10/2.13 c Elapsed CPU time: 2.07868 s Remaining CPU time: 1797.92 s 2.10/2.14 c ============================[ Search Statistics ]============================== 2.10/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.14 c =============================================================================== 2.10/2.14 c | 0 | 6051 7555 20735 | 5000 0 nan | 0.000 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c core #401 2.10/2.14 c Core size: 48 Core Weight: 1 Total Weight: 4251 2.10/2.14 c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s 2.10/2.16 c ============================[ Search Statistics ]============================== 2.10/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.16 c =============================================================================== 2.10/2.16 c | 0 | 6094 7578 20890 | 5000 0 nan | 0.000 % | 2.10/2.16 c =============================================================================== 2.10/2.16 c core #402 2.10/2.16 c Core size: 122 Core Weight: 1 Total Weight: 4252 2.10/2.16 c Elapsed CPU time: 2.10968 s Remaining CPU time: 1797.89 s 2.10/2.17 c ============================[ Search Statistics ]============================== 2.10/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.17 c =============================================================================== 2.10/2.17 c | 0 | 6161 7634 21116 | 5000 0 nan | 0.000 % | 2.10/2.18 c =============================================================================== 2.10/2.18 c core #403 2.10/2.18 c Core size: 98 Core Weight: 1 Total Weight: 4253 2.10/2.18 c Elapsed CPU time: 2.12568 s Remaining CPU time: 1797.87 s 2.10/2.19 c ============================[ Search Statistics ]============================== 2.10/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.19 c =============================================================================== 2.10/2.19 c | 0 | 6212 7674 21286 | 5000 0 nan | 0.000 % | 2.10/2.19 c =============================================================================== 2.10/2.19 c core #404 2.10/2.19 c Core size: 88 Core Weight: 1 Total Weight: 4254 2.10/2.19 c Elapsed CPU time: 2.14267 s Remaining CPU time: 1797.86 s 2.19/2.21 c Learning 1 hard constraints 2.19/2.21 c ============================[ Search Statistics ]============================== 2.19/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.21 c =============================================================================== 2.19/2.21 c | 0 | 6263 7719 21478 | 5000 0 nan | 0.000 % | 2.19/2.21 c =============================================================================== 2.19/2.21 c core #405 2.19/2.21 c Core size: 58 Core Weight: 1 Total Weight: 4255 2.19/2.21 c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s 2.19/2.22 c ============================[ Search Statistics ]============================== 2.19/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.22 c =============================================================================== 2.19/2.22 c | 0 | 6301 7756 21591 | 5000 0 nan | 0.000 % | 2.19/2.23 c =============================================================================== 2.19/2.23 c core #406 2.19/2.23 c Core size: 72 Core Weight: 1 Total Weight: 4256 2.19/2.23 c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s 2.19/2.24 c ============================[ Search Statistics ]============================== 2.19/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.24 c =============================================================================== 2.19/2.24 c | 0 | 6348 7792 21716 | 5000 0 nan | 0.000 % | 2.19/2.24 c =============================================================================== 2.19/2.24 c core #407 2.19/2.24 c Core size: 107 Core Weight: 1 Total Weight: 4257 2.19/2.24 c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s 2.19/2.26 c Learning 1 hard constraints 2.19/2.26 c ============================[ Search Statistics ]============================== 2.19/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.26 c =============================================================================== 2.19/2.26 c | 0 | 6413 7842 21874 | 5000 0 nan | 0.000 % | 2.19/2.26 c =============================================================================== 2.19/2.26 c core #408 2.19/2.26 c Core size: 45 Core Weight: 1 Total Weight: 4258 2.19/2.26 c Elapsed CPU time: 2.20566 s Remaining CPU time: 1797.79 s 2.19/2.27 c Learning 1 hard constraints 2.19/2.27 c ============================[ Search Statistics ]============================== 2.19/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.27 c =============================================================================== 2.19/2.27 c | 0 | 6440 7869 21967 | 5000 0 nan | 0.000 % | 2.19/2.28 c =============================================================================== 2.19/2.28 c core #409 2.19/2.28 c Core size: 85 Core Weight: 1 Total Weight: 4259 2.19/2.28 c Elapsed CPU time: 2.21966 s Remaining CPU time: 1797.78 s 2.19/2.29 c ============================[ Search Statistics ]============================== 2.19/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.29 c =============================================================================== 2.19/2.29 c | 0 | 6490 7910 22102 | 5000 0 nan | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c core #410 2.29/2.30 c Core size: 50 Core Weight: 1 Total Weight: 4260 2.29/2.30 c Elapsed CPU time: 2.23566 s Remaining CPU time: 1797.76 s 2.29/2.31 c Learning 1 hard constraints 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 6523 7939 22268 | 5000 0 nan | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.32 c core #411 2.29/2.32 c Core size: 78 Core Weight: 1 Total Weight: 4261 2.29/2.32 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.29/2.33 c Learning 1 hard constraints 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 6555 7965 22351 | 5000 0 nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c core #412 2.29/2.33 c Core size: 26 Core Weight: 3 Total Weight: 4264 2.29/2.33 c Elapsed CPU time: 2.26765 s Remaining CPU time: 1797.73 s 2.29/2.35 c ============================[ Search Statistics ]============================== 2.29/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.35 c =============================================================================== 2.29/2.35 c | 0 | 6574 7983 22427 | 5000 0 nan | 0.000 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c core #413 2.29/2.35 c Core size: 65 Core Weight: 2 Total Weight: 4266 2.29/2.35 c Elapsed CPU time: 2.28465 s Remaining CPU time: 1797.72 s 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 6607 8011 22511 | 5000 0 nan | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c core #414 2.29/2.37 c Core size: 64 Core Weight: 1 Total Weight: 4267 2.29/2.37 c Elapsed CPU time: 2.30165 s Remaining CPU time: 1797.7 s 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 6649 8050 22700 | 5000 0 nan | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c core #415 2.29/2.39 c Core size: 101 Core Weight: 1 Total Weight: 4268 2.29/2.39 c Elapsed CPU time: 2.31765 s Remaining CPU time: 1797.68 s 2.39/2.40 c ============================[ Search Statistics ]============================== 2.39/2.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.40 c =============================================================================== 2.39/2.40 c | 0 | 6709 8101 22936 | 5000 0 nan | 0.000 % | 2.39/2.41 c =============================================================================== 2.39/2.41 c core #416 2.39/2.41 c Core size: 195 Core Weight: 1 Total Weight: 4269 2.39/2.41 c Elapsed CPU time: 2.33864 s Remaining CPU time: 1797.66 s 2.39/2.42 c ============================[ Search Statistics ]============================== 2.39/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.42 c =============================================================================== 2.39/2.42 c | 0 | 6831 8161 23300 | 5000 0 nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c core #417 2.39/2.43 c Core size: 154 Core Weight: 1 Total Weight: 4270 2.39/2.43 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.39/2.45 c ============================[ Search Statistics ]============================== 2.39/2.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.45 c =============================================================================== 2.39/2.45 c | 0 | 6916 8212 23540 | 5000 0 nan | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c core #418 2.39/2.45 c Core size: 137 Core Weight: 1 Total Weight: 4271 2.39/2.45 c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 6991 8273 23797 | 5000 0 nan | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c core #419 2.39/2.47 c Core size: 132 Core Weight: 1 Total Weight: 4272 2.39/2.47 c Elapsed CPU time: 2.39864 s Remaining CPU time: 1797.6 s 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 7083 8319 24064 | 5000 0 nan | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c core #420 2.39/2.49 c Core size: 90 Core Weight: 1 Total Weight: 4273 2.39/2.49 c Elapsed CPU time: 2.41663 s Remaining CPU time: 1797.58 s 2.49/2.50 c ============================[ Search Statistics ]============================== 2.49/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.50 c =============================================================================== 2.49/2.50 c | 0 | 7134 8360 24246 | 5000 0 nan | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c core #421 2.49/2.51 c Core size: 30 Core Weight: 4 Total Weight: 4277 2.49/2.51 c Elapsed CPU time: 2.43463 s Remaining CPU time: 1797.57 s 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 7154 8379 24322 | 5000 0 nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c core #422 2.49/2.53 c Core size: 29 Core Weight: 9 Total Weight: 4286 2.49/2.53 c Elapsed CPU time: 2.45363 s Remaining CPU time: 1797.55 s 2.49/2.54 c ============================[ Search Statistics ]============================== 2.49/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.54 c =============================================================================== 2.49/2.54 c | 0 | 7173 8395 24437 | 5000 0 nan | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.55 c core #423 2.49/2.55 c Core size: 60 Core Weight: 2 Total Weight: 4288 2.49/2.55 c Elapsed CPU time: 2.47162 s Remaining CPU time: 1797.53 s 2.49/2.56 c ============================[ Search Statistics ]============================== 2.49/2.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.56 c =============================================================================== 2.49/2.56 c | 0 | 7208 8425 24608 | 5000 0 nan | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c core #424 2.49/2.57 c Core size: 156 Core Weight: 1 Total Weight: 4289 2.49/2.57 c Elapsed CPU time: 2.49462 s Remaining CPU time: 1797.51 s 2.49/2.58 c ============================[ Search Statistics ]============================== 2.49/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.58 c =============================================================================== 2.49/2.58 c | 0 | 7289 8478 24845 | 5000 0 nan | 0.000 % | 2.49/2.59 c =============================================================================== 2.49/2.59 c core #425 2.49/2.59 c Core size: 127 Core Weight: 1 Total Weight: 4290 2.49/2.59 c Elapsed CPU time: 2.51262 s Remaining CPU time: 1797.49 s 2.59/2.60 c ============================[ Search Statistics ]============================== 2.59/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.60 c =============================================================================== 2.59/2.60 c | 0 | 7372 8549 25154 | 5000 0 nan | 0.000 % | 2.59/2.61 c =============================================================================== 2.59/2.61 c core #426 2.59/2.61 c Core size: 73 Core Weight: 1 Total Weight: 4291 2.59/2.61 c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s 2.59/2.62 c Learning 2 hard constraints 2.59/2.62 c ============================[ Search Statistics ]============================== 2.59/2.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.62 c =============================================================================== 2.59/2.62 c | 0 | 7412 8583 25264 | 5000 0 nan | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c core #427 2.59/2.63 c Core size: 96 Core Weight: 1 Total Weight: 4292 2.59/2.63 c Elapsed CPU time: 2.55161 s Remaining CPU time: 1797.45 s 2.59/2.65 c Learning 2 hard constraints 2.59/2.65 c ============================[ Search Statistics ]============================== 2.59/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.65 c =============================================================================== 2.59/2.65 c | 0 | 7465 8620 25435 | 5000 0 nan | 0.000 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c core #428 2.59/2.65 c Core size: 118 Core Weight: 1 Total Weight: 4293 2.59/2.65 c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s 2.59/2.67 c Learning 2 hard constraints 2.59/2.67 c ============================[ Search Statistics ]============================== 2.59/2.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.67 c =============================================================================== 2.59/2.67 c | 0 | 7540 8682 25732 | 5000 0 nan | 0.000 % | 2.59/2.67 c =============================================================================== 2.59/2.67 c core #429 2.59/2.67 c Core size: 104 Core Weight: 1 Total Weight: 4294 2.59/2.67 c Elapsed CPU time: 2.58761 s Remaining CPU time: 1797.41 s 2.59/2.69 c ============================[ Search Statistics ]============================== 2.59/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.69 c =============================================================================== 2.59/2.69 c | 0 | 7602 8732 25959 | 5000 0 nan | 0.000 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c core #430 2.59/2.69 c Core size: 155 Core Weight: 1 Total Weight: 4295 2.59/2.69 c Elapsed CPU time: 2.6076 s Remaining CPU time: 1797.39 s 2.69/2.71 c ============================[ Search Statistics ]============================== 2.69/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.71 c =============================================================================== 2.69/2.71 c | 0 | 7707 8805 26337 | 5000 0 nan | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c core #431 2.69/2.72 c Core size: 162 Core Weight: 1 Total Weight: 4296 2.69/2.72 c Elapsed CPU time: 2.6276 s Remaining CPU time: 1797.37 s 2.69/2.73 c ============================[ Search Statistics ]============================== 2.69/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 7804 8863 26574 | 5000 0 nan | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c core #432 2.69/2.74 c Core size: 134 Core Weight: 1 Total Weight: 4297 2.69/2.74 c Elapsed CPU time: 2.6486 s Remaining CPU time: 1797.35 s 2.69/2.75 c Learning 1 hard constraints 2.69/2.75 c ============================[ Search Statistics ]============================== 2.69/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.75 c =============================================================================== 2.69/2.75 c | 0 | 7882 8930 26820 | 5000 0 nan | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c core #433 2.69/2.76 c Core size: 51 Core Weight: 1 Total Weight: 4298 2.69/2.76 c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 7909 8956 26915 | 5000 0 nan | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c core #434 2.69/2.78 c Core size: 74 Core Weight: 1 Total Weight: 4299 2.69/2.78 c Elapsed CPU time: 2.68659 s Remaining CPU time: 1797.31 s 2.69/2.80 c ============================[ Search Statistics ]============================== 2.69/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.80 c =============================================================================== 2.69/2.80 c | 0 | 7947 8987 27027 | 5000 0 nan | 0.000 % | 2.79/2.80 c =============================================================================== 2.79/2.80 c core #435 2.79/2.80 c Core size: 132 Core Weight: 1 Total Weight: 4300 2.79/2.80 c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s 2.79/2.82 c Learning 1 hard constraints 2.79/2.82 c ============================[ Search Statistics ]============================== 2.79/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.82 c =============================================================================== 2.79/2.82 c | 0 | 8044 9073 27403 | 5000 0 nan | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c core #436 2.79/2.83 c Core size: 299 Core Weight: 1 Total Weight: 4301 2.79/2.83 c Elapsed CPU time: 2.72758 s Remaining CPU time: 1797.27 s 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 8216 9192 27957 | 5000 0 nan | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c core #437 2.79/2.85 c Core size: 149 Core Weight: 1 Total Weight: 4302 2.79/2.85 c Elapsed CPU time: 2.74858 s Remaining CPU time: 1797.25 s 2.79/2.87 c ============================[ Search Statistics ]============================== 2.79/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.87 c =============================================================================== 2.79/2.87 c | 0 | 8309 9266 28277 | 5000 0 nan | 0.000 % | 2.79/2.87 c =============================================================================== 2.79/2.87 c core #438 2.79/2.87 c Core size: 43 Core Weight: 1 Total Weight: 4303 2.79/2.87 c Elapsed CPU time: 2.76958 s Remaining CPU time: 1797.23 s 2.79/2.89 c ============================[ Search Statistics ]============================== 2.79/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.89 c =============================================================================== 2.79/2.89 c | 0 | 8333 9283 28347 | 5000 0 nan | 0.000 % | 2.89/2.90 c =============================================================================== 2.89/2.90 c core #439 2.89/2.90 c Core size: 63 Core Weight: 3 Total Weight: 4306 2.89/2.90 c Elapsed CPU time: 2.79157 s Remaining CPU time: 1797.21 s 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 8366 9313 28481 | 5000 0 nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c core #440 2.89/2.92 c Core size: 64 Core Weight: 1 Total Weight: 4307 2.89/2.92 c Elapsed CPU time: 2.81357 s Remaining CPU time: 1797.19 s 2.89/2.94 c Learning 1 hard constraints 2.89/2.94 c ============================[ Search Statistics ]============================== 2.89/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.94 c =============================================================================== 2.89/2.94 c | 0 | 8401 9349 28613 | 5000 0 nan | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c core #441 2.89/2.95 c Core size: 120 Core Weight: 1 Total Weight: 4308 2.89/2.95 c Elapsed CPU time: 2.83657 s Remaining CPU time: 1797.16 s 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 8477 9407 28894 | 5000 0 nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c core #442 2.89/2.97 c Core size: 158 Core Weight: 1 Total Weight: 4309 2.89/2.97 c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s 2.89/2.99 c Learning 3 hard constraints 2.89/2.99 c ============================[ Search Statistics ]============================== 2.89/2.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.99 c =============================================================================== 2.89/2.99 c | 0 | 8568 9473 29172 | 5000 0 nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.00 c core #443 2.99/3.00 c Core size: 108 Core Weight: 1 Total Weight: 4310 2.99/3.00 c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s 2.99/3.02 c ============================[ Search Statistics ]============================== 2.99/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.02 c =============================================================================== 2.99/3.02 c | 0 | 8631 9521 29432 | 5000 0 nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c core #444 2.99/3.02 c Core size: 72 Core Weight: 1 Total Weight: 4311 2.99/3.02 c Elapsed CPU time: 2.90456 s Remaining CPU time: 1797.1 s 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 8677 9563 29635 | 5000 0 nan | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c core #445 2.99/3.05 c Core size: 131 Core Weight: 1 Total Weight: 4312 2.99/3.05 c Elapsed CPU time: 2.92656 s Remaining CPU time: 1797.07 s 2.99/3.07 c Learning 1 hard constraints 2.99/3.07 c ============================[ Search Statistics ]============================== 2.99/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.07 c =============================================================================== 2.99/3.07 c | 0 | 8753 9621 29912 | 5000 0 nan | 0.000 % | 2.99/3.07 c =============================================================================== 2.99/3.07 c core #446 2.99/3.07 c Core size: 84 Core Weight: 1 Total Weight: 4313 2.99/3.07 c Elapsed CPU time: 2.94755 s Remaining CPU time: 1797.05 s 2.99/3.09 c ============================[ Search Statistics ]============================== 2.99/3.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.09 c =============================================================================== 2.99/3.09 c | 0 | 8803 9671 30092 | 5000 0 nan | 0.000 % | 2.99/3.10 c =============================================================================== 2.99/3.10 c core #447 2.99/3.10 c Core size: 109 Core Weight: 1 Total Weight: 4314 2.99/3.10 c Elapsed CPU time: 2.96855 s Remaining CPU time: 1797.03 s 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 8871 9718 30399 | 5000 0 nan | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c core #448 3.09/3.12 c Core size: 100 Core Weight: 1 Total Weight: 4315 3.09/3.12 c Elapsed CPU time: 2.99454 s Remaining CPU time: 1797.01 s 3.09/3.14 c Learning 1 hard constraints 3.09/3.14 c ============================[ Search Statistics ]============================== 3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.14 c =============================================================================== 3.09/3.14 c | 0 | 8921 9762 30575 | 5000 0 nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c core #449 3.09/3.15 c Core size: 171 Core Weight: 1 Total Weight: 4316 3.09/3.15 c Elapsed CPU time: 3.01954 s Remaining CPU time: 1796.98 s 3.09/3.17 c ============================[ Search Statistics ]============================== 3.09/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.17 c =============================================================================== 3.09/3.17 c | 0 | 9034 9857 30913 | 5000 0 nan | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c core #450 3.09/3.18 c Core size: 96 Core Weight: 1 Total Weight: 4317 3.09/3.18 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 3.09/3.20 c Learning 1 hard constraints 3.09/3.20 c ============================[ Search Statistics ]============================== 3.09/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.20 c =============================================================================== 3.09/3.20 c | 0 | 9086 9904 31089 | 5000 0 nan | 0.000 % | 3.20/3.21 c =============================================================================== 3.20/3.21 c core #451 3.20/3.21 c Core size: 98 Core Weight: 1 Total Weight: 4318 3.20/3.21 c Elapsed CPU time: 3.07053 s Remaining CPU time: 1796.93 s 3.20/3.23 c Learning 3 hard constraints 3.20/3.23 c ============================[ Search Statistics ]============================== 3.20/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.23 c =============================================================================== 3.20/3.23 c | 0 | 9146 9955 31395 | 5000 0 nan | 0.000 % | 3.20/3.24 c =============================================================================== 3.20/3.24 c core #452 3.20/3.24 c Core size: 176 Core Weight: 1 Total Weight: 4319 3.20/3.24 c Elapsed CPU time: 3.09653 s Remaining CPU time: 1796.9 s 3.20/3.25 c Learning 5 hard constraints 3.20/3.25 c ============================[ Search Statistics ]============================== 3.20/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.25 c =============================================================================== 3.20/3.25 c | 0 | 9246 10035 31738 | 5000 0 nan | 0.000 % | 3.20/3.27 c =============================================================================== 3.20/3.27 c core #453 3.20/3.27 c Core size: 112 Core Weight: 1 Total Weight: 4320 3.20/3.27 c Elapsed CPU time: 3.12352 s Remaining CPU time: 1796.88 s 3.20/3.28 c ============================[ Search Statistics ]============================== 3.20/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.28 c =============================================================================== 3.20/3.28 c | 0 | 9322 10107 32051 | 5000 0 nan | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c core #454 3.20/3.29 c Core size: 91 Core Weight: 1 Total Weight: 4321 3.20/3.29 c Elapsed CPU time: 3.14652 s Remaining CPU time: 1796.85 s 3.30/3.31 c ============================[ Search Statistics ]============================== 3.30/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.31 c =============================================================================== 3.30/3.31 c | 0 | 9378 10150 32213 | 5000 0 nan | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c core #455 3.30/3.33 c Core size: 266 Core Weight: 1 Total Weight: 4322 3.30/3.33 c Elapsed CPU time: 3.17952 s Remaining CPU time: 1796.82 s 3.30/3.35 c ============================[ Search Statistics ]============================== 3.30/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.35 c =============================================================================== 3.30/3.35 c | 0 | 9536 10217 32689 | 5000 0 nan | 0.000 % | 3.30/3.36 c =============================================================================== 3.30/3.36 c core #456 3.30/3.36 c Core size: 72 Core Weight: 1 Total Weight: 4323 3.30/3.36 c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s 3.30/3.38 c ============================[ Search Statistics ]============================== 3.30/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.38 c =============================================================================== 3.30/3.38 c | 0 | 9579 10249 32822 | 5000 0 nan | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c core #457 3.30/3.39 c Core size: 77 Core Weight: 1 Total Weight: 4324 3.30/3.39 c Elapsed CPU time: 3.22951 s Remaining CPU time: 1796.77 s 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 9620 10281 32988 | 5000 0 nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.43 c core #458 3.39/3.43 c Core size: 190 Core Weight: 1 Total Weight: 4325 3.39/3.43 c Elapsed CPU time: 3.2625 s Remaining CPU time: 1796.74 s 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 9741 10356 33368 | 5000 0 nan | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c core #459 3.39/3.45 c Core size: 97 Core Weight: 1 Total Weight: 4326 3.39/3.45 c Elapsed CPU time: 3.2875 s Remaining CPU time: 1796.71 s 3.39/3.47 c ============================[ Search Statistics ]============================== 3.39/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.47 c =============================================================================== 3.39/3.47 c | 0 | 9794 10397 33561 | 5000 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #460 3.39/3.48 c Core size: 244 Core Weight: 1 Total Weight: 4327 3.39/3.48 c Elapsed CPU time: 3.31549 s Remaining CPU time: 1796.68 s 3.49/3.50 c Learning 1 hard constraints 3.49/3.50 c ============================[ Search Statistics ]============================== 3.49/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.50 c =============================================================================== 3.49/3.50 c | 0 | 9947 10489 34215 | 5000 0 nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c core #461 3.49/3.51 c Core size: 79 Core Weight: 1 Total Weight: 4328 3.49/3.51 c Elapsed CPU time: 3.33949 s Remaining CPU time: 1796.66 s 3.49/3.53 c ============================[ Search Statistics ]============================== 3.49/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.53 c =============================================================================== 3.49/3.53 c | 0 | 9993 10527 34363 | 5000 0 nan | 0.000 % | 3.49/3.55 c | 101 | 9938 10527 34363 | 5500 62 9 | 2.818 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #462 3.49/3.55 c Core size: 450 Core Weight: 1 Total Weight: 4329 3.49/3.55 c Elapsed CPU time: 3.38049 s Remaining CPU time: 1796.62 s 3.49/3.57 c Learning 1 hard constraints 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 10259 10646 35136 | 5000 0 nan | 0.000 % | 3.49/3.59 c =============================================================================== 3.49/3.59 c core #463 3.49/3.59 c Core size: 118 Core Weight: 1 Total Weight: 4330 3.49/3.59 c Elapsed CPU time: 3.41248 s Remaining CPU time: 1796.59 s 3.59/3.61 c ============================[ Search Statistics ]============================== 3.59/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.61 c =============================================================================== 3.59/3.61 c | 0 | 10332 10702 35445 | 5000 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #464 3.59/3.61 c Core size: 143 Core Weight: 1 Total Weight: 4331 3.59/3.61 c Elapsed CPU time: 3.44048 s Remaining CPU time: 1796.56 s 3.59/3.64 c Learning 2 hard constraints 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 10416 10759 35756 | 5000 0 nan | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.65 c core #465 3.59/3.65 c Core size: 104 Core Weight: 1 Total Weight: 4332 3.59/3.65 c Elapsed CPU time: 3.46947 s Remaining CPU time: 1796.53 s 3.59/3.67 c ============================[ Search Statistics ]============================== 3.59/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.67 c =============================================================================== 3.59/3.67 c | 0 | 10470 10804 35919 | 5000 0 nan | 0.000 % | 3.59/3.68 c =============================================================================== 3.59/3.68 c core #466 3.59/3.68 c Core size: 115 Core Weight: 1 Total Weight: 4333 3.59/3.68 c Elapsed CPU time: 3.49647 s Remaining CPU time: 1796.5 s 3.69/3.70 c Learning 4 hard constraints 3.69/3.70 c ============================[ Search Statistics ]============================== 3.69/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.70 c =============================================================================== 3.69/3.70 c | 0 | 10536 10858 36181 | 5000 0 nan | 0.000 % | 3.69/3.71 c =============================================================================== 3.69/3.71 c core #467 3.69/3.71 c Core size: 83 Core Weight: 1 Total Weight: 4334 3.69/3.71 c Elapsed CPU time: 3.52446 s Remaining CPU time: 1796.48 s 3.69/3.73 c Learning 1 hard constraints 3.69/3.73 c ============================[ Search Statistics ]============================== 3.69/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.73 c =============================================================================== 3.69/3.73 c | 0 | 10614 10898 36542 | 5000 0 nan | 0.000 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c core #468 3.69/3.74 c Core size: 131 Core Weight: 1 Total Weight: 4335 3.69/3.74 c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s 3.69/3.77 c Learning 1 hard constraints 3.69/3.77 c ============================[ Search Statistics ]============================== 3.69/3.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.77 c =============================================================================== 3.69/3.77 c | 0 | 10687 10962 36797 | 5000 0 nan | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c core #469 3.69/3.78 c Core size: 201 Core Weight: 1 Total Weight: 4336 3.69/3.78 c Elapsed CPU time: 3.58446 s Remaining CPU time: 1796.42 s 3.79/3.80 c Learning 1 hard constraints 3.79/3.80 c ============================[ Search Statistics ]============================== 3.79/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.80 c =============================================================================== 3.79/3.80 c | 0 | 10808 11038 37319 | 5000 0 nan | 0.000 % | 3.79/3.82 c =============================================================================== 3.79/3.82 c core #470 3.79/3.82 c Core size: 423 Core Weight: 1 Total Weight: 4337 3.79/3.82 c Elapsed CPU time: 3.62145 s Remaining CPU time: 1796.38 s 3.79/3.85 c Learning 3 hard constraints 3.79/3.85 c ============================[ Search Statistics ]============================== 3.79/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.85 c =============================================================================== 3.79/3.85 c | 0 | 11068 11131 38032 | 5000 0 nan | 0.000 % | 3.79/3.87 c =============================================================================== 3.79/3.87 c core #471 3.79/3.87 c Core size: 145 Core Weight: 1 Total Weight: 4338 3.79/3.87 c Elapsed CPU time: 3.66144 s Remaining CPU time: 1796.34 s 3.79/3.89 c Learning 1 hard constraints 3.79/3.89 c ============================[ Search Statistics ]============================== 3.79/3.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.89 c =============================================================================== 3.79/3.89 c | 0 | 11161 11183 38308 | 5000 0 nan | 0.000 % | 3.89/3.90 c =============================================================================== 3.89/3.90 c core #472 3.89/3.90 c Core size: 115 Core Weight: 1 Total Weight: 4339 3.89/3.90 c Elapsed CPU time: 3.69544 s Remaining CPU time: 1796.3 s 3.89/3.93 c Learning 1 hard constraints 3.89/3.93 c ============================[ Search Statistics ]============================== 3.89/3.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.93 c =============================================================================== 3.89/3.93 c | 0 | 11221 11228 38515 | 5000 0 nan | 0.000 % | 3.89/3.95 c | 100 | 11105 11228 38515 | 5500 85 19 | 2.690 % | 3.89/3.98 c | 250 | 10979 11228 38515 | 6050 104 16 | 3.794 % | 3.89/3.98 c =============================================================================== 3.89/3.98 c core #473 3.89/3.98 c Core size: 511 Core Weight: 1 Total Weight: 4340 3.89/3.98 c Elapsed CPU time: 3.76543 s Remaining CPU time: 1796.23 s 3.99/4.00 c ============================[ Search Statistics ]============================== 3.99/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.00 c =============================================================================== 3.99/4.00 c | 0 | 11547 11328 39349 | 5000 0 nan | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c core #474 3.99/4.02 c Core size: 391 Core Weight: 1 Total Weight: 4341 3.99/4.02 c Elapsed CPU time: 3.80142 s Remaining CPU time: 1796.2 s 3.99/4.04 c Learning 2 hard constraints 3.99/4.04 c ============================[ Search Statistics ]============================== 3.99/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.04 c =============================================================================== 3.99/4.04 c | 0 | 11784 11476 40125 | 5000 0 nan | 0.000 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c core #475 3.99/4.05 c Core size: 117 Core Weight: 1 Total Weight: 4342 3.99/4.05 c Elapsed CPU time: 3.83142 s Remaining CPU time: 1796.17 s 3.99/4.08 c Learning 1 hard constraints 3.99/4.08 c ============================[ Search Statistics ]============================== 3.99/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.08 c =============================================================================== 3.99/4.08 c | 0 | 11841 11515 40304 | 5000 0 nan | 0.000 % | 3.99/4.09 c =============================================================================== 3.99/4.09 c core #476 3.99/4.09 c Core size: 202 Core Weight: 1 Total Weight: 4343 3.99/4.09 c Elapsed CPU time: 3.86041 s Remaining CPU time: 1796.14 s 4.08/4.11 c ============================[ Search Statistics ]============================== 4.08/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.11 c =============================================================================== 4.08/4.11 c | 0 | 11952 11582 40687 | 5000 0 nan | 0.000 % | 4.08/4.12 c =============================================================================== 4.08/4.12 c core #477 4.08/4.12 c Core size: 77 Core Weight: 1 Total Weight: 4344 4.08/4.12 c Elapsed CPU time: 3.88941 s Remaining CPU time: 1796.11 s 4.08/4.14 c ============================[ Search Statistics ]============================== 4.08/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.14 c =============================================================================== 4.08/4.14 c | 0 | 11998 11614 40821 | 5000 0 nan | 0.000 % | 4.08/4.17 c =============================================================================== 4.08/4.17 c core #478 4.08/4.17 c Core size: 310 Core Weight: 1 Total Weight: 4345 4.08/4.17 c Elapsed CPU time: 3.9354 s Remaining CPU time: 1796.06 s 4.08/4.19 c ============================[ Search Statistics ]============================== 4.08/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.19 c =============================================================================== 4.08/4.19 c | 0 | 12164 11711 41288 | 5000 0 nan | 0.000 % | 4.19/4.22 c | 100 | 12153 11711 41288 | 5500 98 11 | 1.587 % | 4.19/4.22 c =============================================================================== 4.19/4.22 c core #479 4.19/4.22 c Core size: 466 Core Weight: 1 Total Weight: 4346 4.19/4.22 c Elapsed CPU time: 3.98739 s Remaining CPU time: 1796.01 s 4.19/4.25 c ============================[ Search Statistics ]============================== 4.19/4.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.25 c =============================================================================== 4.19/4.25 c | 0 | 12461 11842 42271 | 5000 0 nan | 0.000 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c core #480 4.19/4.27 c Core size: 240 Core Weight: 1 Total Weight: 4347 4.19/4.27 c Elapsed CPU time: 4.03039 s Remaining CPU time: 1795.97 s 4.29/4.30 c Learning 6 hard constraints 4.29/4.30 c ============================[ Search Statistics ]============================== 4.29/4.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.30 c =============================================================================== 4.29/4.30 c | 0 | 12597 11936 42805 | 5000 0 nan | 0.000 % | 4.29/4.32 c | 101 | 12597 11936 42805 | 5500 101 13 | 1.424 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c core #481 4.29/4.33 c Core size: 440 Core Weight: 1 Total Weight: 4348 4.29/4.33 c Elapsed CPU time: 4.08338 s Remaining CPU time: 1795.92 s 4.29/4.36 c Learning 2 hard constraints 4.29/4.36 c ============================[ Search Statistics ]============================== 4.29/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.36 c =============================================================================== 4.29/4.36 c | 0 | 12864 12095 43608 | 5000 0 nan | 0.000 % | 4.29/4.37 c =============================================================================== 4.29/4.37 c core #482 4.29/4.37 c Core size: 157 Core Weight: 1 Total Weight: 4349 4.29/4.37 c Elapsed CPU time: 4.11337 s Remaining CPU time: 1795.89 s 4.29/4.40 c ============================[ Search Statistics ]============================== 4.29/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.40 c =============================================================================== 4.29/4.40 c | 0 | 12952 12144 43928 | 5000 0 nan | 0.000 % | 4.40/4.42 c =============================================================================== 4.40/4.42 c core #483 4.40/4.42 c Core size: 110 Core Weight: 1 Total Weight: 4350 4.40/4.42 c Elapsed CPU time: 4.15937 s Remaining CPU time: 1795.84 s 4.40/4.44 c Learning 2 hard constraints 4.40/4.44 c ============================[ Search Statistics ]============================== 4.40/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.44 c =============================================================================== 4.40/4.44 c | 0 | 13012 12199 44223 | 5000 0 nan | 0.000 % | 4.40/4.47 c =============================================================================== 4.40/4.47 c core #484 4.40/4.47 c Core size: 202 Core Weight: 1 Total Weight: 4351 4.40/4.47 c Elapsed CPU time: 4.20536 s Remaining CPU time: 1795.79 s 4.40/4.49 c Learning 5 hard constraints 4.40/4.49 c ============================[ Search Statistics ]============================== 4.40/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.49 c =============================================================================== 4.40/4.49 c | 0 | 13124 12285 44621 | 5000 0 nan | 0.000 % | 4.49/4.52 c | 101 | 13122 12285 44621 | 5500 101 9 | 1.338 % | 4.49/4.53 c =============================================================================== 4.49/4.53 c core #485 4.49/4.53 c Core size: 534 Core Weight: 1 Total Weight: 4352 4.49/4.53 c Elapsed CPU time: 4.26235 s Remaining CPU time: 1795.74 s 4.49/4.56 c Learning 2 hard constraints 4.49/4.56 c ============================[ Search Statistics ]============================== 4.49/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.56 c =============================================================================== 4.49/4.56 c | 0 | 13432 12433 45594 | 5000 0 nan | 0.000 % | 4.49/4.57 c =============================================================================== 4.49/4.57 c core #486 4.49/4.57 c Core size: 115 Core Weight: 1 Total Weight: 4353 4.49/4.57 c Elapsed CPU time: 4.29935 s Remaining CPU time: 1795.7 s 4.49/4.60 c Learning 1 hard constraints 4.49/4.60 c ============================[ Search Statistics ]============================== 4.49/4.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.60 c =============================================================================== 4.49/4.60 c | 0 | 13495 12480 45814 | 5000 0 nan | 0.000 % | 4.59/4.62 c =============================================================================== 4.59/4.62 c core #487 4.59/4.62 c Core size: 309 Core Weight: 1 Total Weight: 4354 4.59/4.62 c Elapsed CPU time: 4.34334 s Remaining CPU time: 1795.66 s 4.59/4.65 c Learning 1 hard constraints 4.59/4.65 c ============================[ Search Statistics ]============================== 4.59/4.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.65 c =============================================================================== 4.59/4.65 c | 0 | 13678 12572 46328 | 5000 0 nan | 0.000 % | 4.59/4.68 c | 100 | 13676 12572 46328 | 5500 100 12 | 1.271 % | 4.59/4.69 c =============================================================================== 4.59/4.69 c core #488 4.59/4.69 c Core size: 271 Core Weight: 1 Total Weight: 4355 4.59/4.69 c Elapsed CPU time: 4.40333 s Remaining CPU time: 1795.6 s 4.69/4.71 c Learning 1 hard constraints 4.69/4.71 c ============================[ Search Statistics ]============================== 4.69/4.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.71 c =============================================================================== 4.69/4.71 c | 0 | 13841 12642 46937 | 5000 0 nan | 0.000 % | 4.69/4.73 c =============================================================================== 4.69/4.73 c core #489 4.69/4.73 c Core size: 176 Core Weight: 1 Total Weight: 4356 4.69/4.73 c Elapsed CPU time: 4.44432 s Remaining CPU time: 1795.56 s 4.69/4.76 c ============================[ Search Statistics ]============================== 4.69/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.76 c =============================================================================== 4.69/4.76 c | 0 | 13942 12702 47240 | 5000 0 nan | 0.000 % | 4.69/4.78 c =============================================================================== 4.69/4.78 c core #490 4.69/4.78 c Core size: 224 Core Weight: 1 Total Weight: 4357 4.69/4.78 c Elapsed CPU time: 4.48632 s Remaining CPU time: 1795.51 s 4.79/4.80 c ============================[ Search Statistics ]============================== 4.79/4.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.80 c =============================================================================== 4.79/4.80 c | 0 | 14081 12761 47624 | 5000 0 nan | 0.000 % | 4.79/4.82 c =============================================================================== 4.79/4.82 c core #491 4.79/4.82 c Core size: 182 Core Weight: 1 Total Weight: 4358 4.79/4.82 c Elapsed CPU time: 4.52231 s Remaining CPU time: 1795.48 s 4.79/4.84 c Learning 2 hard constraints 4.79/4.84 c ============================[ Search Statistics ]============================== 4.79/4.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.84 c =============================================================================== 4.79/4.84 c | 0 | 14182 12829 47997 | 5000 0 nan | 0.000 % | 4.79/4.87 c | 101 | 14057 12829 47997 | 5500 81 8 | 2.083 % | 4.79/4.89 c =============================================================================== 4.79/4.89 c core #492 4.79/4.89 c Core size: 572 Core Weight: 1 Total Weight: 4359 4.79/4.89 c Elapsed CPU time: 4.5813 s Remaining CPU time: 1795.42 s 4.88/4.92 c Learning 1 hard constraints 4.88/4.92 c ============================[ Search Statistics ]============================== 4.88/4.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.88/4.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.88/4.92 c =============================================================================== 4.88/4.92 c | 0 | 14532 12974 49020 | 5000 0 nan | 0.000 % | 4.88/4.94 c =============================================================================== 4.88/4.94 c core #493 4.88/4.94 c Core size: 235 Core Weight: 1 Total Weight: 4360 4.88/4.94 c Elapsed CPU time: 4.63129 s Remaining CPU time: 1795.37 s 4.88/4.97 c Learning 3 hard constraints 4.88/4.97 c ============================[ Search Statistics ]============================== 4.88/4.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.88/4.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.88/4.97 c =============================================================================== 4.88/4.97 c | 0 | 14665 13055 49581 | 5000 0 nan | 0.000 % | 4.88/4.99 c | 100 | 14664 13055 49581 | 5500 100 19 | 1.113 % | 4.99/5.00 c =============================================================================== 4.99/5.00 c core #494 4.99/5.00 c Core size: 420 Core Weight: 1 Total Weight: 4361 4.99/5.00 c Elapsed CPU time: 4.68429 s Remaining CPU time: 1795.32 s 4.99/5.03 c Learning 1 hard constraints 4.99/5.03 c ============================[ Search Statistics ]============================== 4.99/5.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.03 c =============================================================================== 4.99/5.03 c | 0 | 14915 13179 50405 | 5000 0 nan | 0.000 % | 4.99/5.05 c | 100 | 14913 13179 50405 | 5500 100 7 | 1.088 % | 4.99/5.07 c =============================================================================== 4.99/5.07 c core #495 4.99/5.07 c Core size: 498 Core Weight: 1 Total Weight: 4362 4.99/5.07 c Elapsed CPU time: 4.74328 s Remaining CPU time: 1795.26 s 4.99/5.09 c ============================[ Search Statistics ]============================== 4.99/5.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.09 c =============================================================================== 4.99/5.09 c | 0 | 15230 13299 51312 | 5000 0 nan | 0.000 % | 5.09/5.12 c | 100 | 15215 13299 51312 | 5500 100 13 | 2.385 % | 5.09/5.13 c =============================================================================== 5.09/5.13 c core #496 5.09/5.13 c Core size: 549 Core Weight: 1 Total Weight: 4363 5.09/5.13 c Elapsed CPU time: 4.80627 s Remaining CPU time: 1795.19 s 5.09/5.16 c ============================[ Search Statistics ]============================== 5.09/5.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.16 c =============================================================================== 5.09/5.16 c | 0 | 15561 13438 52165 | 5000 0 nan | 0.000 % | 5.19/5.20 c | 107 | 15556 13438 52165 | 5500 107 12 | 1.043 % | 5.19/5.22 c | 257 | 15536 13438 52165 | 6050 252 12 | 1.527 % | 5.19/5.23 c =============================================================================== 5.19/5.24 c core #497 5.19/5.24 c Core size: 533 Core Weight: 1 Total Weight: 4364 5.19/5.24 c Elapsed CPU time: 4.90225 s Remaining CPU time: 1795.1 s 5.19/5.27 c Learning 1 hard constraints 5.19/5.27 c ============================[ Search Statistics ]============================== 5.19/5.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.27 c =============================================================================== 5.19/5.27 c | 0 | 15917 13543 53108 | 5000 0 nan | 0.000 % | 5.19/5.29 c | 100 | 15916 13543 53108 | 5500 100 9 | 0.989 % | 5.29/5.32 c =============================================================================== 5.29/5.32 c core #498 5.29/5.32 c Core size: 509 Core Weight: 1 Total Weight: 4365 5.29/5.32 c Elapsed CPU time: 4.97924 s Remaining CPU time: 1795.02 s 5.29/5.35 c Learning 2 hard constraints 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 | 16255 13626 53955 | 5000 0 nan | 0.000 % | 5.29/5.39 c | 100 | 16254 13626 53955 | 5500 100 22 | 0.957 % | 5.39/5.41 c | 251 | 16251 13626 53955 | 6050 250 16 | 0.975 % | 5.39/5.45 c | 476 | 16247 13626 53955 | 6655 468 14 | 0.999 % | 5.49/5.52 c | 813 | 16228 13626 53955 | 7320 506 11 | 4.747 % | 5.49/5.52 c =============================================================================== 5.49/5.52 c core #499 5.49/5.52 c Core size: 975 Core Weight: 1 Total Weight: 4366 5.49/5.52 c Elapsed CPU time: 5.16721 s Remaining CPU time: 1794.83 s 5.49/5.56 c Learning 4 hard constraints 5.49/5.56 c ============================[ Search Statistics ]============================== 5.49/5.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.49/5.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.49/5.56 c =============================================================================== 5.49/5.56 c | 0 | 16929 13802 55711 | 5000 0 nan | 0.000 % | 5.49/5.59 c | 100 | 16927 13802 55711 | 5500 100 12 | 0.919 % | 5.59/5.61 c | 251 | 16920 13802 55711 | 6050 246 14 | 0.960 % | 5.59/5.65 c | 476 | 16915 13802 55711 | 6655 439 13 | 0.983 % | 5.69/5.70 c | 813 | 16914 13802 55711 | 7320 776 13 | 0.989 % | 5.69/5.78 c | 1319 | 16906 13802 55711 | 8052 1271 15 | 1.153 % | 5.89/5.92 c | 2078 | 16729 13802 55711 | 8857 1385 14 | 2.072 % | 5.89/5.96 c =============================================================================== 5.89/5.98 c core #500 5.89/5.98 c Core size: 1295 Core Weight: 1 Total Weight: 4367 5.89/5.98 c Elapsed CPU time: 5.60515 s Remaining CPU time: 1794.39 s 5.99/6.01 c Learning 1 hard constraints 5.99/6.01 c ============================[ Search Statistics ]============================== 5.99/6.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.01 c =============================================================================== 5.99/6.01 c | 0 | 17854 13996 57966 | 5000 0 nan | 0.000 % | 5.99/6.05 c | 100 | 17806 13996 57966 | 5500 88 13 | 1.111 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c core #501 5.99/6.07 c Core size: 349 Core Weight: 1 Total Weight: 4368 5.99/6.07 c Elapsed CPU time: 5.68614 s Remaining CPU time: 1794.31 s 6.09/6.10 c Learning 2 hard constraints 6.09/6.10 c ============================[ Search Statistics ]============================== 6.09/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.10 c =============================================================================== 6.09/6.10 c | 0 | 18079 14090 58604 | 5000 0 nan | 0.000 % | 6.09/6.14 c | 101 | 18079 14090 58604 | 5500 101 21 | 0.834 % | 6.09/6.17 c | 251 | 18076 14090 58604 | 6050 241 16 | 0.850 % | 6.18/6.23 c | 476 | 18072 14090 58604 | 6655 465 17 | 0.878 % | 6.29/6.30 c | 813 | 18069 14090 58604 | 7320 795 17 | 0.889 % | 6.39/6.42 c | 1321 | 18069 14090 58604 | 8052 1298 20 | 0.889 % | 6.59/6.62 c | 2081 | 18005 14090 58604 | 8857 1544 24 | 1.240 % | 6.69/6.79 c =============================================================================== 6.79/6.81 c core #502 6.79/6.81 c Core size: 1579 Core Weight: 1 Total Weight: 4369 6.79/6.81 c Elapsed CPU time: 6.40403 s Remaining CPU time: 1793.6 s 6.79/6.85 c Learning 5 hard constraints 6.79/6.85 c ============================[ Search Statistics ]============================== 6.79/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.85 c =============================================================================== 6.79/6.85 c | 0 | 19185 14330 61333 | 5000 0 nan | 0.000 % | 6.79/6.88 c | 101 | 19185 14330 61333 | 5500 101 24 | 0.781 % | 6.89/6.91 c | 251 | 19183 14330 61333 | 6050 244 17 | 0.791 % | 6.89/6.95 c | 477 | 19175 14330 61333 | 6655 427 13 | 0.833 % | 6.99/7.02 c | 819 | 19147 14330 61333 | 7320 732 12 | 0.977 % | 7.09/7.12 c | 1326 | 19019 14330 61333 | 8052 678 16 | 2.850 % | 7.09/7.16 c =============================================================================== 7.09/7.17 c core #503 7.09/7.17 c Core size: 1133 Core Weight: 1 Total Weight: 4370 7.09/7.17 c Elapsed CPU time: 6.75797 s Remaining CPU time: 1793.24 s 7.18/7.21 c Learning 3 hard constraints 7.18/7.21 c ============================[ Search Statistics ]============================== 7.18/7.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.21 c =============================================================================== 7.18/7.21 c | 0 | 19998 14527 63402 | 5000 0 nan | 0.000 % | 7.18/7.26 c | 101 | 19996 14527 63402 | 5500 101 18 | 0.754 % | 7.29/7.30 c | 253 | 19996 14527 63402 | 6050 251 17 | 0.759 % | 7.29/7.36 c | 478 | 19993 14527 63402 | 6655 474 18 | 0.769 % | 7.39/7.46 c | 816 | 19992 14527 63402 | 7320 808 17 | 0.774 % | 7.49/7.56 c | 1324 | 19984 14527 63402 | 8052 1305 15 | 0.814 % | 7.69/7.71 c | 2083 | 19964 14527 63402 | 8857 2057 15 | 0.913 % | 7.89/7.95 c | 3223 | 19959 14527 63402 | 9743 3184 16 | 0.938 % | 7.99/8.03 c =============================================================================== 7.99/8.04 c core #504 7.99/8.04 c Core size: 1162 Core Weight: 1 Total Weight: 4371 7.99/8.04 c Elapsed CPU time: 7.60184 s Remaining CPU time: 1792.4 s 7.99/8.09 c Learning 16 hard constraints 7.99/8.09 c ============================[ Search Statistics ]============================== 7.99/8.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.09 c =============================================================================== 7.99/8.09 c | 0 | 20826 14700 65515 | 5000 0 nan | 0.000 % | 8.09/8.13 c | 101 | 20826 14700 65515 | 5500 101 19 | 0.710 % | 8.09/8.17 c | 254 | 20826 14700 65515 | 6050 254 14 | 0.710 % | 8.19/8.23 c | 481 | 20826 14700 65515 | 6655 481 16 | 0.710 % | 8.29/8.32 c | 821 | 20825 14700 65515 | 7320 820 18 | 0.715 % | 8.39/8.49 c | 1327 | 20825 14700 65515 | 8052 1326 17 | 0.715 % | 8.70/8.71 c | 2087 | 20824 14700 65515 | 8857 2085 16 | 0.720 % | 8.99/9.06 c | 3227 | 20823 14700 65515 | 9743 3222 18 | 0.725 % | 9.49/9.60 c | 4935 | 20794 14700 65515 | 10717 4916 19 | 0.863 % | 10.29/10.34 c | 7497 | 20779 14700 65515 | 11789 7443 19 | 1.092 % | 11.49/11.57 c | 11341 | 20778 14700 65515 | 12968 11287 23 | 1.092 % | 12.88/12.92 c =============================================================================== 12.88/12.99 c core #505 12.88/12.99 c Core size: 1955 Core Weight: 1 Total Weight: 4372 12.88/12.99 c Elapsed CPU time: 12.4951 s Remaining CPU time: 1787.5 s 12.98/13.05 c Learning 10 hard constraints 12.98/13.05 c ============================[ Search Statistics ]============================== 12.98/13.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.98/13.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.98/13.05 c =============================================================================== 12.98/13.05 c | 0 | 22272 14987 69178 | 5000 0 nan | 0.000 % | 12.98/13.10 c | 102 | 22272 14987 69178 | 5500 102 23 | 0.647 % | 13.09/13.15 c | 255 | 22265 14987 69178 | 6050 254 18 | 0.763 % | 13.19/13.22 c | 480 | 22246 14987 69178 | 6655 475 19 | 0.763 % | 13.29/13.35 c | 818 | 22246 14987 69178 | 7320 813 17 | 0.763 % | 13.49/13.54 c | 1325 | 22246 14987 69178 | 8052 1320 17 | 0.763 % | 13.78/13.84 c | 2085 | 22246 14987 69178 | 8857 2080 17 | 0.763 % | 14.19/14.29 c | 3224 | 22244 14987 69178 | 9743 3218 20 | 0.772 % | 14.98/15.09 c | 4932 | 22244 14987 69178 | 10717 4926 25 | 0.772 % | 16.29/16.35 c | 7495 | 22243 14987 69178 | 11789 7483 32 | 0.776 % | 18.19/18.26 c | 11339 | 22243 14987 69178 | 12968 11327 35 | 0.776 % | 21.38/21.41 c | 17111 | 22239 14987 69178 | 14265 10435 41 | 0.794 % | 26.78/26.89 c | 25762 | 22230 14987 69178 | 15692 10700 57 | 0.834 % | 36.28/36.37 c | 38738 | 22227 14987 69178 | 17261 15712 74 | 0.852 % | 50.48/50.52 c | 58199 | 22140 14987 69178 | 18987 14513 86 | 1.236 % | 71.06/71.12 c | 87391 | 22122 14987 69178 | 20886 9173 49 | 1.316 % | 73.36/73.48 c =============================================================================== 74.67/74.75 c core #506 74.67/74.75 c Core size: 2922 Core Weight: 1 Total Weight: 4373 74.67/74.75 c Elapsed CPU time: 73.8828 s Remaining CPU time: 1726.12 s 74.76/74.89 c Learning 10 hard constraints 74.76/74.89 c ============================[ Search Statistics ]============================== 74.76/74.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.76/74.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.76/74.89 c =============================================================================== 74.76/74.89 c | 0 | 24520 15382 74537 | 5127 0 nan | 0.000 % | 74.86/74.96 c | 100 | 24520 15382 74537 | 5640 100 20 | 0.580 % | 74.96/75.04 c | 251 | 24519 15382 74537 | 6204 250 20 | 0.584 % | 75.06/75.12 c | 478 | 24519 15382 74537 | 6824 477 17 | 0.584 % | 75.26/75.31 c | 816 | 24516 15382 74537 | 7506 814 16 | 0.596 % | 75.36/75.48 c | 1322 | 24516 15382 74537 | 8257 1317 17 | 0.596 % | 75.66/75.78 c | 2081 | 24516 15382 74537 | 9083 2076 18 | 0.596 % | 76.07/76.15 c | 3220 | 24514 15382 74537 | 9991 3214 18 | 0.604 % | 76.76/76.82 c | 4929 | 24513 15382 74537 | 10990 4919 19 | 0.608 % | 77.76/77.85 c | 7491 | 24513 15382 74537 | 12089 7481 28 | 0.608 % | 79.26/79.36 c | 11335 | 24513 15382 74537 | 13298 11325 27 | 0.608 % | 81.76/81.84 c | 17102 | 24509 15382 74537 | 14628 10270 25 | 0.624 % | 85.56/85.67 c | 25757 | 24500 15382 74537 | 16091 11441 32 | 0.661 % | 91.55/91.67 c | 38731 | 24500 15382 74537 | 17700 16115 34 | 0.661 % | 97.35/97.48 c =============================================================================== 97.96/98.01 c core #507 97.96/98.01 c Core size: 3103 Core Weight: 1 Total Weight: 4374 97.96/98.01 c Elapsed CPU time: 96.9633 s Remaining CPU time: 1703.04 s 98.06/98.11 c Learning 9 hard constraints 98.06/98.11 c ============================[ Search Statistics ]============================== 98.06/98.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.06/98.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.06/98.11 c =============================================================================== 98.06/98.11 c | 0 | 26943 15764 80304 | 5254 0 nan | 0.000 % | 98.06/98.18 c | 102 | 26943 15764 80304 | 5780 102 60 | 0.513 % | 98.16/98.27 c | 252 | 26943 15764 80304 | 6358 252 34 | 0.513 % | 98.35/98.42 c | 477 | 26943 15764 80304 | 6993 477 25 | 0.513 % | 98.75/98.90 c | 814 | 26943 15764 80304 | 7693 814 40 | 0.513 % | 99.35/99.42 c | 1320 | 26937 15764 80304 | 8462 1141 40 | 0.535 % | 99.85/99.99 c | 2079 | 26933 15764 80304 | 9308 1140 25 | 0.550 % | 100.36/100.40 c | 3218 | 26931 15764 80304 | 10239 2276 47 | 0.558 % | 101.35/101.44 c | 4928 | 26931 15764 80304 | 11263 3986 56 | 0.558 % | 103.75/103.85 c | 7490 | 26931 15764 80304 | 12390 6548 66 | 0.558 % | 107.25/107.31 c | 11334 | 26931 15764 80304 | 13629 10392 73 | 0.558 % | 111.35/111.44 c | 17101 | 26930 15764 80304 | 14992 8680 57 | 0.561 % | 117.44/117.50 c | 25751 | 26930 15764 80304 | 16491 9659 32 | 0.561 % | 126.14/126.25 c | 38725 | 26926 15764 80304 | 18140 14136 40 | 0.576 % | 142.24/142.33 c | 58187 | 26926 15764 80304 | 19954 14990 62 | 0.576 % | 173.03/173.17 c | 87379 | 26925 15764 80304 | 21950 12769 95 | 0.580 % | 218.02/218.18 c | 131168 | 26924 15764 80304 | 24145 23112 76 | 0.583 % | 284.71/284.87 c | 196853 | 26923 15764 80304 | 26559 13253 57 | 0.587 % | 392.86/393.00 c | 295381 | 26918 15764 80304 | 29215 24668 100 | 0.606 % | 595.01/595.27 c | 443172 | 26916 15764 80304 | 32137 28933 93 | 0.613 % | 852.24/852.59 c | 664856 | 26909 15764 80304 | 35350 19370 85 | 0.639 % | 881.72/882.05 c =============================================================================== 882.52/882.88 c core #508 882.52/882.88 c Core size: 2138 Core Weight: 1 Total Weight: 4375 882.52/882.88 c Elapsed CPU time: 878.707 s Remaining CPU time: 921.293 s 883.32/883.61 c Learning 10 hard constraints 883.32/883.61 c ============================[ Search Statistics ]============================== 883.32/883.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 883.32/883.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 883.32/883.61 c =============================================================================== 883.32/883.61 c | 0 | 28590 16039 84331 | 5346 0 nan | 0.000 % | 883.53/883.80 c | 100 | 28590 16039 84331 | 5880 100 22 | 0.470 % | 883.53/883.88 c | 250 | 28590 16039 84331 | 6469 250 18 | 0.470 % | 883.63/883.98 c | 477 | 28590 16039 84331 | 7115 477 34 | 0.470 % | 883.83/884.15 c | 816 | 28590 16039 84331 | 7827 816 31 | 0.470 % | 884.13/884.45 c | 1324 | 28590 16039 84331 | 8610 1324 26 | 0.470 % | 884.52/884.84 c | 2084 | 28590 16039 84331 | 9471 2084 26 | 0.470 % | 885.23/885.52 c | 3223 | 28590 16039 84331 | 10418 3223 25 | 0.470 % | 885.82/886.14 c | 4932 | 28590 16039 84331 | 11460 4932 30 | 0.470 % | 887.03/887.30 c | 7499 | 28588 16039 84331 | 12606 7497 26 | 0.477 % | 888.43/888.77 c | 11347 | 28586 16039 84331 | 13867 11333 29 | 0.484 % | 892.12/892.40 c | 17113 | 28586 16039 84331 | 15253 9940 32 | 0.484 % | 898.12/898.43 c | 25763 | 28585 16039 84331 | 16779 10698 32 | 0.487 % | 906.92/907.20 c | 38738 | 28579 16039 84331 | 18456 15101 28 | 0.508 % | 922.52/922.80 c | 58202 | 28579 16039 84331 | 20302 15638 43 | 0.508 % | 943.81/944.13 c | 87396 | 28577 16039 84331 | 22332 13609 46 | 0.515 % | 981.90/982.27 c | 131185 | 28577 16039 84331 | 24566 11747 46 | 0.515 % | 1046.97/1047.39 c | 196872 | 28577 16039 84331 | 27022 24399 67 | 0.515 % | 1112.15/1112.58 c | 295398 | 28575 16039 84331 | 29725 16393 47 | 0.522 % | 1244.62/1245.03 c | 443187 | 28574 16039 84331 | 32697 21537 39 | 0.526 % | 1367.89/1368.35 c =============================================================================== 1369.39/1369.84 c core #509 1369.39/1369.84 c Core size: 2601 Core Weight: 1 Total Weight: 4376 1369.39/1369.84 c Elapsed CPU time: 1363.68 s Remaining CPU time: 436.316 s 1370.09/1370.56 c Learning 7 hard constraints 1370.09/1370.56 c ============================[ Search Statistics ]============================== 1370.09/1370.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1370.09/1370.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1370.09/1370.56 c =============================================================================== 1370.09/1370.56 c | 0 | 30552 16442 89171 | 5480 0 nan | 0.000 % | 1370.29/1370.73 c | 101 | 30552 16442 89171 | 6028 101 29 | 0.430 % | 1370.39/1370.81 c | 251 | 30552 16442 89171 | 6631 251 19 | 0.430 % | 1370.59/1371.01 c | 476 | 30552 16442 89171 | 7294 476 34 | 0.430 % | 1370.78/1371.27 c | 816 | 30550 16442 89171 | 8024 815 26 | 0.437 % | 1370.98/1371.45 c | 1322 | 30548 16442 89171 | 8826 1316 34 | 0.446 % | 1371.38/1371.88 c | 2083 | 30545 16442 89171 | 9709 2076 34 | 0.453 % | 1372.09/1372.59 c | 3222 | 30545 16442 89171 | 10680 3205 30 | 0.453 % | 1373.08/1373.52 c | 4930 | 30540 16442 89171 | 11748 4618 29 | 0.469 % | 1374.28/1374.75 c | 7494 | 30539 16442 89171 | 12923 7169 26 | 0.473 % | 1376.18/1376.66 c | 11340 | 30538 16442 89171 | 14215 11013 26 | 0.476 % | 1379.48/1379.94 c | 17106 | 30535 16442 89171 | 15636 8929 34 | 0.486 % | 1384.58/1385.07 c | 25757 | 30535 16442 89171 | 17200 9492 34 | 0.486 % | 1393.28/1393.73 c | 38732 | 30533 16442 89171 | 18920 13415 36 | 0.492 % | 1409.37/1409.81 c | 58193 | 30530 16442 89171 | 20812 12821 55 | 0.502 % | 1434.06/1434.55 c | 87387 | 30516 16442 89171 | 22894 20909 56 | 0.564 % | 1488.95/1489.47 c | 131176 | 30510 16442 89171 | 25183 17559 89 | 0.567 % | 1567.72/1568.21 c | 196866 | 30510 16442 89171 | 27701 18368 81 | 0.567 % | 1681.39/1681.97 c | 295393 | 30510 16442 89171 | 30472 14084 89 | 0.567 % |
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-1876140-1245147377/watcher-1876140-1245147377 -o /tmp/evaluation-result-1876140-1245147377/solver-1876140-1245147377 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876140-1245147377.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 0.99 0.98 3/64 3670 /proc/meminfo: memFree=1866808/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=2608 CPUtime=0 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 209 0 0 0 0 0 0 0 18 0 1 0 182337034 2670592 193 1992294400 134512640 135709839 4294956240 18446744073709551615 135187204 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 652 193 128 292 0 339 0 [startup+0.0777011 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3670 /proc/meminfo: memFree=1866808/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=2928 CPUtime=0.07 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 342 0 0 0 7 0 0 0 18 0 1 0 182337034 2998272 308 1992294400 134512640 135709839 4294956240 18446744073709551615 135166338 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 732 308 133 292 0 437 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2928 [startup+0.101703 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3670 /proc/meminfo: memFree=1866808/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=3104 CPUtime=0.1 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 357 0 0 0 10 0 0 0 18 0 1 0 182337034 3178496 323 1992294400 134512640 135709839 4294956240 18446744073709551615 134530416 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 776 323 133 292 0 481 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3104 [startup+0.301726 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3670 /proc/meminfo: memFree=1866808/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=3412 CPUtime=0.3 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 454 0 0 0 30 0 0 0 19 0 1 0 182337034 3493888 419 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 853 419 133 292 0 558 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3412 [startup+0.70177 s] /proc/loadavg: 1.00 0.99 0.98 3/64 3670 /proc/meminfo: memFree=1866808/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=4480 CPUtime=0.69 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 751 0 0 0 69 0 0 0 22 0 1 0 182337034 4587520 679 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 1120 679 134 292 0 825 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4480 [startup+1.50186 s] /proc/loadavg: 1.00 0.99 0.98 2/65 3671 /proc/meminfo: memFree=1862832/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=10436 CPUtime=1.49 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 2596 0 0 0 147 2 0 0 25 0 1 0 182337034 10686464 2137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 2609 2137 135 292 0 2314 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10436 [startup+3.10203 s] /proc/loadavg: 1.08 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1853360/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=23172 CPUtime=3.09 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 6467 0 0 0 297 12 0 0 25 0 1 0 182337034 23728128 5325 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 5793 5327 135 292 0 5498 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23172 [startup+6.30139 s] /proc/loadavg: 1.08 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1831472/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=39504 CPUtime=6.29 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 12125 0 0 0 589 40 0 0 25 0 1 0 182337034 40452096 9378 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 9876 9378 136 292 0 9581 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39504 [startup+12.7011 s] /proc/loadavg: 1.07 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1826160/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=42872 CPUtime=12.69 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 13111 0 0 0 1220 49 0 0 25 0 1 0 182337034 43900928 10157 1992294400 134512640 135709839 4294956240 18446744073709551615 135165975 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 10718 10157 136 292 0 10423 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42872 [startup+25.5015 s] /proc/loadavg: 1.06 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1818800/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=50016 CPUtime=25.48 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 15214 0 0 0 2490 58 0 0 25 0 1 0 182337034 51216384 12014 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 12504 12014 136 292 0 12209 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50016 [startup+51.1013 s] /proc/loadavg: 1.04 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1798960/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=69976 CPUtime=51.07 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 20222 0 0 0 5035 72 0 0 25 0 1 0 182337034 71655424 17022 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 17494 17022 136 292 0 17199 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69976 [startup+102.306 s] /proc/loadavg: 1.01 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1775664/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=92480 CPUtime=102.26 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 26159 0 0 0 10122 104 0 0 25 0 1 0 182337034 94699520 22682 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 23120 22682 136 292 0 22825 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92480 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1757744/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=110980 CPUtime=162.23 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 30786 0 0 0 16095 128 0 0 25 0 1 0 182337034 113643520 27309 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 27745 27309 136 292 0 27450 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 110980 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1722672/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=145520 CPUtime=222.21 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 39413 0 0 0 22071 150 0 0 25 0 1 0 182337034 149012480 35936 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 36380 35936 136 292 0 36085 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 145520 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1692272/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=176188 CPUtime=282.2 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 47076 0 0 0 28046 174 0 0 25 0 1 0 182337034 180416512 43599 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 44047 43599 136 292 0 43752 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 176188 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1661744/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=206376 CPUtime=342.19 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 54621 0 0 0 34022 197 0 0 25 0 1 0 182337034 211329024 51144 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 51594 51144 136 292 0 51299 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 206376 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1629296/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=239020 CPUtime=402.17 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 62746 0 0 0 40000 217 0 0 25 0 1 0 182337034 244756480 59269 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 59755 59269 136 292 0 59460 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 239020 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1598960/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=269116 CPUtime=462.14 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 70271 0 0 0 45980 234 0 0 25 0 1 0 182337034 275574784 66794 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 67279 66794 136 292 0 66984 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 269116 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1574064/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=294484 CPUtime=522.14 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 76607 0 0 0 51965 249 0 0 25 0 1 0 182337034 301551616 73130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 73621 73130 136 292 0 73326 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 294484 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1540144/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=327784 CPUtime=582.11 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 84923 0 0 0 57940 271 0 0 25 0 1 0 182337034 335650816 81446 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 81946 81446 136 292 0 81651 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 327784 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1510768/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=356864 CPUtime=642.1 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 92184 0 0 0 63914 296 0 0 25 0 1 0 182337034 365428736 88707 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 89216 88707 136 292 0 88921 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 356864 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1378608/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=489644 CPUtime=882.02 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 125354 0 0 0 87812 390 0 0 25 0 1 0 182337034 501395456 121877 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 122411 121877 136 292 0 122116 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 489644 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1373296/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=494328 CPUtime=942 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 126506 0 0 0 93783 417 0 0 25 0 1 0 182337034 506191872 123029 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 123582 123029 136 292 0 123287 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 494328 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1373232/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=494332 CPUtime=1001.99 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 126507 0 0 0 99764 435 0 0 25 0 1 0 182337034 506195968 123030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 123583 123030 136 292 0 123288 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 494332 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1373168/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=494332 CPUtime=1061.97 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 126514 0 0 0 105742 455 0 0 25 0 1 0 182337034 506195968 123037 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 123583 123037 136 292 0 123288 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 494332 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1373104/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=494332 CPUtime=1121.95 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 126515 0 0 0 111719 476 0 0 25 0 1 0 182337034 506195968 123038 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 123583 123038 136 292 0 123288 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 494332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1373104/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=494332 CPUtime=1181.94 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 126516 0 0 0 117703 491 0 0 25 0 1 0 182337034 506195968 123039 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 123583 123039 136 292 0 123288 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 494332 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1357872/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=509520 CPUtime=1241.92 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 130372 0 0 0 123679 513 0 0 25 0 1 0 182337034 521748480 126895 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 127380 126895 136 292 0 127085 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 509520 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1328496/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=538496 CPUtime=1301.9 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 137618 0 0 0 129652 538 0 0 25 0 1 0 182337034 551419904 134141 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 134624 134141 136 292 0 134329 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 538496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1291952/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=575456 CPUtime=1361.89 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 146861 0 0 0 135618 571 0 0 25 0 1 0 182337034 589266944 143384 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 143864 143384 136 292 0 143569 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 575456 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1280752/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=586052 CPUtime=1421.87 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 149680 0 0 0 141593 594 0 0 25 0 1 0 182337034 600117248 146034 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 146513 146034 136 292 0 146218 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 586052 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1280688/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=586052 CPUtime=1481.84 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 149684 0 0 0 147575 609 0 0 25 0 1 0 182337034 600117248 146038 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 146513 146038 136 292 0 146218 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 586052 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1280496/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=586052 CPUtime=1541.83 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 149711 0 0 0 153559 624 0 0 25 0 1 0 182337034 600117248 146065 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 146513 146065 136 292 0 146218 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 586052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1264944/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=601956 CPUtime=1601.81 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 153672 0 0 0 159534 647 0 0 25 0 1 0 182337034 616402944 150026 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 150489 150026 136 292 0 150194 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 601956 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1242096/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=624552 CPUtime=1661.8 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 159303 0 0 0 165511 669 0 0 25 0 1 0 182337034 639541248 155657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 156138 155657 136 292 0 155843 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 624552 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1222576/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=644148 CPUtime=1721.78 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 164188 0 0 0 171490 688 0 0 25 0 1 0 182337034 659607552 160542 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 161037 160542 136 292 0 160742 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 644148 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1200752/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=665968 CPUtime=1781.76 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 169639 0 0 0 177468 708 0 0 25 0 1 0 182337034 681951232 165993 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 166492 165993 136 292 0 166197 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 665968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/65 3671 /proc/meminfo: memFree=1191408/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=675088 CPUtime=1800.06 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4194304 171916 0 0 0 179291 715 0 0 25 0 1 0 182337034 691290112 168270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 168772 168270 136 292 0 168477 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 675088 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 0.98 2/65 3671 /proc/meminfo: memFree=1191408/2055920 swapFree=4192812/4192956 [pid=3670] ppid=3668 vsize=0 CPUtime=1800.16 /proc/3670/stat : 3670 (wbo) R 3668 3670 3484 0 -1 4195332 171916 0 0 0 179291 725 0 0 25 0 1 0 182337034 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/3670/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.18 CPU user time (s): 1792.91 CPU system time (s): 7.2679 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 675088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.91 system time used= 7.2679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171916 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= 12 involuntary context switches= 3307 runsolver used 1.73574 second user time and 3.2885 second system time The end
Begin job on node35 at 2009-06-16 12:16:17 IDJOB=1876140 IDBENCH=2017 IDSOLVER=698 FILE ID=node35/1876140-1245147377 PBS_JOBID= 9363731 Free space on /tmp= 66136 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.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-1876140-1245147377/watcher-1876140-1245147377 -o /tmp/evaluation-result-1876140-1245147377/solver-1876140-1245147377 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876140-1245147377.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f RANDOM SEED=1989749130 node35.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.232 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.232 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: 1867224 kB Buffers: 32176 kB Cached: 82332 kB SwapCached: 140 kB Active: 47612 kB Inactive: 80956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1867224 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2548 kB Writeback: 0 kB Mapped: 23744 kB Slab: 46124 kB Committed_AS: 166684 kB PageTables: 1400 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-1876140-1245147377.opb Free space on /tmp at the end= 66132 MiB End job on node35 at 2009-06-16 12:46:20