| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 628.104 | 628.401 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_2.opb |
| MD5SUM | 9073bcbe60c862f7d64be630b0fdd227 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -67 |
| Best CPU time to get the best result obtained on this benchmark | 1800.71 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -71 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75286 |
| Sum of products size (including duplicates) | 150572 |
| Number of different products | 37643 |
| Sum of products size | 75286 |
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-1875332-1245199152.opb. 0.00/0.00 c Instance file HOME/instance-1875332-1245199152.opb 0.00/0.00 c File size is 3308955 bytes. 0.49/0.54 c Highest Coefficient sum: 109 0.49/0.54 c ============================[ Problem Statistics ]============================= 0.49/0.54 c | | 0.49/0.54 c | Parsing time: 0.52 s | 0.49/0.54 c | Number Variables: 38643 | 0.49/0.54 c | Number Clauses: 38643 | 0.49/0.54 c | Number Cardinality: 2000 | 0.49/0.54 c | Number PB Constraints: 37643 | 0.49/0.54 c core #1 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: -999 0.49/0.54 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.59/0.66 c core #2 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -998 0.59/0.66 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.69/0.79 c core #3 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -997 0.69/0.79 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.89/0.92 c core #4 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -996 0.89/0.92 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 1.00/1.05 c core #5 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -995 1.00/1.05 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 1.09/1.19 c core #6 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: -994 1.09/1.19 c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s 1.29/1.33 c core #7 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: -993 1.29/1.33 c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s 1.39/1.48 c core #8 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -992 1.39/1.48 c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s 1.59/1.62 c core #9 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -991 1.59/1.62 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.69/1.77 c core #10 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: -990 1.69/1.77 c Elapsed CPU time: 1.71174 s Remaining CPU time: 1798.29 s 1.89/1.92 c core #11 1.89/1.92 c Core size: 4 Core Weight: 1 Total Weight: -989 1.89/1.92 c Elapsed CPU time: 1.85572 s Remaining CPU time: 1798.14 s 1.99/2.07 c core #12 1.99/2.07 c Core size: 4 Core Weight: 1 Total Weight: -988 1.99/2.07 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 2.19/2.23 c core #13 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: -987 2.19/2.23 c Elapsed CPU time: 2.15267 s Remaining CPU time: 1797.85 s 2.29/2.38 c core #14 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: -986 2.29/2.38 c Elapsed CPU time: 2.29965 s Remaining CPU time: 1797.7 s 2.49/2.53 c core #15 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -985 2.49/2.53 c Elapsed CPU time: 2.44563 s Remaining CPU time: 1797.55 s 2.59/2.68 c core #16 2.59/2.68 c Core size: 4 Core Weight: 1 Total Weight: -984 2.59/2.68 c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s 2.79/2.84 c core #17 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: -983 2.79/2.84 c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s 2.89/2.99 c core #18 2.89/2.99 c Core size: 4 Core Weight: 1 Total Weight: -982 2.89/2.99 c Elapsed CPU time: 2.88756 s Remaining CPU time: 1797.11 s 3.09/3.14 c core #19 3.09/3.14 c Core size: 4 Core Weight: 1 Total Weight: -981 3.09/3.14 c Elapsed CPU time: 3.03354 s Remaining CPU time: 1796.97 s 3.19/3.30 c core #20 3.19/3.30 c Core size: 4 Core Weight: 1 Total Weight: -980 3.19/3.30 c Elapsed CPU time: 3.18152 s Remaining CPU time: 1796.82 s 3.39/3.45 c core #21 3.39/3.45 c Core size: 4 Core Weight: 1 Total Weight: -979 3.39/3.45 c Elapsed CPU time: 3.33049 s Remaining CPU time: 1796.67 s 3.59/3.60 c core #22 3.59/3.60 c Core size: 4 Core Weight: 1 Total Weight: -978 3.59/3.60 c Elapsed CPU time: 3.47747 s Remaining CPU time: 1796.52 s 3.69/3.75 c core #23 3.69/3.75 c Core size: 4 Core Weight: 1 Total Weight: -977 3.69/3.75 c Elapsed CPU time: 3.62745 s Remaining CPU time: 1796.37 s 3.89/3.91 c core #24 3.89/3.91 c Core size: 4 Core Weight: 1 Total Weight: -976 3.89/3.91 c Elapsed CPU time: 3.77743 s Remaining CPU time: 1796.22 s 3.99/4.06 c core #25 3.99/4.06 c Core size: 4 Core Weight: 1 Total Weight: -975 3.99/4.06 c Elapsed CPU time: 3.9264 s Remaining CPU time: 1796.07 s 4.19/4.21 c core #26 4.19/4.21 c Core size: 4 Core Weight: 1 Total Weight: -974 4.19/4.21 c Elapsed CPU time: 4.06738 s Remaining CPU time: 1795.93 s 4.29/4.36 c core #27 4.29/4.36 c Core size: 4 Core Weight: 1 Total Weight: -973 4.29/4.36 c Elapsed CPU time: 4.21636 s Remaining CPU time: 1795.78 s 4.49/4.51 c core #28 4.49/4.51 c Core size: 4 Core Weight: 1 Total Weight: -972 4.49/4.51 c Elapsed CPU time: 4.35934 s Remaining CPU time: 1795.64 s 4.59/4.67 c core #29 4.59/4.67 c Core size: 4 Core Weight: 1 Total Weight: -971 4.59/4.67 c Elapsed CPU time: 4.51031 s Remaining CPU time: 1795.49 s 4.79/4.82 c core #30 4.79/4.82 c Core size: 4 Core Weight: 1 Total Weight: -970 4.79/4.82 c Elapsed CPU time: 4.65429 s Remaining CPU time: 1795.35 s 4.88/4.97 c core #31 4.88/4.97 c Core size: 4 Core Weight: 1 Total Weight: -969 4.88/4.97 c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s 5.09/5.12 c core #32 5.09/5.12 c Core size: 4 Core Weight: 1 Total Weight: -968 5.09/5.12 c Elapsed CPU time: 4.94425 s Remaining CPU time: 1795.06 s 5.19/5.27 c core #33 5.19/5.27 c Core size: 4 Core Weight: 1 Total Weight: -967 5.19/5.27 c Elapsed CPU time: 5.09123 s Remaining CPU time: 1794.91 s 5.39/5.42 c core #34 5.39/5.42 c Core size: 4 Core Weight: 1 Total Weight: -966 5.39/5.42 c Elapsed CPU time: 5.2352 s Remaining CPU time: 1794.76 s 5.49/5.57 c core #35 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: -965 5.49/5.57 c Elapsed CPU time: 5.38118 s Remaining CPU time: 1794.62 s 5.69/5.72 c core #36 5.69/5.72 c Core size: 4 Core Weight: 1 Total Weight: -964 5.69/5.72 c Elapsed CPU time: 5.52616 s Remaining CPU time: 1794.47 s 5.79/5.88 c core #37 5.79/5.88 c Core size: 4 Core Weight: 1 Total Weight: -963 5.79/5.88 c Elapsed CPU time: 5.67614 s Remaining CPU time: 1794.32 s 5.99/6.03 c core #38 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: -962 5.99/6.03 c Elapsed CPU time: 5.82611 s Remaining CPU time: 1794.17 s 6.09/6.18 c core #39 6.09/6.18 c Core size: 4 Core Weight: 1 Total Weight: -961 6.09/6.18 c Elapsed CPU time: 5.97009 s Remaining CPU time: 1794.03 s 6.29/6.33 c core #40 6.29/6.33 c Core size: 4 Core Weight: 1 Total Weight: -960 6.29/6.33 c Elapsed CPU time: 6.11207 s Remaining CPU time: 1793.89 s 6.39/6.48 c core #41 6.39/6.48 c Core size: 4 Core Weight: 1 Total Weight: -959 6.39/6.48 c Elapsed CPU time: 6.25705 s Remaining CPU time: 1793.74 s 6.59/6.63 c core #42 6.59/6.63 c Core size: 4 Core Weight: 1 Total Weight: -958 6.59/6.63 c Elapsed CPU time: 6.40303 s Remaining CPU time: 1793.6 s 6.69/6.78 c core #43 6.69/6.78 c Core size: 4 Core Weight: 1 Total Weight: -957 6.69/6.78 c Elapsed CPU time: 6.551 s Remaining CPU time: 1793.45 s 6.89/6.93 c core #44 6.89/6.93 c Core size: 4 Core Weight: 1 Total Weight: -956 6.89/6.93 c Elapsed CPU time: 6.69598 s Remaining CPU time: 1793.3 s 6.99/7.08 c core #45 6.99/7.08 c Core size: 4 Core Weight: 1 Total Weight: -955 6.99/7.08 c Elapsed CPU time: 6.84396 s Remaining CPU time: 1793.16 s 7.19/7.23 c core #46 7.19/7.23 c Core size: 4 Core Weight: 1 Total Weight: -954 7.19/7.23 c Elapsed CPU time: 6.98994 s Remaining CPU time: 1793.01 s 7.29/7.38 c core #47 7.29/7.38 c Core size: 4 Core Weight: 1 Total Weight: -953 7.29/7.38 c Elapsed CPU time: 7.13791 s Remaining CPU time: 1792.86 s 7.49/7.53 c core #48 7.49/7.53 c Core size: 4 Core Weight: 1 Total Weight: -952 7.49/7.53 c Elapsed CPU time: 7.28089 s Remaining CPU time: 1792.72 s 7.59/7.68 c core #49 7.59/7.68 c Core size: 4 Core Weight: 1 Total Weight: -951 7.59/7.68 c Elapsed CPU time: 7.42187 s Remaining CPU time: 1792.58 s 7.79/7.83 c core #50 7.79/7.83 c Core size: 4 Core Weight: 1 Total Weight: -950 7.79/7.83 c Elapsed CPU time: 7.56885 s Remaining CPU time: 1792.43 s 7.89/7.98 c core #51 7.89/7.98 c Core size: 4 Core Weight: 1 Total Weight: -949 7.89/7.98 c Elapsed CPU time: 7.71683 s Remaining CPU time: 1792.28 s 8.09/8.13 c core #52 8.09/8.13 c Core size: 4 Core Weight: 1 Total Weight: -948 8.09/8.13 c Elapsed CPU time: 7.8608 s Remaining CPU time: 1792.14 s 8.19/8.28 c core #53 8.19/8.28 c Core size: 4 Core Weight: 1 Total Weight: -947 8.19/8.28 c Elapsed CPU time: 8.00778 s Remaining CPU time: 1791.99 s 8.39/8.43 c core #54 8.39/8.43 c Core size: 4 Core Weight: 1 Total Weight: -946 8.39/8.43 c Elapsed CPU time: 8.15176 s Remaining CPU time: 1791.85 s 8.49/8.59 c core #55 8.49/8.59 c Core size: 4 Core Weight: 1 Total Weight: -945 8.49/8.59 c Elapsed CPU time: 8.30174 s Remaining CPU time: 1791.7 s 8.70/8.73 c core #56 8.70/8.73 c Core size: 4 Core Weight: 1 Total Weight: -944 8.70/8.73 c Elapsed CPU time: 8.44472 s Remaining CPU time: 1791.56 s 8.79/8.88 c core #57 8.79/8.88 c Core size: 4 Core Weight: 1 Total Weight: -943 8.79/8.88 c Elapsed CPU time: 8.58969 s Remaining CPU time: 1791.41 s 8.99/9.03 c core #58 8.99/9.03 c Core size: 4 Core Weight: 1 Total Weight: -942 8.99/9.03 c Elapsed CPU time: 8.72867 s Remaining CPU time: 1791.27 s 9.09/9.18 c core #59 9.09/9.18 c Core size: 4 Core Weight: 1 Total Weight: -941 9.09/9.18 c Elapsed CPU time: 8.87365 s Remaining CPU time: 1791.13 s 9.28/9.33 c core #60 9.28/9.33 c Core size: 4 Core Weight: 1 Total Weight: -940 9.28/9.33 c Elapsed CPU time: 9.01263 s Remaining CPU time: 1790.99 s 9.39/9.48 c core #61 9.39/9.48 c Core size: 4 Core Weight: 1 Total Weight: -939 9.39/9.48 c Elapsed CPU time: 9.15761 s Remaining CPU time: 1790.84 s 9.59/9.63 c core #62 9.59/9.63 c Core size: 4 Core Weight: 1 Total Weight: -938 9.59/9.63 c Elapsed CPU time: 9.30158 s Remaining CPU time: 1790.7 s 9.69/9.78 c core #63 9.69/9.78 c Core size: 4 Core Weight: 1 Total Weight: -937 9.69/9.78 c Elapsed CPU time: 9.44556 s Remaining CPU time: 1790.55 s 9.89/9.93 c core #64 9.89/9.93 c Core size: 4 Core Weight: 1 Total Weight: -936 9.89/9.93 c Elapsed CPU time: 9.58754 s Remaining CPU time: 1790.41 s 9.99/10.08 c core #65 9.99/10.08 c Core size: 4 Core Weight: 1 Total Weight: -935 9.99/10.08 c Elapsed CPU time: 9.73052 s Remaining CPU time: 1790.27 s 10.19/10.23 c core #66 10.19/10.23 c Core size: 4 Core Weight: 1 Total Weight: -934 10.19/10.23 c Elapsed CPU time: 9.8755 s Remaining CPU time: 1790.12 s 10.28/10.38 c core #67 10.28/10.38 c Core size: 4 Core Weight: 1 Total Weight: -933 10.28/10.38 c Elapsed CPU time: 10.0225 s Remaining CPU time: 1789.98 s 10.49/10.53 c core #68 10.49/10.53 c Core size: 4 Core Weight: 1 Total Weight: -932 10.49/10.53 c Elapsed CPU time: 10.1705 s Remaining CPU time: 1789.83 s 10.59/10.69 c core #69 10.59/10.69 c Core size: 4 Core Weight: 1 Total Weight: -931 10.59/10.69 c Elapsed CPU time: 10.3174 s Remaining CPU time: 1789.68 s 10.79/10.84 c core #70 10.79/10.84 c Core size: 4 Core Weight: 1 Total Weight: -930 10.79/10.84 c Elapsed CPU time: 10.4654 s Remaining CPU time: 1789.53 s 10.89/10.99 c core #71 10.89/10.99 c Core size: 4 Core Weight: 1 Total Weight: -929 10.89/10.99 c Elapsed CPU time: 10.6104 s Remaining CPU time: 1789.39 s 11.09/11.14 c core #72 11.09/11.14 c Core size: 4 Core Weight: 1 Total Weight: -928 11.09/11.14 c Elapsed CPU time: 10.7564 s Remaining CPU time: 1789.24 s 11.19/11.29 c core #73 11.19/11.29 c Core size: 4 Core Weight: 1 Total Weight: -927 11.19/11.29 c Elapsed CPU time: 10.8983 s Remaining CPU time: 1789.1 s 11.39/11.43 c core #74 11.39/11.43 c Core size: 4 Core Weight: 1 Total Weight: -926 11.39/11.43 c Elapsed CPU time: 11.0423 s Remaining CPU time: 1788.96 s 11.49/11.59 c core #75 11.49/11.59 c Core size: 4 Core Weight: 1 Total Weight: -925 11.49/11.59 c Elapsed CPU time: 11.1923 s Remaining CPU time: 1788.81 s 11.69/11.74 c core #76 11.69/11.74 c Core size: 4 Core Weight: 1 Total Weight: -924 11.69/11.74 c Elapsed CPU time: 11.3383 s Remaining CPU time: 1788.66 s 11.79/11.89 c core #77 11.79/11.89 c Core size: 4 Core Weight: 1 Total Weight: -923 11.79/11.89 c Elapsed CPU time: 11.4823 s Remaining CPU time: 1788.52 s 12.00/12.04 c core #78 12.00/12.04 c Core size: 4 Core Weight: 1 Total Weight: -922 12.00/12.04 c Elapsed CPU time: 11.6262 s Remaining CPU time: 1788.37 s 12.09/12.19 c core #79 12.09/12.19 c Core size: 4 Core Weight: 1 Total Weight: -921 12.09/12.19 c Elapsed CPU time: 11.7732 s Remaining CPU time: 1788.23 s 12.29/12.34 c core #80 12.29/12.34 c Core size: 4 Core Weight: 1 Total Weight: -920 12.29/12.34 c Elapsed CPU time: 11.9192 s Remaining CPU time: 1788.08 s 12.39/12.49 c core #81 12.39/12.49 c Core size: 4 Core Weight: 1 Total Weight: -919 12.39/12.49 c Elapsed CPU time: 12.0682 s Remaining CPU time: 1787.93 s 12.59/12.64 c core #82 12.59/12.64 c Core size: 4 Core Weight: 1 Total Weight: -918 12.59/12.64 c Elapsed CPU time: 12.2111 s Remaining CPU time: 1787.79 s 12.69/12.79 c core #83 12.69/12.79 c Core size: 4 Core Weight: 1 Total Weight: -917 12.69/12.79 c Elapsed CPU time: 12.3531 s Remaining CPU time: 1787.65 s 12.88/12.94 c core #84 12.88/12.94 c Core size: 4 Core Weight: 1 Total Weight: -916 12.88/12.94 c Elapsed CPU time: 12.4991 s Remaining CPU time: 1787.5 s 12.99/13.09 c core #85 12.99/13.09 c Core size: 4 Core Weight: 1 Total Weight: -915 12.99/13.09 c Elapsed CPU time: 12.6491 s Remaining CPU time: 1787.35 s 13.19/13.24 c core #86 13.19/13.24 c Core size: 4 Core Weight: 1 Total Weight: -914 13.19/13.24 c Elapsed CPU time: 12.7961 s Remaining CPU time: 1787.2 s 13.29/13.40 c core #87 13.29/13.40 c Core size: 4 Core Weight: 1 Total Weight: -913 13.29/13.40 c Elapsed CPU time: 12.944 s Remaining CPU time: 1787.06 s 13.49/13.55 c core #88 13.49/13.55 c Core size: 4 Core Weight: 1 Total Weight: -912 13.49/13.55 c Elapsed CPU time: 13.089 s Remaining CPU time: 1786.91 s 13.69/13.70 c core #89 13.69/13.70 c Core size: 4 Core Weight: 1 Total Weight: -911 13.69/13.70 c Elapsed CPU time: 13.237 s Remaining CPU time: 1786.76 s 13.78/13.85 c core #90 13.78/13.85 c Core size: 4 Core Weight: 1 Total Weight: -910 13.78/13.85 c Elapsed CPU time: 13.377 s Remaining CPU time: 1786.62 s 13.98/14.00 c core #91 13.98/14.00 c Core size: 4 Core Weight: 1 Total Weight: -909 13.98/14.00 c Elapsed CPU time: 13.5229 s Remaining CPU time: 1786.48 s 14.09/14.15 c core #92 14.09/14.15 c Core size: 4 Core Weight: 1 Total Weight: -908 14.09/14.15 c Elapsed CPU time: 13.6649 s Remaining CPU time: 1786.34 s 14.19/14.30 c core #93 14.19/14.30 c Core size: 4 Core Weight: 1 Total Weight: -907 14.19/14.30 c Elapsed CPU time: 13.8069 s Remaining CPU time: 1786.19 s 14.39/14.45 c core #94 14.39/14.45 c Core size: 4 Core Weight: 1 Total Weight: -906 14.39/14.45 c Elapsed CPU time: 13.9519 s Remaining CPU time: 1786.05 s 14.59/14.60 c core #95 14.59/14.60 c Core size: 4 Core Weight: 1 Total Weight: -905 14.59/14.60 c Elapsed CPU time: 14.0939 s Remaining CPU time: 1785.91 s 14.68/14.75 c core #96 14.68/14.75 c Core size: 4 Core Weight: 1 Total Weight: -904 14.68/14.75 c Elapsed CPU time: 14.2378 s Remaining CPU time: 1785.76 s 14.88/14.90 c core #97 14.88/14.90 c Core size: 4 Core Weight: 1 Total Weight: -903 14.88/14.90 c Elapsed CPU time: 14.3838 s Remaining CPU time: 1785.62 s 14.98/15.05 c core #98 14.98/15.05 c Core size: 4 Core Weight: 1 Total Weight: -902 14.98/15.05 c Elapsed CPU time: 14.5298 s Remaining CPU time: 1785.47 s 15.19/15.20 c core #99 15.19/15.20 c Core size: 4 Core Weight: 1 Total Weight: -901 15.19/15.20 c Elapsed CPU time: 14.6788 s Remaining CPU time: 1785.32 s 15.29/15.35 c core #100 15.29/15.35 c Core size: 4 Core Weight: 1 Total Weight: -900 15.29/15.35 c Elapsed CPU time: 14.8267 s Remaining CPU time: 1785.17 s 15.48/15.50 c core #101 15.48/15.50 c Core size: 4 Core Weight: 1 Total Weight: -899 15.48/15.50 c Elapsed CPU time: 14.9767 s Remaining CPU time: 1785.02 s 15.58/15.65 c core #102 15.58/15.65 c Core size: 4 Core Weight: 1 Total Weight: -898 15.58/15.65 c Elapsed CPU time: 15.1207 s Remaining CPU time: 1784.88 s 15.78/15.81 c core #103 15.78/15.81 c Core size: 4 Core Weight: 1 Total Weight: -897 15.78/15.81 c Elapsed CPU time: 15.2687 s Remaining CPU time: 1784.73 s 15.89/15.96 c core #104 15.89/15.96 c Core size: 4 Core Weight: 1 Total Weight: -896 15.89/15.96 c Elapsed CPU time: 15.4107 s Remaining CPU time: 1784.59 s 16.09/16.11 c core #105 16.09/16.11 c Core size: 4 Core Weight: 1 Total Weight: -895 16.09/16.11 c Elapsed CPU time: 15.5616 s Remaining CPU time: 1784.44 s 16.19/16.27 c core #106 16.19/16.27 c Core size: 4 Core Weight: 1 Total Weight: -894 16.19/16.27 c Elapsed CPU time: 15.7076 s Remaining CPU time: 1784.29 s 16.39/16.42 c core #107 16.39/16.42 c Core size: 4 Core Weight: 1 Total Weight: -893 16.39/16.42 c Elapsed CPU time: 15.8566 s Remaining CPU time: 1784.14 s 16.49/16.57 c core #108 16.49/16.57 c Core size: 4 Core Weight: 1 Total Weight: -892 16.49/16.57 c Elapsed CPU time: 16.0006 s Remaining CPU time: 1784 s 16.69/16.73 c core #109 16.69/16.73 c Core size: 4 Core Weight: 1 Total Weight: -891 16.69/16.73 c Elapsed CPU time: 16.1525 s Remaining CPU time: 1783.85 s 16.79/16.88 c core #110 16.79/16.88 c Core size: 4 Core Weight: 1 Total Weight: -890 16.79/16.88 c Elapsed CPU time: 16.2985 s Remaining CPU time: 1783.7 s 16.99/17.04 c core #111 16.99/17.04 c Core size: 4 Core Weight: 1 Total Weight: -889 16.99/17.04 c Elapsed CPU time: 16.4505 s Remaining CPU time: 1783.55 s 17.09/17.19 c core #112 17.09/17.19 c Core size: 4 Core Weight: 1 Total Weight: -888 17.09/17.19 c Elapsed CPU time: 16.5965 s Remaining CPU time: 1783.4 s 17.28/17.34 c core #113 17.28/17.34 c Core size: 4 Core Weight: 1 Total Weight: -887 17.28/17.34 c Elapsed CPU time: 16.7465 s Remaining CPU time: 1783.25 s 17.38/17.50 c core #114 17.38/17.50 c Core size: 4 Core Weight: 1 Total Weight: -886 17.38/17.50 c Elapsed CPU time: 16.8974 s Remaining CPU time: 1783.1 s 17.59/17.65 c core #115 17.59/17.65 c Core size: 4 Core Weight: 1 Total Weight: -885 17.59/17.65 c Elapsed CPU time: 17.0434 s Remaining CPU time: 1782.96 s 17.79/17.80 c core #116 17.79/17.80 c Core size: 4 Core Weight: 1 Total Weight: -884 17.79/17.80 c Elapsed CPU time: 17.1904 s Remaining CPU time: 1782.81 s 17.89/17.96 c core #117 17.89/17.96 c Core size: 4 Core Weight: 1 Total Weight: -883 17.89/17.96 c Elapsed CPU time: 17.3394 s Remaining CPU time: 1782.66 s 18.09/18.11 c core #118 18.09/18.11 c Core size: 4 Core Weight: 1 Total Weight: -882 18.09/18.11 c Elapsed CPU time: 17.4853 s Remaining CPU time: 1782.51 s 18.18/18.26 c core #119 18.18/18.26 c Core size: 4 Core Weight: 1 Total Weight: -881 18.18/18.26 c Elapsed CPU time: 17.6313 s Remaining CPU time: 1782.37 s 18.39/18.41 c core #120 18.39/18.41 c Core size: 4 Core Weight: 1 Total Weight: -880 18.39/18.41 c Elapsed CPU time: 17.7793 s Remaining CPU time: 1782.22 s 18.49/18.57 c core #121 18.49/18.57 c Core size: 4 Core Weight: 1 Total Weight: -879 18.49/18.57 c Elapsed CPU time: 17.9303 s Remaining CPU time: 1782.07 s 18.68/18.72 c core #122 18.68/18.72 c Core size: 4 Core Weight: 1 Total Weight: -878 18.68/18.72 c Elapsed CPU time: 18.0763 s Remaining CPU time: 1781.92 s 18.79/18.87 c core #123 18.79/18.87 c Core size: 4 Core Weight: 1 Total Weight: -877 18.79/18.87 c Elapsed CPU time: 18.2252 s Remaining CPU time: 1781.77 s 18.98/19.02 c core #124 18.98/19.02 c Core size: 4 Core Weight: 1 Total Weight: -876 18.98/19.02 c Elapsed CPU time: 18.3722 s Remaining CPU time: 1781.63 s 19.08/19.18 c core #125 19.08/19.18 c Core size: 4 Core Weight: 1 Total Weight: -875 19.08/19.18 c Elapsed CPU time: 18.5192 s Remaining CPU time: 1781.48 s 19.29/19.33 c core #126 19.29/19.33 c Core size: 4 Core Weight: 1 Total Weight: -874 19.29/19.33 c Elapsed CPU time: 18.6632 s Remaining CPU time: 1781.34 s 19.38/19.48 c core #127 19.38/19.48 c Core size: 4 Core Weight: 1 Total Weight: -873 19.38/19.48 c Elapsed CPU time: 18.8101 s Remaining CPU time: 1781.19 s 19.59/19.63 c core #128 19.59/19.63 c Core size: 4 Core Weight: 1 Total Weight: -872 19.59/19.63 c Elapsed CPU time: 18.9571 s Remaining CPU time: 1781.04 s 19.68/19.79 c core #129 19.68/19.79 c Core size: 4 Core Weight: 1 Total Weight: -871 19.68/19.79 c Elapsed CPU time: 19.1071 s Remaining CPU time: 1780.89 s 19.89/19.94 c core #130 19.89/19.94 c Core size: 4 Core Weight: 1 Total Weight: -870 19.89/19.94 c Elapsed CPU time: 19.2541 s Remaining CPU time: 1780.75 s 19.98/20.09 c core #131 19.98/20.09 c Core size: 4 Core Weight: 1 Total Weight: -869 19.98/20.09 c Elapsed CPU time: 19.4031 s Remaining CPU time: 1780.6 s 20.19/20.24 c core #132 20.19/20.24 c Core size: 4 Core Weight: 1 Total Weight: -868 20.19/20.24 c Elapsed CPU time: 19.55 s Remaining CPU time: 1780.45 s 20.29/20.40 c core #133 20.29/20.40 c Core size: 4 Core Weight: 1 Total Weight: -867 20.29/20.40 c Elapsed CPU time: 19.696 s Remaining CPU time: 1780.3 s 20.49/20.55 c core #134 20.49/20.55 c Core size: 4 Core Weight: 1 Total Weight: -866 20.49/20.55 c Elapsed CPU time: 19.842 s Remaining CPU time: 1780.16 s 20.68/20.70 c core #135 20.68/20.70 c Core size: 4 Core Weight: 1 Total Weight: -865 20.68/20.70 c Elapsed CPU time: 19.99 s Remaining CPU time: 1780.01 s 20.79/20.85 c core #136 20.79/20.85 c Core size: 4 Core Weight: 1 Total Weight: -864 20.79/20.85 c Elapsed CPU time: 20.1369 s Remaining CPU time: 1779.86 s 20.98/21.00 c core #137 20.98/21.00 c Core size: 4 Core Weight: 1 Total Weight: -863 20.98/21.00 c Elapsed CPU time: 20.2879 s Remaining CPU time: 1779.71 s 21.08/21.16 c core #138 21.08/21.16 c Core size: 4 Core Weight: 1 Total Weight: -862 21.08/21.16 c Elapsed CPU time: 20.4359 s Remaining CPU time: 1779.56 s 21.29/21.31 c core #139 21.29/21.31 c Core size: 4 Core Weight: 1 Total Weight: -861 21.29/21.31 c Elapsed CPU time: 20.5849 s Remaining CPU time: 1779.42 s 21.38/21.46 c core #140 21.38/21.46 c Core size: 4 Core Weight: 1 Total Weight: -860 21.38/21.46 c Elapsed CPU time: 20.7268 s Remaining CPU time: 1779.27 s 21.58/21.61 c core #141 21.58/21.61 c Core size: 4 Core Weight: 1 Total Weight: -859 21.58/21.62 c Elapsed CPU time: 20.8728 s Remaining CPU time: 1779.13 s 21.69/21.76 c core #142 21.69/21.76 c Core size: 4 Core Weight: 1 Total Weight: -858 21.69/21.76 c Elapsed CPU time: 21.0168 s Remaining CPU time: 1778.98 s 21.89/21.92 c core #143 21.89/21.92 c Core size: 4 Core Weight: 1 Total Weight: -857 21.89/21.92 c Elapsed CPU time: 21.1678 s Remaining CPU time: 1778.83 s 21.99/22.07 c core #144 21.99/22.07 c Core size: 4 Core Weight: 1 Total Weight: -856 21.99/22.07 c Elapsed CPU time: 21.3148 s Remaining CPU time: 1778.69 s 22.18/22.23 c core #145 22.18/22.23 c Core size: 4 Core Weight: 1 Total Weight: -855 22.18/22.23 c Elapsed CPU time: 21.4617 s Remaining CPU time: 1778.54 s 22.28/22.38 c core #146 22.28/22.38 c Core size: 4 Core Weight: 1 Total Weight: -854 22.28/22.38 c Elapsed CPU time: 21.6047 s Remaining CPU time: 1778.4 s 22.49/22.53 c core #147 22.49/22.53 c Core size: 4 Core Weight: 1 Total Weight: -853 22.49/22.53 c Elapsed CPU time: 21.7537 s Remaining CPU time: 1778.25 s 22.58/22.69 c core #148 22.58/22.69 c Core size: 4 Core Weight: 1 Total Weight: -852 22.58/22.69 c Elapsed CPU time: 21.8977 s Remaining CPU time: 1778.1 s 22.78/22.84 c core #149 22.78/22.84 c Core size: 4 Core Weight: 1 Total Weight: -851 22.78/22.84 c Elapsed CPU time: 22.0466 s Remaining CPU time: 1777.95 s 22.89/22.99 c core #150 22.89/22.99 c Core size: 4 Core Weight: 1 Total Weight: -850 22.89/22.99 c Elapsed CPU time: 22.1936 s Remaining CPU time: 1777.81 s 23.08/23.14 c core #151 23.08/23.14 c Core size: 4 Core Weight: 1 Total Weight: -849 23.08/23.14 c Elapsed CPU time: 22.3406 s Remaining CPU time: 1777.66 s 23.28/23.30 c core #152 23.28/23.30 c Core size: 4 Core Weight: 1 Total Weight: -848 23.28/23.30 c Elapsed CPU time: 22.4886 s Remaining CPU time: 1777.51 s 23.38/23.45 c core #153 23.38/23.45 c Core size: 4 Core Weight: 1 Total Weight: -847 23.38/23.45 c Elapsed CPU time: 22.6376 s Remaining CPU time: 1777.36 s 23.58/23.61 c core #154 23.58/23.61 c Core size: 4 Core Weight: 1 Total Weight: -846 23.58/23.61 c Elapsed CPU time: 22.7905 s Remaining CPU time: 1777.21 s 23.68/23.76 c core #155 23.68/23.76 c Core size: 4 Core Weight: 1 Total Weight: -845 23.68/23.76 c Elapsed CPU time: 22.9375 s Remaining CPU time: 1777.06 s 23.88/23.91 c core #156 23.88/23.91 c Core size: 4 Core Weight: 1 Total Weight: -844 23.88/23.91 c Elapsed CPU time: 23.0845 s Remaining CPU time: 1776.92 s 23.98/24.06 c core #157 23.98/24.06 c Core size: 4 Core Weight: 1 Total Weight: -843 23.98/24.06 c Elapsed CPU time: 23.2325 s Remaining CPU time: 1776.77 s 24.18/24.22 c core #158 24.18/24.22 c Core size: 4 Core Weight: 1 Total Weight: -842 24.18/24.22 c Elapsed CPU time: 23.3804 s Remaining CPU time: 1776.62 s 24.28/24.37 c core #159 24.28/24.37 c Core size: 4 Core Weight: 1 Total Weight: -841 24.28/24.37 c Elapsed CPU time: 23.5294 s Remaining CPU time: 1776.47 s 24.48/24.53 c core #160 24.48/24.53 c Core size: 4 Core Weight: 1 Total Weight: -840 24.48/24.53 c Elapsed CPU time: 23.6784 s Remaining CPU time: 1776.32 s 24.58/24.68 c core #161 24.58/24.68 c Core size: 4 Core Weight: 1 Total Weight: -839 24.58/24.68 c Elapsed CPU time: 23.8244 s Remaining CPU time: 1776.18 s 24.77/24.83 c core #162 24.77/24.83 c Core size: 4 Core Weight: 1 Total Weight: -838 24.77/24.83 c Elapsed CPU time: 23.9734 s Remaining CPU time: 1776.03 s 24.88/24.98 c core #163 24.88/24.98 c Core size: 4 Core Weight: 1 Total Weight: -837 24.88/24.98 c Elapsed CPU time: 24.1233 s Remaining CPU time: 1775.88 s 25.07/25.14 c core #164 25.07/25.14 c Core size: 4 Core Weight: 1 Total Weight: -836 25.07/25.14 c Elapsed CPU time: 24.2683 s Remaining CPU time: 1775.73 s 25.18/25.29 c core #165 25.18/25.29 c Core size: 4 Core Weight: 1 Total Weight: -835 25.18/25.29 c Elapsed CPU time: 24.4173 s Remaining CPU time: 1775.58 s 25.38/25.44 c core #166 25.38/25.44 c Core size: 4 Core Weight: 1 Total Weight: -834 25.38/25.44 c Elapsed CPU time: 24.5663 s Remaining CPU time: 1775.43 s 25.58/25.60 c core #167 25.58/25.60 c Core size: 4 Core Weight: 1 Total Weight: -833 25.58/25.60 c Elapsed CPU time: 24.7182 s Remaining CPU time: 1775.28 s 25.68/25.75 c core #168 25.68/25.75 c Core size: 4 Core Weight: 1 Total Weight: -832 25.68/25.75 c Elapsed CPU time: 24.8662 s Remaining CPU time: 1775.13 s 25.88/25.91 c core #169 25.88/25.91 c Core size: 4 Core Weight: 1 Total Weight: -831 25.88/25.91 c Elapsed CPU time: 25.0162 s Remaining CPU time: 1774.98 s 25.97/26.06 c core #170 25.97/26.06 c Core size: 4 Core Weight: 1 Total Weight: -830 25.97/26.06 c Elapsed CPU time: 25.1602 s Remaining CPU time: 1774.84 s 26.18/26.22 c core #171 26.18/26.22 c Core size: 4 Core Weight: 1 Total Weight: -829 26.18/26.22 c Elapsed CPU time: 25.3052 s Remaining CPU time: 1774.69 s 26.28/26.37 c core #172 26.28/26.37 c Core size: 4 Core Weight: 1 Total Weight: -828 26.28/26.37 c Elapsed CPU time: 25.4541 s Remaining CPU time: 1774.55 s 26.47/26.52 c core #173 26.47/26.52 c Core size: 4 Core Weight: 1 Total Weight: -827 26.47/26.52 c Elapsed CPU time: 25.5981 s Remaining CPU time: 1774.4 s 26.58/26.67 c core #174 26.58/26.67 c Core size: 4 Core Weight: 1 Total Weight: -826 26.58/26.67 c Elapsed CPU time: 25.7481 s Remaining CPU time: 1774.25 s 26.78/26.82 c core #175 26.78/26.82 c Core size: 4 Core Weight: 1 Total Weight: -825 26.78/26.82 c Elapsed CPU time: 25.8931 s Remaining CPU time: 1774.11 s 26.88/26.98 c core #176 26.88/26.98 c Core size: 4 Core Weight: 1 Total Weight: -824 26.88/26.98 c Elapsed CPU time: 26.038 s Remaining CPU time: 1773.96 s 27.08/27.13 c core #177 27.08/27.13 c Core size: 4 Core Weight: 1 Total Weight: -823 27.08/27.13 c Elapsed CPU time: 26.185 s Remaining CPU time: 1773.81 s 27.17/27.28 c core #178 27.17/27.28 c Core size: 4 Core Weight: 1 Total Weight: -822 27.17/27.28 c Elapsed CPU time: 26.329 s Remaining CPU time: 1773.67 s 27.38/27.44 c core #179 27.38/27.44 c Core size: 4 Core Weight: 1 Total Weight: -821 27.38/27.44 c Elapsed CPU time: 26.483 s Remaining CPU time: 1773.52 s 27.48/27.59 c core #180 27.48/27.59 c Core size: 4 Core Weight: 1 Total Weight: -820 27.48/27.59 c Elapsed CPU time: 26.63 s Remaining CPU time: 1773.37 s 27.68/27.74 c core #181 27.68/27.74 c Core size: 4 Core Weight: 1 Total Weight: -819 27.68/27.74 c Elapsed CPU time: 26.7769 s Remaining CPU time: 1773.22 s 27.77/27.89 c core #182 27.77/27.89 c Core size: 4 Core Weight: 1 Total Weight: -818 27.77/27.89 c Elapsed CPU time: 26.9219 s Remaining CPU time: 1773.08 s 27.98/28.05 c core #183 27.98/28.05 c Core size: 4 Core Weight: 1 Total Weight: -817 27.98/28.05 c Elapsed CPU time: 27.0719 s Remaining CPU time: 1772.93 s 28.17/28.20 c core #184 28.17/28.20 c Core size: 4 Core Weight: 1 Total Weight: -816 28.17/28.20 c Elapsed CPU time: 27.2189 s Remaining CPU time: 1772.78 s 28.27/28.35 c core #185 28.27/28.35 c Core size: 4 Core Weight: 1 Total Weight: -815 28.27/28.35 c Elapsed CPU time: 27.3658 s Remaining CPU time: 1772.63 s 28.48/28.50 c core #186 28.48/28.50 c Core size: 4 Core Weight: 1 Total Weight: -814 28.48/28.50 c Elapsed CPU time: 27.5148 s Remaining CPU time: 1772.49 s 28.58/28.66 c core #187 28.58/28.66 c Core size: 4 Core Weight: 1 Total Weight: -813 28.58/28.66 c Elapsed CPU time: 27.6648 s Remaining CPU time: 1772.34 s 28.78/28.81 c core #188 28.78/28.81 c Core size: 4 Core Weight: 1 Total Weight: -812 28.78/28.81 c Elapsed CPU time: 27.8148 s Remaining CPU time: 1772.19 s 28.87/28.97 c core #189 28.87/28.97 c Core size: 4 Core Weight: 1 Total Weight: -811 28.87/28.97 c Elapsed CPU time: 27.9647 s Remaining CPU time: 1772.04 s 29.07/29.12 c core #190 29.07/29.12 c Core size: 4 Core Weight: 1 Total Weight: -810 29.07/29.12 c Elapsed CPU time: 28.1167 s Remaining CPU time: 1771.88 s 29.17/29.27 c core #191 29.17/29.27 c Core size: 4 Core Weight: 1 Total Weight: -809 29.17/29.27 c Elapsed CPU time: 28.2637 s Remaining CPU time: 1771.74 s 29.38/29.43 c core #192 29.38/29.43 c Core size: 4 Core Weight: 1 Total Weight: -808 29.38/29.43 c Elapsed CPU time: 28.4137 s Remaining CPU time: 1771.59 s 29.48/29.58 c core #193 29.48/29.58 c Core size: 4 Core Weight: 1 Total Weight: -807 29.48/29.58 c Elapsed CPU time: 28.5667 s Remaining CPU time: 1771.43 s 29.68/29.74 c core #194 29.68/29.74 c Core size: 4 Core Weight: 1 Total Weight: -806 29.68/29.74 c Elapsed CPU time: 28.7096 s Remaining CPU time: 1771.29 s 29.77/29.89 c core #195 29.77/29.89 c Core size: 4 Core Weight: 1 Total Weight: -805 29.77/29.89 c Elapsed CPU time: 28.8586 s Remaining CPU time: 1771.14 s 29.97/30.05 c core #196 29.97/30.05 c Core size: 4 Core Weight: 1 Total Weight: -804 29.97/30.05 c Elapsed CPU time: 29.0056 s Remaining CPU time: 1770.99 s 30.17/30.20 c core #197 30.17/30.20 c Core size: 4 Core Weight: 1 Total Weight: -803 30.17/30.20 c Elapsed CPU time: 29.1556 s Remaining CPU time: 1770.84 s 30.27/30.35 c core #198 30.27/30.35 c Core size: 4 Core Weight: 1 Total Weight: -802 30.27/30.35 c Elapsed CPU time: 29.3035 s Remaining CPU time: 1770.7 s 30.47/30.51 c core #199 30.47/30.51 c Core size: 4 Core Weight: 1 Total Weight: -801 30.47/30.51 c Elapsed CPU time: 29.4485 s Remaining CPU time: 1770.55 s 30.57/30.66 c core #200 30.57/30.66 c Core size: 4 Core Weight: 1 Total Weight: -800 30.57/30.66 c Elapsed CPU time: 29.5975 s Remaining CPU time: 1770.4 s 30.78/30.81 c core #201 30.78/30.81 c Core size: 4 Core Weight: 1 Total Weight: -799 30.78/30.81 c Elapsed CPU time: 29.7425 s Remaining CPU time: 1770.26 s 30.87/30.97 c core #202 30.87/30.97 c Core size: 4 Core Weight: 1 Total Weight: -798 30.87/30.97 c Elapsed CPU time: 29.8945 s Remaining CPU time: 1770.11 s 31.07/31.12 c core #203 31.07/31.12 c Core size: 4 Core Weight: 1 Total Weight: -797 31.07/31.12 c Elapsed CPU time: 30.0414 s Remaining CPU time: 1769.96 s 31.17/31.27 c core #204 31.17/31.27 c Core size: 4 Core Weight: 1 Total Weight: -796 31.17/31.28 c Elapsed CPU time: 30.1894 s Remaining CPU time: 1769.81 s 31.37/31.43 c core #205 31.37/31.43 c Core size: 4 Core Weight: 1 Total Weight: -795 31.37/31.43 c Elapsed CPU time: 30.3414 s Remaining CPU time: 1769.66 s 31.47/31.58 c core #206 31.47/31.58 c Core size: 4 Core Weight: 1 Total Weight: -794 31.47/31.58 c Elapsed CPU time: 30.4924 s Remaining CPU time: 1769.51 s 31.67/31.74 c core #207 31.67/31.74 c Core size: 4 Core Weight: 1 Total Weight: -793 31.67/31.74 c Elapsed CPU time: 30.6433 s Remaining CPU time: 1769.36 s 31.77/31.90 c core #208 31.77/31.90 c Core size: 4 Core Weight: 1 Total Weight: -792 31.77/31.90 c Elapsed CPU time: 30.7903 s Remaining CPU time: 1769.21 s 31.97/32.05 c core #209 31.97/32.05 c Core size: 4 Core Weight: 1 Total Weight: -791 31.97/32.05 c Elapsed CPU time: 30.9363 s Remaining CPU time: 1769.06 s 32.16/32.20 c core #210 32.16/32.20 c Core size: 4 Core Weight: 1 Total Weight: -790 32.16/32.20 c Elapsed CPU time: 31.0853 s Remaining CPU time: 1768.91 s 32.27/32.36 c core #211 32.27/32.36 c Core size: 4 Core Weight: 1 Total Weight: -789 32.27/32.36 c Elapsed CPU time: 31.2373 s Remaining CPU time: 1768.76 s 32.46/32.52 c core #212 32.46/32.52 c Core size: 4 Core Weight: 1 Total Weight: -788 32.46/32.52 c Elapsed CPU time: 31.3892 s Remaining CPU time: 1768.61 s 32.57/32.67 c core #213 32.57/32.67 c Core size: 4 Core Weight: 1 Total Weight: -787 32.57/32.67 c Elapsed CPU time: 31.5402 s Remaining CPU time: 1768.46 s 32.77/32.83 c core #214 32.77/32.83 c Core size: 4 Core Weight: 1 Total Weight: -786 32.77/32.83 c Elapsed CPU time: 31.6922 s Remaining CPU time: 1768.31 s 32.87/32.98 c core #215 32.87/32.98 c Core size: 4 Core Weight: 1 Total Weight: -785 32.87/32.98 c Elapsed CPU time: 31.8432 s Remaining CPU time: 1768.16 s 33.07/33.14 c core #216 33.07/33.14 c Core size: 4 Core Weight: 1 Total Weight: -784 33.07/33.14 c Elapsed CPU time: 31.9951 s Remaining CPU time: 1768 s 33.16/33.30 c core #217 33.16/33.30 c Core size: 4 Core Weight: 1 Total Weight: -783 33.16/33.30 c Elapsed CPU time: 32.1461 s Remaining CPU time: 1767.85 s 33.37/33.45 c core #218 33.37/33.45 c Core size: 4 Core Weight: 1 Total Weight: -782 33.37/33.45 c Elapsed CPU time: 32.2971 s Remaining CPU time: 1767.7 s 33.57/33.61 c core #219 33.57/33.61 c Core size: 4 Core Weight: 1 Total Weight: -781 33.57/33.61 c Elapsed CPU time: 32.4431 s Remaining CPU time: 1767.56 s 33.67/33.76 c core #220 33.67/33.76 c Core size: 4 Core Weight: 1 Total Weight: -780 33.67/33.76 c Elapsed CPU time: 32.592 s Remaining CPU time: 1767.41 s 33.87/33.92 c core #221 33.87/33.92 c Core size: 4 Core Weight: 1 Total Weight: -779 33.87/33.92 c Elapsed CPU time: 32.739 s Remaining CPU time: 1767.26 s 33.97/34.07 c core #222 33.97/34.07 c Core size: 4 Core Weight: 1 Total Weight: -778 33.97/34.07 c Elapsed CPU time: 32.885 s Remaining CPU time: 1767.12 s 34.17/34.22 c core #223 34.17/34.22 c Core size: 4 Core Weight: 1 Total Weight: -777 34.17/34.22 c Elapsed CPU time: 33.029 s Remaining CPU time: 1766.97 s 34.27/34.37 c core #224 34.27/34.37 c Core size: 4 Core Weight: 1 Total Weight: -776 34.27/34.37 c Elapsed CPU time: 33.179 s Remaining CPU time: 1766.82 s 34.47/34.53 c core #225 34.47/34.53 c Core size: 4 Core Weight: 1 Total Weight: -775 34.47/34.53 c Elapsed CPU time: 33.3259 s Remaining CPU time: 1766.67 s 34.56/34.68 c core #226 34.56/34.68 c Core size: 4 Core Weight: 1 Total Weight: -774 34.56/34.68 c Elapsed CPU time: 33.4739 s Remaining CPU time: 1766.53 s 34.76/34.84 c core #227 34.76/34.84 c Core size: 4 Core Weight: 1 Total Weight: -773 34.76/34.84 c Elapsed CPU time: 33.6269 s Remaining CPU time: 1766.37 s 34.87/34.99 c core #228 34.87/34.99 c Core size: 4 Core Weight: 1 Total Weight: -772 34.87/34.99 c Elapsed CPU time: 33.7749 s Remaining CPU time: 1766.23 s 35.07/35.15 c core #229 35.07/35.15 c Core size: 4 Core Weight: 1 Total Weight: -771 35.07/35.15 c Elapsed CPU time: 33.9248 s Remaining CPU time: 1766.08 s 35.26/35.31 c core #230 35.26/35.31 c Core size: 4 Core Weight: 1 Total Weight: -770 35.26/35.31 c Elapsed CPU time: 34.0808 s Remaining CPU time: 1765.92 s 35.37/35.47 c core #231 35.37/35.47 c Core size: 4 Core Weight: 1 Total Weight: -769 35.37/35.47 c Elapsed CPU time: 34.2358 s Remaining CPU time: 1765.76 s 35.56/35.63 c core #232 35.56/35.63 c Core size: 4 Core Weight: 1 Total Weight: -768 35.56/35.63 c Elapsed CPU time: 34.3868 s Remaining CPU time: 1765.61 s 35.66/35.79 c core #233 35.66/35.79 c Core size: 4 Core Weight: 1 Total Weight: -767 35.66/35.79 c Elapsed CPU time: 34.5417 s Remaining CPU time: 1765.46 s 35.86/35.94 c core #234 35.86/35.94 c Core size: 4 Core Weight: 1 Total Weight: -766 35.86/35.95 c Elapsed CPU time: 34.6947 s Remaining CPU time: 1765.31 s 36.07/36.10 c core #235 36.07/36.10 c Core size: 4 Core Weight: 1 Total Weight: -765 36.07/36.10 c Elapsed CPU time: 34.8457 s Remaining CPU time: 1765.15 s 36.17/36.26 c core #236 36.17/36.26 c Core size: 4 Core Weight: 1 Total Weight: -764 36.17/36.26 c Elapsed CPU time: 34.9977 s Remaining CPU time: 1765 s 36.37/36.42 c core #237 36.37/36.42 c Core size: 4 Core Weight: 1 Total Weight: -763 36.37/36.42 c Elapsed CPU time: 35.1497 s Remaining CPU time: 1764.85 s 36.46/36.57 c core #238 36.46/36.57 c Core size: 4 Core Weight: 1 Total Weight: -762 36.46/36.57 c Elapsed CPU time: 35.2996 s Remaining CPU time: 1764.7 s 36.66/36.73 c core #239 36.66/36.73 c Core size: 4 Core Weight: 1 Total Weight: -761 36.66/36.73 c Elapsed CPU time: 35.4496 s Remaining CPU time: 1764.55 s 36.77/36.89 c core #240 36.77/36.89 c Core size: 4 Core Weight: 1 Total Weight: -760 36.77/36.89 c Elapsed CPU time: 35.6036 s Remaining CPU time: 1764.4 s 36.96/37.05 c core #241 36.96/37.05 c Core size: 4 Core Weight: 1 Total Weight: -759 36.96/37.05 c Elapsed CPU time: 35.7546 s Remaining CPU time: 1764.25 s 37.17/37.20 c core #242 37.17/37.20 c Core size: 4 Core Weight: 1 Total Weight: -758 37.17/37.20 c Elapsed CPU time: 35.9095 s Remaining CPU time: 1764.09 s 37.27/37.36 c core #243 37.27/37.36 c Core size: 4 Core Weight: 1 Total Weight: -757 37.27/37.36 c Elapsed CPU time: 36.0635 s Remaining CPU time: 1763.94 s 37.46/37.52 c core #244 37.46/37.52 c Core size: 4 Core Weight: 1 Total Weight: -756 37.46/37.52 c Elapsed CPU time: 36.2155 s Remaining CPU time: 1763.78 s 37.56/37.68 c core #245 37.56/37.68 c Core size: 4 Core Weight: 1 Total Weight: -755 37.56/37.68 c Elapsed CPU time: 36.3655 s Remaining CPU time: 1763.63 s 37.76/37.84 c core #246 37.76/37.84 c Core size: 4 Core Weight: 1 Total Weight: -754 37.76/37.84 c Elapsed CPU time: 36.5204 s Remaining CPU time: 1763.48 s 37.86/38.00 c core #247 37.86/38.00 c Core size: 4 Core Weight: 1 Total Weight: -753 37.96/38.00 c Elapsed CPU time: 36.6744 s Remaining CPU time: 1763.33 s 38.06/38.15 c core #248 38.06/38.15 c Core size: 4 Core Weight: 1 Total Weight: -752 38.06/38.15 c Elapsed CPU time: 36.8254 s Remaining CPU time: 1763.17 s 38.26/38.31 c core #249 38.26/38.31 c Core size: 4 Core Weight: 1 Total Weight: -751 38.26/38.31 c Elapsed CPU time: 36.9784 s Remaining CPU time: 1763.02 s 38.37/38.47 c core #250 38.37/38.47 c Core size: 4 Core Weight: 1 Total Weight: -750 38.37/38.47 c Elapsed CPU time: 37.1274 s Remaining CPU time: 1762.87 s 38.56/38.63 c core #251 38.56/38.63 c Core size: 4 Core Weight: 1 Total Weight: -749 38.56/38.63 c Elapsed CPU time: 37.2783 s Remaining CPU time: 1762.72 s 38.66/38.78 c core #252 38.66/38.78 c Core size: 4 Core Weight: 1 Total Weight: -748 38.66/38.78 c Elapsed CPU time: 37.4323 s Remaining CPU time: 1762.57 s 38.86/38.94 c core #253 38.86/38.94 c Core size: 4 Core Weight: 1 Total Weight: -747 38.86/38.94 c Elapsed CPU time: 37.5783 s Remaining CPU time: 1762.42 s 38.96/39.10 c core #254 38.96/39.10 c Core size: 4 Core Weight: 1 Total Weight: -746 38.96/39.10 c Elapsed CPU time: 37.7293 s Remaining CPU time: 1762.27 s 39.16/39.25 c core #255 39.16/39.25 c Core size: 4 Core Weight: 1 Total Weight: -745 39.16/39.25 c Elapsed CPU time: 37.8872 s Remaining CPU time: 1762.11 s 39.36/39.41 c core #256 39.36/39.41 c Core size: 4 Core Weight: 1 Total Weight: -744 39.36/39.41 c Elapsed CPU time: 38.0372 s Remaining CPU time: 1761.96 s 39.47/39.57 c core #257 39.47/39.57 c Core size: 4 Core Weight: 1 Total Weight: -743 39.47/39.57 c Elapsed CPU time: 38.1862 s Remaining CPU time: 1761.81 s 39.66/39.72 c core #258 39.66/39.72 c Core size: 4 Core Weight: 1 Total Weight: -742 39.66/39.72 c Elapsed CPU time: 38.3372 s Remaining CPU time: 1761.66 s 39.77/39.88 c core #259 39.77/39.88 c Core size: 4 Core Weight: 1 Total Weight: -741 39.77/39.88 c Elapsed CPU time: 38.4921 s Remaining CPU time: 1761.51 s 39.96/40.04 c core #260 39.96/40.04 c Core size: 4 Core Weight: 1 Total Weight: -740 39.96/40.04 c Elapsed CPU time: 38.6441 s Remaining CPU time: 1761.36 s 40.06/40.20 c core #261 40.06/40.20 c Core size: 4 Core Weight: 1 Total Weight: -739 40.06/40.20 c Elapsed CPU time: 38.7981 s Remaining CPU time: 1761.2 s 40.26/40.35 c core #262 40.26/40.35 c Core size: 4 Core Weight: 1 Total Weight: -738 40.26/40.35 c Elapsed CPU time: 38.9531 s Remaining CPU time: 1761.05 s 40.46/40.51 c core #263 40.46/40.51 c Core size: 4 Core Weight: 1 Total Weight: -737 40.46/40.51 c Elapsed CPU time: 39.1051 s Remaining CPU time: 1760.89 s 40.57/40.67 c core #264 40.57/40.67 c Core size: 4 Core Weight: 1 Total Weight: -736 40.57/40.67 c Elapsed CPU time: 39.258 s Remaining CPU time: 1760.74 s 40.76/40.83 c core #265 40.76/40.83 c Core size: 4 Core Weight: 1 Total Weight: -735 40.76/40.83 c Elapsed CPU time: 39.413 s Remaining CPU time: 1760.59 s 40.85/40.99 c core #266 40.85/40.99 c Core size: 4 Core Weight: 1 Total Weight: -734 40.85/40.99 c Elapsed CPU time: 39.568 s Remaining CPU time: 1760.43 s 41.06/41.15 c core #267 41.06/41.15 c Core size: 4 Core Weight: 1 Total Weight: -733 41.06/41.15 c Elapsed CPU time: 39.724 s Remaining CPU time: 1760.28 s 41.26/41.31 c core #268 41.26/41.31 c Core size: 4 Core Weight: 1 Total Weight: -732 41.26/41.31 c Elapsed CPU time: 39.8739 s Remaining CPU time: 1760.13 s 41.35/41.47 c core #269 41.35/41.47 c Core size: 4 Core Weight: 1 Total Weight: -731 41.35/41.47 c Elapsed CPU time: 40.0279 s Remaining CPU time: 1759.97 s 41.56/41.62 c core #270 41.56/41.62 c Core size: 4 Core Weight: 1 Total Weight: -730 41.56/41.62 c Elapsed CPU time: 40.1829 s Remaining CPU time: 1759.82 s 41.66/41.78 c core #271 41.66/41.78 c Core size: 4 Core Weight: 1 Total Weight: -729 41.66/41.78 c Elapsed CPU time: 40.3319 s Remaining CPU time: 1759.67 s 41.85/41.94 c core #272 41.85/41.94 c Core size: 4 Core Weight: 1 Total Weight: -728 41.85/41.94 c Elapsed CPU time: 40.4798 s Remaining CPU time: 1759.52 s 42.06/42.10 c core #273 42.06/42.10 c Core size: 4 Core Weight: 1 Total Weight: -727 42.06/42.10 c Elapsed CPU time: 40.6338 s Remaining CPU time: 1759.37 s 42.15/42.26 c core #274 42.15/42.26 c Core size: 4 Core Weight: 1 Total Weight: -726 42.15/42.26 c Elapsed CPU time: 40.7838 s Remaining CPU time: 1759.22 s 42.36/42.41 c core #275 42.36/42.41 c Core size: 4 Core Weight: 1 Total Weight: -725 42.36/42.41 c Elapsed CPU time: 40.9398 s Remaining CPU time: 1759.06 s 42.45/42.57 c core #276 42.45/42.57 c Core size: 4 Core Weight: 1 Total Weight: -724 42.45/42.57 c Elapsed CPU time: 41.0928 s Remaining CPU time: 1758.91 s 42.66/42.73 c core #277 42.66/42.73 c Core size: 4 Core Weight: 1 Total Weight: -723 42.66/42.73 c Elapsed CPU time: 41.2467 s Remaining CPU time: 1758.75 s 42.76/42.89 c core #278 42.76/42.89 c Core size: 4 Core Weight: 1 Total Weight: -722 42.76/42.89 c Elapsed CPU time: 41.3997 s Remaining CPU time: 1758.6 s 42.96/43.05 c core #279 42.96/43.05 c Core size: 4 Core Weight: 1 Total Weight: -721 42.96/43.05 c Elapsed CPU time: 41.5507 s Remaining CPU time: 1758.45 s 43.15/43.21 c core #280 43.15/43.21 c Core size: 4 Core Weight: 1 Total Weight: -720 43.15/43.21 c Elapsed CPU time: 41.7077 s Remaining CPU time: 1758.29 s 43.26/43.37 c core #281 43.26/43.37 c Core size: 4 Core Weight: 1 Total Weight: -719 43.26/43.37 c Elapsed CPU time: 41.8616 s Remaining CPU time: 1758.14 s 43.45/43.53 c core #282 43.45/43.53 c Core size: 4 Core Weight: 1 Total Weight: -718 43.45/43.53 c Elapsed CPU time: 42.0186 s Remaining CPU time: 1757.98 s 43.56/43.69 c core #283 43.56/43.69 c Core size: 4 Core Weight: 1 Total Weight: -717 43.56/43.69 c Elapsed CPU time: 42.1736 s Remaining CPU time: 1757.83 s 43.75/43.85 c core #284 43.75/43.85 c Core size: 4 Core Weight: 1 Total Weight: -716 43.75/43.85 c Elapsed CPU time: 42.3276 s Remaining CPU time: 1757.67 s 43.95/44.01 c core #285 43.95/44.01 c Core size: 4 Core Weight: 1 Total Weight: -715 43.95/44.01 c Elapsed CPU time: 42.4855 s Remaining CPU time: 1757.51 s 44.06/44.16 c core #286 44.06/44.16 c Core size: 4 Core Weight: 1 Total Weight: -714 44.06/44.16 c Elapsed CPU time: 42.6355 s Remaining CPU time: 1757.36 s 44.25/44.32 c core #287 44.25/44.32 c Core size: 4 Core Weight: 1 Total Weight: -713 44.25/44.32 c Elapsed CPU time: 42.7885 s Remaining CPU time: 1757.21 s 44.36/44.48 c core #288 44.36/44.48 c Core size: 4 Core Weight: 1 Total Weight: -712 44.36/44.48 c Elapsed CPU time: 42.9395 s Remaining CPU time: 1757.06 s 44.55/44.64 c core #289 44.55/44.64 c Core size: 4 Core Weight: 1 Total Weight: -711 44.55/44.64 c Elapsed CPU time: 43.0894 s Remaining CPU time: 1756.91 s 44.65/44.80 c core #290 44.65/44.80 c Core size: 4 Core Weight: 1 Total Weight: -710 44.65/44.80 c Elapsed CPU time: 43.2414 s Remaining CPU time: 1756.76 s 44.85/44.95 c core #291 44.85/44.95 c Core size: 4 Core Weight: 1 Total Weight: -709 44.85/44.95 c Elapsed CPU time: 43.3934 s Remaining CPU time: 1756.61 s 45.05/45.11 c core #292 45.05/45.11 c Core size: 4 Core Weight: 1 Total Weight: -708 45.05/45.11 c Elapsed CPU time: 43.5494 s Remaining CPU time: 1756.45 s 45.15/45.28 c core #293 45.15/45.28 c Core size: 4 Core Weight: 1 Total Weight: -707 45.15/45.28 c Elapsed CPU time: 43.7074 s Remaining CPU time: 1756.29 s 45.35/45.44 c core #294 45.35/45.44 c Core size: 4 Core Weight: 1 Total Weight: -706 45.35/45.44 c Elapsed CPU time: 43.8673 s Remaining CPU time: 1756.13 s 45.55/45.60 c core #295 45.55/45.60 c Core size: 4 Core Weight: 1 Total Weight: -705 45.55/45.60 c Elapsed CPU time: 44.0193 s Remaining CPU time: 1755.98 s 45.65/45.76 c core #296 45.65/45.76 c Core size: 4 Core Weight: 1 Total Weight: -704 45.65/45.76 c Elapsed CPU time: 44.1683 s Remaining CPU time: 1755.83 s 45.85/45.92 c core #297 45.85/45.92 c Core size: 4 Core Weight: 1 Total Weight: -703 45.85/45.92 c Elapsed CPU time: 44.3223 s Remaining CPU time: 1755.68 s 45.95/46.07 c core #298 45.95/46.07 c Core size: 4 Core Weight: 1 Total Weight: -702 45.95/46.07 c Elapsed CPU time: 44.4752 s Remaining CPU time: 1755.52 s 46.15/46.23 c core #299 46.15/46.23 c Core size: 4 Core Weight: 1 Total Weight: -701 46.15/46.23 c Elapsed CPU time: 44.6252 s Remaining CPU time: 1755.37 s 46.25/46.39 c core #300 46.25/46.39 c Core size: 4 Core Weight: 1 Total Weight: -700 46.25/46.39 c Elapsed CPU time: 44.7752 s Remaining CPU time: 1755.22 s 46.45/46.55 c core #301 46.45/46.55 c Core size: 4 Core Weight: 1 Total Weight: -699 46.45/46.55 c Elapsed CPU time: 44.9302 s Remaining CPU time: 1755.07 s 46.65/46.70 c core #302 46.65/46.70 c Core size: 4 Core Weight: 1 Total Weight: -698 46.65/46.70 c Elapsed CPU time: 45.0791 s Remaining CPU time: 1754.92 s 46.75/46.86 c core #303 46.75/46.86 c Core size: 4 Core Weight: 1 Total Weight: -697 46.75/46.86 c Elapsed CPU time: 45.2371 s Remaining CPU time: 1754.76 s 46.95/47.02 c core #304 46.95/47.02 c Core size: 4 Core Weight: 1 Total Weight: -696 46.95/47.02 c Elapsed CPU time: 45.3901 s Remaining CPU time: 1754.61 s 47.04/47.18 c core #305 47.04/47.18 c Core size: 4 Core Weight: 1 Total Weight: -695 47.04/47.18 c Elapsed CPU time: 45.5411 s Remaining CPU time: 1754.46 s 47.25/47.34 c core #306 47.25/47.34 c Core size: 4 Core Weight: 1 Total Weight: -694 47.25/47.34 c Elapsed CPU time: 45.6941 s Remaining CPU time: 1754.31 s 47.35/47.50 c core #307 47.35/47.50 c Core size: 4 Core Weight: 1 Total Weight: -693 47.35/47.50 c Elapsed CPU time: 45.848 s Remaining CPU time: 1754.15 s 47.55/47.65 c core #308 47.55/47.65 c Core size: 4 Core Weight: 1 Total Weight: -692 47.55/47.65 c Elapsed CPU time: 46.003 s Remaining CPU time: 1754 s 47.75/47.81 c core #309 47.75/47.81 c Core size: 4 Core Weight: 1 Total Weight: -691 47.75/47.81 c Elapsed CPU time: 46.155 s Remaining CPU time: 1753.85 s 47.84/47.97 c core #310 47.84/47.97 c Core size: 4 Core Weight: 1 Total Weight: -690 47.84/47.97 c Elapsed CPU time: 46.309 s Remaining CPU time: 1753.69 s 48.05/48.12 c core #311 48.05/48.12 c Core size: 4 Core Weight: 1 Total Weight: -689 48.05/48.12 c Elapsed CPU time: 46.4589 s Remaining CPU time: 1753.54 s 48.15/48.28 c core #312 48.15/48.28 c Core size: 4 Core Weight: 1 Total Weight: -688 48.15/48.28 c Elapsed CPU time: 46.6139 s Remaining CPU time: 1753.39 s 48.35/48.44 c core #313 48.35/48.44 c Core size: 4 Core Weight: 1 Total Weight: -687 48.35/48.44 c Elapsed CPU time: 46.7689 s Remaining CPU time: 1753.23 s 48.55/48.60 c core #314 48.55/48.60 c Core size: 4 Core Weight: 1 Total Weight: -686 48.55/48.60 c Elapsed CPU time: 46.9219 s Remaining CPU time: 1753.08 s 48.65/48.76 c core #315 48.65/48.76 c Core size: 4 Core Weight: 1 Total Weight: -685 48.65/48.76 c Elapsed CPU time: 47.0748 s Remaining CPU time: 1752.93 s 48.85/48.92 c core #316 48.85/48.92 c Core size: 4 Core Weight: 1 Total Weight: -684 48.85/48.92 c Elapsed CPU time: 47.2268 s Remaining CPU time: 1752.77 s 48.95/49.08 c core #317 48.95/49.08 c Core size: 4 Core Weight: 1 Total Weight: -683 48.95/49.08 c Elapsed CPU time: 47.3818 s Remaining CPU time: 1752.62 s 49.14/49.23 c core #318 49.14/49.23 c Core size: 4 Core Weight: 1 Total Weight: -682 49.14/49.23 c Elapsed CPU time: 47.5348 s Remaining CPU time: 1752.47 s 49.25/49.39 c core #319 49.25/49.39 c Core size: 4 Core Weight: 1 Total Weight: -681 49.25/49.39 c Elapsed CPU time: 47.6868 s Remaining CPU time: 1752.31 s 49.46/49.55 c core #320 49.46/49.55 c Core size: 4 Core Weight: 1 Total Weight: -680 49.46/49.55 c Elapsed CPU time: 47.8377 s Remaining CPU time: 1752.16 s 49.64/49.71 c core #321 49.64/49.71 c Core size: 4 Core Weight: 1 Total Weight: -679 49.64/49.71 c Elapsed CPU time: 47.9887 s Remaining CPU time: 1752.01 s 49.75/49.87 c core #322 49.75/49.87 c Core size: 4 Core Weight: 1 Total Weight: -678 49.75/49.87 c Elapsed CPU time: 48.1337 s Remaining CPU time: 1751.87 s 49.94/50.02 c core #323 49.94/50.02 c Core size: 4 Core Weight: 1 Total Weight: -677 49.94/50.02 c Elapsed CPU time: 48.2847 s Remaining CPU time: 1751.72 s 50.04/50.18 c core #324 50.04/50.18 c Core size: 4 Core Weight: 1 Total Weight: -676 50.04/50.18 c Elapsed CPU time: 48.4416 s Remaining CPU time: 1751.56 s 50.24/50.34 c core #325 50.24/50.34 c Core size: 4 Core Weight: 1 Total Weight: -675 50.24/50.34 c Elapsed CPU time: 48.5946 s Remaining CPU time: 1751.41 s 50.34/50.50 c core #326 50.34/50.50 c Core size: 4 Core Weight: 1 Total Weight: -674 50.34/50.50 c Elapsed CPU time: 48.7456 s Remaining CPU time: 1751.25 s 50.55/50.66 c core #327 50.55/50.66 c Core size: 4 Core Weight: 1 Total Weight: -673 50.55/50.66 c Elapsed CPU time: 48.9026 s Remaining CPU time: 1751.1 s 50.75/50.82 c core #328 50.75/50.82 c Core size: 4 Core Weight: 1 Total Weight: -672 50.75/50.82 c Elapsed CPU time: 49.0545 s Remaining CPU time: 1750.95 s 50.85/50.98 c core #329 50.85/50.98 c Core size: 4 Core Weight: 1 Total Weight: -671 50.85/50.98 c Elapsed CPU time: 49.2115 s Remaining CPU time: 1750.79 s 51.05/51.14 c core #330 51.05/51.14 c Core size: 4 Core Weight: 1 Total Weight: -670 51.05/51.14 c Elapsed CPU time: 49.3625 s Remaining CPU time: 1750.64 s 51.15/51.30 c core #331 51.15/51.30 c Core size: 4 Core Weight: 1 Total Weight: -669 51.15/51.30 c Elapsed CPU time: 49.5205 s Remaining CPU time: 1750.48 s 51.34/51.45 c core #332 51.34/51.45 c Core size: 4 Core Weight: 1 Total Weight: -668 51.34/51.45 c Elapsed CPU time: 49.6744 s Remaining CPU time: 1750.33 s 51.55/51.61 c core #333 51.55/51.61 c Core size: 4 Core Weight: 1 Total Weight: -667 51.55/51.61 c Elapsed CPU time: 49.8274 s Remaining CPU time: 1750.17 s 51.65/51.77 c core #334 51.65/51.77 c Core size: 4 Core Weight: 1 Total Weight: -666 51.65/51.77 c Elapsed CPU time: 49.9834 s Remaining CPU time: 1750.02 s 51.84/51.93 c core #335 51.84/51.93 c Core size: 4 Core Weight: 1 Total Weight: -665 51.84/51.93 c Elapsed CPU time: 50.1324 s Remaining CPU time: 1749.87 s 51.95/52.09 c core #336 51.95/52.09 c Core size: 4 Core Weight: 1 Total Weight: -664 51.95/52.09 c Elapsed CPU time: 50.2854 s Remaining CPU time: 1749.71 s 52.14/52.25 c core #337 52.14/52.25 c Core size: 4 Core Weight: 1 Total Weight: -663 52.14/52.25 c Elapsed CPU time: 50.4403 s Remaining CPU time: 1749.56 s 52.35/52.41 c core #338 52.35/52.41 c Core size: 4 Core Weight: 1 Total Weight: -662 52.35/52.41 c Elapsed CPU time: 50.5963 s Remaining CPU time: 1749.4 s 52.44/52.57 c core #339 52.44/52.57 c Core size: 4 Core Weight: 1 Total Weight: -661 52.44/52.57 c Elapsed CPU time: 50.7513 s Remaining CPU time: 1749.25 s 52.65/52.73 c core #340 52.65/52.73 c Core size: 4 Core Weight: 1 Total Weight: -660 52.65/52.73 c Elapsed CPU time: 50.9033 s Remaining CPU time: 1749.1 s 52.74/52.89 c core #341 52.74/52.89 c Core size: 4 Core Weight: 1 Total Weight: -659 52.74/52.89 c Elapsed CPU time: 51.0592 s Remaining CPU time: 1748.94 s 52.94/53.05 c core #342 52.94/53.05 c Core size: 4 Core Weight: 1 Total Weight: -658 52.94/53.05 c Elapsed CPU time: 51.2142 s Remaining CPU time: 1748.79 s 53.15/53.22 c core #343 53.15/53.22 c Core size: 4 Core Weight: 1 Total Weight: -657 53.15/53.22 c Elapsed CPU time: 51.3732 s Remaining CPU time: 1748.63 s 53.24/53.38 c core #344 53.24/53.38 c Core size: 4 Core Weight: 1 Total Weight: -656 53.24/53.38 c Elapsed CPU time: 51.5282 s Remaining CPU time: 1748.47 s 53.45/53.54 c core #345 53.45/53.54 c Core size: 4 Core Weight: 1 Total Weight: -655 53.45/53.54 c Elapsed CPU time: 51.6831 s Remaining CPU time: 1748.32 s 53.64/53.70 c core #346 53.64/53.70 c Core size: 4 Core Weight: 1 Total Weight: -654 53.64/53.70 c Elapsed CPU time: 51.8381 s Remaining CPU time: 1748.16 s 53.75/53.86 c core #347 53.75/53.86 c Core size: 4 Core Weight: 1 Total Weight: -653 53.75/53.86 c Elapsed CPU time: 51.9901 s Remaining CPU time: 1748.01 s 53.95/54.02 c core #348 53.95/54.02 c Core size: 4 Core Weight: 1 Total Weight: -652 53.95/54.02 c Elapsed CPU time: 52.1431 s Remaining CPU time: 1747.86 s 54.04/54.18 c core #349 54.04/54.18 c Core size: 4 Core Weight: 1 Total Weight: -651 54.04/54.18 c Elapsed CPU time: 52.3 s Remaining CPU time: 1747.7 s 54.24/54.34 c core #350 54.24/54.34 c Core size: 4 Core Weight: 1 Total Weight: -650 54.24/54.34 c Elapsed CPU time: 52.455 s Remaining CPU time: 1747.54 s 54.45/54.50 c core #351 54.45/54.50 c Core size: 4 Core Weight: 1 Total Weight: -649 54.45/54.50 c Elapsed CPU time: 52.608 s Remaining CPU time: 1747.39 s 54.54/54.66 c core #352 54.54/54.66 c Core size: 4 Core Weight: 1 Total Weight: -648 54.54/54.66 c Elapsed CPU time: 52.76 s Remaining CPU time: 1747.24 s 54.74/54.82 c core #353 54.74/54.82 c Core size: 4 Core Weight: 1 Total Weight: -647 54.74/54.82 c Elapsed CPU time: 52.912 s Remaining CPU time: 1747.09 s 54.85/54.98 c core #354 54.85/54.98 c Core size: 4 Core Weight: 1 Total Weight: -646 54.85/54.98 c Elapsed CPU time: 53.0619 s Remaining CPU time: 1746.94 s 55.04/55.14 c core #355 55.04/55.14 c Core size: 4 Core Weight: 1 Total Weight: -645 55.04/55.14 c Elapsed CPU time: 53.2139 s Remaining CPU time: 1746.79 s 55.24/55.30 c core #356 55.24/55.30 c Core size: 4 Core Weight: 1 Total Weight: -644 55.24/55.30 c Elapsed CPU time: 53.3679 s Remaining CPU time: 1746.63 s 55.34/55.46 c core #357 55.34/55.46 c Core size: 4 Core Weight: 1 Total Weight: -643 55.34/55.46 c Elapsed CPU time: 53.5219 s Remaining CPU time: 1746.48 s 55.54/55.62 c core #358 55.54/55.62 c Core size: 4 Core Weight: 1 Total Weight: -642 55.54/55.62 c Elapsed CPU time: 53.6738 s Remaining CPU time: 1746.33 s 55.64/55.78 c core #359 55.64/55.78 c Core size: 4 Core Weight: 1 Total Weight: -641 55.64/55.78 c Elapsed CPU time: 53.8268 s Remaining CPU time: 1746.17 s 55.84/55.94 c core #360 55.84/55.94 c Core size: 4 Core Weight: 1 Total Weight: -640 55.84/55.94 c Elapsed CPU time: 53.9828 s Remaining CPU time: 1746.02 s 55.94/56.10 c core #361 55.94/56.10 c Core size: 4 Core Weight: 1 Total Weight: -639 55.94/56.10 c Elapsed CPU time: 54.1358 s Remaining CPU time: 1745.86 s 56.14/56.26 c core #362 56.14/56.26 c Core size: 4 Core Weight: 1 Total Weight: -638 56.14/56.26 c Elapsed CPU time: 54.2867 s Remaining CPU time: 1745.71 s 56.34/56.42 c core #363 56.34/56.42 c Core size: 4 Core Weight: 1 Total Weight: -637 56.34/56.43 c Elapsed CPU time: 54.4427 s Remaining CPU time: 1745.56 s 56.44/56.59 c core #364 56.44/56.59 c Core size: 4 Core Weight: 1 Total Weight: -636 56.44/56.59 c Elapsed CPU time: 54.5987 s Remaining CPU time: 1745.4 s 56.64/56.75 c core #365 56.64/56.75 c Core size: 4 Core Weight: 1 Total Weight: -635 56.64/56.75 c Elapsed CPU time: 54.7587 s Remaining CPU time: 1745.24 s 56.84/56.91 c core #366 56.84/56.91 c Core size: 4 Core Weight: 1 Total Weight: -634 56.84/56.91 c Elapsed CPU time: 54.9137 s Remaining CPU time: 1745.09 s 56.94/57.07 c core #367 56.94/57.07 c Core size: 4 Core Weight: 1 Total Weight: -633 56.94/57.07 c Elapsed CPU time: 55.0656 s Remaining CPU time: 1744.93 s 57.14/57.24 c core #368 57.14/57.24 c Core size: 4 Core Weight: 1 Total Weight: -632 57.14/57.24 c Elapsed CPU time: 55.2216 s Remaining CPU time: 1744.78 s 57.34/57.40 c core #369 57.34/57.40 c Core size: 4 Core Weight: 1 Total Weight: -631 57.34/57.40 c Elapsed CPU time: 55.3806 s Remaining CPU time: 1744.62 s 57.44/57.56 c core #370 57.44/57.56 c Core size: 4 Core Weight: 1 Total Weight: -630 57.44/57.56 c Elapsed CPU time: 55.5356 s Remaining CPU time: 1744.46 s 57.64/57.72 c core #371 57.64/57.72 c Core size: 4 Core Weight: 1 Total Weight: -629 57.64/57.72 c Elapsed CPU time: 55.6885 s Remaining CPU time: 1744.31 s 57.74/57.89 c core #372 57.74/57.89 c Core size: 4 Core Weight: 1 Total Weight: -628 57.74/57.89 c Elapsed CPU time: 55.8425 s Remaining CPU time: 1744.16 s 57.93/58.05 c core #373 57.93/58.05 c Core size: 4 Core Weight: 1 Total Weight: -627 57.93/58.05 c Elapsed CPU time: 55.9985 s Remaining CPU time: 1744 s 58.14/58.21 c core #374 58.14/58.21 c Core size: 4 Core Weight: 1 Total Weight: -626 58.14/58.21 c Elapsed CPU time: 56.1545 s Remaining CPU time: 1743.85 s 58.24/58.37 c core #375 58.24/58.37 c Core size: 4 Core Weight: 1 Total Weight: -625 58.24/58.37 c Elapsed CPU time: 56.3144 s Remaining CPU time: 1743.69 s 58.44/58.53 c core #376 58.44/58.53 c Core size: 4 Core Weight: 1 Total Weight: -624 58.44/58.53 c Elapsed CPU time: 56.4744 s Remaining CPU time: 1743.53 s 58.64/58.70 c core #377 58.64/58.70 c Core size: 4 Core Weight: 1 Total Weight: -623 58.64/58.70 c Elapsed CPU time: 56.6334 s Remaining CPU time: 1743.37 s 58.73/58.86 c core #378 58.73/58.86 c Core size: 4 Core Weight: 1 Total Weight: -622 58.73/58.86 c Elapsed CPU time: 56.7884 s Remaining CPU time: 1743.21 s 58.93/59.02 c core #379 58.93/59.02 c Core size: 4 Core Weight: 1 Total Weight: -621 58.93/59.02 c Elapsed CPU time: 56.9443 s Remaining CPU time: 1743.06 s 59.04/59.18 c core #380 59.04/59.18 c Core size: 4 Core Weight: 1 Total Weight: -620 59.04/59.18 c Elapsed CPU time: 57.1033 s Remaining CPU time: 1742.9 s 59.24/59.35 c core #381 59.24/59.35 c Core size: 4 Core Weight: 1 Total Weight: -619 59.24/59.35 c Elapsed CPU time: 57.2613 s Remaining CPU time: 1742.74 s 59.44/59.51 c core #382 59.44/59.51 c Core size: 4 Core Weight: 1 Total Weight: -618 59.44/59.51 c Elapsed CPU time: 57.4173 s Remaining CPU time: 1742.58 s 59.53/59.68 c core #383 59.53/59.68 c Core size: 4 Core Weight: 1 Total Weight: -617 59.53/59.68 c Elapsed CPU time: 57.5802 s Remaining CPU time: 1742.42 s 59.74/59.84 c core #384 59.74/59.84 c Core size: 4 Core Weight: 1 Total Weight: -616 59.74/59.84 c Elapsed CPU time: 57.7342 s Remaining CPU time: 1742.27 s 59.94/60.01 c core #385 59.94/60.01 c Core size: 4 Core Weight: 1 Total Weight: -615 59.94/60.01 c Elapsed CPU time: 57.8912 s Remaining CPU time: 1742.11 s 60.03/60.17 c core #386 60.03/60.17 c Core size: 4 Core Weight: 1 Total Weight: -614 60.03/60.17 c Elapsed CPU time: 58.0462 s Remaining CPU time: 1741.95 s 60.24/60.33 c core #387 60.24/60.33 c Core size: 4 Core Weight: 1 Total Weight: -613 60.24/60.33 c Elapsed CPU time: 58.2042 s Remaining CPU time: 1741.8 s 60.34/60.50 c core #388 60.34/60.50 c Core size: 4 Core Weight: 1 Total Weight: -612 60.34/60.50 c Elapsed CPU time: 58.3641 s Remaining CPU time: 1741.64 s 60.54/60.66 c core #389 60.54/60.66 c Core size: 4 Core Weight: 1 Total Weight: -611 60.54/60.66 c Elapsed CPU time: 58.5241 s Remaining CPU time: 1741.48 s 60.74/60.83 c core #390 60.74/60.83 c Core size: 4 Core Weight: 1 Total Weight: -610 60.74/60.83 c Elapsed CPU time: 58.6851 s Remaining CPU time: 1741.31 s 60.83/61.00 c core #391 60.83/61.00 c Core size: 4 Core Weight: 1 Total Weight: -609 60.83/61.00 c Elapsed CPU time: 58.8471 s Remaining CPU time: 1741.15 s 61.04/61.16 c core #392 61.04/61.16 c Core size: 4 Core Weight: 1 Total Weight: -608 61.04/61.16 c Elapsed CPU time: 59.004 s Remaining CPU time: 1741 s 61.24/61.32 c core #393 61.24/61.32 c Core size: 4 Core Weight: 1 Total Weight: -607 61.24/61.32 c Elapsed CPU time: 59.163 s Remaining CPU time: 1740.84 s 61.34/61.49 c core #394 61.34/61.49 c Core size: 4 Core Weight: 1 Total Weight: -606 61.34/61.49 c Elapsed CPU time: 59.319 s Remaining CPU time: 1740.68 s 61.54/61.65 c core #395 61.54/61.65 c Core size: 4 Core Weight: 1 Total Weight: -605 61.54/61.65 c Elapsed CPU time: 59.479 s Remaining CPU time: 1740.52 s 61.74/61.82 c core #396 61.74/61.82 c Core size: 4 Core Weight: 1 Total Weight: -604 61.74/61.82 c Elapsed CPU time: 59.6419 s Remaining CPU time: 1740.36 s 61.83/61.98 c core #397 61.83/61.98 c Core size: 4 Core Weight: 1 Total Weight: -603 61.83/61.98 c Elapsed CPU time: 59.7979 s Remaining CPU time: 1740.2 s 62.03/62.14 c core #398 62.03/62.14 c Core size: 4 Core Weight: 1 Total Weight: -602 62.03/62.14 c Elapsed CPU time: 59.9529 s Remaining CPU time: 1740.05 s 62.24/62.31 c core #399 62.24/62.31 c Core size: 4 Core Weight: 1 Total Weight: -601 62.24/62.31 c Elapsed CPU time: 60.1119 s Remaining CPU time: 1739.89 s 62.34/62.47 c core #400 62.34/62.47 c Core size: 4 Core Weight: 1 Total Weight: -600 62.34/62.47 c Elapsed CPU time: 60.2698 s Remaining CPU time: 1739.73 s 62.54/62.64 c core #401 62.54/62.64 c Core size: 4 Core Weight: 1 Total Weight: -599 62.54/62.64 c Elapsed CPU time: 60.4318 s Remaining CPU time: 1739.57 s 62.74/62.80 c core #402 62.74/62.80 c Core size: 4 Core Weight: 1 Total Weight: -598 62.74/62.80 c Elapsed CPU time: 60.5898 s Remaining CPU time: 1739.41 s 62.84/62.97 c core #403 62.84/62.97 c Core size: 4 Core Weight: 1 Total Weight: -597 62.84/62.97 c Elapsed CPU time: 60.7448 s Remaining CPU time: 1739.26 s 63.03/63.13 c core #404 63.03/63.13 c Core size: 4 Core Weight: 1 Total Weight: -596 63.03/63.13 c Elapsed CPU time: 60.9007 s Remaining CPU time: 1739.1 s 63.14/63.30 c core #405 63.14/63.30 c Core size: 4 Core Weight: 1 Total Weight: -595 63.14/63.30 c Elapsed CPU time: 61.0607 s Remaining CPU time: 1738.94 s 63.34/63.46 c core #406 63.34/63.46 c Core size: 4 Core Weight: 1 Total Weight: -594 63.34/63.46 c Elapsed CPU time: 61.2217 s Remaining CPU time: 1738.78 s 63.53/63.63 c core #407 63.53/63.63 c Core size: 4 Core Weight: 1 Total Weight: -593 63.53/63.63 c Elapsed CPU time: 61.3847 s Remaining CPU time: 1738.62 s 63.74/63.80 c core #408 63.74/63.80 c Core size: 4 Core Weight: 1 Total Weight: -592 63.74/63.80 c Elapsed CPU time: 61.5466 s Remaining CPU time: 1738.45 s 63.83/63.97 c core #409 63.83/63.97 c Core size: 4 Core Weight: 1 Total Weight: -591 63.83/63.97 c Elapsed CPU time: 61.7076 s Remaining CPU time: 1738.29 s 64.03/64.14 c core #410 64.03/64.14 c Core size: 4 Core Weight: 1 Total Weight: -590 64.03/64.14 c Elapsed CPU time: 61.8676 s Remaining CPU time: 1738.13 s 64.24/64.31 c core #411 64.24/64.31 c Core size: 4 Core Weight: 1 Total Weight: -589 64.24/64.31 c Elapsed CPU time: 62.0326 s Remaining CPU time: 1737.97 s 64.34/64.47 c core #412 64.34/64.47 c Core size: 4 Core Weight: 1 Total Weight: -588 64.34/64.47 c Elapsed CPU time: 62.1945 s Remaining CPU time: 1737.81 s 64.54/64.64 c core #413 64.54/64.64 c Core size: 4 Core Weight: 1 Total Weight: -587 64.54/64.64 c Elapsed CPU time: 62.3555 s Remaining CPU time: 1737.64 s 64.74/64.81 c core #414 64.74/64.81 c Core size: 4 Core Weight: 1 Total Weight: -586 64.74/64.81 c Elapsed CPU time: 62.5175 s Remaining CPU time: 1737.48 s 64.83/64.97 c core #415 64.83/64.97 c Core size: 4 Core Weight: 1 Total Weight: -585 64.83/64.97 c Elapsed CPU time: 62.6775 s Remaining CPU time: 1737.32 s 65.03/65.14 c core #416 65.03/65.14 c Core size: 4 Core Weight: 1 Total Weight: -584 65.03/65.14 c Elapsed CPU time: 62.8354 s Remaining CPU time: 1737.16 s 65.24/65.30 c core #417 65.24/65.30 c Core size: 4 Core Weight: 1 Total Weight: -583 65.24/65.30 c Elapsed CPU time: 62.9944 s Remaining CPU time: 1737.01 s 65.33/65.47 c core #418 65.33/65.47 c Core size: 4 Core Weight: 1 Total Weight: -582 65.33/65.47 c Elapsed CPU time: 63.1504 s Remaining CPU time: 1736.85 s 65.53/65.63 c core #419 65.53/65.63 c Core size: 4 Core Weight: 1 Total Weight: -581 65.53/65.63 c Elapsed CPU time: 63.3124 s Remaining CPU time: 1736.69 s 65.63/65.80 c core #420 65.63/65.80 c Core size: 4 Core Weight: 1 Total Weight: -580 65.63/65.80 c Elapsed CPU time: 63.4674 s Remaining CPU time: 1736.53 s 65.84/65.96 c core #421 65.84/65.96 c Core size: 4 Core Weight: 1 Total Weight: -579 65.84/65.96 c Elapsed CPU time: 63.6243 s Remaining CPU time: 1736.38 s 66.03/66.13 c core #422 66.03/66.13 c Core size: 4 Core Weight: 1 Total Weight: -578 66.03/66.13 c Elapsed CPU time: 63.7813 s Remaining CPU time: 1736.22 s 66.23/66.30 c core #423 66.23/66.30 c Core size: 4 Core Weight: 1 Total Weight: -577 66.23/66.30 c Elapsed CPU time: 63.9443 s Remaining CPU time: 1736.06 s 66.34/66.47 c core #424 66.34/66.47 c Core size: 4 Core Weight: 1 Total Weight: -576 66.34/66.47 c Elapsed CPU time: 64.1093 s Remaining CPU time: 1735.89 s 66.53/66.63 c core #425 66.53/66.63 c Core size: 4 Core Weight: 1 Total Weight: -575 66.53/66.63 c Elapsed CPU time: 64.2762 s Remaining CPU time: 1735.72 s 66.73/66.80 c core #426 66.73/66.80 c Core size: 4 Core Weight: 1 Total Weight: -574 66.73/66.80 c Elapsed CPU time: 64.4312 s Remaining CPU time: 1735.57 s 66.83/66.97 c core #427 66.83/66.97 c Core size: 4 Core Weight: 1 Total Weight: -573 66.83/66.97 c Elapsed CPU time: 64.5952 s Remaining CPU time: 1735.4 s 67.04/67.14 c core #428 67.04/67.14 c Core size: 4 Core Weight: 1 Total Weight: -572 67.04/67.14 c Elapsed CPU time: 64.7562 s Remaining CPU time: 1735.24 s 67.24/67.30 c core #429 67.24/67.30 c Core size: 4 Core Weight: 1 Total Weight: -571 67.24/67.30 c Elapsed CPU time: 64.9151 s Remaining CPU time: 1735.08 s 67.33/67.46 c core #430 67.33/67.46 c Core size: 4 Core Weight: 1 Total Weight: -570 67.33/67.47 c Elapsed CPU time: 65.0711 s Remaining CPU time: 1734.93 s 67.53/67.63 c core #431 67.53/67.63 c Core size: 4 Core Weight: 1 Total Weight: -569 67.53/67.63 c Elapsed CPU time: 65.2311 s Remaining CPU time: 1734.77 s 67.63/67.79 c core #432 67.63/67.79 c Core size: 4 Core Weight: 1 Total Weight: -568 67.63/67.79 c Elapsed CPU time: 65.3911 s Remaining CPU time: 1734.61 s 67.83/67.96 c core #433 67.83/67.96 c Core size: 4 Core Weight: 1 Total Weight: -567 67.83/67.96 c Elapsed CPU time: 65.553 s Remaining CPU time: 1734.45 s 68.04/68.13 c core #434 68.04/68.13 c Core size: 4 Core Weight: 1 Total Weight: -566 68.04/68.13 c Elapsed CPU time: 65.711 s Remaining CPU time: 1734.29 s 68.14/68.30 c core #435 68.14/68.30 c Core size: 4 Core Weight: 1 Total Weight: -565 68.14/68.30 c Elapsed CPU time: 65.873 s Remaining CPU time: 1734.13 s 68.33/68.46 c core #436 68.33/68.46 c Core size: 4 Core Weight: 1 Total Weight: -564 68.33/68.46 c Elapsed CPU time: 66.034 s Remaining CPU time: 1733.97 s 68.53/68.63 c core #437 68.53/68.63 c Core size: 4 Core Weight: 1 Total Weight: -563 68.53/68.63 c Elapsed CPU time: 66.1959 s Remaining CPU time: 1733.8 s 68.63/68.79 c core #438 68.63/68.79 c Core size: 4 Core Weight: 1 Total Weight: -562 68.63/68.79 c Elapsed CPU time: 66.3559 s Remaining CPU time: 1733.64 s 68.83/68.96 c core #439 68.83/68.96 c Core size: 4 Core Weight: 1 Total Weight: -561 68.83/68.96 c Elapsed CPU time: 66.5169 s Remaining CPU time: 1733.48 s 69.03/69.12 c core #440 69.03/69.12 c Core size: 4 Core Weight: 1 Total Weight: -560 69.03/69.12 c Elapsed CPU time: 66.6789 s Remaining CPU time: 1733.32 s 69.14/69.29 c core #441 69.14/69.29 c Core size: 4 Core Weight: 1 Total Weight: -559 69.14/69.29 c Elapsed CPU time: 66.8438 s Remaining CPU time: 1733.16 s 69.33/69.46 c core #442 69.33/69.46 c Core size: 4 Core Weight: 1 Total Weight: -558 69.33/69.46 c Elapsed CPU time: 67.0038 s Remaining CPU time: 1733 s 69.53/69.63 c core #443 69.53/69.63 c Core size: 4 Core Weight: 1 Total Weight: -557 69.53/69.63 c Elapsed CPU time: 67.1668 s Remaining CPU time: 1732.83 s 69.63/69.79 c core #444 69.63/69.79 c Core size: 4 Core Weight: 1 Total Weight: -556 69.63/69.80 c Elapsed CPU time: 67.3248 s Remaining CPU time: 1732.68 s 69.83/69.96 c core #445 69.83/69.96 c Core size: 4 Core Weight: 1 Total Weight: -555 69.83/69.96 c Elapsed CPU time: 67.4847 s Remaining CPU time: 1732.52 s 70.03/70.13 c core #446 70.03/70.13 c Core size: 4 Core Weight: 1 Total Weight: -554 70.03/70.13 c Elapsed CPU time: 67.6457 s Remaining CPU time: 1732.35 s 70.12/70.30 c core #447 70.12/70.30 c Core size: 4 Core Weight: 1 Total Weight: -553 70.12/70.30 c Elapsed CPU time: 67.8087 s Remaining CPU time: 1732.19 s 70.33/70.46 c core #448 70.33/70.46 c Core size: 4 Core Weight: 1 Total Weight: -552 70.33/70.46 c Elapsed CPU time: 67.9687 s Remaining CPU time: 1732.03 s 70.52/70.63 c core #449 70.52/70.63 c Core size: 4 Core Weight: 1 Total Weight: -551 70.52/70.63 c Elapsed CPU time: 68.1326 s Remaining CPU time: 1731.87 s 70.63/70.80 c core #450 70.63/70.80 c Core size: 4 Core Weight: 1 Total Weight: -550 70.63/70.80 c Elapsed CPU time: 68.2906 s Remaining CPU time: 1731.71 s 70.83/70.96 c core #451 70.83/70.96 c Core size: 4 Core Weight: 1 Total Weight: -549 70.83/70.96 c Elapsed CPU time: 68.4516 s Remaining CPU time: 1731.55 s 71.02/71.13 c core #452 71.02/71.13 c Core size: 4 Core Weight: 1 Total Weight: -548 71.02/71.13 c Elapsed CPU time: 68.6136 s Remaining CPU time: 1731.39 s 71.22/71.30 c core #453 71.22/71.30 c Core size: 4 Core Weight: 1 Total Weight: -547 71.22/71.30 c Elapsed CPU time: 68.7735 s Remaining CPU time: 1731.23 s 71.33/71.47 c core #454 71.33/71.47 c Core size: 4 Core Weight: 1 Total Weight: -546 71.33/71.47 c Elapsed CPU time: 68.9345 s Remaining CPU time: 1731.07 s 71.53/71.63 c core #455 71.53/71.63 c Core size: 4 Core Weight: 1 Total Weight: -545 71.53/71.63 c Elapsed CPU time: 69.0915 s Remaining CPU time: 1730.91 s 71.72/71.80 c core #456 71.72/71.80 c Core size: 4 Core Weight: 1 Total Weight: -544 71.72/71.80 c Elapsed CPU time: 69.2535 s Remaining CPU time: 1730.75 s 71.82/71.97 c core #457 71.82/71.97 c Core size: 4 Core Weight: 1 Total Weight: -543 71.82/71.97 c Elapsed CPU time: 69.4144 s Remaining CPU time: 1730.59 s 72.02/72.13 c core #458 72.02/72.13 c Core size: 4 Core Weight: 1 Total Weight: -542 72.02/72.13 c Elapsed CPU time: 69.5744 s Remaining CPU time: 1730.43 s 72.23/72.30 c core #459 72.23/72.30 c Core size: 4 Core Weight: 1 Total Weight: -541 72.23/72.30 c Elapsed CPU time: 69.7384 s Remaining CPU time: 1730.26 s 72.32/72.47 c core #460 72.32/72.47 c Core size: 4 Core Weight: 1 Total Weight: -540 72.32/72.47 c Elapsed CPU time: 69.8974 s Remaining CPU time: 1730.1 s 72.53/72.63 c core #461 72.53/72.63 c Core size: 4 Core Weight: 1 Total Weight: -539 72.53/72.63 c Elapsed CPU time: 70.0603 s Remaining CPU time: 1729.94 s 72.72/72.81 c core #462 72.72/72.81 c Core size: 4 Core Weight: 1 Total Weight: -538 72.72/72.81 c Elapsed CPU time: 70.2263 s Remaining CPU time: 1729.77 s 72.83/72.97 c core #463 72.83/72.97 c Core size: 4 Core Weight: 1 Total Weight: -537 72.83/72.97 c Elapsed CPU time: 70.3913 s Remaining CPU time: 1729.61 s 73.02/73.15 c core #464 73.02/73.15 c Core size: 4 Core Weight: 1 Total Weight: -536 73.02/73.15 c Elapsed CPU time: 70.5573 s Remaining CPU time: 1729.44 s 73.22/73.32 c core #465 73.22/73.32 c Core size: 4 Core Weight: 1 Total Weight: -535 73.22/73.32 c Elapsed CPU time: 70.7242 s Remaining CPU time: 1729.28 s 73.33/73.49 c core #466 73.33/73.49 c Core size: 4 Core Weight: 1 Total Weight: -534 73.33/73.49 c Elapsed CPU time: 70.8922 s Remaining CPU time: 1729.11 s 73.53/73.66 c core #467 73.53/73.66 c Core size: 4 Core Weight: 1 Total Weight: -533 73.53/73.66 c Elapsed CPU time: 71.0582 s Remaining CPU time: 1728.94 s 73.72/73.83 c core #468 73.72/73.83 c Core size: 4 Core Weight: 1 Total Weight: -532 73.72/73.83 c Elapsed CPU time: 71.2252 s Remaining CPU time: 1728.77 s 73.83/73.99 c core #469 73.83/73.99 c Core size: 4 Core Weight: 1 Total Weight: -531 73.83/73.99 c Elapsed CPU time: 71.3851 s Remaining CPU time: 1728.61 s 74.02/74.16 c core #470 74.02/74.16 c Core size: 4 Core Weight: 1 Total Weight: -530 74.02/74.16 c Elapsed CPU time: 71.5491 s Remaining CPU time: 1728.45 s 74.23/74.33 c core #471 74.23/74.33 c Core size: 4 Core Weight: 1 Total Weight: -529 74.23/74.33 c Elapsed CPU time: 71.7111 s Remaining CPU time: 1728.29 s 74.32/74.50 c core #472 74.32/74.50 c Core size: 4 Core Weight: 1 Total Weight: -528 74.32/74.50 c Elapsed CPU time: 71.8731 s Remaining CPU time: 1728.13 s 74.53/74.67 c core #473 74.53/74.67 c Core size: 4 Core Weight: 1 Total Weight: -527 74.53/74.67 c Elapsed CPU time: 72.036 s Remaining CPU time: 1727.96 s 74.73/74.84 c core #474 74.73/74.84 c Core size: 4 Core Weight: 1 Total Weight: -526 74.73/74.84 c Elapsed CPU time: 72.2 s Remaining CPU time: 1727.8 s 74.92/75.01 c core #475 74.92/75.01 c Core size: 4 Core Weight: 1 Total Weight: -525 74.92/75.01 c Elapsed CPU time: 72.364 s Remaining CPU time: 1727.64 s 75.02/75.18 c core #476 75.02/75.18 c Core size: 4 Core Weight: 1 Total Weight: -524 75.02/75.18 c Elapsed CPU time: 72.529 s Remaining CPU time: 1727.47 s 75.22/75.35 c core #477 75.22/75.35 c Core size: 4 Core Weight: 1 Total Weight: -523 75.22/75.35 c Elapsed CPU time: 72.6919 s Remaining CPU time: 1727.31 s 75.42/75.51 c core #478 75.42/75.51 c Core size: 4 Core Weight: 1 Total Weight: -522 75.42/75.51 c Elapsed CPU time: 72.8579 s Remaining CPU time: 1727.14 s 75.52/75.68 c core #479 75.52/75.68 c Core size: 4 Core Weight: 1 Total Weight: -521 75.52/75.68 c Elapsed CPU time: 73.0219 s Remaining CPU time: 1726.98 s 75.72/75.85 c core #480 75.72/75.85 c Core size: 4 Core Weight: 1 Total Weight: -520 75.72/75.85 c Elapsed CPU time: 73.1859 s Remaining CPU time: 1726.81 s 75.92/76.03 c core #481 75.92/76.03 c Core size: 4 Core Weight: 1 Total Weight: -519 75.92/76.03 c Elapsed CPU time: 73.3528 s Remaining CPU time: 1726.65 s 76.03/76.20 c core #482 76.03/76.20 c Core size: 4 Core Weight: 1 Total Weight: -518 76.03/76.20 c Elapsed CPU time: 73.5188 s Remaining CPU time: 1726.48 s 76.22/76.37 c core #483 76.22/76.37 c Core size: 4 Core Weight: 1 Total Weight: -517 76.22/76.37 c Elapsed CPU time: 73.6858 s Remaining CPU time: 1726.31 s 76.42/76.54 c core #484 76.42/76.54 c Core size: 4 Core Weight: 1 Total Weight: -516 76.42/76.54 c Elapsed CPU time: 73.8538 s Remaining CPU time: 1726.15 s 76.62/76.72 c core #485 76.62/76.72 c Core size: 4 Core Weight: 1 Total Weight: -515 76.62/76.72 c Elapsed CPU time: 74.0237 s Remaining CPU time: 1725.98 s 76.72/76.89 c core #486 76.72/76.89 c Core size: 4 Core Weight: 1 Total Weight: -514 76.72/76.89 c Elapsed CPU time: 74.1977 s Remaining CPU time: 1725.8 s 76.93/77.07 c core #487 76.93/77.07 c Core size: 4 Core Weight: 1 Total Weight: -513 76.93/77.07 c Elapsed CPU time: 74.3687 s Remaining CPU time: 1725.63 s 77.12/77.24 c core #488 77.12/77.24 c Core size: 4 Core Weight: 1 Total Weight: -512 77.12/77.24 c Elapsed CPU time: 74.5347 s Remaining CPU time: 1725.47 s 77.32/77.41 c core #489 77.32/77.41 c Core size: 4 Core Weight: 1 Total Weight: -511 77.32/77.41 c Elapsed CPU time: 74.6996 s Remaining CPU time: 1725.3 s 77.42/77.58 c core #490 77.42/77.58 c Core size: 4 Core Weight: 1 Total Weight: -510 77.42/77.58 c Elapsed CPU time: 74.8616 s Remaining CPU time: 1725.14 s 77.62/77.75 c core #491 77.62/77.75 c Core size: 4 Core Weight: 1 Total Weight: -509 77.62/77.75 c Elapsed CPU time: 75.0236 s Remaining CPU time: 1724.98 s 77.82/77.92 c core #492 77.82/77.92 c Core size: 4 Core Weight: 1 Total Weight: -508 77.82/77.92 c Elapsed CPU time: 75.1876 s Remaining CPU time: 1724.81 s 77.92/78.10 c core #493 77.92/78.10 c Core size: 4 Core Weight: 1 Total Weight: -507 77.92/78.10 c Elapsed CPU time: 75.3575 s Remaining CPU time: 1724.64 s 78.12/78.28 c core #494 78.12/78.28 c Core size: 9 Core Weight: 1 Total Weight: -506 78.12/78.28 c Elapsed CPU time: 75.5295 s Remaining CPU time: 1724.47 s 78.31/78.45 c core #495 78.31/78.45 c Core size: 9 Core Weight: 1 Total Weight: -505 78.31/78.45 c Elapsed CPU time: 75.6965 s Remaining CPU time: 1724.3 s 78.51/78.62 c core #496 78.51/78.62 c Core size: 9 Core Weight: 1 Total Weight: -504 78.51/78.62 c Elapsed CPU time: 75.8595 s Remaining CPU time: 1724.14 s 78.61/78.79 c core #497 78.61/78.79 c Core size: 9 Core Weight: 1 Total Weight: -503 78.61/78.79 c Elapsed CPU time: 76.0274 s Remaining CPU time: 1723.97 s 78.82/78.96 c core #498 78.82/78.96 c Core size: 9 Core Weight: 1 Total Weight: -502 78.82/78.96 c Elapsed CPU time: 76.1934 s Remaining CPU time: 1723.81 s 79.02/79.13 c core #499 79.02/79.13 c Core size: 9 Core Weight: 1 Total Weight: -501 79.02/79.13 c Elapsed CPU time: 76.3614 s Remaining CPU time: 1723.64 s 79.22/79.31 c core #500 79.22/79.31 c Core size: 17 Core Weight: 1 Total Weight: -500 79.22/79.31 c Elapsed CPU time: 76.5354 s Remaining CPU time: 1723.46 s 79.32/79.48 c core #501 79.32/79.48 c Core size: 8 Core Weight: 1 Total Weight: -499 79.32/79.48 c Elapsed CPU time: 76.6913 s Remaining CPU time: 1723.31 s 79.51/79.64 c ============================[ Search Statistics ]============================== 79.51/79.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.51/79.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.51/79.64 c =============================================================================== 79.51/79.64 c | 0 | 2020 78787 189995 | 26262 0 nan | 0.000 % | 79.51/79.66 c =============================================================================== 79.51/79.66 c core #502 79.51/79.66 c Core size: 15 Core Weight: 1 Total Weight: -498 79.51/79.66 c Elapsed CPU time: 76.8693 s Remaining CPU time: 1723.13 s 79.72/79.82 c ============================[ Search Statistics ]============================== 79.72/79.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.72/79.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.72/79.82 c =============================================================================== 79.72/79.82 c | 0 | 2026 78788 190007 | 26262 0 nan | 0.000 % | 79.72/79.82 c =============================================================================== 79.72/79.83 c core #503 79.72/79.83 c Core size: 16 Core Weight: 1 Total Weight: -497 79.72/79.83 c Elapsed CPU time: 77.0343 s Remaining CPU time: 1722.97 s 79.82/79.99 c ============================[ Search Statistics ]============================== 79.82/79.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.82/79.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.82/79.99 c =============================================================================== 79.82/79.99 c | 0 | 2032 78789 190019 | 26263 0 nan | 0.000 % | 79.91/80.00 c =============================================================================== 79.91/80.01 c core #504 79.91/80.01 c Core size: 17 Core Weight: 1 Total Weight: -496 79.91/80.01 c Elapsed CPU time: 77.2083 s Remaining CPU time: 1722.79 s 80.01/80.17 c ============================[ Search Statistics ]============================== 80.01/80.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.01/80.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.01/80.17 c =============================================================================== 80.01/80.17 c | 0 | 2038 78790 190031 | 26263 0 nan | 0.000 % | 80.01/80.17 c =============================================================================== 80.01/80.18 c core #505 80.01/80.18 c Core size: 16 Core Weight: 1 Total Weight: -495 80.01/80.18 c Elapsed CPU time: 77.3782 s Remaining CPU time: 1722.62 s 80.22/80.34 c ============================[ Search Statistics ]============================== 80.22/80.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.22/80.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.22/80.34 c =============================================================================== 80.22/80.34 c | 0 | 2044 78791 190043 | 26263 0 nan | 0.000 % | 80.22/80.35 c =============================================================================== 80.22/80.35 c core #506 80.22/80.35 c Core size: 17 Core Weight: 1 Total Weight: -494 80.22/80.35 c Elapsed CPU time: 77.5442 s Remaining CPU time: 1722.46 s 80.41/80.52 c ============================[ Search Statistics ]============================== 80.41/80.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.41/80.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.41/80.52 c =============================================================================== 80.41/80.52 c | 0 | 2050 78792 190055 | 26264 0 nan | 0.000 % | 80.41/80.53 c =============================================================================== 80.41/80.53 c core #507 80.41/80.53 c Core size: 15 Core Weight: 1 Total Weight: -493 80.41/80.53 c Elapsed CPU time: 77.7102 s Remaining CPU time: 1722.29 s 80.51/80.69 c ============================[ Search Statistics ]============================== 80.51/80.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.51/80.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.51/80.69 c =============================================================================== 80.51/80.69 c | 0 | 2056 78793 190067 | 26264 0 nan | 0.000 % | 80.61/80.70 c =============================================================================== 80.61/80.71 c core #508 80.61/80.71 c Core size: 17 Core Weight: 1 Total Weight: -492 80.61/80.71 c Elapsed CPU time: 77.8842 s Remaining CPU time: 1722.12 s 80.72/80.87 c ============================[ Search Statistics ]============================== 80.72/80.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.72/80.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.72/80.87 c =============================================================================== 80.72/80.87 c | 0 | 2062 78794 190079 | 26264 0 nan | 0.000 % | 80.72/80.88 c =============================================================================== 80.72/80.88 c core #509 80.72/80.88 c Core size: 16 Core Weight: 1 Total Weight: -491 80.72/80.88 c Elapsed CPU time: 78.0531 s Remaining CPU time: 1721.95 s 80.91/81.04 c ============================[ Search Statistics ]============================== 80.91/81.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.91/81.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.91/81.04 c =============================================================================== 80.91/81.04 c | 0 | 2068 78795 190091 | 26265 0 nan | 0.000 % | 80.91/81.05 c =============================================================================== 80.91/81.06 c core #510 80.91/81.06 c Core size: 17 Core Weight: 1 Total Weight: -490 80.91/81.06 c Elapsed CPU time: 78.2241 s Remaining CPU time: 1721.78 s 81.12/81.22 c ============================[ Search Statistics ]============================== 81.12/81.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.12/81.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.12/81.22 c =============================================================================== 81.12/81.22 c | 0 | 2074 78796 190103 | 26265 0 nan | 0.000 % | 81.12/81.23 c =============================================================================== 81.12/81.23 c core #511 81.12/81.23 c Core size: 17 Core Weight: 1 Total Weight: -489 81.12/81.23 c Elapsed CPU time: 78.3971 s Remaining CPU time: 1721.6 s 81.22/81.40 c ============================[ Search Statistics ]============================== 81.22/81.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.22/81.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.22/81.40 c =============================================================================== 81.22/81.40 c | 0 | 2080 78797 190115 | 26265 0 nan | 0.000 % | 81.31/81.41 c =============================================================================== 81.31/81.41 c core #512 81.31/81.41 c Core size: 16 Core Weight: 1 Total Weight: -488 81.31/81.41 c Elapsed CPU time: 78.5681 s Remaining CPU time: 1721.43 s 81.42/81.58 c ============================[ Search Statistics ]============================== 81.42/81.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.42/81.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.42/81.58 c =============================================================================== 81.42/81.58 c | 0 | 2086 78798 190127 | 26266 0 nan | 0.000 % | 81.42/81.58 c =============================================================================== 81.42/81.59 c core #513 81.42/81.59 c Core size: 17 Core Weight: 1 Total Weight: -487 81.42/81.59 c Elapsed CPU time: 78.738 s Remaining CPU time: 1721.26 s 81.61/81.75 c ============================[ Search Statistics ]============================== 81.61/81.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.61/81.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.61/81.75 c =============================================================================== 81.61/81.75 c | 0 | 2092 78799 190139 | 26266 0 nan | 0.000 % | 81.61/81.76 c =============================================================================== 81.61/81.77 c core #514 81.61/81.77 c Core size: 21 Core Weight: 1 Total Weight: -486 81.61/81.77 c Elapsed CPU time: 78.915 s Remaining CPU time: 1721.08 s 81.81/81.93 c ============================[ Search Statistics ]============================== 81.81/81.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.81/81.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.81/81.93 c =============================================================================== 81.81/81.93 c | 0 | 2100 78800 190155 | 26266 0 nan | 0.000 % | 81.81/81.93 c =============================================================================== 81.81/81.94 c core #515 81.81/81.94 c Core size: 22 Core Weight: 1 Total Weight: -485 81.81/81.94 c Elapsed CPU time: 79.083 s Remaining CPU time: 1720.92 s 82.01/82.10 c ============================[ Search Statistics ]============================== 82.01/82.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.01/82.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.01/82.10 c =============================================================================== 82.01/82.10 c | 0 | 2108 78801 190171 | 26267 0 nan | 0.000 % | 82.01/82.11 c =============================================================================== 82.01/82.11 c core #516 82.01/82.11 c Core size: 16 Core Weight: 1 Total Weight: -484 82.01/82.11 c Elapsed CPU time: 79.249 s Remaining CPU time: 1720.75 s 82.10/82.28 c ============================[ Search Statistics ]============================== 82.10/82.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.10/82.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.10/82.28 c =============================================================================== 82.10/82.28 c | 0 | 2114 78802 190183 | 26267 0 nan | 0.000 % | 82.10/82.28 c =============================================================================== 82.10/82.29 c core #517 82.10/82.29 c Core size: 16 Core Weight: 1 Total Weight: -483 82.10/82.29 c Elapsed CPU time: 79.4179 s Remaining CPU time: 1720.58 s 82.31/82.45 c ============================[ Search Statistics ]============================== 82.31/82.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.31/82.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.31/82.45 c =============================================================================== 82.31/82.45 c | 0 | 2120 78803 190195 | 26267 0 nan | 0.000 % | 82.31/82.46 c =============================================================================== 82.31/82.46 c core #518 82.31/82.46 c Core size: 17 Core Weight: 1 Total Weight: -482 82.31/82.46 c Elapsed CPU time: 79.5879 s Remaining CPU time: 1720.41 s 82.51/82.63 c ============================[ Search Statistics ]============================== 82.51/82.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.51/82.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.51/82.63 c =============================================================================== 82.51/82.63 c | 0 | 2126 78804 190207 | 26268 0 nan | 0.000 % | 82.51/82.64 c =============================================================================== 82.51/82.64 c core #519 82.51/82.64 c Core size: 15 Core Weight: 1 Total Weight: -481 82.51/82.64 c Elapsed CPU time: 79.7559 s Remaining CPU time: 1720.24 s 82.70/82.80 c ============================[ Search Statistics ]============================== 82.70/82.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.70/82.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.70/82.80 c =============================================================================== 82.70/82.80 c | 0 | 2132 78805 190219 | 26268 0 nan | 0.000 % | 82.70/82.81 c =============================================================================== 82.70/82.81 c core #520 82.70/82.81 c Core size: 15 Core Weight: 1 Total Weight: -480 82.70/82.81 c Elapsed CPU time: 79.9258 s Remaining CPU time: 1720.07 s 82.81/82.98 c ============================[ Search Statistics ]============================== 82.81/82.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.81/82.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.81/82.98 c =============================================================================== 82.81/82.98 c | 0 | 2138 78806 190231 | 26268 0 nan | 0.000 % | 82.81/82.99 c =============================================================================== 82.81/82.99 c core #521 82.81/82.99 c Core size: 17 Core Weight: 1 Total Weight: -479 82.81/82.99 c Elapsed CPU time: 80.0938 s Remaining CPU time: 1719.91 s 83.01/83.15 c ============================[ Search Statistics ]============================== 83.01/83.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.01/83.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.01/83.15 c =============================================================================== 83.01/83.15 c | 0 | 2144 78807 190243 | 26269 0 nan | 0.000 % | 83.01/83.16 c =============================================================================== 83.01/83.16 c core #522 83.01/83.16 c Core size: 15 Core Weight: 1 Total Weight: -478 83.01/83.16 c Elapsed CPU time: 80.2598 s Remaining CPU time: 1719.74 s 83.20/83.32 c ============================[ Search Statistics ]============================== 83.20/83.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.20/83.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.20/83.32 c =============================================================================== 83.20/83.32 c | 0 | 2150 78808 190255 | 26269 0 nan | 0.000 % | 83.20/83.34 c =============================================================================== 83.20/83.34 c core #523 83.20/83.34 c Core size: 16 Core Weight: 1 Total Weight: -477 83.20/83.34 c Elapsed CPU time: 80.4258 s Remaining CPU time: 1719.57 s 83.31/83.50 c ============================[ Search Statistics ]============================== 83.31/83.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.31/83.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.31/83.50 c =============================================================================== 83.31/83.50 c | 0 | 2156 78809 190267 | 26269 0 nan | 0.000 % | 83.41/83.51 c =============================================================================== 83.41/83.51 c core #524 83.41/83.51 c Core size: 15 Core Weight: 1 Total Weight: -476 83.41/83.51 c Elapsed CPU time: 80.5947 s Remaining CPU time: 1719.41 s 83.50/83.68 c ============================[ Search Statistics ]============================== 83.50/83.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.50/83.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.50/83.68 c =============================================================================== 83.50/83.68 c | 0 | 2162 78810 190279 | 26270 0 nan | 0.000 % | 83.50/83.69 c =============================================================================== 83.50/83.70 c core #525 83.50/83.70 c Core size: 15 Core Weight: 1 Total Weight: -475 83.50/83.70 c Elapsed CPU time: 80.7717 s Remaining CPU time: 1719.23 s 83.71/83.86 c ============================[ Search Statistics ]============================== 83.71/83.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.71/83.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.71/83.86 c =============================================================================== 83.71/83.86 c | 0 | 2168 78811 190291 | 26270 0 nan | 0.000 % | 83.71/83.87 c =============================================================================== 83.71/83.87 c core #526 83.71/83.87 c Core size: 15 Core Weight: 1 Total Weight: -474 83.71/83.87 c Elapsed CPU time: 80.9447 s Remaining CPU time: 1719.06 s 83.91/84.03 c ============================[ Search Statistics ]============================== 83.91/84.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.91/84.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.91/84.03 c =============================================================================== 83.91/84.03 c | 0 | 2174 78812 190303 | 26270 0 nan | 0.000 % | 83.91/84.04 c =============================================================================== 83.91/84.05 c core #527 83.91/84.05 c Core size: 16 Core Weight: 1 Total Weight: -473 83.91/84.05 c Elapsed CPU time: 81.1107 s Remaining CPU time: 1718.89 s 84.10/84.21 c ============================[ Search Statistics ]============================== 84.10/84.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.10/84.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.10/84.21 c =============================================================================== 84.10/84.21 c | 0 | 2180 78813 190315 | 26271 0 nan | 0.000 % | 84.10/84.22 c =============================================================================== 84.10/84.22 c core #528 84.10/84.22 c Core size: 17 Core Weight: 1 Total Weight: -472 84.10/84.22 c Elapsed CPU time: 81.2826 s Remaining CPU time: 1718.72 s 84.21/84.39 c ============================[ Search Statistics ]============================== 84.21/84.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.21/84.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.21/84.39 c =============================================================================== 84.21/84.39 c | 0 | 2186 78814 190327 | 26271 0 nan | 0.000 % | 84.30/84.40 c =============================================================================== 84.30/84.40 c core #529 84.30/84.40 c Core size: 17 Core Weight: 1 Total Weight: -471 84.30/84.40 c Elapsed CPU time: 81.4526 s Remaining CPU time: 1718.55 s 84.40/84.56 c ============================[ Search Statistics ]============================== 84.40/84.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.40/84.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.40/84.56 c =============================================================================== 84.40/84.56 c | 0 | 2192 78815 190339 | 26271 0 nan | 0.000 % | 84.40/84.57 c =============================================================================== 84.40/84.58 c core #530 84.40/84.58 c Core size: 16 Core Weight: 1 Total Weight: -470 84.40/84.58 c Elapsed CPU time: 81.6236 s Remaining CPU time: 1718.38 s 84.61/84.74 c ============================[ Search Statistics ]============================== 84.61/84.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.61/84.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.61/84.74 c =============================================================================== 84.61/84.74 c | 0 | 2198 78816 190351 | 26272 0 nan | 0.000 % | 84.61/84.75 c =============================================================================== 84.61/84.75 c core #531 84.61/84.75 c Core size: 17 Core Weight: 1 Total Weight: -469 84.61/84.75 c Elapsed CPU time: 81.7896 s Remaining CPU time: 1718.21 s 84.81/84.91 c ============================[ Search Statistics ]============================== 84.81/84.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.81/84.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.81/84.91 c =============================================================================== 84.81/84.91 c | 0 | 2204 78817 190363 | 26272 0 nan | 0.000 % | 84.81/84.92 c =============================================================================== 84.81/84.93 c core #532 84.81/84.93 c Core size: 16 Core Weight: 1 Total Weight: -468 84.81/84.93 c Elapsed CPU time: 81.9605 s Remaining CPU time: 1718.04 s 84.90/85.09 c ============================[ Search Statistics ]============================== 84.90/85.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.90/85.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.90/85.09 c =============================================================================== 84.90/85.09 c | 0 | 2210 78818 190375 | 26272 0 nan | 0.000 % | 84.90/85.10 c =============================================================================== 85.00/85.10 c core #533 85.00/85.10 c Core size: 17 Core Weight: 1 Total Weight: -467 85.00/85.10 c Elapsed CPU time: 82.1285 s Remaining CPU time: 1717.87 s 85.10/85.26 c ============================[ Search Statistics ]============================== 85.10/85.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.10/85.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.10/85.26 c =============================================================================== 85.10/85.26 c | 0 | 2216 78819 190387 | 26273 0 nan | 0.000 % | 85.10/85.27 c =============================================================================== 85.10/85.27 c core #534 85.10/85.27 c Core size: 16 Core Weight: 1 Total Weight: -466 85.10/85.27 c Elapsed CPU time: 82.2995 s Remaining CPU time: 1717.7 s 85.30/85.44 c ============================[ Search Statistics ]============================== 85.30/85.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.30/85.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.30/85.44 c =============================================================================== 85.30/85.44 c | 0 | 2222 78820 190399 | 26273 0 nan | 0.000 % | 85.30/85.45 c =============================================================================== 85.30/85.45 c core #535 85.30/85.45 c Core size: 15 Core Weight: 1 Total Weight: -465 85.30/85.45 c Elapsed CPU time: 82.4685 s Remaining CPU time: 1717.53 s 85.49/85.62 c ============================[ Search Statistics ]============================== 85.49/85.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.49/85.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.49/85.62 c =============================================================================== 85.49/85.62 c | 0 | 2228 78821 190411 | 26273 0 nan | 0.000 % | 85.49/85.63 c =============================================================================== 85.49/85.63 c core #536 85.49/85.63 c Core size: 21 Core Weight: 1 Total Weight: -464 85.49/85.63 c Elapsed CPU time: 82.6414 s Remaining CPU time: 1717.36 s 85.60/85.79 c ============================[ Search Statistics ]============================== 85.60/85.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.60/85.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.60/85.79 c =============================================================================== 85.60/85.79 c | 0 | 2236 78822 190427 | 26274 0 nan | 0.000 % | 85.70/85.80 c =============================================================================== 85.70/85.80 c core #537 85.70/85.80 c Core size: 22 Core Weight: 1 Total Weight: -463 85.70/85.80 c Elapsed CPU time: 82.8094 s Remaining CPU time: 1717.19 s 85.79/85.97 c ============================[ Search Statistics ]============================== 85.79/85.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.79/85.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.79/85.97 c =============================================================================== 85.79/85.97 c | 0 | 2244 78823 190443 | 26274 0 nan | 0.000 % | 85.79/85.98 c =============================================================================== 85.79/85.98 c core #538 85.79/85.98 c Core size: 15 Core Weight: 1 Total Weight: -462 85.79/85.98 c Elapsed CPU time: 82.9794 s Remaining CPU time: 1717.02 s 86.00/86.14 c ============================[ Search Statistics ]============================== 86.00/86.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.00/86.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.00/86.14 c =============================================================================== 86.00/86.14 c | 0 | 2250 78824 190455 | 26274 0 nan | 0.000 % | 86.00/86.15 c =============================================================================== 86.00/86.15 c core #539 86.00/86.15 c Core size: 16 Core Weight: 1 Total Weight: -461 86.00/86.15 c Elapsed CPU time: 83.1494 s Remaining CPU time: 1716.85 s 86.20/86.32 c ============================[ Search Statistics ]============================== 86.20/86.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.20/86.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.20/86.32 c =============================================================================== 86.20/86.32 c | 0 | 2256 78825 190467 | 26275 0 nan | 0.000 % | 86.20/86.33 c =============================================================================== 86.20/86.33 c core #540 86.20/86.33 c Core size: 16 Core Weight: 1 Total Weight: -460 86.20/86.33 c Elapsed CPU time: 83.3183 s Remaining CPU time: 1716.68 s 86.30/86.49 c ============================[ Search Statistics ]============================== 86.30/86.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.30/86.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.30/86.49 c =============================================================================== 86.30/86.49 c | 0 | 2262 78826 190479 | 26275 0 nan | 0.000 % | 86.39/86.50 c =============================================================================== 86.39/86.50 c core #541 86.39/86.50 c Core size: 21 Core Weight: 1 Total Weight: -459 86.39/86.50 c Elapsed CPU time: 83.4863 s Remaining CPU time: 1716.51 s 86.49/86.67 c ============================[ Search Statistics ]============================== 86.49/86.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.49/86.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.49/86.67 c =============================================================================== 86.49/86.67 c | 0 | 2270 78827 190495 | 26275 0 nan | 0.000 % | 86.49/86.68 c =============================================================================== 86.49/86.68 c core #542 86.49/86.68 c Core size: 15 Core Weight: 1 Total Weight: -458 86.49/86.68 c Elapsed CPU time: 83.6613 s Remaining CPU time: 1716.34 s 86.70/86.84 c ============================[ Search Statistics ]============================== 86.70/86.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.70/86.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.70/86.84 c =============================================================================== 86.70/86.84 c | 0 | 2276 78828 190507 | 26276 0 nan | 0.000 % | 86.70/86.85 c =============================================================================== 86.70/86.86 c core #543 86.70/86.86 c Core size: 15 Core Weight: 1 Total Weight: -457 86.70/86.86 c Elapsed CPU time: 83.8253 s Remaining CPU time: 1716.17 s 86.89/87.01 c ============================[ Search Statistics ]============================== 86.89/87.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.89/87.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.89/87.01 c =============================================================================== 86.89/87.01 c | 0 | 2282 78829 190519 | 26276 0 nan | 0.000 % | 86.89/87.03 c =============================================================================== 86.89/87.03 c core #544 86.89/87.03 c Core size: 15 Core Weight: 1 Total Weight: -456 86.89/87.03 c Elapsed CPU time: 83.9862 s Remaining CPU time: 1716.01 s 87.00/87.19 c ============================[ Search Statistics ]============================== 87.00/87.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.00/87.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.00/87.19 c =============================================================================== 87.00/87.19 c | 0 | 2288 78830 190531 | 26276 0 nan | 0.000 % | 87.09/87.20 c =============================================================================== 87.09/87.20 c core #545 87.09/87.20 c Core size: 17 Core Weight: 1 Total Weight: -455 87.09/87.20 c Elapsed CPU time: 84.1532 s Remaining CPU time: 1715.85 s 87.19/87.37 c ============================[ Search Statistics ]============================== 87.19/87.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.19/87.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.19/87.37 c =============================================================================== 87.19/87.37 c | 0 | 2294 78831 190543 | 26277 0 nan | 0.000 % | 87.19/87.38 c =============================================================================== 87.19/87.38 c core #546 87.19/87.38 c Core size: 17 Core Weight: 1 Total Weight: -454 87.19/87.38 c Elapsed CPU time: 84.3282 s Remaining CPU time: 1715.67 s 87.40/87.54 c ============================[ Search Statistics ]============================== 87.40/87.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.40/87.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.40/87.54 c =============================================================================== 87.40/87.54 c | 0 | 2300 78832 190555 | 26277 0 nan | 0.000 % | 87.40/87.55 c =============================================================================== 87.40/87.55 c core #547 87.40/87.55 c Core size: 16 Core Weight: 1 Total Weight: -453 87.40/87.55 c Elapsed CPU time: 84.4982 s Remaining CPU time: 1715.5 s 87.60/87.72 c ============================[ Search Statistics ]============================== 87.60/87.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.60/87.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.60/87.72 c =============================================================================== 87.60/87.72 c | 0 | 2306 78833 190567 | 26277 0 nan | 0.000 % | 87.60/87.73 c =============================================================================== 87.60/87.73 c core #548 87.60/87.73 c Core size: 21 Core Weight: 1 Total Weight: -452 87.60/87.73 c Elapsed CPU time: 84.6661 s Remaining CPU time: 1715.33 s 87.69/87.89 c ============================[ Search Statistics ]============================== 87.69/87.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.69/87.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.69/87.89 c =============================================================================== 87.69/87.89 c | 0 | 2314 78834 190583 | 26278 0 nan | 0.000 % | 87.69/87.90 c =============================================================================== 87.69/87.90 c core #549 87.69/87.90 c Core size: 15 Core Weight: 1 Total Weight: -451 87.69/87.90 c Elapsed CPU time: 84.8321 s Remaining CPU time: 1715.17 s 87.90/88.07 c ============================[ Search Statistics ]============================== 87.90/88.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.90/88.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.90/88.07 c =============================================================================== 87.90/88.07 c | 0 | 2320 78835 190595 | 26278 0 nan | 0.000 % | 87.90/88.08 c =============================================================================== 87.90/88.08 c core #550 87.90/88.08 c Core size: 16 Core Weight: 1 Total Weight: -450 87.90/88.08 c Elapsed CPU time: 85.0061 s Remaining CPU time: 1714.99 s 88.09/88.24 c ============================[ Search Statistics ]============================== 88.09/88.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.09/88.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.09/88.24 c =============================================================================== 88.09/88.24 c | 0 | 2326 78836 190607 | 26278 0 nan | 0.000 % | 88.09/88.25 c =============================================================================== 88.09/88.25 c core #551 88.09/88.25 c Core size: 27 Core Weight: 1 Total Weight: -449 88.09/88.25 c Elapsed CPU time: 85.1711 s Remaining CPU time: 1714.83 s 88.29/88.42 c ============================[ Search Statistics ]============================== 88.29/88.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.29/88.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.29/88.42 c =============================================================================== 88.29/88.42 c | 0 | 2336 78837 190627 | 26279 0 nan | 0.000 % | 88.29/88.43 c =============================================================================== 88.29/88.43 c core #552 88.29/88.43 c Core size: 15 Core Weight: 1 Total Weight: -448 88.29/88.43 c Elapsed CPU time: 85.341 s Remaining CPU time: 1714.66 s 88.39/88.59 c ============================[ Search Statistics ]============================== 88.39/88.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.39/88.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.39/88.59 c =============================================================================== 88.39/88.59 c | 0 | 2342 78838 190639 | 26279 0 nan | 0.000 % | 88.50/88.60 c =============================================================================== 88.50/88.60 c core #553 88.50/88.60 c Core size: 15 Core Weight: 1 Total Weight: -447 88.50/88.60 c Elapsed CPU time: 85.509 s Remaining CPU time: 1714.49 s 88.59/88.77 c ============================[ Search Statistics ]============================== 88.59/88.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.59/88.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.59/88.77 c =============================================================================== 88.59/88.77 c | 0 | 2348 78839 190651 | 26279 0 nan | 0.000 % | 88.59/88.78 c =============================================================================== 88.59/88.78 c core #554 88.59/88.78 c Core size: 17 Core Weight: 1 Total Weight: -446 88.59/88.78 c Elapsed CPU time: 85.68 s Remaining CPU time: 1714.32 s 88.80/88.94 c ============================[ Search Statistics ]============================== 88.80/88.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.80/88.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.80/88.94 c =============================================================================== 88.80/88.94 c | 0 | 2354 78840 190663 | 26280 0 nan | 0.000 % | 88.80/88.95 c =============================================================================== 88.80/88.95 c core #555 88.80/88.95 c Core size: 21 Core Weight: 1 Total Weight: -445 88.80/88.95 c Elapsed CPU time: 85.8489 s Remaining CPU time: 1714.15 s 89.00/89.12 c ============================[ Search Statistics ]============================== 89.00/89.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.00/89.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.00/89.12 c =============================================================================== 89.00/89.12 c | 0 | 2362 78841 190679 | 26280 0 nan | 0.000 % | 89.00/89.13 c =============================================================================== 89.00/89.13 c core #556 89.00/89.13 c Core size: 16 Core Weight: 1 Total Weight: -444 89.00/89.13 c Elapsed CPU time: 86.0169 s Remaining CPU time: 1713.98 s 89.09/89.29 c ============================[ Search Statistics ]============================== 89.09/89.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.09/89.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.09/89.29 c =============================================================================== 89.09/89.29 c | 0 | 2368 78842 190691 | 26280 0 nan | 0.000 % | 89.20/89.30 c =============================================================================== 89.20/89.30 c core #557 89.20/89.30 c Core size: 16 Core Weight: 1 Total Weight: -443 89.20/89.30 c Elapsed CPU time: 86.1879 s Remaining CPU time: 1713.81 s 89.29/89.46 c ============================[ Search Statistics ]============================== 89.29/89.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.29/89.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.29/89.46 c =============================================================================== 89.29/89.46 c | 0 | 2374 78843 190703 | 26281 0 nan | 0.000 % | 89.29/89.48 c =============================================================================== 89.29/89.48 c core #558 89.29/89.48 c Core size: 15 Core Weight: 1 Total Weight: -442 89.29/89.48 c Elapsed CPU time: 86.3559 s Remaining CPU time: 1713.64 s 89.49/89.64 c ============================[ Search Statistics ]============================== 89.49/89.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.49/89.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.49/89.64 c =============================================================================== 89.49/89.64 c | 0 | 2380 78844 190715 | 26281 0 nan | 0.000 % | 89.49/89.65 c =============================================================================== 89.49/89.65 c core #559 89.49/89.65 c Core size: 21 Core Weight: 1 Total Weight: -441 89.49/89.65 c Elapsed CPU time: 86.5238 s Remaining CPU time: 1713.48 s 89.69/89.82 c ============================[ Search Statistics ]============================== 89.69/89.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.69/89.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.69/89.82 c =============================================================================== 89.69/89.82 c | 0 | 2388 78845 190731 | 26281 0 nan | 0.000 % | 89.69/89.83 c =============================================================================== 89.69/89.83 c core #560 89.69/89.83 c Core size: 16 Core Weight: 1 Total Weight: -440 89.69/89.83 c Elapsed CPU time: 86.6988 s Remaining CPU time: 1713.3 s 89.79/89.99 c ============================[ Search Statistics ]============================== 89.79/89.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.79/89.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.79/89.99 c =============================================================================== 89.79/89.99 c | 0 | 2394 78846 190743 | 26282 0 nan | 0.000 % | 89.89/90.00 c =============================================================================== 89.89/90.00 c core #561 89.89/90.00 c Core size: 21 Core Weight: 1 Total Weight: -439 89.89/90.00 c Elapsed CPU time: 86.8618 s Remaining CPU time: 1713.14 s 89.99/90.16 c ============================[ Search Statistics ]============================== 89.99/90.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.99/90.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.99/90.16 c =============================================================================== 89.99/90.16 c | 0 | 2402 78847 190759 | 26282 0 nan | 0.000 % | 89.99/90.17 c =============================================================================== 89.99/90.17 c core #562 89.99/90.17 c Core size: 15 Core Weight: 1 Total Weight: -438 89.99/90.17 c Elapsed CPU time: 87.0268 s Remaining CPU time: 1712.97 s 90.19/90.33 c ============================[ Search Statistics ]============================== 90.19/90.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.19/90.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.19/90.33 c =============================================================================== 90.19/90.33 c | 0 | 2408 78848 190771 | 26282 0 nan | 0.000 % | 90.19/90.34 c =============================================================================== 90.19/90.34 c core #563 90.19/90.34 c Core size: 16 Core Weight: 1 Total Weight: -437 90.19/90.34 c Elapsed CPU time: 87.1947 s Remaining CPU time: 1712.81 s 90.39/90.50 c ============================[ Search Statistics ]============================== 90.39/90.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.39/90.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.39/90.50 c =============================================================================== 90.39/90.50 c | 0 | 2414 78849 190783 | 26283 0 nan | 0.000 % | 90.39/90.52 c =============================================================================== 90.39/90.52 c core #564 90.39/90.52 c Core size: 15 Core Weight: 1 Total Weight: -436 90.39/90.52 c Elapsed CPU time: 87.3617 s Remaining CPU time: 1712.64 s 90.49/90.67 c ============================[ Search Statistics ]============================== 90.49/90.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.49/90.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.49/90.68 c =============================================================================== 90.49/90.68 c | 0 | 2420 78850 190795 | 26283 0 nan | 0.000 % | 90.49/90.69 c =============================================================================== 90.49/90.69 c core #565 90.49/90.69 c Core size: 16 Core Weight: 1 Total Weight: -435 90.49/90.69 c Elapsed CPU time: 87.5267 s Remaining CPU time: 1712.47 s 90.69/90.85 c ============================[ Search Statistics ]============================== 90.69/90.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.69/90.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.69/90.85 c =============================================================================== 90.69/90.85 c | 0 | 2426 78851 190807 | 26283 0 nan | 0.000 % | 90.69/90.86 c =============================================================================== 90.69/90.86 c core #566 90.69/90.86 c Core size: 17 Core Weight: 1 Total Weight: -434 90.69/90.86 c Elapsed CPU time: 87.6927 s Remaining CPU time: 1712.31 s 90.89/91.02 c ============================[ Search Statistics ]============================== 90.89/91.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.89/91.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.89/91.02 c =============================================================================== 90.89/91.02 c | 0 | 2432 78852 190819 | 26284 0 nan | 0.000 % | 90.89/91.03 c =============================================================================== 90.89/91.03 c core #567 90.89/91.03 c Core size: 16 Core Weight: 1 Total Weight: -433 90.89/91.03 c Elapsed CPU time: 87.8626 s Remaining CPU time: 1712.14 s 90.99/91.19 c ============================[ Search Statistics ]============================== 90.99/91.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.99/91.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.99/91.20 c =============================================================================== 90.99/91.20 c | 0 | 2438 78853 190831 | 26284 0 nan | 0.000 % | 91.09/91.21 c =============================================================================== 91.09/91.21 c core #568 91.09/91.21 c Core size: 22 Core Weight: 1 Total Weight: -432 91.09/91.21 c Elapsed CPU time: 88.0336 s Remaining CPU time: 1711.97 s 91.20/91.37 c ============================[ Search Statistics ]============================== 91.20/91.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.20/91.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.20/91.37 c =============================================================================== 91.20/91.37 c | 0 | 2446 78854 190847 | 26284 0 nan | 0.000 % | 91.20/91.38 c =============================================================================== 91.20/91.38 c core #569 91.20/91.38 c Core size: 12 Core Weight: 1 Total Weight: -431 91.20/91.38 c Elapsed CPU time: 88.1976 s Remaining CPU time: 1711.8 s 91.38/91.54 c ============================[ Search Statistics ]============================== 91.38/91.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.38/91.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.38/91.54 c =============================================================================== 91.38/91.54 c | 0 | 2450 78855 190855 | 26285 0 nan | 0.000 % | 91.38/91.56 c =============================================================================== 91.38/91.56 c core #570 91.38/91.56 c Core size: 16 Core Weight: 1 Total Weight: -430 91.38/91.56 c Elapsed CPU time: 88.3686 s Remaining CPU time: 1711.63 s 91.59/91.73 c ============================[ Search Statistics ]============================== 91.59/91.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.59/91.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.59/91.73 c =============================================================================== 91.59/91.73 c | 0 | 2456 78856 190867 | 26285 0 nan | 0.000 % | 91.59/91.74 c =============================================================================== 91.59/91.74 c core #571 91.59/91.74 c Core size: 22 Core Weight: 1 Total Weight: -429 91.59/91.74 c Elapsed CPU time: 88.5475 s Remaining CPU time: 1711.45 s 91.79/91.90 c ============================[ Search Statistics ]============================== 91.79/91.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.79/91.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.79/91.90 c =============================================================================== 91.79/91.90 c | 0 | 2464 78857 190883 | 26285 0 nan | 0.000 % | 91.79/91.92 c =============================================================================== 91.79/91.92 c core #572 91.79/91.92 c Core size: 15 Core Weight: 1 Total Weight: -428 91.79/91.92 c Elapsed CPU time: 88.7155 s Remaining CPU time: 1711.28 s 91.89/92.08 c ============================[ Search Statistics ]============================== 91.89/92.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.89/92.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.89/92.08 c =============================================================================== 91.89/92.08 c | 0 | 2470 78858 190895 | 26286 0 nan | 0.000 % | 91.89/92.09 c =============================================================================== 91.89/92.09 c core #573 91.89/92.09 c Core size: 15 Core Weight: 1 Total Weight: -427 91.89/92.09 c Elapsed CPU time: 88.8875 s Remaining CPU time: 1711.11 s 92.08/92.26 c ============================[ Search Statistics ]============================== 92.08/92.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.08/92.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.08/92.26 c =============================================================================== 92.08/92.26 c | 0 | 2476 78859 190907 | 26286 0 nan | 0.000 % | 92.08/92.27 c =============================================================================== 92.08/92.27 c core #574 92.08/92.27 c Core size: 16 Core Weight: 1 Total Weight: -426 92.08/92.27 c Elapsed CPU time: 89.0585 s Remaining CPU time: 1710.94 s 92.29/92.43 c ============================[ Search Statistics ]============================== 92.29/92.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.29/92.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.29/92.43 c =============================================================================== 92.29/92.43 c | 0 | 2482 78860 190919 | 26286 0 nan | 0.000 % | 92.29/92.44 c =============================================================================== 92.29/92.44 c core #575 92.29/92.44 c Core size: 22 Core Weight: 1 Total Weight: -425 92.29/92.44 c Elapsed CPU time: 89.2284 s Remaining CPU time: 1710.77 s 92.49/92.61 c ============================[ Search Statistics ]============================== 92.49/92.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.49/92.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.49/92.61 c =============================================================================== 92.49/92.61 c | 0 | 2490 78861 190935 | 26287 0 nan | 0.000 % | 92.49/92.62 c =============================================================================== 92.49/92.62 c core #576 92.49/92.62 c Core size: 15 Core Weight: 1 Total Weight: -424 92.49/92.62 c Elapsed CPU time: 89.3974 s Remaining CPU time: 1710.6 s 92.59/92.78 c ============================[ Search Statistics ]============================== 92.59/92.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.59/92.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.59/92.78 c =============================================================================== 92.59/92.78 c | 0 | 2496 78862 190947 | 26287 0 nan | 0.000 % | 92.59/92.79 c =============================================================================== 92.59/92.79 c core #577 92.59/92.79 c Core size: 16 Core Weight: 1 Total Weight: -423 92.59/92.79 c Elapsed CPU time: 89.5634 s Remaining CPU time: 1710.44 s 92.78/92.95 c ============================[ Search Statistics ]============================== 92.78/92.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.78/92.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.78/92.95 c =============================================================================== 92.78/92.95 c | 0 | 2502 78863 190959 | 26287 0 nan | 0.000 % | 92.78/92.96 c =============================================================================== 92.78/92.97 c core #578 92.78/92.97 c Core size: 21 Core Weight: 1 Total Weight: -422 92.78/92.97 c Elapsed CPU time: 89.7264 s Remaining CPU time: 1710.27 s 92.99/93.13 c ============================[ Search Statistics ]============================== 92.99/93.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.99/93.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.99/93.13 c =============================================================================== 92.99/93.13 c | 0 | 2510 78864 190975 | 26288 0 nan | 0.000 % | 92.99/93.14 c =============================================================================== 92.99/93.14 c core #579 92.99/93.14 c Core size: 22 Core Weight: 1 Total Weight: -421 92.99/93.14 c Elapsed CPU time: 89.8923 s Remaining CPU time: 1710.11 s 93.18/93.30 c ============================[ Search Statistics ]============================== 93.18/93.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.18/93.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.18/93.30 c =============================================================================== 93.18/93.30 c | 0 | 2518 78865 190991 | 26288 0 nan | 0.000 % | 93.18/93.31 c =============================================================================== 93.18/93.31 c core #580 93.18/93.31 c Core size: 15 Core Weight: 1 Total Weight: -420 93.18/93.31 c Elapsed CPU time: 90.0623 s Remaining CPU time: 1709.94 s 93.28/93.47 c ============================[ Search Statistics ]============================== 93.28/93.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.28/93.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.28/93.47 c =============================================================================== 93.28/93.47 c | 0 | 2524 78866 191003 | 26288 0 nan | 0.000 % | 93.28/93.48 c =============================================================================== 93.28/93.48 c core #581 93.28/93.48 c Core size: 22 Core Weight: 1 Total Weight: -419 93.28/93.48 c Elapsed CPU time: 90.2293 s Remaining CPU time: 1709.77 s 93.49/93.64 c ============================[ Search Statistics ]============================== 93.49/93.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.49/93.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.49/93.64 c =============================================================================== 93.49/93.64 c | 0 | 2532 78867 191019 | 26289 0 nan | 0.000 % | 93.49/93.65 c =============================================================================== 93.49/93.65 c core #582 93.49/93.65 c Core size: 22 Core Weight: 1 Total Weight: -418 93.49/93.65 c Elapsed CPU time: 90.3953 s Remaining CPU time: 1709.6 s 93.69/93.82 c ============================[ Search Statistics ]============================== 93.69/93.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.69/93.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.69/93.82 c =============================================================================== 93.69/93.82 c | 0 | 2540 78868 191035 | 26289 0 nan | 0.000 % | 93.69/93.83 c =============================================================================== 93.69/93.83 c core #583 93.69/93.83 c Core size: 21 Core Weight: 1 Total Weight: -417 93.69/93.83 c Elapsed CPU time: 90.5642 s Remaining CPU time: 1709.44 s 93.79/93.99 c ============================[ Search Statistics ]============================== 93.79/93.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.79/93.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.79/93.99 c =============================================================================== 93.79/93.99 c | 0 | 2548 78869 191051 | 26289 0 nan | 0.000 % | 93.88/94.00 c =============================================================================== 93.88/94.00 c core #584 93.88/94.00 c Core size: 21 Core Weight: 1 Total Weight: -416 93.88/94.00 c Elapsed CPU time: 90.7342 s Remaining CPU time: 1709.27 s 93.98/94.16 c ============================[ Search Statistics ]============================== 93.98/94.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.98/94.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.98/94.16 c =============================================================================== 93.98/94.16 c | 0 | 2556 78870 191067 | 26290 0 nan | 0.000 % | 93.98/94.18 c =============================================================================== 93.98/94.18 c core #585 93.98/94.18 c Core size: 22 Core Weight: 1 Total Weight: -415 93.98/94.18 c Elapsed CPU time: 90.8992 s Remaining CPU time: 1709.1 s 94.18/94.34 c ============================[ Search Statistics ]============================== 94.18/94.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.18/94.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.18/94.34 c =============================================================================== 94.18/94.34 c | 0 | 2564 78871 191083 | 26290 0 nan | 0.000 % | 94.18/94.35 c =============================================================================== 94.18/94.35 c core #586 94.18/94.35 c Core size: 15 Core Weight: 1 Total Weight: -414 94.18/94.35 c Elapsed CPU time: 91.0682 s Remaining CPU time: 1708.93 s 94.39/94.51 c ============================[ Search Statistics ]============================== 94.39/94.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.39/94.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.39/94.51 c =============================================================================== 94.39/94.51 c | 0 | 2570 78872 191095 | 26290 0 nan | 0.000 % | 94.39/94.52 c =============================================================================== 94.39/94.52 c core #587 94.39/94.52 c Core size: 21 Core Weight: 1 Total Weight: -413 94.39/94.52 c Elapsed CPU time: 91.2391 s Remaining CPU time: 1708.76 s 94.49/94.69 c ============================[ Search Statistics ]============================== 94.49/94.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.49/94.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.49/94.69 c =============================================================================== 94.49/94.69 c | 0 | 2578 78873 191111 | 26291 0 nan | 0.000 % | 94.58/94.70 c =============================================================================== 94.58/94.70 c core #588 94.58/94.70 c Core size: 15 Core Weight: 1 Total Weight: -412 94.58/94.70 c Elapsed CPU time: 91.4101 s Remaining CPU time: 1708.59 s 94.68/94.86 c ============================[ Search Statistics ]============================== 94.68/94.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.68/94.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.68/94.86 c =============================================================================== 94.68/94.86 c | 0 | 2584 78874 191123 | 26291 0 nan | 0.000 % | 94.68/94.87 c =============================================================================== 94.68/94.87 c core #589 94.68/94.87 c Core size: 22 Core Weight: 1 Total Weight: -411 94.68/94.87 c Elapsed CPU time: 91.5761 s Remaining CPU time: 1708.42 s 94.88/95.03 c ============================[ Search Statistics ]============================== 94.88/95.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.88/95.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.88/95.03 c =============================================================================== 94.88/95.03 c | 0 | 2592 78875 191139 | 26291 0 nan | 0.000 % | 94.88/95.05 c =============================================================================== 94.88/95.05 c core #590 94.88/95.05 c Core size: 15 Core Weight: 1 Total Weight: -410 94.88/95.05 c Elapsed CPU time: 91.7451 s Remaining CPU time: 1708.25 s 95.09/95.21 c ============================[ Search Statistics ]============================== 95.09/95.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.09/95.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.09/95.21 c =============================================================================== 95.09/95.21 c | 0 | 2598 78876 191151 | 26292 0 nan | 0.000 % | 95.09/95.22 c =============================================================================== 95.09/95.22 c core #591 95.09/95.22 c Core size: 16 Core Weight: 1 Total Weight: -409 95.09/95.22 c Elapsed CPU time: 91.918 s Remaining CPU time: 1708.08 s 95.18/95.38 c ============================[ Search Statistics ]============================== 95.18/95.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.18/95.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.18/95.38 c =============================================================================== 95.18/95.38 c | 0 | 2604 78877 191163 | 26292 0 nan | 0.000 % | 95.18/95.40 c =============================================================================== 95.28/95.40 c core #592 95.28/95.40 c Core size: 21 Core Weight: 1 Total Weight: -408 95.28/95.40 c Elapsed CPU time: 92.084 s Remaining CPU time: 1707.92 s 95.38/95.56 c ============================[ Search Statistics ]============================== 95.38/95.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.38/95.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.38/95.56 c =============================================================================== 95.38/95.56 c | 0 | 2612 78878 191179 | 26292 0 nan | 0.000 % | 95.38/95.57 c =============================================================================== 95.38/95.57 c core #593 95.38/95.57 c Core size: 20 Core Weight: 1 Total Weight: -407 95.38/95.57 c Elapsed CPU time: 92.25 s Remaining CPU time: 1707.75 s 95.58/95.73 c ============================[ Search Statistics ]============================== 95.58/95.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.58/95.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.58/95.73 c =============================================================================== 95.58/95.73 c | 0 | 2620 78879 191195 | 26293 0 nan | 0.000 % | 95.58/95.74 c =============================================================================== 95.58/95.75 c core #594 95.58/95.75 c Core size: 21 Core Weight: 1 Total Weight: -406 95.58/95.75 c Elapsed CPU time: 92.4219 s Remaining CPU time: 1707.58 s 95.78/95.91 c ============================[ Search Statistics ]============================== 95.78/95.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.78/95.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.78/95.91 c =============================================================================== 95.78/95.91 c | 0 | 2628 78880 191211 | 26293 0 nan | 0.000 % | 95.78/95.92 c =============================================================================== 95.78/95.92 c core #595 95.78/95.92 c Core size: 16 Core Weight: 1 Total Weight: -405 95.78/95.92 c Elapsed CPU time: 92.5909 s Remaining CPU time: 1707.41 s 95.88/96.08 c ============================[ Search Statistics ]============================== 95.88/96.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.88/96.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.88/96.08 c =============================================================================== 95.88/96.08 c | 0 | 2634 78881 191223 | 26293 0 nan | 0.000 % | 95.88/96.10 c =============================================================================== 95.98/96.10 c core #596 95.98/96.10 c Core size: 22 Core Weight: 1 Total Weight: -404 95.98/96.10 c Elapsed CPU time: 92.7579 s Remaining CPU time: 1707.24 s 96.08/96.26 c ============================[ Search Statistics ]============================== 96.08/96.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.08/96.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.08/96.26 c =============================================================================== 96.08/96.26 c | 0 | 2642 78882 191239 | 26294 0 nan | 0.000 % | 96.08/96.27 c =============================================================================== 96.08/96.27 c core #597 96.08/96.27 c Core size: 17 Core Weight: 1 Total Weight: -403 96.08/96.27 c Elapsed CPU time: 92.9239 s Remaining CPU time: 1707.08 s 96.28/96.43 c ============================[ Search Statistics ]============================== 96.28/96.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.28/96.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.28/96.43 c =============================================================================== 96.28/96.43 c | 0 | 2648 78883 191251 | 26294 0 nan | 0.000 % | 96.28/96.45 c =============================================================================== 96.28/96.45 c core #598 96.28/96.45 c Core size: 22 Core Weight: 1 Total Weight: -402 96.28/96.45 c Elapsed CPU time: 93.0918 s Remaining CPU time: 1706.91 s 96.48/96.61 c ============================[ Search Statistics ]============================== 96.48/96.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.48/96.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.48/96.61 c =============================================================================== 96.48/96.61 c | 0 | 2656 78884 191267 | 26294 0 nan | 0.000 % | 96.48/96.62 c =============================================================================== 96.48/96.62 c core #599 96.48/96.62 c Core size: 27 Core Weight: 1 Total Weight: -401 96.48/96.62 c Elapsed CPU time: 93.2598 s Remaining CPU time: 1706.74 s 96.58/96.78 c ============================[ Search Statistics ]============================== 96.58/96.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.58/96.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.58/96.78 c =============================================================================== 96.58/96.78 c | 0 | 2666 78885 191287 | 26295 0 nan | 0.000 % | 96.58/96.79 c =============================================================================== 96.58/96.79 c core #600 96.58/96.79 c Core size: 27 Core Weight: 1 Total Weight: -400 96.58/96.79 c Elapsed CPU time: 93.4268 s Remaining CPU time: 1706.57 s 96.78/96.96 c ============================[ Search Statistics ]============================== 96.78/96.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.78/96.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.78/96.96 c =============================================================================== 96.78/96.96 c | 0 | 2676 78886 191307 | 26295 0 nan | 0.000 % | 96.78/96.97 c =============================================================================== 96.78/96.97 c core #601 96.78/96.97 c Core size: 21 Core Weight: 1 Total Weight: -399 96.78/96.97 c Elapsed CPU time: 93.5938 s Remaining CPU time: 1706.41 s 96.97/97.13 c ============================[ Search Statistics ]============================== 96.97/97.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.97/97.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.97/97.13 c =============================================================================== 96.97/97.13 c | 0 | 2684 78887 191323 | 26295 0 nan | 0.000 % | 96.97/97.14 c =============================================================================== 96.97/97.14 c core #602 96.97/97.14 c Core size: 22 Core Weight: 1 Total Weight: -398 96.97/97.14 c Elapsed CPU time: 93.7637 s Remaining CPU time: 1706.24 s 97.17/97.31 c ============================[ Search Statistics ]============================== 97.17/97.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.17/97.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.17/97.31 c =============================================================================== 97.17/97.31 c | 0 | 2692 78888 191339 | 26296 0 nan | 0.000 % | 97.17/97.32 c =============================================================================== 97.17/97.32 c core #603 97.17/97.32 c Core size: 22 Core Weight: 1 Total Weight: -397 97.17/97.32 c Elapsed CPU time: 93.9357 s Remaining CPU time: 1706.06 s 97.27/97.48 c ============================[ Search Statistics ]============================== 97.27/97.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.27/97.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.27/97.49 c =============================================================================== 97.27/97.49 c | 0 | 2700 78889 191355 | 26296 0 nan | 0.000 % | 97.38/97.50 c =============================================================================== 97.38/97.50 c core #604 97.38/97.50 c Core size: 15 Core Weight: 1 Total Weight: -396 97.38/97.50 c Elapsed CPU time: 94.1047 s Remaining CPU time: 1705.9 s 97.47/97.66 c ============================[ Search Statistics ]============================== 97.47/97.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.47/97.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.47/97.66 c =============================================================================== 97.47/97.66 c | 0 | 2706 78890 191367 | 26296 0 nan | 0.000 % | 97.47/97.67 c =============================================================================== 97.47/97.67 c core #605 97.47/97.67 c Core size: 20 Core Weight: 1 Total Weight: -395 97.47/97.67 c Elapsed CPU time: 94.2727 s Remaining CPU time: 1705.73 s 97.68/97.84 c ============================[ Search Statistics ]============================== 97.68/97.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.68/97.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.68/97.84 c =============================================================================== 97.68/97.84 c | 0 | 2714 78891 191383 | 26297 0 nan | 0.000 % | 97.68/97.85 c =============================================================================== 97.68/97.86 c core #606 97.68/97.86 c Core size: 22 Core Weight: 1 Total Weight: -394 97.68/97.86 c Elapsed CPU time: 94.4486 s Remaining CPU time: 1705.55 s 97.87/98.02 c ============================[ Search Statistics ]============================== 97.87/98.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.87/98.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.87/98.02 c =============================================================================== 97.87/98.02 c | 0 | 2722 78892 191399 | 26297 0 nan | 0.000 % | 97.87/98.03 c =============================================================================== 97.87/98.03 c core #607 97.87/98.03 c Core size: 17 Core Weight: 1 Total Weight: -393 97.87/98.03 c Elapsed CPU time: 94.6186 s Remaining CPU time: 1705.38 s 97.97/98.19 c ============================[ Search Statistics ]============================== 97.97/98.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.97/98.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.97/98.19 c =============================================================================== 97.97/98.19 c | 0 | 2728 78893 191411 | 26297 0 nan | 0.000 % | 98.08/98.20 c =============================================================================== 98.08/98.20 c core #608 98.08/98.20 c Core size: 26 Core Weight: 1 Total Weight: -392 98.08/98.20 c Elapsed CPU time: 94.7886 s Remaining CPU time: 1705.21 s 98.17/98.36 c ============================[ Search Statistics ]============================== 98.17/98.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.17/98.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.17/98.37 c =============================================================================== 98.17/98.37 c | 0 | 2738 78894 191431 | 26298 0 nan | 0.000 % | 98.17/98.38 c =============================================================================== 98.17/98.38 c core #609 98.17/98.38 c Core size: 20 Core Weight: 1 Total Weight: -391 98.17/98.38 c Elapsed CPU time: 94.9556 s Remaining CPU time: 1705.04 s 98.37/98.54 c ============================[ Search Statistics ]============================== 98.37/98.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.37/98.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.37/98.54 c =============================================================================== 98.37/98.54 c | 0 | 2746 78895 191447 | 26298 0 nan | 0.000 % | 98.37/98.55 c =============================================================================== 98.37/98.55 c core #610 98.37/98.55 c Core size: 20 Core Weight: 1 Total Weight: -390 98.37/98.55 c Elapsed CPU time: 95.1205 s Remaining CPU time: 1704.88 s 98.57/98.71 c ============================[ Search Statistics ]============================== 98.57/98.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.57/98.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.57/98.71 c =============================================================================== 98.57/98.71 c | 0 | 2754 78896 191463 | 26298 0 nan | 0.000 % | 98.57/98.72 c =============================================================================== 98.57/98.73 c core #611 98.57/98.73 c Core size: 25 Core Weight: 1 Total Weight: -389 98.57/98.73 c Elapsed CPU time: 95.2875 s Remaining CPU time: 1704.71 s 98.67/98.88 c ============================[ Search Statistics ]============================== 98.67/98.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.67/98.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.67/98.88 c =============================================================================== 98.67/98.88 c | 0 | 2764 78897 191483 | 26299 0 nan | 0.000 % | 98.67/98.90 c =============================================================================== 98.67/98.90 c core #612 98.67/98.90 c Core size: 27 Core Weight: 1 Total Weight: -388 98.67/98.90 c Elapsed CPU time: 95.4505 s Remaining CPU time: 1704.55 s 98.88/99.06 c ============================[ Search Statistics ]============================== 98.88/99.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.88/99.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.88/99.06 c =============================================================================== 98.88/99.06 c | 0 | 2774 78898 191503 | 26299 0 nan | 0.000 % | 98.88/99.07 c =============================================================================== 98.88/99.07 c core #613 98.88/99.07 c Core size: 16 Core Weight: 1 Total Weight: -387 98.88/99.07 c Elapsed CPU time: 95.6175 s Remaining CPU time: 1704.38 s 99.07/99.23 c ============================[ Search Statistics ]============================== 99.07/99.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.07/99.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.07/99.23 c =============================================================================== 99.07/99.23 c | 0 | 2780 78899 191515 | 26299 0 nan | 0.000 % | 99.07/99.25 c =============================================================================== 99.07/99.25 c core #614 99.07/99.25 c Core size: 53 Core Weight: 1 Total Weight: -386 99.07/99.25 c Elapsed CPU time: 95.7834 s Remaining CPU time: 1704.22 s 99.28/99.42 c ============================[ Search Statistics ]============================== 99.28/99.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.28/99.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.28/99.42 c =============================================================================== 99.28/99.42 c | 0 | 2800 78900 191555 | 26300 0 nan | 0.000 % | 99.28/99.43 c =============================================================================== 99.28/99.43 c core #615 99.28/99.43 c Core size: 15 Core Weight: 1 Total Weight: -385 99.28/99.43 c Elapsed CPU time: 95.9614 s Remaining CPU time: 1704.04 s 99.37/99.60 c ============================[ Search Statistics ]============================== 99.37/99.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.37/99.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.37/99.60 c =============================================================================== 99.37/99.60 c | 0 | 2806 78901 191567 | 26300 0 nan | 0.000 % | 99.47/99.61 c =============================================================================== 99.47/99.61 c core #616 99.47/99.61 c Core size: 32 Core Weight: 1 Total Weight: -384 99.47/99.61 c Elapsed CPU time: 96.1354 s Remaining CPU time: 1703.86 s 99.57/99.77 c ============================[ Search Statistics ]============================== 99.57/99.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.57/99.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.57/99.77 c =============================================================================== 99.57/99.77 c | 0 | 2818 78902 191591 | 26300 0 nan | 0.000 % | 99.57/99.79 c =============================================================================== 99.57/99.79 c core #617 99.57/99.79 c Core size: 27 Core Weight: 1 Total Weight: -383 99.57/99.79 c Elapsed CPU time: 96.3074 s Remaining CPU time: 1703.69 s 99.77/99.95 c ============================[ Search Statistics ]============================== 99.77/99.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.77/99.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.77/99.95 c =============================================================================== 99.77/99.95 c | 0 | 2828 78903 191611 | 26301 0 nan | 0.000 % | 99.77/99.97 c =============================================================================== 99.77/99.97 c core #618 99.77/99.97 c Core size: 27 Core Weight: 1 Total Weight: -382 99.77/99.97 c Elapsed CPU time: 96.4823 s Remaining CPU time: 1703.52 s 99.97/100.13 c ============================[ Search Statistics ]============================== 99.97/100.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.97/100.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.97/100.13 c =============================================================================== 99.97/100.13 c | 0 | 2838 78904 191631 | 26301 0 nan | 0.000 % | 99.97/100.14 c =============================================================================== 99.97/100.14 c core #619 99.97/100.14 c Core size: 27 Core Weight: 1 Total Weight: -381 99.97/100.14 c Elapsed CPU time: 96.6533 s Remaining CPU time: 1703.35 s 100.17/100.30 c ============================[ Search Statistics ]============================== 100.17/100.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.17/100.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.17/100.30 c =============================================================================== 100.17/100.30 c | 0 | 2848 78905 191651 | 26301 0 nan | 0.000 % | 100.17/100.31 c =============================================================================== 100.17/100.32 c core #620 100.17/100.32 c Core size: 22 Core Weight: 1 Total Weight: -380 100.17/100.32 c Elapsed CPU time: 96.8223 s Remaining CPU time: 1703.18 s 100.26/100.49 c ============================[ Search Statistics ]============================== 100.26/100.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.26/100.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.26/100.49 c =============================================================================== 100.26/100.49 c | 0 | 2856 78906 191667 | 26302 0 nan | 0.000 % | 100.36/100.50 c =============================================================================== 100.36/100.50 c core #621 100.36/100.50 c Core size: 27 Core Weight: 1 Total Weight: -379 100.36/100.50 c Elapsed CPU time: 97.0013 s Remaining CPU time: 1703 s 100.46/100.66 c ============================[ Search Statistics ]============================== 100.46/100.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.46/100.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.46/100.67 c =============================================================================== 100.46/100.67 c | 0 | 2866 78907 191687 | 26302 0 nan | 0.000 % | 100.46/100.68 c =============================================================================== 100.46/100.68 c core #622 100.46/100.68 c Core size: 32 Core Weight: 1 Total Weight: -378 100.46/100.68 c Elapsed CPU time: 97.1682 s Remaining CPU time: 1702.83 s 100.67/100.84 c ============================[ Search Statistics ]============================== 100.67/100.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.67/100.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.67/100.84 c =============================================================================== 100.67/100.84 c | 0 | 2878 78908 191711 | 26302 0 nan | 0.000 % | 100.67/100.86 c =============================================================================== 100.67/100.86 c core #623 100.67/100.86 c Core size: 32 Core Weight: 1 Total Weight: -377 100.67/100.86 c Elapsed CPU time: 97.3432 s Remaining CPU time: 1702.66 s 100.86/101.02 c ============================[ Search Statistics ]============================== 100.86/101.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.86/101.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.86/101.02 c =============================================================================== 100.86/101.02 c | 0 | 2890 78909 191735 | 26303 0 nan | 0.000 % | 100.86/101.03 c =============================================================================== 100.86/101.03 c core #624 100.86/101.03 c Core size: 27 Core Weight: 1 Total Weight: -376 100.86/101.03 c Elapsed CPU time: 97.5142 s Remaining CPU time: 1702.49 s 100.96/101.20 c ============================[ Search Statistics ]============================== 100.96/101.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.96/101.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.96/101.20 c =============================================================================== 100.96/101.20 c | 0 | 2900 78910 191755 | 26303 0 nan | 0.000 % | 101.07/101.21 c =============================================================================== 101.07/101.21 c core #625 101.07/101.21 c Core size: 30 Core Weight: 1 Total Weight: -375 101.07/101.21 c Elapsed CPU time: 97.6831 s Remaining CPU time: 1702.32 s 101.16/101.38 c ============================[ Search Statistics ]============================== 101.16/101.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.16/101.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.16/101.38 c =============================================================================== 101.16/101.38 c | 0 | 2912 78911 191779 | 26303 0 nan | 0.000 % | 101.16/101.39 c =============================================================================== 101.16/101.39 c core #626 101.16/101.39 c Core size: 27 Core Weight: 1 Total Weight: -374 101.16/101.39 c Elapsed CPU time: 97.8561 s Remaining CPU time: 1702.14 s 101.36/101.55 c ============================[ Search Statistics ]============================== 101.36/101.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.36/101.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.36/101.55 c =============================================================================== 101.36/101.55 c | 0 | 2922 78912 191799 | 26304 0 nan | 0.000 % | 101.36/101.57 c =============================================================================== 101.36/101.57 c core #627 101.36/101.57 c Core size: 20 Core Weight: 1 Total Weight: -373 101.36/101.57 c Elapsed CPU time: 98.0241 s Remaining CPU time: 1701.98 s 101.55/101.74 c ============================[ Search Statistics ]============================== 101.55/101.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.55/101.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.55/101.74 c =============================================================================== 101.55/101.74 c | 0 | 2930 78913 191815 | 26304 0 nan | 0.000 % | 101.55/101.75 c =============================================================================== 101.55/101.75 c core #628 101.55/101.75 c Core size: 42 Core Weight: 1 Total Weight: -372 101.55/101.75 c Elapsed CPU time: 98.2021 s Remaining CPU time: 1701.8 s 101.76/101.92 c ============================[ Search Statistics ]============================== 101.76/101.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.76/101.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.76/101.92 c =============================================================================== 101.76/101.92 c | 0 | 2946 78914 191847 | 26304 0 nan | 0.000 % | 101.76/101.94 c =============================================================================== 101.76/101.94 c core #629 101.76/101.94 c Core size: 28 Core Weight: 1 Total Weight: -371 101.76/101.94 c Elapsed CPU time: 98.384 s Remaining CPU time: 1701.62 s 101.95/102.10 c ============================[ Search Statistics ]============================== 101.95/102.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.95/102.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.95/102.10 c =============================================================================== 101.95/102.10 c | 0 | 2956 78915 191867 | 26305 0 nan | 0.000 % | 101.95/102.11 c =============================================================================== 101.95/102.11 c core #630 101.95/102.11 c Core size: 38 Core Weight: 1 Total Weight: -370 101.95/102.11 c Elapsed CPU time: 98.556 s Remaining CPU time: 1701.44 s 102.07/102.28 c ============================[ Search Statistics ]============================== 102.07/102.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.07/102.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.07/102.28 c =============================================================================== 102.07/102.28 c | 0 | 2970 78916 191895 | 26305 0 nan | 0.000 % | 102.07/102.30 c =============================================================================== 102.07/102.30 c core #631 102.07/102.30 c Core size: 68 Core Weight: 1 Total Weight: -369 102.07/102.30 c Elapsed CPU time: 98.735 s Remaining CPU time: 1701.27 s 102.26/102.46 c ============================[ Search Statistics ]============================== 102.26/102.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.26/102.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.26/102.46 c =============================================================================== 102.26/102.46 c | 0 | 2996 78917 191947 | 26305 0 nan | 0.000 % | 102.26/102.48 c =============================================================================== 102.26/102.48 c core #632 102.26/102.48 c Core size: 170 Core Weight: 1 Total Weight: -368 102.26/102.48 c Elapsed CPU time: 98.914 s Remaining CPU time: 1701.09 s 102.46/102.65 c ============================[ Search Statistics ]============================== 102.46/102.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.46/102.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.46/102.65 c =============================================================================== 102.46/102.65 c | 0 | 3046 78918 192047 | 26306 0 nan | 0.000 % | 102.46/102.67 c | 101 | 3045 78918 192047 | 28936 101 26 | 92.524 % | 102.46/102.67 c =============================================================================== 102.46/102.67 c core #633 102.46/102.67 c Core size: 274 Core Weight: 1 Total Weight: -367 102.46/102.67 c Elapsed CPU time: 99.1009 s Remaining CPU time: 1700.9 s 102.65/102.84 c ============================[ Search Statistics ]============================== 102.65/102.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.65/102.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.65/102.84 c =============================================================================== 102.65/102.84 c | 0 | 3120 78919 192195 | 26306 0 nan | 0.000 % | 102.65/102.86 c | 101 | 3120 78919 192195 | 28936 101 20 | 92.346 % | 102.65/102.87 c =============================================================================== 102.65/102.88 c core #634 102.65/102.88 c Core size: 280 Core Weight: 1 Total Weight: -366 102.65/102.88 c Elapsed CPU time: 99.2979 s Remaining CPU time: 1700.7 s 102.86/103.05 c ============================[ Search Statistics ]============================== 102.86/103.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.86/103.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.86/103.05 c =============================================================================== 102.86/103.05 c | 0 | 3196 78920 192347 | 26306 0 nan | 0.000 % | 102.86/103.07 c | 100 | 3196 78920 192347 | 28937 100 49 | 92.174 % | 102.86/103.08 c | 250 | 3196 78920 192347 | 31831 250 48 | 92.174 % | 102.96/103.11 c | 477 | 3196 78920 192347 | 35014 477 41 | 92.174 % | 102.96/103.13 c =============================================================================== 102.96/103.14 c core #635 102.96/103.14 c Core size: 446 Core Weight: 1 Total Weight: -365 102.96/103.14 c Elapsed CPU time: 99.5519 s Remaining CPU time: 1700.45 s 103.06/103.30 c ============================[ Search Statistics ]============================== 103.06/103.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.06/103.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.06/103.30 c =============================================================================== 103.06/103.30 c | 0 | 3298 78921 192551 | 26307 0 nan | 0.000 % | 103.16/103.32 c | 101 | 3298 78921 192551 | 28937 101 45 | 91.945 % | 103.16/103.33 c | 251 | 3297 78921 192551 | 31831 251 32 | 91.947 % | 103.16/103.36 c | 476 | 3296 78921 192551 | 35014 476 45 | 91.949 % | 103.16/103.39 c | 817 | 3295 78921 192551 | 38516 817 53 | 91.952 % | 103.26/103.47 c | 1324 | 3294 78921 192551 | 42367 1303 59 | 91.954 % | 103.35/103.55 c =============================================================================== 103.35/103.57 c core #636 103.35/103.57 c Core size: 408 Core Weight: 1 Total Weight: -364 103.35/103.57 c Elapsed CPU time: 99.9768 s Remaining CPU time: 1700.02 s 103.56/103.73 c ============================[ Search Statistics ]============================== 103.56/103.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.56/103.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.56/103.73 c =============================================================================== 103.56/103.73 c | 0 | 3392 78922 192739 | 26307 0 nan | 0.000 % | 103.56/103.76 c | 101 | 3391 78922 192739 | 28938 101 23 | 91.736 % | 103.56/103.76 c | 251 | 3391 78922 192739 | 31831 251 21 | 91.736 % | 103.56/103.78 c | 477 | 3388 78922 192739 | 35015 477 29 | 91.744 % | 103.65/103.82 c | 815 | 3388 78922 192739 | 38516 815 42 | 91.744 % | 103.65/103.89 c | 1325 | 3388 78922 192739 | 42368 1325 64 | 91.744 % | 103.75/103.91 c =============================================================================== 103.75/103.92 c core #637 103.75/103.92 c Core size: 411 Core Weight: 1 Total Weight: -363 103.75/103.92 c Elapsed CPU time: 100.324 s Remaining CPU time: 1699.68 s 103.86/104.09 c ============================[ Search Statistics ]============================== 103.86/104.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.86/104.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.86/104.09 c =============================================================================== 103.86/104.09 c | 0 | 3488 78923 192931 | 26307 0 nan | 0.000 % | 103.95/104.12 c | 101 | 3488 78923 192931 | 28938 101 27 | 91.520 % | 103.95/104.13 c | 254 | 3488 78923 192931 | 31832 254 20 | 91.520 % | 103.95/104.14 c | 480 | 3488 78923 192931 | 35015 480 22 | 91.520 % | 103.95/104.16 c =============================================================================== 103.95/104.16 c core #638 103.95/104.16 c Core size: 293 Core Weight: 1 Total Weight: -362 103.95/104.16 c Elapsed CPU time: 100.552 s Remaining CPU time: 1699.45 s 104.16/104.33 c ============================[ Search Statistics ]============================== 104.16/104.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.16/104.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.16/104.33 c =============================================================================== 104.16/104.33 c | 0 | 3566 78924 193087 | 26308 0 nan | 0.000 % | 104.16/104.35 c | 100 | 3566 78924 193087 | 28938 100 44 | 91.347 % | 104.16/104.36 c =============================================================================== 104.16/104.36 c core #639 104.16/104.36 c Core size: 227 Core Weight: 1 Total Weight: -361 104.16/104.36 c Elapsed CPU time: 100.747 s Remaining CPU time: 1699.25 s 104.36/104.53 c ============================[ Search Statistics ]============================== 104.36/104.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.36/104.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.36/104.53 c =============================================================================== 104.36/104.53 c | 0 | 3620 78925 193195 | 26308 0 nan | 0.000 % | 104.36/104.55 c | 102 | 3620 78925 193195 | 28939 102 27 | 91.227 % | 104.36/104.56 c | 252 | 3620 78925 193195 | 31833 252 20 | 91.227 % | 104.36/104.57 c =============================================================================== 104.36/104.57 c core #640 104.36/104.57 c Core size: 116 Core Weight: 1 Total Weight: -360 104.36/104.57 c Elapsed CPU time: 100.942 s Remaining CPU time: 1699.06 s 104.56/104.74 c ============================[ Search Statistics ]============================== 104.56/104.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.56/104.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.56/104.74 c =============================================================================== 104.56/104.74 c | 0 | 3654 78926 193263 | 26308 0 nan | 0.000 % | 104.56/104.76 c | 100 | 3654 78926 193263 | 28939 100 19 | 91.152 % | 104.56/104.77 c =============================================================================== 104.56/104.77 c core #641 104.56/104.77 c Core size: 210 Core Weight: 1 Total Weight: -359 104.56/104.77 c Elapsed CPU time: 101.132 s Remaining CPU time: 1698.87 s 104.75/104.93 c ============================[ Search Statistics ]============================== 104.75/104.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.75/104.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.75/104.93 c =============================================================================== 104.75/104.93 c | 0 | 3708 78927 193371 | 26309 0 nan | 0.000 % | 104.75/104.96 c | 102 | 3708 78927 193371 | 28939 102 16 | 91.033 % | 104.75/104.97 c | 253 | 3708 78927 193371 | 31833 253 16 | 91.033 % | 104.75/104.98 c | 479 | 3708 78927 193371 | 35017 479 19 | 91.033 % | 104.75/104.99 c =============================================================================== 104.75/105.00 c core #642 104.75/105.00 c Core size: 290 Core Weight: 1 Total Weight: -358 104.75/105.00 c Elapsed CPU time: 101.352 s Remaining CPU time: 1698.65 s 104.96/105.16 c ============================[ Search Statistics ]============================== 104.96/105.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.96/105.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.96/105.16 c =============================================================================== 104.96/105.16 c | 0 | 3778 78928 193511 | 26309 0 nan | 0.000 % | 104.96/105.18 c | 102 | 3778 78928 193511 | 28940 102 11 | 90.879 % | 104.96/105.19 c | 252 | 3778 78928 193511 | 31834 252 16 | 90.879 % | 105.05/105.21 c | 478 | 3778 78928 193511 | 35017 478 19 | 90.879 % | 105.05/105.22 c =============================================================================== 105.05/105.22 c core #643 105.05/105.22 c Core size: 267 Core Weight: 1 Total Weight: -357 105.05/105.22 c Elapsed CPU time: 101.573 s Remaining CPU time: 1698.43 s 105.15/105.39 c ============================[ Search Statistics ]============================== 105.15/105.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.15/105.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.15/105.39 c =============================================================================== 105.15/105.39 c | 0 | 3838 78929 193631 | 26309 0 nan | 0.000 % | 105.26/105.41 c | 101 | 3838 78929 193631 | 28940 101 27 | 90.748 % | 105.26/105.43 c | 251 | 3838 78929 193631 | 31834 251 20 | 90.748 % | 105.26/105.45 c | 477 | 3838 78929 193631 | 35018 477 32 | 90.748 % | 105.26/105.47 c | 814 | 3838 78929 193631 | 38519 814 28 | 90.748 % | 105.36/105.53 c | 1321 | 3838 78929 193631 | 42371 1321 48 | 90.748 % | 105.46/105.64 c =============================================================================== 105.46/105.66 c core #644 105.46/105.66 c Core size: 381 Core Weight: 1 Total Weight: -356 105.46/105.66 c Elapsed CPU time: 102 s Remaining CPU time: 1698 s 105.65/105.82 c ============================[ Search Statistics ]============================== 105.65/105.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.65/105.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.65/105.82 c =============================================================================== 105.65/105.82 c | 0 | 3908 78930 193771 | 26310 0 nan | 0.000 % | 105.65/105.85 c | 100 | 3908 78930 193771 | 28941 100 14 | 90.595 % | 105.65/105.86 c | 251 | 3908 78930 193771 | 31835 251 16 | 90.595 % | 105.65/105.87 c | 477 | 3907 78930 193771 | 35018 477 27 | 90.597 % | 105.65/105.88 c =============================================================================== 105.65/105.89 c core #645 105.65/105.89 c Core size: 386 Core Weight: 1 Total Weight: -355 105.65/105.89 c Elapsed CPU time: 102.22 s Remaining CPU time: 1697.78 s 105.85/106.05 c ============================[ Search Statistics ]============================== 105.85/106.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.85/106.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.85/106.05 c =============================================================================== 105.85/106.05 c | 0 | 3992 78931 193939 | 26310 0 nan | 0.000 % | 105.85/106.07 c | 100 | 3991 78931 193939 | 28941 100 9 | 90.414 % | 105.85/106.08 c | 252 | 3991 78931 193939 | 31835 252 13 | 90.414 % | 105.95/106.10 c | 477 | 3990 78931 193939 | 35019 477 26 | 90.417 % | 105.95/106.11 c =============================================================================== 105.95/106.11 c core #646 105.95/106.11 c Core size: 420 Core Weight: 1 Total Weight: -354 105.95/106.11 c Elapsed CPU time: 102.445 s Remaining CPU time: 1697.55 s 106.05/106.28 c ============================[ Search Statistics ]============================== 106.05/106.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.05/106.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.05/106.28 c =============================================================================== 106.05/106.28 c | 0 | 4078 78932 194111 | 26310 0 nan | 0.000 % | 106.15/106.30 c | 100 | 4078 78932 194111 | 28941 100 32 | 90.226 % | 106.15/106.31 c | 250 | 4078 78932 194111 | 31835 250 26 | 90.226 % | 106.15/106.33 c | 475 | 4078 78932 194111 | 35019 475 26 | 90.226 % | 106.15/106.37 c | 812 | 4078 78932 194111 | 38521 812 38 | 90.226 % | 106.25/106.43 c | 1323 | 4078 78932 194111 | 42373 1323 55 | 90.226 % | 106.25/106.48 c =============================================================================== 106.36/106.50 c core #647 106.36/106.50 c Core size: 484 Core Weight: 1 Total Weight: -353 106.36/106.50 c Elapsed CPU time: 102.812 s Remaining CPU time: 1697.19 s 106.46/106.66 c ============================[ Search Statistics ]============================== 106.46/106.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.46/106.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.46/106.66 c =============================================================================== 106.46/106.66 c | 0 | 4162 78933 194279 | 26311 0 nan | 0.000 % | 106.46/106.69 c | 100 | 4162 78933 194279 | 28942 100 28 | 90.044 % | 106.46/106.70 c | 250 | 4162 78933 194279 | 31836 250 30 | 90.044 % | 106.55/106.71 c | 477 | 4162 78933 194279 | 35019 477 28 | 90.044 % | 106.55/106.74 c | 814 | 4162 78933 194279 | 38521 814 32 | 90.044 % | 106.66/106.80 c | 1323 | 4162 78933 194279 | 42374 1323 42 | 90.044 % | 106.75/106.91 c | 2082 | 4082 78933 194279 | 46611 1327 23 | 90.236 % | 106.75/106.92 c =============================================================================== 106.75/106.94 c core #648 106.75/106.94 c Core size: 638 Core Weight: 1 Total Weight: -352 106.75/106.94 c Elapsed CPU time: 103.243 s Remaining CPU time: 1696.76 s 106.95/107.11 c ============================[ Search Statistics ]============================== 106.95/107.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.95/107.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.95/107.11 c =============================================================================== 106.95/107.11 c | 0 | 4266 78934 194487 | 26311 0 nan | 0.000 % | 106.95/107.14 c | 100 | 4266 78934 194487 | 28942 100 43 | 89.821 % | 106.95/107.15 c | 250 | 4266 78934 194487 | 31836 250 27 | 89.821 % | 106.95/107.16 c | 475 | 4265 78934 194487 | 35020 475 26 | 89.823 % | 106.95/107.17 c =============================================================================== 106.95/107.17 c core #649 106.95/107.17 c Core size: 316 Core Weight: 1 Total Weight: -351 106.95/107.17 c Elapsed CPU time: 103.458 s Remaining CPU time: 1696.54 s 107.15/107.34 c ============================[ Search Statistics ]============================== 107.15/107.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.15/107.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.15/107.34 c =============================================================================== 107.15/107.34 c | 0 | 4338 78935 194631 | 26311 0 nan | 0.000 % | 107.15/107.36 c | 100 | 4338 78935 194631 | 28942 100 39 | 89.667 % | 107.15/107.37 c | 250 | 4338 78935 194631 | 31837 250 27 | 89.667 % | 107.15/107.39 c | 476 | 4338 78935 194631 | 35020 476 29 | 89.667 % | 107.25/107.42 c | 813 | 4338 78935 194631 | 38522 813 32 | 89.667 % | 107.25/107.48 c | 1320 | 4338 78935 194631 | 42375 1320 43 | 89.667 % | 107.35/107.57 c | 2081 | 4338 78935 194631 | 46612 2081 57 | 89.667 % | 107.55/107.70 c =============================================================================== 107.55/107.72 c core #650 107.55/107.72 c Core size: 629 Core Weight: 1 Total Weight: -350 107.55/107.72 c Elapsed CPU time: 103.995 s Remaining CPU time: 1696 s 107.66/107.89 c ============================[ Search Statistics ]============================== 107.66/107.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.66/107.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.66/107.89 c =============================================================================== 107.66/107.89 c | 0 | 4438 78936 194831 | 26312 0 nan | 0.000 % | 107.75/107.92 c | 100 | 4438 78936 194831 | 28943 100 27 | 89.454 % | 107.75/107.92 c | 251 | 4438 78936 194831 | 31837 251 21 | 89.454 % | 107.75/107.94 c | 476 | 4438 78936 194831 | 35021 476 18 | 89.454 % | 107.75/107.96 c | 813 | 4438 78936 194831 | 38523 813 18 | 89.454 % | 107.85/108.00 c | 1320 | 4438 78936 194831 | 42375 1320 25 | 89.454 % | 107.85/108.07 c | 2081 | 4438 78936 194831 | 46613 2081 30 | 89.454 % | 108.05/108.26 c | 3221 | 4438 78936 194831 | 51274 3221 54 | 89.454 % | 108.44/108.61 c | 4929 | 4438 78936 194831 | 56402 4929 71 | 89.454 % | 109.24/109.50 c =============================================================================== 109.45/109.60 c core #651 109.45/109.60 c Core size: 934 Core Weight: 1 Total Weight: -349 109.45/109.60 c Elapsed CPU time: 105.85 s Remaining CPU time: 1694.15 s 109.54/109.78 c ============================[ Search Statistics ]============================== 109.54/109.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 109.54/109.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 109.54/109.78 c =============================================================================== 109.54/109.78 c | 0 | 4566 78937 195087 | 26312 0 nan | 0.000 % | 109.65/109.80 c | 100 | 4566 78937 195087 | 28943 100 14 | 89.182 % | 109.65/109.81 c | 250 | 4566 78937 195087 | 31837 250 13 | 89.182 % | 109.65/109.82 c | 475 | 4566 78937 195087 | 35021 475 14 | 89.182 % | 109.65/109.85 c | 812 | 4566 78937 195087 | 38523 812 22 | 89.182 % | 109.65/109.90 c | 1319 | 4566 78937 195087 | 42376 1319 26 | 89.182 % | 109.75/109.98 c | 2079 | 4565 78937 195087 | 46613 2077 37 | 89.185 % | 109.85/110.02 c =============================================================================== 109.85/110.03 c core #652 109.85/110.03 c Core size: 815 Core Weight: 1 Total Weight: -348 109.85/110.03 c Elapsed CPU time: 106.264 s Remaining CPU time: 1693.74 s 110.04/110.20 c ============================[ Search Statistics ]============================== 110.04/110.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.04/110.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.04/110.20 c =============================================================================== 110.04/110.20 c | 0 | 4700 78938 195355 | 26312 0 nan | 0.000 % | 110.04/110.22 c | 100 | 4700 78938 195355 | 28943 100 34 | 88.900 % | 110.04/110.23 c | 251 | 4700 78938 195355 | 31838 251 24 | 88.900 % | 110.04/110.25 c | 476 | 4700 78938 195355 | 35022 476 20 | 88.900 % | 110.04/110.28 c | 813 | 4700 78938 195355 | 38524 813 26 | 88.900 % | 110.15/110.33 c | 1322 | 4700 78938 195355 | 42376 1322 42 | 88.900 % | 110.24/110.46 c | 2084 | 4700 78938 195355 | 46614 2084 80 | 88.900 % | 110.45/110.67 c | 3224 | 4700 78938 195355 | 51275 3224 95 | 88.900 % | 111.04/111.26 c | 4932 | 4700 78938 195355 | 56403 4932 145 | 88.900 % | 111.55/111.70 c =============================================================================== 111.55/111.78 c core #653 111.55/111.78 c Core size: 746 Core Weight: 1 Total Weight: -347 111.55/111.78 c Elapsed CPU time: 107.99 s Remaining CPU time: 1692.01 s 111.74/111.96 c ============================[ Search Statistics ]============================== 111.74/111.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.74/111.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.74/111.96 c =============================================================================== 111.74/111.96 c | 0 | 4804 78939 195563 | 26313 0 nan | 0.000 % | 111.74/111.99 c | 100 | 4804 78939 195563 | 28944 100 25 | 88.682 % | 111.84/112.00 c | 252 | 4804 78939 195563 | 31838 252 19 | 88.682 % | 111.84/112.01 c | 477 | 4804 78939 195563 | 35022 477 20 | 88.682 % | 111.84/112.04 c | 815 | 4804 78939 195563 | 38524 815 22 | 88.682 % | 111.84/112.08 c | 1321 | 4804 78939 195563 | 42377 1321 34 | 88.682 % | 111.95/112.17 c | 2080 | 4804 78939 195563 | 46615 2080 45 | 88.682 % | 112.14/112.36 c | 3220 | 4804 78939 195563 | 51276 3220 72 | 88.682 % | 112.54/112.73 c | 4928 | 4804 78939 195563 | 56404 4928 94 | 88.682 % | 113.44/113.69 c | 7492 | 4804 78939 195563 | 62044 7492 130 | 88.682 % | 115.04/115.24 c =============================================================================== 115.24/115.42 c core #654 115.24/115.42 c Core size: 1178 Core Weight: 1 Total Weight: -346 115.24/115.42 c Elapsed CPU time: 111.573 s Remaining CPU time: 1688.43 s 115.44/115.61 c ============================[ Search Statistics ]============================== 115.44/115.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.44/115.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.44/115.61 c =============================================================================== 115.44/115.61 c | 0 | 4948 78940 195851 | 26313 0 nan | 0.000 % | 115.44/115.64 c | 101 | 4948 78940 195851 | 28944 101 30 | 88.383 % | 115.44/115.65 c | 251 | 4948 78940 195851 | 31839 251 24 | 88.383 % | 115.44/115.67 c | 477 | 4948 78940 195851 | 35023 477 24 | 88.383 % | 115.44/115.69 c | 814 | 4948 78940 195851 | 38525 814 26 | 88.383 % | 115.54/115.73 c | 1321 | 4948 78940 195851 | 42377 1321 26 | 88.383 % | 115.54/115.79 c | 2082 | 4948 78940 195851 | 46615 2082 30 | 88.383 % | 115.74/115.93 c | 3223 | 4948 78940 195851 | 51277 3223 36 | 88.383 % | 116.03/116.27 c | 4935 | 4948 78940 195851 | 56404 4935 54 | 88.383 % | 116.74/116.92 c | 7497 | 4948 78940 195851 | 62045 7497 80 | 88.383 % | 117.74/117.97 c | 11341 | 4948 78940 195851 | 68250 11341 102 | 88.383 % | 120.53/120.77 c | 17108 | 4948 78940 195851 | 75075 17108 111 | 88.383 % | 127.03/127.25 c | 25758 | 4948 78940 195851 | 82582 25758 127 | 88.383 % | 140.43/140.65 c | 38736 | 4948 78940 195851 | 90840 38736 153 | 88.383 % | 174.32/174.53 c | 58199 | 4948 78940 195851 | 99924 58199 169 | 88.383 % | 301.99/302.20 c =============================================================================== 303.89/304.18 c core #655 303.89/304.18 c Core size: 1747 Core Weight: 1 Total Weight: -345 303.89/304.18 c Elapsed CPU time: 299.755 s Remaining CPU time: 1500.24 s 304.19/304.45 c ============================[ Search Statistics ]============================== 304.19/304.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 304.19/304.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 304.19/304.45 c =============================================================================== 304.19/304.45 c | 0 | 5122 78941 196199 | 26313 0 nan | 0.000 % | 304.19/304.49 c | 100 | 5122 78941 196199 | 28945 100 23 | 88.023 % | 304.29/304.50 c | 252 | 5122 78941 196199 | 31839 252 22 | 88.023 % | 304.29/304.52 c | 477 | 5122 78941 196199 | 35023 477 22 | 88.023 % | 304.29/304.55 c | 814 | 5122 78941 196199 | 38525 814 21 | 88.023 % | 304.39/304.60 c | 1320 | 5122 78941 196199 | 42378 1320 30 | 88.023 % | 304.49/304.71 c | 2083 | 5122 78941 196199 | 46616 2083 49 | 88.023 % | 304.68/304.95 c | 3227 | 5122 78941 196199 | 51277 3227 79 | 88.023 % | 305.09/305.34 c | 4936 | 5122 78941 196199 | 56405 4936 106 | 88.023 % | 306.18/306.42 c | 7498 | 5122 78941 196199 | 62046 7498 148 | 88.023 % | 308.09/308.31 c | 11343 | 5122 78941 196199 | 68250 11343 166 | 88.023 % | 311.58/311.81 c | 17109 | 5122 78941 196199 | 75075 17109 173 | 88.023 % | 321.28/321.53 c | 25761 | 5122 78941 196199 | 82583 25761 220 | 88.023 % | 345.77/346.05 c | 38736 | 5122 78941 196199 | 90841 38736 275 | 88.023 % | 364.16/364.40 c =============================================================================== 365.36/365.69 c core #656 365.36/365.69 c Core size: 1078 Core Weight: 1 Total Weight: -344 365.36/365.69 c Elapsed CPU time: 361.106 s Remaining CPU time: 1438.89 s 365.66/365.91 c ============================[ Search Statistics ]============================== 365.66/365.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 365.66/365.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 365.66/365.91 c =============================================================================== 365.66/365.91 c | 0 | 5246 78942 196447 | 26314 0 nan | 0.000 % | 365.66/365.95 c | 100 | 5246 78942 196447 | 28945 100 32 | 87.768 % | 365.66/365.96 c | 250 | 5246 78942 196447 | 31839 250 22 | 87.768 % | 365.66/365.98 c | 475 | 5246 78942 196447 | 35023 475 23 | 87.768 % | 365.77/366.00 c | 812 | 5246 78942 196447 | 38526 812 27 | 87.768 % | 365.77/366.04 c | 1319 | 5246 78942 196447 | 42378 1319 31 | 87.768 % | 365.86/366.13 c | 2078 | 5246 78942 196447 | 46616 2078 39 | 87.768 % | 365.97/366.29 c | 3217 | 5246 78942 196447 | 51278 3217 49 | 87.768 % | 366.46/366.71 c | 4925 | 5246 78942 196447 | 56406 4925 87 | 87.768 % | 367.57/367.80 c | 7487 | 5246 78942 196447 | 62047 7487 119 | 87.768 % | 370.07/370.37 c | 11333 | 5246 78942 196447 | 68251 11333 184 | 87.768 % | 377.36/377.70 c | 17102 | 5246 78942 196447 | 75076 17102 227 | 87.768 % | 386.96/387.24 c | 25754 | 5246 78942 196447 | 82584 25754 224 | 87.768 % | 410.15/410.42 c | 38728 | 5246 78942 196447 | 90843 38728 232 | 87.768 % | 471.44/471.77 c | 58192 | 5246 78942 196447 | 99927 58192 280 | 87.768 % | 556.71/557.02 c | 87386 | 5246 78942 196447 | 109920 87386 248 | 87.768 % |
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-1875332-1245199152/watcher-1875332-1245199152 -o /tmp/evaluation-result-1875332-1245199152/solver-1875332-1245199152 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875332-1245199152.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.01 1.06 1.00 3/64 10737 /proc/meminfo: memFree=1845104/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=6036 CPUtime=0 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 187512528 6180864 256 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 1509 264 125 292 0 406 0 [startup+0.0245071 s] /proc/loadavg: 1.01 1.06 1.00 3/64 10737 /proc/meminfo: memFree=1845104/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=7812 CPUtime=0.01 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 692 0 0 0 1 0 0 0 18 0 1 0 187512528 7999488 676 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 1953 678 147 292 0 850 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7812 [startup+0.101514 s] /proc/loadavg: 1.01 1.06 1.00 3/64 10737 /proc/meminfo: memFree=1845104/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=12884 CPUtime=0.09 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 1854 0 0 0 9 0 0 0 18 0 1 0 187512528 13193216 1838 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 3221 1839 228 292 0 2118 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12884 [startup+0.301536 s] /proc/loadavg: 1.01 1.06 1.00 3/64 10737 /proc/meminfo: memFree=1845104/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=15900 CPUtime=0.29 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 3035 0 0 0 28 1 0 0 19 0 1 0 187512528 16281600 2986 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 3975 2986 526 292 0 2872 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15900 [startup+0.701582 s] /proc/loadavg: 1.01 1.06 1.00 3/64 10737 /proc/meminfo: memFree=1845104/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=28152 CPUtime=0.69 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 8008 0 0 0 66 3 0 0 22 0 1 0 187512528 28827648 6295 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 7038 6295 134 292 0 6743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28152 [startup+1.50167 s] /proc/loadavg: 1.01 1.06 1.00 2/65 10738 /proc/meminfo: memFree=1814696/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=43140 CPUtime=1.49 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 14652 0 0 0 143 6 0 0 25 0 1 0 187512528 44175360 10062 1992294400 134512640 135709839 4294956240 18446744073709551615 135165885 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 10785 10062 134 292 0 10490 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43140 [startup+3.10185 s] /proc/loadavg: 1.01 1.06 1.00 2/65 10738 /proc/meminfo: memFree=1795112/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=69024 CPUtime=3.09 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 26315 0 0 0 299 10 0 0 25 0 1 0 187512528 70680576 16545 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 17256 16545 134 292 0 16961 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 69024 [startup+6.3012 s] /proc/loadavg: 1.01 1.06 1.00 2/65 10738 /proc/meminfo: memFree=1740200/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=122280 CPUtime=6.29 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 49925 0 0 0 608 21 0 0 25 0 1 0 187512528 125214720 29853 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 30570 29855 134 292 0 30275 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122280 [startup+12.7019 s] /proc/loadavg: 1.01 1.06 1.00 2/65 10738 /proc/meminfo: memFree=1631016/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=228452 CPUtime=12.69 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 98640 0 0 0 1226 43 0 0 25 0 1 0 187512528 233934848 56423 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 57113 56423 134 292 0 56818 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 228452 [startup+25.5013 s] /proc/loadavg: 1.00 1.05 1.00 2/65 10738 /proc/meminfo: memFree=1413736/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=438380 CPUtime=25.48 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 195247 0 0 0 2461 87 0 0 25 0 1 0 187512528 448901120 108905 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 109595 108906 134 292 0 109300 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 438380 [startup+51.1012 s] /proc/loadavg: 1.00 1.05 1.00 2/65 10738 /proc/meminfo: memFree=1009768/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=847812 CPUtime=51.05 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 386305 0 0 0 4932 173 0 0 25 0 1 0 187512528 868159488 211225 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 211953 211225 134 292 0 211658 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 847812 [startup+102.306 s] /proc/loadavg: 1.00 1.04 1.00 2/65 10738 /proc/meminfo: memFree=239144/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1606424 CPUtime=102.16 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 747840 0 0 0 9873 343 0 0 25 0 1 0 187512528 1644978176 400989 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 401606 400990 135 292 0 401311 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 1606424 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 10738 /proc/meminfo: memFree=125224/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1719460 CPUtime=162.12 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 788761 0 0 0 15819 393 0 0 25 0 1 0 187512528 1760727040 429222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 429865 429222 136 292 0 429570 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 1719460 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10738 /proc/meminfo: memFree=90792/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1753828 CPUtime=222.1 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 797324 0 0 0 21802 408 0 0 25 0 1 0 187512528 1795919872 437785 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 438457 437785 136 292 0 438162 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 1753828 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10738 /proc/meminfo: memFree=62568/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1781912 CPUtime=282.1 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 804344 0 0 0 27791 419 0 0 25 0 1 0 187512528 1824677888 444805 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 445478 444805 136 292 0 445183 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 1781912 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10738 /proc/meminfo: memFree=45032/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1799288 CPUtime=342.08 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 809152 0 0 0 33774 434 0 0 25 0 1 0 187512528 1842470912 449113 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 449822 449113 136 292 0 449527 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 1799288 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=46632/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1797120 CPUtime=402.05 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 809261 0 0 0 39757 448 0 0 25 0 1 0 187512528 1840250880 448720 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 449280 448720 136 292 0 448985 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 1797120 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=46504/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1797120 CPUtime=462.04 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 809303 0 0 0 45751 453 0 0 25 0 1 0 187512528 1840250880 448762 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 449280 448762 136 292 0 448985 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 1797120 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=27112/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1817052 CPUtime=522.02 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 814221 0 0 0 51736 466 0 0 25 0 1 0 187512528 1860661248 453680 1992294400 134512640 135709839 4294956240 18446744073709551615 134574297 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 454263 453680 136 292 0 453968 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 1817052 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=15720/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1831528 CPUtime=582.01 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 817800 0 0 0 57725 476 0 0 25 0 1 0 187512528 1875484672 457259 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 457882 457259 136 292 0 457587 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 1831528 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+628.105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=15592/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=1843200 CPUtime=627.8 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4194304 820680 0 0 0 62297 483 0 0 25 0 1 0 187512528 1887436800 460139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 460800 460139 136 292 0 460505 0 Current children cumulated CPU time (s) 627.8 Current children cumulated vsize (KiB) 1843200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+628.206 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=15592/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=0 CPUtime=627.9 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4195332 820680 0 0 0 62297 493 0 0 25 0 1 0 187512528 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 627.9 Current children cumulated vsize (KiB) 0 [startup+628.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10738 /proc/meminfo: memFree=15592/2055920 swapFree=4191900/4192956 [pid=10737] ppid=10735 vsize=0 CPUtime=627.99 /proc/10737/stat : 10737 (wbo) R 10735 10737 10474 0 -1 4195332 820680 0 0 0 62297 502 0 0 25 0 1 0 187512528 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10737/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 627.99 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 628.401 CPU time (s): 628.104 CPU user time (s): 622.977 CPU system time (s): 5.12622 CPU usage (%): 99.9526 Max. virtual memory (cumulated for all children) (KiB): 1843200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 622.977 system time used= 5.12622 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 820680 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4553 runsolver used 0.512922 second user time and 1.47178 second system time The end
Begin job on node38 at 2009-06-17 02:39:12 IDJOB=1875332 IDBENCH=48172 IDSOLVER=698 FILE ID=node38/1875332-1245199152 PBS_JOBID= 9368312 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.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-1875332-1245199152/watcher-1875332-1245199152 -o /tmp/evaluation-result-1875332-1245199152/solver-1875332-1245199152 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875332-1245199152.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227 RANDOM SEED=1842262564 node38.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: 1847952 kB Buffers: 51760 kB Cached: 72080 kB SwapCached: 260 kB Active: 49844 kB Inactive: 87348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847952 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3328 kB Writeback: 0 kB Mapped: 22512 kB Slab: 56708 kB Committed_AS: 170616 kB PageTables: 1464 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-1875332-1245199152.opb Free space on /tmp at the end= 66232 MiB End job on node38 at 2009-06-17 02:49:44