| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 426.12 | 426.398 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_5.opb |
| MD5SUM | 80b55b230959185abe8760f01da7fec8 |
| 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 | -68 |
| Best CPU time to get the best result obtained on this benchmark | 1800.53 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -81 |
| 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 | 108 |
| 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) | 75288 |
| Sum of products size (including duplicates) | 150576 |
| Number of different products | 37644 |
| Sum of products size | 75288 |
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-1875382-1245204698.opb. 0.00/0.00 c Instance file HOME/instance-1875382-1245204698.opb 0.00/0.00 c File size is 3309222 bytes. 0.49/0.53 c Highest Coefficient sum: 108 0.49/0.53 c ============================[ Problem Statistics ]============================= 0.49/0.53 c | | 0.49/0.53 c | Parsing time: 0.51 s | 0.49/0.53 c | Number Variables: 38644 | 0.49/0.53 c | Number Clauses: 38644 | 0.49/0.53 c | Number Cardinality: 2000 | 0.49/0.53 c | Number PB Constraints: 37644 | 0.49/0.54 c core #1 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: -999 0.49/0.54 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.59/0.66 c core #2 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -998 0.59/0.66 c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s 0.69/0.79 c core #3 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -997 0.69/0.79 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.89/0.91 c core #4 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: -996 0.89/0.91 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 1.00/1.05 c core #5 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -995 1.00/1.05 c Elapsed CPU time: 0.994848 s Remaining CPU time: 1799.01 s 1.09/1.18 c core #6 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -994 1.09/1.18 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.29/1.33 c core #7 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: -993 1.29/1.33 c Elapsed CPU time: 1.26681 s Remaining CPU time: 1798.73 s 1.39/1.48 c core #8 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -992 1.39/1.48 c Elapsed CPU time: 1.41379 s Remaining CPU time: 1798.59 s 1.59/1.63 c core #9 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -991 1.59/1.63 c Elapsed CPU time: 1.55576 s Remaining CPU time: 1798.44 s 1.69/1.77 c core #10 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: -990 1.69/1.77 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.89/1.93 c core #11 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: -989 1.89/1.93 c Elapsed CPU time: 1.85372 s Remaining CPU time: 1798.15 s 1.99/2.08 c core #12 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -988 1.99/2.08 c Elapsed CPU time: 2.00069 s Remaining CPU time: 1798 s 2.19/2.24 c core #13 2.19/2.24 c Core size: 4 Core Weight: 1 Total Weight: -987 2.19/2.24 c Elapsed CPU time: 2.15467 s Remaining CPU time: 1797.85 s 2.29/2.39 c core #14 2.29/2.39 c Core size: 4 Core Weight: 1 Total Weight: -986 2.29/2.39 c Elapsed CPU time: 2.30065 s Remaining CPU time: 1797.7 s 2.49/2.55 c core #15 2.49/2.55 c Core size: 4 Core Weight: 1 Total Weight: -985 2.49/2.55 c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s 2.69/2.70 c core #16 2.69/2.70 c Core size: 4 Core Weight: 1 Total Weight: -984 2.69/2.70 c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s 2.79/2.85 c core #17 2.79/2.85 c Core size: 4 Core Weight: 1 Total Weight: -983 2.79/2.85 c Elapsed CPU time: 2.73758 s Remaining CPU time: 1797.26 s 2.99/3.00 c core #18 2.99/3.00 c Core size: 4 Core Weight: 1 Total Weight: -982 2.99/3.00 c Elapsed CPU time: 2.88056 s Remaining CPU time: 1797.12 s 3.09/3.15 c core #19 3.09/3.15 c Core size: 4 Core Weight: 1 Total Weight: -981 3.09/3.15 c Elapsed CPU time: 3.02554 s Remaining CPU time: 1796.97 s 3.29/3.30 c core #20 3.29/3.30 c Core size: 4 Core Weight: 1 Total Weight: -980 3.29/3.30 c Elapsed CPU time: 3.16652 s Remaining CPU time: 1796.83 s 3.39/3.45 c core #21 3.39/3.45 c Core size: 4 Core Weight: 1 Total Weight: -979 3.39/3.45 c Elapsed CPU time: 3.31549 s Remaining CPU time: 1796.68 s 3.59/3.61 c core #22 3.59/3.61 c Core size: 4 Core Weight: 1 Total Weight: -978 3.59/3.61 c Elapsed CPU time: 3.46047 s Remaining CPU time: 1796.54 s 3.69/3.76 c core #23 3.69/3.76 c Core size: 4 Core Weight: 1 Total Weight: -977 3.69/3.76 c Elapsed CPU time: 3.61545 s Remaining CPU time: 1796.38 s 3.89/3.91 c core #24 3.89/3.91 c Core size: 4 Core Weight: 1 Total Weight: -976 3.89/3.91 c Elapsed CPU time: 3.75743 s Remaining CPU time: 1796.24 s 3.99/4.06 c core #25 3.99/4.06 c Core size: 4 Core Weight: 1 Total Weight: -975 3.99/4.06 c Elapsed CPU time: 3.89941 s Remaining CPU time: 1796.1 s 4.19/4.21 c core #26 4.19/4.21 c Core size: 4 Core Weight: 1 Total Weight: -974 4.19/4.21 c Elapsed CPU time: 4.04338 s Remaining CPU time: 1795.96 s 4.29/4.36 c core #27 4.29/4.36 c Core size: 4 Core Weight: 1 Total Weight: -973 4.29/4.36 c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s 4.49/4.51 c core #28 4.49/4.51 c Core size: 4 Core Weight: 1 Total Weight: -972 4.49/4.51 c Elapsed CPU time: 4.33934 s Remaining CPU time: 1795.66 s 4.59/4.66 c core #29 4.59/4.66 c Core size: 4 Core Weight: 1 Total Weight: -971 4.59/4.66 c Elapsed CPU time: 4.48432 s Remaining CPU time: 1795.52 s 4.79/4.81 c core #30 4.79/4.81 c Core size: 4 Core Weight: 1 Total Weight: -970 4.79/4.81 c Elapsed CPU time: 4.6273 s Remaining CPU time: 1795.37 s 4.89/4.96 c core #31 4.89/4.96 c Core size: 4 Core Weight: 1 Total Weight: -969 4.89/4.96 c Elapsed CPU time: 4.77127 s Remaining CPU time: 1795.23 s 5.08/5.11 c core #32 5.08/5.11 c Core size: 4 Core Weight: 1 Total Weight: -968 5.08/5.11 c Elapsed CPU time: 4.91825 s Remaining CPU time: 1795.08 s 5.19/5.27 c core #33 5.19/5.27 c Core size: 4 Core Weight: 1 Total Weight: -967 5.19/5.27 c Elapsed CPU time: 5.06823 s Remaining CPU time: 1794.93 s 5.40/5.43 c core #34 5.40/5.43 c Core size: 4 Core Weight: 1 Total Weight: -966 5.40/5.43 c Elapsed CPU time: 5.21621 s Remaining CPU time: 1794.78 s 5.50/5.58 c core #35 5.50/5.58 c Core size: 4 Core Weight: 1 Total Weight: -965 5.50/5.58 c Elapsed CPU time: 5.36918 s Remaining CPU time: 1794.63 s 5.69/5.73 c core #36 5.69/5.73 c Core size: 4 Core Weight: 1 Total Weight: -964 5.69/5.73 c Elapsed CPU time: 5.51916 s Remaining CPU time: 1794.48 s 5.79/5.89 c core #37 5.79/5.89 c Core size: 4 Core Weight: 1 Total Weight: -963 5.79/5.89 c Elapsed CPU time: 5.66714 s Remaining CPU time: 1794.33 s 5.99/6.04 c core #38 5.99/6.04 c Core size: 4 Core Weight: 1 Total Weight: -962 5.99/6.04 c Elapsed CPU time: 5.81312 s Remaining CPU time: 1794.19 s 6.09/6.19 c core #39 6.09/6.19 c Core size: 4 Core Weight: 1 Total Weight: -961 6.09/6.19 c Elapsed CPU time: 5.95909 s Remaining CPU time: 1794.04 s 6.29/6.35 c core #40 6.29/6.35 c Core size: 4 Core Weight: 1 Total Weight: -960 6.29/6.35 c Elapsed CPU time: 6.10607 s Remaining CPU time: 1793.89 s 6.39/6.50 c core #41 6.39/6.50 c Core size: 4 Core Weight: 1 Total Weight: -959 6.39/6.50 c Elapsed CPU time: 6.25305 s Remaining CPU time: 1793.75 s 6.60/6.65 c core #42 6.60/6.65 c Core size: 4 Core Weight: 1 Total Weight: -958 6.60/6.65 c Elapsed CPU time: 6.39603 s Remaining CPU time: 1793.6 s 6.79/6.81 c core #43 6.79/6.81 c Core size: 4 Core Weight: 1 Total Weight: -957 6.79/6.81 c Elapsed CPU time: 6.547 s Remaining CPU time: 1793.45 s 6.89/6.96 c core #44 6.89/6.96 c Core size: 4 Core Weight: 1 Total Weight: -956 6.89/6.96 c Elapsed CPU time: 6.69798 s Remaining CPU time: 1793.3 s 7.08/7.12 c core #45 7.08/7.12 c Core size: 4 Core Weight: 1 Total Weight: -955 7.08/7.12 c Elapsed CPU time: 6.85296 s Remaining CPU time: 1793.15 s 7.19/7.27 c core #46 7.19/7.27 c Core size: 4 Core Weight: 1 Total Weight: -954 7.19/7.27 c Elapsed CPU time: 6.99894 s Remaining CPU time: 1793 s 7.38/7.42 c core #47 7.38/7.42 c Core size: 4 Core Weight: 1 Total Weight: -953 7.38/7.42 c Elapsed CPU time: 7.14491 s Remaining CPU time: 1792.86 s 7.49/7.58 c core #48 7.49/7.58 c Core size: 4 Core Weight: 1 Total Weight: -952 7.49/7.58 c Elapsed CPU time: 7.29489 s Remaining CPU time: 1792.71 s 7.69/7.72 c core #49 7.69/7.72 c Core size: 4 Core Weight: 1 Total Weight: -951 7.69/7.72 c Elapsed CPU time: 7.43887 s Remaining CPU time: 1792.56 s 7.78/7.88 c core #50 7.78/7.88 c Core size: 4 Core Weight: 1 Total Weight: -950 7.78/7.88 c Elapsed CPU time: 7.58785 s Remaining CPU time: 1792.41 s 7.98/8.04 c core #51 7.98/8.04 c Core size: 4 Core Weight: 1 Total Weight: -949 7.98/8.04 c Elapsed CPU time: 7.73882 s Remaining CPU time: 1792.26 s 8.09/8.19 c core #52 8.09/8.19 c Core size: 4 Core Weight: 1 Total Weight: -948 8.09/8.19 c Elapsed CPU time: 7.8848 s Remaining CPU time: 1792.12 s 8.28/8.34 c core #53 8.28/8.34 c Core size: 4 Core Weight: 1 Total Weight: -947 8.28/8.34 c Elapsed CPU time: 8.03078 s Remaining CPU time: 1791.97 s 8.39/8.49 c core #54 8.39/8.49 c Core size: 4 Core Weight: 1 Total Weight: -946 8.39/8.49 c Elapsed CPU time: 8.18375 s Remaining CPU time: 1791.82 s 8.59/8.64 c core #55 8.59/8.64 c Core size: 4 Core Weight: 1 Total Weight: -945 8.59/8.64 c Elapsed CPU time: 8.32573 s Remaining CPU time: 1791.67 s 8.69/8.79 c core #56 8.69/8.79 c Core size: 4 Core Weight: 1 Total Weight: -944 8.69/8.79 c Elapsed CPU time: 8.47271 s Remaining CPU time: 1791.53 s 8.89/8.94 c core #57 8.89/8.94 c Core size: 4 Core Weight: 1 Total Weight: -943 8.89/8.94 c Elapsed CPU time: 8.61869 s Remaining CPU time: 1791.38 s 8.99/9.09 c core #58 8.99/9.09 c Core size: 4 Core Weight: 1 Total Weight: -942 8.99/9.09 c Elapsed CPU time: 8.76367 s Remaining CPU time: 1791.24 s 9.19/9.24 c core #59 9.19/9.24 c Core size: 4 Core Weight: 1 Total Weight: -941 9.19/9.24 c Elapsed CPU time: 8.90964 s Remaining CPU time: 1791.09 s 9.29/9.39 c core #60 9.29/9.39 c Core size: 4 Core Weight: 1 Total Weight: -940 9.29/9.39 c Elapsed CPU time: 9.05562 s Remaining CPU time: 1790.94 s 9.49/9.54 c core #61 9.49/9.54 c Core size: 4 Core Weight: 1 Total Weight: -939 9.49/9.54 c Elapsed CPU time: 9.2006 s Remaining CPU time: 1790.8 s 9.59/9.70 c core #62 9.59/9.70 c Core size: 4 Core Weight: 1 Total Weight: -938 9.59/9.70 c Elapsed CPU time: 9.34658 s Remaining CPU time: 1790.65 s 9.79/9.86 c core #63 9.79/9.86 c Core size: 4 Core Weight: 1 Total Weight: -937 9.79/9.86 c Elapsed CPU time: 9.49856 s Remaining CPU time: 1790.5 s 9.99/10.01 c core #64 9.99/10.01 c Core size: 4 Core Weight: 1 Total Weight: -936 9.99/10.01 c Elapsed CPU time: 9.64453 s Remaining CPU time: 1790.36 s 10.09/10.16 c core #65 10.09/10.16 c Core size: 4 Core Weight: 1 Total Weight: -935 10.09/10.16 c Elapsed CPU time: 9.79251 s Remaining CPU time: 1790.21 s 10.28/10.31 c core #66 10.28/10.31 c Core size: 4 Core Weight: 1 Total Weight: -934 10.28/10.31 c Elapsed CPU time: 9.94149 s Remaining CPU time: 1790.06 s 10.39/10.46 c core #67 10.39/10.46 c Core size: 4 Core Weight: 1 Total Weight: -933 10.39/10.46 c Elapsed CPU time: 10.0885 s Remaining CPU time: 1789.91 s 10.59/10.61 c core #68 10.59/10.61 c Core size: 4 Core Weight: 1 Total Weight: -932 10.59/10.61 c Elapsed CPU time: 10.2284 s Remaining CPU time: 1789.77 s 10.68/10.76 c core #69 10.68/10.76 c Core size: 4 Core Weight: 1 Total Weight: -931 10.68/10.76 c Elapsed CPU time: 10.3724 s Remaining CPU time: 1789.63 s 10.89/10.91 c core #70 10.89/10.91 c Core size: 4 Core Weight: 1 Total Weight: -930 10.89/10.91 c Elapsed CPU time: 10.5134 s Remaining CPU time: 1789.49 s 10.99/11.06 c core #71 10.99/11.06 c Core size: 4 Core Weight: 1 Total Weight: -929 10.99/11.06 c Elapsed CPU time: 10.6624 s Remaining CPU time: 1789.34 s 11.18/11.22 c core #72 11.18/11.22 c Core size: 4 Core Weight: 1 Total Weight: -928 11.18/11.22 c Elapsed CPU time: 10.8124 s Remaining CPU time: 1789.19 s 11.28/11.37 c core #73 11.28/11.37 c Core size: 4 Core Weight: 1 Total Weight: -927 11.28/11.37 c Elapsed CPU time: 10.9523 s Remaining CPU time: 1789.05 s 11.48/11.52 c core #74 11.48/11.52 c Core size: 4 Core Weight: 1 Total Weight: -926 11.48/11.52 c Elapsed CPU time: 11.0973 s Remaining CPU time: 1788.9 s 11.58/11.67 c core #75 11.58/11.67 c Core size: 4 Core Weight: 1 Total Weight: -925 11.58/11.67 c Elapsed CPU time: 11.2433 s Remaining CPU time: 1788.76 s 11.78/11.82 c core #76 11.78/11.82 c Core size: 4 Core Weight: 1 Total Weight: -924 11.78/11.82 c Elapsed CPU time: 11.3893 s Remaining CPU time: 1788.61 s 11.88/11.97 c core #77 11.88/11.97 c Core size: 4 Core Weight: 1 Total Weight: -923 11.88/11.97 c Elapsed CPU time: 11.5362 s Remaining CPU time: 1788.46 s 12.09/12.12 c core #78 12.09/12.12 c Core size: 4 Core Weight: 1 Total Weight: -922 12.09/12.12 c Elapsed CPU time: 11.6832 s Remaining CPU time: 1788.32 s 12.18/12.27 c core #79 12.18/12.27 c Core size: 4 Core Weight: 1 Total Weight: -921 12.18/12.27 c Elapsed CPU time: 11.8302 s Remaining CPU time: 1788.17 s 12.38/12.43 c core #80 12.38/12.43 c Core size: 4 Core Weight: 1 Total Weight: -920 12.38/12.43 c Elapsed CPU time: 11.9782 s Remaining CPU time: 1788.02 s 12.48/12.58 c core #81 12.48/12.58 c Core size: 4 Core Weight: 1 Total Weight: -919 12.48/12.58 c Elapsed CPU time: 12.1272 s Remaining CPU time: 1787.87 s 12.68/12.74 c core #82 12.68/12.74 c Core size: 4 Core Weight: 1 Total Weight: -918 12.68/12.74 c Elapsed CPU time: 12.2761 s Remaining CPU time: 1787.72 s 12.78/12.89 c core #83 12.78/12.89 c Core size: 4 Core Weight: 1 Total Weight: -917 12.78/12.89 c Elapsed CPU time: 12.4241 s Remaining CPU time: 1787.58 s 12.98/13.04 c core #84 12.98/13.04 c Core size: 4 Core Weight: 1 Total Weight: -916 12.98/13.04 c Elapsed CPU time: 12.5731 s Remaining CPU time: 1787.43 s 13.08/13.20 c core #85 13.08/13.20 c Core size: 4 Core Weight: 1 Total Weight: -915 13.08/13.20 c Elapsed CPU time: 12.7211 s Remaining CPU time: 1787.28 s 13.28/13.35 c core #86 13.28/13.35 c Core size: 4 Core Weight: 1 Total Weight: -914 13.28/13.35 c Elapsed CPU time: 12.869 s Remaining CPU time: 1787.13 s 13.48/13.50 c core #87 13.48/13.50 c Core size: 4 Core Weight: 1 Total Weight: -913 13.48/13.50 c Elapsed CPU time: 13.017 s Remaining CPU time: 1786.98 s 13.58/13.66 c core #88 13.58/13.66 c Core size: 4 Core Weight: 1 Total Weight: -912 13.58/13.66 c Elapsed CPU time: 13.164 s Remaining CPU time: 1786.84 s 13.77/13.81 c core #89 13.77/13.81 c Core size: 4 Core Weight: 1 Total Weight: -911 13.77/13.81 c Elapsed CPU time: 13.313 s Remaining CPU time: 1786.69 s 13.88/13.96 c core #90 13.88/13.96 c Core size: 4 Core Weight: 1 Total Weight: -910 13.88/13.96 c Elapsed CPU time: 13.461 s Remaining CPU time: 1786.54 s 14.08/14.12 c core #91 14.08/14.12 c Core size: 4 Core Weight: 1 Total Weight: -909 14.08/14.12 c Elapsed CPU time: 13.6059 s Remaining CPU time: 1786.39 s 14.18/14.27 c core #92 14.18/14.27 c Core size: 4 Core Weight: 1 Total Weight: -908 14.18/14.27 c Elapsed CPU time: 13.7529 s Remaining CPU time: 1786.25 s 14.37/14.42 c core #93 14.37/14.42 c Core size: 4 Core Weight: 1 Total Weight: -907 14.37/14.42 c Elapsed CPU time: 13.9049 s Remaining CPU time: 1786.1 s 14.48/14.58 c core #94 14.48/14.58 c Core size: 4 Core Weight: 1 Total Weight: -906 14.48/14.58 c Elapsed CPU time: 14.0529 s Remaining CPU time: 1785.95 s 14.68/14.73 c core #95 14.68/14.73 c Core size: 4 Core Weight: 1 Total Weight: -905 14.68/14.73 c Elapsed CPU time: 14.2018 s Remaining CPU time: 1785.8 s 14.77/14.88 c core #96 14.77/14.88 c Core size: 4 Core Weight: 1 Total Weight: -904 14.77/14.88 c Elapsed CPU time: 14.3508 s Remaining CPU time: 1785.65 s 14.98/15.03 c core #97 14.98/15.03 c Core size: 4 Core Weight: 1 Total Weight: -903 14.98/15.03 c Elapsed CPU time: 14.4948 s Remaining CPU time: 1785.51 s 15.08/15.18 c core #98 15.08/15.18 c Core size: 4 Core Weight: 1 Total Weight: -902 15.08/15.18 c Elapsed CPU time: 14.6368 s Remaining CPU time: 1785.36 s 15.28/15.33 c core #99 15.28/15.33 c Core size: 4 Core Weight: 1 Total Weight: -901 15.28/15.33 c Elapsed CPU time: 14.7868 s Remaining CPU time: 1785.21 s 15.37/15.48 c core #100 15.37/15.48 c Core size: 4 Core Weight: 1 Total Weight: -900 15.37/15.48 c Elapsed CPU time: 14.9287 s Remaining CPU time: 1785.07 s 15.57/15.64 c core #101 15.57/15.64 c Core size: 4 Core Weight: 1 Total Weight: -899 15.57/15.64 c Elapsed CPU time: 15.0747 s Remaining CPU time: 1784.93 s 15.68/15.79 c core #102 15.68/15.79 c Core size: 4 Core Weight: 1 Total Weight: -898 15.68/15.79 c Elapsed CPU time: 15.2267 s Remaining CPU time: 1784.77 s 15.87/15.94 c core #103 15.87/15.94 c Core size: 4 Core Weight: 1 Total Weight: -897 15.87/15.94 c Elapsed CPU time: 15.3737 s Remaining CPU time: 1784.63 s 15.97/16.10 c core #104 15.97/16.10 c Core size: 4 Core Weight: 1 Total Weight: -896 15.97/16.10 c Elapsed CPU time: 15.5246 s Remaining CPU time: 1784.48 s 16.18/16.25 c core #105 16.18/16.25 c Core size: 4 Core Weight: 1 Total Weight: -895 16.18/16.25 c Elapsed CPU time: 15.6736 s Remaining CPU time: 1784.33 s 16.27/16.40 c core #106 16.27/16.40 c Core size: 4 Core Weight: 1 Total Weight: -894 16.38/16.40 c Elapsed CPU time: 15.8216 s Remaining CPU time: 1784.18 s 16.48/16.56 c core #107 16.48/16.56 c Core size: 4 Core Weight: 1 Total Weight: -893 16.48/16.56 c Elapsed CPU time: 15.9736 s Remaining CPU time: 1784.03 s 16.67/16.71 c core #108 16.67/16.71 c Core size: 4 Core Weight: 1 Total Weight: -892 16.67/16.71 c Elapsed CPU time: 16.1215 s Remaining CPU time: 1783.88 s 16.77/16.86 c core #109 16.77/16.86 c Core size: 4 Core Weight: 1 Total Weight: -891 16.77/16.86 c Elapsed CPU time: 16.2685 s Remaining CPU time: 1783.73 s 16.97/17.02 c core #110 16.97/17.02 c Core size: 4 Core Weight: 1 Total Weight: -890 16.97/17.02 c Elapsed CPU time: 16.4155 s Remaining CPU time: 1783.58 s 17.08/17.17 c core #111 17.08/17.17 c Core size: 4 Core Weight: 1 Total Weight: -889 17.08/17.17 c Elapsed CPU time: 16.5625 s Remaining CPU time: 1783.44 s 17.27/17.32 c core #112 17.27/17.32 c Core size: 4 Core Weight: 1 Total Weight: -888 17.27/17.32 c Elapsed CPU time: 16.7125 s Remaining CPU time: 1783.29 s 17.37/17.48 c core #113 17.37/17.48 c Core size: 4 Core Weight: 1 Total Weight: -887 17.37/17.48 c Elapsed CPU time: 16.8604 s Remaining CPU time: 1783.14 s 17.57/17.63 c core #114 17.57/17.63 c Core size: 4 Core Weight: 1 Total Weight: -886 17.57/17.63 c Elapsed CPU time: 17.0064 s Remaining CPU time: 1782.99 s 17.68/17.78 c core #115 17.68/17.78 c Core size: 4 Core Weight: 1 Total Weight: -885 17.68/17.78 c Elapsed CPU time: 17.1504 s Remaining CPU time: 1782.85 s 17.87/17.93 c core #116 17.87/17.93 c Core size: 4 Core Weight: 1 Total Weight: -884 17.87/17.93 c Elapsed CPU time: 17.2984 s Remaining CPU time: 1782.7 s 17.98/18.09 c core #117 17.98/18.09 c Core size: 4 Core Weight: 1 Total Weight: -883 17.98/18.09 c Elapsed CPU time: 17.4473 s Remaining CPU time: 1782.55 s 18.17/18.24 c core #118 18.17/18.24 c Core size: 4 Core Weight: 1 Total Weight: -882 18.17/18.24 c Elapsed CPU time: 17.5933 s Remaining CPU time: 1782.41 s 18.27/18.39 c core #119 18.27/18.39 c Core size: 4 Core Weight: 1 Total Weight: -881 18.27/18.39 c Elapsed CPU time: 17.7373 s Remaining CPU time: 1782.26 s 18.48/18.54 c core #120 18.48/18.54 c Core size: 4 Core Weight: 1 Total Weight: -880 18.48/18.54 c Elapsed CPU time: 17.8833 s Remaining CPU time: 1782.12 s 18.58/18.69 c core #121 18.58/18.69 c Core size: 4 Core Weight: 1 Total Weight: -879 18.58/18.69 c Elapsed CPU time: 18.0293 s Remaining CPU time: 1781.97 s 18.77/18.84 c core #122 18.77/18.84 c Core size: 4 Core Weight: 1 Total Weight: -878 18.77/18.84 c Elapsed CPU time: 18.1752 s Remaining CPU time: 1781.82 s 18.97/19.00 c core #123 18.97/19.00 c Core size: 4 Core Weight: 1 Total Weight: -877 18.97/19.00 c Elapsed CPU time: 18.3262 s Remaining CPU time: 1781.67 s 19.07/19.15 c core #124 19.07/19.15 c Core size: 4 Core Weight: 1 Total Weight: -876 19.07/19.15 c Elapsed CPU time: 18.4722 s Remaining CPU time: 1781.53 s 19.27/19.30 c core #125 19.27/19.30 c Core size: 4 Core Weight: 1 Total Weight: -875 19.27/19.30 c Elapsed CPU time: 18.6182 s Remaining CPU time: 1781.38 s 19.37/19.46 c core #126 19.37/19.46 c Core size: 4 Core Weight: 1 Total Weight: -874 19.37/19.46 c Elapsed CPU time: 18.7591 s Remaining CPU time: 1781.24 s 19.57/19.61 c core #127 19.57/19.61 c Core size: 4 Core Weight: 1 Total Weight: -873 19.57/19.61 c Elapsed CPU time: 18.9051 s Remaining CPU time: 1781.09 s 19.68/19.76 c core #128 19.68/19.76 c Core size: 4 Core Weight: 1 Total Weight: -872 19.68/19.76 c Elapsed CPU time: 19.0551 s Remaining CPU time: 1780.94 s 19.87/19.93 c core #129 19.87/19.93 c Core size: 4 Core Weight: 1 Total Weight: -871 19.87/19.93 c Elapsed CPU time: 19.2101 s Remaining CPU time: 1780.79 s 19.97/20.08 c core #130 19.97/20.08 c Core size: 4 Core Weight: 1 Total Weight: -870 19.97/20.08 c Elapsed CPU time: 19.3611 s Remaining CPU time: 1780.64 s 20.16/20.23 c core #131 20.16/20.23 c Core size: 4 Core Weight: 1 Total Weight: -869 20.16/20.23 c Elapsed CPU time: 19.503 s Remaining CPU time: 1780.5 s 20.27/20.38 c core #132 20.27/20.38 c Core size: 4 Core Weight: 1 Total Weight: -868 20.27/20.38 c Elapsed CPU time: 19.652 s Remaining CPU time: 1780.35 s 20.47/20.54 c core #133 20.47/20.54 c Core size: 4 Core Weight: 1 Total Weight: -867 20.47/20.54 c Elapsed CPU time: 19.803 s Remaining CPU time: 1780.2 s 20.56/20.69 c core #134 20.56/20.69 c Core size: 4 Core Weight: 1 Total Weight: -866 20.56/20.69 c Elapsed CPU time: 19.948 s Remaining CPU time: 1780.05 s 20.77/20.85 c core #135 20.77/20.85 c Core size: 4 Core Weight: 1 Total Weight: -865 20.77/20.85 c Elapsed CPU time: 20.1029 s Remaining CPU time: 1779.9 s 20.96/21.01 c core #136 20.96/21.01 c Core size: 4 Core Weight: 1 Total Weight: -864 20.96/21.01 c Elapsed CPU time: 20.2569 s Remaining CPU time: 1779.74 s 21.07/21.16 c core #137 21.07/21.16 c Core size: 4 Core Weight: 1 Total Weight: -863 21.07/21.16 c Elapsed CPU time: 20.4029 s Remaining CPU time: 1779.6 s 21.27/21.31 c core #138 21.27/21.31 c Core size: 4 Core Weight: 1 Total Weight: -862 21.27/21.31 c Elapsed CPU time: 20.5529 s Remaining CPU time: 1779.45 s 21.37/21.47 c core #139 21.37/21.47 c Core size: 4 Core Weight: 1 Total Weight: -861 21.37/21.47 c Elapsed CPU time: 20.7079 s Remaining CPU time: 1779.29 s 21.57/21.62 c core #140 21.57/21.62 c Core size: 4 Core Weight: 1 Total Weight: -860 21.57/21.62 c Elapsed CPU time: 20.8508 s Remaining CPU time: 1779.15 s 21.67/21.78 c core #141 21.67/21.78 c Core size: 4 Core Weight: 1 Total Weight: -859 21.67/21.78 c Elapsed CPU time: 21.0068 s Remaining CPU time: 1778.99 s 21.87/21.94 c core #142 21.87/21.94 c Core size: 4 Core Weight: 1 Total Weight: -858 21.87/21.94 c Elapsed CPU time: 21.1538 s Remaining CPU time: 1778.85 s 21.97/22.09 c core #143 21.97/22.09 c Core size: 4 Core Weight: 1 Total Weight: -857 21.97/22.09 c Elapsed CPU time: 21.3028 s Remaining CPU time: 1778.7 s 22.16/22.24 c core #144 22.16/22.24 c Core size: 4 Core Weight: 1 Total Weight: -856 22.16/22.24 c Elapsed CPU time: 21.4527 s Remaining CPU time: 1778.55 s 22.37/22.40 c core #145 22.37/22.40 c Core size: 4 Core Weight: 1 Total Weight: -855 22.37/22.40 c Elapsed CPU time: 21.6047 s Remaining CPU time: 1778.4 s 22.46/22.55 c core #146 22.46/22.55 c Core size: 4 Core Weight: 1 Total Weight: -854 22.46/22.55 c Elapsed CPU time: 21.7507 s Remaining CPU time: 1778.25 s 22.67/22.71 c core #147 22.67/22.71 c Core size: 4 Core Weight: 1 Total Weight: -853 22.67/22.71 c Elapsed CPU time: 21.9057 s Remaining CPU time: 1778.09 s 22.76/22.87 c core #148 22.76/22.87 c Core size: 4 Core Weight: 1 Total Weight: -852 22.76/22.87 c Elapsed CPU time: 22.0516 s Remaining CPU time: 1777.95 s 22.97/23.02 c core #149 22.97/23.02 c Core size: 4 Core Weight: 1 Total Weight: -851 22.97/23.02 c Elapsed CPU time: 22.2026 s Remaining CPU time: 1777.8 s 23.07/23.18 c core #150 23.07/23.18 c Core size: 4 Core Weight: 1 Total Weight: -850 23.07/23.18 c Elapsed CPU time: 22.3476 s Remaining CPU time: 1777.65 s 23.27/23.33 c core #151 23.27/23.33 c Core size: 4 Core Weight: 1 Total Weight: -849 23.27/23.33 c Elapsed CPU time: 22.4976 s Remaining CPU time: 1777.5 s 23.36/23.49 c core #152 23.36/23.49 c Core size: 4 Core Weight: 1 Total Weight: -848 23.36/23.49 c Elapsed CPU time: 22.6536 s Remaining CPU time: 1777.35 s 23.56/23.64 c core #153 23.56/23.64 c Core size: 4 Core Weight: 1 Total Weight: -847 23.56/23.64 c Elapsed CPU time: 22.8025 s Remaining CPU time: 1777.2 s 23.77/23.80 c core #154 23.77/23.80 c Core size: 4 Core Weight: 1 Total Weight: -846 23.77/23.80 c Elapsed CPU time: 22.9535 s Remaining CPU time: 1777.05 s 23.86/23.96 c core #155 23.86/23.96 c Core size: 4 Core Weight: 1 Total Weight: -845 23.86/23.96 c Elapsed CPU time: 23.1055 s Remaining CPU time: 1776.89 s 24.07/24.11 c core #156 24.07/24.11 c Core size: 4 Core Weight: 1 Total Weight: -844 24.07/24.11 c Elapsed CPU time: 23.2575 s Remaining CPU time: 1776.74 s 24.17/24.27 c core #157 24.17/24.27 c Core size: 4 Core Weight: 1 Total Weight: -843 24.17/24.27 c Elapsed CPU time: 23.4084 s Remaining CPU time: 1776.59 s 24.36/24.42 c core #158 24.36/24.42 c Core size: 4 Core Weight: 1 Total Weight: -842 24.36/24.42 c Elapsed CPU time: 23.5594 s Remaining CPU time: 1776.44 s 24.47/24.58 c core #159 24.47/24.58 c Core size: 4 Core Weight: 1 Total Weight: -841 24.47/24.58 c Elapsed CPU time: 23.7084 s Remaining CPU time: 1776.29 s 24.66/24.73 c core #160 24.66/24.73 c Core size: 4 Core Weight: 1 Total Weight: -840 24.66/24.73 c Elapsed CPU time: 23.8554 s Remaining CPU time: 1776.14 s 24.76/24.88 c core #161 24.76/24.88 c Core size: 4 Core Weight: 1 Total Weight: -839 24.76/24.88 c Elapsed CPU time: 24.0024 s Remaining CPU time: 1776 s 24.97/25.04 c core #162 24.97/25.04 c Core size: 4 Core Weight: 1 Total Weight: -838 24.97/25.04 c Elapsed CPU time: 24.1543 s Remaining CPU time: 1775.85 s 25.06/25.20 c core #163 25.06/25.20 c Core size: 4 Core Weight: 1 Total Weight: -837 25.06/25.20 c Elapsed CPU time: 24.3063 s Remaining CPU time: 1775.69 s 25.26/25.35 c core #164 25.26/25.35 c Core size: 4 Core Weight: 1 Total Weight: -836 25.26/25.35 c Elapsed CPU time: 24.4533 s Remaining CPU time: 1775.55 s 25.46/25.50 c core #165 25.46/25.50 c Core size: 4 Core Weight: 1 Total Weight: -835 25.46/25.50 c Elapsed CPU time: 24.5993 s Remaining CPU time: 1775.4 s 25.57/25.66 c core #166 25.57/25.66 c Core size: 4 Core Weight: 1 Total Weight: -834 25.57/25.66 c Elapsed CPU time: 24.7512 s Remaining CPU time: 1775.25 s 25.76/25.81 c core #167 25.76/25.81 c Core size: 4 Core Weight: 1 Total Weight: -833 25.76/25.81 c Elapsed CPU time: 24.9002 s Remaining CPU time: 1775.1 s 25.86/25.96 c core #168 25.86/25.96 c Core size: 4 Core Weight: 1 Total Weight: -832 25.86/25.96 c Elapsed CPU time: 25.0492 s Remaining CPU time: 1774.95 s 26.06/26.11 c core #169 26.06/26.11 c Core size: 4 Core Weight: 1 Total Weight: -831 26.06/26.11 c Elapsed CPU time: 25.1962 s Remaining CPU time: 1774.8 s 26.16/26.27 c core #170 26.16/26.27 c Core size: 4 Core Weight: 1 Total Weight: -830 26.16/26.27 c Elapsed CPU time: 25.3441 s Remaining CPU time: 1774.66 s 26.36/26.42 c core #171 26.36/26.42 c Core size: 4 Core Weight: 1 Total Weight: -829 26.36/26.42 c Elapsed CPU time: 25.4911 s Remaining CPU time: 1774.51 s 26.46/26.58 c core #172 26.46/26.58 c Core size: 4 Core Weight: 1 Total Weight: -828 26.46/26.58 c Elapsed CPU time: 25.6391 s Remaining CPU time: 1774.36 s 26.66/26.73 c core #173 26.66/26.73 c Core size: 4 Core Weight: 1 Total Weight: -827 26.66/26.73 c Elapsed CPU time: 25.7901 s Remaining CPU time: 1774.21 s 26.76/26.89 c core #174 26.76/26.89 c Core size: 4 Core Weight: 1 Total Weight: -826 26.76/26.89 c Elapsed CPU time: 25.9391 s Remaining CPU time: 1774.06 s 26.96/27.05 c core #175 26.96/27.05 c Core size: 4 Core Weight: 1 Total Weight: -825 26.96/27.05 c Elapsed CPU time: 26.095 s Remaining CPU time: 1773.9 s 27.16/27.20 c core #176 27.16/27.20 c Core size: 4 Core Weight: 1 Total Weight: -824 27.16/27.20 c Elapsed CPU time: 26.246 s Remaining CPU time: 1773.75 s 27.26/27.36 c core #177 27.26/27.36 c Core size: 4 Core Weight: 1 Total Weight: -823 27.26/27.36 c Elapsed CPU time: 26.397 s Remaining CPU time: 1773.6 s 27.47/27.52 c core #178 27.47/27.52 c Core size: 4 Core Weight: 1 Total Weight: -822 27.47/27.52 c Elapsed CPU time: 26.548 s Remaining CPU time: 1773.45 s 27.56/27.67 c core #179 27.56/27.67 c Core size: 4 Core Weight: 1 Total Weight: -821 27.56/27.67 c Elapsed CPU time: 26.6959 s Remaining CPU time: 1773.3 s 27.76/27.83 c core #180 27.76/27.83 c Core size: 4 Core Weight: 1 Total Weight: -820 27.76/27.83 c Elapsed CPU time: 26.8469 s Remaining CPU time: 1773.15 s 27.87/27.99 c core #181 27.87/27.99 c Core size: 4 Core Weight: 1 Total Weight: -819 27.87/27.99 c Elapsed CPU time: 26.9989 s Remaining CPU time: 1773 s 28.06/28.14 c core #182 28.06/28.14 c Core size: 4 Core Weight: 1 Total Weight: -818 28.06/28.14 c Elapsed CPU time: 27.1519 s Remaining CPU time: 1772.85 s 28.27/28.30 c core #183 28.27/28.30 c Core size: 4 Core Weight: 1 Total Weight: -817 28.27/28.30 c Elapsed CPU time: 27.3018 s Remaining CPU time: 1772.7 s 28.36/28.45 c core #184 28.36/28.45 c Core size: 4 Core Weight: 1 Total Weight: -816 28.36/28.45 c Elapsed CPU time: 27.4508 s Remaining CPU time: 1772.55 s 28.56/28.61 c core #185 28.56/28.61 c Core size: 4 Core Weight: 1 Total Weight: -815 28.56/28.61 c Elapsed CPU time: 27.6008 s Remaining CPU time: 1772.4 s 28.66/28.76 c core #186 28.66/28.76 c Core size: 4 Core Weight: 1 Total Weight: -814 28.66/28.76 c Elapsed CPU time: 27.7468 s Remaining CPU time: 1772.25 s 28.86/28.92 c core #187 28.86/28.92 c Core size: 4 Core Weight: 1 Total Weight: -813 28.86/28.92 c Elapsed CPU time: 27.8988 s Remaining CPU time: 1772.1 s 28.96/29.07 c core #188 28.96/29.07 c Core size: 4 Core Weight: 1 Total Weight: -812 28.96/29.07 c Elapsed CPU time: 28.0467 s Remaining CPU time: 1771.95 s 29.16/29.23 c core #189 29.16/29.23 c Core size: 4 Core Weight: 1 Total Weight: -811 29.16/29.23 c Elapsed CPU time: 28.1967 s Remaining CPU time: 1771.8 s 29.26/29.38 c core #190 29.26/29.38 c Core size: 4 Core Weight: 1 Total Weight: -810 29.26/29.38 c Elapsed CPU time: 28.3467 s Remaining CPU time: 1771.65 s 29.46/29.54 c core #191 29.46/29.54 c Core size: 4 Core Weight: 1 Total Weight: -809 29.46/29.54 c Elapsed CPU time: 28.4987 s Remaining CPU time: 1771.5 s 29.56/29.69 c core #192 29.56/29.69 c Core size: 4 Core Weight: 1 Total Weight: -808 29.56/29.69 c Elapsed CPU time: 28.6466 s Remaining CPU time: 1771.35 s 29.76/29.84 c core #193 29.76/29.84 c Core size: 4 Core Weight: 1 Total Weight: -807 29.76/29.84 c Elapsed CPU time: 28.7946 s Remaining CPU time: 1771.21 s 29.96/30.00 c core #194 29.96/30.00 c Core size: 4 Core Weight: 1 Total Weight: -806 29.96/30.00 c Elapsed CPU time: 28.9466 s Remaining CPU time: 1771.05 s 30.06/30.15 c core #195 30.06/30.15 c Core size: 4 Core Weight: 1 Total Weight: -805 30.06/30.15 c Elapsed CPU time: 29.0956 s Remaining CPU time: 1770.9 s 30.26/30.31 c core #196 30.26/30.31 c Core size: 4 Core Weight: 1 Total Weight: -804 30.26/30.31 c Elapsed CPU time: 29.2446 s Remaining CPU time: 1770.76 s 30.35/30.46 c core #197 30.35/30.46 c Core size: 4 Core Weight: 1 Total Weight: -803 30.35/30.46 c Elapsed CPU time: 29.3945 s Remaining CPU time: 1770.61 s 30.56/30.62 c core #198 30.56/30.62 c Core size: 4 Core Weight: 1 Total Weight: -802 30.56/30.62 c Elapsed CPU time: 29.5425 s Remaining CPU time: 1770.46 s 30.66/30.77 c core #199 30.66/30.77 c Core size: 4 Core Weight: 1 Total Weight: -801 30.66/30.77 c Elapsed CPU time: 29.6895 s Remaining CPU time: 1770.31 s 30.86/30.93 c core #200 30.86/30.93 c Core size: 4 Core Weight: 1 Total Weight: -800 30.86/30.93 c Elapsed CPU time: 29.8405 s Remaining CPU time: 1770.16 s 30.96/31.08 c core #201 30.96/31.08 c Core size: 4 Core Weight: 1 Total Weight: -799 30.96/31.08 c Elapsed CPU time: 29.9884 s Remaining CPU time: 1770.01 s 31.16/31.24 c core #202 31.16/31.24 c Core size: 4 Core Weight: 1 Total Weight: -798 31.16/31.24 c Elapsed CPU time: 30.1434 s Remaining CPU time: 1769.86 s 31.25/31.39 c core #203 31.25/31.39 c Core size: 4 Core Weight: 1 Total Weight: -797 31.25/31.39 c Elapsed CPU time: 30.2944 s Remaining CPU time: 1769.71 s 31.46/31.55 c core #204 31.46/31.55 c Core size: 4 Core Weight: 1 Total Weight: -796 31.46/31.55 c Elapsed CPU time: 30.4434 s Remaining CPU time: 1769.56 s 31.66/31.70 c core #205 31.66/31.70 c Core size: 4 Core Weight: 1 Total Weight: -795 31.66/31.70 c Elapsed CPU time: 30.5903 s Remaining CPU time: 1769.41 s 31.76/31.86 c core #206 31.76/31.86 c Core size: 4 Core Weight: 1 Total Weight: -794 31.76/31.86 c Elapsed CPU time: 30.7403 s Remaining CPU time: 1769.26 s 31.96/32.02 c core #207 31.96/32.02 c Core size: 4 Core Weight: 1 Total Weight: -793 31.96/32.02 c Elapsed CPU time: 30.8893 s Remaining CPU time: 1769.11 s 32.05/32.17 c core #208 32.05/32.17 c Core size: 4 Core Weight: 1 Total Weight: -792 32.05/32.17 c Elapsed CPU time: 31.0373 s Remaining CPU time: 1768.96 s 32.26/32.32 c core #209 32.26/32.32 c Core size: 4 Core Weight: 1 Total Weight: -791 32.26/32.32 c Elapsed CPU time: 31.1893 s Remaining CPU time: 1768.81 s 32.35/32.48 c core #210 32.35/32.48 c Core size: 4 Core Weight: 1 Total Weight: -790 32.35/32.48 c Elapsed CPU time: 31.3362 s Remaining CPU time: 1768.66 s 32.56/32.63 c core #211 32.56/32.63 c Core size: 4 Core Weight: 1 Total Weight: -789 32.56/32.63 c Elapsed CPU time: 31.4832 s Remaining CPU time: 1768.52 s 32.66/32.79 c core #212 32.66/32.79 c Core size: 4 Core Weight: 1 Total Weight: -788 32.66/32.79 c Elapsed CPU time: 31.6302 s Remaining CPU time: 1768.37 s 32.86/32.95 c core #213 32.86/32.95 c Core size: 4 Core Weight: 1 Total Weight: -787 32.86/32.95 c Elapsed CPU time: 31.7852 s Remaining CPU time: 1768.21 s 33.06/33.10 c core #214 33.06/33.10 c Core size: 4 Core Weight: 1 Total Weight: -786 33.06/33.10 c Elapsed CPU time: 31.9351 s Remaining CPU time: 1768.06 s 33.16/33.25 c core #215 33.16/33.25 c Core size: 4 Core Weight: 1 Total Weight: -785 33.16/33.25 c Elapsed CPU time: 32.0821 s Remaining CPU time: 1767.92 s 33.35/33.41 c core #216 33.35/33.41 c Core size: 4 Core Weight: 1 Total Weight: -784 33.35/33.41 c Elapsed CPU time: 32.2341 s Remaining CPU time: 1767.77 s 33.46/33.56 c core #217 33.46/33.56 c Core size: 4 Core Weight: 1 Total Weight: -783 33.46/33.56 c Elapsed CPU time: 32.3841 s Remaining CPU time: 1767.62 s 33.65/33.71 c core #218 33.65/33.71 c Core size: 4 Core Weight: 1 Total Weight: -782 33.65/33.71 c Elapsed CPU time: 32.5371 s Remaining CPU time: 1767.46 s 33.75/33.87 c core #219 33.75/33.87 c Core size: 4 Core Weight: 1 Total Weight: -781 33.75/33.87 c Elapsed CPU time: 32.684 s Remaining CPU time: 1767.32 s 33.96/34.02 c core #220 33.96/34.02 c Core size: 4 Core Weight: 1 Total Weight: -780 33.96/34.02 c Elapsed CPU time: 32.835 s Remaining CPU time: 1767.16 s 34.05/34.18 c core #221 34.05/34.18 c Core size: 4 Core Weight: 1 Total Weight: -779 34.05/34.18 c Elapsed CPU time: 32.982 s Remaining CPU time: 1767.02 s 34.25/34.33 c core #222 34.25/34.33 c Core size: 4 Core Weight: 1 Total Weight: -778 34.25/34.33 c Elapsed CPU time: 33.132 s Remaining CPU time: 1766.87 s 34.36/34.49 c core #223 34.36/34.49 c Core size: 4 Core Weight: 1 Total Weight: -777 34.36/34.49 c Elapsed CPU time: 33.2799 s Remaining CPU time: 1766.72 s 34.55/34.64 c core #224 34.55/34.64 c Core size: 4 Core Weight: 1 Total Weight: -776 34.55/34.64 c Elapsed CPU time: 33.4289 s Remaining CPU time: 1766.57 s 34.75/34.80 c core #225 34.75/34.80 c Core size: 4 Core Weight: 1 Total Weight: -775 34.75/34.80 c Elapsed CPU time: 33.5799 s Remaining CPU time: 1766.42 s 34.85/34.96 c core #226 34.85/34.96 c Core size: 4 Core Weight: 1 Total Weight: -774 34.85/34.96 c Elapsed CPU time: 33.7319 s Remaining CPU time: 1766.27 s 35.06/35.11 c core #227 35.06/35.11 c Core size: 4 Core Weight: 1 Total Weight: -773 35.06/35.11 c Elapsed CPU time: 33.8808 s Remaining CPU time: 1766.12 s 35.16/35.27 c core #228 35.16/35.27 c Core size: 4 Core Weight: 1 Total Weight: -772 35.16/35.27 c Elapsed CPU time: 34.0298 s Remaining CPU time: 1765.97 s 35.35/35.43 c core #229 35.35/35.43 c Core size: 4 Core Weight: 1 Total Weight: -771 35.35/35.43 c Elapsed CPU time: 34.1828 s Remaining CPU time: 1765.82 s 35.45/35.58 c core #230 35.45/35.58 c Core size: 4 Core Weight: 1 Total Weight: -770 35.45/35.58 c Elapsed CPU time: 34.3368 s Remaining CPU time: 1765.66 s 35.65/35.74 c core #231 35.65/35.74 c Core size: 4 Core Weight: 1 Total Weight: -769 35.65/35.74 c Elapsed CPU time: 34.4888 s Remaining CPU time: 1765.51 s 35.85/35.90 c core #232 35.85/35.90 c Core size: 4 Core Weight: 1 Total Weight: -768 35.85/35.90 c Elapsed CPU time: 34.6397 s Remaining CPU time: 1765.36 s 35.95/36.06 c core #233 35.95/36.06 c Core size: 4 Core Weight: 1 Total Weight: -767 35.95/36.06 c Elapsed CPU time: 34.7937 s Remaining CPU time: 1765.21 s 36.16/36.21 c core #234 36.16/36.21 c Core size: 4 Core Weight: 1 Total Weight: -766 36.16/36.21 c Elapsed CPU time: 34.9437 s Remaining CPU time: 1765.06 s 36.25/36.37 c core #235 36.25/36.37 c Core size: 4 Core Weight: 1 Total Weight: -765 36.25/36.37 c Elapsed CPU time: 35.0907 s Remaining CPU time: 1764.91 s 36.45/36.52 c core #236 36.45/36.52 c Core size: 4 Core Weight: 1 Total Weight: -764 36.45/36.53 c Elapsed CPU time: 35.2456 s Remaining CPU time: 1764.75 s 36.55/36.68 c core #237 36.55/36.68 c Core size: 4 Core Weight: 1 Total Weight: -763 36.55/36.68 c Elapsed CPU time: 35.3996 s Remaining CPU time: 1764.6 s 36.76/36.84 c core #238 36.76/36.84 c Core size: 4 Core Weight: 1 Total Weight: -762 36.76/36.84 c Elapsed CPU time: 35.5516 s Remaining CPU time: 1764.45 s 36.85/36.99 c core #239 36.85/36.99 c Core size: 4 Core Weight: 1 Total Weight: -761 36.85/36.99 c Elapsed CPU time: 35.6996 s Remaining CPU time: 1764.3 s 37.05/37.14 c core #240 37.05/37.14 c Core size: 4 Core Weight: 1 Total Weight: -760 37.05/37.14 c Elapsed CPU time: 35.8456 s Remaining CPU time: 1764.15 s 37.15/37.30 c core #241 37.15/37.30 c Core size: 4 Core Weight: 1 Total Weight: -759 37.26/37.30 c Elapsed CPU time: 35.9945 s Remaining CPU time: 1764.01 s 37.36/37.46 c core #242 37.36/37.46 c Core size: 4 Core Weight: 1 Total Weight: -758 37.36/37.46 c Elapsed CPU time: 36.1455 s Remaining CPU time: 1763.85 s 37.55/37.62 c core #243 37.55/37.62 c Core size: 4 Core Weight: 1 Total Weight: -757 37.55/37.62 c Elapsed CPU time: 36.2975 s Remaining CPU time: 1763.7 s 37.65/37.77 c core #244 37.65/37.77 c Core size: 4 Core Weight: 1 Total Weight: -756 37.65/37.77 c Elapsed CPU time: 36.4515 s Remaining CPU time: 1763.55 s 37.85/37.93 c core #245 37.85/37.93 c Core size: 4 Core Weight: 1 Total Weight: -755 37.85/37.93 c Elapsed CPU time: 36.6044 s Remaining CPU time: 1763.4 s 37.95/38.09 c core #246 37.95/38.09 c Core size: 4 Core Weight: 1 Total Weight: -754 37.95/38.09 c Elapsed CPU time: 36.7594 s Remaining CPU time: 1763.24 s 38.15/38.24 c core #247 38.15/38.24 c Core size: 4 Core Weight: 1 Total Weight: -753 38.15/38.24 c Elapsed CPU time: 36.9084 s Remaining CPU time: 1763.09 s 38.24/38.40 c core #248 38.24/38.40 c Core size: 4 Core Weight: 1 Total Weight: -752 38.24/38.40 c Elapsed CPU time: 37.0574 s Remaining CPU time: 1762.94 s 38.46/38.55 c core #249 38.46/38.55 c Core size: 4 Core Weight: 1 Total Weight: -751 38.46/38.55 c Elapsed CPU time: 37.2093 s Remaining CPU time: 1762.79 s 38.65/38.71 c core #250 38.65/38.71 c Core size: 4 Core Weight: 1 Total Weight: -750 38.65/38.71 c Elapsed CPU time: 37.3633 s Remaining CPU time: 1762.64 s 38.75/38.86 c core #251 38.75/38.86 c Core size: 4 Core Weight: 1 Total Weight: -749 38.75/38.86 c Elapsed CPU time: 37.5123 s Remaining CPU time: 1762.49 s 38.95/39.02 c core #252 38.95/39.02 c Core size: 4 Core Weight: 1 Total Weight: -748 38.95/39.02 c Elapsed CPU time: 37.6643 s Remaining CPU time: 1762.34 s 39.05/39.17 c core #253 39.05/39.17 c Core size: 4 Core Weight: 1 Total Weight: -747 39.05/39.17 c Elapsed CPU time: 37.8163 s Remaining CPU time: 1762.18 s 39.25/39.33 c core #254 39.25/39.33 c Core size: 4 Core Weight: 1 Total Weight: -746 39.25/39.33 c Elapsed CPU time: 37.9652 s Remaining CPU time: 1762.03 s 39.34/39.49 c core #255 39.34/39.49 c Core size: 4 Core Weight: 1 Total Weight: -745 39.34/39.49 c Elapsed CPU time: 38.1172 s Remaining CPU time: 1761.88 s 39.55/39.64 c core #256 39.55/39.64 c Core size: 4 Core Weight: 1 Total Weight: -744 39.55/39.64 c Elapsed CPU time: 38.2702 s Remaining CPU time: 1761.73 s 39.74/39.80 c core #257 39.74/39.80 c Core size: 4 Core Weight: 1 Total Weight: -743 39.74/39.80 c Elapsed CPU time: 38.4212 s Remaining CPU time: 1761.58 s 39.85/39.96 c core #258 39.85/39.96 c Core size: 4 Core Weight: 1 Total Weight: -742 39.85/39.96 c Elapsed CPU time: 38.5711 s Remaining CPU time: 1761.43 s 40.05/40.12 c core #259 40.05/40.12 c Core size: 4 Core Weight: 1 Total Weight: -741 40.05/40.12 c Elapsed CPU time: 38.7301 s Remaining CPU time: 1761.27 s 40.15/40.28 c core #260 40.15/40.28 c Core size: 4 Core Weight: 1 Total Weight: -740 40.15/40.28 c Elapsed CPU time: 38.8851 s Remaining CPU time: 1761.11 s 40.34/40.44 c core #261 40.34/40.44 c Core size: 4 Core Weight: 1 Total Weight: -739 40.34/40.44 c Elapsed CPU time: 39.0391 s Remaining CPU time: 1760.96 s 40.44/40.60 c core #262 40.44/40.60 c Core size: 4 Core Weight: 1 Total Weight: -738 40.44/40.60 c Elapsed CPU time: 39.198 s Remaining CPU time: 1760.8 s 40.65/40.76 c core #263 40.65/40.76 c Core size: 4 Core Weight: 1 Total Weight: -737 40.65/40.76 c Elapsed CPU time: 39.351 s Remaining CPU time: 1760.65 s 40.85/40.92 c core #264 40.85/40.92 c Core size: 4 Core Weight: 1 Total Weight: -736 40.85/40.92 c Elapsed CPU time: 39.5 s Remaining CPU time: 1760.5 s 40.94/41.07 c core #265 40.94/41.07 c Core size: 4 Core Weight: 1 Total Weight: -735 40.94/41.07 c Elapsed CPU time: 39.653 s Remaining CPU time: 1760.35 s 41.14/41.23 c core #266 41.14/41.23 c Core size: 4 Core Weight: 1 Total Weight: -734 41.14/41.23 c Elapsed CPU time: 39.8069 s Remaining CPU time: 1760.19 s 41.24/41.39 c core #267 41.24/41.39 c Core size: 4 Core Weight: 1 Total Weight: -733 41.24/41.39 c Elapsed CPU time: 39.9629 s Remaining CPU time: 1760.04 s 41.45/41.55 c core #268 41.45/41.55 c Core size: 4 Core Weight: 1 Total Weight: -732 41.45/41.55 c Elapsed CPU time: 40.1179 s Remaining CPU time: 1759.88 s 41.65/41.71 c core #269 41.65/41.71 c Core size: 4 Core Weight: 1 Total Weight: -731 41.65/41.71 c Elapsed CPU time: 40.2719 s Remaining CPU time: 1759.73 s 41.75/41.87 c core #270 41.75/41.87 c Core size: 4 Core Weight: 1 Total Weight: -730 41.75/41.87 c Elapsed CPU time: 40.4229 s Remaining CPU time: 1759.58 s 41.94/42.03 c core #271 41.94/42.03 c Core size: 4 Core Weight: 1 Total Weight: -729 41.94/42.03 c Elapsed CPU time: 40.5788 s Remaining CPU time: 1759.42 s 42.04/42.18 c core #272 42.04/42.18 c Core size: 4 Core Weight: 1 Total Weight: -728 42.04/42.18 c Elapsed CPU time: 40.7338 s Remaining CPU time: 1759.27 s 42.25/42.34 c core #273 42.25/42.34 c Core size: 4 Core Weight: 1 Total Weight: -727 42.25/42.34 c Elapsed CPU time: 40.8858 s Remaining CPU time: 1759.11 s 42.45/42.50 c core #274 42.45/42.50 c Core size: 4 Core Weight: 1 Total Weight: -726 42.45/42.50 c Elapsed CPU time: 41.0378 s Remaining CPU time: 1758.96 s 42.55/42.66 c core #275 42.55/42.66 c Core size: 4 Core Weight: 1 Total Weight: -725 42.55/42.66 c Elapsed CPU time: 41.1887 s Remaining CPU time: 1758.81 s 42.75/42.81 c core #276 42.75/42.81 c Core size: 4 Core Weight: 1 Total Weight: -724 42.75/42.81 c Elapsed CPU time: 41.3407 s Remaining CPU time: 1758.66 s 42.85/42.97 c core #277 42.85/42.97 c Core size: 4 Core Weight: 1 Total Weight: -723 42.85/42.97 c Elapsed CPU time: 41.4947 s Remaining CPU time: 1758.51 s 43.04/43.13 c core #278 43.04/43.13 c Core size: 4 Core Weight: 1 Total Weight: -722 43.04/43.13 c Elapsed CPU time: 41.6447 s Remaining CPU time: 1758.36 s 43.15/43.29 c core #279 43.15/43.29 c Core size: 4 Core Weight: 1 Total Weight: -721 43.15/43.29 c Elapsed CPU time: 41.7996 s Remaining CPU time: 1758.2 s 43.34/43.45 c core #280 43.34/43.45 c Core size: 4 Core Weight: 1 Total Weight: -720 43.34/43.45 c Elapsed CPU time: 41.9546 s Remaining CPU time: 1758.05 s 43.54/43.60 c core #281 43.54/43.60 c Core size: 4 Core Weight: 1 Total Weight: -719 43.54/43.60 c Elapsed CPU time: 42.1046 s Remaining CPU time: 1757.9 s 43.64/43.76 c core #282 43.64/43.76 c Core size: 4 Core Weight: 1 Total Weight: -718 43.64/43.76 c Elapsed CPU time: 42.2566 s Remaining CPU time: 1757.74 s 43.85/43.92 c core #283 43.85/43.92 c Core size: 4 Core Weight: 1 Total Weight: -717 43.85/43.92 c Elapsed CPU time: 42.4086 s Remaining CPU time: 1757.59 s 43.94/44.08 c core #284 43.94/44.08 c Core size: 4 Core Weight: 1 Total Weight: -716 43.94/44.08 c Elapsed CPU time: 42.5645 s Remaining CPU time: 1757.44 s 44.15/44.24 c core #285 44.15/44.24 c Core size: 4 Core Weight: 1 Total Weight: -715 44.15/44.24 c Elapsed CPU time: 42.7225 s Remaining CPU time: 1757.28 s 44.25/44.40 c core #286 44.25/44.40 c Core size: 4 Core Weight: 1 Total Weight: -714 44.25/44.40 c Elapsed CPU time: 42.8785 s Remaining CPU time: 1757.12 s 44.44/44.56 c core #287 44.44/44.56 c Core size: 4 Core Weight: 1 Total Weight: -713 44.44/44.56 c Elapsed CPU time: 43.0315 s Remaining CPU time: 1756.97 s 44.64/44.71 c core #288 44.64/44.71 c Core size: 4 Core Weight: 1 Total Weight: -712 44.64/44.71 c Elapsed CPU time: 43.1814 s Remaining CPU time: 1756.82 s 44.74/44.88 c core #289 44.74/44.88 c Core size: 4 Core Weight: 1 Total Weight: -711 44.74/44.88 c Elapsed CPU time: 43.3414 s Remaining CPU time: 1756.66 s 44.94/45.04 c core #290 44.94/45.04 c Core size: 4 Core Weight: 1 Total Weight: -710 44.94/45.04 c Elapsed CPU time: 43.4934 s Remaining CPU time: 1756.51 s 45.14/45.20 c core #291 45.14/45.20 c Core size: 4 Core Weight: 1 Total Weight: -709 45.14/45.20 c Elapsed CPU time: 43.6554 s Remaining CPU time: 1756.34 s 45.24/45.36 c core #292 45.24/45.36 c Core size: 4 Core Weight: 1 Total Weight: -708 45.24/45.36 c Elapsed CPU time: 43.8083 s Remaining CPU time: 1756.19 s 45.44/45.52 c core #293 45.44/45.52 c Core size: 4 Core Weight: 1 Total Weight: -707 45.44/45.52 c Elapsed CPU time: 43.9633 s Remaining CPU time: 1756.04 s 45.54/45.68 c core #294 45.54/45.68 c Core size: 4 Core Weight: 1 Total Weight: -706 45.54/45.68 c Elapsed CPU time: 44.1123 s Remaining CPU time: 1755.89 s 45.74/45.84 c core #295 45.74/45.84 c Core size: 4 Core Weight: 1 Total Weight: -705 45.74/45.84 c Elapsed CPU time: 44.2683 s Remaining CPU time: 1755.73 s 45.94/46.00 c core #296 45.94/46.00 c Core size: 4 Core Weight: 1 Total Weight: -704 45.94/46.00 c Elapsed CPU time: 44.4232 s Remaining CPU time: 1755.58 s 46.04/46.16 c core #297 46.04/46.16 c Core size: 4 Core Weight: 1 Total Weight: -703 46.04/46.16 c Elapsed CPU time: 44.5792 s Remaining CPU time: 1755.42 s 46.24/46.32 c core #298 46.24/46.32 c Core size: 4 Core Weight: 1 Total Weight: -702 46.24/46.32 c Elapsed CPU time: 44.7352 s Remaining CPU time: 1755.26 s 46.34/46.48 c core #299 46.34/46.48 c Core size: 4 Core Weight: 1 Total Weight: -701 46.34/46.48 c Elapsed CPU time: 44.8872 s Remaining CPU time: 1755.11 s 46.54/46.64 c core #300 46.54/46.64 c Core size: 4 Core Weight: 1 Total Weight: -700 46.54/46.64 c Elapsed CPU time: 45.0402 s Remaining CPU time: 1754.96 s 46.74/46.80 c core #301 46.74/46.80 c Core size: 4 Core Weight: 1 Total Weight: -699 46.74/46.80 c Elapsed CPU time: 45.1921 s Remaining CPU time: 1754.81 s 46.84/46.96 c core #302 46.84/46.96 c Core size: 4 Core Weight: 1 Total Weight: -698 46.84/46.96 c Elapsed CPU time: 45.3471 s Remaining CPU time: 1754.65 s 47.04/47.12 c core #303 47.04/47.12 c Core size: 4 Core Weight: 1 Total Weight: -697 47.04/47.12 c Elapsed CPU time: 45.4961 s Remaining CPU time: 1754.5 s 47.14/47.27 c core #304 47.14/47.27 c Core size: 4 Core Weight: 1 Total Weight: -696 47.14/47.27 c Elapsed CPU time: 45.6491 s Remaining CPU time: 1754.35 s 47.34/47.43 c core #305 47.34/47.43 c Core size: 4 Core Weight: 1 Total Weight: -695 47.34/47.43 c Elapsed CPU time: 45.803 s Remaining CPU time: 1754.2 s 47.44/47.59 c core #306 47.44/47.59 c Core size: 4 Core Weight: 1 Total Weight: -694 47.44/47.59 c Elapsed CPU time: 45.95 s Remaining CPU time: 1754.05 s 47.64/47.75 c core #307 47.64/47.75 c Core size: 4 Core Weight: 1 Total Weight: -693 47.64/47.75 c Elapsed CPU time: 46.1 s Remaining CPU time: 1753.9 s 47.84/47.91 c core #308 47.84/47.91 c Core size: 4 Core Weight: 1 Total Weight: -692 47.84/47.91 c Elapsed CPU time: 46.252 s Remaining CPU time: 1753.75 s 47.94/48.07 c core #309 47.94/48.07 c Core size: 4 Core Weight: 1 Total Weight: -691 47.94/48.07 c Elapsed CPU time: 46.4109 s Remaining CPU time: 1753.59 s 48.14/48.23 c core #310 48.14/48.23 c Core size: 4 Core Weight: 1 Total Weight: -690 48.14/48.23 c Elapsed CPU time: 46.5689 s Remaining CPU time: 1753.43 s 48.24/48.39 c core #311 48.24/48.39 c Core size: 4 Core Weight: 1 Total Weight: -689 48.24/48.39 c Elapsed CPU time: 46.7259 s Remaining CPU time: 1753.27 s 48.44/48.55 c core #312 48.44/48.55 c Core size: 4 Core Weight: 1 Total Weight: -688 48.44/48.55 c Elapsed CPU time: 46.8799 s Remaining CPU time: 1753.12 s 48.63/48.72 c core #313 48.63/48.72 c Core size: 4 Core Weight: 1 Total Weight: -687 48.63/48.72 c Elapsed CPU time: 47.0428 s Remaining CPU time: 1752.96 s 48.74/48.88 c core #314 48.74/48.88 c Core size: 4 Core Weight: 1 Total Weight: -686 48.74/48.88 c Elapsed CPU time: 47.1978 s Remaining CPU time: 1752.8 s 48.93/49.04 c core #315 48.93/49.04 c Core size: 4 Core Weight: 1 Total Weight: -685 48.93/49.04 c Elapsed CPU time: 47.3538 s Remaining CPU time: 1752.65 s 49.13/49.21 c core #316 49.13/49.21 c Core size: 4 Core Weight: 1 Total Weight: -684 49.13/49.21 c Elapsed CPU time: 47.5078 s Remaining CPU time: 1752.49 s 49.24/49.37 c core #317 49.24/49.37 c Core size: 4 Core Weight: 1 Total Weight: -683 49.24/49.37 c Elapsed CPU time: 47.6628 s Remaining CPU time: 1752.34 s 49.44/49.52 c core #318 49.44/49.52 c Core size: 4 Core Weight: 1 Total Weight: -682 49.44/49.52 c Elapsed CPU time: 47.8087 s Remaining CPU time: 1752.19 s 49.53/49.68 c core #319 49.53/49.68 c Core size: 4 Core Weight: 1 Total Weight: -681 49.53/49.68 c Elapsed CPU time: 47.9577 s Remaining CPU time: 1752.04 s 49.74/49.84 c core #320 49.74/49.84 c Core size: 4 Core Weight: 1 Total Weight: -680 49.74/49.84 c Elapsed CPU time: 48.1117 s Remaining CPU time: 1751.89 s 49.83/49.99 c core #321 49.83/49.99 c Core size: 4 Core Weight: 1 Total Weight: -679 49.83/49.99 c Elapsed CPU time: 48.2657 s Remaining CPU time: 1751.73 s 50.03/50.16 c core #322 50.03/50.16 c Core size: 4 Core Weight: 1 Total Weight: -678 50.03/50.16 c Elapsed CPU time: 48.4246 s Remaining CPU time: 1751.58 s 50.23/50.32 c core #323 50.23/50.32 c Core size: 4 Core Weight: 1 Total Weight: -677 50.23/50.32 c Elapsed CPU time: 48.5826 s Remaining CPU time: 1751.42 s 50.33/50.48 c core #324 50.33/50.48 c Core size: 4 Core Weight: 1 Total Weight: -676 50.33/50.48 c Elapsed CPU time: 48.7346 s Remaining CPU time: 1751.27 s 50.54/50.63 c core #325 50.54/50.63 c Core size: 4 Core Weight: 1 Total Weight: -675 50.54/50.63 c Elapsed CPU time: 48.8886 s Remaining CPU time: 1751.11 s 50.63/50.79 c core #326 50.63/50.79 c Core size: 4 Core Weight: 1 Total Weight: -674 50.63/50.79 c Elapsed CPU time: 49.0405 s Remaining CPU time: 1750.96 s 50.83/50.95 c core #327 50.83/50.95 c Core size: 4 Core Weight: 1 Total Weight: -673 50.83/50.95 c Elapsed CPU time: 49.1935 s Remaining CPU time: 1750.81 s 51.03/51.11 c core #328 51.03/51.11 c Core size: 4 Core Weight: 1 Total Weight: -672 51.03/51.11 c Elapsed CPU time: 49.3445 s Remaining CPU time: 1750.66 s 51.14/51.27 c core #329 51.14/51.27 c Core size: 4 Core Weight: 1 Total Weight: -671 51.14/51.27 c Elapsed CPU time: 49.4955 s Remaining CPU time: 1750.5 s 51.34/51.43 c core #330 51.34/51.43 c Core size: 4 Core Weight: 1 Total Weight: -670 51.34/51.43 c Elapsed CPU time: 49.6475 s Remaining CPU time: 1750.35 s 51.43/51.59 c core #331 51.43/51.59 c Core size: 4 Core Weight: 1 Total Weight: -669 51.43/51.59 c Elapsed CPU time: 49.8044 s Remaining CPU time: 1750.2 s 51.63/51.75 c core #332 51.63/51.75 c Core size: 4 Core Weight: 1 Total Weight: -668 51.63/51.75 c Elapsed CPU time: 49.9554 s Remaining CPU time: 1750.04 s 51.83/51.91 c core #333 51.83/51.91 c Core size: 4 Core Weight: 1 Total Weight: -667 51.83/51.91 c Elapsed CPU time: 50.1084 s Remaining CPU time: 1749.89 s 51.93/52.07 c core #334 51.93/52.07 c Core size: 4 Core Weight: 1 Total Weight: -666 51.93/52.07 c Elapsed CPU time: 50.2634 s Remaining CPU time: 1749.74 s 52.14/52.23 c core #335 52.14/52.23 c Core size: 4 Core Weight: 1 Total Weight: -665 52.14/52.23 c Elapsed CPU time: 50.4203 s Remaining CPU time: 1749.58 s 52.23/52.39 c core #336 52.23/52.39 c Core size: 4 Core Weight: 1 Total Weight: -664 52.23/52.39 c Elapsed CPU time: 50.5743 s Remaining CPU time: 1749.43 s 52.44/52.55 c core #337 52.44/52.55 c Core size: 4 Core Weight: 1 Total Weight: -663 52.44/52.55 c Elapsed CPU time: 50.7273 s Remaining CPU time: 1749.27 s 52.63/52.71 c core #338 52.63/52.71 c Core size: 4 Core Weight: 1 Total Weight: -662 52.63/52.71 c Elapsed CPU time: 50.8823 s Remaining CPU time: 1749.12 s 52.74/52.87 c core #339 52.74/52.87 c Core size: 4 Core Weight: 1 Total Weight: -661 52.74/52.87 c Elapsed CPU time: 51.0382 s Remaining CPU time: 1748.96 s 52.93/53.02 c core #340 52.93/53.02 c Core size: 4 Core Weight: 1 Total Weight: -660 52.93/53.02 c Elapsed CPU time: 51.1942 s Remaining CPU time: 1748.81 s 53.03/53.19 c core #341 53.03/53.19 c Core size: 4 Core Weight: 1 Total Weight: -659 53.03/53.19 c Elapsed CPU time: 51.3482 s Remaining CPU time: 1748.65 s 53.23/53.35 c core #342 53.23/53.35 c Core size: 4 Core Weight: 1 Total Weight: -658 53.23/53.35 c Elapsed CPU time: 51.5022 s Remaining CPU time: 1748.5 s 53.42/53.51 c core #343 53.42/53.51 c Core size: 4 Core Weight: 1 Total Weight: -657 53.42/53.51 c Elapsed CPU time: 51.6571 s Remaining CPU time: 1748.34 s 53.53/53.67 c core #344 53.53/53.67 c Core size: 4 Core Weight: 1 Total Weight: -656 53.53/53.67 c Elapsed CPU time: 51.8151 s Remaining CPU time: 1748.18 s 53.73/53.83 c core #345 53.73/53.83 c Core size: 4 Core Weight: 1 Total Weight: -655 53.73/53.83 c Elapsed CPU time: 51.9671 s Remaining CPU time: 1748.03 s 53.83/53.99 c core #346 53.83/53.99 c Core size: 4 Core Weight: 1 Total Weight: -654 53.83/53.99 c Elapsed CPU time: 52.1241 s Remaining CPU time: 1747.88 s 54.03/54.15 c core #347 54.03/54.15 c Core size: 4 Core Weight: 1 Total Weight: -653 54.03/54.15 c Elapsed CPU time: 52.2811 s Remaining CPU time: 1747.72 s 54.23/54.31 c core #348 54.23/54.31 c Core size: 4 Core Weight: 1 Total Weight: -652 54.23/54.31 c Elapsed CPU time: 52.434 s Remaining CPU time: 1747.57 s 54.33/54.46 c core #349 54.33/54.46 c Core size: 4 Core Weight: 1 Total Weight: -651 54.33/54.46 c Elapsed CPU time: 52.587 s Remaining CPU time: 1747.41 s 54.53/54.62 c core #350 54.53/54.62 c Core size: 4 Core Weight: 1 Total Weight: -650 54.53/54.62 c Elapsed CPU time: 52.741 s Remaining CPU time: 1747.26 s 54.63/54.78 c core #351 54.63/54.78 c Core size: 4 Core Weight: 1 Total Weight: -649 54.63/54.78 c Elapsed CPU time: 52.894 s Remaining CPU time: 1747.11 s 54.83/54.94 c core #352 54.83/54.94 c Core size: 4 Core Weight: 1 Total Weight: -648 54.83/54.94 c Elapsed CPU time: 53.0479 s Remaining CPU time: 1746.95 s 55.02/55.10 c core #353 55.02/55.10 c Core size: 4 Core Weight: 1 Total Weight: -647 55.02/55.10 c Elapsed CPU time: 53.2009 s Remaining CPU time: 1746.8 s 55.13/55.26 c core #354 55.13/55.26 c Core size: 4 Core Weight: 1 Total Weight: -646 55.13/55.26 c Elapsed CPU time: 53.3539 s Remaining CPU time: 1746.65 s 55.33/55.42 c core #355 55.33/55.42 c Core size: 4 Core Weight: 1 Total Weight: -645 55.33/55.42 c Elapsed CPU time: 53.5069 s Remaining CPU time: 1746.49 s 55.43/55.58 c core #356 55.43/55.58 c Core size: 4 Core Weight: 1 Total Weight: -644 55.43/55.58 c Elapsed CPU time: 53.6638 s Remaining CPU time: 1746.34 s 55.62/55.74 c core #357 55.62/55.74 c Core size: 4 Core Weight: 1 Total Weight: -643 55.62/55.74 c Elapsed CPU time: 53.8188 s Remaining CPU time: 1746.18 s 55.83/55.90 c core #358 55.83/55.90 c Core size: 4 Core Weight: 1 Total Weight: -642 55.83/55.90 c Elapsed CPU time: 53.9748 s Remaining CPU time: 1746.03 s 55.93/56.06 c core #359 55.93/56.06 c Core size: 4 Core Weight: 1 Total Weight: -641 55.93/56.06 c Elapsed CPU time: 54.1308 s Remaining CPU time: 1745.87 s 56.13/56.22 c core #360 56.13/56.22 c Core size: 4 Core Weight: 1 Total Weight: -640 56.13/56.22 c Elapsed CPU time: 54.2837 s Remaining CPU time: 1745.72 s 56.23/56.38 c core #361 56.23/56.38 c Core size: 4 Core Weight: 1 Total Weight: -639 56.23/56.38 c Elapsed CPU time: 54.4387 s Remaining CPU time: 1745.56 s 56.43/56.54 c core #362 56.43/56.54 c Core size: 4 Core Weight: 1 Total Weight: -638 56.43/56.54 c Elapsed CPU time: 54.5937 s Remaining CPU time: 1745.41 s 56.62/56.70 c core #363 56.62/56.70 c Core size: 4 Core Weight: 1 Total Weight: -637 56.62/56.70 c Elapsed CPU time: 54.7507 s Remaining CPU time: 1745.25 s 56.72/56.86 c core #364 56.72/56.86 c Core size: 4 Core Weight: 1 Total Weight: -636 56.72/56.86 c Elapsed CPU time: 54.9027 s Remaining CPU time: 1745.1 s 56.92/57.02 c core #365 56.92/57.02 c Core size: 4 Core Weight: 1 Total Weight: -635 56.92/57.02 c Elapsed CPU time: 55.0576 s Remaining CPU time: 1744.94 s 57.03/57.18 c core #366 57.03/57.18 c Core size: 4 Core Weight: 1 Total Weight: -634 57.03/57.18 c Elapsed CPU time: 55.2066 s Remaining CPU time: 1744.79 s 57.23/57.34 c core #367 57.23/57.34 c Core size: 4 Core Weight: 1 Total Weight: -633 57.23/57.34 c Elapsed CPU time: 55.3626 s Remaining CPU time: 1744.64 s 57.43/57.50 c core #368 57.43/57.50 c Core size: 4 Core Weight: 1 Total Weight: -632 57.43/57.50 c Elapsed CPU time: 55.5226 s Remaining CPU time: 1744.48 s 57.52/57.66 c core #369 57.52/57.66 c Core size: 4 Core Weight: 1 Total Weight: -631 57.52/57.66 c Elapsed CPU time: 55.6775 s Remaining CPU time: 1744.32 s 57.72/57.82 c core #370 57.72/57.82 c Core size: 4 Core Weight: 1 Total Weight: -630 57.72/57.82 c Elapsed CPU time: 55.8325 s Remaining CPU time: 1744.17 s 57.83/57.98 c core #371 57.83/57.98 c Core size: 4 Core Weight: 1 Total Weight: -629 57.83/57.98 c Elapsed CPU time: 55.9865 s Remaining CPU time: 1744.01 s 58.02/58.15 c core #372 58.02/58.15 c Core size: 4 Core Weight: 1 Total Weight: -628 58.02/58.15 c Elapsed CPU time: 56.1435 s Remaining CPU time: 1743.86 s 58.22/58.31 c core #373 58.22/58.31 c Core size: 4 Core Weight: 1 Total Weight: -627 58.22/58.31 c Elapsed CPU time: 56.2974 s Remaining CPU time: 1743.7 s 58.33/58.47 c core #374 58.33/58.47 c Core size: 4 Core Weight: 1 Total Weight: -626 58.33/58.47 c Elapsed CPU time: 56.4534 s Remaining CPU time: 1743.55 s 58.52/58.63 c core #375 58.52/58.63 c Core size: 4 Core Weight: 1 Total Weight: -625 58.52/58.63 c Elapsed CPU time: 56.6104 s Remaining CPU time: 1743.39 s 58.63/58.80 c core #376 58.63/58.80 c Core size: 4 Core Weight: 1 Total Weight: -624 58.63/58.80 c Elapsed CPU time: 56.7684 s Remaining CPU time: 1743.23 s 58.82/58.96 c core #377 58.82/58.96 c Core size: 4 Core Weight: 1 Total Weight: -623 58.82/58.96 c Elapsed CPU time: 56.9263 s Remaining CPU time: 1743.07 s 59.02/59.12 c core #378 59.02/59.12 c Core size: 4 Core Weight: 1 Total Weight: -622 59.02/59.12 c Elapsed CPU time: 57.0813 s Remaining CPU time: 1742.92 s 59.12/59.29 c core #379 59.12/59.29 c Core size: 4 Core Weight: 1 Total Weight: -621 59.12/59.29 c Elapsed CPU time: 57.2463 s Remaining CPU time: 1742.75 s 59.33/59.45 c core #380 59.33/59.45 c Core size: 4 Core Weight: 1 Total Weight: -620 59.33/59.45 c Elapsed CPU time: 57.4023 s Remaining CPU time: 1742.6 s 59.53/59.62 c core #381 59.53/59.62 c Core size: 4 Core Weight: 1 Total Weight: -619 59.53/59.62 c Elapsed CPU time: 57.5642 s Remaining CPU time: 1742.44 s 59.63/59.78 c core #382 59.63/59.78 c Core size: 4 Core Weight: 1 Total Weight: -618 59.63/59.78 c Elapsed CPU time: 57.7162 s Remaining CPU time: 1742.28 s 59.83/59.94 c core #383 59.83/59.94 c Core size: 4 Core Weight: 1 Total Weight: -617 59.83/59.94 c Elapsed CPU time: 57.8782 s Remaining CPU time: 1742.12 s 60.02/60.11 c core #384 60.02/60.11 c Core size: 4 Core Weight: 1 Total Weight: -616 60.02/60.11 c Elapsed CPU time: 58.0382 s Remaining CPU time: 1741.96 s 60.12/60.27 c core #385 60.12/60.27 c Core size: 4 Core Weight: 1 Total Weight: -615 60.12/60.27 c Elapsed CPU time: 58.1942 s Remaining CPU time: 1741.81 s 60.32/60.43 c core #386 60.32/60.43 c Core size: 4 Core Weight: 1 Total Weight: -614 60.32/60.43 c Elapsed CPU time: 58.3481 s Remaining CPU time: 1741.65 s 60.43/60.59 c core #387 60.43/60.59 c Core size: 4 Core Weight: 1 Total Weight: -613 60.43/60.59 c Elapsed CPU time: 58.5021 s Remaining CPU time: 1741.5 s 60.62/60.75 c core #388 60.62/60.75 c Core size: 4 Core Weight: 1 Total Weight: -612 60.62/60.75 c Elapsed CPU time: 58.6601 s Remaining CPU time: 1741.34 s 60.83/60.92 c core #389 60.83/60.92 c Core size: 4 Core Weight: 1 Total Weight: -611 60.83/60.92 c Elapsed CPU time: 58.8241 s Remaining CPU time: 1741.18 s 60.92/61.08 c core #390 60.92/61.08 c Core size: 4 Core Weight: 1 Total Weight: -610 60.92/61.08 c Elapsed CPU time: 58.979 s Remaining CPU time: 1741.02 s 61.12/61.25 c core #391 61.12/61.25 c Core size: 4 Core Weight: 1 Total Weight: -609 61.12/61.25 c Elapsed CPU time: 59.135 s Remaining CPU time: 1740.86 s 61.32/61.41 c core #392 61.32/61.41 c Core size: 4 Core Weight: 1 Total Weight: -608 61.32/61.41 c Elapsed CPU time: 59.291 s Remaining CPU time: 1740.71 s 61.42/61.57 c core #393 61.42/61.57 c Core size: 4 Core Weight: 1 Total Weight: -607 61.42/61.57 c Elapsed CPU time: 59.447 s Remaining CPU time: 1740.55 s 61.62/61.74 c core #394 61.62/61.74 c Core size: 4 Core Weight: 1 Total Weight: -606 61.62/61.74 c Elapsed CPU time: 59.6079 s Remaining CPU time: 1740.39 s 61.82/61.91 c core #395 61.82/61.91 c Core size: 4 Core Weight: 1 Total Weight: -605 61.82/61.91 c Elapsed CPU time: 59.7739 s Remaining CPU time: 1740.23 s 61.92/62.08 c core #396 61.92/62.08 c Core size: 4 Core Weight: 1 Total Weight: -604 61.92/62.08 c Elapsed CPU time: 59.9299 s Remaining CPU time: 1740.07 s 62.12/62.24 c core #397 62.12/62.24 c Core size: 4 Core Weight: 1 Total Weight: -603 62.12/62.25 c Elapsed CPU time: 60.0909 s Remaining CPU time: 1739.91 s 62.32/62.41 c core #398 62.32/62.41 c Core size: 4 Core Weight: 1 Total Weight: -602 62.32/62.41 c Elapsed CPU time: 60.2508 s Remaining CPU time: 1739.75 s 62.42/62.58 c core #399 62.42/62.58 c Core size: 4 Core Weight: 1 Total Weight: -601 62.42/62.58 c Elapsed CPU time: 60.4158 s Remaining CPU time: 1739.58 s 62.63/62.75 c core #400 62.63/62.75 c Core size: 4 Core Weight: 1 Total Weight: -600 62.63/62.75 c Elapsed CPU time: 60.5768 s Remaining CPU time: 1739.42 s 62.82/62.92 c core #401 62.82/62.92 c Core size: 4 Core Weight: 1 Total Weight: -599 62.82/62.92 c Elapsed CPU time: 60.7418 s Remaining CPU time: 1739.26 s 62.92/63.08 c core #402 62.92/63.08 c Core size: 4 Core Weight: 1 Total Weight: -598 62.92/63.08 c Elapsed CPU time: 60.9037 s Remaining CPU time: 1739.1 s 63.12/63.25 c core #403 63.12/63.25 c Core size: 4 Core Weight: 1 Total Weight: -597 63.12/63.25 c Elapsed CPU time: 61.0687 s Remaining CPU time: 1738.93 s 63.32/63.41 c core #404 63.32/63.41 c Core size: 4 Core Weight: 1 Total Weight: -596 63.32/63.42 c Elapsed CPU time: 61.2237 s Remaining CPU time: 1738.78 s 63.42/63.58 c core #405 63.42/63.58 c Core size: 4 Core Weight: 1 Total Weight: -595 63.42/63.58 c Elapsed CPU time: 61.3847 s Remaining CPU time: 1738.62 s 63.62/63.74 c core #406 63.62/63.74 c Core size: 4 Core Weight: 1 Total Weight: -594 63.62/63.74 c Elapsed CPU time: 61.5446 s Remaining CPU time: 1738.46 s 63.82/63.91 c core #407 63.82/63.91 c Core size: 4 Core Weight: 1 Total Weight: -593 63.82/63.91 c Elapsed CPU time: 61.7106 s Remaining CPU time: 1738.29 s 63.92/64.07 c core #408 63.92/64.07 c Core size: 4 Core Weight: 1 Total Weight: -592 63.92/64.07 c Elapsed CPU time: 61.8656 s Remaining CPU time: 1738.13 s 64.12/64.24 c core #409 64.12/64.24 c Core size: 4 Core Weight: 1 Total Weight: -591 64.12/64.24 c Elapsed CPU time: 62.0276 s Remaining CPU time: 1737.97 s 64.32/64.41 c core #410 64.32/64.41 c Core size: 4 Core Weight: 1 Total Weight: -590 64.32/64.41 c Elapsed CPU time: 62.1905 s Remaining CPU time: 1737.81 s 64.42/64.57 c core #411 64.42/64.57 c Core size: 4 Core Weight: 1 Total Weight: -589 64.42/64.58 c Elapsed CPU time: 62.3535 s Remaining CPU time: 1737.65 s 64.61/64.74 c core #412 64.61/64.74 c Core size: 4 Core Weight: 1 Total Weight: -588 64.61/64.74 c Elapsed CPU time: 62.5115 s Remaining CPU time: 1737.49 s 64.82/64.90 c core #413 64.82/64.90 c Core size: 4 Core Weight: 1 Total Weight: -587 64.82/64.90 c Elapsed CPU time: 62.6695 s Remaining CPU time: 1737.33 s 64.91/65.07 c core #414 64.91/65.07 c Core size: 4 Core Weight: 1 Total Weight: -586 64.91/65.07 c Elapsed CPU time: 62.8294 s Remaining CPU time: 1737.17 s 65.12/65.24 c core #415 65.12/65.24 c Core size: 4 Core Weight: 1 Total Weight: -585 65.12/65.24 c Elapsed CPU time: 62.9914 s Remaining CPU time: 1737.01 s 65.32/65.40 c core #416 65.32/65.40 c Core size: 4 Core Weight: 1 Total Weight: -584 65.32/65.40 c Elapsed CPU time: 63.1534 s Remaining CPU time: 1736.85 s 65.42/65.57 c core #417 65.42/65.57 c Core size: 4 Core Weight: 1 Total Weight: -583 65.42/65.57 c Elapsed CPU time: 63.3164 s Remaining CPU time: 1736.68 s 65.62/65.74 c core #418 65.62/65.74 c Core size: 4 Core Weight: 1 Total Weight: -582 65.62/65.74 c Elapsed CPU time: 63.4753 s Remaining CPU time: 1736.52 s 65.83/65.90 c core #419 65.83/65.90 c Core size: 4 Core Weight: 1 Total Weight: -581 65.83/65.90 c Elapsed CPU time: 63.6333 s Remaining CPU time: 1736.37 s 65.92/66.07 c core #420 65.92/66.07 c Core size: 4 Core Weight: 1 Total Weight: -580 65.92/66.07 c Elapsed CPU time: 63.7983 s Remaining CPU time: 1736.2 s 66.12/66.24 c core #421 66.12/66.24 c Core size: 4 Core Weight: 1 Total Weight: -579 66.12/66.24 c Elapsed CPU time: 63.9673 s Remaining CPU time: 1736.03 s 66.31/66.41 c core #422 66.31/66.41 c Core size: 4 Core Weight: 1 Total Weight: -578 66.31/66.41 c Elapsed CPU time: 64.1303 s Remaining CPU time: 1735.87 s 66.42/66.58 c core #423 66.42/66.58 c Core size: 4 Core Weight: 1 Total Weight: -577 66.42/66.58 c Elapsed CPU time: 64.2982 s Remaining CPU time: 1735.7 s 66.61/66.75 c core #424 66.61/66.75 c Core size: 4 Core Weight: 1 Total Weight: -576 66.61/66.75 c Elapsed CPU time: 64.4592 s Remaining CPU time: 1735.54 s 66.81/66.92 c core #425 66.81/66.92 c Core size: 4 Core Weight: 1 Total Weight: -575 66.81/66.92 c Elapsed CPU time: 64.6292 s Remaining CPU time: 1735.37 s 66.92/67.09 c core #426 66.92/67.09 c Core size: 4 Core Weight: 1 Total Weight: -574 66.92/67.09 c Elapsed CPU time: 64.7892 s Remaining CPU time: 1735.21 s 67.11/67.26 c core #427 67.11/67.26 c Core size: 4 Core Weight: 1 Total Weight: -573 67.11/67.26 c Elapsed CPU time: 64.9531 s Remaining CPU time: 1735.05 s 67.31/67.42 c core #428 67.31/67.42 c Core size: 4 Core Weight: 1 Total Weight: -572 67.31/67.42 c Elapsed CPU time: 65.1141 s Remaining CPU time: 1734.89 s 67.41/67.59 c core #429 67.41/67.59 c Core size: 4 Core Weight: 1 Total Weight: -571 67.41/67.59 c Elapsed CPU time: 65.2801 s Remaining CPU time: 1734.72 s 67.62/67.76 c core #430 67.62/67.76 c Core size: 4 Core Weight: 1 Total Weight: -570 67.62/67.76 c Elapsed CPU time: 65.445 s Remaining CPU time: 1734.55 s 67.81/67.93 c core #431 67.81/67.93 c Core size: 4 Core Weight: 1 Total Weight: -569 67.81/67.93 c Elapsed CPU time: 65.612 s Remaining CPU time: 1734.39 s 68.02/68.10 c core #432 68.02/68.10 c Core size: 4 Core Weight: 1 Total Weight: -568 68.02/68.10 c Elapsed CPU time: 65.774 s Remaining CPU time: 1734.23 s 68.12/68.27 c core #433 68.12/68.27 c Core size: 4 Core Weight: 1 Total Weight: -567 68.12/68.27 c Elapsed CPU time: 65.936 s Remaining CPU time: 1734.06 s 68.31/68.44 c core #434 68.31/68.44 c Core size: 4 Core Weight: 1 Total Weight: -566 68.31/68.44 c Elapsed CPU time: 66.093 s Remaining CPU time: 1733.91 s 68.51/68.61 c core #435 68.51/68.61 c Core size: 4 Core Weight: 1 Total Weight: -565 68.51/68.61 c Elapsed CPU time: 66.2629 s Remaining CPU time: 1733.74 s 68.61/68.78 c core #436 68.61/68.78 c Core size: 4 Core Weight: 1 Total Weight: -564 68.61/68.78 c Elapsed CPU time: 66.4269 s Remaining CPU time: 1733.57 s 68.81/68.95 c core #437 68.81/68.95 c Core size: 4 Core Weight: 1 Total Weight: -563 68.81/68.95 c Elapsed CPU time: 66.5929 s Remaining CPU time: 1733.41 s 69.01/69.12 c core #438 69.01/69.12 c Core size: 4 Core Weight: 1 Total Weight: -562 69.01/69.12 c Elapsed CPU time: 66.7648 s Remaining CPU time: 1733.24 s 69.22/69.30 c core #439 69.22/69.30 c Core size: 4 Core Weight: 1 Total Weight: -561 69.22/69.30 c Elapsed CPU time: 66.9348 s Remaining CPU time: 1733.07 s 69.31/69.48 c core #440 69.31/69.48 c Core size: 4 Core Weight: 1 Total Weight: -560 69.31/69.48 c Elapsed CPU time: 67.1038 s Remaining CPU time: 1732.9 s 69.52/69.64 c core #441 69.52/69.64 c Core size: 4 Core Weight: 1 Total Weight: -559 69.52/69.64 c Elapsed CPU time: 67.2648 s Remaining CPU time: 1732.74 s 69.71/69.81 c core #442 69.71/69.81 c Core size: 4 Core Weight: 1 Total Weight: -558 69.71/69.81 c Elapsed CPU time: 67.4257 s Remaining CPU time: 1732.57 s 69.82/69.98 c core #443 69.82/69.98 c Core size: 4 Core Weight: 1 Total Weight: -557 69.82/69.98 c Elapsed CPU time: 67.5967 s Remaining CPU time: 1732.4 s 70.01/70.15 c core #444 70.01/70.15 c Core size: 4 Core Weight: 1 Total Weight: -556 70.01/70.15 c Elapsed CPU time: 67.7607 s Remaining CPU time: 1732.24 s 70.21/70.32 c core #445 70.21/70.32 c Core size: 4 Core Weight: 1 Total Weight: -555 70.21/70.32 c Elapsed CPU time: 67.9317 s Remaining CPU time: 1732.07 s 70.32/70.49 c core #446 70.32/70.49 c Core size: 4 Core Weight: 1 Total Weight: -554 70.32/70.49 c Elapsed CPU time: 68.0916 s Remaining CPU time: 1731.91 s 70.52/70.66 c core #447 70.52/70.66 c Core size: 4 Core Weight: 1 Total Weight: -553 70.52/70.66 c Elapsed CPU time: 68.2566 s Remaining CPU time: 1731.74 s 70.71/70.83 c core #448 70.71/70.83 c Core size: 4 Core Weight: 1 Total Weight: -552 70.71/70.83 c Elapsed CPU time: 68.4166 s Remaining CPU time: 1731.58 s 70.91/71.00 c core #449 70.91/71.00 c Core size: 4 Core Weight: 1 Total Weight: -551 70.91/71.00 c Elapsed CPU time: 68.5786 s Remaining CPU time: 1731.42 s 71.01/71.17 c core #450 71.01/71.17 c Core size: 4 Core Weight: 1 Total Weight: -550 71.01/71.17 c Elapsed CPU time: 68.7455 s Remaining CPU time: 1731.25 s 71.21/71.34 c core #451 71.21/71.34 c Core size: 4 Core Weight: 1 Total Weight: -549 71.21/71.34 c Elapsed CPU time: 68.9135 s Remaining CPU time: 1731.09 s 71.42/71.51 c core #452 71.42/71.51 c Core size: 4 Core Weight: 1 Total Weight: -548 71.42/71.51 c Elapsed CPU time: 69.0785 s Remaining CPU time: 1730.92 s 71.51/71.68 c core #453 71.51/71.68 c Core size: 4 Core Weight: 1 Total Weight: -547 71.51/71.68 c Elapsed CPU time: 69.2365 s Remaining CPU time: 1730.76 s 71.71/71.84 c core #454 71.71/71.84 c Core size: 4 Core Weight: 1 Total Weight: -546 71.71/71.84 c Elapsed CPU time: 69.3984 s Remaining CPU time: 1730.6 s 71.91/72.02 c core #455 71.91/72.02 c Core size: 4 Core Weight: 1 Total Weight: -545 71.91/72.02 c Elapsed CPU time: 69.5624 s Remaining CPU time: 1730.44 s 72.01/72.18 c core #456 72.01/72.18 c Core size: 4 Core Weight: 1 Total Weight: -544 72.01/72.18 c Elapsed CPU time: 69.7244 s Remaining CPU time: 1730.28 s 72.21/72.35 c core #457 72.21/72.35 c Core size: 4 Core Weight: 1 Total Weight: -543 72.21/72.35 c Elapsed CPU time: 69.8894 s Remaining CPU time: 1730.11 s 72.41/72.52 c core #458 72.41/72.52 c Core size: 4 Core Weight: 1 Total Weight: -542 72.41/72.52 c Elapsed CPU time: 70.0543 s Remaining CPU time: 1729.95 s 72.51/72.69 c core #459 72.51/72.69 c Core size: 4 Core Weight: 1 Total Weight: -541 72.51/72.69 c Elapsed CPU time: 70.2273 s Remaining CPU time: 1729.77 s 72.71/72.86 c core #460 72.71/72.86 c Core size: 4 Core Weight: 1 Total Weight: -540 72.71/72.86 c Elapsed CPU time: 70.3933 s Remaining CPU time: 1729.61 s 72.91/73.03 c core #461 72.91/73.03 c Core size: 4 Core Weight: 1 Total Weight: -539 72.91/73.03 c Elapsed CPU time: 70.5623 s Remaining CPU time: 1729.44 s 73.11/73.20 c core #462 73.11/73.20 c Core size: 4 Core Weight: 1 Total Weight: -538 73.11/73.20 c Elapsed CPU time: 70.7282 s Remaining CPU time: 1729.27 s 73.21/73.37 c core #463 73.21/73.37 c Core size: 4 Core Weight: 1 Total Weight: -537 73.21/73.37 c Elapsed CPU time: 70.8902 s Remaining CPU time: 1729.11 s 73.41/73.54 c core #464 73.41/73.54 c Core size: 4 Core Weight: 1 Total Weight: -536 73.41/73.54 c Elapsed CPU time: 71.0542 s Remaining CPU time: 1728.95 s 73.61/73.71 c core #465 73.61/73.71 c Core size: 4 Core Weight: 1 Total Weight: -535 73.61/73.71 c Elapsed CPU time: 71.2182 s Remaining CPU time: 1728.78 s 73.70/73.88 c core #466 73.70/73.88 c Core size: 4 Core Weight: 1 Total Weight: -534 73.70/73.88 c Elapsed CPU time: 71.3811 s Remaining CPU time: 1728.62 s 73.91/74.05 c core #467 73.91/74.05 c Core size: 4 Core Weight: 1 Total Weight: -533 73.91/74.05 c Elapsed CPU time: 71.5471 s Remaining CPU time: 1728.45 s 74.11/74.22 c core #468 74.11/74.22 c Core size: 4 Core Weight: 1 Total Weight: -532 74.11/74.22 c Elapsed CPU time: 71.7101 s Remaining CPU time: 1728.29 s 74.21/74.39 c core #469 74.21/74.39 c Core size: 4 Core Weight: 1 Total Weight: -531 74.21/74.39 c Elapsed CPU time: 71.8761 s Remaining CPU time: 1728.12 s 74.41/74.56 c core #470 74.41/74.56 c Core size: 4 Core Weight: 1 Total Weight: -530 74.41/74.56 c Elapsed CPU time: 72.041 s Remaining CPU time: 1727.96 s 74.61/74.73 c core #471 74.61/74.73 c Core size: 4 Core Weight: 1 Total Weight: -529 74.61/74.73 c Elapsed CPU time: 72.209 s Remaining CPU time: 1727.79 s 74.81/74.90 c core #472 74.81/74.90 c Core size: 4 Core Weight: 1 Total Weight: -528 74.81/74.90 c Elapsed CPU time: 72.373 s Remaining CPU time: 1727.63 s 74.91/75.08 c core #473 74.91/75.08 c Core size: 4 Core Weight: 1 Total Weight: -527 74.91/75.08 c Elapsed CPU time: 72.541 s Remaining CPU time: 1727.46 s 75.11/75.25 c core #474 75.11/75.25 c Core size: 4 Core Weight: 1 Total Weight: -526 75.11/75.25 c Elapsed CPU time: 72.7029 s Remaining CPU time: 1727.3 s 75.30/75.42 c core #475 75.30/75.42 c Core size: 4 Core Weight: 1 Total Weight: -525 75.30/75.42 c Elapsed CPU time: 72.8699 s Remaining CPU time: 1727.13 s 75.41/75.59 c core #476 75.41/75.59 c Core size: 4 Core Weight: 1 Total Weight: -524 75.41/75.59 c Elapsed CPU time: 73.0319 s Remaining CPU time: 1726.97 s 75.60/75.76 c core #477 75.60/75.76 c Core size: 4 Core Weight: 1 Total Weight: -523 75.60/75.76 c Elapsed CPU time: 73.1959 s Remaining CPU time: 1726.8 s 75.81/75.93 c core #478 75.81/75.93 c Core size: 4 Core Weight: 1 Total Weight: -522 75.81/75.93 c Elapsed CPU time: 73.3618 s Remaining CPU time: 1726.64 s 76.01/76.10 c core #479 76.01/76.10 c Core size: 4 Core Weight: 1 Total Weight: -521 76.01/76.10 c Elapsed CPU time: 73.5318 s Remaining CPU time: 1726.47 s 76.11/76.27 c core #480 76.11/76.27 c Core size: 4 Core Weight: 1 Total Weight: -520 76.11/76.27 c Elapsed CPU time: 73.6978 s Remaining CPU time: 1726.3 s 76.30/76.44 c core #481 76.30/76.44 c Core size: 4 Core Weight: 1 Total Weight: -519 76.30/76.44 c Elapsed CPU time: 73.8618 s Remaining CPU time: 1726.14 s 76.50/76.62 c core #482 76.50/76.62 c Core size: 4 Core Weight: 1 Total Weight: -518 76.50/76.62 c Elapsed CPU time: 74.0247 s Remaining CPU time: 1725.98 s 76.60/76.79 c core #483 76.60/76.79 c Core size: 4 Core Weight: 1 Total Weight: -517 76.60/76.79 c Elapsed CPU time: 74.1897 s Remaining CPU time: 1725.81 s 76.80/76.96 c core #484 76.80/76.96 c Core size: 4 Core Weight: 1 Total Weight: -516 76.80/76.96 c Elapsed CPU time: 74.3537 s Remaining CPU time: 1725.65 s 77.00/77.13 c core #485 77.00/77.13 c Core size: 4 Core Weight: 1 Total Weight: -515 77.00/77.13 c Elapsed CPU time: 74.5157 s Remaining CPU time: 1725.48 s 77.20/77.30 c core #486 77.20/77.30 c Core size: 4 Core Weight: 1 Total Weight: -514 77.20/77.30 c Elapsed CPU time: 74.6806 s Remaining CPU time: 1725.32 s 77.30/77.47 c core #487 77.30/77.47 c Core size: 4 Core Weight: 1 Total Weight: -513 77.30/77.47 c Elapsed CPU time: 74.8456 s Remaining CPU time: 1725.15 s 77.50/77.65 c core #488 77.50/77.65 c Core size: 4 Core Weight: 1 Total Weight: -512 77.50/77.65 c Elapsed CPU time: 75.0116 s Remaining CPU time: 1724.99 s 77.70/77.82 c core #489 77.70/77.82 c Core size: 4 Core Weight: 1 Total Weight: -511 77.70/77.82 c Elapsed CPU time: 75.1786 s Remaining CPU time: 1724.82 s 77.80/77.98 c core #490 77.80/77.98 c Core size: 4 Core Weight: 1 Total Weight: -510 77.80/77.98 c Elapsed CPU time: 75.3425 s Remaining CPU time: 1724.66 s 78.00/78.16 c core #491 78.00/78.16 c Core size: 4 Core Weight: 1 Total Weight: -509 78.00/78.16 c Elapsed CPU time: 75.5115 s Remaining CPU time: 1724.49 s 78.20/78.33 c core #492 78.20/78.33 c Core size: 4 Core Weight: 1 Total Weight: -508 78.20/78.33 c Elapsed CPU time: 75.6775 s Remaining CPU time: 1724.32 s 78.40/78.50 c core #493 78.40/78.50 c Core size: 9 Core Weight: 1 Total Weight: -507 78.40/78.50 c Elapsed CPU time: 75.8505 s Remaining CPU time: 1724.15 s 78.50/78.67 c core #494 78.50/78.67 c Core size: 9 Core Weight: 1 Total Weight: -506 78.50/78.67 c Elapsed CPU time: 76.0114 s Remaining CPU time: 1723.99 s 78.70/78.84 c core #495 78.70/78.84 c Core size: 9 Core Weight: 1 Total Weight: -505 78.70/78.84 c Elapsed CPU time: 76.1744 s Remaining CPU time: 1723.83 s 78.90/79.01 c core #496 78.90/79.01 c Core size: 9 Core Weight: 1 Total Weight: -504 78.90/79.01 c Elapsed CPU time: 76.3434 s Remaining CPU time: 1723.66 s 79.00/79.18 c core #497 79.00/79.18 c Core size: 9 Core Weight: 1 Total Weight: -503 79.00/79.18 c Elapsed CPU time: 76.5104 s Remaining CPU time: 1723.49 s 79.19/79.36 c core #498 79.19/79.36 c Core size: 9 Core Weight: 1 Total Weight: -502 79.19/79.36 c Elapsed CPU time: 76.6773 s Remaining CPU time: 1723.32 s 79.40/79.55 c core #499 79.40/79.55 c Core size: 33 Core Weight: 1 Total Weight: -501 79.40/79.55 c Elapsed CPU time: 76.8653 s Remaining CPU time: 1723.13 s 79.59/79.71 c core #500 79.59/79.71 c Core size: 18 Core Weight: 1 Total Weight: -500 79.59/79.71 c Elapsed CPU time: 77.0233 s Remaining CPU time: 1722.98 s 79.70/79.89 c core #501 79.70/79.89 c Core size: 13 Core Weight: 1 Total Weight: -499 79.70/79.89 c Elapsed CPU time: 77.1933 s Remaining CPU time: 1722.81 s 79.89/80.06 c core #502 79.89/80.06 c Core size: 18 Core Weight: 1 Total Weight: -498 79.89/80.06 c Elapsed CPU time: 77.3612 s Remaining CPU time: 1722.64 s 80.11/80.23 c ============================[ Search Statistics ]============================== 80.11/80.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.11/80.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.11/80.23 c =============================================================================== 80.11/80.23 c | 0 | 2040 78790 189800 | 26263 0 nan | 0.000 % | 80.11/80.24 c =============================================================================== 80.11/80.24 c core #503 80.11/80.24 c Core size: 26 Core Weight: 1 Total Weight: -497 80.11/80.24 c Elapsed CPU time: 77.5322 s Remaining CPU time: 1722.47 s 80.30/80.40 c ============================[ Search Statistics ]============================== 80.30/80.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.30/80.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.30/80.40 c =============================================================================== 80.30/80.40 c | 0 | 2049 78791 189818 | 26263 0 nan | 0.000 % | 80.30/80.41 c =============================================================================== 80.30/80.41 c core #504 80.30/80.41 c Core size: 21 Core Weight: 1 Total Weight: -496 80.30/80.41 c Elapsed CPU time: 77.7002 s Remaining CPU time: 1722.3 s 80.39/80.58 c ============================[ Search Statistics ]============================== 80.39/80.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.39/80.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.39/80.58 c =============================================================================== 80.39/80.58 c | 0 | 2057 78792 189834 | 26264 0 nan | 0.000 % | 80.39/80.59 c =============================================================================== 80.39/80.59 c core #505 80.39/80.59 c Core size: 15 Core Weight: 1 Total Weight: -495 80.39/80.59 c Elapsed CPU time: 77.8712 s Remaining CPU time: 1722.13 s 80.60/80.76 c ============================[ Search Statistics ]============================== 80.60/80.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.60/80.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.60/80.76 c =============================================================================== 80.60/80.76 c | 0 | 2063 78793 189846 | 26264 0 nan | 0.000 % | 80.60/80.76 c =============================================================================== 80.60/80.77 c core #506 80.60/80.77 c Core size: 17 Core Weight: 1 Total Weight: -494 80.60/80.77 c Elapsed CPU time: 78.0411 s Remaining CPU time: 1721.96 s 80.80/80.93 c ============================[ Search Statistics ]============================== 80.80/80.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.80/80.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.80/80.93 c =============================================================================== 80.80/80.93 c | 0 | 2069 78794 189858 | 26264 0 nan | 0.000 % | 80.80/80.94 c =============================================================================== 80.80/80.94 c core #507 80.80/80.94 c Core size: 17 Core Weight: 1 Total Weight: -493 80.80/80.94 c Elapsed CPU time: 78.2041 s Remaining CPU time: 1721.8 s 81.00/81.10 c ============================[ Search Statistics ]============================== 81.00/81.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.00/81.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.00/81.10 c =============================================================================== 81.00/81.10 c | 0 | 2075 78795 189870 | 26265 0 nan | 0.000 % | 81.00/81.11 c =============================================================================== 81.00/81.11 c core #508 81.00/81.11 c Core size: 15 Core Weight: 1 Total Weight: -492 81.00/81.11 c Elapsed CPU time: 78.3701 s Remaining CPU time: 1721.63 s 81.10/81.28 c ============================[ Search Statistics ]============================== 81.10/81.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.10/81.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.10/81.28 c =============================================================================== 81.10/81.28 c | 0 | 2081 78796 189882 | 26265 0 nan | 0.000 % | 81.10/81.29 c =============================================================================== 81.10/81.29 c core #509 81.10/81.29 c Core size: 16 Core Weight: 1 Total Weight: -491 81.10/81.29 c Elapsed CPU time: 78.5481 s Remaining CPU time: 1721.45 s 81.29/81.46 c ============================[ Search Statistics ]============================== 81.29/81.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.29/81.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.29/81.46 c =============================================================================== 81.29/81.46 c | 0 | 2087 78797 189894 | 26265 0 nan | 0.000 % | 81.29/81.47 c =============================================================================== 81.29/81.47 c core #510 81.29/81.47 c Core size: 16 Core Weight: 1 Total Weight: -490 81.29/81.47 c Elapsed CPU time: 78.714 s Remaining CPU time: 1721.29 s 81.49/81.64 c ============================[ Search Statistics ]============================== 81.49/81.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.49/81.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.49/81.64 c =============================================================================== 81.49/81.64 c | 0 | 2093 78798 189906 | 26266 0 nan | 0.000 % | 81.49/81.64 c =============================================================================== 81.49/81.65 c core #511 81.49/81.65 c Core size: 16 Core Weight: 1 Total Weight: -489 81.49/81.65 c Elapsed CPU time: 78.882 s Remaining CPU time: 1721.12 s 81.69/81.81 c ============================[ Search Statistics ]============================== 81.69/81.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.69/81.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.69/81.81 c =============================================================================== 81.69/81.81 c | 0 | 2099 78799 189918 | 26266 0 nan | 0.000 % | 81.69/81.82 c =============================================================================== 81.69/81.82 c core #512 81.69/81.82 c Core size: 16 Core Weight: 1 Total Weight: -488 81.69/81.82 c Elapsed CPU time: 79.052 s Remaining CPU time: 1720.95 s 81.79/81.99 c ============================[ Search Statistics ]============================== 81.79/81.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.79/81.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.79/81.99 c =============================================================================== 81.79/81.99 c | 0 | 2105 78800 189930 | 26266 0 nan | 0.000 % | 81.89/82.00 c =============================================================================== 81.89/82.00 c core #513 81.89/82.00 c Core size: 16 Core Weight: 1 Total Weight: -487 81.89/82.00 c Elapsed CPU time: 79.228 s Remaining CPU time: 1720.77 s 81.99/82.17 c ============================[ Search Statistics ]============================== 81.99/82.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.99/82.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.99/82.17 c =============================================================================== 81.99/82.17 c | 0 | 2111 78801 189942 | 26267 0 nan | 0.000 % | 81.99/82.17 c =============================================================================== 81.99/82.17 c core #514 81.99/82.17 c Core size: 15 Core Weight: 1 Total Weight: -486 81.99/82.17 c Elapsed CPU time: 79.3899 s Remaining CPU time: 1720.61 s 82.19/82.35 c ============================[ Search Statistics ]============================== 82.19/82.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.19/82.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.19/82.35 c =============================================================================== 82.19/82.35 c | 0 | 2117 78802 189954 | 26267 0 nan | 0.000 % | 82.19/82.35 c =============================================================================== 82.19/82.36 c core #515 82.19/82.36 c Core size: 22 Core Weight: 1 Total Weight: -485 82.19/82.36 c Elapsed CPU time: 79.5699 s Remaining CPU time: 1720.43 s 82.39/82.52 c ============================[ Search Statistics ]============================== 82.39/82.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.39/82.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.39/82.52 c =============================================================================== 82.39/82.52 c | 0 | 2125 78803 189970 | 26267 0 nan | 0.000 % | 82.39/82.53 c =============================================================================== 82.39/82.53 c core #516 82.39/82.53 c Core size: 16 Core Weight: 1 Total Weight: -484 82.39/82.53 c Elapsed CPU time: 79.7309 s Remaining CPU time: 1720.27 s 82.59/82.70 c ============================[ Search Statistics ]============================== 82.59/82.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.59/82.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.59/82.70 c =============================================================================== 82.59/82.70 c | 0 | 2131 78804 189982 | 26268 0 nan | 0.000 % | 82.59/82.71 c =============================================================================== 82.59/82.71 c core #517 82.59/82.71 c Core size: 16 Core Weight: 1 Total Weight: -483 82.59/82.71 c Elapsed CPU time: 79.9079 s Remaining CPU time: 1720.09 s 82.69/82.87 c ============================[ Search Statistics ]============================== 82.69/82.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.69/82.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.69/82.87 c =============================================================================== 82.69/82.87 c | 0 | 2137 78805 189994 | 26268 0 nan | 0.000 % | 82.69/82.89 c =============================================================================== 82.69/82.89 c core #518 82.69/82.89 c Core size: 16 Core Weight: 1 Total Weight: -482 82.69/82.89 c Elapsed CPU time: 80.0798 s Remaining CPU time: 1719.92 s 82.89/83.05 c ============================[ Search Statistics ]============================== 82.89/83.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.89/83.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.89/83.05 c =============================================================================== 82.89/83.05 c | 0 | 2143 78806 190006 | 26268 0 nan | 0.000 % | 82.89/83.06 c =============================================================================== 82.89/83.06 c core #519 82.89/83.06 c Core size: 16 Core Weight: 1 Total Weight: -481 82.89/83.06 c Elapsed CPU time: 80.2508 s Remaining CPU time: 1719.75 s 83.09/83.23 c ============================[ Search Statistics ]============================== 83.09/83.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.09/83.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.09/83.23 c =============================================================================== 83.09/83.23 c | 0 | 2149 78807 190018 | 26269 0 nan | 0.000 % | 83.09/83.24 c =============================================================================== 83.09/83.24 c core #520 83.09/83.24 c Core size: 15 Core Weight: 1 Total Weight: -480 83.09/83.24 c Elapsed CPU time: 80.4158 s Remaining CPU time: 1719.58 s 83.29/83.41 c ============================[ Search Statistics ]============================== 83.29/83.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.29/83.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.29/83.41 c =============================================================================== 83.29/83.41 c | 0 | 2155 78808 190030 | 26269 0 nan | 0.000 % | 83.29/83.42 c =============================================================================== 83.29/83.42 c core #521 83.29/83.42 c Core size: 17 Core Weight: 1 Total Weight: -479 83.29/83.42 c Elapsed CPU time: 80.5917 s Remaining CPU time: 1719.41 s 83.39/83.58 c ============================[ Search Statistics ]============================== 83.39/83.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.39/83.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.39/83.59 c =============================================================================== 83.39/83.59 c | 0 | 2161 78809 190042 | 26269 0 nan | 0.000 % | 83.39/83.60 c =============================================================================== 83.39/83.60 c core #522 83.39/83.60 c Core size: 15 Core Weight: 1 Total Weight: -478 83.39/83.60 c Elapsed CPU time: 80.7587 s Remaining CPU time: 1719.24 s 83.59/83.76 c ============================[ Search Statistics ]============================== 83.59/83.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.59/83.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.59/83.76 c =============================================================================== 83.59/83.76 c | 0 | 2167 78810 190054 | 26270 0 nan | 0.000 % | 83.59/83.77 c =============================================================================== 83.59/83.77 c core #523 83.59/83.77 c Core size: 15 Core Weight: 1 Total Weight: -477 83.59/83.77 c Elapsed CPU time: 80.9287 s Remaining CPU time: 1719.07 s 83.78/83.94 c ============================[ Search Statistics ]============================== 83.78/83.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.78/83.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.78/83.94 c =============================================================================== 83.78/83.94 c | 0 | 2173 78811 190066 | 26270 0 nan | 0.000 % | 83.78/83.95 c =============================================================================== 83.78/83.95 c core #524 83.78/83.95 c Core size: 16 Core Weight: 1 Total Weight: -476 83.78/83.95 c Elapsed CPU time: 81.0977 s Remaining CPU time: 1718.9 s 83.98/84.12 c ============================[ Search Statistics ]============================== 83.98/84.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.98/84.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.98/84.12 c =============================================================================== 83.98/84.12 c | 0 | 2179 78812 190078 | 26270 0 nan | 0.000 % | 83.98/84.13 c =============================================================================== 83.98/84.13 c core #525 83.98/84.13 c Core size: 17 Core Weight: 1 Total Weight: -475 83.98/84.13 c Elapsed CPU time: 81.2716 s Remaining CPU time: 1718.73 s 84.08/84.29 c ============================[ Search Statistics ]============================== 84.08/84.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.08/84.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.08/84.29 c =============================================================================== 84.08/84.29 c | 0 | 2185 78813 190090 | 26271 0 nan | 0.000 % | 84.19/84.31 c =============================================================================== 84.19/84.31 c core #526 84.19/84.31 c Core size: 17 Core Weight: 1 Total Weight: -474 84.19/84.31 c Elapsed CPU time: 81.4426 s Remaining CPU time: 1718.56 s 84.28/84.47 c ============================[ Search Statistics ]============================== 84.28/84.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.28/84.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.28/84.47 c =============================================================================== 84.28/84.47 c | 0 | 2191 78814 190102 | 26271 0 nan | 0.000 % | 84.28/84.49 c =============================================================================== 84.28/84.49 c core #527 84.28/84.49 c Core size: 15 Core Weight: 1 Total Weight: -473 84.28/84.49 c Elapsed CPU time: 81.6156 s Remaining CPU time: 1718.38 s 84.49/84.65 c ============================[ Search Statistics ]============================== 84.49/84.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.49/84.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.49/84.65 c =============================================================================== 84.49/84.65 c | 0 | 2197 78815 190114 | 26271 0 nan | 0.000 % | 84.49/84.66 c =============================================================================== 84.49/84.66 c core #528 84.49/84.66 c Core size: 16 Core Weight: 1 Total Weight: -472 84.49/84.66 c Elapsed CPU time: 81.7856 s Remaining CPU time: 1718.21 s 84.68/84.83 c ============================[ Search Statistics ]============================== 84.68/84.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.68/84.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.68/84.83 c =============================================================================== 84.68/84.83 c | 0 | 2203 78816 190126 | 26272 0 nan | 0.000 % | 84.68/84.84 c =============================================================================== 84.68/84.85 c core #529 84.68/84.85 c Core size: 22 Core Weight: 1 Total Weight: -471 84.68/84.85 c Elapsed CPU time: 81.9645 s Remaining CPU time: 1718.04 s 84.88/85.01 c ============================[ Search Statistics ]============================== 84.88/85.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.88/85.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.88/85.01 c =============================================================================== 84.88/85.01 c | 0 | 2211 78817 190142 | 26272 0 nan | 0.000 % | 84.88/85.02 c =============================================================================== 84.88/85.02 c core #530 84.88/85.02 c Core size: 15 Core Weight: 1 Total Weight: -470 84.88/85.02 c Elapsed CPU time: 82.1305 s Remaining CPU time: 1717.87 s 84.98/85.18 c ============================[ Search Statistics ]============================== 84.98/85.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.98/85.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.98/85.19 c =============================================================================== 84.98/85.19 c | 0 | 2217 78818 190154 | 26272 0 nan | 0.000 % | 85.08/85.20 c =============================================================================== 85.08/85.20 c core #531 85.08/85.20 c Core size: 15 Core Weight: 1 Total Weight: -469 85.08/85.20 c Elapsed CPU time: 82.3065 s Remaining CPU time: 1717.69 s 85.19/85.36 c ============================[ Search Statistics ]============================== 85.19/85.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.19/85.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.19/85.36 c =============================================================================== 85.19/85.36 c | 0 | 2223 78819 190166 | 26273 0 nan | 0.000 % | 85.19/85.37 c =============================================================================== 85.19/85.37 c core #532 85.19/85.37 c Core size: 16 Core Weight: 1 Total Weight: -468 85.19/85.37 c Elapsed CPU time: 82.4755 s Remaining CPU time: 1717.52 s 85.38/85.54 c ============================[ Search Statistics ]============================== 85.38/85.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.38/85.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.38/85.54 c =============================================================================== 85.38/85.54 c | 0 | 2229 78820 190178 | 26273 0 nan | 0.000 % | 85.38/85.55 c =============================================================================== 85.38/85.55 c core #533 85.38/85.55 c Core size: 15 Core Weight: 1 Total Weight: -467 85.38/85.55 c Elapsed CPU time: 82.6524 s Remaining CPU time: 1717.35 s 85.58/85.72 c ============================[ Search Statistics ]============================== 85.58/85.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.58/85.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.58/85.72 c =============================================================================== 85.58/85.72 c | 0 | 2235 78821 190190 | 26273 0 nan | 0.000 % | 85.58/85.74 c =============================================================================== 85.58/85.74 c core #534 85.58/85.74 c Core size: 16 Core Weight: 1 Total Weight: -466 85.58/85.74 c Elapsed CPU time: 82.8324 s Remaining CPU time: 1717.17 s 85.78/85.90 c ============================[ Search Statistics ]============================== 85.78/85.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.78/85.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.78/85.90 c =============================================================================== 85.78/85.90 c | 0 | 2241 78822 190202 | 26274 0 nan | 0.000 % | 85.78/85.92 c =============================================================================== 85.78/85.92 c core #535 85.78/85.92 c Core size: 16 Core Weight: 1 Total Weight: -465 85.78/85.92 c Elapsed CPU time: 83.0044 s Remaining CPU time: 1717 s 85.87/86.08 c ============================[ Search Statistics ]============================== 85.87/86.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.87/86.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.87/86.08 c =============================================================================== 85.87/86.08 c | 0 | 2247 78823 190214 | 26274 0 nan | 0.000 % | 85.87/86.09 c =============================================================================== 85.87/86.09 c core #536 85.87/86.09 c Core size: 22 Core Weight: 1 Total Weight: -464 85.87/86.09 c Elapsed CPU time: 83.1714 s Remaining CPU time: 1716.83 s 86.08/86.25 c ============================[ Search Statistics ]============================== 86.08/86.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.08/86.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.08/86.25 c =============================================================================== 86.08/86.25 c | 0 | 2255 78824 190230 | 26274 0 nan | 0.000 % | 86.08/86.27 c =============================================================================== 86.08/86.27 c core #537 86.08/86.27 c Core size: 16 Core Weight: 1 Total Weight: -463 86.08/86.27 c Elapsed CPU time: 83.3483 s Remaining CPU time: 1716.65 s 86.28/86.43 c ============================[ Search Statistics ]============================== 86.28/86.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.28/86.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.28/86.43 c =============================================================================== 86.28/86.43 c | 0 | 2261 78825 190242 | 26275 0 nan | 0.000 % | 86.28/86.44 c =============================================================================== 86.28/86.45 c core #538 86.28/86.45 c Core size: 15 Core Weight: 1 Total Weight: -462 86.28/86.45 c Elapsed CPU time: 83.5183 s Remaining CPU time: 1716.48 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 | 2267 78826 190254 | 26275 0 nan | 0.000 % | 86.48/86.62 c =============================================================================== 86.48/86.62 c core #539 86.48/86.62 c Core size: 22 Core Weight: 1 Total Weight: -461 86.48/86.62 c Elapsed CPU time: 83.6933 s Remaining CPU time: 1716.31 s 86.58/86.79 c ============================[ Search Statistics ]============================== 86.58/86.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.58/86.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.58/86.79 c =============================================================================== 86.58/86.79 c | 0 | 2275 78827 190270 | 26275 0 nan | 0.000 % | 86.58/86.80 c =============================================================================== 86.58/86.80 c core #540 86.58/86.80 c Core size: 15 Core Weight: 1 Total Weight: -460 86.58/86.80 c Elapsed CPU time: 83.8613 s Remaining CPU time: 1716.14 s 86.79/86.96 c ============================[ Search Statistics ]============================== 86.79/86.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.79/86.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.79/86.96 c =============================================================================== 86.79/86.96 c | 0 | 2281 78828 190282 | 26276 0 nan | 0.000 % | 86.79/86.97 c =============================================================================== 86.79/86.97 c core #541 86.79/86.97 c Core size: 15 Core Weight: 1 Total Weight: -459 86.79/86.97 c Elapsed CPU time: 84.0342 s Remaining CPU time: 1715.97 s 86.98/87.14 c ============================[ Search Statistics ]============================== 86.98/87.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.98/87.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.98/87.14 c =============================================================================== 86.98/87.14 c | 0 | 2287 78829 190294 | 26276 0 nan | 0.000 % | 86.98/87.15 c =============================================================================== 86.98/87.15 c core #542 86.98/87.15 c Core size: 17 Core Weight: 1 Total Weight: -458 86.98/87.15 c Elapsed CPU time: 84.2022 s Remaining CPU time: 1715.8 s 87.18/87.31 c ============================[ Search Statistics ]============================== 87.18/87.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.18/87.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.18/87.31 c =============================================================================== 87.18/87.31 c | 0 | 2293 78830 190306 | 26276 0 nan | 0.000 % | 87.18/87.32 c =============================================================================== 87.18/87.32 c core #543 87.18/87.32 c Core size: 22 Core Weight: 1 Total Weight: -457 87.18/87.32 c Elapsed CPU time: 84.3712 s Remaining CPU time: 1715.63 s 87.28/87.49 c ============================[ Search Statistics ]============================== 87.28/87.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.28/87.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.28/87.49 c =============================================================================== 87.28/87.49 c | 0 | 2301 78831 190322 | 26277 0 nan | 0.000 % | 87.38/87.50 c =============================================================================== 87.38/87.50 c core #544 87.38/87.50 c Core size: 16 Core Weight: 1 Total Weight: -456 87.38/87.50 c Elapsed CPU time: 84.5411 s Remaining CPU time: 1715.46 s 87.48/87.67 c ============================[ Search Statistics ]============================== 87.48/87.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.48/87.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.48/87.67 c =============================================================================== 87.48/87.67 c | 0 | 2307 78832 190334 | 26277 0 nan | 0.000 % | 87.48/87.68 c =============================================================================== 87.48/87.68 c core #545 87.48/87.68 c Core size: 15 Core Weight: 1 Total Weight: -455 87.48/87.68 c Elapsed CPU time: 84.7191 s Remaining CPU time: 1715.28 s 87.67/87.84 c ============================[ Search Statistics ]============================== 87.67/87.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.67/87.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.67/87.84 c =============================================================================== 87.67/87.84 c | 0 | 2313 78833 190346 | 26277 0 nan | 0.000 % | 87.67/87.85 c =============================================================================== 87.67/87.86 c core #546 87.67/87.86 c Core size: 16 Core Weight: 1 Total Weight: -454 87.67/87.86 c Elapsed CPU time: 84.8851 s Remaining CPU time: 1715.11 s 87.88/88.02 c ============================[ Search Statistics ]============================== 87.88/88.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.88/88.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.88/88.02 c =============================================================================== 87.88/88.02 c | 0 | 2319 78834 190358 | 26278 0 nan | 0.000 % | 87.88/88.03 c =============================================================================== 87.88/88.03 c core #547 87.88/88.03 c Core size: 22 Core Weight: 1 Total Weight: -453 87.88/88.03 c Elapsed CPU time: 85.0531 s Remaining CPU time: 1714.95 s 88.07/88.20 c ============================[ Search Statistics ]============================== 88.07/88.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.07/88.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.07/88.20 c =============================================================================== 88.07/88.20 c | 0 | 2327 78835 190374 | 26278 0 nan | 0.000 % | 88.07/88.21 c =============================================================================== 88.07/88.21 c core #548 88.07/88.21 c Core size: 16 Core Weight: 1 Total Weight: -452 88.07/88.21 c Elapsed CPU time: 85.229 s Remaining CPU time: 1714.77 s 88.18/88.37 c ============================[ Search Statistics ]============================== 88.18/88.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.18/88.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.18/88.37 c =============================================================================== 88.18/88.37 c | 0 | 2333 78836 190386 | 26278 0 nan | 0.000 % | 88.18/88.38 c =============================================================================== 88.18/88.38 c core #549 88.18/88.38 c Core size: 15 Core Weight: 1 Total Weight: -451 88.18/88.38 c Elapsed CPU time: 85.396 s Remaining CPU time: 1714.6 s 88.38/88.54 c ============================[ Search Statistics ]============================== 88.38/88.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.38/88.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.38/88.54 c =============================================================================== 88.38/88.54 c | 0 | 2339 78837 190398 | 26279 0 nan | 0.000 % | 88.38/88.56 c =============================================================================== 88.38/88.56 c core #550 88.38/88.56 c Core size: 16 Core Weight: 1 Total Weight: -450 88.38/88.56 c Elapsed CPU time: 85.561 s Remaining CPU time: 1714.44 s 88.57/88.72 c ============================[ Search Statistics ]============================== 88.57/88.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.57/88.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.57/88.72 c =============================================================================== 88.57/88.72 c | 0 | 2345 78838 190410 | 26279 0 nan | 0.000 % | 88.57/88.73 c =============================================================================== 88.57/88.73 c core #551 88.57/88.73 c Core size: 15 Core Weight: 1 Total Weight: -449 88.57/88.73 c Elapsed CPU time: 85.729 s Remaining CPU time: 1714.27 s 88.67/88.89 c ============================[ Search Statistics ]============================== 88.67/88.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.67/88.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.67/88.89 c =============================================================================== 88.67/88.89 c | 0 | 2351 78839 190422 | 26279 0 nan | 0.000 % | 88.78/88.90 c =============================================================================== 88.78/88.90 c core #552 88.78/88.90 c Core size: 17 Core Weight: 1 Total Weight: -448 88.78/88.90 c Elapsed CPU time: 85.8979 s Remaining CPU time: 1714.1 s 88.87/89.07 c ============================[ Search Statistics ]============================== 88.87/89.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.87/89.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.87/89.07 c =============================================================================== 88.87/89.07 c | 0 | 2357 78840 190434 | 26280 0 nan | 0.000 % | 88.87/89.08 c =============================================================================== 88.87/89.08 c core #553 88.87/89.08 c Core size: 21 Core Weight: 1 Total Weight: -447 88.87/89.08 c Elapsed CPU time: 86.0659 s Remaining CPU time: 1713.93 s 89.08/89.24 c ============================[ Search Statistics ]============================== 89.08/89.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.08/89.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.08/89.24 c =============================================================================== 89.08/89.24 c | 0 | 2365 78841 190450 | 26280 0 nan | 0.000 % | 89.08/89.25 c =============================================================================== 89.08/89.25 c core #554 89.08/89.25 c Core size: 16 Core Weight: 1 Total Weight: -446 89.08/89.25 c Elapsed CPU time: 86.2359 s Remaining CPU time: 1713.76 s 89.27/89.41 c ============================[ Search Statistics ]============================== 89.27/89.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.27/89.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.27/89.41 c =============================================================================== 89.27/89.41 c | 0 | 2371 78842 190462 | 26280 0 nan | 0.000 % | 89.27/89.43 c =============================================================================== 89.27/89.43 c core #555 89.27/89.43 c Core size: 17 Core Weight: 1 Total Weight: -445 89.27/89.43 c Elapsed CPU time: 86.4059 s Remaining CPU time: 1713.59 s 89.38/89.59 c ============================[ Search Statistics ]============================== 89.38/89.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.38/89.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.38/89.59 c =============================================================================== 89.38/89.59 c | 0 | 2377 78843 190474 | 26281 0 nan | 0.000 % | 89.48/89.60 c =============================================================================== 89.48/89.60 c core #556 89.48/89.60 c Core size: 15 Core Weight: 1 Total Weight: -444 89.48/89.60 c Elapsed CPU time: 86.5748 s Remaining CPU time: 1713.43 s 89.58/89.76 c ============================[ Search Statistics ]============================== 89.58/89.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.58/89.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.58/89.76 c =============================================================================== 89.58/89.76 c | 0 | 2383 78844 190486 | 26281 0 nan | 0.000 % | 89.58/89.77 c =============================================================================== 89.58/89.77 c core #557 89.58/89.77 c Core size: 21 Core Weight: 1 Total Weight: -443 89.58/89.77 c Elapsed CPU time: 86.7478 s Remaining CPU time: 1713.25 s 89.77/89.93 c ============================[ Search Statistics ]============================== 89.77/89.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.77/89.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.77/89.94 c =============================================================================== 89.77/89.94 c | 0 | 2391 78845 190502 | 26281 0 nan | 0.000 % | 89.77/89.95 c =============================================================================== 89.77/89.95 c core #558 89.77/89.95 c Core size: 15 Core Weight: 1 Total Weight: -442 89.77/89.95 c Elapsed CPU time: 86.9178 s Remaining CPU time: 1713.08 s 89.98/90.11 c ============================[ Search Statistics ]============================== 89.98/90.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.98/90.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.98/90.11 c =============================================================================== 89.98/90.11 c | 0 | 2397 78846 190514 | 26282 0 nan | 0.000 % | 89.98/90.12 c =============================================================================== 89.98/90.12 c core #559 89.98/90.12 c Core size: 15 Core Weight: 1 Total Weight: -441 89.98/90.12 c Elapsed CPU time: 87.0838 s Remaining CPU time: 1712.92 s 90.08/90.28 c ============================[ Search Statistics ]============================== 90.08/90.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.08/90.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.08/90.28 c =============================================================================== 90.08/90.28 c | 0 | 2403 78847 190526 | 26282 0 nan | 0.000 % | 90.08/90.29 c =============================================================================== 90.08/90.29 c core #560 90.08/90.29 c Core size: 16 Core Weight: 1 Total Weight: -440 90.08/90.29 c Elapsed CPU time: 87.2497 s Remaining CPU time: 1712.75 s 90.27/90.45 c ============================[ Search Statistics ]============================== 90.27/90.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.27/90.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.27/90.45 c =============================================================================== 90.27/90.45 c | 0 | 2409 78848 190538 | 26282 0 nan | 0.000 % | 90.27/90.47 c =============================================================================== 90.27/90.47 c core #561 90.27/90.47 c Core size: 16 Core Weight: 1 Total Weight: -439 90.27/90.47 c Elapsed CPU time: 87.4167 s Remaining CPU time: 1712.58 s 90.46/90.63 c ============================[ Search Statistics ]============================== 90.46/90.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.46/90.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.46/90.63 c =============================================================================== 90.46/90.63 c | 0 | 2415 78849 190550 | 26283 0 nan | 0.000 % | 90.46/90.64 c =============================================================================== 90.46/90.64 c core #562 90.46/90.64 c Core size: 17 Core Weight: 1 Total Weight: -438 90.46/90.64 c Elapsed CPU time: 87.5817 s Remaining CPU time: 1712.42 s 90.57/90.80 c ============================[ Search Statistics ]============================== 90.57/90.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.57/90.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.57/90.80 c =============================================================================== 90.57/90.80 c | 0 | 2421 78850 190562 | 26283 0 nan | 0.000 % | 90.67/90.81 c =============================================================================== 90.67/90.81 c core #563 90.67/90.81 c Core size: 22 Core Weight: 1 Total Weight: -437 90.67/90.81 c Elapsed CPU time: 87.7497 s Remaining CPU time: 1712.25 s 90.77/90.98 c ============================[ Search Statistics ]============================== 90.77/90.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.77/90.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.77/90.98 c =============================================================================== 90.77/90.98 c | 0 | 2429 78851 190578 | 26283 0 nan | 0.000 % | 90.77/90.99 c =============================================================================== 90.77/90.99 c core #564 90.77/90.99 c Core size: 22 Core Weight: 1 Total Weight: -436 90.77/90.99 c Elapsed CPU time: 87.9226 s Remaining CPU time: 1712.08 s 90.96/91.15 c ============================[ Search Statistics ]============================== 90.96/91.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.96/91.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.96/91.15 c =============================================================================== 90.96/91.15 c | 0 | 2437 78852 190594 | 26284 0 nan | 0.000 % | 90.96/91.16 c =============================================================================== 90.96/91.16 c core #565 90.96/91.16 c Core size: 16 Core Weight: 1 Total Weight: -435 90.96/91.16 c Elapsed CPU time: 88.0926 s Remaining CPU time: 1711.91 s 91.17/91.32 c ============================[ Search Statistics ]============================== 91.17/91.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.17/91.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.17/91.32 c =============================================================================== 91.17/91.32 c | 0 | 2443 78853 190606 | 26284 0 nan | 0.000 % | 91.17/91.34 c =============================================================================== 91.17/91.34 c core #566 91.17/91.34 c Core size: 27 Core Weight: 1 Total Weight: -434 91.17/91.34 c Elapsed CPU time: 88.2626 s Remaining CPU time: 1711.74 s 91.37/91.50 c ============================[ Search Statistics ]============================== 91.37/91.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.37/91.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.37/91.50 c =============================================================================== 91.37/91.50 c | 0 | 2453 78854 190626 | 26284 0 nan | 0.000 % | 91.37/91.52 c =============================================================================== 91.37/91.52 c core #567 91.37/91.52 c Core size: 15 Core Weight: 1 Total Weight: -433 91.37/91.52 c Elapsed CPU time: 88.4366 s Remaining CPU time: 1711.56 s 91.47/91.68 c ============================[ Search Statistics ]============================== 91.47/91.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.47/91.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.47/91.68 c =============================================================================== 91.47/91.68 c | 0 | 2459 78855 190638 | 26285 0 nan | 0.000 % | 91.47/91.69 c =============================================================================== 91.47/91.69 c core #568 91.47/91.69 c Core size: 21 Core Weight: 1 Total Weight: -432 91.47/91.69 c Elapsed CPU time: 88.6015 s Remaining CPU time: 1711.4 s 91.67/91.85 c ============================[ Search Statistics ]============================== 91.67/91.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.67/91.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.67/91.85 c =============================================================================== 91.67/91.85 c | 0 | 2467 78856 190654 | 26285 0 nan | 0.000 % | 91.67/91.86 c =============================================================================== 91.67/91.86 c core #569 91.67/91.86 c Core size: 15 Core Weight: 1 Total Weight: -431 91.67/91.86 c Elapsed CPU time: 88.7665 s Remaining CPU time: 1711.23 s 91.86/92.02 c ============================[ Search Statistics ]============================== 91.86/92.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.86/92.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.86/92.02 c =============================================================================== 91.86/92.02 c | 0 | 2473 78857 190666 | 26285 0 nan | 0.000 % | 91.86/92.03 c =============================================================================== 91.86/92.03 c core #570 91.86/92.03 c Core size: 17 Core Weight: 1 Total Weight: -430 91.86/92.03 c Elapsed CPU time: 88.9335 s Remaining CPU time: 1711.07 s 92.06/92.20 c ============================[ Search Statistics ]============================== 92.06/92.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.06/92.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.06/92.20 c =============================================================================== 92.06/92.20 c | 0 | 2479 78858 190678 | 26286 0 nan | 0.000 % | 92.06/92.21 c =============================================================================== 92.06/92.21 c core #571 92.06/92.21 c Core size: 27 Core Weight: 1 Total Weight: -429 92.06/92.21 c Elapsed CPU time: 89.1025 s Remaining CPU time: 1710.9 s 92.17/92.37 c ============================[ Search Statistics ]============================== 92.17/92.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.17/92.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.17/92.37 c =============================================================================== 92.17/92.37 c | 0 | 2489 78859 190698 | 26286 0 nan | 0.000 % | 92.17/92.38 c =============================================================================== 92.17/92.38 c core #572 92.17/92.38 c Core size: 16 Core Weight: 1 Total Weight: -428 92.17/92.38 c Elapsed CPU time: 89.2714 s Remaining CPU time: 1710.73 s 92.36/92.54 c ============================[ Search Statistics ]============================== 92.36/92.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.36/92.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.36/92.55 c =============================================================================== 92.36/92.55 c | 0 | 2495 78860 190710 | 26286 0 nan | 0.000 % | 92.36/92.56 c =============================================================================== 92.36/92.56 c core #573 92.36/92.56 c Core size: 21 Core Weight: 1 Total Weight: -427 92.36/92.56 c Elapsed CPU time: 89.4384 s Remaining CPU time: 1710.56 s 92.57/92.72 c ============================[ Search Statistics ]============================== 92.57/92.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.57/92.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.57/92.72 c =============================================================================== 92.57/92.72 c | 0 | 2503 78861 190726 | 26287 0 nan | 0.000 % | 92.57/92.73 c =============================================================================== 92.57/92.74 c core #574 92.57/92.74 c Core size: 15 Core Weight: 1 Total Weight: -426 92.57/92.74 c Elapsed CPU time: 89.6114 s Remaining CPU time: 1710.39 s 92.66/92.90 c ============================[ Search Statistics ]============================== 92.66/92.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.66/92.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.66/92.90 c =============================================================================== 92.66/92.90 c | 0 | 2509 78862 190738 | 26287 0 nan | 0.000 % | 92.76/92.91 c =============================================================================== 92.76/92.91 c core #575 92.76/92.91 c Core size: 21 Core Weight: 1 Total Weight: -425 92.76/92.91 c Elapsed CPU time: 89.7754 s Remaining CPU time: 1710.22 s 92.86/93.07 c ============================[ Search Statistics ]============================== 92.86/93.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.86/93.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.86/93.07 c =============================================================================== 92.86/93.07 c | 0 | 2517 78863 190754 | 26287 0 nan | 0.000 % | 92.86/93.08 c =============================================================================== 92.86/93.08 c core #576 92.86/93.08 c Core size: 21 Core Weight: 1 Total Weight: -424 92.86/93.08 c Elapsed CPU time: 89.9383 s Remaining CPU time: 1710.06 s 93.07/93.24 c ============================[ Search Statistics ]============================== 93.07/93.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.07/93.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.07/93.24 c =============================================================================== 93.07/93.24 c | 0 | 2525 78864 190770 | 26288 0 nan | 0.000 % | 93.07/93.25 c =============================================================================== 93.07/93.25 c core #577 93.07/93.25 c Core size: 22 Core Weight: 1 Total Weight: -423 93.07/93.25 c Elapsed CPU time: 90.1063 s Remaining CPU time: 1709.89 s 93.26/93.41 c ============================[ Search Statistics ]============================== 93.26/93.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.26/93.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.26/93.41 c =============================================================================== 93.26/93.41 c | 0 | 2533 78865 190786 | 26288 0 nan | 0.000 % | 93.26/93.42 c =============================================================================== 93.26/93.42 c core #578 93.26/93.42 c Core size: 15 Core Weight: 1 Total Weight: -422 93.26/93.42 c Elapsed CPU time: 90.2723 s Remaining CPU time: 1709.73 s 93.37/93.59 c ============================[ Search Statistics ]============================== 93.37/93.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.37/93.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.37/93.59 c =============================================================================== 93.37/93.59 c | 0 | 2539 78866 190798 | 26288 0 nan | 0.000 % | 93.46/93.60 c =============================================================================== 93.46/93.60 c core #579 93.46/93.60 c Core size: 17 Core Weight: 1 Total Weight: -421 93.46/93.60 c Elapsed CPU time: 90.4463 s Remaining CPU time: 1709.55 s 93.56/93.77 c ============================[ Search Statistics ]============================== 93.56/93.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.56/93.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.56/93.77 c =============================================================================== 93.56/93.77 c | 0 | 2545 78867 190810 | 26289 0 nan | 0.000 % | 93.56/93.78 c =============================================================================== 93.56/93.78 c core #580 93.56/93.78 c Core size: 21 Core Weight: 1 Total Weight: -420 93.56/93.78 c Elapsed CPU time: 90.6152 s Remaining CPU time: 1709.38 s 93.76/93.94 c ============================[ Search Statistics ]============================== 93.76/93.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.76/93.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.76/93.94 c =============================================================================== 93.76/93.94 c | 0 | 2553 78868 190826 | 26289 0 nan | 0.000 % | 93.76/93.95 c =============================================================================== 93.76/93.96 c core #581 93.76/93.96 c Core size: 21 Core Weight: 1 Total Weight: -419 93.76/93.96 c Elapsed CPU time: 90.7812 s Remaining CPU time: 1709.22 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 | 2561 78869 190842 | 26289 0 nan | 0.000 % | 93.96/94.13 c =============================================================================== 93.96/94.13 c core #582 93.96/94.13 c Core size: 27 Core Weight: 1 Total Weight: -418 93.96/94.13 c Elapsed CPU time: 90.9482 s Remaining CPU time: 1709.05 s 94.06/94.29 c ============================[ Search Statistics ]============================== 94.06/94.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.06/94.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.06/94.29 c =============================================================================== 94.06/94.29 c | 0 | 2571 78870 190862 | 26290 0 nan | 0.000 % | 94.16/94.30 c =============================================================================== 94.16/94.30 c core #583 94.16/94.30 c Core size: 15 Core Weight: 1 Total Weight: -417 94.16/94.30 c Elapsed CPU time: 91.1151 s Remaining CPU time: 1708.88 s 94.26/94.46 c ============================[ Search Statistics ]============================== 94.26/94.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.26/94.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.26/94.46 c =============================================================================== 94.26/94.46 c | 0 | 2577 78871 190874 | 26290 0 nan | 0.000 % | 94.26/94.47 c =============================================================================== 94.26/94.47 c core #584 94.26/94.47 c Core size: 16 Core Weight: 1 Total Weight: -416 94.26/94.47 c Elapsed CPU time: 91.2851 s Remaining CPU time: 1708.71 s 94.46/94.63 c ============================[ Search Statistics ]============================== 94.46/94.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.46/94.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.46/94.63 c =============================================================================== 94.46/94.63 c | 0 | 2583 78872 190886 | 26290 0 nan | 0.000 % | 94.46/94.65 c =============================================================================== 94.46/94.65 c core #585 94.46/94.65 c Core size: 27 Core Weight: 1 Total Weight: -415 94.46/94.65 c Elapsed CPU time: 91.4531 s Remaining CPU time: 1708.55 s 94.66/94.81 c ============================[ Search Statistics ]============================== 94.66/94.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.66/94.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.66/94.81 c =============================================================================== 94.66/94.81 c | 0 | 2593 78873 190906 | 26291 0 nan | 0.000 % | 94.66/94.82 c =============================================================================== 94.66/94.82 c core #586 94.66/94.82 c Core size: 21 Core Weight: 1 Total Weight: -414 94.66/94.82 c Elapsed CPU time: 91.6201 s Remaining CPU time: 1708.38 s 94.76/94.98 c ============================[ Search Statistics ]============================== 94.76/94.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.76/94.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.76/94.98 c =============================================================================== 94.76/94.98 c | 0 | 2601 78874 190922 | 26291 0 nan | 0.000 % | 94.76/94.99 c =============================================================================== 94.76/94.99 c core #587 94.76/94.99 c Core size: 21 Core Weight: 1 Total Weight: -413 94.76/94.99 c Elapsed CPU time: 91.788 s Remaining CPU time: 1708.21 s 94.96/95.15 c ============================[ Search Statistics ]============================== 94.96/95.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.96/95.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.96/95.15 c =============================================================================== 94.96/95.15 c | 0 | 2609 78875 190938 | 26291 0 nan | 0.000 % | 94.96/95.16 c =============================================================================== 94.96/95.16 c core #588 94.96/95.16 c Core size: 22 Core Weight: 1 Total Weight: -412 94.96/95.16 c Elapsed CPU time: 91.956 s Remaining CPU time: 1708.04 s 95.16/95.32 c ============================[ Search Statistics ]============================== 95.16/95.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.16/95.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.16/95.32 c =============================================================================== 95.16/95.32 c | 0 | 2617 78876 190954 | 26292 0 nan | 0.000 % | 95.16/95.34 c =============================================================================== 95.16/95.34 c core #589 95.16/95.34 c Core size: 26 Core Weight: 1 Total Weight: -411 95.16/95.34 c Elapsed CPU time: 92.121 s Remaining CPU time: 1707.88 s 95.36/95.50 c ============================[ Search Statistics ]============================== 95.36/95.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.36/95.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.36/95.50 c =============================================================================== 95.36/95.50 c | 0 | 2627 78877 190974 | 26292 0 nan | 0.000 % | 95.36/95.51 c =============================================================================== 95.36/95.51 c core #590 95.36/95.51 c Core size: 21 Core Weight: 1 Total Weight: -410 95.36/95.51 c Elapsed CPU time: 92.286 s Remaining CPU time: 1707.71 s 95.46/95.67 c ============================[ Search Statistics ]============================== 95.46/95.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.46/95.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.46/95.67 c =============================================================================== 95.46/95.67 c | 0 | 2635 78878 190990 | 26292 0 nan | 0.000 % | 95.46/95.68 c =============================================================================== 95.46/95.68 c core #591 95.46/95.68 c Core size: 27 Core Weight: 1 Total Weight: -409 95.46/95.68 c Elapsed CPU time: 92.4529 s Remaining CPU time: 1707.55 s 95.66/95.84 c ============================[ Search Statistics ]============================== 95.66/95.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.66/95.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.66/95.84 c =============================================================================== 95.66/95.84 c | 0 | 2645 78879 191010 | 26293 0 nan | 0.000 % | 95.66/95.86 c =============================================================================== 95.66/95.86 c core #592 95.66/95.86 c Core size: 37 Core Weight: 1 Total Weight: -408 95.66/95.86 c Elapsed CPU time: 92.6209 s Remaining CPU time: 1707.38 s 95.85/96.02 c ============================[ Search Statistics ]============================== 95.85/96.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.85/96.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.85/96.02 c =============================================================================== 95.85/96.02 c | 0 | 2659 78880 191038 | 26293 0 nan | 0.000 % | 95.85/96.03 c =============================================================================== 95.85/96.03 c core #593 95.85/96.03 c Core size: 43 Core Weight: 1 Total Weight: -407 95.85/96.03 c Elapsed CPU time: 92.7879 s Remaining CPU time: 1707.21 s 95.95/96.20 c ============================[ Search Statistics ]============================== 95.95/96.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.95/96.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.95/96.20 c =============================================================================== 95.95/96.20 c | 0 | 2675 78881 191070 | 26293 0 nan | 0.000 % | 96.05/96.21 c =============================================================================== 96.05/96.21 c core #594 96.05/96.21 c Core size: 16 Core Weight: 1 Total Weight: -406 96.05/96.21 c Elapsed CPU time: 92.9649 s Remaining CPU time: 1707.04 s 96.15/96.37 c ============================[ Search Statistics ]============================== 96.15/96.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.15/96.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.15/96.37 c =============================================================================== 96.15/96.37 c | 0 | 2681 78882 191082 | 26294 0 nan | 0.000 % | 96.15/96.38 c =============================================================================== 96.15/96.38 c core #595 96.15/96.38 c Core size: 22 Core Weight: 1 Total Weight: -405 96.15/96.38 c Elapsed CPU time: 93.1298 s Remaining CPU time: 1706.87 s 96.36/96.54 c ============================[ Search Statistics ]============================== 96.36/96.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.36/96.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.36/96.54 c =============================================================================== 96.36/96.54 c | 0 | 2689 78883 191098 | 26294 0 nan | 0.000 % | 96.36/96.55 c =============================================================================== 96.36/96.55 c core #596 96.36/96.55 c Core size: 22 Core Weight: 1 Total Weight: -404 96.36/96.55 c Elapsed CPU time: 93.2988 s Remaining CPU time: 1706.7 s 96.56/96.71 c ============================[ Search Statistics ]============================== 96.56/96.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.56/96.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.56/96.71 c =============================================================================== 96.56/96.71 c | 0 | 2697 78884 191114 | 26294 0 nan | 0.000 % | 96.56/96.73 c =============================================================================== 96.56/96.73 c core #597 96.56/96.73 c Core size: 22 Core Weight: 1 Total Weight: -403 96.56/96.73 c Elapsed CPU time: 93.4668 s Remaining CPU time: 1706.53 s 96.66/96.89 c ============================[ Search Statistics ]============================== 96.66/96.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.66/96.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.66/96.89 c =============================================================================== 96.66/96.89 c | 0 | 2705 78885 191130 | 26295 0 nan | 0.000 % | 96.75/96.90 c =============================================================================== 96.75/96.90 c core #598 96.75/96.90 c Core size: 15 Core Weight: 1 Total Weight: -402 96.75/96.90 c Elapsed CPU time: 93.6318 s Remaining CPU time: 1706.37 s 96.85/97.06 c ============================[ Search Statistics ]============================== 96.85/97.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.85/97.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.85/97.06 c =============================================================================== 96.85/97.06 c | 0 | 2711 78886 191142 | 26295 0 nan | 0.000 % | 96.85/97.07 c =============================================================================== 96.85/97.07 c core #599 96.85/97.07 c Core size: 27 Core Weight: 1 Total Weight: -401 96.85/97.07 c Elapsed CPU time: 93.7957 s Remaining CPU time: 1706.2 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 | 2721 78887 191162 | 26295 0 nan | 0.000 % | 97.05/97.25 c =============================================================================== 97.05/97.25 c core #600 97.05/97.25 c Core size: 26 Core Weight: 1 Total Weight: -400 97.05/97.25 c Elapsed CPU time: 93.9637 s Remaining CPU time: 1706.04 s 97.25/97.41 c ============================[ Search Statistics ]============================== 97.25/97.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.25/97.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.25/97.41 c =============================================================================== 97.25/97.41 c | 0 | 2731 78888 191182 | 26296 0 nan | 0.000 % | 97.25/97.42 c =============================================================================== 97.25/97.42 c core #601 97.25/97.42 c Core size: 27 Core Weight: 1 Total Weight: -399 97.25/97.42 c Elapsed CPU time: 94.1317 s Remaining CPU time: 1705.87 s 97.35/97.58 c ============================[ Search Statistics ]============================== 97.35/97.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.35/97.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.35/97.58 c =============================================================================== 97.35/97.58 c | 0 | 2741 78889 191202 | 26296 0 nan | 0.000 % | 97.35/97.60 c =============================================================================== 97.35/97.60 c core #602 97.35/97.60 c Core size: 22 Core Weight: 1 Total Weight: -398 97.35/97.60 c Elapsed CPU time: 94.2997 s Remaining CPU time: 1705.7 s 97.55/97.76 c ============================[ Search Statistics ]============================== 97.55/97.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.55/97.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.55/97.76 c =============================================================================== 97.55/97.76 c | 0 | 2749 78890 191218 | 26296 0 nan | 0.000 % | 97.55/97.77 c =============================================================================== 97.55/97.77 c core #603 97.55/97.77 c Core size: 27 Core Weight: 1 Total Weight: -397 97.55/97.77 c Elapsed CPU time: 94.4706 s Remaining CPU time: 1705.53 s 97.75/97.93 c ============================[ Search Statistics ]============================== 97.75/97.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.75/97.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.75/97.93 c =============================================================================== 97.75/97.93 c | 0 | 2759 78891 191238 | 26297 0 nan | 0.000 % | 97.75/97.94 c =============================================================================== 97.75/97.94 c core #604 97.75/97.94 c Core size: 15 Core Weight: 1 Total Weight: -396 97.75/97.94 c Elapsed CPU time: 94.6366 s Remaining CPU time: 1705.36 s 97.95/98.10 c ============================[ Search Statistics ]============================== 97.95/98.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.95/98.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.95/98.10 c =============================================================================== 97.95/98.10 c | 0 | 2765 78892 191250 | 26297 0 nan | 0.000 % | 97.95/98.12 c =============================================================================== 97.95/98.12 c core #605 97.95/98.12 c Core size: 27 Core Weight: 1 Total Weight: -395 97.95/98.12 c Elapsed CPU time: 94.8046 s Remaining CPU time: 1705.2 s 98.04/98.28 c ============================[ Search Statistics ]============================== 98.04/98.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.04/98.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.04/98.28 c =============================================================================== 98.04/98.28 c | 0 | 2775 78893 191270 | 26297 0 nan | 0.000 % | 98.04/98.29 c =============================================================================== 98.04/98.29 c core #606 98.04/98.29 c Core size: 21 Core Weight: 1 Total Weight: -394 98.04/98.29 c Elapsed CPU time: 94.9686 s Remaining CPU time: 1705.03 s 98.25/98.45 c ============================[ Search Statistics ]============================== 98.25/98.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.25/98.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.25/98.45 c =============================================================================== 98.25/98.45 c | 0 | 2783 78894 191286 | 26298 0 nan | 0.000 % | 98.25/98.46 c =============================================================================== 98.25/98.46 c core #607 98.25/98.46 c Core size: 16 Core Weight: 1 Total Weight: -393 98.25/98.46 c Elapsed CPU time: 95.1355 s Remaining CPU time: 1704.86 s 98.45/98.62 c ============================[ Search Statistics ]============================== 98.45/98.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.45/98.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.45/98.62 c =============================================================================== 98.45/98.62 c | 0 | 2789 78895 191298 | 26298 0 nan | 0.000 % | 98.45/98.64 c =============================================================================== 98.45/98.64 c core #608 98.45/98.64 c Core size: 27 Core Weight: 1 Total Weight: -392 98.45/98.64 c Elapsed CPU time: 95.3045 s Remaining CPU time: 1704.7 s 98.64/98.80 c ============================[ Search Statistics ]============================== 98.64/98.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.64/98.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.64/98.80 c =============================================================================== 98.64/98.80 c | 0 | 2799 78896 191318 | 26298 0 nan | 0.000 % | 98.64/98.81 c =============================================================================== 98.64/98.81 c core #609 98.64/98.81 c Core size: 15 Core Weight: 1 Total Weight: -391 98.64/98.81 c Elapsed CPU time: 95.4695 s Remaining CPU time: 1704.53 s 98.75/98.97 c ============================[ Search Statistics ]============================== 98.75/98.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.75/98.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.75/98.97 c =============================================================================== 98.75/98.97 c | 0 | 2805 78897 191330 | 26299 0 nan | 0.000 % | 98.75/98.98 c =============================================================================== 98.75/98.98 c core #610 98.75/98.98 c Core size: 22 Core Weight: 1 Total Weight: -390 98.75/98.98 c Elapsed CPU time: 95.6325 s Remaining CPU time: 1704.37 s 98.94/99.14 c ============================[ Search Statistics ]============================== 98.94/99.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.94/99.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.94/99.14 c =============================================================================== 98.94/99.14 c | 0 | 2813 78898 191346 | 26299 0 nan | 0.000 % | 98.94/99.15 c =============================================================================== 98.94/99.16 c core #611 98.94/99.16 c Core size: 22 Core Weight: 1 Total Weight: -389 98.94/99.16 c Elapsed CPU time: 95.8024 s Remaining CPU time: 1704.2 s 99.14/99.32 c ============================[ Search Statistics ]============================== 99.14/99.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.14/99.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.14/99.32 c =============================================================================== 99.14/99.32 c | 0 | 2821 78899 191362 | 26299 0 nan | 0.000 % | 99.14/99.33 c =============================================================================== 99.14/99.33 c core #612 99.14/99.33 c Core size: 27 Core Weight: 1 Total Weight: -388 99.14/99.33 c Elapsed CPU time: 95.9704 s Remaining CPU time: 1704.03 s 99.24/99.49 c ============================[ Search Statistics ]============================== 99.24/99.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.24/99.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.24/99.49 c =============================================================================== 99.24/99.49 c | 0 | 2831 78900 191382 | 26300 0 nan | 0.000 % | 99.34/99.50 c =============================================================================== 99.34/99.50 c core #613 99.34/99.50 c Core size: 26 Core Weight: 1 Total Weight: -387 99.34/99.50 c Elapsed CPU time: 96.1384 s Remaining CPU time: 1703.86 s 99.45/99.66 c ============================[ Search Statistics ]============================== 99.45/99.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.45/99.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.45/99.66 c =============================================================================== 99.45/99.66 c | 0 | 2841 78901 191402 | 26300 0 nan | 0.000 % | 99.45/99.67 c =============================================================================== 99.45/99.68 c core #614 99.45/99.68 c Core size: 20 Core Weight: 1 Total Weight: -386 99.45/99.68 c Elapsed CPU time: 96.3104 s Remaining CPU time: 1703.69 s 99.64/99.84 c ============================[ Search Statistics ]============================== 99.64/99.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.64/99.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.64/99.84 c =============================================================================== 99.64/99.84 c | 0 | 2849 78902 191418 | 26300 0 nan | 0.000 % | 99.64/99.85 c =============================================================================== 99.64/99.85 c core #615 99.64/99.85 c Core size: 21 Core Weight: 1 Total Weight: -385 99.64/99.85 c Elapsed CPU time: 96.4773 s Remaining CPU time: 1703.52 s 99.85/100.01 c ============================[ Search Statistics ]============================== 99.85/100.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.85/100.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.85/100.01 c =============================================================================== 99.85/100.01 c | 0 | 2857 78903 191434 | 26301 0 nan | 0.000 % | 99.85/100.02 c =============================================================================== 99.85/100.02 c core #616 99.85/100.02 c Core size: 26 Core Weight: 1 Total Weight: -384 99.85/100.02 c Elapsed CPU time: 96.6443 s Remaining CPU time: 1703.36 s 99.94/100.18 c ============================[ Search Statistics ]============================== 99.94/100.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.94/100.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.94/100.18 c =============================================================================== 99.94/100.18 c | 0 | 2867 78904 191454 | 26301 0 nan | 0.000 % | 99.94/100.20 c =============================================================================== 99.94/100.20 c core #617 99.94/100.20 c Core size: 25 Core Weight: 1 Total Weight: -383 100.05/100.20 c Elapsed CPU time: 96.8113 s Remaining CPU time: 1703.19 s 100.14/100.36 c ============================[ Search Statistics ]============================== 100.14/100.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.14/100.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.14/100.36 c =============================================================================== 100.14/100.36 c | 0 | 2877 78905 191474 | 26301 0 nan | 0.000 % | 100.14/100.37 c =============================================================================== 100.14/100.37 c core #618 100.14/100.37 c Core size: 37 Core Weight: 1 Total Weight: -382 100.14/100.37 c Elapsed CPU time: 96.9703 s Remaining CPU time: 1703.03 s 100.34/100.53 c ============================[ Search Statistics ]============================== 100.34/100.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.34/100.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.34/100.53 c =============================================================================== 100.34/100.53 c | 0 | 2891 78906 191502 | 26302 0 nan | 0.000 % | 100.34/100.54 c =============================================================================== 100.34/100.54 c core #619 100.34/100.54 c Core size: 22 Core Weight: 1 Total Weight: -381 100.34/100.54 c Elapsed CPU time: 97.1382 s Remaining CPU time: 1702.86 s 100.55/100.70 c ============================[ Search Statistics ]============================== 100.55/100.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.55/100.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.55/100.70 c =============================================================================== 100.55/100.70 c | 0 | 2899 78907 191518 | 26302 0 nan | 0.000 % | 100.55/100.72 c =============================================================================== 100.55/100.72 c core #620 100.55/100.72 c Core size: 30 Core Weight: 1 Total Weight: -380 100.55/100.72 c Elapsed CPU time: 97.3002 s Remaining CPU time: 1702.7 s 100.64/100.88 c ============================[ Search Statistics ]============================== 100.64/100.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.64/100.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.64/100.88 c =============================================================================== 100.64/100.88 c | 0 | 2911 78908 191542 | 26302 0 nan | 0.000 % | 100.64/100.89 c =============================================================================== 100.64/100.89 c core #621 100.64/100.89 c Core size: 26 Core Weight: 1 Total Weight: -379 100.64/100.89 c Elapsed CPU time: 97.4622 s Remaining CPU time: 1702.54 s 100.84/101.06 c ============================[ Search Statistics ]============================== 100.84/101.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.84/101.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.84/101.06 c =============================================================================== 100.84/101.06 c | 0 | 2921 78909 191562 | 26303 0 nan | 0.000 % | 100.84/101.07 c =============================================================================== 100.84/101.07 c core #622 100.84/101.07 c Core size: 32 Core Weight: 1 Total Weight: -378 100.84/101.07 c Elapsed CPU time: 97.6392 s Remaining CPU time: 1702.36 s 101.05/101.23 c ============================[ Search Statistics ]============================== 101.05/101.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.05/101.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.05/101.23 c =============================================================================== 101.05/101.23 c | 0 | 2933 78910 191586 | 26303 0 nan | 0.000 % | 101.05/101.25 c =============================================================================== 101.05/101.25 c core #623 101.05/101.25 c Core size: 31 Core Weight: 1 Total Weight: -377 101.05/101.25 c Elapsed CPU time: 97.8121 s Remaining CPU time: 1702.19 s 101.24/101.41 c ============================[ Search Statistics ]============================== 101.24/101.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.24/101.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.24/101.41 c =============================================================================== 101.24/101.41 c | 0 | 2945 78911 191610 | 26303 0 nan | 0.000 % | 101.24/101.42 c =============================================================================== 101.24/101.43 c core #624 101.24/101.43 c Core size: 40 Core Weight: 1 Total Weight: -376 101.24/101.43 c Elapsed CPU time: 97.9871 s Remaining CPU time: 1702.01 s 101.34/101.59 c ============================[ Search Statistics ]============================== 101.34/101.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.34/101.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.34/101.59 c =============================================================================== 101.34/101.59 c | 0 | 2961 78912 191642 | 26304 0 nan | 0.000 % | 101.44/101.60 c =============================================================================== 101.44/101.60 c core #625 101.44/101.60 c Core size: 35 Core Weight: 1 Total Weight: -375 101.44/101.60 c Elapsed CPU time: 98.1611 s Remaining CPU time: 1701.84 s 101.54/101.76 c ============================[ Search Statistics ]============================== 101.54/101.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.54/101.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.54/101.76 c =============================================================================== 101.54/101.76 c | 0 | 2974 78913 191668 | 26304 0 nan | 0.000 % | 101.54/101.78 c =============================================================================== 101.54/101.78 c core #626 101.54/101.78 c Core size: 36 Core Weight: 1 Total Weight: -374 101.54/101.78 c Elapsed CPU time: 98.3341 s Remaining CPU time: 1701.67 s 101.74/101.94 c ============================[ Search Statistics ]============================== 101.74/101.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.74/101.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.74/101.94 c =============================================================================== 101.74/101.94 c | 0 | 2988 78914 191696 | 26304 0 nan | 0.000 % | 101.74/101.96 c =============================================================================== 101.74/101.96 c core #627 101.74/101.96 c Core size: 92 Core Weight: 1 Total Weight: -373 101.74/101.96 c Elapsed CPU time: 98.505 s Remaining CPU time: 1701.49 s 101.94/102.13 c ============================[ Search Statistics ]============================== 101.94/102.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.94/102.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.94/102.13 c =============================================================================== 101.94/102.13 c | 0 | 3021 78915 191762 | 26305 0 nan | 0.000 % | 101.94/102.14 c =============================================================================== 101.94/102.14 c core #628 101.94/102.14 c Core size: 175 Core Weight: 1 Total Weight: -372 101.94/102.14 c Elapsed CPU time: 98.682 s Remaining CPU time: 1701.32 s 102.14/102.31 c ============================[ Search Statistics ]============================== 102.14/102.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.14/102.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.14/102.32 c =============================================================================== 102.14/102.32 c | 0 | 3075 78916 191870 | 26305 0 nan | 0.000 % | 102.14/102.34 c | 101 | 3075 78916 191870 | 28935 101 14 | 92.448 % | 102.14/102.34 c =============================================================================== 102.14/102.35 c core #629 102.14/102.35 c Core size: 242 Core Weight: 1 Total Weight: -371 102.14/102.35 c Elapsed CPU time: 98.874 s Remaining CPU time: 1701.13 s 102.33/102.51 c ============================[ Search Statistics ]============================== 102.33/102.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.33/102.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.33/102.51 c =============================================================================== 102.33/102.51 c | 0 | 3141 78917 192002 | 26305 0 nan | 0.000 % | 102.33/102.53 c =============================================================================== 102.33/102.53 c core #630 102.33/102.53 c Core size: 103 Core Weight: 1 Total Weight: -370 102.33/102.53 c Elapsed CPU time: 99.0479 s Remaining CPU time: 1700.95 s 102.44/102.69 c ============================[ Search Statistics ]============================== 102.44/102.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.44/102.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.44/102.69 c =============================================================================== 102.44/102.69 c | 0 | 3172 78918 192064 | 26306 0 nan | 0.000 % | 102.54/102.71 c | 100 | 3172 78918 192064 | 28936 100 33 | 92.229 % | 102.54/102.73 c | 254 | 3172 78918 192064 | 31830 254 53 | 92.229 % | 102.54/102.75 c | 480 | 3171 78918 192064 | 35013 480 57 | 92.231 % | 102.54/102.79 c | 818 | 3171 78918 192064 | 38514 818 62 | 92.231 % | 102.63/102.84 c | 1326 | 3170 78918 192064 | 42366 1136 63 | 92.233 % | 102.73/102.90 c =============================================================================== 102.73/102.92 c core #631 102.73/102.92 c Core size: 412 Core Weight: 1 Total Weight: -369 102.73/102.92 c Elapsed CPU time: 99.4269 s Remaining CPU time: 1700.57 s 102.84/103.08 c ============================[ Search Statistics ]============================== 102.84/103.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.84/103.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.84/103.08 c =============================================================================== 102.84/103.08 c | 0 | 3262 78919 192244 | 26306 0 nan | 0.000 % | 102.94/103.10 c | 101 | 3262 78919 192244 | 28936 101 15 | 92.026 % | 102.94/103.11 c | 251 | 3262 78919 192244 | 31830 251 16 | 92.026 % | 102.94/103.12 c =============================================================================== 102.94/103.12 c core #632 102.94/103.12 c Core size: 225 Core Weight: 1 Total Weight: -368 102.94/103.12 c Elapsed CPU time: 99.6249 s Remaining CPU time: 1700.38 s 103.03/103.28 c ============================[ Search Statistics ]============================== 103.03/103.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.03/103.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.03/103.28 c =============================================================================== 103.03/103.28 c | 0 | 3314 78920 192348 | 26306 0 nan | 0.000 % | 103.14/103.31 c | 102 | 3314 78920 192348 | 28937 102 76 | 91.909 % | 103.14/103.32 c | 253 | 3314 78920 192348 | 31831 253 53 | 91.909 % | 103.14/103.34 c | 479 | 3314 78920 192348 | 35014 479 41 | 91.909 % | 103.14/103.37 c | 817 | 3314 78920 192348 | 38515 817 51 | 91.909 % | 103.24/103.43 c | 1323 | 3314 78920 192348 | 42367 1323 59 | 91.909 % | 103.34/103.56 c | 2082 | 3314 78920 192348 | 46603 2082 73 | 91.909 % | 103.53/103.72 c =============================================================================== 103.53/103.72 c core #633 103.53/103.72 c Core size: 604 Core Weight: 1 Total Weight: -367 103.53/103.72 c Elapsed CPU time: 100.218 s Remaining CPU time: 1699.78 s 103.64/103.89 c ============================[ Search Statistics ]============================== 103.64/103.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.64/103.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.64/103.89 c =============================================================================== 103.64/103.89 c | 0 | 3454 78921 192628 | 26307 0 nan | 0.000 % | 103.74/103.92 c | 101 | 3454 78921 192628 | 28937 101 22 | 91.596 % | 103.74/103.93 c | 252 | 3454 78921 192628 | 31831 252 20 | 91.596 % | 103.74/103.94 c | 478 | 3454 78921 192628 | 35014 478 24 | 91.596 % | 103.74/103.96 c =============================================================================== 103.74/103.96 c core #634 103.74/103.96 c Core size: 347 Core Weight: 1 Total Weight: -366 103.74/103.96 c Elapsed CPU time: 100.446 s Remaining CPU time: 1699.55 s 103.94/104.13 c ============================[ Search Statistics ]============================== 103.94/104.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.94/104.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.94/104.13 c =============================================================================== 103.94/104.13 c | 0 | 3528 78922 192776 | 26307 0 nan | 0.000 % | 103.94/104.15 c | 106 | 3528 78922 192776 | 28938 106 28 | 91.431 % | 103.94/104.16 c | 261 | 3528 78922 192776 | 31831 261 38 | 91.431 % | 103.94/104.18 c | 486 | 3528 78922 192776 | 35015 486 32 | 91.431 % | 104.03/104.21 c | 824 | 3528 78922 192776 | 38516 824 32 | 91.431 % | 104.03/104.25 c | 1331 | 3528 78922 192776 | 42368 1331 32 | 91.431 % | 104.13/104.34 c | 2091 | 3527 78922 192776 | 46605 2087 44 | 91.433 % | 104.23/104.45 c =============================================================================== 104.23/104.46 c core #635 104.23/104.46 c Core size: 705 Core Weight: 1 Total Weight: -365 104.23/104.46 c Elapsed CPU time: 100.932 s Remaining CPU time: 1699.07 s 104.43/104.63 c ============================[ Search Statistics ]============================== 104.43/104.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.43/104.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.43/104.63 c =============================================================================== 104.43/104.63 c | 0 | 3681 78923 193082 | 26307 0 nan | 0.000 % | 104.43/104.66 c | 101 | 3675 78923 193082 | 28938 101 17 | 91.315 % | 104.43/104.66 c =============================================================================== 104.43/104.66 c core #636 104.43/104.66 c Core size: 137 Core Weight: 1 Total Weight: -364 104.43/104.66 c Elapsed CPU time: 101.117 s Remaining CPU time: 1698.88 s 104.63/104.82 c ============================[ Search Statistics ]============================== 104.63/104.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.63/104.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.63/104.82 c =============================================================================== 104.63/104.82 c | 0 | 3721 78924 193162 | 26308 0 nan | 0.000 % | 104.63/104.85 c | 100 | 3721 78924 193162 | 28938 100 22 | 91.004 % | 104.63/104.86 c | 250 | 3721 78924 193162 | 31832 250 22 | 91.004 % | 104.63/104.88 c | 475 | 3721 78924 193162 | 35015 475 27 | 91.004 % | 104.73/104.91 c | 812 | 3720 78924 193162 | 38517 812 37 | 91.007 % | 104.73/104.93 c =============================================================================== 104.73/104.94 c core #637 104.73/104.94 c Core size: 330 Core Weight: 1 Total Weight: -363 104.73/104.94 c Elapsed CPU time: 101.384 s Remaining CPU time: 1698.62 s 104.93/105.11 c ============================[ Search Statistics ]============================== 104.93/105.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.93/105.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.93/105.11 c =============================================================================== 104.93/105.11 c | 0 | 3789 78925 193298 | 26308 0 nan | 0.000 % | 104.93/105.13 c | 101 | 3789 78925 193298 | 28939 101 31 | 90.855 % | 104.93/105.14 c | 251 | 3788 78925 193298 | 31833 251 20 | 90.858 % | 104.93/105.16 c =============================================================================== 104.93/105.16 c core #638 104.93/105.16 c Core size: 288 Core Weight: 1 Total Weight: -362 104.93/105.16 c Elapsed CPU time: 101.598 s Remaining CPU time: 1698.4 s 105.13/105.33 c ============================[ Search Statistics ]============================== 105.13/105.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.13/105.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.13/105.33 c =============================================================================== 105.13/105.33 c | 0 | 3863 78926 193446 | 26308 0 nan | 0.000 % | 105.13/105.35 c | 100 | 3863 78926 193446 | 28939 100 39 | 90.693 % | 105.13/105.36 c | 250 | 3863 78926 193446 | 31833 250 31 | 90.693 % | 105.13/105.38 c =============================================================================== 105.13/105.38 c core #639 105.13/105.38 c Core size: 169 Core Weight: 1 Total Weight: -361 105.13/105.38 c Elapsed CPU time: 101.807 s Remaining CPU time: 1698.19 s 105.34/105.55 c ============================[ Search Statistics ]============================== 105.34/105.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.34/105.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.34/105.55 c =============================================================================== 105.34/105.55 c | 0 | 3907 78927 193534 | 26309 0 nan | 0.000 % | 105.34/105.57 c | 101 | 3907 78927 193534 | 28939 101 13 | 90.597 % | 105.34/105.58 c | 251 | 3906 78927 193534 | 31833 251 14 | 90.600 % | 105.34/105.60 c | 477 | 3906 78927 193534 | 35017 477 24 | 90.600 % | 105.43/105.61 c =============================================================================== 105.43/105.61 c core #640 105.43/105.61 c Core size: 335 Core Weight: 1 Total Weight: -360 105.43/105.61 c Elapsed CPU time: 102.031 s Remaining CPU time: 1697.97 s 105.53/105.78 c ============================[ Search Statistics ]============================== 105.53/105.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.53/105.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.53/105.78 c =============================================================================== 105.53/105.78 c | 0 | 3982 78928 193684 | 26309 0 nan | 0.000 % | 105.63/105.81 c | 102 | 3982 78928 193684 | 28940 102 46 | 90.434 % | 105.63/105.82 c | 252 | 3982 78928 193684 | 31834 252 34 | 90.434 % | 105.63/105.84 c | 477 | 3982 78928 193684 | 35017 477 34 | 90.434 % | 105.63/105.87 c =============================================================================== 105.63/105.87 c core #641 105.63/105.87 c Core size: 254 Core Weight: 1 Total Weight: -359 105.63/105.87 c Elapsed CPU time: 102.279 s Remaining CPU time: 1697.72 s 105.83/106.04 c ============================[ Search Statistics ]============================== 105.83/106.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.83/106.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.83/106.04 c =============================================================================== 105.83/106.04 c | 0 | 4044 78929 193808 | 26309 0 nan | 0.000 % | 105.83/106.06 c | 101 | 4044 78929 193808 | 28940 101 14 | 90.299 % | 105.83/106.07 c | 253 | 4042 78929 193808 | 31834 253 23 | 90.304 % | 105.83/106.10 c | 479 | 4042 78929 193808 | 35018 479 40 | 90.304 % | 105.92/106.14 c | 816 | 4042 78929 193808 | 38519 816 59 | 90.304 % | 105.92/106.19 c =============================================================================== 106.03/106.20 c core #642 106.03/106.20 c Core size: 313 Core Weight: 1 Total Weight: -358 106.03/106.20 c Elapsed CPU time: 102.599 s Remaining CPU time: 1697.4 s 106.12/106.37 c ============================[ Search Statistics ]============================== 106.12/106.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.12/106.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.12/106.37 c =============================================================================== 106.12/106.37 c | 0 | 4113 78930 193946 | 26310 0 nan | 0.000 % | 106.12/106.40 c | 100 | 4113 78930 193946 | 28941 100 57 | 90.150 % | 106.22/106.41 c | 252 | 4113 78930 193946 | 31835 252 61 | 90.150 % | 106.22/106.43 c | 477 | 4113 78930 193946 | 35018 477 57 | 90.150 % | 106.22/106.46 c | 814 | 4107 78930 193946 | 38520 814 53 | 90.363 % | 106.33/106.52 c | 1320 | 4022 78930 193946 | 42372 1288 55 | 90.368 % | 106.43/106.65 c | 2079 | 4022 78930 193946 | 46609 2047 74 | 90.368 % | 106.63/106.88 c | 3218 | 3991 78930 193946 | 51270 1300 47 | 90.445 % | 106.63/106.89 c =============================================================================== 106.72/106.92 c core #643 106.72/106.92 c Core size: 426 Core Weight: 1 Total Weight: -357 106.72/106.92 c Elapsed CPU time: 103.298 s Remaining CPU time: 1696.7 s 106.82/107.09 c ============================[ Search Statistics ]============================== 106.82/107.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.82/107.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.82/107.09 c =============================================================================== 106.82/107.09 c | 0 | 4201 78931 194122 | 26310 0 nan | 0.000 % | 106.92/107.11 c | 101 | 4201 78931 194122 | 28941 101 42 | 89.961 % | 106.92/107.13 c | 255 | 4201 78931 194122 | 31835 255 27 | 89.961 % | 106.92/107.14 c | 480 | 4201 78931 194122 | 35019 480 31 | 89.961 % | 106.92/107.18 c | 822 | 4201 78931 194122 | 38520 822 41 | 89.961 % | 107.03/107.24 c | 1328 | 4201 78931 194122 | 42373 1328 48 | 89.961 % | 107.13/107.37 c | 2089 | 4201 78931 194122 | 46610 2089 84 | 89.961 % | 107.32/107.51 c =============================================================================== 107.32/107.54 c core #644 107.32/107.54 c Core size: 716 Core Weight: 1 Total Weight: -356 107.32/107.54 c Elapsed CPU time: 103.905 s Remaining CPU time: 1696.09 s 107.53/107.71 c ============================[ Search Statistics ]============================== 107.53/107.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.53/107.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.53/107.71 c =============================================================================== 107.53/107.71 c | 0 | 4310 78932 194340 | 26310 0 nan | 0.000 % | 107.53/107.74 c | 101 | 4310 78932 194340 | 28941 101 33 | 89.727 % | 107.53/107.75 c | 252 | 4310 78932 194340 | 31835 252 23 | 89.727 % | 107.53/107.76 c | 479 | 4310 78932 194340 | 35019 479 29 | 89.727 % | 107.53/107.79 c | 816 | 4309 78932 194340 | 38521 816 32 | 89.729 % | 107.63/107.84 c | 1323 | 4309 78932 194340 | 42373 1323 36 | 89.729 % | 107.72/107.90 c =============================================================================== 107.72/107.92 c core #645 107.72/107.92 c Core size: 476 Core Weight: 1 Total Weight: -355 107.72/107.92 c Elapsed CPU time: 104.267 s Remaining CPU time: 1695.73 s 107.82/108.09 c ============================[ Search Statistics ]============================== 107.82/108.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.82/108.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.82/108.09 c =============================================================================== 107.82/108.09 c | 0 | 4396 78933 194512 | 26311 0 nan | 0.000 % | 107.93/108.12 c | 100 | 4396 78933 194512 | 28942 100 28 | 89.543 % | 107.93/108.12 c | 250 | 4396 78933 194512 | 31836 250 20 | 89.543 % | 107.93/108.14 c | 475 | 4396 78933 194512 | 35019 475 26 | 89.543 % | 107.93/108.17 c | 812 | 4396 78933 194512 | 38521 812 31 | 89.543 % | 108.02/108.22 c | 1321 | 4396 78933 194512 | 42374 1321 45 | 89.543 % | 108.13/108.32 c | 2080 | 4396 78933 194512 | 46611 2080 60 | 89.543 % | 108.32/108.54 c | 3220 | 4396 78933 194512 | 51272 3220 89 | 89.543 % | 108.82/109.00 c | 4928 | 4396 78933 194512 | 56399 4928 114 | 89.543 % | 109.72/110.00 c | 7490 | 4396 78933 194512 | 62039 7490 153 | 89.543 % | 109.82/110.04 c =============================================================================== 109.82/110.05 c core #646 109.82/110.05 c Core size: 455 Core Weight: 1 Total Weight: -354 109.82/110.05 c Elapsed CPU time: 106.37 s Remaining CPU time: 1693.63 s 110.02/110.22 c ============================[ Search Statistics ]============================== 110.02/110.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.02/110.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.02/110.22 c =============================================================================== 110.02/110.22 c | 0 | 4482 78934 194684 | 26311 0 nan | 0.000 % | 110.02/110.25 c | 101 | 4482 78934 194684 | 28942 101 26 | 89.360 % | 110.02/110.26 c | 254 | 4482 78934 194684 | 31836 254 20 | 89.360 % | 110.02/110.28 c | 480 | 4482 78934 194684 | 35020 480 19 | 89.360 % | 110.12/110.31 c | 817 | 4482 78934 194684 | 38522 817 23 | 89.360 % | 110.12/110.36 c | 1323 | 4482 78934 194684 | 42374 1323 32 | 89.360 % | 110.22/110.45 c | 2083 | 4482 78934 194684 | 46612 2083 41 | 89.360 % | 110.32/110.56 c =============================================================================== 110.32/110.59 c core #647 110.32/110.59 c Core size: 755 Core Weight: 1 Total Weight: -353 110.32/110.59 c Elapsed CPU time: 106.89 s Remaining CPU time: 1693.11 s 110.52/110.76 c ============================[ Search Statistics ]============================== 110.52/110.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.52/110.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.52/110.76 c =============================================================================== 110.52/110.76 c | 0 | 4602 78935 194924 | 26311 0 nan | 0.000 % | 110.52/110.78 c | 102 | 4602 78935 194924 | 28942 102 21 | 89.107 % | 110.52/110.79 c | 252 | 4602 78935 194924 | 31837 252 21 | 89.107 % | 110.62/110.81 c | 477 | 4602 78935 194924 | 35020 477 25 | 89.107 % | 110.62/110.83 c | 817 | 4602 78935 194924 | 38522 817 26 | 89.107 % | 110.62/110.89 c | 1323 | 4602 78935 194924 | 42375 1323 30 | 89.107 % | 110.71/110.98 c | 2083 | 4601 78935 194924 | 46612 2079 38 | 89.109 % | 110.92/111.15 c | 3224 | 4601 78935 194924 | 51273 3220 48 | 89.109 % | 111.32/111.54 c | 4934 | 4601 78935 194924 | 56401 4930 69 | 89.109 % | 112.12/112.39 c | 7496 | 4601 78935 194924 | 62041 7492 91 | 89.109 % | 112.51/112.71 c =============================================================================== 112.61/112.83 c core #648 112.61/112.83 c Core size: 837 Core Weight: 1 Total Weight: -352 112.61/112.83 c Elapsed CPU time: 109.098 s Remaining CPU time: 1690.9 s 112.82/113.01 c ============================[ Search Statistics ]============================== 112.82/113.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.82/113.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.82/113.01 c =============================================================================== 112.82/113.01 c | 0 | 4725 78936 195170 | 26312 0 nan | 0.000 % | 112.82/113.03 c | 100 | 4725 78936 195170 | 28943 100 16 | 88.848 % | 112.82/113.04 c | 250 | 4725 78936 195170 | 31837 250 19 | 88.848 % | 112.82/113.06 c | 476 | 4725 78936 195170 | 35021 476 19 | 88.848 % | 112.82/113.09 c | 814 | 4725 78936 195170 | 38523 814 26 | 88.848 % | 112.91/113.14 c | 1320 | 4725 78936 195170 | 42375 1320 43 | 88.848 % | 113.02/113.24 c | 2080 | 4725 78936 195170 | 46613 2080 66 | 88.848 % | 113.21/113.41 c | 3221 | 4725 78936 195170 | 51274 3221 68 | 88.848 % | 113.51/113.72 c | 4930 | 4725 78936 195170 | 56402 4930 81 | 88.848 % | 114.12/114.38 c | 7492 | 4725 78936 195170 | 62042 7492 81 | 88.848 % | 115.62/115.89 c | 11337 | 4725 78936 195170 | 68246 11337 103 | 88.848 % | 118.42/118.67 c | 17104 | 4725 78936 195170 | 75071 17104 123 | 88.848 % | 123.02/123.24 c =============================================================================== 123.41/123.62 c core #649 123.41/123.62 c Core size: 992 Core Weight: 1 Total Weight: -351 123.41/123.62 c Elapsed CPU time: 119.804 s Remaining CPU time: 1680.2 s 123.61/123.82 c ============================[ Search Statistics ]============================== 123.61/123.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 123.61/123.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 123.61/123.82 c =============================================================================== 123.61/123.82 c | 0 | 4851 78937 195422 | 26312 0 nan | 0.000 % | 123.61/123.85 c | 100 | 4851 78937 195422 | 28943 100 13 | 88.585 % | 123.61/123.86 c | 250 | 4851 78937 195422 | 31837 250 14 | 88.585 % | 123.61/123.88 c | 475 | 4851 78937 195422 | 35021 475 15 | 88.585 % | 123.71/123.91 c | 813 | 4851 78937 195422 | 38523 813 17 | 88.585 % | 123.71/123.96 c | 1319 | 4851 78937 195422 | 42376 1319 27 | 88.585 % | 123.81/124.06 c | 2083 | 4851 78937 195422 | 46613 2083 46 | 88.585 % | 124.01/124.29 c | 3224 | 4851 78937 195422 | 51275 3224 90 | 88.585 % | 124.31/124.54 c =============================================================================== 124.31/124.59 c core #650 124.31/124.59 c Core size: 829 Core Weight: 1 Total Weight: -350 124.31/124.59 c Elapsed CPU time: 120.756 s Remaining CPU time: 1679.24 s 124.51/124.77 c ============================[ Search Statistics ]============================== 124.51/124.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.51/124.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.51/124.77 c =============================================================================== 124.51/124.77 c | 0 | 4965 78938 195650 | 26312 0 nan | 0.000 % | 124.51/124.80 c | 100 | 4965 78938 195650 | 28943 100 49 | 88.348 % | 124.61/124.81 c | 250 | 4965 78938 195650 | 31838 250 45 | 88.348 % | 124.61/124.83 c | 475 | 4965 78938 195650 | 35022 475 35 | 88.348 % | 124.61/124.85 c | 816 | 4965 78938 195650 | 38524 816 27 | 88.348 % | 124.61/124.89 c | 1322 | 4965 78938 195650 | 42376 1322 26 | 88.348 % | 124.71/124.99 c | 2081 | 4965 78938 195650 | 46614 2081 40 | 88.348 % | 125.01/125.24 c | 3220 | 4965 78938 195650 | 51275 3220 84 | 88.348 % | 125.41/125.64 c | 4928 | 4965 78938 195650 | 56403 4928 101 | 88.348 % | 125.91/126.18 c | 7492 | 4965 78938 195650 | 62043 7492 97 | 88.348 % | 127.42/127.67 c | 11337 | 4965 78938 195650 | 68248 11337 108 | 88.348 % | 131.41/131.69 c | 17106 | 4965 78938 195650 | 75073 17106 132 | 88.348 % | 141.21/141.40 c | 25757 | 4965 78938 195650 | 82580 25757 165 | 88.348 % | 155.80/156.01 c =============================================================================== 156.50/156.71 c core #651 156.50/156.71 c Core size: 1029 Core Weight: 1 Total Weight: -349 156.50/156.71 c Elapsed CPU time: 152.726 s Remaining CPU time: 1647.27 s 156.70/156.93 c ============================[ Search Statistics ]============================== 156.70/156.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 156.70/156.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 156.70/156.93 c =============================================================================== 156.70/156.93 c | 0 | 5090 78939 195900 | 26313 0 nan | 0.000 % | 156.70/156.97 c | 100 | 5090 78939 195900 | 28944 100 34 | 88.089 % | 156.70/156.98 c | 250 | 5090 78939 195900 | 31838 250 38 | 88.089 % | 156.70/156.99 c | 476 | 5090 78939 195900 | 35022 476 35 | 88.089 % | 156.80/157.01 c | 813 | 5090 78939 195900 | 38524 813 32 | 88.089 % | 156.80/157.07 c | 1320 | 5090 78939 195900 | 42377 1320 46 | 88.089 % | 156.90/157.15 c | 2080 | 5090 78939 195900 | 46615 2080 49 | 88.089 % | 157.10/157.33 c | 3219 | 5090 78939 195900 | 51276 3219 61 | 88.089 % | 157.50/157.74 c | 4927 | 5090 78939 195900 | 56404 4927 82 | 88.089 % | 158.20/158.49 c | 7489 | 5090 78939 195900 | 62044 7489 102 | 88.089 % | 159.89/160.14 c | 11335 | 5090 78939 195900 | 68249 11335 136 | 88.089 % | 161.50/161.75 c | 17102 | 5090 78939 195900 | 75074 17102 120 | 88.089 % | 167.89/168.11 c | 25756 | 5090 78939 195900 | 82581 25756 145 | 88.089 % | 184.59/184.87 c | 38730 | 5090 78939 195900 | 90839 38730 182 | 88.089 % | 232.98/233.23 c | 58191 | 5090 78939 195900 | 99923 58191 239 | 88.089 % | 359.34/359.63 c | 87383 | 5090 78939 195900 | 109915 87383 323 | 88.089 % |
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-1875382-1245204698/watcher-1875382-1245204698 -o /tmp/evaluation-result-1875382-1245204698/solver-1875382-1245204698 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875382-1245204698.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.86 0.97 0.99 3/64 7178 /proc/meminfo: memFree=1847512/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=6036 CPUtime=0 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 188069912 6180864 265 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 1509 265 125 292 0 406 0 [startup+0.0185251 s] /proc/loadavg: 0.86 0.97 0.99 3/64 7178 /proc/meminfo: memFree=1847512/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=7408 CPUtime=0.01 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 594 0 0 0 1 0 0 0 18 0 1 0 188069912 7585792 578 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 1852 581 140 292 0 749 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7408 [startup+0.101534 s] /proc/loadavg: 0.86 0.97 0.99 3/64 7178 /proc/meminfo: memFree=1847512/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=12884 CPUtime=0.09 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 1865 0 0 0 8 1 0 0 18 0 1 0 188069912 13193216 1849 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 3221 1850 229 292 0 2118 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12884 [startup+0.301556 s] /proc/loadavg: 0.86 0.97 0.99 3/64 7178 /proc/meminfo: memFree=1847512/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=15896 CPUtime=0.29 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 3052 0 0 0 28 1 0 0 19 0 1 0 188069912 16277504 3003 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 3974 3003 533 292 0 2871 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15896 [startup+0.701601 s] /proc/loadavg: 0.86 0.97 0.99 3/64 7178 /proc/meminfo: memFree=1847512/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=28092 CPUtime=0.69 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 8012 0 0 0 65 4 0 0 22 0 1 0 188069912 28766208 6299 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 7023 6300 134 292 0 6728 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28092 [startup+1.50169 s] /proc/loadavg: 0.86 0.97 0.99 2/65 7179 /proc/meminfo: memFree=1817104/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=42772 CPUtime=1.49 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 14559 0 0 0 142 7 0 0 25 0 1 0 188069912 43798528 9969 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 10693 9969 134 292 0 10398 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42772 [startup+3.10188 s] /proc/loadavg: 0.86 0.97 0.99 2/65 7179 /proc/meminfo: memFree=1798352/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=68644 CPUtime=3.09 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 25515 0 0 0 297 12 0 0 25 0 1 0 188069912 70291456 16385 1992294400 134512640 135709839 4294956240 18446744073709551615 134606995 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 17161 16385 134 292 0 16866 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68644 [startup+6.30124 s] /proc/loadavg: 0.87 0.97 0.99 2/65 7179 /proc/meminfo: memFree=1743056/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=120808 CPUtime=6.29 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 49198 0 0 0 605 24 0 0 25 0 1 0 188069912 123707392 29510 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 30202 29510 134 292 0 29907 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120808 [startup+12.702 s] /proc/loadavg: 0.88 0.97 0.99 2/65 7179 /proc/meminfo: memFree=1635568/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=226272 CPUtime=12.68 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 97334 0 0 0 1223 45 0 0 25 0 1 0 188069912 231702528 55828 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 56568 55828 134 292 0 56273 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 226272 [startup+25.5024 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7179 /proc/meminfo: memFree=1422704/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=431580 CPUtime=25.46 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 192384 0 0 0 2459 87 0 0 25 0 1 0 188069912 441937920 107266 1992294400 134512640 135709839 4294956240 18446744073709551615 135162244 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 107895 107266 134 292 0 107600 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 431580 [startup+51.1013 s] /proc/loadavg: 0.94 0.97 0.99 2/65 7179 /proc/meminfo: memFree=1018224/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=841008 CPUtime=51.03 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 383585 0 0 0 4932 171 0 0 25 0 1 0 188069912 861192192 209552 1992294400 134512640 135709839 4294956240 18446744073709551615 135162161 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 210252 209552 134 292 0 209957 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 841008 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/65 7179 /proc/meminfo: memFree=250416/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=1599156 CPUtime=102.14 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 745631 0 0 0 9882 332 0 0 25 0 1 0 188069912 1637535744 399133 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 399789 399133 135 292 0 399494 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 1599156 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=140848/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=1705776 CPUtime=162.1 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 784929 0 0 0 15823 387 0 0 25 0 1 0 188069912 1746714624 425843 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 426444 425843 136 292 0 426149 0 Current children cumulated CPU time (s) 162.1 Current children cumulated vsize (KiB) 1705776 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=96944/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=1749796 CPUtime=222.08 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 795932 0 0 0 21800 408 0 0 25 0 1 0 188069912 1791791104 436846 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 437449 436846 136 292 0 437154 0 Current children cumulated CPU time (s) 222.08 Current children cumulated vsize (KiB) 1749796 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=60592/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=1786456 CPUtime=282.05 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 805047 0 0 0 27781 424 0 0 25 0 1 0 188069912 1829330944 445961 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 446614 445961 136 292 0 446319 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 1786456 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=34480/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=1812276 CPUtime=342.04 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 811506 0 0 0 33770 434 0 0 25 0 1 0 188069912 1855770624 452420 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 453069 452420 136 292 0 452774 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 1812276 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=15216/2055920 swapFree=4182468/4192956 [pid=7178] ppid=7176 vsize=1834940 CPUtime=402.02 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 817117 0 0 0 39760 442 0 0 25 0 1 0 188069912 1878978560 458031 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 458735 458031 136 292 0 458440 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 1834940 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+426.101 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=15856/2055920 swapFree=4181924/4192956 [pid=7178] ppid=7176 vsize=1843268 CPUtime=425.82 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4194304 819177 0 0 0 42136 446 0 0 25 0 1 0 188069912 1887506432 460091 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 460817 460091 136 292 0 460522 0 Current children cumulated CPU time (s) 425.82 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+426.206 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=15856/2055920 swapFree=4181924/4192956 [pid=7178] ppid=7176 vsize=0 CPUtime=425.92 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4195332 819177 0 0 0 42136 456 0 0 25 0 1 0 188069912 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 425.92 Current children cumulated vsize (KiB) 0 [startup+426.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7179 /proc/meminfo: memFree=15856/2055920 swapFree=4181924/4192956 [pid=7178] ppid=7176 vsize=0 CPUtime=426.01 /proc/7178/stat : 7178 (wbo) R 7176 7178 7133 0 -1 4195332 819177 0 0 0 42136 465 0 0 25 0 1 0 188069912 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7178/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 426.01 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 426.398 CPU time (s): 426.12 CPU user time (s): 421.37 CPU system time (s): 4.75028 CPU usage (%): 99.9349 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 421.37 system time used= 4.75028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 819177 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= 4611 runsolver used 0.384941 second user time and 1.01885 second system time The end
Begin job on node23 at 2009-06-17 04:11:38 IDJOB=1875382 IDBENCH=48222 IDSOLVER=698 FILE ID=node23/1875382-1245204698 PBS_JOBID= 9368372 Free space on /tmp= 66268 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.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-1875382-1245204698/watcher-1875382-1245204698 -o /tmp/evaluation-result-1875382-1245204698/solver-1875382-1245204698 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875382-1245204698.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8 RANDOM SEED=285278759 node23.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850360 kB Buffers: 50676 kB Cached: 92648 kB SwapCached: 4304 kB Active: 87368 kB Inactive: 63768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850360 kB SwapTotal: 4192956 kB SwapFree: 4182468 kB Dirty: 3456 kB Writeback: 0 kB Mapped: 14432 kB Slab: 40464 kB Committed_AS: 167756 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875382-1245204698.opb Free space on /tmp at the end= 66264 MiB End job on node23 at 2009-06-17 04:18:48