Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1630.18 | 1630.88 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb |
MD5SUM | d4957a1112a9baa7413020ddf827f352 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1045 |
Best CPU time to get the best result obtained on this benchmark | 1797.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1037 |
Optimality of the best value was proved | NO |
Number of variables | 1963 |
Total number of constraints | 4000 |
Number of constraints which are clauses | 4000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1963 |
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 | 1963 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1963 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1875707-1245144843.opb. 0.00/0.00 c Instance file HOME/instance-1875707-1245144843.opb 0.00/0.00 c File size is 112294 bytes. 0.00/0.01 c Highest Coefficient sum: 3 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1963 | 0.00/0.01 c | Number Clauses: 5963 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.04/0.04 c core #9 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 9 0.04/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.04/0.05 c core #10 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 10 0.04/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #11 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 11 0.04/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #12 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.04/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #13 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 13 0.04/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #14 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 14 0.04/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #15 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 15 0.04/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #16 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 16 0.04/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #17 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 17 0.04/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #18 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 18 0.04/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #19 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 19 0.04/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #20 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 20 0.04/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #21 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 21 0.04/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #22 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 22 0.04/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #23 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 23 0.04/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.04/0.10 c core #24 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 24 0.04/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #25 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 25 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #26 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 26 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #27 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 27 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #28 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 28 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #29 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 29 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #30 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 30 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #31 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 31 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #32 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 32 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #33 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 33 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #34 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 34 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #35 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 35 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #36 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 36 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #37 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 37 0.09/0.14 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #38 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 38 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #39 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 39 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #40 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 40 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #41 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 41 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #42 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 42 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #43 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 43 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #44 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 44 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #45 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 45 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #46 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 46 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #47 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #48 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #49 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 49 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #50 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 50 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.09/0.20 c core #51 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: 51 0.09/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #52 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 52 0.19/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #53 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 53 0.19/0.20 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #54 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 54 0.19/0.21 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #55 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #56 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #57 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 57 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #58 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 58 0.19/0.22 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #59 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 59 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #60 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 60 0.19/0.23 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #61 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 61 0.19/0.23 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #62 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 62 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #63 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 63 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #64 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 64 0.19/0.25 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #65 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 65 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #66 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 66 0.19/0.25 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #67 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 67 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #68 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 68 0.19/0.26 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #69 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 69 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #70 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 70 0.19/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #71 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 71 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #72 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 72 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #73 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 73 0.19/0.28 c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #74 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.28 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #75 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 75 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #76 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #77 0.19/0.30 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #78 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 78 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #79 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 79 0.29/0.30 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #80 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 80 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #81 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 81 0.29/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #82 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 82 0.29/0.32 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #83 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 83 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #84 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 84 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #85 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 85 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #86 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 86 0.29/0.33 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #87 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 87 0.29/0.34 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #88 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 88 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #89 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 89 0.29/0.34 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #90 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 90 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #91 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 91 0.29/0.35 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #92 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 92 0.29/0.35 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #93 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 93 0.29/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #94 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 94 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #95 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 95 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #96 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 96 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #97 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 97 0.29/0.37 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #98 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 98 0.29/0.38 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #99 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 99 0.29/0.38 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #100 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 100 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #101 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 101 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #102 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 102 0.29/0.39 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #103 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 103 0.39/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #104 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 104 0.39/0.40 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #105 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 105 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #106 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 106 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #107 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 107 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #108 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 108 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #109 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 109 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #110 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 110 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #111 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 111 0.39/0.43 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #112 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 112 0.39/0.43 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #113 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 113 0.39/0.44 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #114 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 114 0.39/0.44 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #115 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 115 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #116 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 116 0.39/0.45 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #117 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 117 0.39/0.46 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #118 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 118 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #119 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 119 0.39/0.46 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #120 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 120 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #121 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 121 0.39/0.47 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #122 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 122 0.39/0.48 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #123 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 123 0.39/0.48 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #124 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 124 0.39/0.48 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #125 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 125 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #126 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 126 0.39/0.49 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.39/0.50 c core #127 0.39/0.50 c Core size: 3 Core Weight: 1 Total Weight: 127 0.39/0.50 c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #128 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 128 0.49/0.50 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #129 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 129 0.49/0.50 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #130 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 130 0.49/0.51 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #131 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 131 0.49/0.51 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #132 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 132 0.49/0.52 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #133 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 133 0.49/0.52 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #134 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 134 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #135 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 135 0.49/0.53 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #136 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 136 0.49/0.53 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #137 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 137 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #138 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 138 0.49/0.54 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #139 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 139 0.49/0.55 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #140 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 140 0.49/0.55 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #141 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 141 0.49/0.55 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #142 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 142 0.49/0.56 c Elapsed CPU time: 0.558915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #143 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 143 0.49/0.56 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #144 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 144 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #145 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 145 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #146 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 146 0.49/0.58 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #147 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 147 0.49/0.58 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #148 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 148 0.49/0.58 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #149 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 149 0.49/0.59 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #150 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 150 0.49/0.59 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #151 0.49/0.60 c Core size: 3 Core Weight: 1 Total Weight: 151 0.49/0.60 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #152 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 152 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #153 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 153 0.59/0.60 c Elapsed CPU time: 0.604908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #154 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 154 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #155 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 155 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #156 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 156 0.59/0.62 c Elapsed CPU time: 0.617906 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #157 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 157 0.59/0.62 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #158 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 158 0.59/0.63 c Elapsed CPU time: 0.626904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #159 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 159 0.59/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #160 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 160 0.59/0.63 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #161 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 161 0.59/0.64 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #162 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 162 0.59/0.64 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #163 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 163 0.59/0.65 c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #164 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 164 0.59/0.65 c Elapsed CPU time: 0.6519 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #165 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 165 0.59/0.66 c Elapsed CPU time: 0.6559 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #166 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 166 0.59/0.66 c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #167 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 167 0.59/0.66 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #168 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 168 0.59/0.67 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #169 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 169 0.59/0.67 c Elapsed CPU time: 0.672897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #170 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 170 0.59/0.68 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #171 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 171 0.59/0.68 c Elapsed CPU time: 0.681896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #172 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 172 0.59/0.69 c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #173 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 173 0.59/0.69 c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #174 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 174 0.59/0.69 c Elapsed CPU time: 0.694894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #175 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 175 0.69/0.70 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #176 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 176 0.69/0.70 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #177 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 177 0.69/0.71 c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #178 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 178 0.69/0.71 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #179 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 179 0.69/0.72 c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #180 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 180 0.69/0.72 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #181 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 181 0.69/0.73 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #182 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 182 0.69/0.73 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #183 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 183 0.69/0.73 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #184 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 184 0.69/0.74 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #185 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 185 0.69/0.74 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #186 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 186 0.69/0.75 c Elapsed CPU time: 0.745886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #187 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 187 0.69/0.75 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #188 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 188 0.69/0.76 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #189 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 189 0.69/0.76 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #190 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 190 0.69/0.77 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #191 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 191 0.69/0.77 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #192 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 192 0.69/0.77 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #193 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 193 0.69/0.78 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #194 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 194 0.69/0.78 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #195 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 195 0.69/0.79 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.69/0.79 c core #196 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 196 0.69/0.79 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.69/0.80 c core #197 0.69/0.80 c Core size: 3 Core Weight: 1 Total Weight: 197 0.69/0.80 c Elapsed CPU time: 0.794879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #198 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 198 0.79/0.80 c Elapsed CPU time: 0.799878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #199 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 199 0.79/0.81 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #200 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 200 0.79/0.81 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #201 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 201 0.79/0.81 c Elapsed CPU time: 0.812876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #202 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 202 0.79/0.82 c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s 0.79/0.82 c core #203 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 203 0.79/0.82 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #204 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 204 0.79/0.83 c Elapsed CPU time: 0.826874 s Remaining CPU time: 1799.17 s 0.79/0.83 c core #205 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 205 0.79/0.83 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #206 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 206 0.79/0.84 c Elapsed CPU time: 0.836872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #207 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 207 0.79/0.84 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #208 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 208 0.79/0.85 c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s 0.79/0.85 c core #209 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 209 0.79/0.85 c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #210 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 210 0.79/0.86 c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #211 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 211 0.79/0.86 c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #212 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 212 0.79/0.87 c Elapsed CPU time: 0.863868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #213 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 213 0.79/0.87 c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #214 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 214 0.79/0.88 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #215 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 215 0.79/0.88 c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s 0.79/0.88 c core #216 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 216 0.79/0.88 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #217 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 217 0.79/0.89 c Elapsed CPU time: 0.886865 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #218 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 218 0.79/0.89 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #219 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: 219 0.89/0.90 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.90 c core #220 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: 220 0.89/0.90 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #221 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 221 0.89/0.91 c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s 0.89/0.91 c core #222 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 222 0.89/0.91 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #223 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 223 0.89/0.92 c Elapsed CPU time: 0.91586 s Remaining CPU time: 1799.08 s 0.89/0.92 c core #224 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 224 0.89/0.92 c Elapsed CPU time: 0.92086 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #225 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 225 0.89/0.93 c Elapsed CPU time: 0.925859 s Remaining CPU time: 1799.07 s 0.89/0.93 c core #226 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 226 0.89/0.93 c Elapsed CPU time: 0.930858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #227 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 227 0.89/0.94 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.89/0.94 c core #228 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 228 0.89/0.94 c Elapsed CPU time: 0.939857 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #229 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 229 0.89/0.95 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #230 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 230 0.89/0.95 c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #231 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 231 0.89/0.96 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #232 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 232 0.89/0.96 c Elapsed CPU time: 0.959854 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #233 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 233 0.89/0.97 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #234 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 234 0.89/0.97 c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #235 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 235 0.89/0.98 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #236 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 236 0.89/0.98 c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #237 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 237 0.89/0.99 c Elapsed CPU time: 0.98385 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #238 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 238 0.89/0.99 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #239 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 239 0.89/1.00 c Elapsed CPU time: 0.993848 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #240 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 240 0.89/1.00 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 0.99/1.01 c core #241 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 241 0.99/1.01 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 0.99/1.01 c core #242 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 242 0.99/1.01 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #243 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: 243 0.99/1.02 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #244 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: 244 0.99/1.02 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #245 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 245 0.99/1.03 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #246 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 246 0.99/1.03 c Elapsed CPU time: 1.02984 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #247 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 247 0.99/1.04 c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #248 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 248 0.99/1.04 c Elapsed CPU time: 1.03984 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #249 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 249 0.99/1.05 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #250 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 250 0.99/1.05 c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #251 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 251 0.99/1.06 c Elapsed CPU time: 1.05584 s Remaining CPU time: 1798.94 s 0.99/1.06 c core #252 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 252 0.99/1.06 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #253 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 253 0.99/1.07 c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s 0.99/1.07 c core #254 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 254 0.99/1.07 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #255 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 255 0.99/1.08 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 0.99/1.08 c core #256 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 256 0.99/1.09 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #257 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: 257 0.99/1.09 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 0.99/1.10 c core #258 0.99/1.10 c Core size: 3 Core Weight: 1 Total Weight: 258 0.99/1.10 c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s 0.99/1.10 c core #259 0.99/1.10 c Core size: 3 Core Weight: 1 Total Weight: 259 0.99/1.10 c Elapsed CPU time: 1.09683 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #260 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 260 1.09/1.11 c Elapsed CPU time: 1.10283 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #261 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 261 1.09/1.11 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #262 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 262 1.09/1.12 c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #263 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 263 1.09/1.12 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #264 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 264 1.09/1.13 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #265 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 265 1.09/1.13 c Elapsed CPU time: 1.12883 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #266 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 266 1.09/1.14 c Elapsed CPU time: 1.13383 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #267 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 267 1.09/1.14 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #268 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 268 1.09/1.15 c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #269 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 269 1.09/1.15 c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #270 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 270 1.09/1.16 c Elapsed CPU time: 1.15582 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #271 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 271 1.09/1.17 c Elapsed CPU time: 1.16182 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #272 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 272 1.09/1.17 c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #273 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 273 1.09/1.18 c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #274 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 274 1.09/1.18 c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #275 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 275 1.09/1.19 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #276 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 276 1.09/1.19 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #277 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: 277 1.19/1.20 c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #278 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: 278 1.19/1.20 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #279 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: 279 1.19/1.21 c Elapsed CPU time: 1.20382 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #280 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: 280 1.19/1.21 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #281 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 281 1.19/1.22 c Elapsed CPU time: 1.21481 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #282 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 282 1.19/1.22 c Elapsed CPU time: 1.21981 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #283 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: 283 1.19/1.23 c Elapsed CPU time: 1.22581 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #284 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 284 1.19/1.24 c Elapsed CPU time: 1.23081 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #285 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 285 1.19/1.24 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #286 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 286 1.19/1.25 c Elapsed CPU time: 1.24181 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #287 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 287 1.19/1.25 c Elapsed CPU time: 1.24681 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #288 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 288 1.19/1.26 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #289 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 289 1.19/1.26 c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #290 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 290 1.19/1.27 c Elapsed CPU time: 1.26281 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #291 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 291 1.19/1.27 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #292 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 292 1.19/1.28 c Elapsed CPU time: 1.27281 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #293 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 293 1.19/1.28 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #294 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: 294 1.19/1.29 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.19/1.30 c core #295 1.19/1.30 c Core size: 3 Core Weight: 1 Total Weight: 295 1.19/1.30 c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s 1.28/1.30 c core #296 1.28/1.30 c Core size: 3 Core Weight: 1 Total Weight: 296 1.28/1.30 c Elapsed CPU time: 1.2938 s Remaining CPU time: 1798.71 s 1.28/1.31 c core #297 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: 297 1.28/1.31 c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s 1.28/1.31 c core #298 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: 298 1.28/1.31 c Elapsed CPU time: 1.3038 s Remaining CPU time: 1798.7 s 1.28/1.32 c core #299 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: 299 1.28/1.32 c Elapsed CPU time: 1.3088 s Remaining CPU time: 1798.69 s 1.28/1.32 c core #300 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: 300 1.28/1.32 c Elapsed CPU time: 1.3138 s Remaining CPU time: 1798.69 s 1.28/1.33 c core #301 1.28/1.33 c Core size: 3 Core Weight: 1 Total Weight: 301 1.28/1.33 c Elapsed CPU time: 1.3188 s Remaining CPU time: 1798.68 s 1.28/1.33 c core #302 1.28/1.33 c Core size: 3 Core Weight: 1 Total Weight: 302 1.28/1.33 c Elapsed CPU time: 1.3248 s Remaining CPU time: 1798.68 s 1.28/1.34 c core #303 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: 303 1.28/1.34 c Elapsed CPU time: 1.3298 s Remaining CPU time: 1798.67 s 1.28/1.34 c core #304 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: 304 1.28/1.34 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.28/1.35 c core #305 1.28/1.35 c Core size: 3 Core Weight: 1 Total Weight: 305 1.28/1.35 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.28/1.36 c core #306 1.28/1.36 c Core size: 3 Core Weight: 1 Total Weight: 306 1.28/1.36 c Elapsed CPU time: 1.3458 s Remaining CPU time: 1798.65 s 1.28/1.36 c core #307 1.28/1.36 c Core size: 3 Core Weight: 1 Total Weight: 307 1.28/1.36 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.28/1.37 c core #308 1.28/1.37 c Core size: 3 Core Weight: 1 Total Weight: 308 1.28/1.37 c Elapsed CPU time: 1.35679 s Remaining CPU time: 1798.64 s 1.28/1.37 c core #309 1.28/1.37 c Core size: 3 Core Weight: 1 Total Weight: 309 1.28/1.37 c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s 1.28/1.38 c core #310 1.28/1.38 c Core size: 3 Core Weight: 1 Total Weight: 310 1.28/1.38 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.28/1.38 c core #311 1.28/1.38 c Core size: 3 Core Weight: 1 Total Weight: 311 1.28/1.38 c Elapsed CPU time: 1.37279 s Remaining CPU time: 1798.63 s 1.28/1.39 c core #312 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: 312 1.28/1.39 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.28/1.39 c core #313 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: 313 1.28/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.38/1.40 c core #314 1.38/1.40 c Core size: 3 Core Weight: 1 Total Weight: 314 1.38/1.40 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.38/1.41 c core #315 1.38/1.41 c Core size: 3 Core Weight: 1 Total Weight: 315 1.38/1.41 c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s 1.38/1.41 c core #316 1.38/1.41 c Core size: 3 Core Weight: 1 Total Weight: 316 1.38/1.41 c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s 1.38/1.42 c core #317 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: 317 1.38/1.42 c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s 1.38/1.42 c core #318 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: 318 1.38/1.42 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.38/1.43 c core #319 1.38/1.43 c Core size: 3 Core Weight: 1 Total Weight: 319 1.38/1.43 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.38/1.43 c core #320 1.38/1.43 c Core size: 3 Core Weight: 1 Total Weight: 320 1.38/1.43 c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s 1.38/1.44 c core #321 1.38/1.44 c Core size: 3 Core Weight: 1 Total Weight: 321 1.38/1.44 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #322 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: 322 1.38/1.45 c Elapsed CPU time: 1.43378 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #323 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: 323 1.38/1.45 c Elapsed CPU time: 1.43878 s Remaining CPU time: 1798.56 s 1.38/1.46 c core #324 1.38/1.46 c Core size: 3 Core Weight: 1 Total Weight: 324 1.38/1.46 c Elapsed CPU time: 1.44478 s Remaining CPU time: 1798.56 s 1.38/1.46 c core #325 1.38/1.46 c Core size: 3 Core Weight: 1 Total Weight: 325 1.38/1.46 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.38/1.47 c core #326 1.38/1.47 c Core size: 3 Core Weight: 1 Total Weight: 326 1.38/1.47 c Elapsed CPU time: 1.45578 s Remaining CPU time: 1798.54 s 1.38/1.47 c core #327 1.38/1.47 c Core size: 3 Core Weight: 1 Total Weight: 327 1.38/1.47 c Elapsed CPU time: 1.46178 s Remaining CPU time: 1798.54 s 1.38/1.48 c core #328 1.38/1.48 c Core size: 3 Core Weight: 1 Total Weight: 328 1.38/1.48 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.38/1.48 c core #329 1.38/1.48 c Core size: 3 Core Weight: 1 Total Weight: 329 1.38/1.48 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.38/1.49 c core #330 1.38/1.49 c Core size: 3 Core Weight: 1 Total Weight: 330 1.38/1.49 c Elapsed CPU time: 1.47778 s Remaining CPU time: 1798.52 s 1.38/1.50 c core #331 1.38/1.50 c Core size: 3 Core Weight: 1 Total Weight: 331 1.38/1.50 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.48/1.50 c core #332 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: 332 1.48/1.50 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #333 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: 333 1.48/1.51 c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #334 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: 334 1.48/1.51 c Elapsed CPU time: 1.49977 s Remaining CPU time: 1798.5 s 1.48/1.52 c core #335 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: 335 1.48/1.52 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.48/1.52 c core #336 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: 336 1.48/1.52 c Elapsed CPU time: 1.51177 s Remaining CPU time: 1798.49 s 1.48/1.53 c core #337 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: 337 1.48/1.53 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s 1.48/1.54 c core #338 1.48/1.54 c Core size: 3 Core Weight: 1 Total Weight: 338 1.48/1.54 c Elapsed CPU time: 1.52177 s Remaining CPU time: 1798.48 s 1.48/1.54 c core #339 1.48/1.54 c Core size: 3 Core Weight: 1 Total Weight: 339 1.48/1.54 c Elapsed CPU time: 1.52777 s Remaining CPU time: 1798.47 s 1.48/1.55 c core #340 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 340 1.48/1.55 c Elapsed CPU time: 1.53277 s Remaining CPU time: 1798.47 s 1.48/1.55 c core #341 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 341 1.48/1.55 c Elapsed CPU time: 1.53877 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #342 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: 342 1.48/1.56 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #343 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: 343 1.48/1.56 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.48/1.57 c core #344 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 344 1.48/1.57 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.48/1.57 c core #345 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 345 1.48/1.57 c Elapsed CPU time: 1.55976 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #346 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: 346 1.48/1.58 c Elapsed CPU time: 1.56576 s Remaining CPU time: 1798.43 s 1.48/1.59 c core #347 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: 347 1.48/1.59 c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s 1.48/1.59 c core #348 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: 348 1.48/1.59 c Elapsed CPU time: 1.57676 s Remaining CPU time: 1798.42 s 1.58/1.60 c core #349 1.58/1.60 c Core size: 3 Core Weight: 1 Total Weight: 349 1.58/1.60 c Elapsed CPU time: 1.58176 s Remaining CPU time: 1798.42 s 1.58/1.60 c core #350 1.58/1.60 c Core size: 3 Core Weight: 1 Total Weight: 350 1.58/1.60 c Elapsed CPU time: 1.58776 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #351 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: 351 1.58/1.61 c Elapsed CPU time: 1.59376 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #352 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: 352 1.58/1.61 c Elapsed CPU time: 1.59976 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #353 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: 353 1.58/1.62 c Elapsed CPU time: 1.60476 s Remaining CPU time: 1798.4 s 1.58/1.63 c core #354 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 354 1.58/1.63 c Elapsed CPU time: 1.61076 s Remaining CPU time: 1798.39 s 1.58/1.63 c core #355 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 355 1.58/1.63 c Elapsed CPU time: 1.61675 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #356 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: 356 1.58/1.64 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #357 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: 357 1.58/1.64 c Elapsed CPU time: 1.62775 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #358 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: 358 1.58/1.65 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #359 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: 359 1.58/1.65 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #360 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: 360 1.58/1.66 c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s 1.58/1.67 c core #361 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: 361 1.58/1.67 c Elapsed CPU time: 1.65075 s Remaining CPU time: 1798.35 s 1.58/1.67 c core #362 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: 362 1.58/1.67 c Elapsed CPU time: 1.65675 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #363 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 363 1.58/1.68 c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #364 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 364 1.58/1.68 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #365 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 365 1.58/1.69 c Elapsed CPU time: 1.67175 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #366 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 366 1.58/1.69 c Elapsed CPU time: 1.67774 s Remaining CPU time: 1798.32 s 1.68/1.70 c core #367 1.68/1.70 c Core size: 3 Core Weight: 1 Total Weight: 367 1.68/1.70 c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s 1.68/1.70 c core #368 1.68/1.70 c Core size: 3 Core Weight: 1 Total Weight: 368 1.68/1.70 c Elapsed CPU time: 1.68874 s Remaining CPU time: 1798.31 s 1.68/1.71 c core #369 1.68/1.71 c Core size: 3 Core Weight: 1 Total Weight: 369 1.68/1.71 c Elapsed CPU time: 1.69474 s Remaining CPU time: 1798.31 s 1.68/1.72 c core #370 1.68/1.72 c Core size: 3 Core Weight: 1 Total Weight: 370 1.68/1.72 c Elapsed CPU time: 1.70074 s Remaining CPU time: 1798.3 s 1.68/1.72 c core #371 1.68/1.72 c Core size: 3 Core Weight: 1 Total Weight: 371 1.68/1.72 c Elapsed CPU time: 1.70674 s Remaining CPU time: 1798.29 s 1.68/1.73 c core #372 1.68/1.73 c Core size: 3 Core Weight: 1 Total Weight: 372 1.68/1.73 c Elapsed CPU time: 1.71274 s Remaining CPU time: 1798.29 s 1.68/1.73 c core #373 1.68/1.73 c Core size: 3 Core Weight: 1 Total Weight: 373 1.68/1.73 c Elapsed CPU time: 1.71874 s Remaining CPU time: 1798.28 s 1.68/1.74 c core #374 1.68/1.74 c Core size: 3 Core Weight: 1 Total Weight: 374 1.68/1.74 c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s 1.68/1.75 c core #375 1.68/1.75 c Core size: 3 Core Weight: 1 Total Weight: 375 1.68/1.75 c Elapsed CPU time: 1.72974 s Remaining CPU time: 1798.27 s 1.68/1.75 c core #376 1.68/1.75 c Core size: 3 Core Weight: 1 Total Weight: 376 1.68/1.75 c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s 1.68/1.76 c core #377 1.68/1.76 c Core size: 3 Core Weight: 1 Total Weight: 377 1.68/1.76 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.68/1.76 c core #378 1.68/1.76 c Core size: 3 Core Weight: 1 Total Weight: 378 1.68/1.76 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.68/1.77 c core #379 1.68/1.77 c Core size: 3 Core Weight: 1 Total Weight: 379 1.68/1.77 c Elapsed CPU time: 1.75373 s Remaining CPU time: 1798.25 s 1.68/1.78 c core #380 1.68/1.78 c Core size: 3 Core Weight: 1 Total Weight: 380 1.68/1.78 c Elapsed CPU time: 1.75973 s Remaining CPU time: 1798.24 s 1.68/1.78 c core #381 1.68/1.78 c Core size: 3 Core Weight: 1 Total Weight: 381 1.68/1.78 c Elapsed CPU time: 1.76573 s Remaining CPU time: 1798.23 s 1.68/1.79 c core #382 1.68/1.79 c Core size: 3 Core Weight: 1 Total Weight: 382 1.68/1.79 c Elapsed CPU time: 1.77173 s Remaining CPU time: 1798.23 s 1.68/1.79 c core #383 1.68/1.79 c Core size: 3 Core Weight: 1 Total Weight: 383 1.68/1.79 c Elapsed CPU time: 1.77773 s Remaining CPU time: 1798.22 s 1.78/1.80 c core #384 1.78/1.80 c Core size: 3 Core Weight: 1 Total Weight: 384 1.78/1.80 c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s 1.78/1.81 c core #385 1.78/1.81 c Core size: 3 Core Weight: 1 Total Weight: 385 1.78/1.81 c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s 1.78/1.81 c core #386 1.78/1.81 c Core size: 3 Core Weight: 1 Total Weight: 386 1.78/1.81 c Elapsed CPU time: 1.79473 s Remaining CPU time: 1798.21 s 1.78/1.82 c core #387 1.78/1.82 c Core size: 3 Core Weight: 1 Total Weight: 387 1.78/1.82 c Elapsed CPU time: 1.79973 s Remaining CPU time: 1798.2 s 1.78/1.82 c core #388 1.78/1.82 c Core size: 3 Core Weight: 1 Total Weight: 388 1.78/1.82 c Elapsed CPU time: 1.80573 s Remaining CPU time: 1798.19 s 1.78/1.83 c core #389 1.78/1.83 c Core size: 3 Core Weight: 1 Total Weight: 389 1.78/1.83 c Elapsed CPU time: 1.81072 s Remaining CPU time: 1798.19 s 1.78/1.83 c core #390 1.78/1.83 c Core size: 3 Core Weight: 1 Total Weight: 390 1.78/1.84 c Elapsed CPU time: 1.81672 s Remaining CPU time: 1798.18 s 1.78/1.84 c core #391 1.78/1.84 c Core size: 3 Core Weight: 1 Total Weight: 391 1.78/1.84 c Elapsed CPU time: 1.82272 s Remaining CPU time: 1798.18 s 1.78/1.85 c core #392 1.78/1.85 c Core size: 3 Core Weight: 1 Total Weight: 392 1.78/1.85 c Elapsed CPU time: 1.82772 s Remaining CPU time: 1798.17 s 1.78/1.85 c core #393 1.78/1.85 c Core size: 3 Core Weight: 1 Total Weight: 393 1.78/1.85 c Elapsed CPU time: 1.83372 s Remaining CPU time: 1798.17 s 1.78/1.86 c core #394 1.78/1.86 c Core size: 3 Core Weight: 1 Total Weight: 394 1.78/1.86 c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s 1.78/1.86 c core #395 1.78/1.86 c Core size: 3 Core Weight: 1 Total Weight: 395 1.78/1.86 c Elapsed CPU time: 1.84472 s Remaining CPU time: 1798.16 s 1.78/1.87 c core #396 1.78/1.87 c Core size: 3 Core Weight: 1 Total Weight: 396 1.78/1.87 c Elapsed CPU time: 1.85072 s Remaining CPU time: 1798.15 s 1.78/1.88 c core #397 1.78/1.88 c Core size: 3 Core Weight: 1 Total Weight: 397 1.78/1.88 c Elapsed CPU time: 1.85672 s Remaining CPU time: 1798.14 s 1.78/1.88 c core #398 1.78/1.88 c Core size: 3 Core Weight: 1 Total Weight: 398 1.78/1.88 c Elapsed CPU time: 1.86272 s Remaining CPU time: 1798.14 s 1.78/1.89 c core #399 1.78/1.89 c Core size: 3 Core Weight: 1 Total Weight: 399 1.78/1.89 c Elapsed CPU time: 1.86871 s Remaining CPU time: 1798.13 s 1.78/1.89 c core #400 1.78/1.89 c Core size: 3 Core Weight: 1 Total Weight: 400 1.78/1.89 c Elapsed CPU time: 1.87472 s Remaining CPU time: 1798.13 s 1.87/1.90 c core #401 1.87/1.90 c Core size: 3 Core Weight: 1 Total Weight: 401 1.87/1.90 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.87/1.91 c core #402 1.87/1.91 c Core size: 3 Core Weight: 1 Total Weight: 402 1.87/1.91 c Elapsed CPU time: 1.88671 s Remaining CPU time: 1798.11 s 1.87/1.91 c core #403 1.87/1.91 c Core size: 3 Core Weight: 1 Total Weight: 403 1.87/1.91 c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s 1.87/1.92 c core #404 1.87/1.92 c Core size: 3 Core Weight: 1 Total Weight: 404 1.87/1.92 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.87/1.92 c core #405 1.87/1.92 c Core size: 3 Core Weight: 1 Total Weight: 405 1.87/1.92 c Elapsed CPU time: 1.90471 s Remaining CPU time: 1798.1 s 1.87/1.93 c core #406 1.87/1.93 c Core size: 3 Core Weight: 1 Total Weight: 406 1.87/1.93 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 s 1.87/1.94 c core #407 1.87/1.94 c Core size: 3 Core Weight: 1 Total Weight: 407 1.87/1.94 c Elapsed CPU time: 1.91671 s Remaining CPU time: 1798.08 s 1.87/1.94 c core #408 1.87/1.94 c Core size: 3 Core Weight: 1 Total Weight: 408 1.87/1.94 c Elapsed CPU time: 1.92271 s Remaining CPU time: 1798.08 s 1.87/1.95 c core #409 1.87/1.95 c Core size: 3 Core Weight: 1 Total Weight: 409 1.87/1.95 c Elapsed CPU time: 1.92871 s Remaining CPU time: 1798.07 s 1.87/1.95 c core #410 1.87/1.95 c Core size: 3 Core Weight: 1 Total Weight: 410 1.87/1.95 c Elapsed CPU time: 1.93471 s Remaining CPU time: 1798.07 s 1.87/1.96 c core #411 1.87/1.96 c Core size: 3 Core Weight: 1 Total Weight: 411 1.87/1.96 c Elapsed CPU time: 1.9407 s Remaining CPU time: 1798.06 s 1.87/1.97 c core #412 1.87/1.97 c Core size: 3 Core Weight: 1 Total Weight: 412 1.87/1.97 c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s 1.87/1.97 c core #413 1.87/1.97 c Core size: 3 Core Weight: 1 Total Weight: 413 1.87/1.97 c Elapsed CPU time: 1.9517 s Remaining CPU time: 1798.05 s 1.87/1.98 c core #414 1.87/1.98 c Core size: 3 Core Weight: 1 Total Weight: 414 1.87/1.98 c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s 1.87/1.98 c core #415 1.87/1.98 c Core size: 3 Core Weight: 1 Total Weight: 415 1.87/1.98 c Elapsed CPU time: 1.9637 s Remaining CPU time: 1798.04 s 1.87/1.99 c core #416 1.87/1.99 c Core size: 3 Core Weight: 1 Total Weight: 416 1.87/1.99 c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s 1.87/2.00 c core #417 1.87/2.00 c Core size: 3 Core Weight: 1 Total Weight: 417 1.87/2.00 c Elapsed CPU time: 1.9757 s Remaining CPU time: 1798.02 s 1.97/2.00 c core #418 1.97/2.00 c Core size: 3 Core Weight: 1 Total Weight: 418 1.97/2.00 c Elapsed CPU time: 1.9817 s Remaining CPU time: 1798.02 s 1.97/2.01 c core #419 1.97/2.01 c Core size: 3 Core Weight: 1 Total Weight: 419 1.97/2.01 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.97/2.02 c core #420 1.97/2.02 c Core size: 3 Core Weight: 1 Total Weight: 420 1.97/2.02 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.97/2.02 c core #421 1.97/2.02 c Core size: 3 Core Weight: 1 Total Weight: 421 1.97/2.02 c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s 1.97/2.03 c core #422 1.97/2.03 c Core size: 3 Core Weight: 1 Total Weight: 422 1.97/2.03 c Elapsed CPU time: 2.00569 s Remaining CPU time: 1797.99 s 1.97/2.03 c core #423 1.97/2.03 c Core size: 3 Core Weight: 1 Total Weight: 423 1.97/2.03 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 1.97/2.04 c core #424 1.97/2.04 c Core size: 3 Core Weight: 1 Total Weight: 424 1.97/2.04 c Elapsed CPU time: 2.01669 s Remaining CPU time: 1797.98 s 1.97/2.05 c core #425 1.97/2.05 c Core size: 3 Core Weight: 1 Total Weight: 425 1.97/2.05 c Elapsed CPU time: 2.02269 s Remaining CPU time: 1797.98 s 1.97/2.05 c core #426 1.97/2.05 c Core size: 3 Core Weight: 1 Total Weight: 426 1.97/2.05 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.97/2.06 c core #427 1.97/2.06 c Core size: 3 Core Weight: 1 Total Weight: 427 1.97/2.06 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 1.97/2.06 c core #428 1.97/2.06 c Core size: 3 Core Weight: 1 Total Weight: 428 1.97/2.06 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 1.97/2.07 c core #429 1.97/2.07 c Core size: 3 Core Weight: 1 Total Weight: 429 1.97/2.07 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 1.97/2.08 c core #430 1.97/2.08 c Core size: 3 Core Weight: 1 Total Weight: 430 1.97/2.08 c Elapsed CPU time: 2.05469 s Remaining CPU time: 1797.95 s 1.97/2.08 c core #431 1.97/2.08 c Core size: 3 Core Weight: 1 Total Weight: 431 1.97/2.08 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 1.97/2.09 c core #432 1.97/2.09 c Core size: 3 Core Weight: 1 Total Weight: 432 1.97/2.09 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 1.97/2.10 c core #433 1.97/2.10 c Core size: 3 Core Weight: 1 Total Weight: 433 1.97/2.10 c Elapsed CPU time: 2.07268 s Remaining CPU time: 1797.93 s 2.07/2.10 c core #434 2.07/2.10 c Core size: 3 Core Weight: 1 Total Weight: 434 2.07/2.10 c Elapsed CPU time: 2.07868 s Remaining CPU time: 1797.92 s 2.07/2.11 c core #435 2.07/2.11 c Core size: 3 Core Weight: 1 Total Weight: 435 2.07/2.11 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.07/2.11 c core #436 2.07/2.11 c Core size: 3 Core Weight: 1 Total Weight: 436 2.07/2.11 c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s 2.07/2.12 c core #437 2.07/2.12 c Core size: 3 Core Weight: 1 Total Weight: 437 2.07/2.12 c Elapsed CPU time: 2.09568 s Remaining CPU time: 1797.9 s 2.07/2.13 c core #438 2.07/2.13 c Core size: 3 Core Weight: 1 Total Weight: 438 2.07/2.13 c Elapsed CPU time: 2.10168 s Remaining CPU time: 1797.9 s 2.07/2.13 c core #439 2.07/2.13 c Core size: 3 Core Weight: 1 Total Weight: 439 2.07/2.13 c Elapsed CPU time: 2.10868 s Remaining CPU time: 1797.89 s 2.07/2.14 c core #440 2.07/2.14 c Core size: 3 Core Weight: 1 Total Weight: 440 2.07/2.14 c Elapsed CPU time: 2.11468 s Remaining CPU time: 1797.89 s 2.07/2.15 c core #441 2.07/2.15 c Core size: 3 Core Weight: 1 Total Weight: 441 2.07/2.15 c Elapsed CPU time: 2.12068 s Remaining CPU time: 1797.88 s 2.07/2.15 c core #442 2.07/2.15 c Core size: 3 Core Weight: 1 Total Weight: 442 2.07/2.15 c Elapsed CPU time: 2.12668 s Remaining CPU time: 1797.87 s 2.07/2.16 c core #443 2.07/2.16 c Core size: 3 Core Weight: 1 Total Weight: 443 2.07/2.16 c Elapsed CPU time: 2.13267 s Remaining CPU time: 1797.87 s 2.07/2.16 c core #444 2.07/2.16 c Core size: 3 Core Weight: 1 Total Weight: 444 2.07/2.16 c Elapsed CPU time: 2.13767 s Remaining CPU time: 1797.86 s 2.07/2.17 c core #445 2.07/2.17 c Core size: 3 Core Weight: 1 Total Weight: 445 2.07/2.17 c Elapsed CPU time: 2.14367 s Remaining CPU time: 1797.86 s 2.07/2.18 c core #446 2.07/2.18 c Core size: 3 Core Weight: 1 Total Weight: 446 2.07/2.18 c Elapsed CPU time: 2.14967 s Remaining CPU time: 1797.85 s 2.07/2.18 c core #447 2.07/2.18 c Core size: 3 Core Weight: 1 Total Weight: 447 2.07/2.18 c Elapsed CPU time: 2.15567 s Remaining CPU time: 1797.84 s 2.07/2.19 c core #448 2.07/2.19 c Core size: 3 Core Weight: 1 Total Weight: 448 2.07/2.19 c Elapsed CPU time: 2.16167 s Remaining CPU time: 1797.84 s 2.07/2.20 c core #449 2.07/2.20 c Core size: 3 Core Weight: 1 Total Weight: 449 2.07/2.20 c Elapsed CPU time: 2.16867 s Remaining CPU time: 1797.83 s 2.18/2.20 c core #450 2.18/2.20 c Core size: 3 Core Weight: 1 Total Weight: 450 2.18/2.20 c Elapsed CPU time: 2.17467 s Remaining CPU time: 1797.83 s 2.18/2.21 c core #451 2.18/2.21 c Core size: 3 Core Weight: 1 Total Weight: 451 2.18/2.21 c Elapsed CPU time: 2.18067 s Remaining CPU time: 1797.82 s 2.18/2.22 c core #452 2.18/2.22 c Core size: 3 Core Weight: 1 Total Weight: 452 2.18/2.22 c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s 2.18/2.22 c core #453 2.18/2.22 c Core size: 3 Core Weight: 1 Total Weight: 453 2.18/2.22 c Elapsed CPU time: 2.19367 s Remaining CPU time: 1797.81 s 2.18/2.23 c core #454 2.18/2.23 c Core size: 3 Core Weight: 1 Total Weight: 454 2.18/2.23 c Elapsed CPU time: 2.19966 s Remaining CPU time: 1797.8 s 2.18/2.23 c core #455 2.18/2.23 c Core size: 3 Core Weight: 1 Total Weight: 455 2.18/2.23 c Elapsed CPU time: 2.20566 s Remaining CPU time: 1797.79 s 2.18/2.24 c core #456 2.18/2.24 c Core size: 3 Core Weight: 1 Total Weight: 456 2.18/2.24 c Elapsed CPU time: 2.21166 s Remaining CPU time: 1797.79 s 2.18/2.25 c core #457 2.18/2.25 c Core size: 3 Core Weight: 1 Total Weight: 457 2.18/2.25 c Elapsed CPU time: 2.21766 s Remaining CPU time: 1797.78 s 2.18/2.25 c core #458 2.18/2.25 c Core size: 3 Core Weight: 1 Total Weight: 458 2.18/2.25 c Elapsed CPU time: 2.22466 s Remaining CPU time: 1797.78 s 2.18/2.26 c core #459 2.18/2.26 c Core size: 3 Core Weight: 1 Total Weight: 459 2.18/2.26 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.18/2.27 c core #460 2.18/2.27 c Core size: 3 Core Weight: 1 Total Weight: 460 2.18/2.27 c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s 2.18/2.27 c core #461 2.18/2.27 c Core size: 3 Core Weight: 1 Total Weight: 461 2.18/2.27 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.18/2.28 c core #462 2.18/2.28 c Core size: 3 Core Weight: 1 Total Weight: 462 2.18/2.28 c Elapsed CPU time: 2.24866 s Remaining CPU time: 1797.75 s 2.18/2.28 c core #463 2.18/2.28 c Core size: 3 Core Weight: 1 Total Weight: 463 2.18/2.28 c Elapsed CPU time: 2.25466 s Remaining CPU time: 1797.75 s 2.18/2.29 c core #464 2.18/2.29 c Core size: 3 Core Weight: 1 Total Weight: 464 2.18/2.29 c Elapsed CPU time: 2.26066 s Remaining CPU time: 1797.74 s 2.18/2.30 c core #465 2.18/2.30 c Core size: 3 Core Weight: 1 Total Weight: 465 2.18/2.30 c Elapsed CPU time: 2.26666 s Remaining CPU time: 1797.73 s 2.27/2.30 c core #466 2.27/2.30 c Core size: 3 Core Weight: 1 Total Weight: 466 2.27/2.30 c Elapsed CPU time: 2.27265 s Remaining CPU time: 1797.73 s 2.27/2.31 c core #467 2.27/2.31 c Core size: 3 Core Weight: 1 Total Weight: 467 2.27/2.31 c Elapsed CPU time: 2.27865 s Remaining CPU time: 1797.72 s 2.27/2.32 c core #468 2.27/2.32 c Core size: 3 Core Weight: 1 Total Weight: 468 2.27/2.32 c Elapsed CPU time: 2.28465 s Remaining CPU time: 1797.72 s 2.27/2.32 c core #469 2.27/2.32 c Core size: 3 Core Weight: 1 Total Weight: 469 2.27/2.32 c Elapsed CPU time: 2.29165 s Remaining CPU time: 1797.71 s 2.27/2.33 c core #470 2.27/2.33 c Core size: 3 Core Weight: 1 Total Weight: 470 2.27/2.33 c Elapsed CPU time: 2.29665 s Remaining CPU time: 1797.7 s 2.27/2.34 c core #471 2.27/2.34 c Core size: 3 Core Weight: 1 Total Weight: 471 2.27/2.34 c Elapsed CPU time: 2.30265 s Remaining CPU time: 1797.7 s 2.27/2.34 c core #472 2.27/2.34 c Core size: 3 Core Weight: 1 Total Weight: 472 2.27/2.34 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.27/2.35 c core #473 2.27/2.35 c Core size: 3 Core Weight: 1 Total Weight: 473 2.27/2.35 c Elapsed CPU time: 2.31565 s Remaining CPU time: 1797.68 s 2.27/2.35 c core #474 2.27/2.35 c Core size: 3 Core Weight: 1 Total Weight: 474 2.27/2.35 c Elapsed CPU time: 2.32265 s Remaining CPU time: 1797.68 s 2.27/2.36 c core #475 2.27/2.36 c Core size: 3 Core Weight: 1 Total Weight: 475 2.27/2.36 c Elapsed CPU time: 2.32864 s Remaining CPU time: 1797.67 s 2.27/2.37 c core #476 2.27/2.37 c Core size: 3 Core Weight: 1 Total Weight: 476 2.27/2.37 c Elapsed CPU time: 2.33465 s Remaining CPU time: 1797.67 s 2.27/2.37 c core #477 2.27/2.37 c Core size: 3 Core Weight: 1 Total Weight: 477 2.27/2.37 c Elapsed CPU time: 2.34064 s Remaining CPU time: 1797.66 s 2.27/2.38 c core #478 2.27/2.38 c Core size: 3 Core Weight: 1 Total Weight: 478 2.27/2.38 c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s 2.27/2.39 c core #479 2.27/2.39 c Core size: 3 Core Weight: 1 Total Weight: 479 2.27/2.39 c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s 2.27/2.39 c core #480 2.27/2.39 c Core size: 3 Core Weight: 1 Total Weight: 480 2.27/2.39 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.37/2.40 c core #481 2.37/2.40 c Core size: 3 Core Weight: 1 Total Weight: 481 2.37/2.40 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.37/2.40 c core #482 2.37/2.40 c Core size: 3 Core Weight: 1 Total Weight: 482 2.37/2.40 c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s 2.37/2.41 c core #483 2.37/2.41 c Core size: 3 Core Weight: 1 Total Weight: 483 2.37/2.41 c Elapsed CPU time: 2.37764 s Remaining CPU time: 1797.62 s 2.37/2.42 c core #484 2.37/2.42 c Core size: 3 Core Weight: 1 Total Weight: 484 2.37/2.42 c Elapsed CPU time: 2.38364 s Remaining CPU time: 1797.62 s 2.37/2.42 c core #485 2.37/2.42 c Core size: 3 Core Weight: 1 Total Weight: 485 2.37/2.42 c Elapsed CPU time: 2.38964 s Remaining CPU time: 1797.61 s 2.37/2.43 c core #486 2.37/2.43 c Core size: 3 Core Weight: 1 Total Weight: 486 2.37/2.43 c Elapsed CPU time: 2.39663 s Remaining CPU time: 1797.6 s 2.37/2.44 c core #487 2.37/2.44 c Core size: 3 Core Weight: 1 Total Weight: 487 2.37/2.44 c Elapsed CPU time: 2.40263 s Remaining CPU time: 1797.6 s 2.37/2.44 c core #488 2.37/2.44 c Core size: 3 Core Weight: 1 Total Weight: 488 2.37/2.44 c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s 2.37/2.45 c core #489 2.37/2.45 c Core size: 3 Core Weight: 1 Total Weight: 489 2.37/2.45 c Elapsed CPU time: 2.41463 s Remaining CPU time: 1797.59 s 2.37/2.45 c core #490 2.37/2.45 c Core size: 3 Core Weight: 1 Total Weight: 490 2.37/2.45 c Elapsed CPU time: 2.42063 s Remaining CPU time: 1797.58 s 2.37/2.46 c core #491 2.37/2.46 c Core size: 3 Core Weight: 1 Total Weight: 491 2.37/2.46 c Elapsed CPU time: 2.42663 s Remaining CPU time: 1797.57 s 2.37/2.47 c core #492 2.37/2.47 c Core size: 3 Core Weight: 1 Total Weight: 492 2.37/2.47 c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s 2.37/2.47 c core #493 2.37/2.47 c Core size: 3 Core Weight: 1 Total Weight: 493 2.37/2.47 c Elapsed CPU time: 2.43863 s Remaining CPU time: 1797.56 s 2.37/2.48 c core #494 2.37/2.48 c Core size: 3 Core Weight: 1 Total Weight: 494 2.37/2.48 c Elapsed CPU time: 2.44463 s Remaining CPU time: 1797.56 s 2.37/2.49 c core #495 2.37/2.49 c Core size: 3 Core Weight: 1 Total Weight: 495 2.37/2.49 c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s 2.37/2.49 c core #496 2.37/2.49 c Core size: 3 Core Weight: 1 Total Weight: 496 2.37/2.49 c Elapsed CPU time: 2.45763 s Remaining CPU time: 1797.54 s 2.47/2.50 c core #497 2.47/2.50 c Core size: 3 Core Weight: 1 Total Weight: 497 2.47/2.50 c Elapsed CPU time: 2.46462 s Remaining CPU time: 1797.54 s 2.47/2.51 c core #498 2.47/2.51 c Core size: 3 Core Weight: 1 Total Weight: 498 2.47/2.51 c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s 2.47/2.51 c core #499 2.47/2.51 c Core size: 3 Core Weight: 1 Total Weight: 499 2.47/2.51 c Elapsed CPU time: 2.47762 s Remaining CPU time: 1797.52 s 2.47/2.52 c core #500 2.47/2.52 c Core size: 3 Core Weight: 1 Total Weight: 500 2.47/2.52 c Elapsed CPU time: 2.48462 s Remaining CPU time: 1797.52 s 2.47/2.53 c core #501 2.47/2.53 c Core size: 3 Core Weight: 1 Total Weight: 501 2.47/2.53 c Elapsed CPU time: 2.49162 s Remaining CPU time: 1797.51 s 2.47/2.53 c core #502 2.47/2.53 c Core size: 3 Core Weight: 1 Total Weight: 502 2.47/2.53 c Elapsed CPU time: 2.49762 s Remaining CPU time: 1797.5 s 2.47/2.54 c core #503 2.47/2.54 c Core size: 3 Core Weight: 1 Total Weight: 503 2.47/2.54 c Elapsed CPU time: 2.50462 s Remaining CPU time: 1797.5 s 2.47/2.55 c core #504 2.47/2.55 c Core size: 3 Core Weight: 1 Total Weight: 504 2.47/2.55 c Elapsed CPU time: 2.51062 s Remaining CPU time: 1797.49 s 2.47/2.55 c core #505 2.47/2.55 c Core size: 3 Core Weight: 1 Total Weight: 505 2.47/2.55 c Elapsed CPU time: 2.51762 s Remaining CPU time: 1797.48 s 2.47/2.56 c core #506 2.47/2.56 c Core size: 3 Core Weight: 1 Total Weight: 506 2.47/2.56 c Elapsed CPU time: 2.52362 s Remaining CPU time: 1797.48 s 2.47/2.57 c core #507 2.47/2.57 c Core size: 3 Core Weight: 1 Total Weight: 507 2.47/2.57 c Elapsed CPU time: 2.53062 s Remaining CPU time: 1797.47 s 2.47/2.57 c core #508 2.47/2.57 c Core size: 3 Core Weight: 1 Total Weight: 508 2.47/2.57 c Elapsed CPU time: 2.53661 s Remaining CPU time: 1797.46 s 2.47/2.58 c core #509 2.47/2.58 c Core size: 3 Core Weight: 1 Total Weight: 509 2.47/2.58 c Elapsed CPU time: 2.54361 s Remaining CPU time: 1797.46 s 2.47/2.59 c core #510 2.47/2.59 c Core size: 3 Core Weight: 1 Total Weight: 510 2.47/2.59 c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s 2.47/2.59 c core #511 2.47/2.59 c Core size: 3 Core Weight: 1 Total Weight: 511 2.47/2.59 c Elapsed CPU time: 2.55561 s Remaining CPU time: 1797.44 s 2.56/2.60 c core #512 2.56/2.60 c Core size: 3 Core Weight: 1 Total Weight: 512 2.56/2.60 c Elapsed CPU time: 2.56261 s Remaining CPU time: 1797.44 s 2.56/2.61 c core #513 2.56/2.61 c Core size: 3 Core Weight: 1 Total Weight: 513 2.56/2.61 c Elapsed CPU time: 2.56861 s Remaining CPU time: 1797.43 s 2.56/2.61 c core #514 2.56/2.61 c Core size: 3 Core Weight: 1 Total Weight: 514 2.56/2.61 c Elapsed CPU time: 2.57561 s Remaining CPU time: 1797.42 s 2.56/2.62 c core #515 2.56/2.62 c Core size: 3 Core Weight: 1 Total Weight: 515 2.56/2.62 c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s 2.56/2.63 c core #516 2.56/2.63 c Core size: 3 Core Weight: 1 Total Weight: 516 2.56/2.63 c Elapsed CPU time: 2.58761 s Remaining CPU time: 1797.41 s 2.56/2.63 c core #517 2.56/2.63 c Core size: 3 Core Weight: 1 Total Weight: 517 2.56/2.63 c Elapsed CPU time: 2.59461 s Remaining CPU time: 1797.41 s 2.56/2.64 c core #518 2.56/2.64 c Core size: 3 Core Weight: 1 Total Weight: 518 2.56/2.64 c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s 2.56/2.65 c core #519 2.56/2.65 c Core size: 3 Core Weight: 1 Total Weight: 519 2.56/2.65 c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s 2.56/2.65 c core #520 2.56/2.65 c Core size: 3 Core Weight: 1 Total Weight: 520 2.56/2.65 c Elapsed CPU time: 2.6126 s Remaining CPU time: 1797.39 s 2.56/2.66 c core #521 2.56/2.66 c Core size: 3 Core Weight: 1 Total Weight: 521 2.56/2.66 c Elapsed CPU time: 2.6186 s Remaining CPU time: 1797.38 s 2.56/2.67 c core #522 2.56/2.67 c Core size: 3 Core Weight: 1 Total Weight: 522 2.56/2.67 c Elapsed CPU time: 2.6256 s Remaining CPU time: 1797.37 s 2.56/2.67 c core #523 2.56/2.67 c Core size: 3 Core Weight: 1 Total Weight: 523 2.56/2.67 c Elapsed CPU time: 2.6316 s Remaining CPU time: 1797.37 s 2.56/2.68 c core #524 2.56/2.68 c Core size: 3 Core Weight: 1 Total Weight: 524 2.56/2.68 c Elapsed CPU time: 2.6376 s Remaining CPU time: 1797.36 s 2.56/2.68 c core #525 2.56/2.68 c Core size: 3 Core Weight: 1 Total Weight: 525 2.56/2.68 c Elapsed CPU time: 2.6446 s Remaining CPU time: 1797.36 s 2.56/2.69 c core #526 2.56/2.69 c Core size: 3 Core Weight: 1 Total Weight: 526 2.56/2.69 c Elapsed CPU time: 2.6506 s Remaining CPU time: 1797.35 s 2.66/2.70 c core #527 2.66/2.70 c Core size: 3 Core Weight: 1 Total Weight: 527 2.66/2.70 c Elapsed CPU time: 2.6566 s Remaining CPU time: 1797.34 s 2.66/2.70 c core #528 2.66/2.70 c Core size: 3 Core Weight: 1 Total Weight: 528 2.66/2.70 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.66/2.71 c core #529 2.66/2.71 c Core size: 3 Core Weight: 1 Total Weight: 529 2.66/2.71 c Elapsed CPU time: 2.66859 s Remaining CPU time: 1797.33 s 2.66/2.72 c core #530 2.66/2.72 c Core size: 3 Core Weight: 1 Total Weight: 530 2.66/2.72 c Elapsed CPU time: 2.67559 s Remaining CPU time: 1797.32 s 2.66/2.72 c core #531 2.66/2.72 c Core size: 3 Core Weight: 1 Total Weight: 531 2.66/2.72 c Elapsed CPU time: 2.68159 s Remaining CPU time: 1797.32 s 2.66/2.73 c core #532 2.66/2.73 c Core size: 3 Core Weight: 1 Total Weight: 532 2.66/2.73 c Elapsed CPU time: 2.68759 s Remaining CPU time: 1797.31 s 2.66/2.74 c core #533 2.66/2.74 c Core size: 3 Core Weight: 1 Total Weight: 533 2.66/2.74 c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s 2.66/2.74 c core #534 2.66/2.74 c Core size: 3 Core Weight: 1 Total Weight: 534 2.66/2.74 c Elapsed CPU time: 2.69959 s Remaining CPU time: 1797.3 s 2.66/2.75 c core #535 2.66/2.75 c Core size: 3 Core Weight: 1 Total Weight: 535 2.66/2.75 c Elapsed CPU time: 2.70559 s Remaining CPU time: 1797.29 s 2.66/2.76 c core #536 2.66/2.76 c Core size: 3 Core Weight: 1 Total Weight: 536 2.66/2.76 c Elapsed CPU time: 2.71259 s Remaining CPU time: 1797.29 s 2.66/2.76 c core #537 2.66/2.76 c Core size: 3 Core Weight: 1 Total Weight: 537 2.66/2.76 c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s 2.66/2.77 c core #538 2.66/2.77 c Core size: 3 Core Weight: 1 Total Weight: 538 2.66/2.77 c Elapsed CPU time: 2.72559 s Remaining CPU time: 1797.27 s 2.66/2.78 c core #539 2.66/2.78 c Core size: 3 Core Weight: 1 Total Weight: 539 2.66/2.78 c Elapsed CPU time: 2.73158 s Remaining CPU time: 1797.27 s 2.66/2.78 c core #540 2.66/2.78 c Core size: 3 Core Weight: 1 Total Weight: 540 2.66/2.78 c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s 2.66/2.79 c core #541 2.66/2.79 c Core size: 3 Core Weight: 1 Total Weight: 541 2.66/2.79 c Elapsed CPU time: 2.74458 s Remaining CPU time: 1797.26 s 2.75/2.80 c core #542 2.75/2.80 c Core size: 3 Core Weight: 1 Total Weight: 542 2.75/2.80 c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s 2.75/2.80 c core #543 2.75/2.80 c Core size: 3 Core Weight: 1 Total Weight: 543 2.75/2.80 c Elapsed CPU time: 2.75758 s Remaining CPU time: 1797.24 s 2.75/2.81 c core #544 2.75/2.81 c Core size: 3 Core Weight: 1 Total Weight: 544 2.75/2.81 c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s 2.75/2.82 c core #545 2.75/2.82 c Core size: 3 Core Weight: 1 Total Weight: 545 2.75/2.82 c Elapsed CPU time: 2.77058 s Remaining CPU time: 1797.23 s 2.75/2.82 c core #546 2.75/2.82 c Core size: 3 Core Weight: 1 Total Weight: 546 2.75/2.82 c Elapsed CPU time: 2.77658 s Remaining CPU time: 1797.22 s 2.75/2.83 c core #547 2.75/2.83 c Core size: 3 Core Weight: 1 Total Weight: 547 2.75/2.83 c Elapsed CPU time: 2.78258 s Remaining CPU time: 1797.22 s 2.75/2.84 c core #548 2.75/2.84 c Core size: 3 Core Weight: 1 Total Weight: 548 2.75/2.84 c Elapsed CPU time: 2.78958 s Remaining CPU time: 1797.21 s 2.75/2.84 c core #549 2.75/2.84 c Core size: 3 Core Weight: 1 Total Weight: 549 2.75/2.84 c Elapsed CPU time: 2.79557 s Remaining CPU time: 1797.2 s 2.75/2.85 c core #550 2.75/2.85 c Core size: 3 Core Weight: 1 Total Weight: 550 2.75/2.85 c Elapsed CPU time: 2.80257 s Remaining CPU time: 1797.2 s 2.75/2.86 c core #551 2.75/2.86 c Core size: 3 Core Weight: 1 Total Weight: 551 2.75/2.86 c Elapsed CPU time: 2.80857 s Remaining CPU time: 1797.19 s 2.75/2.86 c core #552 2.75/2.86 c Core size: 3 Core Weight: 1 Total Weight: 552 2.75/2.86 c Elapsed CPU time: 2.81457 s Remaining CPU time: 1797.19 s 2.75/2.87 c core #553 2.75/2.87 c Core size: 3 Core Weight: 1 Total Weight: 553 2.75/2.87 c Elapsed CPU time: 2.82157 s Remaining CPU time: 1797.18 s 2.75/2.88 c core #554 2.75/2.88 c Core size: 3 Core Weight: 1 Total Weight: 554 2.75/2.88 c Elapsed CPU time: 2.82757 s Remaining CPU time: 1797.17 s 2.75/2.88 c core #555 2.75/2.88 c Core size: 3 Core Weight: 1 Total Weight: 555 2.75/2.88 c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s 2.75/2.89 c core #556 2.75/2.89 c Core size: 3 Core Weight: 1 Total Weight: 556 2.75/2.89 c Elapsed CPU time: 2.84157 s Remaining CPU time: 1797.16 s 2.85/2.90 c core #557 2.85/2.90 c Core size: 3 Core Weight: 1 Total Weight: 557 2.85/2.90 c Elapsed CPU time: 2.84757 s Remaining CPU time: 1797.15 s 2.85/2.90 c core #558 2.85/2.90 c Core size: 3 Core Weight: 1 Total Weight: 558 2.85/2.90 c Elapsed CPU time: 2.85457 s Remaining CPU time: 1797.15 s 2.85/2.91 c core #559 2.85/2.91 c Core size: 3 Core Weight: 1 Total Weight: 559 2.85/2.91 c Elapsed CPU time: 2.86156 s Remaining CPU time: 1797.14 s 2.85/2.92 c core #560 2.85/2.92 c Core size: 3 Core Weight: 1 Total Weight: 560 2.85/2.92 c Elapsed CPU time: 2.86856 s Remaining CPU time: 1797.13 s 2.85/2.92 c core #561 2.85/2.92 c Core size: 3 Core Weight: 1 Total Weight: 561 2.85/2.92 c Elapsed CPU time: 2.87556 s Remaining CPU time: 1797.12 s 2.85/2.93 c core #562 2.85/2.93 c Core size: 3 Core Weight: 1 Total Weight: 562 2.85/2.93 c Elapsed CPU time: 2.88156 s Remaining CPU time: 1797.12 s 2.85/2.94 c core #563 2.85/2.94 c Core size: 3 Core Weight: 1 Total Weight: 563 2.85/2.94 c Elapsed CPU time: 2.88856 s Remaining CPU time: 1797.11 s 2.85/2.94 c core #564 2.85/2.94 c Core size: 3 Core Weight: 1 Total Weight: 564 2.85/2.94 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.85/2.95 c core #565 2.85/2.95 c Core size: 3 Core Weight: 1 Total Weight: 565 2.85/2.95 c Elapsed CPU time: 2.90256 s Remaining CPU time: 1797.1 s 2.85/2.96 c core #566 2.85/2.96 c Core size: 3 Core Weight: 1 Total Weight: 566 2.85/2.96 c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s 2.85/2.96 c core #567 2.85/2.96 c Core size: 3 Core Weight: 1 Total Weight: 567 2.85/2.96 c Elapsed CPU time: 2.91556 s Remaining CPU time: 1797.08 s 2.85/2.97 c core #568 2.85/2.97 c Core size: 3 Core Weight: 1 Total Weight: 568 2.85/2.97 c Elapsed CPU time: 2.92256 s Remaining CPU time: 1797.08 s 2.85/2.98 c core #569 2.85/2.98 c Core size: 3 Core Weight: 1 Total Weight: 569 2.85/2.98 c Elapsed CPU time: 2.92955 s Remaining CPU time: 1797.07 s 2.85/2.99 c core #570 2.85/2.99 c Core size: 3 Core Weight: 1 Total Weight: 570 2.85/2.99 c Elapsed CPU time: 2.93655 s Remaining CPU time: 1797.06 s 2.85/2.99 c core #571 2.85/2.99 c Core size: 3 Core Weight: 1 Total Weight: 571 2.85/2.99 c Elapsed CPU time: 2.94355 s Remaining CPU time: 1797.06 s 2.95/3.00 c core #572 2.95/3.00 c Core size: 3 Core Weight: 1 Total Weight: 572 2.95/3.00 c Elapsed CPU time: 2.95055 s Remaining CPU time: 1797.05 s 2.95/3.01 c core #573 2.95/3.01 c Core size: 3 Core Weight: 1 Total Weight: 573 2.95/3.01 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.95/3.01 c core #574 2.95/3.01 c Core size: 3 Core Weight: 1 Total Weight: 574 2.95/3.01 c Elapsed CPU time: 2.96455 s Remaining CPU time: 1797.04 s 2.95/3.02 c core #575 2.95/3.02 c Core size: 3 Core Weight: 1 Total Weight: 575 2.95/3.02 c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s 2.95/3.03 c core #576 2.95/3.03 c Core size: 3 Core Weight: 1 Total Weight: 576 2.95/3.03 c Elapsed CPU time: 2.97855 s Remaining CPU time: 1797.02 s 2.95/3.03 c core #577 2.95/3.03 c Core size: 3 Core Weight: 1 Total Weight: 577 2.95/3.03 c Elapsed CPU time: 2.98555 s Remaining CPU time: 1797.01 s 2.95/3.04 c core #578 2.95/3.04 c Core size: 3 Core Weight: 1 Total Weight: 578 2.95/3.04 c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s 2.95/3.05 c core #579 2.95/3.05 c Core size: 3 Core Weight: 1 Total Weight: 579 2.95/3.05 c Elapsed CPU time: 2.99954 s Remaining CPU time: 1797 s 2.95/3.05 c core #580 2.95/3.05 c Core size: 3 Core Weight: 1 Total Weight: 580 2.95/3.05 c Elapsed CPU time: 3.00554 s Remaining CPU time: 1796.99 s 2.95/3.06 c core #581 2.95/3.06 c Core size: 3 Core Weight: 1 Total Weight: 581 2.95/3.06 c Elapsed CPU time: 3.01254 s Remaining CPU time: 1796.99 s 2.95/3.07 c core #582 2.95/3.07 c Core size: 3 Core Weight: 1 Total Weight: 582 2.95/3.07 c Elapsed CPU time: 3.01954 s Remaining CPU time: 1796.98 s 2.95/3.08 c core #583 2.95/3.08 c Core size: 3 Core Weight: 1 Total Weight: 583 2.95/3.08 c Elapsed CPU time: 3.02654 s Remaining CPU time: 1796.97 s 2.95/3.08 c core #584 2.95/3.08 c Core size: 3 Core Weight: 1 Total Weight: 584 2.95/3.08 c Elapsed CPU time: 3.03254 s Remaining CPU time: 1796.97 s 2.95/3.09 c core #585 2.95/3.09 c Core size: 3 Core Weight: 1 Total Weight: 585 2.95/3.09 c Elapsed CPU time: 3.03854 s Remaining CPU time: 1796.96 s 2.95/3.10 c core #586 2.95/3.10 c Core size: 3 Core Weight: 1 Total Weight: 586 2.95/3.10 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 3.05/3.10 c core #587 3.05/3.10 c Core size: 3 Core Weight: 1 Total Weight: 587 3.05/3.10 c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s 3.05/3.11 c core #588 3.05/3.11 c Core size: 3 Core Weight: 1 Total Weight: 588 3.05/3.11 c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s 3.05/3.12 c core #589 3.05/3.12 c Core size: 3 Core Weight: 1 Total Weight: 589 3.05/3.12 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 3.05/3.12 c core #590 3.05/3.12 c Core size: 3 Core Weight: 1 Total Weight: 590 3.05/3.12 c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s 3.05/3.13 c core #591 3.05/3.13 c Core size: 3 Core Weight: 1 Total Weight: 591 3.05/3.13 c Elapsed CPU time: 3.08053 s Remaining CPU time: 1796.92 s 3.05/3.14 c core #592 3.05/3.14 c Core size: 3 Core Weight: 1 Total Weight: 592 3.05/3.14 c Elapsed CPU time: 3.08753 s Remaining CPU time: 1796.91 s 3.05/3.15 c core #593 3.05/3.15 c Core size: 3 Core Weight: 1 Total Weight: 593 3.05/3.15 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.05/3.15 c core #594 3.05/3.15 c Core size: 3 Core Weight: 1 Total Weight: 594 3.05/3.15 c Elapsed CPU time: 3.10153 s Remaining CPU time: 1796.9 s 3.05/3.16 c core #595 3.05/3.16 c Core size: 3 Core Weight: 1 Total Weight: 595 3.05/3.16 c Elapsed CPU time: 3.10853 s Remaining CPU time: 1796.89 s 3.05/3.17 c core #596 3.05/3.17 c Core size: 3 Core Weight: 1 Total Weight: 596 3.05/3.17 c Elapsed CPU time: 3.11553 s Remaining CPU time: 1796.88 s 3.05/3.17 c core #597 3.05/3.17 c Core size: 3 Core Weight: 1 Total Weight: 597 3.05/3.17 c Elapsed CPU time: 3.12252 s Remaining CPU time: 1796.88 s 3.05/3.18 c core #598 3.05/3.18 c Core size: 3 Core Weight: 1 Total Weight: 598 3.05/3.18 c Elapsed CPU time: 3.12952 s Remaining CPU time: 1796.87 s 3.05/3.19 c core #599 3.05/3.19 c Core size: 3 Core Weight: 1 Total Weight: 599 3.05/3.19 c Elapsed CPU time: 3.13652 s Remaining CPU time: 1796.86 s 3.05/3.20 c core #600 3.05/3.20 c Core size: 3 Core Weight: 1 Total Weight: 600 3.05/3.20 c Elapsed CPU time: 3.14352 s Remaining CPU time: 1796.86 s 3.15/3.20 c core #601 3.15/3.20 c Core size: 3 Core Weight: 1 Total Weight: 601 3.15/3.20 c Elapsed CPU time: 3.15152 s Remaining CPU time: 1796.85 s 3.15/3.21 c core #602 3.15/3.21 c Core size: 3 Core Weight: 1 Total Weight: 602 3.15/3.21 c Elapsed CPU time: 3.15752 s Remaining CPU time: 1796.84 s 3.15/3.22 c core #603 3.15/3.22 c Core size: 3 Core Weight: 1 Total Weight: 603 3.15/3.22 c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s 3.15/3.22 c core #604 3.15/3.22 c Core size: 3 Core Weight: 1 Total Weight: 604 3.15/3.22 c Elapsed CPU time: 3.17152 s Remaining CPU time: 1796.83 s 3.15/3.23 c core #605 3.15/3.23 c Core size: 3 Core Weight: 1 Total Weight: 605 3.15/3.23 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.15/3.24 c core #606 3.15/3.24 c Core size: 3 Core Weight: 1 Total Weight: 606 3.15/3.24 c Elapsed CPU time: 3.18552 s Remaining CPU time: 1796.81 s 3.15/3.24 c core #607 3.15/3.24 c Core size: 3 Core Weight: 1 Total Weight: 607 3.15/3.24 c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s 3.15/3.25 c core #608 3.15/3.25 c Core size: 3 Core Weight: 1 Total Weight: 608 3.15/3.25 c Elapsed CPU time: 3.19951 s Remaining CPU time: 1796.8 s 3.15/3.26 c core #609 3.15/3.26 c Core size: 3 Core Weight: 1 Total Weight: 609 3.15/3.26 c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s 3.15/3.27 c core #610 3.15/3.27 c Core size: 3 Core Weight: 1 Total Weight: 610 3.15/3.27 c Elapsed CPU time: 3.21251 s Remaining CPU time: 1796.79 s 3.15/3.27 c core #611 3.15/3.27 c Core size: 3 Core Weight: 1 Total Weight: 611 3.15/3.27 c Elapsed CPU time: 3.21951 s Remaining CPU time: 1796.78 s 3.15/3.28 c core #612 3.15/3.28 c Core size: 3 Core Weight: 1 Total Weight: 612 3.15/3.28 c Elapsed CPU time: 3.22551 s Remaining CPU time: 1796.77 s 3.15/3.29 c core #613 3.15/3.29 c Core size: 3 Core Weight: 1 Total Weight: 613 3.15/3.29 c Elapsed CPU time: 3.23151 s Remaining CPU time: 1796.77 s 3.15/3.29 c core #614 3.15/3.29 c Core size: 3 Core Weight: 1 Total Weight: 614 3.15/3.29 c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s 3.25/3.30 c core #615 3.25/3.30 c Core size: 3 Core Weight: 1 Total Weight: 615 3.25/3.30 c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s 3.25/3.31 c core #616 3.25/3.31 c Core size: 3 Core Weight: 1 Total Weight: 616 3.25/3.31 c Elapsed CPU time: 3.25351 s Remaining CPU time: 1796.75 s 3.25/3.31 c core #617 3.25/3.31 c Core size: 3 Core Weight: 1 Total Weight: 617 3.25/3.31 c Elapsed CPU time: 3.2605 s Remaining CPU time: 1796.74 s 3.25/3.32 c core #618 3.25/3.32 c Core size: 3 Core Weight: 1 Total Weight: 618 3.25/3.32 c Elapsed CPU time: 3.2675 s Remaining CPU time: 1796.73 s 3.25/3.33 c core #619 3.25/3.33 c Core size: 3 Core Weight: 1 Total Weight: 619 3.25/3.33 c Elapsed CPU time: 3.2745 s Remaining CPU time: 1796.73 s 3.25/3.34 c core #620 3.25/3.34 c Core size: 3 Core Weight: 1 Total Weight: 620 3.25/3.34 c Elapsed CPU time: 3.2825 s Remaining CPU time: 1796.72 s 3.25/3.34 c core #621 3.25/3.34 c Core size: 3 Core Weight: 1 Total Weight: 621 3.25/3.34 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.25/3.35 c core #622 3.25/3.35 c Core size: 3 Core Weight: 1 Total Weight: 622 3.25/3.35 c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s 3.25/3.36 c core #623 3.25/3.36 c Core size: 3 Core Weight: 1 Total Weight: 623 3.25/3.36 c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s 3.25/3.37 c core #624 3.25/3.37 c Core size: 3 Core Weight: 1 Total Weight: 624 3.25/3.37 c Elapsed CPU time: 3.3105 s Remaining CPU time: 1796.69 s 3.25/3.37 c core #625 3.25/3.37 c Core size: 3 Core Weight: 1 Total Weight: 625 3.25/3.37 c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s 3.25/3.38 c core #626 3.25/3.38 c Core size: 3 Core Weight: 1 Total Weight: 626 3.25/3.38 c Elapsed CPU time: 3.32549 s Remaining CPU time: 1796.67 s 3.25/3.39 c core #627 3.25/3.39 c Core size: 3 Core Weight: 1 Total Weight: 627 3.25/3.39 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.25/3.39 c core #628 3.25/3.39 c Core size: 3 Core Weight: 1 Total Weight: 628 3.25/3.39 c Elapsed CPU time: 3.33949 s Remaining CPU time: 1796.66 s 3.35/3.40 c core #629 3.35/3.40 c Core size: 3 Core Weight: 1 Total Weight: 629 3.35/3.40 c Elapsed CPU time: 3.34649 s Remaining CPU time: 1796.65 s 3.35/3.41 c core #630 3.35/3.41 c Core size: 3 Core Weight: 1 Total Weight: 630 3.35/3.41 c Elapsed CPU time: 3.35449 s Remaining CPU time: 1796.65 s 3.35/3.42 c core #631 3.35/3.42 c Core size: 3 Core Weight: 1 Total Weight: 631 3.35/3.42 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.35/3.42 c core #632 3.35/3.42 c Core size: 3 Core Weight: 1 Total Weight: 632 3.35/3.42 c Elapsed CPU time: 3.36849 s Remaining CPU time: 1796.63 s 3.35/3.43 c core #633 3.35/3.43 c Core size: 3 Core Weight: 1 Total Weight: 633 3.35/3.43 c Elapsed CPU time: 3.37549 s Remaining CPU time: 1796.62 s 3.35/3.44 c core #634 3.35/3.44 c Core size: 3 Core Weight: 1 Total Weight: 634 3.35/3.44 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.35/3.45 c core #635 3.35/3.45 c Core size: 3 Core Weight: 1 Total Weight: 635 3.35/3.45 c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s 3.35/3.45 c core #636 3.35/3.45 c Core size: 3 Core Weight: 1 Total Weight: 636 3.35/3.45 c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s 3.35/3.46 c core #637 3.35/3.46 c Core size: 3 Core Weight: 1 Total Weight: 637 3.35/3.46 c Elapsed CPU time: 3.40248 s Remaining CPU time: 1796.6 s 3.35/3.47 c core #638 3.35/3.47 c Core size: 3 Core Weight: 1 Total Weight: 638 3.35/3.47 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.35/3.48 c core #639 3.35/3.48 c Core size: 3 Core Weight: 1 Total Weight: 639 3.35/3.48 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.35/3.48 c core #640 3.35/3.48 c Core size: 3 Core Weight: 1 Total Weight: 640 3.35/3.48 c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s 3.35/3.49 c core #641 3.35/3.49 c Core size: 3 Core Weight: 1 Total Weight: 641 3.35/3.49 c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s 3.44/3.50 c core #642 3.44/3.50 c Core size: 3 Core Weight: 1 Total Weight: 642 3.44/3.50 c Elapsed CPU time: 3.43748 s Remaining CPU time: 1796.56 s 3.44/3.50 c core #643 3.44/3.50 c Core size: 3 Core Weight: 1 Total Weight: 643 3.44/3.50 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.44/3.51 c core #644 3.44/3.51 c Core size: 3 Core Weight: 1 Total Weight: 644 3.44/3.51 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.44/3.52 c core #645 3.44/3.52 c Core size: 3 Core Weight: 1 Total Weight: 645 3.44/3.52 c Elapsed CPU time: 3.45947 s Remaining CPU time: 1796.54 s 3.44/3.53 c core #646 3.44/3.53 c Core size: 3 Core Weight: 1 Total Weight: 646 3.44/3.53 c Elapsed CPU time: 3.46647 s Remaining CPU time: 1796.53 s 3.44/3.53 c core #647 3.44/3.53 c Core size: 3 Core Weight: 1 Total Weight: 647 3.44/3.53 c Elapsed CPU time: 3.47447 s Remaining CPU time: 1796.53 s 3.44/3.54 c core #648 3.44/3.54 c Core size: 3 Core Weight: 1 Total Weight: 648 3.44/3.54 c Elapsed CPU time: 3.48047 s Remaining CPU time: 1796.52 s 3.44/3.55 c core #649 3.44/3.55 c Core size: 3 Core Weight: 1 Total Weight: 649 3.44/3.55 c Elapsed CPU time: 3.48747 s Remaining CPU time: 1796.51 s 3.44/3.56 c core #650 3.44/3.56 c Core size: 3 Core Weight: 1 Total Weight: 650 3.44/3.56 c Elapsed CPU time: 3.49547 s Remaining CPU time: 1796.5 s 3.44/3.56 c core #651 3.44/3.56 c Core size: 3 Core Weight: 1 Total Weight: 651 3.44/3.56 c Elapsed CPU time: 3.50247 s Remaining CPU time: 1796.5 s 3.44/3.57 c core #652 3.44/3.57 c Core size: 3 Core Weight: 1 Total Weight: 652 3.44/3.57 c Elapsed CPU time: 3.51047 s Remaining CPU time: 1796.49 s 3.44/3.58 c core #653 3.44/3.58 c Core size: 3 Core Weight: 1 Total Weight: 653 3.44/3.58 c Elapsed CPU time: 3.51747 s Remaining CPU time: 1796.48 s 3.44/3.59 c core #654 3.44/3.59 c Core size: 3 Core Weight: 1 Total Weight: 654 3.44/3.59 c Elapsed CPU time: 3.52546 s Remaining CPU time: 1796.47 s 3.44/3.59 c core #655 3.44/3.59 c Core size: 3 Core Weight: 1 Total Weight: 655 3.44/3.59 c Elapsed CPU time: 3.53246 s Remaining CPU time: 1796.47 s 3.54/3.60 c core #656 3.54/3.60 c Core size: 3 Core Weight: 1 Total Weight: 656 3.54/3.60 c Elapsed CPU time: 3.53946 s Remaining CPU time: 1796.46 s 3.54/3.61 c core #657 3.54/3.61 c Core size: 3 Core Weight: 1 Total Weight: 657 3.54/3.61 c Elapsed CPU time: 3.54646 s Remaining CPU time: 1796.45 s 3.54/3.62 c core #658 3.54/3.62 c Core size: 3 Core Weight: 1 Total Weight: 658 3.54/3.62 c Elapsed CPU time: 3.55446 s Remaining CPU time: 1796.45 s 3.54/3.62 c core #659 3.54/3.62 c Core size: 3 Core Weight: 1 Total Weight: 659 3.54/3.62 c Elapsed CPU time: 3.56146 s Remaining CPU time: 1796.44 s 3.54/3.63 c core #660 3.54/3.63 c Core size: 3 Core Weight: 1 Total Weight: 660 3.54/3.63 c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s 3.54/3.64 c core #661 3.54/3.64 c Core size: 3 Core Weight: 1 Total Weight: 661 3.54/3.64 c Elapsed CPU time: 3.57646 s Remaining CPU time: 1796.42 s 3.54/3.65 c core #662 3.54/3.65 c Core size: 3 Core Weight: 1 Total Weight: 662 3.54/3.65 c Elapsed CPU time: 3.58345 s Remaining CPU time: 1796.42 s 3.54/3.65 c core #663 3.54/3.65 c Core size: 3 Core Weight: 1 Total Weight: 663 3.54/3.65 c Elapsed CPU time: 3.59145 s Remaining CPU time: 1796.41 s 3.54/3.66 c core #664 3.54/3.66 c Core size: 3 Core Weight: 1 Total Weight: 664 3.54/3.66 c Elapsed CPU time: 3.59845 s Remaining CPU time: 1796.4 s 3.54/3.67 c core #665 3.54/3.67 c Core size: 3 Core Weight: 1 Total Weight: 665 3.54/3.67 c Elapsed CPU time: 3.60645 s Remaining CPU time: 1796.39 s 3.54/3.68 c core #666 3.54/3.68 c Core size: 3 Core Weight: 1 Total Weight: 666 3.54/3.68 c Elapsed CPU time: 3.61345 s Remaining CPU time: 1796.39 s 3.54/3.68 c core #667 3.54/3.68 c Core size: 3 Core Weight: 1 Total Weight: 667 3.54/3.68 c Elapsed CPU time: 3.62045 s Remaining CPU time: 1796.38 s 3.54/3.69 c core #668 3.54/3.69 c Core size: 3 Core Weight: 1 Total Weight: 668 3.54/3.69 c Elapsed CPU time: 3.62745 s Remaining CPU time: 1796.37 s 3.64/3.70 c core #669 3.64/3.70 c Core size: 3 Core Weight: 1 Total Weight: 669 3.64/3.70 c Elapsed CPU time: 3.63445 s Remaining CPU time: 1796.37 s 3.64/3.70 c core #670 3.64/3.70 c Core size: 3 Core Weight: 1 Total Weight: 670 3.64/3.70 c Elapsed CPU time: 3.64245 s Remaining CPU time: 1796.36 s 3.64/3.71 c core #671 3.64/3.71 c Core size: 3 Core Weight: 1 Total Weight: 671 3.64/3.71 c Elapsed CPU time: 3.64945 s Remaining CPU time: 1796.35 s 3.64/3.72 c core #672 3.64/3.72 c Core size: 3 Core Weight: 1 Total Weight: 672 3.64/3.72 c Elapsed CPU time: 3.65744 s Remaining CPU time: 1796.34 s 3.64/3.73 c core #673 3.64/3.73 c Core size: 3 Core Weight: 1 Total Weight: 673 3.64/3.73 c Elapsed CPU time: 3.66444 s Remaining CPU time: 1796.34 s 3.64/3.74 c core #674 3.64/3.74 c Core size: 3 Core Weight: 1 Total Weight: 674 3.64/3.74 c Elapsed CPU time: 3.67144 s Remaining CPU time: 1796.33 s 3.64/3.74 c core #675 3.64/3.74 c Core size: 3 Core Weight: 1 Total Weight: 675 3.64/3.74 c Elapsed CPU time: 3.67944 s Remaining CPU time: 1796.32 s 3.64/3.75 c core #676 3.64/3.75 c Core size: 3 Core Weight: 1 Total Weight: 676 3.64/3.75 c Elapsed CPU time: 3.68644 s Remaining CPU time: 1796.31 s 3.64/3.76 c core #677 3.64/3.76 c Core size: 3 Core Weight: 1 Total Weight: 677 3.64/3.76 c Elapsed CPU time: 3.69444 s Remaining CPU time: 1796.31 s 3.64/3.77 c core #678 3.64/3.77 c Core size: 3 Core Weight: 1 Total Weight: 678 3.64/3.77 c Elapsed CPU time: 3.70144 s Remaining CPU time: 1796.3 s 3.64/3.77 c core #679 3.64/3.77 c Core size: 3 Core Weight: 1 Total Weight: 679 3.64/3.77 c Elapsed CPU time: 3.70944 s Remaining CPU time: 1796.29 s 3.64/3.78 c core #680 3.64/3.78 c Core size: 3 Core Weight: 1 Total Weight: 680 3.64/3.78 c Elapsed CPU time: 3.71644 s Remaining CPU time: 1796.28 s 3.64/3.79 c core #681 3.64/3.79 c Core size: 3 Core Weight: 1 Total Weight: 681 3.64/3.79 c Elapsed CPU time: 3.72343 s Remaining CPU time: 1796.28 s 3.64/3.80 c core #682 3.64/3.80 c Core size: 3 Core Weight: 1 Total Weight: 682 3.64/3.80 c Elapsed CPU time: 3.72943 s Remaining CPU time: 1796.27 s 3.73/3.80 c core #683 3.73/3.80 c Core size: 3 Core Weight: 1 Total Weight: 683 3.73/3.80 c Elapsed CPU time: 3.73643 s Remaining CPU time: 1796.26 s 3.73/3.81 c core #684 3.73/3.81 c Core size: 3 Core Weight: 1 Total Weight: 684 3.73/3.81 c Elapsed CPU time: 3.74343 s Remaining CPU time: 1796.26 s 3.73/3.82 c core #685 3.73/3.82 c Core size: 3 Core Weight: 1 Total Weight: 685 3.73/3.82 c Elapsed CPU time: 3.75043 s Remaining CPU time: 1796.25 s 3.73/3.83 c core #686 3.73/3.83 c Core size: 3 Core Weight: 1 Total Weight: 686 3.73/3.83 c Elapsed CPU time: 3.75843 s Remaining CPU time: 1796.24 s 3.73/3.83 c core #687 3.73/3.83 c Core size: 3 Core Weight: 1 Total Weight: 687 3.73/3.83 c Elapsed CPU time: 3.76643 s Remaining CPU time: 1796.23 s 3.73/3.84 c core #688 3.73/3.84 c Core size: 3 Core Weight: 1 Total Weight: 688 3.73/3.84 c Elapsed CPU time: 3.77343 s Remaining CPU time: 1796.23 s 3.73/3.85 c core #689 3.73/3.85 c Core size: 3 Core Weight: 1 Total Weight: 689 3.73/3.85 c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s 3.73/3.86 c core #690 3.73/3.86 c Core size: 3 Core Weight: 1 Total Weight: 690 3.73/3.86 c Elapsed CPU time: 3.78842 s Remaining CPU time: 1796.21 s 3.73/3.86 c core #691 3.73/3.86 c Core size: 3 Core Weight: 1 Total Weight: 691 3.73/3.86 c Elapsed CPU time: 3.79642 s Remaining CPU time: 1796.2 s 3.73/3.87 c core #692 3.73/3.87 c Core size: 3 Core Weight: 1 Total Weight: 692 3.73/3.87 c Elapsed CPU time: 3.80342 s Remaining CPU time: 1796.2 s 3.73/3.88 c core #693 3.73/3.88 c Core size: 3 Core Weight: 1 Total Weight: 693 3.73/3.88 c Elapsed CPU time: 3.81042 s Remaining CPU time: 1796.19 s 3.73/3.89 c core #694 3.73/3.89 c Core size: 3 Core Weight: 1 Total Weight: 694 3.73/3.89 c Elapsed CPU time: 3.81742 s Remaining CPU time: 1796.18 s 3.73/3.89 c core #695 3.73/3.89 c Core size: 3 Core Weight: 1 Total Weight: 695 3.73/3.89 c Elapsed CPU time: 3.82442 s Remaining CPU time: 1796.18 s 3.83/3.90 c core #696 3.83/3.90 c Core size: 3 Core Weight: 1 Total Weight: 696 3.83/3.90 c Elapsed CPU time: 3.83242 s Remaining CPU time: 1796.17 s 3.83/3.91 c core #697 3.83/3.91 c Core size: 3 Core Weight: 1 Total Weight: 697 3.83/3.91 c Elapsed CPU time: 3.83942 s Remaining CPU time: 1796.16 s 3.83/3.92 c core #698 3.83/3.92 c Core size: 3 Core Weight: 1 Total Weight: 698 3.83/3.92 c Elapsed CPU time: 3.84741 s Remaining CPU time: 1796.15 s 3.83/3.92 c core #699 3.83/3.92 c Core size: 3 Core Weight: 1 Total Weight: 699 3.83/3.92 c Elapsed CPU time: 3.85441 s Remaining CPU time: 1796.15 s 3.83/3.93 c core #700 3.83/3.93 c Core size: 3 Core Weight: 1 Total Weight: 700 3.83/3.93 c Elapsed CPU time: 3.86241 s Remaining CPU time: 1796.14 s 3.83/3.94 c core #701 3.83/3.94 c Core size: 3 Core Weight: 1 Total Weight: 701 3.83/3.94 c Elapsed CPU time: 3.86941 s Remaining CPU time: 1796.13 s 3.83/3.95 c core #702 3.83/3.95 c Core size: 3 Core Weight: 1 Total Weight: 702 3.83/3.95 c Elapsed CPU time: 3.87741 s Remaining CPU time: 1796.12 s 3.83/3.95 c core #703 3.83/3.95 c Core size: 3 Core Weight: 1 Total Weight: 703 3.83/3.95 c Elapsed CPU time: 3.88541 s Remaining CPU time: 1796.11 s 3.83/3.96 c core #704 3.83/3.96 c Core size: 3 Core Weight: 1 Total Weight: 704 3.83/3.96 c Elapsed CPU time: 3.89341 s Remaining CPU time: 1796.11 s 3.83/3.97 c core #705 3.83/3.97 c Core size: 3 Core Weight: 1 Total Weight: 705 3.83/3.97 c Elapsed CPU time: 3.90041 s Remaining CPU time: 1796.1 s 3.83/3.98 c core #706 3.83/3.98 c Core size: 3 Core Weight: 1 Total Weight: 706 3.83/3.98 c Elapsed CPU time: 3.90841 s Remaining CPU time: 1796.09 s 3.83/3.99 c core #707 3.83/3.99 c Core size: 3 Core Weight: 1 Total Weight: 707 3.83/3.99 c Elapsed CPU time: 3.9164 s Remaining CPU time: 1796.08 s 3.83/3.99 c core #708 3.83/3.99 c Core size: 3 Core Weight: 1 Total Weight: 708 3.83/3.99 c Elapsed CPU time: 3.9234 s Remaining CPU time: 1796.08 s 3.93/4.00 c core #709 3.93/4.00 c Core size: 3 Core Weight: 1 Total Weight: 709 3.93/4.00 c Elapsed CPU time: 3.9304 s Remaining CPU time: 1796.07 s 3.93/4.01 c core #710 3.93/4.01 c Core size: 3 Core Weight: 1 Total Weight: 710 3.93/4.01 c Elapsed CPU time: 3.9384 s Remaining CPU time: 1796.06 s 3.93/4.02 c core #711 3.93/4.02 c Core size: 3 Core Weight: 1 Total Weight: 711 3.93/4.02 c Elapsed CPU time: 3.9464 s Remaining CPU time: 1796.05 s 3.93/4.02 c core #712 3.93/4.02 c Core size: 3 Core Weight: 1 Total Weight: 712 3.93/4.02 c Elapsed CPU time: 3.9544 s Remaining CPU time: 1796.05 s 3.93/4.03 c core #713 3.93/4.03 c Core size: 3 Core Weight: 1 Total Weight: 713 3.93/4.03 c Elapsed CPU time: 3.9614 s Remaining CPU time: 1796.04 s 3.93/4.04 c core #714 3.93/4.04 c Core size: 3 Core Weight: 1 Total Weight: 714 3.93/4.04 c Elapsed CPU time: 3.9694 s Remaining CPU time: 1796.03 s 3.93/4.05 c core #715 3.93/4.05 c Core size: 3 Core Weight: 1 Total Weight: 715 3.93/4.05 c Elapsed CPU time: 3.9774 s Remaining CPU time: 1796.02 s 3.93/4.06 c core #716 3.93/4.06 c Core size: 3 Core Weight: 1 Total Weight: 716 3.93/4.06 c Elapsed CPU time: 3.98539 s Remaining CPU time: 1796.01 s 3.93/4.06 c core #717 3.93/4.06 c Core size: 3 Core Weight: 1 Total Weight: 717 3.93/4.06 c Elapsed CPU time: 3.99239 s Remaining CPU time: 1796.01 s 3.93/4.07 c core #718 3.93/4.07 c Core size: 3 Core Weight: 1 Total Weight: 718 3.93/4.07 c Elapsed CPU time: 3.99939 s Remaining CPU time: 1796 s 3.93/4.08 c core #719 3.93/4.08 c Core size: 3 Core Weight: 1 Total Weight: 719 3.93/4.08 c Elapsed CPU time: 4.00739 s Remaining CPU time: 1795.99 s 3.93/4.09 c core #720 3.93/4.09 c Core size: 3 Core Weight: 1 Total Weight: 720 3.93/4.09 c Elapsed CPU time: 4.01539 s Remaining CPU time: 1795.98 s 3.93/4.09 c core #721 3.93/4.09 c Core size: 3 Core Weight: 1 Total Weight: 721 3.93/4.10 c Elapsed CPU time: 4.02339 s Remaining CPU time: 1795.98 s 4.04/4.10 c core #722 4.04/4.10 c Core size: 3 Core Weight: 1 Total Weight: 722 4.04/4.10 c Elapsed CPU time: 4.03139 s Remaining CPU time: 1795.97 s 4.04/4.11 c core #723 4.04/4.11 c Core size: 3 Core Weight: 1 Total Weight: 723 4.04/4.11 c Elapsed CPU time: 4.03939 s Remaining CPU time: 1795.96 s 4.04/4.12 c core #724 4.04/4.12 c Core size: 3 Core Weight: 1 Total Weight: 724 4.04/4.12 c Elapsed CPU time: 4.04638 s Remaining CPU time: 1795.95 s 4.04/4.13 c core #725 4.04/4.13 c Core size: 3 Core Weight: 1 Total Weight: 725 4.04/4.13 c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s 4.04/4.13 c core #726 4.04/4.13 c Core size: 3 Core Weight: 1 Total Weight: 726 4.04/4.13 c Elapsed CPU time: 4.06138 s Remaining CPU time: 1795.94 s 4.04/4.14 c core #727 4.04/4.14 c Core size: 3 Core Weight: 1 Total Weight: 727 4.04/4.14 c Elapsed CPU time: 4.06938 s Remaining CPU time: 1795.93 s 4.04/4.15 c core #728 4.04/4.15 c Core size: 3 Core Weight: 1 Total Weight: 728 4.04/4.15 c Elapsed CPU time: 4.07738 s Remaining CPU time: 1795.92 s 4.04/4.16 c core #729 4.04/4.16 c Core size: 3 Core Weight: 1 Total Weight: 729 4.04/4.16 c Elapsed CPU time: 4.08538 s Remaining CPU time: 1795.91 s 4.04/4.17 c core #730 4.04/4.17 c Core size: 3 Core Weight: 1 Total Weight: 730 4.04/4.17 c Elapsed CPU time: 4.09338 s Remaining CPU time: 1795.91 s 4.04/4.17 c core #731 4.04/4.17 c Core size: 3 Core Weight: 1 Total Weight: 731 4.04/4.17 c Elapsed CPU time: 4.10138 s Remaining CPU time: 1795.9 s 4.04/4.18 c core #732 4.04/4.18 c Core size: 3 Core Weight: 1 Total Weight: 732 4.04/4.18 c Elapsed CPU time: 4.10837 s Remaining CPU time: 1795.89 s 4.04/4.19 c core #733 4.04/4.19 c Core size: 3 Core Weight: 1 Total Weight: 733 4.04/4.19 c Elapsed CPU time: 4.11637 s Remaining CPU time: 1795.88 s 4.14/4.20 c core #734 4.14/4.20 c Core size: 3 Core Weight: 1 Total Weight: 734 4.14/4.20 c Elapsed CPU time: 4.12437 s Remaining CPU time: 1795.88 s 4.14/4.20 c core #735 4.14/4.20 c Core size: 3 Core Weight: 1 Total Weight: 735 4.14/4.20 c Elapsed CPU time: 4.13237 s Remaining CPU time: 1795.87 s 4.14/4.21 c core #736 4.14/4.21 c Core size: 3 Core Weight: 1 Total Weight: 736 4.14/4.21 c Elapsed CPU time: 4.14037 s Remaining CPU time: 1795.86 s 4.14/4.22 c core #737 4.14/4.22 c Core size: 3 Core Weight: 1 Total Weight: 737 4.14/4.22 c Elapsed CPU time: 4.14837 s Remaining CPU time: 1795.85 s 4.14/4.23 c core #738 4.14/4.23 c Core size: 3 Core Weight: 1 Total Weight: 738 4.14/4.23 c Elapsed CPU time: 4.15637 s Remaining CPU time: 1795.84 s 4.14/4.24 c core #739 4.14/4.24 c Core size: 3 Core Weight: 1 Total Weight: 739 4.14/4.24 c Elapsed CPU time: 4.16337 s Remaining CPU time: 1795.84 s 4.14/4.24 c core #740 4.14/4.24 c Core size: 3 Core Weight: 1 Total Weight: 740 4.14/4.24 c Elapsed CPU time: 4.17037 s Remaining CPU time: 1795.83 s 4.14/4.25 c core #741 4.14/4.25 c Core size: 3 Core Weight: 1 Total Weight: 741 4.14/4.25 c Elapsed CPU time: 4.17836 s Remaining CPU time: 1795.82 s 4.14/4.26 c core #742 4.14/4.26 c Core size: 3 Core Weight: 1 Total Weight: 742 4.14/4.26 c Elapsed CPU time: 4.18636 s Remaining CPU time: 1795.81 s 4.14/4.27 c core #743 4.14/4.27 c Core size: 3 Core Weight: 1 Total Weight: 743 4.14/4.27 c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s 4.14/4.28 c core #744 4.14/4.28 c Core size: 3 Core Weight: 1 Total Weight: 744 4.14/4.28 c Elapsed CPU time: 4.20236 s Remaining CPU time: 1795.8 s 4.14/4.28 c core #745 4.14/4.28 c Core size: 3 Core Weight: 1 Total Weight: 745 4.14/4.28 c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s 4.14/4.29 c core #746 4.14/4.29 c Core size: 3 Core Weight: 1 Total Weight: 746 4.14/4.29 c Elapsed CPU time: 4.21836 s Remaining CPU time: 1795.78 s 4.14/4.30 c core #747 4.14/4.30 c Core size: 3 Core Weight: 1 Total Weight: 747 4.14/4.30 c Elapsed CPU time: 4.22636 s Remaining CPU time: 1795.77 s 4.24/4.31 c core #748 4.24/4.31 c Core size: 3 Core Weight: 1 Total Weight: 748 4.24/4.31 c Elapsed CPU time: 4.23336 s Remaining CPU time: 1795.77 s 4.24/4.32 c core #749 4.24/4.32 c Core size: 3 Core Weight: 1 Total Weight: 749 4.24/4.32 c Elapsed CPU time: 4.24136 s Remaining CPU time: 1795.76 s 4.24/4.32 c core #750 4.24/4.32 c Core size: 3 Core Weight: 1 Total Weight: 750 4.24/4.32 c Elapsed CPU time: 4.24935 s Remaining CPU time: 1795.75 s 4.24/4.33 c core #751 4.24/4.33 c Core size: 3 Core Weight: 1 Total Weight: 751 4.24/4.33 c Elapsed CPU time: 4.25835 s Remaining CPU time: 1795.74 s 4.24/4.34 c core #752 4.24/4.34 c Core size: 3 Core Weight: 1 Total Weight: 752 4.24/4.34 c Elapsed CPU time: 4.26635 s Remaining CPU time: 1795.73 s 4.24/4.35 c core #753 4.24/4.35 c Core size: 3 Core Weight: 1 Total Weight: 753 4.24/4.35 c Elapsed CPU time: 4.27435 s Remaining CPU time: 1795.73 s 4.24/4.36 c core #754 4.24/4.36 c Core size: 3 Core Weight: 1 Total Weight: 754 4.24/4.36 c Elapsed CPU time: 4.28235 s Remaining CPU time: 1795.72 s 4.24/4.37 c core #755 4.24/4.37 c Core size: 3 Core Weight: 1 Total Weight: 755 4.24/4.37 c Elapsed CPU time: 4.29035 s Remaining CPU time: 1795.71 s 4.24/4.37 c core #756 4.24/4.37 c Core size: 3 Core Weight: 1 Total Weight: 756 4.24/4.37 c Elapsed CPU time: 4.29835 s Remaining CPU time: 1795.7 s 4.24/4.38 c core #757 4.24/4.38 c Core size: 3 Core Weight: 1 Total Weight: 757 4.24/4.38 c Elapsed CPU time: 4.30635 s Remaining CPU time: 1795.69 s 4.24/4.39 c core #758 4.24/4.39 c Core size: 3 Core Weight: 1 Total Weight: 758 4.24/4.39 c Elapsed CPU time: 4.31434 s Remaining CPU time: 1795.69 s 4.24/4.40 c core #759 4.24/4.40 c Core size: 3 Core Weight: 1 Total Weight: 759 4.24/4.40 c Elapsed CPU time: 4.32234 s Remaining CPU time: 1795.68 s 4.34/4.41 c core #760 4.34/4.41 c Core size: 3 Core Weight: 1 Total Weight: 760 4.34/4.41 c Elapsed CPU time: 4.33034 s Remaining CPU time: 1795.67 s 4.34/4.41 c core #761 4.34/4.41 c Core size: 3 Core Weight: 1 Total Weight: 761 4.34/4.41 c Elapsed CPU time: 4.33834 s Remaining CPU time: 1795.66 s 4.34/4.42 c core #762 4.34/4.42 c Core size: 3 Core Weight: 1 Total Weight: 762 4.34/4.42 c Elapsed CPU time: 4.34634 s Remaining CPU time: 1795.65 s 4.34/4.43 c core #763 4.34/4.43 c Core size: 3 Core Weight: 1 Total Weight: 763 4.34/4.43 c Elapsed CPU time: 4.35434 s Remaining CPU time: 1795.65 s 4.34/4.44 c core #764 4.34/4.44 c Core size: 3 Core Weight: 1 Total Weight: 764 4.34/4.44 c Elapsed CPU time: 4.36234 s Remaining CPU time: 1795.64 s 4.34/4.45 c core #765 4.34/4.45 c Core size: 3 Core Weight: 1 Total Weight: 765 4.34/4.45 c Elapsed CPU time: 4.37033 s Remaining CPU time: 1795.63 s 4.34/4.46 c core #766 4.34/4.46 c Core size: 3 Core Weight: 1 Total Weight: 766 4.34/4.46 c Elapsed CPU time: 4.37833 s Remaining CPU time: 1795.62 s 4.34/4.46 c core #767 4.34/4.46 c Core size: 3 Core Weight: 1 Total Weight: 767 4.34/4.46 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.34/4.47 c core #768 4.34/4.47 c Core size: 3 Core Weight: 1 Total Weight: 768 4.34/4.47 c Elapsed CPU time: 4.39533 s Remaining CPU time: 1795.6 s 4.34/4.48 c core #769 4.34/4.48 c Core size: 3 Core Weight: 1 Total Weight: 769 4.34/4.48 c Elapsed CPU time: 4.40333 s Remaining CPU time: 1795.6 s 4.34/4.49 c core #770 4.34/4.49 c Core size: 3 Core Weight: 1 Total Weight: 770 4.34/4.49 c Elapsed CPU time: 4.41133 s Remaining CPU time: 1795.59 s 4.43/4.50 c core #771 4.43/4.50 c Core size: 3 Core Weight: 1 Total Weight: 771 4.43/4.50 c Elapsed CPU time: 4.42033 s Remaining CPU time: 1795.58 s 4.43/4.50 c core #772 4.43/4.50 c Core size: 3 Core Weight: 1 Total Weight: 772 4.43/4.50 c Elapsed CPU time: 4.42733 s Remaining CPU time: 1795.57 s 4.43/4.51 c core #773 4.43/4.51 c Core size: 3 Core Weight: 1 Total Weight: 773 4.43/4.51 c Elapsed CPU time: 4.43532 s Remaining CPU time: 1795.56 s 4.43/4.52 c core #774 4.43/4.52 c Core size: 3 Core Weight: 1 Total Weight: 774 4.43/4.52 c Elapsed CPU time: 4.44332 s Remaining CPU time: 1795.56 s 4.43/4.53 c core #775 4.43/4.53 c Core size: 3 Core Weight: 1 Total Weight: 775 4.43/4.53 c Elapsed CPU time: 4.45132 s Remaining CPU time: 1795.55 s 4.43/4.54 c core #776 4.43/4.54 c Core size: 3 Core Weight: 1 Total Weight: 776 4.43/4.54 c Elapsed CPU time: 4.45932 s Remaining CPU time: 1795.54 s 4.43/4.55 c core #777 4.43/4.55 c Core size: 3 Core Weight: 1 Total Weight: 777 4.43/4.55 c Elapsed CPU time: 4.46732 s Remaining CPU time: 1795.53 s 4.43/4.55 c core #778 4.43/4.55 c Core size: 3 Core Weight: 1 Total Weight: 778 4.43/4.55 c Elapsed CPU time: 4.47532 s Remaining CPU time: 1795.52 s 4.43/4.56 c core #779 4.43/4.56 c Core size: 3 Core Weight: 1 Total Weight: 779 4.43/4.56 c Elapsed CPU time: 4.48332 s Remaining CPU time: 1795.52 s 4.43/4.57 c core #780 4.43/4.57 c Core size: 3 Core Weight: 1 Total Weight: 780 4.43/4.57 c Elapsed CPU time: 4.49132 s Remaining CPU time: 1795.51 s 4.43/4.58 c core #781 4.43/4.58 c Core size: 3 Core Weight: 1 Total Weight: 781 4.43/4.58 c Elapsed CPU time: 4.49932 s Remaining CPU time: 1795.5 s 4.43/4.59 c core #782 4.43/4.59 c Core size: 3 Core Weight: 1 Total Weight: 782 4.43/4.59 c Elapsed CPU time: 4.50731 s Remaining CPU time: 1795.49 s 4.43/4.60 c core #783 4.43/4.60 c Core size: 3 Core Weight: 1 Total Weight: 783 4.43/4.60 c Elapsed CPU time: 4.51531 s Remaining CPU time: 1795.48 s 4.53/4.60 c core #784 4.53/4.60 c Core size: 3 Core Weight: 1 Total Weight: 784 4.53/4.60 c Elapsed CPU time: 4.52331 s Remaining CPU time: 1795.48 s 4.53/4.61 c core #785 4.53/4.61 c Core size: 3 Core Weight: 1 Total Weight: 785 4.53/4.61 c Elapsed CPU time: 4.53131 s Remaining CPU time: 1795.47 s 4.53/4.62 c core #786 4.53/4.62 c Core size: 3 Core Weight: 1 Total Weight: 786 4.53/4.62 c Elapsed CPU time: 4.53931 s Remaining CPU time: 1795.46 s 4.53/4.63 c core #787 4.53/4.63 c Core size: 3 Core Weight: 1 Total Weight: 787 4.53/4.63 c Elapsed CPU time: 4.54731 s Remaining CPU time: 1795.45 s 4.53/4.64 c core #788 4.53/4.64 c Core size: 3 Core Weight: 1 Total Weight: 788 4.53/4.64 c Elapsed CPU time: 4.55631 s Remaining CPU time: 1795.44 s 4.53/4.65 c core #789 4.53/4.65 c Core size: 3 Core Weight: 1 Total Weight: 789 4.53/4.65 c Elapsed CPU time: 4.56431 s Remaining CPU time: 1795.44 s 4.53/4.65 c core #790 4.53/4.65 c Core size: 3 Core Weight: 1 Total Weight: 790 4.53/4.65 c Elapsed CPU time: 4.5723 s Remaining CPU time: 1795.43 s 4.53/4.66 c core #791 4.53/4.66 c Core size: 3 Core Weight: 1 Total Weight: 791 4.53/4.66 c Elapsed CPU time: 4.5813 s Remaining CPU time: 1795.42 s 4.53/4.67 c core #792 4.53/4.67 c Core size: 3 Core Weight: 1 Total Weight: 792 4.53/4.67 c Elapsed CPU time: 4.5883 s Remaining CPU time: 1795.41 s 4.53/4.68 c core #793 4.53/4.68 c Core size: 3 Core Weight: 1 Total Weight: 793 4.53/4.68 c Elapsed CPU time: 4.5963 s Remaining CPU time: 1795.4 s 4.53/4.69 c core #794 4.53/4.69 c Core size: 3 Core Weight: 1 Total Weight: 794 4.53/4.69 c Elapsed CPU time: 4.6043 s Remaining CPU time: 1795.4 s 4.53/4.70 c core #795 4.53/4.70 c Core size: 3 Core Weight: 1 Total Weight: 795 4.53/4.70 c Elapsed CPU time: 4.6113 s Remaining CPU time: 1795.39 s 4.63/4.70 c core #796 4.63/4.70 c Core size: 3 Core Weight: 1 Total Weight: 796 4.63/4.70 c Elapsed CPU time: 4.6193 s Remaining CPU time: 1795.38 s 4.63/4.71 c core #797 4.63/4.71 c Core size: 3 Core Weight: 1 Total Weight: 797 4.63/4.71 c Elapsed CPU time: 4.6283 s Remaining CPU time: 1795.37 s 4.63/4.72 c core #798 4.63/4.72 c Core size: 3 Core Weight: 1 Total Weight: 798 4.63/4.72 c Elapsed CPU time: 4.6363 s Remaining CPU time: 1795.36 s 4.63/4.73 c core #799 4.63/4.73 c Core size: 3 Core Weight: 1 Total Weight: 799 4.63/4.73 c Elapsed CPU time: 4.64529 s Remaining CPU time: 1795.35 s 4.63/4.74 c core #800 4.63/4.74 c Core size: 3 Core Weight: 1 Total Weight: 800 4.63/4.74 c Elapsed CPU time: 4.65429 s Remaining CPU time: 1795.35 s 4.63/4.75 c core #801 4.63/4.75 c Core size: 3 Core Weight: 1 Total Weight: 801 4.63/4.75 c Elapsed CPU time: 4.66229 s Remaining CPU time: 1795.34 s 4.63/4.76 c core #802 4.63/4.76 c Core size: 3 Core Weight: 1 Total Weight: 802 4.63/4.76 c Elapsed CPU time: 4.67129 s Remaining CPU time: 1795.33 s 4.63/4.76 c core #803 4.63/4.76 c Core size: 3 Core Weight: 1 Total Weight: 803 4.63/4.76 c Elapsed CPU time: 4.68029 s Remaining CPU time: 1795.32 s 4.63/4.77 c core #804 4.63/4.77 c Core size: 3 Core Weight: 1 Total Weight: 804 4.63/4.77 c Elapsed CPU time: 4.68829 s Remaining CPU time: 1795.31 s 4.63/4.78 c core #805 4.63/4.78 c Core size: 3 Core Weight: 1 Total Weight: 805 4.63/4.78 c Elapsed CPU time: 4.69728 s Remaining CPU time: 1795.3 s 4.63/4.79 c core #806 4.63/4.79 c Core size: 3 Core Weight: 1 Total Weight: 806 4.63/4.79 c Elapsed CPU time: 4.70528 s Remaining CPU time: 1795.29 s 4.73/4.80 c core #807 4.73/4.80 c Core size: 3 Core Weight: 1 Total Weight: 807 4.73/4.80 c Elapsed CPU time: 4.71428 s Remaining CPU time: 1795.29 s 4.73/4.81 c core #808 4.73/4.81 c Core size: 3 Core Weight: 1 Total Weight: 808 4.73/4.81 c Elapsed CPU time: 4.72228 s Remaining CPU time: 1795.28 s 4.73/4.82 c core #809 4.73/4.82 c Core size: 3 Core Weight: 1 Total Weight: 809 4.73/4.82 c Elapsed CPU time: 4.73128 s Remaining CPU time: 1795.27 s 4.73/4.82 c core #810 4.73/4.82 c Core size: 3 Core Weight: 1 Total Weight: 810 4.73/4.82 c Elapsed CPU time: 4.73928 s Remaining CPU time: 1795.26 s 4.73/4.83 c core #811 4.73/4.83 c Core size: 3 Core Weight: 1 Total Weight: 811 4.73/4.83 c Elapsed CPU time: 4.74728 s Remaining CPU time: 1795.25 s 4.73/4.84 c core #812 4.73/4.84 c Core size: 3 Core Weight: 1 Total Weight: 812 4.73/4.84 c Elapsed CPU time: 4.75528 s Remaining CPU time: 1795.24 s 4.73/4.85 c core #813 4.73/4.85 c Core size: 3 Core Weight: 1 Total Weight: 813 4.73/4.85 c Elapsed CPU time: 4.76328 s Remaining CPU time: 1795.24 s 4.73/4.86 c core #814 4.73/4.86 c Core size: 3 Core Weight: 1 Total Weight: 814 4.73/4.86 c Elapsed CPU time: 4.77127 s Remaining CPU time: 1795.23 s 4.73/4.87 c core #815 4.73/4.87 c Core size: 3 Core Weight: 1 Total Weight: 815 4.73/4.87 c Elapsed CPU time: 4.78027 s Remaining CPU time: 1795.22 s 4.73/4.88 c core #816 4.73/4.88 c Core size: 7 Core Weight: 1 Total Weight: 816 4.73/4.88 c Elapsed CPU time: 4.78827 s Remaining CPU time: 1795.21 s 4.73/4.88 c core #817 4.73/4.88 c Core size: 7 Core Weight: 1 Total Weight: 817 4.73/4.88 c Elapsed CPU time: 4.79727 s Remaining CPU time: 1795.2 s 4.73/4.89 c core #818 4.73/4.89 c Core size: 7 Core Weight: 1 Total Weight: 818 4.73/4.89 c Elapsed CPU time: 4.80527 s Remaining CPU time: 1795.19 s 4.82/4.90 c core #819 4.82/4.90 c Core size: 7 Core Weight: 1 Total Weight: 819 4.82/4.90 c Elapsed CPU time: 4.81427 s Remaining CPU time: 1795.19 s 4.82/4.91 c core #820 4.82/4.91 c Core size: 7 Core Weight: 1 Total Weight: 820 4.82/4.91 c Elapsed CPU time: 4.82327 s Remaining CPU time: 1795.18 s 4.82/4.92 c core #821 4.82/4.92 c Core size: 7 Core Weight: 1 Total Weight: 821 4.82/4.92 c Elapsed CPU time: 4.83127 s Remaining CPU time: 1795.17 s 4.82/4.93 c core #822 4.82/4.93 c Core size: 7 Core Weight: 1 Total Weight: 822 4.82/4.93 c Elapsed CPU time: 4.83926 s Remaining CPU time: 1795.16 s 4.82/4.94 c core #823 4.82/4.94 c Core size: 7 Core Weight: 1 Total Weight: 823 4.82/4.94 c Elapsed CPU time: 4.84826 s Remaining CPU time: 1795.15 s 4.82/4.94 c core #824 4.82/4.94 c Core size: 7 Core Weight: 1 Total Weight: 824 4.82/4.94 c Elapsed CPU time: 4.85726 s Remaining CPU time: 1795.14 s 4.82/4.95 c core #825 4.82/4.95 c Core size: 7 Core Weight: 1 Total Weight: 825 4.82/4.95 c Elapsed CPU time: 4.86526 s Remaining CPU time: 1795.13 s 4.82/4.96 c core #826 4.82/4.96 c Core size: 11 Core Weight: 1 Total Weight: 826 4.82/4.96 c Elapsed CPU time: 4.87326 s Remaining CPU time: 1795.13 s 4.82/4.97 c core #827 4.82/4.97 c Core size: 7 Core Weight: 1 Total Weight: 827 4.82/4.97 c Elapsed CPU time: 4.88226 s Remaining CPU time: 1795.12 s 4.82/4.98 c core #828 4.82/4.98 c Core size: 7 Core Weight: 1 Total Weight: 828 4.82/4.98 c Elapsed CPU time: 4.89126 s Remaining CPU time: 1795.11 s 4.82/4.99 c core #829 4.82/4.99 c Core size: 7 Core Weight: 1 Total Weight: 829 4.82/4.99 c Elapsed CPU time: 4.90025 s Remaining CPU time: 1795.1 s 4.92/5.00 c core #830 4.92/5.00 c Core size: 7 Core Weight: 1 Total Weight: 830 4.92/5.00 c Elapsed CPU time: 4.90925 s Remaining CPU time: 1795.09 s 4.92/5.01 c core #831 4.92/5.01 c Core size: 7 Core Weight: 1 Total Weight: 831 4.92/5.01 c Elapsed CPU time: 4.91825 s Remaining CPU time: 1795.08 s 4.92/5.02 c core #832 4.92/5.02 c Core size: 7 Core Weight: 1 Total Weight: 832 4.92/5.02 c Elapsed CPU time: 4.92725 s Remaining CPU time: 1795.07 s 4.92/5.03 c core #833 4.92/5.03 c Core size: 7 Core Weight: 1 Total Weight: 833 4.92/5.03 c Elapsed CPU time: 4.93725 s Remaining CPU time: 1795.06 s 4.92/5.03 c core #834 4.92/5.03 c Core size: 7 Core Weight: 1 Total Weight: 834 4.92/5.04 c Elapsed CPU time: 4.94625 s Remaining CPU time: 1795.05 s 4.92/5.04 c core #835 4.92/5.04 c Core size: 7 Core Weight: 1 Total Weight: 835 4.92/5.04 c Elapsed CPU time: 4.95525 s Remaining CPU time: 1795.04 s 4.92/5.05 c core #836 4.92/5.05 c Core size: 7 Core Weight: 1 Total Weight: 836 4.92/5.05 c Elapsed CPU time: 4.96425 s Remaining CPU time: 1795.04 s 4.92/5.06 c core #837 4.92/5.06 c Core size: 11 Core Weight: 1 Total Weight: 837 4.92/5.06 c Elapsed CPU time: 4.97424 s Remaining CPU time: 1795.03 s 4.92/5.07 c core #838 4.92/5.07 c Core size: 7 Core Weight: 1 Total Weight: 838 4.92/5.07 c Elapsed CPU time: 4.98224 s Remaining CPU time: 1795.02 s 4.92/5.08 c core #839 4.92/5.08 c Core size: 7 Core Weight: 1 Total Weight: 839 4.92/5.08 c Elapsed CPU time: 4.99124 s Remaining CPU time: 1795.01 s 4.92/5.09 c core #840 4.92/5.09 c Core size: 11 Core Weight: 1 Total Weight: 840 4.92/5.09 c Elapsed CPU time: 5.00024 s Remaining CPU time: 1795 s 5.02/5.10 c core #841 5.02/5.10 c Core size: 7 Core Weight: 1 Total Weight: 841 5.02/5.10 c Elapsed CPU time: 5.00924 s Remaining CPU time: 1794.99 s 5.02/5.11 c core #842 5.02/5.11 c Core size: 7 Core Weight: 1 Total Weight: 842 5.02/5.11 c Elapsed CPU time: 5.01924 s Remaining CPU time: 1794.98 s 5.02/5.12 c core #843 5.02/5.12 c Core size: 11 Core Weight: 1 Total Weight: 843 5.02/5.12 c Elapsed CPU time: 5.02823 s Remaining CPU time: 1794.97 s 5.02/5.13 c core #844 5.02/5.13 c Core size: 7 Core Weight: 1 Total Weight: 844 5.02/5.13 c Elapsed CPU time: 5.03723 s Remaining CPU time: 1794.96 s 5.02/5.14 c core #845 5.02/5.14 c Core size: 7 Core Weight: 1 Total Weight: 845 5.02/5.14 c Elapsed CPU time: 5.04623 s Remaining CPU time: 1794.95 s 5.02/5.15 c core #846 5.02/5.15 c Core size: 7 Core Weight: 1 Total Weight: 846 5.02/5.15 c Elapsed CPU time: 5.05423 s Remaining CPU time: 1794.95 s 5.02/5.16 c core #847 5.02/5.16 c Core size: 11 Core Weight: 1 Total Weight: 847 5.02/5.16 c Elapsed CPU time: 5.06223 s Remaining CPU time: 1794.94 s 5.02/5.17 c core #848 5.02/5.17 c Core size: 7 Core Weight: 1 Total Weight: 848 5.02/5.17 c Elapsed CPU time: 5.07123 s Remaining CPU time: 1794.93 s 5.02/5.17 c core #849 5.02/5.17 c Core size: 7 Core Weight: 1 Total Weight: 849 5.02/5.17 c Elapsed CPU time: 5.08123 s Remaining CPU time: 1794.92 s 5.02/5.18 c core #850 5.02/5.18 c Core size: 7 Core Weight: 1 Total Weight: 850 5.02/5.18 c Elapsed CPU time: 5.09023 s Remaining CPU time: 1794.91 s 5.02/5.19 c core #851 5.02/5.19 c Core size: 15 Core Weight: 1 Total Weight: 851 5.02/5.19 c Elapsed CPU time: 5.09922 s Remaining CPU time: 1794.9 s 5.12/5.20 c core #852 5.12/5.20 c Core size: 7 Core Weight: 1 Total Weight: 852 5.12/5.20 c Elapsed CPU time: 5.10722 s Remaining CPU time: 1794.89 s 5.12/5.21 c core #853 5.12/5.21 c Core size: 7 Core Weight: 1 Total Weight: 853 5.12/5.21 c Elapsed CPU time: 5.11722 s Remaining CPU time: 1794.88 s 5.12/5.22 c core #854 5.12/5.22 c Core size: 7 Core Weight: 1 Total Weight: 854 5.12/5.22 c Elapsed CPU time: 5.12622 s Remaining CPU time: 1794.87 s 5.12/5.23 c core #855 5.12/5.23 c Core size: 7 Core Weight: 1 Total Weight: 855 5.12/5.23 c Elapsed CPU time: 5.13522 s Remaining CPU time: 1794.86 s 5.12/5.24 c core #856 5.12/5.24 c Core size: 15 Core Weight: 1 Total Weight: 856 5.12/5.24 c Elapsed CPU time: 5.14522 s Remaining CPU time: 1794.85 s 5.12/5.25 c core #857 5.12/5.25 c Core size: 7 Core Weight: 1 Total Weight: 857 5.12/5.25 c Elapsed CPU time: 5.15422 s Remaining CPU time: 1794.85 s 5.12/5.26 c core #858 5.12/5.26 c Core size: 11 Core Weight: 1 Total Weight: 858 5.12/5.26 c Elapsed CPU time: 5.16421 s Remaining CPU time: 1794.84 s 5.12/5.27 c core #859 5.12/5.27 c Core size: 7 Core Weight: 1 Total Weight: 859 5.12/5.27 c Elapsed CPU time: 5.17321 s Remaining CPU time: 1794.83 s 5.12/5.28 c core #860 5.12/5.28 c Core size: 11 Core Weight: 1 Total Weight: 860 5.12/5.28 c Elapsed CPU time: 5.18321 s Remaining CPU time: 1794.82 s 5.12/5.29 c core #861 5.12/5.29 c Core size: 7 Core Weight: 1 Total Weight: 861 5.12/5.29 c Elapsed CPU time: 5.19221 s Remaining CPU time: 1794.81 s 5.22/5.30 c core #862 5.22/5.30 c Core size: 7 Core Weight: 1 Total Weight: 862 5.22/5.30 c Elapsed CPU time: 5.20221 s Remaining CPU time: 1794.8 s 5.22/5.31 c core #863 5.22/5.31 c Core size: 11 Core Weight: 1 Total Weight: 863 5.22/5.31 c Elapsed CPU time: 5.21221 s Remaining CPU time: 1794.79 s 5.22/5.32 c core #864 5.22/5.32 c Core size: 7 Core Weight: 1 Total Weight: 864 5.22/5.32 c Elapsed CPU time: 5.22221 s Remaining CPU time: 1794.78 s 5.22/5.33 c core #865 5.22/5.33 c Core size: 7 Core Weight: 1 Total Weight: 865 5.22/5.33 c Elapsed CPU time: 5.2312 s Remaining CPU time: 1794.77 s 5.22/5.34 c core #866 5.22/5.34 c Core size: 7 Core Weight: 1 Total Weight: 866 5.22/5.34 c Elapsed CPU time: 5.2412 s Remaining CPU time: 1794.76 s 5.22/5.35 c core #867 5.22/5.35 c Core size: 7 Core Weight: 1 Total Weight: 867 5.22/5.35 c Elapsed CPU time: 5.2512 s Remaining CPU time: 1794.75 s 5.22/5.36 c core #868 5.22/5.36 c Core size: 11 Core Weight: 1 Total Weight: 868 5.22/5.36 c Elapsed CPU time: 5.2612 s Remaining CPU time: 1794.74 s 5.22/5.37 c core #869 5.22/5.37 c Core size: 7 Core Weight: 1 Total Weight: 869 5.22/5.37 c Elapsed CPU time: 5.2712 s Remaining CPU time: 1794.73 s 5.22/5.38 c core #870 5.22/5.38 c Core size: 7 Core Weight: 1 Total Weight: 870 5.22/5.38 c Elapsed CPU time: 5.2802 s Remaining CPU time: 1794.72 s 5.22/5.39 c core #871 5.22/5.39 c Core size: 7 Core Weight: 1 Total Weight: 871 5.22/5.39 c Elapsed CPU time: 5.2892 s Remaining CPU time: 1794.71 s 5.22/5.40 c core #872 5.22/5.40 c Core size: 7 Core Weight: 1 Total Weight: 872 5.22/5.40 c Elapsed CPU time: 5.29919 s Remaining CPU time: 1794.7 s 5.33/5.41 c core #873 5.33/5.41 c Core size: 7 Core Weight: 1 Total Weight: 873 5.33/5.41 c Elapsed CPU time: 5.30819 s Remaining CPU time: 1794.69 s 5.33/5.42 c core #874 5.33/5.42 c Core size: 11 Core Weight: 1 Total Weight: 874 5.33/5.42 c Elapsed CPU time: 5.31719 s Remaining CPU time: 1794.68 s 5.33/5.43 c core #875 5.33/5.43 c Core size: 7 Core Weight: 1 Total Weight: 875 5.33/5.43 c Elapsed CPU time: 5.32619 s Remaining CPU time: 1794.67 s 5.33/5.44 c core #876 5.33/5.44 c Core size: 7 Core Weight: 1 Total Weight: 876 5.33/5.44 c Elapsed CPU time: 5.33619 s Remaining CPU time: 1794.66 s 5.33/5.45 c core #877 5.33/5.45 c Core size: 7 Core Weight: 1 Total Weight: 877 5.33/5.45 c Elapsed CPU time: 5.34619 s Remaining CPU time: 1794.65 s 5.33/5.46 c core #878 5.33/5.46 c Core size: 11 Core Weight: 1 Total Weight: 878 5.33/5.46 c Elapsed CPU time: 5.35618 s Remaining CPU time: 1794.64 s 5.33/5.47 c core #879 5.33/5.47 c Core size: 11 Core Weight: 1 Total Weight: 879 5.33/5.47 c Elapsed CPU time: 5.36618 s Remaining CPU time: 1794.63 s 5.33/5.48 c core #880 5.33/5.48 c Core size: 7 Core Weight: 1 Total Weight: 880 5.33/5.48 c Elapsed CPU time: 5.37618 s Remaining CPU time: 1794.62 s 5.33/5.49 c core #881 5.33/5.49 c Core size: 11 Core Weight: 1 Total Weight: 881 5.33/5.49 c Elapsed CPU time: 5.38618 s Remaining CPU time: 1794.61 s 5.33/5.50 c core #882 5.33/5.50 c Core size: 7 Core Weight: 1 Total Weight: 882 5.33/5.50 c Elapsed CPU time: 5.39518 s Remaining CPU time: 1794.6 s 5.42/5.51 c core #883 5.42/5.51 c Core size: 11 Core Weight: 1 Total Weight: 883 5.42/5.51 c Elapsed CPU time: 5.40518 s Remaining CPU time: 1794.59 s 5.42/5.52 c core #884 5.42/5.52 c Core size: 11 Core Weight: 1 Total Weight: 884 5.42/5.52 c Elapsed CPU time: 5.41518 s Remaining CPU time: 1794.58 s 5.42/5.53 c core #885 5.42/5.53 c Core size: 11 Core Weight: 1 Total Weight: 885 5.42/5.53 c Elapsed CPU time: 5.42518 s Remaining CPU time: 1794.57 s 5.42/5.53 c core #886 5.42/5.53 c Core size: 7 Core Weight: 1 Total Weight: 886 5.42/5.53 c Elapsed CPU time: 5.43517 s Remaining CPU time: 1794.56 s 5.42/5.54 c core #887 5.42/5.54 c Core size: 7 Core Weight: 1 Total Weight: 887 5.42/5.55 c Elapsed CPU time: 5.44517 s Remaining CPU time: 1794.55 s 5.42/5.55 c core #888 5.42/5.55 c Core size: 7 Core Weight: 1 Total Weight: 888 5.42/5.55 c Elapsed CPU time: 5.45417 s Remaining CPU time: 1794.55 s 5.42/5.56 c core #889 5.42/5.56 c Core size: 15 Core Weight: 1 Total Weight: 889 5.42/5.56 c Elapsed CPU time: 5.46417 s Remaining CPU time: 1794.54 s 5.42/5.57 c core #890 5.42/5.57 c Core size: 11 Core Weight: 1 Total Weight: 890 5.42/5.57 c Elapsed CPU time: 5.47217 s Remaining CPU time: 1794.53 s 5.42/5.59 c core #891 5.42/5.59 c Core size: 11 Core Weight: 1 Total Weight: 891 5.42/5.59 c Elapsed CPU time: 5.48217 s Remaining CPU time: 1794.52 s 5.42/5.60 c core #892 5.42/5.60 c Core size: 7 Core Weight: 1 Total Weight: 892 5.42/5.60 c Elapsed CPU time: 5.49216 s Remaining CPU time: 1794.51 s 5.52/5.61 c core #893 5.52/5.61 c Core size: 19 Core Weight: 1 Total Weight: 893 5.52/5.61 c Elapsed CPU time: 5.50216 s Remaining CPU time: 1794.5 s 5.52/5.62 c core #894 5.52/5.62 c Core size: 7 Core Weight: 1 Total Weight: 894 5.52/5.62 c Elapsed CPU time: 5.51216 s Remaining CPU time: 1794.49 s 5.52/5.63 c core #895 5.52/5.63 c Core size: 7 Core Weight: 1 Total Weight: 895 5.52/5.63 c Elapsed CPU time: 5.52216 s Remaining CPU time: 1794.48 s 5.52/5.64 c core #896 5.52/5.64 c Core size: 19 Core Weight: 1 Total Weight: 896 5.52/5.64 c Elapsed CPU time: 5.53316 s Remaining CPU time: 1794.47 s 5.52/5.65 c core #897 5.52/5.65 c Core size: 31 Core Weight: 1 Total Weight: 897 5.52/5.65 c Elapsed CPU time: 5.54316 s Remaining CPU time: 1794.46 s 5.52/5.66 c core #898 5.52/5.66 c Core size: 7 Core Weight: 1 Total Weight: 898 5.52/5.66 c Elapsed CPU time: 5.55316 s Remaining CPU time: 1794.45 s 5.52/5.67 c core #899 5.52/5.67 c Core size: 7 Core Weight: 1 Total Weight: 899 5.52/5.67 c Elapsed CPU time: 5.56315 s Remaining CPU time: 1794.44 s 5.52/5.68 c core #900 5.52/5.68 c Core size: 11 Core Weight: 1 Total Weight: 900 5.52/5.68 c Elapsed CPU time: 5.57315 s Remaining CPU time: 1794.43 s 5.52/5.69 c core #901 5.52/5.69 c Core size: 15 Core Weight: 1 Total Weight: 901 5.52/5.69 c Elapsed CPU time: 5.58215 s Remaining CPU time: 1794.42 s 5.62/5.70 c core #902 5.62/5.70 c Core size: 15 Core Weight: 1 Total Weight: 902 5.62/5.70 c Elapsed CPU time: 5.59215 s Remaining CPU time: 1794.41 s 5.62/5.71 c core #903 5.62/5.71 c Core size: 11 Core Weight: 1 Total Weight: 903 5.62/5.71 c Elapsed CPU time: 5.60215 s Remaining CPU time: 1794.4 s 5.62/5.72 c core #904 5.62/5.72 c Core size: 19 Core Weight: 1 Total Weight: 904 5.62/5.72 c Elapsed CPU time: 5.61215 s Remaining CPU time: 1794.39 s 5.62/5.73 c core #905 5.62/5.73 c Core size: 11 Core Weight: 1 Total Weight: 905 5.62/5.73 c Elapsed CPU time: 5.62214 s Remaining CPU time: 1794.38 s 5.62/5.74 c core #906 5.62/5.74 c Core size: 7 Core Weight: 1 Total Weight: 906 5.62/5.74 c Elapsed CPU time: 5.63214 s Remaining CPU time: 1794.37 s 5.62/5.75 c core #907 5.62/5.75 c Core size: 11 Core Weight: 1 Total Weight: 907 5.62/5.75 c Elapsed CPU time: 5.64214 s Remaining CPU time: 1794.36 s 5.62/5.76 c core #908 5.62/5.76 c Core size: 11 Core Weight: 1 Total Weight: 908 5.62/5.76 c Elapsed CPU time: 5.65114 s Remaining CPU time: 1794.35 s 5.62/5.77 c core #909 5.62/5.77 c Core size: 11 Core Weight: 1 Total Weight: 909 5.62/5.77 c Elapsed CPU time: 5.66114 s Remaining CPU time: 1794.34 s 5.62/5.78 c core #910 5.62/5.78 c Core size: 23 Core Weight: 1 Total Weight: 910 5.62/5.78 c Elapsed CPU time: 5.67114 s Remaining CPU time: 1794.33 s 5.62/5.79 c core #911 5.62/5.79 c Core size: 11 Core Weight: 1 Total Weight: 911 5.62/5.79 c Elapsed CPU time: 5.68114 s Remaining CPU time: 1794.32 s 5.71/5.80 c core #912 5.71/5.80 c Core size: 15 Core Weight: 1 Total Weight: 912 5.71/5.80 c Elapsed CPU time: 5.69213 s Remaining CPU time: 1794.31 s 5.71/5.81 c core #913 5.71/5.81 c Core size: 7 Core Weight: 1 Total Weight: 913 5.71/5.81 c Elapsed CPU time: 5.70213 s Remaining CPU time: 1794.3 s 5.71/5.82 c core #914 5.71/5.82 c Core size: 15 Core Weight: 1 Total Weight: 914 5.71/5.82 c Elapsed CPU time: 5.71313 s Remaining CPU time: 1794.29 s 5.71/5.83 c core #915 5.71/5.83 c Core size: 15 Core Weight: 1 Total Weight: 915 5.71/5.83 c Elapsed CPU time: 5.72313 s Remaining CPU time: 1794.28 s 5.71/5.84 c core #916 5.71/5.84 c Core size: 15 Core Weight: 1 Total Weight: 916 5.71/5.84 c Elapsed CPU time: 5.73313 s Remaining CPU time: 1794.27 s 5.71/5.85 c core #917 5.71/5.85 c Core size: 15 Core Weight: 1 Total Weight: 917 5.71/5.85 c Elapsed CPU time: 5.74313 s Remaining CPU time: 1794.26 s 5.71/5.86 c core #918 5.71/5.86 c Core size: 7 Core Weight: 1 Total Weight: 918 5.71/5.86 c Elapsed CPU time: 5.75312 s Remaining CPU time: 1794.25 s 5.71/5.88 c core #919 5.71/5.88 c Core size: 31 Core Weight: 1 Total Weight: 919 5.71/5.88 c Elapsed CPU time: 5.76412 s Remaining CPU time: 1794.24 s 5.71/5.89 c core #920 5.71/5.89 c Core size: 11 Core Weight: 1 Total Weight: 920 5.71/5.89 c Elapsed CPU time: 5.77512 s Remaining CPU time: 1794.22 s 5.81/5.90 c core #921 5.81/5.90 c Core size: 11 Core Weight: 1 Total Weight: 921 5.81/5.90 c Elapsed CPU time: 5.78612 s Remaining CPU time: 1794.21 s 5.81/5.91 c core #922 5.81/5.91 c Core size: 19 Core Weight: 1 Total Weight: 922 5.81/5.91 c Elapsed CPU time: 5.79712 s Remaining CPU time: 1794.2 s 5.81/5.92 c core #923 5.81/5.92 c Core size: 11 Core Weight: 1 Total Weight: 923 5.81/5.92 c Elapsed CPU time: 5.80712 s Remaining CPU time: 1794.19 s 5.81/5.93 c core #924 5.81/5.93 c Core size: 19 Core Weight: 1 Total Weight: 924 5.81/5.93 c Elapsed CPU time: 5.81712 s Remaining CPU time: 1794.18 s 5.81/5.94 c core #925 5.81/5.94 c Core size: 15 Core Weight: 1 Total Weight: 925 5.81/5.94 c Elapsed CPU time: 5.82711 s Remaining CPU time: 1794.17 s 5.81/5.95 c core #926 5.81/5.95 c Core size: 34 Core Weight: 1 Total Weight: 926 5.81/5.95 c Elapsed CPU time: 5.83711 s Remaining CPU time: 1794.16 s 5.81/5.96 c core #927 5.81/5.96 c Core size: 27 Core Weight: 1 Total Weight: 927 5.81/5.96 c Elapsed CPU time: 5.84811 s Remaining CPU time: 1794.15 s 5.81/5.97 c core #928 5.81/5.97 c Core size: 15 Core Weight: 1 Total Weight: 928 5.81/5.97 c Elapsed CPU time: 5.85911 s Remaining CPU time: 1794.14 s 5.81/5.98 c core #929 5.81/5.98 c Core size: 19 Core Weight: 1 Total Weight: 929 5.81/5.98 c Elapsed CPU time: 5.87011 s Remaining CPU time: 1794.13 s 5.81/6.00 c core #930 5.81/6.00 c Core size: 11 Core Weight: 1 Total Weight: 930 5.81/6.00 c Elapsed CPU time: 5.8811 s Remaining CPU time: 1794.12 s 5.91/6.01 c core #931 5.91/6.01 c Core size: 11 Core Weight: 1 Total Weight: 931 5.91/6.01 c Elapsed CPU time: 5.8911 s Remaining CPU time: 1794.11 s 5.91/6.02 c core #932 5.91/6.02 c Core size: 15 Core Weight: 1 Total Weight: 932 5.91/6.02 c Elapsed CPU time: 5.9021 s Remaining CPU time: 1794.1 s 5.91/6.03 c core #933 5.91/6.03 c Core size: 19 Core Weight: 1 Total Weight: 933 5.91/6.03 c Elapsed CPU time: 5.9121 s Remaining CPU time: 1794.09 s 5.91/6.04 c core #934 5.91/6.04 c Core size: 11 Core Weight: 1 Total Weight: 934 5.91/6.04 c Elapsed CPU time: 5.9231 s Remaining CPU time: 1794.08 s 5.91/6.05 c core #935 5.91/6.05 c Core size: 7 Core Weight: 1 Total Weight: 935 5.91/6.05 c Elapsed CPU time: 5.9331 s Remaining CPU time: 1794.07 s 5.91/6.06 c core #936 5.91/6.06 c Core size: 23 Core Weight: 1 Total Weight: 936 5.91/6.06 c Elapsed CPU time: 5.9451 s Remaining CPU time: 1794.05 s 5.91/6.07 c core #937 5.91/6.07 c Core size: 11 Core Weight: 1 Total Weight: 937 5.91/6.07 c Elapsed CPU time: 5.95609 s Remaining CPU time: 1794.04 s 5.91/6.08 c core #938 5.91/6.08 c Core size: 23 Core Weight: 1 Total Weight: 938 5.91/6.08 c Elapsed CPU time: 5.96709 s Remaining CPU time: 1794.03 s 5.91/6.10 c core #939 5.91/6.10 c Core size: 27 Core Weight: 1 Total Weight: 939 5.91/6.10 c Elapsed CPU time: 5.97909 s Remaining CPU time: 1794.02 s 6.01/6.11 c core #940 6.01/6.11 c Core size: 23 Core Weight: 1 Total Weight: 940 6.01/6.11 c Elapsed CPU time: 5.99009 s Remaining CPU time: 1794.01 s 6.01/6.12 c core #941 6.01/6.12 c Core size: 15 Core Weight: 1 Total Weight: 941 6.01/6.12 c Elapsed CPU time: 6.00109 s Remaining CPU time: 1794 s 6.01/6.13 c core #942 6.01/6.13 c Core size: 31 Core Weight: 1 Total Weight: 942 6.01/6.13 c Elapsed CPU time: 6.01309 s Remaining CPU time: 1793.99 s 6.01/6.14 c core #943 6.01/6.14 c Core size: 7 Core Weight: 1 Total Weight: 943 6.01/6.14 c Elapsed CPU time: 6.02408 s Remaining CPU time: 1793.98 s 6.01/6.15 c core #944 6.01/6.15 c Core size: 19 Core Weight: 1 Total Weight: 944 6.01/6.15 c Elapsed CPU time: 6.03508 s Remaining CPU time: 1793.96 s 6.01/6.16 c core #945 6.01/6.16 c Core size: 19 Core Weight: 1 Total Weight: 945 6.01/6.16 c Elapsed CPU time: 6.04708 s Remaining CPU time: 1793.95 s 6.01/6.17 c core #946 6.01/6.17 c Core size: 31 Core Weight: 1 Total Weight: 946 6.01/6.17 c Elapsed CPU time: 6.05808 s Remaining CPU time: 1793.94 s 6.01/6.19 c core #947 6.01/6.19 c Core size: 7 Core Weight: 1 Total Weight: 947 6.01/6.19 c Elapsed CPU time: 6.06808 s Remaining CPU time: 1793.93 s 6.10/6.20 c core #948 6.10/6.20 c Core size: 15 Core Weight: 1 Total Weight: 948 6.10/6.20 c Elapsed CPU time: 6.07907 s Remaining CPU time: 1793.92 s 6.10/6.21 c core #949 6.10/6.21 c Core size: 35 Core Weight: 1 Total Weight: 949 6.10/6.21 c Elapsed CPU time: 6.09007 s Remaining CPU time: 1793.91 s 6.10/6.22 c core #950 6.10/6.22 c Core size: 15 Core Weight: 1 Total Weight: 950 6.10/6.22 c Elapsed CPU time: 6.10107 s Remaining CPU time: 1793.9 s 6.10/6.23 c core #951 6.10/6.23 c Core size: 15 Core Weight: 1 Total Weight: 951 6.10/6.23 c Elapsed CPU time: 6.11207 s Remaining CPU time: 1793.89 s 6.10/6.24 c core #952 6.10/6.24 c Core size: 59 Core Weight: 1 Total Weight: 952 6.10/6.24 c Elapsed CPU time: 6.12307 s Remaining CPU time: 1793.88 s 6.10/6.25 c core #953 6.10/6.25 c Core size: 27 Core Weight: 1 Total Weight: 953 6.10/6.25 c Elapsed CPU time: 6.13507 s Remaining CPU time: 1793.86 s 6.10/6.27 c core #954 6.10/6.27 c Core size: 15 Core Weight: 1 Total Weight: 954 6.10/6.27 c Elapsed CPU time: 6.14607 s Remaining CPU time: 1793.85 s 6.10/6.28 c core #955 6.10/6.28 c Core size: 19 Core Weight: 1 Total Weight: 955 6.10/6.28 c Elapsed CPU time: 6.15706 s Remaining CPU time: 1793.84 s 6.10/6.29 c core #956 6.10/6.29 c Core size: 31 Core Weight: 1 Total Weight: 956 6.10/6.29 c Elapsed CPU time: 6.16806 s Remaining CPU time: 1793.83 s 6.20/6.30 c core #957 6.20/6.30 c Core size: 23 Core Weight: 1 Total Weight: 957 6.20/6.30 c Elapsed CPU time: 6.17906 s Remaining CPU time: 1793.82 s 6.20/6.31 c core #958 6.20/6.31 c Core size: 19 Core Weight: 1 Total Weight: 958 6.20/6.31 c Elapsed CPU time: 6.19106 s Remaining CPU time: 1793.81 s 6.20/6.32 c core #959 6.20/6.32 c Core size: 27 Core Weight: 1 Total Weight: 959 6.20/6.32 c Elapsed CPU time: 6.20306 s Remaining CPU time: 1793.8 s 6.20/6.34 c core #960 6.20/6.34 c Core size: 67 Core Weight: 1 Total Weight: 960 6.20/6.34 c Elapsed CPU time: 6.21505 s Remaining CPU time: 1793.78 s 6.20/6.35 c core #961 6.20/6.35 c Core size: 43 Core Weight: 1 Total Weight: 961 6.20/6.35 c Elapsed CPU time: 6.22605 s Remaining CPU time: 1793.77 s 6.20/6.36 c core #962 6.20/6.36 c Core size: 19 Core Weight: 1 Total Weight: 962 6.20/6.36 c Elapsed CPU time: 6.23805 s Remaining CPU time: 1793.76 s 6.20/6.37 c core #963 6.20/6.37 c Core size: 95 Core Weight: 1 Total Weight: 963 6.20/6.37 c Elapsed CPU time: 6.25105 s Remaining CPU time: 1793.75 s 6.20/6.38 c core #964 6.20/6.38 c Core size: 71 Core Weight: 1 Total Weight: 964 6.20/6.38 c Elapsed CPU time: 6.26205 s Remaining CPU time: 1793.74 s 6.20/6.40 c core #965 6.20/6.40 c Core size: 86 Core Weight: 1 Total Weight: 965 6.20/6.40 c Elapsed CPU time: 6.27405 s Remaining CPU time: 1793.73 s 6.30/6.41 c core #966 6.30/6.41 c Core size: 23 Core Weight: 1 Total Weight: 966 6.30/6.41 c Elapsed CPU time: 6.28504 s Remaining CPU time: 1793.71 s 6.30/6.42 c core #967 6.30/6.42 c Core size: 19 Core Weight: 1 Total Weight: 967 6.30/6.42 c Elapsed CPU time: 6.29704 s Remaining CPU time: 1793.7 s 6.30/6.43 c core #968 6.30/6.43 c Core size: 86 Core Weight: 1 Total Weight: 968 6.30/6.43 c Elapsed CPU time: 6.30904 s Remaining CPU time: 1793.69 s 6.30/6.44 c core #969 6.30/6.44 c Core size: 26 Core Weight: 1 Total Weight: 969 6.30/6.44 c Elapsed CPU time: 6.32104 s Remaining CPU time: 1793.68 s 6.30/6.46 c core #970 6.30/6.46 c Core size: 22 Core Weight: 1 Total Weight: 970 6.30/6.46 c Elapsed CPU time: 6.33304 s Remaining CPU time: 1793.67 s 6.30/6.47 c core #971 6.30/6.47 c Core size: 58 Core Weight: 1 Total Weight: 971 6.30/6.47 c Elapsed CPU time: 6.34504 s Remaining CPU time: 1793.65 s 6.30/6.48 c ============================[ Search Statistics ]============================== 6.30/6.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.30/6.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.30/6.48 c =============================================================================== 6.30/6.48 c | 0 | 4662 6934 15639 | 5000 0 nan | 0.000 % | 6.30/6.48 c =============================================================================== 6.30/6.48 c core #972 6.30/6.48 c Core size: 108 Core Weight: 1 Total Weight: 972 6.30/6.48 c Elapsed CPU time: 6.35803 s Remaining CPU time: 1793.64 s 6.30/6.49 c ============================[ Search Statistics ]============================== 6.30/6.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.30/6.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.30/6.49 c =============================================================================== 6.30/6.49 c | 0 | 4715 6935 15745 | 5000 0 nan | 0.000 % | 6.30/6.49 c =============================================================================== 6.30/6.49 c core #973 6.30/6.49 c Core size: 113 Core Weight: 1 Total Weight: 973 6.30/6.49 c Elapsed CPU time: 6.37203 s Remaining CPU time: 1793.63 s 6.40/6.51 c ============================[ Search Statistics ]============================== 6.40/6.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.51 c =============================================================================== 6.40/6.51 c | 0 | 4771 6936 15857 | 5000 0 nan | 0.000 % | 6.40/6.51 c =============================================================================== 6.40/6.51 c core #974 6.40/6.51 c Core size: 102 Core Weight: 1 Total Weight: 974 6.40/6.51 c Elapsed CPU time: 6.38503 s Remaining CPU time: 1793.61 s 6.40/6.52 c ============================[ Search Statistics ]============================== 6.40/6.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.52 c =============================================================================== 6.40/6.52 c | 0 | 4871 6937 15992 | 5000 0 nan | 0.000 % | 6.40/6.52 c =============================================================================== 6.40/6.52 c core #975 6.40/6.52 c Core size: 102 Core Weight: 1 Total Weight: 975 6.40/6.52 c Elapsed CPU time: 6.39903 s Remaining CPU time: 1793.6 s 6.40/6.53 c ============================[ Search Statistics ]============================== 6.40/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.53 c =============================================================================== 6.40/6.53 c | 0 | 4929 6938 16095 | 5000 0 nan | 0.000 % | 6.40/6.54 c =============================================================================== 6.40/6.54 c core #976 6.40/6.54 c Core size: 113 Core Weight: 1 Total Weight: 976 6.40/6.54 c Elapsed CPU time: 6.41502 s Remaining CPU time: 1793.58 s 6.40/6.55 c ============================[ Search Statistics ]============================== 6.40/6.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.55 c =============================================================================== 6.40/6.55 c | 0 | 5017 6939 16224 | 5000 0 nan | 0.000 % | 6.40/6.55 c =============================================================================== 6.40/6.55 c core #977 6.40/6.55 c Core size: 109 Core Weight: 1 Total Weight: 977 6.40/6.55 c Elapsed CPU time: 6.42802 s Remaining CPU time: 1793.57 s 6.40/6.56 c ============================[ Search Statistics ]============================== 6.40/6.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.57 c =============================================================================== 6.40/6.57 c | 0 | 5077 6940 16339 | 5000 0 nan | 0.000 % | 6.40/6.57 c =============================================================================== 6.40/6.57 c core #978 6.40/6.57 c Core size: 94 Core Weight: 1 Total Weight: 978 6.40/6.57 c Elapsed CPU time: 6.44502 s Remaining CPU time: 1793.55 s 6.40/6.58 c ============================[ Search Statistics ]============================== 6.40/6.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.58 c =============================================================================== 6.40/6.58 c | 0 | 5150 6941 16447 | 5000 0 nan | 0.000 % | 6.40/6.59 c =============================================================================== 6.40/6.59 c core #979 6.40/6.59 c Core size: 109 Core Weight: 1 Total Weight: 979 6.40/6.59 c Elapsed CPU time: 6.45802 s Remaining CPU time: 1793.54 s 6.40/6.60 c ============================[ Search Statistics ]============================== 6.40/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.60 c =============================================================================== 6.40/6.60 c | 0 | 5204 6942 16555 | 5000 0 nan | 0.000 % | 6.50/6.61 c | 100 | 5202 6942 16555 | 5500 100 4 | 2.020 % | 6.50/6.62 c =============================================================================== 6.50/6.62 c core #980 6.50/6.62 c Core size: 278 Core Weight: 1 Total Weight: 980 6.50/6.62 c Elapsed CPU time: 6.48501 s Remaining CPU time: 1793.51 s 6.50/6.63 c ============================[ Search Statistics ]============================== 6.50/6.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.63 c =============================================================================== 6.50/6.63 c | 0 | 5339 6943 16825 | 5000 0 nan | 0.000 % | 6.50/6.64 c | 102 | 5339 6943 16825 | 5500 102 6 | 1.804 % | 6.50/6.65 c =============================================================================== 6.50/6.65 c core #981 6.50/6.65 c Core size: 357 Core Weight: 1 Total Weight: 981 6.50/6.65 c Elapsed CPU time: 6.51301 s Remaining CPU time: 1793.49 s 6.50/6.66 c ============================[ Search Statistics ]============================== 6.50/6.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.66 c =============================================================================== 6.50/6.66 c | 0 | 5531 6944 17184 | 5000 0 nan | 0.000 % | 6.50/6.67 c | 101 | 5529 6944 17184 | 5500 101 7 | 1.518 % | 6.50/6.69 c | 252 | 5513 6944 17184 | 6050 251 8 | 1.518 % | 6.59/6.71 c | 477 | 5501 6944 17184 | 6655 475 11 | 2.197 % | 6.59/6.72 c =============================================================================== 6.59/6.72 c core #982 6.59/6.72 c Core size: 629 Core Weight: 1 Total Weight: 982 6.59/6.72 c Elapsed CPU time: 6.581 s Remaining CPU time: 1793.42 s 6.59/6.74 c ============================[ Search Statistics ]============================== 6.59/6.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.74 c =============================================================================== 6.59/6.74 c | 0 | 5824 6945 17769 | 5000 0 nan | 0.000 % | 6.59/6.75 c | 100 | 5824 6945 17769 | 5500 100 8 | 1.104 % | 6.59/6.76 c | 250 | 5824 6945 17769 | 6050 250 7 | 1.104 % | 6.59/6.79 c | 478 | 5824 6945 17769 | 6655 478 7 | 1.104 % | 6.69/6.83 c | 815 | 5824 6945 17769 | 7320 815 9 | 1.104 % | 6.69/6.89 c | 1321 | 5823 6945 17769 | 8052 1312 11 | 1.121 % | 6.79/6.97 c =============================================================================== 6.79/6.98 c core #983 6.79/6.98 c Core size: 774 Core Weight: 1 Total Weight: 983 6.79/6.98 c Elapsed CPU time: 6.82696 s Remaining CPU time: 1793.17 s 6.89/7.00 c ============================[ Search Statistics ]============================== 6.89/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/7.00 c =============================================================================== 6.89/7.00 c | 0 | 6187 6946 18478 | 5000 0 nan | 0.000 % | 6.89/7.01 c | 100 | 6187 6946 18478 | 5500 100 16 | 0.881 % | 6.89/7.03 c | 251 | 6187 6946 18478 | 6050 251 11 | 0.881 % | 6.89/7.05 c | 476 | 6187 6946 18478 | 6655 476 13 | 0.881 % | 6.89/7.09 c | 813 | 6187 6946 18478 | 7320 813 12 | 0.881 % | 6.99/7.16 c | 1319 | 6187 6946 18478 | 8052 1319 14 | 0.881 % | 7.09/7.27 c | 2078 | 6083 6946 18478 | 8857 2042 14 | 2.563 % | 7.29/7.41 c =============================================================================== 7.29/7.42 c core #984 7.29/7.42 c Core size: 833 Core Weight: 1 Total Weight: 984 7.29/7.42 c Elapsed CPU time: 7.2499 s Remaining CPU time: 1792.75 s 7.29/7.44 c ============================[ Search Statistics ]============================== 7.29/7.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.44 c =============================================================================== 7.29/7.44 c | 0 | 6595 6947 19269 | 5000 0 nan | 0.000 % | 7.29/7.45 c | 101 | 6595 6947 19269 | 5500 101 7 | 0.618 % | 7.29/7.46 c | 251 | 6595 6947 19269 | 6050 251 6 | 0.618 % | 7.29/7.48 c | 477 | 6591 6947 19269 | 6655 475 6 | 0.678 % | 7.38/7.52 c | 816 | 6591 6947 19269 | 7320 814 8 | 0.678 % | 7.38/7.53 c =============================================================================== 7.38/7.54 c core #985 7.38/7.54 c Core size: 535 Core Weight: 1 Total Weight: 985 7.38/7.54 c Elapsed CPU time: 7.35788 s Remaining CPU time: 1792.64 s 7.38/7.55 c ============================[ Search Statistics ]============================== 7.38/7.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.38/7.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.38/7.55 c =============================================================================== 7.38/7.55 c | 0 | 6840 6948 19759 | 5000 0 nan | 0.000 % | 7.38/7.57 c | 100 | 6840 6948 19759 | 5500 100 17 | 0.596 % | 7.38/7.59 c | 250 | 6840 6948 19759 | 6050 250 15 | 0.596 % | 7.49/7.62 c | 475 | 6840 6948 19759 | 6655 475 18 | 0.596 % | 7.49/7.66 c | 814 | 6840 6948 19759 | 7320 814 18 | 0.596 % | 7.60/7.71 c | 1321 | 6840 6948 19759 | 8052 1321 18 | 0.596 % | 7.69/7.80 c | 2080 | 6840 6948 19759 | 8857 2080 18 | 0.596 % | 7.79/7.99 c | 3219 | 6839 6948 19759 | 9743 2898 21 | 0.610 % | 8.08/8.28 c | 4927 | 6839 6948 19759 | 10717 4606 25 | 0.610 % | 8.59/8.72 c | 7489 | 6838 6948 19759 | 11789 7167 26 | 0.625 % | 9.38/9.54 c | 11333 | 6838 6948 19759 | 12968 11011 37 | 0.625 % | 10.89/11.09 c | 17099 | 6833 6948 19759 | 14265 10121 73 | 0.698 % | 12.99/13.18 c | 25749 | 6833 6948 19759 | 15692 11406 71 | 0.698 % | 16.88/17.06 c | 38723 | 6833 6948 19759 | 17261 8129 88 | 0.698 % | 22.99/23.17 c | 58184 | 6829 6948 19759 | 18987 10056 82 | 0.756 % | 23.88/24.02 c =============================================================================== 23.98/24.12 c core #986 23.98/24.12 c Core size: 1357 Core Weight: 1 Total Weight: 986 23.98/24.12 c Elapsed CPU time: 23.6814 s Remaining CPU time: 1776.32 s 23.98/24.19 c ============================[ Search Statistics ]============================== 23.98/24.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.98/24.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.98/24.19 c =============================================================================== 23.98/24.19 c | 0 | 7451 6949 20980 | 5000 0 nan | 0.000 % | 24.09/24.22 c | 100 | 7451 6949 20980 | 5500 100 20 | 0.521 % | 24.09/24.24 c | 250 | 7451 6949 20980 | 6050 250 16 | 0.521 % | 24.09/24.27 c | 476 | 7451 6949 20980 | 6655 476 14 | 0.521 % | 24.18/24.31 c | 815 | 7451 6949 20980 | 7320 815 18 | 0.521 % | 24.28/24.40 c | 1321 | 7451 6949 20980 | 8052 1321 18 | 0.521 % | 24.38/24.53 c | 2083 | 7451 6949 20980 | 8857 2083 31 | 0.521 % | 24.68/24.80 c | 3225 | 7451 6949 20980 | 9743 3225 39 | 0.521 % | 25.08/25.25 c | 4934 | 7451 6949 20980 | 10717 4934 46 | 0.521 % | 25.58/25.72 c | 7496 | 7451 6949 20980 | 11789 7496 38 | 0.521 % | 26.68/26.80 c | 11340 | 7451 6949 20980 | 12968 11340 41 | 0.521 % | 28.17/28.34 c | 17108 | 7451 6949 20980 | 14265 10565 45 | 0.521 % | 30.88/31.09 c | 25757 | 7451 6949 20980 | 15692 11972 94 | 0.521 % | 35.57/35.77 c | 38731 | 7451 6949 20980 | 17261 9002 84 | 0.521 % | 46.47/46.63 c | 58193 | 7450 6949 20980 | 18987 10916 107 | 0.534 % | 58.16/58.33 c | 87385 | 7444 6949 20980 | 20886 14465 86 | 0.615 % | 58.26/58.40 c =============================================================================== 58.76/58.97 c core #987 58.76/58.97 c Core size: 1262 Core Weight: 1 Total Weight: 987 58.76/58.97 c Elapsed CPU time: 58.1892 s Remaining CPU time: 1741.81 s 58.87/59.08 c ============================[ Search Statistics ]============================== 58.87/59.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.87/59.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.87/59.08 c =============================================================================== 58.87/59.08 c | 0 | 7986 6950 22050 | 5000 0 nan | 0.000 % | 58.97/59.12 c | 101 | 7986 6950 22050 | 5500 101 20 | 0.486 % | 58.97/59.13 c | 251 | 7986 6950 22050 | 6050 251 24 | 0.486 % | 58.97/59.16 c | 478 | 7986 6950 22050 | 6655 478 27 | 0.486 % | 59.07/59.21 c | 819 | 7986 6950 22050 | 7320 819 27 | 0.486 % | 59.07/59.29 c | 1329 | 7986 6950 22050 | 8052 1329 29 | 0.486 % | 59.17/59.40 c | 2088 | 7986 6950 22050 | 8857 2088 31 | 0.486 % | 59.46/59.61 c | 3227 | 7986 6950 22050 | 9743 3227 40 | 0.486 % | 59.76/59.92 c | 4938 | 7986 6950 22050 | 10717 4938 41 | 0.486 % | 60.26/60.48 c | 7501 | 7986 6950 22050 | 11789 7501 44 | 0.486 % | 61.27/61.43 c | 11345 | 7986 6950 22050 | 12968 11345 47 | 0.486 % | 62.57/62.72 c | 17113 | 7986 6950 22050 | 14265 10485 60 | 0.486 % | 65.16/65.34 c | 25763 | 7986 6950 22050 | 15692 11849 79 | 0.486 % | 69.96/70.13 c | 38737 | 7986 6950 22050 | 17261 8747 125 | 0.486 % | 78.56/78.71 c | 58198 | 7986 6950 22050 | 18987 10577 95 | 0.486 % | 90.25/90.49 c | 87390 | 7985 6950 22050 | 20886 10606 128 | 0.498 % | 109.94/110.11 c | 131180 | 7985 6950 22050 | 22974 11962 128 | 0.498 % | 137.43/137.61 c | 196865 | 7985 6950 22050 | 25272 19259 127 | 0.498 % | 218.81/219.01 c | 295396 | 7985 6950 22050 | 27799 15071 168 | 0.498 % | 319.17/319.46 c | 443186 | 7985 6950 22050 | 30579 16624 124 | 0.499 % | 458.12/458.42 c | 664869 | 7984 6950 22050 | 33637 26345 158 | 0.511 % | 710.63/711.08 c | 997397 | 7982 6950 22050 | 37001 19864 132 | 0.536 % | 774.11/774.58 c =============================================================================== 788.50/789.00 c core #988 788.50/789.00 c Core size: 1981 Core Weight: 1 Total Weight: 988 788.50/789.00 c Elapsed CPU time: 783.029 s Remaining CPU time: 1016.97 s 789.70/790.10 c ============================[ Search Statistics ]============================== 789.70/790.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 789.70/790.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 789.70/790.10 c =============================================================================== 789.70/790.10 c | 0 | 8795 6951 23668 | 5000 0 nan | 0.000 % | 789.90/790.34 c | 100 | 8795 6951 23668 | 5500 100 20 | 0.441 % | 789.90/790.36 c | 250 | 8795 6951 23668 | 6050 250 25 | 0.441 % | 790.00/790.40 c | 475 | 8795 6951 23668 | 6655 475 25 | 0.441 % | 790.00/790.45 c | 813 | 8795 6951 23668 | 7320 813 27 | 0.441 % | 790.10/790.55 c | 1319 | 8795 6951 23668 | 8052 1319 41 | 0.441 % | 790.19/790.65 c | 2082 | 8795 6951 23668 | 8857 2082 45 | 0.441 % | 790.50/790.92 c | 3221 | 8795 6951 23668 | 9743 3221 62 | 0.441 % | 790.90/791.34 c | 4935 | 8795 6951 23668 | 10717 4935 63 | 0.441 % | 791.80/792.21 c | 7497 | 8795 6951 23668 | 11789 7497 72 | 0.441 % | 792.90/793.39 c | 11344 | 8795 6951 23668 | 12968 11344 76 | 0.441 % | 795.19/795.62 c | 17110 | 8795 6951 23668 | 14265 10024 86 | 0.441 % | 798.29/798.76 c | 25759 | 8795 6951 23668 | 15692 11231 94 | 0.441 % | 805.10/805.54 c | 38733 | 8795 6951 23668 | 17261 15648 115 | 0.441 % | 815.99/816.42 c | 58194 | 8795 6951 23668 | 18987 17483 107 | 0.441 % | 832.48/832.99 c | 87386 | 8795 6951 23668 | 20886 16750 170 | 0.441 % | 857.08/857.58 c | 131177 | 8795 6951 23668 | 22974 17617 131 | 0.441 % | 904.26/904.77 c | 196862 | 8795 6951 23668 | 25272 23263 198 | 0.441 % | 945.55/946.04 c | 295388 | 8795 6951 23668 | 27799 25901 138 | 0.441 % | 1046.41/1046.97 c | 443177 | 8795 6951 23668 | 30579 16797 183 | 0.441 % | 1251.93/1252.51 c | 664866 | 8795 6951 23668 | 33637 21347 362 | 0.441 % | 1488.65/1489.33 c | 997394 | 8795 6951 23668 | 37001 30820 189 | 0.441 % |
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-1875707-1245144843/watcher-1875707-1245144843 -o /tmp/evaluation-result-1875707-1245144843/solver-1875707-1245144843 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875707-1245144843.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7345 /proc/meminfo: memFree=1947312/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=2964 CPUtime=0 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 182084885 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 741 248 125 292 0 418 0 [startup+0.044626 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7345 /proc/meminfo: memFree=1947312/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=3576 CPUtime=0.04 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 480 0 0 0 4 0 0 0 18 0 1 0 182084885 3661824 436 1992294400 134512640 135709839 4294956240 18446744073709551615 134605673 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 894 436 133 292 0 599 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3576 [startup+0.102636 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7345 /proc/meminfo: memFree=1947312/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=3512 CPUtime=0.09 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 493 0 0 0 9 0 0 0 18 0 1 0 182084885 3596288 449 1992294400 134512640 135709839 4294956240 18446744073709551615 134570427 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 878 449 133 292 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.302672 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7345 /proc/meminfo: memFree=1947312/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=3680 CPUtime=0.29 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 182084885 3768320 466 1992294400 134512640 135709839 4294956240 18446744073709551615 134530288 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 920 466 133 292 0 625 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3680 [startup+0.701743 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7345 /proc/meminfo: memFree=1947312/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=3828 CPUtime=0.69 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 666 0 0 0 69 0 0 0 22 0 1 0 182084885 3919872 534 1992294400 134512640 135709839 4294956240 18446744073709551615 134605064 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 957 534 133 292 0 662 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3828 [startup+1.50189 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1945192/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=4556 CPUtime=1.48 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 991 0 0 0 148 0 0 0 25 0 1 0 182084885 4665344 719 1992294400 134512640 135709839 4294956240 18446744073709551615 134605220 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 1139 719 133 292 0 844 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4556 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1943848/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=6708 CPUtime=3.05 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 2000 0 0 0 304 1 0 0 25 0 1 0 182084885 6868992 1251 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 1677 1251 133 292 0 1382 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 6708 [startup+6.30175 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1938600/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=13628 CPUtime=6.2 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 5441 0 0 0 617 3 0 0 25 0 1 0 182084885 13955072 2941 1992294400 134512640 135709839 4294956240 18446744073709551615 134530689 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 3407 2941 134 292 0 3112 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 13628 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1924656/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=25816 CPUtime=12.59 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 8824 0 0 0 1240 19 0 0 25 0 1 0 182084885 26435584 5989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 6454 5989 136 292 0 6159 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 25816 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1902000/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=47052 CPUtime=25.38 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 14134 0 0 0 2503 35 0 0 25 0 1 0 182084885 48181248 11299 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 11763 11299 136 292 0 11468 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 47052 [startup+51.1028 s] /proc/loadavg: 0.96 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1877552/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=72644 CPUtime=50.97 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 20537 0 0 0 5038 59 0 0 25 0 1 0 182084885 74387456 17702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 18161 17702 136 292 0 17866 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 72644 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1816752/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=132188 CPUtime=102.15 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 35452 0 0 0 10105 110 0 0 25 0 1 0 182084885 135360512 32617 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 33047 32617 136 292 0 32752 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 132188 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1726320/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=223020 CPUtime=162.12 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 58133 0 0 0 16047 165 0 0 25 0 1 0 182084885 228372480 55298 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 55755 55298 136 292 0 55460 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 223020 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1654576/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=294452 CPUtime=222.1 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 75956 0 0 0 22013 197 0 0 25 0 1 0 182084885 301518848 73121 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 73613 73121 136 292 0 73318 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 294452 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1574512/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=374948 CPUtime=282.08 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 96078 0 0 0 27967 241 0 0 25 0 1 0 182084885 383946752 93243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 93737 93243 136 292 0 93442 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 374948 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1505520/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=443220 CPUtime=342.06 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 113121 0 0 0 33930 276 0 0 25 0 1 0 182084885 453857280 110286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 110805 110286 136 292 0 110510 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 443220 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1426992/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=522588 CPUtime=402.04 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 132959 0 0 0 39884 320 0 0 25 0 1 0 182084885 535130112 130124 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 130647 130124 136 292 0 130352 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 522588 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1356784/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=591932 CPUtime=462.02 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 150253 0 0 0 45843 359 0 0 25 0 1 0 182084885 606138368 147418 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 147983 147418 136 292 0 147688 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 591932 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1294384/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=654896 CPUtime=521.99 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 165974 0 0 0 51805 394 0 0 25 0 1 0 182084885 670613504 163139 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 163724 163139 136 292 0 163429 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 654896 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1230000/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=718484 CPUtime=581.97 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 181856 0 0 0 57765 432 0 0 25 0 1 0 182084885 735727616 179021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 179621 179021 136 292 0 179326 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 718484 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1155760/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=792192 CPUtime=641.96 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 200277 0 0 0 63721 475 0 0 25 0 1 0 182084885 811204608 197442 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 198048 197442 136 292 0 197753 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 792192 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1089200/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=859116 CPUtime=701.93 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 217009 0 0 0 69682 511 0 0 25 0 1 0 182084885 879734784 214174 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 214779 214174 136 292 0 214484 0 Current children cumulated CPU time (s) 701.93 Current children cumulated vsize (KiB) 859116 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=1020464/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=927244 CPUtime=761.91 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 234051 0 0 0 75642 549 0 0 25 0 1 0 182084885 949497856 231216 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 231811 231216 136 292 0 231516 0 Current children cumulated CPU time (s) 761.91 Current children cumulated vsize (KiB) 927244 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=995824/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=951584 CPUtime=821.88 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 240129 0 0 0 81599 589 0 0 25 0 1 0 182084885 974422016 237294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 237896 237294 136 292 0 237601 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 951584 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=995760/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=951584 CPUtime=881.87 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 240131 0 0 0 87557 630 0 0 25 0 1 0 182084885 974422016 237296 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 237896 237296 136 292 0 237601 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 951584 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=995120/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=951584 CPUtime=941.84 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 240295 0 0 0 93498 686 0 0 25 0 1 0 182084885 974422016 237460 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 237896 237460 136 292 0 237601 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 951584 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7346 /proc/meminfo: memFree=931696/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1015388 CPUtime=1001.82 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 256194 0 0 0 99448 734 0 0 25 0 1 0 182084885 1039757312 253359 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 253847 253359 136 292 0 253552 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 1015388 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=864176/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1083364 CPUtime=1061.8 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 273181 0 0 0 105402 778 0 0 25 0 1 0 182084885 1109364736 270346 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 270841 270346 136 292 0 270546 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 1083364 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=785392/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1161216 CPUtime=1121.78 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 292639 0 0 0 111361 817 0 0 25 0 1 0 182084885 1189085184 289804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 290304 289804 136 292 0 290009 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 1161216 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=715248/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1231900 CPUtime=1181.76 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 310269 0 0 0 117321 855 0 0 25 0 1 0 182084885 1261465600 307434 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 307975 307434 136 292 0 307680 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 1231900 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=648816/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1297800 CPUtime=1241.73 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 326723 0 0 0 123287 886 0 0 25 0 1 0 182084885 1328947200 323888 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 324450 323888 136 292 0 324155 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 1297800 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=562544/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1383520 CPUtime=1301.71 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 348141 0 0 0 129238 933 0 0 25 0 1 0 182084885 1416724480 345306 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 345880 345306 136 292 0 345585 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 1383520 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=471536/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1474920 CPUtime=1361.69 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 370996 0 0 0 135191 978 0 0 25 0 1 0 182084885 1510318080 368161 1992294400 134512640 135709839 4294956240 18446744073709551615 134600557 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 368730 368161 136 292 0 368435 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 1474920 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=381424/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1564308 CPUtime=1421.68 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 393339 0 0 0 141139 1029 0 0 25 0 1 0 182084885 1601851392 390504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 391077 390504 136 292 0 390782 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 1564308 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=293040/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1653448 CPUtime=1481.65 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 415619 0 0 0 147079 1086 0 0 25 0 1 0 182084885 1693130752 412784 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 413362 412784 136 292 0 413067 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 1653448 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=208624/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1736944 CPUtime=1541.63 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 436481 0 0 0 153035 1128 0 0 25 0 1 0 182084885 1778630656 433646 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 434236 433646 136 292 0 433941 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 1736944 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7348 /proc/meminfo: memFree=138736/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1807016 CPUtime=1601.61 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 453978 0 0 0 158997 1164 0 0 25 0 1 0 182084885 1850384384 451143 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 451754 451143 136 292 0 451459 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 1807016 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1630.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7354 /proc/meminfo: memFree=101808/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=1843316 CPUtime=1629.9 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4194304 463052 0 0 0 161808 1182 0 0 25 0 1 0 182084885 1887555584 460217 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 460829 460217 136 292 0 460534 0 Current children cumulated CPU time (s) 1629.9 Current children cumulated vsize (KiB) 1843316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1630.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7354 /proc/meminfo: memFree=101808/2055920 swapFree=4180860/4192956 [pid=7345] ppid=7343 vsize=0 CPUtime=1630.09 /proc/7345/stat : 7345 (wbo) R 7343 7345 7265 0 -1 4195332 463052 0 0 0 161808 1201 0 0 25 0 1 0 182084885 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7345/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1630.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1630.88 CPU time (s): 1630.18 CPU user time (s): 1618.08 CPU system time (s): 12.0982 CPU usage (%): 99.9569 Max. virtual memory (cumulated for all children) (KiB): 1843316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1618.08 system time used= 12.0982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 463052 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4473 runsolver used 1.19982 second user time and 3.50347 second system time The end
Begin job on node12 at 2009-06-16 11:34:03 IDJOB=1875707 IDBENCH=1986 IDSOLVER=698 FILE ID=node12/1875707-1245144843 PBS_JOBID= 9363743 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.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-1875707-1245144843/watcher-1875707-1245144843 -o /tmp/evaluation-result-1875707-1245144843/solver-1875707-1245144843 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875707-1245144843.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d4957a1112a9baa7413020ddf827f352 RANDOM SEED=1142481105 node12.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.281 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.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1947728 kB Buffers: 12076 kB Cached: 47348 kB SwapCached: 6264 kB Active: 38716 kB Inactive: 29020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1947728 kB SwapTotal: 4192956 kB SwapFree: 4180860 kB Dirty: 2484 kB Writeback: 0 kB Mapped: 13500 kB Slab: 26480 kB Committed_AS: 168004 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875707-1245144843.opb Free space on /tmp at the end= 66232 MiB End job on node12 at 2009-06-16 12:01:15