| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 520.07 | 520.372 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_3.opb |
| MD5SUM | 18e694be8bacc67580164c28dde5ca1c |
| 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.69 |
| 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 | 107 |
| 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) | 75294 |
| Sum of products size (including duplicates) | 150588 |
| Number of different products | 37647 |
| Sum of products size | 75294 |
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-1875330-1245198717.opb. 0.00/0.00 c Instance file HOME/instance-1875330-1245198717.opb 0.00/0.00 c File size is 3309323 bytes. 0.49/0.50 c Highest Coefficient sum: 107 0.49/0.50 c ============================[ Problem Statistics ]============================= 0.49/0.50 c | | 0.49/0.50 c | Parsing time: 0.49 s | 0.49/0.50 c | Number Variables: 38647 | 0.49/0.50 c | Number Clauses: 38647 | 0.49/0.50 c | Number Cardinality: 2000 | 0.49/0.50 c | Number PB Constraints: 37647 | 0.49/0.50 c core #1 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -999 0.49/0.50 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.59/0.62 c core #2 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -998 0.59/0.62 c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s 0.69/0.74 c core #3 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -997 0.69/0.74 c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s 0.80/0.86 c core #4 0.80/0.86 c Core size: 4 Core Weight: 1 Total Weight: -996 0.80/0.86 c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s 0.89/0.99 c core #5 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -995 0.89/0.99 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 1.09/1.12 c core #6 1.09/1.12 c Core size: 4 Core Weight: 1 Total Weight: -994 1.09/1.12 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 1.19/1.26 c core #7 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: -993 1.19/1.26 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.39/1.40 c core #8 1.39/1.40 c Core size: 4 Core Weight: 1 Total Weight: -992 1.39/1.40 c Elapsed CPU time: 1.3458 s Remaining CPU time: 1798.65 s 1.49/1.54 c core #9 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -991 1.49/1.54 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.59/1.68 c core #10 1.59/1.68 c Core size: 4 Core Weight: 1 Total Weight: -990 1.59/1.68 c Elapsed CPU time: 1.61575 s Remaining CPU time: 1798.38 s 1.80/1.83 c core #11 1.80/1.83 c Core size: 4 Core Weight: 1 Total Weight: -989 1.80/1.83 c Elapsed CPU time: 1.75773 s Remaining CPU time: 1798.24 s 1.89/1.97 c core #12 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -988 1.89/1.97 c Elapsed CPU time: 1.89971 s Remaining CPU time: 1798.1 s 2.10/2.11 c core #13 2.10/2.11 c Core size: 4 Core Weight: 1 Total Weight: -987 2.10/2.11 c Elapsed CPU time: 2.03269 s Remaining CPU time: 1797.97 s 2.20/2.25 c core #14 2.20/2.25 c Core size: 4 Core Weight: 1 Total Weight: -986 2.20/2.25 c Elapsed CPU time: 2.16867 s Remaining CPU time: 1797.83 s 2.39/2.40 c core #15 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -985 2.39/2.40 c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s 2.49/2.54 c core #16 2.49/2.54 c Core size: 4 Core Weight: 1 Total Weight: -984 2.49/2.54 c Elapsed CPU time: 2.44363 s Remaining CPU time: 1797.56 s 2.59/2.68 c core #17 2.59/2.68 c Core size: 4 Core Weight: 1 Total Weight: -983 2.59/2.68 c Elapsed CPU time: 2.58461 s Remaining CPU time: 1797.42 s 2.79/2.83 c core #18 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -982 2.79/2.83 c Elapsed CPU time: 2.72858 s Remaining CPU time: 1797.27 s 2.88/2.98 c core #19 2.88/2.98 c Core size: 4 Core Weight: 1 Total Weight: -981 2.88/2.98 c Elapsed CPU time: 2.86956 s Remaining CPU time: 1797.13 s 3.09/3.12 c core #20 3.09/3.12 c Core size: 4 Core Weight: 1 Total Weight: -980 3.09/3.12 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 3.19/3.27 c core #21 3.19/3.27 c Core size: 4 Core Weight: 1 Total Weight: -979 3.19/3.27 c Elapsed CPU time: 3.14852 s Remaining CPU time: 1796.85 s 3.39/3.41 c core #22 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: -978 3.39/3.41 c Elapsed CPU time: 3.2885 s Remaining CPU time: 1796.71 s 3.49/3.56 c core #23 3.49/3.56 c Core size: 4 Core Weight: 1 Total Weight: -977 3.49/3.56 c Elapsed CPU time: 3.42648 s Remaining CPU time: 1796.57 s 3.69/3.70 c core #24 3.69/3.70 c Core size: 4 Core Weight: 1 Total Weight: -976 3.69/3.70 c Elapsed CPU time: 3.56946 s Remaining CPU time: 1796.43 s 3.79/3.84 c core #25 3.79/3.84 c Core size: 4 Core Weight: 1 Total Weight: -975 3.79/3.84 c Elapsed CPU time: 3.70744 s Remaining CPU time: 1796.29 s 3.89/3.99 c core #26 3.89/3.99 c Core size: 4 Core Weight: 1 Total Weight: -974 3.89/3.99 c Elapsed CPU time: 3.84841 s Remaining CPU time: 1796.15 s 4.09/4.14 c core #27 4.09/4.14 c Core size: 4 Core Weight: 1 Total Weight: -973 4.09/4.14 c Elapsed CPU time: 3.99639 s Remaining CPU time: 1796 s 4.19/4.28 c core #28 4.19/4.28 c Core size: 4 Core Weight: 1 Total Weight: -972 4.19/4.28 c Elapsed CPU time: 4.13537 s Remaining CPU time: 1795.86 s 4.39/4.42 c core #29 4.39/4.42 c Core size: 4 Core Weight: 1 Total Weight: -971 4.39/4.42 c Elapsed CPU time: 4.27235 s Remaining CPU time: 1795.73 s 4.49/4.57 c core #30 4.49/4.57 c Core size: 4 Core Weight: 1 Total Weight: -970 4.49/4.57 c Elapsed CPU time: 4.41333 s Remaining CPU time: 1795.59 s 4.69/4.71 c core #31 4.69/4.71 c Core size: 4 Core Weight: 1 Total Weight: -969 4.69/4.71 c Elapsed CPU time: 4.55331 s Remaining CPU time: 1795.45 s 4.79/4.86 c core #32 4.79/4.86 c Core size: 4 Core Weight: 1 Total Weight: -968 4.79/4.86 c Elapsed CPU time: 4.69129 s Remaining CPU time: 1795.31 s 4.99/5.00 c core #33 4.99/5.00 c Core size: 4 Core Weight: 1 Total Weight: -967 4.99/5.00 c Elapsed CPU time: 4.82827 s Remaining CPU time: 1795.17 s 5.09/5.14 c core #34 5.09/5.14 c Core size: 4 Core Weight: 1 Total Weight: -966 5.09/5.14 c Elapsed CPU time: 4.96425 s Remaining CPU time: 1795.04 s 5.19/5.28 c core #35 5.19/5.28 c Core size: 4 Core Weight: 1 Total Weight: -965 5.19/5.28 c Elapsed CPU time: 5.09922 s Remaining CPU time: 1794.9 s 5.39/5.43 c core #36 5.39/5.43 c Core size: 4 Core Weight: 1 Total Weight: -964 5.39/5.43 c Elapsed CPU time: 5.2392 s Remaining CPU time: 1794.76 s 5.49/5.57 c core #37 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: -963 5.49/5.57 c Elapsed CPU time: 5.37918 s Remaining CPU time: 1794.62 s 5.69/5.72 c core #38 5.69/5.72 c Core size: 4 Core Weight: 1 Total Weight: -962 5.69/5.72 c Elapsed CPU time: 5.51316 s Remaining CPU time: 1794.49 s 5.79/5.86 c core #39 5.79/5.86 c Core size: 4 Core Weight: 1 Total Weight: -961 5.79/5.86 c Elapsed CPU time: 5.65614 s Remaining CPU time: 1794.34 s 5.99/6.01 c core #40 5.99/6.01 c Core size: 4 Core Weight: 1 Total Weight: -960 5.99/6.01 c Elapsed CPU time: 5.79612 s Remaining CPU time: 1794.2 s 6.09/6.15 c core #41 6.09/6.15 c Core size: 4 Core Weight: 1 Total Weight: -959 6.09/6.15 c Elapsed CPU time: 5.9361 s Remaining CPU time: 1794.06 s 6.19/6.29 c core #42 6.19/6.29 c Core size: 4 Core Weight: 1 Total Weight: -958 6.19/6.29 c Elapsed CPU time: 6.07907 s Remaining CPU time: 1793.92 s 6.38/6.44 c core #43 6.38/6.44 c Core size: 4 Core Weight: 1 Total Weight: -957 6.38/6.44 c Elapsed CPU time: 6.22105 s Remaining CPU time: 1793.78 s 6.49/6.58 c core #44 6.49/6.58 c Core size: 4 Core Weight: 1 Total Weight: -956 6.49/6.58 c Elapsed CPU time: 6.35603 s Remaining CPU time: 1793.64 s 6.68/6.72 c core #45 6.68/6.72 c Core size: 4 Core Weight: 1 Total Weight: -955 6.68/6.72 c Elapsed CPU time: 6.49301 s Remaining CPU time: 1793.51 s 6.79/6.87 c core #46 6.79/6.87 c Core size: 4 Core Weight: 1 Total Weight: -954 6.79/6.87 c Elapsed CPU time: 6.63199 s Remaining CPU time: 1793.37 s 6.98/7.01 c core #47 6.98/7.01 c Core size: 4 Core Weight: 1 Total Weight: -953 6.98/7.01 c Elapsed CPU time: 6.76797 s Remaining CPU time: 1793.23 s 7.09/7.15 c core #48 7.09/7.15 c Core size: 4 Core Weight: 1 Total Weight: -952 7.09/7.15 c Elapsed CPU time: 6.90995 s Remaining CPU time: 1793.09 s 7.19/7.29 c core #49 7.19/7.29 c Core size: 4 Core Weight: 1 Total Weight: -951 7.19/7.29 c Elapsed CPU time: 7.04593 s Remaining CPU time: 1792.95 s 7.39/7.44 c core #50 7.39/7.44 c Core size: 4 Core Weight: 1 Total Weight: -950 7.39/7.44 c Elapsed CPU time: 7.18491 s Remaining CPU time: 1792.82 s 7.49/7.58 c core #51 7.49/7.58 c Core size: 4 Core Weight: 1 Total Weight: -949 7.49/7.58 c Elapsed CPU time: 7.32089 s Remaining CPU time: 1792.68 s 7.70/7.72 c core #52 7.70/7.72 c Core size: 4 Core Weight: 1 Total Weight: -948 7.70/7.72 c Elapsed CPU time: 7.46286 s Remaining CPU time: 1792.54 s 7.79/7.87 c core #53 7.79/7.87 c Core size: 4 Core Weight: 1 Total Weight: -947 7.79/7.87 c Elapsed CPU time: 7.60384 s Remaining CPU time: 1792.4 s 7.99/8.01 c core #54 7.99/8.01 c Core size: 4 Core Weight: 1 Total Weight: -946 7.99/8.01 c Elapsed CPU time: 7.74382 s Remaining CPU time: 1792.26 s 8.08/8.15 c core #55 8.08/8.15 c Core size: 4 Core Weight: 1 Total Weight: -945 8.08/8.15 c Elapsed CPU time: 7.8838 s Remaining CPU time: 1792.12 s 8.19/8.30 c core #56 8.19/8.30 c Core size: 4 Core Weight: 1 Total Weight: -944 8.19/8.30 c Elapsed CPU time: 8.02178 s Remaining CPU time: 1791.98 s 8.38/8.44 c core #57 8.38/8.44 c Core size: 4 Core Weight: 1 Total Weight: -943 8.38/8.44 c Elapsed CPU time: 8.16076 s Remaining CPU time: 1791.84 s 8.49/8.58 c core #58 8.49/8.58 c Core size: 4 Core Weight: 1 Total Weight: -942 8.49/8.58 c Elapsed CPU time: 8.30074 s Remaining CPU time: 1791.7 s 8.70/8.73 c core #59 8.70/8.73 c Core size: 4 Core Weight: 1 Total Weight: -941 8.70/8.73 c Elapsed CPU time: 8.43572 s Remaining CPU time: 1791.56 s 8.79/8.87 c core #60 8.79/8.87 c Core size: 4 Core Weight: 1 Total Weight: -940 8.79/8.87 c Elapsed CPU time: 8.5717 s Remaining CPU time: 1791.43 s 8.99/9.01 c core #61 8.99/9.01 c Core size: 4 Core Weight: 1 Total Weight: -939 8.99/9.01 c Elapsed CPU time: 8.71167 s Remaining CPU time: 1791.29 s 9.09/9.16 c core #62 9.09/9.16 c Core size: 4 Core Weight: 1 Total Weight: -938 9.09/9.16 c Elapsed CPU time: 8.85065 s Remaining CPU time: 1791.15 s 9.29/9.31 c core #63 9.29/9.31 c Core size: 4 Core Weight: 1 Total Weight: -937 9.29/9.31 c Elapsed CPU time: 8.99663 s Remaining CPU time: 1791 s 9.39/9.45 c core #64 9.39/9.45 c Core size: 4 Core Weight: 1 Total Weight: -936 9.39/9.45 c Elapsed CPU time: 9.13661 s Remaining CPU time: 1790.86 s 9.49/9.60 c core #65 9.49/9.60 c Core size: 4 Core Weight: 1 Total Weight: -935 9.49/9.60 c Elapsed CPU time: 9.27659 s Remaining CPU time: 1790.72 s 9.68/9.74 c core #66 9.68/9.74 c Core size: 4 Core Weight: 1 Total Weight: -934 9.68/9.74 c Elapsed CPU time: 9.41757 s Remaining CPU time: 1790.58 s 9.79/9.88 c core #67 9.79/9.88 c Core size: 4 Core Weight: 1 Total Weight: -933 9.79/9.88 c Elapsed CPU time: 9.55555 s Remaining CPU time: 1790.44 s 9.99/10.03 c core #68 9.99/10.03 c Core size: 4 Core Weight: 1 Total Weight: -932 9.99/10.03 c Elapsed CPU time: 9.69652 s Remaining CPU time: 1790.3 s 10.09/10.17 c core #69 10.09/10.17 c Core size: 4 Core Weight: 1 Total Weight: -931 10.09/10.17 c Elapsed CPU time: 9.8365 s Remaining CPU time: 1790.16 s 10.29/10.32 c core #70 10.29/10.32 c Core size: 4 Core Weight: 1 Total Weight: -930 10.29/10.32 c Elapsed CPU time: 9.97348 s Remaining CPU time: 1790.03 s 10.38/10.46 c core #71 10.38/10.46 c Core size: 4 Core Weight: 1 Total Weight: -929 10.38/10.46 c Elapsed CPU time: 10.1135 s Remaining CPU time: 1789.89 s 10.59/10.61 c core #72 10.59/10.61 c Core size: 4 Core Weight: 1 Total Weight: -928 10.59/10.61 c Elapsed CPU time: 10.2524 s Remaining CPU time: 1789.75 s 10.68/10.75 c core #73 10.68/10.75 c Core size: 4 Core Weight: 1 Total Weight: -927 10.68/10.75 c Elapsed CPU time: 10.3924 s Remaining CPU time: 1789.61 s 10.79/10.89 c core #74 10.79/10.89 c Core size: 4 Core Weight: 1 Total Weight: -926 10.79/10.89 c Elapsed CPU time: 10.5324 s Remaining CPU time: 1789.47 s 10.99/11.04 c core #75 10.99/11.04 c Core size: 4 Core Weight: 1 Total Weight: -925 10.99/11.04 c Elapsed CPU time: 10.6754 s Remaining CPU time: 1789.32 s 11.08/11.19 c core #76 11.08/11.19 c Core size: 4 Core Weight: 1 Total Weight: -924 11.08/11.19 c Elapsed CPU time: 10.8194 s Remaining CPU time: 1789.18 s 11.29/11.33 c core #77 11.29/11.33 c Core size: 4 Core Weight: 1 Total Weight: -923 11.29/11.33 c Elapsed CPU time: 10.9593 s Remaining CPU time: 1789.04 s 11.39/11.48 c core #78 11.39/11.48 c Core size: 4 Core Weight: 1 Total Weight: -922 11.39/11.48 c Elapsed CPU time: 11.0983 s Remaining CPU time: 1788.9 s 11.59/11.62 c core #79 11.59/11.62 c Core size: 4 Core Weight: 1 Total Weight: -921 11.59/11.62 c Elapsed CPU time: 11.2393 s Remaining CPU time: 1788.76 s 11.69/11.77 c core #80 11.69/11.77 c Core size: 4 Core Weight: 1 Total Weight: -920 11.69/11.77 c Elapsed CPU time: 11.3793 s Remaining CPU time: 1788.62 s 11.89/11.91 c core #81 11.89/11.91 c Core size: 4 Core Weight: 1 Total Weight: -919 11.89/11.91 c Elapsed CPU time: 11.5162 s Remaining CPU time: 1788.48 s 11.99/12.06 c core #82 11.99/12.06 c Core size: 4 Core Weight: 1 Total Weight: -918 11.99/12.06 c Elapsed CPU time: 11.6562 s Remaining CPU time: 1788.34 s 12.19/12.20 c core #83 12.19/12.20 c Core size: 4 Core Weight: 1 Total Weight: -917 12.19/12.20 c Elapsed CPU time: 11.7952 s Remaining CPU time: 1788.2 s 12.28/12.35 c core #84 12.28/12.35 c Core size: 4 Core Weight: 1 Total Weight: -916 12.28/12.35 c Elapsed CPU time: 11.9342 s Remaining CPU time: 1788.07 s 12.39/12.49 c core #85 12.39/12.49 c Core size: 4 Core Weight: 1 Total Weight: -915 12.39/12.49 c Elapsed CPU time: 12.0752 s Remaining CPU time: 1787.92 s 12.58/12.64 c core #86 12.58/12.64 c Core size: 4 Core Weight: 1 Total Weight: -914 12.58/12.64 c Elapsed CPU time: 12.2161 s Remaining CPU time: 1787.78 s 12.69/12.78 c core #87 12.69/12.78 c Core size: 4 Core Weight: 1 Total Weight: -913 12.69/12.78 c Elapsed CPU time: 12.3581 s Remaining CPU time: 1787.64 s 12.89/12.93 c core #88 12.89/12.93 c Core size: 4 Core Weight: 1 Total Weight: -912 12.89/12.93 c Elapsed CPU time: 12.4981 s Remaining CPU time: 1787.5 s 12.99/13.07 c core #89 12.99/13.07 c Core size: 4 Core Weight: 1 Total Weight: -911 12.99/13.07 c Elapsed CPU time: 12.6371 s Remaining CPU time: 1787.36 s 13.19/13.21 c core #90 13.19/13.21 c Core size: 4 Core Weight: 1 Total Weight: -910 13.19/13.21 c Elapsed CPU time: 12.7741 s Remaining CPU time: 1787.23 s 13.29/13.36 c core #91 13.29/13.36 c Core size: 4 Core Weight: 1 Total Weight: -909 13.29/13.36 c Elapsed CPU time: 12.912 s Remaining CPU time: 1787.09 s 13.49/13.50 c core #92 13.49/13.50 c Core size: 4 Core Weight: 1 Total Weight: -908 13.49/13.50 c Elapsed CPU time: 13.051 s Remaining CPU time: 1786.95 s 13.59/13.65 c core #93 13.59/13.65 c Core size: 4 Core Weight: 1 Total Weight: -907 13.59/13.65 c Elapsed CPU time: 13.19 s Remaining CPU time: 1786.81 s 13.68/13.79 c core #94 13.68/13.79 c Core size: 4 Core Weight: 1 Total Weight: -906 13.68/13.79 c Elapsed CPU time: 13.33 s Remaining CPU time: 1786.67 s 13.88/13.94 c core #95 13.88/13.94 c Core size: 4 Core Weight: 1 Total Weight: -905 13.88/13.94 c Elapsed CPU time: 13.47 s Remaining CPU time: 1786.53 s 13.99/14.09 c core #96 13.99/14.09 c Core size: 4 Core Weight: 1 Total Weight: -904 13.99/14.09 c Elapsed CPU time: 13.6109 s Remaining CPU time: 1786.39 s 14.18/14.23 c core #97 14.18/14.23 c Core size: 4 Core Weight: 1 Total Weight: -903 14.18/14.23 c Elapsed CPU time: 13.7509 s Remaining CPU time: 1786.25 s 14.29/14.37 c core #98 14.29/14.37 c Core size: 4 Core Weight: 1 Total Weight: -902 14.29/14.37 c Elapsed CPU time: 13.8869 s Remaining CPU time: 1786.11 s 14.48/14.52 c core #99 14.48/14.52 c Core size: 4 Core Weight: 1 Total Weight: -901 14.48/14.52 c Elapsed CPU time: 14.0289 s Remaining CPU time: 1785.97 s 14.59/14.66 c core #100 14.59/14.66 c Core size: 4 Core Weight: 1 Total Weight: -900 14.59/14.66 c Elapsed CPU time: 14.1688 s Remaining CPU time: 1785.83 s 14.78/14.81 c core #101 14.78/14.81 c Core size: 4 Core Weight: 1 Total Weight: -899 14.78/14.81 c Elapsed CPU time: 14.3088 s Remaining CPU time: 1785.69 s 14.89/14.95 c core #102 14.89/14.95 c Core size: 4 Core Weight: 1 Total Weight: -898 14.89/14.95 c Elapsed CPU time: 14.4468 s Remaining CPU time: 1785.55 s 15.09/15.10 c core #103 15.09/15.10 c Core size: 4 Core Weight: 1 Total Weight: -897 15.09/15.10 c Elapsed CPU time: 14.5858 s Remaining CPU time: 1785.41 s 15.18/15.24 c core #104 15.18/15.24 c Core size: 4 Core Weight: 1 Total Weight: -896 15.18/15.24 c Elapsed CPU time: 14.7228 s Remaining CPU time: 1785.28 s 15.29/15.39 c core #105 15.29/15.39 c Core size: 4 Core Weight: 1 Total Weight: -895 15.29/15.39 c Elapsed CPU time: 14.8617 s Remaining CPU time: 1785.14 s 15.48/15.53 c core #106 15.48/15.53 c Core size: 4 Core Weight: 1 Total Weight: -894 15.48/15.53 c Elapsed CPU time: 15.0007 s Remaining CPU time: 1785 s 15.59/15.68 c core #107 15.59/15.68 c Core size: 4 Core Weight: 1 Total Weight: -893 15.59/15.68 c Elapsed CPU time: 15.1437 s Remaining CPU time: 1784.86 s 15.78/15.82 c core #108 15.78/15.82 c Core size: 4 Core Weight: 1 Total Weight: -892 15.78/15.82 c Elapsed CPU time: 15.2817 s Remaining CPU time: 1784.72 s 15.89/15.97 c core #109 15.89/15.97 c Core size: 4 Core Weight: 1 Total Weight: -891 15.89/15.97 c Elapsed CPU time: 15.4247 s Remaining CPU time: 1784.58 s 16.08/16.11 c core #110 16.08/16.11 c Core size: 4 Core Weight: 1 Total Weight: -890 16.08/16.11 c Elapsed CPU time: 15.5596 s Remaining CPU time: 1784.44 s 16.19/16.25 c core #111 16.19/16.25 c Core size: 4 Core Weight: 1 Total Weight: -889 16.19/16.25 c Elapsed CPU time: 15.6966 s Remaining CPU time: 1784.3 s 16.28/16.40 c core #112 16.28/16.40 c Core size: 4 Core Weight: 1 Total Weight: -888 16.28/16.40 c Elapsed CPU time: 15.8366 s Remaining CPU time: 1784.16 s 16.48/16.54 c core #113 16.48/16.54 c Core size: 4 Core Weight: 1 Total Weight: -887 16.48/16.54 c Elapsed CPU time: 15.9806 s Remaining CPU time: 1784.02 s 16.59/16.69 c core #114 16.59/16.69 c Core size: 4 Core Weight: 1 Total Weight: -886 16.59/16.69 c Elapsed CPU time: 16.1205 s Remaining CPU time: 1783.88 s 16.79/16.84 c core #115 16.79/16.84 c Core size: 4 Core Weight: 1 Total Weight: -885 16.79/16.84 c Elapsed CPU time: 16.2595 s Remaining CPU time: 1783.74 s 16.88/16.98 c core #116 16.88/16.98 c Core size: 4 Core Weight: 1 Total Weight: -884 16.88/16.98 c Elapsed CPU time: 16.4005 s Remaining CPU time: 1783.6 s 17.09/17.13 c core #117 17.09/17.13 c Core size: 4 Core Weight: 1 Total Weight: -883 17.09/17.13 c Elapsed CPU time: 16.5405 s Remaining CPU time: 1783.46 s 17.19/17.27 c core #118 17.19/17.27 c Core size: 4 Core Weight: 1 Total Weight: -882 17.19/17.27 c Elapsed CPU time: 16.6785 s Remaining CPU time: 1783.32 s 17.39/17.41 c core #119 17.39/17.41 c Core size: 4 Core Weight: 1 Total Weight: -881 17.39/17.41 c Elapsed CPU time: 16.8184 s Remaining CPU time: 1783.18 s 17.49/17.56 c core #120 17.49/17.56 c Core size: 4 Core Weight: 1 Total Weight: -880 17.49/17.56 c Elapsed CPU time: 16.9554 s Remaining CPU time: 1783.04 s 17.69/17.70 c core #121 17.69/17.70 c Core size: 4 Core Weight: 1 Total Weight: -879 17.69/17.70 c Elapsed CPU time: 17.0964 s Remaining CPU time: 1782.9 s 17.79/17.84 c core #122 17.79/17.84 c Core size: 4 Core Weight: 1 Total Weight: -878 17.79/17.84 c Elapsed CPU time: 17.2364 s Remaining CPU time: 1782.76 s 17.88/17.99 c core #123 17.88/17.99 c Core size: 4 Core Weight: 1 Total Weight: -877 17.88/17.99 c Elapsed CPU time: 17.3774 s Remaining CPU time: 1782.62 s 18.09/18.13 c core #124 18.09/18.13 c Core size: 4 Core Weight: 1 Total Weight: -876 18.09/18.13 c Elapsed CPU time: 17.5173 s Remaining CPU time: 1782.48 s 18.18/18.28 c core #125 18.18/18.28 c Core size: 4 Core Weight: 1 Total Weight: -875 18.18/18.28 c Elapsed CPU time: 17.6543 s Remaining CPU time: 1782.35 s 18.38/18.42 c core #126 18.38/18.42 c Core size: 4 Core Weight: 1 Total Weight: -874 18.38/18.42 c Elapsed CPU time: 17.7933 s Remaining CPU time: 1782.21 s 18.48/18.57 c core #127 18.48/18.57 c Core size: 4 Core Weight: 1 Total Weight: -873 18.48/18.57 c Elapsed CPU time: 17.9313 s Remaining CPU time: 1782.07 s 18.69/18.71 c core #128 18.69/18.71 c Core size: 4 Core Weight: 1 Total Weight: -872 18.69/18.71 c Elapsed CPU time: 18.0723 s Remaining CPU time: 1781.93 s 18.78/18.86 c core #129 18.78/18.86 c Core size: 4 Core Weight: 1 Total Weight: -871 18.78/18.86 c Elapsed CPU time: 18.2172 s Remaining CPU time: 1781.78 s 18.98/19.01 c core #130 18.98/19.01 c Core size: 4 Core Weight: 1 Total Weight: -870 18.98/19.01 c Elapsed CPU time: 18.3572 s Remaining CPU time: 1781.64 s 19.08/19.15 c core #131 19.08/19.15 c Core size: 4 Core Weight: 1 Total Weight: -869 19.08/19.15 c Elapsed CPU time: 18.4952 s Remaining CPU time: 1781.5 s 19.19/19.30 c core #132 19.19/19.30 c Core size: 4 Core Weight: 1 Total Weight: -868 19.19/19.30 c Elapsed CPU time: 18.6362 s Remaining CPU time: 1781.36 s 19.38/19.44 c core #133 19.38/19.44 c Core size: 4 Core Weight: 1 Total Weight: -867 19.38/19.44 c Elapsed CPU time: 18.7781 s Remaining CPU time: 1781.22 s 19.48/19.59 c core #134 19.48/19.59 c Core size: 4 Core Weight: 1 Total Weight: -866 19.48/19.59 c Elapsed CPU time: 18.9191 s Remaining CPU time: 1781.08 s 19.68/19.73 c core #135 19.68/19.73 c Core size: 4 Core Weight: 1 Total Weight: -865 19.68/19.73 c Elapsed CPU time: 19.0621 s Remaining CPU time: 1780.94 s 19.78/19.88 c core #136 19.78/19.88 c Core size: 4 Core Weight: 1 Total Weight: -864 19.78/19.88 c Elapsed CPU time: 19.1961 s Remaining CPU time: 1780.8 s 19.98/20.02 c core #137 19.98/20.02 c Core size: 4 Core Weight: 1 Total Weight: -863 19.98/20.02 c Elapsed CPU time: 19.3361 s Remaining CPU time: 1780.66 s 20.08/20.17 c core #138 20.08/20.17 c Core size: 4 Core Weight: 1 Total Weight: -862 20.08/20.17 c Elapsed CPU time: 19.475 s Remaining CPU time: 1780.52 s 20.28/20.31 c core #139 20.28/20.31 c Core size: 4 Core Weight: 1 Total Weight: -861 20.28/20.31 c Elapsed CPU time: 19.617 s Remaining CPU time: 1780.38 s 20.39/20.46 c core #140 20.39/20.46 c Core size: 4 Core Weight: 1 Total Weight: -860 20.39/20.46 c Elapsed CPU time: 19.761 s Remaining CPU time: 1780.24 s 20.58/20.60 c core #141 20.58/20.60 c Core size: 4 Core Weight: 1 Total Weight: -859 20.58/20.60 c Elapsed CPU time: 19.902 s Remaining CPU time: 1780.1 s 20.68/20.75 c core #142 20.68/20.75 c Core size: 4 Core Weight: 1 Total Weight: -858 20.68/20.75 c Elapsed CPU time: 20.045 s Remaining CPU time: 1779.96 s 20.78/20.90 c core #143 20.78/20.90 c Core size: 4 Core Weight: 1 Total Weight: -857 20.78/20.90 c Elapsed CPU time: 20.1859 s Remaining CPU time: 1779.81 s 20.98/21.05 c core #144 20.98/21.05 c Core size: 4 Core Weight: 1 Total Weight: -856 20.98/21.05 c Elapsed CPU time: 20.3269 s Remaining CPU time: 1779.67 s 21.18/21.20 c core #145 21.18/21.20 c Core size: 4 Core Weight: 1 Total Weight: -855 21.18/21.20 c Elapsed CPU time: 20.4789 s Remaining CPU time: 1779.52 s 21.28/21.35 c core #146 21.28/21.35 c Core size: 4 Core Weight: 1 Total Weight: -854 21.28/21.35 c Elapsed CPU time: 20.6209 s Remaining CPU time: 1779.38 s 21.38/21.49 c core #147 21.38/21.49 c Core size: 4 Core Weight: 1 Total Weight: -853 21.38/21.49 c Elapsed CPU time: 20.7598 s Remaining CPU time: 1779.24 s 21.58/21.64 c core #148 21.58/21.64 c Core size: 4 Core Weight: 1 Total Weight: -852 21.58/21.64 c Elapsed CPU time: 20.8978 s Remaining CPU time: 1779.1 s 21.68/21.79 c core #149 21.68/21.79 c Core size: 4 Core Weight: 1 Total Weight: -851 21.68/21.79 c Elapsed CPU time: 21.0418 s Remaining CPU time: 1778.96 s 21.88/21.93 c core #150 21.88/21.93 c Core size: 4 Core Weight: 1 Total Weight: -850 21.88/21.93 c Elapsed CPU time: 21.1848 s Remaining CPU time: 1778.82 s 21.99/22.08 c core #151 21.99/22.08 c Core size: 4 Core Weight: 1 Total Weight: -849 21.99/22.08 c Elapsed CPU time: 21.3258 s Remaining CPU time: 1778.67 s 22.18/22.22 c core #152 22.18/22.22 c Core size: 4 Core Weight: 1 Total Weight: -848 22.18/22.22 c Elapsed CPU time: 21.4667 s Remaining CPU time: 1778.53 s 22.28/22.37 c core #153 22.28/22.37 c Core size: 4 Core Weight: 1 Total Weight: -847 22.28/22.37 c Elapsed CPU time: 21.6117 s Remaining CPU time: 1778.39 s 22.48/22.52 c core #154 22.48/22.52 c Core size: 4 Core Weight: 1 Total Weight: -846 22.48/22.52 c Elapsed CPU time: 21.7507 s Remaining CPU time: 1778.25 s 22.58/22.66 c core #155 22.58/22.66 c Core size: 4 Core Weight: 1 Total Weight: -845 22.58/22.66 c Elapsed CPU time: 21.8957 s Remaining CPU time: 1778.1 s 22.78/22.81 c core #156 22.78/22.81 c Core size: 4 Core Weight: 1 Total Weight: -844 22.78/22.81 c Elapsed CPU time: 22.0346 s Remaining CPU time: 1777.97 s 22.88/22.95 c core #157 22.88/22.95 c Core size: 4 Core Weight: 1 Total Weight: -843 22.88/22.95 c Elapsed CPU time: 22.1726 s Remaining CPU time: 1777.83 s 22.98/23.10 c core #158 22.98/23.10 c Core size: 4 Core Weight: 1 Total Weight: -842 22.98/23.10 c Elapsed CPU time: 22.3176 s Remaining CPU time: 1777.68 s 23.18/23.25 c core #159 23.18/23.25 c Core size: 4 Core Weight: 1 Total Weight: -841 23.18/23.25 c Elapsed CPU time: 22.4586 s Remaining CPU time: 1777.54 s 23.28/23.39 c core #160 23.28/23.39 c Core size: 4 Core Weight: 1 Total Weight: -840 23.28/23.39 c Elapsed CPU time: 22.6006 s Remaining CPU time: 1777.4 s 23.48/23.54 c core #161 23.48/23.54 c Core size: 4 Core Weight: 1 Total Weight: -839 23.48/23.54 c Elapsed CPU time: 22.7455 s Remaining CPU time: 1777.25 s 23.58/23.69 c core #162 23.58/23.69 c Core size: 4 Core Weight: 1 Total Weight: -838 23.58/23.69 c Elapsed CPU time: 22.8785 s Remaining CPU time: 1777.12 s 23.78/23.83 c core #163 23.78/23.83 c Core size: 4 Core Weight: 1 Total Weight: -837 23.78/23.83 c Elapsed CPU time: 23.0165 s Remaining CPU time: 1776.98 s 23.87/23.98 c core #164 23.87/23.98 c Core size: 4 Core Weight: 1 Total Weight: -836 23.87/23.98 c Elapsed CPU time: 23.1545 s Remaining CPU time: 1776.85 s 24.08/24.13 c core #165 24.08/24.13 c Core size: 4 Core Weight: 1 Total Weight: -835 24.08/24.13 c Elapsed CPU time: 23.3045 s Remaining CPU time: 1776.7 s 24.18/24.27 c core #166 24.18/24.27 c Core size: 4 Core Weight: 1 Total Weight: -834 24.18/24.27 c Elapsed CPU time: 23.4454 s Remaining CPU time: 1776.55 s 24.38/24.42 c core #167 24.38/24.42 c Core size: 4 Core Weight: 1 Total Weight: -833 24.38/24.42 c Elapsed CPU time: 23.5834 s Remaining CPU time: 1776.42 s 24.47/24.57 c core #168 24.47/24.57 c Core size: 4 Core Weight: 1 Total Weight: -832 24.47/24.57 c Elapsed CPU time: 23.7244 s Remaining CPU time: 1776.28 s 24.67/24.72 c core #169 24.67/24.72 c Core size: 4 Core Weight: 1 Total Weight: -831 24.67/24.72 c Elapsed CPU time: 23.8684 s Remaining CPU time: 1776.13 s 24.77/24.87 c core #170 24.77/24.87 c Core size: 4 Core Weight: 1 Total Weight: -830 24.77/24.87 c Elapsed CPU time: 24.0153 s Remaining CPU time: 1775.98 s 24.97/25.02 c core #171 24.97/25.02 c Core size: 4 Core Weight: 1 Total Weight: -829 24.97/25.02 c Elapsed CPU time: 24.1583 s Remaining CPU time: 1775.84 s 25.08/25.16 c core #172 25.08/25.16 c Core size: 4 Core Weight: 1 Total Weight: -828 25.08/25.16 c Elapsed CPU time: 24.3003 s Remaining CPU time: 1775.7 s 25.28/25.31 c core #173 25.28/25.31 c Core size: 4 Core Weight: 1 Total Weight: -827 25.28/25.31 c Elapsed CPU time: 24.4463 s Remaining CPU time: 1775.55 s 25.37/25.46 c core #174 25.37/25.46 c Core size: 4 Core Weight: 1 Total Weight: -826 25.37/25.46 c Elapsed CPU time: 24.5923 s Remaining CPU time: 1775.41 s 25.58/25.61 c core #175 25.58/25.61 c Core size: 4 Core Weight: 1 Total Weight: -825 25.58/25.61 c Elapsed CPU time: 24.7332 s Remaining CPU time: 1775.27 s 25.67/25.75 c core #176 25.67/25.75 c Core size: 4 Core Weight: 1 Total Weight: -824 25.67/25.75 c Elapsed CPU time: 24.8672 s Remaining CPU time: 1775.13 s 25.87/25.90 c core #177 25.87/25.90 c Core size: 4 Core Weight: 1 Total Weight: -823 25.87/25.90 c Elapsed CPU time: 25.0142 s Remaining CPU time: 1774.99 s 25.98/26.05 c core #178 25.98/26.05 c Core size: 4 Core Weight: 1 Total Weight: -822 25.98/26.05 c Elapsed CPU time: 25.1512 s Remaining CPU time: 1774.85 s 26.08/26.20 c core #179 26.08/26.20 c Core size: 4 Core Weight: 1 Total Weight: -821 26.08/26.20 c Elapsed CPU time: 25.2892 s Remaining CPU time: 1774.71 s 26.28/26.34 c core #180 26.28/26.34 c Core size: 4 Core Weight: 1 Total Weight: -820 26.28/26.34 c Elapsed CPU time: 25.4321 s Remaining CPU time: 1774.57 s 26.38/26.49 c core #181 26.38/26.49 c Core size: 4 Core Weight: 1 Total Weight: -819 26.38/26.49 c Elapsed CPU time: 25.5831 s Remaining CPU time: 1774.42 s 26.58/26.64 c core #182 26.58/26.64 c Core size: 4 Core Weight: 1 Total Weight: -818 26.58/26.64 c Elapsed CPU time: 25.7231 s Remaining CPU time: 1774.28 s 26.67/26.79 c core #183 26.67/26.79 c Core size: 4 Core Weight: 1 Total Weight: -817 26.67/26.79 c Elapsed CPU time: 25.8641 s Remaining CPU time: 1774.14 s 26.87/26.93 c core #184 26.87/26.93 c Core size: 4 Core Weight: 1 Total Weight: -816 26.87/26.93 c Elapsed CPU time: 26.005 s Remaining CPU time: 1773.99 s 26.97/27.09 c core #185 26.97/27.09 c Core size: 4 Core Weight: 1 Total Weight: -815 26.97/27.09 c Elapsed CPU time: 26.153 s Remaining CPU time: 1773.85 s 27.17/27.23 c core #186 27.17/27.23 c Core size: 4 Core Weight: 1 Total Weight: -814 27.17/27.23 c Elapsed CPU time: 26.293 s Remaining CPU time: 1773.71 s 27.27/27.38 c core #187 27.27/27.38 c Core size: 4 Core Weight: 1 Total Weight: -813 27.27/27.38 c Elapsed CPU time: 26.436 s Remaining CPU time: 1773.56 s 27.47/27.52 c core #188 27.47/27.52 c Core size: 4 Core Weight: 1 Total Weight: -812 27.47/27.53 c Elapsed CPU time: 26.574 s Remaining CPU time: 1773.43 s 27.57/27.68 c core #189 27.57/27.68 c Core size: 4 Core Weight: 1 Total Weight: -811 27.57/27.68 c Elapsed CPU time: 26.7199 s Remaining CPU time: 1773.28 s 27.77/27.82 c core #190 27.77/27.82 c Core size: 4 Core Weight: 1 Total Weight: -810 27.77/27.82 c Elapsed CPU time: 26.8599 s Remaining CPU time: 1773.14 s 27.87/27.97 c core #191 27.87/27.97 c Core size: 4 Core Weight: 1 Total Weight: -809 27.87/27.97 c Elapsed CPU time: 27.0049 s Remaining CPU time: 1773 s 28.07/28.12 c core #192 28.07/28.12 c Core size: 4 Core Weight: 1 Total Weight: -808 28.07/28.12 c Elapsed CPU time: 27.1469 s Remaining CPU time: 1772.85 s 28.17/28.26 c core #193 28.17/28.26 c Core size: 4 Core Weight: 1 Total Weight: -807 28.17/28.26 c Elapsed CPU time: 27.2899 s Remaining CPU time: 1772.71 s 28.37/28.41 c core #194 28.37/28.41 c Core size: 4 Core Weight: 1 Total Weight: -806 28.37/28.41 c Elapsed CPU time: 27.4308 s Remaining CPU time: 1772.57 s 28.47/28.56 c core #195 28.47/28.56 c Core size: 4 Core Weight: 1 Total Weight: -805 28.47/28.56 c Elapsed CPU time: 27.5738 s Remaining CPU time: 1772.43 s 28.67/28.70 c core #196 28.67/28.70 c Core size: 4 Core Weight: 1 Total Weight: -804 28.67/28.70 c Elapsed CPU time: 27.7168 s Remaining CPU time: 1772.28 s 28.77/28.85 c core #197 28.77/28.85 c Core size: 4 Core Weight: 1 Total Weight: -803 28.77/28.85 c Elapsed CPU time: 27.8598 s Remaining CPU time: 1772.14 s 28.88/29.00 c core #198 28.88/29.00 c Core size: 4 Core Weight: 1 Total Weight: -802 28.88/29.00 c Elapsed CPU time: 27.9987 s Remaining CPU time: 1772 s 29.07/29.15 c core #199 29.07/29.15 c Core size: 4 Core Weight: 1 Total Weight: -801 29.07/29.15 c Elapsed CPU time: 28.1477 s Remaining CPU time: 1771.85 s 29.17/29.29 c core #200 29.17/29.29 c Core size: 4 Core Weight: 1 Total Weight: -800 29.17/29.30 c Elapsed CPU time: 28.2837 s Remaining CPU time: 1771.72 s 29.38/29.44 c core #201 29.38/29.44 c Core size: 4 Core Weight: 1 Total Weight: -799 29.38/29.44 c Elapsed CPU time: 28.4247 s Remaining CPU time: 1771.58 s 29.47/29.59 c core #202 29.47/29.59 c Core size: 4 Core Weight: 1 Total Weight: -798 29.47/29.59 c Elapsed CPU time: 28.5637 s Remaining CPU time: 1771.44 s 29.68/29.73 c core #203 29.68/29.73 c Core size: 4 Core Weight: 1 Total Weight: -797 29.68/29.73 c Elapsed CPU time: 28.7066 s Remaining CPU time: 1771.29 s 29.77/29.88 c core #204 29.77/29.88 c Core size: 4 Core Weight: 1 Total Weight: -796 29.77/29.88 c Elapsed CPU time: 28.8476 s Remaining CPU time: 1771.15 s 29.97/30.02 c core #205 29.97/30.02 c Core size: 4 Core Weight: 1 Total Weight: -795 29.97/30.02 c Elapsed CPU time: 28.9876 s Remaining CPU time: 1771.01 s 30.07/30.17 c core #206 30.07/30.17 c Core size: 4 Core Weight: 1 Total Weight: -794 30.07/30.17 c Elapsed CPU time: 29.1306 s Remaining CPU time: 1770.87 s 30.28/30.32 c core #207 30.28/30.32 c Core size: 4 Core Weight: 1 Total Weight: -793 30.28/30.32 c Elapsed CPU time: 29.2735 s Remaining CPU time: 1770.73 s 30.37/30.47 c core #208 30.37/30.47 c Core size: 4 Core Weight: 1 Total Weight: -792 30.37/30.47 c Elapsed CPU time: 29.4165 s Remaining CPU time: 1770.58 s 30.58/30.62 c core #209 30.58/30.62 c Core size: 4 Core Weight: 1 Total Weight: -791 30.58/30.62 c Elapsed CPU time: 29.5595 s Remaining CPU time: 1770.44 s 30.67/30.76 c core #210 30.67/30.76 c Core size: 4 Core Weight: 1 Total Weight: -790 30.67/30.76 c Elapsed CPU time: 29.6975 s Remaining CPU time: 1770.3 s 30.87/30.91 c core #211 30.87/30.91 c Core size: 4 Core Weight: 1 Total Weight: -789 30.87/30.91 c Elapsed CPU time: 29.8365 s Remaining CPU time: 1770.16 s 30.97/31.05 c core #212 30.97/31.05 c Core size: 4 Core Weight: 1 Total Weight: -788 30.97/31.05 c Elapsed CPU time: 29.9754 s Remaining CPU time: 1770.02 s 31.17/31.20 c core #213 31.17/31.20 c Core size: 4 Core Weight: 1 Total Weight: -787 31.17/31.20 c Elapsed CPU time: 30.1174 s Remaining CPU time: 1769.88 s 31.27/31.34 c core #214 31.27/31.34 c Core size: 4 Core Weight: 1 Total Weight: -786 31.27/31.34 c Elapsed CPU time: 30.2584 s Remaining CPU time: 1769.74 s 31.37/31.49 c core #215 31.37/31.49 c Core size: 4 Core Weight: 1 Total Weight: -785 31.37/31.49 c Elapsed CPU time: 30.3984 s Remaining CPU time: 1769.6 s 31.57/31.63 c core #216 31.57/31.63 c Core size: 4 Core Weight: 1 Total Weight: -784 31.57/31.63 c Elapsed CPU time: 30.5394 s Remaining CPU time: 1769.46 s 31.66/31.78 c core #217 31.66/31.78 c Core size: 4 Core Weight: 1 Total Weight: -783 31.66/31.78 c Elapsed CPU time: 30.6773 s Remaining CPU time: 1769.32 s 31.87/31.93 c core #218 31.87/31.93 c Core size: 4 Core Weight: 1 Total Weight: -782 31.87/31.93 c Elapsed CPU time: 30.8213 s Remaining CPU time: 1769.18 s 31.96/32.08 c core #219 31.96/32.08 c Core size: 4 Core Weight: 1 Total Weight: -781 31.96/32.08 c Elapsed CPU time: 30.9673 s Remaining CPU time: 1769.03 s 32.17/32.22 c core #220 32.17/32.22 c Core size: 4 Core Weight: 1 Total Weight: -780 32.17/32.22 c Elapsed CPU time: 31.1093 s Remaining CPU time: 1768.89 s 32.27/32.37 c core #221 32.27/32.37 c Core size: 4 Core Weight: 1 Total Weight: -779 32.27/32.37 c Elapsed CPU time: 31.2522 s Remaining CPU time: 1768.75 s 32.47/32.52 c core #222 32.47/32.52 c Core size: 4 Core Weight: 1 Total Weight: -778 32.47/32.52 c Elapsed CPU time: 31.3922 s Remaining CPU time: 1768.61 s 32.57/32.67 c core #223 32.57/32.67 c Core size: 4 Core Weight: 1 Total Weight: -777 32.57/32.67 c Elapsed CPU time: 31.5392 s Remaining CPU time: 1768.46 s 32.77/32.81 c core #224 32.77/32.81 c Core size: 4 Core Weight: 1 Total Weight: -776 32.77/32.81 c Elapsed CPU time: 31.6832 s Remaining CPU time: 1768.32 s 32.87/32.96 c core #225 32.87/32.96 c Core size: 4 Core Weight: 1 Total Weight: -775 32.87/32.96 c Elapsed CPU time: 31.8252 s Remaining CPU time: 1768.17 s 33.07/33.11 c core #226 33.07/33.11 c Core size: 4 Core Weight: 1 Total Weight: -774 33.07/33.11 c Elapsed CPU time: 31.9671 s Remaining CPU time: 1768.03 s 33.17/33.26 c core #227 33.17/33.26 c Core size: 4 Core Weight: 1 Total Weight: -773 33.17/33.26 c Elapsed CPU time: 32.1091 s Remaining CPU time: 1767.89 s 33.36/33.40 c core #228 33.36/33.40 c Core size: 4 Core Weight: 1 Total Weight: -772 33.36/33.40 c Elapsed CPU time: 32.2521 s Remaining CPU time: 1767.75 s 33.47/33.55 c core #229 33.47/33.55 c Core size: 4 Core Weight: 1 Total Weight: -771 33.47/33.55 c Elapsed CPU time: 32.3991 s Remaining CPU time: 1767.6 s 33.66/33.70 c core #230 33.66/33.70 c Core size: 4 Core Weight: 1 Total Weight: -770 33.66/33.70 c Elapsed CPU time: 32.5441 s Remaining CPU time: 1767.46 s 33.76/33.85 c core #231 33.76/33.85 c Core size: 4 Core Weight: 1 Total Weight: -769 33.76/33.85 c Elapsed CPU time: 32.686 s Remaining CPU time: 1767.31 s 33.87/33.99 c core #232 33.87/33.99 c Core size: 4 Core Weight: 1 Total Weight: -768 33.87/33.99 c Elapsed CPU time: 32.828 s Remaining CPU time: 1767.17 s 34.07/34.14 c core #233 34.07/34.14 c Core size: 4 Core Weight: 1 Total Weight: -767 34.07/34.14 c Elapsed CPU time: 32.971 s Remaining CPU time: 1767.03 s 34.17/34.29 c core #234 34.17/34.29 c Core size: 4 Core Weight: 1 Total Weight: -766 34.17/34.29 c Elapsed CPU time: 33.11 s Remaining CPU time: 1766.89 s 34.37/34.44 c core #235 34.37/34.44 c Core size: 4 Core Weight: 1 Total Weight: -765 34.37/34.44 c Elapsed CPU time: 33.2499 s Remaining CPU time: 1766.75 s 34.46/34.58 c core #236 34.46/34.58 c Core size: 4 Core Weight: 1 Total Weight: -764 34.46/34.58 c Elapsed CPU time: 33.3919 s Remaining CPU time: 1766.61 s 34.66/34.73 c core #237 34.66/34.73 c Core size: 4 Core Weight: 1 Total Weight: -763 34.66/34.73 c Elapsed CPU time: 33.5359 s Remaining CPU time: 1766.46 s 34.76/34.88 c core #238 34.76/34.88 c Core size: 4 Core Weight: 1 Total Weight: -762 34.76/34.88 c Elapsed CPU time: 33.6779 s Remaining CPU time: 1766.32 s 34.97/35.03 c core #239 34.97/35.03 c Core size: 4 Core Weight: 1 Total Weight: -761 34.97/35.03 c Elapsed CPU time: 33.8199 s Remaining CPU time: 1766.18 s 35.07/35.17 c core #240 35.07/35.17 c Core size: 4 Core Weight: 1 Total Weight: -760 35.07/35.17 c Elapsed CPU time: 33.9628 s Remaining CPU time: 1766.04 s 35.26/35.32 c core #241 35.26/35.32 c Core size: 4 Core Weight: 1 Total Weight: -759 35.26/35.32 c Elapsed CPU time: 34.1108 s Remaining CPU time: 1765.89 s 35.36/35.47 c core #242 35.36/35.47 c Core size: 4 Core Weight: 1 Total Weight: -758 35.36/35.47 c Elapsed CPU time: 34.2548 s Remaining CPU time: 1765.75 s 35.57/35.62 c core #243 35.57/35.62 c Core size: 4 Core Weight: 1 Total Weight: -757 35.57/35.62 c Elapsed CPU time: 34.3988 s Remaining CPU time: 1765.6 s 35.66/35.77 c core #244 35.66/35.77 c Core size: 4 Core Weight: 1 Total Weight: -756 35.66/35.77 c Elapsed CPU time: 34.5397 s Remaining CPU time: 1765.46 s 35.87/35.92 c core #245 35.87/35.92 c Core size: 4 Core Weight: 1 Total Weight: -755 35.87/35.92 c Elapsed CPU time: 34.6867 s Remaining CPU time: 1765.31 s 35.96/36.07 c core #246 35.96/36.07 c Core size: 4 Core Weight: 1 Total Weight: -754 35.96/36.07 c Elapsed CPU time: 34.8247 s Remaining CPU time: 1765.18 s 36.17/36.22 c core #247 36.17/36.22 c Core size: 4 Core Weight: 1 Total Weight: -753 36.17/36.22 c Elapsed CPU time: 34.9677 s Remaining CPU time: 1765.03 s 36.26/36.37 c core #248 36.26/36.37 c Core size: 4 Core Weight: 1 Total Weight: -752 36.26/36.37 c Elapsed CPU time: 35.1117 s Remaining CPU time: 1764.89 s 36.46/36.51 c core #249 36.46/36.51 c Core size: 4 Core Weight: 1 Total Weight: -751 36.46/36.51 c Elapsed CPU time: 35.2556 s Remaining CPU time: 1764.74 s 36.56/36.66 c core #250 36.56/36.66 c Core size: 4 Core Weight: 1 Total Weight: -750 36.56/36.66 c Elapsed CPU time: 35.3986 s Remaining CPU time: 1764.6 s 36.76/36.81 c core #251 36.76/36.81 c Core size: 4 Core Weight: 1 Total Weight: -749 36.76/36.81 c Elapsed CPU time: 35.5396 s Remaining CPU time: 1764.46 s 36.86/36.96 c core #252 36.86/36.96 c Core size: 4 Core Weight: 1 Total Weight: -748 36.86/36.96 c Elapsed CPU time: 35.6816 s Remaining CPU time: 1764.32 s 37.06/37.11 c core #253 37.06/37.11 c Core size: 4 Core Weight: 1 Total Weight: -747 37.06/37.11 c Elapsed CPU time: 35.8236 s Remaining CPU time: 1764.18 s 37.16/37.25 c core #254 37.16/37.25 c Core size: 4 Core Weight: 1 Total Weight: -746 37.16/37.25 c Elapsed CPU time: 35.9655 s Remaining CPU time: 1764.03 s 37.36/37.40 c core #255 37.36/37.40 c Core size: 4 Core Weight: 1 Total Weight: -745 37.36/37.40 c Elapsed CPU time: 36.1075 s Remaining CPU time: 1763.89 s 37.46/37.55 c core #256 37.46/37.55 c Core size: 4 Core Weight: 1 Total Weight: -744 37.46/37.55 c Elapsed CPU time: 36.2495 s Remaining CPU time: 1763.75 s 37.66/37.70 c core #257 37.66/37.70 c Core size: 4 Core Weight: 1 Total Weight: -743 37.66/37.70 c Elapsed CPU time: 36.3985 s Remaining CPU time: 1763.6 s 37.76/37.85 c core #258 37.76/37.85 c Core size: 4 Core Weight: 1 Total Weight: -742 37.76/37.85 c Elapsed CPU time: 36.5394 s Remaining CPU time: 1763.46 s 37.97/38.00 c core #259 37.97/38.00 c Core size: 4 Core Weight: 1 Total Weight: -741 37.97/38.00 c Elapsed CPU time: 36.6824 s Remaining CPU time: 1763.32 s 38.06/38.15 c core #260 38.06/38.15 c Core size: 4 Core Weight: 1 Total Weight: -740 38.06/38.15 c Elapsed CPU time: 36.8254 s Remaining CPU time: 1763.17 s 38.26/38.30 c core #261 38.26/38.30 c Core size: 4 Core Weight: 1 Total Weight: -739 38.26/38.30 c Elapsed CPU time: 36.9744 s Remaining CPU time: 1763.03 s 38.37/38.45 c core #262 38.37/38.45 c Core size: 4 Core Weight: 1 Total Weight: -738 38.37/38.45 c Elapsed CPU time: 37.1164 s Remaining CPU time: 1762.88 s 38.46/38.60 c core #263 38.46/38.60 c Core size: 4 Core Weight: 1 Total Weight: -737 38.46/38.60 c Elapsed CPU time: 37.2623 s Remaining CPU time: 1762.74 s 38.67/38.75 c core #264 38.67/38.75 c Core size: 4 Core Weight: 1 Total Weight: -736 38.67/38.75 c Elapsed CPU time: 37.4063 s Remaining CPU time: 1762.59 s 38.76/38.89 c core #265 38.76/38.89 c Core size: 4 Core Weight: 1 Total Weight: -735 38.76/38.89 c Elapsed CPU time: 37.5513 s Remaining CPU time: 1762.45 s 38.96/39.04 c core #266 38.96/39.04 c Core size: 4 Core Weight: 1 Total Weight: -734 38.96/39.04 c Elapsed CPU time: 37.6983 s Remaining CPU time: 1762.3 s 39.06/39.19 c core #267 39.06/39.19 c Core size: 4 Core Weight: 1 Total Weight: -733 39.06/39.19 c Elapsed CPU time: 37.8422 s Remaining CPU time: 1762.16 s 39.26/39.35 c core #268 39.26/39.35 c Core size: 4 Core Weight: 1 Total Weight: -732 39.26/39.35 c Elapsed CPU time: 37.9912 s Remaining CPU time: 1762.01 s 39.36/39.50 c core #269 39.36/39.50 c Core size: 4 Core Weight: 1 Total Weight: -731 39.36/39.50 c Elapsed CPU time: 38.1382 s Remaining CPU time: 1761.86 s 39.56/39.65 c core #270 39.56/39.65 c Core size: 4 Core Weight: 1 Total Weight: -730 39.56/39.65 c Elapsed CPU time: 38.2812 s Remaining CPU time: 1761.72 s 39.66/39.80 c core #271 39.66/39.80 c Core size: 4 Core Weight: 1 Total Weight: -729 39.66/39.80 c Elapsed CPU time: 38.4252 s Remaining CPU time: 1761.57 s 39.86/39.95 c core #272 39.86/39.95 c Core size: 4 Core Weight: 1 Total Weight: -728 39.86/39.95 c Elapsed CPU time: 38.5701 s Remaining CPU time: 1761.43 s 39.96/40.10 c core #273 39.96/40.10 c Core size: 4 Core Weight: 1 Total Weight: -727 39.96/40.10 c Elapsed CPU time: 38.7161 s Remaining CPU time: 1761.28 s 40.16/40.25 c core #274 40.16/40.25 c Core size: 4 Core Weight: 1 Total Weight: -726 40.16/40.25 c Elapsed CPU time: 38.8601 s Remaining CPU time: 1761.14 s 40.26/40.40 c core #275 40.26/40.40 c Core size: 4 Core Weight: 1 Total Weight: -725 40.26/40.40 c Elapsed CPU time: 39.0061 s Remaining CPU time: 1760.99 s 40.46/40.55 c core #276 40.46/40.55 c Core size: 4 Core Weight: 1 Total Weight: -724 40.46/40.55 c Elapsed CPU time: 39.15 s Remaining CPU time: 1760.85 s 40.57/40.70 c core #277 40.57/40.70 c Core size: 4 Core Weight: 1 Total Weight: -723 40.57/40.70 c Elapsed CPU time: 39.297 s Remaining CPU time: 1760.7 s 40.76/40.85 c core #278 40.76/40.85 c Core size: 4 Core Weight: 1 Total Weight: -722 40.76/40.85 c Elapsed CPU time: 39.441 s Remaining CPU time: 1760.56 s 40.96/41.00 c core #279 40.96/41.00 c Core size: 4 Core Weight: 1 Total Weight: -721 40.96/41.00 c Elapsed CPU time: 39.592 s Remaining CPU time: 1760.41 s 41.06/41.15 c core #280 41.06/41.15 c Core size: 4 Core Weight: 1 Total Weight: -720 41.06/41.15 c Elapsed CPU time: 39.735 s Remaining CPU time: 1760.27 s 41.26/41.30 c core #281 41.26/41.30 c Core size: 4 Core Weight: 1 Total Weight: -719 41.26/41.30 c Elapsed CPU time: 39.8789 s Remaining CPU time: 1760.12 s 41.36/41.45 c core #282 41.36/41.45 c Core size: 4 Core Weight: 1 Total Weight: -718 41.36/41.45 c Elapsed CPU time: 40.0219 s Remaining CPU time: 1759.98 s 41.56/41.60 c core #283 41.56/41.60 c Core size: 4 Core Weight: 1 Total Weight: -717 41.56/41.60 c Elapsed CPU time: 40.1689 s Remaining CPU time: 1759.83 s 41.66/41.75 c core #284 41.66/41.75 c Core size: 4 Core Weight: 1 Total Weight: -716 41.66/41.75 c Elapsed CPU time: 40.3139 s Remaining CPU time: 1759.69 s 41.85/41.91 c core #285 41.85/41.91 c Core size: 4 Core Weight: 1 Total Weight: -715 41.85/41.91 c Elapsed CPU time: 40.4598 s Remaining CPU time: 1759.54 s 41.96/42.06 c core #286 41.96/42.06 c Core size: 4 Core Weight: 1 Total Weight: -714 41.96/42.06 c Elapsed CPU time: 40.5998 s Remaining CPU time: 1759.4 s 42.15/42.21 c core #287 42.15/42.21 c Core size: 4 Core Weight: 1 Total Weight: -713 42.15/42.21 c Elapsed CPU time: 40.7468 s Remaining CPU time: 1759.25 s 42.25/42.36 c core #288 42.25/42.36 c Core size: 4 Core Weight: 1 Total Weight: -712 42.25/42.36 c Elapsed CPU time: 40.8948 s Remaining CPU time: 1759.11 s 42.45/42.51 c core #289 42.45/42.51 c Core size: 4 Core Weight: 1 Total Weight: -711 42.45/42.52 c Elapsed CPU time: 41.0448 s Remaining CPU time: 1758.96 s 42.55/42.67 c core #290 42.55/42.67 c Core size: 4 Core Weight: 1 Total Weight: -710 42.55/42.67 c Elapsed CPU time: 41.1937 s Remaining CPU time: 1758.81 s 42.76/42.82 c core #291 42.76/42.82 c Core size: 4 Core Weight: 1 Total Weight: -709 42.76/42.82 c Elapsed CPU time: 41.3407 s Remaining CPU time: 1758.66 s 42.85/42.97 c core #292 42.85/42.97 c Core size: 4 Core Weight: 1 Total Weight: -708 42.85/42.97 c Elapsed CPU time: 41.4867 s Remaining CPU time: 1758.51 s 43.06/43.12 c core #293 43.06/43.12 c Core size: 4 Core Weight: 1 Total Weight: -707 43.06/43.12 c Elapsed CPU time: 41.6317 s Remaining CPU time: 1758.37 s 43.15/43.27 c core #294 43.15/43.27 c Core size: 4 Core Weight: 1 Total Weight: -706 43.15/43.27 c Elapsed CPU time: 41.7756 s Remaining CPU time: 1758.22 s 43.36/43.42 c core #295 43.36/43.42 c Core size: 4 Core Weight: 1 Total Weight: -705 43.36/43.42 c Elapsed CPU time: 41.9216 s Remaining CPU time: 1758.08 s 43.45/43.57 c core #296 43.45/43.57 c Core size: 4 Core Weight: 1 Total Weight: -704 43.45/43.57 c Elapsed CPU time: 42.0656 s Remaining CPU time: 1757.93 s 43.66/43.72 c core #297 43.66/43.72 c Core size: 4 Core Weight: 1 Total Weight: -703 43.66/43.72 c Elapsed CPU time: 42.2096 s Remaining CPU time: 1757.79 s 43.75/43.87 c core #298 43.75/43.87 c Core size: 4 Core Weight: 1 Total Weight: -702 43.75/43.87 c Elapsed CPU time: 42.3546 s Remaining CPU time: 1757.65 s 43.96/44.02 c core #299 43.96/44.02 c Core size: 4 Core Weight: 1 Total Weight: -701 43.96/44.02 c Elapsed CPU time: 42.4965 s Remaining CPU time: 1757.5 s 44.06/44.17 c core #300 44.06/44.17 c Core size: 4 Core Weight: 1 Total Weight: -700 44.06/44.17 c Elapsed CPU time: 42.6415 s Remaining CPU time: 1757.36 s 44.25/44.32 c core #301 44.25/44.32 c Core size: 4 Core Weight: 1 Total Weight: -699 44.25/44.32 c Elapsed CPU time: 42.7885 s Remaining CPU time: 1757.21 s 44.35/44.47 c core #302 44.35/44.47 c Core size: 4 Core Weight: 1 Total Weight: -698 44.35/44.47 c Elapsed CPU time: 42.9335 s Remaining CPU time: 1757.07 s 44.55/44.62 c core #303 44.55/44.62 c Core size: 4 Core Weight: 1 Total Weight: -697 44.55/44.62 c Elapsed CPU time: 43.0785 s Remaining CPU time: 1756.92 s 44.66/44.77 c core #304 44.66/44.77 c Core size: 4 Core Weight: 1 Total Weight: -696 44.66/44.77 c Elapsed CPU time: 43.2244 s Remaining CPU time: 1756.78 s 44.86/44.92 c core #305 44.86/44.92 c Core size: 4 Core Weight: 1 Total Weight: -695 44.86/44.92 c Elapsed CPU time: 43.3684 s Remaining CPU time: 1756.63 s 44.96/45.08 c core #306 44.96/45.08 c Core size: 4 Core Weight: 1 Total Weight: -694 44.96/45.08 c Elapsed CPU time: 43.5204 s Remaining CPU time: 1756.48 s 45.15/45.23 c core #307 45.15/45.23 c Core size: 4 Core Weight: 1 Total Weight: -693 45.15/45.23 c Elapsed CPU time: 43.6654 s Remaining CPU time: 1756.33 s 45.25/45.38 c core #308 45.25/45.38 c Core size: 4 Core Weight: 1 Total Weight: -692 45.25/45.38 c Elapsed CPU time: 43.8103 s Remaining CPU time: 1756.19 s 45.46/45.53 c core #309 45.46/45.53 c Core size: 4 Core Weight: 1 Total Weight: -691 45.46/45.53 c Elapsed CPU time: 43.9543 s Remaining CPU time: 1756.05 s 45.55/45.68 c core #310 45.55/45.68 c Core size: 4 Core Weight: 1 Total Weight: -690 45.55/45.68 c Elapsed CPU time: 44.0983 s Remaining CPU time: 1755.9 s 45.75/45.84 c core #311 45.75/45.84 c Core size: 4 Core Weight: 1 Total Weight: -689 45.75/45.84 c Elapsed CPU time: 44.2443 s Remaining CPU time: 1755.76 s 45.85/45.99 c core #312 45.85/45.99 c Core size: 4 Core Weight: 1 Total Weight: -688 45.85/45.99 c Elapsed CPU time: 44.3843 s Remaining CPU time: 1755.62 s 46.05/46.14 c core #313 46.05/46.14 c Core size: 4 Core Weight: 1 Total Weight: -687 46.05/46.14 c Elapsed CPU time: 44.5332 s Remaining CPU time: 1755.47 s 46.16/46.29 c core #314 46.16/46.29 c Core size: 4 Core Weight: 1 Total Weight: -686 46.16/46.29 c Elapsed CPU time: 44.6812 s Remaining CPU time: 1755.32 s 46.35/46.45 c core #315 46.35/46.45 c Core size: 4 Core Weight: 1 Total Weight: -685 46.35/46.45 c Elapsed CPU time: 44.8332 s Remaining CPU time: 1755.17 s 46.55/46.60 c core #316 46.55/46.60 c Core size: 4 Core Weight: 1 Total Weight: -684 46.55/46.60 c Elapsed CPU time: 44.9792 s Remaining CPU time: 1755.02 s 46.65/46.75 c core #317 46.65/46.75 c Core size: 4 Core Weight: 1 Total Weight: -683 46.65/46.75 c Elapsed CPU time: 45.1241 s Remaining CPU time: 1754.88 s 46.85/46.90 c core #318 46.85/46.90 c Core size: 4 Core Weight: 1 Total Weight: -682 46.85/46.90 c Elapsed CPU time: 45.2701 s Remaining CPU time: 1754.73 s 46.95/47.05 c core #319 46.95/47.05 c Core size: 4 Core Weight: 1 Total Weight: -681 46.95/47.05 c Elapsed CPU time: 45.4151 s Remaining CPU time: 1754.58 s 47.16/47.21 c core #320 47.16/47.21 c Core size: 4 Core Weight: 1 Total Weight: -680 47.16/47.21 c Elapsed CPU time: 45.5661 s Remaining CPU time: 1754.43 s 47.25/47.36 c core #321 47.25/47.36 c Core size: 4 Core Weight: 1 Total Weight: -679 47.25/47.36 c Elapsed CPU time: 45.7131 s Remaining CPU time: 1754.29 s 47.45/47.51 c core #322 47.45/47.51 c Core size: 4 Core Weight: 1 Total Weight: -678 47.45/47.51 c Elapsed CPU time: 45.854 s Remaining CPU time: 1754.15 s 47.55/47.66 c core #323 47.55/47.66 c Core size: 4 Core Weight: 1 Total Weight: -677 47.55/47.66 c Elapsed CPU time: 46 s Remaining CPU time: 1754 s 47.75/47.81 c core #324 47.75/47.81 c Core size: 4 Core Weight: 1 Total Weight: -676 47.75/47.81 c Elapsed CPU time: 46.145 s Remaining CPU time: 1753.86 s 47.85/47.96 c core #325 47.85/47.96 c Core size: 4 Core Weight: 1 Total Weight: -675 47.85/47.96 c Elapsed CPU time: 46.291 s Remaining CPU time: 1753.71 s 48.05/48.11 c core #326 48.05/48.11 c Core size: 4 Core Weight: 1 Total Weight: -674 48.05/48.11 c Elapsed CPU time: 46.4349 s Remaining CPU time: 1753.57 s 48.15/48.26 c core #327 48.15/48.26 c Core size: 4 Core Weight: 1 Total Weight: -673 48.15/48.26 c Elapsed CPU time: 46.5769 s Remaining CPU time: 1753.42 s 48.36/48.41 c core #328 48.36/48.41 c Core size: 4 Core Weight: 1 Total Weight: -672 48.36/48.41 c Elapsed CPU time: 46.7249 s Remaining CPU time: 1753.28 s 48.45/48.57 c core #329 48.45/48.57 c Core size: 4 Core Weight: 1 Total Weight: -671 48.45/48.57 c Elapsed CPU time: 46.8739 s Remaining CPU time: 1753.13 s 48.65/48.72 c core #330 48.65/48.72 c Core size: 4 Core Weight: 1 Total Weight: -670 48.65/48.72 c Elapsed CPU time: 47.0209 s Remaining CPU time: 1752.98 s 48.75/48.88 c core #331 48.75/48.88 c Core size: 4 Core Weight: 1 Total Weight: -669 48.75/48.88 c Elapsed CPU time: 47.1758 s Remaining CPU time: 1752.82 s 48.95/49.03 c core #332 48.95/49.03 c Core size: 4 Core Weight: 1 Total Weight: -668 48.95/49.03 c Elapsed CPU time: 47.3248 s Remaining CPU time: 1752.68 s 49.05/49.19 c core #333 49.05/49.19 c Core size: 4 Core Weight: 1 Total Weight: -667 49.05/49.19 c Elapsed CPU time: 47.4718 s Remaining CPU time: 1752.53 s 49.25/49.34 c core #334 49.25/49.34 c Core size: 4 Core Weight: 1 Total Weight: -666 49.25/49.34 c Elapsed CPU time: 47.6228 s Remaining CPU time: 1752.38 s 49.35/49.49 c core #335 49.35/49.49 c Core size: 4 Core Weight: 1 Total Weight: -665 49.35/49.49 c Elapsed CPU time: 47.7707 s Remaining CPU time: 1752.23 s 49.55/49.65 c core #336 49.55/49.65 c Core size: 4 Core Weight: 1 Total Weight: -664 49.55/49.65 c Elapsed CPU time: 47.9187 s Remaining CPU time: 1752.08 s 49.75/49.80 c core #337 49.75/49.80 c Core size: 4 Core Weight: 1 Total Weight: -663 49.75/49.80 c Elapsed CPU time: 48.0677 s Remaining CPU time: 1751.93 s 49.85/49.95 c core #338 49.85/49.95 c Core size: 4 Core Weight: 1 Total Weight: -662 49.85/49.95 c Elapsed CPU time: 48.2167 s Remaining CPU time: 1751.78 s 50.05/50.11 c core #339 50.05/50.11 c Core size: 4 Core Weight: 1 Total Weight: -661 50.05/50.11 c Elapsed CPU time: 48.3636 s Remaining CPU time: 1751.64 s 50.15/50.26 c core #340 50.15/50.26 c Core size: 4 Core Weight: 1 Total Weight: -660 50.15/50.26 c Elapsed CPU time: 48.5146 s Remaining CPU time: 1751.49 s 50.35/50.42 c core #341 50.35/50.42 c Core size: 4 Core Weight: 1 Total Weight: -659 50.35/50.42 c Elapsed CPU time: 48.6596 s Remaining CPU time: 1751.34 s 50.45/50.57 c core #342 50.45/50.57 c Core size: 4 Core Weight: 1 Total Weight: -658 50.45/50.57 c Elapsed CPU time: 48.8086 s Remaining CPU time: 1751.19 s 50.65/50.73 c core #343 50.65/50.73 c Core size: 4 Core Weight: 1 Total Weight: -657 50.65/50.73 c Elapsed CPU time: 48.9536 s Remaining CPU time: 1751.05 s 50.75/50.88 c core #344 50.75/50.88 c Core size: 4 Core Weight: 1 Total Weight: -656 50.75/50.88 c Elapsed CPU time: 49.0985 s Remaining CPU time: 1750.9 s 50.95/51.03 c core #345 50.95/51.03 c Core size: 4 Core Weight: 1 Total Weight: -655 50.95/51.03 c Elapsed CPU time: 49.2435 s Remaining CPU time: 1750.76 s 51.05/51.19 c core #346 51.05/51.19 c Core size: 4 Core Weight: 1 Total Weight: -654 51.05/51.19 c Elapsed CPU time: 49.3945 s Remaining CPU time: 1750.61 s 51.25/51.34 c core #347 51.25/51.34 c Core size: 4 Core Weight: 1 Total Weight: -653 51.25/51.34 c Elapsed CPU time: 49.5445 s Remaining CPU time: 1750.46 s 51.35/51.50 c core #348 51.35/51.50 c Core size: 4 Core Weight: 1 Total Weight: -652 51.35/51.50 c Elapsed CPU time: 49.6904 s Remaining CPU time: 1750.31 s 51.55/51.65 c core #349 51.55/51.65 c Core size: 4 Core Weight: 1 Total Weight: -651 51.55/51.65 c Elapsed CPU time: 49.8394 s Remaining CPU time: 1750.16 s 51.75/51.80 c core #350 51.75/51.80 c Core size: 4 Core Weight: 1 Total Weight: -650 51.75/51.80 c Elapsed CPU time: 49.9874 s Remaining CPU time: 1750.01 s 51.85/51.96 c core #351 51.85/51.96 c Core size: 4 Core Weight: 1 Total Weight: -649 51.85/51.96 c Elapsed CPU time: 50.1374 s Remaining CPU time: 1749.86 s 52.05/52.11 c core #352 52.05/52.11 c Core size: 4 Core Weight: 1 Total Weight: -648 52.05/52.11 c Elapsed CPU time: 50.2804 s Remaining CPU time: 1749.72 s 52.15/52.26 c core #353 52.15/52.26 c Core size: 4 Core Weight: 1 Total Weight: -647 52.15/52.26 c Elapsed CPU time: 50.4303 s Remaining CPU time: 1749.57 s 52.35/52.41 c core #354 52.35/52.41 c Core size: 4 Core Weight: 1 Total Weight: -646 52.35/52.41 c Elapsed CPU time: 50.5723 s Remaining CPU time: 1749.43 s 52.45/52.57 c core #355 52.45/52.57 c Core size: 4 Core Weight: 1 Total Weight: -645 52.45/52.57 c Elapsed CPU time: 50.7253 s Remaining CPU time: 1749.27 s 52.65/52.72 c core #356 52.65/52.72 c Core size: 4 Core Weight: 1 Total Weight: -644 52.65/52.72 c Elapsed CPU time: 50.8733 s Remaining CPU time: 1749.13 s 52.75/52.88 c core #357 52.75/52.88 c Core size: 4 Core Weight: 1 Total Weight: -643 52.75/52.88 c Elapsed CPU time: 51.0212 s Remaining CPU time: 1748.98 s 52.94/53.03 c core #358 52.94/53.03 c Core size: 4 Core Weight: 1 Total Weight: -642 52.94/53.03 c Elapsed CPU time: 51.1692 s Remaining CPU time: 1748.83 s 53.05/53.18 c core #359 53.05/53.18 c Core size: 4 Core Weight: 1 Total Weight: -641 53.05/53.18 c Elapsed CPU time: 51.3132 s Remaining CPU time: 1748.69 s 53.24/53.33 c core #360 53.24/53.33 c Core size: 4 Core Weight: 1 Total Weight: -640 53.24/53.33 c Elapsed CPU time: 51.4602 s Remaining CPU time: 1748.54 s 53.35/53.48 c core #361 53.35/53.48 c Core size: 4 Core Weight: 1 Total Weight: -639 53.35/53.48 c Elapsed CPU time: 51.6082 s Remaining CPU time: 1748.39 s 53.54/53.64 c core #362 53.54/53.64 c Core size: 4 Core Weight: 1 Total Weight: -638 53.54/53.64 c Elapsed CPU time: 51.7551 s Remaining CPU time: 1748.24 s 53.65/53.80 c core #363 53.65/53.80 c Core size: 4 Core Weight: 1 Total Weight: -637 53.65/53.80 c Elapsed CPU time: 51.9121 s Remaining CPU time: 1748.09 s 53.85/53.95 c core #364 53.85/53.95 c Core size: 4 Core Weight: 1 Total Weight: -636 53.85/53.95 c Elapsed CPU time: 52.0651 s Remaining CPU time: 1747.93 s 54.05/54.11 c core #365 54.05/54.11 c Core size: 4 Core Weight: 1 Total Weight: -635 54.05/54.11 c Elapsed CPU time: 52.2171 s Remaining CPU time: 1747.78 s 54.15/54.26 c core #366 54.15/54.26 c Core size: 4 Core Weight: 1 Total Weight: -634 54.15/54.26 c Elapsed CPU time: 52.365 s Remaining CPU time: 1747.63 s 54.34/54.42 c core #367 54.34/54.42 c Core size: 4 Core Weight: 1 Total Weight: -633 54.34/54.42 c Elapsed CPU time: 52.519 s Remaining CPU time: 1747.48 s 54.45/54.58 c core #368 54.45/54.58 c Core size: 4 Core Weight: 1 Total Weight: -632 54.45/54.58 c Elapsed CPU time: 52.67 s Remaining CPU time: 1747.33 s 54.64/54.73 c core #369 54.64/54.73 c Core size: 4 Core Weight: 1 Total Weight: -631 54.64/54.73 c Elapsed CPU time: 52.818 s Remaining CPU time: 1747.18 s 54.75/54.88 c core #370 54.75/54.88 c Core size: 4 Core Weight: 1 Total Weight: -630 54.75/54.88 c Elapsed CPU time: 52.9659 s Remaining CPU time: 1747.03 s 54.94/55.04 c core #371 54.94/55.04 c Core size: 4 Core Weight: 1 Total Weight: -629 54.94/55.04 c Elapsed CPU time: 53.1119 s Remaining CPU time: 1746.89 s 55.05/55.19 c core #372 55.05/55.19 c Core size: 4 Core Weight: 1 Total Weight: -628 55.05/55.19 c Elapsed CPU time: 53.2619 s Remaining CPU time: 1746.74 s 55.24/55.34 c core #373 55.24/55.34 c Core size: 4 Core Weight: 1 Total Weight: -627 55.24/55.34 c Elapsed CPU time: 53.4099 s Remaining CPU time: 1746.59 s 55.44/55.50 c core #374 55.44/55.50 c Core size: 4 Core Weight: 1 Total Weight: -626 55.44/55.50 c Elapsed CPU time: 53.5629 s Remaining CPU time: 1746.44 s 55.54/55.66 c core #375 55.54/55.66 c Core size: 4 Core Weight: 1 Total Weight: -625 55.54/55.66 c Elapsed CPU time: 53.7168 s Remaining CPU time: 1746.28 s 55.74/55.82 c core #376 55.74/55.82 c Core size: 4 Core Weight: 1 Total Weight: -624 55.74/55.82 c Elapsed CPU time: 53.8688 s Remaining CPU time: 1746.13 s 55.84/55.98 c core #377 55.84/55.98 c Core size: 4 Core Weight: 1 Total Weight: -623 55.84/55.98 c Elapsed CPU time: 54.0268 s Remaining CPU time: 1745.97 s 56.05/56.13 c core #378 56.05/56.13 c Core size: 4 Core Weight: 1 Total Weight: -622 56.05/56.13 c Elapsed CPU time: 54.1758 s Remaining CPU time: 1745.82 s 56.14/56.29 c core #379 56.14/56.29 c Core size: 4 Core Weight: 1 Total Weight: -621 56.14/56.29 c Elapsed CPU time: 54.3247 s Remaining CPU time: 1745.68 s 56.34/56.45 c core #380 56.34/56.45 c Core size: 4 Core Weight: 1 Total Weight: -620 56.34/56.45 c Elapsed CPU time: 54.4767 s Remaining CPU time: 1745.52 s 56.54/56.60 c core #381 56.54/56.60 c Core size: 4 Core Weight: 1 Total Weight: -619 56.54/56.60 c Elapsed CPU time: 54.6247 s Remaining CPU time: 1745.38 s 56.64/56.76 c core #382 56.64/56.76 c Core size: 4 Core Weight: 1 Total Weight: -618 56.64/56.76 c Elapsed CPU time: 54.7757 s Remaining CPU time: 1745.22 s 56.85/56.92 c core #383 56.85/56.92 c Core size: 4 Core Weight: 1 Total Weight: -617 56.85/56.92 c Elapsed CPU time: 54.9326 s Remaining CPU time: 1745.07 s 56.94/57.07 c core #384 56.94/57.07 c Core size: 4 Core Weight: 1 Total Weight: -616 56.94/57.07 c Elapsed CPU time: 55.0786 s Remaining CPU time: 1744.92 s 57.15/57.23 c core #385 57.15/57.23 c Core size: 4 Core Weight: 1 Total Weight: -615 57.15/57.23 c Elapsed CPU time: 55.2306 s Remaining CPU time: 1744.77 s 57.24/57.38 c core #386 57.24/57.38 c Core size: 4 Core Weight: 1 Total Weight: -614 57.24/57.38 c Elapsed CPU time: 55.3826 s Remaining CPU time: 1744.62 s 57.44/57.54 c core #387 57.44/57.54 c Core size: 4 Core Weight: 1 Total Weight: -613 57.44/57.54 c Elapsed CPU time: 55.5376 s Remaining CPU time: 1744.46 s 57.64/57.70 c core #388 57.64/57.70 c Core size: 4 Core Weight: 1 Total Weight: -612 57.64/57.70 c Elapsed CPU time: 55.6895 s Remaining CPU time: 1744.31 s 57.74/57.86 c core #389 57.74/57.86 c Core size: 4 Core Weight: 1 Total Weight: -611 57.74/57.86 c Elapsed CPU time: 55.8425 s Remaining CPU time: 1744.16 s 57.94/58.01 c core #390 57.94/58.01 c Core size: 4 Core Weight: 1 Total Weight: -610 57.94/58.01 c Elapsed CPU time: 55.9945 s Remaining CPU time: 1744.01 s 58.04/58.17 c core #391 58.04/58.17 c Core size: 4 Core Weight: 1 Total Weight: -609 58.04/58.17 c Elapsed CPU time: 56.1465 s Remaining CPU time: 1743.85 s 58.25/58.33 c core #392 58.25/58.33 c Core size: 4 Core Weight: 1 Total Weight: -608 58.25/58.33 c Elapsed CPU time: 56.2994 s Remaining CPU time: 1743.7 s 58.34/58.49 c core #393 58.34/58.49 c Core size: 4 Core Weight: 1 Total Weight: -607 58.34/58.49 c Elapsed CPU time: 56.4544 s Remaining CPU time: 1743.55 s 58.54/58.64 c core #394 58.54/58.64 c Core size: 4 Core Weight: 1 Total Weight: -606 58.54/58.64 c Elapsed CPU time: 56.6074 s Remaining CPU time: 1743.39 s 58.74/58.80 c core #395 58.74/58.80 c Core size: 4 Core Weight: 1 Total Weight: -605 58.74/58.80 c Elapsed CPU time: 56.7604 s Remaining CPU time: 1743.24 s 58.84/58.96 c core #396 58.84/58.96 c Core size: 4 Core Weight: 1 Total Weight: -604 58.84/58.96 c Elapsed CPU time: 56.9133 s Remaining CPU time: 1743.09 s 59.04/59.12 c core #397 59.04/59.12 c Core size: 4 Core Weight: 1 Total Weight: -603 59.04/59.12 c Elapsed CPU time: 57.0653 s Remaining CPU time: 1742.93 s 59.14/59.28 c core #398 59.14/59.28 c Core size: 4 Core Weight: 1 Total Weight: -602 59.14/59.28 c Elapsed CPU time: 57.2173 s Remaining CPU time: 1742.78 s 59.34/59.43 c core #399 59.34/59.43 c Core size: 4 Core Weight: 1 Total Weight: -601 59.34/59.43 c Elapsed CPU time: 57.3683 s Remaining CPU time: 1742.63 s 59.44/59.59 c core #400 59.44/59.59 c Core size: 4 Core Weight: 1 Total Weight: -600 59.44/59.59 c Elapsed CPU time: 57.5163 s Remaining CPU time: 1742.48 s 59.64/59.75 c core #401 59.64/59.75 c Core size: 4 Core Weight: 1 Total Weight: -599 59.64/59.75 c Elapsed CPU time: 57.6712 s Remaining CPU time: 1742.33 s 59.84/59.90 c core #402 59.84/59.90 c Core size: 4 Core Weight: 1 Total Weight: -598 59.84/59.90 c Elapsed CPU time: 57.8262 s Remaining CPU time: 1742.17 s 59.94/60.06 c core #403 59.94/60.06 c Core size: 4 Core Weight: 1 Total Weight: -597 59.94/60.06 c Elapsed CPU time: 57.9782 s Remaining CPU time: 1742.02 s 60.14/60.22 c core #404 60.14/60.22 c Core size: 4 Core Weight: 1 Total Weight: -596 60.14/60.22 c Elapsed CPU time: 58.1322 s Remaining CPU time: 1741.87 s 60.24/60.38 c core #405 60.24/60.38 c Core size: 4 Core Weight: 1 Total Weight: -595 60.24/60.38 c Elapsed CPU time: 58.2891 s Remaining CPU time: 1741.71 s 60.44/60.54 c core #406 60.44/60.54 c Core size: 4 Core Weight: 1 Total Weight: -594 60.44/60.54 c Elapsed CPU time: 58.4431 s Remaining CPU time: 1741.56 s 60.64/60.70 c core #407 60.64/60.70 c Core size: 4 Core Weight: 1 Total Weight: -593 60.64/60.70 c Elapsed CPU time: 58.5961 s Remaining CPU time: 1741.4 s 60.74/60.86 c core #408 60.74/60.86 c Core size: 4 Core Weight: 1 Total Weight: -592 60.74/60.86 c Elapsed CPU time: 58.7511 s Remaining CPU time: 1741.25 s 60.94/61.02 c core #409 60.94/61.02 c Core size: 4 Core Weight: 1 Total Weight: -591 60.94/61.02 c Elapsed CPU time: 58.903 s Remaining CPU time: 1741.1 s 61.04/61.18 c core #410 61.04/61.18 c Core size: 4 Core Weight: 1 Total Weight: -590 61.04/61.18 c Elapsed CPU time: 59.054 s Remaining CPU time: 1740.95 s 61.23/61.34 c core #411 61.23/61.34 c Core size: 4 Core Weight: 1 Total Weight: -589 61.23/61.34 c Elapsed CPU time: 59.205 s Remaining CPU time: 1740.8 s 61.34/61.50 c core #412 61.34/61.50 c Core size: 4 Core Weight: 1 Total Weight: -588 61.34/61.50 c Elapsed CPU time: 59.362 s Remaining CPU time: 1740.64 s 61.55/61.65 c core #413 61.55/61.65 c Core size: 4 Core Weight: 1 Total Weight: -587 61.55/61.65 c Elapsed CPU time: 59.513 s Remaining CPU time: 1740.49 s 61.74/61.81 c core #414 61.74/61.81 c Core size: 4 Core Weight: 1 Total Weight: -586 61.74/61.81 c Elapsed CPU time: 59.6679 s Remaining CPU time: 1740.33 s 61.83/61.98 c core #415 61.83/61.98 c Core size: 4 Core Weight: 1 Total Weight: -585 61.83/61.98 c Elapsed CPU time: 59.8209 s Remaining CPU time: 1740.18 s 62.03/62.14 c core #416 62.03/62.14 c Core size: 4 Core Weight: 1 Total Weight: -584 62.03/62.14 c Elapsed CPU time: 59.9769 s Remaining CPU time: 1740.02 s 62.14/62.30 c core #417 62.14/62.30 c Core size: 4 Core Weight: 1 Total Weight: -583 62.14/62.30 c Elapsed CPU time: 60.1299 s Remaining CPU time: 1739.87 s 62.34/62.45 c core #418 62.34/62.45 c Core size: 4 Core Weight: 1 Total Weight: -582 62.34/62.45 c Elapsed CPU time: 60.2808 s Remaining CPU time: 1739.72 s 62.54/62.62 c core #419 62.54/62.62 c Core size: 4 Core Weight: 1 Total Weight: -581 62.54/62.62 c Elapsed CPU time: 60.4418 s Remaining CPU time: 1739.56 s 62.64/62.78 c core #420 62.64/62.78 c Core size: 4 Core Weight: 1 Total Weight: -580 62.64/62.78 c Elapsed CPU time: 60.5938 s Remaining CPU time: 1739.41 s 62.84/62.93 c core #421 62.84/62.93 c Core size: 4 Core Weight: 1 Total Weight: -579 62.84/62.93 c Elapsed CPU time: 60.7478 s Remaining CPU time: 1739.25 s 62.93/63.09 c core #422 62.93/63.09 c Core size: 4 Core Weight: 1 Total Weight: -578 62.93/63.09 c Elapsed CPU time: 60.9017 s Remaining CPU time: 1739.1 s 63.14/63.25 c core #423 63.14/63.25 c Core size: 4 Core Weight: 1 Total Weight: -577 63.14/63.25 c Elapsed CPU time: 61.0547 s Remaining CPU time: 1738.95 s 63.34/63.41 c core #424 63.34/63.41 c Core size: 4 Core Weight: 1 Total Weight: -576 63.34/63.41 c Elapsed CPU time: 61.2047 s Remaining CPU time: 1738.8 s 63.44/63.57 c core #425 63.44/63.57 c Core size: 4 Core Weight: 1 Total Weight: -575 63.44/63.57 c Elapsed CPU time: 61.3687 s Remaining CPU time: 1738.63 s 63.64/63.73 c core #426 63.64/63.73 c Core size: 4 Core Weight: 1 Total Weight: -574 63.64/63.73 c Elapsed CPU time: 61.5246 s Remaining CPU time: 1738.48 s 63.74/63.89 c core #427 63.74/63.89 c Core size: 4 Core Weight: 1 Total Weight: -573 63.74/63.89 c Elapsed CPU time: 61.6806 s Remaining CPU time: 1738.32 s 63.93/64.05 c core #428 63.93/64.05 c Core size: 4 Core Weight: 1 Total Weight: -572 63.93/64.05 c Elapsed CPU time: 61.8316 s Remaining CPU time: 1738.17 s 64.14/64.21 c core #429 64.14/64.21 c Core size: 4 Core Weight: 1 Total Weight: -571 64.14/64.21 c Elapsed CPU time: 61.9856 s Remaining CPU time: 1738.01 s 64.23/64.37 c core #430 64.23/64.37 c Core size: 4 Core Weight: 1 Total Weight: -570 64.23/64.37 c Elapsed CPU time: 62.1406 s Remaining CPU time: 1737.86 s 64.44/64.53 c core #431 64.44/64.53 c Core size: 4 Core Weight: 1 Total Weight: -569 64.44/64.53 c Elapsed CPU time: 62.2985 s Remaining CPU time: 1737.7 s 64.63/64.70 c core #432 64.63/64.70 c Core size: 4 Core Weight: 1 Total Weight: -568 64.63/64.70 c Elapsed CPU time: 62.4575 s Remaining CPU time: 1737.54 s 64.74/64.86 c core #433 64.74/64.86 c Core size: 4 Core Weight: 1 Total Weight: -567 64.74/64.86 c Elapsed CPU time: 62.6095 s Remaining CPU time: 1737.39 s 64.93/65.02 c core #434 64.93/65.02 c Core size: 4 Core Weight: 1 Total Weight: -566 64.93/65.02 c Elapsed CPU time: 62.7655 s Remaining CPU time: 1737.23 s 65.04/65.18 c core #435 65.04/65.18 c Core size: 4 Core Weight: 1 Total Weight: -565 65.04/65.18 c Elapsed CPU time: 62.9174 s Remaining CPU time: 1737.08 s 65.23/65.34 c core #436 65.23/65.34 c Core size: 4 Core Weight: 1 Total Weight: -564 65.23/65.34 c Elapsed CPU time: 63.0754 s Remaining CPU time: 1736.92 s 65.43/65.50 c core #437 65.43/65.50 c Core size: 4 Core Weight: 1 Total Weight: -563 65.43/65.50 c Elapsed CPU time: 63.2304 s Remaining CPU time: 1736.77 s 65.53/65.66 c core #438 65.53/65.66 c Core size: 4 Core Weight: 1 Total Weight: -562 65.53/65.66 c Elapsed CPU time: 63.3834 s Remaining CPU time: 1736.62 s 65.73/65.82 c core #439 65.73/65.82 c Core size: 4 Core Weight: 1 Total Weight: -561 65.73/65.82 c Elapsed CPU time: 63.5373 s Remaining CPU time: 1736.46 s 65.83/65.98 c core #440 65.83/65.98 c Core size: 4 Core Weight: 1 Total Weight: -560 65.83/65.98 c Elapsed CPU time: 63.6923 s Remaining CPU time: 1736.31 s 66.03/66.14 c core #441 66.03/66.14 c Core size: 4 Core Weight: 1 Total Weight: -559 66.03/66.14 c Elapsed CPU time: 63.8493 s Remaining CPU time: 1736.15 s 66.22/66.30 c core #442 66.22/66.30 c Core size: 4 Core Weight: 1 Total Weight: -558 66.22/66.30 c Elapsed CPU time: 64.0023 s Remaining CPU time: 1736 s 66.33/66.46 c core #443 66.33/66.46 c Core size: 4 Core Weight: 1 Total Weight: -557 66.33/66.46 c Elapsed CPU time: 64.1562 s Remaining CPU time: 1735.84 s 66.52/66.62 c core #444 66.52/66.62 c Core size: 4 Core Weight: 1 Total Weight: -556 66.52/66.62 c Elapsed CPU time: 64.3122 s Remaining CPU time: 1735.69 s 66.63/66.78 c core #445 66.63/66.78 c Core size: 4 Core Weight: 1 Total Weight: -555 66.63/66.78 c Elapsed CPU time: 64.4702 s Remaining CPU time: 1735.53 s 66.83/66.94 c core #446 66.83/66.94 c Core size: 4 Core Weight: 1 Total Weight: -554 66.83/66.94 c Elapsed CPU time: 64.6272 s Remaining CPU time: 1735.37 s 67.03/67.11 c core #447 67.03/67.11 c Core size: 4 Core Weight: 1 Total Weight: -553 67.03/67.11 c Elapsed CPU time: 64.7832 s Remaining CPU time: 1735.22 s 67.12/67.27 c core #448 67.12/67.27 c Core size: 4 Core Weight: 1 Total Weight: -552 67.12/67.27 c Elapsed CPU time: 64.9401 s Remaining CPU time: 1735.06 s 67.32/67.44 c core #449 67.32/67.44 c Core size: 4 Core Weight: 1 Total Weight: -551 67.32/67.44 c Elapsed CPU time: 65.0961 s Remaining CPU time: 1734.9 s 67.52/67.60 c core #450 67.52/67.60 c Core size: 4 Core Weight: 1 Total Weight: -550 67.52/67.60 c Elapsed CPU time: 65.2541 s Remaining CPU time: 1734.75 s 67.63/67.76 c core #451 67.63/67.76 c Core size: 4 Core Weight: 1 Total Weight: -549 67.63/67.76 c Elapsed CPU time: 65.4081 s Remaining CPU time: 1734.59 s 67.83/67.92 c core #452 67.83/67.92 c Core size: 4 Core Weight: 1 Total Weight: -548 67.83/67.92 c Elapsed CPU time: 65.56 s Remaining CPU time: 1734.44 s 67.92/68.08 c core #453 67.92/68.08 c Core size: 4 Core Weight: 1 Total Weight: -547 67.92/68.08 c Elapsed CPU time: 65.713 s Remaining CPU time: 1734.29 s 68.12/68.24 c core #454 68.12/68.24 c Core size: 4 Core Weight: 1 Total Weight: -546 68.12/68.24 c Elapsed CPU time: 65.871 s Remaining CPU time: 1734.13 s 68.32/68.40 c core #455 68.32/68.40 c Core size: 4 Core Weight: 1 Total Weight: -545 68.32/68.40 c Elapsed CPU time: 66.026 s Remaining CPU time: 1733.97 s 68.42/68.56 c core #456 68.42/68.56 c Core size: 4 Core Weight: 1 Total Weight: -544 68.42/68.56 c Elapsed CPU time: 66.1829 s Remaining CPU time: 1733.82 s 68.62/68.72 c core #457 68.62/68.72 c Core size: 4 Core Weight: 1 Total Weight: -543 68.62/68.72 c Elapsed CPU time: 66.3409 s Remaining CPU time: 1733.66 s 68.72/68.89 c core #458 68.72/68.89 c Core size: 4 Core Weight: 1 Total Weight: -542 68.72/68.89 c Elapsed CPU time: 66.5029 s Remaining CPU time: 1733.5 s 68.92/69.05 c core #459 68.92/69.05 c Core size: 4 Core Weight: 1 Total Weight: -541 68.92/69.05 c Elapsed CPU time: 66.6569 s Remaining CPU time: 1733.34 s 69.12/69.21 c core #460 69.12/69.21 c Core size: 4 Core Weight: 1 Total Weight: -540 69.12/69.21 c Elapsed CPU time: 66.8148 s Remaining CPU time: 1733.19 s 69.22/69.37 c core #461 69.22/69.37 c Core size: 4 Core Weight: 1 Total Weight: -539 69.22/69.37 c Elapsed CPU time: 66.9708 s Remaining CPU time: 1733.03 s 69.42/69.54 c core #462 69.42/69.54 c Core size: 4 Core Weight: 1 Total Weight: -538 69.42/69.54 c Elapsed CPU time: 67.1268 s Remaining CPU time: 1732.87 s 69.62/69.70 c core #463 69.62/69.70 c Core size: 4 Core Weight: 1 Total Weight: -537 69.62/69.70 c Elapsed CPU time: 67.2858 s Remaining CPU time: 1732.71 s 69.71/69.86 c core #464 69.71/69.86 c Core size: 4 Core Weight: 1 Total Weight: -536 69.71/69.86 c Elapsed CPU time: 67.4417 s Remaining CPU time: 1732.56 s 69.92/70.03 c core #465 69.92/70.03 c Core size: 4 Core Weight: 1 Total Weight: -535 69.92/70.03 c Elapsed CPU time: 67.5987 s Remaining CPU time: 1732.4 s 70.01/70.18 c core #466 70.01/70.18 c Core size: 4 Core Weight: 1 Total Weight: -534 70.01/70.18 c Elapsed CPU time: 67.7537 s Remaining CPU time: 1732.25 s 70.22/70.35 c core #467 70.22/70.35 c Core size: 4 Core Weight: 1 Total Weight: -533 70.22/70.35 c Elapsed CPU time: 67.9107 s Remaining CPU time: 1732.09 s 70.42/70.51 c core #468 70.42/70.51 c Core size: 4 Core Weight: 1 Total Weight: -532 70.42/70.51 c Elapsed CPU time: 68.0677 s Remaining CPU time: 1731.93 s 70.51/70.67 c core #469 70.51/70.67 c Core size: 4 Core Weight: 1 Total Weight: -531 70.51/70.67 c Elapsed CPU time: 68.2216 s Remaining CPU time: 1731.78 s 70.71/70.83 c core #470 70.71/70.83 c Core size: 4 Core Weight: 1 Total Weight: -530 70.71/70.83 c Elapsed CPU time: 68.3776 s Remaining CPU time: 1731.62 s 70.91/71.00 c core #471 70.91/71.00 c Core size: 4 Core Weight: 1 Total Weight: -529 70.91/71.00 c Elapsed CPU time: 68.5426 s Remaining CPU time: 1731.46 s 71.02/71.16 c core #472 71.02/71.16 c Core size: 4 Core Weight: 1 Total Weight: -528 71.02/71.16 c Elapsed CPU time: 68.7006 s Remaining CPU time: 1731.3 s 71.22/71.33 c core #473 71.22/71.33 c Core size: 4 Core Weight: 1 Total Weight: -527 71.22/71.33 c Elapsed CPU time: 68.8595 s Remaining CPU time: 1731.14 s 71.32/71.49 c core #474 71.32/71.49 c Core size: 4 Core Weight: 1 Total Weight: -526 71.32/71.49 c Elapsed CPU time: 69.0165 s Remaining CPU time: 1730.98 s 71.52/71.65 c core #475 71.52/71.65 c Core size: 4 Core Weight: 1 Total Weight: -525 71.52/71.65 c Elapsed CPU time: 69.1775 s Remaining CPU time: 1730.82 s 71.71/71.82 c core #476 71.71/71.82 c Core size: 4 Core Weight: 1 Total Weight: -524 71.71/71.82 c Elapsed CPU time: 69.3365 s Remaining CPU time: 1730.66 s 71.82/71.98 c core #477 71.82/71.98 c Core size: 4 Core Weight: 1 Total Weight: -523 71.82/71.98 c Elapsed CPU time: 69.4974 s Remaining CPU time: 1730.5 s 72.01/72.14 c core #478 72.01/72.14 c Core size: 4 Core Weight: 1 Total Weight: -522 72.01/72.14 c Elapsed CPU time: 69.6524 s Remaining CPU time: 1730.35 s 72.21/72.31 c core #479 72.21/72.31 c Core size: 4 Core Weight: 1 Total Weight: -521 72.21/72.31 c Elapsed CPU time: 69.8184 s Remaining CPU time: 1730.18 s 72.32/72.47 c core #480 72.32/72.47 c Core size: 4 Core Weight: 1 Total Weight: -520 72.32/72.47 c Elapsed CPU time: 69.9724 s Remaining CPU time: 1730.03 s 72.52/72.64 c core #481 72.52/72.64 c Core size: 4 Core Weight: 1 Total Weight: -519 72.52/72.64 c Elapsed CPU time: 70.1353 s Remaining CPU time: 1729.86 s 72.71/72.80 c core #482 72.71/72.80 c Core size: 4 Core Weight: 1 Total Weight: -518 72.71/72.80 c Elapsed CPU time: 70.2883 s Remaining CPU time: 1729.71 s 72.82/72.97 c core #483 72.82/72.97 c Core size: 4 Core Weight: 1 Total Weight: -517 72.82/72.97 c Elapsed CPU time: 70.4463 s Remaining CPU time: 1729.55 s 73.01/73.13 c core #484 73.01/73.13 c Core size: 4 Core Weight: 1 Total Weight: -516 73.01/73.13 c Elapsed CPU time: 70.6063 s Remaining CPU time: 1729.39 s 73.12/73.29 c core #485 73.12/73.29 c Core size: 4 Core Weight: 1 Total Weight: -515 73.12/73.29 c Elapsed CPU time: 70.7682 s Remaining CPU time: 1729.23 s 73.31/73.46 c core #486 73.31/73.46 c Core size: 4 Core Weight: 1 Total Weight: -514 73.31/73.46 c Elapsed CPU time: 70.9272 s Remaining CPU time: 1729.07 s 73.52/73.62 c core #487 73.52/73.62 c Core size: 4 Core Weight: 1 Total Weight: -513 73.52/73.62 c Elapsed CPU time: 71.0832 s Remaining CPU time: 1728.92 s 73.62/73.78 c core #488 73.62/73.78 c Core size: 4 Core Weight: 1 Total Weight: -512 73.62/73.78 c Elapsed CPU time: 71.2392 s Remaining CPU time: 1728.76 s 73.82/73.95 c core #489 73.82/73.95 c Core size: 4 Core Weight: 1 Total Weight: -511 73.82/73.95 c Elapsed CPU time: 71.4001 s Remaining CPU time: 1728.6 s 74.02/74.11 c core #490 74.02/74.11 c Core size: 4 Core Weight: 1 Total Weight: -510 74.02/74.11 c Elapsed CPU time: 71.5511 s Remaining CPU time: 1728.45 s 74.11/74.27 c core #491 74.11/74.27 c Core size: 4 Core Weight: 1 Total Weight: -509 74.11/74.27 c Elapsed CPU time: 71.7121 s Remaining CPU time: 1728.29 s 74.31/74.43 c core #492 74.31/74.43 c Core size: 4 Core Weight: 1 Total Weight: -508 74.31/74.43 c Elapsed CPU time: 71.8701 s Remaining CPU time: 1728.13 s 74.51/74.60 c core #493 74.51/74.60 c Core size: 9 Core Weight: 1 Total Weight: -507 74.51/74.60 c Elapsed CPU time: 72.033 s Remaining CPU time: 1727.97 s 74.61/74.76 c core #494 74.61/74.76 c Core size: 9 Core Weight: 1 Total Weight: -506 74.61/74.76 c Elapsed CPU time: 72.186 s Remaining CPU time: 1727.81 s 74.81/74.92 c core #495 74.81/74.92 c Core size: 9 Core Weight: 1 Total Weight: -505 74.81/74.92 c Elapsed CPU time: 72.339 s Remaining CPU time: 1727.66 s 74.91/75.09 c core #496 74.91/75.09 c Core size: 14 Core Weight: 1 Total Weight: -504 74.91/75.09 c Elapsed CPU time: 72.504 s Remaining CPU time: 1727.5 s 75.12/75.24 c core #497 75.12/75.24 c Core size: 9 Core Weight: 1 Total Weight: -503 75.12/75.24 c Elapsed CPU time: 72.655 s Remaining CPU time: 1727.35 s 75.31/75.41 c core #498 75.31/75.41 c Core size: 13 Core Weight: 1 Total Weight: -502 75.31/75.41 c Elapsed CPU time: 72.8169 s Remaining CPU time: 1727.18 s 75.41/75.58 c core #499 75.41/75.58 c Core size: 24 Core Weight: 1 Total Weight: -501 75.41/75.58 c Elapsed CPU time: 72.9839 s Remaining CPU time: 1727.02 s 75.61/75.75 c core #500 75.61/75.75 c Core size: 28 Core Weight: 1 Total Weight: -500 75.61/75.75 c Elapsed CPU time: 73.1449 s Remaining CPU time: 1726.86 s 75.82/75.90 c core #501 75.82/75.90 c Core size: 23 Core Weight: 1 Total Weight: -499 75.82/75.90 c Elapsed CPU time: 73.2949 s Remaining CPU time: 1726.71 s 75.91/76.08 c core #502 75.91/76.08 c Core size: 33 Core Weight: 1 Total Weight: -498 75.91/76.08 c Elapsed CPU time: 73.4618 s Remaining CPU time: 1726.54 s 76.11/76.23 c ============================[ Search Statistics ]============================== 76.11/76.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.11/76.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.11/76.23 c =============================================================================== 76.11/76.23 c | 0 | 2054 78796 189903 | 26265 0 nan | 0.000 % | 76.11/76.24 c =============================================================================== 76.11/76.24 c core #503 76.11/76.24 c Core size: 16 Core Weight: 1 Total Weight: -497 76.11/76.24 c Elapsed CPU time: 73.6178 s Remaining CPU time: 1726.38 s 76.21/76.39 c ============================[ Search Statistics ]============================== 76.21/76.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.21/76.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.21/76.39 c =============================================================================== 76.21/76.39 c | 0 | 2060 78797 189915 | 26265 0 nan | 0.000 % | 76.31/76.40 c =============================================================================== 76.31/76.40 c core #504 76.31/76.40 c Core size: 15 Core Weight: 1 Total Weight: -496 76.31/76.40 c Elapsed CPU time: 73.7788 s Remaining CPU time: 1726.22 s 76.41/76.56 c ============================[ Search Statistics ]============================== 76.41/76.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.41/76.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.41/76.56 c =============================================================================== 76.41/76.56 c | 0 | 2066 78798 189927 | 26266 0 nan | 0.000 % | 76.41/76.57 c =============================================================================== 76.41/76.57 c core #505 76.41/76.57 c Core size: 17 Core Weight: 1 Total Weight: -495 76.41/76.57 c Elapsed CPU time: 73.9418 s Remaining CPU time: 1726.06 s 76.61/76.73 c ============================[ Search Statistics ]============================== 76.61/76.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.61/76.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.61/76.73 c =============================================================================== 76.61/76.73 c | 0 | 2072 78799 189939 | 26266 0 nan | 0.000 % | 76.61/76.74 c =============================================================================== 76.61/76.74 c core #506 76.61/76.74 c Core size: 16 Core Weight: 1 Total Weight: -494 76.61/76.74 c Elapsed CPU time: 74.1017 s Remaining CPU time: 1725.9 s 76.71/76.90 c ============================[ Search Statistics ]============================== 76.71/76.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.71/76.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.71/76.90 c =============================================================================== 76.71/76.90 c | 0 | 2078 78800 189951 | 26266 0 nan | 0.000 % | 76.81/76.91 c =============================================================================== 76.81/76.91 c core #507 76.81/76.91 c Core size: 17 Core Weight: 1 Total Weight: -493 76.81/76.91 c Elapsed CPU time: 74.2637 s Remaining CPU time: 1725.74 s 76.91/77.07 c ============================[ Search Statistics ]============================== 76.91/77.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.91/77.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.91/77.07 c =============================================================================== 76.91/77.07 c | 0 | 2084 78801 189963 | 26267 0 nan | 0.000 % | 76.91/77.07 c =============================================================================== 76.91/77.08 c core #508 76.91/77.08 c Core size: 15 Core Weight: 1 Total Weight: -492 76.91/77.08 c Elapsed CPU time: 74.4167 s Remaining CPU time: 1725.58 s 77.10/77.23 c ============================[ Search Statistics ]============================== 77.10/77.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.10/77.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.10/77.23 c =============================================================================== 77.10/77.23 c | 0 | 2090 78802 189975 | 26267 0 nan | 0.000 % | 77.10/77.24 c =============================================================================== 77.10/77.25 c core #509 77.10/77.25 c Core size: 22 Core Weight: 1 Total Weight: -491 77.10/77.25 c Elapsed CPU time: 74.5817 s Remaining CPU time: 1725.42 s 77.30/77.40 c ============================[ Search Statistics ]============================== 77.30/77.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.30/77.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.30/77.40 c =============================================================================== 77.30/77.40 c | 0 | 2098 78803 189991 | 26267 0 nan | 0.000 % | 77.30/77.41 c =============================================================================== 77.30/77.41 c core #510 77.30/77.41 c Core size: 15 Core Weight: 1 Total Weight: -490 77.30/77.41 c Elapsed CPU time: 74.7346 s Remaining CPU time: 1725.27 s 77.40/77.57 c ============================[ Search Statistics ]============================== 77.40/77.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.40/77.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.40/77.57 c =============================================================================== 77.40/77.57 c | 0 | 2104 78804 190003 | 26268 0 nan | 0.000 % | 77.40/77.58 c =============================================================================== 77.40/77.58 c core #511 77.40/77.58 c Core size: 15 Core Weight: 1 Total Weight: -489 77.40/77.58 c Elapsed CPU time: 74.9006 s Remaining CPU time: 1725.1 s 77.60/77.74 c ============================[ Search Statistics ]============================== 77.60/77.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.60/77.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.60/77.74 c =============================================================================== 77.60/77.74 c | 0 | 2110 78805 190015 | 26268 0 nan | 0.000 % | 77.60/77.74 c =============================================================================== 77.60/77.75 c core #512 77.60/77.75 c Core size: 16 Core Weight: 1 Total Weight: -488 77.60/77.75 c Elapsed CPU time: 75.0616 s Remaining CPU time: 1724.94 s 77.80/77.91 c ============================[ Search Statistics ]============================== 77.80/77.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.80/77.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.80/77.91 c =============================================================================== 77.80/77.91 c | 0 | 2116 78806 190027 | 26268 0 nan | 0.000 % | 77.80/77.92 c =============================================================================== 77.80/77.92 c core #513 77.80/77.92 c Core size: 17 Core Weight: 1 Total Weight: -487 77.80/77.92 c Elapsed CPU time: 75.2326 s Remaining CPU time: 1724.77 s 77.90/78.08 c ============================[ Search Statistics ]============================== 77.90/78.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.90/78.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.90/78.08 c =============================================================================== 77.90/78.08 c | 0 | 2122 78807 190039 | 26269 0 nan | 0.000 % | 77.90/78.09 c =============================================================================== 77.90/78.09 c core #514 77.90/78.09 c Core size: 17 Core Weight: 1 Total Weight: -486 77.90/78.09 c Elapsed CPU time: 75.3985 s Remaining CPU time: 1724.6 s 78.09/78.24 c ============================[ Search Statistics ]============================== 78.09/78.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.09/78.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.09/78.25 c =============================================================================== 78.09/78.25 c | 0 | 2128 78808 190051 | 26269 0 nan | 0.000 % | 78.09/78.26 c =============================================================================== 78.09/78.26 c core #515 78.09/78.26 c Core size: 15 Core Weight: 1 Total Weight: -485 78.09/78.26 c Elapsed CPU time: 75.5595 s Remaining CPU time: 1724.44 s 78.30/78.41 c ============================[ Search Statistics ]============================== 78.30/78.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.30/78.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.30/78.41 c =============================================================================== 78.30/78.41 c | 0 | 2134 78809 190063 | 26269 0 nan | 0.000 % | 78.30/78.42 c =============================================================================== 78.30/78.43 c core #516 78.30/78.43 c Core size: 16 Core Weight: 1 Total Weight: -484 78.30/78.43 c Elapsed CPU time: 75.7235 s Remaining CPU time: 1724.28 s 78.40/78.58 c ============================[ Search Statistics ]============================== 78.40/78.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.40/78.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.40/78.58 c =============================================================================== 78.40/78.58 c | 0 | 2140 78810 190075 | 26270 0 nan | 0.000 % | 78.40/78.59 c =============================================================================== 78.40/78.59 c core #517 78.40/78.59 c Core size: 22 Core Weight: 1 Total Weight: -483 78.40/78.59 c Elapsed CPU time: 75.8825 s Remaining CPU time: 1724.12 s 78.60/78.74 c ============================[ Search Statistics ]============================== 78.60/78.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.60/78.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.60/78.74 c =============================================================================== 78.60/78.74 c | 0 | 2148 78811 190091 | 26270 0 nan | 0.000 % | 78.60/78.76 c =============================================================================== 78.60/78.76 c core #518 78.60/78.76 c Core size: 16 Core Weight: 1 Total Weight: -482 78.60/78.76 c Elapsed CPU time: 76.0414 s Remaining CPU time: 1723.96 s 78.80/78.91 c ============================[ Search Statistics ]============================== 78.80/78.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.80/78.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.80/78.91 c =============================================================================== 78.80/78.91 c | 0 | 2154 78812 190103 | 26270 0 nan | 0.000 % | 78.80/78.92 c =============================================================================== 78.80/78.92 c core #519 78.80/78.92 c Core size: 15 Core Weight: 1 Total Weight: -481 78.80/78.92 c Elapsed CPU time: 76.2004 s Remaining CPU time: 1723.8 s 78.90/79.08 c ============================[ Search Statistics ]============================== 78.90/79.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.90/79.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.90/79.08 c =============================================================================== 78.90/79.08 c | 0 | 2160 78813 190115 | 26271 0 nan | 0.000 % | 78.90/79.09 c =============================================================================== 78.90/79.09 c core #520 78.90/79.09 c Core size: 15 Core Weight: 1 Total Weight: -480 78.90/79.09 c Elapsed CPU time: 76.3634 s Remaining CPU time: 1723.64 s 79.10/79.24 c ============================[ Search Statistics ]============================== 79.10/79.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.10/79.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.10/79.24 c =============================================================================== 79.10/79.24 c | 0 | 2166 78814 190127 | 26271 0 nan | 0.000 % | 79.10/79.25 c =============================================================================== 79.10/79.25 c core #521 79.10/79.25 c Core size: 15 Core Weight: 1 Total Weight: -479 79.10/79.25 c Elapsed CPU time: 76.5234 s Remaining CPU time: 1723.48 s 79.29/79.41 c ============================[ Search Statistics ]============================== 79.29/79.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.29/79.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.29/79.41 c =============================================================================== 79.29/79.41 c | 0 | 2172 78815 190139 | 26271 0 nan | 0.000 % | 79.29/79.42 c =============================================================================== 79.29/79.42 c core #522 79.29/79.42 c Core size: 15 Core Weight: 1 Total Weight: -478 79.29/79.42 c Elapsed CPU time: 76.6883 s Remaining CPU time: 1723.31 s 79.39/79.58 c ============================[ Search Statistics ]============================== 79.39/79.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.39/79.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.39/79.58 c =============================================================================== 79.39/79.58 c | 0 | 2178 78816 190151 | 26272 0 nan | 0.000 % | 79.39/79.59 c =============================================================================== 79.39/79.59 c core #523 79.39/79.59 c Core size: 22 Core Weight: 1 Total Weight: -477 79.39/79.59 c Elapsed CPU time: 76.8513 s Remaining CPU time: 1723.15 s 79.59/79.75 c ============================[ Search Statistics ]============================== 79.59/79.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.59/79.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.59/79.75 c =============================================================================== 79.59/79.75 c | 0 | 2186 78817 190167 | 26272 0 nan | 0.000 % | 79.59/79.76 c =============================================================================== 79.59/79.76 c core #524 79.59/79.76 c Core size: 15 Core Weight: 1 Total Weight: -476 79.59/79.76 c Elapsed CPU time: 77.0163 s Remaining CPU time: 1722.98 s 79.79/79.92 c ============================[ Search Statistics ]============================== 79.79/79.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.79/79.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.79/79.92 c =============================================================================== 79.79/79.92 c | 0 | 2192 78818 190179 | 26272 0 nan | 0.000 % | 79.79/79.93 c =============================================================================== 79.79/79.93 c core #525 79.79/79.93 c Core size: 15 Core Weight: 1 Total Weight: -475 79.79/79.93 c Elapsed CPU time: 77.1773 s Remaining CPU time: 1722.82 s 79.89/80.08 c ============================[ Search Statistics ]============================== 79.89/80.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.89/80.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.89/80.08 c =============================================================================== 79.89/80.08 c | 0 | 2198 78819 190191 | 26273 0 nan | 0.000 % | 79.89/80.09 c =============================================================================== 79.89/80.10 c core #526 79.89/80.10 c Core size: 15 Core Weight: 1 Total Weight: -474 79.89/80.10 c Elapsed CPU time: 77.3422 s Remaining CPU time: 1722.66 s 80.10/80.25 c ============================[ Search Statistics ]============================== 80.10/80.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.10/80.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.10/80.25 c =============================================================================== 80.10/80.25 c | 0 | 2204 78820 190203 | 26273 0 nan | 0.000 % | 80.10/80.27 c =============================================================================== 80.10/80.27 c core #527 80.10/80.27 c Core size: 15 Core Weight: 1 Total Weight: -473 80.10/80.27 c Elapsed CPU time: 77.5032 s Remaining CPU time: 1722.5 s 80.29/80.42 c ============================[ Search Statistics ]============================== 80.29/80.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.29/80.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.29/80.42 c =============================================================================== 80.29/80.42 c | 0 | 2210 78821 190215 | 26273 0 nan | 0.000 % | 80.29/80.43 c =============================================================================== 80.29/80.43 c core #528 80.29/80.43 c Core size: 15 Core Weight: 1 Total Weight: -472 80.29/80.43 c Elapsed CPU time: 77.6672 s Remaining CPU time: 1722.33 s 80.39/80.59 c ============================[ Search Statistics ]============================== 80.39/80.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.39/80.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.39/80.59 c =============================================================================== 80.39/80.59 c | 0 | 2216 78822 190227 | 26274 0 nan | 0.000 % | 80.49/80.61 c =============================================================================== 80.49/80.61 c core #529 80.49/80.61 c Core size: 15 Core Weight: 1 Total Weight: -471 80.49/80.61 c Elapsed CPU time: 77.8312 s Remaining CPU time: 1722.17 s 80.59/80.76 c ============================[ Search Statistics ]============================== 80.59/80.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.59/80.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.59/80.76 c =============================================================================== 80.59/80.76 c | 0 | 2222 78823 190239 | 26274 0 nan | 0.000 % | 80.59/80.77 c =============================================================================== 80.59/80.77 c core #530 80.59/80.77 c Core size: 15 Core Weight: 1 Total Weight: -470 80.59/80.77 c Elapsed CPU time: 77.9911 s Remaining CPU time: 1722.01 s 80.79/80.93 c ============================[ Search Statistics ]============================== 80.79/80.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.79/80.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.79/80.93 c =============================================================================== 80.79/80.93 c | 0 | 2228 78824 190251 | 26274 0 nan | 0.000 % | 80.79/80.94 c =============================================================================== 80.79/80.94 c core #531 80.79/80.94 c Core size: 16 Core Weight: 1 Total Weight: -469 80.79/80.94 c Elapsed CPU time: 78.1541 s Remaining CPU time: 1721.85 s 80.89/81.09 c ============================[ Search Statistics ]============================== 80.89/81.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.89/81.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.89/81.09 c =============================================================================== 80.89/81.09 c | 0 | 2234 78825 190263 | 26275 0 nan | 0.000 % | 80.99/81.11 c =============================================================================== 80.99/81.11 c core #532 80.99/81.11 c Core size: 15 Core Weight: 1 Total Weight: -468 80.99/81.11 c Elapsed CPU time: 78.3141 s Remaining CPU time: 1721.69 s 81.09/81.26 c ============================[ Search Statistics ]============================== 81.09/81.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.09/81.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.09/81.26 c =============================================================================== 81.09/81.26 c | 0 | 2240 78826 190275 | 26275 0 nan | 0.000 % | 81.09/81.27 c =============================================================================== 81.09/81.27 c core #533 81.09/81.27 c Core size: 16 Core Weight: 1 Total Weight: -467 81.09/81.27 c Elapsed CPU time: 78.4761 s Remaining CPU time: 1721.52 s 81.29/81.43 c ============================[ Search Statistics ]============================== 81.29/81.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.29/81.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.29/81.43 c =============================================================================== 81.29/81.43 c | 0 | 2246 78827 190287 | 26275 0 nan | 0.000 % | 81.29/81.44 c =============================================================================== 81.29/81.45 c core #534 81.29/81.45 c Core size: 15 Core Weight: 1 Total Weight: -466 81.29/81.45 c Elapsed CPU time: 78.644 s Remaining CPU time: 1721.36 s 81.49/81.60 c ============================[ Search Statistics ]============================== 81.49/81.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.49/81.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.49/81.60 c =============================================================================== 81.49/81.60 c | 0 | 2252 78828 190299 | 26276 0 nan | 0.000 % | 81.49/81.61 c =============================================================================== 81.49/81.61 c core #535 81.49/81.61 c Core size: 16 Core Weight: 1 Total Weight: -465 81.49/81.61 c Elapsed CPU time: 78.807 s Remaining CPU time: 1721.19 s 81.58/81.76 c ============================[ Search Statistics ]============================== 81.58/81.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.58/81.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.58/81.76 c =============================================================================== 81.58/81.76 c | 0 | 2258 78829 190311 | 26276 0 nan | 0.000 % | 81.58/81.78 c =============================================================================== 81.58/81.78 c core #536 81.58/81.78 c Core size: 15 Core Weight: 1 Total Weight: -464 81.58/81.78 c Elapsed CPU time: 78.965 s Remaining CPU time: 1721.04 s 81.79/81.93 c ============================[ Search Statistics ]============================== 81.79/81.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.79/81.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.79/81.93 c =============================================================================== 81.79/81.93 c | 0 | 2264 78830 190323 | 26276 0 nan | 0.000 % | 81.79/81.94 c =============================================================================== 81.79/81.94 c core #537 81.79/81.94 c Core size: 16 Core Weight: 1 Total Weight: -463 81.79/81.94 c Elapsed CPU time: 79.126 s Remaining CPU time: 1720.87 s 81.89/82.09 c ============================[ Search Statistics ]============================== 81.89/82.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.89/82.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.89/82.09 c =============================================================================== 81.89/82.09 c | 0 | 2270 78831 190335 | 26277 0 nan | 0.000 % | 81.99/82.11 c =============================================================================== 81.99/82.11 c core #538 81.99/82.11 c Core size: 21 Core Weight: 1 Total Weight: -462 81.99/82.11 c Elapsed CPU time: 79.2859 s Remaining CPU time: 1720.71 s 82.09/82.26 c ============================[ Search Statistics ]============================== 82.09/82.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.09/82.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.09/82.26 c =============================================================================== 82.09/82.26 c | 0 | 2278 78832 190351 | 26277 0 nan | 0.000 % | 82.09/82.27 c =============================================================================== 82.09/82.27 c core #539 82.09/82.27 c Core size: 15 Core Weight: 1 Total Weight: -461 82.09/82.27 c Elapsed CPU time: 79.4499 s Remaining CPU time: 1720.55 s 82.29/82.43 c ============================[ Search Statistics ]============================== 82.29/82.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.29/82.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.29/82.43 c =============================================================================== 82.29/82.43 c | 0 | 2284 78833 190363 | 26277 0 nan | 0.000 % | 82.29/82.44 c =============================================================================== 82.29/82.44 c core #540 82.29/82.44 c Core size: 15 Core Weight: 1 Total Weight: -460 82.29/82.44 c Elapsed CPU time: 79.6109 s Remaining CPU time: 1720.39 s 82.39/82.59 c ============================[ Search Statistics ]============================== 82.39/82.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.39/82.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.39/82.59 c =============================================================================== 82.39/82.59 c | 0 | 2290 78834 190375 | 26278 0 nan | 0.000 % | 82.49/82.61 c =============================================================================== 82.49/82.61 c core #541 82.49/82.61 c Core size: 15 Core Weight: 1 Total Weight: -459 82.49/82.61 c Elapsed CPU time: 79.7719 s Remaining CPU time: 1720.23 s 82.58/82.76 c ============================[ Search Statistics ]============================== 82.58/82.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.58/82.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.58/82.76 c =============================================================================== 82.58/82.76 c | 0 | 2296 78835 190387 | 26278 0 nan | 0.000 % | 82.58/82.77 c =============================================================================== 82.58/82.77 c core #542 82.58/82.77 c Core size: 15 Core Weight: 1 Total Weight: -458 82.58/82.77 c Elapsed CPU time: 79.9348 s Remaining CPU time: 1720.07 s 82.79/82.93 c ============================[ Search Statistics ]============================== 82.79/82.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.79/82.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.79/82.93 c =============================================================================== 82.79/82.93 c | 0 | 2302 78836 190399 | 26278 0 nan | 0.000 % | 82.79/82.94 c =============================================================================== 82.79/82.94 c core #543 82.79/82.94 c Core size: 15 Core Weight: 1 Total Weight: -457 82.79/82.94 c Elapsed CPU time: 80.1018 s Remaining CPU time: 1719.9 s 82.98/83.11 c ============================[ Search Statistics ]============================== 82.98/83.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.98/83.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.98/83.11 c =============================================================================== 82.98/83.11 c | 0 | 2308 78837 190411 | 26279 0 nan | 0.000 % | 82.98/83.12 c =============================================================================== 82.98/83.12 c core #544 82.98/83.12 c Core size: 15 Core Weight: 1 Total Weight: -456 82.98/83.12 c Elapsed CPU time: 80.2698 s Remaining CPU time: 1719.73 s 83.08/83.27 c ============================[ Search Statistics ]============================== 83.08/83.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.08/83.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.08/83.27 c =============================================================================== 83.08/83.27 c | 0 | 2314 78838 190423 | 26279 0 nan | 0.000 % | 83.08/83.29 c =============================================================================== 83.08/83.29 c core #545 83.08/83.29 c Core size: 15 Core Weight: 1 Total Weight: -455 83.08/83.29 c Elapsed CPU time: 80.4338 s Remaining CPU time: 1719.57 s 83.28/83.44 c ============================[ Search Statistics ]============================== 83.28/83.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.28/83.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.28/83.44 c =============================================================================== 83.28/83.44 c | 0 | 2320 78839 190435 | 26279 0 nan | 0.000 % | 83.28/83.45 c =============================================================================== 83.28/83.45 c core #546 83.28/83.45 c Core size: 15 Core Weight: 1 Total Weight: -454 83.28/83.45 c Elapsed CPU time: 80.5927 s Remaining CPU time: 1719.41 s 83.49/83.61 c ============================[ Search Statistics ]============================== 83.49/83.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.49/83.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.49/83.61 c =============================================================================== 83.49/83.61 c | 0 | 2326 78840 190447 | 26280 0 nan | 0.000 % | 83.49/83.62 c =============================================================================== 83.49/83.62 c core #547 83.49/83.62 c Core size: 22 Core Weight: 1 Total Weight: -453 83.49/83.62 c Elapsed CPU time: 80.7547 s Remaining CPU time: 1719.25 s 83.58/83.78 c ============================[ Search Statistics ]============================== 83.58/83.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.58/83.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.58/83.78 c =============================================================================== 83.58/83.78 c | 0 | 2334 78841 190463 | 26280 0 nan | 0.000 % | 83.58/83.79 c =============================================================================== 83.58/83.79 c core #548 83.58/83.79 c Core size: 17 Core Weight: 1 Total Weight: -452 83.58/83.79 c Elapsed CPU time: 80.9147 s Remaining CPU time: 1719.09 s 83.79/83.94 c ============================[ Search Statistics ]============================== 83.79/83.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.79/83.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.79/83.94 c =============================================================================== 83.79/83.94 c | 0 | 2340 78842 190475 | 26280 0 nan | 0.000 % | 83.79/83.95 c =============================================================================== 83.79/83.95 c core #549 83.79/83.95 c Core size: 15 Core Weight: 1 Total Weight: -451 83.79/83.95 c Elapsed CPU time: 81.0777 s Remaining CPU time: 1718.92 s 83.98/84.11 c ============================[ Search Statistics ]============================== 83.98/84.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.98/84.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.98/84.11 c =============================================================================== 83.98/84.11 c | 0 | 2346 78843 190487 | 26281 0 nan | 0.000 % | 83.98/84.12 c =============================================================================== 83.98/84.12 c core #550 83.98/84.12 c Core size: 22 Core Weight: 1 Total Weight: -450 83.98/84.12 c Elapsed CPU time: 81.2377 s Remaining CPU time: 1718.76 s 84.08/84.27 c ============================[ Search Statistics ]============================== 84.08/84.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.08/84.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.08/84.27 c =============================================================================== 84.08/84.27 c | 0 | 2354 78844 190503 | 26281 0 nan | 0.000 % | 84.08/84.28 c =============================================================================== 84.08/84.29 c core #551 84.08/84.29 c Core size: 22 Core Weight: 1 Total Weight: -449 84.08/84.29 c Elapsed CPU time: 81.3956 s Remaining CPU time: 1718.6 s 84.29/84.44 c ============================[ Search Statistics ]============================== 84.29/84.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.29/84.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.29/84.44 c =============================================================================== 84.29/84.44 c | 0 | 2362 78845 190519 | 26281 0 nan | 0.000 % | 84.29/84.46 c =============================================================================== 84.29/84.46 c core #552 84.29/84.46 c Core size: 15 Core Weight: 1 Total Weight: -448 84.29/84.46 c Elapsed CPU time: 81.5586 s Remaining CPU time: 1718.44 s 84.49/84.61 c ============================[ Search Statistics ]============================== 84.49/84.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.49/84.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.49/84.61 c =============================================================================== 84.49/84.61 c | 0 | 2368 78846 190531 | 26282 0 nan | 0.000 % | 84.49/84.63 c =============================================================================== 84.49/84.63 c core #553 84.49/84.63 c Core size: 16 Core Weight: 1 Total Weight: -447 84.49/84.63 c Elapsed CPU time: 81.7196 s Remaining CPU time: 1718.28 s 84.59/84.78 c ============================[ Search Statistics ]============================== 84.59/84.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.59/84.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.59/84.78 c =============================================================================== 84.59/84.78 c | 0 | 2374 78847 190543 | 26282 0 nan | 0.000 % | 84.59/84.79 c =============================================================================== 84.59/84.79 c core #554 84.59/84.79 c Core size: 15 Core Weight: 1 Total Weight: -446 84.59/84.79 c Elapsed CPU time: 81.8816 s Remaining CPU time: 1718.12 s 84.79/84.95 c ============================[ Search Statistics ]============================== 84.79/84.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.79/84.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.79/84.95 c =============================================================================== 84.79/84.95 c | 0 | 2380 78848 190555 | 26282 0 nan | 0.000 % | 84.79/84.96 c =============================================================================== 84.79/84.96 c core #555 84.79/84.96 c Core size: 15 Core Weight: 1 Total Weight: -445 84.79/84.96 c Elapsed CPU time: 82.0425 s Remaining CPU time: 1717.96 s 84.98/85.11 c ============================[ Search Statistics ]============================== 84.98/85.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.98/85.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.98/85.11 c =============================================================================== 84.98/85.11 c | 0 | 2386 78849 190567 | 26283 0 nan | 0.000 % | 84.98/85.12 c =============================================================================== 84.98/85.13 c core #556 84.98/85.13 c Core size: 15 Core Weight: 1 Total Weight: -444 84.98/85.13 c Elapsed CPU time: 82.2015 s Remaining CPU time: 1717.8 s 85.09/85.28 c ============================[ Search Statistics ]============================== 85.09/85.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.09/85.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.09/85.28 c =============================================================================== 85.09/85.28 c | 0 | 2392 78850 190579 | 26283 0 nan | 0.000 % | 85.09/85.29 c =============================================================================== 85.09/85.29 c core #557 85.09/85.29 c Core size: 15 Core Weight: 1 Total Weight: -443 85.09/85.29 c Elapsed CPU time: 82.3635 s Remaining CPU time: 1717.64 s 85.29/85.45 c ============================[ Search Statistics ]============================== 85.29/85.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.29/85.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.29/85.45 c =============================================================================== 85.29/85.45 c | 0 | 2398 78851 190591 | 26283 0 nan | 0.000 % | 85.29/85.46 c =============================================================================== 85.29/85.46 c core #558 85.29/85.46 c Core size: 15 Core Weight: 1 Total Weight: -442 85.29/85.46 c Elapsed CPU time: 82.5205 s Remaining CPU time: 1717.48 s 85.49/85.61 c ============================[ Search Statistics ]============================== 85.49/85.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.49/85.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.49/85.61 c =============================================================================== 85.49/85.61 c | 0 | 2404 78852 190603 | 26284 0 nan | 0.000 % | 85.49/85.62 c =============================================================================== 85.49/85.63 c core #559 85.49/85.63 c Core size: 15 Core Weight: 1 Total Weight: -441 85.49/85.63 c Elapsed CPU time: 82.6774 s Remaining CPU time: 1717.32 s 85.59/85.78 c ============================[ Search Statistics ]============================== 85.59/85.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.59/85.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.59/85.78 c =============================================================================== 85.59/85.78 c | 0 | 2410 78853 190615 | 26284 0 nan | 0.000 % | 85.59/85.79 c =============================================================================== 85.59/85.79 c core #560 85.59/85.79 c Core size: 27 Core Weight: 1 Total Weight: -440 85.59/85.79 c Elapsed CPU time: 82.8404 s Remaining CPU time: 1717.16 s 85.78/85.95 c ============================[ Search Statistics ]============================== 85.78/85.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.78/85.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.78/85.95 c =============================================================================== 85.78/85.95 c | 0 | 2420 78854 190635 | 26284 0 nan | 0.000 % | 85.78/85.96 c =============================================================================== 85.78/85.96 c core #561 85.78/85.96 c Core size: 15 Core Weight: 1 Total Weight: -439 85.78/85.96 c Elapsed CPU time: 82.9984 s Remaining CPU time: 1717 s 85.98/86.11 c ============================[ Search Statistics ]============================== 85.98/86.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.98/86.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.98/86.11 c =============================================================================== 85.98/86.11 c | 0 | 2426 78855 190647 | 26285 0 nan | 0.000 % | 85.98/86.12 c =============================================================================== 85.98/86.13 c core #562 85.98/86.13 c Core size: 17 Core Weight: 1 Total Weight: -438 85.98/86.13 c Elapsed CPU time: 83.1614 s Remaining CPU time: 1716.84 s 86.07/86.28 c ============================[ Search Statistics ]============================== 86.07/86.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.07/86.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.07/86.28 c =============================================================================== 86.07/86.28 c | 0 | 2432 78856 190659 | 26285 0 nan | 0.000 % | 86.07/86.29 c =============================================================================== 86.07/86.29 c core #563 86.07/86.29 c Core size: 21 Core Weight: 1 Total Weight: -437 86.07/86.29 c Elapsed CPU time: 83.3223 s Remaining CPU time: 1716.68 s 86.28/86.45 c ============================[ Search Statistics ]============================== 86.28/86.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.28/86.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.28/86.45 c =============================================================================== 86.28/86.45 c | 0 | 2440 78857 190675 | 26285 0 nan | 0.000 % | 86.28/86.46 c =============================================================================== 86.28/86.46 c core #564 86.28/86.46 c Core size: 16 Core Weight: 1 Total Weight: -436 86.28/86.46 c Elapsed CPU time: 83.4803 s Remaining CPU time: 1716.52 s 86.48/86.61 c ============================[ Search Statistics ]============================== 86.48/86.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.48/86.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.48/86.61 c =============================================================================== 86.48/86.61 c | 0 | 2446 78858 190687 | 26286 0 nan | 0.000 % | 86.48/86.62 c =============================================================================== 86.48/86.62 c core #565 86.48/86.62 c Core size: 22 Core Weight: 1 Total Weight: -435 86.48/86.62 c Elapsed CPU time: 83.6403 s Remaining CPU time: 1716.36 s 86.57/86.78 c ============================[ Search Statistics ]============================== 86.57/86.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.57/86.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.57/86.78 c =============================================================================== 86.57/86.78 c | 0 | 2454 78859 190703 | 26286 0 nan | 0.000 % | 86.57/86.79 c =============================================================================== 86.57/86.79 c core #566 86.57/86.79 c Core size: 22 Core Weight: 1 Total Weight: -434 86.57/86.79 c Elapsed CPU time: 83.8013 s Remaining CPU time: 1716.2 s 86.78/86.94 c ============================[ Search Statistics ]============================== 86.78/86.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.78/86.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.78/86.94 c =============================================================================== 86.78/86.94 c | 0 | 2462 78860 190719 | 26286 0 nan | 0.000 % | 86.78/86.95 c =============================================================================== 86.78/86.96 c core #567 86.78/86.96 c Core size: 16 Core Weight: 1 Total Weight: -433 86.78/86.96 c Elapsed CPU time: 83.9612 s Remaining CPU time: 1716.04 s 86.98/87.11 c ============================[ Search Statistics ]============================== 86.98/87.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.98/87.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.98/87.11 c =============================================================================== 86.98/87.11 c | 0 | 2468 78861 190731 | 26287 0 nan | 0.000 % | 86.98/87.12 c =============================================================================== 86.98/87.12 c core #568 86.98/87.12 c Core size: 21 Core Weight: 1 Total Weight: -432 86.98/87.12 c Elapsed CPU time: 84.1252 s Remaining CPU time: 1715.87 s 87.07/87.28 c ============================[ Search Statistics ]============================== 87.07/87.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.07/87.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.07/87.28 c =============================================================================== 87.07/87.28 c | 0 | 2476 78862 190747 | 26287 0 nan | 0.000 % | 87.07/87.29 c =============================================================================== 87.07/87.29 c core #569 87.07/87.29 c Core size: 15 Core Weight: 1 Total Weight: -431 87.07/87.29 c Elapsed CPU time: 84.2862 s Remaining CPU time: 1715.71 s 87.28/87.44 c ============================[ Search Statistics ]============================== 87.28/87.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.28/87.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.28/87.44 c =============================================================================== 87.28/87.44 c | 0 | 2482 78863 190759 | 26287 0 nan | 0.000 % | 87.28/87.46 c =============================================================================== 87.28/87.46 c core #570 87.28/87.46 c Core size: 21 Core Weight: 1 Total Weight: -430 87.28/87.46 c Elapsed CPU time: 84.4502 s Remaining CPU time: 1715.55 s 87.48/87.61 c ============================[ Search Statistics ]============================== 87.48/87.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.48/87.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.48/87.61 c =============================================================================== 87.48/87.61 c | 0 | 2490 78864 190775 | 26288 0 nan | 0.000 % | 87.48/87.62 c =============================================================================== 87.48/87.63 c core #571 87.48/87.63 c Core size: 21 Core Weight: 1 Total Weight: -429 87.48/87.63 c Elapsed CPU time: 84.6081 s Remaining CPU time: 1715.39 s 87.57/87.78 c ============================[ Search Statistics ]============================== 87.57/87.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.57/87.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.57/87.78 c =============================================================================== 87.57/87.78 c | 0 | 2498 78865 190791 | 26288 0 nan | 0.000 % | 87.57/87.79 c =============================================================================== 87.57/87.79 c core #572 87.57/87.79 c Core size: 15 Core Weight: 1 Total Weight: -428 87.57/87.79 c Elapsed CPU time: 84.7671 s Remaining CPU time: 1715.23 s 87.78/87.95 c ============================[ Search Statistics ]============================== 87.78/87.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.78/87.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.78/87.95 c =============================================================================== 87.78/87.95 c | 0 | 2504 78866 190803 | 26288 0 nan | 0.000 % | 87.78/87.97 c =============================================================================== 87.78/87.97 c core #573 87.78/87.97 c Core size: 15 Core Weight: 1 Total Weight: -427 87.78/87.97 c Elapsed CPU time: 84.9371 s Remaining CPU time: 1715.06 s 87.98/88.12 c ============================[ Search Statistics ]============================== 87.98/88.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.98/88.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.98/88.12 c =============================================================================== 87.98/88.12 c | 0 | 2510 78867 190815 | 26289 0 nan | 0.000 % | 87.98/88.13 c =============================================================================== 87.98/88.13 c core #574 87.98/88.13 c Core size: 21 Core Weight: 1 Total Weight: -426 87.98/88.13 c Elapsed CPU time: 85.0921 s Remaining CPU time: 1714.91 s 88.07/88.28 c ============================[ Search Statistics ]============================== 88.07/88.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.07/88.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.07/88.28 c =============================================================================== 88.07/88.28 c | 0 | 2518 78868 190831 | 26289 0 nan | 0.000 % | 88.07/88.30 c =============================================================================== 88.07/88.30 c core #575 88.07/88.30 c Core size: 15 Core Weight: 1 Total Weight: -425 88.07/88.30 c Elapsed CPU time: 85.251 s Remaining CPU time: 1714.75 s 88.27/88.45 c ============================[ Search Statistics ]============================== 88.27/88.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.27/88.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.27/88.45 c =============================================================================== 88.27/88.45 c | 0 | 2524 78869 190843 | 26289 0 nan | 0.000 % | 88.27/88.46 c =============================================================================== 88.27/88.46 c core #576 88.27/88.46 c Core size: 21 Core Weight: 1 Total Weight: -424 88.27/88.46 c Elapsed CPU time: 85.41 s Remaining CPU time: 1714.59 s 88.47/88.62 c ============================[ Search Statistics ]============================== 88.47/88.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.47/88.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.47/88.62 c =============================================================================== 88.47/88.62 c | 0 | 2532 78870 190859 | 26290 0 nan | 0.000 % | 88.47/88.63 c =============================================================================== 88.47/88.63 c core #577 88.47/88.63 c Core size: 21 Core Weight: 1 Total Weight: -423 88.47/88.63 c Elapsed CPU time: 85.572 s Remaining CPU time: 1714.43 s 88.57/88.78 c ============================[ Search Statistics ]============================== 88.57/88.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.57/88.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.57/88.78 c =============================================================================== 88.57/88.78 c | 0 | 2540 78871 190875 | 26290 0 nan | 0.000 % | 88.57/88.79 c =============================================================================== 88.57/88.79 c core #578 88.57/88.79 c Core size: 22 Core Weight: 1 Total Weight: -422 88.57/88.79 c Elapsed CPU time: 85.733 s Remaining CPU time: 1714.27 s 88.77/88.95 c ============================[ Search Statistics ]============================== 88.77/88.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.77/88.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.77/88.95 c =============================================================================== 88.77/88.95 c | 0 | 2548 78872 190891 | 26290 0 nan | 0.000 % | 88.77/88.96 c =============================================================================== 88.77/88.96 c core #579 88.77/88.96 c Core size: 27 Core Weight: 1 Total Weight: -421 88.77/88.96 c Elapsed CPU time: 85.8969 s Remaining CPU time: 1714.1 s 88.97/89.11 c ============================[ Search Statistics ]============================== 88.97/89.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.97/89.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.97/89.11 c =============================================================================== 88.97/89.11 c | 0 | 2558 78873 190911 | 26291 0 nan | 0.000 % | 88.97/89.13 c =============================================================================== 88.97/89.13 c core #580 88.97/89.13 c Core size: 27 Core Weight: 1 Total Weight: -420 88.97/89.13 c Elapsed CPU time: 86.0549 s Remaining CPU time: 1713.95 s 89.06/89.28 c ============================[ Search Statistics ]============================== 89.06/89.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.06/89.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.06/89.28 c =============================================================================== 89.06/89.28 c | 0 | 2568 78874 190931 | 26291 0 nan | 0.000 % | 89.06/89.29 c =============================================================================== 89.06/89.29 c core #581 89.06/89.29 c Core size: 22 Core Weight: 1 Total Weight: -419 89.06/89.29 c Elapsed CPU time: 86.2139 s Remaining CPU time: 1713.79 s 89.27/89.45 c ============================[ Search Statistics ]============================== 89.27/89.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.27/89.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.27/89.45 c =============================================================================== 89.27/89.45 c | 0 | 2576 78875 190947 | 26291 0 nan | 0.000 % | 89.27/89.46 c =============================================================================== 89.27/89.46 c core #582 89.27/89.46 c Core size: 21 Core Weight: 1 Total Weight: -418 89.27/89.46 c Elapsed CPU time: 86.3739 s Remaining CPU time: 1713.63 s 89.47/89.62 c ============================[ Search Statistics ]============================== 89.47/89.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.47/89.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.47/89.62 c =============================================================================== 89.47/89.62 c | 0 | 2584 78876 190963 | 26292 0 nan | 0.000 % | 89.47/89.63 c =============================================================================== 89.47/89.63 c core #583 89.47/89.63 c Core size: 22 Core Weight: 1 Total Weight: -417 89.47/89.63 c Elapsed CPU time: 86.5368 s Remaining CPU time: 1713.46 s 89.56/89.78 c ============================[ Search Statistics ]============================== 89.56/89.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.56/89.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.56/89.78 c =============================================================================== 89.56/89.78 c | 0 | 2592 78877 190979 | 26292 0 nan | 0.000 % | 89.56/89.79 c =============================================================================== 89.66/89.80 c core #584 89.66/89.80 c Core size: 22 Core Weight: 1 Total Weight: -416 89.66/89.80 c Elapsed CPU time: 86.6968 s Remaining CPU time: 1713.3 s 89.77/89.95 c ============================[ Search Statistics ]============================== 89.77/89.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.77/89.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.77/89.95 c =============================================================================== 89.77/89.95 c | 0 | 2600 78878 190995 | 26292 0 nan | 0.000 % | 89.77/89.96 c =============================================================================== 89.77/89.96 c core #585 89.77/89.96 c Core size: 16 Core Weight: 1 Total Weight: -415 89.77/89.96 c Elapsed CPU time: 86.8598 s Remaining CPU time: 1713.14 s 89.97/90.12 c ============================[ Search Statistics ]============================== 89.97/90.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.97/90.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.97/90.12 c =============================================================================== 89.97/90.12 c | 0 | 2606 78879 191007 | 26293 0 nan | 0.000 % | 89.97/90.13 c =============================================================================== 89.97/90.13 c core #586 89.97/90.13 c Core size: 27 Core Weight: 1 Total Weight: -414 89.97/90.13 c Elapsed CPU time: 87.0198 s Remaining CPU time: 1712.98 s 90.07/90.28 c ============================[ Search Statistics ]============================== 90.07/90.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.07/90.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.07/90.28 c =============================================================================== 90.07/90.28 c | 0 | 2616 78880 191027 | 26293 0 nan | 0.000 % | 90.07/90.29 c =============================================================================== 90.07/90.30 c core #587 90.07/90.30 c Core size: 22 Core Weight: 1 Total Weight: -413 90.07/90.30 c Elapsed CPU time: 87.1777 s Remaining CPU time: 1712.82 s 90.26/90.45 c ============================[ Search Statistics ]============================== 90.26/90.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.26/90.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.26/90.45 c =============================================================================== 90.26/90.45 c | 0 | 2624 78881 191043 | 26293 0 nan | 0.000 % | 90.26/90.46 c =============================================================================== 90.26/90.46 c core #588 90.26/90.46 c Core size: 27 Core Weight: 1 Total Weight: -412 90.26/90.46 c Elapsed CPU time: 87.3357 s Remaining CPU time: 1712.66 s 90.47/90.61 c ============================[ Search Statistics ]============================== 90.47/90.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.47/90.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.47/90.61 c =============================================================================== 90.47/90.61 c | 0 | 2634 78882 191063 | 26294 0 nan | 0.000 % | 90.47/90.62 c =============================================================================== 90.47/90.62 c core #589 90.47/90.62 c Core size: 21 Core Weight: 1 Total Weight: -411 90.47/90.62 c Elapsed CPU time: 87.4967 s Remaining CPU time: 1712.5 s 90.56/90.78 c ============================[ Search Statistics ]============================== 90.56/90.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.56/90.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.56/90.78 c =============================================================================== 90.56/90.78 c | 0 | 2642 78883 191079 | 26294 0 nan | 0.000 % | 90.56/90.79 c =============================================================================== 90.56/90.79 c core #590 90.56/90.79 c Core size: 21 Core Weight: 1 Total Weight: -410 90.56/90.79 c Elapsed CPU time: 87.6557 s Remaining CPU time: 1712.34 s 90.76/90.95 c ============================[ Search Statistics ]============================== 90.76/90.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.76/90.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.76/90.95 c =============================================================================== 90.76/90.95 c | 0 | 2650 78884 191095 | 26294 0 nan | 0.000 % | 90.76/90.96 c =============================================================================== 90.76/90.96 c core #591 90.76/90.96 c Core size: 17 Core Weight: 1 Total Weight: -409 90.76/90.96 c Elapsed CPU time: 87.8176 s Remaining CPU time: 1712.18 s 90.97/91.11 c ============================[ Search Statistics ]============================== 90.97/91.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.97/91.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.97/91.12 c =============================================================================== 90.97/91.12 c | 0 | 2656 78885 191107 | 26295 0 nan | 0.000 % | 90.97/91.13 c =============================================================================== 90.97/91.13 c core #592 90.97/91.13 c Core size: 26 Core Weight: 1 Total Weight: -408 90.97/91.13 c Elapsed CPU time: 87.9806 s Remaining CPU time: 1712.02 s 91.06/91.29 c ============================[ Search Statistics ]============================== 91.06/91.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.06/91.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.06/91.29 c =============================================================================== 91.06/91.29 c | 0 | 2666 78886 191127 | 26295 0 nan | 0.000 % | 91.06/91.30 c =============================================================================== 91.06/91.30 c core #593 91.06/91.30 c Core size: 15 Core Weight: 1 Total Weight: -407 91.06/91.30 c Elapsed CPU time: 88.1426 s Remaining CPU time: 1711.86 s 91.26/91.45 c ============================[ Search Statistics ]============================== 91.26/91.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.26/91.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.26/91.45 c =============================================================================== 91.26/91.45 c | 0 | 2672 78887 191139 | 26295 0 nan | 0.000 % | 91.26/91.46 c =============================================================================== 91.26/91.46 c core #594 91.26/91.46 c Core size: 26 Core Weight: 1 Total Weight: -406 91.26/91.46 c Elapsed CPU time: 88.3036 s Remaining CPU time: 1711.7 s 91.46/91.63 c ============================[ Search Statistics ]============================== 91.46/91.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.46/91.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.46/91.63 c =============================================================================== 91.46/91.63 c | 0 | 2682 78888 191159 | 26296 0 nan | 0.000 % | 91.46/91.64 c =============================================================================== 91.46/91.64 c core #595 91.46/91.64 c Core size: 27 Core Weight: 1 Total Weight: -405 91.46/91.64 c Elapsed CPU time: 88.4706 s Remaining CPU time: 1711.53 s 91.56/91.79 c ============================[ Search Statistics ]============================== 91.56/91.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.56/91.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.56/91.79 c =============================================================================== 91.56/91.79 c | 0 | 2692 78889 191179 | 26296 0 nan | 0.000 % | 91.66/91.80 c =============================================================================== 91.66/91.80 c core #596 91.66/91.80 c Core size: 22 Core Weight: 1 Total Weight: -404 91.66/91.80 c Elapsed CPU time: 88.6305 s Remaining CPU time: 1711.37 s 91.76/91.96 c ============================[ Search Statistics ]============================== 91.76/91.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.76/91.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.76/91.96 c =============================================================================== 91.76/91.96 c | 0 | 2700 78890 191195 | 26296 0 nan | 0.000 % | 91.76/91.97 c =============================================================================== 91.76/91.97 c core #597 91.76/91.97 c Core size: 27 Core Weight: 1 Total Weight: -403 91.76/91.97 c Elapsed CPU time: 88.7935 s Remaining CPU time: 1711.21 s 91.96/92.12 c ============================[ Search Statistics ]============================== 91.96/92.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.96/92.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.96/92.12 c =============================================================================== 91.96/92.12 c | 0 | 2710 78891 191215 | 26297 0 nan | 0.000 % | 91.96/92.13 c =============================================================================== 91.96/92.14 c core #598 91.96/92.14 c Core size: 22 Core Weight: 1 Total Weight: -402 91.96/92.14 c Elapsed CPU time: 88.9555 s Remaining CPU time: 1711.04 s 92.07/92.29 c ============================[ Search Statistics ]============================== 92.07/92.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.07/92.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.07/92.29 c =============================================================================== 92.07/92.29 c | 0 | 2718 78892 191231 | 26297 0 nan | 0.000 % | 92.17/92.30 c =============================================================================== 92.17/92.30 c core #599 92.17/92.30 c Core size: 27 Core Weight: 1 Total Weight: -401 92.17/92.30 c Elapsed CPU time: 89.1115 s Remaining CPU time: 1710.89 s 92.26/92.45 c ============================[ Search Statistics ]============================== 92.26/92.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.26/92.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.26/92.45 c =============================================================================== 92.26/92.45 c | 0 | 2728 78893 191251 | 26297 0 nan | 0.000 % | 92.26/92.46 c =============================================================================== 92.26/92.47 c core #600 92.26/92.47 c Core size: 15 Core Weight: 1 Total Weight: -400 92.26/92.47 c Elapsed CPU time: 89.2684 s Remaining CPU time: 1710.73 s 92.46/92.62 c ============================[ Search Statistics ]============================== 92.46/92.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.46/92.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.46/92.62 c =============================================================================== 92.46/92.62 c | 0 | 2734 78894 191263 | 26298 0 nan | 0.000 % | 92.46/92.63 c =============================================================================== 92.46/92.63 c core #601 92.46/92.63 c Core size: 22 Core Weight: 1 Total Weight: -399 92.46/92.63 c Elapsed CPU time: 89.4294 s Remaining CPU time: 1710.57 s 92.56/92.79 c ============================[ Search Statistics ]============================== 92.56/92.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.56/92.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.56/92.79 c =============================================================================== 92.56/92.79 c | 0 | 2742 78895 191279 | 26298 0 nan | 0.000 % | 92.66/92.80 c =============================================================================== 92.66/92.80 c core #602 92.66/92.80 c Core size: 17 Core Weight: 1 Total Weight: -398 92.66/92.80 c Elapsed CPU time: 89.5934 s Remaining CPU time: 1710.41 s 92.76/92.95 c ============================[ Search Statistics ]============================== 92.76/92.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.76/92.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.76/92.95 c =============================================================================== 92.76/92.95 c | 0 | 2748 78896 191291 | 26298 0 nan | 0.000 % | 92.76/92.96 c =============================================================================== 92.76/92.97 c core #603 92.76/92.97 c Core size: 22 Core Weight: 1 Total Weight: -397 92.76/92.97 c Elapsed CPU time: 89.7514 s Remaining CPU time: 1710.25 s 92.96/93.12 c ============================[ Search Statistics ]============================== 92.96/93.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.96/93.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.96/93.12 c =============================================================================== 92.96/93.12 c | 0 | 2756 78897 191307 | 26299 0 nan | 0.000 % | 92.96/93.13 c =============================================================================== 92.96/93.13 c core #604 92.96/93.13 c Core size: 22 Core Weight: 1 Total Weight: -396 92.96/93.13 c Elapsed CPU time: 89.9093 s Remaining CPU time: 1710.09 s 93.06/93.28 c ============================[ Search Statistics ]============================== 93.06/93.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.06/93.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.06/93.28 c =============================================================================== 93.06/93.28 c | 0 | 2764 78898 191323 | 26299 0 nan | 0.000 % | 93.06/93.29 c =============================================================================== 93.06/93.30 c core #605 93.06/93.30 c Core size: 22 Core Weight: 1 Total Weight: -395 93.06/93.30 c Elapsed CPU time: 90.0693 s Remaining CPU time: 1709.93 s 93.26/93.45 c ============================[ Search Statistics ]============================== 93.26/93.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.26/93.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.26/93.45 c =============================================================================== 93.26/93.45 c | 0 | 2772 78899 191339 | 26299 0 nan | 0.000 % | 93.26/93.46 c =============================================================================== 93.26/93.46 c core #606 93.26/93.46 c Core size: 27 Core Weight: 1 Total Weight: -394 93.26/93.46 c Elapsed CPU time: 90.2293 s Remaining CPU time: 1709.77 s 93.45/93.62 c ============================[ Search Statistics ]============================== 93.45/93.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.45/93.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.45/93.62 c =============================================================================== 93.45/93.62 c | 0 | 2782 78900 191359 | 26300 0 nan | 0.000 % | 93.45/93.63 c =============================================================================== 93.45/93.63 c core #607 93.45/93.63 c Core size: 26 Core Weight: 1 Total Weight: -393 93.45/93.63 c Elapsed CPU time: 90.3883 s Remaining CPU time: 1709.61 s 93.56/93.78 c ============================[ Search Statistics ]============================== 93.56/93.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.56/93.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.56/93.78 c =============================================================================== 93.56/93.78 c | 0 | 2792 78901 191379 | 26300 0 nan | 0.000 % | 93.56/93.80 c =============================================================================== 93.56/93.80 c core #608 93.56/93.80 c Core size: 26 Core Weight: 1 Total Weight: -392 93.56/93.80 c Elapsed CPU time: 90.5502 s Remaining CPU time: 1709.45 s 93.76/93.95 c ============================[ Search Statistics ]============================== 93.76/93.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.76/93.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.76/93.95 c =============================================================================== 93.76/93.95 c | 0 | 2802 78902 191399 | 26300 0 nan | 0.000 % | 93.76/93.96 c =============================================================================== 93.76/93.96 c core #609 93.76/93.96 c Core size: 21 Core Weight: 1 Total Weight: -391 93.76/93.96 c Elapsed CPU time: 90.7112 s Remaining CPU time: 1709.29 s 93.96/94.11 c ============================[ Search Statistics ]============================== 93.96/94.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.96/94.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.96/94.11 c =============================================================================== 93.96/94.11 c | 0 | 2810 78903 191415 | 26301 0 nan | 0.000 % | 93.96/94.12 c =============================================================================== 93.96/94.13 c core #610 93.96/94.13 c Core size: 20 Core Weight: 1 Total Weight: -390 93.96/94.13 c Elapsed CPU time: 90.8722 s Remaining CPU time: 1709.13 s 94.06/94.28 c ============================[ Search Statistics ]============================== 94.06/94.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.06/94.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.06/94.28 c =============================================================================== 94.06/94.28 c | 0 | 2818 78904 191431 | 26301 0 nan | 0.000 % | 94.06/94.29 c =============================================================================== 94.06/94.29 c core #611 94.06/94.29 c Core size: 21 Core Weight: 1 Total Weight: -389 94.06/94.29 c Elapsed CPU time: 91.0282 s Remaining CPU time: 1708.97 s 94.25/94.44 c ============================[ Search Statistics ]============================== 94.25/94.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.25/94.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.25/94.44 c =============================================================================== 94.25/94.44 c | 0 | 2826 78905 191447 | 26301 0 nan | 0.000 % | 94.25/94.46 c =============================================================================== 94.25/94.46 c core #612 94.25/94.46 c Core size: 32 Core Weight: 1 Total Weight: -388 94.25/94.46 c Elapsed CPU time: 91.1871 s Remaining CPU time: 1708.81 s 94.46/94.61 c ============================[ Search Statistics ]============================== 94.46/94.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.46/94.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.46/94.61 c =============================================================================== 94.46/94.61 c | 0 | 2838 78906 191471 | 26302 0 nan | 0.000 % | 94.46/94.62 c =============================================================================== 94.46/94.62 c core #613 94.46/94.62 c Core size: 32 Core Weight: 1 Total Weight: -387 94.46/94.62 c Elapsed CPU time: 91.3471 s Remaining CPU time: 1708.65 s 94.55/94.78 c ============================[ Search Statistics ]============================== 94.55/94.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.55/94.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.55/94.78 c =============================================================================== 94.55/94.78 c | 0 | 2850 78907 191495 | 26302 0 nan | 0.000 % | 94.55/94.79 c =============================================================================== 94.55/94.79 c core #614 94.55/94.79 c Core size: 27 Core Weight: 1 Total Weight: -386 94.55/94.79 c Elapsed CPU time: 91.5031 s Remaining CPU time: 1708.5 s 94.75/94.94 c ============================[ Search Statistics ]============================== 94.75/94.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.75/94.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.75/94.94 c =============================================================================== 94.75/94.94 c | 0 | 2860 78908 191515 | 26302 0 nan | 0.000 % | 94.75/94.96 c =============================================================================== 94.75/94.96 c core #615 94.75/94.96 c Core size: 31 Core Weight: 1 Total Weight: -385 94.75/94.96 c Elapsed CPU time: 91.6651 s Remaining CPU time: 1708.33 s 94.95/95.11 c ============================[ Search Statistics ]============================== 94.95/95.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.95/95.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.95/95.11 c =============================================================================== 94.95/95.11 c | 0 | 2872 78909 191539 | 26303 0 nan | 0.000 % | 94.95/95.13 c =============================================================================== 94.95/95.13 c core #616 94.95/95.13 c Core size: 61 Core Weight: 1 Total Weight: -384 94.95/95.13 c Elapsed CPU time: 91.834 s Remaining CPU time: 1708.17 s 95.05/95.28 c ============================[ Search Statistics ]============================== 95.05/95.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.05/95.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.05/95.28 c =============================================================================== 95.05/95.28 c | 0 | 2895 78910 191585 | 26303 0 nan | 0.000 % | 95.05/95.30 c =============================================================================== 95.05/95.30 c core #617 95.05/95.30 c Core size: 27 Core Weight: 1 Total Weight: -383 95.05/95.30 c Elapsed CPU time: 91.999 s Remaining CPU time: 1708 s 95.25/95.45 c ============================[ Search Statistics ]============================== 95.25/95.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.25/95.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.25/95.45 c =============================================================================== 95.25/95.45 c | 0 | 2905 78911 191605 | 26303 0 nan | 0.000 % | 95.25/95.46 c =============================================================================== 95.25/95.46 c core #618 95.25/95.46 c Core size: 30 Core Weight: 1 Total Weight: -382 95.25/95.46 c Elapsed CPU time: 92.16 s Remaining CPU time: 1707.84 s 95.46/95.62 c ============================[ Search Statistics ]============================== 95.46/95.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.46/95.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.46/95.62 c =============================================================================== 95.46/95.62 c | 0 | 2916 78912 191627 | 26304 0 nan | 0.000 % | 95.46/95.63 c =============================================================================== 95.46/95.63 c core #619 95.46/95.63 c Core size: 22 Core Weight: 1 Total Weight: -381 95.46/95.63 c Elapsed CPU time: 92.324 s Remaining CPU time: 1707.68 s 95.55/95.79 c ============================[ Search Statistics ]============================== 95.55/95.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.55/95.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.55/95.79 c =============================================================================== 95.55/95.79 c | 0 | 2924 78913 191643 | 26304 0 nan | 0.000 % | 95.65/95.80 c =============================================================================== 95.65/95.80 c core #620 95.65/95.80 c Core size: 31 Core Weight: 1 Total Weight: -380 95.65/95.80 c Elapsed CPU time: 92.4909 s Remaining CPU time: 1707.51 s 95.75/95.96 c ============================[ Search Statistics ]============================== 95.75/95.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.75/95.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.75/95.96 c =============================================================================== 95.75/95.96 c | 0 | 2936 78914 191667 | 26304 0 nan | 0.000 % | 95.75/95.98 c =============================================================================== 95.75/95.98 c core #621 95.75/95.98 c Core size: 38 Core Weight: 1 Total Weight: -379 95.75/95.98 c Elapsed CPU time: 92.6549 s Remaining CPU time: 1707.35 s 95.95/96.14 c ============================[ Search Statistics ]============================== 95.95/96.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.95/96.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.95/96.14 c =============================================================================== 95.95/96.14 c | 0 | 2950 78915 191695 | 26305 0 nan | 0.000 % | 95.95/96.15 c =============================================================================== 95.95/96.15 c core #622 95.95/96.15 c Core size: 26 Core Weight: 1 Total Weight: -378 95.95/96.15 c Elapsed CPU time: 92.8229 s Remaining CPU time: 1707.18 s 96.15/96.30 c ============================[ Search Statistics ]============================== 96.15/96.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.15/96.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.15/96.30 c =============================================================================== 96.15/96.30 c | 0 | 2960 78916 191715 | 26305 0 nan | 0.000 % | 96.15/96.32 c =============================================================================== 96.15/96.32 c core #623 96.15/96.32 c Core size: 27 Core Weight: 1 Total Weight: -377 96.15/96.32 c Elapsed CPU time: 92.9809 s Remaining CPU time: 1707.02 s 96.24/96.47 c ============================[ Search Statistics ]============================== 96.24/96.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.24/96.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.24/96.47 c =============================================================================== 96.24/96.47 c | 0 | 2970 78917 191735 | 26305 0 nan | 0.000 % | 96.24/96.49 c =============================================================================== 96.24/96.49 c core #624 96.24/96.49 c Core size: 82 Core Weight: 1 Total Weight: -376 96.24/96.49 c Elapsed CPU time: 93.1458 s Remaining CPU time: 1706.85 s 96.45/96.64 c ============================[ Search Statistics ]============================== 96.45/96.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.45/96.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.45/96.64 c =============================================================================== 96.45/96.64 c | 0 | 2999 78918 191793 | 26306 0 nan | 0.000 % | 96.45/96.66 c =============================================================================== 96.45/96.66 c core #625 96.45/96.66 c Core size: 139 Core Weight: 1 Total Weight: -375 96.45/96.66 c Elapsed CPU time: 93.3168 s Remaining CPU time: 1706.68 s 96.65/96.82 c ============================[ Search Statistics ]============================== 96.65/96.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.65/96.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.65/96.82 c =============================================================================== 96.65/96.82 c | 0 | 3045 78919 191885 | 26306 0 nan | 0.000 % | 96.65/96.84 c =============================================================================== 96.65/96.84 c core #626 96.65/96.84 c Core size: 67 Core Weight: 1 Total Weight: -374 96.65/96.84 c Elapsed CPU time: 93.4888 s Remaining CPU time: 1706.51 s 96.75/96.99 c ============================[ Search Statistics ]============================== 96.75/96.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.75/96.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.75/96.99 c =============================================================================== 96.75/96.99 c | 0 | 3066 78920 191927 | 26306 0 nan | 0.000 % | 96.85/97.02 c | 105 | 3066 78920 191927 | 28937 105 24 | 92.469 % | 96.85/97.03 c | 256 | 3066 78920 191927 | 31831 256 36 | 92.469 % | 96.85/97.05 c | 481 | 3066 78920 191927 | 35014 481 58 | 92.469 % | 96.85/97.07 c =============================================================================== 96.85/97.08 c core #627 96.85/97.08 c Core size: 371 Core Weight: 1 Total Weight: -373 96.85/97.08 c Elapsed CPU time: 93.7198 s Remaining CPU time: 1706.28 s 97.05/97.24 c ============================[ Search Statistics ]============================== 97.05/97.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.05/97.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.05/97.24 c =============================================================================== 97.05/97.24 c | 0 | 3142 78921 192079 | 26307 0 nan | 0.000 % | 97.05/97.26 c =============================================================================== 97.05/97.26 c core #628 97.05/97.26 c Core size: 127 Core Weight: 1 Total Weight: -372 97.05/97.26 c Elapsed CPU time: 93.8947 s Remaining CPU time: 1706.11 s 97.24/97.42 c ============================[ Search Statistics ]============================== 97.24/97.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.24/97.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.24/97.42 c =============================================================================== 97.24/97.42 c | 0 | 3177 78922 192149 | 26307 0 nan | 0.000 % | 97.24/97.43 c =============================================================================== 97.24/97.43 c core #629 97.24/97.43 c Core size: 105 Core Weight: 1 Total Weight: -371 97.24/97.43 c Elapsed CPU time: 94.0627 s Remaining CPU time: 1705.94 s 97.34/97.59 c ============================[ Search Statistics ]============================== 97.34/97.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.34/97.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.34/97.59 c =============================================================================== 97.34/97.59 c | 0 | 3211 78923 192217 | 26307 0 nan | 0.000 % | 97.45/97.61 c | 101 | 3211 78923 192217 | 28938 101 36 | 92.141 % | 97.45/97.62 c | 253 | 3211 78923 192217 | 31832 253 27 | 92.141 % | 97.45/97.64 c | 478 | 3211 78923 192217 | 35015 478 37 | 92.141 % | 97.45/97.67 c | 815 | 3211 78923 192217 | 38517 815 46 | 92.141 % | 97.54/97.72 c =============================================================================== 97.54/97.73 c core #630 97.54/97.73 c Core size: 526 Core Weight: 1 Total Weight: -370 97.54/97.73 c Elapsed CPU time: 94.3507 s Remaining CPU time: 1705.65 s 97.65/97.89 c ============================[ Search Statistics ]============================== 97.65/97.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.65/97.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.65/97.89 c =============================================================================== 97.65/97.89 c | 0 | 3322 78924 192439 | 26308 0 nan | 0.000 % | 97.75/97.91 c | 102 | 3322 78924 192439 | 28938 102 20 | 91.891 % | 97.75/97.92 c | 253 | 3322 78924 192439 | 31832 253 24 | 91.891 % | 97.75/97.93 c =============================================================================== 97.75/97.94 c core #631 97.75/97.94 c Core size: 254 Core Weight: 1 Total Weight: -369 97.75/97.94 c Elapsed CPU time: 94.5446 s Remaining CPU time: 1705.46 s 97.84/98.09 c ============================[ Search Statistics ]============================== 97.84/98.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.84/98.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.84/98.09 c =============================================================================== 97.84/98.09 c | 0 | 3382 78925 192559 | 26308 0 nan | 0.000 % | 97.94/98.11 c | 100 | 3382 78925 192559 | 28939 100 36 | 91.757 % | 97.94/98.13 c | 250 | 3382 78925 192559 | 31833 250 41 | 91.757 % | 97.94/98.15 c | 475 | 3382 78925 192559 | 35016 475 50 | 91.757 % | 97.94/98.18 c | 815 | 3382 78925 192559 | 38518 815 56 | 91.757 % | 98.04/98.24 c | 1321 | 3382 78925 192559 | 42369 1321 61 | 91.757 % | 98.14/98.35 c | 2082 | 3381 78925 192559 | 46606 2005 73 | 91.759 % | 98.24/98.42 c =============================================================================== 98.24/98.44 c core #632 98.24/98.44 c Core size: 334 Core Weight: 1 Total Weight: -368 98.24/98.44 c Elapsed CPU time: 95.0446 s Remaining CPU time: 1704.96 s 98.44/98.61 c ============================[ Search Statistics ]============================== 98.44/98.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.44/98.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.44/98.61 c =============================================================================== 98.44/98.61 c | 0 | 3451 78926 192697 | 26308 0 nan | 0.000 % | 98.44/98.63 c | 101 | 3451 78926 192697 | 28939 101 10 | 91.603 % | 98.44/98.64 c =============================================================================== 98.44/98.64 c core #633 98.44/98.64 c Core size: 243 Core Weight: 1 Total Weight: -367 98.44/98.64 c Elapsed CPU time: 95.2315 s Remaining CPU time: 1704.77 s 98.54/98.80 c ============================[ Search Statistics ]============================== 98.54/98.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.54/98.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.54/98.80 c =============================================================================== 98.54/98.80 c | 0 | 3516 78927 192827 | 26309 0 nan | 0.000 % | 98.64/98.82 c | 100 | 3516 78927 192827 | 28939 100 35 | 91.458 % | 98.64/98.83 c | 250 | 3516 78927 192827 | 31833 250 26 | 91.458 % | 98.64/98.84 c =============================================================================== 98.64/98.84 c core #634 98.64/98.84 c Core size: 205 Core Weight: 1 Total Weight: -366 98.64/98.84 c Elapsed CPU time: 95.4225 s Remaining CPU time: 1704.58 s 98.74/99.00 c ============================[ Search Statistics ]============================== 98.74/99.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.74/99.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.74/99.00 c =============================================================================== 98.74/99.00 c | 0 | 3570 78928 192935 | 26309 0 nan | 0.000 % | 98.84/99.02 c | 100 | 3570 78928 192935 | 28940 100 46 | 91.339 % | 98.84/99.03 c | 251 | 3570 78928 192935 | 31834 251 42 | 91.339 % | 98.84/99.04 c | 482 | 3570 78928 192935 | 35017 482 45 | 91.339 % | 98.84/99.07 c | 820 | 3570 78928 192935 | 38519 820 52 | 91.339 % | 98.94/99.11 c | 1326 | 3569 78928 192935 | 42371 1326 51 | 91.346 % | 99.04/99.20 c | 2086 | 3567 78928 192935 | 46608 2086 56 | 91.346 % | 99.24/99.40 c | 3225 | 3557 78928 192935 | 51269 3215 69 | 91.567 % | 99.24/99.46 c =============================================================================== 99.24/99.48 c core #635 99.24/99.48 c Core size: 258 Core Weight: 1 Total Weight: -365 99.24/99.48 c Elapsed CPU time: 96.0494 s Remaining CPU time: 1703.95 s 99.44/99.64 c ============================[ Search Statistics ]============================== 99.44/99.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.44/99.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.44/99.64 c =============================================================================== 99.44/99.64 c | 0 | 3627 78929 193049 | 26309 0 nan | 0.000 % | 99.44/99.67 c | 100 | 3626 78929 193049 | 28940 100 13 | 91.217 % | 99.44/99.67 c =============================================================================== 99.44/99.67 c core #636 99.44/99.67 c Core size: 129 Core Weight: 1 Total Weight: -364 99.44/99.67 c Elapsed CPU time: 96.2344 s Remaining CPU time: 1703.77 s 99.63/99.82 c ============================[ Search Statistics ]============================== 99.63/99.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.63/99.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.63/99.82 c =============================================================================== 99.63/99.82 c | 0 | 3665 78930 193125 | 26310 0 nan | 0.000 % | 99.63/99.85 c | 100 | 3665 78930 193125 | 28941 100 72 | 91.128 % | 99.63/99.86 c | 251 | 3665 78930 193125 | 31835 251 43 | 91.128 % | 99.63/99.87 c | 478 | 3665 78930 193125 | 35018 478 35 | 91.128 % | 99.74/99.90 c | 815 | 3665 78930 193125 | 38520 815 44 | 91.128 % | 99.74/99.94 c | 1322 | 3665 78930 193125 | 42372 1322 55 | 91.128 % | 99.84/100.03 c | 2082 | 3665 78930 193125 | 46609 2082 65 | 91.128 % | 100.04/100.20 c | 3222 | 3661 78930 193125 | 51270 3219 78 | 91.138 % | 100.24/100.48 c | 4933 | 3659 78930 193125 | 56397 4930 89 | 91.143 % | 100.94/101.10 c | 7495 | 3646 78930 193125 | 62037 6975 99 | 91.380 % | 101.84/102.02 c =============================================================================== 101.94/102.10 c core #637 101.94/102.10 c Core size: 518 Core Weight: 1 Total Weight: -363 101.94/102.10 c Elapsed CPU time: 98.637 s Remaining CPU time: 1701.36 s 102.04/102.28 c ============================[ Search Statistics ]============================== 102.04/102.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.04/102.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.04/102.28 c =============================================================================== 102.04/102.28 c | 0 | 3778 78931 193351 | 26310 0 nan | 0.000 % | 102.14/102.31 c | 102 | 3778 78931 193351 | 28941 102 42 | 90.880 % | 102.14/102.32 c | 252 | 3778 78931 193351 | 31835 252 36 | 90.880 % | 102.14/102.34 c | 478 | 3778 78931 193351 | 35019 478 43 | 90.880 % | 102.14/102.37 c | 817 | 3778 78931 193351 | 38520 817 44 | 90.880 % | 102.14/102.38 c =============================================================================== 102.14/102.38 c core #638 102.14/102.38 c Core size: 146 Core Weight: 1 Total Weight: -362 102.14/102.38 c Elapsed CPU time: 98.892 s Remaining CPU time: 1701.11 s 102.34/102.54 c ============================[ Search Statistics ]============================== 102.34/102.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.34/102.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.34/102.54 c =============================================================================== 102.34/102.54 c | 0 | 3816 78932 193427 | 26310 0 nan | 0.000 % | 102.34/102.56 c | 102 | 3816 78932 193427 | 28941 102 19 | 90.797 % | 102.34/102.57 c | 254 | 3816 78932 193427 | 31835 254 27 | 90.797 % | 102.34/102.59 c | 479 | 3815 78932 193427 | 35019 479 33 | 90.799 % | 102.43/102.62 c | 817 | 3815 78932 193427 | 38521 817 39 | 90.799 % | 102.43/102.68 c | 1325 | 3815 78932 193427 | 42373 1325 51 | 90.799 % | 102.63/102.82 c | 2086 | 3815 78932 193427 | 46610 2083 83 | 90.799 % | 102.83/103.04 c | 3226 | 3815 78932 193427 | 51272 3223 89 | 90.799 % | 103.34/103.54 c | 4938 | 3815 78932 193427 | 56399 4935 106 | 90.799 % | 104.24/104.45 c | 7500 | 3815 78932 193427 | 62039 7497 127 | 90.799 % | 106.14/106.34 c =============================================================================== 106.24/106.48 c core #639 106.24/106.48 c Core size: 820 Core Weight: 1 Total Weight: -361 106.24/106.48 c Elapsed CPU time: 102.97 s Remaining CPU time: 1697.03 s 106.44/106.66 c ============================[ Search Statistics ]============================== 106.44/106.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.44/106.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.44/106.66 c =============================================================================== 106.44/106.66 c | 0 | 3969 78933 193733 | 26311 0 nan | 0.000 % | 106.44/106.68 c | 103 | 3969 78933 193733 | 28942 103 15 | 90.463 % | 106.44/106.69 c | 253 | 3969 78933 193733 | 31836 253 17 | 90.463 % | 106.54/106.71 c | 478 | 3969 78933 193733 | 35019 478 25 | 90.463 % | 106.54/106.75 c | 818 | 3967 78933 193733 | 38521 818 33 | 90.657 % | 106.54/106.77 c =============================================================================== 106.54/106.78 c core #640 106.54/106.78 c Core size: 607 Core Weight: 1 Total Weight: -360 106.54/106.78 c Elapsed CPU time: 103.252 s Remaining CPU time: 1696.75 s 106.73/106.94 c ============================[ Search Statistics ]============================== 106.73/106.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.73/106.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.73/106.94 c =============================================================================== 106.73/106.94 c | 0 | 4069 78934 193933 | 26311 0 nan | 0.000 % | 106.73/106.96 c | 103 | 4069 78934 193933 | 28942 103 27 | 90.246 % | 106.73/106.97 c | 255 | 4069 78934 193933 | 31836 255 27 | 90.246 % | 106.73/106.99 c | 480 | 4069 78934 193933 | 35020 480 30 | 90.246 % | 106.83/107.01 c | 817 | 4069 78934 193933 | 38522 817 33 | 90.246 % | 106.83/107.06 c | 1327 | 4069 78934 193933 | 42374 1327 35 | 90.246 % | 106.93/107.17 c | 2087 | 4057 78934 193933 | 46612 2086 62 | 90.440 % | 106.93/107.18 c =============================================================================== 106.93/107.19 c core #641 106.93/107.19 c Core size: 462 Core Weight: 1 Total Weight: -359 106.93/107.19 c Elapsed CPU time: 103.655 s Remaining CPU time: 1696.34 s 107.13/107.36 c ============================[ Search Statistics ]============================== 107.13/107.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.13/107.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.13/107.36 c =============================================================================== 107.13/107.36 c | 0 | 4149 78935 194093 | 26311 0 nan | 0.000 % | 107.13/107.38 c | 100 | 4149 78935 194093 | 28942 100 21 | 90.073 % | 107.13/107.39 c | 250 | 4149 78935 194093 | 31837 250 19 | 90.073 % | 107.23/107.40 c =============================================================================== 107.23/107.40 c core #642 107.23/107.40 c Core size: 285 Core Weight: 1 Total Weight: -358 107.23/107.40 c Elapsed CPU time: 103.865 s Remaining CPU time: 1696.13 s 107.33/107.56 c ============================[ Search Statistics ]============================== 107.33/107.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.33/107.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.33/107.56 c =============================================================================== 107.33/107.56 c | 0 | 4211 78936 194217 | 26312 0 nan | 0.000 % | 107.33/107.58 c | 101 | 4211 78936 194217 | 28943 101 16 | 89.940 % | 107.33/107.59 c | 251 | 4211 78936 194217 | 31837 251 15 | 89.940 % | 107.43/107.61 c | 478 | 4211 78936 194217 | 35021 478 17 | 89.940 % | 107.43/107.63 c | 816 | 4211 78936 194217 | 38523 816 16 | 89.940 % | 107.43/107.67 c | 1325 | 4211 78936 194217 | 42375 1325 22 | 89.940 % | 107.53/107.73 c =============================================================================== 107.53/107.74 c core #643 107.53/107.74 c Core size: 420 Core Weight: 1 Total Weight: -357 107.53/107.74 c Elapsed CPU time: 104.194 s Remaining CPU time: 1695.81 s 107.73/107.90 c ============================[ Search Statistics ]============================== 107.73/107.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.73/107.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.73/107.90 c =============================================================================== 107.73/107.90 c | 0 | 4290 78937 194375 | 26312 0 nan | 0.000 % | 107.73/107.93 c | 103 | 4290 78937 194375 | 28943 103 14 | 89.770 % | 107.73/107.94 c | 257 | 4290 78937 194375 | 31837 257 13 | 89.770 % | 107.73/107.95 c | 483 | 4290 78937 194375 | 35021 483 18 | 89.770 % | 107.73/107.99 c | 821 | 4290 78937 194375 | 38523 821 31 | 89.770 % | 107.83/108.06 c | 1330 | 4290 78937 194375 | 42376 1330 61 | 89.770 % | 107.93/108.19 c | 2091 | 4289 78937 194375 | 46613 2081 88 | 89.773 % | 108.23/108.46 c =============================================================================== 108.33/108.50 c core #644 108.33/108.50 c Core size: 784 Core Weight: 1 Total Weight: -356 108.33/108.50 c Elapsed CPU time: 104.947 s Remaining CPU time: 1695.05 s 108.43/108.67 c ============================[ Search Statistics ]============================== 108.43/108.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.43/108.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.43/108.67 c =============================================================================== 108.43/108.67 c | 0 | 4410 78938 194615 | 26312 0 nan | 0.000 % | 108.43/108.69 c | 102 | 4410 78938 194615 | 28943 102 69 | 89.514 % | 108.53/108.70 c | 258 | 4410 78938 194615 | 31838 258 38 | 89.514 % | 108.53/108.71 c | 483 | 4410 78938 194615 | 35022 483 36 | 89.514 % | 108.53/108.74 c | 823 | 4410 78938 194615 | 38524 823 42 | 89.514 % | 108.53/108.79 c | 1329 | 4409 78938 194615 | 42376 1329 58 | 89.517 % | 108.63/108.88 c | 2091 | 4409 78938 194615 | 46614 2088 61 | 89.517 % | 108.82/109.03 c | 3232 | 4409 78938 194615 | 51275 3229 71 | 89.517 % | 109.23/109.47 c | 4940 | 4407 78938 194615 | 56403 4936 100 | 89.521 % | 109.92/110.15 c | 7504 | 4406 78938 194615 | 62043 7500 110 | 89.524 % | 111.53/111.73 c | 11348 | 4406 78938 194615 | 68248 11251 143 | 89.524 % | 112.42/112.63 c =============================================================================== 112.52/112.77 c core #645 112.52/112.77 c Core size: 678 Core Weight: 1 Total Weight: -355 112.52/112.77 c Elapsed CPU time: 109.169 s Remaining CPU time: 1690.83 s 112.73/112.95 c ============================[ Search Statistics ]============================== 112.73/112.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.73/112.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.73/112.95 c =============================================================================== 112.73/112.95 c | 0 | 4523 78939 194841 | 26313 0 nan | 0.000 % | 112.73/112.98 c | 101 | 4523 78939 194841 | 28944 101 25 | 89.274 % | 112.73/112.99 c | 252 | 4523 78939 194841 | 31838 252 29 | 89.274 % | 112.83/113.00 c | 479 | 4523 78939 194841 | 35022 479 31 | 89.274 % | 112.83/113.04 c | 816 | 4523 78939 194841 | 38524 816 49 | 89.274 % | 112.83/113.09 c | 1322 | 4523 78939 194841 | 42377 1322 57 | 89.274 % | 113.03/113.20 c | 2081 | 4523 78939 194841 | 46615 2081 71 | 89.274 % | 113.22/113.44 c | 3221 | 4523 78939 194841 | 51276 3221 98 | 89.274 % | 113.63/113.86 c | 4930 | 4523 78939 194841 | 56404 4930 107 | 89.274 % | 114.72/114.96 c | 7492 | 4523 78939 194841 | 62044 7492 144 | 89.274 % | 116.02/116.20 c | 11338 | 4523 78939 194841 | 68249 11338 143 | 89.274 % | 117.43/117.69 c | 17104 | 4523 78939 194841 | 75074 17104 131 | 89.274 % | 122.22/122.42 c | 25753 | 4523 78939 194841 | 82581 25753 144 | 89.274 % | 131.72/131.94 c | 38727 | 4522 78939 194841 | 90839 38720 165 | 89.277 % | 153.12/153.39 c =============================================================================== 153.82/154.01 c core #646 153.82/154.01 c Core size: 1174 Core Weight: 1 Total Weight: -354 153.82/154.01 c Elapsed CPU time: 150.189 s Remaining CPU time: 1649.81 s 154.01/154.23 c ============================[ Search Statistics ]============================== 154.01/154.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 154.01/154.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 154.01/154.23 c =============================================================================== 154.01/154.23 c | 0 | 4692 78940 195179 | 26313 0 nan | 0.000 % | 154.01/154.26 c | 101 | 4692 78940 195179 | 28944 101 29 | 88.918 % | 154.01/154.27 c | 251 | 4692 78940 195179 | 31839 251 28 | 88.918 % | 154.01/154.29 c | 478 | 4692 78940 195179 | 35023 478 38 | 88.918 % | 154.11/154.32 c | 816 | 4692 78940 195179 | 38525 816 51 | 88.918 % | 154.11/154.38 c | 1322 | 4692 78940 195179 | 42377 1322 61 | 88.918 % | 154.22/154.49 c | 2081 | 4692 78940 195179 | 46615 2081 84 | 88.918 % | 154.41/154.68 c | 3220 | 4692 78940 195179 | 51277 3220 98 | 88.918 % | 154.92/155.19 c | 4928 | 4692 78940 195179 | 56404 4928 130 | 88.918 % | 156.11/156.31 c | 7491 | 4692 78940 195179 | 62045 7491 154 | 88.918 % | 157.91/158.13 c | 11337 | 4692 78940 195179 | 68250 11337 172 | 88.918 % | 162.90/163.10 c | 17105 | 4692 78940 195179 | 75075 17105 196 | 88.918 % | 175.20/175.41 c | 25754 | 4692 78940 195179 | 82582 25754 234 | 88.918 % | 197.80/198.05 c | 38728 | 4692 78940 195179 | 90840 38728 245 | 88.918 % | 213.10/213.34 c | 58189 | 4692 78940 195179 | 99924 58189 216 | 88.918 % | 258.46/258.78 c | 87382 | 4692 78940 195179 | 109917 87382 199 | 88.918 % | 371.53/371.82 c | 131174 | 4692 78940 195179 | 120909 131174 203 | 88.918 % |
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-1875330-1245198717/watcher-1875330-1245198717 -o /tmp/evaluation-result-1875330-1245198717/solver-1875330-1245198717 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875330-1245198717.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6665 /proc/meminfo: memFree=1860872/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=6036 CPUtime=0 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 5784108 6180864 268 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 1509 268 126 292 0 406 0 [startup+0.015797 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6665 /proc/meminfo: memFree=1860872/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=6988 CPUtime=0.01 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 520 0 0 0 1 0 0 0 18 0 1 0 5784108 7155712 504 1992294400 134512640 135709839 4294956240 18446744073709551615 135167061 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 1747 504 138 292 0 644 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6988 [startup+0.102803 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6665 /proc/meminfo: memFree=1860872/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=13140 CPUtime=0.09 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 1960 0 0 0 9 0 0 0 18 0 1 0 5784108 13455360 1911 1992294400 134512640 135709839 4294956240 18446744073709551615 135163540 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 3285 1911 236 292 0 2182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13140 [startup+0.302826 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6665 /proc/meminfo: memFree=1860872/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=16160 CPUtime=0.29 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 3141 0 0 0 28 1 0 0 19 0 1 0 5784108 16547840 3092 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 4040 3093 565 292 0 2937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16160 [startup+0.70186 s] /proc/loadavg: 1.00 0.97 0.98 3/65 6665 /proc/meminfo: memFree=1860872/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=28780 CPUtime=0.69 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 8156 0 0 0 66 3 0 0 23 0 1 0 5784108 29470720 6443 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 7195 6443 134 292 0 6900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28780 [startup+1.50193 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=1830016/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=44136 CPUtime=1.49 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 15038 0 0 0 144 5 0 0 25 0 1 0 5784108 45195264 10320 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 11034 10320 134 292 0 10739 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44136 [startup+3.10108 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=1808768/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=72556 CPUtime=3.09 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 27629 0 0 0 298 11 0 0 25 0 1 0 5784108 74297344 17406 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 18139 17406 134 292 0 17844 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72556 [startup+6.30138 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=1751680/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=125348 CPUtime=6.29 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 52519 0 0 0 608 21 0 0 25 0 1 0 5784108 128356352 30701 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 31337 30701 134 292 0 31042 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 125348 [startup+12.702 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=1638080/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=237792 CPUtime=12.69 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 103303 0 0 0 1227 42 0 0 25 0 1 0 5784108 243499008 58746 1992294400 134512640 135709839 4294956240 18446744073709551615 134605165 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 59448 58746 134 292 0 59153 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 237792 [startup+25.5022 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=1410944/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=457264 CPUtime=25.48 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 203226 0 0 0 2462 86 0 0 25 0 1 0 5784108 468238336 113597 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 114316 113597 134 292 0 114021 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 457264 [startup+51.1026 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=987264/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=885000 CPUtime=51.05 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 404705 0 0 0 4930 175 0 0 25 0 1 0 5784108 906240000 220554 1992294400 134512640 135709839 4294956240 18446744073709551615 134530568 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 221250 220555 134 292 0 220955 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 885000 [startup+102.305 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=230400/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1630104 CPUtime=102.14 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 752325 0 0 0 9882 332 0 0 25 0 1 0 5784108 1669226496 406950 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 407526 406950 136 292 0 407231 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 1630104 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=156992/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1703200 CPUtime=162.11 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 775141 0 0 0 15842 369 0 0 25 0 1 0 5784108 1744076800 425117 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 425800 425117 136 292 0 425505 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 1703200 [startup+222.303 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=146688/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1713436 CPUtime=222.1 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 777771 0 0 0 21826 384 0 0 25 0 1 0 5784108 1754558464 427747 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 428359 427747 136 292 0 428064 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 1713436 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=117312/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1743196 CPUtime=282.06 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 785148 0 0 0 27808 398 0 0 25 0 1 0 5784108 1785032704 435124 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 435799 435124 136 292 0 435504 0 Current children cumulated CPU time (s) 282.06 Current children cumulated vsize (KiB) 1743196 [startup+342.303 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=93824/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1766240 CPUtime=342.05 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 790931 0 0 0 33794 411 0 0 25 0 1 0 5784108 1808629760 440907 1992294400 134512640 135709839 4294956240 18446744073709551615 134573927 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 441560 440907 136 292 0 441265 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 1766240 [startup+402.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=74880/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1785568 CPUtime=402.02 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 795678 0 0 0 39780 422 0 0 25 0 1 0 5784108 1828421632 445654 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 446392 445654 136 292 0 446097 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 1785568 [startup+462.302 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=56832/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1803548 CPUtime=462 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 800163 0 0 0 45768 432 0 0 25 0 1 0 5784108 1846833152 450139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 450887 450139 136 292 0 450592 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 1803548 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+520.102 s] /proc/loadavg: 1.00 0.97 0.98 2/66 6666 /proc/meminfo: memFree=17024/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=1843216 CPUtime=519.79 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4194304 810078 0 0 0 51532 447 0 0 25 0 1 0 5784108 1887453184 460054 1992294400 134512640 135709839 4294956240 18446744073709551615 134600574 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 460804 460054 136 292 0 460509 0 Current children cumulated CPU time (s) 519.79 Current children cumulated vsize (KiB) 1843216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+520.206 s] /proc/loadavg: 1.00 0.97 0.98 2/67 6667 /proc/meminfo: memFree=701496/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=0 CPUtime=519.89 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4195332 810078 0 0 0 51532 457 0 0 25 0 1 0 5784108 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 519.89 Current children cumulated vsize (KiB) 0 [startup+520.306 s] /proc/loadavg: 1.00 0.97 0.98 2/67 6667 /proc/meminfo: memFree=701496/2055920 swapFree=4192956/4192956 [pid=6665] ppid=6663 vsize=0 CPUtime=519.99 /proc/6665/stat : 6665 (wbo) R 6663 6665 6090 0 -1 4195332 810078 0 0 0 51532 467 0 0 25 0 1 0 5784108 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/6665/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 519.99 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 520.372 CPU time (s): 520.07 CPU user time (s): 515.329 CPU system time (s): 4.74128 CPU usage (%): 99.9419 Max. virtual memory (cumulated for all children) (KiB): 1843216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 515.329 system time used= 4.74128 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 810078 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= 4539 runsolver used 0.580911 second user time and 1.11683 second system time The end
Begin job on node8 at 2009-06-17 02:31:57 IDJOB=1875330 IDBENCH=48170 IDSOLVER=698 FILE ID=node8/1875330-1245198717 PBS_JOBID= 9368320 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_3.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-1875330-1245198717/watcher-1875330-1245198717 -o /tmp/evaluation-result-1875330-1245198717/solver-1875330-1245198717 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875330-1245198717.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c RANDOM SEED=1962834926 node8.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.236 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.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1863728 kB Buffers: 46300 kB Cached: 100784 kB SwapCached: 0 kB Active: 103844 kB Inactive: 56972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863728 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3328 kB Writeback: 0 kB Mapped: 23496 kB Slab: 17136 kB Committed_AS: 80656 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875330-1245198717.opb Free space on /tmp at the end= 66284 MiB End job on node8 at 2009-06-17 02:40:41