Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1652.41 | 1652.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb |
MD5SUM | e9984c89af246abdf2b2a4294753ea30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1049 |
Best CPU time to get the best result obtained on this benchmark | 1797.36 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1036 |
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-1875588-1245143868.opb. 0.00/0.00 c Instance file HOME/instance-1875588-1245143868.opb 0.00/0.00 c File size is 112303 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.01 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.014997 s Remaining CPU time: 1799.99 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.017997 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.021996 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.025996 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.028995 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.032994 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.035994 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.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #9 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #10 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #11 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #12 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #13 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #14 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #15 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #16 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #17 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #18 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #19 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #20 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #21 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #22 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.00/0.09 c core #23 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.00/0.10 c core #24 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/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.101984 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.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #29 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 29 0.09/0.12 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.12798 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.131979 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.138978 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.142978 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.145977 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.149977 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.153976 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.156976 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.160975 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.164974 s Remaining CPU time: 1799.84 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.167974 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.170974 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.174973 s Remaining CPU time: 1799.83 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.178972 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.181972 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.185971 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.189971 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.19297 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #51 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 51 0.19/0.20 c Elapsed CPU time: 0.19697 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.200969 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.204968 s Remaining CPU time: 1799.8 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.208968 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.212967 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.216967 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.220966 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.224965 s Remaining CPU time: 1799.78 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.227965 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.231964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #61 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 61 0.19/0.24 c Elapsed CPU time: 0.235964 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.239963 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.243962 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.247962 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.251961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #66 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 66 0.19/0.26 c Elapsed CPU time: 0.255961 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.28 c core #71 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 71 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 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.279957 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.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #74 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 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.292955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #76 0.19/0.30 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #77 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 77 0.29/0.30 c Elapsed CPU time: 0.300954 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.304953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #79 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 79 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 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.312952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #81 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 81 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 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.320951 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.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #84 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 84 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 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.331949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #86 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 86 0.29/0.34 c Elapsed CPU time: 0.335948 s Remaining CPU time: 1799.66 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.338948 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.342947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #89 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 89 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 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.350946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #91 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 91 0.29/0.36 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #92 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 92 0.29/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 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.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #94 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 94 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 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.370943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #96 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 96 0.29/0.38 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #97 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 97 0.29/0.38 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 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.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #99 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 99 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 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.39094 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #101 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 101 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #102 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 102 0.39/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #103 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 103 0.39/0.41 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #104 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 104 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 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.411937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #106 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 106 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #107 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 107 0.39/0.42 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #108 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 108 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #109 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 109 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 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.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #111 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 111 0.39/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #112 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 112 0.39/0.44 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #113 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 113 0.39/0.45 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #114 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 114 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 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.452931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #116 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 116 0.39/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 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.460929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #118 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 118 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #119 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 119 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #120 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 120 0.39/0.48 c Elapsed CPU time: 0.473927 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #121 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 121 0.39/0.48 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 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.482926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #123 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 123 0.39/0.49 c Elapsed CPU time: 0.486925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #124 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 124 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #125 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 125 0.49/0.50 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #126 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 126 0.49/0.50 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #127 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 127 0.49/0.50 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #128 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 128 0.49/0.51 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #129 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 129 0.49/0.51 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #130 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 130 0.49/0.52 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #131 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 131 0.49/0.52 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #132 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 132 0.49/0.53 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #133 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 133 0.49/0.53 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 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.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #135 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 135 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #136 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 136 0.49/0.54 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #137 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 137 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #138 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 138 0.49/0.55 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #139 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 139 0.49/0.56 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #140 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 140 0.49/0.56 c Elapsed CPU time: 0.558915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #141 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 141 0.49/0.56 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #142 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 142 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #143 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 143 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #144 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 144 0.49/0.58 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #145 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 145 0.49/0.58 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #146 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 146 0.49/0.59 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #147 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 147 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #148 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 148 0.49/0.59 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #149 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 149 0.59/0.60 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #150 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 150 0.59/0.60 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #151 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 151 0.59/0.61 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #152 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 152 0.59/0.61 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #153 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 153 0.59/0.62 c Elapsed CPU time: 0.614906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #154 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 154 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #155 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 155 0.59/0.63 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #156 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 156 0.59/0.63 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #157 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 157 0.59/0.63 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #158 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 158 0.59/0.64 c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #159 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 159 0.59/0.64 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #160 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 160 0.59/0.65 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #161 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 161 0.59/0.65 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #162 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 162 0.59/0.66 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #163 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 163 0.59/0.66 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #164 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 164 0.59/0.66 c Elapsed CPU time: 0.662899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #165 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 165 0.59/0.67 c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #166 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 166 0.59/0.67 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #167 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 167 0.59/0.68 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #168 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 168 0.59/0.68 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #169 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 169 0.59/0.69 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #170 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 170 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #171 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 171 0.59/0.69 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #172 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 172 0.69/0.70 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #173 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 173 0.69/0.70 c Elapsed CPU time: 0.701893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #174 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 174 0.69/0.71 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #175 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 175 0.69/0.71 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #176 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 176 0.69/0.72 c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #177 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 177 0.69/0.72 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #178 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 178 0.69/0.73 c Elapsed CPU time: 0.724889 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #179 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 179 0.69/0.73 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #180 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 180 0.69/0.74 c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #181 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 181 0.69/0.74 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #182 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 182 0.69/0.74 c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #183 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 183 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #184 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 184 0.69/0.75 c Elapsed CPU time: 0.751885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #185 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 185 0.69/0.76 c Elapsed CPU time: 0.755885 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #186 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 186 0.69/0.76 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #187 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 187 0.69/0.77 c Elapsed CPU time: 0.764883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #188 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 188 0.69/0.77 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #189 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 189 0.69/0.78 c Elapsed CPU time: 0.773882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #190 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 190 0.69/0.78 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #191 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 191 0.69/0.79 c Elapsed CPU time: 0.78288 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #192 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 192 0.69/0.79 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.69/0.80 c core #193 0.69/0.80 c Core size: 3 Core Weight: 1 Total Weight: 193 0.69/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #194 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 194 0.79/0.80 c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #195 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 195 0.79/0.80 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #196 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 196 0.79/0.81 c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #197 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 197 0.79/0.81 c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #198 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 198 0.79/0.82 c Elapsed CPU time: 0.815875 s Remaining CPU time: 1799.18 s 0.79/0.82 c core #199 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 199 0.79/0.82 c Elapsed CPU time: 0.820875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #200 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 200 0.79/0.83 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #201 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 201 0.79/0.83 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #202 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 202 0.79/0.84 c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #203 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 203 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #204 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 204 0.79/0.85 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #205 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 205 0.79/0.85 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #206 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 206 0.79/0.86 c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #207 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 207 0.79/0.86 c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #208 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 208 0.79/0.86 c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #209 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 209 0.79/0.87 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 0.79/0.87 c core #210 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 210 0.79/0.87 c Elapsed CPU time: 0.871867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #211 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 211 0.79/0.88 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.79/0.88 c core #212 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 212 0.79/0.88 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #213 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 213 0.79/0.89 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #214 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 214 0.79/0.89 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #215 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: 215 0.89/0.90 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #216 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: 216 0.89/0.90 c Elapsed CPU time: 0.898863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #217 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 217 0.89/0.91 c Elapsed CPU time: 0.903862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #218 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 218 0.89/0.91 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #219 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 219 0.89/0.92 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #220 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 220 0.89/0.92 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #221 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 221 0.89/0.93 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #222 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 222 0.89/0.93 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.93 c core #223 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 223 0.89/0.93 c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #224 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 224 0.89/0.94 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.94 c core #225 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 225 0.89/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #226 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 226 0.89/0.95 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 0.89/0.95 c core #227 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 227 0.89/0.95 c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #228 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 228 0.89/0.96 c Elapsed CPU time: 0.956854 s Remaining CPU time: 1799.04 s 0.89/0.96 c core #229 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 229 0.89/0.96 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #230 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 230 0.89/0.97 c Elapsed CPU time: 0.966853 s Remaining CPU time: 1799.03 s 0.89/0.97 c core #231 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 231 0.89/0.97 c Elapsed CPU time: 0.971852 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #232 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 232 0.89/0.98 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 0.89/0.98 c core #233 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 233 0.89/0.98 c Elapsed CPU time: 0.98085 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #234 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 234 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 0.89/0.99 c core #235 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 235 0.89/0.99 c Elapsed CPU time: 0.990849 s Remaining CPU time: 1799.01 s 0.99/1.00 c core #236 0.99/1.00 c Core size: 3 Core Weight: 1 Total Weight: 236 0.99/1.00 c Elapsed CPU time: 0.995848 s Remaining CPU time: 1799 s 0.99/1.00 c core #237 0.99/1.00 c Core size: 3 Core Weight: 1 Total Weight: 237 0.99/1.00 c Elapsed CPU time: 1.00085 s Remaining CPU time: 1799 s 0.99/1.01 c core #238 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 238 0.99/1.01 c Elapsed CPU time: 1.00585 s Remaining CPU time: 1798.99 s 0.99/1.01 c core #239 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 239 0.99/1.01 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #240 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: 240 0.99/1.02 c Elapsed CPU time: 1.01585 s Remaining CPU time: 1798.98 s 0.99/1.02 c core #241 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: 241 0.99/1.02 c Elapsed CPU time: 1.02084 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #242 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 242 0.99/1.03 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 0.99/1.03 c core #243 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 243 0.99/1.03 c Elapsed CPU time: 1.03084 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #244 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 244 0.99/1.04 c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s 0.99/1.04 c core #245 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 245 0.99/1.04 c Elapsed CPU time: 1.04084 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #246 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 246 0.99/1.05 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 0.99/1.05 c core #247 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 247 0.99/1.05 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #248 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 248 0.99/1.06 c Elapsed CPU time: 1.05584 s Remaining CPU time: 1798.94 s 0.99/1.06 c core #249 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 249 0.99/1.06 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #250 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 250 0.99/1.07 c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s 0.99/1.07 c core #251 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 251 0.99/1.07 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #252 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 252 0.99/1.08 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 0.99/1.08 c core #253 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 253 0.99/1.08 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #254 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: 254 0.99/1.09 c Elapsed CPU time: 1.08583 s Remaining CPU time: 1798.91 s 0.99/1.09 c core #255 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: 255 0.99/1.09 c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s 0.99/1.10 c core #256 0.99/1.10 c Core size: 3 Core Weight: 1 Total Weight: 256 0.99/1.10 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.09/1.10 c core #257 1.09/1.10 c Core size: 3 Core Weight: 1 Total Weight: 257 1.09/1.10 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #258 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 258 1.09/1.11 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.09/1.11 c core #259 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 259 1.09/1.11 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #260 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 260 1.09/1.12 c Elapsed CPU time: 1.11483 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #261 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 261 1.09/1.12 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #262 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 262 1.09/1.13 c Elapsed CPU time: 1.12483 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #263 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 263 1.09/1.13 c Elapsed CPU time: 1.12983 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #264 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 264 1.09/1.14 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #265 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 265 1.09/1.15 c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #266 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 266 1.09/1.15 c Elapsed CPU time: 1.14583 s Remaining CPU time: 1798.85 s 1.09/1.15 c core #267 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 267 1.09/1.16 c Elapsed CPU time: 1.15082 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #268 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 268 1.09/1.16 c Elapsed CPU time: 1.15582 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #269 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 269 1.09/1.17 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #270 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 270 1.09/1.17 c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #271 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 271 1.09/1.18 c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #272 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 272 1.09/1.18 c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #273 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 273 1.09/1.19 c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #274 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 274 1.09/1.19 c Elapsed CPU time: 1.18682 s Remaining CPU time: 1798.81 s 1.09/1.20 c core #275 1.09/1.20 c Core size: 3 Core Weight: 1 Total Weight: 275 1.09/1.20 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #276 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: 276 1.19/1.20 c Elapsed CPU time: 1.19682 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #277 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: 277 1.19/1.21 c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #278 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: 278 1.19/1.21 c Elapsed CPU time: 1.20682 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #279 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 279 1.19/1.22 c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #280 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 280 1.19/1.22 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #281 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: 281 1.19/1.23 c Elapsed CPU time: 1.22281 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #282 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: 282 1.19/1.24 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #283 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 283 1.19/1.24 c Elapsed CPU time: 1.23381 s Remaining CPU time: 1798.77 s 1.19/1.25 c core #284 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 284 1.19/1.25 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #285 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 285 1.19/1.25 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.19/1.26 c core #286 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 286 1.19/1.26 c Elapsed CPU time: 1.24881 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #287 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 287 1.19/1.26 c Elapsed CPU time: 1.25481 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #288 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 288 1.19/1.27 c Elapsed CPU time: 1.25981 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #289 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 289 1.19/1.27 c Elapsed CPU time: 1.26481 s Remaining CPU time: 1798.74 s 1.19/1.28 c core #290 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 290 1.19/1.28 c Elapsed CPU time: 1.27081 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #291 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 291 1.19/1.28 c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #292 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: 292 1.19/1.29 c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #293 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: 293 1.19/1.29 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.28/1.30 c core #294 1.28/1.30 c Core size: 3 Core Weight: 1 Total Weight: 294 1.28/1.30 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.28/1.31 c core #295 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: 295 1.28/1.31 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.28/1.31 c core #296 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: 296 1.28/1.31 c Elapsed CPU time: 1.3028 s Remaining CPU time: 1798.7 s 1.28/1.32 c core #297 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: 297 1.28/1.32 c Elapsed CPU time: 1.3078 s Remaining CPU time: 1798.69 s 1.28/1.32 c core #298 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: 298 1.28/1.32 c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s 1.28/1.33 c core #299 1.28/1.33 c Core size: 3 Core Weight: 1 Total Weight: 299 1.28/1.33 c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s 1.28/1.33 c core #300 1.28/1.33 c Core size: 3 Core Weight: 1 Total Weight: 300 1.28/1.33 c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s 1.28/1.34 c core #301 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: 301 1.28/1.34 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 1.28/1.34 c core #302 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: 302 1.28/1.34 c Elapsed CPU time: 1.3338 s Remaining CPU time: 1798.67 s 1.28/1.35 c core #303 1.28/1.35 c Core size: 3 Core Weight: 1 Total Weight: 303 1.28/1.35 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.28/1.35 c core #304 1.28/1.35 c Core size: 3 Core Weight: 1 Total Weight: 304 1.28/1.35 c Elapsed CPU time: 1.34479 s Remaining CPU time: 1798.66 s 1.28/1.36 c core #305 1.28/1.36 c Core size: 3 Core Weight: 1 Total Weight: 305 1.28/1.36 c Elapsed CPU time: 1.34979 s Remaining CPU time: 1798.65 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.35579 s Remaining CPU time: 1798.64 s 1.28/1.37 c core #307 1.28/1.37 c Core size: 3 Core Weight: 1 Total Weight: 307 1.28/1.37 c Elapsed CPU time: 1.36079 s Remaining CPU time: 1798.64 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.36579 s Remaining CPU time: 1798.63 s 1.28/1.38 c core #309 1.28/1.38 c Core size: 3 Core Weight: 1 Total Weight: 309 1.28/1.38 c Elapsed CPU time: 1.37079 s Remaining CPU time: 1798.63 s 1.28/1.39 c core #310 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: 310 1.28/1.39 c Elapsed CPU time: 1.37579 s Remaining CPU time: 1798.62 s 1.28/1.39 c core #311 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: 311 1.28/1.39 c Elapsed CPU time: 1.38079 s Remaining CPU time: 1798.62 s 1.28/1.40 c core #312 1.28/1.40 c Core size: 3 Core Weight: 1 Total Weight: 312 1.28/1.40 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.38/1.40 c core #313 1.38/1.40 c Core size: 3 Core Weight: 1 Total Weight: 313 1.38/1.40 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.38/1.41 c core #314 1.38/1.41 c Core size: 3 Core Weight: 1 Total Weight: 314 1.38/1.41 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 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.40179 s Remaining CPU time: 1798.6 s 1.38/1.42 c core #316 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: 316 1.38/1.42 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 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.41278 s Remaining CPU time: 1798.59 s 1.38/1.43 c core #318 1.38/1.43 c Core size: 3 Core Weight: 1 Total Weight: 318 1.38/1.43 c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 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.42378 s Remaining CPU time: 1798.58 s 1.38/1.44 c core #320 1.38/1.44 c Core size: 3 Core Weight: 1 Total Weight: 320 1.38/1.44 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #321 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: 321 1.38/1.45 c Elapsed CPU time: 1.43478 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.44078 s Remaining CPU time: 1798.56 s 1.38/1.46 c core #323 1.38/1.46 c Core size: 3 Core Weight: 1 Total Weight: 323 1.38/1.46 c Elapsed CPU time: 1.44578 s Remaining CPU time: 1798.55 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.45178 s Remaining CPU time: 1798.55 s 1.38/1.47 c core #325 1.38/1.47 c Core size: 3 Core Weight: 1 Total Weight: 325 1.38/1.47 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 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.46278 s Remaining CPU time: 1798.54 s 1.38/1.48 c core #327 1.38/1.48 c Core size: 3 Core Weight: 1 Total Weight: 327 1.38/1.48 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 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.47378 s Remaining CPU time: 1798.53 s 1.38/1.49 c core #329 1.38/1.49 c Core size: 3 Core Weight: 1 Total Weight: 329 1.38/1.49 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.38/1.50 c core #330 1.38/1.50 c Core size: 3 Core Weight: 1 Total Weight: 330 1.38/1.50 c Elapsed CPU time: 1.48477 s Remaining CPU time: 1798.52 s 1.48/1.50 c core #331 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: 331 1.48/1.50 c Elapsed CPU time: 1.48977 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #332 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: 332 1.48/1.51 c Elapsed CPU time: 1.49477 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.50077 s Remaining CPU time: 1798.5 s 1.48/1.52 c core #334 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: 334 1.48/1.52 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 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.51177 s Remaining CPU time: 1798.49 s 1.48/1.53 c core #336 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: 336 1.48/1.53 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 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.52277 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.52777 s Remaining CPU time: 1798.47 s 1.48/1.55 c core #339 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 339 1.48/1.55 c Elapsed CPU time: 1.53377 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.53877 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #341 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: 341 1.48/1.56 c Elapsed CPU time: 1.54377 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.54976 s Remaining CPU time: 1798.45 s 1.48/1.57 c core #343 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 343 1.48/1.57 c Elapsed CPU time: 1.55476 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.56076 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #345 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: 345 1.48/1.58 c Elapsed CPU time: 1.56576 s Remaining CPU time: 1798.43 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.57176 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.57776 s Remaining CPU time: 1798.42 s 1.48/1.60 c core #348 1.48/1.60 c Core size: 3 Core Weight: 1 Total Weight: 348 1.48/1.60 c Elapsed CPU time: 1.58276 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.58776 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #350 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: 350 1.58/1.61 c Elapsed CPU time: 1.59376 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.59976 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #352 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: 352 1.58/1.62 c Elapsed CPU time: 1.60476 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.60976 s Remaining CPU time: 1798.39 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.61575 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #355 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: 355 1.58/1.64 c Elapsed CPU time: 1.62075 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.62675 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #357 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: 357 1.58/1.65 c Elapsed CPU time: 1.63275 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.63875 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #359 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: 359 1.58/1.66 c Elapsed CPU time: 1.64375 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.64975 s Remaining CPU time: 1798.35 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.65575 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #362 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 362 1.58/1.68 c Elapsed CPU time: 1.66175 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.66775 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #364 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 364 1.58/1.69 c Elapsed CPU time: 1.67375 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.67874 s Remaining CPU time: 1798.32 s 1.68/1.70 c core #366 1.68/1.70 c Core size: 3 Core Weight: 1 Total Weight: 366 1.68/1.70 c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s 1.68/1.71 c core #367 1.68/1.71 c Core size: 3 Core Weight: 1 Total Weight: 367 1.68/1.71 c Elapsed CPU time: 1.68874 s Remaining CPU time: 1798.31 s 1.68/1.71 c core #368 1.68/1.71 c Core size: 3 Core Weight: 1 Total Weight: 368 1.68/1.71 c Elapsed CPU time: 1.69474 s Remaining CPU time: 1798.31 s 1.68/1.72 c core #369 1.68/1.72 c Core size: 3 Core Weight: 1 Total Weight: 369 1.68/1.72 c Elapsed CPU time: 1.70074 s Remaining CPU time: 1798.3 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.70574 s Remaining CPU time: 1798.29 s 1.68/1.73 c core #371 1.68/1.73 c Core size: 3 Core Weight: 1 Total Weight: 371 1.68/1.73 c Elapsed CPU time: 1.71174 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.71774 s Remaining CPU time: 1798.28 s 1.68/1.74 c core #373 1.68/1.74 c Core size: 3 Core Weight: 1 Total Weight: 373 1.68/1.74 c Elapsed CPU time: 1.72374 s Remaining CPU time: 1798.28 s 1.68/1.75 c core #374 1.68/1.75 c Core size: 3 Core Weight: 1 Total Weight: 374 1.68/1.75 c Elapsed CPU time: 1.72974 s Remaining CPU time: 1798.27 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.73574 s Remaining CPU time: 1798.26 s 1.68/1.76 c core #376 1.68/1.76 c Core size: 3 Core Weight: 1 Total Weight: 376 1.68/1.76 c Elapsed CPU time: 1.74174 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.74773 s Remaining CPU time: 1798.25 s 1.68/1.77 c core #378 1.68/1.77 c Core size: 3 Core Weight: 1 Total Weight: 378 1.68/1.77 c Elapsed CPU time: 1.75373 s Remaining CPU time: 1798.25 s 1.68/1.78 c core #379 1.68/1.78 c Core size: 3 Core Weight: 1 Total Weight: 379 1.68/1.78 c Elapsed CPU time: 1.75873 s Remaining CPU time: 1798.24 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.76473 s Remaining CPU time: 1798.24 s 1.68/1.79 c core #381 1.68/1.79 c Core size: 3 Core Weight: 1 Total Weight: 381 1.68/1.79 c Elapsed CPU time: 1.77073 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.77673 s Remaining CPU time: 1798.22 s 1.77/1.80 c core #383 1.77/1.80 c Core size: 3 Core Weight: 1 Total Weight: 383 1.77/1.80 c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s 1.77/1.81 c core #384 1.77/1.81 c Core size: 3 Core Weight: 1 Total Weight: 384 1.77/1.81 c Elapsed CPU time: 1.78773 s Remaining CPU time: 1798.21 s 1.77/1.81 c core #385 1.77/1.81 c Core size: 3 Core Weight: 1 Total Weight: 385 1.77/1.81 c Elapsed CPU time: 1.79373 s Remaining CPU time: 1798.21 s 1.77/1.82 c core #386 1.77/1.82 c Core size: 3 Core Weight: 1 Total Weight: 386 1.77/1.82 c Elapsed CPU time: 1.79973 s Remaining CPU time: 1798.2 s 1.77/1.82 c core #387 1.77/1.82 c Core size: 3 Core Weight: 1 Total Weight: 387 1.77/1.82 c Elapsed CPU time: 1.80573 s Remaining CPU time: 1798.19 s 1.77/1.83 c core #388 1.77/1.83 c Core size: 3 Core Weight: 1 Total Weight: 388 1.77/1.83 c Elapsed CPU time: 1.81172 s Remaining CPU time: 1798.19 s 1.77/1.83 c core #389 1.77/1.83 c Core size: 3 Core Weight: 1 Total Weight: 389 1.77/1.84 c Elapsed CPU time: 1.81672 s Remaining CPU time: 1798.18 s 1.77/1.84 c core #390 1.77/1.84 c Core size: 3 Core Weight: 1 Total Weight: 390 1.77/1.84 c Elapsed CPU time: 1.82172 s Remaining CPU time: 1798.18 s 1.77/1.85 c core #391 1.77/1.85 c Core size: 3 Core Weight: 1 Total Weight: 391 1.77/1.85 c Elapsed CPU time: 1.82672 s Remaining CPU time: 1798.17 s 1.77/1.85 c core #392 1.77/1.85 c Core size: 3 Core Weight: 1 Total Weight: 392 1.77/1.85 c Elapsed CPU time: 1.83172 s Remaining CPU time: 1798.17 s 1.77/1.86 c core #393 1.77/1.86 c Core size: 3 Core Weight: 1 Total Weight: 393 1.77/1.86 c Elapsed CPU time: 1.83772 s Remaining CPU time: 1798.16 s 1.77/1.86 c core #394 1.77/1.86 c Core size: 3 Core Weight: 1 Total Weight: 394 1.77/1.86 c Elapsed CPU time: 1.84272 s Remaining CPU time: 1798.16 s 1.77/1.87 c core #395 1.77/1.87 c Core size: 3 Core Weight: 1 Total Weight: 395 1.77/1.87 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.77/1.87 c core #396 1.77/1.87 c Core size: 3 Core Weight: 1 Total Weight: 396 1.77/1.87 c Elapsed CPU time: 1.85372 s Remaining CPU time: 1798.15 s 1.77/1.88 c core #397 1.77/1.88 c Core size: 3 Core Weight: 1 Total Weight: 397 1.77/1.88 c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s 1.77/1.88 c core #398 1.77/1.88 c Core size: 3 Core Weight: 1 Total Weight: 398 1.77/1.88 c Elapsed CPU time: 1.86372 s Remaining CPU time: 1798.14 s 1.77/1.89 c core #399 1.77/1.89 c Core size: 3 Core Weight: 1 Total Weight: 399 1.77/1.89 c Elapsed CPU time: 1.86871 s Remaining CPU time: 1798.13 s 1.77/1.89 c core #400 1.77/1.89 c Core size: 3 Core Weight: 1 Total Weight: 400 1.77/1.89 c Elapsed CPU time: 1.87372 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.87971 s Remaining CPU time: 1798.12 s 1.87/1.90 c core #402 1.87/1.90 c Core size: 3 Core Weight: 1 Total Weight: 402 1.87/1.90 c Elapsed CPU time: 1.88471 s Remaining CPU time: 1798.12 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.88971 s Remaining CPU time: 1798.11 s 1.87/1.91 c core #404 1.87/1.91 c Core size: 3 Core Weight: 1 Total Weight: 404 1.87/1.91 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 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.90071 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.90571 s Remaining CPU time: 1798.09 s 1.87/1.93 c core #407 1.87/1.93 c Core size: 3 Core Weight: 1 Total Weight: 407 1.87/1.93 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 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.91571 s Remaining CPU time: 1798.08 s 1.87/1.94 c core #409 1.87/1.94 c Core size: 3 Core Weight: 1 Total Weight: 409 1.87/1.94 c Elapsed CPU time: 1.92171 s Remaining CPU time: 1798.08 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.92671 s Remaining CPU time: 1798.07 s 1.87/1.95 c core #411 1.87/1.95 c Core size: 3 Core Weight: 1 Total Weight: 411 1.87/1.95 c Elapsed CPU time: 1.93171 s Remaining CPU time: 1798.07 s 1.87/1.96 c core #412 1.87/1.96 c Core size: 3 Core Weight: 1 Total Weight: 412 1.87/1.96 c Elapsed CPU time: 1.93771 s Remaining CPU time: 1798.06 s 1.87/1.96 c core #413 1.87/1.96 c Core size: 3 Core Weight: 1 Total Weight: 413 1.87/1.96 c Elapsed CPU time: 1.9427 s Remaining CPU time: 1798.06 s 1.87/1.97 c core #414 1.87/1.97 c Core size: 3 Core Weight: 1 Total Weight: 414 1.87/1.97 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.87/1.97 c core #415 1.87/1.97 c Core size: 3 Core Weight: 1 Total Weight: 415 1.87/1.97 c Elapsed CPU time: 1.9527 s Remaining CPU time: 1798.05 s 1.87/1.98 c core #416 1.87/1.98 c Core size: 3 Core Weight: 1 Total Weight: 416 1.87/1.98 c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s 1.87/1.98 c core #417 1.87/1.98 c Core size: 3 Core Weight: 1 Total Weight: 417 1.87/1.98 c Elapsed CPU time: 1.9637 s Remaining CPU time: 1798.04 s 1.87/1.99 c core #418 1.87/1.99 c Core size: 3 Core Weight: 1 Total Weight: 418 1.87/1.99 c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s 1.87/1.99 c core #419 1.87/1.99 c Core size: 3 Core Weight: 1 Total Weight: 419 1.87/1.99 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.97/2.00 c core #420 1.97/2.00 c Core size: 3 Core Weight: 1 Total Weight: 420 1.97/2.00 c Elapsed CPU time: 1.9797 s Remaining CPU time: 1798.02 s 1.97/2.01 c core #421 1.97/2.01 c Core size: 3 Core Weight: 1 Total Weight: 421 1.97/2.01 c Elapsed CPU time: 1.9857 s Remaining CPU time: 1798.01 s 1.97/2.01 c core #422 1.97/2.01 c Core size: 3 Core Weight: 1 Total Weight: 422 1.97/2.01 c Elapsed CPU time: 1.9897 s Remaining CPU time: 1798.01 s 1.97/2.02 c core #423 1.97/2.02 c Core size: 3 Core Weight: 1 Total Weight: 423 1.97/2.02 c Elapsed CPU time: 1.9957 s Remaining CPU time: 1798 s 1.97/2.02 c core #424 1.97/2.02 c Core size: 3 Core Weight: 1 Total Weight: 424 1.97/2.02 c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s 1.97/2.03 c core #425 1.97/2.03 c Core size: 3 Core Weight: 1 Total Weight: 425 1.97/2.03 c Elapsed CPU time: 2.00669 s Remaining CPU time: 1797.99 s 1.97/2.03 c core #426 1.97/2.03 c Core size: 3 Core Weight: 1 Total Weight: 426 1.97/2.03 c Elapsed CPU time: 2.01269 s Remaining CPU time: 1797.99 s 1.97/2.04 c core #427 1.97/2.04 c Core size: 3 Core Weight: 1 Total Weight: 427 1.97/2.04 c Elapsed CPU time: 2.01769 s Remaining CPU time: 1797.98 s 1.97/2.04 c core #428 1.97/2.04 c Core size: 3 Core Weight: 1 Total Weight: 428 1.97/2.04 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 1.97/2.05 c core #429 1.97/2.05 c Core size: 3 Core Weight: 1 Total Weight: 429 1.97/2.05 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 1.97/2.05 c core #430 1.97/2.05 c Core size: 3 Core Weight: 1 Total Weight: 430 1.97/2.05 c Elapsed CPU time: 2.03369 s Remaining CPU time: 1797.97 s 1.97/2.06 c core #431 1.97/2.06 c Core size: 3 Core Weight: 1 Total Weight: 431 1.97/2.06 c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s 1.97/2.07 c core #432 1.97/2.07 c Core size: 3 Core Weight: 1 Total Weight: 432 1.97/2.07 c Elapsed CPU time: 2.04469 s Remaining CPU time: 1797.96 s 1.97/2.07 c core #433 1.97/2.07 c Core size: 3 Core Weight: 1 Total Weight: 433 1.97/2.07 c Elapsed CPU time: 2.04969 s Remaining CPU time: 1797.95 s 1.97/2.08 c core #434 1.97/2.08 c Core size: 3 Core Weight: 1 Total Weight: 434 1.97/2.08 c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s 1.97/2.08 c core #435 1.97/2.08 c Core size: 3 Core Weight: 1 Total Weight: 435 1.97/2.08 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 1.97/2.09 c core #436 1.97/2.09 c Core size: 3 Core Weight: 1 Total Weight: 436 1.97/2.09 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 1.97/2.09 c core #437 1.97/2.09 c Core size: 3 Core Weight: 1 Total Weight: 437 1.97/2.09 c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s 2.08/2.10 c core #438 2.08/2.10 c Core size: 3 Core Weight: 1 Total Weight: 438 2.08/2.10 c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s 2.08/2.10 c core #439 2.08/2.10 c Core size: 3 Core Weight: 1 Total Weight: 439 2.08/2.10 c Elapsed CPU time: 2.08268 s Remaining CPU time: 1797.92 s 2.08/2.11 c core #440 2.08/2.11 c Core size: 3 Core Weight: 1 Total Weight: 440 2.08/2.11 c Elapsed CPU time: 2.08868 s Remaining CPU time: 1797.91 s 2.08/2.11 c core #441 2.08/2.11 c Core size: 3 Core Weight: 1 Total Weight: 441 2.08/2.11 c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s 2.08/2.12 c core #442 2.08/2.12 c Core size: 3 Core Weight: 1 Total Weight: 442 2.08/2.12 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.08/2.13 c core #443 2.08/2.13 c Core size: 3 Core Weight: 1 Total Weight: 443 2.08/2.13 c Elapsed CPU time: 2.10468 s Remaining CPU time: 1797.9 s 2.08/2.13 c core #444 2.08/2.13 c Core size: 3 Core Weight: 1 Total Weight: 444 2.08/2.13 c Elapsed CPU time: 2.11068 s Remaining CPU time: 1797.89 s 2.08/2.14 c core #445 2.08/2.14 c Core size: 3 Core Weight: 1 Total Weight: 445 2.08/2.14 c Elapsed CPU time: 2.11668 s Remaining CPU time: 1797.88 s 2.08/2.14 c core #446 2.08/2.14 c Core size: 3 Core Weight: 1 Total Weight: 446 2.08/2.14 c Elapsed CPU time: 2.12168 s Remaining CPU time: 1797.88 s 2.08/2.15 c core #447 2.08/2.15 c Core size: 3 Core Weight: 1 Total Weight: 447 2.08/2.15 c Elapsed CPU time: 2.12768 s Remaining CPU time: 1797.87 s 2.08/2.15 c core #448 2.08/2.15 c Core size: 3 Core Weight: 1 Total Weight: 448 2.08/2.15 c Elapsed CPU time: 2.13267 s Remaining CPU time: 1797.87 s 2.08/2.16 c core #449 2.08/2.16 c Core size: 3 Core Weight: 1 Total Weight: 449 2.08/2.16 c Elapsed CPU time: 2.13867 s Remaining CPU time: 1797.86 s 2.08/2.16 c core #450 2.08/2.16 c Core size: 3 Core Weight: 1 Total Weight: 450 2.08/2.16 c Elapsed CPU time: 2.14367 s Remaining CPU time: 1797.86 s 2.08/2.17 c core #451 2.08/2.17 c Core size: 3 Core Weight: 1 Total Weight: 451 2.08/2.17 c Elapsed CPU time: 2.14967 s Remaining CPU time: 1797.85 s 2.08/2.18 c core #452 2.08/2.18 c Core size: 3 Core Weight: 1 Total Weight: 452 2.08/2.18 c Elapsed CPU time: 2.15467 s Remaining CPU time: 1797.85 s 2.08/2.18 c core #453 2.08/2.18 c Core size: 3 Core Weight: 1 Total Weight: 453 2.08/2.18 c Elapsed CPU time: 2.16067 s Remaining CPU time: 1797.84 s 2.08/2.19 c core #454 2.08/2.19 c Core size: 3 Core Weight: 1 Total Weight: 454 2.08/2.19 c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s 2.08/2.19 c core #455 2.08/2.19 c Core size: 3 Core Weight: 1 Total Weight: 455 2.08/2.19 c Elapsed CPU time: 2.17167 s Remaining CPU time: 1797.83 s 2.08/2.20 c core #456 2.08/2.20 c Core size: 3 Core Weight: 1 Total Weight: 456 2.08/2.20 c Elapsed CPU time: 2.17767 s Remaining CPU time: 1797.82 s 2.18/2.21 c core #457 2.18/2.21 c Core size: 3 Core Weight: 1 Total Weight: 457 2.18/2.21 c Elapsed CPU time: 2.18367 s Remaining CPU time: 1797.82 s 2.18/2.21 c core #458 2.18/2.21 c Core size: 3 Core Weight: 1 Total Weight: 458 2.18/2.21 c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s 2.18/2.22 c core #459 2.18/2.22 c Core size: 3 Core Weight: 1 Total Weight: 459 2.18/2.22 c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s 2.18/2.23 c core #460 2.18/2.23 c Core size: 3 Core Weight: 1 Total Weight: 460 2.18/2.23 c Elapsed CPU time: 2.20267 s Remaining CPU time: 1797.8 s 2.18/2.23 c core #461 2.18/2.23 c Core size: 3 Core Weight: 1 Total Weight: 461 2.18/2.23 c Elapsed CPU time: 2.20866 s Remaining CPU time: 1797.79 s 2.18/2.24 c core #462 2.18/2.24 c Core size: 3 Core Weight: 1 Total Weight: 462 2.18/2.24 c Elapsed CPU time: 2.21466 s Remaining CPU time: 1797.79 s 2.18/2.24 c core #463 2.18/2.24 c Core size: 3 Core Weight: 1 Total Weight: 463 2.18/2.24 c Elapsed CPU time: 2.21966 s Remaining CPU time: 1797.78 s 2.18/2.25 c core #464 2.18/2.25 c Core size: 3 Core Weight: 1 Total Weight: 464 2.18/2.25 c Elapsed CPU time: 2.22566 s Remaining CPU time: 1797.77 s 2.18/2.26 c core #465 2.18/2.26 c Core size: 3 Core Weight: 1 Total Weight: 465 2.18/2.26 c Elapsed CPU time: 2.23166 s Remaining CPU time: 1797.77 s 2.18/2.26 c core #466 2.18/2.26 c Core size: 3 Core Weight: 1 Total Weight: 466 2.18/2.26 c Elapsed CPU time: 2.23766 s Remaining CPU time: 1797.76 s 2.18/2.27 c core #467 2.18/2.27 c Core size: 3 Core Weight: 1 Total Weight: 467 2.18/2.27 c Elapsed CPU time: 2.24366 s Remaining CPU time: 1797.76 s 2.18/2.27 c core #468 2.18/2.27 c Core size: 3 Core Weight: 1 Total Weight: 468 2.18/2.27 c Elapsed CPU time: 2.24866 s Remaining CPU time: 1797.75 s 2.18/2.28 c core #469 2.18/2.28 c Core size: 3 Core Weight: 1 Total Weight: 469 2.18/2.28 c Elapsed CPU time: 2.25466 s Remaining CPU time: 1797.75 s 2.18/2.29 c core #470 2.18/2.29 c Core size: 3 Core Weight: 1 Total Weight: 470 2.18/2.29 c Elapsed CPU time: 2.26166 s Remaining CPU time: 1797.74 s 2.18/2.29 c core #471 2.18/2.29 c Core size: 3 Core Weight: 1 Total Weight: 471 2.18/2.29 c Elapsed CPU time: 2.26765 s Remaining CPU time: 1797.73 s 2.18/2.30 c core #472 2.18/2.30 c Core size: 3 Core Weight: 1 Total Weight: 472 2.18/2.30 c Elapsed CPU time: 2.27365 s Remaining CPU time: 1797.73 s 2.28/2.31 c core #473 2.28/2.31 c Core size: 3 Core Weight: 1 Total Weight: 473 2.28/2.31 c Elapsed CPU time: 2.27965 s Remaining CPU time: 1797.72 s 2.28/2.31 c core #474 2.28/2.31 c Core size: 3 Core Weight: 1 Total Weight: 474 2.28/2.31 c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s 2.28/2.32 c core #475 2.28/2.32 c Core size: 3 Core Weight: 1 Total Weight: 475 2.28/2.32 c Elapsed CPU time: 2.29265 s Remaining CPU time: 1797.71 s 2.28/2.32 c core #476 2.28/2.32 c Core size: 3 Core Weight: 1 Total Weight: 476 2.28/2.32 c Elapsed CPU time: 2.29865 s Remaining CPU time: 1797.7 s 2.28/2.33 c core #477 2.28/2.33 c Core size: 3 Core Weight: 1 Total Weight: 477 2.28/2.33 c Elapsed CPU time: 2.30465 s Remaining CPU time: 1797.7 s 2.28/2.34 c core #478 2.28/2.34 c Core size: 3 Core Weight: 1 Total Weight: 478 2.28/2.34 c Elapsed CPU time: 2.31065 s Remaining CPU time: 1797.69 s 2.28/2.34 c core #479 2.28/2.34 c Core size: 3 Core Weight: 1 Total Weight: 479 2.28/2.34 c Elapsed CPU time: 2.31665 s Remaining CPU time: 1797.68 s 2.28/2.35 c core #480 2.28/2.35 c Core size: 3 Core Weight: 1 Total Weight: 480 2.28/2.35 c Elapsed CPU time: 2.32265 s Remaining CPU time: 1797.68 s 2.28/2.36 c core #481 2.28/2.36 c Core size: 3 Core Weight: 1 Total Weight: 481 2.28/2.36 c Elapsed CPU time: 2.32864 s Remaining CPU time: 1797.67 s 2.28/2.36 c core #482 2.28/2.36 c Core size: 3 Core Weight: 1 Total Weight: 482 2.28/2.36 c Elapsed CPU time: 2.33465 s Remaining CPU time: 1797.67 s 2.28/2.37 c core #483 2.28/2.37 c Core size: 3 Core Weight: 1 Total Weight: 483 2.28/2.37 c Elapsed CPU time: 2.34064 s Remaining CPU time: 1797.66 s 2.28/2.37 c core #484 2.28/2.37 c Core size: 3 Core Weight: 1 Total Weight: 484 2.28/2.37 c Elapsed CPU time: 2.34664 s Remaining CPU time: 1797.65 s 2.28/2.38 c core #485 2.28/2.38 c Core size: 3 Core Weight: 1 Total Weight: 485 2.28/2.38 c Elapsed CPU time: 2.35264 s Remaining CPU time: 1797.65 s 2.28/2.39 c core #486 2.28/2.39 c Core size: 3 Core Weight: 1 Total Weight: 486 2.28/2.39 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.28/2.39 c core #487 2.28/2.39 c Core size: 3 Core Weight: 1 Total Weight: 487 2.28/2.39 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.37/2.40 c core #488 2.37/2.40 c Core size: 3 Core Weight: 1 Total Weight: 488 2.37/2.40 c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s 2.37/2.41 c core #489 2.37/2.41 c Core size: 3 Core Weight: 1 Total Weight: 489 2.37/2.41 c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s 2.37/2.41 c core #490 2.37/2.41 c Core size: 3 Core Weight: 1 Total Weight: 490 2.37/2.41 c Elapsed CPU time: 2.38464 s Remaining CPU time: 1797.62 s 2.37/2.42 c core #491 2.37/2.42 c Core size: 3 Core Weight: 1 Total Weight: 491 2.37/2.42 c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s 2.37/2.43 c core #492 2.37/2.43 c Core size: 3 Core Weight: 1 Total Weight: 492 2.37/2.43 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.37/2.43 c core #493 2.37/2.43 c Core size: 3 Core Weight: 1 Total Weight: 493 2.37/2.43 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.37/2.44 c core #494 2.37/2.44 c Core size: 3 Core Weight: 1 Total Weight: 494 2.37/2.44 c Elapsed CPU time: 2.40963 s Remaining CPU time: 1797.59 s 2.37/2.44 c core #495 2.37/2.44 c Core size: 3 Core Weight: 1 Total Weight: 495 2.37/2.44 c Elapsed CPU time: 2.41663 s Remaining CPU time: 1797.58 s 2.37/2.45 c core #496 2.37/2.45 c Core size: 3 Core Weight: 1 Total Weight: 496 2.37/2.45 c Elapsed CPU time: 2.42263 s Remaining CPU time: 1797.58 s 2.37/2.46 c core #497 2.37/2.46 c Core size: 3 Core Weight: 1 Total Weight: 497 2.37/2.46 c Elapsed CPU time: 2.42863 s Remaining CPU time: 1797.57 s 2.37/2.46 c core #498 2.37/2.46 c Core size: 3 Core Weight: 1 Total Weight: 498 2.37/2.46 c Elapsed CPU time: 2.43463 s Remaining CPU time: 1797.57 s 2.37/2.47 c core #499 2.37/2.47 c Core size: 3 Core Weight: 1 Total Weight: 499 2.37/2.47 c Elapsed CPU time: 2.44063 s Remaining CPU time: 1797.56 s 2.37/2.48 c core #500 2.37/2.48 c Core size: 3 Core Weight: 1 Total Weight: 500 2.37/2.48 c Elapsed CPU time: 2.44763 s Remaining CPU time: 1797.55 s 2.37/2.48 c core #501 2.37/2.48 c Core size: 3 Core Weight: 1 Total Weight: 501 2.37/2.48 c Elapsed CPU time: 2.45363 s Remaining CPU time: 1797.55 s 2.37/2.49 c core #502 2.37/2.49 c Core size: 3 Core Weight: 1 Total Weight: 502 2.37/2.49 c Elapsed CPU time: 2.45963 s Remaining CPU time: 1797.54 s 2.37/2.50 c core #503 2.37/2.50 c Core size: 3 Core Weight: 1 Total Weight: 503 2.37/2.50 c Elapsed CPU time: 2.46663 s Remaining CPU time: 1797.53 s 2.47/2.50 c core #504 2.47/2.50 c Core size: 3 Core Weight: 1 Total Weight: 504 2.47/2.50 c Elapsed CPU time: 2.47362 s Remaining CPU time: 1797.53 s 2.47/2.51 c core #505 2.47/2.51 c Core size: 3 Core Weight: 1 Total Weight: 505 2.47/2.51 c Elapsed CPU time: 2.47962 s Remaining CPU time: 1797.52 s 2.47/2.52 c core #506 2.47/2.52 c Core size: 3 Core Weight: 1 Total Weight: 506 2.47/2.52 c Elapsed CPU time: 2.48662 s Remaining CPU time: 1797.51 s 2.47/2.52 c core #507 2.47/2.52 c Core size: 3 Core Weight: 1 Total Weight: 507 2.47/2.52 c Elapsed CPU time: 2.49262 s Remaining CPU time: 1797.51 s 2.47/2.53 c core #508 2.47/2.53 c Core size: 3 Core Weight: 1 Total Weight: 508 2.47/2.53 c Elapsed CPU time: 2.49962 s Remaining CPU time: 1797.5 s 2.47/2.53 c core #509 2.47/2.53 c Core size: 3 Core Weight: 1 Total Weight: 509 2.47/2.53 c Elapsed CPU time: 2.50562 s Remaining CPU time: 1797.49 s 2.47/2.54 c core #510 2.47/2.54 c Core size: 3 Core Weight: 1 Total Weight: 510 2.47/2.54 c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s 2.47/2.55 c core #511 2.47/2.55 c Core size: 3 Core Weight: 1 Total Weight: 511 2.47/2.55 c Elapsed CPU time: 2.51862 s Remaining CPU time: 1797.48 s 2.47/2.55 c core #512 2.47/2.55 c Core size: 3 Core Weight: 1 Total Weight: 512 2.47/2.55 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.47/2.56 c core #513 2.47/2.56 c Core size: 3 Core Weight: 1 Total Weight: 513 2.47/2.56 c Elapsed CPU time: 2.53161 s Remaining CPU time: 1797.47 s 2.47/2.57 c core #514 2.47/2.57 c Core size: 3 Core Weight: 1 Total Weight: 514 2.47/2.57 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.47/2.57 c core #515 2.47/2.57 c Core size: 3 Core Weight: 1 Total Weight: 515 2.47/2.57 c Elapsed CPU time: 2.54361 s Remaining CPU time: 1797.46 s 2.47/2.58 c core #516 2.47/2.58 c Core size: 3 Core Weight: 1 Total Weight: 516 2.47/2.58 c Elapsed CPU time: 2.55061 s Remaining CPU time: 1797.45 s 2.47/2.59 c core #517 2.47/2.59 c Core size: 3 Core Weight: 1 Total Weight: 517 2.47/2.59 c Elapsed CPU time: 2.55661 s Remaining CPU time: 1797.44 s 2.47/2.59 c core #518 2.47/2.59 c Core size: 3 Core Weight: 1 Total Weight: 518 2.47/2.59 c Elapsed CPU time: 2.56361 s Remaining CPU time: 1797.44 s 2.57/2.60 c core #519 2.57/2.60 c Core size: 3 Core Weight: 1 Total Weight: 519 2.57/2.60 c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s 2.57/2.61 c core #520 2.57/2.61 c Core size: 3 Core Weight: 1 Total Weight: 520 2.57/2.61 c Elapsed CPU time: 2.57661 s Remaining CPU time: 1797.42 s 2.57/2.61 c core #521 2.57/2.61 c Core size: 3 Core Weight: 1 Total Weight: 521 2.57/2.61 c Elapsed CPU time: 2.58361 s Remaining CPU time: 1797.42 s 2.57/2.62 c core #522 2.57/2.62 c Core size: 3 Core Weight: 1 Total Weight: 522 2.57/2.62 c Elapsed CPU time: 2.58961 s Remaining CPU time: 1797.41 s 2.57/2.63 c core #523 2.57/2.63 c Core size: 3 Core Weight: 1 Total Weight: 523 2.57/2.63 c Elapsed CPU time: 2.5956 s Remaining CPU time: 1797.4 s 2.57/2.63 c core #524 2.57/2.63 c Core size: 3 Core Weight: 1 Total Weight: 524 2.57/2.63 c Elapsed CPU time: 2.6016 s Remaining CPU time: 1797.4 s 2.57/2.64 c core #525 2.57/2.64 c Core size: 3 Core Weight: 1 Total Weight: 525 2.57/2.64 c Elapsed CPU time: 2.6076 s Remaining CPU time: 1797.39 s 2.57/2.65 c core #526 2.57/2.65 c Core size: 3 Core Weight: 1 Total Weight: 526 2.57/2.65 c Elapsed CPU time: 2.6136 s Remaining CPU time: 1797.39 s 2.57/2.65 c core #527 2.57/2.65 c Core size: 3 Core Weight: 1 Total Weight: 527 2.57/2.65 c Elapsed CPU time: 2.6206 s Remaining CPU time: 1797.38 s 2.57/2.66 c core #528 2.57/2.66 c Core size: 3 Core Weight: 1 Total Weight: 528 2.57/2.66 c Elapsed CPU time: 2.6266 s Remaining CPU time: 1797.37 s 2.57/2.67 c core #529 2.57/2.67 c Core size: 3 Core Weight: 1 Total Weight: 529 2.57/2.67 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.57/2.67 c core #530 2.57/2.67 c Core size: 3 Core Weight: 1 Total Weight: 530 2.57/2.67 c Elapsed CPU time: 2.6396 s Remaining CPU time: 1797.36 s 2.57/2.68 c core #531 2.57/2.68 c Core size: 3 Core Weight: 1 Total Weight: 531 2.57/2.68 c Elapsed CPU time: 2.6466 s Remaining CPU time: 1797.35 s 2.57/2.68 c core #532 2.57/2.68 c Core size: 3 Core Weight: 1 Total Weight: 532 2.57/2.68 c Elapsed CPU time: 2.6526 s Remaining CPU time: 1797.35 s 2.57/2.69 c core #533 2.57/2.69 c Core size: 3 Core Weight: 1 Total Weight: 533 2.57/2.69 c Elapsed CPU time: 2.65959 s Remaining CPU time: 1797.34 s 2.67/2.70 c core #534 2.67/2.70 c Core size: 3 Core Weight: 1 Total Weight: 534 2.67/2.70 c Elapsed CPU time: 2.66559 s Remaining CPU time: 1797.33 s 2.67/2.70 c core #535 2.67/2.70 c Core size: 3 Core Weight: 1 Total Weight: 535 2.67/2.70 c Elapsed CPU time: 2.67159 s Remaining CPU time: 1797.33 s 2.67/2.71 c core #536 2.67/2.71 c Core size: 3 Core Weight: 1 Total Weight: 536 2.67/2.71 c Elapsed CPU time: 2.67859 s Remaining CPU time: 1797.32 s 2.67/2.72 c core #537 2.67/2.72 c Core size: 3 Core Weight: 1 Total Weight: 537 2.67/2.72 c Elapsed CPU time: 2.68559 s Remaining CPU time: 1797.31 s 2.67/2.72 c core #538 2.67/2.72 c Core size: 3 Core Weight: 1 Total Weight: 538 2.67/2.72 c Elapsed CPU time: 2.69159 s Remaining CPU time: 1797.31 s 2.67/2.73 c core #539 2.67/2.73 c Core size: 3 Core Weight: 1 Total Weight: 539 2.67/2.73 c Elapsed CPU time: 2.69859 s Remaining CPU time: 1797.3 s 2.67/2.74 c core #540 2.67/2.74 c Core size: 3 Core Weight: 1 Total Weight: 540 2.67/2.74 c Elapsed CPU time: 2.70559 s Remaining CPU time: 1797.29 s 2.67/2.74 c core #541 2.67/2.74 c Core size: 3 Core Weight: 1 Total Weight: 541 2.67/2.75 c Elapsed CPU time: 2.71159 s Remaining CPU time: 1797.29 s 2.67/2.75 c core #542 2.67/2.75 c Core size: 3 Core Weight: 1 Total Weight: 542 2.67/2.75 c Elapsed CPU time: 2.71859 s Remaining CPU time: 1797.28 s 2.67/2.76 c core #543 2.67/2.76 c Core size: 3 Core Weight: 1 Total Weight: 543 2.67/2.76 c Elapsed CPU time: 2.72559 s Remaining CPU time: 1797.27 s 2.67/2.76 c core #544 2.67/2.76 c Core size: 3 Core Weight: 1 Total Weight: 544 2.67/2.76 c Elapsed CPU time: 2.73158 s Remaining CPU time: 1797.27 s 2.67/2.77 c core #545 2.67/2.77 c Core size: 3 Core Weight: 1 Total Weight: 545 2.67/2.77 c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s 2.67/2.78 c core #546 2.67/2.78 c Core size: 3 Core Weight: 1 Total Weight: 546 2.67/2.78 c Elapsed CPU time: 2.74558 s Remaining CPU time: 1797.25 s 2.67/2.78 c core #547 2.67/2.78 c Core size: 3 Core Weight: 1 Total Weight: 547 2.67/2.78 c Elapsed CPU time: 2.75158 s Remaining CPU time: 1797.25 s 2.67/2.79 c core #548 2.67/2.79 c Core size: 3 Core Weight: 1 Total Weight: 548 2.67/2.79 c Elapsed CPU time: 2.75858 s Remaining CPU time: 1797.24 s 2.77/2.80 c core #549 2.77/2.80 c Core size: 3 Core Weight: 1 Total Weight: 549 2.77/2.80 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.77/2.81 c core #550 2.77/2.81 c Core size: 3 Core Weight: 1 Total Weight: 550 2.77/2.81 c Elapsed CPU time: 2.77258 s Remaining CPU time: 1797.23 s 2.77/2.81 c core #551 2.77/2.81 c Core size: 3 Core Weight: 1 Total Weight: 551 2.77/2.81 c Elapsed CPU time: 2.77858 s Remaining CPU time: 1797.22 s 2.77/2.82 c core #552 2.77/2.82 c Core size: 3 Core Weight: 1 Total Weight: 552 2.77/2.82 c Elapsed CPU time: 2.78558 s Remaining CPU time: 1797.21 s 2.77/2.83 c core #553 2.77/2.83 c Core size: 3 Core Weight: 1 Total Weight: 553 2.77/2.83 c Elapsed CPU time: 2.79157 s Remaining CPU time: 1797.21 s 2.77/2.83 c core #554 2.77/2.83 c Core size: 3 Core Weight: 1 Total Weight: 554 2.77/2.83 c Elapsed CPU time: 2.79757 s Remaining CPU time: 1797.2 s 2.77/2.84 c core #555 2.77/2.84 c Core size: 3 Core Weight: 1 Total Weight: 555 2.77/2.84 c Elapsed CPU time: 2.80457 s Remaining CPU time: 1797.2 s 2.77/2.85 c core #556 2.77/2.85 c Core size: 3 Core Weight: 1 Total Weight: 556 2.77/2.85 c Elapsed CPU time: 2.81057 s Remaining CPU time: 1797.19 s 2.77/2.85 c core #557 2.77/2.85 c Core size: 3 Core Weight: 1 Total Weight: 557 2.77/2.85 c Elapsed CPU time: 2.81657 s Remaining CPU time: 1797.18 s 2.77/2.86 c core #558 2.77/2.86 c Core size: 3 Core Weight: 1 Total Weight: 558 2.77/2.86 c Elapsed CPU time: 2.82357 s Remaining CPU time: 1797.18 s 2.77/2.87 c core #559 2.77/2.87 c Core size: 3 Core Weight: 1 Total Weight: 559 2.77/2.87 c Elapsed CPU time: 2.82957 s Remaining CPU time: 1797.17 s 2.77/2.87 c core #560 2.77/2.87 c Core size: 3 Core Weight: 1 Total Weight: 560 2.77/2.87 c Elapsed CPU time: 2.83557 s Remaining CPU time: 1797.16 s 2.77/2.88 c core #561 2.77/2.88 c Core size: 3 Core Weight: 1 Total Weight: 561 2.77/2.88 c Elapsed CPU time: 2.84257 s Remaining CPU time: 1797.16 s 2.77/2.89 c core #562 2.77/2.89 c Core size: 3 Core Weight: 1 Total Weight: 562 2.77/2.89 c Elapsed CPU time: 2.84857 s Remaining CPU time: 1797.15 s 2.77/2.89 c core #563 2.77/2.89 c Core size: 3 Core Weight: 1 Total Weight: 563 2.77/2.89 c Elapsed CPU time: 2.85457 s Remaining CPU time: 1797.15 s 2.86/2.90 c core #564 2.86/2.90 c Core size: 3 Core Weight: 1 Total Weight: 564 2.86/2.90 c Elapsed CPU time: 2.86156 s Remaining CPU time: 1797.14 s 2.86/2.91 c core #565 2.86/2.91 c Core size: 3 Core Weight: 1 Total Weight: 565 2.86/2.91 c Elapsed CPU time: 2.86756 s Remaining CPU time: 1797.13 s 2.86/2.91 c core #566 2.86/2.91 c Core size: 3 Core Weight: 1 Total Weight: 566 2.86/2.91 c Elapsed CPU time: 2.87356 s Remaining CPU time: 1797.13 s 2.86/2.92 c core #567 2.86/2.92 c Core size: 3 Core Weight: 1 Total Weight: 567 2.86/2.92 c Elapsed CPU time: 2.88056 s Remaining CPU time: 1797.12 s 2.86/2.93 c core #568 2.86/2.93 c Core size: 3 Core Weight: 1 Total Weight: 568 2.86/2.93 c Elapsed CPU time: 2.88756 s Remaining CPU time: 1797.11 s 2.86/2.93 c core #569 2.86/2.93 c Core size: 3 Core Weight: 1 Total Weight: 569 2.86/2.93 c Elapsed CPU time: 2.89456 s Remaining CPU time: 1797.11 s 2.86/2.94 c core #570 2.86/2.94 c Core size: 3 Core Weight: 1 Total Weight: 570 2.86/2.94 c Elapsed CPU time: 2.90056 s Remaining CPU time: 1797.1 s 2.86/2.95 c core #571 2.86/2.95 c Core size: 3 Core Weight: 1 Total Weight: 571 2.86/2.95 c Elapsed CPU time: 2.90756 s Remaining CPU time: 1797.09 s 2.86/2.95 c core #572 2.86/2.95 c Core size: 3 Core Weight: 1 Total Weight: 572 2.86/2.95 c Elapsed CPU time: 2.91456 s Remaining CPU time: 1797.09 s 2.86/2.96 c core #573 2.86/2.96 c Core size: 3 Core Weight: 1 Total Weight: 573 2.86/2.96 c Elapsed CPU time: 2.92156 s Remaining CPU time: 1797.08 s 2.86/2.97 c core #574 2.86/2.97 c Core size: 3 Core Weight: 1 Total Weight: 574 2.86/2.97 c Elapsed CPU time: 2.92855 s Remaining CPU time: 1797.07 s 2.86/2.97 c core #575 2.86/2.97 c Core size: 3 Core Weight: 1 Total Weight: 575 2.86/2.97 c Elapsed CPU time: 2.93555 s Remaining CPU time: 1797.06 s 2.86/2.98 c core #576 2.86/2.98 c Core size: 3 Core Weight: 1 Total Weight: 576 2.86/2.98 c Elapsed CPU time: 2.94155 s Remaining CPU time: 1797.06 s 2.86/2.99 c core #577 2.86/2.99 c Core size: 3 Core Weight: 1 Total Weight: 577 2.86/2.99 c Elapsed CPU time: 2.94755 s Remaining CPU time: 1797.05 s 2.86/2.99 c core #578 2.86/2.99 c Core size: 3 Core Weight: 1 Total Weight: 578 2.86/2.99 c Elapsed CPU time: 2.95355 s Remaining CPU time: 1797.05 s 2.96/3.00 c core #579 2.96/3.00 c Core size: 3 Core Weight: 1 Total Weight: 579 2.96/3.00 c Elapsed CPU time: 2.96055 s Remaining CPU time: 1797.04 s 2.96/3.01 c core #580 2.96/3.01 c Core size: 3 Core Weight: 1 Total Weight: 580 2.96/3.01 c Elapsed CPU time: 2.96755 s Remaining CPU time: 1797.03 s 2.96/3.01 c core #581 2.96/3.01 c Core size: 3 Core Weight: 1 Total Weight: 581 2.96/3.01 c Elapsed CPU time: 2.97455 s Remaining CPU time: 1797.03 s 2.96/3.02 c core #582 2.96/3.02 c Core size: 3 Core Weight: 1 Total Weight: 582 2.96/3.02 c Elapsed CPU time: 2.98155 s Remaining CPU time: 1797.02 s 2.96/3.03 c core #583 2.96/3.03 c Core size: 3 Core Weight: 1 Total Weight: 583 2.96/3.03 c Elapsed CPU time: 2.98855 s Remaining CPU time: 1797.01 s 2.96/3.04 c core #584 2.96/3.04 c Core size: 3 Core Weight: 1 Total Weight: 584 2.96/3.04 c Elapsed CPU time: 2.99554 s Remaining CPU time: 1797 s 2.96/3.04 c core #585 2.96/3.04 c Core size: 3 Core Weight: 1 Total Weight: 585 2.96/3.04 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 s 2.96/3.05 c core #586 2.96/3.05 c Core size: 3 Core Weight: 1 Total Weight: 586 2.96/3.05 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 2.96/3.06 c core #587 2.96/3.06 c Core size: 3 Core Weight: 1 Total Weight: 587 2.96/3.06 c Elapsed CPU time: 3.01454 s Remaining CPU time: 1796.99 s 2.96/3.06 c core #588 2.96/3.06 c Core size: 3 Core Weight: 1 Total Weight: 588 2.96/3.06 c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s 2.96/3.07 c core #589 2.96/3.07 c Core size: 3 Core Weight: 1 Total Weight: 589 2.96/3.07 c Elapsed CPU time: 3.02654 s Remaining CPU time: 1796.97 s 2.96/3.08 c core #590 2.96/3.08 c Core size: 3 Core Weight: 1 Total Weight: 590 2.96/3.08 c Elapsed CPU time: 3.03254 s Remaining CPU time: 1796.97 s 2.96/3.08 c core #591 2.96/3.08 c Core size: 3 Core Weight: 1 Total Weight: 591 2.96/3.08 c Elapsed CPU time: 3.03854 s Remaining CPU time: 1796.96 s 2.96/3.09 c core #592 2.96/3.09 c Core size: 3 Core Weight: 1 Total Weight: 592 2.96/3.09 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 2.96/3.09 c core #593 2.96/3.09 c Core size: 3 Core Weight: 1 Total Weight: 593 2.96/3.09 c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s 3.06/3.10 c core #594 3.06/3.10 c Core size: 3 Core Weight: 1 Total Weight: 594 3.06/3.10 c Elapsed CPU time: 3.05754 s Remaining CPU time: 1796.94 s 3.06/3.11 c core #595 3.06/3.11 c Core size: 3 Core Weight: 1 Total Weight: 595 3.06/3.11 c Elapsed CPU time: 3.06353 s Remaining CPU time: 1796.94 s 3.06/3.11 c core #596 3.06/3.11 c Core size: 3 Core Weight: 1 Total Weight: 596 3.06/3.11 c Elapsed CPU time: 3.06953 s Remaining CPU time: 1796.93 s 3.06/3.12 c core #597 3.06/3.12 c Core size: 3 Core Weight: 1 Total Weight: 597 3.06/3.12 c Elapsed CPU time: 3.07553 s Remaining CPU time: 1796.92 s 3.06/3.13 c core #598 3.06/3.13 c Core size: 3 Core Weight: 1 Total Weight: 598 3.06/3.13 c Elapsed CPU time: 3.08153 s Remaining CPU time: 1796.92 s 3.06/3.13 c core #599 3.06/3.13 c Core size: 3 Core Weight: 1 Total Weight: 599 3.06/3.13 c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s 3.06/3.14 c core #600 3.06/3.14 c Core size: 3 Core Weight: 1 Total Weight: 600 3.06/3.14 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.06/3.14 c core #601 3.06/3.14 c Core size: 3 Core Weight: 1 Total Weight: 601 3.06/3.14 c Elapsed CPU time: 3.10053 s Remaining CPU time: 1796.9 s 3.06/3.15 c core #602 3.06/3.15 c Core size: 3 Core Weight: 1 Total Weight: 602 3.06/3.15 c Elapsed CPU time: 3.10653 s Remaining CPU time: 1796.89 s 3.06/3.16 c core #603 3.06/3.16 c Core size: 3 Core Weight: 1 Total Weight: 603 3.06/3.16 c Elapsed CPU time: 3.11353 s Remaining CPU time: 1796.89 s 3.06/3.16 c core #604 3.06/3.16 c Core size: 3 Core Weight: 1 Total Weight: 604 3.06/3.16 c Elapsed CPU time: 3.11952 s Remaining CPU time: 1796.88 s 3.06/3.17 c core #605 3.06/3.17 c Core size: 3 Core Weight: 1 Total Weight: 605 3.06/3.17 c Elapsed CPU time: 3.12552 s Remaining CPU time: 1796.87 s 3.06/3.18 c core #606 3.06/3.18 c Core size: 3 Core Weight: 1 Total Weight: 606 3.06/3.18 c Elapsed CPU time: 3.13252 s Remaining CPU time: 1796.87 s 3.06/3.18 c core #607 3.06/3.18 c Core size: 3 Core Weight: 1 Total Weight: 607 3.06/3.18 c Elapsed CPU time: 3.13852 s Remaining CPU time: 1796.86 s 3.06/3.19 c core #608 3.06/3.19 c Core size: 3 Core Weight: 1 Total Weight: 608 3.06/3.19 c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 s 3.06/3.20 c core #609 3.06/3.20 c Core size: 3 Core Weight: 1 Total Weight: 609 3.06/3.20 c Elapsed CPU time: 3.15152 s Remaining CPU time: 1796.85 s 3.16/3.20 c core #610 3.16/3.20 c Core size: 3 Core Weight: 1 Total Weight: 610 3.16/3.20 c Elapsed CPU time: 3.15752 s Remaining CPU time: 1796.84 s 3.16/3.21 c core #611 3.16/3.21 c Core size: 3 Core Weight: 1 Total Weight: 611 3.16/3.21 c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s 3.16/3.21 c core #612 3.16/3.21 c Core size: 3 Core Weight: 1 Total Weight: 612 3.16/3.21 c Elapsed CPU time: 3.17052 s Remaining CPU time: 1796.83 s 3.16/3.22 c core #613 3.16/3.22 c Core size: 3 Core Weight: 1 Total Weight: 613 3.16/3.22 c Elapsed CPU time: 3.17652 s Remaining CPU time: 1796.82 s 3.16/3.23 c core #614 3.16/3.23 c Core size: 3 Core Weight: 1 Total Weight: 614 3.16/3.23 c Elapsed CPU time: 3.18352 s Remaining CPU time: 1796.82 s 3.16/3.23 c core #615 3.16/3.23 c Core size: 3 Core Weight: 1 Total Weight: 615 3.16/3.23 c Elapsed CPU time: 3.18952 s Remaining CPU time: 1796.81 s 3.16/3.24 c core #616 3.16/3.24 c Core size: 3 Core Weight: 1 Total Weight: 616 3.16/3.24 c Elapsed CPU time: 3.19651 s Remaining CPU time: 1796.8 s 3.16/3.25 c core #617 3.16/3.25 c Core size: 3 Core Weight: 1 Total Weight: 617 3.16/3.25 c Elapsed CPU time: 3.20251 s Remaining CPU time: 1796.8 s 3.16/3.25 c core #618 3.16/3.25 c Core size: 3 Core Weight: 1 Total Weight: 618 3.16/3.25 c Elapsed CPU time: 3.20951 s Remaining CPU time: 1796.79 s 3.16/3.26 c core #619 3.16/3.26 c Core size: 3 Core Weight: 1 Total Weight: 619 3.16/3.26 c Elapsed CPU time: 3.21551 s Remaining CPU time: 1796.78 s 3.16/3.27 c core #620 3.16/3.27 c Core size: 3 Core Weight: 1 Total Weight: 620 3.16/3.27 c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s 3.16/3.27 c core #621 3.16/3.27 c Core size: 3 Core Weight: 1 Total Weight: 621 3.16/3.27 c Elapsed CPU time: 3.22751 s Remaining CPU time: 1796.77 s 3.16/3.28 c core #622 3.16/3.28 c Core size: 3 Core Weight: 1 Total Weight: 622 3.16/3.28 c Elapsed CPU time: 3.23451 s Remaining CPU time: 1796.77 s 3.16/3.28 c core #623 3.16/3.28 c Core size: 3 Core Weight: 1 Total Weight: 623 3.16/3.28 c Elapsed CPU time: 3.24151 s Remaining CPU time: 1796.76 s 3.16/3.29 c core #624 3.16/3.29 c Core size: 3 Core Weight: 1 Total Weight: 624 3.16/3.29 c Elapsed CPU time: 3.24751 s Remaining CPU time: 1796.75 s 3.26/3.30 c core #625 3.26/3.30 c Core size: 3 Core Weight: 1 Total Weight: 625 3.26/3.30 c Elapsed CPU time: 3.2545 s Remaining CPU time: 1796.75 s 3.26/3.31 c core #626 3.26/3.31 c Core size: 3 Core Weight: 1 Total Weight: 626 3.26/3.31 c Elapsed CPU time: 3.2625 s Remaining CPU time: 1796.74 s 3.26/3.32 c core #627 3.26/3.32 c Core size: 3 Core Weight: 1 Total Weight: 627 3.26/3.32 c Elapsed CPU time: 3.2695 s Remaining CPU time: 1796.73 s 3.26/3.32 c core #628 3.26/3.32 c Core size: 3 Core Weight: 1 Total Weight: 628 3.26/3.32 c Elapsed CPU time: 3.2765 s Remaining CPU time: 1796.72 s 3.26/3.33 c core #629 3.26/3.33 c Core size: 3 Core Weight: 1 Total Weight: 629 3.26/3.33 c Elapsed CPU time: 3.2835 s Remaining CPU time: 1796.72 s 3.26/3.34 c core #630 3.26/3.34 c Core size: 3 Core Weight: 1 Total Weight: 630 3.26/3.34 c Elapsed CPU time: 3.2905 s Remaining CPU time: 1796.71 s 3.26/3.35 c core #631 3.26/3.35 c Core size: 3 Core Weight: 1 Total Weight: 631 3.26/3.35 c Elapsed CPU time: 3.2975 s Remaining CPU time: 1796.7 s 3.26/3.35 c core #632 3.26/3.35 c Core size: 3 Core Weight: 1 Total Weight: 632 3.26/3.35 c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s 3.26/3.36 c core #633 3.26/3.36 c Core size: 3 Core Weight: 1 Total Weight: 633 3.26/3.36 c Elapsed CPU time: 3.3115 s Remaining CPU time: 1796.69 s 3.26/3.37 c core #634 3.26/3.37 c Core size: 3 Core Weight: 1 Total Weight: 634 3.26/3.37 c Elapsed CPU time: 3.31849 s Remaining CPU time: 1796.68 s 3.26/3.37 c core #635 3.26/3.37 c Core size: 3 Core Weight: 1 Total Weight: 635 3.26/3.37 c Elapsed CPU time: 3.32549 s Remaining CPU time: 1796.67 s 3.26/3.38 c core #636 3.26/3.38 c Core size: 3 Core Weight: 1 Total Weight: 636 3.26/3.38 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.26/3.39 c core #637 3.26/3.39 c Core size: 3 Core Weight: 1 Total Weight: 637 3.26/3.39 c Elapsed CPU time: 3.33949 s Remaining CPU time: 1796.66 s 3.26/3.39 c core #638 3.26/3.39 c Core size: 3 Core Weight: 1 Total Weight: 638 3.26/3.39 c Elapsed CPU time: 3.34649 s Remaining CPU time: 1796.65 s 3.36/3.40 c core #639 3.36/3.40 c Core size: 3 Core Weight: 1 Total Weight: 639 3.36/3.40 c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s 3.36/3.41 c core #640 3.36/3.41 c Core size: 3 Core Weight: 1 Total Weight: 640 3.36/3.41 c Elapsed CPU time: 3.36049 s Remaining CPU time: 1796.64 s 3.36/3.42 c core #641 3.36/3.42 c Core size: 3 Core Weight: 1 Total Weight: 641 3.36/3.42 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 s 3.36/3.42 c core #642 3.36/3.42 c Core size: 3 Core Weight: 1 Total Weight: 642 3.36/3.42 c Elapsed CPU time: 3.37449 s Remaining CPU time: 1796.63 s 3.36/3.43 c core #643 3.36/3.43 c Core size: 3 Core Weight: 1 Total Weight: 643 3.36/3.43 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.36/3.44 c core #644 3.36/3.44 c Core size: 3 Core Weight: 1 Total Weight: 644 3.36/3.44 c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s 3.36/3.44 c core #645 3.36/3.44 c Core size: 3 Core Weight: 1 Total Weight: 645 3.36/3.44 c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s 3.36/3.45 c core #646 3.36/3.45 c Core size: 3 Core Weight: 1 Total Weight: 646 3.36/3.45 c Elapsed CPU time: 3.40248 s Remaining CPU time: 1796.6 s 3.36/3.46 c core #647 3.36/3.46 c Core size: 3 Core Weight: 1 Total Weight: 647 3.36/3.46 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.36/3.47 c core #648 3.36/3.47 c Core size: 3 Core Weight: 1 Total Weight: 648 3.36/3.47 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.36/3.47 c core #649 3.36/3.47 c Core size: 3 Core Weight: 1 Total Weight: 649 3.36/3.47 c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s 3.36/3.48 c core #650 3.36/3.48 c Core size: 3 Core Weight: 1 Total Weight: 650 3.36/3.48 c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s 3.36/3.49 c core #651 3.36/3.49 c Core size: 3 Core Weight: 1 Total Weight: 651 3.36/3.49 c Elapsed CPU time: 3.43848 s Remaining CPU time: 1796.56 s 3.36/3.50 c core #652 3.36/3.50 c Core size: 3 Core Weight: 1 Total Weight: 652 3.36/3.50 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.45/3.50 c core #653 3.45/3.50 c Core size: 3 Core Weight: 1 Total Weight: 653 3.45/3.50 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.45/3.51 c core #654 3.45/3.51 c Core size: 3 Core Weight: 1 Total Weight: 654 3.45/3.51 c Elapsed CPU time: 3.45947 s Remaining CPU time: 1796.54 s 3.45/3.52 c core #655 3.45/3.52 c Core size: 3 Core Weight: 1 Total Weight: 655 3.45/3.52 c Elapsed CPU time: 3.46647 s Remaining CPU time: 1796.53 s 3.45/3.53 c core #656 3.45/3.53 c Core size: 3 Core Weight: 1 Total Weight: 656 3.45/3.53 c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s 3.45/3.53 c core #657 3.45/3.53 c Core size: 3 Core Weight: 1 Total Weight: 657 3.45/3.53 c Elapsed CPU time: 3.48047 s Remaining CPU time: 1796.52 s 3.45/3.54 c core #658 3.45/3.54 c Core size: 3 Core Weight: 1 Total Weight: 658 3.45/3.54 c Elapsed CPU time: 3.48747 s Remaining CPU time: 1796.51 s 3.45/3.55 c core #659 3.45/3.55 c Core size: 3 Core Weight: 1 Total Weight: 659 3.45/3.55 c Elapsed CPU time: 3.49547 s Remaining CPU time: 1796.5 s 3.45/3.55 c core #660 3.45/3.55 c Core size: 3 Core Weight: 1 Total Weight: 660 3.45/3.55 c Elapsed CPU time: 3.50247 s Remaining CPU time: 1796.5 s 3.45/3.56 c core #661 3.45/3.56 c Core size: 3 Core Weight: 1 Total Weight: 661 3.45/3.56 c Elapsed CPU time: 3.50947 s Remaining CPU time: 1796.49 s 3.45/3.57 c core #662 3.45/3.57 c Core size: 3 Core Weight: 1 Total Weight: 662 3.45/3.57 c Elapsed CPU time: 3.51647 s Remaining CPU time: 1796.48 s 3.45/3.58 c core #663 3.45/3.58 c Core size: 3 Core Weight: 1 Total Weight: 663 3.45/3.58 c Elapsed CPU time: 3.52246 s Remaining CPU time: 1796.48 s 3.45/3.58 c core #664 3.45/3.58 c Core size: 3 Core Weight: 1 Total Weight: 664 3.45/3.58 c Elapsed CPU time: 3.52946 s Remaining CPU time: 1796.47 s 3.45/3.59 c core #665 3.45/3.59 c Core size: 3 Core Weight: 1 Total Weight: 665 3.45/3.59 c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s 3.55/3.60 c core #666 3.55/3.60 c Core size: 3 Core Weight: 1 Total Weight: 666 3.55/3.60 c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s 3.55/3.61 c core #667 3.55/3.61 c Core size: 3 Core Weight: 1 Total Weight: 667 3.55/3.61 c Elapsed CPU time: 3.55246 s Remaining CPU time: 1796.45 s 3.55/3.61 c core #668 3.55/3.61 c Core size: 3 Core Weight: 1 Total Weight: 668 3.55/3.61 c Elapsed CPU time: 3.55946 s Remaining CPU time: 1796.44 s 3.55/3.62 c core #669 3.55/3.62 c Core size: 3 Core Weight: 1 Total Weight: 669 3.55/3.62 c Elapsed CPU time: 3.56646 s Remaining CPU time: 1796.43 s 3.55/3.63 c core #670 3.55/3.63 c Core size: 3 Core Weight: 1 Total Weight: 670 3.55/3.63 c Elapsed CPU time: 3.57346 s Remaining CPU time: 1796.43 s 3.55/3.64 c core #671 3.55/3.64 c Core size: 3 Core Weight: 1 Total Weight: 671 3.55/3.64 c Elapsed CPU time: 3.58046 s Remaining CPU time: 1796.42 s 3.55/3.64 c core #672 3.55/3.64 c Core size: 3 Core Weight: 1 Total Weight: 672 3.55/3.64 c Elapsed CPU time: 3.58745 s Remaining CPU time: 1796.41 s 3.55/3.65 c core #673 3.55/3.65 c Core size: 3 Core Weight: 1 Total Weight: 673 3.55/3.65 c Elapsed CPU time: 3.59545 s Remaining CPU time: 1796.4 s 3.55/3.66 c core #674 3.55/3.66 c Core size: 3 Core Weight: 1 Total Weight: 674 3.55/3.66 c Elapsed CPU time: 3.60245 s Remaining CPU time: 1796.4 s 3.55/3.67 c core #675 3.55/3.67 c Core size: 3 Core Weight: 1 Total Weight: 675 3.55/3.67 c Elapsed CPU time: 3.60945 s Remaining CPU time: 1796.39 s 3.55/3.67 c core #676 3.55/3.67 c Core size: 3 Core Weight: 1 Total Weight: 676 3.55/3.67 c Elapsed CPU time: 3.61645 s Remaining CPU time: 1796.38 s 3.55/3.68 c core #677 3.55/3.68 c Core size: 3 Core Weight: 1 Total Weight: 677 3.55/3.68 c Elapsed CPU time: 3.62345 s Remaining CPU time: 1796.38 s 3.55/3.69 c core #678 3.55/3.69 c Core size: 3 Core Weight: 1 Total Weight: 678 3.55/3.69 c Elapsed CPU time: 3.63045 s Remaining CPU time: 1796.37 s 3.55/3.69 c core #679 3.55/3.69 c Core size: 3 Core Weight: 1 Total Weight: 679 3.55/3.69 c Elapsed CPU time: 3.63745 s Remaining CPU time: 1796.36 s 3.64/3.70 c core #680 3.64/3.70 c Core size: 3 Core Weight: 1 Total Weight: 680 3.64/3.70 c Elapsed CPU time: 3.64445 s Remaining CPU time: 1796.36 s 3.64/3.71 c core #681 3.64/3.71 c Core size: 3 Core Weight: 1 Total Weight: 681 3.64/3.71 c Elapsed CPU time: 3.65144 s Remaining CPU time: 1796.35 s 3.64/3.72 c core #682 3.64/3.72 c Core size: 3 Core Weight: 1 Total Weight: 682 3.64/3.72 c Elapsed CPU time: 3.65844 s Remaining CPU time: 1796.34 s 3.64/3.72 c core #683 3.64/3.72 c Core size: 3 Core Weight: 1 Total Weight: 683 3.64/3.72 c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s 3.64/3.73 c core #684 3.64/3.73 c Core size: 3 Core Weight: 1 Total Weight: 684 3.64/3.73 c Elapsed CPU time: 3.67344 s Remaining CPU time: 1796.33 s 3.64/3.74 c core #685 3.64/3.74 c Core size: 3 Core Weight: 1 Total Weight: 685 3.64/3.74 c Elapsed CPU time: 3.68044 s Remaining CPU time: 1796.32 s 3.64/3.75 c core #686 3.64/3.75 c Core size: 3 Core Weight: 1 Total Weight: 686 3.64/3.75 c Elapsed CPU time: 3.68844 s Remaining CPU time: 1796.31 s 3.64/3.75 c core #687 3.64/3.75 c Core size: 3 Core Weight: 1 Total Weight: 687 3.64/3.76 c Elapsed CPU time: 3.69544 s Remaining CPU time: 1796.3 s 3.64/3.76 c core #688 3.64/3.76 c Core size: 3 Core Weight: 1 Total Weight: 688 3.64/3.76 c Elapsed CPU time: 3.70344 s Remaining CPU time: 1796.3 s 3.64/3.77 c core #689 3.64/3.77 c Core size: 3 Core Weight: 1 Total Weight: 689 3.64/3.77 c Elapsed CPU time: 3.71043 s Remaining CPU time: 1796.29 s 3.64/3.78 c core #690 3.64/3.78 c Core size: 3 Core Weight: 1 Total Weight: 690 3.64/3.78 c Elapsed CPU time: 3.71843 s Remaining CPU time: 1796.28 s 3.64/3.78 c core #691 3.64/3.78 c Core size: 3 Core Weight: 1 Total Weight: 691 3.64/3.79 c Elapsed CPU time: 3.72543 s Remaining CPU time: 1796.27 s 3.64/3.79 c core #692 3.64/3.79 c Core size: 3 Core Weight: 1 Total Weight: 692 3.64/3.79 c Elapsed CPU time: 3.73343 s Remaining CPU time: 1796.27 s 3.74/3.80 c core #693 3.74/3.80 c Core size: 3 Core Weight: 1 Total Weight: 693 3.74/3.80 c Elapsed CPU time: 3.74043 s Remaining CPU time: 1796.26 s 3.74/3.81 c core #694 3.74/3.81 c Core size: 3 Core Weight: 1 Total Weight: 694 3.74/3.81 c Elapsed CPU time: 3.74843 s Remaining CPU time: 1796.25 s 3.74/3.82 c core #695 3.74/3.82 c Core size: 3 Core Weight: 1 Total Weight: 695 3.74/3.82 c Elapsed CPU time: 3.75643 s Remaining CPU time: 1796.24 s 3.74/3.82 c core #696 3.74/3.82 c Core size: 3 Core Weight: 1 Total Weight: 696 3.74/3.82 c Elapsed CPU time: 3.76343 s Remaining CPU time: 1796.24 s 3.74/3.83 c core #697 3.74/3.83 c Core size: 3 Core Weight: 1 Total Weight: 697 3.74/3.83 c Elapsed CPU time: 3.77143 s Remaining CPU time: 1796.23 s 3.74/3.84 c core #698 3.74/3.84 c Core size: 3 Core Weight: 1 Total Weight: 698 3.74/3.84 c Elapsed CPU time: 3.77842 s Remaining CPU time: 1796.22 s 3.74/3.85 c core #699 3.74/3.85 c Core size: 3 Core Weight: 1 Total Weight: 699 3.74/3.85 c Elapsed CPU time: 3.78642 s Remaining CPU time: 1796.21 s 3.74/3.85 c core #700 3.74/3.85 c Core size: 3 Core Weight: 1 Total Weight: 700 3.74/3.85 c Elapsed CPU time: 3.79342 s Remaining CPU time: 1796.21 s 3.74/3.86 c core #701 3.74/3.86 c Core size: 3 Core Weight: 1 Total Weight: 701 3.74/3.86 c Elapsed CPU time: 3.80142 s Remaining CPU time: 1796.2 s 3.74/3.87 c core #702 3.74/3.87 c Core size: 3 Core Weight: 1 Total Weight: 702 3.74/3.87 c Elapsed CPU time: 3.80942 s Remaining CPU time: 1796.19 s 3.74/3.88 c core #703 3.74/3.88 c Core size: 3 Core Weight: 1 Total Weight: 703 3.74/3.88 c Elapsed CPU time: 3.81642 s Remaining CPU time: 1796.18 s 3.74/3.88 c core #704 3.74/3.88 c Core size: 3 Core Weight: 1 Total Weight: 704 3.74/3.88 c Elapsed CPU time: 3.82442 s Remaining CPU time: 1796.18 s 3.74/3.89 c core #705 3.74/3.89 c Core size: 3 Core Weight: 1 Total Weight: 705 3.74/3.89 c Elapsed CPU time: 3.83142 s Remaining CPU time: 1796.17 s 3.84/3.90 c core #706 3.84/3.90 c Core size: 3 Core Weight: 1 Total Weight: 706 3.84/3.90 c Elapsed CPU time: 3.83942 s Remaining CPU time: 1796.16 s 3.84/3.91 c core #707 3.84/3.91 c Core size: 3 Core Weight: 1 Total Weight: 707 3.84/3.91 c Elapsed CPU time: 3.84741 s Remaining CPU time: 1796.15 s 3.84/3.91 c core #708 3.84/3.91 c Core size: 3 Core Weight: 1 Total Weight: 708 3.84/3.91 c Elapsed CPU time: 3.85441 s Remaining CPU time: 1796.15 s 3.84/3.92 c core #709 3.84/3.92 c Core size: 3 Core Weight: 1 Total Weight: 709 3.84/3.92 c Elapsed CPU time: 3.86141 s Remaining CPU time: 1796.14 s 3.84/3.93 c core #710 3.84/3.93 c Core size: 3 Core Weight: 1 Total Weight: 710 3.84/3.93 c Elapsed CPU time: 3.86841 s Remaining CPU time: 1796.13 s 3.84/3.94 c core #711 3.84/3.94 c Core size: 3 Core Weight: 1 Total Weight: 711 3.84/3.94 c Elapsed CPU time: 3.87541 s Remaining CPU time: 1796.12 s 3.84/3.94 c core #712 3.84/3.94 c Core size: 3 Core Weight: 1 Total Weight: 712 3.84/3.94 c Elapsed CPU time: 3.88341 s Remaining CPU time: 1796.12 s 3.84/3.95 c core #713 3.84/3.95 c Core size: 3 Core Weight: 1 Total Weight: 713 3.84/3.95 c Elapsed CPU time: 3.89141 s Remaining CPU time: 1796.11 s 3.84/3.96 c core #714 3.84/3.96 c Core size: 3 Core Weight: 1 Total Weight: 714 3.84/3.96 c Elapsed CPU time: 3.89941 s Remaining CPU time: 1796.1 s 3.84/3.97 c core #715 3.84/3.97 c Core size: 3 Core Weight: 1 Total Weight: 715 3.84/3.97 c Elapsed CPU time: 3.90641 s Remaining CPU time: 1796.09 s 3.84/3.98 c core #716 3.84/3.98 c Core size: 3 Core Weight: 1 Total Weight: 716 3.84/3.98 c Elapsed CPU time: 3.91341 s Remaining CPU time: 1796.09 s 3.84/3.98 c core #717 3.84/3.98 c Core size: 3 Core Weight: 1 Total Weight: 717 3.84/3.98 c Elapsed CPU time: 3.9214 s Remaining CPU time: 1796.08 s 3.84/3.99 c core #718 3.84/3.99 c Core size: 3 Core Weight: 1 Total Weight: 718 3.84/3.99 c Elapsed CPU time: 3.9294 s Remaining CPU time: 1796.07 s 3.95/4.00 c core #719 3.95/4.00 c Core size: 3 Core Weight: 1 Total Weight: 719 3.95/4.00 c Elapsed CPU time: 3.9364 s Remaining CPU time: 1796.06 s 3.95/4.01 c core #720 3.95/4.01 c Core size: 3 Core Weight: 1 Total Weight: 720 3.95/4.01 c Elapsed CPU time: 3.9444 s Remaining CPU time: 1796.06 s 3.95/4.01 c core #721 3.95/4.01 c Core size: 3 Core Weight: 1 Total Weight: 721 3.95/4.01 c Elapsed CPU time: 3.9524 s Remaining CPU time: 1796.05 s 3.95/4.02 c core #722 3.95/4.02 c Core size: 3 Core Weight: 1 Total Weight: 722 3.95/4.02 c Elapsed CPU time: 3.9594 s Remaining CPU time: 1796.04 s 3.95/4.03 c core #723 3.95/4.03 c Core size: 3 Core Weight: 1 Total Weight: 723 3.95/4.03 c Elapsed CPU time: 3.9674 s Remaining CPU time: 1796.03 s 3.95/4.04 c core #724 3.95/4.04 c Core size: 3 Core Weight: 1 Total Weight: 724 3.95/4.04 c Elapsed CPU time: 3.97439 s Remaining CPU time: 1796.03 s 3.95/4.04 c core #725 3.95/4.04 c Core size: 3 Core Weight: 1 Total Weight: 725 3.95/4.04 c Elapsed CPU time: 3.98139 s Remaining CPU time: 1796.02 s 3.95/4.05 c core #726 3.95/4.05 c Core size: 3 Core Weight: 1 Total Weight: 726 3.95/4.05 c Elapsed CPU time: 3.98839 s Remaining CPU time: 1796.01 s 3.95/4.06 c core #727 3.95/4.06 c Core size: 3 Core Weight: 1 Total Weight: 727 3.95/4.06 c Elapsed CPU time: 3.99639 s Remaining CPU time: 1796 s 3.95/4.07 c core #728 3.95/4.07 c Core size: 3 Core Weight: 1 Total Weight: 728 3.95/4.07 c Elapsed CPU time: 4.00339 s Remaining CPU time: 1796 s 3.95/4.07 c core #729 3.95/4.07 c Core size: 3 Core Weight: 1 Total Weight: 729 3.95/4.07 c Elapsed CPU time: 4.01039 s Remaining CPU time: 1795.99 s 3.95/4.08 c core #730 3.95/4.08 c Core size: 3 Core Weight: 1 Total Weight: 730 3.95/4.08 c Elapsed CPU time: 4.01839 s Remaining CPU time: 1795.98 s 3.95/4.09 c core #731 3.95/4.09 c Core size: 3 Core Weight: 1 Total Weight: 731 3.95/4.09 c Elapsed CPU time: 4.02639 s Remaining CPU time: 1795.97 s 4.05/4.10 c core #732 4.05/4.10 c Core size: 3 Core Weight: 1 Total Weight: 732 4.05/4.10 c Elapsed CPU time: 4.03439 s Remaining CPU time: 1795.97 s 4.05/4.11 c core #733 4.05/4.11 c Core size: 3 Core Weight: 1 Total Weight: 733 4.05/4.11 c Elapsed CPU time: 4.04139 s Remaining CPU time: 1795.96 s 4.05/4.11 c core #734 4.05/4.11 c Core size: 3 Core Weight: 1 Total Weight: 734 4.05/4.11 c Elapsed CPU time: 4.04838 s Remaining CPU time: 1795.95 s 4.05/4.12 c core #735 4.05/4.12 c Core size: 3 Core Weight: 1 Total Weight: 735 4.05/4.12 c Elapsed CPU time: 4.05538 s Remaining CPU time: 1795.94 s 4.05/4.13 c core #736 4.05/4.13 c Core size: 3 Core Weight: 1 Total Weight: 736 4.05/4.13 c Elapsed CPU time: 4.06338 s Remaining CPU time: 1795.94 s 4.05/4.14 c core #737 4.05/4.14 c Core size: 3 Core Weight: 1 Total Weight: 737 4.05/4.14 c Elapsed CPU time: 4.07138 s Remaining CPU time: 1795.93 s 4.05/4.15 c core #738 4.05/4.15 c Core size: 3 Core Weight: 1 Total Weight: 738 4.05/4.15 c Elapsed CPU time: 4.07938 s Remaining CPU time: 1795.92 s 4.05/4.15 c core #739 4.05/4.15 c Core size: 3 Core Weight: 1 Total Weight: 739 4.05/4.15 c Elapsed CPU time: 4.08738 s Remaining CPU time: 1795.91 s 4.05/4.16 c core #740 4.05/4.16 c Core size: 3 Core Weight: 1 Total Weight: 740 4.05/4.16 c Elapsed CPU time: 4.09538 s Remaining CPU time: 1795.9 s 4.05/4.17 c core #741 4.05/4.17 c Core size: 3 Core Weight: 1 Total Weight: 741 4.05/4.17 c Elapsed CPU time: 4.10238 s Remaining CPU time: 1795.9 s 4.05/4.18 c core #742 4.05/4.18 c Core size: 3 Core Weight: 1 Total Weight: 742 4.05/4.18 c Elapsed CPU time: 4.11038 s Remaining CPU time: 1795.89 s 4.05/4.19 c core #743 4.05/4.19 c Core size: 3 Core Weight: 1 Total Weight: 743 4.05/4.19 c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s 4.05/4.19 c core #744 4.05/4.19 c Core size: 3 Core Weight: 1 Total Weight: 744 4.05/4.19 c Elapsed CPU time: 4.12637 s Remaining CPU time: 1795.87 s 4.14/4.20 c core #745 4.14/4.20 c Core size: 3 Core Weight: 1 Total Weight: 745 4.14/4.20 c Elapsed CPU time: 4.13337 s Remaining CPU time: 1795.87 s 4.14/4.21 c core #746 4.14/4.21 c Core size: 3 Core Weight: 1 Total Weight: 746 4.14/4.21 c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s 4.14/4.22 c core #747 4.14/4.22 c Core size: 3 Core Weight: 1 Total Weight: 747 4.14/4.22 c Elapsed CPU time: 4.14937 s Remaining CPU time: 1795.85 s 4.14/4.22 c core #748 4.14/4.22 c Core size: 3 Core Weight: 1 Total Weight: 748 4.14/4.22 c Elapsed CPU time: 4.15737 s Remaining CPU time: 1795.84 s 4.14/4.23 c core #749 4.14/4.23 c Core size: 3 Core Weight: 1 Total Weight: 749 4.14/4.23 c Elapsed CPU time: 4.16537 s Remaining CPU time: 1795.83 s 4.14/4.24 c core #750 4.14/4.24 c Core size: 3 Core Weight: 1 Total Weight: 750 4.14/4.24 c Elapsed CPU time: 4.17237 s Remaining CPU time: 1795.83 s 4.14/4.25 c core #751 4.14/4.25 c Core size: 3 Core Weight: 1 Total Weight: 751 4.14/4.25 c Elapsed CPU time: 4.17936 s Remaining CPU time: 1795.82 s 4.14/4.26 c core #752 4.14/4.26 c Core size: 3 Core Weight: 1 Total Weight: 752 4.14/4.26 c Elapsed CPU time: 4.18736 s Remaining CPU time: 1795.81 s 4.14/4.26 c core #753 4.14/4.26 c Core size: 3 Core Weight: 1 Total Weight: 753 4.14/4.26 c Elapsed CPU time: 4.19536 s Remaining CPU time: 1795.8 s 4.14/4.27 c core #754 4.14/4.27 c Core size: 3 Core Weight: 1 Total Weight: 754 4.14/4.27 c Elapsed CPU time: 4.20336 s Remaining CPU time: 1795.8 s 4.14/4.28 c core #755 4.14/4.28 c Core size: 3 Core Weight: 1 Total Weight: 755 4.14/4.28 c Elapsed CPU time: 4.21136 s Remaining CPU time: 1795.79 s 4.14/4.29 c core #756 4.14/4.29 c Core size: 3 Core Weight: 1 Total Weight: 756 4.14/4.29 c Elapsed CPU time: 4.21936 s Remaining CPU time: 1795.78 s 4.14/4.30 c core #757 4.14/4.30 c Core size: 3 Core Weight: 1 Total Weight: 757 4.14/4.30 c Elapsed CPU time: 4.22736 s Remaining CPU time: 1795.77 s 4.24/4.30 c core #758 4.24/4.30 c Core size: 3 Core Weight: 1 Total Weight: 758 4.24/4.30 c Elapsed CPU time: 4.23536 s Remaining CPU time: 1795.76 s 4.24/4.31 c core #759 4.24/4.31 c Core size: 3 Core Weight: 1 Total Weight: 759 4.24/4.31 c Elapsed CPU time: 4.24335 s Remaining CPU time: 1795.76 s 4.24/4.32 c core #760 4.24/4.32 c Core size: 3 Core Weight: 1 Total Weight: 760 4.24/4.32 c Elapsed CPU time: 4.25135 s Remaining CPU time: 1795.75 s 4.24/4.33 c core #761 4.24/4.33 c Core size: 3 Core Weight: 1 Total Weight: 761 4.24/4.33 c Elapsed CPU time: 4.25935 s Remaining CPU time: 1795.74 s 4.24/4.34 c core #762 4.24/4.34 c Core size: 3 Core Weight: 1 Total Weight: 762 4.24/4.34 c Elapsed CPU time: 4.26735 s Remaining CPU time: 1795.73 s 4.24/4.34 c core #763 4.24/4.34 c Core size: 3 Core Weight: 1 Total Weight: 763 4.24/4.34 c Elapsed CPU time: 4.27535 s Remaining CPU time: 1795.72 s 4.24/4.35 c core #764 4.24/4.35 c Core size: 3 Core Weight: 1 Total Weight: 764 4.24/4.35 c Elapsed CPU time: 4.28335 s Remaining CPU time: 1795.72 s 4.24/4.36 c core #765 4.24/4.36 c Core size: 3 Core Weight: 1 Total Weight: 765 4.24/4.36 c Elapsed CPU time: 4.29135 s Remaining CPU time: 1795.71 s 4.24/4.37 c core #766 4.24/4.37 c Core size: 3 Core Weight: 1 Total Weight: 766 4.24/4.37 c Elapsed CPU time: 4.29935 s Remaining CPU time: 1795.7 s 4.24/4.38 c core #767 4.24/4.38 c Core size: 3 Core Weight: 1 Total Weight: 767 4.24/4.38 c Elapsed CPU time: 4.30734 s Remaining CPU time: 1795.69 s 4.24/4.38 c core #768 4.24/4.38 c Core size: 3 Core Weight: 1 Total Weight: 768 4.24/4.38 c Elapsed CPU time: 4.31534 s Remaining CPU time: 1795.68 s 4.24/4.39 c core #769 4.24/4.39 c Core size: 3 Core Weight: 1 Total Weight: 769 4.24/4.39 c Elapsed CPU time: 4.32334 s Remaining CPU time: 1795.68 s 4.24/4.40 c core #770 4.24/4.40 c Core size: 3 Core Weight: 1 Total Weight: 770 4.24/4.40 c Elapsed CPU time: 4.33134 s Remaining CPU time: 1795.67 s 4.35/4.41 c core #771 4.35/4.41 c Core size: 3 Core Weight: 1 Total Weight: 771 4.35/4.41 c Elapsed CPU time: 4.33934 s Remaining CPU time: 1795.66 s 4.35/4.42 c core #772 4.35/4.42 c Core size: 3 Core Weight: 1 Total Weight: 772 4.35/4.42 c Elapsed CPU time: 4.34734 s Remaining CPU time: 1795.65 s 4.35/4.42 c core #773 4.35/4.42 c Core size: 3 Core Weight: 1 Total Weight: 773 4.35/4.42 c Elapsed CPU time: 4.35534 s Remaining CPU time: 1795.64 s 4.35/4.43 c core #774 4.35/4.43 c Core size: 3 Core Weight: 1 Total Weight: 774 4.35/4.43 c Elapsed CPU time: 4.36334 s Remaining CPU time: 1795.64 s 4.35/4.44 c core #775 4.35/4.44 c Core size: 3 Core Weight: 1 Total Weight: 775 4.35/4.44 c Elapsed CPU time: 4.37134 s Remaining CPU time: 1795.63 s 4.35/4.45 c core #776 4.35/4.45 c Core size: 3 Core Weight: 1 Total Weight: 776 4.35/4.45 c Elapsed CPU time: 4.37933 s Remaining CPU time: 1795.62 s 4.35/4.46 c core #777 4.35/4.46 c Core size: 3 Core Weight: 1 Total Weight: 777 4.35/4.46 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.35/4.46 c core #778 4.35/4.46 c Core size: 3 Core Weight: 1 Total Weight: 778 4.35/4.46 c Elapsed CPU time: 4.39533 s Remaining CPU time: 1795.6 s 4.35/4.47 c core #779 4.35/4.47 c Core size: 3 Core Weight: 1 Total Weight: 779 4.35/4.47 c Elapsed CPU time: 4.40333 s Remaining CPU time: 1795.6 s 4.35/4.48 c core #780 4.35/4.48 c Core size: 3 Core Weight: 1 Total Weight: 780 4.35/4.48 c Elapsed CPU time: 4.41133 s Remaining CPU time: 1795.59 s 4.35/4.49 c core #781 4.35/4.49 c Core size: 3 Core Weight: 1 Total Weight: 781 4.35/4.49 c Elapsed CPU time: 4.41933 s Remaining CPU time: 1795.58 s 4.35/4.50 c core #782 4.35/4.50 c Core size: 3 Core Weight: 1 Total Weight: 782 4.35/4.50 c Elapsed CPU time: 4.42733 s Remaining CPU time: 1795.57 s 4.44/4.51 c core #783 4.44/4.51 c Core size: 3 Core Weight: 1 Total Weight: 783 4.44/4.51 c Elapsed CPU time: 4.43433 s Remaining CPU time: 1795.57 s 4.44/4.51 c core #784 4.44/4.51 c Core size: 3 Core Weight: 1 Total Weight: 784 4.44/4.51 c Elapsed CPU time: 4.44132 s Remaining CPU time: 1795.56 s 4.44/4.52 c core #785 4.44/4.52 c Core size: 3 Core Weight: 1 Total Weight: 785 4.44/4.52 c Elapsed CPU time: 4.44932 s Remaining CPU time: 1795.55 s 4.44/4.53 c core #786 4.44/4.53 c Core size: 3 Core Weight: 1 Total Weight: 786 4.44/4.53 c Elapsed CPU time: 4.45732 s Remaining CPU time: 1795.54 s 4.44/4.54 c core #787 4.44/4.54 c Core size: 3 Core Weight: 1 Total Weight: 787 4.44/4.54 c Elapsed CPU time: 4.46532 s Remaining CPU time: 1795.53 s 4.44/4.55 c core #788 4.44/4.55 c Core size: 3 Core Weight: 1 Total Weight: 788 4.44/4.55 c Elapsed CPU time: 4.47332 s Remaining CPU time: 1795.53 s 4.44/4.55 c core #789 4.44/4.55 c Core size: 3 Core Weight: 1 Total Weight: 789 4.44/4.55 c Elapsed CPU time: 4.48132 s Remaining CPU time: 1795.52 s 4.44/4.56 c core #790 4.44/4.56 c Core size: 3 Core Weight: 1 Total Weight: 790 4.44/4.56 c Elapsed CPU time: 4.48932 s Remaining CPU time: 1795.51 s 4.44/4.57 c core #791 4.44/4.57 c Core size: 3 Core Weight: 1 Total Weight: 791 4.44/4.57 c Elapsed CPU time: 4.49732 s Remaining CPU time: 1795.5 s 4.44/4.58 c core #792 4.44/4.58 c Core size: 3 Core Weight: 1 Total Weight: 792 4.44/4.58 c Elapsed CPU time: 4.50531 s Remaining CPU time: 1795.49 s 4.44/4.59 c core #793 4.44/4.59 c Core size: 3 Core Weight: 1 Total Weight: 793 4.44/4.59 c Elapsed CPU time: 4.51331 s Remaining CPU time: 1795.49 s 4.44/4.60 c core #794 4.44/4.60 c Core size: 3 Core Weight: 1 Total Weight: 794 4.44/4.60 c Elapsed CPU time: 4.52131 s Remaining CPU time: 1795.48 s 4.54/4.60 c core #795 4.54/4.60 c Core size: 3 Core Weight: 1 Total Weight: 795 4.54/4.60 c Elapsed CPU time: 4.52931 s Remaining CPU time: 1795.47 s 4.54/4.61 c core #796 4.54/4.61 c Core size: 3 Core Weight: 1 Total Weight: 796 4.54/4.61 c Elapsed CPU time: 4.53731 s Remaining CPU time: 1795.46 s 4.54/4.62 c core #797 4.54/4.62 c Core size: 3 Core Weight: 1 Total Weight: 797 4.54/4.62 c Elapsed CPU time: 4.54531 s Remaining CPU time: 1795.45 s 4.54/4.63 c core #798 4.54/4.63 c Core size: 3 Core Weight: 1 Total Weight: 798 4.54/4.63 c Elapsed CPU time: 4.55431 s Remaining CPU time: 1795.45 s 4.54/4.64 c core #799 4.54/4.64 c Core size: 3 Core Weight: 1 Total Weight: 799 4.54/4.64 c Elapsed CPU time: 4.56231 s Remaining CPU time: 1795.44 s 4.54/4.65 c core #800 4.54/4.65 c Core size: 3 Core Weight: 1 Total Weight: 800 4.54/4.65 c Elapsed CPU time: 4.57031 s Remaining CPU time: 1795.43 s 4.54/4.65 c core #801 4.54/4.65 c Core size: 3 Core Weight: 1 Total Weight: 801 4.54/4.65 c Elapsed CPU time: 4.5793 s Remaining CPU time: 1795.42 s 4.54/4.66 c core #802 4.54/4.66 c Core size: 3 Core Weight: 1 Total Weight: 802 4.54/4.66 c Elapsed CPU time: 4.5873 s Remaining CPU time: 1795.41 s 4.54/4.67 c core #803 4.54/4.67 c Core size: 3 Core Weight: 1 Total Weight: 803 4.54/4.67 c Elapsed CPU time: 4.5953 s Remaining CPU time: 1795.4 s 4.54/4.68 c core #804 4.54/4.68 c Core size: 3 Core Weight: 1 Total Weight: 804 4.54/4.68 c Elapsed CPU time: 4.6033 s Remaining CPU time: 1795.4 s 4.54/4.69 c core #805 4.54/4.69 c Core size: 3 Core Weight: 1 Total Weight: 805 4.54/4.69 c Elapsed CPU time: 4.6113 s Remaining CPU time: 1795.39 s 4.54/4.69 c core #806 4.54/4.69 c Core size: 3 Core Weight: 1 Total Weight: 806 4.54/4.69 c Elapsed CPU time: 4.6193 s Remaining CPU time: 1795.38 s 4.64/4.70 c core #807 4.64/4.70 c Core size: 3 Core Weight: 1 Total Weight: 807 4.64/4.70 c Elapsed CPU time: 4.6273 s Remaining CPU time: 1795.37 s 4.64/4.71 c core #808 4.64/4.71 c Core size: 3 Core Weight: 1 Total Weight: 808 4.64/4.71 c Elapsed CPU time: 4.6353 s Remaining CPU time: 1795.36 s 4.64/4.72 c core #809 4.64/4.72 c Core size: 3 Core Weight: 1 Total Weight: 809 4.64/4.72 c Elapsed CPU time: 4.64429 s Remaining CPU time: 1795.36 s 4.64/4.73 c core #810 4.64/4.73 c Core size: 3 Core Weight: 1 Total Weight: 810 4.64/4.73 c Elapsed CPU time: 4.65229 s Remaining CPU time: 1795.35 s 4.64/4.74 c core #811 4.64/4.74 c Core size: 3 Core Weight: 1 Total Weight: 811 4.64/4.74 c Elapsed CPU time: 4.66129 s Remaining CPU time: 1795.34 s 4.64/4.74 c core #812 4.64/4.74 c Core size: 3 Core Weight: 1 Total Weight: 812 4.64/4.74 c Elapsed CPU time: 4.66929 s Remaining CPU time: 1795.33 s 4.64/4.75 c core #813 4.64/4.75 c Core size: 3 Core Weight: 1 Total Weight: 813 4.64/4.75 c Elapsed CPU time: 4.67729 s Remaining CPU time: 1795.32 s 4.64/4.76 c core #814 4.64/4.76 c Core size: 3 Core Weight: 1 Total Weight: 814 4.64/4.76 c Elapsed CPU time: 4.68529 s Remaining CPU time: 1795.31 s 4.64/4.77 c core #815 4.64/4.77 c Core size: 3 Core Weight: 1 Total Weight: 815 4.64/4.77 c Elapsed CPU time: 4.69429 s Remaining CPU time: 1795.31 s 4.64/4.78 c core #816 4.64/4.78 c Core size: 7 Core Weight: 1 Total Weight: 816 4.64/4.78 c Elapsed CPU time: 4.70228 s Remaining CPU time: 1795.3 s 4.64/4.79 c core #817 4.64/4.79 c Core size: 7 Core Weight: 1 Total Weight: 817 4.64/4.79 c Elapsed CPU time: 4.71128 s Remaining CPU time: 1795.29 s 4.73/4.80 c core #818 4.73/4.80 c Core size: 6 Core Weight: 1 Total Weight: 818 4.73/4.80 c Elapsed CPU time: 4.71928 s Remaining CPU time: 1795.28 s 4.73/4.80 c core #819 4.73/4.80 c Core size: 7 Core Weight: 1 Total Weight: 819 4.73/4.80 c Elapsed CPU time: 4.72728 s Remaining CPU time: 1795.27 s 4.73/4.81 c core #820 4.73/4.81 c Core size: 7 Core Weight: 1 Total Weight: 820 4.73/4.81 c Elapsed CPU time: 4.73528 s Remaining CPU time: 1795.26 s 4.73/4.82 c core #821 4.73/4.82 c Core size: 7 Core Weight: 1 Total Weight: 821 4.73/4.82 c Elapsed CPU time: 4.74328 s Remaining CPU time: 1795.26 s 4.73/4.83 c core #822 4.73/4.83 c Core size: 11 Core Weight: 1 Total Weight: 822 4.73/4.83 c Elapsed CPU time: 4.75228 s Remaining CPU time: 1795.25 s 4.73/4.84 c core #823 4.73/4.84 c Core size: 7 Core Weight: 1 Total Weight: 823 4.73/4.84 c Elapsed CPU time: 4.76028 s Remaining CPU time: 1795.24 s 4.73/4.85 c core #824 4.73/4.85 c Core size: 7 Core Weight: 1 Total Weight: 824 4.73/4.85 c Elapsed CPU time: 4.76927 s Remaining CPU time: 1795.23 s 4.73/4.86 c core #825 4.73/4.86 c Core size: 7 Core Weight: 1 Total Weight: 825 4.73/4.86 c Elapsed CPU time: 4.77727 s Remaining CPU time: 1795.22 s 4.73/4.86 c core #826 4.73/4.86 c Core size: 7 Core Weight: 1 Total Weight: 826 4.73/4.86 c Elapsed CPU time: 4.78627 s Remaining CPU time: 1795.21 s 4.73/4.87 c core #827 4.73/4.87 c Core size: 7 Core Weight: 1 Total Weight: 827 4.73/4.87 c Elapsed CPU time: 4.79527 s Remaining CPU time: 1795.2 s 4.73/4.88 c core #828 4.73/4.88 c Core size: 7 Core Weight: 1 Total Weight: 828 4.73/4.88 c Elapsed CPU time: 4.80327 s Remaining CPU time: 1795.2 s 4.73/4.89 c core #829 4.73/4.89 c Core size: 7 Core Weight: 1 Total Weight: 829 4.73/4.89 c Elapsed CPU time: 4.81227 s Remaining CPU time: 1795.19 s 4.83/4.90 c core #830 4.83/4.90 c Core size: 7 Core Weight: 1 Total Weight: 830 4.83/4.90 c Elapsed CPU time: 4.82127 s Remaining CPU time: 1795.18 s 4.83/4.91 c core #831 4.83/4.91 c Core size: 15 Core Weight: 1 Total Weight: 831 4.83/4.91 c Elapsed CPU time: 4.83026 s Remaining CPU time: 1795.17 s 4.83/4.92 c core #832 4.83/4.92 c Core size: 7 Core Weight: 1 Total Weight: 832 4.83/4.92 c Elapsed CPU time: 4.83826 s Remaining CPU time: 1795.16 s 4.83/4.93 c core #833 4.83/4.93 c Core size: 7 Core Weight: 1 Total Weight: 833 4.83/4.93 c Elapsed CPU time: 4.84726 s Remaining CPU time: 1795.15 s 4.83/4.93 c core #834 4.83/4.93 c Core size: 7 Core Weight: 1 Total Weight: 834 4.83/4.93 c Elapsed CPU time: 4.85626 s Remaining CPU time: 1795.14 s 4.83/4.94 c core #835 4.83/4.94 c Core size: 7 Core Weight: 1 Total Weight: 835 4.83/4.94 c Elapsed CPU time: 4.86426 s Remaining CPU time: 1795.14 s 4.83/4.95 c core #836 4.83/4.95 c Core size: 7 Core Weight: 1 Total Weight: 836 4.83/4.95 c Elapsed CPU time: 4.87326 s Remaining CPU time: 1795.13 s 4.83/4.96 c core #837 4.83/4.96 c Core size: 7 Core Weight: 1 Total Weight: 837 4.83/4.96 c Elapsed CPU time: 4.88226 s Remaining CPU time: 1795.12 s 4.83/4.97 c core #838 4.83/4.97 c Core size: 6 Core Weight: 1 Total Weight: 838 4.83/4.97 c Elapsed CPU time: 4.89126 s Remaining CPU time: 1795.11 s 4.83/4.98 c core #839 4.83/4.98 c Core size: 7 Core Weight: 1 Total Weight: 839 4.83/4.98 c Elapsed CPU time: 4.90025 s Remaining CPU time: 1795.1 s 4.83/4.99 c core #840 4.83/4.99 c Core size: 7 Core Weight: 1 Total Weight: 840 4.83/4.99 c Elapsed CPU time: 4.90925 s Remaining CPU time: 1795.09 s 4.93/5.00 c core #841 4.93/5.00 c Core size: 7 Core Weight: 1 Total Weight: 841 4.93/5.00 c Elapsed CPU time: 4.91825 s Remaining CPU time: 1795.08 s 4.93/5.01 c core #842 4.93/5.01 c Core size: 11 Core Weight: 1 Total Weight: 842 4.93/5.01 c Elapsed CPU time: 4.92725 s Remaining CPU time: 1795.07 s 4.93/5.01 c core #843 4.93/5.01 c Core size: 7 Core Weight: 1 Total Weight: 843 4.93/5.01 c Elapsed CPU time: 4.93625 s Remaining CPU time: 1795.06 s 4.93/5.02 c core #844 4.93/5.02 c Core size: 7 Core Weight: 1 Total Weight: 844 4.93/5.02 c Elapsed CPU time: 4.94425 s Remaining CPU time: 1795.06 s 4.93/5.03 c core #845 4.93/5.03 c Core size: 7 Core Weight: 1 Total Weight: 845 4.93/5.03 c Elapsed CPU time: 4.95325 s Remaining CPU time: 1795.05 s 4.93/5.04 c core #846 4.93/5.04 c Core size: 7 Core Weight: 1 Total Weight: 846 4.93/5.04 c Elapsed CPU time: 4.96225 s Remaining CPU time: 1795.04 s 4.93/5.05 c core #847 4.93/5.05 c Core size: 7 Core Weight: 1 Total Weight: 847 4.93/5.05 c Elapsed CPU time: 4.97124 s Remaining CPU time: 1795.03 s 4.93/5.06 c core #848 4.93/5.06 c Core size: 7 Core Weight: 1 Total Weight: 848 4.93/5.06 c Elapsed CPU time: 4.97924 s Remaining CPU time: 1795.02 s 4.93/5.07 c core #849 4.93/5.07 c Core size: 7 Core Weight: 1 Total Weight: 849 4.93/5.07 c Elapsed CPU time: 4.98824 s Remaining CPU time: 1795.01 s 4.93/5.08 c core #850 4.93/5.08 c Core size: 7 Core Weight: 1 Total Weight: 850 4.93/5.08 c Elapsed CPU time: 4.99724 s Remaining CPU time: 1795 s 4.93/5.09 c core #851 4.93/5.09 c Core size: 7 Core Weight: 1 Total Weight: 851 4.93/5.09 c Elapsed CPU time: 5.00624 s Remaining CPU time: 1794.99 s 4.93/5.10 c core #852 4.93/5.10 c Core size: 7 Core Weight: 1 Total Weight: 852 4.93/5.10 c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s 5.03/5.11 c core #853 5.03/5.11 c Core size: 11 Core Weight: 1 Total Weight: 853 5.03/5.11 c Elapsed CPU time: 5.02424 s Remaining CPU time: 1794.98 s 5.03/5.11 c core #854 5.03/5.11 c Core size: 7 Core Weight: 1 Total Weight: 854 5.03/5.11 c Elapsed CPU time: 5.03223 s Remaining CPU time: 1794.97 s 5.03/5.12 c core #855 5.03/5.12 c Core size: 7 Core Weight: 1 Total Weight: 855 5.03/5.12 c Elapsed CPU time: 5.04023 s Remaining CPU time: 1794.96 s 5.03/5.13 c core #856 5.03/5.13 c Core size: 7 Core Weight: 1 Total Weight: 856 5.03/5.13 c Elapsed CPU time: 5.04923 s Remaining CPU time: 1794.95 s 5.03/5.14 c core #857 5.03/5.14 c Core size: 7 Core Weight: 1 Total Weight: 857 5.03/5.14 c Elapsed CPU time: 5.05823 s Remaining CPU time: 1794.94 s 5.03/5.15 c core #858 5.03/5.15 c Core size: 7 Core Weight: 1 Total Weight: 858 5.03/5.15 c Elapsed CPU time: 5.06823 s Remaining CPU time: 1794.93 s 5.03/5.16 c core #859 5.03/5.16 c Core size: 7 Core Weight: 1 Total Weight: 859 5.03/5.16 c Elapsed CPU time: 5.07723 s Remaining CPU time: 1794.92 s 5.03/5.17 c core #860 5.03/5.17 c Core size: 11 Core Weight: 1 Total Weight: 860 5.03/5.17 c Elapsed CPU time: 5.08623 s Remaining CPU time: 1794.91 s 5.03/5.18 c core #861 5.03/5.18 c Core size: 7 Core Weight: 1 Total Weight: 861 5.03/5.18 c Elapsed CPU time: 5.09523 s Remaining CPU time: 1794.9 s 5.03/5.19 c core #862 5.03/5.19 c Core size: 7 Core Weight: 1 Total Weight: 862 5.03/5.19 c Elapsed CPU time: 5.10422 s Remaining CPU time: 1794.9 s 5.13/5.20 c core #863 5.13/5.20 c Core size: 7 Core Weight: 1 Total Weight: 863 5.13/5.20 c Elapsed CPU time: 5.11322 s Remaining CPU time: 1794.89 s 5.13/5.21 c core #864 5.13/5.21 c Core size: 7 Core Weight: 1 Total Weight: 864 5.13/5.21 c Elapsed CPU time: 5.12322 s Remaining CPU time: 1794.88 s 5.13/5.22 c core #865 5.13/5.22 c Core size: 7 Core Weight: 1 Total Weight: 865 5.13/5.22 c Elapsed CPU time: 5.13222 s Remaining CPU time: 1794.87 s 5.13/5.23 c core #866 5.13/5.23 c Core size: 7 Core Weight: 1 Total Weight: 866 5.13/5.23 c Elapsed CPU time: 5.14122 s Remaining CPU time: 1794.86 s 5.13/5.23 c core #867 5.13/5.23 c Core size: 7 Core Weight: 1 Total Weight: 867 5.13/5.23 c Elapsed CPU time: 5.15022 s Remaining CPU time: 1794.85 s 5.13/5.24 c core #868 5.13/5.24 c Core size: 7 Core Weight: 1 Total Weight: 868 5.13/5.24 c Elapsed CPU time: 5.15822 s Remaining CPU time: 1794.84 s 5.13/5.25 c core #869 5.13/5.25 c Core size: 7 Core Weight: 1 Total Weight: 869 5.13/5.25 c Elapsed CPU time: 5.16821 s Remaining CPU time: 1794.83 s 5.13/5.26 c core #870 5.13/5.26 c Core size: 7 Core Weight: 1 Total Weight: 870 5.13/5.26 c Elapsed CPU time: 5.17721 s Remaining CPU time: 1794.82 s 5.13/5.27 c core #871 5.13/5.27 c Core size: 7 Core Weight: 1 Total Weight: 871 5.13/5.27 c Elapsed CPU time: 5.18621 s Remaining CPU time: 1794.81 s 5.13/5.28 c core #872 5.13/5.28 c Core size: 7 Core Weight: 1 Total Weight: 872 5.13/5.28 c Elapsed CPU time: 5.19521 s Remaining CPU time: 1794.8 s 5.13/5.29 c core #873 5.13/5.29 c Core size: 11 Core Weight: 1 Total Weight: 873 5.13/5.29 c Elapsed CPU time: 5.20521 s Remaining CPU time: 1794.79 s 5.22/5.30 c core #874 5.22/5.30 c Core size: 7 Core Weight: 1 Total Weight: 874 5.22/5.30 c Elapsed CPU time: 5.21421 s Remaining CPU time: 1794.79 s 5.22/5.31 c core #875 5.22/5.31 c Core size: 7 Core Weight: 1 Total Weight: 875 5.22/5.31 c Elapsed CPU time: 5.2242 s Remaining CPU time: 1794.78 s 5.22/5.32 c core #876 5.22/5.32 c Core size: 7 Core Weight: 1 Total Weight: 876 5.22/5.32 c Elapsed CPU time: 5.2332 s Remaining CPU time: 1794.77 s 5.22/5.33 c core #877 5.22/5.33 c Core size: 7 Core Weight: 1 Total Weight: 877 5.22/5.33 c Elapsed CPU time: 5.2432 s Remaining CPU time: 1794.76 s 5.22/5.34 c core #878 5.22/5.34 c Core size: 7 Core Weight: 1 Total Weight: 878 5.22/5.34 c Elapsed CPU time: 5.2532 s Remaining CPU time: 1794.75 s 5.22/5.35 c core #879 5.22/5.35 c Core size: 15 Core Weight: 1 Total Weight: 879 5.22/5.35 c Elapsed CPU time: 5.2632 s Remaining CPU time: 1794.74 s 5.22/5.36 c core #880 5.22/5.36 c Core size: 7 Core Weight: 1 Total Weight: 880 5.22/5.36 c Elapsed CPU time: 5.2722 s Remaining CPU time: 1794.73 s 5.22/5.37 c core #881 5.22/5.37 c Core size: 7 Core Weight: 1 Total Weight: 881 5.22/5.37 c Elapsed CPU time: 5.2822 s Remaining CPU time: 1794.72 s 5.22/5.38 c core #882 5.22/5.38 c Core size: 7 Core Weight: 1 Total Weight: 882 5.22/5.38 c Elapsed CPU time: 5.29219 s Remaining CPU time: 1794.71 s 5.22/5.39 c core #883 5.22/5.39 c Core size: 7 Core Weight: 1 Total Weight: 883 5.22/5.39 c Elapsed CPU time: 5.30119 s Remaining CPU time: 1794.7 s 5.32/5.40 c core #884 5.32/5.40 c Core size: 7 Core Weight: 1 Total Weight: 884 5.32/5.40 c Elapsed CPU time: 5.31019 s Remaining CPU time: 1794.69 s 5.32/5.41 c core #885 5.32/5.41 c Core size: 11 Core Weight: 1 Total Weight: 885 5.32/5.41 c Elapsed CPU time: 5.31919 s Remaining CPU time: 1794.68 s 5.32/5.42 c core #886 5.32/5.42 c Core size: 7 Core Weight: 1 Total Weight: 886 5.32/5.42 c Elapsed CPU time: 5.32919 s Remaining CPU time: 1794.67 s 5.32/5.43 c core #887 5.32/5.43 c Core size: 7 Core Weight: 1 Total Weight: 887 5.32/5.43 c Elapsed CPU time: 5.33919 s Remaining CPU time: 1794.66 s 5.32/5.44 c core #888 5.32/5.44 c Core size: 7 Core Weight: 1 Total Weight: 888 5.32/5.44 c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s 5.32/5.45 c core #889 5.32/5.45 c Core size: 7 Core Weight: 1 Total Weight: 889 5.32/5.45 c Elapsed CPU time: 5.35818 s Remaining CPU time: 1794.64 s 5.32/5.46 c core #890 5.32/5.46 c Core size: 11 Core Weight: 1 Total Weight: 890 5.32/5.46 c Elapsed CPU time: 5.36718 s Remaining CPU time: 1794.63 s 5.32/5.47 c core #891 5.32/5.47 c Core size: 7 Core Weight: 1 Total Weight: 891 5.32/5.47 c Elapsed CPU time: 5.37718 s Remaining CPU time: 1794.62 s 5.32/5.48 c core #892 5.32/5.48 c Core size: 7 Core Weight: 1 Total Weight: 892 5.32/5.48 c Elapsed CPU time: 5.38718 s Remaining CPU time: 1794.61 s 5.32/5.49 c core #893 5.32/5.49 c Core size: 19 Core Weight: 1 Total Weight: 893 5.32/5.49 c Elapsed CPU time: 5.39718 s Remaining CPU time: 1794.6 s 5.32/5.50 c core #894 5.32/5.50 c Core size: 11 Core Weight: 1 Total Weight: 894 5.32/5.50 c Elapsed CPU time: 5.40718 s Remaining CPU time: 1794.59 s 5.43/5.51 c core #895 5.43/5.51 c Core size: 27 Core Weight: 1 Total Weight: 895 5.43/5.51 c Elapsed CPU time: 5.41718 s Remaining CPU time: 1794.58 s 5.43/5.52 c core #896 5.43/5.52 c Core size: 7 Core Weight: 1 Total Weight: 896 5.43/5.52 c Elapsed CPU time: 5.42717 s Remaining CPU time: 1794.57 s 5.43/5.53 c core #897 5.43/5.53 c Core size: 11 Core Weight: 1 Total Weight: 897 5.43/5.53 c Elapsed CPU time: 5.43717 s Remaining CPU time: 1794.56 s 5.43/5.54 c core #898 5.43/5.54 c Core size: 7 Core Weight: 1 Total Weight: 898 5.43/5.54 c Elapsed CPU time: 5.44717 s Remaining CPU time: 1794.55 s 5.43/5.55 c core #899 5.43/5.55 c Core size: 7 Core Weight: 1 Total Weight: 899 5.43/5.55 c Elapsed CPU time: 5.45817 s Remaining CPU time: 1794.54 s 5.43/5.56 c core #900 5.43/5.56 c Core size: 11 Core Weight: 1 Total Weight: 900 5.43/5.56 c Elapsed CPU time: 5.46817 s Remaining CPU time: 1794.53 s 5.43/5.57 c core #901 5.43/5.57 c Core size: 7 Core Weight: 1 Total Weight: 901 5.43/5.57 c Elapsed CPU time: 5.47817 s Remaining CPU time: 1794.52 s 5.43/5.58 c core #902 5.43/5.58 c Core size: 11 Core Weight: 1 Total Weight: 902 5.43/5.58 c Elapsed CPU time: 5.48817 s Remaining CPU time: 1794.51 s 5.43/5.59 c core #903 5.43/5.59 c Core size: 7 Core Weight: 1 Total Weight: 903 5.43/5.59 c Elapsed CPU time: 5.49816 s Remaining CPU time: 1794.5 s 5.43/5.60 c core #904 5.43/5.60 c Core size: 19 Core Weight: 1 Total Weight: 904 5.43/5.60 c Elapsed CPU time: 5.50816 s Remaining CPU time: 1794.49 s 5.53/5.61 c core #905 5.53/5.61 c Core size: 11 Core Weight: 1 Total Weight: 905 5.53/5.61 c Elapsed CPU time: 5.51916 s Remaining CPU time: 1794.48 s 5.53/5.62 c core #906 5.53/5.62 c Core size: 11 Core Weight: 1 Total Weight: 906 5.53/5.62 c Elapsed CPU time: 5.52916 s Remaining CPU time: 1794.47 s 5.53/5.63 c core #907 5.53/5.63 c Core size: 11 Core Weight: 1 Total Weight: 907 5.53/5.63 c Elapsed CPU time: 5.53916 s Remaining CPU time: 1794.46 s 5.53/5.64 c core #908 5.53/5.64 c Core size: 11 Core Weight: 1 Total Weight: 908 5.53/5.64 c Elapsed CPU time: 5.54916 s Remaining CPU time: 1794.45 s 5.53/5.65 c core #909 5.53/5.65 c Core size: 7 Core Weight: 1 Total Weight: 909 5.53/5.65 c Elapsed CPU time: 5.56015 s Remaining CPU time: 1794.44 s 5.53/5.66 c core #910 5.53/5.66 c Core size: 15 Core Weight: 1 Total Weight: 910 5.53/5.66 c Elapsed CPU time: 5.56915 s Remaining CPU time: 1794.43 s 5.53/5.67 c core #911 5.53/5.67 c Core size: 7 Core Weight: 1 Total Weight: 911 5.53/5.67 c Elapsed CPU time: 5.57915 s Remaining CPU time: 1794.42 s 5.53/5.68 c core #912 5.53/5.68 c Core size: 11 Core Weight: 1 Total Weight: 912 5.53/5.68 c Elapsed CPU time: 5.59015 s Remaining CPU time: 1794.41 s 5.53/5.69 c core #913 5.53/5.69 c Core size: 7 Core Weight: 1 Total Weight: 913 5.53/5.69 c Elapsed CPU time: 5.60015 s Remaining CPU time: 1794.4 s 5.62/5.70 c core #914 5.62/5.70 c Core size: 15 Core Weight: 1 Total Weight: 914 5.62/5.70 c Elapsed CPU time: 5.61115 s Remaining CPU time: 1794.39 s 5.62/5.71 c core #915 5.62/5.71 c Core size: 15 Core Weight: 1 Total Weight: 915 5.62/5.71 c Elapsed CPU time: 5.62214 s Remaining CPU time: 1794.38 s 5.62/5.72 c core #916 5.62/5.72 c Core size: 7 Core Weight: 1 Total Weight: 916 5.62/5.72 c Elapsed CPU time: 5.63214 s Remaining CPU time: 1794.37 s 5.62/5.73 c core #917 5.62/5.73 c Core size: 15 Core Weight: 1 Total Weight: 917 5.62/5.73 c Elapsed CPU time: 5.64214 s Remaining CPU time: 1794.36 s 5.62/5.74 c core #918 5.62/5.74 c Core size: 7 Core Weight: 1 Total Weight: 918 5.62/5.75 c Elapsed CPU time: 5.65214 s Remaining CPU time: 1794.35 s 5.62/5.76 c core #919 5.62/5.76 c Core size: 11 Core Weight: 1 Total Weight: 919 5.62/5.76 c Elapsed CPU time: 5.66314 s Remaining CPU time: 1794.34 s 5.62/5.77 c core #920 5.62/5.77 c Core size: 11 Core Weight: 1 Total Weight: 920 5.62/5.77 c Elapsed CPU time: 5.67414 s Remaining CPU time: 1794.33 s 5.62/5.78 c core #921 5.62/5.78 c Core size: 7 Core Weight: 1 Total Weight: 921 5.62/5.78 c Elapsed CPU time: 5.68414 s Remaining CPU time: 1794.32 s 5.62/5.79 c core #922 5.62/5.79 c Core size: 27 Core Weight: 1 Total Weight: 922 5.62/5.79 c Elapsed CPU time: 5.69413 s Remaining CPU time: 1794.31 s 5.73/5.80 c core #923 5.73/5.80 c Core size: 15 Core Weight: 1 Total Weight: 923 5.73/5.80 c Elapsed CPU time: 5.70413 s Remaining CPU time: 1794.3 s 5.73/5.81 c core #924 5.73/5.81 c Core size: 7 Core Weight: 1 Total Weight: 924 5.73/5.81 c Elapsed CPU time: 5.71513 s Remaining CPU time: 1794.28 s 5.73/5.82 c core #925 5.73/5.82 c Core size: 31 Core Weight: 1 Total Weight: 925 5.73/5.82 c Elapsed CPU time: 5.72613 s Remaining CPU time: 1794.27 s 5.73/5.83 c core #926 5.73/5.83 c Core size: 11 Core Weight: 1 Total Weight: 926 5.73/5.83 c Elapsed CPU time: 5.73613 s Remaining CPU time: 1794.26 s 5.73/5.84 c core #927 5.73/5.84 c Core size: 11 Core Weight: 1 Total Weight: 927 5.73/5.84 c Elapsed CPU time: 5.74613 s Remaining CPU time: 1794.25 s 5.73/5.85 c core #928 5.73/5.85 c Core size: 7 Core Weight: 1 Total Weight: 928 5.73/5.85 c Elapsed CPU time: 5.75612 s Remaining CPU time: 1794.24 s 5.73/5.86 c core #929 5.73/5.86 c Core size: 11 Core Weight: 1 Total Weight: 929 5.73/5.86 c Elapsed CPU time: 5.76612 s Remaining CPU time: 1794.23 s 5.73/5.88 c core #930 5.73/5.88 c Core size: 19 Core Weight: 1 Total Weight: 930 5.73/5.88 c Elapsed CPU time: 5.77612 s Remaining CPU time: 1794.22 s 5.73/5.89 c core #931 5.73/5.89 c Core size: 11 Core Weight: 1 Total Weight: 931 5.73/5.89 c Elapsed CPU time: 5.78712 s Remaining CPU time: 1794.21 s 5.82/5.90 c core #932 5.82/5.90 c Core size: 51 Core Weight: 1 Total Weight: 932 5.82/5.90 c Elapsed CPU time: 5.79812 s Remaining CPU time: 1794.2 s 5.82/5.91 c core #933 5.82/5.91 c Core size: 7 Core Weight: 1 Total Weight: 933 5.82/5.91 c Elapsed CPU time: 5.80912 s Remaining CPU time: 1794.19 s 5.82/5.92 c core #934 5.82/5.92 c Core size: 19 Core Weight: 1 Total Weight: 934 5.82/5.92 c Elapsed CPU time: 5.82012 s Remaining CPU time: 1794.18 s 5.82/5.93 c core #935 5.82/5.93 c Core size: 27 Core Weight: 1 Total Weight: 935 5.82/5.93 c Elapsed CPU time: 5.83111 s Remaining CPU time: 1794.17 s 5.82/5.94 c core #936 5.82/5.94 c Core size: 19 Core Weight: 1 Total Weight: 936 5.82/5.94 c Elapsed CPU time: 5.84211 s Remaining CPU time: 1794.16 s 5.82/5.95 c core #937 5.82/5.95 c Core size: 15 Core Weight: 1 Total Weight: 937 5.82/5.95 c Elapsed CPU time: 5.85311 s Remaining CPU time: 1794.15 s 5.82/5.96 c core #938 5.82/5.96 c Core size: 11 Core Weight: 1 Total Weight: 938 5.82/5.96 c Elapsed CPU time: 5.86411 s Remaining CPU time: 1794.14 s 5.82/5.98 c core #939 5.82/5.98 c Core size: 7 Core Weight: 1 Total Weight: 939 5.82/5.98 c Elapsed CPU time: 5.87511 s Remaining CPU time: 1794.12 s 5.82/5.99 c core #940 5.82/5.99 c Core size: 7 Core Weight: 1 Total Weight: 940 5.82/5.99 c Elapsed CPU time: 5.88511 s Remaining CPU time: 1794.11 s 5.92/6.00 c core #941 5.92/6.00 c Core size: 23 Core Weight: 1 Total Weight: 941 5.92/6.00 c Elapsed CPU time: 5.8971 s Remaining CPU time: 1794.1 s 5.92/6.01 c core #942 5.92/6.01 c Core size: 11 Core Weight: 1 Total Weight: 942 5.92/6.01 c Elapsed CPU time: 5.9081 s Remaining CPU time: 1794.09 s 5.92/6.02 c core #943 5.92/6.02 c Core size: 11 Core Weight: 1 Total Weight: 943 5.92/6.02 c Elapsed CPU time: 5.9181 s Remaining CPU time: 1794.08 s 5.92/6.03 c core #944 5.92/6.03 c Core size: 35 Core Weight: 1 Total Weight: 944 5.92/6.03 c Elapsed CPU time: 5.9291 s Remaining CPU time: 1794.07 s 5.92/6.04 c core #945 5.92/6.04 c Core size: 11 Core Weight: 1 Total Weight: 945 5.92/6.04 c Elapsed CPU time: 5.9411 s Remaining CPU time: 1794.06 s 5.92/6.05 c core #946 5.92/6.05 c Core size: 43 Core Weight: 1 Total Weight: 946 5.92/6.05 c Elapsed CPU time: 5.95209 s Remaining CPU time: 1794.05 s 5.92/6.07 c core #947 5.92/6.07 c Core size: 23 Core Weight: 1 Total Weight: 947 5.92/6.07 c Elapsed CPU time: 5.96309 s Remaining CPU time: 1794.04 s 5.92/6.08 c core #948 5.92/6.08 c Core size: 35 Core Weight: 1 Total Weight: 948 5.92/6.08 c Elapsed CPU time: 5.97409 s Remaining CPU time: 1794.03 s 5.92/6.09 c core #949 5.92/6.09 c Core size: 31 Core Weight: 1 Total Weight: 949 5.92/6.09 c Elapsed CPU time: 5.98609 s Remaining CPU time: 1794.01 s 6.02/6.10 c core #950 6.02/6.10 c Core size: 27 Core Weight: 1 Total Weight: 950 6.02/6.10 c Elapsed CPU time: 5.99709 s Remaining CPU time: 1794 s 6.02/6.11 c core #951 6.02/6.11 c Core size: 23 Core Weight: 1 Total Weight: 951 6.02/6.11 c Elapsed CPU time: 6.00809 s Remaining CPU time: 1793.99 s 6.02/6.12 c core #952 6.02/6.12 c Core size: 11 Core Weight: 1 Total Weight: 952 6.02/6.12 c Elapsed CPU time: 6.01908 s Remaining CPU time: 1793.98 s 6.02/6.13 c core #953 6.02/6.13 c Core size: 23 Core Weight: 1 Total Weight: 953 6.02/6.13 c Elapsed CPU time: 6.03008 s Remaining CPU time: 1793.97 s 6.02/6.15 c core #954 6.02/6.15 c Core size: 27 Core Weight: 1 Total Weight: 954 6.02/6.15 c Elapsed CPU time: 6.04108 s Remaining CPU time: 1793.96 s 6.02/6.16 c core #955 6.02/6.16 c Core size: 39 Core Weight: 1 Total Weight: 955 6.02/6.16 c Elapsed CPU time: 6.05308 s Remaining CPU time: 1793.95 s 6.02/6.17 c core #956 6.02/6.17 c Core size: 39 Core Weight: 1 Total Weight: 956 6.02/6.17 c Elapsed CPU time: 6.06408 s Remaining CPU time: 1793.94 s 6.02/6.18 c core #957 6.02/6.18 c Core size: 15 Core Weight: 1 Total Weight: 957 6.02/6.18 c Elapsed CPU time: 6.07608 s Remaining CPU time: 1793.92 s 6.02/6.19 c core #958 6.02/6.19 c Core size: 27 Core Weight: 1 Total Weight: 958 6.02/6.19 c Elapsed CPU time: 6.08707 s Remaining CPU time: 1793.91 s 6.12/6.20 c core #959 6.12/6.20 c Core size: 39 Core Weight: 1 Total Weight: 959 6.12/6.20 c Elapsed CPU time: 6.09807 s Remaining CPU time: 1793.9 s 6.12/6.22 c core #960 6.12/6.22 c Core size: 35 Core Weight: 1 Total Weight: 960 6.12/6.22 c Elapsed CPU time: 6.10907 s Remaining CPU time: 1793.89 s 6.12/6.23 c core #961 6.12/6.23 c Core size: 15 Core Weight: 1 Total Weight: 961 6.12/6.23 c Elapsed CPU time: 6.12107 s Remaining CPU time: 1793.88 s 6.12/6.24 c core #962 6.12/6.24 c Core size: 23 Core Weight: 1 Total Weight: 962 6.12/6.24 c Elapsed CPU time: 6.13307 s Remaining CPU time: 1793.87 s 6.12/6.25 c core #963 6.12/6.25 c Core size: 39 Core Weight: 1 Total Weight: 963 6.12/6.25 c Elapsed CPU time: 6.14407 s Remaining CPU time: 1793.86 s 6.12/6.26 c core #964 6.12/6.26 c Core size: 71 Core Weight: 1 Total Weight: 964 6.12/6.26 c Elapsed CPU time: 6.15606 s Remaining CPU time: 1793.84 s 6.12/6.27 c core #965 6.12/6.27 c Core size: 59 Core Weight: 1 Total Weight: 965 6.12/6.27 c Elapsed CPU time: 6.16806 s Remaining CPU time: 1793.83 s 6.12/6.29 c core #966 6.12/6.29 c Core size: 39 Core Weight: 1 Total Weight: 966 6.12/6.29 c Elapsed CPU time: 6.17906 s Remaining CPU time: 1793.82 s 6.21/6.30 c core #967 6.21/6.30 c Core size: 19 Core Weight: 1 Total Weight: 967 6.21/6.30 c Elapsed CPU time: 6.19006 s Remaining CPU time: 1793.81 s 6.21/6.31 c core #968 6.21/6.31 c Core size: 51 Core Weight: 1 Total Weight: 968 6.21/6.31 c Elapsed CPU time: 6.20106 s Remaining CPU time: 1793.8 s 6.21/6.32 c core #969 6.21/6.32 c Core size: 46 Core Weight: 1 Total Weight: 969 6.21/6.32 c Elapsed CPU time: 6.21305 s Remaining CPU time: 1793.79 s 6.21/6.33 c core #970 6.21/6.33 c Core size: 87 Core Weight: 1 Total Weight: 970 6.21/6.33 c Elapsed CPU time: 6.22605 s Remaining CPU time: 1793.77 s 6.21/6.35 c core #971 6.21/6.35 c Core size: 43 Core Weight: 1 Total Weight: 971 6.21/6.35 c Elapsed CPU time: 6.23805 s Remaining CPU time: 1793.76 s 6.21/6.36 c core #972 6.21/6.36 c Core size: 90 Core Weight: 1 Total Weight: 972 6.21/6.36 c Elapsed CPU time: 6.25005 s Remaining CPU time: 1793.75 s 6.21/6.37 c ============================[ Search Statistics ]============================== 6.21/6.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.21/6.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.21/6.37 c =============================================================================== 6.21/6.37 c | 0 | 4581 6935 15592 | 5000 0 nan | 0.000 % | 6.21/6.37 c =============================================================================== 6.21/6.37 c core #973 6.21/6.37 c Core size: 71 Core Weight: 1 Total Weight: 973 6.21/6.37 c Elapsed CPU time: 6.26205 s Remaining CPU time: 1793.74 s 6.21/6.38 c ============================[ Search Statistics ]============================== 6.21/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.21/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.21/6.38 c =============================================================================== 6.21/6.38 c | 0 | 4722 6936 15678 | 5000 0 nan | 0.000 % | 6.21/6.39 c =============================================================================== 6.21/6.39 c core #974 6.21/6.39 c Core size: 101 Core Weight: 1 Total Weight: 974 6.21/6.39 c Elapsed CPU time: 6.27604 s Remaining CPU time: 1793.72 s 6.31/6.40 c ============================[ Search Statistics ]============================== 6.31/6.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.31/6.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.31/6.40 c =============================================================================== 6.31/6.40 c | 0 | 4787 6937 15783 | 5000 0 nan | 0.000 % | 6.31/6.40 c =============================================================================== 6.31/6.40 c core #975 6.31/6.40 c Core size: 250 Core Weight: 1 Total Weight: 975 6.31/6.40 c Elapsed CPU time: 6.29204 s Remaining CPU time: 1793.71 s 6.31/6.41 c ============================[ Search Statistics ]============================== 6.31/6.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.31/6.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.31/6.41 c =============================================================================== 6.31/6.41 c | 0 | 4909 6938 16027 | 5000 0 nan | 0.000 % | 6.31/6.42 c =============================================================================== 6.31/6.42 c core #976 6.31/6.42 c Core size: 54 Core Weight: 1 Total Weight: 976 6.31/6.42 c Elapsed CPU time: 6.30704 s Remaining CPU time: 1793.69 s 6.31/6.43 c ============================[ Search Statistics ]============================== 6.31/6.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.31/6.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.31/6.43 c =============================================================================== 6.31/6.43 c | 0 | 4939 6939 16090 | 5000 0 nan | 0.000 % | 6.31/6.43 c =============================================================================== 6.31/6.43 c core #977 6.31/6.43 c Core size: 235 Core Weight: 1 Total Weight: 977 6.31/6.43 c Elapsed CPU time: 6.32404 s Remaining CPU time: 1793.68 s 6.31/6.45 c ============================[ Search Statistics ]============================== 6.31/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.31/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.31/6.45 c =============================================================================== 6.31/6.45 c | 0 | 5068 6940 16332 | 5000 0 nan | 0.000 % | 6.31/6.45 c =============================================================================== 6.31/6.45 c core #978 6.31/6.45 c Core size: 96 Core Weight: 1 Total Weight: 978 6.31/6.45 c Elapsed CPU time: 6.33804 s Remaining CPU time: 1793.66 s 6.31/6.46 c ============================[ Search Statistics ]============================== 6.31/6.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.31/6.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.31/6.46 c =============================================================================== 6.31/6.46 c | 0 | 5115 6941 16426 | 5000 0 nan | 0.000 % | 6.31/6.47 c =============================================================================== 6.31/6.47 c core #979 6.31/6.47 c Core size: 180 Core Weight: 1 Total Weight: 979 6.31/6.47 c Elapsed CPU time: 6.35403 s Remaining CPU time: 1793.65 s 6.31/6.48 c ============================[ Search Statistics ]============================== 6.31/6.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.31/6.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.31/6.48 c =============================================================================== 6.31/6.48 c | 0 | 5245 6942 16605 | 5000 0 nan | 0.000 % | 6.31/6.49 c =============================================================================== 6.31/6.49 c core #980 6.31/6.49 c Core size: 156 Core Weight: 1 Total Weight: 980 6.31/6.49 c Elapsed CPU time: 6.37203 s Remaining CPU time: 1793.63 s 6.42/6.50 c ============================[ Search Statistics ]============================== 6.42/6.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.42/6.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.42/6.50 c =============================================================================== 6.42/6.50 c | 0 | 5336 6943 16773 | 5000 0 nan | 0.000 % | 6.42/6.51 c | 100 | 5327 6943 16773 | 5500 100 6 | 1.836 % | 6.42/6.51 c =============================================================================== 6.42/6.52 c core #981 6.42/6.52 c Core size: 138 Core Weight: 1 Total Weight: 981 6.42/6.52 c Elapsed CPU time: 6.39903 s Remaining CPU time: 1793.6 s 6.42/6.53 c ============================[ Search Statistics ]============================== 6.42/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.42/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.42/6.53 c =============================================================================== 6.42/6.53 c | 0 | 5413 6944 16908 | 5000 0 nan | 0.000 % | 6.42/6.54 c | 100 | 5413 6944 16908 | 5500 100 11 | 0.843 % | 6.42/6.55 c | 250 | 5413 6944 16908 | 6050 250 12 | 0.843 % | 6.42/6.57 c | 475 | 5412 6944 16908 | 6655 472 10 | 0.861 % | 6.42/6.58 c =============================================================================== 6.42/6.58 c core #982 6.42/6.58 c Core size: 548 Core Weight: 1 Total Weight: 982 6.42/6.58 c Elapsed CPU time: 6.46302 s Remaining CPU time: 1793.54 s 6.42/6.60 c ============================[ Search Statistics ]============================== 6.42/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.42/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.42/6.60 c =============================================================================== 6.42/6.60 c | 0 | 5662 6945 17406 | 5000 0 nan | 0.000 % | 6.51/6.61 c | 102 | 5660 6945 17406 | 5500 102 5 | 0.858 % | 6.51/6.62 c | 252 | 5656 6945 17406 | 6050 251 4 | 1.034 % | 6.51/6.63 c =============================================================================== 6.51/6.63 c core #983 6.51/6.63 c Core size: 113 Core Weight: 1 Total Weight: 983 6.51/6.63 c Elapsed CPU time: 6.50101 s Remaining CPU time: 1793.5 s 6.51/6.64 c ============================[ Search Statistics ]============================== 6.51/6.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.51/6.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.51/6.64 c =============================================================================== 6.51/6.64 c | 0 | 5724 6946 17519 | 5000 0 nan | 0.000 % | 6.51/6.65 c | 101 | 5724 6946 17519 | 5500 101 30 | 0.677 % | 6.51/6.66 c | 252 | 5724 6946 17519 | 6050 252 24 | 0.677 % | 6.51/6.67 c =============================================================================== 6.51/6.68 c core #984 6.51/6.68 c Core size: 205 Core Weight: 1 Total Weight: 984 6.51/6.68 c Elapsed CPU time: 6.547 s Remaining CPU time: 1793.45 s 6.51/6.69 c ============================[ Search Statistics ]============================== 6.51/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.51/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.51/6.69 c =============================================================================== 6.51/6.69 c | 0 | 5835 6947 17728 | 5000 0 nan | 0.000 % | 6.62/6.70 c | 100 | 5833 6947 17728 | 5500 100 8 | 0.631 % | 6.62/6.71 c | 250 | 5826 6947 17728 | 6050 248 7 | 0.631 % | 6.62/6.73 c | 479 | 5826 6947 17728 | 6655 477 8 | 0.631 % | 6.62/6.77 c | 816 | 5825 6947 17728 | 7320 813 8 | 0.648 % | 6.70/6.82 c | 1323 | 5820 6947 17728 | 8052 1217 9 | 0.733 % | 6.70/6.85 c =============================================================================== 6.70/6.86 c core #985 6.70/6.86 c Core size: 781 Core Weight: 1 Total Weight: 985 6.70/6.86 c Elapsed CPU time: 6.71998 s Remaining CPU time: 1793.28 s 6.70/6.87 c ============================[ Search Statistics ]============================== 6.70/6.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.70/6.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.70/6.87 c =============================================================================== 6.70/6.87 c | 0 | 6195 6948 18450 | 5000 0 nan | 0.000 % | 6.70/6.88 c | 100 | 6195 6948 18450 | 5500 100 9 | 0.386 % | 6.70/6.89 c | 253 | 6195 6948 18450 | 6050 253 12 | 0.386 % | 6.81/6.91 c | 478 | 6195 6948 18450 | 6655 478 14 | 0.386 % | 6.81/6.95 c | 815 | 6195 6948 18450 | 7320 815 14 | 0.386 % | 6.91/7.01 c | 1321 | 6195 6948 18450 | 8052 1321 15 | 0.386 % | 7.01/7.11 c | 2084 | 6195 6948 18450 | 8857 2084 20 | 0.386 % | 7.10/7.27 c | 3223 | 6195 6948 18450 | 9743 3223 21 | 0.386 % | 7.50/7.65 c | 4931 | 6174 6948 18450 | 10717 4925 29 | 0.772 % | 8.10/8.26 c | 7494 | 6168 6948 18450 | 11789 7475 37 | 0.820 % | 9.50/9.61 c | 11341 | 6162 6948 18450 | 12968 11321 43 | 1.045 % | 9.61/9.74 c =============================================================================== 9.71/9.84 c core #986 9.71/9.84 c Core size: 915 Core Weight: 1 Total Weight: 986 9.71/9.84 c Elapsed CPU time: 9.66053 s Remaining CPU time: 1790.34 s 9.71/9.87 c ============================[ Search Statistics ]============================== 9.71/9.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.71/9.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.71/9.87 c =============================================================================== 9.71/9.87 c | 0 | 6601 6949 19261 | 5000 0 nan | 0.000 % | 9.71/9.89 c | 100 | 6601 6949 19261 | 5500 100 14 | 0.332 % | 9.81/9.91 c | 251 | 6601 6949 19261 | 6050 251 13 | 0.332 % | 9.81/9.93 c | 476 | 6601 6949 19261 | 6655 476 19 | 0.332 % | 9.81/9.97 c | 813 | 6601 6949 19261 | 7320 813 22 | 0.332 % | 9.91/10.04 c | 1319 | 6601 6949 19261 | 8052 1319 29 | 0.332 % | 10.00/10.18 c | 2082 | 6600 6949 19261 | 8857 2081 37 | 0.347 % | 10.21/10.36 c | 3222 | 6600 6949 19261 | 9743 3221 36 | 0.347 % | 10.51/10.63 c | 4930 | 6599 6949 19261 | 10717 4928 34 | 0.362 % | 11.20/11.32 c | 7493 | 6599 6949 19261 | 11789 7491 46 | 0.362 % | 12.11/12.22 c | 11337 | 6599 6949 19261 | 12968 11335 51 | 0.362 % | 13.40/13.57 c | 17103 | 6597 6949 19261 | 14265 10388 55 | 0.393 % | 16.10/16.27 c | 25756 | 6596 6949 19261 | 15692 11730 66 | 0.408 % | 20.00/20.19 c | 38730 | 6596 6949 19261 | 17261 8698 54 | 0.408 % | 26.09/26.25 c | 58194 | 6595 6949 19261 | 18987 10602 63 | 0.423 % | 29.00/29.17 c =============================================================================== 29.70/29.83 c core #987 29.70/29.83 c Core size: 1165 Core Weight: 1 Total Weight: 987 29.70/29.83 c Elapsed CPU time: 29.3725 s Remaining CPU time: 1770.63 s 29.79/29.91 c ============================[ Search Statistics ]============================== 29.79/29.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.79/29.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.79/29.91 c =============================================================================== 29.79/29.91 c | 0 | 7103 6950 20266 | 5000 0 nan | 0.000 % | 29.79/29.93 c | 100 | 7103 6950 20266 | 5500 100 8 | 0.281 % | 29.79/29.94 c | 252 | 7103 6950 20266 | 6050 252 8 | 0.281 % | 29.79/29.97 c | 477 | 7103 6950 20266 | 6655 477 8 | 0.281 % | 29.90/30.00 c | 816 | 7103 6950 20266 | 7320 816 7 | 0.281 % | 29.90/30.05 c | 1322 | 7099 6950 20266 | 8052 1252 8 | 0.337 % | 29.99/30.14 c | 2081 | 7098 6950 20266 | 8857 1938 9 | 0.351 % | 30.09/30.28 c =============================================================================== 30.19/30.30 c core #988 30.19/30.30 c Core size: 866 Core Weight: 1 Total Weight: 988 30.19/30.30 c Elapsed CPU time: 29.8305 s Remaining CPU time: 1770.17 s 30.19/30.32 c ============================[ Search Statistics ]============================== 30.19/30.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.19/30.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.19/30.32 c =============================================================================== 30.19/30.32 c | 0 | 7482 6951 21024 | 5000 0 nan | 0.000 % | 30.19/30.34 c | 101 | 7482 6951 21024 | 5500 101 14 | 0.267 % | 30.19/30.35 c | 251 | 7481 6951 21024 | 6050 249 14 | 0.280 % | 30.19/30.38 c | 479 | 7477 6951 21024 | 6655 476 14 | 0.333 % | 30.29/30.41 c | 818 | 7477 6951 21024 | 7320 815 15 | 0.333 % | 30.29/30.47 c | 1325 | 7477 6951 21024 | 8052 1322 14 | 0.333 % | 30.39/30.57 c | 2086 | 7477 6951 21024 | 8857 2083 15 | 0.333 % | 30.59/30.70 c | 3225 | 7477 6951 21024 | 9743 3222 17 | 0.333 % | 30.79/30.97 c | 4933 | 7477 6951 21024 | 10717 4930 18 | 0.333 % | 31.39/31.54 c | 7497 | 7477 6951 21024 | 11789 7494 25 | 0.333 % | 32.29/32.41 c | 11341 | 7472 6951 21024 | 12968 10457 32 | 0.400 % | 32.49/32.67 c =============================================================================== 32.59/32.78 c core #989 32.59/32.78 c Core size: 1286 Core Weight: 1 Total Weight: 989 32.59/32.78 c Elapsed CPU time: 32.2281 s Remaining CPU time: 1767.77 s 32.69/32.82 c ============================[ Search Statistics ]============================== 32.69/32.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.69/32.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.69/32.82 c =============================================================================== 32.69/32.82 c | 0 | 8042 6952 22129 | 5000 0 nan | 0.000 % | 32.69/32.85 c | 101 | 8042 6952 22129 | 5500 101 24 | 0.124 % | 32.69/32.86 c | 253 | 8042 6952 22129 | 6050 253 26 | 0.124 % | 32.69/32.89 c | 478 | 8042 6952 22129 | 6655 478 19 | 0.124 % | 32.80/32.92 c | 817 | 8042 6952 22129 | 7320 817 21 | 0.124 % | 32.80/32.99 c | 1325 | 8042 6952 22129 | 8052 1325 20 | 0.124 % | 32.89/33.09 c | 2085 | 8042 6952 22129 | 8857 2085 26 | 0.124 % | 33.09/33.28 c | 3224 | 8042 6952 22129 | 9743 3224 30 | 0.124 % | 33.49/33.62 c | 4935 | 8042 6952 22129 | 10717 4935 39 | 0.124 % | 33.89/34.05 c | 7497 | 8042 6952 22129 | 11789 7497 37 | 0.124 % | 34.50/34.61 c | 11346 | 8042 6952 22129 | 12968 11346 36 | 0.124 % | 35.79/35.97 c | 17114 | 8042 6952 22129 | 14265 10365 49 | 0.124 % | 37.69/37.87 c | 25765 | 8042 6952 22129 | 15692 11350 56 | 0.124 % | 40.59/40.78 c | 38739 | 8042 6952 22129 | 17261 16349 62 | 0.124 % | 45.69/45.89 c | 58202 | 8042 6952 22129 | 18987 18060 60 | 0.124 % | 56.79/56.95 c | 87394 | 8042 6952 22129 | 20886 18219 119 | 0.124 % | 74.08/74.29 c | 131183 | 8042 6952 22129 | 22974 19037 124 | 0.124 % | 101.67/101.86 c | 196867 | 8042 6952 22129 | 25272 13509 124 | 0.124 % | 137.97/138.15 c | 295396 | 8042 6952 22129 | 27799 21779 80 | 0.124 % | 215.94/216.13 c | 443186 | 8042 6952 22129 | 30579 25297 95 | 0.124 % | 306.91/307.14 c | 664873 | 8042 6952 22129 | 33637 20631 50 | 0.124 % | 501.75/502.07 c | 997405 | 8042 6952 22129 | 37001 29432 121 | 0.124 % | 797.37/797.72 c | 1496195 | 8042 6952 22129 | 40701 25213 82 | 0.124 % | 1285.63/1286.10 c | 2244377 | 8042 6952 22129 | 44771 36704 140 | 0.124 % |
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-1875588-1245143868/watcher-1875588-1245143868 -o /tmp/evaluation-result-1875588-1245143868/solver-1875588-1245143868 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875588-1245143868.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.84 0.95 0.98 3/64 2394 /proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=2964 CPUtime=0 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181987521 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135172946 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 741 248 125 292 0 418 0 [startup+0.10254 s] /proc/loadavg: 0.84 0.95 0.98 3/64 2394 /proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=3512 CPUtime=0.09 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 496 0 0 0 9 0 0 0 18 0 1 0 181987521 3596288 452 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 878 452 133 292 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.201551 s] /proc/loadavg: 0.84 0.95 0.98 3/64 2394 /proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=3512 CPUtime=0.19 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 496 0 0 0 19 0 0 0 18 0 1 0 181987521 3596288 452 1992294400 134512640 135709839 4294956240 18446744073709551615 135163540 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 878 452 133 292 0 583 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3512 [startup+0.301563 s] /proc/loadavg: 0.84 0.95 0.98 3/64 2394 /proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=3680 CPUtime=0.29 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 574 0 0 0 29 0 0 0 19 0 1 0 181987521 3768320 466 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 920 466 133 292 0 625 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3680 [startup+0.701607 s] /proc/loadavg: 0.84 0.95 0.98 3/64 2394 /proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=3764 CPUtime=0.69 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 903 0 0 0 69 0 0 0 22 0 1 0 181987521 3854336 521 1992294400 134512640 135709839 4294956240 18446744073709551615 135166032 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 941 521 133 292 0 646 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3764 [startup+1.50269 s] /proc/loadavg: 0.84 0.95 0.98 2/65 2395 /proc/meminfo: memFree=1867800/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=4620 CPUtime=1.48 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 1297 0 0 0 148 0 0 0 25 0 1 0 181987521 4730880 735 1992294400 134512640 135709839 4294956240 18446744073709551615 135165936 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 1155 735 133 292 0 860 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4620 [startup+3.10188 s] /proc/loadavg: 0.84 0.95 0.98 2/65 2395 /proc/meminfo: memFree=1866392/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=6720 CPUtime=3.06 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 2509 0 0 0 305 1 0 0 25 0 1 0 181987521 6881280 1249 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 0 0 0 /proc/2394/statm: 1680 1249 133 292 0 1385 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 6720 [startup+6.30123 s] /proc/loadavg: 0.85 0.95 0.98 2/65 2395 /proc/meminfo: memFree=1860768/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=13916 CPUtime=6.21 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 5625 0 0 0 618 3 0 0 25 0 1 0 181987521 14249984 3014 1992294400 134512640 135709839 4294956240 18446744073709551615 134585798 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 3479 3014 134 292 0 3184 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 13916 [startup+12.7019 s] /proc/loadavg: 0.87 0.95 0.98 2/65 2395 /proc/meminfo: memFree=1850856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=20896 CPUtime=12.6 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 7408 0 0 0 1244 16 0 0 25 0 1 0 181987521 21397504 4760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 5224 4760 136 292 0 4929 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 20896 [startup+25.5014 s] /proc/loadavg: 0.89 0.95 0.98 2/65 2395 /proc/meminfo: memFree=1829288/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=42844 CPUtime=25.4 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 12888 0 0 0 2508 32 0 0 25 0 1 0 181987521 43872256 10240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 10711 10240 136 292 0 10416 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 42844 [startup+51.1012 s] /proc/loadavg: 0.93 0.96 0.98 2/65 2395 /proc/meminfo: memFree=1804392/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=68132 CPUtime=50.98 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 19274 0 0 0 5021 77 0 0 25 0 1 0 181987521 69767168 16587 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 17033 16587 136 292 0 16738 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 68132 [startup+102.302 s] /proc/loadavg: 0.97 0.96 0.98 2/65 2395 /proc/meminfo: memFree=1707368/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=164056 CPUtime=102.18 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 43264 0 0 0 10082 136 0 0 25 0 1 0 181987521 167993344 40577 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 41014 40577 136 292 0 40719 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 164056 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1621864/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=250004 CPUtime=162.15 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 64740 0 0 0 16018 197 0 0 25 0 1 0 181987521 256004096 62053 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 62501 62053 136 292 0 62206 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 250004 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1553832/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=317512 CPUtime=222.14 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 81581 0 0 0 21970 244 0 0 25 0 1 0 181987521 325132288 78894 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 79378 78894 136 292 0 79083 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 317512 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1480680/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=391052 CPUtime=282.12 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 99965 0 0 0 27912 300 0 0 25 0 1 0 181987521 400437248 97278 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 97763 97278 136 292 0 97468 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 391052 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1409704/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=461532 CPUtime=342.11 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 117585 0 0 0 33855 356 0 0 25 0 1 0 181987521 472608768 114898 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 115383 114898 136 292 0 115088 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 461532 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1346408/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=524832 CPUtime=402.09 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 133394 0 0 0 39812 397 0 0 25 0 1 0 181987521 537427968 130707 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 131208 130707 136 292 0 130913 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 524832 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1272552/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=598536 CPUtime=462.07 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 151790 0 0 0 45764 443 0 0 25 0 1 0 181987521 612900864 149103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 149634 149103 136 292 0 149339 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 598536 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1200296/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=671036 CPUtime=522.05 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 169922 0 0 0 51712 493 0 0 25 0 1 0 181987521 687140864 167235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 167759 167235 136 292 0 167464 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 671036 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1130664/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=740208 CPUtime=582.04 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 187200 0 0 0 57664 540 0 0 25 0 1 0 181987521 757972992 184513 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 185052 184513 136 292 0 184757 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 740208 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1069672/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=801716 CPUtime=642.02 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 202569 0 0 0 63629 573 0 0 25 0 1 0 181987521 820957184 199882 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 200429 199882 136 292 0 200134 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 801716 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=1009448/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=861388 CPUtime=702 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 217453 0 0 0 69591 609 0 0 25 0 1 0 181987521 882061312 214766 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 215347 214766 136 292 0 215052 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 861388 [startup+762.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=940264/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=929764 CPUtime=761.99 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 234559 0 0 0 75539 660 0 0 25 0 1 0 181987521 952078336 231872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 232441 231872 136 292 0 232146 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 929764 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=873448/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=997240 CPUtime=821.96 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 251383 0 0 0 81489 707 0 0 25 0 1 0 181987521 1021173760 248696 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 249310 248696 136 292 0 249015 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 997240 [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=817768/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1052440 CPUtime=881.95 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 265178 0 0 0 87452 743 0 0 25 0 1 0 181987521 1077698560 262491 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 263110 262491 136 292 0 262815 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 1052440 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=763048/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1107316 CPUtime=941.93 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 278870 0 0 0 93410 783 0 0 25 0 1 0 181987521 1133891584 276183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 276829 276183 136 292 0 276534 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1107316 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=702824/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1167256 CPUtime=1001.91 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 293859 0 0 0 99363 828 0 0 25 0 1 0 181987521 1195270144 291172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 291814 291172 136 292 0 291519 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 1167256 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=637544/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1233004 CPUtime=1061.89 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 310312 0 0 0 105318 871 0 0 25 0 1 0 181987521 1262596096 307625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 308251 307625 136 292 0 307956 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 1233004 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=578536/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1291432 CPUtime=1121.88 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 324879 0 0 0 111287 901 0 0 25 0 1 0 181987521 1322426368 322192 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 322858 322192 136 292 0 322563 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1291432 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=509544/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1360816 CPUtime=1181.86 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 342252 0 0 0 117245 941 0 0 25 0 1 0 181987521 1393475584 339565 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 340204 339565 136 292 0 339909 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1360816 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=441896/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1427560 CPUtime=1241.84 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 358932 0 0 0 123201 983 0 0 25 0 1 0 181987521 1461821440 356245 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 356890 356245 136 292 0 356595 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1427560 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=383016/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1487040 CPUtime=1301.82 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 373787 0 0 0 129161 1021 0 0 25 0 1 0 181987521 1522728960 371100 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 371760 371100 136 292 0 371465 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1487040 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=314856/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1554524 CPUtime=1361.81 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 390644 0 0 0 135113 1068 0 0 25 0 1 0 181987521 1591832576 387957 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 388631 387957 136 292 0 388336 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1554524 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=258216/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1610576 CPUtime=1421.8 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 404655 0 0 0 141076 1104 0 0 25 0 1 0 181987521 1649229824 401968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 402644 401968 136 292 0 402349 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1610576 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=195560/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1673732 CPUtime=1481.77 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 420410 0 0 0 147039 1138 0 0 25 0 1 0 181987521 1713901568 417723 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 418433 417723 136 292 0 418138 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1673732 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=132328/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1736412 CPUtime=1541.75 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 436087 0 0 0 152998 1177 0 0 25 0 1 0 181987521 1778085888 433400 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 434103 433400 136 292 0 433808 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1736412 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=79400/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1790128 CPUtime=1601.74 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 449452 0 0 0 158966 1208 0 0 25 0 1 0 181987521 1833091072 446765 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 447532 446765 136 292 0 447237 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1790128 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1652.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=25256/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=1843324 CPUtime=1652.12 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 462758 0 0 0 163974 1238 0 0 25 0 1 0 181987521 1887563776 460071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 460831 460071 136 292 0 460536 0 Current children cumulated CPU time (s) 1652.12 Current children cumulated vsize (KiB) 1843324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1652.9 s] /proc/loadavg: 0.99 0.97 0.98 2/65 2395 /proc/meminfo: memFree=25256/2055920 swapFree=4191900/4192956 [pid=2394] ppid=2392 vsize=0 CPUtime=1652.32 /proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4195332 462758 0 0 0 163974 1258 0 0 25 0 1 0 181987521 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2394/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1652.32 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1652.99 CPU time (s): 1652.41 CPU user time (s): 1639.74 CPU system time (s): 12.6691 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 1843324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1639.74 system time used= 12.6691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462758 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= 5027 runsolver used 1.23581 second user time and 3.48647 second system time The end
Begin job on node9 at 2009-06-16 11:17:48 IDJOB=1875588 IDBENCH=1982 IDSOLVER=698 FILE ID=node9/1875588-1245143868 PBS_JOBID= 9363758 Free space on /tmp= 66160 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.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-1875588-1245143868/watcher-1875588-1245143868 -o /tmp/evaluation-result-1875588-1245143868/solver-1875588-1245143868 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875588-1245143868.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e9984c89af246abdf2b2a4294753ea30 RANDOM SEED=1901365784 node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1870400 kB Buffers: 25952 kB Cached: 93944 kB SwapCached: 260 kB Active: 17364 kB Inactive: 115184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870400 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2644 kB Writeback: 0 kB Mapped: 21852 kB Slab: 39080 kB Committed_AS: 154272 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875588-1245143868.opb Free space on /tmp at the end= 66160 MiB End job on node9 at 2009-06-16 11:45:23