| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.34 | 1801.26 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| 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 | -123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.49 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| 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 | 25 |
| Maximum length of a constraint | 50 |
| 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) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
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-1875337-1245199528.opb. 0.00/0.00 c Instance file HOME/instance-1875337-1245199528.opb 0.00/0.00 c File size is 1376326 bytes. 0.09/0.20 c Highest Coefficient sum: 50 0.09/0.20 c ============================[ Problem Statistics ]============================= 0.09/0.20 c | | 0.09/0.20 c | Parsing time: 0.19 s | 0.09/0.20 c | Number Variables: 16796 | 0.09/0.20 c | Number Clauses: 16796 | 0.09/0.20 c | Number Cardinality: 2000 | 0.09/0.20 c | Number PB Constraints: 15796 | 0.09/0.20 c core #1 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: -999 0.09/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.19/0.25 c core #2 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -998 0.19/0.25 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.30 c core #3 0.19/0.30 c Core size: 4 Core Weight: 1 Total Weight: -997 0.19/0.30 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.29/0.35 c core #4 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -996 0.29/0.35 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.39/0.40 c core #5 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -995 0.39/0.40 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.39/0.45 c core #6 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: -994 0.39/0.45 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.49/0.51 c core #7 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: -993 0.49/0.51 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.49/0.57 c core #8 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: -992 0.49/0.57 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.59/0.63 c core #9 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -991 0.59/0.63 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.69 c core #10 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: -990 0.59/0.69 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.69/0.74 c core #11 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -989 0.69/0.74 c Elapsed CPU time: 0.716891 s Remaining CPU time: 1799.28 s 0.79/0.80 c core #12 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: -988 0.79/0.80 c Elapsed CPU time: 0.775882 s Remaining CPU time: 1799.22 s 0.79/0.86 c core #13 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -987 0.79/0.86 c Elapsed CPU time: 0.832873 s Remaining CPU time: 1799.17 s 0.89/0.92 c core #14 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -986 0.89/0.92 c Elapsed CPU time: 0.890864 s Remaining CPU time: 1799.11 s 0.89/0.98 c core #15 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: -985 0.89/0.98 c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s 0.99/1.04 c core #16 0.99/1.04 c Core size: 4 Core Weight: 1 Total Weight: -984 0.99/1.04 c Elapsed CPU time: 1.00985 s Remaining CPU time: 1798.99 s 1.09/1.10 c core #17 1.09/1.10 c Core size: 4 Core Weight: 1 Total Weight: -983 1.09/1.10 c Elapsed CPU time: 1.06784 s Remaining CPU time: 1798.93 s 1.09/1.16 c core #18 1.09/1.16 c Core size: 4 Core Weight: 1 Total Weight: -982 1.09/1.16 c Elapsed CPU time: 1.12583 s Remaining CPU time: 1798.87 s 1.19/1.22 c core #19 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -981 1.19/1.22 c Elapsed CPU time: 1.18482 s Remaining CPU time: 1798.82 s 1.19/1.28 c core #20 1.19/1.28 c Core size: 4 Core Weight: 1 Total Weight: -980 1.19/1.28 c Elapsed CPU time: 1.24181 s Remaining CPU time: 1798.76 s 1.29/1.34 c core #21 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: -979 1.29/1.34 c Elapsed CPU time: 1.3008 s Remaining CPU time: 1798.7 s 1.29/1.39 c core #22 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: -978 1.29/1.39 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.39/1.45 c core #23 1.39/1.45 c Core size: 4 Core Weight: 1 Total Weight: -977 1.39/1.45 c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 s 1.49/1.51 c core #24 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -976 1.49/1.51 c Elapsed CPU time: 1.47578 s Remaining CPU time: 1798.52 s 1.49/1.57 c core #25 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -975 1.49/1.57 c Elapsed CPU time: 1.53577 s Remaining CPU time: 1798.46 s 1.59/1.63 c core #26 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -974 1.59/1.63 c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s 1.59/1.69 c core #27 1.59/1.69 c Core size: 4 Core Weight: 1 Total Weight: -973 1.59/1.69 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.69/1.75 c core #28 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: -972 1.69/1.75 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.79/1.81 c core #29 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: -971 1.79/1.81 c Elapsed CPU time: 1.76973 s Remaining CPU time: 1798.23 s 1.79/1.87 c core #30 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: -970 1.79/1.87 c Elapsed CPU time: 1.82872 s Remaining CPU time: 1798.17 s 1.89/1.93 c core #31 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: -969 1.89/1.93 c Elapsed CPU time: 1.88771 s Remaining CPU time: 1798.11 s 1.89/1.99 c core #32 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: -968 1.89/1.99 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.99/2.05 c core #33 1.99/2.05 c Core size: 4 Core Weight: 1 Total Weight: -967 1.99/2.05 c Elapsed CPU time: 2.00769 s Remaining CPU time: 1797.99 s 2.09/2.11 c core #34 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: -966 2.09/2.11 c Elapsed CPU time: 2.06369 s Remaining CPU time: 1797.94 s 2.09/2.17 c core #35 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: -965 2.09/2.17 c Elapsed CPU time: 2.12268 s Remaining CPU time: 1797.88 s 2.19/2.22 c core #36 2.19/2.22 c Core size: 4 Core Weight: 1 Total Weight: -964 2.19/2.22 c Elapsed CPU time: 2.17767 s Remaining CPU time: 1797.82 s 2.19/2.28 c core #37 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: -963 2.19/2.28 c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s 2.29/2.34 c core #38 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -962 2.29/2.34 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.39/2.40 c core #39 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -961 2.39/2.40 c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s 2.39/2.46 c core #40 2.39/2.46 c Core size: 4 Core Weight: 1 Total Weight: -960 2.39/2.46 c Elapsed CPU time: 2.41263 s Remaining CPU time: 1797.59 s 2.49/2.52 c core #41 2.49/2.52 c Core size: 4 Core Weight: 1 Total Weight: -959 2.49/2.52 c Elapsed CPU time: 2.47162 s Remaining CPU time: 1797.53 s 2.49/2.58 c core #42 2.49/2.58 c Core size: 4 Core Weight: 1 Total Weight: -958 2.49/2.58 c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s 2.59/2.64 c core #43 2.59/2.64 c Core size: 4 Core Weight: 1 Total Weight: -957 2.59/2.64 c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s 2.69/2.70 c core #44 2.69/2.70 c Core size: 4 Core Weight: 1 Total Weight: -956 2.69/2.70 c Elapsed CPU time: 2.6516 s Remaining CPU time: 1797.35 s 2.69/2.76 c core #45 2.69/2.76 c Core size: 4 Core Weight: 1 Total Weight: -955 2.69/2.76 c Elapsed CPU time: 2.71259 s Remaining CPU time: 1797.29 s 2.79/2.83 c core #46 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -954 2.79/2.83 c Elapsed CPU time: 2.77458 s Remaining CPU time: 1797.23 s 2.79/2.89 c core #47 2.79/2.89 c Core size: 4 Core Weight: 1 Total Weight: -953 2.79/2.89 c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s 2.89/2.95 c core #48 2.89/2.95 c Core size: 4 Core Weight: 1 Total Weight: -952 2.89/2.95 c Elapsed CPU time: 2.89156 s Remaining CPU time: 1797.11 s 2.99/3.01 c core #49 2.99/3.01 c Core size: 4 Core Weight: 1 Total Weight: -951 2.99/3.01 c Elapsed CPU time: 2.95155 s Remaining CPU time: 1797.05 s 2.99/3.07 c core #50 2.99/3.07 c Core size: 4 Core Weight: 1 Total Weight: -950 2.99/3.07 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 3.09/3.13 c core #51 3.09/3.13 c Core size: 4 Core Weight: 1 Total Weight: -949 3.09/3.13 c Elapsed CPU time: 3.06753 s Remaining CPU time: 1796.93 s 3.09/3.19 c core #52 3.09/3.19 c Core size: 4 Core Weight: 1 Total Weight: -948 3.09/3.19 c Elapsed CPU time: 3.12552 s Remaining CPU time: 1796.87 s 3.19/3.25 c core #53 3.19/3.25 c Core size: 4 Core Weight: 1 Total Weight: -947 3.19/3.25 c Elapsed CPU time: 3.18352 s Remaining CPU time: 1796.82 s 3.29/3.31 c core #54 3.29/3.31 c Core size: 4 Core Weight: 1 Total Weight: -946 3.29/3.31 c Elapsed CPU time: 3.24351 s Remaining CPU time: 1796.76 s 3.29/3.37 c core #55 3.29/3.37 c Core size: 4 Core Weight: 1 Total Weight: -945 3.29/3.37 c Elapsed CPU time: 3.3035 s Remaining CPU time: 1796.7 s 3.39/3.43 c core #56 3.39/3.43 c Core size: 4 Core Weight: 1 Total Weight: -944 3.39/3.43 c Elapsed CPU time: 3.36349 s Remaining CPU time: 1796.64 s 3.39/3.49 c core #57 3.39/3.49 c Core size: 4 Core Weight: 1 Total Weight: -943 3.39/3.49 c Elapsed CPU time: 3.42248 s Remaining CPU time: 1796.58 s 3.49/3.55 c core #58 3.49/3.55 c Core size: 4 Core Weight: 1 Total Weight: -942 3.49/3.55 c Elapsed CPU time: 3.48547 s Remaining CPU time: 1796.51 s 3.59/3.61 c core #59 3.59/3.61 c Core size: 4 Core Weight: 1 Total Weight: -941 3.59/3.61 c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s 3.59/3.68 c core #60 3.59/3.68 c Core size: 4 Core Weight: 1 Total Weight: -940 3.59/3.68 c Elapsed CPU time: 3.60645 s Remaining CPU time: 1796.39 s 3.69/3.74 c core #61 3.69/3.74 c Core size: 4 Core Weight: 1 Total Weight: -939 3.69/3.74 c Elapsed CPU time: 3.66444 s Remaining CPU time: 1796.34 s 3.79/3.80 c core #62 3.79/3.80 c Core size: 4 Core Weight: 1 Total Weight: -938 3.79/3.80 c Elapsed CPU time: 3.72343 s Remaining CPU time: 1796.28 s 3.79/3.86 c core #63 3.79/3.86 c Core size: 4 Core Weight: 1 Total Weight: -937 3.79/3.86 c Elapsed CPU time: 3.78542 s Remaining CPU time: 1796.21 s 3.89/3.92 c core #64 3.89/3.92 c Core size: 4 Core Weight: 1 Total Weight: -936 3.89/3.92 c Elapsed CPU time: 3.84342 s Remaining CPU time: 1796.16 s 3.89/3.98 c core #65 3.89/3.98 c Core size: 4 Core Weight: 1 Total Weight: -935 3.89/3.98 c Elapsed CPU time: 3.90341 s Remaining CPU time: 1796.1 s 3.99/4.04 c core #66 3.99/4.04 c Core size: 4 Core Weight: 1 Total Weight: -934 3.99/4.04 c Elapsed CPU time: 3.9624 s Remaining CPU time: 1796.04 s 4.09/4.11 c core #67 4.09/4.11 c Core size: 4 Core Weight: 1 Total Weight: -933 4.09/4.11 c Elapsed CPU time: 4.02239 s Remaining CPU time: 1795.98 s 4.09/4.17 c core #68 4.09/4.17 c Core size: 4 Core Weight: 1 Total Weight: -932 4.09/4.17 c Elapsed CPU time: 4.08138 s Remaining CPU time: 1795.92 s 4.19/4.23 c core #69 4.19/4.23 c Core size: 4 Core Weight: 1 Total Weight: -931 4.19/4.23 c Elapsed CPU time: 4.14337 s Remaining CPU time: 1795.86 s 4.19/4.29 c core #70 4.19/4.29 c Core size: 4 Core Weight: 1 Total Weight: -930 4.19/4.29 c Elapsed CPU time: 4.20336 s Remaining CPU time: 1795.8 s 4.29/4.35 c core #71 4.29/4.35 c Core size: 4 Core Weight: 1 Total Weight: -929 4.29/4.35 c Elapsed CPU time: 4.26635 s Remaining CPU time: 1795.73 s 4.39/4.41 c core #72 4.39/4.41 c Core size: 4 Core Weight: 1 Total Weight: -928 4.39/4.41 c Elapsed CPU time: 4.32734 s Remaining CPU time: 1795.67 s 4.39/4.47 c core #73 4.39/4.47 c Core size: 4 Core Weight: 1 Total Weight: -927 4.39/4.47 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.49/4.53 c core #74 4.49/4.53 c Core size: 4 Core Weight: 1 Total Weight: -926 4.49/4.53 c Elapsed CPU time: 4.44432 s Remaining CPU time: 1795.56 s 4.49/4.59 c core #75 4.49/4.59 c Core size: 4 Core Weight: 1 Total Weight: -925 4.49/4.59 c Elapsed CPU time: 4.50131 s Remaining CPU time: 1795.5 s 4.59/4.66 c core #76 4.59/4.66 c Core size: 4 Core Weight: 1 Total Weight: -924 4.59/4.66 c Elapsed CPU time: 4.56231 s Remaining CPU time: 1795.44 s 4.69/4.72 c core #77 4.69/4.72 c Core size: 4 Core Weight: 1 Total Weight: -923 4.69/4.72 c Elapsed CPU time: 4.6213 s Remaining CPU time: 1795.38 s 4.69/4.78 c core #78 4.69/4.78 c Core size: 4 Core Weight: 1 Total Weight: -922 4.69/4.78 c Elapsed CPU time: 4.68229 s Remaining CPU time: 1795.32 s 4.79/4.84 c core #79 4.79/4.84 c Core size: 4 Core Weight: 1 Total Weight: -921 4.79/4.84 c Elapsed CPU time: 4.74428 s Remaining CPU time: 1795.26 s 4.89/4.91 c core #80 4.89/4.91 c Core size: 4 Core Weight: 1 Total Weight: -920 4.89/4.91 c Elapsed CPU time: 4.80827 s Remaining CPU time: 1795.19 s 4.89/4.97 c core #81 4.89/4.97 c Core size: 4 Core Weight: 1 Total Weight: -919 4.89/4.97 c Elapsed CPU time: 4.86926 s Remaining CPU time: 1795.13 s 4.98/5.03 c core #82 4.98/5.03 c Core size: 4 Core Weight: 1 Total Weight: -918 4.98/5.03 c Elapsed CPU time: 4.92825 s Remaining CPU time: 1795.07 s 4.98/5.09 c core #83 4.98/5.09 c Core size: 4 Core Weight: 1 Total Weight: -917 4.98/5.09 c Elapsed CPU time: 4.98824 s Remaining CPU time: 1795.01 s 5.09/5.15 c core #84 5.09/5.15 c Core size: 4 Core Weight: 1 Total Weight: -916 5.09/5.15 c Elapsed CPU time: 5.04523 s Remaining CPU time: 1794.95 s 5.19/5.21 c core #85 5.19/5.21 c Core size: 4 Core Weight: 1 Total Weight: -915 5.19/5.21 c Elapsed CPU time: 5.10522 s Remaining CPU time: 1794.89 s 5.19/5.27 c core #86 5.19/5.27 c Core size: 4 Core Weight: 1 Total Weight: -914 5.19/5.27 c Elapsed CPU time: 5.16621 s Remaining CPU time: 1794.83 s 5.29/5.33 c core #87 5.29/5.33 c Core size: 4 Core Weight: 1 Total Weight: -913 5.29/5.33 c Elapsed CPU time: 5.2282 s Remaining CPU time: 1794.77 s 5.29/5.40 c core #88 5.29/5.40 c Core size: 4 Core Weight: 1 Total Weight: -912 5.29/5.40 c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s 5.40/5.46 c core #89 5.40/5.46 c Core size: 4 Core Weight: 1 Total Weight: -911 5.40/5.46 c Elapsed CPU time: 5.35019 s Remaining CPU time: 1794.65 s 5.50/5.52 c core #90 5.50/5.52 c Core size: 4 Core Weight: 1 Total Weight: -910 5.50/5.52 c Elapsed CPU time: 5.41018 s Remaining CPU time: 1794.59 s 5.50/5.58 c core #91 5.50/5.58 c Core size: 4 Core Weight: 1 Total Weight: -909 5.50/5.58 c Elapsed CPU time: 5.47117 s Remaining CPU time: 1794.53 s 5.59/5.64 c core #92 5.59/5.64 c Core size: 4 Core Weight: 1 Total Weight: -908 5.59/5.64 c Elapsed CPU time: 5.53016 s Remaining CPU time: 1794.47 s 5.69/5.70 c core #93 5.69/5.70 c Core size: 4 Core Weight: 1 Total Weight: -907 5.69/5.70 c Elapsed CPU time: 5.59015 s Remaining CPU time: 1794.41 s 5.69/5.77 c core #94 5.69/5.77 c Core size: 4 Core Weight: 1 Total Weight: -906 5.69/5.77 c Elapsed CPU time: 5.65214 s Remaining CPU time: 1794.35 s 5.79/5.83 c core #95 5.79/5.83 c Core size: 4 Core Weight: 1 Total Weight: -905 5.79/5.83 c Elapsed CPU time: 5.71313 s Remaining CPU time: 1794.29 s 5.79/5.89 c core #96 5.79/5.89 c Core size: 4 Core Weight: 1 Total Weight: -904 5.79/5.89 c Elapsed CPU time: 5.77412 s Remaining CPU time: 1794.23 s 5.89/5.95 c core #97 5.89/5.95 c Core size: 4 Core Weight: 1 Total Weight: -903 5.89/5.95 c Elapsed CPU time: 5.83811 s Remaining CPU time: 1794.16 s 5.99/6.01 c core #98 5.99/6.01 c Core size: 4 Core Weight: 1 Total Weight: -902 5.99/6.01 c Elapsed CPU time: 5.8991 s Remaining CPU time: 1794.1 s 5.99/6.08 c core #99 5.99/6.08 c Core size: 4 Core Weight: 1 Total Weight: -901 5.99/6.08 c Elapsed CPU time: 5.96309 s Remaining CPU time: 1794.04 s 6.09/6.14 c core #100 6.09/6.14 c Core size: 4 Core Weight: 1 Total Weight: -900 6.09/6.14 c Elapsed CPU time: 6.02308 s Remaining CPU time: 1793.98 s 6.19/6.20 c core #101 6.19/6.20 c Core size: 4 Core Weight: 1 Total Weight: -899 6.19/6.20 c Elapsed CPU time: 6.08507 s Remaining CPU time: 1793.91 s 6.19/6.26 c core #102 6.19/6.26 c Core size: 4 Core Weight: 1 Total Weight: -898 6.19/6.26 c Elapsed CPU time: 6.14607 s Remaining CPU time: 1793.85 s 6.28/6.33 c core #103 6.28/6.33 c Core size: 4 Core Weight: 1 Total Weight: -897 6.28/6.33 c Elapsed CPU time: 6.20806 s Remaining CPU time: 1793.79 s 6.28/6.39 c core #104 6.28/6.39 c Core size: 4 Core Weight: 1 Total Weight: -896 6.28/6.39 c Elapsed CPU time: 6.27005 s Remaining CPU time: 1793.73 s 6.38/6.45 c core #105 6.38/6.45 c Core size: 4 Core Weight: 1 Total Weight: -895 6.38/6.45 c Elapsed CPU time: 6.33404 s Remaining CPU time: 1793.67 s 6.49/6.51 c core #106 6.49/6.51 c Core size: 4 Core Weight: 1 Total Weight: -894 6.49/6.51 c Elapsed CPU time: 6.39503 s Remaining CPU time: 1793.6 s 6.49/6.58 c core #107 6.49/6.58 c Core size: 4 Core Weight: 1 Total Weight: -893 6.49/6.58 c Elapsed CPU time: 6.45702 s Remaining CPU time: 1793.54 s 6.60/6.64 c core #108 6.60/6.64 c Core size: 4 Core Weight: 1 Total Weight: -892 6.60/6.64 c Elapsed CPU time: 6.51701 s Remaining CPU time: 1793.48 s 6.69/6.70 c core #109 6.69/6.70 c Core size: 4 Core Weight: 1 Total Weight: -891 6.69/6.70 c Elapsed CPU time: 6.575 s Remaining CPU time: 1793.42 s 6.69/6.76 c core #110 6.69/6.76 c Core size: 4 Core Weight: 1 Total Weight: -890 6.69/6.76 c Elapsed CPU time: 6.63699 s Remaining CPU time: 1793.36 s 6.79/6.82 c core #111 6.79/6.82 c Core size: 4 Core Weight: 1 Total Weight: -889 6.79/6.82 c Elapsed CPU time: 6.69798 s Remaining CPU time: 1793.3 s 6.79/6.88 c core #112 6.79/6.88 c Core size: 4 Core Weight: 1 Total Weight: -888 6.79/6.88 c Elapsed CPU time: 6.75997 s Remaining CPU time: 1793.24 s 6.89/6.95 c core #113 6.89/6.95 c Core size: 4 Core Weight: 1 Total Weight: -887 6.89/6.95 c Elapsed CPU time: 6.82396 s Remaining CPU time: 1793.18 s 6.99/7.01 c core #114 6.99/7.01 c Core size: 4 Core Weight: 1 Total Weight: -886 6.99/7.01 c Elapsed CPU time: 6.88495 s Remaining CPU time: 1793.12 s 6.99/7.07 c core #115 6.99/7.07 c Core size: 4 Core Weight: 1 Total Weight: -885 6.99/7.07 c Elapsed CPU time: 6.94594 s Remaining CPU time: 1793.05 s 7.08/7.13 c core #116 7.08/7.13 c Core size: 4 Core Weight: 1 Total Weight: -884 7.08/7.13 c Elapsed CPU time: 7.00693 s Remaining CPU time: 1792.99 s 7.08/7.20 c core #117 7.08/7.20 c Core size: 4 Core Weight: 1 Total Weight: -883 7.08/7.20 c Elapsed CPU time: 7.06792 s Remaining CPU time: 1792.93 s 7.18/7.26 c core #118 7.18/7.26 c Core size: 4 Core Weight: 1 Total Weight: -882 7.18/7.26 c Elapsed CPU time: 7.12992 s Remaining CPU time: 1792.87 s 7.28/7.32 c core #119 7.28/7.32 c Core size: 4 Core Weight: 1 Total Weight: -881 7.28/7.32 c Elapsed CPU time: 7.18991 s Remaining CPU time: 1792.81 s 7.28/7.38 c core #120 7.28/7.38 c Core size: 4 Core Weight: 1 Total Weight: -880 7.28/7.38 c Elapsed CPU time: 7.2489 s Remaining CPU time: 1792.75 s 7.39/7.44 c core #121 7.39/7.44 c Core size: 4 Core Weight: 1 Total Weight: -879 7.39/7.44 c Elapsed CPU time: 7.31089 s Remaining CPU time: 1792.69 s 7.49/7.50 c core #122 7.49/7.50 c Core size: 4 Core Weight: 1 Total Weight: -878 7.49/7.50 c Elapsed CPU time: 7.36988 s Remaining CPU time: 1792.63 s 7.49/7.57 c core #123 7.49/7.57 c Core size: 4 Core Weight: 1 Total Weight: -877 7.49/7.57 c Elapsed CPU time: 7.43287 s Remaining CPU time: 1792.57 s 7.59/7.63 c core #124 7.59/7.63 c Core size: 4 Core Weight: 1 Total Weight: -876 7.59/7.63 c Elapsed CPU time: 7.49486 s Remaining CPU time: 1792.51 s 7.59/7.69 c core #125 7.59/7.69 c Core size: 4 Core Weight: 1 Total Weight: -875 7.59/7.69 c Elapsed CPU time: 7.55885 s Remaining CPU time: 1792.44 s 7.69/7.76 c core #126 7.69/7.76 c Core size: 4 Core Weight: 1 Total Weight: -874 7.69/7.76 c Elapsed CPU time: 7.62084 s Remaining CPU time: 1792.38 s 7.79/7.82 c core #127 7.79/7.82 c Core size: 4 Core Weight: 1 Total Weight: -873 7.79/7.82 c Elapsed CPU time: 7.68483 s Remaining CPU time: 1792.32 s 7.79/7.88 c core #128 7.79/7.88 c Core size: 4 Core Weight: 1 Total Weight: -872 7.79/7.88 c Elapsed CPU time: 7.74482 s Remaining CPU time: 1792.26 s 7.88/7.94 c core #129 7.88/7.94 c Core size: 4 Core Weight: 1 Total Weight: -871 7.88/7.94 c Elapsed CPU time: 7.80781 s Remaining CPU time: 1792.19 s 7.98/8.01 c core #130 7.98/8.01 c Core size: 4 Core Weight: 1 Total Weight: -870 7.98/8.01 c Elapsed CPU time: 7.8708 s Remaining CPU time: 1792.13 s 7.98/8.07 c core #131 7.98/8.07 c Core size: 4 Core Weight: 1 Total Weight: -869 7.98/8.07 c Elapsed CPU time: 7.93179 s Remaining CPU time: 1792.07 s 8.09/8.14 c core #132 8.09/8.14 c Core size: 4 Core Weight: 1 Total Weight: -868 8.09/8.14 c Elapsed CPU time: 7.99378 s Remaining CPU time: 1792.01 s 8.19/8.20 c core #133 8.19/8.20 c Core size: 4 Core Weight: 1 Total Weight: -867 8.19/8.20 c Elapsed CPU time: 8.05477 s Remaining CPU time: 1791.95 s 8.19/8.26 c core #134 8.19/8.26 c Core size: 4 Core Weight: 1 Total Weight: -866 8.19/8.26 c Elapsed CPU time: 8.11777 s Remaining CPU time: 1791.88 s 8.29/8.32 c core #135 8.29/8.32 c Core size: 4 Core Weight: 1 Total Weight: -865 8.29/8.32 c Elapsed CPU time: 8.17976 s Remaining CPU time: 1791.82 s 8.29/8.39 c core #136 8.29/8.39 c Core size: 4 Core Weight: 1 Total Weight: -864 8.29/8.39 c Elapsed CPU time: 8.24275 s Remaining CPU time: 1791.76 s 8.39/8.45 c core #137 8.39/8.45 c Core size: 4 Core Weight: 1 Total Weight: -863 8.39/8.45 c Elapsed CPU time: 8.30674 s Remaining CPU time: 1791.69 s 8.49/8.52 c core #138 8.49/8.52 c Core size: 4 Core Weight: 1 Total Weight: -862 8.49/8.52 c Elapsed CPU time: 8.37073 s Remaining CPU time: 1791.63 s 8.49/8.58 c core #139 8.49/8.58 c Core size: 4 Core Weight: 1 Total Weight: -861 8.49/8.58 c Elapsed CPU time: 8.43572 s Remaining CPU time: 1791.56 s 8.59/8.64 c core #140 8.59/8.64 c Core size: 4 Core Weight: 1 Total Weight: -860 8.59/8.64 c Elapsed CPU time: 8.49671 s Remaining CPU time: 1791.5 s 8.69/8.71 c core #141 8.69/8.71 c Core size: 4 Core Weight: 1 Total Weight: -859 8.69/8.71 c Elapsed CPU time: 8.5587 s Remaining CPU time: 1791.44 s 8.69/8.77 c core #142 8.69/8.77 c Core size: 4 Core Weight: 1 Total Weight: -858 8.69/8.77 c Elapsed CPU time: 8.62069 s Remaining CPU time: 1791.38 s 8.80/8.83 c core #143 8.80/8.83 c Core size: 4 Core Weight: 1 Total Weight: -857 8.80/8.83 c Elapsed CPU time: 8.68368 s Remaining CPU time: 1791.32 s 8.80/8.90 c core #144 8.80/8.90 c Core size: 4 Core Weight: 1 Total Weight: -856 8.80/8.90 c Elapsed CPU time: 8.74667 s Remaining CPU time: 1791.25 s 8.89/8.96 c core #145 8.89/8.96 c Core size: 4 Core Weight: 1 Total Weight: -855 8.89/8.96 c Elapsed CPU time: 8.81066 s Remaining CPU time: 1791.19 s 8.99/9.02 c core #146 8.99/9.02 c Core size: 4 Core Weight: 1 Total Weight: -854 8.99/9.02 c Elapsed CPU time: 8.87165 s Remaining CPU time: 1791.13 s 8.99/9.08 c core #147 8.99/9.08 c Core size: 4 Core Weight: 1 Total Weight: -853 8.99/9.08 c Elapsed CPU time: 8.93364 s Remaining CPU time: 1791.07 s 9.09/9.15 c core #148 9.09/9.15 c Core size: 4 Core Weight: 1 Total Weight: -852 9.09/9.15 c Elapsed CPU time: 8.99463 s Remaining CPU time: 1791.01 s 9.19/9.21 c core #149 9.19/9.21 c Core size: 4 Core Weight: 1 Total Weight: -851 9.19/9.21 c Elapsed CPU time: 9.05762 s Remaining CPU time: 1790.94 s 9.19/9.27 c core #150 9.19/9.27 c Core size: 4 Core Weight: 1 Total Weight: -850 9.19/9.27 c Elapsed CPU time: 9.11861 s Remaining CPU time: 1790.88 s 9.29/9.34 c core #151 9.29/9.34 c Core size: 4 Core Weight: 1 Total Weight: -849 9.29/9.34 c Elapsed CPU time: 9.1806 s Remaining CPU time: 1790.82 s 9.29/9.40 c core #152 9.29/9.40 c Core size: 4 Core Weight: 1 Total Weight: -848 9.29/9.40 c Elapsed CPU time: 9.24259 s Remaining CPU time: 1790.76 s 9.39/9.46 c core #153 9.39/9.46 c Core size: 4 Core Weight: 1 Total Weight: -847 9.39/9.46 c Elapsed CPU time: 9.30458 s Remaining CPU time: 1790.7 s 9.49/9.52 c core #154 9.49/9.52 c Core size: 4 Core Weight: 1 Total Weight: -846 9.49/9.52 c Elapsed CPU time: 9.36658 s Remaining CPU time: 1790.63 s 9.49/9.59 c core #155 9.49/9.59 c Core size: 4 Core Weight: 1 Total Weight: -845 9.49/9.59 c Elapsed CPU time: 9.42857 s Remaining CPU time: 1790.57 s 9.59/9.65 c core #156 9.59/9.65 c Core size: 4 Core Weight: 1 Total Weight: -844 9.59/9.65 c Elapsed CPU time: 9.49256 s Remaining CPU time: 1790.51 s 9.68/9.71 c core #157 9.68/9.71 c Core size: 4 Core Weight: 1 Total Weight: -843 9.68/9.71 c Elapsed CPU time: 9.55555 s Remaining CPU time: 1790.44 s 9.68/9.78 c core #158 9.68/9.78 c Core size: 4 Core Weight: 1 Total Weight: -842 9.68/9.78 c Elapsed CPU time: 9.61754 s Remaining CPU time: 1790.38 s 9.79/9.84 c core #159 9.79/9.84 c Core size: 4 Core Weight: 1 Total Weight: -841 9.79/9.84 c Elapsed CPU time: 9.68053 s Remaining CPU time: 1790.32 s 9.79/9.90 c core #160 9.79/9.90 c Core size: 4 Core Weight: 1 Total Weight: -840 9.79/9.90 c Elapsed CPU time: 9.74052 s Remaining CPU time: 1790.26 s 9.89/9.96 c core #161 9.89/9.96 c Core size: 4 Core Weight: 1 Total Weight: -839 9.89/9.96 c Elapsed CPU time: 9.80151 s Remaining CPU time: 1790.2 s 9.99/10.03 c core #162 9.99/10.03 c Core size: 4 Core Weight: 1 Total Weight: -838 9.99/10.03 c Elapsed CPU time: 9.8655 s Remaining CPU time: 1790.13 s 9.99/10.09 c core #163 9.99/10.09 c Core size: 4 Core Weight: 1 Total Weight: -837 9.99/10.09 c Elapsed CPU time: 9.92849 s Remaining CPU time: 1790.07 s 10.09/10.16 c core #164 10.09/10.16 c Core size: 4 Core Weight: 1 Total Weight: -836 10.09/10.16 c Elapsed CPU time: 9.99148 s Remaining CPU time: 1790.01 s 10.19/10.22 c core #165 10.19/10.22 c Core size: 4 Core Weight: 1 Total Weight: -835 10.19/10.22 c Elapsed CPU time: 10.0525 s Remaining CPU time: 1789.95 s 10.19/10.28 c core #166 10.19/10.28 c Core size: 4 Core Weight: 1 Total Weight: -834 10.19/10.28 c Elapsed CPU time: 10.1135 s Remaining CPU time: 1789.89 s 10.29/10.35 c core #167 10.29/10.35 c Core size: 4 Core Weight: 1 Total Weight: -833 10.29/10.35 c Elapsed CPU time: 10.1745 s Remaining CPU time: 1789.83 s 10.39/10.41 c core #168 10.39/10.41 c Core size: 4 Core Weight: 1 Total Weight: -832 10.39/10.41 c Elapsed CPU time: 10.2364 s Remaining CPU time: 1789.76 s 10.39/10.48 c core #169 10.39/10.48 c Core size: 4 Core Weight: 1 Total Weight: -831 10.39/10.48 c Elapsed CPU time: 10.2974 s Remaining CPU time: 1789.7 s 10.48/10.54 c core #170 10.48/10.54 c Core size: 4 Core Weight: 1 Total Weight: -830 10.48/10.54 c Elapsed CPU time: 10.3604 s Remaining CPU time: 1789.64 s 10.58/10.60 c core #171 10.58/10.60 c Core size: 4 Core Weight: 1 Total Weight: -829 10.58/10.60 c Elapsed CPU time: 10.4254 s Remaining CPU time: 1789.57 s 10.58/10.67 c core #172 10.58/10.67 c Core size: 4 Core Weight: 1 Total Weight: -828 10.58/10.67 c Elapsed CPU time: 10.4884 s Remaining CPU time: 1789.51 s 10.69/10.73 c core #173 10.69/10.73 c Core size: 4 Core Weight: 1 Total Weight: -827 10.69/10.73 c Elapsed CPU time: 10.5514 s Remaining CPU time: 1789.45 s 10.79/10.80 c core #174 10.79/10.80 c Core size: 4 Core Weight: 1 Total Weight: -826 10.79/10.80 c Elapsed CPU time: 10.6144 s Remaining CPU time: 1789.39 s 10.79/10.86 c core #175 10.79/10.86 c Core size: 4 Core Weight: 1 Total Weight: -825 10.79/10.86 c Elapsed CPU time: 10.6784 s Remaining CPU time: 1789.32 s 10.89/10.92 c core #176 10.89/10.92 c Core size: 4 Core Weight: 1 Total Weight: -824 10.89/10.92 c Elapsed CPU time: 10.7394 s Remaining CPU time: 1789.26 s 10.89/10.99 c core #177 10.89/10.99 c Core size: 4 Core Weight: 1 Total Weight: -823 10.89/10.99 c Elapsed CPU time: 10.8034 s Remaining CPU time: 1789.2 s 10.99/11.05 c core #178 10.99/11.05 c Core size: 4 Core Weight: 1 Total Weight: -822 10.99/11.05 c Elapsed CPU time: 10.8643 s Remaining CPU time: 1789.14 s 11.09/11.11 c core #179 11.09/11.11 c Core size: 4 Core Weight: 1 Total Weight: -821 11.09/11.11 c Elapsed CPU time: 10.9263 s Remaining CPU time: 1789.07 s 11.09/11.17 c core #180 11.09/11.17 c Core size: 4 Core Weight: 1 Total Weight: -820 11.09/11.17 c Elapsed CPU time: 10.9873 s Remaining CPU time: 1789.01 s 11.19/11.24 c core #181 11.19/11.24 c Core size: 4 Core Weight: 1 Total Weight: -819 11.19/11.24 c Elapsed CPU time: 11.0503 s Remaining CPU time: 1788.95 s 11.28/11.30 c core #182 11.28/11.30 c Core size: 4 Core Weight: 1 Total Weight: -818 11.28/11.30 c Elapsed CPU time: 11.1123 s Remaining CPU time: 1788.89 s 11.28/11.36 c core #183 11.28/11.36 c Core size: 4 Core Weight: 1 Total Weight: -817 11.28/11.36 c Elapsed CPU time: 11.1753 s Remaining CPU time: 1788.82 s 11.39/11.43 c core #184 11.39/11.43 c Core size: 4 Core Weight: 1 Total Weight: -816 11.39/11.43 c Elapsed CPU time: 11.2373 s Remaining CPU time: 1788.76 s 11.39/11.49 c core #185 11.39/11.49 c Core size: 4 Core Weight: 1 Total Weight: -815 11.39/11.49 c Elapsed CPU time: 11.3003 s Remaining CPU time: 1788.7 s 11.49/11.56 c core #186 11.49/11.56 c Core size: 4 Core Weight: 1 Total Weight: -814 11.49/11.56 c Elapsed CPU time: 11.3633 s Remaining CPU time: 1788.64 s 11.59/11.62 c core #187 11.59/11.62 c Core size: 4 Core Weight: 1 Total Weight: -813 11.59/11.62 c Elapsed CPU time: 11.4263 s Remaining CPU time: 1788.57 s 11.59/11.69 c core #188 11.59/11.69 c Core size: 4 Core Weight: 1 Total Weight: -812 11.59/11.69 c Elapsed CPU time: 11.4903 s Remaining CPU time: 1788.51 s 11.68/11.75 c core #189 11.68/11.75 c Core size: 4 Core Weight: 1 Total Weight: -811 11.68/11.75 c Elapsed CPU time: 11.5552 s Remaining CPU time: 1788.44 s 11.78/11.82 c core #190 11.78/11.82 c Core size: 4 Core Weight: 1 Total Weight: -810 11.78/11.82 c Elapsed CPU time: 11.6162 s Remaining CPU time: 1788.38 s 11.78/11.88 c core #191 11.78/11.88 c Core size: 4 Core Weight: 1 Total Weight: -809 11.78/11.88 c Elapsed CPU time: 11.6812 s Remaining CPU time: 1788.32 s 11.88/11.94 c core #192 11.88/11.94 c Core size: 4 Core Weight: 1 Total Weight: -808 11.88/11.94 c Elapsed CPU time: 11.7442 s Remaining CPU time: 1788.26 s 11.99/12.01 c core #193 11.99/12.01 c Core size: 4 Core Weight: 1 Total Weight: -807 11.99/12.01 c Elapsed CPU time: 11.8072 s Remaining CPU time: 1788.19 s 11.99/12.07 c core #194 11.99/12.07 c Core size: 4 Core Weight: 1 Total Weight: -806 11.99/12.07 c Elapsed CPU time: 11.8692 s Remaining CPU time: 1788.13 s 12.09/12.14 c core #195 12.09/12.14 c Core size: 4 Core Weight: 1 Total Weight: -805 12.09/12.14 c Elapsed CPU time: 11.9332 s Remaining CPU time: 1788.07 s 12.19/12.20 c core #196 12.19/12.20 c Core size: 4 Core Weight: 1 Total Weight: -804 12.19/12.20 c Elapsed CPU time: 11.9932 s Remaining CPU time: 1788.01 s 12.19/12.26 c core #197 12.19/12.26 c Core size: 4 Core Weight: 1 Total Weight: -803 12.19/12.26 c Elapsed CPU time: 12.0562 s Remaining CPU time: 1787.94 s 12.29/12.32 c core #198 12.29/12.32 c Core size: 4 Core Weight: 1 Total Weight: -802 12.29/12.32 c Elapsed CPU time: 12.1182 s Remaining CPU time: 1787.88 s 12.29/12.39 c core #199 12.29/12.39 c Core size: 4 Core Weight: 1 Total Weight: -801 12.29/12.39 c Elapsed CPU time: 12.1791 s Remaining CPU time: 1787.82 s 12.38/12.45 c core #200 12.38/12.45 c Core size: 4 Core Weight: 1 Total Weight: -800 12.38/12.45 c Elapsed CPU time: 12.2421 s Remaining CPU time: 1787.76 s 12.48/12.51 c core #201 12.48/12.51 c Core size: 4 Core Weight: 1 Total Weight: -799 12.48/12.51 c Elapsed CPU time: 12.3041 s Remaining CPU time: 1787.7 s 12.48/12.58 c core #202 12.48/12.58 c Core size: 4 Core Weight: 1 Total Weight: -798 12.48/12.58 c Elapsed CPU time: 12.3671 s Remaining CPU time: 1787.63 s 12.59/12.64 c core #203 12.59/12.64 c Core size: 4 Core Weight: 1 Total Weight: -797 12.59/12.64 c Elapsed CPU time: 12.4291 s Remaining CPU time: 1787.57 s 12.69/12.71 c core #204 12.69/12.71 c Core size: 4 Core Weight: 1 Total Weight: -796 12.69/12.71 c Elapsed CPU time: 12.4901 s Remaining CPU time: 1787.51 s 12.69/12.77 c core #205 12.69/12.77 c Core size: 4 Core Weight: 1 Total Weight: -795 12.69/12.77 c Elapsed CPU time: 12.5551 s Remaining CPU time: 1787.44 s 12.79/12.83 c core #206 12.79/12.83 c Core size: 4 Core Weight: 1 Total Weight: -794 12.79/12.83 c Elapsed CPU time: 12.6181 s Remaining CPU time: 1787.38 s 12.89/12.90 c core #207 12.89/12.90 c Core size: 4 Core Weight: 1 Total Weight: -793 12.89/12.90 c Elapsed CPU time: 12.6821 s Remaining CPU time: 1787.32 s 12.89/12.96 c core #208 12.89/12.96 c Core size: 4 Core Weight: 1 Total Weight: -792 12.89/12.96 c Elapsed CPU time: 12.7441 s Remaining CPU time: 1787.26 s 12.98/13.02 c core #209 12.98/13.02 c Core size: 4 Core Weight: 1 Total Weight: -791 12.98/13.02 c Elapsed CPU time: 12.8041 s Remaining CPU time: 1787.2 s 12.98/13.08 c core #210 12.98/13.08 c Core size: 4 Core Weight: 1 Total Weight: -790 12.98/13.08 c Elapsed CPU time: 12.864 s Remaining CPU time: 1787.14 s 13.09/13.15 c core #211 13.09/13.15 c Core size: 4 Core Weight: 1 Total Weight: -789 13.09/13.15 c Elapsed CPU time: 12.925 s Remaining CPU time: 1787.07 s 13.19/13.21 c core #212 13.19/13.21 c Core size: 4 Core Weight: 1 Total Weight: -788 13.19/13.21 c Elapsed CPU time: 12.989 s Remaining CPU time: 1787.01 s 13.19/13.27 c core #213 13.19/13.27 c Core size: 4 Core Weight: 1 Total Weight: -787 13.19/13.27 c Elapsed CPU time: 13.051 s Remaining CPU time: 1786.95 s 13.29/13.34 c core #214 13.29/13.34 c Core size: 4 Core Weight: 1 Total Weight: -786 13.29/13.34 c Elapsed CPU time: 13.114 s Remaining CPU time: 1786.89 s 13.39/13.40 c core #215 13.39/13.40 c Core size: 4 Core Weight: 1 Total Weight: -785 13.39/13.40 c Elapsed CPU time: 13.177 s Remaining CPU time: 1786.82 s 13.39/13.47 c core #216 13.39/13.47 c Core size: 4 Core Weight: 1 Total Weight: -784 13.39/13.47 c Elapsed CPU time: 13.239 s Remaining CPU time: 1786.76 s 13.48/13.53 c core #217 13.48/13.53 c Core size: 4 Core Weight: 1 Total Weight: -783 13.48/13.53 c Elapsed CPU time: 13.301 s Remaining CPU time: 1786.7 s 13.48/13.59 c core #218 13.48/13.59 c Core size: 4 Core Weight: 1 Total Weight: -782 13.48/13.59 c Elapsed CPU time: 13.363 s Remaining CPU time: 1786.64 s 13.58/13.66 c core #219 13.58/13.66 c Core size: 4 Core Weight: 1 Total Weight: -781 13.58/13.66 c Elapsed CPU time: 13.428 s Remaining CPU time: 1786.57 s 13.68/13.72 c core #220 13.68/13.72 c Core size: 4 Core Weight: 1 Total Weight: -780 13.68/13.72 c Elapsed CPU time: 13.4929 s Remaining CPU time: 1786.51 s 13.68/13.79 c core #221 13.68/13.79 c Core size: 4 Core Weight: 1 Total Weight: -779 13.68/13.79 c Elapsed CPU time: 13.5549 s Remaining CPU time: 1786.45 s 13.79/13.86 c core #222 13.79/13.86 c Core size: 4 Core Weight: 1 Total Weight: -778 13.79/13.86 c Elapsed CPU time: 13.6189 s Remaining CPU time: 1786.38 s 13.89/13.92 c core #223 13.89/13.92 c Core size: 4 Core Weight: 1 Total Weight: -777 13.89/13.92 c Elapsed CPU time: 13.6829 s Remaining CPU time: 1786.32 s 13.89/13.98 c core #224 13.89/13.98 c Core size: 4 Core Weight: 1 Total Weight: -776 13.89/13.98 c Elapsed CPU time: 13.7439 s Remaining CPU time: 1786.26 s 13.98/14.05 c core #225 13.98/14.05 c Core size: 4 Core Weight: 1 Total Weight: -775 13.98/14.05 c Elapsed CPU time: 13.8089 s Remaining CPU time: 1786.19 s 14.09/14.11 c core #226 14.09/14.11 c Core size: 4 Core Weight: 1 Total Weight: -774 14.09/14.11 c Elapsed CPU time: 13.8689 s Remaining CPU time: 1786.13 s 14.09/14.18 c core #227 14.09/14.18 c Core size: 4 Core Weight: 1 Total Weight: -773 14.09/14.18 c Elapsed CPU time: 13.9329 s Remaining CPU time: 1786.07 s 14.19/14.24 c core #228 14.19/14.24 c Core size: 4 Core Weight: 1 Total Weight: -772 14.19/14.24 c Elapsed CPU time: 13.9959 s Remaining CPU time: 1786 s 14.29/14.31 c core #229 14.29/14.31 c Core size: 4 Core Weight: 1 Total Weight: -771 14.29/14.31 c Elapsed CPU time: 14.0609 s Remaining CPU time: 1785.94 s 14.29/14.37 c core #230 14.29/14.37 c Core size: 4 Core Weight: 1 Total Weight: -770 14.29/14.37 c Elapsed CPU time: 14.1209 s Remaining CPU time: 1785.88 s 14.38/14.44 c core #231 14.38/14.44 c Core size: 4 Core Weight: 1 Total Weight: -769 14.38/14.44 c Elapsed CPU time: 14.1858 s Remaining CPU time: 1785.81 s 14.49/14.50 c core #232 14.49/14.50 c Core size: 4 Core Weight: 1 Total Weight: -768 14.49/14.50 c Elapsed CPU time: 14.2478 s Remaining CPU time: 1785.75 s 14.49/14.56 c core #233 14.49/14.56 c Core size: 4 Core Weight: 1 Total Weight: -767 14.49/14.56 c Elapsed CPU time: 14.3088 s Remaining CPU time: 1785.69 s 14.59/14.63 c core #234 14.59/14.63 c Core size: 4 Core Weight: 1 Total Weight: -766 14.59/14.63 c Elapsed CPU time: 14.3718 s Remaining CPU time: 1785.63 s 14.59/14.69 c core #235 14.59/14.69 c Core size: 4 Core Weight: 1 Total Weight: -765 14.59/14.69 c Elapsed CPU time: 14.4328 s Remaining CPU time: 1785.57 s 14.68/14.76 c core #236 14.68/14.76 c Core size: 4 Core Weight: 1 Total Weight: -764 14.68/14.76 c Elapsed CPU time: 14.4968 s Remaining CPU time: 1785.5 s 14.78/14.82 c core #237 14.78/14.82 c Core size: 4 Core Weight: 1 Total Weight: -763 14.78/14.82 c Elapsed CPU time: 14.5628 s Remaining CPU time: 1785.44 s 14.78/14.88 c core #238 14.78/14.88 c Core size: 4 Core Weight: 1 Total Weight: -762 14.78/14.88 c Elapsed CPU time: 14.6248 s Remaining CPU time: 1785.38 s 14.88/14.95 c core #239 14.88/14.95 c Core size: 4 Core Weight: 1 Total Weight: -761 14.88/14.95 c Elapsed CPU time: 14.6858 s Remaining CPU time: 1785.31 s 14.99/15.01 c core #240 14.99/15.01 c Core size: 4 Core Weight: 1 Total Weight: -760 14.99/15.01 c Elapsed CPU time: 14.7498 s Remaining CPU time: 1785.25 s 14.99/15.08 c core #241 14.99/15.08 c Core size: 4 Core Weight: 1 Total Weight: -759 14.99/15.08 c Elapsed CPU time: 14.8127 s Remaining CPU time: 1785.19 s 15.09/15.14 c core #242 15.09/15.14 c Core size: 4 Core Weight: 1 Total Weight: -758 15.09/15.14 c Elapsed CPU time: 14.8727 s Remaining CPU time: 1785.13 s 15.18/15.20 c core #243 15.18/15.20 c Core size: 4 Core Weight: 1 Total Weight: -757 15.18/15.20 c Elapsed CPU time: 14.9357 s Remaining CPU time: 1785.06 s 15.18/15.27 c core #244 15.18/15.27 c Core size: 4 Core Weight: 1 Total Weight: -756 15.18/15.27 c Elapsed CPU time: 14.9957 s Remaining CPU time: 1785 s 15.29/15.33 c core #245 15.29/15.33 c Core size: 4 Core Weight: 1 Total Weight: -755 15.29/15.33 c Elapsed CPU time: 15.0587 s Remaining CPU time: 1784.94 s 15.29/15.39 c core #246 15.29/15.39 c Core size: 4 Core Weight: 1 Total Weight: -754 15.29/15.39 c Elapsed CPU time: 15.1237 s Remaining CPU time: 1784.88 s 15.39/15.46 c core #247 15.39/15.46 c Core size: 4 Core Weight: 1 Total Weight: -753 15.39/15.46 c Elapsed CPU time: 15.1887 s Remaining CPU time: 1784.81 s 15.48/15.52 c core #248 15.48/15.52 c Core size: 4 Core Weight: 1 Total Weight: -752 15.48/15.52 c Elapsed CPU time: 15.2517 s Remaining CPU time: 1784.75 s 15.48/15.58 c core #249 15.48/15.58 c Core size: 4 Core Weight: 1 Total Weight: -751 15.48/15.58 c Elapsed CPU time: 15.3127 s Remaining CPU time: 1784.69 s 15.58/15.65 c core #250 15.58/15.65 c Core size: 4 Core Weight: 1 Total Weight: -750 15.58/15.65 c Elapsed CPU time: 15.3757 s Remaining CPU time: 1784.62 s 15.69/15.71 c core #251 15.69/15.71 c Core size: 4 Core Weight: 1 Total Weight: -749 15.69/15.71 c Elapsed CPU time: 15.4367 s Remaining CPU time: 1784.56 s 15.69/15.77 c core #252 15.69/15.77 c Core size: 4 Core Weight: 1 Total Weight: -748 15.69/15.77 c Elapsed CPU time: 15.4966 s Remaining CPU time: 1784.5 s 15.78/15.84 c core #253 15.78/15.84 c Core size: 4 Core Weight: 1 Total Weight: -747 15.78/15.84 c Elapsed CPU time: 15.5566 s Remaining CPU time: 1784.44 s 15.88/15.90 c core #254 15.88/15.90 c Core size: 4 Core Weight: 1 Total Weight: -746 15.88/15.90 c Elapsed CPU time: 15.6176 s Remaining CPU time: 1784.38 s 15.88/15.96 c core #255 15.88/15.96 c Core size: 4 Core Weight: 1 Total Weight: -745 15.88/15.96 c Elapsed CPU time: 15.6796 s Remaining CPU time: 1784.32 s 15.99/16.03 c core #256 15.99/16.03 c Core size: 4 Core Weight: 1 Total Weight: -744 15.99/16.03 c Elapsed CPU time: 15.7426 s Remaining CPU time: 1784.26 s 15.99/16.09 c core #257 15.99/16.09 c Core size: 4 Core Weight: 1 Total Weight: -743 15.99/16.09 c Elapsed CPU time: 15.8066 s Remaining CPU time: 1784.19 s 16.09/16.16 c core #258 16.09/16.16 c Core size: 4 Core Weight: 1 Total Weight: -742 16.09/16.16 c Elapsed CPU time: 15.8706 s Remaining CPU time: 1784.13 s 16.19/16.22 c core #259 16.19/16.22 c Core size: 4 Core Weight: 1 Total Weight: -741 16.19/16.22 c Elapsed CPU time: 15.9346 s Remaining CPU time: 1784.07 s 16.19/16.29 c core #260 16.19/16.29 c Core size: 4 Core Weight: 1 Total Weight: -740 16.19/16.29 c Elapsed CPU time: 15.9986 s Remaining CPU time: 1784 s 16.28/16.35 c core #261 16.28/16.35 c Core size: 4 Core Weight: 1 Total Weight: -739 16.28/16.35 c Elapsed CPU time: 16.0616 s Remaining CPU time: 1783.94 s 16.39/16.41 c core #262 16.39/16.41 c Core size: 4 Core Weight: 1 Total Weight: -738 16.39/16.41 c Elapsed CPU time: 16.1245 s Remaining CPU time: 1783.88 s 16.39/16.48 c core #263 16.39/16.48 c Core size: 4 Core Weight: 1 Total Weight: -737 16.39/16.48 c Elapsed CPU time: 16.1845 s Remaining CPU time: 1783.82 s 16.49/16.54 c core #264 16.49/16.54 c Core size: 4 Core Weight: 1 Total Weight: -736 16.49/16.54 c Elapsed CPU time: 16.2455 s Remaining CPU time: 1783.75 s 16.59/16.61 c core #265 16.59/16.61 c Core size: 4 Core Weight: 1 Total Weight: -735 16.59/16.61 c Elapsed CPU time: 16.3095 s Remaining CPU time: 1783.69 s 16.59/16.67 c core #266 16.59/16.67 c Core size: 4 Core Weight: 1 Total Weight: -734 16.59/16.67 c Elapsed CPU time: 16.3725 s Remaining CPU time: 1783.63 s 16.68/16.73 c core #267 16.68/16.73 c Core size: 4 Core Weight: 1 Total Weight: -733 16.68/16.73 c Elapsed CPU time: 16.4355 s Remaining CPU time: 1783.56 s 16.78/16.80 c core #268 16.78/16.80 c Core size: 4 Core Weight: 1 Total Weight: -732 16.78/16.80 c Elapsed CPU time: 16.4995 s Remaining CPU time: 1783.5 s 16.78/16.86 c core #269 16.78/16.86 c Core size: 4 Core Weight: 1 Total Weight: -731 16.78/16.86 c Elapsed CPU time: 16.5625 s Remaining CPU time: 1783.44 s 16.89/16.93 c core #270 16.89/16.93 c Core size: 4 Core Weight: 1 Total Weight: -730 16.89/16.93 c Elapsed CPU time: 16.6255 s Remaining CPU time: 1783.37 s 16.89/16.99 c core #271 16.89/16.99 c Core size: 4 Core Weight: 1 Total Weight: -729 16.89/16.99 c Elapsed CPU time: 16.6875 s Remaining CPU time: 1783.31 s 16.99/17.06 c core #272 16.99/17.06 c Core size: 4 Core Weight: 1 Total Weight: -728 16.99/17.06 c Elapsed CPU time: 16.7505 s Remaining CPU time: 1783.25 s 17.08/17.12 c core #273 17.08/17.12 c Core size: 4 Core Weight: 1 Total Weight: -727 17.08/17.12 c Elapsed CPU time: 16.8134 s Remaining CPU time: 1783.19 s 17.08/17.19 c core #274 17.08/17.19 c Core size: 4 Core Weight: 1 Total Weight: -726 17.08/17.19 c Elapsed CPU time: 16.8794 s Remaining CPU time: 1783.12 s 17.18/17.25 c core #275 17.18/17.25 c Core size: 4 Core Weight: 1 Total Weight: -725 17.18/17.25 c Elapsed CPU time: 16.9424 s Remaining CPU time: 1783.06 s 17.28/17.32 c core #276 17.28/17.32 c Core size: 4 Core Weight: 1 Total Weight: -724 17.28/17.32 c Elapsed CPU time: 17.0064 s Remaining CPU time: 1782.99 s 17.28/17.38 c core #277 17.28/17.38 c Core size: 4 Core Weight: 1 Total Weight: -723 17.28/17.38 c Elapsed CPU time: 17.0714 s Remaining CPU time: 1782.93 s 17.38/17.45 c core #278 17.38/17.45 c Core size: 4 Core Weight: 1 Total Weight: -722 17.38/17.45 c Elapsed CPU time: 17.1344 s Remaining CPU time: 1782.87 s 17.49/17.51 c core #279 17.49/17.51 c Core size: 4 Core Weight: 1 Total Weight: -721 17.49/17.51 c Elapsed CPU time: 17.1974 s Remaining CPU time: 1782.8 s 17.49/17.57 c core #280 17.49/17.57 c Core size: 4 Core Weight: 1 Total Weight: -720 17.49/17.57 c Elapsed CPU time: 17.2604 s Remaining CPU time: 1782.74 s 17.59/17.64 c core #281 17.59/17.64 c Core size: 4 Core Weight: 1 Total Weight: -719 17.59/17.64 c Elapsed CPU time: 17.3234 s Remaining CPU time: 1782.68 s 17.69/17.71 c core #282 17.69/17.71 c Core size: 4 Core Weight: 1 Total Weight: -718 17.69/17.71 c Elapsed CPU time: 17.3884 s Remaining CPU time: 1782.61 s 17.69/17.77 c core #283 17.69/17.77 c Core size: 4 Core Weight: 1 Total Weight: -717 17.69/17.77 c Elapsed CPU time: 17.4543 s Remaining CPU time: 1782.55 s 17.79/17.84 c core #284 17.79/17.84 c Core size: 4 Core Weight: 1 Total Weight: -716 17.79/17.84 c Elapsed CPU time: 17.5173 s Remaining CPU time: 1782.48 s 17.88/17.90 c core #285 17.88/17.90 c Core size: 4 Core Weight: 1 Total Weight: -715 17.88/17.90 c Elapsed CPU time: 17.5813 s Remaining CPU time: 1782.42 s 17.88/17.97 c core #286 17.88/17.97 c Core size: 4 Core Weight: 1 Total Weight: -714 17.88/17.97 c Elapsed CPU time: 17.6453 s Remaining CPU time: 1782.35 s 17.98/18.03 c core #287 17.98/18.03 c Core size: 4 Core Weight: 1 Total Weight: -713 17.98/18.03 c Elapsed CPU time: 17.7083 s Remaining CPU time: 1782.29 s 18.09/18.10 c core #288 18.09/18.10 c Core size: 4 Core Weight: 1 Total Weight: -712 18.09/18.10 c Elapsed CPU time: 17.7733 s Remaining CPU time: 1782.23 s 18.09/18.16 c core #289 18.09/18.16 c Core size: 4 Core Weight: 1 Total Weight: -711 18.09/18.16 c Elapsed CPU time: 17.8373 s Remaining CPU time: 1782.16 s 18.19/18.23 c core #290 18.19/18.23 c Core size: 4 Core Weight: 1 Total Weight: -710 18.19/18.23 c Elapsed CPU time: 17.9013 s Remaining CPU time: 1782.1 s 18.19/18.29 c core #291 18.19/18.29 c Core size: 4 Core Weight: 1 Total Weight: -709 18.19/18.29 c Elapsed CPU time: 17.9673 s Remaining CPU time: 1782.03 s 18.29/18.36 c core #292 18.29/18.36 c Core size: 4 Core Weight: 1 Total Weight: -708 18.29/18.36 c Elapsed CPU time: 18.0323 s Remaining CPU time: 1781.97 s 18.39/18.42 c core #293 18.39/18.42 c Core size: 4 Core Weight: 1 Total Weight: -707 18.39/18.42 c Elapsed CPU time: 18.0972 s Remaining CPU time: 1781.9 s 18.39/18.49 c core #294 18.39/18.49 c Core size: 4 Core Weight: 1 Total Weight: -706 18.39/18.49 c Elapsed CPU time: 18.1622 s Remaining CPU time: 1781.84 s 18.48/18.56 c core #295 18.48/18.56 c Core size: 4 Core Weight: 1 Total Weight: -705 18.48/18.56 c Elapsed CPU time: 18.2282 s Remaining CPU time: 1781.77 s 18.58/18.62 c core #296 18.58/18.62 c Core size: 4 Core Weight: 1 Total Weight: -704 18.58/18.62 c Elapsed CPU time: 18.2932 s Remaining CPU time: 1781.71 s 18.58/18.69 c core #297 18.58/18.69 c Core size: 4 Core Weight: 1 Total Weight: -703 18.58/18.69 c Elapsed CPU time: 18.3582 s Remaining CPU time: 1781.64 s 18.68/18.76 c core #298 18.68/18.76 c Core size: 4 Core Weight: 1 Total Weight: -702 18.68/18.76 c Elapsed CPU time: 18.4232 s Remaining CPU time: 1781.58 s 18.79/18.82 c core #299 18.79/18.82 c Core size: 4 Core Weight: 1 Total Weight: -701 18.79/18.82 c Elapsed CPU time: 18.4892 s Remaining CPU time: 1781.51 s 18.79/18.89 c core #300 18.79/18.89 c Core size: 4 Core Weight: 1 Total Weight: -700 18.79/18.89 c Elapsed CPU time: 18.5522 s Remaining CPU time: 1781.45 s 18.89/18.95 c core #301 18.89/18.95 c Core size: 4 Core Weight: 1 Total Weight: -699 18.89/18.95 c Elapsed CPU time: 18.6182 s Remaining CPU time: 1781.38 s 18.99/19.02 c core #302 18.99/19.02 c Core size: 4 Core Weight: 1 Total Weight: -698 18.99/19.02 c Elapsed CPU time: 18.6822 s Remaining CPU time: 1781.32 s 18.99/19.08 c core #303 18.99/19.08 c Core size: 4 Core Weight: 1 Total Weight: -697 18.99/19.08 c Elapsed CPU time: 18.7472 s Remaining CPU time: 1781.25 s 19.09/19.15 c core #304 19.09/19.15 c Core size: 4 Core Weight: 1 Total Weight: -696 19.09/19.15 c Elapsed CPU time: 18.8111 s Remaining CPU time: 1781.19 s 19.19/19.21 c core #305 19.19/19.21 c Core size: 4 Core Weight: 1 Total Weight: -695 19.19/19.21 c Elapsed CPU time: 18.8761 s Remaining CPU time: 1781.12 s 19.19/19.28 c core #306 19.19/19.28 c Core size: 4 Core Weight: 1 Total Weight: -694 19.19/19.28 c Elapsed CPU time: 18.9401 s Remaining CPU time: 1781.06 s 19.28/19.34 c core #307 19.28/19.34 c Core size: 4 Core Weight: 1 Total Weight: -693 19.28/19.34 c Elapsed CPU time: 19.0051 s Remaining CPU time: 1780.99 s 19.38/19.41 c core #308 19.38/19.41 c Core size: 4 Core Weight: 1 Total Weight: -692 19.38/19.41 c Elapsed CPU time: 19.0691 s Remaining CPU time: 1780.93 s 19.38/19.47 c core #309 19.38/19.47 c Core size: 4 Core Weight: 1 Total Weight: -691 19.38/19.47 c Elapsed CPU time: 19.1341 s Remaining CPU time: 1780.87 s 19.48/19.54 c core #310 19.48/19.54 c Core size: 4 Core Weight: 1 Total Weight: -690 19.48/19.54 c Elapsed CPU time: 19.1971 s Remaining CPU time: 1780.8 s 19.58/19.60 c core #311 19.58/19.60 c Core size: 4 Core Weight: 1 Total Weight: -689 19.58/19.60 c Elapsed CPU time: 19.2591 s Remaining CPU time: 1780.74 s 19.58/19.67 c core #312 19.58/19.67 c Core size: 4 Core Weight: 1 Total Weight: -688 19.58/19.67 c Elapsed CPU time: 19.3221 s Remaining CPU time: 1780.68 s 19.69/19.73 c core #313 19.69/19.73 c Core size: 4 Core Weight: 1 Total Weight: -687 19.69/19.73 c Elapsed CPU time: 19.3841 s Remaining CPU time: 1780.62 s 19.69/19.80 c core #314 19.69/19.80 c Core size: 4 Core Weight: 1 Total Weight: -686 19.69/19.80 c Elapsed CPU time: 19.449 s Remaining CPU time: 1780.55 s 19.79/19.86 c core #315 19.79/19.86 c Core size: 4 Core Weight: 1 Total Weight: -685 19.79/19.86 c Elapsed CPU time: 19.513 s Remaining CPU time: 1780.49 s 19.88/19.93 c core #316 19.88/19.93 c Core size: 4 Core Weight: 1 Total Weight: -684 19.88/19.93 c Elapsed CPU time: 19.575 s Remaining CPU time: 1780.42 s 19.88/19.99 c core #317 19.88/19.99 c Core size: 4 Core Weight: 1 Total Weight: -683 19.88/19.99 c Elapsed CPU time: 19.64 s Remaining CPU time: 1780.36 s 19.98/20.06 c core #318 19.98/20.06 c Core size: 4 Core Weight: 1 Total Weight: -682 19.98/20.06 c Elapsed CPU time: 19.703 s Remaining CPU time: 1780.3 s 20.09/20.12 c core #319 20.09/20.12 c Core size: 4 Core Weight: 1 Total Weight: -681 20.09/20.12 c Elapsed CPU time: 19.765 s Remaining CPU time: 1780.24 s 20.09/20.19 c core #320 20.09/20.19 c Core size: 4 Core Weight: 1 Total Weight: -680 20.09/20.19 c Elapsed CPU time: 19.827 s Remaining CPU time: 1780.17 s 20.18/20.25 c core #321 20.18/20.25 c Core size: 4 Core Weight: 1 Total Weight: -679 20.18/20.25 c Elapsed CPU time: 19.892 s Remaining CPU time: 1780.11 s 20.28/20.32 c core #322 20.28/20.32 c Core size: 4 Core Weight: 1 Total Weight: -678 20.28/20.32 c Elapsed CPU time: 19.957 s Remaining CPU time: 1780.04 s 20.28/20.38 c core #323 20.28/20.38 c Core size: 4 Core Weight: 1 Total Weight: -677 20.28/20.38 c Elapsed CPU time: 20.021 s Remaining CPU time: 1779.98 s 20.38/20.45 c core #324 20.38/20.45 c Core size: 4 Core Weight: 1 Total Weight: -676 20.38/20.45 c Elapsed CPU time: 20.0849 s Remaining CPU time: 1779.92 s 20.48/20.51 c core #325 20.48/20.51 c Core size: 4 Core Weight: 1 Total Weight: -675 20.48/20.51 c Elapsed CPU time: 20.1489 s Remaining CPU time: 1779.85 s 20.48/20.58 c core #326 20.48/20.58 c Core size: 4 Core Weight: 1 Total Weight: -674 20.48/20.58 c Elapsed CPU time: 20.2119 s Remaining CPU time: 1779.79 s 20.59/20.64 c core #327 20.59/20.64 c Core size: 4 Core Weight: 1 Total Weight: -673 20.59/20.64 c Elapsed CPU time: 20.2759 s Remaining CPU time: 1779.72 s 20.68/20.71 c core #328 20.68/20.71 c Core size: 4 Core Weight: 1 Total Weight: -672 20.68/20.71 c Elapsed CPU time: 20.3399 s Remaining CPU time: 1779.66 s 20.68/20.77 c core #329 20.68/20.77 c Core size: 4 Core Weight: 1 Total Weight: -671 20.68/20.77 c Elapsed CPU time: 20.4049 s Remaining CPU time: 1779.6 s 20.79/20.84 c core #330 20.79/20.84 c Core size: 4 Core Weight: 1 Total Weight: -670 20.79/20.84 c Elapsed CPU time: 20.4699 s Remaining CPU time: 1779.53 s 20.89/20.90 c core #331 20.89/20.90 c Core size: 4 Core Weight: 1 Total Weight: -669 20.89/20.90 c Elapsed CPU time: 20.5359 s Remaining CPU time: 1779.46 s 20.89/20.97 c core #332 20.89/20.97 c Core size: 4 Core Weight: 1 Total Weight: -668 20.89/20.97 c Elapsed CPU time: 20.5969 s Remaining CPU time: 1779.4 s 20.98/21.03 c core #333 20.98/21.03 c Core size: 4 Core Weight: 1 Total Weight: -667 20.98/21.03 c Elapsed CPU time: 20.6599 s Remaining CPU time: 1779.34 s 20.98/21.10 c core #334 20.98/21.10 c Core size: 4 Core Weight: 1 Total Weight: -666 20.98/21.10 c Elapsed CPU time: 20.7248 s Remaining CPU time: 1779.28 s 21.08/21.16 c core #335 21.08/21.16 c Core size: 4 Core Weight: 1 Total Weight: -665 21.08/21.16 c Elapsed CPU time: 20.7898 s Remaining CPU time: 1779.21 s 21.18/21.23 c core #336 21.18/21.23 c Core size: 4 Core Weight: 1 Total Weight: -664 21.18/21.23 c Elapsed CPU time: 20.8548 s Remaining CPU time: 1779.15 s 21.18/21.29 c core #337 21.18/21.29 c Core size: 4 Core Weight: 1 Total Weight: -663 21.18/21.29 c Elapsed CPU time: 20.9178 s Remaining CPU time: 1779.08 s 21.28/21.36 c core #338 21.28/21.36 c Core size: 4 Core Weight: 1 Total Weight: -662 21.28/21.36 c Elapsed CPU time: 20.9838 s Remaining CPU time: 1779.02 s 21.39/21.42 c core #339 21.39/21.42 c Core size: 4 Core Weight: 1 Total Weight: -661 21.39/21.42 c Elapsed CPU time: 21.0488 s Remaining CPU time: 1778.95 s 21.39/21.49 c core #340 21.39/21.49 c Core size: 4 Core Weight: 1 Total Weight: -660 21.39/21.49 c Elapsed CPU time: 21.1108 s Remaining CPU time: 1778.89 s 21.49/21.55 c core #341 21.49/21.55 c Core size: 4 Core Weight: 1 Total Weight: -659 21.49/21.55 c Elapsed CPU time: 21.1748 s Remaining CPU time: 1778.83 s 21.59/21.61 c core #342 21.59/21.61 c Core size: 4 Core Weight: 1 Total Weight: -658 21.59/21.61 c Elapsed CPU time: 21.2378 s Remaining CPU time: 1778.76 s 21.59/21.68 c core #343 21.59/21.68 c Core size: 4 Core Weight: 1 Total Weight: -657 21.59/21.68 c Elapsed CPU time: 21.3018 s Remaining CPU time: 1778.7 s 21.68/21.74 c core #344 21.68/21.74 c Core size: 4 Core Weight: 1 Total Weight: -656 21.68/21.74 c Elapsed CPU time: 21.3638 s Remaining CPU time: 1778.64 s 21.78/21.81 c core #345 21.78/21.81 c Core size: 4 Core Weight: 1 Total Weight: -655 21.78/21.81 c Elapsed CPU time: 21.4287 s Remaining CPU time: 1778.57 s 21.78/21.88 c core #346 21.78/21.88 c Core size: 4 Core Weight: 1 Total Weight: -654 21.78/21.88 c Elapsed CPU time: 21.4927 s Remaining CPU time: 1778.51 s 21.89/21.94 c core #347 21.89/21.94 c Core size: 4 Core Weight: 1 Total Weight: -653 21.89/21.94 c Elapsed CPU time: 21.5537 s Remaining CPU time: 1778.45 s 21.99/22.01 c core #348 21.99/22.01 c Core size: 4 Core Weight: 1 Total Weight: -652 21.99/22.01 c Elapsed CPU time: 21.6187 s Remaining CPU time: 1778.38 s 21.99/22.07 c core #349 21.99/22.07 c Core size: 4 Core Weight: 1 Total Weight: -651 21.99/22.07 c Elapsed CPU time: 21.6837 s Remaining CPU time: 1778.32 s 22.08/22.14 c core #350 22.08/22.14 c Core size: 4 Core Weight: 1 Total Weight: -650 22.08/22.14 c Elapsed CPU time: 21.7477 s Remaining CPU time: 1778.25 s 22.18/22.20 c core #351 22.18/22.20 c Core size: 4 Core Weight: 1 Total Weight: -649 22.18/22.20 c Elapsed CPU time: 21.8087 s Remaining CPU time: 1778.19 s 22.18/22.27 c core #352 22.18/22.27 c Core size: 4 Core Weight: 1 Total Weight: -648 22.18/22.27 c Elapsed CPU time: 21.8737 s Remaining CPU time: 1778.13 s 22.28/22.33 c core #353 22.28/22.33 c Core size: 4 Core Weight: 1 Total Weight: -647 22.28/22.33 c Elapsed CPU time: 21.9377 s Remaining CPU time: 1778.06 s 22.28/22.40 c core #354 22.28/22.40 c Core size: 4 Core Weight: 1 Total Weight: -646 22.28/22.40 c Elapsed CPU time: 22.0007 s Remaining CPU time: 1778 s 22.39/22.46 c core #355 22.39/22.46 c Core size: 4 Core Weight: 1 Total Weight: -645 22.39/22.46 c Elapsed CPU time: 22.0666 s Remaining CPU time: 1777.93 s 22.49/22.53 c core #356 22.49/22.53 c Core size: 4 Core Weight: 1 Total Weight: -644 22.49/22.53 c Elapsed CPU time: 22.1306 s Remaining CPU time: 1777.87 s 22.49/22.59 c core #357 22.49/22.59 c Core size: 4 Core Weight: 1 Total Weight: -643 22.49/22.59 c Elapsed CPU time: 22.1956 s Remaining CPU time: 1777.8 s 22.58/22.66 c core #358 22.58/22.66 c Core size: 4 Core Weight: 1 Total Weight: -642 22.58/22.66 c Elapsed CPU time: 22.2626 s Remaining CPU time: 1777.74 s 22.68/22.72 c core #359 22.68/22.72 c Core size: 4 Core Weight: 1 Total Weight: -641 22.68/22.72 c Elapsed CPU time: 22.3266 s Remaining CPU time: 1777.67 s 22.68/22.79 c core #360 22.68/22.79 c Core size: 4 Core Weight: 1 Total Weight: -640 22.68/22.79 c Elapsed CPU time: 22.3886 s Remaining CPU time: 1777.61 s 22.78/22.86 c core #361 22.78/22.86 c Core size: 4 Core Weight: 1 Total Weight: -639 22.78/22.86 c Elapsed CPU time: 22.4546 s Remaining CPU time: 1777.55 s 22.88/22.92 c core #362 22.88/22.92 c Core size: 4 Core Weight: 1 Total Weight: -638 22.88/22.92 c Elapsed CPU time: 22.5166 s Remaining CPU time: 1777.48 s 22.88/22.99 c core #363 22.88/22.99 c Core size: 4 Core Weight: 1 Total Weight: -637 22.88/22.99 c Elapsed CPU time: 22.5836 s Remaining CPU time: 1777.42 s 22.98/23.05 c core #364 22.98/23.05 c Core size: 4 Core Weight: 1 Total Weight: -636 22.98/23.05 c Elapsed CPU time: 22.6486 s Remaining CPU time: 1777.35 s 23.09/23.12 c core #365 23.09/23.12 c Core size: 4 Core Weight: 1 Total Weight: -635 23.09/23.12 c Elapsed CPU time: 22.7105 s Remaining CPU time: 1777.29 s 23.09/23.19 c core #366 23.09/23.19 c Core size: 4 Core Weight: 1 Total Weight: -634 23.09/23.19 c Elapsed CPU time: 22.7765 s Remaining CPU time: 1777.22 s 23.18/23.25 c core #367 23.18/23.25 c Core size: 4 Core Weight: 1 Total Weight: -633 23.18/23.25 c Elapsed CPU time: 22.8425 s Remaining CPU time: 1777.16 s 23.28/23.32 c core #368 23.28/23.32 c Core size: 4 Core Weight: 1 Total Weight: -632 23.28/23.32 c Elapsed CPU time: 22.9075 s Remaining CPU time: 1777.09 s 23.28/23.39 c core #369 23.28/23.39 c Core size: 4 Core Weight: 1 Total Weight: -631 23.28/23.39 c Elapsed CPU time: 22.9725 s Remaining CPU time: 1777.03 s 23.39/23.46 c core #370 23.39/23.46 c Core size: 4 Core Weight: 1 Total Weight: -630 23.39/23.46 c Elapsed CPU time: 23.0385 s Remaining CPU time: 1776.96 s 23.48/23.52 c core #371 23.48/23.52 c Core size: 4 Core Weight: 1 Total Weight: -629 23.48/23.52 c Elapsed CPU time: 23.1045 s Remaining CPU time: 1776.9 s 23.48/23.59 c core #372 23.48/23.59 c Core size: 4 Core Weight: 1 Total Weight: -628 23.48/23.59 c Elapsed CPU time: 23.1695 s Remaining CPU time: 1776.83 s 23.58/23.66 c core #373 23.58/23.66 c Core size: 4 Core Weight: 1 Total Weight: -627 23.58/23.66 c Elapsed CPU time: 23.2395 s Remaining CPU time: 1776.76 s 23.68/23.73 c core #374 23.68/23.73 c Core size: 4 Core Weight: 1 Total Weight: -626 23.68/23.73 c Elapsed CPU time: 23.3045 s Remaining CPU time: 1776.7 s 23.68/23.79 c core #375 23.68/23.79 c Core size: 4 Core Weight: 1 Total Weight: -625 23.68/23.79 c Elapsed CPU time: 23.3704 s Remaining CPU time: 1776.63 s 23.78/23.86 c core #376 23.78/23.86 c Core size: 4 Core Weight: 1 Total Weight: -624 23.78/23.86 c Elapsed CPU time: 23.4364 s Remaining CPU time: 1776.56 s 23.88/23.93 c core #377 23.88/23.93 c Core size: 4 Core Weight: 1 Total Weight: -623 23.88/23.93 c Elapsed CPU time: 23.5014 s Remaining CPU time: 1776.5 s 23.88/23.99 c core #378 23.88/23.99 c Core size: 4 Core Weight: 1 Total Weight: -622 23.88/23.99 c Elapsed CPU time: 23.5664 s Remaining CPU time: 1776.43 s 23.99/24.06 c core #379 23.99/24.06 c Core size: 4 Core Weight: 1 Total Weight: -621 23.99/24.06 c Elapsed CPU time: 23.6314 s Remaining CPU time: 1776.37 s 24.09/24.12 c core #380 24.09/24.12 c Core size: 4 Core Weight: 1 Total Weight: -620 24.09/24.12 c Elapsed CPU time: 23.6964 s Remaining CPU time: 1776.3 s 24.09/24.19 c core #381 24.09/24.19 c Core size: 4 Core Weight: 1 Total Weight: -619 24.09/24.19 c Elapsed CPU time: 23.7604 s Remaining CPU time: 1776.24 s 24.19/24.25 c core #382 24.19/24.25 c Core size: 4 Core Weight: 1 Total Weight: -618 24.19/24.25 c Elapsed CPU time: 23.8244 s Remaining CPU time: 1776.18 s 24.28/24.32 c core #383 24.28/24.32 c Core size: 4 Core Weight: 1 Total Weight: -617 24.28/24.32 c Elapsed CPU time: 23.8884 s Remaining CPU time: 1776.11 s 24.28/24.39 c core #384 24.28/24.39 c Core size: 4 Core Weight: 1 Total Weight: -616 24.28/24.39 c Elapsed CPU time: 23.9564 s Remaining CPU time: 1776.04 s 24.38/24.45 c core #385 24.38/24.45 c Core size: 4 Core Weight: 1 Total Weight: -615 24.38/24.45 c Elapsed CPU time: 24.0203 s Remaining CPU time: 1775.98 s 24.48/24.52 c core #386 24.48/24.52 c Core size: 4 Core Weight: 1 Total Weight: -614 24.48/24.52 c Elapsed CPU time: 24.0843 s Remaining CPU time: 1775.92 s 24.48/24.58 c core #387 24.48/24.58 c Core size: 4 Core Weight: 1 Total Weight: -613 24.48/24.58 c Elapsed CPU time: 24.1473 s Remaining CPU time: 1775.85 s 24.58/24.65 c core #388 24.58/24.65 c Core size: 4 Core Weight: 1 Total Weight: -612 24.58/24.65 c Elapsed CPU time: 24.2103 s Remaining CPU time: 1775.79 s 24.69/24.71 c core #389 24.69/24.71 c Core size: 4 Core Weight: 1 Total Weight: -611 24.69/24.71 c Elapsed CPU time: 24.2743 s Remaining CPU time: 1775.73 s 24.69/24.77 c core #390 24.69/24.77 c Core size: 4 Core Weight: 1 Total Weight: -610 24.69/24.77 c Elapsed CPU time: 24.3393 s Remaining CPU time: 1775.66 s 24.79/24.84 c core #391 24.79/24.84 c Core size: 4 Core Weight: 1 Total Weight: -609 24.79/24.84 c Elapsed CPU time: 24.4033 s Remaining CPU time: 1775.6 s 24.88/24.91 c core #392 24.88/24.91 c Core size: 4 Core Weight: 1 Total Weight: -608 24.88/24.91 c Elapsed CPU time: 24.4673 s Remaining CPU time: 1775.53 s 24.88/24.97 c core #393 24.88/24.97 c Core size: 4 Core Weight: 1 Total Weight: -607 24.88/24.97 c Elapsed CPU time: 24.5323 s Remaining CPU time: 1775.47 s 24.98/25.04 c core #394 24.98/25.04 c Core size: 4 Core Weight: 1 Total Weight: -606 24.98/25.04 c Elapsed CPU time: 24.5983 s Remaining CPU time: 1775.4 s 25.08/25.11 c core #395 25.08/25.11 c Core size: 4 Core Weight: 1 Total Weight: -605 25.08/25.11 c Elapsed CPU time: 24.6642 s Remaining CPU time: 1775.34 s 25.08/25.17 c core #396 25.08/25.17 c Core size: 4 Core Weight: 1 Total Weight: -604 25.08/25.17 c Elapsed CPU time: 24.7272 s Remaining CPU time: 1775.27 s 25.19/25.24 c core #397 25.19/25.24 c Core size: 4 Core Weight: 1 Total Weight: -603 25.19/25.24 c Elapsed CPU time: 24.7942 s Remaining CPU time: 1775.21 s 25.29/25.31 c core #398 25.29/25.31 c Core size: 4 Core Weight: 1 Total Weight: -602 25.29/25.31 c Elapsed CPU time: 24.8602 s Remaining CPU time: 1775.14 s 25.29/25.37 c core #399 25.29/25.37 c Core size: 4 Core Weight: 1 Total Weight: -601 25.29/25.37 c Elapsed CPU time: 24.9252 s Remaining CPU time: 1775.07 s 25.39/25.44 c core #400 25.39/25.44 c Core size: 4 Core Weight: 1 Total Weight: -600 25.39/25.44 c Elapsed CPU time: 24.9902 s Remaining CPU time: 1775.01 s 25.48/25.50 c core #401 25.48/25.50 c Core size: 4 Core Weight: 1 Total Weight: -599 25.48/25.50 c Elapsed CPU time: 25.0562 s Remaining CPU time: 1774.94 s 25.48/25.57 c core #402 25.48/25.57 c Core size: 4 Core Weight: 1 Total Weight: -598 25.48/25.57 c Elapsed CPU time: 25.1212 s Remaining CPU time: 1774.88 s 25.58/25.64 c core #403 25.58/25.64 c Core size: 4 Core Weight: 1 Total Weight: -597 25.58/25.64 c Elapsed CPU time: 25.1862 s Remaining CPU time: 1774.81 s 25.68/25.70 c core #404 25.68/25.70 c Core size: 4 Core Weight: 1 Total Weight: -596 25.68/25.70 c Elapsed CPU time: 25.2492 s Remaining CPU time: 1774.75 s 25.68/25.77 c core #405 25.68/25.77 c Core size: 4 Core Weight: 1 Total Weight: -595 25.68/25.77 c Elapsed CPU time: 25.3132 s Remaining CPU time: 1774.69 s 25.78/25.83 c core #406 25.78/25.83 c Core size: 4 Core Weight: 1 Total Weight: -594 25.78/25.83 c Elapsed CPU time: 25.3781 s Remaining CPU time: 1774.62 s 25.88/25.90 c core #407 25.88/25.90 c Core size: 4 Core Weight: 1 Total Weight: -593 25.88/25.90 c Elapsed CPU time: 25.4421 s Remaining CPU time: 1774.56 s 25.88/25.97 c core #408 25.88/25.97 c Core size: 4 Core Weight: 1 Total Weight: -592 25.88/25.97 c Elapsed CPU time: 25.5051 s Remaining CPU time: 1774.49 s 25.98/26.03 c core #409 25.98/26.03 c Core size: 4 Core Weight: 1 Total Weight: -591 25.98/26.03 c Elapsed CPU time: 25.5701 s Remaining CPU time: 1774.43 s 25.98/26.10 c core #410 25.98/26.10 c Core size: 4 Core Weight: 1 Total Weight: -590 25.98/26.10 c Elapsed CPU time: 25.6341 s Remaining CPU time: 1774.37 s 26.08/26.16 c core #411 26.08/26.16 c Core size: 4 Core Weight: 1 Total Weight: -589 26.08/26.16 c Elapsed CPU time: 25.6981 s Remaining CPU time: 1774.3 s 26.18/26.23 c core #412 26.18/26.23 c Core size: 4 Core Weight: 1 Total Weight: -588 26.18/26.23 c Elapsed CPU time: 25.7621 s Remaining CPU time: 1774.24 s 26.18/26.29 c core #413 26.18/26.29 c Core size: 4 Core Weight: 1 Total Weight: -587 26.18/26.29 c Elapsed CPU time: 25.8261 s Remaining CPU time: 1774.17 s 26.29/26.36 c core #414 26.29/26.36 c Core size: 4 Core Weight: 1 Total Weight: -586 26.29/26.36 c Elapsed CPU time: 25.8911 s Remaining CPU time: 1774.11 s 26.39/26.43 c core #415 26.39/26.43 c Core size: 4 Core Weight: 1 Total Weight: -585 26.39/26.43 c Elapsed CPU time: 25.9581 s Remaining CPU time: 1774.04 s 26.39/26.49 c core #416 26.39/26.49 c Core size: 4 Core Weight: 1 Total Weight: -584 26.39/26.49 c Elapsed CPU time: 26.023 s Remaining CPU time: 1773.98 s 26.48/26.56 c core #417 26.48/26.56 c Core size: 4 Core Weight: 1 Total Weight: -583 26.48/26.56 c Elapsed CPU time: 26.088 s Remaining CPU time: 1773.91 s 26.58/26.62 c core #418 26.58/26.62 c Core size: 4 Core Weight: 1 Total Weight: -582 26.58/26.62 c Elapsed CPU time: 26.152 s Remaining CPU time: 1773.85 s 26.58/26.69 c core #419 26.58/26.69 c Core size: 4 Core Weight: 1 Total Weight: -581 26.58/26.69 c Elapsed CPU time: 26.219 s Remaining CPU time: 1773.78 s 26.68/26.76 c core #420 26.68/26.76 c Core size: 4 Core Weight: 1 Total Weight: -580 26.68/26.76 c Elapsed CPU time: 26.284 s Remaining CPU time: 1773.72 s 26.78/26.83 c core #421 26.78/26.83 c Core size: 4 Core Weight: 1 Total Weight: -579 26.78/26.83 c Elapsed CPU time: 26.351 s Remaining CPU time: 1773.65 s 26.78/26.89 c core #422 26.78/26.89 c Core size: 4 Core Weight: 1 Total Weight: -578 26.78/26.89 c Elapsed CPU time: 26.416 s Remaining CPU time: 1773.58 s 26.89/26.96 c core #423 26.89/26.96 c Core size: 4 Core Weight: 1 Total Weight: -577 26.89/26.96 c Elapsed CPU time: 26.482 s Remaining CPU time: 1773.52 s 26.98/27.03 c core #424 26.98/27.03 c Core size: 4 Core Weight: 1 Total Weight: -576 26.98/27.03 c Elapsed CPU time: 26.548 s Remaining CPU time: 1773.45 s 26.98/27.09 c core #425 26.98/27.09 c Core size: 4 Core Weight: 1 Total Weight: -575 26.98/27.09 c Elapsed CPU time: 26.613 s Remaining CPU time: 1773.39 s 27.08/27.16 c core #426 27.08/27.16 c Core size: 4 Core Weight: 1 Total Weight: -574 27.08/27.16 c Elapsed CPU time: 26.6789 s Remaining CPU time: 1773.32 s 27.18/27.23 c core #427 27.18/27.23 c Core size: 4 Core Weight: 1 Total Weight: -573 27.18/27.23 c Elapsed CPU time: 26.7459 s Remaining CPU time: 1773.25 s 27.18/27.29 c core #428 27.18/27.29 c Core size: 4 Core Weight: 1 Total Weight: -572 27.18/27.29 c Elapsed CPU time: 26.8119 s Remaining CPU time: 1773.19 s 27.28/27.36 c core #429 27.28/27.36 c Core size: 4 Core Weight: 1 Total Weight: -571 27.28/27.36 c Elapsed CPU time: 26.8799 s Remaining CPU time: 1773.12 s 27.38/27.43 c core #430 27.38/27.43 c Core size: 4 Core Weight: 1 Total Weight: -570 27.38/27.43 c Elapsed CPU time: 26.9459 s Remaining CPU time: 1773.05 s 27.38/27.49 c core #431 27.38/27.49 c Core size: 4 Core Weight: 1 Total Weight: -569 27.38/27.49 c Elapsed CPU time: 27.0129 s Remaining CPU time: 1772.99 s 27.48/27.56 c core #432 27.48/27.56 c Core size: 4 Core Weight: 1 Total Weight: -568 27.48/27.56 c Elapsed CPU time: 27.0799 s Remaining CPU time: 1772.92 s 27.58/27.63 c core #433 27.58/27.63 c Core size: 4 Core Weight: 1 Total Weight: -567 27.58/27.63 c Elapsed CPU time: 27.1439 s Remaining CPU time: 1772.86 s 27.58/27.70 c core #434 27.58/27.70 c Core size: 4 Core Weight: 1 Total Weight: -566 27.58/27.70 c Elapsed CPU time: 27.2099 s Remaining CPU time: 1772.79 s 27.68/27.76 c core #435 27.68/27.76 c Core size: 4 Core Weight: 1 Total Weight: -565 27.68/27.76 c Elapsed CPU time: 27.2749 s Remaining CPU time: 1772.73 s 27.78/27.83 c core #436 27.78/27.83 c Core size: 4 Core Weight: 1 Total Weight: -564 27.78/27.83 c Elapsed CPU time: 27.3418 s Remaining CPU time: 1772.66 s 27.88/27.90 c core #437 27.88/27.90 c Core size: 4 Core Weight: 1 Total Weight: -563 27.88/27.90 c Elapsed CPU time: 27.4078 s Remaining CPU time: 1772.59 s 27.88/27.97 c core #438 27.88/27.97 c Core size: 4 Core Weight: 1 Total Weight: -562 27.88/27.97 c Elapsed CPU time: 27.4738 s Remaining CPU time: 1772.53 s 27.98/28.03 c core #439 27.98/28.03 c Core size: 4 Core Weight: 1 Total Weight: -561 27.98/28.03 c Elapsed CPU time: 27.5388 s Remaining CPU time: 1772.46 s 28.08/28.10 c core #440 28.08/28.10 c Core size: 4 Core Weight: 1 Total Weight: -560 28.08/28.10 c Elapsed CPU time: 27.6008 s Remaining CPU time: 1772.4 s 28.08/28.17 c core #441 28.08/28.17 c Core size: 4 Core Weight: 1 Total Weight: -559 28.08/28.17 c Elapsed CPU time: 27.6688 s Remaining CPU time: 1772.33 s 28.18/28.24 c core #442 28.18/28.24 c Core size: 4 Core Weight: 1 Total Weight: -558 28.18/28.24 c Elapsed CPU time: 27.7348 s Remaining CPU time: 1772.27 s 28.28/28.30 c core #443 28.28/28.30 c Core size: 4 Core Weight: 1 Total Weight: -557 28.28/28.30 c Elapsed CPU time: 27.8018 s Remaining CPU time: 1772.2 s 28.28/28.37 c core #444 28.28/28.37 c Core size: 4 Core Weight: 1 Total Weight: -556 28.28/28.37 c Elapsed CPU time: 27.8678 s Remaining CPU time: 1772.13 s 28.38/28.44 c core #445 28.38/28.44 c Core size: 4 Core Weight: 1 Total Weight: -555 28.38/28.44 c Elapsed CPU time: 27.9328 s Remaining CPU time: 1772.07 s 28.49/28.51 c core #446 28.49/28.51 c Core size: 4 Core Weight: 1 Total Weight: -554 28.49/28.51 c Elapsed CPU time: 27.9987 s Remaining CPU time: 1772 s 28.49/28.57 c core #447 28.49/28.57 c Core size: 4 Core Weight: 1 Total Weight: -553 28.49/28.57 c Elapsed CPU time: 28.0657 s Remaining CPU time: 1771.93 s 28.59/28.64 c core #448 28.59/28.64 c Core size: 4 Core Weight: 1 Total Weight: -552 28.59/28.64 c Elapsed CPU time: 28.1337 s Remaining CPU time: 1771.87 s 28.68/28.71 c core #449 28.68/28.71 c Core size: 4 Core Weight: 1 Total Weight: -551 28.68/28.71 c Elapsed CPU time: 28.2007 s Remaining CPU time: 1771.8 s 28.68/28.78 c core #450 28.68/28.78 c Core size: 4 Core Weight: 1 Total Weight: -550 28.68/28.78 c Elapsed CPU time: 28.2677 s Remaining CPU time: 1771.73 s 28.78/28.85 c core #451 28.78/28.85 c Core size: 4 Core Weight: 1 Total Weight: -549 28.78/28.85 c Elapsed CPU time: 28.3367 s Remaining CPU time: 1771.66 s 28.88/28.92 c core #452 28.88/28.92 c Core size: 4 Core Weight: 1 Total Weight: -548 28.88/28.92 c Elapsed CPU time: 28.4047 s Remaining CPU time: 1771.6 s 28.88/28.98 c core #453 28.88/28.98 c Core size: 4 Core Weight: 1 Total Weight: -547 28.88/28.98 c Elapsed CPU time: 28.4717 s Remaining CPU time: 1771.53 s 28.98/29.05 c core #454 28.98/29.05 c Core size: 4 Core Weight: 1 Total Weight: -546 28.98/29.05 c Elapsed CPU time: 28.5377 s Remaining CPU time: 1771.46 s 29.08/29.12 c core #455 29.08/29.12 c Core size: 4 Core Weight: 1 Total Weight: -545 29.08/29.12 c Elapsed CPU time: 28.6027 s Remaining CPU time: 1771.4 s 29.08/29.19 c core #456 29.08/29.19 c Core size: 4 Core Weight: 1 Total Weight: -544 29.08/29.19 c Elapsed CPU time: 28.6706 s Remaining CPU time: 1771.33 s 29.18/29.25 c core #457 29.18/29.25 c Core size: 4 Core Weight: 1 Total Weight: -543 29.18/29.25 c Elapsed CPU time: 28.7376 s Remaining CPU time: 1771.26 s 29.28/29.32 c core #458 29.28/29.32 c Core size: 4 Core Weight: 1 Total Weight: -542 29.28/29.32 c Elapsed CPU time: 28.8046 s Remaining CPU time: 1771.2 s 29.28/29.39 c core #459 29.28/29.39 c Core size: 4 Core Weight: 1 Total Weight: -541 29.28/29.39 c Elapsed CPU time: 28.8706 s Remaining CPU time: 1771.13 s 29.38/29.46 c core #460 29.38/29.46 c Core size: 4 Core Weight: 1 Total Weight: -540 29.38/29.46 c Elapsed CPU time: 28.9386 s Remaining CPU time: 1771.06 s 29.48/29.52 c core #461 29.48/29.52 c Core size: 4 Core Weight: 1 Total Weight: -539 29.48/29.52 c Elapsed CPU time: 29.0056 s Remaining CPU time: 1770.99 s 29.48/29.59 c core #462 29.48/29.59 c Core size: 4 Core Weight: 1 Total Weight: -538 29.48/29.59 c Elapsed CPU time: 29.0716 s Remaining CPU time: 1770.93 s 29.59/29.66 c core #463 29.59/29.66 c Core size: 4 Core Weight: 1 Total Weight: -537 29.59/29.66 c Elapsed CPU time: 29.1386 s Remaining CPU time: 1770.86 s 29.69/29.73 c core #464 29.69/29.73 c Core size: 4 Core Weight: 1 Total Weight: -536 29.69/29.73 c Elapsed CPU time: 29.2056 s Remaining CPU time: 1770.79 s 29.69/29.79 c core #465 29.69/29.79 c Core size: 4 Core Weight: 1 Total Weight: -535 29.69/29.79 c Elapsed CPU time: 29.2725 s Remaining CPU time: 1770.73 s 29.78/29.86 c core #466 29.78/29.86 c Core size: 4 Core Weight: 1 Total Weight: -534 29.78/29.86 c Elapsed CPU time: 29.3375 s Remaining CPU time: 1770.66 s 29.88/29.93 c core #467 29.88/29.93 c Core size: 4 Core Weight: 1 Total Weight: -533 29.88/29.93 c Elapsed CPU time: 29.4045 s Remaining CPU time: 1770.6 s 29.98/30.00 c core #468 29.98/30.00 c Core size: 4 Core Weight: 1 Total Weight: -532 29.98/30.00 c Elapsed CPU time: 29.4725 s Remaining CPU time: 1770.53 s 29.98/30.07 c core #469 29.98/30.07 c Core size: 4 Core Weight: 1 Total Weight: -531 29.98/30.07 c Elapsed CPU time: 29.5385 s Remaining CPU time: 1770.46 s 30.08/30.13 c core #470 30.08/30.13 c Core size: 4 Core Weight: 1 Total Weight: -530 30.08/30.13 c Elapsed CPU time: 29.6055 s Remaining CPU time: 1770.39 s 30.18/30.20 c core #471 30.18/30.20 c Core size: 4 Core Weight: 1 Total Weight: -529 30.18/30.20 c Elapsed CPU time: 29.6705 s Remaining CPU time: 1770.33 s 30.18/30.27 c core #472 30.18/30.27 c Core size: 4 Core Weight: 1 Total Weight: -528 30.18/30.27 c Elapsed CPU time: 29.7385 s Remaining CPU time: 1770.26 s 30.28/30.34 c core #473 30.28/30.34 c Core size: 4 Core Weight: 1 Total Weight: -527 30.28/30.34 c Elapsed CPU time: 29.8075 s Remaining CPU time: 1770.19 s 30.38/30.41 c core #474 30.38/30.41 c Core size: 4 Core Weight: 1 Total Weight: -526 30.38/30.41 c Elapsed CPU time: 29.8745 s Remaining CPU time: 1770.13 s 30.38/30.48 c core #475 30.38/30.48 c Core size: 4 Core Weight: 1 Total Weight: -525 30.38/30.48 c Elapsed CPU time: 29.9424 s Remaining CPU time: 1770.06 s 30.48/30.55 c core #476 30.48/30.55 c Core size: 4 Core Weight: 1 Total Weight: -524 30.48/30.55 c Elapsed CPU time: 30.0084 s Remaining CPU time: 1769.99 s 30.58/30.62 c core #477 30.58/30.62 c Core size: 4 Core Weight: 1 Total Weight: -523 30.58/30.62 c Elapsed CPU time: 30.0774 s Remaining CPU time: 1769.92 s 30.58/30.68 c core #478 30.58/30.68 c Core size: 4 Core Weight: 1 Total Weight: -522 30.58/30.68 c Elapsed CPU time: 30.1454 s Remaining CPU time: 1769.85 s 30.69/30.75 c core #479 30.69/30.75 c Core size: 4 Core Weight: 1 Total Weight: -521 30.69/30.75 c Elapsed CPU time: 30.2124 s Remaining CPU time: 1769.79 s 30.79/30.82 c core #480 30.79/30.82 c Core size: 4 Core Weight: 1 Total Weight: -520 30.79/30.82 c Elapsed CPU time: 30.2784 s Remaining CPU time: 1769.72 s 30.79/30.89 c core #481 30.79/30.89 c Core size: 4 Core Weight: 1 Total Weight: -519 30.79/30.89 c Elapsed CPU time: 30.3464 s Remaining CPU time: 1769.65 s 30.88/30.96 c core #482 30.88/30.96 c Core size: 4 Core Weight: 1 Total Weight: -518 30.88/30.96 c Elapsed CPU time: 30.4114 s Remaining CPU time: 1769.59 s 30.98/31.02 c core #483 30.98/31.02 c Core size: 4 Core Weight: 1 Total Weight: -517 30.98/31.02 c Elapsed CPU time: 30.4784 s Remaining CPU time: 1769.52 s 30.98/31.09 c core #484 30.98/31.09 c Core size: 4 Core Weight: 1 Total Weight: -516 30.98/31.09 c Elapsed CPU time: 30.5434 s Remaining CPU time: 1769.46 s 31.08/31.16 c core #485 31.08/31.16 c Core size: 9 Core Weight: 1 Total Weight: -515 31.08/31.16 c Elapsed CPU time: 30.6103 s Remaining CPU time: 1769.39 s 31.18/31.23 c core #486 31.18/31.23 c Core size: 9 Core Weight: 1 Total Weight: -514 31.18/31.23 c Elapsed CPU time: 30.6773 s Remaining CPU time: 1769.32 s 31.18/31.30 c core #487 31.18/31.30 c Core size: 9 Core Weight: 1 Total Weight: -513 31.18/31.30 c Elapsed CPU time: 30.7433 s Remaining CPU time: 1769.26 s 31.28/31.36 c core #488 31.28/31.36 c Core size: 9 Core Weight: 1 Total Weight: -512 31.28/31.36 c Elapsed CPU time: 30.8103 s Remaining CPU time: 1769.19 s 31.38/31.43 c core #489 31.38/31.43 c Core size: 9 Core Weight: 1 Total Weight: -511 31.38/31.43 c Elapsed CPU time: 30.8793 s Remaining CPU time: 1769.12 s 31.48/31.50 c core #490 31.48/31.50 c Core size: 9 Core Weight: 1 Total Weight: -510 31.48/31.50 c Elapsed CPU time: 30.9443 s Remaining CPU time: 1769.06 s 31.48/31.57 c core #491 31.48/31.57 c Core size: 9 Core Weight: 1 Total Weight: -509 31.48/31.57 c Elapsed CPU time: 31.0133 s Remaining CPU time: 1768.99 s 31.58/31.64 c core #492 31.58/31.64 c Core size: 23 Core Weight: 1 Total Weight: -508 31.58/31.64 c Elapsed CPU time: 31.0823 s Remaining CPU time: 1768.92 s 31.68/31.71 c core #493 31.68/31.71 c Core size: 9 Core Weight: 1 Total Weight: -507 31.68/31.71 c Elapsed CPU time: 31.1493 s Remaining CPU time: 1768.85 s 31.68/31.78 c core #494 31.68/31.78 c Core size: 9 Core Weight: 1 Total Weight: -506 31.68/31.78 c Elapsed CPU time: 31.2173 s Remaining CPU time: 1768.78 s 31.79/31.85 c core #495 31.79/31.85 c Core size: 17 Core Weight: 1 Total Weight: -505 31.79/31.85 c Elapsed CPU time: 31.2862 s Remaining CPU time: 1768.71 s 31.89/31.91 c core #496 31.89/31.91 c Core size: 9 Core Weight: 1 Total Weight: -504 31.89/31.91 c Elapsed CPU time: 31.3532 s Remaining CPU time: 1768.65 s 31.89/31.99 c core #497 31.89/31.99 c Core size: 29 Core Weight: 1 Total Weight: -503 31.89/31.99 c Elapsed CPU time: 31.4252 s Remaining CPU time: 1768.57 s 31.98/32.05 c core #498 31.98/32.05 c Core size: 14 Core Weight: 1 Total Weight: -502 31.98/32.05 c Elapsed CPU time: 31.4892 s Remaining CPU time: 1768.51 s 32.08/32.12 c core #499 32.08/32.12 c Core size: 14 Core Weight: 1 Total Weight: -501 32.08/32.12 c Elapsed CPU time: 31.5592 s Remaining CPU time: 1768.44 s 32.08/32.19 c core #500 32.08/32.19 c Core size: 8 Core Weight: 1 Total Weight: -500 32.08/32.19 c Elapsed CPU time: 31.6262 s Remaining CPU time: 1768.37 s 32.18/32.26 c core #501 32.18/32.26 c Core size: 28 Core Weight: 1 Total Weight: -499 32.18/32.26 c Elapsed CPU time: 31.6972 s Remaining CPU time: 1768.3 s 32.27/32.33 c core #502 32.27/32.33 c Core size: 23 Core Weight: 1 Total Weight: -498 32.27/32.33 c Elapsed CPU time: 31.7602 s Remaining CPU time: 1768.24 s 32.38/32.40 c core #503 32.38/32.40 c Core size: 18 Core Weight: 1 Total Weight: -497 32.38/32.40 c Elapsed CPU time: 31.8282 s Remaining CPU time: 1768.17 s 32.38/32.46 c ============================[ Search Statistics ]============================== 32.38/32.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.38/32.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.38/32.46 c =============================================================================== 32.38/32.46 c | 0 | 2078 35095 80911 | 11698 0 nan | 0.000 % | 32.38/32.47 c =============================================================================== 32.38/32.47 c core #504 32.38/32.47 c Core size: 17 Core Weight: 1 Total Weight: -496 32.38/32.47 c Elapsed CPU time: 31.8991 s Remaining CPU time: 1768.1 s 32.48/32.54 c ============================[ Search Statistics ]============================== 32.48/32.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.48/32.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.48/32.54 c =============================================================================== 32.48/32.54 c | 0 | 2084 35096 80923 | 11698 0 nan | 0.000 % | 32.48/32.54 c =============================================================================== 32.48/32.54 c core #505 32.48/32.54 c Core size: 22 Core Weight: 1 Total Weight: -495 32.48/32.54 c Elapsed CPU time: 31.9721 s Remaining CPU time: 1768.03 s 32.58/32.60 c ============================[ Search Statistics ]============================== 32.58/32.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.58/32.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.58/32.60 c =============================================================================== 32.58/32.60 c | 0 | 2092 35097 80939 | 11699 0 nan | 0.000 % | 32.58/32.61 c =============================================================================== 32.58/32.61 c core #506 32.58/32.61 c Core size: 16 Core Weight: 1 Total Weight: -494 32.58/32.61 c Elapsed CPU time: 32.0401 s Remaining CPU time: 1767.96 s 32.58/32.68 c ============================[ Search Statistics ]============================== 32.58/32.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.58/32.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.58/32.68 c =============================================================================== 32.58/32.68 c | 0 | 2098 35098 80951 | 11699 0 nan | 0.000 % | 32.58/32.68 c =============================================================================== 32.58/32.68 c core #507 32.58/32.68 c Core size: 21 Core Weight: 1 Total Weight: -493 32.58/32.68 c Elapsed CPU time: 32.1101 s Remaining CPU time: 1767.89 s 32.68/32.75 c ============================[ Search Statistics ]============================== 32.68/32.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.68/32.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.68/32.75 c =============================================================================== 32.68/32.75 c | 0 | 2106 35099 80967 | 11699 0 nan | 0.000 % | 32.68/32.75 c =============================================================================== 32.68/32.75 c core #508 32.68/32.75 c Core size: 22 Core Weight: 1 Total Weight: -492 32.68/32.75 c Elapsed CPU time: 32.1801 s Remaining CPU time: 1767.82 s 32.78/32.82 c ============================[ Search Statistics ]============================== 32.78/32.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.78/32.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.78/32.82 c =============================================================================== 32.78/32.82 c | 0 | 2114 35100 80983 | 11700 0 nan | 0.000 % | 32.78/32.82 c =============================================================================== 32.78/32.82 c core #509 32.78/32.82 c Core size: 15 Core Weight: 1 Total Weight: -491 32.78/32.82 c Elapsed CPU time: 32.2481 s Remaining CPU time: 1767.75 s 32.78/32.89 c ============================[ Search Statistics ]============================== 32.78/32.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.78/32.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.78/32.89 c =============================================================================== 32.78/32.89 c | 0 | 2120 35101 80995 | 11700 0 nan | 0.000 % | 32.78/32.89 c =============================================================================== 32.78/32.89 c core #510 32.78/32.89 c Core size: 26 Core Weight: 1 Total Weight: -490 32.78/32.89 c Elapsed CPU time: 32.3181 s Remaining CPU time: 1767.68 s 32.88/32.96 c ============================[ Search Statistics ]============================== 32.88/32.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.88/32.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.88/32.96 c =============================================================================== 32.88/32.96 c | 0 | 2130 35102 81015 | 11700 0 nan | 0.000 % | 32.88/32.96 c =============================================================================== 32.88/32.96 c core #511 32.88/32.96 c Core size: 16 Core Weight: 1 Total Weight: -489 32.88/32.96 c Elapsed CPU time: 32.3881 s Remaining CPU time: 1767.61 s 32.98/33.03 c ============================[ Search Statistics ]============================== 32.98/33.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.98/33.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.98/33.03 c =============================================================================== 32.98/33.03 c | 0 | 2136 35103 81027 | 11701 0 nan | 0.000 % | 32.98/33.03 c =============================================================================== 32.98/33.03 c core #512 32.98/33.03 c Core size: 20 Core Weight: 1 Total Weight: -488 32.98/33.03 c Elapsed CPU time: 32.4571 s Remaining CPU time: 1767.54 s 33.08/33.10 c ============================[ Search Statistics ]============================== 33.08/33.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.08/33.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.08/33.10 c =============================================================================== 33.08/33.10 c | 0 | 2144 35104 81043 | 11701 0 nan | 0.000 % | 33.08/33.10 c =============================================================================== 33.08/33.10 c core #513 33.08/33.10 c Core size: 22 Core Weight: 1 Total Weight: -487 33.08/33.10 c Elapsed CPU time: 32.5271 s Remaining CPU time: 1767.47 s 33.08/33.17 c ============================[ Search Statistics ]============================== 33.08/33.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.08/33.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.08/33.17 c =============================================================================== 33.08/33.17 c | 0 | 2152 35105 81059 | 11701 0 nan | 0.000 % | 33.08/33.17 c =============================================================================== 33.08/33.17 c core #514 33.08/33.17 c Core size: 20 Core Weight: 1 Total Weight: -486 33.08/33.17 c Elapsed CPU time: 32.594 s Remaining CPU time: 1767.41 s 33.17/33.24 c ============================[ Search Statistics ]============================== 33.17/33.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.17/33.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.17/33.24 c =============================================================================== 33.17/33.24 c | 0 | 2160 35106 81075 | 11702 0 nan | 0.000 % | 33.17/33.24 c =============================================================================== 33.17/33.24 c core #515 33.17/33.24 c Core size: 27 Core Weight: 1 Total Weight: -485 33.17/33.24 c Elapsed CPU time: 32.667 s Remaining CPU time: 1767.33 s 33.28/33.31 c ============================[ Search Statistics ]============================== 33.28/33.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.28/33.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.28/33.31 c =============================================================================== 33.28/33.31 c | 0 | 2170 35107 81095 | 11702 0 nan | 0.000 % | 33.28/33.31 c =============================================================================== 33.28/33.31 c core #516 33.28/33.31 c Core size: 27 Core Weight: 1 Total Weight: -484 33.28/33.31 c Elapsed CPU time: 32.733 s Remaining CPU time: 1767.27 s 33.28/33.38 c ============================[ Search Statistics ]============================== 33.28/33.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.28/33.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.28/33.38 c =============================================================================== 33.28/33.38 c | 0 | 2180 35108 81115 | 11702 0 nan | 0.000 % | 33.28/33.38 c =============================================================================== 33.28/33.38 c core #517 33.28/33.38 c Core size: 26 Core Weight: 1 Total Weight: -483 33.28/33.38 c Elapsed CPU time: 32.802 s Remaining CPU time: 1767.2 s 33.38/33.45 c ============================[ Search Statistics ]============================== 33.38/33.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.38/33.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.38/33.45 c =============================================================================== 33.38/33.45 c | 0 | 2190 35109 81135 | 11703 0 nan | 0.000 % | 33.38/33.45 c =============================================================================== 33.38/33.45 c core #518 33.38/33.45 c Core size: 22 Core Weight: 1 Total Weight: -482 33.38/33.45 c Elapsed CPU time: 32.869 s Remaining CPU time: 1767.13 s 33.47/33.52 c ============================[ Search Statistics ]============================== 33.47/33.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.47/33.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.47/33.52 c =============================================================================== 33.47/33.52 c | 0 | 2198 35110 81151 | 11703 0 nan | 0.000 % | 33.47/33.53 c =============================================================================== 33.47/33.53 c core #519 33.47/33.53 c Core size: 21 Core Weight: 1 Total Weight: -481 33.47/33.53 c Elapsed CPU time: 32.938 s Remaining CPU time: 1767.06 s 33.47/33.59 c ============================[ Search Statistics ]============================== 33.47/33.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.47/33.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.47/33.59 c =============================================================================== 33.47/33.59 c | 0 | 2206 35111 81167 | 11703 0 nan | 0.000 % | 33.57/33.60 c =============================================================================== 33.57/33.60 c core #520 33.57/33.60 c Core size: 21 Core Weight: 1 Total Weight: -480 33.57/33.60 c Elapsed CPU time: 33.007 s Remaining CPU time: 1766.99 s 33.57/33.66 c ============================[ Search Statistics ]============================== 33.57/33.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.57/33.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.57/33.66 c =============================================================================== 33.57/33.66 c | 0 | 2214 35112 81183 | 11704 0 nan | 0.000 % | 33.57/33.67 c =============================================================================== 33.57/33.67 c core #521 33.57/33.67 c Core size: 21 Core Weight: 1 Total Weight: -479 33.57/33.67 c Elapsed CPU time: 33.078 s Remaining CPU time: 1766.92 s 33.68/33.74 c ============================[ Search Statistics ]============================== 33.68/33.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.68/33.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.68/33.74 c =============================================================================== 33.68/33.74 c | 0 | 2222 35113 81199 | 11704 0 nan | 0.000 % | 33.68/33.74 c =============================================================================== 33.68/33.74 c core #522 33.68/33.74 c Core size: 21 Core Weight: 1 Total Weight: -478 33.68/33.74 c Elapsed CPU time: 33.148 s Remaining CPU time: 1766.85 s 33.78/33.81 c ============================[ Search Statistics ]============================== 33.78/33.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.78/33.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.78/33.81 c =============================================================================== 33.78/33.81 c | 0 | 2230 35114 81215 | 11704 0 nan | 0.000 % | 33.78/33.81 c =============================================================================== 33.78/33.81 c core #523 33.78/33.81 c Core size: 25 Core Weight: 1 Total Weight: -477 33.78/33.81 c Elapsed CPU time: 33.2189 s Remaining CPU time: 1766.78 s 33.78/33.88 c ============================[ Search Statistics ]============================== 33.78/33.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.78/33.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.78/33.88 c =============================================================================== 33.78/33.88 c | 0 | 2240 35115 81235 | 11705 0 nan | 0.000 % | 33.78/33.88 c =============================================================================== 33.78/33.88 c core #524 33.78/33.88 c Core size: 17 Core Weight: 1 Total Weight: -476 33.78/33.88 c Elapsed CPU time: 33.2849 s Remaining CPU time: 1766.72 s 33.87/33.95 c ============================[ Search Statistics ]============================== 33.87/33.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.87/33.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.87/33.95 c =============================================================================== 33.87/33.95 c | 0 | 2246 35116 81247 | 11705 0 nan | 0.000 % | 33.87/33.95 c =============================================================================== 33.87/33.95 c core #525 33.87/33.95 c Core size: 15 Core Weight: 1 Total Weight: -475 33.87/33.95 c Elapsed CPU time: 33.3509 s Remaining CPU time: 1766.65 s 33.97/34.02 c ============================[ Search Statistics ]============================== 33.97/34.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.97/34.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.97/34.02 c =============================================================================== 33.97/34.02 c | 0 | 2252 35117 81259 | 11705 0 nan | 0.000 % | 33.97/34.02 c =============================================================================== 33.97/34.02 c core #526 33.97/34.02 c Core size: 26 Core Weight: 1 Total Weight: -474 33.97/34.02 c Elapsed CPU time: 33.4179 s Remaining CPU time: 1766.58 s 33.97/34.09 c ============================[ Search Statistics ]============================== 33.97/34.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.97/34.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.97/34.09 c =============================================================================== 33.97/34.09 c | 0 | 2262 35118 81279 | 11706 0 nan | 0.000 % | 33.97/34.09 c =============================================================================== 33.97/34.09 c core #527 33.97/34.09 c Core size: 21 Core Weight: 1 Total Weight: -473 33.97/34.09 c Elapsed CPU time: 33.4839 s Remaining CPU time: 1766.52 s 34.08/34.16 c ============================[ Search Statistics ]============================== 34.08/34.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.08/34.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.08/34.16 c =============================================================================== 34.08/34.16 c | 0 | 2270 35119 81295 | 11706 0 nan | 0.000 % | 34.08/34.16 c =============================================================================== 34.08/34.16 c core #528 34.08/34.16 c Core size: 21 Core Weight: 1 Total Weight: -472 34.08/34.16 c Elapsed CPU time: 33.5519 s Remaining CPU time: 1766.45 s 34.17/34.23 c ============================[ Search Statistics ]============================== 34.17/34.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.17/34.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.17/34.23 c =============================================================================== 34.17/34.23 c | 0 | 2278 35120 81311 | 11706 0 nan | 0.000 % | 34.17/34.23 c =============================================================================== 34.17/34.23 c core #529 34.17/34.23 c Core size: 15 Core Weight: 1 Total Weight: -471 34.17/34.23 c Elapsed CPU time: 33.6219 s Remaining CPU time: 1766.38 s 34.17/34.30 c ============================[ Search Statistics ]============================== 34.17/34.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.17/34.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.17/34.30 c =============================================================================== 34.17/34.30 c | 0 | 2284 35121 81323 | 11707 0 nan | 0.000 % | 34.27/34.30 c =============================================================================== 34.27/34.30 c core #530 34.27/34.30 c Core size: 26 Core Weight: 1 Total Weight: -470 34.27/34.30 c Elapsed CPU time: 33.6889 s Remaining CPU time: 1766.31 s 34.27/34.37 c ============================[ Search Statistics ]============================== 34.27/34.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.27/34.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.27/34.37 c =============================================================================== 34.27/34.37 c | 0 | 2294 35122 81343 | 11707 0 nan | 0.000 % | 34.27/34.37 c =============================================================================== 34.27/34.37 c core #531 34.27/34.37 c Core size: 25 Core Weight: 1 Total Weight: -469 34.27/34.37 c Elapsed CPU time: 33.7599 s Remaining CPU time: 1766.24 s 34.37/34.44 c ============================[ Search Statistics ]============================== 34.37/34.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.37/34.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.37/34.44 c =============================================================================== 34.37/34.44 c | 0 | 2304 35123 81363 | 11707 0 nan | 0.000 % | 34.37/34.44 c =============================================================================== 34.37/34.44 c core #532 34.37/34.44 c Core size: 20 Core Weight: 1 Total Weight: -468 34.37/34.44 c Elapsed CPU time: 33.8239 s Remaining CPU time: 1766.18 s 34.47/34.51 c ============================[ Search Statistics ]============================== 34.47/34.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.47/34.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.47/34.51 c =============================================================================== 34.47/34.51 c | 0 | 2312 35124 81379 | 11708 0 nan | 0.000 % | 34.47/34.51 c =============================================================================== 34.47/34.51 c core #533 34.47/34.51 c Core size: 27 Core Weight: 1 Total Weight: -467 34.47/34.51 c Elapsed CPU time: 33.8928 s Remaining CPU time: 1766.11 s 34.47/34.58 c ============================[ Search Statistics ]============================== 34.47/34.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.47/34.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.47/34.58 c =============================================================================== 34.47/34.58 c | 0 | 2322 35125 81399 | 11708 0 nan | 0.000 % | 34.47/34.58 c =============================================================================== 34.47/34.58 c core #534 34.47/34.58 c Core size: 15 Core Weight: 1 Total Weight: -466 34.47/34.58 c Elapsed CPU time: 33.9628 s Remaining CPU time: 1766.04 s 34.57/34.65 c ============================[ Search Statistics ]============================== 34.57/34.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.57/34.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.57/34.65 c =============================================================================== 34.57/34.65 c | 0 | 2328 35126 81411 | 11708 0 nan | 0.000 % | 34.57/34.65 c =============================================================================== 34.57/34.65 c core #535 34.57/34.65 c Core size: 27 Core Weight: 1 Total Weight: -465 34.57/34.65 c Elapsed CPU time: 34.0328 s Remaining CPU time: 1765.97 s 34.67/34.72 c ============================[ Search Statistics ]============================== 34.67/34.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.67/34.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.67/34.72 c =============================================================================== 34.67/34.72 c | 0 | 2338 35127 81431 | 11709 0 nan | 0.000 % | 34.67/34.72 c =============================================================================== 34.67/34.72 c core #536 34.67/34.72 c Core size: 21 Core Weight: 1 Total Weight: -464 34.67/34.72 c Elapsed CPU time: 34.1018 s Remaining CPU time: 1765.9 s 34.67/34.79 c ============================[ Search Statistics ]============================== 34.67/34.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.67/34.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.67/34.79 c =============================================================================== 34.67/34.79 c | 0 | 2346 35128 81447 | 11709 0 nan | 0.000 % | 34.67/34.79 c =============================================================================== 34.67/34.79 c core #537 34.67/34.79 c Core size: 21 Core Weight: 1 Total Weight: -463 34.67/34.79 c Elapsed CPU time: 34.1738 s Remaining CPU time: 1765.83 s 34.77/34.86 c ============================[ Search Statistics ]============================== 34.77/34.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.77/34.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.77/34.86 c =============================================================================== 34.77/34.86 c | 0 | 2354 35129 81463 | 11709 0 nan | 0.000 % | 34.77/34.86 c =============================================================================== 34.77/34.86 c core #538 34.77/34.86 c Core size: 25 Core Weight: 1 Total Weight: -462 34.77/34.86 c Elapsed CPU time: 34.2438 s Remaining CPU time: 1765.76 s 34.87/34.93 c ============================[ Search Statistics ]============================== 34.87/34.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.87/34.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.87/34.93 c =============================================================================== 34.87/34.93 c | 0 | 2364 35130 81483 | 11710 0 nan | 0.000 % | 34.87/34.93 c =============================================================================== 34.87/34.94 c core #539 34.87/34.94 c Core size: 27 Core Weight: 1 Total Weight: -461 34.87/34.94 c Elapsed CPU time: 34.3118 s Remaining CPU time: 1765.69 s 34.97/35.00 c ============================[ Search Statistics ]============================== 34.97/35.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.97/35.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.97/35.00 c =============================================================================== 34.97/35.00 c | 0 | 2374 35131 81503 | 11710 0 nan | 0.000 % | 34.97/35.00 c =============================================================================== 34.97/35.00 c core #540 34.97/35.00 c Core size: 20 Core Weight: 1 Total Weight: -460 34.97/35.00 c Elapsed CPU time: 34.3788 s Remaining CPU time: 1765.62 s 34.97/35.07 c ============================[ Search Statistics ]============================== 34.97/35.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.97/35.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.97/35.07 c =============================================================================== 34.97/35.07 c | 0 | 2382 35132 81519 | 11710 0 nan | 0.000 % | 34.97/35.08 c =============================================================================== 34.97/35.08 c core #541 34.97/35.08 c Core size: 26 Core Weight: 1 Total Weight: -459 34.97/35.08 c Elapsed CPU time: 34.4488 s Remaining CPU time: 1765.55 s 35.07/35.14 c ============================[ Search Statistics ]============================== 35.07/35.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.07/35.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.07/35.14 c =============================================================================== 35.07/35.14 c | 0 | 2392 35133 81539 | 11711 0 nan | 0.000 % | 35.07/35.14 c =============================================================================== 35.07/35.15 c core #542 35.07/35.15 c Core size: 26 Core Weight: 1 Total Weight: -458 35.07/35.15 c Elapsed CPU time: 34.5178 s Remaining CPU time: 1765.48 s 35.17/35.21 c ============================[ Search Statistics ]============================== 35.17/35.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.17/35.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.17/35.21 c =============================================================================== 35.17/35.21 c | 0 | 2402 35134 81559 | 11711 0 nan | 0.000 % | 35.17/35.21 c =============================================================================== 35.17/35.22 c core #543 35.17/35.22 c Core size: 27 Core Weight: 1 Total Weight: -457 35.17/35.22 c Elapsed CPU time: 34.5887 s Remaining CPU time: 1765.41 s 35.17/35.28 c ============================[ Search Statistics ]============================== 35.17/35.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.17/35.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.17/35.28 c =============================================================================== 35.17/35.28 c | 0 | 2412 35135 81579 | 11711 0 nan | 0.000 % | 35.17/35.29 c =============================================================================== 35.17/35.29 c core #544 35.17/35.29 c Core size: 20 Core Weight: 1 Total Weight: -456 35.17/35.29 c Elapsed CPU time: 34.6577 s Remaining CPU time: 1765.34 s 35.27/35.35 c ============================[ Search Statistics ]============================== 35.27/35.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.27/35.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.27/35.35 c =============================================================================== 35.27/35.35 c | 0 | 2420 35136 81595 | 11712 0 nan | 0.000 % | 35.27/35.36 c =============================================================================== 35.27/35.36 c core #545 35.27/35.36 c Core size: 20 Core Weight: 1 Total Weight: -455 35.27/35.36 c Elapsed CPU time: 34.7277 s Remaining CPU time: 1765.27 s 35.37/35.42 c ============================[ Search Statistics ]============================== 35.37/35.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.37/35.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.37/35.42 c =============================================================================== 35.37/35.42 c | 0 | 2428 35137 81611 | 11712 0 nan | 0.000 % | 35.37/35.43 c =============================================================================== 35.37/35.43 c core #546 35.37/35.43 c Core size: 26 Core Weight: 1 Total Weight: -454 35.37/35.43 c Elapsed CPU time: 34.7977 s Remaining CPU time: 1765.2 s 35.37/35.50 c ============================[ Search Statistics ]============================== 35.37/35.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.37/35.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.37/35.50 c =============================================================================== 35.37/35.50 c | 0 | 2438 35138 81631 | 11712 0 nan | 0.000 % | 35.47/35.50 c =============================================================================== 35.47/35.50 c core #547 35.47/35.50 c Core size: 21 Core Weight: 1 Total Weight: -453 35.47/35.50 c Elapsed CPU time: 34.8687 s Remaining CPU time: 1765.13 s 35.47/35.57 c ============================[ Search Statistics ]============================== 35.47/35.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.47/35.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.47/35.57 c =============================================================================== 35.47/35.57 c | 0 | 2446 35139 81647 | 11713 0 nan | 0.000 % | 35.47/35.57 c =============================================================================== 35.47/35.57 c core #548 35.47/35.57 c Core size: 21 Core Weight: 1 Total Weight: -452 35.47/35.57 c Elapsed CPU time: 34.9377 s Remaining CPU time: 1765.06 s 35.57/35.64 c ============================[ Search Statistics ]============================== 35.57/35.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.57/35.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.57/35.64 c =============================================================================== 35.57/35.64 c | 0 | 2454 35140 81663 | 11713 0 nan | 0.000 % | 35.57/35.64 c =============================================================================== 35.57/35.64 c core #549 35.57/35.64 c Core size: 29 Core Weight: 1 Total Weight: -451 35.57/35.64 c Elapsed CPU time: 35.0087 s Remaining CPU time: 1764.99 s 35.67/35.71 c ============================[ Search Statistics ]============================== 35.67/35.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.67/35.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.67/35.71 c =============================================================================== 35.67/35.71 c | 0 | 2464 35141 81683 | 11713 0 nan | 0.000 % | 35.67/35.71 c =============================================================================== 35.67/35.71 c core #550 35.67/35.71 c Core size: 27 Core Weight: 1 Total Weight: -450 35.67/35.71 c Elapsed CPU time: 35.0787 s Remaining CPU time: 1764.92 s 35.67/35.78 c ============================[ Search Statistics ]============================== 35.67/35.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.67/35.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.67/35.78 c =============================================================================== 35.67/35.78 c | 0 | 2474 35142 81703 | 11714 0 nan | 0.000 % | 35.67/35.78 c =============================================================================== 35.67/35.78 c core #551 35.67/35.78 c Core size: 20 Core Weight: 1 Total Weight: -449 35.67/35.78 c Elapsed CPU time: 35.1477 s Remaining CPU time: 1764.85 s 35.76/35.85 c ============================[ Search Statistics ]============================== 35.76/35.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.76/35.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.76/35.85 c =============================================================================== 35.76/35.85 c | 0 | 2482 35143 81719 | 11714 0 nan | 0.000 % | 35.76/35.85 c =============================================================================== 35.76/35.85 c core #552 35.76/35.85 c Core size: 26 Core Weight: 1 Total Weight: -448 35.76/35.85 c Elapsed CPU time: 35.2136 s Remaining CPU time: 1764.79 s 35.87/35.92 c ============================[ Search Statistics ]============================== 35.87/35.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.87/35.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.87/35.92 c =============================================================================== 35.87/35.92 c | 0 | 2492 35144 81739 | 11714 0 nan | 0.000 % | 35.87/35.92 c =============================================================================== 35.87/35.92 c core #553 35.87/35.92 c Core size: 20 Core Weight: 1 Total Weight: -447 35.87/35.92 c Elapsed CPU time: 35.2846 s Remaining CPU time: 1764.72 s 35.87/35.99 c ============================[ Search Statistics ]============================== 35.87/35.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.87/35.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.87/35.99 c =============================================================================== 35.87/35.99 c | 0 | 2500 35145 81755 | 11715 0 nan | 0.000 % | 35.87/35.99 c =============================================================================== 35.87/35.99 c core #554 35.87/35.99 c Core size: 21 Core Weight: 1 Total Weight: -446 35.87/35.99 c Elapsed CPU time: 35.3536 s Remaining CPU time: 1764.65 s 35.97/36.06 c ============================[ Search Statistics ]============================== 35.97/36.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.97/36.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.97/36.06 c =============================================================================== 35.97/36.06 c | 0 | 2508 35146 81771 | 11715 0 nan | 0.000 % | 35.97/36.07 c =============================================================================== 35.97/36.07 c core #555 35.97/36.07 c Core size: 21 Core Weight: 1 Total Weight: -445 35.97/36.07 c Elapsed CPU time: 35.4256 s Remaining CPU time: 1764.57 s 36.07/36.13 c ============================[ Search Statistics ]============================== 36.07/36.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.07/36.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.07/36.13 c =============================================================================== 36.07/36.13 c | 0 | 2516 35147 81787 | 11715 0 nan | 0.000 % | 36.07/36.14 c =============================================================================== 36.07/36.14 c core #556 36.07/36.14 c Core size: 25 Core Weight: 1 Total Weight: -444 36.07/36.14 c Elapsed CPU time: 35.4966 s Remaining CPU time: 1764.5 s 36.17/36.20 c ============================[ Search Statistics ]============================== 36.17/36.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.17/36.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.17/36.20 c =============================================================================== 36.17/36.20 c | 0 | 2526 35148 81807 | 11716 0 nan | 0.000 % | 36.17/36.21 c =============================================================================== 36.17/36.21 c core #557 36.17/36.21 c Core size: 22 Core Weight: 1 Total Weight: -443 36.17/36.21 c Elapsed CPU time: 35.5656 s Remaining CPU time: 1764.43 s 36.17/36.28 c ============================[ Search Statistics ]============================== 36.17/36.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.17/36.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.17/36.28 c =============================================================================== 36.17/36.28 c | 0 | 2534 35149 81823 | 11716 0 nan | 0.000 % | 36.17/36.28 c =============================================================================== 36.17/36.28 c core #558 36.17/36.28 c Core size: 32 Core Weight: 1 Total Weight: -442 36.17/36.28 c Elapsed CPU time: 35.6366 s Remaining CPU time: 1764.36 s 36.27/36.35 c ============================[ Search Statistics ]============================== 36.27/36.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.27/36.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.27/36.35 c =============================================================================== 36.27/36.35 c | 0 | 2546 35150 81847 | 11716 0 nan | 0.000 % | 36.27/36.35 c =============================================================================== 36.27/36.35 c core #559 36.27/36.35 c Core size: 22 Core Weight: 1 Total Weight: -441 36.27/36.35 c Elapsed CPU time: 35.7086 s Remaining CPU time: 1764.29 s 36.37/36.42 c ============================[ Search Statistics ]============================== 36.37/36.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.37/36.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.37/36.42 c =============================================================================== 36.37/36.42 c | 0 | 2554 35151 81863 | 11717 0 nan | 0.000 % | 36.37/36.42 c =============================================================================== 36.37/36.42 c core #560 36.37/36.42 c Core size: 21 Core Weight: 1 Total Weight: -440 36.37/36.42 c Elapsed CPU time: 35.7796 s Remaining CPU time: 1764.22 s 36.37/36.49 c ============================[ Search Statistics ]============================== 36.37/36.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.37/36.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.37/36.49 c =============================================================================== 36.37/36.49 c | 0 | 2562 35152 81879 | 11717 0 nan | 0.000 % | 36.37/36.50 c =============================================================================== 36.37/36.50 c core #561 36.37/36.50 c Core size: 37 Core Weight: 1 Total Weight: -439 36.37/36.50 c Elapsed CPU time: 35.8496 s Remaining CPU time: 1764.15 s 36.47/36.56 c ============================[ Search Statistics ]============================== 36.47/36.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.47/36.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.47/36.56 c =============================================================================== 36.47/36.56 c | 0 | 2576 35153 81907 | 11717 0 nan | 0.000 % | 36.47/36.57 c =============================================================================== 36.47/36.57 c core #562 36.47/36.57 c Core size: 31 Core Weight: 1 Total Weight: -438 36.47/36.57 c Elapsed CPU time: 35.9205 s Remaining CPU time: 1764.08 s 36.57/36.63 c ============================[ Search Statistics ]============================== 36.57/36.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.57/36.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.57/36.63 c =============================================================================== 36.57/36.63 c | 0 | 2588 35154 81931 | 11718 0 nan | 0.000 % | 36.57/36.64 c =============================================================================== 36.57/36.64 c core #563 36.57/36.64 c Core size: 23 Core Weight: 1 Total Weight: -437 36.57/36.64 c Elapsed CPU time: 35.9895 s Remaining CPU time: 1764.01 s 36.67/36.70 c ============================[ Search Statistics ]============================== 36.67/36.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.67/36.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.67/36.70 c =============================================================================== 36.67/36.70 c | 0 | 2596 35155 81947 | 11718 0 nan | 0.000 % | 36.67/36.71 c =============================================================================== 36.67/36.71 c core #564 36.67/36.71 c Core size: 27 Core Weight: 1 Total Weight: -436 36.67/36.71 c Elapsed CPU time: 36.0575 s Remaining CPU time: 1763.94 s 36.67/36.78 c ============================[ Search Statistics ]============================== 36.67/36.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.67/36.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.67/36.78 c =============================================================================== 36.67/36.78 c | 0 | 2606 35156 81967 | 11718 0 nan | 0.000 % | 36.67/36.78 c =============================================================================== 36.67/36.78 c core #565 36.67/36.78 c Core size: 30 Core Weight: 1 Total Weight: -435 36.67/36.78 c Elapsed CPU time: 36.1295 s Remaining CPU time: 1763.87 s 36.77/36.85 c ============================[ Search Statistics ]============================== 36.77/36.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.77/36.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.77/36.85 c =============================================================================== 36.77/36.85 c | 0 | 2618 35157 81991 | 11719 0 nan | 0.000 % | 36.77/36.85 c =============================================================================== 36.77/36.85 c core #566 36.77/36.85 c Core size: 32 Core Weight: 1 Total Weight: -434 36.77/36.85 c Elapsed CPU time: 36.1985 s Remaining CPU time: 1763.8 s 36.87/36.92 c ============================[ Search Statistics ]============================== 36.87/36.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.87/36.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.87/36.92 c =============================================================================== 36.87/36.92 c | 0 | 2630 35158 82015 | 11719 0 nan | 0.000 % | 36.87/36.92 c =============================================================================== 36.87/36.92 c core #567 36.87/36.92 c Core size: 32 Core Weight: 1 Total Weight: -433 36.87/36.92 c Elapsed CPU time: 36.2665 s Remaining CPU time: 1763.73 s 36.87/36.99 c ============================[ Search Statistics ]============================== 36.87/36.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.87/36.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.87/36.99 c =============================================================================== 36.87/36.99 c | 0 | 2642 35159 82039 | 11719 0 nan | 0.000 % | 36.87/36.99 c =============================================================================== 36.87/36.99 c core #568 36.87/36.99 c Core size: 26 Core Weight: 1 Total Weight: -432 36.87/36.99 c Elapsed CPU time: 36.3375 s Remaining CPU time: 1763.66 s 36.97/37.06 c ============================[ Search Statistics ]============================== 36.97/37.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.97/37.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.97/37.06 c =============================================================================== 36.97/37.06 c | 0 | 2652 35160 82059 | 11720 0 nan | 0.000 % | 36.97/37.07 c =============================================================================== 36.97/37.07 c core #569 36.97/37.07 c Core size: 36 Core Weight: 1 Total Weight: -431 36.97/37.07 c Elapsed CPU time: 36.4075 s Remaining CPU time: 1763.59 s 37.07/37.13 c ============================[ Search Statistics ]============================== 37.07/37.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.07/37.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.07/37.13 c =============================================================================== 37.07/37.13 c | 0 | 2666 35161 82087 | 11720 0 nan | 0.000 % | 37.07/37.14 c =============================================================================== 37.07/37.14 c core #570 37.07/37.14 c Core size: 26 Core Weight: 1 Total Weight: -430 37.07/37.14 c Elapsed CPU time: 36.4745 s Remaining CPU time: 1763.53 s 37.17/37.20 c ============================[ Search Statistics ]============================== 37.17/37.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.17/37.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.17/37.20 c =============================================================================== 37.17/37.20 c | 0 | 2676 35162 82107 | 11720 0 nan | 0.000 % | 37.17/37.21 c =============================================================================== 37.17/37.21 c core #571 37.17/37.21 c Core size: 31 Core Weight: 1 Total Weight: -429 37.17/37.21 c Elapsed CPU time: 36.5434 s Remaining CPU time: 1763.46 s 37.17/37.27 c ============================[ Search Statistics ]============================== 37.17/37.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.17/37.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.17/37.27 c =============================================================================== 37.17/37.27 c | 0 | 2687 35163 82129 | 11721 0 nan | 0.000 % | 37.17/37.28 c =============================================================================== 37.17/37.28 c core #572 37.17/37.28 c Core size: 26 Core Weight: 1 Total Weight: -428 37.17/37.28 c Elapsed CPU time: 36.6134 s Remaining CPU time: 1763.39 s 37.27/37.34 c ============================[ Search Statistics ]============================== 37.27/37.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.27/37.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.27/37.34 c =============================================================================== 37.27/37.34 c | 0 | 2697 35164 82149 | 11721 0 nan | 0.000 % | 37.27/37.35 c =============================================================================== 37.27/37.35 c core #573 37.27/37.35 c Core size: 37 Core Weight: 1 Total Weight: -427 37.27/37.35 c Elapsed CPU time: 36.6834 s Remaining CPU time: 1763.32 s 37.37/37.41 c ============================[ Search Statistics ]============================== 37.37/37.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.37/37.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.37/37.41 c =============================================================================== 37.37/37.41 c | 0 | 2711 35165 82177 | 11721 0 nan | 0.000 % | 37.37/37.42 c =============================================================================== 37.37/37.42 c core #574 37.37/37.42 c Core size: 32 Core Weight: 1 Total Weight: -426 37.37/37.42 c Elapsed CPU time: 36.7524 s Remaining CPU time: 1763.25 s 37.37/37.49 c ============================[ Search Statistics ]============================== 37.37/37.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.37/37.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.37/37.49 c =============================================================================== 37.37/37.49 c | 0 | 2723 35166 82201 | 11722 0 nan | 0.000 % | 37.37/37.49 c =============================================================================== 37.37/37.49 c core #575 37.37/37.49 c Core size: 26 Core Weight: 1 Total Weight: -425 37.37/37.49 c Elapsed CPU time: 36.8204 s Remaining CPU time: 1763.18 s 37.47/37.56 c ============================[ Search Statistics ]============================== 37.47/37.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.47/37.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.47/37.56 c =============================================================================== 37.47/37.56 c | 0 | 2733 35167 82221 | 11722 0 nan | 0.000 % | 37.47/37.56 c =============================================================================== 37.47/37.57 c core #576 37.47/37.57 c Core size: 27 Core Weight: 1 Total Weight: -424 37.47/37.57 c Elapsed CPU time: 36.8904 s Remaining CPU time: 1763.11 s 37.57/37.63 c ============================[ Search Statistics ]============================== 37.57/37.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.57/37.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.57/37.63 c =============================================================================== 37.57/37.63 c | 0 | 2743 35168 82241 | 11722 0 nan | 0.000 % | 37.57/37.64 c =============================================================================== 37.57/37.64 c core #577 37.57/37.64 c Core size: 41 Core Weight: 1 Total Weight: -423 37.57/37.64 c Elapsed CPU time: 36.9614 s Remaining CPU time: 1763.04 s 37.67/37.70 c ============================[ Search Statistics ]============================== 37.67/37.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.67/37.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.67/37.70 c =============================================================================== 37.67/37.70 c | 0 | 2758 35169 82271 | 11723 0 nan | 0.000 % | 37.67/37.71 c =============================================================================== 37.67/37.71 c core #578 37.67/37.71 c Core size: 32 Core Weight: 1 Total Weight: -422 37.67/37.71 c Elapsed CPU time: 37.0314 s Remaining CPU time: 1762.97 s 37.67/37.77 c ============================[ Search Statistics ]============================== 37.67/37.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.67/37.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.67/37.77 c =============================================================================== 37.67/37.77 c | 0 | 2770 35170 82295 | 11723 0 nan | 0.000 % | 37.67/37.78 c =============================================================================== 37.67/37.78 c core #579 37.67/37.78 c Core size: 38 Core Weight: 1 Total Weight: -421 37.67/37.78 c Elapsed CPU time: 37.0984 s Remaining CPU time: 1762.9 s 37.76/37.84 c ============================[ Search Statistics ]============================== 37.76/37.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.76/37.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.76/37.84 c =============================================================================== 37.76/37.84 c | 0 | 2784 35171 82323 | 11723 0 nan | 0.000 % | 37.76/37.85 c =============================================================================== 37.76/37.85 c core #580 37.76/37.85 c Core size: 37 Core Weight: 1 Total Weight: -420 37.76/37.85 c Elapsed CPU time: 37.1693 s Remaining CPU time: 1762.83 s 37.86/37.91 c ============================[ Search Statistics ]============================== 37.86/37.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.86/37.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.86/37.91 c =============================================================================== 37.86/37.91 c | 0 | 2798 35172 82351 | 11724 0 nan | 0.000 % | 37.86/37.92 c =============================================================================== 37.86/37.92 c core #581 37.86/37.92 c Core size: 32 Core Weight: 1 Total Weight: -419 37.86/37.92 c Elapsed CPU time: 37.2373 s Remaining CPU time: 1762.76 s 37.86/37.98 c ============================[ Search Statistics ]============================== 37.86/37.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.86/37.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.86/37.98 c =============================================================================== 37.86/37.98 c | 0 | 2810 35173 82375 | 11724 0 nan | 0.000 % | 37.86/37.99 c =============================================================================== 37.86/37.99 c core #582 37.86/37.99 c Core size: 31 Core Weight: 1 Total Weight: -418 37.86/37.99 c Elapsed CPU time: 37.3073 s Remaining CPU time: 1762.69 s 37.96/38.05 c ============================[ Search Statistics ]============================== 37.96/38.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.96/38.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.96/38.05 c =============================================================================== 37.96/38.05 c | 0 | 2822 35174 82399 | 11724 0 nan | 0.000 % | 37.96/38.06 c =============================================================================== 37.96/38.06 c core #583 37.96/38.06 c Core size: 26 Core Weight: 1 Total Weight: -417 37.96/38.06 c Elapsed CPU time: 37.3773 s Remaining CPU time: 1762.62 s 38.07/38.13 c ============================[ Search Statistics ]============================== 38.07/38.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.07/38.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.07/38.13 c =============================================================================== 38.07/38.13 c | 0 | 2832 35175 82419 | 11725 0 nan | 0.000 % | 38.07/38.13 c =============================================================================== 38.07/38.13 c core #584 38.07/38.13 c Core size: 32 Core Weight: 1 Total Weight: -416 38.07/38.13 c Elapsed CPU time: 37.4483 s Remaining CPU time: 1762.55 s 38.17/38.20 c ============================[ Search Statistics ]============================== 38.17/38.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.17/38.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.17/38.20 c =============================================================================== 38.17/38.20 c | 0 | 2844 35176 82443 | 11725 0 nan | 0.000 % | 38.17/38.21 c =============================================================================== 38.17/38.21 c core #585 38.17/38.21 c Core size: 59 Core Weight: 1 Total Weight: -415 38.17/38.21 c Elapsed CPU time: 37.5203 s Remaining CPU time: 1762.48 s 38.17/38.27 c ============================[ Search Statistics ]============================== 38.17/38.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.17/38.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.17/38.27 c =============================================================================== 38.17/38.27 c | 0 | 2867 35177 82489 | 11725 0 nan | 0.000 % | 38.17/38.28 c =============================================================================== 38.17/38.28 c core #586 38.17/38.28 c Core size: 21 Core Weight: 1 Total Weight: -414 38.17/38.28 c Elapsed CPU time: 37.5933 s Remaining CPU time: 1762.41 s 38.26/38.35 c ============================[ Search Statistics ]============================== 38.26/38.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.26/38.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.26/38.35 c =============================================================================== 38.26/38.35 c | 0 | 2875 35178 82505 | 11726 0 nan | 0.000 % | 38.26/38.35 c =============================================================================== 38.26/38.35 c core #587 38.26/38.35 c Core size: 40 Core Weight: 1 Total Weight: -413 38.26/38.35 c Elapsed CPU time: 37.6613 s Remaining CPU time: 1762.34 s 38.36/38.42 c ============================[ Search Statistics ]============================== 38.36/38.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.36/38.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.36/38.42 c =============================================================================== 38.36/38.42 c | 0 | 2891 35179 82537 | 11726 0 nan | 0.000 % | 38.36/38.43 c =============================================================================== 38.36/38.43 c core #588 38.36/38.43 c Core size: 55 Core Weight: 1 Total Weight: -412 38.36/38.43 c Elapsed CPU time: 37.7323 s Remaining CPU time: 1762.27 s 38.36/38.50 c ============================[ Search Statistics ]============================== 38.36/38.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.36/38.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.36/38.50 c =============================================================================== 38.36/38.50 c | 0 | 2912 35180 82579 | 11726 0 nan | 0.000 % | 38.36/38.50 c =============================================================================== 38.36/38.50 c core #589 38.36/38.50 c Core size: 33 Core Weight: 1 Total Weight: -411 38.36/38.50 c Elapsed CPU time: 37.8043 s Remaining CPU time: 1762.2 s 38.46/38.57 c ============================[ Search Statistics ]============================== 38.46/38.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.46/38.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.46/38.57 c =============================================================================== 38.46/38.57 c | 0 | 2924 35181 82603 | 11727 0 nan | 0.000 % | 38.46/38.57 c =============================================================================== 38.46/38.57 c core #590 38.46/38.57 c Core size: 62 Core Weight: 1 Total Weight: -410 38.46/38.57 c Elapsed CPU time: 37.8722 s Remaining CPU time: 1762.13 s 38.56/38.64 c ============================[ Search Statistics ]============================== 38.56/38.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.56/38.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.56/38.64 c =============================================================================== 38.56/38.64 c | 0 | 2948 35182 82651 | 11727 0 nan | 0.000 % | 38.56/38.65 c =============================================================================== 38.56/38.65 c core #591 38.56/38.65 c Core size: 112 Core Weight: 1 Total Weight: -409 38.56/38.65 c Elapsed CPU time: 37.9472 s Remaining CPU time: 1762.05 s 38.66/38.72 c ============================[ Search Statistics ]============================== 38.66/38.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.66/38.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.66/38.72 c =============================================================================== 38.66/38.72 c | 0 | 2987 35183 82729 | 11727 0 nan | 0.000 % | 38.66/38.72 c =============================================================================== 38.66/38.72 c core #592 38.66/38.72 c Core size: 151 Core Weight: 1 Total Weight: -408 38.66/38.72 c Elapsed CPU time: 38.0232 s Remaining CPU time: 1761.98 s 38.66/38.79 c ============================[ Search Statistics ]============================== 38.66/38.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.66/38.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.66/38.79 c =============================================================================== 38.66/38.79 c | 0 | 3041 35184 82837 | 11728 0 nan | 0.000 % | 38.76/38.80 c | 100 | 3041 35184 82837 | 12900 100 13 | 83.862 % | 38.76/38.81 c | 253 | 3039 35184 82837 | 14190 253 20 | 84.010 % | 38.76/38.82 c =============================================================================== 38.76/38.82 c core #593 38.76/38.82 c Core size: 205 Core Weight: 1 Total Weight: -407 38.76/38.82 c Elapsed CPU time: 38.1142 s Remaining CPU time: 1761.89 s 38.76/38.88 c ============================[ Search Statistics ]============================== 38.76/38.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.76/38.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.76/38.88 c =============================================================================== 38.76/38.88 c | 0 | 3108 35185 82971 | 11728 0 nan | 0.000 % | 38.86/38.90 c | 100 | 3108 35185 82971 | 12901 100 22 | 83.559 % | 38.86/38.91 c | 251 | 3108 35185 82971 | 14191 251 36 | 83.559 % | 38.86/38.93 c | 476 | 3108 35185 82971 | 15610 476 54 | 83.559 % | 38.86/38.97 c | 815 | 3108 35185 82971 | 17171 815 73 | 83.559 % | 38.95/39.04 c | 1321 | 3108 35185 82971 | 18888 1321 119 | 83.559 % | 38.95/39.05 c =============================================================================== 38.95/39.06 c core #594 38.95/39.06 c Core size: 699 Core Weight: 1 Total Weight: -406 38.95/39.06 c Elapsed CPU time: 38.3552 s Remaining CPU time: 1761.64 s 39.06/39.13 c ============================[ Search Statistics ]============================== 39.06/39.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.06/39.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.06/39.13 c =============================================================================== 39.06/39.13 c | 0 | 3295 35186 83345 | 11728 0 nan | 0.000 % | 39.06/39.15 c | 101 | 3295 35186 83345 | 12901 101 52 | 82.741 % | 39.06/39.16 c | 252 | 3295 35186 83345 | 14191 252 51 | 82.741 % | 39.06/39.18 c | 480 | 3295 35186 83345 | 15610 480 46 | 82.741 % | 39.16/39.21 c | 819 | 3295 35186 83345 | 17171 819 56 | 82.741 % | 39.16/39.26 c | 1325 | 3295 35186 83345 | 18889 1325 51 | 82.741 % | 39.26/39.34 c | 2084 | 3295 35186 83345 | 20778 2084 56 | 82.741 % | 39.26/39.39 c =============================================================================== 39.36/39.40 c core #595 39.36/39.40 c Core size: 423 Core Weight: 1 Total Weight: -405 39.36/39.40 c Elapsed CPU time: 38.6851 s Remaining CPU time: 1761.31 s 39.36/39.47 c ============================[ Search Statistics ]============================== 39.36/39.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.36/39.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.36/39.47 c =============================================================================== 39.36/39.47 c | 0 | 3406 35187 83567 | 11729 0 nan | 0.000 % | 39.36/39.49 c | 104 | 3406 35187 83567 | 12901 104 40 | 82.262 % | 39.47/39.50 c | 255 | 3406 35187 83567 | 14192 255 61 | 82.262 % | 39.47/39.52 c | 480 | 3406 35187 83567 | 15611 480 69 | 82.262 % | 39.47/39.56 c | 817 | 3406 35187 83567 | 17172 817 65 | 82.262 % | 39.56/39.61 c | 1324 | 3406 35187 83567 | 18889 1324 64 | 82.262 % | 39.66/39.72 c | 2085 | 3406 35187 83567 | 20778 2085 80 | 82.262 % | 39.86/39.92 c | 3224 | 3406 35187 83567 | 22856 3224 106 | 82.262 % | 40.25/40.34 c | 4934 | 3406 35187 83567 | 25142 4934 129 | 82.262 % | 40.45/40.50 c =============================================================================== 40.45/40.56 c core #596 40.45/40.56 c Core size: 1127 Core Weight: 1 Total Weight: -404 40.45/40.56 c Elapsed CPU time: 39.8279 s Remaining CPU time: 1760.17 s 40.56/40.63 c ============================[ Search Statistics ]============================== 40.56/40.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.56/40.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.56/40.63 c =============================================================================== 40.56/40.63 c | 0 | 3648 35188 84051 | 11729 0 nan | 0.000 % | 40.56/40.64 c | 100 | 3648 35188 84051 | 12902 100 24 | 81.238 % | 40.56/40.66 c | 252 | 3648 35188 84051 | 14192 252 32 | 81.238 % | 40.56/40.68 c | 480 | 3648 35188 84051 | 15611 480 40 | 81.238 % | 40.66/40.70 c | 817 | 3648 35188 84051 | 17172 817 37 | 81.238 % | 40.66/40.76 c | 1324 | 3648 35188 84051 | 18890 1324 42 | 81.238 % | 40.76/40.86 c | 2084 | 3648 35188 84051 | 20779 2084 56 | 81.238 % | 40.96/41.05 c | 3226 | 3648 35188 84051 | 22857 3226 74 | 81.238 % | 41.36/41.48 c | 4937 | 3648 35188 84051 | 25142 4937 96 | 81.238 % | 42.45/42.52 c =============================================================================== 42.55/42.62 c core #597 42.55/42.62 c Core size: 846 Core Weight: 1 Total Weight: -403 42.55/42.62 c Elapsed CPU time: 41.8666 s Remaining CPU time: 1758.13 s 42.55/42.69 c ============================[ Search Statistics ]============================== 42.55/42.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.55/42.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.55/42.69 c =============================================================================== 42.55/42.69 c | 0 | 3826 35189 84407 | 11729 0 nan | 0.000 % | 42.66/42.71 c | 100 | 3826 35189 84407 | 12902 100 97 | 80.501 % | 42.66/42.72 c | 251 | 3826 35189 84407 | 14192 251 51 | 80.501 % | 42.66/42.73 c =============================================================================== 42.66/42.73 c core #598 42.66/42.73 c Core size: 237 Core Weight: 1 Total Weight: -402 42.66/42.73 c Elapsed CPU time: 41.9726 s Remaining CPU time: 1758.03 s 42.76/42.80 c ============================[ Search Statistics ]============================== 42.76/42.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.76/42.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.76/42.80 c =============================================================================== 42.76/42.80 c | 0 | 3901 35190 84557 | 11730 0 nan | 0.000 % | 42.76/42.81 c | 102 | 3901 35190 84557 | 12903 102 21 | 80.195 % | 42.76/42.82 c | 252 | 3901 35190 84557 | 14193 252 21 | 80.195 % | 42.76/42.83 c | 477 | 3901 35190 84557 | 15612 477 23 | 80.195 % | 42.76/42.86 c | 817 | 3901 35190 84557 | 17173 817 24 | 80.195 % | 42.86/42.91 c | 1323 | 3901 35190 84557 | 18891 1323 40 | 80.195 % | 42.96/43.00 c | 2082 | 3901 35190 84557 | 20780 2082 62 | 80.195 % | 43.06/43.14 c | 3221 | 3901 35190 84557 | 22858 3221 69 | 80.195 % | 43.36/43.49 c | 4930 | 3901 35190 84557 | 25144 4930 96 | 80.195 % | 43.86/43.98 c | 7494 | 3901 35190 84557 | 27658 7494 92 | 80.195 % | 44.26/44.30 c =============================================================================== 44.26/44.36 c core #599 44.26/44.36 c Core size: 1023 Core Weight: 1 Total Weight: -401 44.26/44.36 c Elapsed CPU time: 43.5804 s Remaining CPU time: 1756.42 s 44.36/44.44 c ============================[ Search Statistics ]============================== 44.36/44.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.36/44.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.36/44.44 c =============================================================================== 44.36/44.44 c | 0 | 4139 35191 85033 | 11730 0 nan | 0.000 % | 44.36/44.46 c | 102 | 4139 35191 85033 | 12903 102 51 | 79.238 % | 44.36/44.47 c | 254 | 4139 35191 85033 | 14193 254 42 | 79.238 % | 44.36/44.49 c | 480 | 4139 35191 85033 | 15613 480 43 | 79.238 % | 44.45/44.53 c | 818 | 4138 35191 85033 | 17174 817 59 | 79.243 % | 44.45/44.58 c | 1324 | 4138 35191 85033 | 18891 1323 69 | 79.243 % | 44.66/44.70 c | 2085 | 4138 35191 85033 | 20781 2084 87 | 79.243 % | 44.76/44.89 c | 3224 | 4138 35191 85033 | 22859 3223 100 | 79.243 % | 45.15/45.23 c | 4932 | 4138 35191 85033 | 25145 4931 103 | 79.243 % | 46.16/46.26 c | 7496 | 4138 35191 85033 | 27659 7495 134 | 79.243 % | 48.15/48.26 c | 11340 | 4138 35191 85033 | 30425 11339 170 | 79.243 % | 51.96/52.00 c | 17107 | 4138 35191 85033 | 33468 17106 185 | 79.243 % | 52.85/52.91 c =============================================================================== 52.85/52.92 c core #600 52.85/52.92 c Core size: 805 Core Weight: 1 Total Weight: -400 52.85/52.92 c Elapsed CPU time: 52.0721 s Remaining CPU time: 1747.93 s 52.95/53.01 c ============================[ Search Statistics ]============================== 52.95/53.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.95/53.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.95/53.01 c =============================================================================== 52.95/53.01 c | 0 | 4329 35192 85413 | 11730 0 nan | 0.000 % | 52.95/53.03 c | 100 | 4329 35192 85413 | 12903 100 42 | 78.489 % | 52.95/53.04 c | 250 | 4329 35192 85413 | 14194 250 28 | 78.489 % | 52.95/53.06 c | 476 | 4329 35192 85413 | 15613 476 33 | 78.489 % | 52.95/53.09 c | 814 | 4329 35192 85413 | 17174 814 38 | 78.489 % | 53.05/53.14 c | 1325 | 4329 35192 85413 | 18892 1325 48 | 78.489 % | 53.15/53.24 c | 2084 | 4329 35192 85413 | 20781 2084 56 | 78.489 % | 53.36/53.41 c | 3224 | 4329 35192 85413 | 22859 3224 66 | 78.489 % | 53.65/53.74 c | 4934 | 4329 35192 85413 | 25145 4934 77 | 78.489 % | 54.25/54.35 c | 7498 | 4329 35192 85413 | 27660 7498 98 | 78.489 % | 55.65/55.70 c | 11343 | 4329 35192 85413 | 30426 11343 156 | 78.489 % | 57.25/57.31 c | 17109 | 4328 35192 85413 | 33468 17094 145 | 78.494 % | 58.75/58.88 c =============================================================================== 58.95/59.00 c core #601 58.95/59.00 c Core size: 686 Core Weight: 1 Total Weight: -399 58.95/59.00 c Elapsed CPU time: 58.0832 s Remaining CPU time: 1741.92 s 59.05/59.10 c ============================[ Search Statistics ]============================== 59.05/59.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.05/59.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.05/59.10 c =============================================================================== 59.05/59.10 c | 0 | 4468 35193 85691 | 11731 0 nan | 0.000 % | 59.05/59.12 c | 101 | 4468 35193 85691 | 12904 101 45 | 77.951 % | 59.05/59.14 c | 251 | 4468 35193 85691 | 14194 251 41 | 77.951 % | 59.05/59.16 c | 476 | 4468 35193 85691 | 15613 476 49 | 77.951 % | 59.05/59.19 c | 815 | 4468 35193 85691 | 17175 815 50 | 77.951 % | 59.15/59.25 c | 1321 | 4468 35193 85691 | 18892 1321 57 | 77.951 % | 59.26/59.34 c | 2082 | 4468 35193 85691 | 20782 2082 69 | 77.951 % | 59.36/59.48 c | 3222 | 4468 35193 85691 | 22860 3222 68 | 77.951 % | 59.65/59.76 c | 4930 | 4468 35193 85691 | 25146 4930 74 | 77.951 % | 60.15/60.28 c | 7492 | 4468 35193 85691 | 27661 7492 79 | 77.951 % | 61.35/61.43 c | 11338 | 4468 35193 85691 | 30427 11338 110 | 77.951 % | 63.85/63.97 c | 17110 | 4468 35193 85691 | 33469 17110 132 | 77.951 % | 65.25/65.33 c =============================================================================== 65.45/65.55 c core #602 65.45/65.55 c Core size: 728 Core Weight: 1 Total Weight: -398 65.45/65.55 c Elapsed CPU time: 64.5812 s Remaining CPU time: 1735.42 s 65.55/65.65 c ============================[ Search Statistics ]============================== 65.55/65.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.55/65.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.55/65.65 c =============================================================================== 65.55/65.65 c | 0 | 4611 35194 85977 | 11731 0 nan | 0.000 % | 65.55/65.67 c | 100 | 4611 35194 85977 | 12904 100 17 | 77.405 % | 65.55/65.68 c | 253 | 4611 35194 85977 | 14194 253 25 | 77.405 % | 65.65/65.70 c | 478 | 4611 35194 85977 | 15614 478 23 | 77.405 % | 65.65/65.73 c | 815 | 4611 35194 85977 | 17175 815 32 | 77.405 % | 65.65/65.78 c | 1321 | 4611 35194 85977 | 18893 1321 36 | 77.405 % | 65.75/65.88 c | 2081 | 4611 35194 85977 | 20782 2081 49 | 77.405 % | 65.96/66.09 c | 3221 | 4611 35194 85977 | 22861 3221 67 | 77.405 % | 66.35/66.47 c | 4929 | 4611 35194 85977 | 25147 4929 82 | 77.405 % | 67.25/67.36 c | 7491 | 4611 35194 85977 | 27661 7491 115 | 77.405 % | 67.45/67.50 c =============================================================================== 67.55/67.60 c core #603 67.55/67.60 c Core size: 503 Core Weight: 1 Total Weight: -397 67.55/67.60 c Elapsed CPU time: 66.6169 s Remaining CPU time: 1733.38 s 67.55/67.69 c ============================[ Search Statistics ]============================== 67.55/67.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.55/67.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.55/67.69 c =============================================================================== 67.55/67.69 c | 0 | 4715 35195 86185 | 11731 0 nan | 0.000 % | 67.65/67.71 c | 103 | 4715 35195 86185 | 12904 103 31 | 77.012 % | 67.65/67.72 c | 253 | 4715 35195 86185 | 14195 253 39 | 77.012 % | 67.65/67.75 c | 479 | 4715 35195 86185 | 15614 479 49 | 77.012 % | 67.65/67.78 c | 817 | 4715 35195 86185 | 17176 817 53 | 77.012 % | 67.75/67.85 c | 1323 | 4715 35195 86185 | 18893 1323 61 | 77.012 % | 67.94/68.00 c | 2082 | 4715 35195 86185 | 20783 2082 81 | 77.012 % | 68.15/68.20 c | 3222 | 4715 35195 86185 | 22861 3222 91 | 77.012 % | 68.55/68.69 c | 4933 | 4715 35195 86185 | 25147 4933 116 | 77.012 % | 69.85/69.91 c | 7495 | 4715 35195 86185 | 27662 7495 153 | 77.012 % | 70.95/71.00 c | 11340 | 4715 35195 86185 | 30428 11340 147 | 77.012 % | 73.35/73.48 c | 17108 | 4715 35195 86185 | 33471 17108 160 | 77.012 % | 79.44/79.53 c | 25764 | 4715 35195 86185 | 36818 25764 188 | 77.012 % | 93.84/93.96 c | 38740 | 4715 35195 86185 | 40500 38740 191 | 77.012 % | 123.92/124.09 c | 58201 | 4715 35195 86185 | 44550 16941 198 | 77.012 % | 163.60/163.71 c | 87394 | 4715 35195 86185 | 49006 46134 201 | 77.012 % | 249.35/249.51 c | 131185 | 4715 35195 86185 | 53906 42433 220 | 77.012 % | 377.99/378.28 c | 196871 | 4715 35195 86185 | 59297 55657 275 | 77.012 % | 526.02/526.32 c | 295397 | 4715 35195 86185 | 65227 36257 164 | 77.012 % | 813.66/814.13 c | 443191 | 4715 35195 86185 | 71749 57712 177 | 77.012 % | 1044.64/1045.28 c =============================================================================== 1067.63/1068.21 c core #604 1067.63/1068.21 c Core size: 1852 Core Weight: 1 Total Weight: -396 1067.63/1068.21 c Elapsed CPU time: 1063.51 s Remaining CPU time: 736.486 s 1068.24/1068.89 c ============================[ Search Statistics ]============================== 1068.24/1068.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1068.24/1068.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1068.24/1068.89 c =============================================================================== 1068.24/1068.89 c | 0 | 5024 35196 86803 | 11732 0 nan | 0.000 % | 1068.43/1069.01 c | 100 | 5024 35196 86803 | 12905 100 67 | 75.869 % | 1068.43/1069.03 c | 250 | 5024 35196 86803 | 14195 250 46 | 75.869 % | 1068.43/1069.04 c | 476 | 5024 35196 86803 | 15615 476 41 | 75.869 % | 1068.43/1069.07 c | 813 | 5024 35196 86803 | 17176 813 37 | 75.869 % | 1068.54/1069.13 c | 1319 | 5024 35196 86803 | 18894 1319 42 | 75.869 % | 1068.63/1069.22 c | 2079 | 5024 35196 86803 | 20783 2079 59 | 75.869 % | 1068.73/1069.36 c | 3218 | 5024 35196 86803 | 22862 3218 63 | 75.869 % | 1069.04/1069.67 c | 4927 | 5024 35196 86803 | 25148 4927 80 | 75.869 % | 1069.53/1070.12 c | 7489 | 5024 35196 86803 | 27663 7489 83 | 75.869 % | 1070.63/1071.28 c | 11333 | 5024 35196 86803 | 30429 11333 99 | 75.869 % | 1074.22/1074.89 c | 17099 | 5024 35196 86803 | 33472 17099 124 | 75.869 % | 1084.42/1085.04 c | 25748 | 5024 35196 86803 | 36820 25748 160 | 75.869 % | 1098.81/1099.49 c | 38724 | 5024 35196 86803 | 40502 38724 172 | 75.869 % | 1137.80/1138.45 c | 58185 | 5024 35196 86803 | 44552 16854 176 | 75.869 % | 1186.37/1187.05 c | 87378 | 5024 35196 86803 | 49007 46047 262 | 75.869 % | 1233.06/1233.73 c | 131168 | 5024 35196 86803 | 53908 39045 239 | 75.869 % | 1352.30/1353.03 c | 196860 | 5024 35196 86803 | 59299 51871 187 | 75.869 % | 1528.51/1529.35 c =============================================================================== 1537.61/1538.45 c core #605 1537.61/1538.45 c Core size: 1035 Core Weight: 1 Total Weight: -395 1537.61/1538.45 c Elapsed CPU time: 1532.34 s Remaining CPU time: 267.664 s 1538.11/1538.92 c ============================[ Search Statistics ]============================== 1538.11/1538.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 1538.11/1538.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1538.11/1538.92 c =============================================================================== 1538.11/1538.92 c | 0 | 5205 35197 87165 | 11732 0 nan | 0.000 % | 1538.20/1539.03 c | 102 | 5205 35197 87165 | 12905 102 38 | 75.215 % | 1538.20/1539.04 c | 254 | 5205 35197 87165 | 14196 254 25 | 75.215 % | 1538.20/1539.06 c | 479 | 5205 35197 87165 | 15615 479 43 | 75.215 % | 1538.20/1539.10 c | 816 | 5205 35197 87165 | 17177 816 42 | 75.215 % | 1538.30/1539.17 c | 1325 | 5205 35197 87165 | 18895 1325 57 | 75.215 % | 1538.40/1539.24 c | 2084 | 5205 35197 87165 | 20784 2084 46 | 75.215 % | 1538.50/1539.39 c | 3223 | 5205 35197 87165 | 22862 3223 53 | 75.215 % | 1538.90/1539.70 c | 4933 | 5205 35197 87165 | 25149 4933 67 | 75.215 % | 1539.50/1540.38 c | 7496 | 5205 35197 87165 | 27664 7496 82 | 75.215 % | 1541.00/1541.87 c | 11340 | 5205 35197 87165 | 30430 11340 105 | 75.215 % | 1545.40/1546.20 c | 17107 | 5205 35197 87165 | 33473 17107 144 | 75.215 % | 1556.59/1557.49 c | 25756 | 5205 35197 87165 | 36821 25756 178 | 75.215 % | 1577.78/1578.62 c | 38731 | 5205 35197 87165 | 40503 38731 198 | 75.215 % | 1623.77/1624.61 c | 58195 | 5205 35197 87165 | 44553 17795 239 | 75.215 % | 1650.85/1651.73 c =============================================================================== 1653.65/1654.55 c core #606 1653.65/1654.55 c Core size: 935 Core Weight: 1 Total Weight: -394 1653.65/1654.55 c Elapsed CPU time: 1648.11 s Remaining CPU time: 151.891 s 1653.96/1654.80 c ============================[ Search Statistics ]============================== 1653.96/1654.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1653.96/1654.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1653.96/1654.80 c =============================================================================== 1653.96/1654.80 c | 0 | 5378 35198 87511 | 11732 0 nan | 0.000 % | 1653.96/1654.86 c | 100 | 5378 35198 87511 | 12905 100 27 | 74.601 % | 1653.96/1654.87 c | 251 | 5378 35198 87511 | 14196 251 22 | 74.601 % | 1653.96/1654.89 c | 476 | 5378 35198 87511 | 15616 476 28 | 74.601 % | 1654.05/1654.93 c | 814 | 5378 35198 87511 | 17177 814 38 | 74.601 % | 1654.05/1654.98 c | 1320 | 5378 35198 87511 | 18895 1320 39 | 74.601 % | 1654.15/1655.07 c | 2079 | 5378 35198 87511 | 20785 2079 48 | 74.601 % | 1654.35/1655.23 c | 3219 | 5378 35198 87511 | 22863 3219 57 | 74.601 % | 1654.75/1655.65 c | 4927 | 5378 35198 87511 | 25150 4927 83 | 74.601 % | 1655.66/1656.55 c | 7489 | 5378 35198 87511 | 27665 7489 108 | 74.601 % | 1657.14/1658.09 c | 11333 | 5378 35198 87511 | 30431 11333 116 | 74.601 % | 1662.64/1663.50 c | 17105 | 5378 35198 87511 | 33474 17105 147 | 74.601 % | 1672.24/1673.13 c | 25755 | 5378 35198 87511 | 36822 25755 156 | 74.601 % | 1694.24/1695.19 c | 38734 | 5378 35198 87511 | 40504 38734 179 | 74.601 % | 1734.61/1735.58 c | 58201 | 5378 35198 87511 | 44554 15154 218 | 74.601 % | 1788.98/1789.91 c | 87393 | 5378 35198 87511 | 49010 44346 307 | 74.601 % |
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-1875337-1245199528/watcher-1875337-1245199528 -o /tmp/evaluation-result-1875337-1245199528/solver-1875337-1245199528 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875337-1245199528.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/65 15489 /proc/meminfo: memFree=1819056/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=4152 CPUtime=0 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 187550811 4251648 268 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 1038 268 126 292 0 406 0 [startup+0.0838941 s] /proc/loadavg: 1.00 1.00 1.00 3/65 15489 /proc/meminfo: memFree=1819056/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=7848 CPUtime=0.07 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 1247 0 0 0 7 0 0 0 18 0 1 0 187550811 8036352 1231 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 1962 1232 237 292 0 1330 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7848 [startup+0.101896 s] /proc/loadavg: 1.00 1.00 1.00 3/65 15489 /proc/meminfo: memFree=1819056/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=8128 CPUtime=0.09 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 1343 0 0 0 9 0 0 0 18 0 1 0 187550811 8323072 1327 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 2032 1327 270 292 0 1400 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8128 [startup+0.301935 s] /proc/loadavg: 1.00 1.00 1.00 3/65 15489 /proc/meminfo: memFree=1819056/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=13320 CPUtime=0.29 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 3730 0 0 0 28 1 0 0 19 0 1 0 187550811 13639680 2815 1992294400 134512640 135709839 4294956240 18446744073709551615 134570801 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 3330 2815 134 292 0 3035 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13320 [startup+0.702011 s] /proc/loadavg: 1.00 1.00 1.00 3/65 15489 /proc/meminfo: memFree=1819056/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=22304 CPUtime=0.69 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 5963 0 0 0 66 3 0 0 23 0 1 0 187550811 22839296 5048 1992294400 134512640 135709839 4294956240 18446744073709551615 135166063 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 5576 5048 134 292 0 5281 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22304 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=1794088/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=36400 CPUtime=1.49 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 9427 0 0 0 145 4 0 0 25 0 1 0 187550811 37273600 8513 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 9100 8513 134 292 0 8805 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36400 [startup+3.10147 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=1774440/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=64628 CPUtime=3.09 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 16448 0 0 0 303 6 0 0 25 0 1 0 187550811 66179072 15533 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 16157 15533 134 292 0 15862 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64628 [startup+6.30108 s] /proc/loadavg: 1.08 1.02 1.01 2/66 15490 /proc/meminfo: memFree=1717480/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=119396 CPUtime=6.28 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 30123 0 0 0 617 11 0 0 25 0 1 0 187550811 122261504 29208 1992294400 134512640 135709839 4294956240 18446744073709551615 134529868 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 29849 29208 134 292 0 29554 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 119396 [startup+12.7013 s] /proc/loadavg: 1.07 1.02 1.00 2/66 15490 /proc/meminfo: memFree=1605880/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=226772 CPUtime=12.69 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 57045 0 0 0 1248 21 0 0 25 0 1 0 187550811 232214528 56130 1992294400 134512640 135709839 4294956240 18446744073709551615 135164441 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 56693 56130 134 292 0 56398 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 226772 [startup+25.5017 s] /proc/loadavg: 1.06 1.01 1.00 2/66 15490 /proc/meminfo: memFree=1390008/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=435300 CPUtime=25.48 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 109218 0 0 0 2504 44 0 0 25 0 1 0 187550811 445747200 108303 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 108825 108303 134 292 0 108530 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 435300 [startup+51.1016 s] /proc/loadavg: 1.04 1.01 1.00 2/66 15490 /proc/meminfo: memFree=1156472/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=664264 CPUtime=51.05 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 166508 0 0 0 5026 79 0 0 25 0 1 0 187550811 680206336 165593 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 166066 165593 136 292 0 165771 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 664264 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/66 15490 /proc/meminfo: memFree=1101816/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=718444 CPUtime=102.23 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 179897 0 0 0 10110 113 0 0 25 0 1 0 187550811 735686656 178982 1992294400 134512640 135709839 4294956240 18446744073709551615 134518449 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 179611 178982 136 292 0 179316 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 718444 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=1056504/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=763996 CPUtime=162.2 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 191301 0 0 0 16086 134 0 0 25 0 1 0 187550811 782331904 190386 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 190999 190386 136 292 0 190704 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 763996 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=1015672/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=804600 CPUtime=222.17 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 201399 0 0 0 22067 150 0 0 25 0 1 0 187550811 823910400 200484 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 201150 200484 136 292 0 200855 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 804600 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=979512/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=841100 CPUtime=282.13 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 210502 0 0 0 28046 167 0 0 25 0 1 0 187550811 861286400 209587 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 210275 209587 136 292 0 209980 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 841100 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=932408/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=887768 CPUtime=342.1 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 222181 0 0 0 34024 186 0 0 25 0 1 0 187550811 909074432 221266 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 221942 221266 136 292 0 221647 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 887768 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=896696/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=923608 CPUtime=402.08 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 231108 0 0 0 40003 205 0 0 25 0 1 0 187550811 945774592 230193 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 230902 230193 136 292 0 230607 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 923608 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=842680/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=977784 CPUtime=462.05 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 244652 0 0 0 45978 227 0 0 25 0 1 0 187550811 1001250816 243737 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 244446 243737 136 292 0 244151 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 977784 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=782776/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1037748 CPUtime=522.03 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 259615 0 0 0 51952 251 0 0 25 0 1 0 187550811 1062653952 258700 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 259437 258700 136 292 0 259142 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 1037748 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=744888/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1075132 CPUtime=581.98 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 268961 0 0 0 57929 269 0 0 25 0 1 0 187550811 1100935168 268046 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 268783 268046 136 292 0 268488 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 1075132 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15490 /proc/meminfo: memFree=701560/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1118096 CPUtime=641.96 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 279713 0 0 0 63909 287 0 0 25 0 1 0 187550811 1144930304 278798 1992294400 134512640 135709839 4294956240 18446744073709551615 134579117 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 279524 278798 136 292 0 279229 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 1118096 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15492 /proc/meminfo: memFree=546296/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1273280 CPUtime=881.84 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 318462 0 0 0 87827 357 0 0 25 0 1 0 187550811 1303838720 317547 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 318320 317547 136 292 0 318025 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 1273280 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=480824/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1339148 CPUtime=941.79 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 334911 0 0 0 93801 378 0 0 25 0 1 0 187550811 1371287552 333996 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 334787 333996 136 292 0 334492 0 Current children cumulated CPU time (s) 941.79 Current children cumulated vsize (KiB) 1339148 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=428600/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1390700 CPUtime=1001.76 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 347804 0 0 0 99780 396 0 0 25 0 1 0 187550811 1424076800 346889 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 347675 346889 136 292 0 347380 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 1390700 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=374072/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1445016 CPUtime=1061.73 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 361358 0 0 0 105760 413 0 0 25 0 1 0 187550811 1479696384 360443 1992294400 134512640 135709839 4294956240 18446744073709551615 134583795 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 361254 360443 136 292 0 360959 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 1445016 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=369272/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1449016 CPUtime=1121.7 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 362797 0 0 0 111742 428 0 0 25 0 1 0 187550811 1483792384 361640 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 362254 361640 136 292 0 361959 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 1449016 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=368824/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1449016 CPUtime=1181.68 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 362868 0 0 0 117730 438 0 0 25 0 1 0 187550811 1483792384 361711 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 362254 361711 136 292 0 361959 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 1449016 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=340728/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1477172 CPUtime=1241.65 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 369882 0 0 0 123708 457 0 0 25 0 1 0 187550811 1512624128 368725 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 369293 368725 136 292 0 368998 0 Current children cumulated CPU time (s) 1241.65 Current children cumulated vsize (KiB) 1477172 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=320824/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1496988 CPUtime=1301.62 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 374804 0 0 0 129694 468 0 0 25 0 1 0 187550811 1532915712 373647 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 374247 373647 136 292 0 373952 0 Current children cumulated CPU time (s) 1301.62 Current children cumulated vsize (KiB) 1496988 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=294776/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1523372 CPUtime=1361.59 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 381412 0 0 0 135673 486 0 0 25 0 1 0 187550811 1559932928 380255 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 380843 380255 136 292 0 380548 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 1523372 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=248952/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1569028 CPUtime=1421.57 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 392790 0 0 0 141653 504 0 0 25 0 1 0 187550811 1606684672 391633 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 392257 391633 136 292 0 391962 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 1569028 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=205048/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1613412 CPUtime=1481.53 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 403867 0 0 0 147632 521 0 0 25 0 1 0 187550811 1652133888 402710 1992294400 134512640 135709839 4294956240 18446744073709551615 134573742 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 403353 402710 136 292 0 403058 0 Current children cumulated CPU time (s) 1481.53 Current children cumulated vsize (KiB) 1613412 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=165048/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1652564 CPUtime=1541.5 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 413764 0 0 0 153613 537 0 0 25 0 1 0 187550811 1692225536 412485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 413141 412485 136 292 0 412846 0 Current children cumulated CPU time (s) 1541.5 Current children cumulated vsize (KiB) 1652564 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=164728/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1652564 CPUtime=1601.47 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 413869 0 0 0 159600 547 0 0 25 0 1 0 187550811 1692225536 412590 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 413141 412590 136 292 0 412846 0 Current children cumulated CPU time (s) 1601.47 Current children cumulated vsize (KiB) 1652564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=130040/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1687156 CPUtime=1661.44 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 422592 0 0 0 165579 565 0 0 25 0 1 0 187550811 1727647744 421189 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 421789 421189 136 292 0 421494 0 Current children cumulated CPU time (s) 1661.44 Current children cumulated vsize (KiB) 1687156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=118264/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1699296 CPUtime=1721.41 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 425623 0 0 0 171562 579 0 0 25 0 1 0 187550811 1740079104 424220 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 424824 424220 136 292 0 424529 0 Current children cumulated CPU time (s) 1721.41 Current children cumulated vsize (KiB) 1699296 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=76600/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1741016 CPUtime=1781.38 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 436011 0 0 0 177540 598 0 0 25 0 1 0 187550811 1782800384 434608 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 435254 434608 136 292 0 434959 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (KiB) 1741016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=63608/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=1753720 CPUtime=1800.08 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4194304 439175 0 0 0 179405 603 0 0 25 0 1 0 187550811 1795809280 437772 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 438430 437772 136 292 0 438135 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1753720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15498 /proc/meminfo: memFree=63608/2055920 swapFree=4178232/4192956 [pid=15489] ppid=15487 vsize=0 CPUtime=1800.28 /proc/15489/stat : 15489 (wbo) R 15487 15489 14246 0 -1 4195332 439175 0 0 0 179405 623 0 0 25 0 1 0 187550811 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/15489/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.26 CPU time (s): 1800.34 CPU user time (s): 1794.05 CPU system time (s): 6.28804 CPU usage (%): 99.949 Max. virtual memory (cumulated for all children) (KiB): 1753720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.05 system time used= 6.28804 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 439175 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= 5 involuntary context switches= 7751 runsolver used 2.22666 second user time and 3.90941 second system time The end
Begin job on node91 at 2009-06-17 02:45:29 IDJOB=1875337 IDBENCH=48177 IDSOLVER=698 FILE ID=node91/1875337-1245199528 PBS_JOBID= 9368298 Free space on /tmp= 66444 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.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-1875337-1245199528/watcher-1875337-1245199528 -o /tmp/evaluation-result-1875337-1245199528/solver-1875337-1245199528 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875337-1245199528.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=1878387120 node91.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.261 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1820496 kB Buffers: 13132 kB Cached: 154588 kB SwapCached: 8264 kB Active: 63756 kB Inactive: 113772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820496 kB SwapTotal: 4192956 kB SwapFree: 4178232 kB Dirty: 2804 kB Writeback: 0 kB Mapped: 15500 kB Slab: 43724 kB Committed_AS: 93052 kB PageTables: 1364 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875337-1245199528.opb Free space on /tmp at the end= 66440 MiB End job on node91 at 2009-06-17 03:15:32