| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 350.266 | 350.492 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb |
| MD5SUM | 3262a45f0e59552e467da6c31a32418a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -67 |
| Best CPU time to get the best result obtained on this benchmark | 1800.46 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 109 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75586 |
| Sum of products size (including duplicates) | 151172 |
| Number of different products | 37793 |
| Sum of products size | 75586 |
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-1875331-1245198946.opb. 0.00/0.00 c Instance file HOME/instance-1875331-1245198946.opb 0.00/0.00 c File size is 3322411 bytes. 0.49/0.54 c Highest Coefficient sum: 109 0.49/0.54 c ============================[ Problem Statistics ]============================= 0.49/0.54 c | | 0.49/0.54 c | Parsing time: 0.52 s | 0.49/0.54 c | Number Variables: 38793 | 0.49/0.54 c | Number Clauses: 38793 | 0.49/0.54 c | Number Cardinality: 2000 | 0.49/0.54 c | Number PB Constraints: 37793 | 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.52292 s Remaining CPU time: 1799.48 s 0.59/0.67 c core #2 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: -998 0.59/0.67 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 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.758884 s Remaining CPU time: 1799.24 s 0.89/0.92 c core #4 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -996 0.89/0.92 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 1.00/1.06 c core #5 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: -995 1.00/1.06 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 1.19/1.20 c core #6 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: -994 1.19/1.20 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.29/1.35 c core #7 1.29/1.35 c Core size: 4 Core Weight: 1 Total Weight: -993 1.29/1.35 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.49/1.50 c core #8 1.49/1.50 c Core size: 4 Core Weight: 1 Total Weight: -992 1.49/1.50 c Elapsed CPU time: 1.43578 s Remaining CPU time: 1798.56 s 1.59/1.65 c core #9 1.59/1.65 c Core size: 4 Core Weight: 1 Total Weight: -991 1.59/1.65 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.79/1.80 c core #10 1.79/1.80 c Core size: 4 Core Weight: 1 Total Weight: -990 1.79/1.80 c Elapsed CPU time: 1.72574 s Remaining CPU time: 1798.27 s 1.89/1.95 c core #11 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -989 1.89/1.95 c Elapsed CPU time: 1.86972 s Remaining CPU time: 1798.13 s 2.09/2.10 c core #12 2.09/2.10 c Core size: 4 Core Weight: 1 Total Weight: -988 2.09/2.10 c Elapsed CPU time: 2.01169 s Remaining CPU time: 1797.99 s 2.20/2.25 c core #13 2.20/2.25 c Core size: 4 Core Weight: 1 Total Weight: -987 2.20/2.25 c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s 2.29/2.40 c core #14 2.29/2.40 c Core size: 4 Core Weight: 1 Total Weight: -986 2.29/2.40 c Elapsed CPU time: 2.30165 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.44563 s Remaining CPU time: 1797.55 s 2.59/2.69 c core #16 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: -984 2.59/2.69 c Elapsed CPU time: 2.58661 s Remaining CPU time: 1797.41 s 2.79/2.84 c core #17 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: -983 2.79/2.84 c Elapsed CPU time: 2.73358 s Remaining CPU time: 1797.27 s 2.89/2.99 c core #18 2.89/2.99 c Core size: 4 Core Weight: 1 Total Weight: -982 2.89/2.99 c Elapsed CPU time: 2.87756 s Remaining CPU time: 1797.12 s 3.09/3.14 c core #19 3.09/3.14 c Core size: 4 Core Weight: 1 Total Weight: -981 3.09/3.14 c Elapsed CPU time: 3.02554 s Remaining CPU time: 1796.97 s 3.19/3.29 c core #20 3.19/3.29 c Core size: 4 Core Weight: 1 Total Weight: -980 3.19/3.29 c Elapsed CPU time: 3.16952 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.32249 s Remaining CPU time: 1796.68 s 3.59/3.60 c core #22 3.59/3.60 c Core size: 4 Core Weight: 1 Total Weight: -978 3.59/3.60 c Elapsed CPU time: 3.46847 s Remaining CPU time: 1796.53 s 3.69/3.75 c core #23 3.69/3.75 c Core size: 4 Core Weight: 1 Total Weight: -977 3.69/3.75 c Elapsed CPU time: 3.61745 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.76443 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.9164 s Remaining CPU time: 1796.08 s 4.19/4.22 c core #26 4.19/4.22 c Core size: 4 Core Weight: 1 Total Weight: -974 4.19/4.22 c Elapsed CPU time: 4.06338 s Remaining CPU time: 1795.94 s 4.30/4.37 c core #27 4.30/4.37 c Core size: 4 Core Weight: 1 Total Weight: -973 4.30/4.37 c Elapsed CPU time: 4.20836 s Remaining CPU time: 1795.79 s 4.49/4.52 c core #28 4.49/4.52 c Core size: 4 Core Weight: 1 Total Weight: -972 4.49/4.52 c Elapsed CPU time: 4.35634 s Remaining CPU time: 1795.64 s 4.59/4.67 c core #29 4.59/4.67 c Core size: 4 Core Weight: 1 Total Weight: -971 4.59/4.67 c Elapsed CPU time: 4.50631 s Remaining CPU time: 1795.49 s 4.79/4.82 c core #30 4.79/4.82 c Core size: 4 Core Weight: 1 Total Weight: -970 4.79/4.82 c Elapsed CPU time: 4.65729 s Remaining CPU time: 1795.34 s 4.89/4.98 c core #31 4.89/4.98 c Core size: 4 Core Weight: 1 Total Weight: -969 4.89/4.98 c Elapsed CPU time: 4.80527 s Remaining CPU time: 1795.19 s 5.09/5.13 c core #32 5.09/5.13 c Core size: 4 Core Weight: 1 Total Weight: -968 5.09/5.13 c Elapsed CPU time: 4.95025 s Remaining CPU time: 1795.05 s 5.19/5.28 c core #33 5.19/5.28 c Core size: 4 Core Weight: 1 Total Weight: -967 5.19/5.28 c Elapsed CPU time: 5.09922 s Remaining CPU time: 1794.9 s 5.40/5.44 c core #34 5.40/5.44 c Core size: 4 Core Weight: 1 Total Weight: -966 5.40/5.44 c Elapsed CPU time: 5.2492 s Remaining CPU time: 1794.75 s 5.59/5.60 c core #35 5.59/5.60 c Core size: 4 Core Weight: 1 Total Weight: -965 5.59/5.60 c Elapsed CPU time: 5.40718 s Remaining CPU time: 1794.59 s 5.69/5.75 c core #36 5.69/5.75 c Core size: 4 Core Weight: 1 Total Weight: -964 5.69/5.75 c Elapsed CPU time: 5.55016 s Remaining CPU time: 1794.45 s 5.89/5.90 c core #37 5.89/5.90 c Core size: 4 Core Weight: 1 Total Weight: -963 5.89/5.90 c Elapsed CPU time: 5.69413 s Remaining CPU time: 1794.31 s 5.99/6.05 c core #38 5.99/6.05 c Core size: 4 Core Weight: 1 Total Weight: -962 5.99/6.05 c Elapsed CPU time: 5.83411 s Remaining CPU time: 1794.17 s 6.19/6.21 c core #39 6.19/6.21 c Core size: 4 Core Weight: 1 Total Weight: -961 6.19/6.21 c Elapsed CPU time: 5.98109 s Remaining CPU time: 1794.02 s 6.29/6.36 c core #40 6.29/6.36 c Core size: 4 Core Weight: 1 Total Weight: -960 6.29/6.36 c Elapsed CPU time: 6.12907 s Remaining CPU time: 1793.87 s 6.49/6.51 c core #41 6.49/6.51 c Core size: 4 Core Weight: 1 Total Weight: -959 6.49/6.51 c Elapsed CPU time: 6.27505 s Remaining CPU time: 1793.72 s 6.60/6.66 c core #42 6.60/6.66 c Core size: 4 Core Weight: 1 Total Weight: -958 6.60/6.66 c Elapsed CPU time: 6.41902 s Remaining CPU time: 1793.58 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.564 s Remaining CPU time: 1793.44 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.70798 s Remaining CPU time: 1793.29 s 7.09/7.11 c core #45 7.09/7.11 c Core size: 4 Core Weight: 1 Total Weight: -955 7.09/7.11 c Elapsed CPU time: 6.85496 s Remaining CPU time: 1793.15 s 7.19/7.26 c core #46 7.19/7.26 c Core size: 4 Core Weight: 1 Total Weight: -954 7.19/7.26 c Elapsed CPU time: 6.99894 s Remaining CPU time: 1793 s 7.39/7.41 c core #47 7.39/7.41 c Core size: 4 Core Weight: 1 Total Weight: -953 7.39/7.41 c Elapsed CPU time: 7.14591 s Remaining CPU time: 1792.85 s 7.49/7.56 c core #48 7.49/7.56 c Core size: 4 Core Weight: 1 Total Weight: -952 7.49/7.56 c Elapsed CPU time: 7.29389 s Remaining CPU time: 1792.71 s 7.69/7.71 c core #49 7.69/7.71 c Core size: 4 Core Weight: 1 Total Weight: -951 7.69/7.71 c Elapsed CPU time: 7.43987 s Remaining CPU time: 1792.56 s 7.79/7.87 c core #50 7.79/7.87 c Core size: 4 Core Weight: 1 Total Weight: -950 7.79/7.87 c Elapsed CPU time: 7.58585 s Remaining CPU time: 1792.41 s 7.98/8.02 c core #51 7.98/8.02 c Core size: 4 Core Weight: 1 Total Weight: -949 7.98/8.02 c Elapsed CPU time: 7.73082 s Remaining CPU time: 1792.27 s 8.09/8.17 c core #52 8.09/8.17 c Core size: 4 Core Weight: 1 Total Weight: -948 8.09/8.17 c Elapsed CPU time: 7.8788 s Remaining CPU time: 1792.12 s 8.28/8.32 c core #53 8.28/8.32 c Core size: 4 Core Weight: 1 Total Weight: -947 8.28/8.32 c Elapsed CPU time: 8.02478 s Remaining CPU time: 1791.98 s 8.39/8.47 c core #54 8.39/8.47 c Core size: 4 Core Weight: 1 Total Weight: -946 8.39/8.47 c Elapsed CPU time: 8.17176 s Remaining CPU time: 1791.83 s 8.58/8.63 c core #55 8.58/8.63 c Core size: 4 Core Weight: 1 Total Weight: -945 8.58/8.63 c Elapsed CPU time: 8.31874 s Remaining CPU time: 1791.68 s 8.69/8.78 c core #56 8.69/8.78 c Core size: 4 Core Weight: 1 Total Weight: -944 8.69/8.78 c Elapsed CPU time: 8.46871 s Remaining CPU time: 1791.53 s 8.89/8.93 c core #57 8.89/8.93 c Core size: 4 Core Weight: 1 Total Weight: -943 8.89/8.93 c Elapsed CPU time: 8.61269 s Remaining CPU time: 1791.39 s 8.99/9.08 c core #58 8.99/9.08 c Core size: 4 Core Weight: 1 Total Weight: -942 8.99/9.08 c Elapsed CPU time: 8.75667 s Remaining CPU time: 1791.24 s 9.19/9.23 c core #59 9.19/9.23 c Core size: 4 Core Weight: 1 Total Weight: -941 9.19/9.23 c Elapsed CPU time: 8.89865 s Remaining CPU time: 1791.1 s 9.29/9.38 c core #60 9.29/9.38 c Core size: 4 Core Weight: 1 Total Weight: -940 9.29/9.38 c Elapsed CPU time: 9.04262 s Remaining CPU time: 1790.96 s 9.48/9.53 c core #61 9.48/9.53 c Core size: 4 Core Weight: 1 Total Weight: -939 9.48/9.53 c Elapsed CPU time: 9.1826 s Remaining CPU time: 1790.82 s 9.59/9.68 c core #62 9.59/9.68 c Core size: 4 Core Weight: 1 Total Weight: -938 9.59/9.68 c Elapsed CPU time: 9.32958 s Remaining CPU time: 1790.67 s 9.79/9.83 c core #63 9.79/9.83 c Core size: 4 Core Weight: 1 Total Weight: -937 9.79/9.83 c Elapsed CPU time: 9.47456 s Remaining CPU time: 1790.53 s 9.90/9.98 c core #64 9.90/9.98 c Core size: 4 Core Weight: 1 Total Weight: -936 9.90/9.98 c Elapsed CPU time: 9.62054 s Remaining CPU time: 1790.38 s 10.09/10.13 c core #65 10.09/10.13 c Core size: 4 Core Weight: 1 Total Weight: -935 10.09/10.13 c Elapsed CPU time: 9.76252 s Remaining CPU time: 1790.24 s 10.19/10.28 c core #66 10.19/10.28 c Core size: 4 Core Weight: 1 Total Weight: -934 10.19/10.28 c Elapsed CPU time: 9.90649 s Remaining CPU time: 1790.09 s 10.39/10.43 c core #67 10.39/10.43 c Core size: 4 Core Weight: 1 Total Weight: -933 10.39/10.43 c Elapsed CPU time: 10.0525 s Remaining CPU time: 1789.95 s 10.49/10.58 c core #68 10.49/10.58 c Core size: 4 Core Weight: 1 Total Weight: -932 10.49/10.58 c Elapsed CPU time: 10.1954 s Remaining CPU time: 1789.8 s 10.69/10.73 c core #69 10.69/10.73 c Core size: 4 Core Weight: 1 Total Weight: -931 10.69/10.73 c Elapsed CPU time: 10.3454 s Remaining CPU time: 1789.65 s 10.79/10.88 c core #70 10.79/10.88 c Core size: 4 Core Weight: 1 Total Weight: -930 10.79/10.88 c Elapsed CPU time: 10.4884 s Remaining CPU time: 1789.51 s 10.99/11.03 c core #71 10.99/11.03 c Core size: 4 Core Weight: 1 Total Weight: -929 10.99/11.03 c Elapsed CPU time: 10.6344 s Remaining CPU time: 1789.37 s 11.09/11.18 c core #72 11.09/11.18 c Core size: 4 Core Weight: 1 Total Weight: -928 11.09/11.18 c Elapsed CPU time: 10.7794 s Remaining CPU time: 1789.22 s 11.29/11.33 c core #73 11.29/11.33 c Core size: 4 Core Weight: 1 Total Weight: -927 11.29/11.33 c Elapsed CPU time: 10.9263 s Remaining CPU time: 1789.07 s 11.39/11.49 c core #74 11.39/11.49 c Core size: 4 Core Weight: 1 Total Weight: -926 11.39/11.49 c Elapsed CPU time: 11.0673 s Remaining CPU time: 1788.93 s 11.59/11.64 c core #75 11.59/11.64 c Core size: 4 Core Weight: 1 Total Weight: -925 11.59/11.64 c Elapsed CPU time: 11.2153 s Remaining CPU time: 1788.78 s 11.68/11.79 c core #76 11.68/11.79 c Core size: 4 Core Weight: 1 Total Weight: -924 11.68/11.79 c Elapsed CPU time: 11.3623 s Remaining CPU time: 1788.64 s 11.89/11.94 c core #77 11.89/11.94 c Core size: 4 Core Weight: 1 Total Weight: -923 11.89/11.94 c Elapsed CPU time: 11.5083 s Remaining CPU time: 1788.49 s 12.00/12.09 c core #78 12.00/12.09 c Core size: 4 Core Weight: 1 Total Weight: -922 12.00/12.09 c Elapsed CPU time: 11.6512 s Remaining CPU time: 1788.35 s 12.19/12.24 c core #79 12.19/12.24 c Core size: 4 Core Weight: 1 Total Weight: -921 12.19/12.24 c Elapsed CPU time: 11.7982 s Remaining CPU time: 1788.2 s 12.28/12.39 c core #80 12.28/12.39 c Core size: 4 Core Weight: 1 Total Weight: -920 12.28/12.39 c Elapsed CPU time: 11.9392 s Remaining CPU time: 1788.06 s 12.48/12.54 c core #81 12.48/12.54 c Core size: 4 Core Weight: 1 Total Weight: -919 12.48/12.54 c Elapsed CPU time: 12.0842 s Remaining CPU time: 1787.92 s 12.59/12.69 c core #82 12.59/12.69 c Core size: 4 Core Weight: 1 Total Weight: -918 12.59/12.69 c Elapsed CPU time: 12.2281 s Remaining CPU time: 1787.77 s 12.79/12.84 c core #83 12.79/12.84 c Core size: 4 Core Weight: 1 Total Weight: -917 12.79/12.84 c Elapsed CPU time: 12.3781 s Remaining CPU time: 1787.62 s 12.88/12.99 c core #84 12.88/12.99 c Core size: 4 Core Weight: 1 Total Weight: -916 12.88/12.99 c Elapsed CPU time: 12.5261 s Remaining CPU time: 1787.47 s 13.09/13.14 c core #85 13.09/13.14 c Core size: 4 Core Weight: 1 Total Weight: -915 13.09/13.14 c Elapsed CPU time: 12.6691 s Remaining CPU time: 1787.33 s 13.19/13.29 c core #86 13.19/13.29 c Core size: 4 Core Weight: 1 Total Weight: -914 13.19/13.29 c Elapsed CPU time: 12.8081 s Remaining CPU time: 1787.19 s 13.39/13.44 c core #87 13.39/13.44 c Core size: 4 Core Weight: 1 Total Weight: -913 13.39/13.44 c Elapsed CPU time: 12.955 s Remaining CPU time: 1787.04 s 13.59/13.60 c core #88 13.59/13.60 c Core size: 4 Core Weight: 1 Total Weight: -912 13.59/13.60 c Elapsed CPU time: 13.101 s Remaining CPU time: 1786.9 s 13.68/13.75 c core #89 13.68/13.75 c Core size: 4 Core Weight: 1 Total Weight: -911 13.68/13.75 c Elapsed CPU time: 13.248 s Remaining CPU time: 1786.75 s 13.89/13.90 c core #90 13.89/13.90 c Core size: 4 Core Weight: 1 Total Weight: -910 13.89/13.90 c Elapsed CPU time: 13.395 s Remaining CPU time: 1786.61 s 13.98/14.05 c core #91 13.98/14.05 c Core size: 4 Core Weight: 1 Total Weight: -909 13.98/14.05 c Elapsed CPU time: 13.5429 s Remaining CPU time: 1786.46 s 14.19/14.20 c core #92 14.19/14.20 c Core size: 4 Core Weight: 1 Total Weight: -908 14.19/14.20 c Elapsed CPU time: 13.6879 s Remaining CPU time: 1786.31 s 14.29/14.35 c core #93 14.29/14.35 c Core size: 4 Core Weight: 1 Total Weight: -907 14.29/14.35 c Elapsed CPU time: 13.8329 s Remaining CPU time: 1786.17 s 14.48/14.50 c core #94 14.48/14.50 c Core size: 4 Core Weight: 1 Total Weight: -906 14.48/14.50 c Elapsed CPU time: 13.9729 s Remaining CPU time: 1786.03 s 14.59/14.65 c core #95 14.59/14.65 c Core size: 4 Core Weight: 1 Total Weight: -905 14.59/14.65 c Elapsed CPU time: 14.1209 s Remaining CPU time: 1785.88 s 14.78/14.81 c core #96 14.78/14.81 c Core size: 4 Core Weight: 1 Total Weight: -904 14.78/14.81 c Elapsed CPU time: 14.2648 s Remaining CPU time: 1785.74 s 14.88/14.96 c core #97 14.88/14.96 c Core size: 4 Core Weight: 1 Total Weight: -903 14.88/14.96 c Elapsed CPU time: 14.4078 s Remaining CPU time: 1785.59 s 15.09/15.11 c core #98 15.09/15.11 c Core size: 4 Core Weight: 1 Total Weight: -902 15.09/15.11 c Elapsed CPU time: 14.5538 s Remaining CPU time: 1785.45 s 15.18/15.26 c core #99 15.18/15.26 c Core size: 4 Core Weight: 1 Total Weight: -901 15.18/15.26 c Elapsed CPU time: 14.7008 s Remaining CPU time: 1785.3 s 15.39/15.41 c core #100 15.39/15.41 c Core size: 4 Core Weight: 1 Total Weight: -900 15.39/15.41 c Elapsed CPU time: 14.8497 s Remaining CPU time: 1785.15 s 15.48/15.56 c core #101 15.48/15.56 c Core size: 4 Core Weight: 1 Total Weight: -899 15.48/15.56 c Elapsed CPU time: 14.9967 s Remaining CPU time: 1785 s 15.68/15.71 c core #102 15.68/15.71 c Core size: 4 Core Weight: 1 Total Weight: -898 15.68/15.71 c Elapsed CPU time: 15.1427 s Remaining CPU time: 1784.86 s 15.78/15.86 c core #103 15.78/15.86 c Core size: 4 Core Weight: 1 Total Weight: -897 15.78/15.86 c Elapsed CPU time: 15.2887 s Remaining CPU time: 1784.71 s 15.98/16.01 c core #104 15.98/16.01 c Core size: 4 Core Weight: 1 Total Weight: -896 15.98/16.01 c Elapsed CPU time: 15.4347 s Remaining CPU time: 1784.57 s 16.08/16.17 c core #105 16.08/16.17 c Core size: 4 Core Weight: 1 Total Weight: -895 16.08/16.17 c Elapsed CPU time: 15.5866 s Remaining CPU time: 1784.41 s 16.29/16.32 c core #106 16.29/16.32 c Core size: 4 Core Weight: 1 Total Weight: -894 16.29/16.32 c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s 16.39/16.47 c core #107 16.39/16.47 c Core size: 4 Core Weight: 1 Total Weight: -893 16.39/16.47 c Elapsed CPU time: 15.8806 s Remaining CPU time: 1784.12 s 16.59/16.62 c core #108 16.59/16.62 c Core size: 4 Core Weight: 1 Total Weight: -892 16.59/16.62 c Elapsed CPU time: 16.0286 s Remaining CPU time: 1783.97 s 16.68/16.78 c core #109 16.68/16.78 c Core size: 4 Core Weight: 1 Total Weight: -891 16.68/16.78 c Elapsed CPU time: 16.1755 s Remaining CPU time: 1783.82 s 16.88/16.93 c core #110 16.88/16.93 c Core size: 4 Core Weight: 1 Total Weight: -890 16.88/16.93 c Elapsed CPU time: 16.3205 s Remaining CPU time: 1783.68 s 16.98/17.08 c core #111 16.98/17.08 c Core size: 4 Core Weight: 1 Total Weight: -889 16.98/17.08 c Elapsed CPU time: 16.4645 s Remaining CPU time: 1783.54 s 17.19/17.23 c core #112 17.19/17.23 c Core size: 4 Core Weight: 1 Total Weight: -888 17.19/17.23 c Elapsed CPU time: 16.6115 s Remaining CPU time: 1783.39 s 17.29/17.38 c core #113 17.29/17.38 c Core size: 4 Core Weight: 1 Total Weight: -887 17.29/17.38 c Elapsed CPU time: 16.7625 s Remaining CPU time: 1783.24 s 17.49/17.53 c core #114 17.49/17.53 c Core size: 4 Core Weight: 1 Total Weight: -886 17.49/17.53 c Elapsed CPU time: 16.9124 s Remaining CPU time: 1783.09 s 17.59/17.69 c core #115 17.59/17.69 c Core size: 4 Core Weight: 1 Total Weight: -885 17.59/17.69 c Elapsed CPU time: 17.0624 s Remaining CPU time: 1782.94 s 17.78/17.84 c core #116 17.78/17.84 c Core size: 4 Core Weight: 1 Total Weight: -884 17.78/17.84 c Elapsed CPU time: 17.2094 s Remaining CPU time: 1782.79 s 17.88/17.99 c core #117 17.88/17.99 c Core size: 4 Core Weight: 1 Total Weight: -883 17.88/17.99 c Elapsed CPU time: 17.3584 s Remaining CPU time: 1782.64 s 18.08/18.14 c core #118 18.08/18.14 c Core size: 4 Core Weight: 1 Total Weight: -882 18.08/18.14 c Elapsed CPU time: 17.5033 s Remaining CPU time: 1782.5 s 18.19/18.29 c core #119 18.19/18.29 c Core size: 4 Core Weight: 1 Total Weight: -881 18.19/18.29 c Elapsed CPU time: 17.6483 s Remaining CPU time: 1782.35 s 18.38/18.45 c core #120 18.38/18.45 c Core size: 4 Core Weight: 1 Total Weight: -880 18.38/18.45 c Elapsed CPU time: 17.7953 s Remaining CPU time: 1782.2 s 18.48/18.60 c core #121 18.48/18.60 c Core size: 4 Core Weight: 1 Total Weight: -879 18.48/18.60 c Elapsed CPU time: 17.9433 s Remaining CPU time: 1782.06 s 18.69/18.75 c core #122 18.69/18.75 c Core size: 4 Core Weight: 1 Total Weight: -878 18.69/18.75 c Elapsed CPU time: 18.0892 s Remaining CPU time: 1781.91 s 18.89/18.90 c core #123 18.89/18.90 c Core size: 4 Core Weight: 1 Total Weight: -877 18.89/18.90 c Elapsed CPU time: 18.2372 s Remaining CPU time: 1781.76 s 18.98/19.05 c core #124 18.98/19.05 c Core size: 4 Core Weight: 1 Total Weight: -876 18.98/19.05 c Elapsed CPU time: 18.3852 s Remaining CPU time: 1781.61 s 19.18/19.21 c core #125 19.18/19.21 c Core size: 4 Core Weight: 1 Total Weight: -875 19.18/19.21 c Elapsed CPU time: 18.5352 s Remaining CPU time: 1781.46 s 19.29/19.36 c core #126 19.29/19.36 c Core size: 4 Core Weight: 1 Total Weight: -874 19.29/19.36 c Elapsed CPU time: 18.6822 s Remaining CPU time: 1781.32 s 19.48/19.51 c core #127 19.48/19.51 c Core size: 4 Core Weight: 1 Total Weight: -873 19.48/19.51 c Elapsed CPU time: 18.8271 s Remaining CPU time: 1781.17 s 19.58/19.66 c core #128 19.58/19.66 c Core size: 4 Core Weight: 1 Total Weight: -872 19.58/19.66 c Elapsed CPU time: 18.9761 s Remaining CPU time: 1781.02 s 19.79/19.82 c core #129 19.79/19.82 c Core size: 4 Core Weight: 1 Total Weight: -871 19.79/19.82 c Elapsed CPU time: 19.1261 s Remaining CPU time: 1780.87 s 19.88/19.97 c core #130 19.88/19.97 c Core size: 4 Core Weight: 1 Total Weight: -870 19.88/19.97 c Elapsed CPU time: 19.2751 s Remaining CPU time: 1780.72 s 20.08/20.12 c core #131 20.08/20.12 c Core size: 4 Core Weight: 1 Total Weight: -869 20.08/20.12 c Elapsed CPU time: 19.422 s Remaining CPU time: 1780.58 s 20.18/20.27 c core #132 20.18/20.27 c Core size: 4 Core Weight: 1 Total Weight: -868 20.18/20.27 c Elapsed CPU time: 19.568 s Remaining CPU time: 1780.43 s 20.38/20.43 c core #133 20.38/20.43 c Core size: 4 Core Weight: 1 Total Weight: -867 20.38/20.43 c Elapsed CPU time: 19.718 s Remaining CPU time: 1780.28 s 20.48/20.58 c core #134 20.48/20.58 c Core size: 4 Core Weight: 1 Total Weight: -866 20.48/20.58 c Elapsed CPU time: 19.867 s Remaining CPU time: 1780.13 s 20.68/20.73 c core #135 20.68/20.73 c Core size: 4 Core Weight: 1 Total Weight: -865 20.68/20.73 c Elapsed CPU time: 20.013 s Remaining CPU time: 1779.99 s 20.78/20.89 c core #136 20.78/20.89 c Core size: 4 Core Weight: 1 Total Weight: -864 20.78/20.89 c Elapsed CPU time: 20.1579 s Remaining CPU time: 1779.84 s 20.98/21.04 c core #137 20.98/21.04 c Core size: 4 Core Weight: 1 Total Weight: -863 20.98/21.04 c Elapsed CPU time: 20.3089 s Remaining CPU time: 1779.69 s 21.08/21.20 c core #138 21.08/21.20 c Core size: 4 Core Weight: 1 Total Weight: -862 21.08/21.20 c Elapsed CPU time: 20.4599 s Remaining CPU time: 1779.54 s 21.27/21.35 c core #139 21.27/21.35 c Core size: 4 Core Weight: 1 Total Weight: -861 21.27/21.35 c Elapsed CPU time: 20.6089 s Remaining CPU time: 1779.39 s 21.48/21.51 c core #140 21.48/21.51 c Core size: 4 Core Weight: 1 Total Weight: -860 21.48/21.51 c Elapsed CPU time: 20.7618 s Remaining CPU time: 1779.24 s 21.57/21.66 c core #141 21.57/21.66 c Core size: 4 Core Weight: 1 Total Weight: -859 21.57/21.66 c Elapsed CPU time: 20.9138 s Remaining CPU time: 1779.09 s 21.78/21.81 c core #142 21.78/21.81 c Core size: 4 Core Weight: 1 Total Weight: -858 21.78/21.82 c Elapsed CPU time: 21.0628 s Remaining CPU time: 1778.94 s 21.88/21.97 c core #143 21.88/21.97 c Core size: 4 Core Weight: 1 Total Weight: -857 21.88/21.97 c Elapsed CPU time: 21.2118 s Remaining CPU time: 1778.79 s 22.08/22.13 c core #144 22.08/22.13 c Core size: 4 Core Weight: 1 Total Weight: -856 22.08/22.13 c Elapsed CPU time: 21.3668 s Remaining CPU time: 1778.63 s 22.18/22.28 c core #145 22.18/22.28 c Core size: 4 Core Weight: 1 Total Weight: -855 22.18/22.28 c Elapsed CPU time: 21.5147 s Remaining CPU time: 1778.49 s 22.37/22.44 c core #146 22.37/22.44 c Core size: 4 Core Weight: 1 Total Weight: -854 22.37/22.44 c Elapsed CPU time: 21.6677 s Remaining CPU time: 1778.33 s 22.48/22.60 c core #147 22.48/22.60 c Core size: 4 Core Weight: 1 Total Weight: -853 22.48/22.60 c Elapsed CPU time: 21.8197 s Remaining CPU time: 1778.18 s 22.67/22.75 c core #148 22.67/22.75 c Core size: 4 Core Weight: 1 Total Weight: -852 22.67/22.75 c Elapsed CPU time: 21.9707 s Remaining CPU time: 1778.03 s 22.88/22.91 c core #149 22.88/22.91 c Core size: 4 Core Weight: 1 Total Weight: -851 22.88/22.91 c Elapsed CPU time: 22.1246 s Remaining CPU time: 1777.88 s 22.98/23.06 c core #150 22.98/23.06 c Core size: 4 Core Weight: 1 Total Weight: -850 22.98/23.06 c Elapsed CPU time: 22.2716 s Remaining CPU time: 1777.73 s 23.17/23.22 c core #151 23.17/23.22 c Core size: 4 Core Weight: 1 Total Weight: -849 23.17/23.22 c Elapsed CPU time: 22.4246 s Remaining CPU time: 1777.58 s 23.27/23.38 c core #152 23.27/23.38 c Core size: 4 Core Weight: 1 Total Weight: -848 23.27/23.38 c Elapsed CPU time: 22.5756 s Remaining CPU time: 1777.42 s 23.48/23.53 c core #153 23.48/23.53 c Core size: 4 Core Weight: 1 Total Weight: -847 23.48/23.53 c Elapsed CPU time: 22.7265 s Remaining CPU time: 1777.27 s 23.57/23.69 c core #154 23.57/23.69 c Core size: 4 Core Weight: 1 Total Weight: -846 23.57/23.69 c Elapsed CPU time: 22.8765 s Remaining CPU time: 1777.12 s 23.78/23.84 c core #155 23.78/23.84 c Core size: 4 Core Weight: 1 Total Weight: -845 23.78/23.84 c Elapsed CPU time: 23.0235 s Remaining CPU time: 1776.98 s 23.87/23.99 c core #156 23.87/23.99 c Core size: 4 Core Weight: 1 Total Weight: -844 23.87/23.99 c Elapsed CPU time: 23.1705 s Remaining CPU time: 1776.83 s 24.08/24.14 c core #157 24.08/24.14 c Core size: 4 Core Weight: 1 Total Weight: -843 24.08/24.14 c Elapsed CPU time: 23.3175 s Remaining CPU time: 1776.68 s 24.28/24.30 c core #158 24.28/24.30 c Core size: 4 Core Weight: 1 Total Weight: -842 24.28/24.30 c Elapsed CPU time: 23.4684 s Remaining CPU time: 1776.53 s 24.38/24.46 c core #159 24.38/24.46 c Core size: 4 Core Weight: 1 Total Weight: -841 24.38/24.46 c Elapsed CPU time: 23.6214 s Remaining CPU time: 1776.38 s 24.57/24.61 c core #160 24.57/24.61 c Core size: 4 Core Weight: 1 Total Weight: -840 24.57/24.61 c Elapsed CPU time: 23.7734 s Remaining CPU time: 1776.23 s 24.67/24.77 c core #161 24.67/24.77 c Core size: 4 Core Weight: 1 Total Weight: -839 24.67/24.77 c Elapsed CPU time: 23.9224 s Remaining CPU time: 1776.08 s 24.87/24.92 c core #162 24.87/24.92 c Core size: 4 Core Weight: 1 Total Weight: -838 24.87/24.92 c Elapsed CPU time: 24.0683 s Remaining CPU time: 1775.93 s 24.97/25.07 c core #163 24.97/25.07 c Core size: 4 Core Weight: 1 Total Weight: -837 24.97/25.07 c Elapsed CPU time: 24.2183 s Remaining CPU time: 1775.78 s 25.18/25.22 c core #164 25.18/25.22 c Core size: 4 Core Weight: 1 Total Weight: -836 25.18/25.22 c Elapsed CPU time: 24.3663 s Remaining CPU time: 1775.63 s 25.27/25.38 c core #165 25.27/25.38 c Core size: 4 Core Weight: 1 Total Weight: -835 25.27/25.38 c Elapsed CPU time: 24.5153 s Remaining CPU time: 1775.48 s 25.47/25.53 c core #166 25.47/25.53 c Core size: 4 Core Weight: 1 Total Weight: -834 25.47/25.53 c Elapsed CPU time: 24.6612 s Remaining CPU time: 1775.34 s 25.58/25.68 c core #167 25.58/25.68 c Core size: 4 Core Weight: 1 Total Weight: -833 25.58/25.68 c Elapsed CPU time: 24.8072 s Remaining CPU time: 1775.19 s 25.77/25.84 c core #168 25.77/25.84 c Core size: 4 Core Weight: 1 Total Weight: -832 25.77/25.84 c Elapsed CPU time: 24.9592 s Remaining CPU time: 1775.04 s 25.87/25.99 c core #169 25.87/25.99 c Core size: 4 Core Weight: 1 Total Weight: -831 25.87/25.99 c Elapsed CPU time: 25.1092 s Remaining CPU time: 1774.89 s 26.08/26.14 c core #170 26.08/26.14 c Core size: 4 Core Weight: 1 Total Weight: -830 26.08/26.14 c Elapsed CPU time: 25.2582 s Remaining CPU time: 1774.74 s 26.17/26.30 c core #171 26.17/26.30 c Core size: 4 Core Weight: 1 Total Weight: -829 26.17/26.30 c Elapsed CPU time: 25.4041 s Remaining CPU time: 1774.6 s 26.38/26.45 c core #172 26.38/26.45 c Core size: 4 Core Weight: 1 Total Weight: -828 26.38/26.45 c Elapsed CPU time: 25.5521 s Remaining CPU time: 1774.45 s 26.57/26.60 c core #173 26.57/26.60 c Core size: 4 Core Weight: 1 Total Weight: -827 26.57/26.60 c Elapsed CPU time: 25.7041 s Remaining CPU time: 1774.3 s 26.67/26.76 c core #174 26.67/26.76 c Core size: 4 Core Weight: 1 Total Weight: -826 26.67/26.76 c Elapsed CPU time: 25.8551 s Remaining CPU time: 1774.14 s 26.87/26.92 c core #175 26.87/26.92 c Core size: 4 Core Weight: 1 Total Weight: -825 26.87/26.92 c Elapsed CPU time: 26.009 s Remaining CPU time: 1773.99 s 26.97/27.07 c core #176 26.97/27.07 c Core size: 4 Core Weight: 1 Total Weight: -824 26.97/27.07 c Elapsed CPU time: 26.159 s Remaining CPU time: 1773.84 s 27.17/27.22 c core #177 27.17/27.22 c Core size: 4 Core Weight: 1 Total Weight: -823 27.17/27.22 c Elapsed CPU time: 26.309 s Remaining CPU time: 1773.69 s 27.27/27.38 c core #178 27.27/27.38 c Core size: 4 Core Weight: 1 Total Weight: -822 27.27/27.38 c Elapsed CPU time: 26.462 s Remaining CPU time: 1773.54 s 27.47/27.54 c core #179 27.47/27.54 c Core size: 4 Core Weight: 1 Total Weight: -821 27.47/27.54 c Elapsed CPU time: 26.615 s Remaining CPU time: 1773.39 s 27.67/27.70 c core #180 27.67/27.70 c Core size: 4 Core Weight: 1 Total Weight: -820 27.67/27.70 c Elapsed CPU time: 26.7679 s Remaining CPU time: 1773.23 s 27.77/27.85 c core #181 27.77/27.85 c Core size: 4 Core Weight: 1 Total Weight: -819 27.77/27.85 c Elapsed CPU time: 26.9179 s Remaining CPU time: 1773.08 s 27.97/28.01 c core #182 27.97/28.01 c Core size: 4 Core Weight: 1 Total Weight: -818 27.97/28.01 c Elapsed CPU time: 27.0699 s Remaining CPU time: 1772.93 s 28.07/28.16 c core #183 28.07/28.16 c Core size: 4 Core Weight: 1 Total Weight: -817 28.07/28.16 c Elapsed CPU time: 27.2199 s Remaining CPU time: 1772.78 s 28.26/28.32 c core #184 28.26/28.32 c Core size: 4 Core Weight: 1 Total Weight: -816 28.26/28.32 c Elapsed CPU time: 27.3688 s Remaining CPU time: 1772.63 s 28.37/28.47 c core #185 28.37/28.47 c Core size: 4 Core Weight: 1 Total Weight: -815 28.37/28.47 c Elapsed CPU time: 27.5188 s Remaining CPU time: 1772.48 s 28.57/28.63 c core #186 28.57/28.63 c Core size: 4 Core Weight: 1 Total Weight: -814 28.57/28.63 c Elapsed CPU time: 27.6678 s Remaining CPU time: 1772.33 s 28.67/28.78 c core #187 28.67/28.78 c Core size: 4 Core Weight: 1 Total Weight: -813 28.67/28.78 c Elapsed CPU time: 27.8168 s Remaining CPU time: 1772.18 s 28.87/28.93 c core #188 28.87/28.93 c Core size: 4 Core Weight: 1 Total Weight: -812 28.87/28.93 c Elapsed CPU time: 27.9687 s Remaining CPU time: 1772.03 s 28.96/29.09 c core #189 28.96/29.09 c Core size: 4 Core Weight: 1 Total Weight: -811 28.96/29.09 c Elapsed CPU time: 28.1217 s Remaining CPU time: 1771.88 s 29.17/29.24 c core #190 29.17/29.24 c Core size: 4 Core Weight: 1 Total Weight: -810 29.17/29.24 c Elapsed CPU time: 28.2687 s Remaining CPU time: 1771.73 s 29.26/29.40 c core #191 29.26/29.40 c Core size: 4 Core Weight: 1 Total Weight: -809 29.37/29.40 c Elapsed CPU time: 28.4127 s Remaining CPU time: 1771.59 s 29.47/29.55 c core #192 29.47/29.55 c Core size: 4 Core Weight: 1 Total Weight: -808 29.47/29.55 c Elapsed CPU time: 28.5617 s Remaining CPU time: 1771.44 s 29.67/29.70 c core #193 29.67/29.70 c Core size: 4 Core Weight: 1 Total Weight: -807 29.67/29.70 c Elapsed CPU time: 28.7076 s Remaining CPU time: 1771.29 s 29.76/29.86 c core #194 29.76/29.86 c Core size: 4 Core Weight: 1 Total Weight: -806 29.76/29.86 c Elapsed CPU time: 28.8586 s Remaining CPU time: 1771.14 s 29.97/30.01 c core #195 29.97/30.01 c Core size: 4 Core Weight: 1 Total Weight: -805 29.97/30.01 c Elapsed CPU time: 29.0096 s Remaining CPU time: 1770.99 s 30.06/30.17 c core #196 30.06/30.17 c Core size: 4 Core Weight: 1 Total Weight: -804 30.06/30.17 c Elapsed CPU time: 29.1616 s Remaining CPU time: 1770.84 s 30.27/30.32 c core #197 30.27/30.32 c Core size: 4 Core Weight: 1 Total Weight: -803 30.27/30.32 c Elapsed CPU time: 29.3085 s Remaining CPU time: 1770.69 s 30.36/30.48 c core #198 30.36/30.48 c Core size: 4 Core Weight: 1 Total Weight: -802 30.36/30.48 c Elapsed CPU time: 29.4545 s Remaining CPU time: 1770.55 s 30.57/30.63 c core #199 30.57/30.63 c Core size: 4 Core Weight: 1 Total Weight: -801 30.57/30.63 c Elapsed CPU time: 29.6055 s Remaining CPU time: 1770.39 s 30.67/30.79 c core #200 30.67/30.79 c Core size: 4 Core Weight: 1 Total Weight: -800 30.67/30.79 c Elapsed CPU time: 29.7585 s Remaining CPU time: 1770.24 s 30.87/30.94 c core #201 30.87/30.94 c Core size: 4 Core Weight: 1 Total Weight: -799 30.87/30.94 c Elapsed CPU time: 29.9095 s Remaining CPU time: 1770.09 s 31.07/31.10 c core #202 31.07/31.10 c Core size: 4 Core Weight: 1 Total Weight: -798 31.07/31.10 c Elapsed CPU time: 30.0644 s Remaining CPU time: 1769.94 s 31.17/31.25 c core #203 31.17/31.25 c Core size: 4 Core Weight: 1 Total Weight: -797 31.17/31.25 c Elapsed CPU time: 30.2184 s Remaining CPU time: 1769.78 s 31.37/31.41 c core #204 31.37/31.41 c Core size: 4 Core Weight: 1 Total Weight: -796 31.37/31.41 c Elapsed CPU time: 30.3654 s Remaining CPU time: 1769.63 s 31.47/31.56 c core #205 31.47/31.56 c Core size: 4 Core Weight: 1 Total Weight: -795 31.47/31.57 c Elapsed CPU time: 30.5194 s Remaining CPU time: 1769.48 s 31.67/31.73 c core #206 31.67/31.73 c Core size: 4 Core Weight: 1 Total Weight: -794 31.67/31.73 c Elapsed CPU time: 30.6743 s Remaining CPU time: 1769.33 s 31.77/31.88 c core #207 31.77/31.88 c Core size: 4 Core Weight: 1 Total Weight: -793 31.77/31.88 c Elapsed CPU time: 30.8223 s Remaining CPU time: 1769.18 s 31.97/32.04 c core #208 31.97/32.04 c Core size: 4 Core Weight: 1 Total Weight: -792 31.97/32.04 c Elapsed CPU time: 30.9713 s Remaining CPU time: 1769.03 s 32.07/32.19 c core #209 32.07/32.19 c Core size: 4 Core Weight: 1 Total Weight: -791 32.07/32.19 c Elapsed CPU time: 31.1193 s Remaining CPU time: 1768.88 s 32.26/32.34 c core #210 32.26/32.34 c Core size: 4 Core Weight: 1 Total Weight: -790 32.26/32.34 c Elapsed CPU time: 31.2632 s Remaining CPU time: 1768.74 s 32.46/32.50 c core #211 32.46/32.50 c Core size: 4 Core Weight: 1 Total Weight: -789 32.46/32.50 c Elapsed CPU time: 31.4112 s Remaining CPU time: 1768.59 s 32.56/32.65 c core #212 32.56/32.65 c Core size: 4 Core Weight: 1 Total Weight: -788 32.56/32.65 c Elapsed CPU time: 31.5552 s Remaining CPU time: 1768.44 s 32.77/32.81 c core #213 32.77/32.81 c Core size: 4 Core Weight: 1 Total Weight: -787 32.77/32.81 c Elapsed CPU time: 31.7042 s Remaining CPU time: 1768.3 s 32.87/32.96 c core #214 32.87/32.96 c Core size: 4 Core Weight: 1 Total Weight: -786 32.87/32.96 c Elapsed CPU time: 31.8512 s Remaining CPU time: 1768.15 s 33.07/33.12 c core #215 33.07/33.12 c Core size: 4 Core Weight: 1 Total Weight: -785 33.07/33.12 c Elapsed CPU time: 32.0041 s Remaining CPU time: 1768 s 33.16/33.27 c core #216 33.16/33.27 c Core size: 4 Core Weight: 1 Total Weight: -784 33.16/33.27 c Elapsed CPU time: 32.1501 s Remaining CPU time: 1767.85 s 33.37/33.43 c core #217 33.37/33.43 c Core size: 4 Core Weight: 1 Total Weight: -783 33.37/33.43 c Elapsed CPU time: 32.3021 s Remaining CPU time: 1767.7 s 33.47/33.58 c core #218 33.47/33.58 c Core size: 4 Core Weight: 1 Total Weight: -782 33.47/33.58 c Elapsed CPU time: 32.4581 s Remaining CPU time: 1767.54 s 33.67/33.74 c core #219 33.67/33.74 c Core size: 4 Core Weight: 1 Total Weight: -781 33.67/33.74 c Elapsed CPU time: 32.607 s Remaining CPU time: 1767.39 s 33.77/33.89 c core #220 33.77/33.89 c Core size: 4 Core Weight: 1 Total Weight: -780 33.77/33.89 c Elapsed CPU time: 32.756 s Remaining CPU time: 1767.24 s 33.97/34.05 c core #221 33.97/34.05 c Core size: 4 Core Weight: 1 Total Weight: -779 33.97/34.05 c Elapsed CPU time: 32.906 s Remaining CPU time: 1767.09 s 34.16/34.21 c core #222 34.16/34.21 c Core size: 4 Core Weight: 1 Total Weight: -778 34.16/34.21 c Elapsed CPU time: 33.057 s Remaining CPU time: 1766.94 s 34.26/34.36 c core #223 34.26/34.36 c Core size: 4 Core Weight: 1 Total Weight: -777 34.26/34.36 c Elapsed CPU time: 33.202 s Remaining CPU time: 1766.8 s 34.47/34.52 c core #224 34.47/34.52 c Core size: 4 Core Weight: 1 Total Weight: -776 34.47/34.52 c Elapsed CPU time: 33.3499 s Remaining CPU time: 1766.65 s 34.57/34.67 c core #225 34.57/34.67 c Core size: 4 Core Weight: 1 Total Weight: -775 34.57/34.67 c Elapsed CPU time: 33.4989 s Remaining CPU time: 1766.5 s 34.76/34.83 c core #226 34.76/34.83 c Core size: 4 Core Weight: 1 Total Weight: -774 34.76/34.83 c Elapsed CPU time: 33.6549 s Remaining CPU time: 1766.35 s 34.86/34.99 c core #227 34.86/34.99 c Core size: 4 Core Weight: 1 Total Weight: -773 34.86/34.99 c Elapsed CPU time: 33.8069 s Remaining CPU time: 1766.19 s 35.07/35.14 c core #228 35.07/35.14 c Core size: 4 Core Weight: 1 Total Weight: -772 35.07/35.14 c Elapsed CPU time: 33.9538 s Remaining CPU time: 1766.05 s 35.27/35.30 c core #229 35.27/35.30 c Core size: 4 Core Weight: 1 Total Weight: -771 35.27/35.30 c Elapsed CPU time: 34.1038 s Remaining CPU time: 1765.9 s 35.36/35.45 c core #230 35.36/35.45 c Core size: 4 Core Weight: 1 Total Weight: -770 35.36/35.45 c Elapsed CPU time: 34.2548 s Remaining CPU time: 1765.75 s 35.57/35.61 c core #231 35.57/35.61 c Core size: 4 Core Weight: 1 Total Weight: -769 35.57/35.61 c Elapsed CPU time: 34.4058 s Remaining CPU time: 1765.59 s 35.67/35.77 c core #232 35.67/35.77 c Core size: 4 Core Weight: 1 Total Weight: -768 35.67/35.77 c Elapsed CPU time: 34.5597 s Remaining CPU time: 1765.44 s 35.86/35.92 c core #233 35.86/35.92 c Core size: 4 Core Weight: 1 Total Weight: -767 35.86/35.92 c Elapsed CPU time: 34.7137 s Remaining CPU time: 1765.29 s 35.96/36.08 c core #234 35.96/36.08 c Core size: 4 Core Weight: 1 Total Weight: -766 35.96/36.08 c Elapsed CPU time: 34.8667 s Remaining CPU time: 1765.13 s 36.17/36.23 c core #235 36.17/36.23 c Core size: 4 Core Weight: 1 Total Weight: -765 36.17/36.23 c Elapsed CPU time: 35.0187 s Remaining CPU time: 1764.98 s 36.27/36.39 c core #236 36.27/36.39 c Core size: 4 Core Weight: 1 Total Weight: -764 36.27/36.39 c Elapsed CPU time: 35.1687 s Remaining CPU time: 1764.83 s 36.47/36.55 c core #237 36.47/36.55 c Core size: 4 Core Weight: 1 Total Weight: -763 36.47/36.55 c Elapsed CPU time: 35.3206 s Remaining CPU time: 1764.68 s 36.67/36.71 c core #238 36.67/36.71 c Core size: 4 Core Weight: 1 Total Weight: -762 36.67/36.71 c Elapsed CPU time: 35.4716 s Remaining CPU time: 1764.53 s 36.76/36.86 c core #239 36.76/36.86 c Core size: 4 Core Weight: 1 Total Weight: -761 36.76/36.86 c Elapsed CPU time: 35.6226 s Remaining CPU time: 1764.38 s 36.97/37.02 c core #240 36.97/37.02 c Core size: 4 Core Weight: 1 Total Weight: -760 36.97/37.02 c Elapsed CPU time: 35.7736 s Remaining CPU time: 1764.23 s 37.06/37.18 c core #241 37.06/37.18 c Core size: 4 Core Weight: 1 Total Weight: -759 37.06/37.18 c Elapsed CPU time: 35.9235 s Remaining CPU time: 1764.08 s 37.27/37.33 c core #242 37.27/37.33 c Core size: 4 Core Weight: 1 Total Weight: -758 37.27/37.33 c Elapsed CPU time: 36.0765 s Remaining CPU time: 1763.92 s 37.37/37.49 c core #243 37.37/37.49 c Core size: 4 Core Weight: 1 Total Weight: -757 37.37/37.49 c Elapsed CPU time: 36.2275 s Remaining CPU time: 1763.77 s 37.56/37.65 c core #244 37.56/37.65 c Core size: 4 Core Weight: 1 Total Weight: -756 37.56/37.65 c Elapsed CPU time: 36.3815 s Remaining CPU time: 1763.62 s 37.76/37.80 c core #245 37.76/37.80 c Core size: 4 Core Weight: 1 Total Weight: -755 37.76/37.80 c Elapsed CPU time: 36.5304 s Remaining CPU time: 1763.47 s 37.86/37.96 c core #246 37.86/37.96 c Core size: 4 Core Weight: 1 Total Weight: -754 37.86/37.96 c Elapsed CPU time: 36.6864 s Remaining CPU time: 1763.31 s 38.06/38.12 c core #247 38.06/38.12 c Core size: 4 Core Weight: 1 Total Weight: -753 38.06/38.12 c Elapsed CPU time: 36.8384 s Remaining CPU time: 1763.16 s 38.16/38.28 c core #248 38.16/38.28 c Core size: 4 Core Weight: 1 Total Weight: -752 38.16/38.28 c Elapsed CPU time: 36.9874 s Remaining CPU time: 1763.01 s 38.36/38.44 c core #249 38.36/38.44 c Core size: 4 Core Weight: 1 Total Weight: -751 38.36/38.44 c Elapsed CPU time: 37.1424 s Remaining CPU time: 1762.86 s 38.47/38.59 c core #250 38.47/38.59 c Core size: 4 Core Weight: 1 Total Weight: -750 38.47/38.59 c Elapsed CPU time: 37.2963 s Remaining CPU time: 1762.7 s 38.66/38.75 c core #251 38.66/38.75 c Core size: 4 Core Weight: 1 Total Weight: -749 38.66/38.75 c Elapsed CPU time: 37.4503 s Remaining CPU time: 1762.55 s 38.86/38.91 c core #252 38.86/38.91 c Core size: 4 Core Weight: 1 Total Weight: -748 38.86/38.91 c Elapsed CPU time: 37.6033 s Remaining CPU time: 1762.4 s 38.96/39.07 c core #253 38.96/39.07 c Core size: 4 Core Weight: 1 Total Weight: -747 38.96/39.07 c Elapsed CPU time: 37.7553 s Remaining CPU time: 1762.24 s 39.16/39.23 c core #254 39.16/39.23 c Core size: 4 Core Weight: 1 Total Weight: -746 39.16/39.23 c Elapsed CPU time: 37.9052 s Remaining CPU time: 1762.09 s 39.26/39.39 c core #255 39.26/39.39 c Core size: 4 Core Weight: 1 Total Weight: -745 39.26/39.39 c Elapsed CPU time: 38.0572 s Remaining CPU time: 1761.94 s 39.46/39.55 c core #256 39.46/39.55 c Core size: 4 Core Weight: 1 Total Weight: -744 39.46/39.55 c Elapsed CPU time: 38.2112 s Remaining CPU time: 1761.79 s 39.66/39.71 c core #257 39.66/39.71 c Core size: 4 Core Weight: 1 Total Weight: -743 39.66/39.71 c Elapsed CPU time: 38.3672 s Remaining CPU time: 1761.63 s 39.76/39.86 c core #258 39.76/39.86 c Core size: 4 Core Weight: 1 Total Weight: -742 39.76/39.86 c Elapsed CPU time: 38.5221 s Remaining CPU time: 1761.48 s 39.96/40.02 c core #259 39.96/40.02 c Core size: 4 Core Weight: 1 Total Weight: -741 39.96/40.02 c Elapsed CPU time: 38.6761 s Remaining CPU time: 1761.32 s 40.06/40.18 c core #260 40.06/40.18 c Core size: 4 Core Weight: 1 Total Weight: -740 40.06/40.18 c Elapsed CPU time: 38.8281 s Remaining CPU time: 1761.17 s 40.26/40.34 c core #261 40.26/40.34 c Core size: 4 Core Weight: 1 Total Weight: -739 40.26/40.34 c Elapsed CPU time: 38.9831 s Remaining CPU time: 1761.02 s 40.46/40.51 c core #262 40.46/40.51 c Core size: 4 Core Weight: 1 Total Weight: -738 40.46/40.51 c Elapsed CPU time: 39.14 s Remaining CPU time: 1760.86 s 40.57/40.67 c core #263 40.57/40.67 c Core size: 4 Core Weight: 1 Total Weight: -737 40.57/40.67 c Elapsed CPU time: 39.292 s Remaining CPU time: 1760.71 s 40.75/40.82 c core #264 40.75/40.82 c Core size: 4 Core Weight: 1 Total Weight: -736 40.75/40.82 c Elapsed CPU time: 39.445 s Remaining CPU time: 1760.55 s 40.86/40.98 c core #265 40.86/40.98 c Core size: 4 Core Weight: 1 Total Weight: -735 40.86/40.98 c Elapsed CPU time: 39.592 s Remaining CPU time: 1760.41 s 41.05/41.14 c core #266 41.05/41.14 c Core size: 4 Core Weight: 1 Total Weight: -734 41.05/41.14 c Elapsed CPU time: 39.742 s Remaining CPU time: 1760.26 s 41.26/41.30 c core #267 41.26/41.30 c Core size: 4 Core Weight: 1 Total Weight: -733 41.26/41.30 c Elapsed CPU time: 39.8949 s Remaining CPU time: 1760.11 s 41.35/41.46 c core #268 41.35/41.46 c Core size: 4 Core Weight: 1 Total Weight: -732 41.35/41.46 c Elapsed CPU time: 40.0469 s Remaining CPU time: 1759.95 s 41.56/41.62 c core #269 41.56/41.62 c Core size: 4 Core Weight: 1 Total Weight: -731 41.56/41.62 c Elapsed CPU time: 40.2029 s Remaining CPU time: 1759.8 s 41.66/41.78 c core #270 41.66/41.78 c Core size: 4 Core Weight: 1 Total Weight: -730 41.66/41.78 c Elapsed CPU time: 40.3589 s Remaining CPU time: 1759.64 s 41.86/41.94 c core #271 41.86/41.94 c Core size: 4 Core Weight: 1 Total Weight: -729 41.86/41.94 c Elapsed CPU time: 40.5088 s Remaining CPU time: 1759.49 s 42.06/42.10 c core #272 42.06/42.10 c Core size: 4 Core Weight: 1 Total Weight: -728 42.06/42.10 c Elapsed CPU time: 40.6648 s Remaining CPU time: 1759.34 s 42.15/42.25 c core #273 42.15/42.25 c Core size: 4 Core Weight: 1 Total Weight: -727 42.15/42.25 c Elapsed CPU time: 40.8178 s Remaining CPU time: 1759.18 s 42.35/42.41 c core #274 42.35/42.41 c Core size: 4 Core Weight: 1 Total Weight: -726 42.35/42.41 c Elapsed CPU time: 40.9728 s Remaining CPU time: 1759.03 s 42.45/42.57 c core #275 42.45/42.57 c Core size: 4 Core Weight: 1 Total Weight: -725 42.45/42.57 c Elapsed CPU time: 41.1257 s Remaining CPU time: 1758.87 s 42.65/42.73 c core #276 42.65/42.73 c Core size: 4 Core Weight: 1 Total Weight: -724 42.65/42.73 c Elapsed CPU time: 41.2757 s Remaining CPU time: 1758.72 s 42.76/42.89 c core #277 42.76/42.89 c Core size: 4 Core Weight: 1 Total Weight: -723 42.76/42.89 c Elapsed CPU time: 41.4317 s Remaining CPU time: 1758.57 s 42.95/43.04 c core #278 42.95/43.04 c Core size: 4 Core Weight: 1 Total Weight: -722 42.95/43.04 c Elapsed CPU time: 41.5827 s Remaining CPU time: 1758.42 s 43.16/43.20 c core #279 43.16/43.20 c Core size: 4 Core Weight: 1 Total Weight: -721 43.16/43.20 c Elapsed CPU time: 41.7407 s Remaining CPU time: 1758.26 s 43.25/43.37 c core #280 43.25/43.37 c Core size: 4 Core Weight: 1 Total Weight: -720 43.25/43.37 c Elapsed CPU time: 41.8966 s Remaining CPU time: 1758.1 s 43.45/43.52 c core #281 43.45/43.52 c Core size: 4 Core Weight: 1 Total Weight: -719 43.45/43.52 c Elapsed CPU time: 42.0476 s Remaining CPU time: 1757.95 s 43.55/43.68 c core #282 43.55/43.68 c Core size: 4 Core Weight: 1 Total Weight: -718 43.55/43.68 c Elapsed CPU time: 42.2006 s Remaining CPU time: 1757.8 s 43.76/43.84 c core #283 43.76/43.84 c Core size: 4 Core Weight: 1 Total Weight: -717 43.76/43.84 c Elapsed CPU time: 42.3526 s Remaining CPU time: 1757.65 s 43.86/43.99 c core #284 43.86/43.99 c Core size: 4 Core Weight: 1 Total Weight: -716 43.86/43.99 c Elapsed CPU time: 42.5035 s Remaining CPU time: 1757.5 s 44.06/44.15 c core #285 44.06/44.15 c Core size: 4 Core Weight: 1 Total Weight: -715 44.06/44.15 c Elapsed CPU time: 42.6575 s Remaining CPU time: 1757.34 s 44.26/44.31 c core #286 44.26/44.31 c Core size: 4 Core Weight: 1 Total Weight: -714 44.26/44.31 c Elapsed CPU time: 42.8085 s Remaining CPU time: 1757.19 s 44.35/44.47 c core #287 44.35/44.47 c Core size: 4 Core Weight: 1 Total Weight: -713 44.35/44.47 c Elapsed CPU time: 42.9645 s Remaining CPU time: 1757.04 s 44.55/44.63 c core #288 44.55/44.63 c Core size: 4 Core Weight: 1 Total Weight: -712 44.55/44.63 c Elapsed CPU time: 43.1194 s Remaining CPU time: 1756.88 s 44.66/44.79 c core #289 44.66/44.79 c Core size: 4 Core Weight: 1 Total Weight: -711 44.66/44.79 c Elapsed CPU time: 43.2774 s Remaining CPU time: 1756.72 s 44.85/44.95 c core #290 44.85/44.95 c Core size: 4 Core Weight: 1 Total Weight: -710 44.85/44.95 c Elapsed CPU time: 43.4354 s Remaining CPU time: 1756.56 s 45.06/45.11 c core #291 45.06/45.11 c Core size: 4 Core Weight: 1 Total Weight: -709 45.06/45.11 c Elapsed CPU time: 43.5904 s Remaining CPU time: 1756.41 s 45.16/45.27 c core #292 45.16/45.27 c Core size: 4 Core Weight: 1 Total Weight: -708 45.16/45.27 c Elapsed CPU time: 43.7453 s Remaining CPU time: 1756.25 s 45.35/45.43 c core #293 45.35/45.43 c Core size: 4 Core Weight: 1 Total Weight: -707 45.35/45.43 c Elapsed CPU time: 43.9003 s Remaining CPU time: 1756.1 s 45.45/45.59 c core #294 45.45/45.59 c Core size: 4 Core Weight: 1 Total Weight: -706 45.45/45.59 c Elapsed CPU time: 44.0573 s Remaining CPU time: 1755.94 s 45.66/45.75 c core #295 45.66/45.75 c Core size: 4 Core Weight: 1 Total Weight: -705 45.66/45.75 c Elapsed CPU time: 44.2163 s Remaining CPU time: 1755.78 s 45.86/45.91 c core #296 45.86/45.91 c Core size: 4 Core Weight: 1 Total Weight: -704 45.86/45.91 c Elapsed CPU time: 44.3683 s Remaining CPU time: 1755.63 s 45.96/46.07 c core #297 45.96/46.07 c Core size: 4 Core Weight: 1 Total Weight: -703 45.96/46.07 c Elapsed CPU time: 44.5192 s Remaining CPU time: 1755.48 s 46.16/46.23 c core #298 46.16/46.23 c Core size: 4 Core Weight: 1 Total Weight: -702 46.16/46.23 c Elapsed CPU time: 44.6712 s Remaining CPU time: 1755.33 s 46.25/46.38 c core #299 46.25/46.38 c Core size: 4 Core Weight: 1 Total Weight: -701 46.25/46.38 c Elapsed CPU time: 44.8222 s Remaining CPU time: 1755.18 s 46.46/46.54 c core #300 46.46/46.54 c Core size: 4 Core Weight: 1 Total Weight: -700 46.46/46.54 c Elapsed CPU time: 44.9752 s Remaining CPU time: 1755.02 s 46.65/46.70 c core #301 46.65/46.70 c Core size: 4 Core Weight: 1 Total Weight: -699 46.65/46.70 c Elapsed CPU time: 45.1301 s Remaining CPU time: 1754.87 s 46.76/46.86 c core #302 46.76/46.86 c Core size: 4 Core Weight: 1 Total Weight: -698 46.76/46.86 c Elapsed CPU time: 45.2811 s Remaining CPU time: 1754.72 s 46.96/47.02 c core #303 46.96/47.02 c Core size: 4 Core Weight: 1 Total Weight: -697 46.96/47.02 c Elapsed CPU time: 45.4331 s Remaining CPU time: 1754.57 s 47.05/47.18 c core #304 47.05/47.18 c Core size: 4 Core Weight: 1 Total Weight: -696 47.05/47.18 c Elapsed CPU time: 45.5831 s Remaining CPU time: 1754.42 s 47.26/47.34 c core #305 47.26/47.34 c Core size: 4 Core Weight: 1 Total Weight: -695 47.26/47.34 c Elapsed CPU time: 45.737 s Remaining CPU time: 1754.26 s 47.35/47.49 c core #306 47.35/47.49 c Core size: 4 Core Weight: 1 Total Weight: -694 47.35/47.49 c Elapsed CPU time: 45.892 s Remaining CPU time: 1754.11 s 47.56/47.66 c core #307 47.56/47.66 c Core size: 4 Core Weight: 1 Total Weight: -693 47.56/47.66 c Elapsed CPU time: 46.049 s Remaining CPU time: 1753.95 s 47.75/47.81 c core #308 47.75/47.81 c Core size: 4 Core Weight: 1 Total Weight: -692 47.75/47.81 c Elapsed CPU time: 46.205 s Remaining CPU time: 1753.8 s 47.85/47.97 c core #309 47.85/47.97 c Core size: 4 Core Weight: 1 Total Weight: -691 47.85/47.97 c Elapsed CPU time: 46.358 s Remaining CPU time: 1753.64 s 48.05/48.13 c core #310 48.05/48.13 c Core size: 4 Core Weight: 1 Total Weight: -690 48.05/48.13 c Elapsed CPU time: 46.5069 s Remaining CPU time: 1753.49 s 48.15/48.29 c core #311 48.15/48.29 c Core size: 4 Core Weight: 1 Total Weight: -689 48.15/48.29 c Elapsed CPU time: 46.6579 s Remaining CPU time: 1753.34 s 48.35/48.45 c core #312 48.35/48.45 c Core size: 4 Core Weight: 1 Total Weight: -688 48.35/48.45 c Elapsed CPU time: 46.8149 s Remaining CPU time: 1753.19 s 48.55/48.61 c core #313 48.55/48.61 c Core size: 4 Core Weight: 1 Total Weight: -687 48.55/48.61 c Elapsed CPU time: 46.9689 s Remaining CPU time: 1753.03 s 48.65/48.77 c core #314 48.65/48.77 c Core size: 4 Core Weight: 1 Total Weight: -686 48.65/48.77 c Elapsed CPU time: 47.1228 s Remaining CPU time: 1752.88 s 48.85/48.92 c core #315 48.85/48.92 c Core size: 4 Core Weight: 1 Total Weight: -685 48.85/48.92 c Elapsed CPU time: 47.2748 s Remaining CPU time: 1752.73 s 48.95/49.08 c core #316 48.95/49.08 c Core size: 4 Core Weight: 1 Total Weight: -684 48.95/49.08 c Elapsed CPU time: 47.4298 s Remaining CPU time: 1752.57 s 49.15/49.24 c core #317 49.15/49.24 c Core size: 4 Core Weight: 1 Total Weight: -683 49.15/49.24 c Elapsed CPU time: 47.5848 s Remaining CPU time: 1752.42 s 49.24/49.40 c core #318 49.24/49.40 c Core size: 4 Core Weight: 1 Total Weight: -682 49.24/49.40 c Elapsed CPU time: 47.7397 s Remaining CPU time: 1752.26 s 49.46/49.56 c core #319 49.46/49.56 c Core size: 4 Core Weight: 1 Total Weight: -681 49.46/49.56 c Elapsed CPU time: 47.9027 s Remaining CPU time: 1752.1 s 49.65/49.72 c core #320 49.65/49.72 c Core size: 4 Core Weight: 1 Total Weight: -680 49.65/49.72 c Elapsed CPU time: 48.0567 s Remaining CPU time: 1751.94 s 49.75/49.88 c core #321 49.75/49.88 c Core size: 4 Core Weight: 1 Total Weight: -679 49.75/49.88 c Elapsed CPU time: 48.2117 s Remaining CPU time: 1751.79 s 49.95/50.04 c core #322 49.95/50.04 c Core size: 4 Core Weight: 1 Total Weight: -678 49.95/50.04 c Elapsed CPU time: 48.3626 s Remaining CPU time: 1751.64 s 50.15/50.20 c core #323 50.15/50.20 c Core size: 4 Core Weight: 1 Total Weight: -677 50.15/50.20 c Elapsed CPU time: 48.5186 s Remaining CPU time: 1751.48 s 50.24/50.36 c core #324 50.24/50.36 c Core size: 4 Core Weight: 1 Total Weight: -676 50.24/50.36 c Elapsed CPU time: 48.6696 s Remaining CPU time: 1751.33 s 50.45/50.52 c core #325 50.45/50.52 c Core size: 4 Core Weight: 1 Total Weight: -675 50.45/50.52 c Elapsed CPU time: 48.8246 s Remaining CPU time: 1751.18 s 50.55/50.68 c core #326 50.55/50.68 c Core size: 4 Core Weight: 1 Total Weight: -674 50.55/50.68 c Elapsed CPU time: 48.9736 s Remaining CPU time: 1751.03 s 50.75/50.84 c core #327 50.75/50.84 c Core size: 4 Core Weight: 1 Total Weight: -673 50.75/50.84 c Elapsed CPU time: 49.1275 s Remaining CPU time: 1750.87 s 50.95/51.01 c core #328 50.95/51.01 c Core size: 4 Core Weight: 1 Total Weight: -672 50.95/51.01 c Elapsed CPU time: 49.2835 s Remaining CPU time: 1750.72 s 51.05/51.17 c core #329 51.05/51.17 c Core size: 4 Core Weight: 1 Total Weight: -671 51.05/51.17 c Elapsed CPU time: 49.4395 s Remaining CPU time: 1750.56 s 51.25/51.32 c core #330 51.25/51.32 c Core size: 4 Core Weight: 1 Total Weight: -670 51.25/51.32 c Elapsed CPU time: 49.5905 s Remaining CPU time: 1750.41 s 51.35/51.48 c core #331 51.35/51.48 c Core size: 4 Core Weight: 1 Total Weight: -669 51.35/51.48 c Elapsed CPU time: 49.7484 s Remaining CPU time: 1750.25 s 51.56/51.65 c core #332 51.56/51.65 c Core size: 4 Core Weight: 1 Total Weight: -668 51.56/51.65 c Elapsed CPU time: 49.9044 s Remaining CPU time: 1750.1 s 51.75/51.81 c core #333 51.75/51.81 c Core size: 4 Core Weight: 1 Total Weight: -667 51.75/51.81 c Elapsed CPU time: 50.0654 s Remaining CPU time: 1749.93 s 51.85/51.97 c core #334 51.85/51.97 c Core size: 4 Core Weight: 1 Total Weight: -666 51.85/51.97 c Elapsed CPU time: 50.2184 s Remaining CPU time: 1749.78 s 52.05/52.13 c core #335 52.05/52.13 c Core size: 4 Core Weight: 1 Total Weight: -665 52.05/52.13 c Elapsed CPU time: 50.3733 s Remaining CPU time: 1749.63 s 52.15/52.29 c core #336 52.15/52.29 c Core size: 4 Core Weight: 1 Total Weight: -664 52.15/52.29 c Elapsed CPU time: 50.5273 s Remaining CPU time: 1749.47 s 52.34/52.45 c core #337 52.34/52.45 c Core size: 4 Core Weight: 1 Total Weight: -663 52.34/52.45 c Elapsed CPU time: 50.6803 s Remaining CPU time: 1749.32 s 52.54/52.61 c core #338 52.54/52.61 c Core size: 4 Core Weight: 1 Total Weight: -662 52.54/52.61 c Elapsed CPU time: 50.8323 s Remaining CPU time: 1749.17 s 52.66/52.77 c core #339 52.66/52.77 c Core size: 4 Core Weight: 1 Total Weight: -661 52.66/52.77 c Elapsed CPU time: 50.9892 s Remaining CPU time: 1749.01 s 52.85/52.93 c core #340 52.85/52.93 c Core size: 4 Core Weight: 1 Total Weight: -660 52.85/52.93 c Elapsed CPU time: 51.1422 s Remaining CPU time: 1748.86 s 52.95/53.09 c core #341 52.95/53.09 c Core size: 4 Core Weight: 1 Total Weight: -659 52.95/53.09 c Elapsed CPU time: 51.2962 s Remaining CPU time: 1748.7 s 53.14/53.25 c core #342 53.14/53.25 c Core size: 4 Core Weight: 1 Total Weight: -658 53.14/53.25 c Elapsed CPU time: 51.4482 s Remaining CPU time: 1748.55 s 53.34/53.41 c core #343 53.34/53.41 c Core size: 4 Core Weight: 1 Total Weight: -657 53.34/53.41 c Elapsed CPU time: 51.6052 s Remaining CPU time: 1748.39 s 53.45/53.57 c core #344 53.45/53.57 c Core size: 4 Core Weight: 1 Total Weight: -656 53.45/53.57 c Elapsed CPU time: 51.7541 s Remaining CPU time: 1748.25 s 53.65/53.73 c core #345 53.65/53.73 c Core size: 4 Core Weight: 1 Total Weight: -655 53.65/53.73 c Elapsed CPU time: 51.9081 s Remaining CPU time: 1748.09 s 53.75/53.89 c core #346 53.75/53.89 c Core size: 4 Core Weight: 1 Total Weight: -654 53.75/53.89 c Elapsed CPU time: 52.0641 s Remaining CPU time: 1747.94 s 53.95/54.05 c core #347 53.95/54.05 c Core size: 4 Core Weight: 1 Total Weight: -653 53.95/54.05 c Elapsed CPU time: 52.2201 s Remaining CPU time: 1747.78 s 54.15/54.22 c core #348 54.15/54.22 c Core size: 4 Core Weight: 1 Total Weight: -652 54.15/54.22 c Elapsed CPU time: 52.373 s Remaining CPU time: 1747.63 s 54.25/54.38 c core #349 54.25/54.38 c Core size: 4 Core Weight: 1 Total Weight: -651 54.25/54.38 c Elapsed CPU time: 52.534 s Remaining CPU time: 1747.47 s 54.44/54.54 c core #350 54.44/54.54 c Core size: 4 Core Weight: 1 Total Weight: -650 54.44/54.54 c Elapsed CPU time: 52.691 s Remaining CPU time: 1747.31 s 54.64/54.70 c core #351 54.64/54.70 c Core size: 4 Core Weight: 1 Total Weight: -649 54.64/54.70 c Elapsed CPU time: 52.847 s Remaining CPU time: 1747.15 s 54.74/54.87 c core #352 54.74/54.87 c Core size: 4 Core Weight: 1 Total Weight: -648 54.74/54.87 c Elapsed CPU time: 53.0029 s Remaining CPU time: 1747 s 54.94/55.03 c core #353 54.94/55.03 c Core size: 4 Core Weight: 1 Total Weight: -647 54.94/55.03 c Elapsed CPU time: 53.1569 s Remaining CPU time: 1746.84 s 55.04/55.19 c core #354 55.04/55.19 c Core size: 4 Core Weight: 1 Total Weight: -646 55.04/55.19 c Elapsed CPU time: 53.3109 s Remaining CPU time: 1746.69 s 55.24/55.35 c core #355 55.24/55.35 c Core size: 4 Core Weight: 1 Total Weight: -645 55.24/55.35 c Elapsed CPU time: 53.4699 s Remaining CPU time: 1746.53 s 55.44/55.51 c core #356 55.44/55.51 c Core size: 4 Core Weight: 1 Total Weight: -644 55.44/55.51 c Elapsed CPU time: 53.6258 s Remaining CPU time: 1746.37 s 55.54/55.67 c core #357 55.54/55.67 c Core size: 4 Core Weight: 1 Total Weight: -643 55.54/55.67 c Elapsed CPU time: 53.7808 s Remaining CPU time: 1746.22 s 55.74/55.84 c core #358 55.74/55.84 c Core size: 4 Core Weight: 1 Total Weight: -642 55.74/55.84 c Elapsed CPU time: 53.9378 s Remaining CPU time: 1746.06 s 55.94/56.00 c core #359 55.94/56.00 c Core size: 4 Core Weight: 1 Total Weight: -641 55.94/56.00 c Elapsed CPU time: 54.0968 s Remaining CPU time: 1745.9 s 56.05/56.16 c core #360 56.05/56.16 c Core size: 4 Core Weight: 1 Total Weight: -640 56.05/56.16 c Elapsed CPU time: 54.2568 s Remaining CPU time: 1745.74 s 56.24/56.33 c core #361 56.24/56.33 c Core size: 4 Core Weight: 1 Total Weight: -639 56.24/56.33 c Elapsed CPU time: 54.4177 s Remaining CPU time: 1745.58 s 56.34/56.49 c core #362 56.34/56.49 c Core size: 4 Core Weight: 1 Total Weight: -638 56.34/56.49 c Elapsed CPU time: 54.5737 s Remaining CPU time: 1745.43 s 56.55/56.66 c core #363 56.55/56.66 c Core size: 4 Core Weight: 1 Total Weight: -637 56.55/56.66 c Elapsed CPU time: 54.7317 s Remaining CPU time: 1745.27 s 56.74/56.82 c core #364 56.74/56.82 c Core size: 4 Core Weight: 1 Total Weight: -636 56.74/56.82 c Elapsed CPU time: 54.8917 s Remaining CPU time: 1745.11 s 56.84/56.99 c core #365 56.84/56.99 c Core size: 4 Core Weight: 1 Total Weight: -635 56.84/56.99 c Elapsed CPU time: 55.0476 s Remaining CPU time: 1744.95 s 57.04/57.15 c core #366 57.04/57.15 c Core size: 4 Core Weight: 1 Total Weight: -634 57.04/57.15 c Elapsed CPU time: 55.2046 s Remaining CPU time: 1744.8 s 57.24/57.31 c core #367 57.24/57.31 c Core size: 4 Core Weight: 1 Total Weight: -633 57.24/57.31 c Elapsed CPU time: 55.3626 s Remaining CPU time: 1744.64 s 57.34/57.48 c core #368 57.34/57.48 c Core size: 4 Core Weight: 1 Total Weight: -632 57.34/57.48 c Elapsed CPU time: 55.5206 s Remaining CPU time: 1744.48 s 57.54/57.64 c core #369 57.54/57.64 c Core size: 4 Core Weight: 1 Total Weight: -631 57.54/57.64 c Elapsed CPU time: 55.6815 s Remaining CPU time: 1744.32 s 57.74/57.81 c core #370 57.74/57.81 c Core size: 4 Core Weight: 1 Total Weight: -630 57.74/57.81 c Elapsed CPU time: 55.8405 s Remaining CPU time: 1744.16 s 57.84/57.98 c core #371 57.84/57.98 c Core size: 4 Core Weight: 1 Total Weight: -629 57.84/57.98 c Elapsed CPU time: 56.0035 s Remaining CPU time: 1744 s 58.04/58.14 c core #372 58.04/58.14 c Core size: 4 Core Weight: 1 Total Weight: -628 58.04/58.14 c Elapsed CPU time: 56.1645 s Remaining CPU time: 1743.84 s 58.24/58.31 c core #373 58.24/58.31 c Core size: 4 Core Weight: 1 Total Weight: -627 58.24/58.31 c Elapsed CPU time: 56.3264 s Remaining CPU time: 1743.67 s 58.34/58.48 c core #374 58.34/58.48 c Core size: 4 Core Weight: 1 Total Weight: -626 58.34/58.48 c Elapsed CPU time: 56.4904 s Remaining CPU time: 1743.51 s 58.54/58.65 c core #375 58.54/58.65 c Core size: 4 Core Weight: 1 Total Weight: -625 58.54/58.65 c Elapsed CPU time: 56.6514 s Remaining CPU time: 1743.35 s 58.74/58.81 c core #376 58.74/58.81 c Core size: 4 Core Weight: 1 Total Weight: -624 58.74/58.81 c Elapsed CPU time: 56.8084 s Remaining CPU time: 1743.19 s 58.84/58.98 c core #377 58.84/58.98 c Core size: 4 Core Weight: 1 Total Weight: -623 58.84/58.98 c Elapsed CPU time: 56.9713 s Remaining CPU time: 1743.03 s 59.04/59.15 c core #378 59.04/59.15 c Core size: 4 Core Weight: 1 Total Weight: -622 59.04/59.15 c Elapsed CPU time: 57.1333 s Remaining CPU time: 1742.87 s 59.25/59.31 c core #379 59.25/59.31 c Core size: 4 Core Weight: 1 Total Weight: -621 59.25/59.31 c Elapsed CPU time: 57.2943 s Remaining CPU time: 1742.71 s 59.34/59.47 c core #380 59.34/59.47 c Core size: 4 Core Weight: 1 Total Weight: -620 59.34/59.47 c Elapsed CPU time: 57.4503 s Remaining CPU time: 1742.55 s 59.54/59.64 c core #381 59.54/59.64 c Core size: 4 Core Weight: 1 Total Weight: -619 59.54/59.64 c Elapsed CPU time: 57.6062 s Remaining CPU time: 1742.39 s 59.74/59.80 c core #382 59.74/59.80 c Core size: 4 Core Weight: 1 Total Weight: -618 59.74/59.80 c Elapsed CPU time: 57.7632 s Remaining CPU time: 1742.24 s 59.84/59.96 c core #383 59.84/59.96 c Core size: 4 Core Weight: 1 Total Weight: -617 59.84/59.96 c Elapsed CPU time: 57.9222 s Remaining CPU time: 1742.08 s 60.04/60.13 c core #384 60.04/60.13 c Core size: 4 Core Weight: 1 Total Weight: -616 60.04/60.13 c Elapsed CPU time: 58.0812 s Remaining CPU time: 1741.92 s 60.14/60.29 c core #385 60.14/60.29 c Core size: 4 Core Weight: 1 Total Weight: -615 60.14/60.29 c Elapsed CPU time: 58.2411 s Remaining CPU time: 1741.76 s 60.34/60.45 c core #386 60.34/60.45 c Core size: 4 Core Weight: 1 Total Weight: -614 60.34/60.45 c Elapsed CPU time: 58.3971 s Remaining CPU time: 1741.6 s 60.54/60.62 c core #387 60.54/60.62 c Core size: 4 Core Weight: 1 Total Weight: -613 60.54/60.62 c Elapsed CPU time: 58.5551 s Remaining CPU time: 1741.44 s 60.64/60.78 c core #388 60.64/60.78 c Core size: 4 Core Weight: 1 Total Weight: -612 60.64/60.78 c Elapsed CPU time: 58.7121 s Remaining CPU time: 1741.29 s 60.84/60.95 c core #389 60.84/60.95 c Core size: 4 Core Weight: 1 Total Weight: -611 60.84/60.95 c Elapsed CPU time: 58.871 s Remaining CPU time: 1741.13 s 61.04/61.11 c core #390 61.04/61.11 c Core size: 4 Core Weight: 1 Total Weight: -610 61.04/61.11 c Elapsed CPU time: 59.031 s Remaining CPU time: 1740.97 s 61.14/61.28 c core #391 61.14/61.28 c Core size: 4 Core Weight: 1 Total Weight: -609 61.14/61.28 c Elapsed CPU time: 59.191 s Remaining CPU time: 1740.81 s 61.34/61.44 c core #392 61.34/61.44 c Core size: 4 Core Weight: 1 Total Weight: -608 61.34/61.44 c Elapsed CPU time: 59.352 s Remaining CPU time: 1740.65 s 61.54/61.61 c core #393 61.54/61.61 c Core size: 4 Core Weight: 1 Total Weight: -607 61.54/61.61 c Elapsed CPU time: 59.512 s Remaining CPU time: 1740.49 s 61.64/61.77 c core #394 61.64/61.77 c Core size: 4 Core Weight: 1 Total Weight: -606 61.64/61.77 c Elapsed CPU time: 59.6729 s Remaining CPU time: 1740.33 s 61.84/61.94 c core #395 61.84/61.94 c Core size: 4 Core Weight: 1 Total Weight: -605 61.84/61.94 c Elapsed CPU time: 59.8339 s Remaining CPU time: 1740.17 s 62.04/62.10 c core #396 62.04/62.10 c Core size: 4 Core Weight: 1 Total Weight: -604 62.04/62.10 c Elapsed CPU time: 59.9959 s Remaining CPU time: 1740 s 62.14/62.27 c core #397 62.14/62.27 c Core size: 4 Core Weight: 1 Total Weight: -603 62.14/62.27 c Elapsed CPU time: 60.1569 s Remaining CPU time: 1739.84 s 62.34/62.44 c core #398 62.34/62.44 c Core size: 4 Core Weight: 1 Total Weight: -602 62.34/62.44 c Elapsed CPU time: 60.3178 s Remaining CPU time: 1739.68 s 62.55/62.60 c core #399 62.55/62.60 c Core size: 4 Core Weight: 1 Total Weight: -601 62.55/62.60 c Elapsed CPU time: 60.4748 s Remaining CPU time: 1739.53 s 62.65/62.77 c core #400 62.65/62.77 c Core size: 4 Core Weight: 1 Total Weight: -600 62.65/62.77 c Elapsed CPU time: 60.6388 s Remaining CPU time: 1739.36 s 62.83/62.94 c core #401 62.83/62.94 c Core size: 4 Core Weight: 1 Total Weight: -599 62.83/62.94 c Elapsed CPU time: 60.8028 s Remaining CPU time: 1739.2 s 63.04/63.11 c core #402 63.04/63.11 c Core size: 4 Core Weight: 1 Total Weight: -598 63.04/63.11 c Elapsed CPU time: 60.9707 s Remaining CPU time: 1739.03 s 63.14/63.28 c core #403 63.14/63.28 c Core size: 4 Core Weight: 1 Total Weight: -597 63.14/63.28 c Elapsed CPU time: 61.1367 s Remaining CPU time: 1738.86 s 63.34/63.45 c core #404 63.34/63.45 c Core size: 4 Core Weight: 1 Total Weight: -596 63.34/63.45 c Elapsed CPU time: 61.2987 s Remaining CPU time: 1738.7 s 63.54/63.62 c core #405 63.54/63.62 c Core size: 4 Core Weight: 1 Total Weight: -595 63.54/63.62 c Elapsed CPU time: 61.4627 s Remaining CPU time: 1738.54 s 63.64/63.78 c core #406 63.64/63.78 c Core size: 4 Core Weight: 1 Total Weight: -594 63.64/63.78 c Elapsed CPU time: 61.6236 s Remaining CPU time: 1738.38 s 63.84/63.95 c core #407 63.84/63.95 c Core size: 4 Core Weight: 1 Total Weight: -593 63.84/63.95 c Elapsed CPU time: 61.7856 s Remaining CPU time: 1738.21 s 64.03/64.11 c core #408 64.03/64.11 c Core size: 4 Core Weight: 1 Total Weight: -592 64.03/64.11 c Elapsed CPU time: 61.9476 s Remaining CPU time: 1738.05 s 64.14/64.28 c core #409 64.14/64.28 c Core size: 4 Core Weight: 1 Total Weight: -591 64.14/64.28 c Elapsed CPU time: 62.1086 s Remaining CPU time: 1737.89 s 64.34/64.45 c core #410 64.34/64.45 c Core size: 4 Core Weight: 1 Total Weight: -590 64.34/64.45 c Elapsed CPU time: 62.2645 s Remaining CPU time: 1737.74 s 64.54/64.62 c core #411 64.54/64.62 c Core size: 4 Core Weight: 1 Total Weight: -589 64.54/64.62 c Elapsed CPU time: 62.4285 s Remaining CPU time: 1737.57 s 64.64/64.79 c core #412 64.64/64.79 c Core size: 4 Core Weight: 1 Total Weight: -588 64.64/64.79 c Elapsed CPU time: 62.5855 s Remaining CPU time: 1737.41 s 64.84/64.96 c core #413 64.84/64.96 c Core size: 4 Core Weight: 1 Total Weight: -587 64.84/64.96 c Elapsed CPU time: 62.7575 s Remaining CPU time: 1737.24 s 65.04/65.13 c core #414 65.04/65.13 c Core size: 4 Core Weight: 1 Total Weight: -586 65.04/65.13 c Elapsed CPU time: 62.9204 s Remaining CPU time: 1737.08 s 65.24/65.30 c core #415 65.24/65.30 c Core size: 4 Core Weight: 1 Total Weight: -585 65.24/65.30 c Elapsed CPU time: 63.0834 s Remaining CPU time: 1736.92 s 65.33/65.46 c core #416 65.33/65.46 c Core size: 4 Core Weight: 1 Total Weight: -584 65.33/65.46 c Elapsed CPU time: 63.2444 s Remaining CPU time: 1736.76 s 65.54/65.63 c core #417 65.54/65.63 c Core size: 4 Core Weight: 1 Total Weight: -583 65.54/65.63 c Elapsed CPU time: 63.4044 s Remaining CPU time: 1736.6 s 65.64/65.79 c core #418 65.64/65.79 c Core size: 4 Core Weight: 1 Total Weight: -582 65.64/65.80 c Elapsed CPU time: 63.5643 s Remaining CPU time: 1736.44 s 65.84/65.96 c core #419 65.84/65.96 c Core size: 4 Core Weight: 1 Total Weight: -581 65.84/65.96 c Elapsed CPU time: 63.7243 s Remaining CPU time: 1736.28 s 66.04/66.13 c core #420 66.04/66.13 c Core size: 4 Core Weight: 1 Total Weight: -580 66.04/66.13 c Elapsed CPU time: 63.8853 s Remaining CPU time: 1736.11 s 66.14/66.30 c core #421 66.14/66.30 c Core size: 4 Core Weight: 1 Total Weight: -579 66.14/66.30 c Elapsed CPU time: 64.0483 s Remaining CPU time: 1735.95 s 66.34/66.46 c core #422 66.34/66.46 c Core size: 4 Core Weight: 1 Total Weight: -578 66.34/66.46 c Elapsed CPU time: 64.2082 s Remaining CPU time: 1735.79 s 66.53/66.63 c core #423 66.53/66.63 c Core size: 4 Core Weight: 1 Total Weight: -577 66.53/66.63 c Elapsed CPU time: 64.3722 s Remaining CPU time: 1735.63 s 66.64/66.80 c core #424 66.64/66.80 c Core size: 4 Core Weight: 1 Total Weight: -576 66.64/66.80 c Elapsed CPU time: 64.5282 s Remaining CPU time: 1735.47 s 66.84/66.96 c core #425 66.84/66.96 c Core size: 4 Core Weight: 1 Total Weight: -575 66.84/66.96 c Elapsed CPU time: 64.6892 s Remaining CPU time: 1735.31 s 67.04/67.13 c core #426 67.04/67.13 c Core size: 4 Core Weight: 1 Total Weight: -574 67.04/67.13 c Elapsed CPU time: 64.8511 s Remaining CPU time: 1735.15 s 67.14/67.29 c core #427 67.14/67.29 c Core size: 4 Core Weight: 1 Total Weight: -573 67.14/67.29 c Elapsed CPU time: 65.0081 s Remaining CPU time: 1734.99 s 67.34/67.46 c core #428 67.34/67.46 c Core size: 4 Core Weight: 1 Total Weight: -572 67.34/67.46 c Elapsed CPU time: 65.1641 s Remaining CPU time: 1734.84 s 67.53/67.62 c core #429 67.53/67.62 c Core size: 4 Core Weight: 1 Total Weight: -571 67.53/67.62 c Elapsed CPU time: 65.3231 s Remaining CPU time: 1734.68 s 67.64/67.79 c core #430 67.64/67.79 c Core size: 4 Core Weight: 1 Total Weight: -570 67.64/67.79 c Elapsed CPU time: 65.481 s Remaining CPU time: 1734.52 s 67.84/67.96 c core #431 67.84/67.96 c Core size: 4 Core Weight: 1 Total Weight: -569 67.84/67.96 c Elapsed CPU time: 65.647 s Remaining CPU time: 1734.35 s 68.04/68.12 c core #432 68.04/68.12 c Core size: 4 Core Weight: 1 Total Weight: -568 68.04/68.12 c Elapsed CPU time: 65.81 s Remaining CPU time: 1734.19 s 68.14/68.29 c core #433 68.14/68.29 c Core size: 4 Core Weight: 1 Total Weight: -567 68.14/68.30 c Elapsed CPU time: 65.976 s Remaining CPU time: 1734.02 s 68.34/68.46 c core #434 68.34/68.46 c Core size: 4 Core Weight: 1 Total Weight: -566 68.34/68.46 c Elapsed CPU time: 66.1369 s Remaining CPU time: 1733.86 s 68.53/68.63 c core #435 68.53/68.63 c Core size: 4 Core Weight: 1 Total Weight: -565 68.53/68.63 c Elapsed CPU time: 66.3039 s Remaining CPU time: 1733.7 s 68.74/68.80 c core #436 68.74/68.80 c Core size: 4 Core Weight: 1 Total Weight: -564 68.74/68.80 c Elapsed CPU time: 66.4679 s Remaining CPU time: 1733.53 s 68.83/68.97 c core #437 68.83/68.97 c Core size: 4 Core Weight: 1 Total Weight: -563 68.83/68.97 c Elapsed CPU time: 66.6319 s Remaining CPU time: 1733.37 s 69.04/69.14 c core #438 69.04/69.14 c Core size: 4 Core Weight: 1 Total Weight: -562 69.04/69.14 c Elapsed CPU time: 66.7958 s Remaining CPU time: 1733.2 s 69.23/69.31 c core #439 69.23/69.31 c Core size: 4 Core Weight: 1 Total Weight: -561 69.23/69.31 c Elapsed CPU time: 66.9628 s Remaining CPU time: 1733.04 s 69.33/69.48 c core #440 69.33/69.48 c Core size: 4 Core Weight: 1 Total Weight: -560 69.33/69.48 c Elapsed CPU time: 67.1238 s Remaining CPU time: 1732.88 s 69.53/69.65 c core #441 69.53/69.65 c Core size: 4 Core Weight: 1 Total Weight: -559 69.53/69.65 c Elapsed CPU time: 67.2928 s Remaining CPU time: 1732.71 s 69.73/69.82 c core #442 69.73/69.82 c Core size: 4 Core Weight: 1 Total Weight: -558 69.73/69.82 c Elapsed CPU time: 67.4547 s Remaining CPU time: 1732.55 s 69.83/69.99 c core #443 69.83/69.99 c Core size: 4 Core Weight: 1 Total Weight: -557 69.83/69.99 c Elapsed CPU time: 67.6207 s Remaining CPU time: 1732.38 s 70.04/70.16 c core #444 70.04/70.16 c Core size: 4 Core Weight: 1 Total Weight: -556 70.04/70.16 c Elapsed CPU time: 67.7867 s Remaining CPU time: 1732.21 s 70.23/70.33 c core #445 70.23/70.33 c Core size: 4 Core Weight: 1 Total Weight: -555 70.23/70.33 c Elapsed CPU time: 67.9507 s Remaining CPU time: 1732.05 s 70.44/70.50 c core #446 70.44/70.50 c Core size: 4 Core Weight: 1 Total Weight: -554 70.44/70.50 c Elapsed CPU time: 68.1156 s Remaining CPU time: 1731.88 s 70.53/70.67 c core #447 70.53/70.67 c Core size: 4 Core Weight: 1 Total Weight: -553 70.53/70.67 c Elapsed CPU time: 68.2796 s Remaining CPU time: 1731.72 s 70.73/70.84 c core #448 70.73/70.84 c Core size: 4 Core Weight: 1 Total Weight: -552 70.73/70.84 c Elapsed CPU time: 68.4466 s Remaining CPU time: 1731.55 s 70.93/71.01 c core #449 70.93/71.01 c Core size: 4 Core Weight: 1 Total Weight: -551 70.93/71.01 c Elapsed CPU time: 68.6106 s Remaining CPU time: 1731.39 s 71.03/71.18 c core #450 71.03/71.18 c Core size: 4 Core Weight: 1 Total Weight: -550 71.03/71.18 c Elapsed CPU time: 68.7755 s Remaining CPU time: 1731.22 s 71.23/71.34 c core #451 71.23/71.34 c Core size: 4 Core Weight: 1 Total Weight: -549 71.23/71.35 c Elapsed CPU time: 68.9395 s Remaining CPU time: 1731.06 s 71.44/71.51 c core #452 71.44/71.51 c Core size: 4 Core Weight: 1 Total Weight: -548 71.44/71.51 c Elapsed CPU time: 69.1045 s Remaining CPU time: 1730.9 s 71.53/71.68 c core #453 71.53/71.68 c Core size: 4 Core Weight: 1 Total Weight: -547 71.53/71.68 c Elapsed CPU time: 69.2705 s Remaining CPU time: 1730.73 s 71.74/71.85 c core #454 71.74/71.85 c Core size: 4 Core Weight: 1 Total Weight: -546 71.74/71.85 c Elapsed CPU time: 69.4314 s Remaining CPU time: 1730.57 s 71.93/72.02 c core #455 71.93/72.02 c Core size: 4 Core Weight: 1 Total Weight: -545 71.93/72.02 c Elapsed CPU time: 69.5964 s Remaining CPU time: 1730.4 s 72.04/72.19 c core #456 72.04/72.19 c Core size: 4 Core Weight: 1 Total Weight: -544 72.04/72.19 c Elapsed CPU time: 69.7614 s Remaining CPU time: 1730.24 s 72.23/72.36 c core #457 72.23/72.36 c Core size: 4 Core Weight: 1 Total Weight: -543 72.23/72.36 c Elapsed CPU time: 69.9234 s Remaining CPU time: 1730.08 s 72.44/72.53 c core #458 72.44/72.53 c Core size: 4 Core Weight: 1 Total Weight: -542 72.44/72.53 c Elapsed CPU time: 70.0913 s Remaining CPU time: 1729.91 s 72.63/72.70 c core #459 72.63/72.70 c Core size: 4 Core Weight: 1 Total Weight: -541 72.63/72.70 c Elapsed CPU time: 70.2533 s Remaining CPU time: 1729.75 s 72.73/72.87 c core #460 72.73/72.87 c Core size: 4 Core Weight: 1 Total Weight: -540 72.73/72.87 c Elapsed CPU time: 70.4163 s Remaining CPU time: 1729.58 s 72.93/73.03 c core #461 72.93/73.03 c Core size: 4 Core Weight: 1 Total Weight: -539 72.93/73.03 c Elapsed CPU time: 70.5773 s Remaining CPU time: 1729.42 s 73.13/73.20 c core #462 73.13/73.20 c Core size: 4 Core Weight: 1 Total Weight: -538 73.13/73.20 c Elapsed CPU time: 70.7412 s Remaining CPU time: 1729.26 s 73.23/73.37 c core #463 73.23/73.37 c Core size: 4 Core Weight: 1 Total Weight: -537 73.23/73.37 c Elapsed CPU time: 70.9052 s Remaining CPU time: 1729.09 s 73.43/73.54 c core #464 73.43/73.54 c Core size: 4 Core Weight: 1 Total Weight: -536 73.43/73.54 c Elapsed CPU time: 71.0672 s Remaining CPU time: 1728.93 s 73.64/73.71 c core #465 73.64/73.71 c Core size: 4 Core Weight: 1 Total Weight: -535 73.64/73.71 c Elapsed CPU time: 71.2322 s Remaining CPU time: 1728.77 s 73.73/73.88 c core #466 73.73/73.88 c Core size: 4 Core Weight: 1 Total Weight: -534 73.73/73.88 c Elapsed CPU time: 71.3951 s Remaining CPU time: 1728.6 s 73.92/74.05 c core #467 73.92/74.05 c Core size: 4 Core Weight: 1 Total Weight: -533 73.92/74.05 c Elapsed CPU time: 71.5621 s Remaining CPU time: 1728.44 s 74.12/74.22 c core #468 74.12/74.22 c Core size: 4 Core Weight: 1 Total Weight: -532 74.12/74.22 c Elapsed CPU time: 71.7221 s Remaining CPU time: 1728.28 s 74.23/74.39 c core #469 74.23/74.39 c Core size: 4 Core Weight: 1 Total Weight: -531 74.23/74.39 c Elapsed CPU time: 71.8871 s Remaining CPU time: 1728.11 s 74.42/74.56 c core #470 74.42/74.56 c Core size: 4 Core Weight: 1 Total Weight: -530 74.42/74.56 c Elapsed CPU time: 72.051 s Remaining CPU time: 1727.95 s 74.63/74.73 c core #471 74.63/74.73 c Core size: 4 Core Weight: 1 Total Weight: -529 74.63/74.73 c Elapsed CPU time: 72.221 s Remaining CPU time: 1727.78 s 74.83/74.91 c core #472 74.83/74.91 c Core size: 4 Core Weight: 1 Total Weight: -528 74.83/74.91 c Elapsed CPU time: 72.386 s Remaining CPU time: 1727.61 s 74.93/75.08 c core #473 74.93/75.08 c Core size: 4 Core Weight: 1 Total Weight: -527 74.93/75.08 c Elapsed CPU time: 72.55 s Remaining CPU time: 1727.45 s 75.13/75.25 c core #474 75.13/75.25 c Core size: 4 Core Weight: 1 Total Weight: -526 75.13/75.25 c Elapsed CPU time: 72.7119 s Remaining CPU time: 1727.29 s 75.32/75.42 c core #475 75.32/75.42 c Core size: 4 Core Weight: 1 Total Weight: -525 75.32/75.42 c Elapsed CPU time: 72.8789 s Remaining CPU time: 1727.12 s 75.43/75.59 c core #476 75.43/75.59 c Core size: 4 Core Weight: 1 Total Weight: -524 75.43/75.59 c Elapsed CPU time: 73.0429 s Remaining CPU time: 1726.96 s 75.62/75.76 c core #477 75.62/75.76 c Core size: 4 Core Weight: 1 Total Weight: -523 75.62/75.76 c Elapsed CPU time: 73.2099 s Remaining CPU time: 1726.79 s 75.83/75.93 c core #478 75.83/75.93 c Core size: 4 Core Weight: 1 Total Weight: -522 75.83/75.93 c Elapsed CPU time: 73.3748 s Remaining CPU time: 1726.63 s 76.03/76.10 c core #479 76.03/76.10 c Core size: 4 Core Weight: 1 Total Weight: -521 76.03/76.10 c Elapsed CPU time: 73.5428 s Remaining CPU time: 1726.46 s 76.13/76.28 c core #480 76.13/76.28 c Core size: 4 Core Weight: 1 Total Weight: -520 76.13/76.28 c Elapsed CPU time: 73.7098 s Remaining CPU time: 1726.29 s 76.33/76.45 c core #481 76.33/76.45 c Core size: 4 Core Weight: 1 Total Weight: -519 76.33/76.45 c Elapsed CPU time: 73.8748 s Remaining CPU time: 1726.13 s 76.52/76.62 c core #482 76.52/76.62 c Core size: 4 Core Weight: 1 Total Weight: -518 76.52/76.62 c Elapsed CPU time: 74.0377 s Remaining CPU time: 1725.96 s 76.63/76.79 c core #483 76.63/76.79 c Core size: 4 Core Weight: 1 Total Weight: -517 76.63/76.79 c Elapsed CPU time: 74.2047 s Remaining CPU time: 1725.8 s 76.83/76.96 c core #484 76.83/76.96 c Core size: 4 Core Weight: 1 Total Weight: -516 76.83/76.96 c Elapsed CPU time: 74.3697 s Remaining CPU time: 1725.63 s 77.02/77.14 c core #485 77.02/77.14 c Core size: 4 Core Weight: 1 Total Weight: -515 77.02/77.14 c Elapsed CPU time: 74.5377 s Remaining CPU time: 1725.46 s 77.23/77.31 c core #486 77.23/77.31 c Core size: 4 Core Weight: 1 Total Weight: -514 77.23/77.31 c Elapsed CPU time: 74.7066 s Remaining CPU time: 1725.29 s 77.32/77.48 c core #487 77.32/77.48 c Core size: 4 Core Weight: 1 Total Weight: -513 77.32/77.48 c Elapsed CPU time: 74.8756 s Remaining CPU time: 1725.12 s 77.52/77.66 c core #488 77.52/77.66 c Core size: 4 Core Weight: 1 Total Weight: -512 77.52/77.66 c Elapsed CPU time: 75.0466 s Remaining CPU time: 1724.95 s 77.72/77.83 c core #489 77.72/77.83 c Core size: 4 Core Weight: 1 Total Weight: -511 77.72/77.83 c Elapsed CPU time: 75.2126 s Remaining CPU time: 1724.79 s 77.92/78.00 c core #490 77.92/78.00 c Core size: 4 Core Weight: 1 Total Weight: -510 77.92/78.00 c Elapsed CPU time: 75.3795 s Remaining CPU time: 1724.62 s 78.03/78.17 c core #491 78.03/78.17 c Core size: 4 Core Weight: 1 Total Weight: -509 78.03/78.17 c Elapsed CPU time: 75.5435 s Remaining CPU time: 1724.46 s 78.22/78.35 c core #492 78.22/78.35 c Core size: 4 Core Weight: 1 Total Weight: -508 78.22/78.35 c Elapsed CPU time: 75.7075 s Remaining CPU time: 1724.29 s 78.43/78.52 c core #493 78.43/78.52 c Core size: 4 Core Weight: 1 Total Weight: -507 78.43/78.52 c Elapsed CPU time: 75.8735 s Remaining CPU time: 1724.13 s 78.52/78.69 c core #494 78.52/78.69 c Core size: 4 Core Weight: 1 Total Weight: -506 78.52/78.69 c Elapsed CPU time: 76.0384 s Remaining CPU time: 1723.96 s 78.72/78.86 c core #495 78.72/78.86 c Core size: 4 Core Weight: 1 Total Weight: -505 78.72/78.86 c Elapsed CPU time: 76.2084 s Remaining CPU time: 1723.79 s 78.92/79.03 c core #496 78.92/79.03 c Core size: 4 Core Weight: 1 Total Weight: -504 78.92/79.03 c Elapsed CPU time: 76.3714 s Remaining CPU time: 1723.63 s 79.13/79.21 c core #497 79.13/79.21 c Core size: 9 Core Weight: 1 Total Weight: -503 79.13/79.21 c Elapsed CPU time: 76.5404 s Remaining CPU time: 1723.46 s 79.22/79.38 c core #498 79.22/79.38 c Core size: 9 Core Weight: 1 Total Weight: -502 79.22/79.38 c Elapsed CPU time: 76.7093 s Remaining CPU time: 1723.29 s 79.42/79.55 c core #499 79.42/79.55 c Core size: 19 Core Weight: 1 Total Weight: -501 79.42/79.55 c Elapsed CPU time: 76.8703 s Remaining CPU time: 1723.13 s 79.62/79.72 c core #500 79.62/79.72 c Core size: 23 Core Weight: 1 Total Weight: -500 79.62/79.72 c Elapsed CPU time: 77.0383 s Remaining CPU time: 1722.96 s 79.72/79.89 c core #501 79.72/79.89 c Core size: 38 Core Weight: 1 Total Weight: -499 79.72/79.89 c Elapsed CPU time: 77.2053 s Remaining CPU time: 1722.79 s 79.92/80.06 c ============================[ Search Statistics ]============================== 79.92/80.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.92/80.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.92/80.06 c =============================================================================== 79.92/80.06 c | 0 | 2032 79087 190889 | 26362 0 nan | 0.000 % | 79.92/80.07 c =============================================================================== 79.92/80.07 c core #502 79.92/80.07 c Core size: 16 Core Weight: 1 Total Weight: -498 79.92/80.07 c Elapsed CPU time: 77.3772 s Remaining CPU time: 1722.62 s 80.13/80.24 c ============================[ Search Statistics ]============================== 80.13/80.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.13/80.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.13/80.24 c =============================================================================== 80.13/80.24 c | 0 | 2038 79088 190901 | 26362 0 nan | 0.000 % | 80.13/80.25 c =============================================================================== 80.13/80.25 c core #503 80.13/80.25 c Core size: 17 Core Weight: 1 Total Weight: -497 80.13/80.25 c Elapsed CPU time: 77.5512 s Remaining CPU time: 1722.45 s 80.32/80.41 c ============================[ Search Statistics ]============================== 80.32/80.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.32/80.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.32/80.42 c =============================================================================== 80.32/80.42 c | 0 | 2044 79089 190913 | 26363 0 nan | 0.000 % | 80.32/80.42 c =============================================================================== 80.32/80.42 c core #504 80.32/80.42 c Core size: 15 Core Weight: 1 Total Weight: -496 80.32/80.42 c Elapsed CPU time: 77.7182 s Remaining CPU time: 1722.28 s 80.42/80.59 c ============================[ Search Statistics ]============================== 80.42/80.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.42/80.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.42/80.59 c =============================================================================== 80.42/80.59 c | 0 | 2050 79090 190925 | 26363 0 nan | 0.000 % | 80.42/80.60 c =============================================================================== 80.52/80.60 c core #505 80.52/80.60 c Core size: 17 Core Weight: 1 Total Weight: -495 80.52/80.60 c Elapsed CPU time: 77.8922 s Remaining CPU time: 1722.11 s 80.62/80.76 c ============================[ Search Statistics ]============================== 80.62/80.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.62/80.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.62/80.77 c =============================================================================== 80.62/80.77 c | 0 | 2056 79091 190937 | 26363 0 nan | 0.000 % | 80.62/80.77 c =============================================================================== 80.62/80.78 c core #506 80.62/80.78 c Core size: 17 Core Weight: 1 Total Weight: -494 80.62/80.78 c Elapsed CPU time: 78.0621 s Remaining CPU time: 1721.94 s 80.82/80.94 c ============================[ Search Statistics ]============================== 80.82/80.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.82/80.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.82/80.94 c =============================================================================== 80.82/80.94 c | 0 | 2062 79092 190949 | 26364 0 nan | 0.000 % | 80.82/80.95 c =============================================================================== 80.82/80.95 c core #507 80.82/80.95 c Core size: 15 Core Weight: 1 Total Weight: -493 80.82/80.95 c Elapsed CPU time: 78.2321 s Remaining CPU time: 1721.77 s 81.01/81.12 c ============================[ Search Statistics ]============================== 81.01/81.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.01/81.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.01/81.12 c =============================================================================== 81.01/81.12 c | 0 | 2068 79093 190961 | 26364 0 nan | 0.000 % | 81.01/81.13 c =============================================================================== 81.01/81.13 c core #508 81.01/81.13 c Core size: 16 Core Weight: 1 Total Weight: -492 81.01/81.13 c Elapsed CPU time: 78.4001 s Remaining CPU time: 1721.6 s 81.12/81.29 c ============================[ Search Statistics ]============================== 81.12/81.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.12/81.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.12/81.29 c =============================================================================== 81.12/81.29 c | 0 | 2074 79094 190973 | 26364 0 nan | 0.000 % | 81.12/81.30 c =============================================================================== 81.22/81.31 c core #509 81.22/81.31 c Core size: 16 Core Weight: 1 Total Weight: -491 81.22/81.31 c Elapsed CPU time: 78.5721 s Remaining CPU time: 1721.43 s 81.32/81.47 c ============================[ Search Statistics ]============================== 81.32/81.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.32/81.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.32/81.47 c =============================================================================== 81.32/81.47 c | 0 | 2080 79095 190985 | 26365 0 nan | 0.000 % | 81.32/81.48 c =============================================================================== 81.32/81.48 c core #510 81.32/81.48 c Core size: 16 Core Weight: 1 Total Weight: -490 81.32/81.48 c Elapsed CPU time: 78.743 s Remaining CPU time: 1721.26 s 81.51/81.65 c ============================[ Search Statistics ]============================== 81.51/81.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.51/81.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.51/81.65 c =============================================================================== 81.51/81.65 c | 0 | 2086 79096 190997 | 26365 0 nan | 0.000 % | 81.51/81.65 c =============================================================================== 81.51/81.65 c core #511 81.51/81.65 c Core size: 16 Core Weight: 1 Total Weight: -489 81.51/81.65 c Elapsed CPU time: 78.912 s Remaining CPU time: 1721.09 s 81.71/81.83 c ============================[ Search Statistics ]============================== 81.71/81.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.71/81.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.71/81.83 c =============================================================================== 81.71/81.83 c | 0 | 2092 79097 191009 | 26365 0 nan | 0.000 % | 81.71/81.83 c =============================================================================== 81.71/81.84 c core #512 81.71/81.84 c Core size: 15 Core Weight: 1 Total Weight: -488 81.71/81.84 c Elapsed CPU time: 79.085 s Remaining CPU time: 1720.92 s 81.92/82.00 c ============================[ Search Statistics ]============================== 81.92/82.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.92/82.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.92/82.00 c =============================================================================== 81.92/82.00 c | 0 | 2098 79098 191021 | 26366 0 nan | 0.000 % | 81.92/82.01 c =============================================================================== 81.92/82.01 c core #513 81.92/82.01 c Core size: 15 Core Weight: 1 Total Weight: -487 81.92/82.01 c Elapsed CPU time: 79.257 s Remaining CPU time: 1720.74 s 82.01/82.18 c ============================[ Search Statistics ]============================== 82.01/82.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.01/82.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.01/82.18 c =============================================================================== 82.01/82.18 c | 0 | 2104 79099 191033 | 26366 0 nan | 0.000 % | 82.01/82.18 c =============================================================================== 82.01/82.19 c core #514 82.01/82.19 c Core size: 17 Core Weight: 1 Total Weight: -486 82.01/82.19 c Elapsed CPU time: 79.4259 s Remaining CPU time: 1720.57 s 82.21/82.35 c ============================[ Search Statistics ]============================== 82.21/82.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.21/82.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.21/82.35 c =============================================================================== 82.21/82.35 c | 0 | 2110 79100 191045 | 26366 0 nan | 0.000 % | 82.21/82.37 c =============================================================================== 82.21/82.37 c core #515 82.21/82.37 c Core size: 15 Core Weight: 1 Total Weight: -485 82.21/82.37 c Elapsed CPU time: 79.5979 s Remaining CPU time: 1720.4 s 82.42/82.53 c ============================[ Search Statistics ]============================== 82.42/82.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.42/82.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.42/82.53 c =============================================================================== 82.42/82.53 c | 0 | 2116 79101 191057 | 26367 0 nan | 0.000 % | 82.42/82.55 c =============================================================================== 82.42/82.55 c core #516 82.42/82.55 c Core size: 16 Core Weight: 1 Total Weight: -484 82.42/82.55 c Elapsed CPU time: 79.7699 s Remaining CPU time: 1720.23 s 82.62/82.71 c ============================[ Search Statistics ]============================== 82.62/82.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.62/82.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.62/82.71 c =============================================================================== 82.62/82.71 c | 0 | 2122 79102 191069 | 26367 0 nan | 0.000 % | 82.62/82.72 c =============================================================================== 82.62/82.72 c core #517 82.62/82.72 c Core size: 17 Core Weight: 1 Total Weight: -483 82.62/82.72 c Elapsed CPU time: 79.9388 s Remaining CPU time: 1720.06 s 82.72/82.88 c ============================[ Search Statistics ]============================== 82.72/82.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.72/82.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.72/82.88 c =============================================================================== 82.72/82.88 c | 0 | 2128 79103 191081 | 26367 0 nan | 0.000 % | 82.72/82.90 c =============================================================================== 82.81/82.90 c core #518 82.81/82.90 c Core size: 15 Core Weight: 1 Total Weight: -482 82.81/82.90 c Elapsed CPU time: 80.1088 s Remaining CPU time: 1719.89 s 82.91/83.06 c ============================[ Search Statistics ]============================== 82.91/83.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.91/83.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.91/83.06 c =============================================================================== 82.91/83.06 c | 0 | 2134 79104 191093 | 26368 0 nan | 0.000 % | 82.91/83.07 c =============================================================================== 82.91/83.07 c core #519 82.91/83.07 c Core size: 15 Core Weight: 1 Total Weight: -481 82.91/83.07 c Elapsed CPU time: 80.2798 s Remaining CPU time: 1719.72 s 83.11/83.24 c ============================[ Search Statistics ]============================== 83.11/83.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.11/83.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.11/83.24 c =============================================================================== 83.11/83.24 c | 0 | 2140 79105 191105 | 26368 0 nan | 0.000 % | 83.11/83.25 c =============================================================================== 83.11/83.25 c core #520 83.11/83.25 c Core size: 16 Core Weight: 1 Total Weight: -480 83.11/83.25 c Elapsed CPU time: 80.4468 s Remaining CPU time: 1719.55 s 83.31/83.41 c ============================[ Search Statistics ]============================== 83.31/83.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.31/83.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.31/83.41 c =============================================================================== 83.31/83.41 c | 0 | 2146 79106 191117 | 26368 0 nan | 0.000 % | 83.31/83.42 c =============================================================================== 83.31/83.42 c core #521 83.31/83.42 c Core size: 16 Core Weight: 1 Total Weight: -479 83.31/83.42 c Elapsed CPU time: 80.6177 s Remaining CPU time: 1719.38 s 83.42/83.59 c ============================[ Search Statistics ]============================== 83.42/83.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.42/83.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.42/83.59 c =============================================================================== 83.42/83.59 c | 0 | 2152 79107 191129 | 26369 0 nan | 0.000 % | 83.42/83.60 c =============================================================================== 83.42/83.60 c core #522 83.42/83.60 c Core size: 22 Core Weight: 1 Total Weight: -478 83.42/83.60 c Elapsed CPU time: 80.7827 s Remaining CPU time: 1719.22 s 83.60/83.76 c ============================[ Search Statistics ]============================== 83.60/83.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.60/83.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.60/83.76 c =============================================================================== 83.60/83.76 c | 0 | 2160 79108 191145 | 26369 0 nan | 0.000 % | 83.60/83.77 c =============================================================================== 83.60/83.78 c core #523 83.60/83.78 c Core size: 16 Core Weight: 1 Total Weight: -477 83.60/83.78 c Elapsed CPU time: 80.9527 s Remaining CPU time: 1719.05 s 83.80/83.94 c ============================[ Search Statistics ]============================== 83.80/83.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.80/83.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.80/83.94 c =============================================================================== 83.80/83.94 c | 0 | 2166 79109 191157 | 26369 0 nan | 0.000 % | 83.80/83.95 c =============================================================================== 83.80/83.95 c core #524 83.80/83.95 c Core size: 15 Core Weight: 1 Total Weight: -476 83.80/83.95 c Elapsed CPU time: 81.1227 s Remaining CPU time: 1718.88 s 84.01/84.11 c ============================[ Search Statistics ]============================== 84.01/84.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.01/84.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.01/84.11 c =============================================================================== 84.01/84.11 c | 0 | 2172 79110 191169 | 26370 0 nan | 0.000 % | 84.01/84.12 c =============================================================================== 84.01/84.13 c core #525 84.01/84.13 c Core size: 15 Core Weight: 1 Total Weight: -475 84.01/84.13 c Elapsed CPU time: 81.2896 s Remaining CPU time: 1718.71 s 84.10/84.29 c ============================[ Search Statistics ]============================== 84.10/84.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.10/84.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.10/84.29 c =============================================================================== 84.10/84.29 c | 0 | 2178 79111 191181 | 26370 0 nan | 0.000 % | 84.10/84.30 c =============================================================================== 84.20/84.30 c core #526 84.20/84.30 c Core size: 15 Core Weight: 1 Total Weight: -474 84.20/84.30 c Elapsed CPU time: 81.4566 s Remaining CPU time: 1718.54 s 84.30/84.46 c ============================[ Search Statistics ]============================== 84.30/84.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.30/84.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.30/84.46 c =============================================================================== 84.30/84.46 c | 0 | 2184 79112 191193 | 26370 0 nan | 0.000 % | 84.30/84.47 c =============================================================================== 84.30/84.47 c core #527 84.30/84.47 c Core size: 15 Core Weight: 1 Total Weight: -473 84.30/84.47 c Elapsed CPU time: 81.6236 s Remaining CPU time: 1718.38 s 84.50/84.63 c ============================[ Search Statistics ]============================== 84.50/84.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.50/84.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.50/84.63 c =============================================================================== 84.50/84.63 c | 0 | 2190 79113 191205 | 26371 0 nan | 0.000 % | 84.50/84.65 c =============================================================================== 84.50/84.65 c core #528 84.50/84.65 c Core size: 16 Core Weight: 1 Total Weight: -472 84.50/84.65 c Elapsed CPU time: 81.7936 s Remaining CPU time: 1718.21 s 84.70/84.81 c ============================[ Search Statistics ]============================== 84.70/84.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.70/84.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.70/84.81 c =============================================================================== 84.70/84.81 c | 0 | 2196 79114 191217 | 26371 0 nan | 0.000 % | 84.70/84.82 c =============================================================================== 84.70/84.82 c core #529 84.70/84.82 c Core size: 17 Core Weight: 1 Total Weight: -471 84.70/84.82 c Elapsed CPU time: 81.9575 s Remaining CPU time: 1718.04 s 84.80/84.98 c ============================[ Search Statistics ]============================== 84.80/84.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.80/84.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.80/84.98 c =============================================================================== 84.80/84.98 c | 0 | 2202 79115 191229 | 26371 0 nan | 0.000 % | 84.80/84.99 c =============================================================================== 84.80/84.99 c core #530 84.80/84.99 c Core size: 15 Core Weight: 1 Total Weight: -470 84.80/84.99 c Elapsed CPU time: 82.1195 s Remaining CPU time: 1717.88 s 85.00/85.15 c ============================[ Search Statistics ]============================== 85.00/85.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.00/85.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.00/85.15 c =============================================================================== 85.00/85.16 c | 0 | 2208 79116 191241 | 26372 0 nan | 0.000 % | 85.00/85.17 c =============================================================================== 85.00/85.17 c core #531 85.00/85.17 c Core size: 16 Core Weight: 1 Total Weight: -469 85.00/85.17 c Elapsed CPU time: 82.2885 s Remaining CPU time: 1717.71 s 85.20/85.33 c ============================[ Search Statistics ]============================== 85.20/85.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.20/85.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.20/85.33 c =============================================================================== 85.20/85.33 c | 0 | 2214 79117 191253 | 26372 0 nan | 0.000 % | 85.20/85.34 c =============================================================================== 85.20/85.34 c core #532 85.20/85.34 c Core size: 22 Core Weight: 1 Total Weight: -468 85.20/85.34 c Elapsed CPU time: 82.4595 s Remaining CPU time: 1717.54 s 85.40/85.50 c ============================[ Search Statistics ]============================== 85.40/85.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.40/85.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.40/85.50 c =============================================================================== 85.40/85.50 c | 0 | 2222 79118 191269 | 26372 0 nan | 0.000 % | 85.40/85.51 c =============================================================================== 85.40/85.51 c core #533 85.40/85.51 c Core size: 15 Core Weight: 1 Total Weight: -467 85.40/85.51 c Elapsed CPU time: 82.6224 s Remaining CPU time: 1717.38 s 85.50/85.68 c ============================[ Search Statistics ]============================== 85.50/85.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.50/85.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.50/85.68 c =============================================================================== 85.50/85.68 c | 0 | 2228 79119 191281 | 26373 0 nan | 0.000 % | 85.50/85.69 c =============================================================================== 85.50/85.69 c core #534 85.50/85.69 c Core size: 16 Core Weight: 1 Total Weight: -466 85.50/85.69 c Elapsed CPU time: 82.7894 s Remaining CPU time: 1717.21 s 85.70/85.85 c ============================[ Search Statistics ]============================== 85.70/85.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.70/85.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.70/85.85 c =============================================================================== 85.70/85.85 c | 0 | 2234 79120 191293 | 26373 0 nan | 0.000 % | 85.70/85.86 c =============================================================================== 85.70/85.86 c core #535 85.70/85.86 c Core size: 15 Core Weight: 1 Total Weight: -465 85.70/85.86 c Elapsed CPU time: 82.9574 s Remaining CPU time: 1717.04 s 85.90/86.02 c ============================[ Search Statistics ]============================== 85.90/86.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.90/86.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.90/86.02 c =============================================================================== 85.90/86.02 c | 0 | 2240 79121 191305 | 26373 0 nan | 0.000 % | 85.90/86.03 c =============================================================================== 85.90/86.03 c core #536 85.90/86.03 c Core size: 16 Core Weight: 1 Total Weight: -464 85.90/86.03 c Elapsed CPU time: 83.1244 s Remaining CPU time: 1716.88 s 86.00/86.19 c ============================[ Search Statistics ]============================== 86.00/86.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.00/86.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.00/86.19 c =============================================================================== 86.00/86.19 c | 0 | 2246 79122 191317 | 26374 0 nan | 0.000 % | 86.09/86.20 c =============================================================================== 86.09/86.21 c core #537 86.09/86.21 c Core size: 22 Core Weight: 1 Total Weight: -463 86.09/86.21 c Elapsed CPU time: 83.2883 s Remaining CPU time: 1716.71 s 86.20/86.37 c ============================[ Search Statistics ]============================== 86.20/86.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.20/86.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.20/86.37 c =============================================================================== 86.20/86.37 c | 0 | 2254 79123 191333 | 26374 0 nan | 0.000 % | 86.20/86.38 c =============================================================================== 86.20/86.38 c core #538 86.20/86.38 c Core size: 16 Core Weight: 1 Total Weight: -462 86.20/86.38 c Elapsed CPU time: 83.4553 s Remaining CPU time: 1716.54 s 86.39/86.54 c ============================[ Search Statistics ]============================== 86.39/86.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.39/86.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.39/86.54 c =============================================================================== 86.39/86.54 c | 0 | 2260 79124 191345 | 26374 0 nan | 0.000 % | 86.39/86.55 c =============================================================================== 86.39/86.55 c core #539 86.39/86.55 c Core size: 22 Core Weight: 1 Total Weight: -461 86.39/86.55 c Elapsed CPU time: 83.6203 s Remaining CPU time: 1716.38 s 86.60/86.71 c ============================[ Search Statistics ]============================== 86.60/86.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.60/86.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.60/86.71 c =============================================================================== 86.60/86.71 c | 0 | 2268 79125 191361 | 26375 0 nan | 0.000 % | 86.60/86.72 c =============================================================================== 86.60/86.72 c core #540 86.60/86.72 c Core size: 22 Core Weight: 1 Total Weight: -460 86.60/86.72 c Elapsed CPU time: 83.7913 s Remaining CPU time: 1716.21 s 86.70/86.88 c ============================[ Search Statistics ]============================== 86.70/86.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.70/86.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.70/86.88 c =============================================================================== 86.70/86.88 c | 0 | 2276 79126 191377 | 26375 0 nan | 0.000 % | 86.70/86.89 c =============================================================================== 86.70/86.90 c core #541 86.70/86.90 c Core size: 15 Core Weight: 1 Total Weight: -459 86.70/86.90 c Elapsed CPU time: 83.9582 s Remaining CPU time: 1716.04 s 86.89/87.05 c ============================[ Search Statistics ]============================== 86.89/87.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.89/87.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.89/87.05 c =============================================================================== 86.89/87.05 c | 0 | 2282 79127 191389 | 26375 0 nan | 0.000 % | 86.89/87.07 c =============================================================================== 86.89/87.07 c core #542 86.89/87.07 c Core size: 15 Core Weight: 1 Total Weight: -458 86.89/87.07 c Elapsed CPU time: 84.1242 s Remaining CPU time: 1715.88 s 87.09/87.23 c ============================[ Search Statistics ]============================== 87.09/87.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.09/87.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.09/87.23 c =============================================================================== 87.09/87.23 c | 0 | 2288 79128 191401 | 26376 0 nan | 0.000 % | 87.09/87.24 c =============================================================================== 87.09/87.24 c core #543 87.09/87.24 c Core size: 15 Core Weight: 1 Total Weight: -457 87.09/87.24 c Elapsed CPU time: 84.2882 s Remaining CPU time: 1715.71 s 87.30/87.40 c ============================[ Search Statistics ]============================== 87.30/87.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.30/87.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.30/87.40 c =============================================================================== 87.30/87.40 c | 0 | 2294 79129 191413 | 26376 0 nan | 0.000 % | 87.30/87.41 c =============================================================================== 87.30/87.41 c core #544 87.30/87.41 c Core size: 17 Core Weight: 1 Total Weight: -456 87.30/87.41 c Elapsed CPU time: 84.4542 s Remaining CPU time: 1715.55 s 87.39/87.57 c ============================[ Search Statistics ]============================== 87.39/87.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.39/87.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.39/87.57 c =============================================================================== 87.39/87.57 c | 0 | 2300 79130 191425 | 26376 0 nan | 0.000 % | 87.39/87.58 c =============================================================================== 87.39/87.58 c core #545 87.39/87.58 c Core size: 16 Core Weight: 1 Total Weight: -455 87.39/87.58 c Elapsed CPU time: 84.6201 s Remaining CPU time: 1715.38 s 87.59/87.74 c ============================[ Search Statistics ]============================== 87.59/87.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.59/87.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.59/87.74 c =============================================================================== 87.59/87.74 c | 0 | 2306 79131 191437 | 26377 0 nan | 0.000 % | 87.59/87.76 c =============================================================================== 87.59/87.76 c core #546 87.59/87.76 c Core size: 17 Core Weight: 1 Total Weight: -454 87.59/87.76 c Elapsed CPU time: 84.7891 s Remaining CPU time: 1715.21 s 87.80/87.92 c ============================[ Search Statistics ]============================== 87.80/87.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.80/87.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.80/87.92 c =============================================================================== 87.80/87.92 c | 0 | 2312 79132 191449 | 26377 0 nan | 0.000 % | 87.80/87.93 c =============================================================================== 87.80/87.93 c core #547 87.80/87.93 c Core size: 16 Core Weight: 1 Total Weight: -453 87.80/87.93 c Elapsed CPU time: 84.9581 s Remaining CPU time: 1715.04 s 87.89/88.09 c ============================[ Search Statistics ]============================== 87.89/88.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 87.89/88.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 87.89/88.09 c =============================================================================== 87.89/88.09 c | 0 | 2318 79133 191461 | 26377 0 nan | 0.000 % | 87.99/88.10 c =============================================================================== 87.99/88.10 c core #548 87.99/88.10 c Core size: 16 Core Weight: 1 Total Weight: -452 87.99/88.10 c Elapsed CPU time: 85.1281 s Remaining CPU time: 1714.87 s 88.09/88.26 c ============================[ Search Statistics ]============================== 88.09/88.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.09/88.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.09/88.26 c =============================================================================== 88.09/88.26 c | 0 | 2324 79134 191473 | 26378 0 nan | 0.000 % | 88.09/88.27 c =============================================================================== 88.09/88.28 c core #549 88.09/88.28 c Core size: 16 Core Weight: 1 Total Weight: -451 88.09/88.28 c Elapsed CPU time: 85.294 s Remaining CPU time: 1714.71 s 88.28/88.44 c ============================[ Search Statistics ]============================== 88.28/88.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.28/88.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.28/88.44 c =============================================================================== 88.28/88.44 c | 0 | 2330 79135 191485 | 26378 0 nan | 0.000 % | 88.28/88.45 c =============================================================================== 88.28/88.45 c core #550 88.28/88.45 c Core size: 15 Core Weight: 1 Total Weight: -450 88.28/88.45 c Elapsed CPU time: 85.465 s Remaining CPU time: 1714.53 s 88.49/88.61 c ============================[ Search Statistics ]============================== 88.49/88.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.49/88.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.49/88.61 c =============================================================================== 88.49/88.61 c | 0 | 2336 79136 191497 | 26378 0 nan | 0.000 % | 88.49/88.63 c =============================================================================== 88.49/88.63 c core #551 88.49/88.63 c Core size: 16 Core Weight: 1 Total Weight: -449 88.49/88.63 c Elapsed CPU time: 85.632 s Remaining CPU time: 1714.37 s 88.58/88.79 c ============================[ Search Statistics ]============================== 88.58/88.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.58/88.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.58/88.79 c =============================================================================== 88.58/88.79 c | 0 | 2342 79137 191509 | 26379 0 nan | 0.000 % | 88.69/88.80 c =============================================================================== 88.69/88.80 c core #552 88.69/88.80 c Core size: 16 Core Weight: 1 Total Weight: -448 88.69/88.80 c Elapsed CPU time: 85.799 s Remaining CPU time: 1714.2 s 88.79/88.96 c ============================[ Search Statistics ]============================== 88.79/88.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.79/88.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.79/88.96 c =============================================================================== 88.79/88.96 c | 0 | 2348 79138 191521 | 26379 0 nan | 0.000 % | 88.79/88.97 c =============================================================================== 88.79/88.97 c core #553 88.79/88.97 c Core size: 15 Core Weight: 1 Total Weight: -447 88.79/88.97 c Elapsed CPU time: 85.9669 s Remaining CPU time: 1714.03 s 88.99/89.13 c ============================[ Search Statistics ]============================== 88.99/89.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.99/89.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.99/89.13 c =============================================================================== 88.99/89.13 c | 0 | 2354 79139 191533 | 26379 0 nan | 0.000 % | 88.99/89.14 c =============================================================================== 88.99/89.14 c core #554 88.99/89.14 c Core size: 21 Core Weight: 1 Total Weight: -446 88.99/89.14 c Elapsed CPU time: 86.1369 s Remaining CPU time: 1713.86 s 89.19/89.30 c ============================[ Search Statistics ]============================== 89.19/89.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.19/89.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.19/89.30 c =============================================================================== 89.19/89.30 c | 0 | 2362 79140 191549 | 26380 0 nan | 0.000 % | 89.19/89.31 c =============================================================================== 89.19/89.32 c core #555 89.19/89.32 c Core size: 16 Core Weight: 1 Total Weight: -445 89.19/89.32 c Elapsed CPU time: 86.3009 s Remaining CPU time: 1713.7 s 89.28/89.48 c ============================[ Search Statistics ]============================== 89.28/89.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.28/89.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.28/89.48 c =============================================================================== 89.28/89.48 c | 0 | 2368 79141 191561 | 26380 0 nan | 0.000 % | 89.28/89.49 c =============================================================================== 89.28/89.49 c core #556 89.28/89.49 c Core size: 22 Core Weight: 1 Total Weight: -444 89.28/89.49 c Elapsed CPU time: 86.4719 s Remaining CPU time: 1713.53 s 89.48/89.65 c ============================[ Search Statistics ]============================== 89.48/89.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.48/89.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.48/89.65 c =============================================================================== 89.48/89.65 c | 0 | 2376 79142 191577 | 26380 0 nan | 0.000 % | 89.48/89.66 c =============================================================================== 89.48/89.67 c core #557 89.48/89.67 c Core size: 15 Core Weight: 1 Total Weight: -443 89.48/89.67 c Elapsed CPU time: 86.6378 s Remaining CPU time: 1713.36 s 89.68/89.83 c ============================[ Search Statistics ]============================== 89.68/89.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.68/89.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.68/89.83 c =============================================================================== 89.68/89.83 c | 0 | 2382 79143 191589 | 26381 0 nan | 0.000 % | 89.68/89.84 c =============================================================================== 89.68/89.84 c core #558 89.68/89.84 c Core size: 16 Core Weight: 1 Total Weight: -442 89.68/89.84 c Elapsed CPU time: 86.8048 s Remaining CPU time: 1713.2 s 89.88/90.00 c ============================[ Search Statistics ]============================== 89.88/90.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.88/90.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.88/90.00 c =============================================================================== 89.88/90.00 c | 0 | 2388 79144 191601 | 26381 0 nan | 0.000 % | 89.88/90.01 c =============================================================================== 89.88/90.01 c core #559 89.88/90.01 c Core size: 21 Core Weight: 1 Total Weight: -441 89.88/90.01 c Elapsed CPU time: 86.9738 s Remaining CPU time: 1713.03 s 89.99/90.17 c ============================[ Search Statistics ]============================== 89.99/90.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.99/90.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.99/90.17 c =============================================================================== 89.99/90.17 c | 0 | 2396 79145 191617 | 26381 0 nan | 0.000 % | 89.99/90.18 c =============================================================================== 89.99/90.19 c core #560 89.99/90.19 c Core size: 21 Core Weight: 1 Total Weight: -440 89.99/90.19 c Elapsed CPU time: 87.1438 s Remaining CPU time: 1712.86 s 90.18/90.35 c ============================[ Search Statistics ]============================== 90.18/90.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.18/90.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.18/90.35 c =============================================================================== 90.18/90.35 c | 0 | 2404 79146 191633 | 26382 0 nan | 0.000 % | 90.18/90.36 c =============================================================================== 90.18/90.36 c core #561 90.18/90.36 c Core size: 16 Core Weight: 1 Total Weight: -439 90.18/90.36 c Elapsed CPU time: 87.3107 s Remaining CPU time: 1712.69 s 90.38/90.52 c ============================[ Search Statistics ]============================== 90.38/90.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.38/90.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.38/90.52 c =============================================================================== 90.38/90.52 c | 0 | 2410 79147 191645 | 26382 0 nan | 0.000 % | 90.38/90.53 c =============================================================================== 90.38/90.53 c core #562 90.38/90.53 c Core size: 22 Core Weight: 1 Total Weight: -438 90.38/90.53 c Elapsed CPU time: 87.4787 s Remaining CPU time: 1712.52 s 90.47/90.69 c ============================[ Search Statistics ]============================== 90.47/90.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.47/90.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.47/90.70 c =============================================================================== 90.47/90.70 c | 0 | 2418 79148 191661 | 26382 0 nan | 0.000 % | 90.58/90.71 c =============================================================================== 90.58/90.71 c core #563 90.58/90.71 c Core size: 22 Core Weight: 1 Total Weight: -437 90.58/90.71 c Elapsed CPU time: 87.6467 s Remaining CPU time: 1712.35 s 90.68/90.87 c ============================[ Search Statistics ]============================== 90.68/90.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.68/90.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.68/90.87 c =============================================================================== 90.68/90.87 c | 0 | 2426 79149 191677 | 26383 0 nan | 0.000 % | 90.68/90.88 c =============================================================================== 90.68/90.89 c core #564 90.68/90.89 c Core size: 17 Core Weight: 1 Total Weight: -436 90.68/90.89 c Elapsed CPU time: 87.8176 s Remaining CPU time: 1712.18 s 90.88/91.05 c ============================[ Search Statistics ]============================== 90.88/91.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.88/91.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.88/91.05 c =============================================================================== 90.88/91.05 c | 0 | 2432 79150 191689 | 26383 0 nan | 0.000 % | 90.88/91.06 c =============================================================================== 90.88/91.06 c core #565 90.88/91.06 c Core size: 15 Core Weight: 1 Total Weight: -435 90.88/91.06 c Elapsed CPU time: 87.9816 s Remaining CPU time: 1712.02 s 91.08/91.22 c ============================[ Search Statistics ]============================== 91.08/91.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.08/91.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.08/91.22 c =============================================================================== 91.08/91.22 c | 0 | 2438 79151 191701 | 26383 0 nan | 0.000 % | 91.08/91.23 c =============================================================================== 91.08/91.23 c core #566 91.08/91.23 c Core size: 27 Core Weight: 1 Total Weight: -434 91.08/91.23 c Elapsed CPU time: 88.1486 s Remaining CPU time: 1711.85 s 91.18/91.39 c ============================[ Search Statistics ]============================== 91.18/91.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.18/91.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.18/91.39 c =============================================================================== 91.18/91.39 c | 0 | 2448 79152 191721 | 26384 0 nan | 0.000 % | 91.27/91.40 c =============================================================================== 91.27/91.40 c core #567 91.27/91.40 c Core size: 27 Core Weight: 1 Total Weight: -433 91.27/91.40 c Elapsed CPU time: 88.3106 s Remaining CPU time: 1711.69 s 91.37/91.56 c ============================[ Search Statistics ]============================== 91.37/91.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.37/91.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.37/91.56 c =============================================================================== 91.37/91.56 c | 0 | 2458 79153 191741 | 26384 0 nan | 0.000 % | 91.37/91.57 c =============================================================================== 91.37/91.57 c core #568 91.37/91.57 c Core size: 22 Core Weight: 1 Total Weight: -432 91.37/91.57 c Elapsed CPU time: 88.4755 s Remaining CPU time: 1711.52 s 91.58/91.73 c ============================[ Search Statistics ]============================== 91.58/91.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.58/91.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.58/91.73 c =============================================================================== 91.58/91.73 c | 0 | 2466 79154 191757 | 26384 0 nan | 0.000 % | 91.58/91.74 c =============================================================================== 91.58/91.75 c core #569 91.58/91.75 c Core size: 21 Core Weight: 1 Total Weight: -431 91.58/91.75 c Elapsed CPU time: 88.6415 s Remaining CPU time: 1711.36 s 91.77/91.91 c ============================[ Search Statistics ]============================== 91.77/91.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.77/91.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.77/91.91 c =============================================================================== 91.77/91.91 c | 0 | 2474 79155 191773 | 26385 0 nan | 0.000 % | 91.77/91.92 c =============================================================================== 91.77/91.92 c core #570 91.77/91.92 c Core size: 22 Core Weight: 1 Total Weight: -430 91.77/91.92 c Elapsed CPU time: 88.8065 s Remaining CPU time: 1711.19 s 91.87/92.08 c ============================[ Search Statistics ]============================== 91.87/92.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.87/92.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.87/92.08 c =============================================================================== 91.87/92.08 c | 0 | 2482 79156 191789 | 26385 0 nan | 0.000 % | 91.87/92.09 c =============================================================================== 91.87/92.09 c core #571 91.87/92.09 c Core size: 15 Core Weight: 1 Total Weight: -429 91.87/92.09 c Elapsed CPU time: 88.9735 s Remaining CPU time: 1711.03 s 92.07/92.25 c ============================[ Search Statistics ]============================== 92.07/92.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.07/92.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.07/92.25 c =============================================================================== 92.07/92.25 c | 0 | 2488 79157 191801 | 26385 0 nan | 0.000 % | 92.07/92.26 c =============================================================================== 92.07/92.27 c core #572 92.07/92.27 c Core size: 16 Core Weight: 1 Total Weight: -428 92.07/92.27 c Elapsed CPU time: 89.1404 s Remaining CPU time: 1710.86 s 92.28/92.43 c ============================[ Search Statistics ]============================== 92.28/92.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.28/92.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.28/92.43 c =============================================================================== 92.28/92.43 c | 0 | 2494 79158 191813 | 26386 0 nan | 0.000 % | 92.28/92.44 c =============================================================================== 92.28/92.44 c core #573 92.28/92.44 c Core size: 15 Core Weight: 1 Total Weight: -427 92.28/92.44 c Elapsed CPU time: 89.3094 s Remaining CPU time: 1710.69 s 92.47/92.60 c ============================[ Search Statistics ]============================== 92.47/92.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.47/92.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.47/92.60 c =============================================================================== 92.47/92.60 c | 0 | 2500 79159 191825 | 26386 0 nan | 0.000 % | 92.47/92.61 c =============================================================================== 92.47/92.61 c core #574 92.47/92.61 c Core size: 21 Core Weight: 1 Total Weight: -426 92.47/92.61 c Elapsed CPU time: 89.4764 s Remaining CPU time: 1710.52 s 92.57/92.77 c ============================[ Search Statistics ]============================== 92.57/92.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.57/92.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.57/92.77 c =============================================================================== 92.57/92.77 c | 0 | 2508 79160 191841 | 26386 0 nan | 0.000 % | 92.57/92.78 c =============================================================================== 92.57/92.79 c core #575 92.57/92.79 c Core size: 15 Core Weight: 1 Total Weight: -425 92.57/92.79 c Elapsed CPU time: 89.6444 s Remaining CPU time: 1710.36 s 92.77/92.95 c ============================[ Search Statistics ]============================== 92.77/92.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.77/92.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.77/92.95 c =============================================================================== 92.77/92.95 c | 0 | 2514 79161 191853 | 26387 0 nan | 0.000 % | 92.77/92.96 c =============================================================================== 92.77/92.96 c core #576 92.77/92.96 c Core size: 21 Core Weight: 1 Total Weight: -424 92.77/92.96 c Elapsed CPU time: 89.8133 s Remaining CPU time: 1710.19 s 92.97/93.12 c ============================[ Search Statistics ]============================== 92.97/93.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 92.97/93.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 92.97/93.12 c =============================================================================== 92.97/93.12 c | 0 | 2522 79162 191869 | 26387 0 nan | 0.000 % | 92.97/93.13 c =============================================================================== 92.97/93.13 c core #577 92.97/93.13 c Core size: 15 Core Weight: 1 Total Weight: -423 92.97/93.13 c Elapsed CPU time: 89.9813 s Remaining CPU time: 1710.02 s 93.07/93.30 c ============================[ Search Statistics ]============================== 93.07/93.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.07/93.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.07/93.30 c =============================================================================== 93.07/93.30 c | 0 | 2528 79163 191881 | 26387 0 nan | 0.000 % | 93.16/93.31 c =============================================================================== 93.16/93.31 c core #578 93.16/93.31 c Core size: 27 Core Weight: 1 Total Weight: -422 93.16/93.31 c Elapsed CPU time: 90.1523 s Remaining CPU time: 1709.85 s 93.27/93.47 c ============================[ Search Statistics ]============================== 93.27/93.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.27/93.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.27/93.47 c =============================================================================== 93.27/93.47 c | 0 | 2538 79164 191901 | 26388 0 nan | 0.000 % | 93.27/93.48 c =============================================================================== 93.27/93.48 c core #579 93.27/93.48 c Core size: 15 Core Weight: 1 Total Weight: -421 93.27/93.48 c Elapsed CPU time: 90.3193 s Remaining CPU time: 1709.68 s 93.47/93.65 c ============================[ Search Statistics ]============================== 93.47/93.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.47/93.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.47/93.65 c =============================================================================== 93.47/93.65 c | 0 | 2544 79165 191913 | 26388 0 nan | 0.000 % | 93.47/93.66 c =============================================================================== 93.47/93.66 c core #580 93.47/93.66 c Core size: 22 Core Weight: 1 Total Weight: -420 93.47/93.66 c Elapsed CPU time: 90.4922 s Remaining CPU time: 1709.51 s 93.67/93.82 c ============================[ Search Statistics ]============================== 93.67/93.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.67/93.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.67/93.82 c =============================================================================== 93.67/93.82 c | 0 | 2552 79166 191929 | 26388 0 nan | 0.000 % | 93.67/93.83 c =============================================================================== 93.67/93.83 c core #581 93.67/93.83 c Core size: 21 Core Weight: 1 Total Weight: -419 93.67/93.83 c Elapsed CPU time: 90.6592 s Remaining CPU time: 1709.34 s 93.77/93.99 c ============================[ Search Statistics ]============================== 93.77/93.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.77/93.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.77/93.99 c =============================================================================== 93.77/93.99 c | 0 | 2560 79167 191945 | 26389 0 nan | 0.000 % | 93.87/94.00 c =============================================================================== 93.87/94.00 c core #582 93.87/94.00 c Core size: 22 Core Weight: 1 Total Weight: -418 93.87/94.00 c Elapsed CPU time: 90.8282 s Remaining CPU time: 1709.17 s 93.96/94.16 c ============================[ Search Statistics ]============================== 93.96/94.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.96/94.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.96/94.16 c =============================================================================== 93.96/94.16 c | 0 | 2568 79168 191961 | 26389 0 nan | 0.000 % | 93.96/94.18 c =============================================================================== 93.96/94.18 c core #583 93.96/94.18 c Core size: 27 Core Weight: 1 Total Weight: -417 93.96/94.18 c Elapsed CPU time: 90.9932 s Remaining CPU time: 1709.01 s 94.16/94.33 c ============================[ Search Statistics ]============================== 94.16/94.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.16/94.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.16/94.33 c =============================================================================== 94.16/94.34 c | 0 | 2578 79169 191981 | 26389 0 nan | 0.000 % | 94.16/94.35 c =============================================================================== 94.16/94.35 c core #584 94.16/94.35 c Core size: 22 Core Weight: 1 Total Weight: -416 94.16/94.35 c Elapsed CPU time: 91.1591 s Remaining CPU time: 1708.84 s 94.37/94.51 c ============================[ Search Statistics ]============================== 94.37/94.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.37/94.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.37/94.51 c =============================================================================== 94.37/94.51 c | 0 | 2586 79170 191997 | 26390 0 nan | 0.000 % | 94.37/94.52 c =============================================================================== 94.37/94.52 c core #585 94.37/94.52 c Core size: 21 Core Weight: 1 Total Weight: -415 94.37/94.52 c Elapsed CPU time: 91.3241 s Remaining CPU time: 1708.68 s 94.47/94.68 c ============================[ Search Statistics ]============================== 94.47/94.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.47/94.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.47/94.68 c =============================================================================== 94.47/94.68 c | 0 | 2594 79171 192013 | 26390 0 nan | 0.000 % | 94.47/94.69 c =============================================================================== 94.47/94.69 c core #586 94.47/94.69 c Core size: 22 Core Weight: 1 Total Weight: -414 94.47/94.69 c Elapsed CPU time: 91.4891 s Remaining CPU time: 1708.51 s 94.66/94.85 c ============================[ Search Statistics ]============================== 94.66/94.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.66/94.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.66/94.85 c =============================================================================== 94.66/94.85 c | 0 | 2602 79172 192029 | 26390 0 nan | 0.000 % | 94.66/94.86 c =============================================================================== 94.66/94.87 c core #587 94.66/94.87 c Core size: 21 Core Weight: 1 Total Weight: -413 94.66/94.87 c Elapsed CPU time: 91.6551 s Remaining CPU time: 1708.34 s 94.87/95.03 c ============================[ Search Statistics ]============================== 94.87/95.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.87/95.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.87/95.03 c =============================================================================== 94.87/95.03 c | 0 | 2610 79173 192045 | 26391 0 nan | 0.000 % | 94.87/95.04 c =============================================================================== 94.87/95.04 c core #588 94.87/95.04 c Core size: 27 Core Weight: 1 Total Weight: -412 94.87/95.04 c Elapsed CPU time: 91.825 s Remaining CPU time: 1708.17 s 95.07/95.20 c ============================[ Search Statistics ]============================== 95.07/95.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.07/95.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.07/95.20 c =============================================================================== 95.07/95.20 c | 0 | 2620 79174 192065 | 26391 0 nan | 0.000 % | 95.07/95.21 c =============================================================================== 95.07/95.21 c core #589 95.07/95.21 c Core size: 21 Core Weight: 1 Total Weight: -411 95.07/95.22 c Elapsed CPU time: 91.989 s Remaining CPU time: 1708.01 s 95.16/95.38 c ============================[ Search Statistics ]============================== 95.16/95.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.16/95.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.16/95.38 c =============================================================================== 95.16/95.38 c | 0 | 2628 79175 192081 | 26391 0 nan | 0.000 % | 95.16/95.39 c =============================================================================== 95.16/95.39 c core #590 95.16/95.39 c Core size: 15 Core Weight: 1 Total Weight: -410 95.16/95.39 c Elapsed CPU time: 92.157 s Remaining CPU time: 1707.84 s 95.36/95.55 c ============================[ Search Statistics ]============================== 95.36/95.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.36/95.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.36/95.55 c =============================================================================== 95.36/95.55 c | 0 | 2634 79176 192093 | 26392 0 nan | 0.000 % | 95.36/95.56 c =============================================================================== 95.36/95.56 c core #591 95.36/95.56 c Core size: 20 Core Weight: 1 Total Weight: -409 95.36/95.56 c Elapsed CPU time: 92.325 s Remaining CPU time: 1707.68 s 95.56/95.72 c ============================[ Search Statistics ]============================== 95.56/95.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.56/95.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.56/95.72 c =============================================================================== 95.56/95.72 c | 0 | 2642 79177 192109 | 26392 0 nan | 0.000 % | 95.56/95.73 c =============================================================================== 95.56/95.73 c core #592 95.56/95.73 c Core size: 27 Core Weight: 1 Total Weight: -408 95.56/95.73 c Elapsed CPU time: 92.4899 s Remaining CPU time: 1707.51 s 95.65/95.90 c ============================[ Search Statistics ]============================== 95.65/95.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.65/95.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.65/95.90 c =============================================================================== 95.65/95.90 c | 0 | 2652 79178 192129 | 26392 0 nan | 0.000 % | 95.76/95.91 c =============================================================================== 95.76/95.91 c core #593 95.76/95.91 c Core size: 15 Core Weight: 1 Total Weight: -407 95.76/95.91 c Elapsed CPU time: 92.6579 s Remaining CPU time: 1707.34 s 95.85/96.07 c ============================[ Search Statistics ]============================== 95.85/96.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.85/96.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.85/96.07 c =============================================================================== 95.85/96.07 c | 0 | 2658 79179 192141 | 26393 0 nan | 0.000 % | 95.85/96.09 c =============================================================================== 95.85/96.09 c core #594 95.85/96.09 c Core size: 22 Core Weight: 1 Total Weight: -406 95.85/96.09 c Elapsed CPU time: 92.8269 s Remaining CPU time: 1707.17 s 96.06/96.25 c ============================[ Search Statistics ]============================== 96.06/96.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.06/96.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.06/96.25 c =============================================================================== 96.06/96.25 c | 0 | 2666 79180 192157 | 26393 0 nan | 0.000 % | 96.06/96.26 c =============================================================================== 96.06/96.26 c core #595 96.06/96.26 c Core size: 20 Core Weight: 1 Total Weight: -405 96.06/96.26 c Elapsed CPU time: 92.9949 s Remaining CPU time: 1707.01 s 96.26/96.42 c ============================[ Search Statistics ]============================== 96.26/96.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.26/96.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.26/96.42 c =============================================================================== 96.26/96.42 c | 0 | 2674 79181 192173 | 26393 0 nan | 0.000 % | 96.26/96.43 c =============================================================================== 96.26/96.43 c core #596 96.26/96.43 c Core size: 27 Core Weight: 1 Total Weight: -404 96.26/96.43 c Elapsed CPU time: 93.1608 s Remaining CPU time: 1706.84 s 96.35/96.60 c ============================[ Search Statistics ]============================== 96.35/96.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.35/96.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.35/96.60 c =============================================================================== 96.35/96.60 c | 0 | 2684 79182 192193 | 26394 0 nan | 0.000 % | 96.45/96.61 c =============================================================================== 96.45/96.61 c core #597 96.45/96.61 c Core size: 21 Core Weight: 1 Total Weight: -403 96.45/96.61 c Elapsed CPU time: 93.3288 s Remaining CPU time: 1706.67 s 96.56/96.77 c ============================[ Search Statistics ]============================== 96.56/96.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.56/96.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.56/96.77 c =============================================================================== 96.56/96.77 c | 0 | 2692 79183 192209 | 26394 0 nan | 0.000 % | 96.56/96.78 c =============================================================================== 96.56/96.78 c core #598 96.56/96.78 c Core size: 27 Core Weight: 1 Total Weight: -402 96.56/96.78 c Elapsed CPU time: 93.4968 s Remaining CPU time: 1706.5 s 96.75/96.95 c ============================[ Search Statistics ]============================== 96.75/96.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.75/96.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.75/96.95 c =============================================================================== 96.75/96.95 c | 0 | 2702 79184 192229 | 26394 0 nan | 0.000 % | 96.75/96.96 c =============================================================================== 96.75/96.96 c core #599 96.75/96.96 c Core size: 27 Core Weight: 1 Total Weight: -401 96.75/96.96 c Elapsed CPU time: 93.6678 s Remaining CPU time: 1706.33 s 96.95/97.12 c ============================[ Search Statistics ]============================== 96.95/97.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.95/97.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.95/97.12 c =============================================================================== 96.95/97.12 c | 0 | 2712 79185 192249 | 26395 0 nan | 0.000 % | 96.95/97.13 c =============================================================================== 96.95/97.13 c core #600 96.95/97.13 c Core size: 27 Core Weight: 1 Total Weight: -400 96.95/97.13 c Elapsed CPU time: 93.8367 s Remaining CPU time: 1706.16 s 97.05/97.30 c ============================[ Search Statistics ]============================== 97.05/97.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.05/97.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.05/97.30 c =============================================================================== 97.05/97.30 c | 0 | 2722 79186 192269 | 26395 0 nan | 0.000 % | 97.15/97.31 c =============================================================================== 97.15/97.31 c core #601 97.15/97.31 c Core size: 27 Core Weight: 1 Total Weight: -399 97.15/97.31 c Elapsed CPU time: 94.0047 s Remaining CPU time: 1706 s 97.26/97.47 c ============================[ Search Statistics ]============================== 97.26/97.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.26/97.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.26/97.47 c =============================================================================== 97.26/97.47 c | 0 | 2732 79187 192289 | 26395 0 nan | 0.000 % | 97.26/97.48 c =============================================================================== 97.26/97.48 c core #602 97.26/97.48 c Core size: 27 Core Weight: 1 Total Weight: -398 97.26/97.48 c Elapsed CPU time: 94.1757 s Remaining CPU time: 1705.82 s 97.45/97.64 c ============================[ Search Statistics ]============================== 97.45/97.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.45/97.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.45/97.64 c =============================================================================== 97.45/97.64 c | 0 | 2742 79188 192309 | 26396 0 nan | 0.000 % | 97.45/97.65 c =============================================================================== 97.45/97.66 c core #603 97.45/97.66 c Core size: 22 Core Weight: 1 Total Weight: -397 97.45/97.66 c Elapsed CPU time: 94.3427 s Remaining CPU time: 1705.66 s 97.66/97.82 c ============================[ Search Statistics ]============================== 97.66/97.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.66/97.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.66/97.82 c =============================================================================== 97.66/97.82 c | 0 | 2750 79189 192325 | 26396 0 nan | 0.000 % | 97.66/97.83 c =============================================================================== 97.66/97.83 c core #604 97.66/97.83 c Core size: 21 Core Weight: 1 Total Weight: -396 97.66/97.83 c Elapsed CPU time: 94.5096 s Remaining CPU time: 1705.49 s 97.75/97.99 c ============================[ Search Statistics ]============================== 97.75/97.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.75/97.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.75/97.99 c =============================================================================== 97.75/97.99 c | 0 | 2758 79190 192341 | 26396 0 nan | 0.000 % | 97.85/98.00 c =============================================================================== 97.85/98.00 c core #605 97.85/98.00 c Core size: 21 Core Weight: 1 Total Weight: -395 97.85/98.00 c Elapsed CPU time: 94.6766 s Remaining CPU time: 1705.32 s 97.95/98.16 c ============================[ Search Statistics ]============================== 97.95/98.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.95/98.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.95/98.16 c =============================================================================== 97.95/98.16 c | 0 | 2766 79191 192357 | 26397 0 nan | 0.000 % | 97.95/98.18 c =============================================================================== 97.95/98.18 c core #606 97.95/98.18 c Core size: 15 Core Weight: 1 Total Weight: -394 97.95/98.18 c Elapsed CPU time: 94.8426 s Remaining CPU time: 1705.16 s 98.15/98.34 c ============================[ Search Statistics ]============================== 98.15/98.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.15/98.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.15/98.34 c =============================================================================== 98.15/98.34 c | 0 | 2772 79192 192369 | 26397 0 nan | 0.000 % | 98.15/98.35 c =============================================================================== 98.15/98.36 c core #607 98.15/98.36 c Core size: 22 Core Weight: 1 Total Weight: -393 98.15/98.36 c Elapsed CPU time: 95.0166 s Remaining CPU time: 1704.98 s 98.35/98.52 c ============================[ Search Statistics ]============================== 98.35/98.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.35/98.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.35/98.52 c =============================================================================== 98.35/98.52 c | 0 | 2780 79193 192385 | 26397 0 nan | 0.000 % | 98.35/98.54 c =============================================================================== 98.35/98.54 c core #608 98.35/98.54 c Core size: 27 Core Weight: 1 Total Weight: -392 98.35/98.54 c Elapsed CPU time: 95.1905 s Remaining CPU time: 1704.81 s 98.55/98.70 c ============================[ Search Statistics ]============================== 98.55/98.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.55/98.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.55/98.70 c =============================================================================== 98.55/98.70 c | 0 | 2790 79194 192405 | 26398 0 nan | 0.000 % | 98.55/98.71 c =============================================================================== 98.55/98.71 c core #609 98.55/98.71 c Core size: 37 Core Weight: 1 Total Weight: -391 98.55/98.71 c Elapsed CPU time: 95.3605 s Remaining CPU time: 1704.64 s 98.65/98.87 c ============================[ Search Statistics ]============================== 98.65/98.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.65/98.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.65/98.87 c =============================================================================== 98.65/98.87 c | 0 | 2804 79195 192433 | 26398 0 nan | 0.000 % | 98.65/98.88 c =============================================================================== 98.65/98.89 c core #610 98.65/98.89 c Core size: 17 Core Weight: 1 Total Weight: -390 98.65/98.89 c Elapsed CPU time: 95.5235 s Remaining CPU time: 1704.48 s 98.85/99.05 c ============================[ Search Statistics ]============================== 98.85/99.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 98.85/99.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 98.85/99.05 c =============================================================================== 98.85/99.05 c | 0 | 2810 79196 192445 | 26398 0 nan | 0.000 % | 98.85/99.06 c =============================================================================== 98.85/99.06 c core #611 98.85/99.06 c Core size: 30 Core Weight: 1 Total Weight: -389 98.85/99.06 c Elapsed CPU time: 95.6925 s Remaining CPU time: 1704.31 s 99.05/99.22 c ============================[ Search Statistics ]============================== 99.05/99.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.05/99.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.05/99.22 c =============================================================================== 99.05/99.22 c | 0 | 2821 79197 192467 | 26399 0 nan | 0.000 % | 99.05/99.24 c =============================================================================== 99.05/99.24 c core #612 99.05/99.24 c Core size: 27 Core Weight: 1 Total Weight: -388 99.05/99.24 c Elapsed CPU time: 95.8574 s Remaining CPU time: 1704.14 s 99.14/99.40 c ============================[ Search Statistics ]============================== 99.14/99.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.14/99.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.14/99.40 c =============================================================================== 99.14/99.40 c | 0 | 2831 79198 192487 | 26399 0 nan | 0.000 % | 99.25/99.41 c =============================================================================== 99.25/99.41 c core #613 99.25/99.41 c Core size: 27 Core Weight: 1 Total Weight: -387 99.25/99.41 c Elapsed CPU time: 96.0244 s Remaining CPU time: 1703.98 s 99.34/99.57 c ============================[ Search Statistics ]============================== 99.34/99.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.34/99.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.34/99.57 c =============================================================================== 99.34/99.57 c | 0 | 2841 79199 192507 | 26399 0 nan | 0.000 % | 99.34/99.59 c =============================================================================== 99.34/99.59 c core #614 99.34/99.59 c Core size: 51 Core Weight: 1 Total Weight: -386 99.34/99.59 c Elapsed CPU time: 96.1904 s Remaining CPU time: 1703.81 s 99.54/99.76 c ============================[ Search Statistics ]============================== 99.54/99.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.54/99.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.54/99.76 c =============================================================================== 99.54/99.76 c | 0 | 2861 79200 192547 | 26400 0 nan | 0.000 % | 99.54/99.77 c =============================================================================== 99.54/99.77 c core #615 99.54/99.77 c Core size: 15 Core Weight: 1 Total Weight: -385 99.54/99.77 c Elapsed CPU time: 96.3673 s Remaining CPU time: 1703.63 s 99.74/99.93 c ============================[ Search Statistics ]============================== 99.74/99.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.74/99.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.74/99.94 c =============================================================================== 99.74/99.94 c | 0 | 2867 79201 192559 | 26400 0 nan | 0.000 % | 99.74/99.95 c =============================================================================== 99.74/99.95 c core #616 99.74/99.95 c Core size: 29 Core Weight: 1 Total Weight: -384 99.74/99.95 c Elapsed CPU time: 96.5393 s Remaining CPU time: 1703.46 s 99.94/100.11 c ============================[ Search Statistics ]============================== 99.94/100.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.94/100.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.94/100.11 c =============================================================================== 99.94/100.11 c | 0 | 2877 79202 192579 | 26400 0 nan | 0.000 % | 99.94/100.13 c =============================================================================== 99.94/100.13 c core #617 99.94/100.13 c Core size: 26 Core Weight: 1 Total Weight: -383 99.94/100.13 c Elapsed CPU time: 96.7093 s Remaining CPU time: 1703.29 s 100.04/100.29 c ============================[ Search Statistics ]============================== 100.04/100.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.04/100.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.04/100.29 c =============================================================================== 100.04/100.29 c | 0 | 2887 79203 192599 | 26401 0 nan | 0.000 % | 100.14/100.30 c =============================================================================== 100.14/100.30 c core #618 100.14/100.30 c Core size: 31 Core Weight: 1 Total Weight: -382 100.14/100.30 c Elapsed CPU time: 96.8773 s Remaining CPU time: 1703.12 s 100.24/100.46 c ============================[ Search Statistics ]============================== 100.24/100.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.24/100.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.24/100.46 c =============================================================================== 100.24/100.46 c | 0 | 2899 79204 192623 | 26401 0 nan | 0.000 % | 100.24/100.48 c =============================================================================== 100.24/100.48 c core #619 100.24/100.48 c Core size: 32 Core Weight: 1 Total Weight: -381 100.24/100.48 c Elapsed CPU time: 97.0472 s Remaining CPU time: 1702.95 s 100.44/100.64 c ============================[ Search Statistics ]============================== 100.44/100.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.44/100.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.44/100.64 c =============================================================================== 100.44/100.64 c | 0 | 2911 79205 192647 | 26401 0 nan | 0.000 % | 100.44/100.65 c =============================================================================== 100.44/100.65 c core #620 100.44/100.65 c Core size: 26 Core Weight: 1 Total Weight: -380 100.44/100.65 c Elapsed CPU time: 97.2162 s Remaining CPU time: 1702.78 s 100.64/100.81 c ============================[ Search Statistics ]============================== 100.64/100.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.64/100.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.64/100.82 c =============================================================================== 100.64/100.82 c | 0 | 2921 79206 192667 | 26402 0 nan | 0.000 % | 100.64/100.83 c =============================================================================== 100.64/100.83 c core #621 100.64/100.83 c Core size: 25 Core Weight: 1 Total Weight: -379 100.64/100.83 c Elapsed CPU time: 97.3842 s Remaining CPU time: 1702.62 s 100.73/100.99 c ============================[ Search Statistics ]============================== 100.73/100.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.73/100.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.73/100.99 c =============================================================================== 100.73/100.99 c | 0 | 2931 79207 192687 | 26402 0 nan | 0.000 % | 100.84/101.00 c =============================================================================== 100.84/101.00 c core #622 100.84/101.00 c Core size: 45 Core Weight: 1 Total Weight: -378 100.84/101.00 c Elapsed CPU time: 97.5542 s Remaining CPU time: 1702.45 s 100.94/101.16 c ============================[ Search Statistics ]============================== 100.94/101.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.94/101.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.94/101.17 c =============================================================================== 100.94/101.17 c | 0 | 2949 79208 192723 | 26402 0 nan | 0.000 % | 100.94/101.18 c =============================================================================== 100.94/101.18 c core #623 100.94/101.18 c Core size: 36 Core Weight: 1 Total Weight: -377 100.94/101.18 c Elapsed CPU time: 97.7201 s Remaining CPU time: 1702.28 s 101.14/101.34 c ============================[ Search Statistics ]============================== 101.14/101.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.14/101.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.14/101.34 c =============================================================================== 101.14/101.34 c | 0 | 2963 79209 192751 | 26403 0 nan | 0.000 % | 101.14/101.36 c =============================================================================== 101.14/101.36 c core #624 101.14/101.36 c Core size: 32 Core Weight: 1 Total Weight: -376 101.14/101.36 c Elapsed CPU time: 97.8941 s Remaining CPU time: 1702.11 s 101.33/101.52 c ============================[ Search Statistics ]============================== 101.33/101.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.33/101.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.33/101.52 c =============================================================================== 101.33/101.52 c | 0 | 2975 79210 192775 | 26403 0 nan | 0.000 % | 101.33/101.54 c =============================================================================== 101.33/101.54 c core #625 101.33/101.54 c Core size: 86 Core Weight: 1 Total Weight: -375 101.33/101.54 c Elapsed CPU time: 98.0661 s Remaining CPU time: 1701.93 s 101.44/101.69 c ============================[ Search Statistics ]============================== 101.44/101.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.44/101.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.44/101.69 c =============================================================================== 101.44/101.70 c | 0 | 3005 79211 192835 | 26403 0 nan | 0.000 % | 101.54/101.71 c =============================================================================== 101.54/101.71 c core #626 101.54/101.71 c Core size: 117 Core Weight: 1 Total Weight: -374 101.54/101.71 c Elapsed CPU time: 98.2371 s Remaining CPU time: 1701.76 s 101.63/101.88 c ============================[ Search Statistics ]============================== 101.63/101.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.63/101.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.63/101.88 c =============================================================================== 101.63/101.88 c | 0 | 3044 79212 192913 | 26404 0 nan | 0.000 % | 101.73/101.90 c | 101 | 3044 79212 192913 | 29044 101 22 | 92.546 % | 101.73/101.91 c | 256 | 3044 79212 192913 | 31948 256 41 | 92.546 % | 101.73/101.94 c =============================================================================== 101.73/101.94 c core #627 101.73/101.94 c Core size: 329 Core Weight: 1 Total Weight: -373 101.73/101.94 c Elapsed CPU time: 98.46 s Remaining CPU time: 1701.54 s 101.93/102.11 c ============================[ Search Statistics ]============================== 101.93/102.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.93/102.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.93/102.11 c =============================================================================== 101.93/102.11 c | 0 | 3124 79213 193073 | 26404 0 nan | 0.000 % | 101.93/102.13 c | 101 | 3124 79213 193073 | 29044 101 20 | 92.365 % | 101.93/102.15 c | 253 | 3124 79213 193073 | 31949 253 38 | 92.365 % | 101.93/102.17 c | 481 | 3124 79213 193073 | 35144 481 41 | 92.365 % | 102.03/102.21 c | 818 | 3124 79213 193073 | 38658 818 53 | 92.365 % | 102.03/102.21 c =============================================================================== 102.03/102.22 c core #628 102.03/102.22 c Core size: 411 Core Weight: 1 Total Weight: -372 102.03/102.22 c Elapsed CPU time: 98.724 s Remaining CPU time: 1701.28 s 102.14/102.39 c ============================[ Search Statistics ]============================== 102.14/102.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.14/102.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.14/102.39 c =============================================================================== 102.14/102.39 c | 0 | 3218 79214 193261 | 26404 0 nan | 0.000 % | 102.23/102.41 c | 100 | 3218 79214 193261 | 29045 100 24 | 92.153 % | 102.23/102.42 c | 252 | 3218 79214 193261 | 31949 252 26 | 92.153 % | 102.23/102.44 c | 478 | 3218 79214 193261 | 35144 478 28 | 92.153 % | 102.23/102.48 c | 816 | 3209 79214 193261 | 38659 816 36 | 92.507 % | 102.34/102.50 c =============================================================================== 102.34/102.50 c core #629 102.34/102.50 c Core size: 515 Core Weight: 1 Total Weight: -371 102.34/102.50 c Elapsed CPU time: 98.9989 s Remaining CPU time: 1701 s 102.43/102.67 c ============================[ Search Statistics ]============================== 102.43/102.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.43/102.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.43/102.67 c =============================================================================== 102.43/102.67 c | 0 | 3330 79215 193485 | 26405 0 nan | 0.000 % | 102.53/102.70 c | 100 | 3330 79215 193485 | 29045 100 27 | 91.902 % | 102.53/102.71 c =============================================================================== 102.53/102.71 c core #630 102.53/102.71 c Core size: 135 Core Weight: 1 Total Weight: -370 102.53/102.71 c Elapsed CPU time: 99.1999 s Remaining CPU time: 1700.8 s 102.63/102.87 c ============================[ Search Statistics ]============================== 102.63/102.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.63/102.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.63/102.87 c =============================================================================== 102.63/102.87 c | 0 | 3366 79216 193557 | 26405 0 nan | 0.000 % | 102.63/102.89 c | 100 | 3366 79216 193557 | 29045 100 13 | 91.822 % | 102.74/102.91 c | 250 | 3366 79216 193557 | 31950 250 19 | 91.822 % | 102.74/102.93 c | 476 | 3366 79216 193557 | 35145 476 21 | 91.822 % | 102.74/102.97 c | 814 | 3366 79216 193557 | 38660 814 57 | 91.822 % | 102.74/103.00 c =============================================================================== 102.74/103.00 c core #631 102.74/103.00 c Core size: 251 Core Weight: 1 Total Weight: -369 102.74/103.00 c Elapsed CPU time: 99.4749 s Remaining CPU time: 1700.53 s 102.93/103.16 c ============================[ Search Statistics ]============================== 102.93/103.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.93/103.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.93/103.16 c =============================================================================== 102.93/103.16 c | 0 | 3436 79217 193697 | 26405 0 nan | 0.000 % | 102.93/103.19 c | 102 | 3436 79217 193697 | 29046 102 83 | 91.666 % | 103.03/103.20 c | 252 | 3436 79217 193697 | 31950 252 55 | 91.666 % | 103.03/103.22 c | 477 | 3436 79217 193697 | 35145 477 48 | 91.666 % | 103.03/103.26 c | 814 | 3436 79217 193697 | 38660 814 54 | 91.666 % | 103.14/103.32 c | 1323 | 3436 79217 193697 | 42526 1323 65 | 91.666 % | 103.24/103.44 c | 2082 | 3435 79217 193697 | 46779 2079 71 | 91.668 % | 103.24/103.46 c =============================================================================== 103.24/103.46 c core #632 103.24/103.46 c Core size: 330 Core Weight: 1 Total Weight: -368 103.24/103.46 c Elapsed CPU time: 99.9188 s Remaining CPU time: 1700.08 s 103.44/103.63 c ============================[ Search Statistics ]============================== 103.44/103.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.44/103.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.44/103.63 c =============================================================================== 103.44/103.63 c | 0 | 3522 79218 193869 | 26406 0 nan | 0.000 % | 103.44/103.65 c | 100 | 3522 79218 193869 | 29046 100 27 | 91.475 % | 103.44/103.66 c | 254 | 3522 79218 193869 | 31951 254 28 | 91.475 % | 103.44/103.68 c | 479 | 3522 79218 193869 | 35146 479 32 | 91.475 % | 103.53/103.71 c | 816 | 3508 79218 193869 | 38661 816 31 | 91.642 % | 103.53/103.72 c =============================================================================== 103.53/103.72 c core #633 103.53/103.72 c Core size: 153 Core Weight: 1 Total Weight: -367 103.53/103.72 c Elapsed CPU time: 100.169 s Remaining CPU time: 1699.83 s 103.63/103.89 c ============================[ Search Statistics ]============================== 103.63/103.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.63/103.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.63/103.89 c =============================================================================== 103.63/103.89 c | 0 | 3570 79219 193965 | 26406 0 nan | 0.000 % | 103.73/103.91 c | 101 | 3570 79219 193965 | 29046 101 28 | 91.369 % | 103.73/103.92 c | 253 | 3570 79219 193965 | 31951 253 24 | 91.369 % | 103.73/103.93 c =============================================================================== 103.73/103.93 c core #634 103.73/103.93 c Core size: 294 Core Weight: 1 Total Weight: -366 103.73/103.93 c Elapsed CPU time: 100.381 s Remaining CPU time: 1699.62 s 103.93/104.10 c ============================[ Search Statistics ]============================== 103.93/104.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.93/104.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.93/104.10 c =============================================================================== 103.93/104.10 c | 0 | 3634 79220 194093 | 26406 0 nan | 0.000 % | 103.93/104.12 c | 100 | 3634 79220 194093 | 29047 100 30 | 91.228 % | 103.93/104.14 c | 251 | 3634 79220 194093 | 31952 251 22 | 91.228 % | 103.93/104.15 c | 476 | 3633 79220 194093 | 35147 476 22 | 91.230 % | 103.93/104.18 c | 813 | 3627 79220 194093 | 38662 813 22 | 91.378 % | 103.93/104.18 c =============================================================================== 103.93/104.19 c core #635 103.93/104.19 c Core size: 525 Core Weight: 1 Total Weight: -365 103.93/104.19 c Elapsed CPU time: 100.628 s Remaining CPU time: 1699.37 s 104.14/104.36 c ============================[ Search Statistics ]============================== 104.14/104.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.14/104.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.14/104.36 c =============================================================================== 104.14/104.36 c | 0 | 3738 79221 194301 | 26407 0 nan | 0.000 % | 104.14/104.38 c | 100 | 3738 79221 194301 | 29047 100 36 | 90.999 % | 104.14/104.39 c | 250 | 3738 79221 194301 | 31952 250 27 | 90.999 % | 104.23/104.41 c | 475 | 3738 79221 194301 | 35147 475 31 | 90.999 % | 104.23/104.45 c | 813 | 3738 79221 194301 | 38662 813 35 | 90.999 % | 104.23/104.50 c | 1319 | 3737 79221 194301 | 42528 1315 36 | 91.002 % | 104.43/104.62 c | 2079 | 3737 79221 194301 | 46781 2075 65 | 91.002 % | 104.43/104.66 c =============================================================================== 104.43/104.68 c core #636 104.43/104.68 c Core size: 765 Core Weight: 1 Total Weight: -364 104.43/104.68 c Elapsed CPU time: 101.107 s Remaining CPU time: 1698.89 s 104.63/104.85 c ============================[ Search Statistics ]============================== 104.63/104.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.63/104.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.63/104.85 c =============================================================================== 104.63/104.86 c | 0 | 3860 79222 194545 | 26407 0 nan | 0.000 % | 104.63/104.88 c | 100 | 3860 79222 194545 | 29048 100 31 | 90.733 % | 104.63/104.89 c | 251 | 3860 79222 194545 | 31952 251 23 | 90.733 % | 104.73/104.90 c | 477 | 3860 79222 194545 | 35148 477 19 | 90.733 % | 104.73/104.92 c | 814 | 3860 79222 194545 | 38662 814 20 | 90.733 % | 104.73/104.98 c | 1322 | 3860 79222 194545 | 42529 1322 29 | 90.733 % | 104.83/105.06 c =============================================================================== 104.83/105.07 c core #637 104.83/105.07 c Core size: 597 Core Weight: 1 Total Weight: -363 104.83/105.07 c Elapsed CPU time: 101.476 s Remaining CPU time: 1698.52 s 105.03/105.24 c ============================[ Search Statistics ]============================== 105.03/105.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.03/105.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.03/105.24 c =============================================================================== 105.03/105.24 c | 0 | 3965 79223 194755 | 26407 0 nan | 0.000 % | 105.03/105.26 c | 102 | 3965 79223 194755 | 29048 102 32 | 90.505 % | 105.03/105.28 c | 252 | 3965 79223 194755 | 31953 252 21 | 90.505 % | 105.03/105.29 c | 477 | 3965 79223 194755 | 35148 477 28 | 90.505 % | 105.13/105.33 c | 815 | 3965 79223 194755 | 38663 815 31 | 90.505 % | 105.23/105.40 c | 1329 | 3963 79223 194755 | 42529 1327 55 | 90.510 % | 105.33/105.56 c | 2089 | 3963 79223 194755 | 46782 2087 98 | 90.510 % | 105.53/105.75 c =============================================================================== 105.53/105.78 c core #638 105.53/105.78 c Core size: 644 Core Weight: 1 Total Weight: -362 105.53/105.78 c Elapsed CPU time: 102.169 s Remaining CPU time: 1697.83 s 105.73/105.95 c ============================[ Search Statistics ]============================== 105.73/105.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.73/105.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.73/105.95 c =============================================================================== 105.73/105.95 c | 0 | 4072 79224 194969 | 26408 0 nan | 0.000 % | 105.73/105.98 c | 100 | 4072 79224 194969 | 29048 100 37 | 90.273 % | 105.73/105.99 c | 250 | 4072 79224 194969 | 31953 250 32 | 90.273 % | 105.83/106.01 c | 475 | 4072 79224 194969 | 35149 475 34 | 90.273 % | 105.83/106.02 c =============================================================================== 105.83/106.02 c core #639 105.83/106.02 c Core size: 206 Core Weight: 1 Total Weight: -361 105.83/106.02 c Elapsed CPU time: 102.401 s Remaining CPU time: 1697.6 s 105.93/106.19 c ============================[ Search Statistics ]============================== 105.93/106.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.93/106.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.93/106.19 c =============================================================================== 105.93/106.19 c | 0 | 4121 79225 195067 | 26408 0 nan | 0.000 % | 106.03/106.21 c | 105 | 4121 79225 195067 | 29049 105 33 | 90.168 % | 106.03/106.22 c | 256 | 4121 79225 195067 | 31954 256 28 | 90.168 % | 106.03/106.24 c | 483 | 4121 79225 195067 | 35149 483 24 | 90.168 % | 106.03/106.26 c | 821 | 4120 79225 195067 | 38664 821 26 | 90.170 % | 106.13/106.32 c | 1328 | 4119 79225 195067 | 42530 1328 39 | 90.173 % | 106.23/106.41 c | 2089 | 4119 79225 195067 | 46783 2081 54 | 90.173 % | 106.33/106.56 c =============================================================================== 106.33/106.59 c core #640 106.33/106.59 c Core size: 414 Core Weight: 1 Total Weight: -360 106.33/106.59 c Elapsed CPU time: 102.956 s Remaining CPU time: 1697.04 s 106.54/106.76 c ============================[ Search Statistics ]============================== 106.54/106.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.54/106.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.54/106.76 c =============================================================================== 106.54/106.76 c | 0 | 4208 79226 195241 | 26408 0 nan | 0.000 % | 106.54/106.79 c | 101 | 4208 79226 195241 | 29049 101 18 | 89.981 % | 106.63/106.80 c | 252 | 4207 79226 195241 | 31954 252 21 | 89.984 % | 106.63/106.81 c | 478 | 4207 79226 195241 | 35149 478 26 | 89.984 % | 106.63/106.84 c | 817 | 4207 79226 195241 | 38664 817 27 | 89.984 % | 106.63/106.89 c | 1324 | 4206 79226 195241 | 42531 1324 30 | 89.986 % | 106.72/106.93 c =============================================================================== 106.72/106.94 c core #641 106.72/106.94 c Core size: 431 Core Weight: 1 Total Weight: -359 106.72/106.94 c Elapsed CPU time: 103.293 s Remaining CPU time: 1696.71 s 106.93/107.11 c ============================[ Search Statistics ]============================== 106.93/107.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.93/107.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.93/107.11 c =============================================================================== 106.93/107.11 c | 0 | 4286 79227 195397 | 26409 0 nan | 0.000 % | 106.93/107.13 c | 100 | 4286 79227 195397 | 29049 100 21 | 89.814 % | 106.93/107.14 c | 250 | 4286 79227 195397 | 31954 250 15 | 89.814 % | 106.93/107.16 c | 475 | 4286 79227 195397 | 35150 475 14 | 89.814 % | 106.93/107.18 c | 812 | 4286 79227 195397 | 38665 812 16 | 89.814 % | 107.03/107.22 c | 1318 | 4286 79227 195397 | 42531 1318 19 | 89.814 % | 107.13/107.31 c | 2081 | 4286 79227 195397 | 46785 2081 31 | 89.814 % | 107.23/107.47 c | 3222 | 4221 79227 195397 | 51463 2546 29 | 89.969 % | 107.32/107.54 c =============================================================================== 107.32/107.57 c core #642 107.32/107.57 c Core size: 602 Core Weight: 1 Total Weight: -358 107.32/107.57 c Elapsed CPU time: 103.906 s Remaining CPU time: 1696.09 s 107.53/107.74 c ============================[ Search Statistics ]============================== 107.53/107.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.53/107.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.53/107.75 c =============================================================================== 107.53/107.75 c | 0 | 4386 79228 195597 | 26409 0 nan | 0.000 % | 107.53/107.77 c | 100 | 4386 79228 195597 | 29050 100 21 | 89.601 % | 107.53/107.79 c | 251 | 4386 79228 195597 | 31955 251 20 | 89.601 % | 107.63/107.81 c | 476 | 4386 79228 195597 | 35150 476 26 | 89.601 % | 107.63/107.84 c | 813 | 4386 79228 195597 | 38665 813 40 | 89.601 % | 107.72/107.92 c | 1320 | 4386 79228 195597 | 42532 1320 74 | 89.601 % | 107.72/107.94 c =============================================================================== 107.72/107.96 c core #643 107.72/107.96 c Core size: 496 Core Weight: 1 Total Weight: -357 107.72/107.96 c Elapsed CPU time: 104.272 s Remaining CPU time: 1695.73 s 107.92/108.12 c ============================[ Search Statistics ]============================== 107.92/108.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.92/108.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.92/108.12 c =============================================================================== 107.92/108.12 c | 0 | 4476 79229 195777 | 26409 0 nan | 0.000 % | 107.92/108.15 c | 100 | 4476 79229 195777 | 29050 100 26 | 89.411 % | 107.92/108.16 c | 250 | 4476 79229 195777 | 31955 250 21 | 89.411 % | 107.92/108.18 c | 475 | 4476 79229 195777 | 35151 475 23 | 89.411 % | 108.02/108.21 c | 813 | 4476 79229 195777 | 38666 813 30 | 89.411 % | 108.02/108.25 c | 1319 | 4476 79229 195777 | 42533 1319 37 | 89.411 % | 108.12/108.35 c | 2078 | 4476 79229 195777 | 46786 2078 52 | 89.411 % | 108.32/108.51 c | 3217 | 4476 79229 195777 | 51464 3217 62 | 89.411 % | 108.53/108.70 c =============================================================================== 108.53/108.73 c core #644 108.53/108.73 c Core size: 702 Core Weight: 1 Total Weight: -356 108.53/108.73 c Elapsed CPU time: 105.026 s Remaining CPU time: 1694.97 s 108.73/108.91 c ============================[ Search Statistics ]============================== 108.73/108.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.73/108.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.73/108.91 c =============================================================================== 108.73/108.91 c | 0 | 4583 79230 195991 | 26410 0 nan | 0.000 % | 108.73/108.93 c | 102 | 4583 79230 195991 | 29051 102 26 | 89.185 % | 108.73/108.94 c | 252 | 4583 79230 195991 | 31956 252 27 | 89.185 % | 108.73/108.96 c | 479 | 4583 79230 195991 | 35151 479 26 | 89.185 % | 108.73/108.99 c | 816 | 4583 79230 195991 | 38666 816 25 | 89.185 % | 108.83/109.03 c | 1325 | 4583 79230 195991 | 42533 1325 28 | 89.185 % | 108.92/109.10 c | 2084 | 4583 79230 195991 | 46786 2084 39 | 89.185 % | 109.02/109.26 c | 3223 | 4583 79230 195991 | 51465 3223 54 | 89.185 % | 109.32/109.58 c | 4931 | 4583 79230 195991 | 56612 4931 68 | 89.185 % | 110.12/110.35 c | 7493 | 4583 79230 195991 | 62273 7493 99 | 89.185 % | 112.03/112.25 c | 11337 | 4583 79230 195991 | 68500 11337 131 | 89.185 % | 113.83/114.06 c =============================================================================== 114.03/114.29 c core #645 114.03/114.29 c Core size: 1088 Core Weight: 1 Total Weight: -355 114.03/114.29 c Elapsed CPU time: 110.532 s Remaining CPU time: 1689.47 s 114.23/114.48 c ============================[ Search Statistics ]============================== 114.23/114.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.23/114.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.23/114.48 c =============================================================================== 114.23/114.48 c | 0 | 4721 79231 196267 | 26410 0 nan | 0.000 % | 114.32/114.50 c | 104 | 4721 79231 196267 | 29051 104 24 | 88.895 % | 114.32/114.52 c | 256 | 4721 79231 196267 | 31956 256 18 | 88.895 % | 114.32/114.53 c | 481 | 4721 79231 196267 | 35152 481 17 | 88.895 % | 114.32/114.56 c | 821 | 4721 79231 196267 | 38667 821 20 | 88.895 % | 114.42/114.62 c | 1327 | 4721 79231 196267 | 42534 1327 40 | 88.895 % | 114.52/114.71 c | 2087 | 4721 79231 196267 | 46787 2087 51 | 88.895 % | 114.62/114.88 c | 3226 | 4721 79231 196267 | 51466 3226 69 | 88.895 % | 115.13/115.33 c | 4939 | 4721 79231 196267 | 56612 4939 119 | 88.895 % | 115.52/115.72 c =============================================================================== 115.52/115.79 c core #646 115.52/115.79 c Core size: 928 Core Weight: 1 Total Weight: -354 115.52/115.79 c Elapsed CPU time: 112.004 s Remaining CPU time: 1688 s 115.72/115.97 c ============================[ Search Statistics ]============================== 115.72/115.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.72/115.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.72/115.97 c =============================================================================== 115.72/115.97 c | 0 | 4851 79232 196527 | 26410 0 nan | 0.000 % | 115.82/116.00 c | 101 | 4851 79232 196527 | 29051 101 38 | 88.624 % | 115.82/116.01 c | 251 | 4851 79232 196527 | 31956 251 24 | 88.624 % | 115.82/116.02 c | 476 | 4851 79232 196527 | 35152 476 20 | 88.624 % | 115.82/116.05 c | 813 | 4851 79232 196527 | 38667 813 24 | 88.624 % | 115.92/116.10 c | 1319 | 4851 79232 196527 | 42534 1319 32 | 88.624 % | 116.02/116.21 c | 2078 | 4851 79232 196527 | 46788 2078 51 | 88.624 % | 116.23/116.43 c | 3219 | 4851 79232 196527 | 51466 3219 82 | 88.624 % | 116.72/116.91 c | 4927 | 4851 79232 196527 | 56613 4927 118 | 88.624 % | 117.52/117.77 c | 7494 | 4851 79232 196527 | 62274 7494 122 | 88.624 % | 119.42/119.60 c | 11339 | 4851 79232 196527 | 68502 11339 164 | 88.624 % | 122.32/122.53 c | 17106 | 4765 79232 196527 | 75352 11420 99 | 88.826 % | 123.52/123.70 c =============================================================================== 123.82/124.04 c core #647 123.82/124.04 c Core size: 1312 Core Weight: 1 Total Weight: -353 123.82/124.04 c Elapsed CPU time: 120.182 s Remaining CPU time: 1679.82 s 124.02/124.23 c ============================[ Search Statistics ]============================== 124.02/124.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.02/124.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.02/124.23 c =============================================================================== 124.02/124.23 c | 0 | 5007 79233 196839 | 26411 0 nan | 0.000 % | 124.02/124.26 c | 100 | 5007 79233 196839 | 29052 100 41 | 88.301 % | 124.02/124.27 c | 250 | 5007 79233 196839 | 31957 250 24 | 88.301 % | 124.02/124.29 c | 476 | 5007 79233 196839 | 35153 476 27 | 88.301 % | 124.13/124.32 c | 814 | 5007 79233 196839 | 38668 814 24 | 88.301 % | 124.13/124.35 c | 1322 | 5007 79233 196839 | 42535 1322 23 | 88.301 % | 124.22/124.43 c | 2081 | 5007 79233 196839 | 46788 2081 28 | 88.301 % | 124.32/124.56 c | 3221 | 5007 79233 196839 | 51467 3221 37 | 88.301 % | 124.62/124.86 c | 4931 | 5007 79233 196839 | 56614 4931 47 | 88.301 % | 125.32/125.57 c | 7494 | 5007 79233 196839 | 62275 7494 59 | 88.301 % | 127.42/127.65 c | 11338 | 5007 79233 196839 | 68503 11338 137 | 88.301 % | 130.91/131.17 c | 17104 | 5007 79233 196839 | 75353 17104 145 | 88.301 % | 134.71/134.93 c =============================================================================== 135.12/135.33 c core #648 135.12/135.33 c Core size: 1002 Core Weight: 1 Total Weight: -352 135.12/135.33 c Elapsed CPU time: 131.41 s Remaining CPU time: 1668.59 s 135.32/135.52 c ============================[ Search Statistics ]============================== 135.32/135.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 135.32/135.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 135.32/135.52 c =============================================================================== 135.32/135.52 c | 0 | 5134 79234 197093 | 26411 0 nan | 0.000 % | 135.32/135.55 c | 101 | 5134 79234 197093 | 29052 101 14 | 88.040 % | 135.32/135.56 c | 251 | 5134 79234 197093 | 31957 251 18 | 88.040 % | 135.32/135.58 c | 476 | 5134 79234 197093 | 35153 476 18 | 88.040 % | 135.41/135.61 c | 813 | 5134 79234 197093 | 38668 813 25 | 88.040 % | 135.41/135.66 c | 1320 | 5134 79234 197093 | 42535 1320 30 | 88.040 % | 135.52/135.74 c | 2079 | 5134 79234 197093 | 46789 2079 32 | 88.040 % | 135.72/135.91 c | 3219 | 5134 79234 197093 | 51468 3219 46 | 88.040 % | 136.12/136.31 c | 4928 | 5134 79234 197093 | 56615 4928 82 | 88.040 % | 136.92/137.12 c | 7491 | 5134 79234 197093 | 62276 7491 103 | 88.040 % | 138.92/139.10 c | 11335 | 5134 79234 197093 | 68504 11335 132 | 88.040 % | 142.91/143.17 c | 17103 | 5134 79234 197093 | 75354 17103 162 | 88.040 % | 153.51/153.78 c | 25752 | 5134 79234 197093 | 82890 25752 191 | 88.040 % | 173.41/173.61 c | 38731 | 5134 79234 197093 | 91179 38731 190 | 88.040 % | 221.09/221.32 c | 58194 | 5134 79234 197093 | 100296 58194 257 | 88.040 % | 327.17/327.42 c | 87389 | 5134 79234 197093 | 110326 87389 363 | 88.040 % |
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-1875331-1245198946/watcher-1875331-1245198946 -o /tmp/evaluation-result-1875331-1245198946/solver-1875331-1245198946 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875331-1245198946.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7700 /proc/meminfo: memFree=1861096/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=6052 CPUtime=0 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 187495189 6197248 261 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 1513 265 125 292 0 406 0 [startup+0.0575841 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7700 /proc/meminfo: memFree=1861096/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=10428 CPUtime=0.04 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 1274 0 0 0 4 0 0 0 18 0 1 0 187495189 10678272 1258 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 2607 1258 184 292 0 1500 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10428 [startup+0.101586 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7700 /proc/meminfo: memFree=1861096/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=12900 CPUtime=0.09 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 1856 0 0 0 8 1 0 0 18 0 1 0 187495189 13209600 1840 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 3225 1841 228 292 0 2118 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12900 [startup+0.301599 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7700 /proc/meminfo: memFree=1861096/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=15932 CPUtime=0.29 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 3042 0 0 0 28 1 0 0 19 0 1 0 187495189 16314368 2993 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 3983 2993 527 292 0 2876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15932 [startup+0.701625 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7700 /proc/meminfo: memFree=1861096/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=28188 CPUtime=0.69 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 8030 0 0 0 66 3 0 0 22 0 1 0 187495189 28864512 6311 1992294400 134512640 135709839 4294956240 18446744073709551615 134572396 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 7047 6311 134 292 0 6752 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28188 [startup+1.50168 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=1830752/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=40736 CPUtime=1.49 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 14158 0 0 0 143 6 0 0 25 0 1 0 187495189 41713664 9550 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 10184 9550 134 292 0 9889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40736 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=1812960/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=69072 CPUtime=3.09 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 26121 0 0 0 298 11 0 0 25 0 1 0 187495189 70729728 16569 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 17268 16569 134 292 0 16973 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 69072 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=1757024/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=121360 CPUtime=6.29 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 50282 0 0 0 606 23 0 0 25 0 1 0 187495189 124272640 29618 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 30340 29618 134 292 0 30045 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 121360 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=1647336/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=226212 CPUtime=12.69 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 98546 0 0 0 1223 46 0 0 25 0 1 0 187495189 231641088 55927 1992294400 134512640 135709839 4294956240 18446744073709551615 135166368 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 56553 55927 134 292 0 56258 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 226212 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=1429288/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=438640 CPUtime=25.47 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 192312 0 0 0 2462 85 0 0 25 0 1 0 187495189 449167360 108952 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 109660 108953 134 292 0 109365 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 438640 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=1023720/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=847052 CPUtime=51.05 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 380134 0 0 0 4937 168 0 0 25 0 1 0 187495189 867381248 211084 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 211763 211084 134 292 0 211468 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 847052 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=255464/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=1608460 CPUtime=102.14 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 737276 0 0 0 9880 334 0 0 25 0 1 0 187495189 1647063040 401336 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 402115 401336 136 292 0 401820 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 1608460 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=143016/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=1717940 CPUtime=162.11 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 775671 0 0 0 15824 387 0 0 25 0 1 0 187495189 1759170560 428847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 429485 428847 136 292 0 429190 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 1717940 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=102120/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=1758212 CPUtime=222.09 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 785735 0 0 0 21804 405 0 0 25 0 1 0 187495189 1800409088 438911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 439553 438911 136 292 0 439258 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 1758212 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=59176/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=1801724 CPUtime=282.08 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 796592 0 0 0 27789 419 0 0 25 0 1 0 187495189 1844965376 449768 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 450431 449768 136 292 0 450136 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 1801724 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=22056/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=1838196 CPUtime=342.06 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 805720 0 0 0 33773 433 0 0 25 0 1 0 187495189 1882312704 458896 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 459549 458896 136 292 0 459254 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 1838196 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+350.201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=17064/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=1843232 CPUtime=349.97 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4194304 806932 0 0 0 34562 435 0 0 25 0 1 0 187495189 1887469568 460108 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 460808 460108 136 292 0 460513 0 Current children cumulated CPU time (s) 349.97 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+350.401 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7701 /proc/meminfo: memFree=17064/2055920 swapFree=4181748/4192956 [pid=7700] ppid=7698 vsize=0 CPUtime=350.16 /proc/7700/stat : 7700 (wbo) R 7698 7700 6883 0 -1 4195332 806932 0 0 0 34562 454 0 0 25 0 1 0 187495189 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7700/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 350.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 350.492 CPU time (s): 350.266 CPU user time (s): 345.626 CPU system time (s): 4.63929 CPU usage (%): 99.9355 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 345.626 system time used= 4.63929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 806932 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= 3856 runsolver used 0.303953 second user time and 0.872867 second system time The end
Begin job on node22 at 2009-06-17 02:35:46 IDJOB=1875331 IDBENCH=48171 IDSOLVER=698 FILE ID=node22/1875331-1245198946 PBS_JOBID= 9368290 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.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-1875331-1245198946/watcher-1875331-1245198946 -o /tmp/evaluation-result-1875331-1245198946/solver-1875331-1245198946 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875331-1245198946.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a RANDOM SEED=1727162155 node22.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.231 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.231 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: 1863944 kB Buffers: 45976 kB Cached: 96828 kB SwapCached: 5504 kB Active: 79456 kB Inactive: 71268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863944 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 3332 kB Writeback: 0 kB Mapped: 12960 kB Slab: 27316 kB Committed_AS: 172088 kB PageTables: 1372 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-1875331-1245198946.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-17 02:41:40