Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1359.35 | 1360.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb |
MD5SUM | 810966efbb409d6e2e91a116be6e9263 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1052 |
Best CPU time to get the best result obtained on this benchmark | 1798.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1038 |
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-1875586-1245145120.opb. 0.00/0.00 c Instance file HOME/instance-1875586-1245145120.opb 0.00/0.00 c File size is 112222 bytes. 0.00/0.01 c Highest Coefficient sum: 3 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1963 | 0.00/0.01 c | Number Clauses: 5963 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.027995 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.031995 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.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #7 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.04 c Elapsed CPU time: 0.038994 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.042993 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.045993 s Remaining CPU time: 1799.95 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.049992 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.052991 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.056991 s Remaining CPU time: 1799.94 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.06099 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.06399 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.067989 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.070989 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.074988 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.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #19 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 19 0.07/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #20 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 20 0.07/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #21 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 21 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #22 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 22 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #23 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 23 0.07/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #24 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 24 0.09/0.10 c Elapsed CPU time: 0.099984 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.103984 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.107983 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.110983 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.114982 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.118981 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.121981 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.12598 s Remaining CPU time: 1799.87 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.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #33 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 33 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #34 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 34 0.09/0.13 c Elapsed CPU time: 0.136979 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.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #36 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 36 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #37 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 37 0.09/0.14 c Elapsed CPU time: 0.147977 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.151976 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.155976 s Remaining CPU time: 1799.84 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.158975 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.162975 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.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #43 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 43 0.09/0.17 c Elapsed CPU time: 0.169974 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.173973 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.177972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #46 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 46 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #47 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.18 c Elapsed CPU time: 0.184971 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.188971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #49 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 49 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #50 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 50 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.09/0.20 c core #51 0.09/0.20 c Core size: 3 Core Weight: 1 Total Weight: 51 0.09/0.20 c Elapsed CPU time: 0.199969 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.203968 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.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #54 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 54 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #55 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #56 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.22 c Elapsed CPU time: 0.218966 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.222966 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.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #59 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 59 0.19/0.23 c Elapsed CPU time: 0.230964 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.234964 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.238963 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.242963 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.246962 s Remaining CPU time: 1799.75 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.250961 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.254961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #66 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 66 0.19/0.25 c Elapsed CPU time: 0.25896 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.26296 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.265959 s Remaining CPU time: 1799.73 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.269958 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.273958 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.277957 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.281957 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.285956 s Remaining CPU time: 1799.71 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.289955 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.293955 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.297954 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.301954 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.305953 s Remaining CPU time: 1799.69 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.309952 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.313952 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.317951 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.321951 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.32595 s Remaining CPU time: 1799.67 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.329949 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.333949 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.337948 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.341948 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.345947 s Remaining CPU time: 1799.65 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.349946 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.353946 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.357945 s Remaining CPU time: 1799.64 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.361944 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.365944 s Remaining CPU time: 1799.63 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.370943 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.374943 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.378942 s Remaining CPU time: 1799.62 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.382941 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.386941 s Remaining CPU time: 1799.61 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.39094 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.394939 s Remaining CPU time: 1799.61 s 0.29/0.40 c core #101 0.29/0.40 c Core size: 3 Core Weight: 1 Total Weight: 101 0.29/0.40 c Elapsed CPU time: 0.398939 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.403938 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #103 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 103 0.39/0.40 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 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.410937 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.415936 s Remaining CPU time: 1799.58 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.419936 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.423935 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.427934 s Remaining CPU time: 1799.57 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.431934 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.435933 s Remaining CPU time: 1799.56 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.439933 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.443932 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.447931 s Remaining CPU time: 1799.55 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.452931 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.45693 s Remaining CPU time: 1799.54 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.460929 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.464929 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.468928 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.472928 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.477927 s Remaining CPU time: 1799.52 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.481926 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.485926 s Remaining CPU time: 1799.51 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.489925 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.494924 s Remaining CPU time: 1799.51 s 0.39/0.50 c core #125 0.39/0.50 c Core size: 3 Core Weight: 1 Total Weight: 125 0.39/0.50 c Elapsed CPU time: 0.498924 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.502923 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.506922 s Remaining CPU time: 1799.49 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.511922 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.515921 s Remaining CPU time: 1799.48 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.51992 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.52392 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.528919 s Remaining CPU time: 1799.47 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.532918 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.536918 s Remaining CPU time: 1799.46 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.540917 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.545917 s Remaining CPU time: 1799.45 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.549916 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.554915 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.558915 s Remaining CPU time: 1799.44 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.562914 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.566913 s Remaining CPU time: 1799.43 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.571913 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.575912 s Remaining CPU time: 1799.42 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.579911 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.583911 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.58891 s Remaining CPU time: 1799.41 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.592909 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.597909 s Remaining CPU time: 1799.4 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.601908 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.605907 s Remaining CPU time: 1799.39 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.609907 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.614906 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.618905 s Remaining CPU time: 1799.38 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.622905 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.627904 s Remaining CPU time: 1799.37 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.631903 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.635903 s Remaining CPU time: 1799.36 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.640902 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.644901 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.649901 s Remaining CPU time: 1799.35 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.6539 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.657899 s Remaining CPU time: 1799.34 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.661899 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.666898 s Remaining CPU time: 1799.33 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.670898 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.675897 s Remaining CPU time: 1799.32 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.679896 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.684895 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.688895 s Remaining CPU time: 1799.31 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.693894 s Remaining CPU time: 1799.31 s 0.59/0.70 c core #171 0.59/0.70 c Core size: 3 Core Weight: 1 Total Weight: 171 0.59/0.70 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 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.702893 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.706892 s Remaining CPU time: 1799.29 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.711891 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.715891 s Remaining CPU time: 1799.28 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.72089 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.724889 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.729889 s Remaining CPU time: 1799.27 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.733888 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.738887 s Remaining CPU time: 1799.26 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.742887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #182 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 182 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 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.751885 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.755885 s Remaining CPU time: 1799.24 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.760884 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.765883 s Remaining CPU time: 1799.23 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.769882 s Remaining CPU time: 1799.23 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.774882 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.778881 s Remaining CPU time: 1799.22 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.78388 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.78788 s Remaining CPU time: 1799.21 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.792879 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.796878 s Remaining CPU time: 1799.2 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.801878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #195 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 195 0.79/0.81 c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 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.811876 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.815875 s Remaining CPU time: 1799.18 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.820875 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.824874 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.829873 s Remaining CPU time: 1799.17 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.834873 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.839872 s Remaining CPU time: 1799.16 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.843871 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.84887 s Remaining CPU time: 1799.15 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.85287 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.857869 s Remaining CPU time: 1799.14 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.861868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #208 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 208 0.79/0.87 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 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.870867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #210 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 210 0.79/0.88 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 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.879866 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.884865 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.889864 s Remaining CPU time: 1799.11 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.894863 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.898863 s Remaining CPU time: 1799.1 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.904862 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.908861 s Remaining CPU time: 1799.09 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.913861 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.91886 s Remaining CPU time: 1799.08 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.923859 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.927858 s Remaining CPU time: 1799.07 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.932858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #223 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 223 0.89/0.94 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 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.942856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #225 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 225 0.89/0.95 c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 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.952855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #227 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 227 0.89/0.96 c Elapsed CPU time: 0.957854 s Remaining CPU time: 1799.04 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.962853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #229 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 229 0.89/0.97 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 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.972852 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #231 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 231 0.89/0.98 c Elapsed CPU time: 0.976851 s Remaining CPU time: 1799.02 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.98185 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #233 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 233 0.89/0.99 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 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.991849 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #235 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 235 0.89/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 1.00/1.00 c core #236 1.00/1.00 c Core size: 3 Core Weight: 1 Total Weight: 236 1.00/1.00 c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s 1.00/1.01 c core #237 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: 237 1.00/1.01 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 1.00/1.01 c core #238 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: 238 1.00/1.01 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #239 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: 239 1.00/1.02 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 1.00/1.02 c core #240 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: 240 1.00/1.02 c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #241 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: 241 1.00/1.03 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 1.00/1.03 c core #242 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: 242 1.00/1.03 c Elapsed CPU time: 1.03184 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #243 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: 243 1.00/1.04 c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s 1.00/1.04 c core #244 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: 244 1.00/1.04 c Elapsed CPU time: 1.04184 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #245 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: 245 1.00/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 1.00/1.05 c core #246 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: 246 1.00/1.05 c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #247 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: 247 1.00/1.06 c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s 1.00/1.06 c core #248 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: 248 1.00/1.06 c Elapsed CPU time: 1.06184 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #249 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: 249 1.00/1.07 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 1.00/1.07 c core #250 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: 250 1.00/1.07 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #251 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: 251 1.00/1.08 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 1.00/1.08 c core #252 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: 252 1.00/1.08 c Elapsed CPU time: 1.08184 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #253 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: 253 1.00/1.09 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 1.00/1.09 c core #254 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: 254 1.00/1.09 c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s 1.00/1.10 c core #255 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: 255 1.00/1.10 c Elapsed CPU time: 1.09683 s Remaining CPU time: 1798.9 s 1.10/1.10 c core #256 1.10/1.10 c Core size: 3 Core Weight: 1 Total Weight: 256 1.10/1.10 c Elapsed CPU time: 1.10183 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #257 1.10/1.11 c Core size: 3 Core Weight: 1 Total Weight: 257 1.10/1.11 c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s 1.10/1.11 c core #258 1.10/1.11 c Core size: 3 Core Weight: 1 Total Weight: 258 1.10/1.11 c Elapsed CPU time: 1.11183 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #259 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: 259 1.10/1.12 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.10/1.12 c core #260 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: 260 1.10/1.12 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #261 1.10/1.13 c Core size: 3 Core Weight: 1 Total Weight: 261 1.10/1.13 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.10/1.13 c core #262 1.10/1.13 c Core size: 3 Core Weight: 1 Total Weight: 262 1.10/1.13 c Elapsed CPU time: 1.13183 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #263 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: 263 1.10/1.14 c Elapsed CPU time: 1.13683 s Remaining CPU time: 1798.86 s 1.10/1.14 c core #264 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: 264 1.10/1.14 c Elapsed CPU time: 1.14183 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #265 1.10/1.15 c Core size: 3 Core Weight: 1 Total Weight: 265 1.10/1.15 c Elapsed CPU time: 1.14682 s Remaining CPU time: 1798.85 s 1.10/1.15 c core #266 1.10/1.15 c Core size: 3 Core Weight: 1 Total Weight: 266 1.10/1.15 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #267 1.10/1.16 c Core size: 3 Core Weight: 1 Total Weight: 267 1.10/1.16 c Elapsed CPU time: 1.15782 s Remaining CPU time: 1798.84 s 1.10/1.16 c core #268 1.10/1.16 c Core size: 3 Core Weight: 1 Total Weight: 268 1.10/1.16 c Elapsed CPU time: 1.16282 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #269 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: 269 1.10/1.17 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.10/1.17 c core #270 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: 270 1.10/1.17 c Elapsed CPU time: 1.17282 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #271 1.10/1.18 c Core size: 3 Core Weight: 1 Total Weight: 271 1.10/1.18 c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s 1.10/1.18 c core #272 1.10/1.18 c Core size: 3 Core Weight: 1 Total Weight: 272 1.10/1.18 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #273 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: 273 1.10/1.19 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.10/1.19 c core #274 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: 274 1.10/1.19 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #275 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: 275 1.19/1.20 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 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.20382 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.20882 s Remaining CPU time: 1798.79 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.21382 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.21881 s Remaining CPU time: 1798.78 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.22481 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.22981 s Remaining CPU time: 1798.77 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.23 c Elapsed CPU time: 1.23381 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.23981 s Remaining CPU time: 1798.76 s 1.19/1.24 c core #284 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 284 1.19/1.24 c Elapsed CPU time: 1.24481 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.24981 s Remaining CPU time: 1798.75 s 1.19/1.25 c core #286 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 286 1.19/1.25 c Elapsed CPU time: 1.25481 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.26081 s Remaining CPU time: 1798.74 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.26581 s Remaining CPU time: 1798.73 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.27081 s Remaining CPU time: 1798.73 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.27581 s Remaining CPU time: 1798.72 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.2808 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.2858 s Remaining CPU time: 1798.71 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.2918 s Remaining CPU time: 1798.71 s 1.19/1.30 c core #294 1.19/1.30 c Core size: 3 Core Weight: 1 Total Weight: 294 1.19/1.30 c Elapsed CPU time: 1.2968 s Remaining CPU time: 1798.7 s 1.29/1.30 c core #295 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: 295 1.29/1.30 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #296 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: 296 1.29/1.31 c Elapsed CPU time: 1.3068 s Remaining CPU time: 1798.69 s 1.29/1.31 c core #297 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: 297 1.29/1.31 c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #298 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: 298 1.29/1.32 c Elapsed CPU time: 1.3168 s Remaining CPU time: 1798.68 s 1.29/1.32 c core #299 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: 299 1.29/1.32 c Elapsed CPU time: 1.3218 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #300 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: 300 1.29/1.33 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.29/1.33 c core #301 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: 301 1.29/1.33 c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #302 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: 302 1.29/1.34 c Elapsed CPU time: 1.3378 s Remaining CPU time: 1798.66 s 1.29/1.34 c core #303 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: 303 1.29/1.34 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #304 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: 304 1.29/1.35 c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s 1.29/1.35 c core #305 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: 305 1.29/1.35 c Elapsed CPU time: 1.35279 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #306 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: 306 1.29/1.36 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.29/1.36 c core #307 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: 307 1.29/1.36 c Elapsed CPU time: 1.36379 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #308 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: 308 1.29/1.37 c Elapsed CPU time: 1.36879 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #309 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: 309 1.29/1.38 c Elapsed CPU time: 1.37479 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #310 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: 310 1.29/1.38 c Elapsed CPU time: 1.37979 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #311 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: 311 1.29/1.39 c Elapsed CPU time: 1.38479 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #312 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: 312 1.29/1.39 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.29/1.40 c core #313 1.29/1.40 c Core size: 3 Core Weight: 1 Total Weight: 313 1.29/1.40 c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s 1.39/1.40 c core #314 1.39/1.40 c Core size: 3 Core Weight: 1 Total Weight: 314 1.39/1.40 c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s 1.39/1.41 c core #315 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: 315 1.39/1.41 c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s 1.39/1.41 c core #316 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: 316 1.39/1.41 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #317 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: 317 1.39/1.42 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.39/1.42 c core #318 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: 318 1.39/1.42 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #319 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: 319 1.39/1.43 c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s 1.39/1.43 c core #320 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: 320 1.39/1.43 c Elapsed CPU time: 1.43278 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #321 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 321 1.39/1.44 c Elapsed CPU time: 1.43778 s Remaining CPU time: 1798.56 s 1.39/1.44 c core #322 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 322 1.39/1.44 c Elapsed CPU time: 1.44378 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #323 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: 323 1.39/1.45 c Elapsed CPU time: 1.44878 s Remaining CPU time: 1798.55 s 1.39/1.45 c core #324 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: 324 1.39/1.45 c Elapsed CPU time: 1.45378 s Remaining CPU time: 1798.55 s 1.39/1.46 c core #325 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: 325 1.39/1.46 c Elapsed CPU time: 1.45978 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #326 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: 326 1.39/1.47 c Elapsed CPU time: 1.46478 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #327 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: 327 1.39/1.47 c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #328 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: 328 1.39/1.48 c Elapsed CPU time: 1.47578 s Remaining CPU time: 1798.52 s 1.39/1.48 c core #329 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: 329 1.39/1.48 c Elapsed CPU time: 1.48077 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #330 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: 330 1.39/1.49 c Elapsed CPU time: 1.48677 s Remaining CPU time: 1798.51 s 1.39/1.49 c core #331 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: 331 1.39/1.49 c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s 1.49/1.50 c core #332 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: 332 1.49/1.50 c Elapsed CPU time: 1.49777 s Remaining CPU time: 1798.5 s 1.49/1.50 c core #333 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: 333 1.49/1.50 c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s 1.49/1.51 c core #334 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: 334 1.49/1.51 c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s 1.49/1.51 c core #335 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: 335 1.49/1.51 c Elapsed CPU time: 1.51377 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #336 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: 336 1.49/1.52 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #337 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: 337 1.49/1.53 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #338 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: 338 1.49/1.53 c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s 1.49/1.54 c core #339 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: 339 1.49/1.54 c Elapsed CPU time: 1.53577 s Remaining CPU time: 1798.46 s 1.49/1.54 c core #340 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: 340 1.49/1.54 c Elapsed CPU time: 1.54076 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #341 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: 341 1.49/1.55 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #342 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: 342 1.49/1.55 c Elapsed CPU time: 1.55076 s Remaining CPU time: 1798.45 s 1.49/1.56 c core #343 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: 343 1.49/1.56 c Elapsed CPU time: 1.55576 s Remaining CPU time: 1798.44 s 1.49/1.56 c core #344 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: 344 1.49/1.56 c Elapsed CPU time: 1.56176 s Remaining CPU time: 1798.44 s 1.49/1.57 c core #345 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: 345 1.49/1.57 c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s 1.49/1.57 c core #346 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: 346 1.49/1.57 c Elapsed CPU time: 1.57176 s Remaining CPU time: 1798.43 s 1.49/1.58 c core #347 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: 347 1.49/1.58 c Elapsed CPU time: 1.57676 s Remaining CPU time: 1798.42 s 1.49/1.58 c core #348 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: 348 1.49/1.58 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.49/1.59 c core #349 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: 349 1.49/1.59 c Elapsed CPU time: 1.58776 s Remaining CPU time: 1798.41 s 1.49/1.60 c core #350 1.49/1.60 c Core size: 3 Core Weight: 1 Total Weight: 350 1.49/1.60 c Elapsed CPU time: 1.59376 s Remaining CPU time: 1798.41 s 1.59/1.60 c core #351 1.59/1.60 c Core size: 3 Core Weight: 1 Total Weight: 351 1.59/1.60 c Elapsed CPU time: 1.59876 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #352 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: 352 1.59/1.61 c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #353 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: 353 1.59/1.61 c Elapsed CPU time: 1.60976 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #354 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: 354 1.59/1.62 c Elapsed CPU time: 1.61475 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #355 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: 355 1.59/1.62 c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s 1.59/1.63 c core #356 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: 356 1.59/1.63 c Elapsed CPU time: 1.62575 s Remaining CPU time: 1798.37 s 1.59/1.63 c core #357 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: 357 1.59/1.63 c Elapsed CPU time: 1.63075 s Remaining CPU time: 1798.37 s 1.59/1.64 c core #358 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: 358 1.59/1.64 c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s 1.59/1.64 c core #359 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: 359 1.59/1.64 c Elapsed CPU time: 1.64175 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #360 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: 360 1.59/1.65 c Elapsed CPU time: 1.64675 s Remaining CPU time: 1798.35 s 1.59/1.65 c core #361 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: 361 1.59/1.65 c Elapsed CPU time: 1.65175 s Remaining CPU time: 1798.35 s 1.59/1.66 c core #362 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: 362 1.59/1.66 c Elapsed CPU time: 1.65675 s Remaining CPU time: 1798.34 s 1.59/1.66 c core #363 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: 363 1.59/1.66 c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s 1.59/1.67 c core #364 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: 364 1.59/1.67 c Elapsed CPU time: 1.66775 s Remaining CPU time: 1798.33 s 1.59/1.68 c core #365 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: 365 1.59/1.68 c Elapsed CPU time: 1.67274 s Remaining CPU time: 1798.33 s 1.59/1.68 c core #366 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: 366 1.59/1.68 c Elapsed CPU time: 1.67874 s Remaining CPU time: 1798.32 s 1.59/1.69 c core #367 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: 367 1.59/1.69 c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s 1.59/1.69 c core #368 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: 368 1.59/1.69 c Elapsed CPU time: 1.68874 s Remaining CPU time: 1798.31 s 1.69/1.70 c core #369 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: 369 1.69/1.70 c Elapsed CPU time: 1.69374 s Remaining CPU time: 1798.31 s 1.69/1.70 c core #370 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: 370 1.69/1.70 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.69/1.71 c core #371 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: 371 1.69/1.71 c Elapsed CPU time: 1.70374 s Remaining CPU time: 1798.3 s 1.69/1.71 c core #372 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: 372 1.69/1.71 c Elapsed CPU time: 1.70974 s Remaining CPU time: 1798.29 s 1.69/1.72 c core #373 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: 373 1.69/1.72 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #374 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: 374 1.69/1.73 c Elapsed CPU time: 1.71974 s Remaining CPU time: 1798.28 s 1.69/1.73 c core #375 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: 375 1.69/1.73 c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #376 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: 376 1.69/1.74 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.69/1.74 c core #377 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: 377 1.69/1.74 c Elapsed CPU time: 1.73673 s Remaining CPU time: 1798.26 s 1.69/1.75 c core #378 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: 378 1.69/1.75 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.69/1.75 c core #379 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: 379 1.69/1.75 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.69/1.76 c core #380 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: 380 1.69/1.76 c Elapsed CPU time: 1.75273 s Remaining CPU time: 1798.25 s 1.69/1.76 c core #381 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: 381 1.69/1.76 c Elapsed CPU time: 1.75873 s Remaining CPU time: 1798.24 s 1.69/1.77 c core #382 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: 382 1.69/1.77 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #383 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: 383 1.69/1.78 c Elapsed CPU time: 1.76973 s Remaining CPU time: 1798.23 s 1.69/1.78 c core #384 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: 384 1.69/1.78 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.69/1.79 c core #385 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: 385 1.69/1.79 c Elapsed CPU time: 1.78073 s Remaining CPU time: 1798.22 s 1.69/1.79 c core #386 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: 386 1.69/1.79 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #387 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: 387 1.79/1.80 c Elapsed CPU time: 1.79173 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #388 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: 388 1.79/1.80 c Elapsed CPU time: 1.79773 s Remaining CPU time: 1798.2 s 1.79/1.81 c core #389 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: 389 1.79/1.81 c Elapsed CPU time: 1.80173 s Remaining CPU time: 1798.2 s 1.79/1.81 c core #390 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: 390 1.79/1.81 c Elapsed CPU time: 1.80773 s Remaining CPU time: 1798.19 s 1.79/1.82 c core #391 1.79/1.82 c Core size: 3 Core Weight: 1 Total Weight: 391 1.79/1.82 c Elapsed CPU time: 1.81372 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #392 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: 392 1.79/1.83 c Elapsed CPU time: 1.81872 s Remaining CPU time: 1798.18 s 1.79/1.83 c core #393 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: 393 1.79/1.83 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #394 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: 394 1.79/1.84 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.79/1.84 c core #395 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: 395 1.79/1.84 c Elapsed CPU time: 1.83572 s Remaining CPU time: 1798.16 s 1.79/1.85 c core #396 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: 396 1.79/1.85 c Elapsed CPU time: 1.84172 s Remaining CPU time: 1798.16 s 1.79/1.85 c core #397 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: 397 1.79/1.85 c Elapsed CPU time: 1.84672 s Remaining CPU time: 1798.15 s 1.79/1.86 c core #398 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: 398 1.79/1.86 c Elapsed CPU time: 1.85272 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #399 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: 399 1.79/1.87 c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s 1.79/1.87 c core #400 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: 400 1.79/1.87 c Elapsed CPU time: 1.86372 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #401 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: 401 1.79/1.88 c Elapsed CPU time: 1.86972 s Remaining CPU time: 1798.13 s 1.79/1.88 c core #402 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: 402 1.79/1.88 c Elapsed CPU time: 1.87571 s Remaining CPU time: 1798.12 s 1.79/1.89 c core #403 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: 403 1.79/1.89 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.79/1.89 c core #404 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: 404 1.79/1.89 c Elapsed CPU time: 1.88671 s Remaining CPU time: 1798.11 s 1.89/1.90 c core #405 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: 405 1.89/1.90 c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s 1.89/1.90 c core #406 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: 406 1.89/1.90 c Elapsed CPU time: 1.89771 s Remaining CPU time: 1798.1 s 1.89/1.91 c core #407 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: 407 1.89/1.91 c Elapsed CPU time: 1.90371 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #408 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: 408 1.89/1.92 c Elapsed CPU time: 1.90971 s Remaining CPU time: 1798.09 s 1.89/1.92 c core #409 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: 409 1.89/1.92 c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s 1.89/1.93 c core #410 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: 410 1.89/1.93 c Elapsed CPU time: 1.92071 s Remaining CPU time: 1798.08 s 1.89/1.93 c core #411 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: 411 1.89/1.93 c Elapsed CPU time: 1.92671 s Remaining CPU time: 1798.07 s 1.89/1.94 c core #412 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: 412 1.89/1.94 c Elapsed CPU time: 1.93271 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #413 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: 413 1.89/1.95 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.89/1.95 c core #414 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: 414 1.89/1.95 c Elapsed CPU time: 1.9437 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #415 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: 415 1.89/1.96 c Elapsed CPU time: 1.9497 s Remaining CPU time: 1798.05 s 1.89/1.96 c core #416 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: 416 1.89/1.96 c Elapsed CPU time: 1.9557 s Remaining CPU time: 1798.04 s 1.89/1.97 c core #417 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: 417 1.89/1.97 c Elapsed CPU time: 1.9617 s Remaining CPU time: 1798.04 s 1.89/1.97 c core #418 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: 418 1.89/1.97 c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s 1.89/1.98 c core #419 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: 419 1.89/1.98 c Elapsed CPU time: 1.9727 s Remaining CPU time: 1798.03 s 1.89/1.99 c core #420 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: 420 1.89/1.99 c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #421 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: 421 1.89/1.99 c Elapsed CPU time: 1.9847 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #422 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: 422 1.99/2.00 c Elapsed CPU time: 1.9907 s Remaining CPU time: 1798.01 s 1.99/2.00 c core #423 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: 423 1.99/2.00 c Elapsed CPU time: 1.9967 s Remaining CPU time: 1798 s 1.99/2.01 c core #424 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: 424 1.99/2.01 c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s 1.99/2.01 c core #425 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: 425 1.99/2.01 c Elapsed CPU time: 2.00769 s Remaining CPU time: 1797.99 s 1.99/2.02 c core #426 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: 426 1.99/2.02 c Elapsed CPU time: 2.01369 s Remaining CPU time: 1797.99 s 1.99/2.03 c core #427 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: 427 1.99/2.03 c Elapsed CPU time: 2.01969 s Remaining CPU time: 1797.98 s 1.99/2.03 c core #428 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: 428 1.99/2.03 c Elapsed CPU time: 2.02569 s Remaining CPU time: 1797.97 s 1.99/2.04 c core #429 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: 429 1.99/2.04 c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s 1.99/2.04 c core #430 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: 430 1.99/2.04 c Elapsed CPU time: 2.03669 s Remaining CPU time: 1797.96 s 1.99/2.05 c core #431 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: 431 1.99/2.05 c Elapsed CPU time: 2.04269 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #432 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: 432 1.99/2.06 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 1.99/2.06 c core #433 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: 433 1.99/2.06 c Elapsed CPU time: 2.05469 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #434 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: 434 1.99/2.07 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 1.99/2.07 c core #435 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: 435 1.99/2.07 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 1.99/2.08 c core #436 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: 436 1.99/2.08 c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s 1.99/2.08 c core #437 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: 437 1.99/2.08 c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s 1.99/2.09 c core #438 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: 438 1.99/2.09 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 1.99/2.10 c core #439 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: 439 1.99/2.10 c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s 2.10/2.10 c core #440 2.10/2.10 c Core size: 3 Core Weight: 1 Total Weight: 440 2.10/2.10 c Elapsed CPU time: 2.09568 s Remaining CPU time: 1797.9 s 2.10/2.11 c core #441 2.10/2.11 c Core size: 3 Core Weight: 1 Total Weight: 441 2.10/2.11 c Elapsed CPU time: 2.10168 s Remaining CPU time: 1797.9 s 2.10/2.11 c core #442 2.10/2.11 c Core size: 3 Core Weight: 1 Total Weight: 442 2.10/2.11 c Elapsed CPU time: 2.10668 s Remaining CPU time: 1797.89 s 2.10/2.12 c core #443 2.10/2.12 c Core size: 3 Core Weight: 1 Total Weight: 443 2.10/2.12 c Elapsed CPU time: 2.11268 s Remaining CPU time: 1797.89 s 2.10/2.13 c core #444 2.10/2.13 c Core size: 3 Core Weight: 1 Total Weight: 444 2.10/2.13 c Elapsed CPU time: 2.11868 s Remaining CPU time: 1797.88 s 2.10/2.13 c core #445 2.10/2.13 c Core size: 3 Core Weight: 1 Total Weight: 445 2.10/2.13 c Elapsed CPU time: 2.12468 s Remaining CPU time: 1797.88 s 2.10/2.14 c core #446 2.10/2.14 c Core size: 3 Core Weight: 1 Total Weight: 446 2.10/2.14 c Elapsed CPU time: 2.13068 s Remaining CPU time: 1797.87 s 2.10/2.14 c core #447 2.10/2.14 c Core size: 3 Core Weight: 1 Total Weight: 447 2.10/2.14 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.10/2.15 c core #448 2.10/2.15 c Core size: 3 Core Weight: 1 Total Weight: 448 2.10/2.15 c Elapsed CPU time: 2.14167 s Remaining CPU time: 1797.86 s 2.10/2.16 c core #449 2.10/2.16 c Core size: 3 Core Weight: 1 Total Weight: 449 2.10/2.16 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.10/2.16 c core #450 2.10/2.16 c Core size: 3 Core Weight: 1 Total Weight: 450 2.10/2.16 c Elapsed CPU time: 2.15267 s Remaining CPU time: 1797.85 s 2.10/2.17 c core #451 2.10/2.17 c Core size: 3 Core Weight: 1 Total Weight: 451 2.10/2.17 c Elapsed CPU time: 2.15867 s Remaining CPU time: 1797.84 s 2.10/2.17 c core #452 2.10/2.17 c Core size: 3 Core Weight: 1 Total Weight: 452 2.10/2.17 c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s 2.10/2.18 c core #453 2.10/2.18 c Core size: 3 Core Weight: 1 Total Weight: 453 2.10/2.18 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.10/2.19 c core #454 2.10/2.19 c Core size: 3 Core Weight: 1 Total Weight: 454 2.10/2.19 c Elapsed CPU time: 2.17667 s Remaining CPU time: 1797.82 s 2.10/2.19 c core #455 2.10/2.19 c Core size: 3 Core Weight: 1 Total Weight: 455 2.10/2.19 c Elapsed CPU time: 2.18267 s Remaining CPU time: 1797.82 s 2.10/2.20 c core #456 2.10/2.20 c Core size: 3 Core Weight: 1 Total Weight: 456 2.10/2.20 c Elapsed CPU time: 2.18867 s Remaining CPU time: 1797.81 s 2.20/2.20 c core #457 2.20/2.20 c Core size: 3 Core Weight: 1 Total Weight: 457 2.20/2.20 c Elapsed CPU time: 2.19467 s Remaining CPU time: 1797.81 s 2.20/2.21 c core #458 2.20/2.21 c Core size: 3 Core Weight: 1 Total Weight: 458 2.20/2.21 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.20/2.22 c core #459 2.20/2.22 c Core size: 3 Core Weight: 1 Total Weight: 459 2.20/2.22 c Elapsed CPU time: 2.20666 s Remaining CPU time: 1797.79 s 2.20/2.22 c core #460 2.20/2.22 c Core size: 3 Core Weight: 1 Total Weight: 460 2.20/2.22 c Elapsed CPU time: 2.21266 s Remaining CPU time: 1797.79 s 2.20/2.23 c core #461 2.20/2.23 c Core size: 3 Core Weight: 1 Total Weight: 461 2.20/2.23 c Elapsed CPU time: 2.21866 s Remaining CPU time: 1797.78 s 2.20/2.23 c core #462 2.20/2.23 c Core size: 3 Core Weight: 1 Total Weight: 462 2.20/2.23 c Elapsed CPU time: 2.22466 s Remaining CPU time: 1797.78 s 2.20/2.24 c core #463 2.20/2.24 c Core size: 3 Core Weight: 1 Total Weight: 463 2.20/2.24 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.20/2.25 c core #464 2.20/2.25 c Core size: 3 Core Weight: 1 Total Weight: 464 2.20/2.25 c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s 2.20/2.25 c core #465 2.20/2.25 c Core size: 3 Core Weight: 1 Total Weight: 465 2.20/2.25 c Elapsed CPU time: 2.24166 s Remaining CPU time: 1797.76 s 2.20/2.26 c core #466 2.20/2.26 c Core size: 3 Core Weight: 1 Total Weight: 466 2.20/2.26 c Elapsed CPU time: 2.24766 s Remaining CPU time: 1797.75 s 2.20/2.26 c core #467 2.20/2.26 c Core size: 3 Core Weight: 1 Total Weight: 467 2.20/2.26 c Elapsed CPU time: 2.25266 s Remaining CPU time: 1797.75 s 2.20/2.27 c core #468 2.20/2.27 c Core size: 3 Core Weight: 1 Total Weight: 468 2.20/2.27 c Elapsed CPU time: 2.25866 s Remaining CPU time: 1797.74 s 2.20/2.27 c core #469 2.20/2.27 c Core size: 3 Core Weight: 1 Total Weight: 469 2.20/2.27 c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s 2.20/2.28 c core #470 2.20/2.28 c Core size: 3 Core Weight: 1 Total Weight: 470 2.20/2.28 c Elapsed CPU time: 2.27065 s Remaining CPU time: 1797.73 s 2.20/2.29 c core #471 2.20/2.29 c Core size: 3 Core Weight: 1 Total Weight: 471 2.20/2.29 c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s 2.20/2.29 c core #472 2.20/2.29 c Core size: 3 Core Weight: 1 Total Weight: 472 2.20/2.29 c Elapsed CPU time: 2.28265 s Remaining CPU time: 1797.72 s 2.29/2.30 c core #473 2.29/2.30 c Core size: 3 Core Weight: 1 Total Weight: 473 2.29/2.30 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.29/2.30 c core #474 2.29/2.30 c Core size: 3 Core Weight: 1 Total Weight: 474 2.29/2.30 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.29/2.31 c core #475 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: 475 2.29/2.31 c Elapsed CPU time: 2.30065 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #476 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: 476 2.29/2.32 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.29/2.32 c core #477 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: 477 2.29/2.32 c Elapsed CPU time: 2.31265 s Remaining CPU time: 1797.69 s 2.29/2.33 c core #478 2.29/2.33 c Core size: 3 Core Weight: 1 Total Weight: 478 2.29/2.33 c Elapsed CPU time: 2.31865 s Remaining CPU time: 1797.68 s 2.29/2.33 c core #479 2.29/2.33 c Core size: 3 Core Weight: 1 Total Weight: 479 2.29/2.33 c Elapsed CPU time: 2.32365 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #480 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: 480 2.29/2.34 c Elapsed CPU time: 2.32965 s Remaining CPU time: 1797.67 s 2.29/2.35 c core #481 2.29/2.35 c Core size: 3 Core Weight: 1 Total Weight: 481 2.29/2.35 c Elapsed CPU time: 2.33564 s Remaining CPU time: 1797.66 s 2.29/2.35 c core #482 2.29/2.35 c Core size: 3 Core Weight: 1 Total Weight: 482 2.29/2.35 c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #483 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: 483 2.29/2.36 c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s 2.29/2.36 c core #484 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: 484 2.29/2.36 c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s 2.29/2.37 c core #485 2.29/2.37 c Core size: 3 Core Weight: 1 Total Weight: 485 2.29/2.37 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #486 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: 486 2.29/2.38 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.29/2.38 c core #487 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: 487 2.29/2.38 c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #488 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: 488 2.29/2.39 c Elapsed CPU time: 2.37764 s Remaining CPU time: 1797.62 s 2.29/2.39 c core #489 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: 489 2.29/2.39 c Elapsed CPU time: 2.38364 s Remaining CPU time: 1797.62 s 2.39/2.40 c core #490 2.39/2.40 c Core size: 3 Core Weight: 1 Total Weight: 490 2.39/2.40 c Elapsed CPU time: 2.38964 s Remaining CPU time: 1797.61 s 2.39/2.41 c core #491 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: 491 2.39/2.41 c Elapsed CPU time: 2.39663 s Remaining CPU time: 1797.6 s 2.39/2.41 c core #492 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: 492 2.39/2.41 c Elapsed CPU time: 2.40263 s Remaining CPU time: 1797.6 s 2.39/2.42 c core #493 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: 493 2.39/2.42 c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s 2.39/2.43 c core #494 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: 494 2.39/2.43 c Elapsed CPU time: 2.41463 s Remaining CPU time: 1797.59 s 2.39/2.43 c core #495 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: 495 2.39/2.43 c Elapsed CPU time: 2.42063 s Remaining CPU time: 1797.58 s 2.39/2.44 c core #496 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: 496 2.39/2.44 c Elapsed CPU time: 2.42663 s Remaining CPU time: 1797.57 s 2.39/2.44 c core #497 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: 497 2.39/2.44 c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s 2.39/2.45 c core #498 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: 498 2.39/2.45 c Elapsed CPU time: 2.43863 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #499 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: 499 2.39/2.46 c Elapsed CPU time: 2.44463 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #500 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: 500 2.39/2.46 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #501 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: 501 2.39/2.47 c Elapsed CPU time: 2.45663 s Remaining CPU time: 1797.54 s 2.39/2.47 c core #502 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: 502 2.39/2.47 c Elapsed CPU time: 2.46362 s Remaining CPU time: 1797.54 s 2.39/2.48 c core #503 2.39/2.48 c Core size: 3 Core Weight: 1 Total Weight: 503 2.39/2.48 c Elapsed CPU time: 2.46962 s Remaining CPU time: 1797.53 s 2.39/2.49 c core #504 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: 504 2.39/2.49 c Elapsed CPU time: 2.47562 s Remaining CPU time: 1797.52 s 2.39/2.49 c core #505 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: 505 2.39/2.49 c Elapsed CPU time: 2.48162 s Remaining CPU time: 1797.52 s 2.49/2.50 c core #506 2.49/2.50 c Core size: 3 Core Weight: 1 Total Weight: 506 2.49/2.50 c Elapsed CPU time: 2.48762 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #507 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: 507 2.49/2.51 c Elapsed CPU time: 2.49362 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #508 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: 508 2.49/2.51 c Elapsed CPU time: 2.50062 s Remaining CPU time: 1797.5 s 2.49/2.52 c core #509 2.49/2.52 c Core size: 3 Core Weight: 1 Total Weight: 509 2.49/2.52 c Elapsed CPU time: 2.50662 s Remaining CPU time: 1797.49 s 2.49/2.52 c core #510 2.49/2.52 c Core size: 3 Core Weight: 1 Total Weight: 510 2.49/2.52 c Elapsed CPU time: 2.51262 s Remaining CPU time: 1797.49 s 2.49/2.53 c core #511 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: 511 2.49/2.53 c Elapsed CPU time: 2.51862 s Remaining CPU time: 1797.48 s 2.49/2.54 c core #512 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: 512 2.49/2.54 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.49/2.54 c core #513 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: 513 2.49/2.54 c Elapsed CPU time: 2.53161 s Remaining CPU time: 1797.47 s 2.49/2.55 c core #514 2.49/2.55 c Core size: 3 Core Weight: 1 Total Weight: 514 2.49/2.55 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.49/2.55 c core #515 2.49/2.55 c Core size: 3 Core Weight: 1 Total Weight: 515 2.49/2.55 c Elapsed CPU time: 2.54261 s Remaining CPU time: 1797.46 s 2.49/2.56 c core #516 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: 516 2.49/2.56 c Elapsed CPU time: 2.54861 s Remaining CPU time: 1797.45 s 2.49/2.57 c core #517 2.49/2.57 c Core size: 3 Core Weight: 1 Total Weight: 517 2.49/2.57 c Elapsed CPU time: 2.55461 s Remaining CPU time: 1797.45 s 2.49/2.57 c core #518 2.49/2.57 c Core size: 3 Core Weight: 1 Total Weight: 518 2.49/2.57 c Elapsed CPU time: 2.56161 s Remaining CPU time: 1797.44 s 2.49/2.58 c core #519 2.49/2.58 c Core size: 3 Core Weight: 1 Total Weight: 519 2.49/2.58 c Elapsed CPU time: 2.56761 s Remaining CPU time: 1797.43 s 2.49/2.59 c core #520 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: 520 2.49/2.59 c Elapsed CPU time: 2.57461 s Remaining CPU time: 1797.43 s 2.49/2.59 c core #521 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: 521 2.49/2.59 c Elapsed CPU time: 2.57961 s Remaining CPU time: 1797.42 s 2.59/2.60 c core #522 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: 522 2.59/2.60 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.59/2.61 c core #523 2.59/2.61 c Core size: 3 Core Weight: 1 Total Weight: 523 2.59/2.61 c Elapsed CPU time: 2.5926 s Remaining CPU time: 1797.41 s 2.59/2.61 c core #524 2.59/2.61 c Core size: 3 Core Weight: 1 Total Weight: 524 2.59/2.61 c Elapsed CPU time: 2.5986 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #525 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: 525 2.59/2.62 c Elapsed CPU time: 2.6046 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #526 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: 526 2.59/2.62 c Elapsed CPU time: 2.6106 s Remaining CPU time: 1797.39 s 2.59/2.63 c core #527 2.59/2.63 c Core size: 3 Core Weight: 1 Total Weight: 527 2.59/2.63 c Elapsed CPU time: 2.6166 s Remaining CPU time: 1797.38 s 2.59/2.64 c core #528 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: 528 2.59/2.64 c Elapsed CPU time: 2.6236 s Remaining CPU time: 1797.38 s 2.59/2.64 c core #529 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: 529 2.59/2.64 c Elapsed CPU time: 2.6296 s Remaining CPU time: 1797.37 s 2.59/2.65 c core #530 2.59/2.65 c Core size: 3 Core Weight: 1 Total Weight: 530 2.59/2.65 c Elapsed CPU time: 2.6356 s Remaining CPU time: 1797.36 s 2.59/2.66 c core #531 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: 531 2.59/2.66 c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s 2.59/2.66 c core #532 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: 532 2.59/2.66 c Elapsed CPU time: 2.6486 s Remaining CPU time: 1797.35 s 2.59/2.67 c core #533 2.59/2.67 c Core size: 3 Core Weight: 1 Total Weight: 533 2.59/2.67 c Elapsed CPU time: 2.6556 s Remaining CPU time: 1797.34 s 2.59/2.67 c core #534 2.59/2.67 c Core size: 3 Core Weight: 1 Total Weight: 534 2.59/2.67 c Elapsed CPU time: 2.6616 s Remaining CPU time: 1797.34 s 2.59/2.68 c core #535 2.59/2.68 c Core size: 3 Core Weight: 1 Total Weight: 535 2.59/2.68 c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s 2.59/2.69 c core #536 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: 536 2.59/2.69 c Elapsed CPU time: 2.67459 s Remaining CPU time: 1797.33 s 2.59/2.69 c core #537 2.59/2.69 c Core size: 3 Core Weight: 1 Total Weight: 537 2.59/2.69 c Elapsed CPU time: 2.68059 s Remaining CPU time: 1797.32 s 2.69/2.70 c core #538 2.69/2.70 c Core size: 3 Core Weight: 1 Total Weight: 538 2.69/2.70 c Elapsed CPU time: 2.68759 s Remaining CPU time: 1797.31 s 2.69/2.71 c core #539 2.69/2.71 c Core size: 3 Core Weight: 1 Total Weight: 539 2.69/2.71 c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s 2.69/2.71 c core #540 2.69/2.71 c Core size: 3 Core Weight: 1 Total Weight: 540 2.69/2.71 c Elapsed CPU time: 2.69959 s Remaining CPU time: 1797.3 s 2.69/2.72 c core #541 2.69/2.72 c Core size: 3 Core Weight: 1 Total Weight: 541 2.69/2.72 c Elapsed CPU time: 2.70659 s Remaining CPU time: 1797.29 s 2.69/2.73 c core #542 2.69/2.73 c Core size: 3 Core Weight: 1 Total Weight: 542 2.69/2.73 c Elapsed CPU time: 2.71259 s Remaining CPU time: 1797.29 s 2.69/2.73 c core #543 2.69/2.73 c Core size: 3 Core Weight: 1 Total Weight: 543 2.69/2.73 c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s 2.69/2.74 c core #544 2.69/2.74 c Core size: 3 Core Weight: 1 Total Weight: 544 2.69/2.74 c Elapsed CPU time: 2.72559 s Remaining CPU time: 1797.27 s 2.69/2.75 c core #545 2.69/2.75 c Core size: 3 Core Weight: 1 Total Weight: 545 2.69/2.75 c Elapsed CPU time: 2.73158 s Remaining CPU time: 1797.27 s 2.69/2.75 c core #546 2.69/2.75 c Core size: 3 Core Weight: 1 Total Weight: 546 2.69/2.75 c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s 2.69/2.76 c core #547 2.69/2.76 c Core size: 3 Core Weight: 1 Total Weight: 547 2.69/2.76 c Elapsed CPU time: 2.74558 s Remaining CPU time: 1797.25 s 2.69/2.76 c core #548 2.69/2.76 c Core size: 3 Core Weight: 1 Total Weight: 548 2.69/2.76 c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s 2.69/2.77 c core #549 2.69/2.77 c Core size: 3 Core Weight: 1 Total Weight: 549 2.69/2.77 c Elapsed CPU time: 2.75758 s Remaining CPU time: 1797.24 s 2.69/2.78 c core #550 2.69/2.78 c Core size: 3 Core Weight: 1 Total Weight: 550 2.69/2.78 c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s 2.69/2.78 c core #551 2.69/2.78 c Core size: 3 Core Weight: 1 Total Weight: 551 2.69/2.78 c Elapsed CPU time: 2.77058 s Remaining CPU time: 1797.23 s 2.69/2.79 c core #552 2.69/2.79 c Core size: 3 Core Weight: 1 Total Weight: 552 2.69/2.79 c Elapsed CPU time: 2.77658 s Remaining CPU time: 1797.22 s 2.79/2.80 c core #553 2.79/2.80 c Core size: 3 Core Weight: 1 Total Weight: 553 2.79/2.80 c Elapsed CPU time: 2.78358 s Remaining CPU time: 1797.22 s 2.79/2.80 c core #554 2.79/2.80 c Core size: 3 Core Weight: 1 Total Weight: 554 2.79/2.80 c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s 2.79/2.81 c core #555 2.79/2.81 c Core size: 3 Core Weight: 1 Total Weight: 555 2.79/2.81 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.79/2.82 c core #556 2.79/2.82 c Core size: 3 Core Weight: 1 Total Weight: 556 2.79/2.82 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.79/2.82 c core #557 2.79/2.82 c Core size: 3 Core Weight: 1 Total Weight: 557 2.79/2.82 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.79/2.83 c core #558 2.79/2.83 c Core size: 3 Core Weight: 1 Total Weight: 558 2.79/2.83 c Elapsed CPU time: 2.81657 s Remaining CPU time: 1797.18 s 2.79/2.84 c core #559 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: 559 2.79/2.84 c Elapsed CPU time: 2.82257 s Remaining CPU time: 1797.18 s 2.79/2.84 c core #560 2.79/2.84 c Core size: 3 Core Weight: 1 Total Weight: 560 2.79/2.84 c Elapsed CPU time: 2.82957 s Remaining CPU time: 1797.17 s 2.79/2.85 c core #561 2.79/2.85 c Core size: 3 Core Weight: 1 Total Weight: 561 2.79/2.85 c Elapsed CPU time: 2.83657 s Remaining CPU time: 1797.16 s 2.79/2.86 c core #562 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: 562 2.79/2.86 c Elapsed CPU time: 2.84157 s Remaining CPU time: 1797.16 s 2.79/2.86 c core #563 2.79/2.86 c Core size: 3 Core Weight: 1 Total Weight: 563 2.79/2.86 c Elapsed CPU time: 2.84857 s Remaining CPU time: 1797.15 s 2.79/2.87 c core #564 2.79/2.87 c Core size: 3 Core Weight: 1 Total Weight: 564 2.79/2.87 c Elapsed CPU time: 2.85357 s Remaining CPU time: 1797.15 s 2.79/2.88 c core #565 2.79/2.88 c Core size: 3 Core Weight: 1 Total Weight: 565 2.79/2.88 c Elapsed CPU time: 2.86057 s Remaining CPU time: 1797.14 s 2.79/2.88 c core #566 2.79/2.88 c Core size: 3 Core Weight: 1 Total Weight: 566 2.79/2.88 c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s 2.79/2.89 c core #567 2.79/2.89 c Core size: 3 Core Weight: 1 Total Weight: 567 2.79/2.89 c Elapsed CPU time: 2.87356 s Remaining CPU time: 1797.13 s 2.79/2.90 c core #568 2.79/2.90 c Core size: 3 Core Weight: 1 Total Weight: 568 2.79/2.90 c Elapsed CPU time: 2.88056 s Remaining CPU time: 1797.12 s 2.89/2.90 c core #569 2.89/2.90 c Core size: 3 Core Weight: 1 Total Weight: 569 2.89/2.90 c Elapsed CPU time: 2.88656 s Remaining CPU time: 1797.11 s 2.89/2.91 c core #570 2.89/2.91 c Core size: 3 Core Weight: 1 Total Weight: 570 2.89/2.91 c Elapsed CPU time: 2.89356 s Remaining CPU time: 1797.11 s 2.89/2.92 c core #571 2.89/2.92 c Core size: 3 Core Weight: 1 Total Weight: 571 2.89/2.92 c Elapsed CPU time: 2.89956 s Remaining CPU time: 1797.1 s 2.89/2.92 c core #572 2.89/2.92 c Core size: 3 Core Weight: 1 Total Weight: 572 2.89/2.92 c Elapsed CPU time: 2.90656 s Remaining CPU time: 1797.09 s 2.89/2.93 c core #573 2.89/2.93 c Core size: 3 Core Weight: 1 Total Weight: 573 2.89/2.93 c Elapsed CPU time: 2.91256 s Remaining CPU time: 1797.09 s 2.89/2.94 c core #574 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: 574 2.89/2.94 c Elapsed CPU time: 2.91956 s Remaining CPU time: 1797.08 s 2.89/2.94 c core #575 2.89/2.94 c Core size: 3 Core Weight: 1 Total Weight: 575 2.89/2.94 c Elapsed CPU time: 2.92556 s Remaining CPU time: 1797.07 s 2.89/2.95 c core #576 2.89/2.95 c Core size: 3 Core Weight: 1 Total Weight: 576 2.89/2.95 c Elapsed CPU time: 2.93255 s Remaining CPU time: 1797.07 s 2.89/2.96 c core #577 2.89/2.96 c Core size: 3 Core Weight: 1 Total Weight: 577 2.89/2.96 c Elapsed CPU time: 2.93955 s Remaining CPU time: 1797.06 s 2.89/2.96 c core #578 2.89/2.96 c Core size: 3 Core Weight: 1 Total Weight: 578 2.89/2.96 c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s 2.89/2.97 c core #579 2.89/2.97 c Core size: 3 Core Weight: 1 Total Weight: 579 2.89/2.97 c Elapsed CPU time: 2.95255 s Remaining CPU time: 1797.05 s 2.89/2.98 c core #580 2.89/2.98 c Core size: 3 Core Weight: 1 Total Weight: 580 2.89/2.98 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.89/2.98 c core #581 2.89/2.98 c Core size: 3 Core Weight: 1 Total Weight: 581 2.89/2.98 c Elapsed CPU time: 2.96455 s Remaining CPU time: 1797.04 s 2.89/2.99 c core #582 2.89/2.99 c Core size: 3 Core Weight: 1 Total Weight: 582 2.89/2.99 c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s 2.89/3.00 c core #583 2.89/3.00 c Core size: 3 Core Weight: 1 Total Weight: 583 2.89/3.00 c Elapsed CPU time: 2.97755 s Remaining CPU time: 1797.02 s 2.99/3.00 c core #584 2.99/3.00 c Core size: 3 Core Weight: 1 Total Weight: 584 2.99/3.00 c Elapsed CPU time: 2.98455 s Remaining CPU time: 1797.02 s 2.99/3.01 c core #585 2.99/3.01 c Core size: 3 Core Weight: 1 Total Weight: 585 2.99/3.01 c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s 2.99/3.02 c core #586 2.99/3.02 c Core size: 3 Core Weight: 1 Total Weight: 586 2.99/3.02 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 2.99/3.02 c core #587 2.99/3.02 c Core size: 3 Core Weight: 1 Total Weight: 587 2.99/3.02 c Elapsed CPU time: 3.00454 s Remaining CPU time: 1797 s 2.99/3.03 c core #588 2.99/3.03 c Core size: 3 Core Weight: 1 Total Weight: 588 2.99/3.03 c Elapsed CPU time: 3.01154 s Remaining CPU time: 1796.99 s 2.99/3.04 c core #589 2.99/3.04 c Core size: 3 Core Weight: 1 Total Weight: 589 2.99/3.04 c Elapsed CPU time: 3.01854 s Remaining CPU time: 1796.98 s 2.99/3.04 c core #590 2.99/3.04 c Core size: 3 Core Weight: 1 Total Weight: 590 2.99/3.04 c Elapsed CPU time: 3.02454 s Remaining CPU time: 1796.98 s 2.99/3.05 c core #591 2.99/3.05 c Core size: 3 Core Weight: 1 Total Weight: 591 2.99/3.05 c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s 2.99/3.06 c core #592 2.99/3.06 c Core size: 3 Core Weight: 1 Total Weight: 592 2.99/3.06 c Elapsed CPU time: 3.03854 s Remaining CPU time: 1796.96 s 2.99/3.06 c core #593 2.99/3.06 c Core size: 3 Core Weight: 1 Total Weight: 593 2.99/3.06 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 2.99/3.07 c core #594 2.99/3.07 c Core size: 3 Core Weight: 1 Total Weight: 594 2.99/3.07 c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s 2.99/3.08 c core #595 2.99/3.08 c Core size: 3 Core Weight: 1 Total Weight: 595 2.99/3.08 c Elapsed CPU time: 3.05854 s Remaining CPU time: 1796.94 s 2.99/3.08 c core #596 2.99/3.08 c Core size: 3 Core Weight: 1 Total Weight: 596 2.99/3.08 c Elapsed CPU time: 3.06453 s Remaining CPU time: 1796.94 s 2.99/3.09 c core #597 2.99/3.09 c Core size: 3 Core Weight: 1 Total Weight: 597 2.99/3.09 c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s 2.99/3.10 c core #598 2.99/3.10 c Core size: 3 Core Weight: 1 Total Weight: 598 2.99/3.10 c Elapsed CPU time: 3.07853 s Remaining CPU time: 1796.92 s 3.09/3.10 c core #599 3.09/3.10 c Core size: 3 Core Weight: 1 Total Weight: 599 3.09/3.10 c Elapsed CPU time: 3.08453 s Remaining CPU time: 1796.92 s 3.09/3.11 c core #600 3.09/3.11 c Core size: 3 Core Weight: 1 Total Weight: 600 3.09/3.11 c Elapsed CPU time: 3.09153 s Remaining CPU time: 1796.91 s 3.09/3.12 c core #601 3.09/3.12 c Core size: 3 Core Weight: 1 Total Weight: 601 3.09/3.12 c Elapsed CPU time: 3.09853 s Remaining CPU time: 1796.9 s 3.09/3.12 c core #602 3.09/3.12 c Core size: 3 Core Weight: 1 Total Weight: 602 3.09/3.12 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.09/3.13 c core #603 3.09/3.13 c Core size: 3 Core Weight: 1 Total Weight: 603 3.09/3.13 c Elapsed CPU time: 3.11153 s Remaining CPU time: 1796.89 s 3.09/3.14 c core #604 3.09/3.14 c Core size: 3 Core Weight: 1 Total Weight: 604 3.09/3.14 c Elapsed CPU time: 3.11852 s Remaining CPU time: 1796.88 s 3.09/3.14 c core #605 3.09/3.14 c Core size: 3 Core Weight: 1 Total Weight: 605 3.09/3.14 c Elapsed CPU time: 3.12552 s Remaining CPU time: 1796.87 s 3.09/3.15 c core #606 3.09/3.15 c Core size: 3 Core Weight: 1 Total Weight: 606 3.09/3.15 c Elapsed CPU time: 3.13152 s Remaining CPU time: 1796.87 s 3.09/3.16 c core #607 3.09/3.16 c Core size: 3 Core Weight: 1 Total Weight: 607 3.09/3.16 c Elapsed CPU time: 3.13752 s Remaining CPU time: 1796.86 s 3.09/3.16 c core #608 3.09/3.16 c Core size: 3 Core Weight: 1 Total Weight: 608 3.09/3.16 c Elapsed CPU time: 3.14452 s Remaining CPU time: 1796.86 s 3.09/3.17 c core #609 3.09/3.17 c Core size: 3 Core Weight: 1 Total Weight: 609 3.09/3.17 c Elapsed CPU time: 3.15152 s Remaining CPU time: 1796.85 s 3.09/3.18 c core #610 3.09/3.18 c Core size: 3 Core Weight: 1 Total Weight: 610 3.09/3.18 c Elapsed CPU time: 3.15852 s Remaining CPU time: 1796.84 s 3.09/3.18 c core #611 3.09/3.18 c Core size: 3 Core Weight: 1 Total Weight: 611 3.09/3.18 c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s 3.09/3.19 c core #612 3.09/3.19 c Core size: 3 Core Weight: 1 Total Weight: 612 3.09/3.19 c Elapsed CPU time: 3.17152 s Remaining CPU time: 1796.83 s 3.09/3.20 c core #613 3.09/3.20 c Core size: 3 Core Weight: 1 Total Weight: 613 3.09/3.20 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.20/3.20 c core #614 3.20/3.20 c Core size: 3 Core Weight: 1 Total Weight: 614 3.20/3.20 c Elapsed CPU time: 3.18552 s Remaining CPU time: 1796.81 s 3.20/3.21 c core #615 3.20/3.21 c Core size: 3 Core Weight: 1 Total Weight: 615 3.20/3.21 c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s 3.20/3.22 c core #616 3.20/3.22 c Core size: 3 Core Weight: 1 Total Weight: 616 3.20/3.22 c Elapsed CPU time: 3.19851 s Remaining CPU time: 1796.8 s 3.20/3.22 c core #617 3.20/3.22 c Core size: 3 Core Weight: 1 Total Weight: 617 3.20/3.22 c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s 3.20/3.23 c core #618 3.20/3.23 c Core size: 3 Core Weight: 1 Total Weight: 618 3.20/3.23 c Elapsed CPU time: 3.21251 s Remaining CPU time: 1796.79 s 3.20/3.24 c core #619 3.20/3.24 c Core size: 3 Core Weight: 1 Total Weight: 619 3.20/3.24 c Elapsed CPU time: 3.21951 s Remaining CPU time: 1796.78 s 3.20/3.24 c core #620 3.20/3.24 c Core size: 3 Core Weight: 1 Total Weight: 620 3.20/3.24 c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s 3.20/3.25 c core #621 3.20/3.25 c Core size: 3 Core Weight: 1 Total Weight: 621 3.20/3.25 c Elapsed CPU time: 3.23351 s Remaining CPU time: 1796.77 s 3.20/3.26 c core #622 3.20/3.26 c Core size: 3 Core Weight: 1 Total Weight: 622 3.20/3.26 c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s 3.20/3.26 c core #623 3.20/3.26 c Core size: 3 Core Weight: 1 Total Weight: 623 3.20/3.26 c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s 3.20/3.27 c core #624 3.20/3.27 c Core size: 3 Core Weight: 1 Total Weight: 624 3.20/3.27 c Elapsed CPU time: 3.25351 s Remaining CPU time: 1796.75 s 3.20/3.28 c core #625 3.20/3.28 c Core size: 3 Core Weight: 1 Total Weight: 625 3.20/3.28 c Elapsed CPU time: 3.2605 s Remaining CPU time: 1796.74 s 3.20/3.29 c core #626 3.20/3.29 c Core size: 3 Core Weight: 1 Total Weight: 626 3.20/3.29 c Elapsed CPU time: 3.2675 s Remaining CPU time: 1796.73 s 3.20/3.29 c core #627 3.20/3.29 c Core size: 3 Core Weight: 1 Total Weight: 627 3.20/3.29 c Elapsed CPU time: 3.2735 s Remaining CPU time: 1796.73 s 3.20/3.30 c core #628 3.20/3.30 c Core size: 3 Core Weight: 1 Total Weight: 628 3.20/3.30 c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s 3.30/3.31 c core #629 3.30/3.31 c Core size: 3 Core Weight: 1 Total Weight: 629 3.30/3.31 c Elapsed CPU time: 3.2855 s Remaining CPU time: 1796.71 s 3.30/3.31 c core #630 3.30/3.31 c Core size: 3 Core Weight: 1 Total Weight: 630 3.30/3.31 c Elapsed CPU time: 3.2925 s Remaining CPU time: 1796.71 s 3.30/3.32 c core #631 3.30/3.32 c Core size: 3 Core Weight: 1 Total Weight: 631 3.30/3.32 c Elapsed CPU time: 3.2995 s Remaining CPU time: 1796.7 s 3.30/3.33 c core #632 3.30/3.33 c Core size: 3 Core Weight: 1 Total Weight: 632 3.30/3.33 c Elapsed CPU time: 3.3065 s Remaining CPU time: 1796.69 s 3.30/3.33 c core #633 3.30/3.33 c Core size: 3 Core Weight: 1 Total Weight: 633 3.30/3.33 c Elapsed CPU time: 3.3145 s Remaining CPU time: 1796.69 s 3.30/3.34 c core #634 3.30/3.34 c Core size: 3 Core Weight: 1 Total Weight: 634 3.30/3.34 c Elapsed CPU time: 3.3205 s Remaining CPU time: 1796.68 s 3.30/3.35 c core #635 3.30/3.35 c Core size: 3 Core Weight: 1 Total Weight: 635 3.30/3.35 c Elapsed CPU time: 3.32749 s Remaining CPU time: 1796.67 s 3.30/3.36 c core #636 3.30/3.36 c Core size: 3 Core Weight: 1 Total Weight: 636 3.30/3.36 c Elapsed CPU time: 3.33349 s Remaining CPU time: 1796.67 s 3.30/3.36 c core #637 3.30/3.36 c Core size: 3 Core Weight: 1 Total Weight: 637 3.30/3.36 c Elapsed CPU time: 3.34049 s Remaining CPU time: 1796.66 s 3.30/3.37 c core #638 3.30/3.37 c Core size: 3 Core Weight: 1 Total Weight: 638 3.30/3.37 c Elapsed CPU time: 3.34749 s Remaining CPU time: 1796.65 s 3.30/3.38 c core #639 3.30/3.38 c Core size: 3 Core Weight: 1 Total Weight: 639 3.30/3.38 c Elapsed CPU time: 3.35449 s Remaining CPU time: 1796.65 s 3.30/3.38 c core #640 3.30/3.38 c Core size: 3 Core Weight: 1 Total Weight: 640 3.30/3.38 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.30/3.39 c core #641 3.30/3.39 c Core size: 3 Core Weight: 1 Total Weight: 641 3.30/3.39 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 s 3.30/3.40 c core #642 3.30/3.40 c Core size: 3 Core Weight: 1 Total Weight: 642 3.30/3.40 c Elapsed CPU time: 3.37449 s Remaining CPU time: 1796.63 s 3.39/3.40 c core #643 3.39/3.40 c Core size: 3 Core Weight: 1 Total Weight: 643 3.39/3.40 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.39/3.41 c core #644 3.39/3.41 c Core size: 3 Core Weight: 1 Total Weight: 644 3.39/3.41 c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s 3.39/3.42 c core #645 3.39/3.42 c Core size: 3 Core Weight: 1 Total Weight: 645 3.39/3.42 c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s 3.39/3.42 c core #646 3.39/3.42 c Core size: 3 Core Weight: 1 Total Weight: 646 3.39/3.42 c Elapsed CPU time: 3.40248 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #647 3.39/3.43 c Core size: 3 Core Weight: 1 Total Weight: 647 3.39/3.43 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.39/3.44 c core #648 3.39/3.44 c Core size: 3 Core Weight: 1 Total Weight: 648 3.39/3.44 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #649 3.39/3.45 c Core size: 3 Core Weight: 1 Total Weight: 649 3.39/3.45 c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #650 3.39/3.45 c Core size: 3 Core Weight: 1 Total Weight: 650 3.39/3.45 c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s 3.39/3.46 c core #651 3.39/3.46 c Core size: 3 Core Weight: 1 Total Weight: 651 3.39/3.46 c Elapsed CPU time: 3.43748 s Remaining CPU time: 1796.56 s 3.39/3.47 c core #652 3.39/3.47 c Core size: 3 Core Weight: 1 Total Weight: 652 3.39/3.47 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.39/3.47 c core #653 3.39/3.47 c Core size: 3 Core Weight: 1 Total Weight: 653 3.39/3.47 c Elapsed CPU time: 3.45147 s Remaining CPU time: 1796.55 s 3.39/3.48 c core #654 3.39/3.48 c Core size: 3 Core Weight: 1 Total Weight: 654 3.39/3.48 c Elapsed CPU time: 3.45947 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #655 3.39/3.49 c Core size: 3 Core Weight: 1 Total Weight: 655 3.39/3.49 c Elapsed CPU time: 3.46647 s Remaining CPU time: 1796.53 s 3.39/3.50 c core #656 3.39/3.50 c Core size: 3 Core Weight: 1 Total Weight: 656 3.39/3.50 c Elapsed CPU time: 3.47247 s Remaining CPU time: 1796.53 s 3.49/3.50 c core #657 3.49/3.50 c Core size: 3 Core Weight: 1 Total Weight: 657 3.49/3.50 c Elapsed CPU time: 3.47947 s Remaining CPU time: 1796.52 s 3.49/3.51 c core #658 3.49/3.51 c Core size: 3 Core Weight: 1 Total Weight: 658 3.49/3.51 c Elapsed CPU time: 3.48647 s Remaining CPU time: 1796.51 s 3.49/3.52 c core #659 3.49/3.52 c Core size: 3 Core Weight: 1 Total Weight: 659 3.49/3.52 c Elapsed CPU time: 3.49347 s Remaining CPU time: 1796.51 s 3.49/3.52 c core #660 3.49/3.52 c Core size: 3 Core Weight: 1 Total Weight: 660 3.49/3.52 c Elapsed CPU time: 3.50047 s Remaining CPU time: 1796.5 s 3.49/3.53 c core #661 3.49/3.53 c Core size: 3 Core Weight: 1 Total Weight: 661 3.49/3.53 c Elapsed CPU time: 3.50747 s Remaining CPU time: 1796.49 s 3.49/3.54 c core #662 3.49/3.54 c Core size: 3 Core Weight: 1 Total Weight: 662 3.49/3.54 c Elapsed CPU time: 3.51446 s Remaining CPU time: 1796.49 s 3.49/3.55 c core #663 3.49/3.55 c Core size: 3 Core Weight: 1 Total Weight: 663 3.49/3.55 c Elapsed CPU time: 3.52246 s Remaining CPU time: 1796.48 s 3.49/3.55 c core #664 3.49/3.55 c Core size: 3 Core Weight: 1 Total Weight: 664 3.49/3.55 c Elapsed CPU time: 3.52946 s Remaining CPU time: 1796.47 s 3.49/3.56 c core #665 3.49/3.56 c Core size: 3 Core Weight: 1 Total Weight: 665 3.49/3.56 c Elapsed CPU time: 3.53646 s Remaining CPU time: 1796.46 s 3.49/3.57 c core #666 3.49/3.57 c Core size: 3 Core Weight: 1 Total Weight: 666 3.49/3.57 c Elapsed CPU time: 3.54346 s Remaining CPU time: 1796.46 s 3.49/3.57 c core #667 3.49/3.57 c Core size: 3 Core Weight: 1 Total Weight: 667 3.49/3.57 c Elapsed CPU time: 3.55046 s Remaining CPU time: 1796.45 s 3.49/3.58 c core #668 3.49/3.58 c Core size: 3 Core Weight: 1 Total Weight: 668 3.49/3.58 c Elapsed CPU time: 3.55846 s Remaining CPU time: 1796.44 s 3.49/3.59 c core #669 3.49/3.59 c Core size: 3 Core Weight: 1 Total Weight: 669 3.49/3.59 c Elapsed CPU time: 3.56546 s Remaining CPU time: 1796.43 s 3.49/3.60 c core #670 3.49/3.60 c Core size: 3 Core Weight: 1 Total Weight: 670 3.49/3.60 c Elapsed CPU time: 3.57246 s Remaining CPU time: 1796.43 s 3.59/3.60 c core #671 3.59/3.60 c Core size: 3 Core Weight: 1 Total Weight: 671 3.59/3.60 c Elapsed CPU time: 3.57946 s Remaining CPU time: 1796.42 s 3.59/3.61 c core #672 3.59/3.61 c Core size: 3 Core Weight: 1 Total Weight: 672 3.59/3.61 c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s 3.59/3.62 c core #673 3.59/3.62 c Core size: 3 Core Weight: 1 Total Weight: 673 3.59/3.62 c Elapsed CPU time: 3.59345 s Remaining CPU time: 1796.41 s 3.59/3.62 c core #674 3.59/3.62 c Core size: 3 Core Weight: 1 Total Weight: 674 3.59/3.62 c Elapsed CPU time: 3.60045 s Remaining CPU time: 1796.4 s 3.59/3.63 c core #675 3.59/3.63 c Core size: 3 Core Weight: 1 Total Weight: 675 3.59/3.63 c Elapsed CPU time: 3.60845 s Remaining CPU time: 1796.39 s 3.59/3.64 c core #676 3.59/3.64 c Core size: 3 Core Weight: 1 Total Weight: 676 3.59/3.64 c Elapsed CPU time: 3.61545 s Remaining CPU time: 1796.38 s 3.59/3.65 c core #677 3.59/3.65 c Core size: 3 Core Weight: 1 Total Weight: 677 3.59/3.65 c Elapsed CPU time: 3.62245 s Remaining CPU time: 1796.38 s 3.59/3.65 c core #678 3.59/3.65 c Core size: 3 Core Weight: 1 Total Weight: 678 3.59/3.65 c Elapsed CPU time: 3.62945 s Remaining CPU time: 1796.37 s 3.59/3.66 c core #679 3.59/3.66 c Core size: 3 Core Weight: 1 Total Weight: 679 3.59/3.66 c Elapsed CPU time: 3.63645 s Remaining CPU time: 1796.36 s 3.59/3.67 c core #680 3.59/3.67 c Core size: 3 Core Weight: 1 Total Weight: 680 3.59/3.67 c Elapsed CPU time: 3.64445 s Remaining CPU time: 1796.36 s 3.59/3.67 c core #681 3.59/3.67 c Core size: 3 Core Weight: 1 Total Weight: 681 3.59/3.67 c Elapsed CPU time: 3.65144 s Remaining CPU time: 1796.35 s 3.59/3.68 c core #682 3.59/3.68 c Core size: 3 Core Weight: 1 Total Weight: 682 3.59/3.68 c Elapsed CPU time: 3.65844 s Remaining CPU time: 1796.34 s 3.59/3.69 c core #683 3.59/3.69 c Core size: 3 Core Weight: 1 Total Weight: 683 3.59/3.69 c Elapsed CPU time: 3.66544 s Remaining CPU time: 1796.33 s 3.59/3.70 c core #684 3.59/3.70 c Core size: 3 Core Weight: 1 Total Weight: 684 3.59/3.70 c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s 3.69/3.70 c core #685 3.69/3.70 c Core size: 3 Core Weight: 1 Total Weight: 685 3.69/3.70 c Elapsed CPU time: 3.67944 s Remaining CPU time: 1796.32 s 3.69/3.71 c core #686 3.69/3.71 c Core size: 3 Core Weight: 1 Total Weight: 686 3.69/3.71 c Elapsed CPU time: 3.68644 s Remaining CPU time: 1796.31 s 3.69/3.72 c core #687 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: 687 3.69/3.72 c Elapsed CPU time: 3.69444 s Remaining CPU time: 1796.31 s 3.69/3.72 c core #688 3.69/3.72 c Core size: 3 Core Weight: 1 Total Weight: 688 3.69/3.72 c Elapsed CPU time: 3.70144 s Remaining CPU time: 1796.3 s 3.69/3.73 c core #689 3.69/3.73 c Core size: 3 Core Weight: 1 Total Weight: 689 3.69/3.73 c Elapsed CPU time: 3.70844 s Remaining CPU time: 1796.29 s 3.69/3.74 c core #690 3.69/3.74 c Core size: 3 Core Weight: 1 Total Weight: 690 3.69/3.74 c Elapsed CPU time: 3.71544 s Remaining CPU time: 1796.28 s 3.69/3.75 c core #691 3.69/3.75 c Core size: 3 Core Weight: 1 Total Weight: 691 3.69/3.75 c Elapsed CPU time: 3.72343 s Remaining CPU time: 1796.28 s 3.69/3.75 c core #692 3.69/3.75 c Core size: 3 Core Weight: 1 Total Weight: 692 3.69/3.75 c Elapsed CPU time: 3.73043 s Remaining CPU time: 1796.27 s 3.69/3.76 c core #693 3.69/3.76 c Core size: 3 Core Weight: 1 Total Weight: 693 3.69/3.76 c Elapsed CPU time: 3.73743 s Remaining CPU time: 1796.26 s 3.69/3.77 c core #694 3.69/3.77 c Core size: 3 Core Weight: 1 Total Weight: 694 3.69/3.77 c Elapsed CPU time: 3.74543 s Remaining CPU time: 1796.25 s 3.69/3.78 c core #695 3.69/3.78 c Core size: 3 Core Weight: 1 Total Weight: 695 3.69/3.78 c Elapsed CPU time: 3.75243 s Remaining CPU time: 1796.25 s 3.69/3.78 c core #696 3.69/3.78 c Core size: 3 Core Weight: 1 Total Weight: 696 3.69/3.78 c Elapsed CPU time: 3.75943 s Remaining CPU time: 1796.24 s 3.69/3.79 c core #697 3.69/3.79 c Core size: 3 Core Weight: 1 Total Weight: 697 3.69/3.79 c Elapsed CPU time: 3.76643 s Remaining CPU time: 1796.23 s 3.79/3.80 c core #698 3.79/3.80 c Core size: 3 Core Weight: 1 Total Weight: 698 3.79/3.80 c Elapsed CPU time: 3.77343 s Remaining CPU time: 1796.23 s 3.79/3.80 c core #699 3.79/3.80 c Core size: 3 Core Weight: 1 Total Weight: 699 3.79/3.80 c Elapsed CPU time: 3.78143 s Remaining CPU time: 1796.22 s 3.79/3.81 c core #700 3.79/3.81 c Core size: 3 Core Weight: 1 Total Weight: 700 3.79/3.81 c Elapsed CPU time: 3.78842 s Remaining CPU time: 1796.21 s 3.79/3.82 c core #701 3.79/3.82 c Core size: 3 Core Weight: 1 Total Weight: 701 3.79/3.82 c Elapsed CPU time: 3.79542 s Remaining CPU time: 1796.2 s 3.79/3.83 c core #702 3.79/3.83 c Core size: 3 Core Weight: 1 Total Weight: 702 3.79/3.83 c Elapsed CPU time: 3.80242 s Remaining CPU time: 1796.2 s 3.79/3.83 c core #703 3.79/3.83 c Core size: 3 Core Weight: 1 Total Weight: 703 3.79/3.83 c Elapsed CPU time: 3.80942 s Remaining CPU time: 1796.19 s 3.79/3.84 c core #704 3.79/3.84 c Core size: 3 Core Weight: 1 Total Weight: 704 3.79/3.84 c Elapsed CPU time: 3.81742 s Remaining CPU time: 1796.18 s 3.79/3.85 c core #705 3.79/3.85 c Core size: 3 Core Weight: 1 Total Weight: 705 3.79/3.85 c Elapsed CPU time: 3.82442 s Remaining CPU time: 1796.18 s 3.79/3.86 c core #706 3.79/3.86 c Core size: 3 Core Weight: 1 Total Weight: 706 3.79/3.86 c Elapsed CPU time: 3.83242 s Remaining CPU time: 1796.17 s 3.79/3.86 c core #707 3.79/3.86 c Core size: 3 Core Weight: 1 Total Weight: 707 3.79/3.86 c Elapsed CPU time: 3.83942 s Remaining CPU time: 1796.16 s 3.79/3.87 c core #708 3.79/3.87 c Core size: 3 Core Weight: 1 Total Weight: 708 3.79/3.87 c Elapsed CPU time: 3.84542 s Remaining CPU time: 1796.15 s 3.79/3.88 c core #709 3.79/3.88 c Core size: 3 Core Weight: 1 Total Weight: 709 3.79/3.88 c Elapsed CPU time: 3.85341 s Remaining CPU time: 1796.15 s 3.79/3.88 c core #710 3.79/3.88 c Core size: 3 Core Weight: 1 Total Weight: 710 3.79/3.88 c Elapsed CPU time: 3.86041 s Remaining CPU time: 1796.14 s 3.79/3.89 c core #711 3.79/3.89 c Core size: 3 Core Weight: 1 Total Weight: 711 3.79/3.89 c Elapsed CPU time: 3.86741 s Remaining CPU time: 1796.13 s 3.89/3.90 c core #712 3.89/3.90 c Core size: 3 Core Weight: 1 Total Weight: 712 3.89/3.90 c Elapsed CPU time: 3.87541 s Remaining CPU time: 1796.12 s 3.89/3.91 c core #713 3.89/3.91 c Core size: 3 Core Weight: 1 Total Weight: 713 3.89/3.91 c Elapsed CPU time: 3.88241 s Remaining CPU time: 1796.12 s 3.89/3.91 c core #714 3.89/3.91 c Core size: 3 Core Weight: 1 Total Weight: 714 3.89/3.91 c Elapsed CPU time: 3.89041 s Remaining CPU time: 1796.11 s 3.89/3.92 c core #715 3.89/3.92 c Core size: 3 Core Weight: 1 Total Weight: 715 3.89/3.92 c Elapsed CPU time: 3.89641 s Remaining CPU time: 1796.1 s 3.89/3.93 c core #716 3.89/3.93 c Core size: 3 Core Weight: 1 Total Weight: 716 3.89/3.93 c Elapsed CPU time: 3.90441 s Remaining CPU time: 1796.1 s 3.89/3.94 c core #717 3.89/3.94 c Core size: 3 Core Weight: 1 Total Weight: 717 3.89/3.94 c Elapsed CPU time: 3.91141 s Remaining CPU time: 1796.09 s 3.89/3.94 c core #718 3.89/3.94 c Core size: 3 Core Weight: 1 Total Weight: 718 3.89/3.94 c Elapsed CPU time: 3.9194 s Remaining CPU time: 1796.08 s 3.89/3.95 c core #719 3.89/3.95 c Core size: 3 Core Weight: 1 Total Weight: 719 3.89/3.95 c Elapsed CPU time: 3.9274 s Remaining CPU time: 1796.07 s 3.89/3.96 c core #720 3.89/3.96 c Core size: 3 Core Weight: 1 Total Weight: 720 3.89/3.96 c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 s 3.89/3.97 c core #721 3.89/3.97 c Core size: 3 Core Weight: 1 Total Weight: 721 3.89/3.97 c Elapsed CPU time: 3.9424 s Remaining CPU time: 1796.06 s 3.89/3.97 c core #722 3.89/3.97 c Core size: 3 Core Weight: 1 Total Weight: 722 3.89/3.97 c Elapsed CPU time: 3.9494 s Remaining CPU time: 1796.05 s 3.89/3.98 c core #723 3.89/3.98 c Core size: 3 Core Weight: 1 Total Weight: 723 3.89/3.98 c Elapsed CPU time: 3.9574 s Remaining CPU time: 1796.04 s 3.89/3.99 c core #724 3.89/3.99 c Core size: 3 Core Weight: 1 Total Weight: 724 3.89/3.99 c Elapsed CPU time: 3.9644 s Remaining CPU time: 1796.04 s 3.99/4.00 c core #725 3.99/4.00 c Core size: 3 Core Weight: 1 Total Weight: 725 3.99/4.00 c Elapsed CPU time: 3.9724 s Remaining CPU time: 1796.03 s 3.99/4.00 c core #726 3.99/4.00 c Core size: 3 Core Weight: 1 Total Weight: 726 3.99/4.00 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 3.99/4.01 c core #727 3.99/4.01 c Core size: 3 Core Weight: 1 Total Weight: 727 3.99/4.01 c Elapsed CPU time: 3.98739 s Remaining CPU time: 1796.01 s 3.99/4.02 c core #728 3.99/4.02 c Core size: 3 Core Weight: 1 Total Weight: 728 3.99/4.02 c Elapsed CPU time: 3.99439 s Remaining CPU time: 1796.01 s 3.99/4.03 c core #729 3.99/4.03 c Core size: 3 Core Weight: 1 Total Weight: 729 3.99/4.03 c Elapsed CPU time: 4.00239 s Remaining CPU time: 1796 s 3.99/4.04 c core #730 3.99/4.04 c Core size: 3 Core Weight: 1 Total Weight: 730 3.99/4.04 c Elapsed CPU time: 4.00939 s Remaining CPU time: 1795.99 s 3.99/4.04 c core #731 3.99/4.04 c Core size: 3 Core Weight: 1 Total Weight: 731 3.99/4.04 c Elapsed CPU time: 4.01739 s Remaining CPU time: 1795.98 s 3.99/4.05 c core #732 3.99/4.05 c Core size: 3 Core Weight: 1 Total Weight: 732 3.99/4.05 c Elapsed CPU time: 4.02439 s Remaining CPU time: 1795.98 s 3.99/4.06 c core #733 3.99/4.06 c Core size: 3 Core Weight: 1 Total Weight: 733 3.99/4.06 c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s 3.99/4.07 c core #734 3.99/4.07 c Core size: 3 Core Weight: 1 Total Weight: 734 3.99/4.07 c Elapsed CPU time: 4.03939 s Remaining CPU time: 1795.96 s 3.99/4.07 c core #735 3.99/4.07 c Core size: 3 Core Weight: 1 Total Weight: 735 3.99/4.07 c Elapsed CPU time: 4.04738 s Remaining CPU time: 1795.95 s 3.99/4.08 c core #736 3.99/4.08 c Core size: 3 Core Weight: 1 Total Weight: 736 3.99/4.08 c Elapsed CPU time: 4.05538 s Remaining CPU time: 1795.94 s 3.99/4.09 c core #737 3.99/4.09 c Core size: 3 Core Weight: 1 Total Weight: 737 3.99/4.09 c Elapsed CPU time: 4.06238 s Remaining CPU time: 1795.94 s 3.99/4.10 c core #738 3.99/4.10 c Core size: 3 Core Weight: 1 Total Weight: 738 3.99/4.10 c Elapsed CPU time: 4.07038 s Remaining CPU time: 1795.93 s 4.09/4.10 c core #739 4.09/4.10 c Core size: 3 Core Weight: 1 Total Weight: 739 4.09/4.10 c Elapsed CPU time: 4.07738 s Remaining CPU time: 1795.92 s 4.09/4.11 c core #740 4.09/4.11 c Core size: 3 Core Weight: 1 Total Weight: 740 4.09/4.11 c Elapsed CPU time: 4.08438 s Remaining CPU time: 1795.92 s 4.09/4.12 c core #741 4.09/4.12 c Core size: 3 Core Weight: 1 Total Weight: 741 4.09/4.12 c Elapsed CPU time: 4.09238 s Remaining CPU time: 1795.91 s 4.09/4.13 c core #742 4.09/4.13 c Core size: 3 Core Weight: 1 Total Weight: 742 4.09/4.13 c Elapsed CPU time: 4.10038 s Remaining CPU time: 1795.9 s 4.09/4.13 c core #743 4.09/4.13 c Core size: 3 Core Weight: 1 Total Weight: 743 4.09/4.13 c Elapsed CPU time: 4.10738 s Remaining CPU time: 1795.89 s 4.09/4.14 c core #744 4.09/4.14 c Core size: 3 Core Weight: 1 Total Weight: 744 4.09/4.14 c Elapsed CPU time: 4.11537 s Remaining CPU time: 1795.88 s 4.09/4.15 c core #745 4.09/4.15 c Core size: 3 Core Weight: 1 Total Weight: 745 4.09/4.15 c Elapsed CPU time: 4.12337 s Remaining CPU time: 1795.88 s 4.09/4.16 c core #746 4.09/4.16 c Core size: 3 Core Weight: 1 Total Weight: 746 4.09/4.16 c Elapsed CPU time: 4.13037 s Remaining CPU time: 1795.87 s 4.09/4.16 c core #747 4.09/4.16 c Core size: 3 Core Weight: 1 Total Weight: 747 4.09/4.16 c Elapsed CPU time: 4.13837 s Remaining CPU time: 1795.86 s 4.09/4.17 c core #748 4.09/4.17 c Core size: 3 Core Weight: 1 Total Weight: 748 4.09/4.17 c Elapsed CPU time: 4.14637 s Remaining CPU time: 1795.85 s 4.09/4.18 c core #749 4.09/4.18 c Core size: 3 Core Weight: 1 Total Weight: 749 4.09/4.18 c Elapsed CPU time: 4.15337 s Remaining CPU time: 1795.85 s 4.09/4.19 c core #750 4.09/4.19 c Core size: 3 Core Weight: 1 Total Weight: 750 4.09/4.19 c Elapsed CPU time: 4.16137 s Remaining CPU time: 1795.84 s 4.09/4.19 c core #751 4.09/4.19 c Core size: 3 Core Weight: 1 Total Weight: 751 4.09/4.19 c Elapsed CPU time: 4.16937 s Remaining CPU time: 1795.83 s 4.19/4.20 c core #752 4.19/4.20 c Core size: 3 Core Weight: 1 Total Weight: 752 4.19/4.20 c Elapsed CPU time: 4.17636 s Remaining CPU time: 1795.82 s 4.19/4.21 c core #753 4.19/4.21 c Core size: 3 Core Weight: 1 Total Weight: 753 4.19/4.21 c Elapsed CPU time: 4.18436 s Remaining CPU time: 1795.82 s 4.19/4.22 c core #754 4.19/4.22 c Core size: 3 Core Weight: 1 Total Weight: 754 4.19/4.22 c Elapsed CPU time: 4.19236 s Remaining CPU time: 1795.81 s 4.19/4.22 c core #755 4.19/4.22 c Core size: 3 Core Weight: 1 Total Weight: 755 4.19/4.22 c Elapsed CPU time: 4.19936 s Remaining CPU time: 1795.8 s 4.19/4.23 c core #756 4.19/4.23 c Core size: 3 Core Weight: 1 Total Weight: 756 4.19/4.23 c Elapsed CPU time: 4.20736 s Remaining CPU time: 1795.79 s 4.19/4.24 c core #757 4.19/4.24 c Core size: 3 Core Weight: 1 Total Weight: 757 4.19/4.24 c Elapsed CPU time: 4.21436 s Remaining CPU time: 1795.79 s 4.19/4.25 c core #758 4.19/4.25 c Core size: 3 Core Weight: 1 Total Weight: 758 4.19/4.25 c Elapsed CPU time: 4.22236 s Remaining CPU time: 1795.78 s 4.19/4.26 c core #759 4.19/4.26 c Core size: 3 Core Weight: 1 Total Weight: 759 4.19/4.26 c Elapsed CPU time: 4.23036 s Remaining CPU time: 1795.77 s 4.19/4.26 c core #760 4.19/4.26 c Core size: 3 Core Weight: 1 Total Weight: 760 4.19/4.26 c Elapsed CPU time: 4.23735 s Remaining CPU time: 1795.76 s 4.19/4.27 c core #761 4.19/4.27 c Core size: 3 Core Weight: 1 Total Weight: 761 4.19/4.27 c Elapsed CPU time: 4.24535 s Remaining CPU time: 1795.75 s 4.19/4.28 c core #762 4.19/4.28 c Core size: 3 Core Weight: 1 Total Weight: 762 4.19/4.28 c Elapsed CPU time: 4.25335 s Remaining CPU time: 1795.75 s 4.19/4.29 c core #763 4.19/4.29 c Core size: 3 Core Weight: 1 Total Weight: 763 4.19/4.29 c Elapsed CPU time: 4.26035 s Remaining CPU time: 1795.74 s 4.19/4.29 c core #764 4.19/4.29 c Core size: 3 Core Weight: 1 Total Weight: 764 4.19/4.29 c Elapsed CPU time: 4.26835 s Remaining CPU time: 1795.73 s 4.29/4.30 c core #765 4.29/4.30 c Core size: 3 Core Weight: 1 Total Weight: 765 4.29/4.30 c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s 4.29/4.31 c core #766 4.29/4.31 c Core size: 3 Core Weight: 1 Total Weight: 766 4.29/4.31 c Elapsed CPU time: 4.28435 s Remaining CPU time: 1795.72 s 4.29/4.32 c core #767 4.29/4.32 c Core size: 3 Core Weight: 1 Total Weight: 767 4.29/4.32 c Elapsed CPU time: 4.29135 s Remaining CPU time: 1795.71 s 4.29/4.32 c core #768 4.29/4.32 c Core size: 3 Core Weight: 1 Total Weight: 768 4.29/4.32 c Elapsed CPU time: 4.29935 s Remaining CPU time: 1795.7 s 4.29/4.33 c core #769 4.29/4.33 c Core size: 3 Core Weight: 1 Total Weight: 769 4.29/4.33 c Elapsed CPU time: 4.30635 s Remaining CPU time: 1795.69 s 4.29/4.34 c core #770 4.29/4.34 c Core size: 3 Core Weight: 1 Total Weight: 770 4.29/4.42 c Elapsed CPU time: 4.31334 s Remaining CPU time: 1795.69 s 4.29/4.42 c core #771 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 771 4.29/4.42 c Elapsed CPU time: 4.32034 s Remaining CPU time: 1795.68 s 4.29/4.42 c core #772 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 772 4.29/4.42 c Elapsed CPU time: 4.32934 s Remaining CPU time: 1795.67 s 4.29/4.42 c core #773 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 773 4.29/4.42 c Elapsed CPU time: 4.33634 s Remaining CPU time: 1795.66 s 4.29/4.42 c core #774 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 774 4.29/4.42 c Elapsed CPU time: 4.34334 s Remaining CPU time: 1795.66 s 4.29/4.42 c core #775 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 775 4.29/4.42 c Elapsed CPU time: 4.35134 s Remaining CPU time: 1795.65 s 4.29/4.42 c core #776 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 776 4.29/4.42 c Elapsed CPU time: 4.35934 s Remaining CPU time: 1795.64 s 4.29/4.42 c core #777 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 777 4.29/4.42 c Elapsed CPU time: 4.36834 s Remaining CPU time: 1795.63 s 4.29/4.42 c core #778 4.29/4.42 c Core size: 3 Core Weight: 1 Total Weight: 778 4.29/4.42 c Elapsed CPU time: 4.37533 s Remaining CPU time: 1795.62 s 4.29/4.42 c core #779 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 779 4.68/4.89 c Elapsed CPU time: 4.38233 s Remaining CPU time: 1795.62 s 4.68/4.89 c core #780 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 780 4.68/4.89 c Elapsed CPU time: 4.39033 s Remaining CPU time: 1795.61 s 4.68/4.89 c core #781 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 781 4.68/4.89 c Elapsed CPU time: 4.39833 s Remaining CPU time: 1795.6 s 4.68/4.89 c core #782 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 782 4.68/4.89 c Elapsed CPU time: 4.40633 s Remaining CPU time: 1795.59 s 4.68/4.89 c core #783 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 783 4.68/4.89 c Elapsed CPU time: 4.41433 s Remaining CPU time: 1795.59 s 4.68/4.89 c core #784 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 784 4.68/4.89 c Elapsed CPU time: 4.42233 s Remaining CPU time: 1795.58 s 4.68/4.89 c core #785 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 785 4.68/4.89 c Elapsed CPU time: 4.43033 s Remaining CPU time: 1795.57 s 4.68/4.89 c core #786 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 786 4.68/4.89 c Elapsed CPU time: 4.43832 s Remaining CPU time: 1795.56 s 4.68/4.89 c core #787 4.68/4.89 c Core size: 3 Core Weight: 1 Total Weight: 787 4.68/4.89 c Elapsed CPU time: 4.44632 s Remaining CPU time: 1795.55 s 4.75/5.17 c core #788 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 788 4.75/5.17 c Elapsed CPU time: 4.45432 s Remaining CPU time: 1795.55 s 4.75/5.17 c core #789 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 789 4.75/5.17 c Elapsed CPU time: 4.46232 s Remaining CPU time: 1795.54 s 4.75/5.17 c core #790 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 790 4.75/5.17 c Elapsed CPU time: 4.47032 s Remaining CPU time: 1795.53 s 4.75/5.17 c core #791 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 791 4.75/5.17 c Elapsed CPU time: 4.47932 s Remaining CPU time: 1795.52 s 4.75/5.17 c core #792 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 792 4.75/5.17 c Elapsed CPU time: 4.48732 s Remaining CPU time: 1795.51 s 4.75/5.17 c core #793 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 793 4.75/5.17 c Elapsed CPU time: 4.49432 s Remaining CPU time: 1795.51 s 4.75/5.17 c core #794 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 794 4.75/5.17 c Elapsed CPU time: 4.50232 s Remaining CPU time: 1795.5 s 4.75/5.17 c core #795 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 795 4.75/5.17 c Elapsed CPU time: 4.51031 s Remaining CPU time: 1795.49 s 4.75/5.17 c core #796 4.75/5.17 c Core size: 3 Core Weight: 1 Total Weight: 796 4.75/5.19 c Elapsed CPU time: 4.51831 s Remaining CPU time: 1795.48 s 4.75/5.19 c core #797 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 797 4.75/5.19 c Elapsed CPU time: 4.52631 s Remaining CPU time: 1795.47 s 4.75/5.19 c core #798 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 798 4.75/5.19 c Elapsed CPU time: 4.53431 s Remaining CPU time: 1795.47 s 4.75/5.19 c core #799 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 799 4.75/5.19 c Elapsed CPU time: 4.54231 s Remaining CPU time: 1795.46 s 4.75/5.19 c core #800 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 800 4.75/5.19 c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s 4.75/5.19 c core #801 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 801 4.75/5.19 c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s 4.75/5.19 c core #802 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 802 4.75/5.19 c Elapsed CPU time: 4.56731 s Remaining CPU time: 1795.43 s 4.75/5.19 c core #803 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 803 4.75/5.19 c Elapsed CPU time: 4.5763 s Remaining CPU time: 1795.42 s 4.75/5.19 c core #804 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 804 4.75/5.19 c Elapsed CPU time: 4.5853 s Remaining CPU time: 1795.41 s 4.75/5.19 c core #805 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 805 4.75/5.19 c Elapsed CPU time: 4.5933 s Remaining CPU time: 1795.41 s 4.75/5.19 c core #806 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 806 4.75/5.19 c Elapsed CPU time: 4.6013 s Remaining CPU time: 1795.4 s 4.75/5.19 c core #807 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 807 4.75/5.19 c Elapsed CPU time: 4.6093 s Remaining CPU time: 1795.39 s 4.75/5.19 c core #808 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 808 4.75/5.19 c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s 4.75/5.19 c core #809 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 809 4.75/5.19 c Elapsed CPU time: 4.6263 s Remaining CPU time: 1795.37 s 4.75/5.19 c core #810 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 810 4.75/5.19 c Elapsed CPU time: 4.63429 s Remaining CPU time: 1795.37 s 4.75/5.19 c core #811 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 811 4.75/5.19 c Elapsed CPU time: 4.64229 s Remaining CPU time: 1795.36 s 4.75/5.19 c core #812 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 812 4.75/5.19 c Elapsed CPU time: 4.65129 s Remaining CPU time: 1795.35 s 4.75/5.19 c core #813 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 813 4.75/5.19 c Elapsed CPU time: 4.65929 s Remaining CPU time: 1795.34 s 4.75/5.19 c core #814 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 814 4.75/5.19 c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s 4.75/5.19 c core #815 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 815 4.75/5.19 c Elapsed CPU time: 4.67629 s Remaining CPU time: 1795.32 s 4.75/5.19 c core #816 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 816 4.75/5.19 c Elapsed CPU time: 4.68529 s Remaining CPU time: 1795.31 s 4.75/5.19 c core #817 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 817 4.75/5.19 c Elapsed CPU time: 4.69229 s Remaining CPU time: 1795.31 s 4.75/5.19 c core #818 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 818 4.75/5.19 c Elapsed CPU time: 4.70029 s Remaining CPU time: 1795.3 s 4.75/5.19 c core #819 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 819 4.75/5.19 c Elapsed CPU time: 4.70928 s Remaining CPU time: 1795.29 s 4.75/5.19 c core #820 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 820 4.75/5.19 c Elapsed CPU time: 4.71728 s Remaining CPU time: 1795.28 s 4.75/5.19 c core #821 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 821 4.75/5.19 c Elapsed CPU time: 4.72528 s Remaining CPU time: 1795.27 s 4.75/5.19 c core #822 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 822 4.75/5.19 c Elapsed CPU time: 4.73428 s Remaining CPU time: 1795.27 s 4.75/5.19 c core #823 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 823 4.75/5.19 c Elapsed CPU time: 4.74228 s Remaining CPU time: 1795.26 s 4.75/5.19 c core #824 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 824 4.75/5.19 c Elapsed CPU time: 4.75128 s Remaining CPU time: 1795.25 s 4.75/5.19 c core #825 4.75/5.19 c Core size: 3 Core Weight: 1 Total Weight: 825 4.75/5.19 c Elapsed CPU time: 4.75928 s Remaining CPU time: 1795.24 s 4.75/5.20 c core #826 4.75/5.20 c Core size: 3 Core Weight: 1 Total Weight: 826 4.75/5.20 c Elapsed CPU time: 4.76828 s Remaining CPU time: 1795.23 s 4.79/5.21 c core #827 4.79/5.21 c Core size: 3 Core Weight: 1 Total Weight: 827 4.79/5.21 c Elapsed CPU time: 4.77627 s Remaining CPU time: 1795.22 s 4.79/5.22 c core #828 4.79/5.22 c Core size: 7 Core Weight: 1 Total Weight: 828 4.79/5.22 c Elapsed CPU time: 4.78527 s Remaining CPU time: 1795.21 s 4.79/5.22 c core #829 4.79/5.22 c Core size: 7 Core Weight: 1 Total Weight: 829 4.79/5.22 c Elapsed CPU time: 4.79327 s Remaining CPU time: 1795.21 s 4.79/5.23 c core #830 4.79/5.23 c Core size: 7 Core Weight: 1 Total Weight: 830 4.79/5.23 c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s 4.79/5.24 c core #831 4.79/5.24 c Core size: 7 Core Weight: 1 Total Weight: 831 4.79/5.24 c Elapsed CPU time: 4.81027 s Remaining CPU time: 1795.19 s 4.79/5.25 c core #832 4.79/5.25 c Core size: 7 Core Weight: 1 Total Weight: 832 4.79/5.25 c Elapsed CPU time: 4.81827 s Remaining CPU time: 1795.18 s 4.79/5.26 c core #833 4.79/5.26 c Core size: 7 Core Weight: 1 Total Weight: 833 4.79/5.26 c Elapsed CPU time: 4.82727 s Remaining CPU time: 1795.17 s 4.79/5.27 c core #834 4.79/5.27 c Core size: 7 Core Weight: 1 Total Weight: 834 4.79/5.27 c Elapsed CPU time: 4.83526 s Remaining CPU time: 1795.16 s 4.79/5.28 c core #835 4.79/5.28 c Core size: 7 Core Weight: 1 Total Weight: 835 4.79/5.28 c Elapsed CPU time: 4.84326 s Remaining CPU time: 1795.16 s 4.79/5.28 c core #836 4.79/5.28 c Core size: 7 Core Weight: 1 Total Weight: 836 4.79/5.28 c Elapsed CPU time: 4.85226 s Remaining CPU time: 1795.15 s 4.79/5.29 c core #837 4.79/5.29 c Core size: 7 Core Weight: 1 Total Weight: 837 4.79/5.29 c Elapsed CPU time: 4.86026 s Remaining CPU time: 1795.14 s 4.89/5.30 c core #838 4.89/5.30 c Core size: 7 Core Weight: 1 Total Weight: 838 4.89/5.30 c Elapsed CPU time: 4.86926 s Remaining CPU time: 1795.13 s 4.89/5.31 c core #839 4.89/5.31 c Core size: 7 Core Weight: 1 Total Weight: 839 4.89/5.31 c Elapsed CPU time: 4.87826 s Remaining CPU time: 1795.12 s 4.89/5.32 c core #840 4.89/5.32 c Core size: 7 Core Weight: 1 Total Weight: 840 4.89/5.32 c Elapsed CPU time: 4.88726 s Remaining CPU time: 1795.11 s 4.89/5.33 c core #841 4.89/5.33 c Core size: 11 Core Weight: 1 Total Weight: 841 4.89/5.33 c Elapsed CPU time: 4.89525 s Remaining CPU time: 1795.1 s 4.89/5.34 c core #842 4.89/5.34 c Core size: 7 Core Weight: 1 Total Weight: 842 4.89/5.34 c Elapsed CPU time: 4.90425 s Remaining CPU time: 1795.1 s 4.89/5.34 c core #843 4.89/5.34 c Core size: 11 Core Weight: 1 Total Weight: 843 4.89/5.34 c Elapsed CPU time: 4.91325 s Remaining CPU time: 1795.09 s 4.89/5.35 c core #844 4.89/5.35 c Core size: 7 Core Weight: 1 Total Weight: 844 4.89/5.35 c Elapsed CPU time: 4.92125 s Remaining CPU time: 1795.08 s 4.89/5.36 c core #845 4.89/5.36 c Core size: 7 Core Weight: 1 Total Weight: 845 4.89/5.36 c Elapsed CPU time: 4.93025 s Remaining CPU time: 1795.07 s 4.89/5.37 c core #846 4.89/5.37 c Core size: 11 Core Weight: 1 Total Weight: 846 4.89/5.37 c Elapsed CPU time: 4.93925 s Remaining CPU time: 1795.06 s 4.89/5.38 c core #847 4.89/5.38 c Core size: 7 Core Weight: 1 Total Weight: 847 4.89/5.38 c Elapsed CPU time: 4.94825 s Remaining CPU time: 1795.05 s 4.89/5.39 c core #848 4.89/5.39 c Core size: 7 Core Weight: 1 Total Weight: 848 4.89/5.39 c Elapsed CPU time: 4.95625 s Remaining CPU time: 1795.04 s 4.99/5.40 c core #849 4.99/5.40 c Core size: 7 Core Weight: 1 Total Weight: 849 4.99/5.40 c Elapsed CPU time: 4.96624 s Remaining CPU time: 1795.03 s 4.99/5.41 c core #850 4.99/5.41 c Core size: 7 Core Weight: 1 Total Weight: 850 4.99/5.41 c Elapsed CPU time: 4.97424 s Remaining CPU time: 1795.03 s 4.99/5.42 c core #851 4.99/5.42 c Core size: 23 Core Weight: 1 Total Weight: 851 4.99/5.42 c Elapsed CPU time: 4.98324 s Remaining CPU time: 1795.02 s 4.99/5.42 c core #852 4.99/5.42 c Core size: 11 Core Weight: 1 Total Weight: 852 4.99/5.42 c Elapsed CPU time: 4.99224 s Remaining CPU time: 1795.01 s 4.99/5.43 c core #853 4.99/5.43 c Core size: 7 Core Weight: 1 Total Weight: 853 4.99/5.43 c Elapsed CPU time: 5.00024 s Remaining CPU time: 1795 s 4.99/5.44 c core #854 4.99/5.44 c Core size: 7 Core Weight: 1 Total Weight: 854 4.99/5.44 c Elapsed CPU time: 5.00924 s Remaining CPU time: 1794.99 s 4.99/5.45 c core #855 4.99/5.45 c Core size: 7 Core Weight: 1 Total Weight: 855 4.99/5.45 c Elapsed CPU time: 5.01824 s Remaining CPU time: 1794.98 s 4.99/5.46 c core #856 4.99/5.46 c Core size: 7 Core Weight: 1 Total Weight: 856 4.99/5.46 c Elapsed CPU time: 5.02724 s Remaining CPU time: 1794.97 s 4.99/5.47 c core #857 4.99/5.47 c Core size: 11 Core Weight: 1 Total Weight: 857 4.99/5.47 c Elapsed CPU time: 5.03623 s Remaining CPU time: 1794.96 s 4.99/5.48 c core #858 4.99/5.48 c Core size: 11 Core Weight: 1 Total Weight: 858 4.99/5.48 c Elapsed CPU time: 5.04523 s Remaining CPU time: 1794.95 s 4.99/5.49 c core #859 4.99/5.49 c Core size: 7 Core Weight: 1 Total Weight: 859 4.99/5.49 c Elapsed CPU time: 5.05423 s Remaining CPU time: 1794.95 s 4.99/5.49 c core #860 4.99/5.49 c Core size: 11 Core Weight: 1 Total Weight: 860 4.99/5.49 c Elapsed CPU time: 5.06323 s Remaining CPU time: 1794.94 s 5.09/5.50 c core #861 5.09/5.50 c Core size: 11 Core Weight: 1 Total Weight: 861 5.09/5.50 c Elapsed CPU time: 5.07223 s Remaining CPU time: 1794.93 s 5.09/5.51 c core #862 5.09/5.51 c Core size: 11 Core Weight: 1 Total Weight: 862 5.09/5.51 c Elapsed CPU time: 5.08123 s Remaining CPU time: 1794.92 s 5.09/5.52 c core #863 5.09/5.52 c Core size: 11 Core Weight: 1 Total Weight: 863 5.09/5.52 c Elapsed CPU time: 5.09023 s Remaining CPU time: 1794.91 s 5.09/5.53 c core #864 5.09/5.53 c Core size: 7 Core Weight: 1 Total Weight: 864 5.09/5.53 c Elapsed CPU time: 5.09922 s Remaining CPU time: 1794.9 s 5.09/5.54 c core #865 5.09/5.54 c Core size: 11 Core Weight: 1 Total Weight: 865 5.09/5.54 c Elapsed CPU time: 5.10822 s Remaining CPU time: 1794.89 s 5.09/5.55 c core #866 5.09/5.55 c Core size: 11 Core Weight: 1 Total Weight: 866 5.09/5.55 c Elapsed CPU time: 5.11722 s Remaining CPU time: 1794.88 s 5.09/5.56 c core #867 5.09/5.56 c Core size: 7 Core Weight: 1 Total Weight: 867 5.09/5.56 c Elapsed CPU time: 5.12622 s Remaining CPU time: 1794.87 s 5.09/5.57 c core #868 5.09/5.57 c Core size: 11 Core Weight: 1 Total Weight: 868 5.09/5.57 c Elapsed CPU time: 5.13622 s Remaining CPU time: 1794.86 s 5.09/5.58 c core #869 5.09/5.58 c Core size: 7 Core Weight: 1 Total Weight: 869 5.09/5.58 c Elapsed CPU time: 5.14522 s Remaining CPU time: 1794.85 s 5.09/5.59 c core #870 5.09/5.59 c Core size: 15 Core Weight: 1 Total Weight: 870 5.09/5.59 c Elapsed CPU time: 5.15422 s Remaining CPU time: 1794.85 s 5.09/5.60 c core #871 5.09/5.60 c Core size: 7 Core Weight: 1 Total Weight: 871 5.09/5.60 c Elapsed CPU time: 5.16322 s Remaining CPU time: 1794.84 s 5.19/5.61 c core #872 5.19/5.61 c Core size: 7 Core Weight: 1 Total Weight: 872 5.19/5.61 c Elapsed CPU time: 5.17321 s Remaining CPU time: 1794.83 s 5.19/5.62 c core #873 5.19/5.62 c Core size: 11 Core Weight: 1 Total Weight: 873 5.19/5.62 c Elapsed CPU time: 5.18221 s Remaining CPU time: 1794.82 s 5.19/5.63 c core #874 5.19/5.63 c Core size: 7 Core Weight: 1 Total Weight: 874 5.19/5.63 c Elapsed CPU time: 5.19121 s Remaining CPU time: 1794.81 s 5.19/5.64 c core #875 5.19/5.64 c Core size: 7 Core Weight: 1 Total Weight: 875 5.19/5.64 c Elapsed CPU time: 5.20121 s Remaining CPU time: 1794.8 s 5.19/5.65 c core #876 5.19/5.65 c Core size: 11 Core Weight: 1 Total Weight: 876 5.19/5.65 c Elapsed CPU time: 5.21021 s Remaining CPU time: 1794.79 s 5.19/5.66 c core #877 5.19/5.66 c Core size: 7 Core Weight: 1 Total Weight: 877 5.19/5.66 c Elapsed CPU time: 5.21921 s Remaining CPU time: 1794.78 s 5.19/5.67 c core #878 5.19/5.67 c Core size: 15 Core Weight: 1 Total Weight: 878 5.19/5.67 c Elapsed CPU time: 5.22921 s Remaining CPU time: 1794.77 s 5.19/5.68 c core #879 5.19/5.68 c Core size: 15 Core Weight: 1 Total Weight: 879 5.19/5.68 c Elapsed CPU time: 5.2382 s Remaining CPU time: 1794.76 s 5.19/5.68 c core #880 5.19/5.68 c Core size: 11 Core Weight: 1 Total Weight: 880 5.19/5.68 c Elapsed CPU time: 5.2482 s Remaining CPU time: 1794.75 s 5.19/5.69 c core #881 5.19/5.69 c Core size: 7 Core Weight: 1 Total Weight: 881 5.19/5.69 c Elapsed CPU time: 5.2572 s Remaining CPU time: 1794.74 s 5.29/5.70 c core #882 5.29/5.70 c Core size: 7 Core Weight: 1 Total Weight: 882 5.29/5.70 c Elapsed CPU time: 5.2672 s Remaining CPU time: 1794.73 s 5.29/5.71 c core #883 5.29/5.71 c Core size: 7 Core Weight: 1 Total Weight: 883 5.29/5.71 c Elapsed CPU time: 5.2762 s Remaining CPU time: 1794.72 s 5.29/5.72 c core #884 5.29/5.72 c Core size: 7 Core Weight: 1 Total Weight: 884 5.29/5.72 c Elapsed CPU time: 5.2862 s Remaining CPU time: 1794.71 s 5.29/5.73 c core #885 5.29/5.73 c Core size: 7 Core Weight: 1 Total Weight: 885 5.29/5.73 c Elapsed CPU time: 5.29519 s Remaining CPU time: 1794.7 s 5.29/5.74 c core #886 5.29/5.74 c Core size: 7 Core Weight: 1 Total Weight: 886 5.29/5.74 c Elapsed CPU time: 5.30519 s Remaining CPU time: 1794.69 s 5.29/5.75 c core #887 5.29/5.75 c Core size: 15 Core Weight: 1 Total Weight: 887 5.29/5.75 c Elapsed CPU time: 5.31519 s Remaining CPU time: 1794.68 s 5.29/5.76 c core #888 5.29/5.76 c Core size: 15 Core Weight: 1 Total Weight: 888 5.29/5.76 c Elapsed CPU time: 5.32319 s Remaining CPU time: 1794.68 s 5.29/5.77 c core #889 5.29/5.77 c Core size: 11 Core Weight: 1 Total Weight: 889 5.29/5.77 c Elapsed CPU time: 5.33319 s Remaining CPU time: 1794.67 s 5.29/5.78 c core #890 5.29/5.78 c Core size: 11 Core Weight: 1 Total Weight: 890 5.29/5.78 c Elapsed CPU time: 5.34219 s Remaining CPU time: 1794.66 s 5.29/5.79 c core #891 5.29/5.79 c Core size: 7 Core Weight: 1 Total Weight: 891 5.29/5.79 c Elapsed CPU time: 5.35219 s Remaining CPU time: 1794.65 s 5.38/5.80 c core #892 5.38/5.80 c Core size: 7 Core Weight: 1 Total Weight: 892 5.38/5.80 c Elapsed CPU time: 5.36218 s Remaining CPU time: 1794.64 s 5.38/5.81 c core #893 5.38/5.81 c Core size: 7 Core Weight: 1 Total Weight: 893 5.38/5.81 c Elapsed CPU time: 5.37218 s Remaining CPU time: 1794.63 s 5.38/5.82 c core #894 5.38/5.82 c Core size: 7 Core Weight: 1 Total Weight: 894 5.38/5.82 c Elapsed CPU time: 5.38218 s Remaining CPU time: 1794.62 s 5.38/5.83 c core #895 5.38/5.83 c Core size: 15 Core Weight: 1 Total Weight: 895 5.38/5.83 c Elapsed CPU time: 5.39218 s Remaining CPU time: 1794.61 s 5.38/5.84 c core #896 5.38/5.84 c Core size: 11 Core Weight: 1 Total Weight: 896 5.38/5.84 c Elapsed CPU time: 5.40118 s Remaining CPU time: 1794.6 s 5.38/5.85 c core #897 5.38/5.85 c Core size: 7 Core Weight: 1 Total Weight: 897 5.38/5.85 c Elapsed CPU time: 5.41118 s Remaining CPU time: 1794.59 s 5.38/5.86 c core #898 5.38/5.86 c Core size: 7 Core Weight: 1 Total Weight: 898 5.38/5.86 c Elapsed CPU time: 5.42117 s Remaining CPU time: 1794.58 s 5.38/5.87 c core #899 5.38/5.87 c Core size: 19 Core Weight: 1 Total Weight: 899 5.38/5.87 c Elapsed CPU time: 5.43117 s Remaining CPU time: 1794.57 s 5.38/5.88 c core #900 5.38/5.88 c Core size: 11 Core Weight: 1 Total Weight: 900 5.38/5.88 c Elapsed CPU time: 5.44117 s Remaining CPU time: 1794.56 s 5.38/5.89 c core #901 5.38/5.89 c Core size: 11 Core Weight: 1 Total Weight: 901 5.38/5.89 c Elapsed CPU time: 5.45117 s Remaining CPU time: 1794.55 s 5.48/5.90 c core #902 5.48/5.90 c Core size: 7 Core Weight: 1 Total Weight: 902 5.48/5.90 c Elapsed CPU time: 5.46117 s Remaining CPU time: 1794.54 s 5.48/5.91 c core #903 5.48/5.91 c Core size: 7 Core Weight: 1 Total Weight: 903 5.48/5.91 c Elapsed CPU time: 5.47017 s Remaining CPU time: 1794.53 s 5.48/5.92 c core #904 5.48/5.92 c Core size: 15 Core Weight: 1 Total Weight: 904 5.48/5.92 c Elapsed CPU time: 5.48117 s Remaining CPU time: 1794.52 s 5.48/5.93 c core #905 5.48/5.93 c Core size: 19 Core Weight: 1 Total Weight: 905 5.48/5.93 c Elapsed CPU time: 5.48916 s Remaining CPU time: 1794.51 s 5.48/5.94 c core #906 5.48/5.94 c Core size: 15 Core Weight: 1 Total Weight: 906 5.48/5.94 c Elapsed CPU time: 5.49916 s Remaining CPU time: 1794.5 s 5.48/5.95 c core #907 5.48/5.95 c Core size: 23 Core Weight: 1 Total Weight: 907 5.48/5.95 c Elapsed CPU time: 5.50916 s Remaining CPU time: 1794.49 s 5.48/5.96 c core #908 5.48/5.96 c Core size: 7 Core Weight: 1 Total Weight: 908 5.48/5.96 c Elapsed CPU time: 5.51916 s Remaining CPU time: 1794.48 s 5.48/5.97 c core #909 5.48/5.97 c Core size: 11 Core Weight: 1 Total Weight: 909 5.48/5.97 c Elapsed CPU time: 5.53016 s Remaining CPU time: 1794.47 s 5.48/5.98 c core #910 5.48/5.98 c Core size: 7 Core Weight: 1 Total Weight: 910 5.48/5.98 c Elapsed CPU time: 5.54016 s Remaining CPU time: 1794.46 s 5.48/5.99 c core #911 5.48/5.99 c Core size: 15 Core Weight: 1 Total Weight: 911 5.48/5.99 c Elapsed CPU time: 5.55116 s Remaining CPU time: 1794.45 s 5.58/6.00 c core #912 5.58/6.00 c Core size: 15 Core Weight: 1 Total Weight: 912 5.58/6.00 c Elapsed CPU time: 5.56215 s Remaining CPU time: 1794.44 s 5.58/6.01 c core #913 5.58/6.01 c Core size: 19 Core Weight: 1 Total Weight: 913 5.58/6.01 c Elapsed CPU time: 5.57315 s Remaining CPU time: 1794.43 s 5.58/6.02 c core #914 5.58/6.02 c Core size: 19 Core Weight: 1 Total Weight: 914 5.58/6.02 c Elapsed CPU time: 5.58315 s Remaining CPU time: 1794.42 s 5.58/6.03 c core #915 5.58/6.03 c Core size: 15 Core Weight: 1 Total Weight: 915 5.58/6.03 c Elapsed CPU time: 5.59415 s Remaining CPU time: 1794.41 s 5.58/6.04 c core #916 5.58/6.04 c Core size: 15 Core Weight: 1 Total Weight: 916 5.58/6.04 c Elapsed CPU time: 5.60415 s Remaining CPU time: 1794.4 s 5.58/6.05 c core #917 5.58/6.05 c Core size: 31 Core Weight: 1 Total Weight: 917 5.58/6.05 c Elapsed CPU time: 5.61515 s Remaining CPU time: 1794.38 s 5.58/6.07 c core #918 5.58/6.07 c Core size: 11 Core Weight: 1 Total Weight: 918 5.58/6.07 c Elapsed CPU time: 5.62514 s Remaining CPU time: 1794.37 s 5.58/6.08 c core #919 5.58/6.08 c Core size: 27 Core Weight: 1 Total Weight: 919 5.58/6.08 c Elapsed CPU time: 5.63514 s Remaining CPU time: 1794.36 s 5.58/6.09 c core #920 5.58/6.09 c Core size: 11 Core Weight: 1 Total Weight: 920 5.58/6.09 c Elapsed CPU time: 5.64614 s Remaining CPU time: 1794.35 s 5.68/6.10 c core #921 5.68/6.10 c Core size: 7 Core Weight: 1 Total Weight: 921 5.68/6.10 c Elapsed CPU time: 5.65614 s Remaining CPU time: 1794.34 s 5.68/6.11 c core #922 5.68/6.11 c Core size: 11 Core Weight: 1 Total Weight: 922 5.68/6.11 c Elapsed CPU time: 5.66714 s Remaining CPU time: 1794.33 s 5.68/6.12 c core #923 5.68/6.12 c Core size: 7 Core Weight: 1 Total Weight: 923 5.68/6.12 c Elapsed CPU time: 5.67714 s Remaining CPU time: 1794.32 s 5.68/6.13 c core #924 5.68/6.13 c Core size: 19 Core Weight: 1 Total Weight: 924 5.68/6.13 c Elapsed CPU time: 5.68813 s Remaining CPU time: 1794.31 s 5.68/6.14 c core #925 5.68/6.14 c Core size: 23 Core Weight: 1 Total Weight: 925 5.68/6.14 c Elapsed CPU time: 5.69813 s Remaining CPU time: 1794.3 s 5.68/6.15 c core #926 5.68/6.15 c Core size: 7 Core Weight: 1 Total Weight: 926 5.68/6.15 c Elapsed CPU time: 5.70913 s Remaining CPU time: 1794.29 s 5.68/6.16 c core #927 5.68/6.16 c Core size: 15 Core Weight: 1 Total Weight: 927 5.68/6.16 c Elapsed CPU time: 5.71913 s Remaining CPU time: 1794.28 s 5.68/6.17 c core #928 5.68/6.17 c Core size: 19 Core Weight: 1 Total Weight: 928 5.68/6.17 c Elapsed CPU time: 5.73013 s Remaining CPU time: 1794.27 s 5.68/6.18 c core #929 5.68/6.18 c Core size: 19 Core Weight: 1 Total Weight: 929 5.68/6.18 c Elapsed CPU time: 5.74113 s Remaining CPU time: 1794.26 s 5.68/6.19 c core #930 5.68/6.19 c Core size: 15 Core Weight: 1 Total Weight: 930 5.68/6.19 c Elapsed CPU time: 5.75213 s Remaining CPU time: 1794.25 s 5.78/6.20 c core #931 5.78/6.20 c Core size: 10 Core Weight: 1 Total Weight: 931 5.78/6.20 c Elapsed CPU time: 5.76312 s Remaining CPU time: 1794.24 s 5.78/6.21 c core #932 5.78/6.21 c Core size: 7 Core Weight: 1 Total Weight: 932 5.78/6.21 c Elapsed CPU time: 5.77412 s Remaining CPU time: 1794.23 s 5.78/6.23 c core #933 5.78/6.23 c Core size: 15 Core Weight: 1 Total Weight: 933 5.78/6.23 c Elapsed CPU time: 5.78512 s Remaining CPU time: 1794.21 s 5.78/6.24 c core #934 5.78/6.24 c Core size: 11 Core Weight: 1 Total Weight: 934 5.78/6.24 c Elapsed CPU time: 5.79612 s Remaining CPU time: 1794.2 s 5.78/6.25 c core #935 5.78/6.25 c Core size: 15 Core Weight: 1 Total Weight: 935 5.78/6.25 c Elapsed CPU time: 5.80712 s Remaining CPU time: 1794.19 s 5.78/6.26 c core #936 5.78/6.26 c Core size: 11 Core Weight: 1 Total Weight: 936 5.78/6.26 c Elapsed CPU time: 5.81811 s Remaining CPU time: 1794.18 s 5.78/6.27 c core #937 5.78/6.27 c Core size: 11 Core Weight: 1 Total Weight: 937 5.78/6.27 c Elapsed CPU time: 5.82911 s Remaining CPU time: 1794.17 s 5.78/6.28 c core #938 5.78/6.28 c Core size: 15 Core Weight: 1 Total Weight: 938 5.78/6.28 c Elapsed CPU time: 5.84011 s Remaining CPU time: 1794.16 s 5.78/6.29 c core #939 5.78/6.29 c Core size: 19 Core Weight: 1 Total Weight: 939 5.78/6.29 c Elapsed CPU time: 5.85111 s Remaining CPU time: 1794.15 s 5.88/6.30 c core #940 5.88/6.30 c Core size: 15 Core Weight: 1 Total Weight: 940 5.88/6.30 c Elapsed CPU time: 5.86211 s Remaining CPU time: 1794.14 s 5.88/6.31 c core #941 5.88/6.31 c Core size: 27 Core Weight: 1 Total Weight: 941 5.88/6.31 c Elapsed CPU time: 5.87211 s Remaining CPU time: 1794.13 s 5.88/6.32 c core #942 5.88/6.32 c Core size: 23 Core Weight: 1 Total Weight: 942 5.88/6.32 c Elapsed CPU time: 5.88311 s Remaining CPU time: 1794.12 s 5.88/6.33 c core #943 5.88/6.33 c Core size: 27 Core Weight: 1 Total Weight: 943 5.88/6.33 c Elapsed CPU time: 5.8941 s Remaining CPU time: 1794.11 s 5.88/6.35 c core #944 5.88/6.35 c Core size: 15 Core Weight: 1 Total Weight: 944 5.88/6.35 c Elapsed CPU time: 5.9051 s Remaining CPU time: 1794.09 s 5.88/6.36 c core #945 5.88/6.36 c Core size: 19 Core Weight: 1 Total Weight: 945 5.88/6.36 c Elapsed CPU time: 5.9151 s Remaining CPU time: 1794.08 s 5.88/6.37 c core #946 5.88/6.37 c Core size: 11 Core Weight: 1 Total Weight: 946 5.88/6.37 c Elapsed CPU time: 5.9261 s Remaining CPU time: 1794.07 s 5.88/6.38 c core #947 5.88/6.38 c Core size: 27 Core Weight: 1 Total Weight: 947 5.88/6.38 c Elapsed CPU time: 5.9371 s Remaining CPU time: 1794.06 s 5.88/6.39 c core #948 5.88/6.39 c Core size: 19 Core Weight: 1 Total Weight: 948 5.88/6.39 c Elapsed CPU time: 5.9471 s Remaining CPU time: 1794.05 s 5.98/6.40 c core #949 5.98/6.40 c Core size: 7 Core Weight: 1 Total Weight: 949 5.98/6.40 c Elapsed CPU time: 5.95909 s Remaining CPU time: 1794.04 s 5.98/6.41 c core #950 5.98/6.41 c Core size: 35 Core Weight: 1 Total Weight: 950 5.98/6.41 c Elapsed CPU time: 5.97009 s Remaining CPU time: 1794.03 s 5.98/6.42 c core #951 5.98/6.42 c Core size: 19 Core Weight: 1 Total Weight: 951 5.98/6.42 c Elapsed CPU time: 5.98009 s Remaining CPU time: 1794.02 s 5.98/6.43 c core #952 5.98/6.43 c Core size: 27 Core Weight: 1 Total Weight: 952 5.98/6.43 c Elapsed CPU time: 5.99209 s Remaining CPU time: 1794.01 s 5.98/6.45 c core #953 5.98/6.45 c Core size: 19 Core Weight: 1 Total Weight: 953 5.98/6.45 c Elapsed CPU time: 6.00309 s Remaining CPU time: 1794 s 5.98/6.46 c core #954 5.98/6.46 c Core size: 35 Core Weight: 1 Total Weight: 954 5.98/6.46 c Elapsed CPU time: 6.01509 s Remaining CPU time: 1793.98 s 5.98/6.47 c core #955 5.98/6.47 c Core size: 15 Core Weight: 1 Total Weight: 955 5.98/6.47 c Elapsed CPU time: 6.02608 s Remaining CPU time: 1793.97 s 5.98/6.48 c core #956 5.98/6.48 c Core size: 23 Core Weight: 1 Total Weight: 956 5.98/6.48 c Elapsed CPU time: 6.03808 s Remaining CPU time: 1793.96 s 5.98/6.49 c core #957 5.98/6.49 c Core size: 31 Core Weight: 1 Total Weight: 957 5.98/6.49 c Elapsed CPU time: 6.04908 s Remaining CPU time: 1793.95 s 6.09/6.50 c core #958 6.09/6.50 c Core size: 31 Core Weight: 1 Total Weight: 958 6.09/6.50 c Elapsed CPU time: 6.06008 s Remaining CPU time: 1793.94 s 6.09/6.52 c core #959 6.09/6.52 c Core size: 19 Core Weight: 1 Total Weight: 959 6.09/6.52 c Elapsed CPU time: 6.07208 s Remaining CPU time: 1793.93 s 6.09/6.53 c core #960 6.09/6.53 c Core size: 63 Core Weight: 1 Total Weight: 960 6.09/6.53 c Elapsed CPU time: 6.08408 s Remaining CPU time: 1793.92 s 6.09/6.54 c core #961 6.09/6.54 c Core size: 31 Core Weight: 1 Total Weight: 961 6.09/6.54 c Elapsed CPU time: 6.09607 s Remaining CPU time: 1793.9 s 6.09/6.55 c core #962 6.09/6.55 c Core size: 43 Core Weight: 1 Total Weight: 962 6.09/6.55 c Elapsed CPU time: 6.10807 s Remaining CPU time: 1793.89 s 6.09/6.56 c core #963 6.09/6.56 c Core size: 78 Core Weight: 1 Total Weight: 963 6.09/6.56 c Elapsed CPU time: 6.12007 s Remaining CPU time: 1793.88 s 6.09/6.57 c core #964 6.09/6.57 c Core size: 59 Core Weight: 1 Total Weight: 964 6.09/6.57 c Elapsed CPU time: 6.13107 s Remaining CPU time: 1793.87 s 6.09/6.59 c core #965 6.09/6.59 c Core size: 55 Core Weight: 1 Total Weight: 965 6.09/6.59 c Elapsed CPU time: 6.14307 s Remaining CPU time: 1793.86 s 6.19/6.60 c core #966 6.19/6.60 c Core size: 115 Core Weight: 1 Total Weight: 966 6.19/6.60 c Elapsed CPU time: 6.15506 s Remaining CPU time: 1793.84 s 6.19/6.61 c core #967 6.19/6.61 c Core size: 35 Core Weight: 1 Total Weight: 967 6.19/6.61 c Elapsed CPU time: 6.16606 s Remaining CPU time: 1793.83 s 6.19/6.62 c core #968 6.19/6.62 c Core size: 59 Core Weight: 1 Total Weight: 968 6.19/6.62 c Elapsed CPU time: 6.17806 s Remaining CPU time: 1793.82 s 6.19/6.63 c core #969 6.19/6.63 c Core size: 63 Core Weight: 1 Total Weight: 969 6.19/6.63 c Elapsed CPU time: 6.19006 s Remaining CPU time: 1793.81 s 6.19/6.65 c core #970 6.19/6.65 c Core size: 89 Core Weight: 1 Total Weight: 970 6.19/6.65 c Elapsed CPU time: 6.20206 s Remaining CPU time: 1793.8 s 6.19/6.66 c core #971 6.19/6.66 c Core size: 66 Core Weight: 1 Total Weight: 971 6.19/6.66 c Elapsed CPU time: 6.21305 s Remaining CPU time: 1793.79 s 6.19/6.67 c core #972 6.19/6.67 c Core size: 66 Core Weight: 1 Total Weight: 972 6.19/6.67 c Elapsed CPU time: 6.22505 s Remaining CPU time: 1793.77 s 6.19/6.68 c ============================[ Search Statistics ]============================== 6.19/6.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.68 c =============================================================================== 6.19/6.68 c | 0 | 4796 6935 15815 | 5000 0 nan | 0.000 % | 6.19/6.68 c =============================================================================== 6.19/6.68 c core #973 6.19/6.68 c Core size: 69 Core Weight: 1 Total Weight: 973 6.19/6.68 c Elapsed CPU time: 6.24005 s Remaining CPU time: 1793.76 s 6.19/6.70 c ============================[ Search Statistics ]============================== 6.19/6.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.70 c =============================================================================== 6.19/6.70 c | 0 | 4830 6936 15883 | 5000 0 nan | 0.000 % | 6.29/6.71 c =============================================================================== 6.29/6.71 c core #974 6.29/6.71 c Core size: 136 Core Weight: 1 Total Weight: 974 6.29/6.71 c Elapsed CPU time: 6.25805 s Remaining CPU time: 1793.74 s 6.29/6.72 c ============================[ Search Statistics ]============================== 6.29/6.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.72 c =============================================================================== 6.29/6.72 c | 0 | 4905 6937 16023 | 5000 0 nan | 0.000 % | 6.29/6.72 c =============================================================================== 6.29/6.72 c core #975 6.29/6.72 c Core size: 53 Core Weight: 1 Total Weight: 975 6.29/6.72 c Elapsed CPU time: 6.27205 s Remaining CPU time: 1793.73 s 6.29/6.73 c ============================[ Search Statistics ]============================== 6.29/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.73 c =============================================================================== 6.29/6.73 c | 0 | 4939 6938 16080 | 5000 0 nan | 0.000 % | 6.29/6.73 c =============================================================================== 6.29/6.73 c core #976 6.29/6.73 c Core size: 138 Core Weight: 1 Total Weight: 976 6.29/6.73 c Elapsed CPU time: 6.28504 s Remaining CPU time: 1793.71 s 6.29/6.75 c ============================[ Search Statistics ]============================== 6.29/6.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.75 c =============================================================================== 6.29/6.75 c | 0 | 5033 6939 16237 | 5000 0 nan | 0.000 % | 6.29/6.75 c =============================================================================== 6.29/6.75 c core #977 6.29/6.75 c Core size: 131 Core Weight: 1 Total Weight: 977 6.29/6.75 c Elapsed CPU time: 6.30004 s Remaining CPU time: 1793.7 s 6.29/6.76 c ============================[ Search Statistics ]============================== 6.29/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.76 c =============================================================================== 6.29/6.76 c | 0 | 5119 6940 16368 | 5000 0 nan | 0.000 % | 6.29/6.77 c | 100 | 5119 6940 16368 | 5500 100 20 | 1.387 % | 6.29/6.78 c | 250 | 5090 6940 16368 | 6050 247 24 | 1.946 % | 6.29/6.78 c =============================================================================== 6.29/6.78 c core #978 6.29/6.78 c Core size: 367 Core Weight: 1 Total Weight: 978 6.29/6.78 c Elapsed CPU time: 6.33404 s Remaining CPU time: 1793.67 s 6.29/6.80 c ============================[ Search Statistics ]============================== 6.29/6.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.80 c =============================================================================== 6.29/6.80 c | 0 | 5304 6941 16719 | 5000 0 nan | 0.000 % | 6.39/6.81 c | 101 | 5298 6941 16719 | 5500 101 7 | 1.398 % | 6.39/6.81 c =============================================================================== 6.39/6.81 c core #979 6.39/6.81 c Core size: 333 Core Weight: 1 Total Weight: 979 6.39/6.81 c Elapsed CPU time: 6.35903 s Remaining CPU time: 1793.64 s 6.39/6.82 c ============================[ Search Statistics ]============================== 6.39/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.82 c =============================================================================== 6.39/6.82 c | 0 | 5464 6942 17039 | 5000 0 nan | 0.000 % | 6.39/6.83 c | 100 | 5462 6942 17039 | 5500 100 12 | 1.340 % | 6.39/6.85 c | 253 | 5450 6942 17039 | 6050 252 11 | 1.340 % | 6.39/6.87 c | 478 | 5450 6942 17039 | 6655 477 15 | 1.340 % | 6.48/6.91 c =============================================================================== 6.48/6.91 c core #980 6.48/6.91 c Core size: 516 Core Weight: 1 Total Weight: 980 6.48/6.91 c Elapsed CPU time: 6.45502 s Remaining CPU time: 1793.54 s 6.48/6.92 c ============================[ Search Statistics ]============================== 6.48/6.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.48/6.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.48/6.92 c =============================================================================== 6.48/6.92 c | 0 | 5720 6943 17536 | 5000 0 nan | 0.000 % | 6.48/6.93 c =============================================================================== 6.48/6.93 c core #981 6.48/6.93 c Core size: 90 Core Weight: 1 Total Weight: 981 6.48/6.93 c Elapsed CPU time: 6.47102 s Remaining CPU time: 1793.53 s 6.48/6.94 c ============================[ Search Statistics ]============================== 6.48/6.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.48/6.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.48/6.94 c =============================================================================== 6.48/6.94 c | 0 | 5764 6944 17624 | 5000 0 nan | 0.000 % | 6.48/6.95 c | 100 | 5764 6944 17624 | 5500 100 15 | 0.877 % | 6.48/6.97 c | 250 | 5749 6944 17624 | 6050 246 16 | 1.136 % | 6.48/6.99 c | 475 | 5740 6944 17624 | 6655 470 12 | 1.307 % | 6.48/6.99 c =============================================================================== 6.48/6.99 c core #982 6.48/6.99 c Core size: 351 Core Weight: 1 Total Weight: 982 6.48/6.99 c Elapsed CPU time: 6.53101 s Remaining CPU time: 1793.47 s 6.58/7.01 c ============================[ Search Statistics ]============================== 6.58/7.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.58/7.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.58/7.01 c =============================================================================== 6.58/7.01 c | 0 | 5929 6945 17954 | 5000 0 nan | 0.000 % | 6.58/7.02 c | 100 | 5929 6945 17954 | 5500 100 14 | 0.853 % | 6.58/7.04 c | 250 | 5929 6945 17954 | 6050 250 26 | 0.853 % | 6.58/7.07 c | 476 | 5929 6945 17954 | 6655 476 20 | 0.853 % | 6.67/7.10 c | 813 | 5929 6945 17954 | 7320 813 19 | 0.853 % | 6.67/7.15 c | 1319 | 5919 6945 17954 | 8052 1314 19 | 1.154 % | 6.77/7.23 c | 2078 | 5910 6945 17954 | 8857 2071 19 | 1.171 % | 6.88/7.39 c | 3217 | 5880 6945 17954 | 9743 2667 19 | 1.672 % | 7.08/7.56 c =============================================================================== 7.18/7.60 c core #983 7.18/7.60 c Core size: 765 Core Weight: 1 Total Weight: 983 7.18/7.60 c Elapsed CPU time: 7.12492 s Remaining CPU time: 1792.88 s 7.18/7.62 c ============================[ Search Statistics ]============================== 7.18/7.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.62 c =============================================================================== 7.18/7.62 c | 0 | 6287 6946 18650 | 5000 0 nan | 0.000 % | 7.18/7.63 c | 100 | 6287 6946 18650 | 5500 100 13 | 0.554 % | 7.18/7.65 c | 250 | 6287 6946 18650 | 6050 250 14 | 0.554 % | 7.18/7.68 c | 476 | 6287 6946 18650 | 6655 476 23 | 0.554 % | 7.28/7.72 c | 814 | 6287 6946 18650 | 7320 814 28 | 0.554 % | 7.28/7.78 c | 1320 | 6278 6946 18650 | 8052 1319 28 | 0.696 % | 7.38/7.87 c | 2083 | 6278 6946 18650 | 8857 2081 29 | 0.696 % | 7.58/8.02 c | 3222 | 6278 6946 18650 | 9743 3220 29 | 0.696 % | 7.88/8.35 c | 4930 | 6248 6946 18650 | 10717 4927 31 | 3.844 % | 7.88/8.39 c =============================================================================== 7.98/8.41 c core #984 7.98/8.41 c Core size: 716 Core Weight: 1 Total Weight: 984 7.98/8.41 c Elapsed CPU time: 7.9148 s Remaining CPU time: 1792.09 s 7.98/8.42 c ============================[ Search Statistics ]============================== 7.98/8.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.42 c =============================================================================== 7.98/8.42 c | 0 | 6621 6947 19319 | 5000 0 nan | 0.000 % | 7.98/8.43 c | 101 | 6621 6947 19319 | 5500 101 7 | 0.496 % | 7.98/8.45 c | 254 | 6621 6947 19319 | 6050 254 7 | 0.496 % | 7.98/8.46 c | 479 | 6621 6947 19319 | 6655 479 7 | 0.496 % | 7.98/8.48 c | 816 | 6608 6947 19319 | 7320 792 8 | 0.691 % | 8.07/8.51 c =============================================================================== 8.07/8.52 c core #985 8.07/8.52 c Core size: 526 Core Weight: 1 Total Weight: 985 8.07/8.52 c Elapsed CPU time: 8.02078 s Remaining CPU time: 1791.98 s 8.07/8.53 c ============================[ Search Statistics ]============================== 8.07/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.07/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.07/8.53 c =============================================================================== 8.07/8.53 c | 0 | 6864 6948 19798 | 5000 0 nan | 0.000 % | 8.07/8.55 c | 103 | 6864 6948 19798 | 5500 103 32 | 0.392 % | 8.07/8.56 c | 253 | 6861 6948 19798 | 6050 252 19 | 0.435 % | 8.07/8.58 c | 478 | 6861 6948 19798 | 6655 477 17 | 0.435 % | 8.18/8.61 c | 816 | 6861 6948 19798 | 7320 815 15 | 0.435 % | 8.18/8.67 c | 1323 | 6861 6948 19798 | 8052 1322 24 | 0.435 % | 8.27/8.77 c | 2092 | 6861 6948 19798 | 8857 2091 40 | 0.435 % | 8.48/8.95 c | 3231 | 6861 6948 19798 | 9743 3230 51 | 0.435 % | 8.78/9.21 c | 4939 | 6861 6948 19798 | 10717 4938 51 | 0.435 % | 9.06/9.59 c | 7501 | 6861 6948 19798 | 11789 7500 53 | 0.435 % | 9.76/10.25 c | 11346 | 6861 6948 19798 | 12968 11345 56 | 0.435 % | 11.06/11.56 c | 17114 | 6861 6948 19798 | 14265 10484 67 | 0.435 % | 12.87/13.34 c | 25764 | 6861 6948 19798 | 15692 11779 84 | 0.435 % | 15.86/16.36 c | 38739 | 6860 6948 19798 | 17261 8694 73 | 0.450 % | 21.55/22.00 c | 58201 | 6855 6948 19798 | 18987 10377 81 | 0.522 % | 31.94/32.49 c | 87395 | 6855 6948 19798 | 20886 10413 84 | 0.522 % | 46.63/47.11 c | 131186 | 6855 6948 19798 | 22974 11463 72 | 0.522 % | 67.73/68.24 c | 196870 | 6840 6948 19798 | 25272 18821 74 | 0.740 % | 112.01/112.55 c | 295398 | 6796 6948 19798 | 27799 24065 97 | 1.422 % | 116.91/117.48 c =============================================================================== 119.61/120.11 c core #986 119.61/120.11 c Core size: 1852 Core Weight: 1 Total Weight: 986 119.61/120.11 c Elapsed CPU time: 118.207 s Remaining CPU time: 1681.79 s 119.91/120.43 c ============================[ Search Statistics ]============================== 119.91/120.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.91/120.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.91/120.43 c =============================================================================== 119.91/120.43 c | 0 | 7665 6949 21391 | 5000 0 nan | 0.000 % | 119.91/120.49 c | 100 | 7665 6949 21391 | 5500 100 21 | 0.273 % | 120.01/120.52 c | 250 | 7665 6949 21391 | 6050 250 25 | 0.273 % | 120.01/120.56 c | 475 | 7665 6949 21391 | 6655 475 24 | 0.273 % | 120.11/120.61 c | 812 | 7665 6949 21391 | 7320 812 32 | 0.273 % | 120.11/120.67 c | 1318 | 7665 6949 21391 | 8052 1318 33 | 0.273 % | 120.31/120.86 c | 2077 | 7665 6949 21391 | 8857 2077 43 | 0.273 % | 120.71/121.22 c | 3217 | 7665 6949 21391 | 9743 3217 47 | 0.273 % | 121.21/121.77 c | 4927 | 7665 6949 21391 | 10717 4927 56 | 0.273 % | 121.91/122.41 c | 7492 | 7665 6949 21391 | 11789 7492 54 | 0.273 % | 123.01/123.54 c | 11336 | 7665 6949 21391 | 12968 11336 53 | 0.273 % | 124.31/124.86 c | 17102 | 7665 6949 21391 | 14265 10446 65 | 0.273 % | 127.90/128.42 c | 25751 | 7665 6949 21391 | 15692 11839 85 | 0.273 % | 133.60/134.17 c | 38728 | 7662 6949 21391 | 17261 8856 91 | 0.312 % | 147.01/147.52 c | 58191 | 7662 6949 21391 | 18987 10451 293 | 0.312 % | 160.99/161.55 c | 87384 | 7662 6949 21391 | 20886 10671 177 | 0.312 % | 187.38/187.97 c | 131173 | 7662 6949 21391 | 22974 11648 157 | 0.312 % | 224.07/224.64 c | 196857 | 7662 6949 21391 | 25272 18841 184 | 0.312 % | 276.85/277.44 c | 295385 | 7662 6949 21391 | 27799 24958 117 | 0.312 % | 318.83/319.47 c =============================================================================== 320.83/321.46 c core #987 320.83/321.46 c Core size: 1529 Core Weight: 1 Total Weight: 987 320.83/321.46 c Elapsed CPU time: 317.526 s Remaining CPU time: 1482.47 s 321.23/321.86 c ============================[ Search Statistics ]============================== 321.23/321.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.23/321.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.23/321.86 c =============================================================================== 321.23/321.86 c | 0 | 8293 6950 22647 | 5000 0 nan | 0.000 % | 321.33/321.93 c | 102 | 8293 6950 22647 | 5500 102 13 | 0.253 % | 321.33/321.95 c | 252 | 8293 6950 22647 | 6050 252 12 | 0.253 % | 321.33/321.98 c | 480 | 8293 6950 22647 | 6655 480 12 | 0.253 % | 321.43/322.04 c | 818 | 8293 6950 22647 | 7320 818 22 | 0.253 % | 321.52/322.16 c | 1324 | 8293 6950 22647 | 8052 1324 27 | 0.253 % | 321.62/322.26 c | 2083 | 8293 6950 22647 | 8857 2083 26 | 0.253 % | 321.72/322.38 c | 3225 | 8293 6950 22647 | 9743 3225 24 | 0.253 % | 322.12/322.71 c | 4934 | 8293 6950 22647 | 10717 4934 27 | 0.253 % | 322.53/323.16 c | 7497 | 8293 6950 22647 | 11789 7497 29 | 0.253 % | 323.63/324.25 c | 11343 | 8293 6950 22647 | 12968 11343 34 | 0.253 % | 325.52/326.10 c | 17109 | 8293 6950 22647 | 14265 10382 66 | 0.253 % | 328.33/328.93 c | 25758 | 8290 6950 22647 | 15692 11404 63 | 0.289 % | 333.12/333.79 c | 38733 | 8290 6950 22647 | 17261 8420 73 | 0.289 % | 343.92/344.55 c | 58194 | 8290 6950 22647 | 18987 10222 122 | 0.289 % | 357.61/358.21 c | 87386 | 8290 6950 22647 | 20886 9962 87 | 0.289 % | 383.01/383.60 c | 131175 | 8290 6950 22647 | 22974 11049 121 | 0.289 % | 419.69/420.38 c | 196861 | 8290 6950 22647 | 25272 17604 107 | 0.289 % | 484.07/484.73 c | 295390 | 8290 6950 22647 | 27799 12914 160 | 0.289 % | 577.05/577.73 c | 443184 | 8290 6950 22647 | 30579 15338 139 | 0.289 % | 723.30/724.07 c | 664867 | 8290 6950 22647 | 33637 30179 156 | 0.289 % | 917.84/918.65 c | 997392 | 8289 6950 22647 | 37001 24080 86 | 0.301 % | 1253.62/1254.53 c | 1496180 | 8289 6950 22647 | 40701 17781 178 | 0.301 % |
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-1875586-1245145120/watcher-1875586-1245145120 -o /tmp/evaluation-result-1875586-1245145120/solver-1875586-1245145120 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875586-1245145120.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5196 /proc/meminfo: memFree=1872328/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=2964 CPUtime=0 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 182112088 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134542170 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 741 248 125 292 0 418 0 [startup+0.0806049 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5196 /proc/meminfo: memFree=1872328/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=3512 CPUtime=0.07 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 483 0 0 0 7 0 0 0 18 0 1 0 182112088 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 878 439 133 292 0 583 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3512 [startup+0.101607 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5196 /proc/meminfo: memFree=1872328/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=3512 CPUtime=0.09 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 182112088 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135182786 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 878 439 133 292 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.30163 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5196 /proc/meminfo: memFree=1872328/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=3568 CPUtime=0.29 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 534 0 0 0 29 0 0 0 19 0 1 0 182112088 3653632 472 1992294400 134512640 135709839 4294956240 18446744073709551615 135165885 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 892 472 133 292 0 597 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3568 [startup+0.701675 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5196 /proc/meminfo: memFree=1872328/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=3832 CPUtime=0.69 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 648 0 0 0 69 0 0 0 22 0 1 0 182112088 3923968 534 1992294400 134512640 135709839 4294956240 18446744073709551615 134571162 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 958 534 133 292 0 663 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3832 [startup+1.50177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1870336/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=4708 CPUtime=1.49 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 914 0 0 0 149 0 0 0 25 0 1 0 182112088 4820992 741 1992294400 134512640 135709839 4294956240 18446744073709551615 134517345 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 1177 741 133 292 0 882 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4708 [startup+3.10195 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1868864/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=6808 CPUtime=3.09 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 2404 0 0 0 307 2 0 0 25 0 1 0 182112088 6971392 1265 1992294400 134512640 135709839 4294956240 18446744073709551615 135183509 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 1702 1265 133 292 0 1407 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6808 [startup+6.30152 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1863744/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=12704 CPUtime=5.88 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 5190 0 0 0 585 3 0 0 25 0 1 0 182112088 13008896 2718 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0 /proc/5196/statm: 3176 2718 134 292 0 2881 0 Current children cumulated CPU time (s) 5.88 Current children cumulated vsize (KiB) 12704 [startup+12.7022 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1848848/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=26840 CPUtime=12.27 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 8865 0 0 0 1209 18 0 0 25 0 1 0 182112088 27484160 6246 1992294400 134512640 135709839 4294956240 18446744073709551615 134579141 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 6710 6246 136 292 0 6415 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (KiB) 26840 [startup+25.5057 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1820752/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=53652 CPUtime=25.06 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 15564 0 0 0 2469 37 0 0 25 0 1 0 182112088 54939648 12945 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 13413 12945 136 292 0 13118 0 Current children cumulated CPU time (s) 25.06 Current children cumulated vsize (KiB) 53652 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1767440/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=107652 CPUtime=50.63 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 29089 0 0 0 4988 75 0 0 25 0 1 0 182112088 110235648 26470 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 26913 26470 136 292 0 26618 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 107652 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1687440/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=187368 CPUtime=101.81 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 49002 0 0 0 10050 131 0 0 25 0 1 0 182112088 191864832 46383 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 46842 46383 136 292 0 46547 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 187368 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1639952/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=234548 CPUtime=161.79 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 60809 0 0 0 15989 190 0 0 25 0 1 0 182112088 240177152 58190 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 58637 58190 136 292 0 58342 0 Current children cumulated CPU time (s) 161.79 Current children cumulated vsize (KiB) 234548 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1569424/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=304152 CPUtime=221.77 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 78200 0 0 0 21936 241 0 0 25 0 1 0 182112088 311451648 75581 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 76038 75581 136 292 0 75743 0 Current children cumulated CPU time (s) 221.77 Current children cumulated vsize (KiB) 304152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1478160/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=395892 CPUtime=281.74 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 101142 0 0 0 27868 306 0 0 25 0 1 0 182112088 405393408 98523 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 98973 98523 136 292 0 98678 0 Current children cumulated CPU time (s) 281.74 Current children cumulated vsize (KiB) 395892 [startup+342.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1422288/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=450984 CPUtime=341.72 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 114871 0 0 0 33809 363 0 0 25 0 1 0 182112088 461807616 112252 1992294400 134512640 135709839 4294956240 18446744073709551615 134572382 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 112746 112252 136 292 0 112451 0 Current children cumulated CPU time (s) 341.72 Current children cumulated vsize (KiB) 450984 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1410640/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=463128 CPUtime=401.7 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 117958 0 0 0 39760 410 0 0 25 0 1 0 182112088 474243072 115339 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 115782 115339 136 292 0 115487 0 Current children cumulated CPU time (s) 401.7 Current children cumulated vsize (KiB) 463128 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1334160/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=538880 CPUtime=461.68 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 136892 0 0 0 45711 457 0 0 25 0 1 0 182112088 551813120 134273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 134720 134273 136 292 0 134425 0 Current children cumulated CPU time (s) 461.68 Current children cumulated vsize (KiB) 538880 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1254096/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=619908 CPUtime=521.66 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 157113 0 0 0 51668 498 0 0 25 0 1 0 182112088 634785792 154494 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 154977 154494 136 292 0 154682 0 Current children cumulated CPU time (s) 521.66 Current children cumulated vsize (KiB) 619908 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1171472/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=701640 CPUtime=581.64 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 177535 0 0 0 57621 543 0 0 25 0 1 0 182112088 718479360 174916 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 175410 174916 136 292 0 175115 0 Current children cumulated CPU time (s) 581.64 Current children cumulated vsize (KiB) 701640 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1089680/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=784092 CPUtime=641.62 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 198143 0 0 0 63572 590 0 0 25 0 1 0 182112088 802910208 195524 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 196023 195524 136 292 0 195728 0 Current children cumulated CPU time (s) 641.62 Current children cumulated vsize (KiB) 784092 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=1005392/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=867536 CPUtime=701.6 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 218988 0 0 0 69525 635 0 0 25 0 1 0 182112088 888356864 216369 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 216884 216369 136 292 0 216589 0 Current children cumulated CPU time (s) 701.6 Current children cumulated vsize (KiB) 867536 [startup+762.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=931856/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=941052 CPUtime=761.58 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 237372 0 0 0 75474 684 0 0 25 0 1 0 182112088 963637248 234753 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 235263 234753 136 292 0 234968 0 Current children cumulated CPU time (s) 761.58 Current children cumulated vsize (KiB) 941052 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5197 /proc/meminfo: memFree=856144/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1016580 CPUtime=821.56 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 256232 0 0 0 81421 735 0 0 25 0 1 0 182112088 1040977920 253613 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 254145 253613 136 292 0 253850 0 Current children cumulated CPU time (s) 821.56 Current children cumulated vsize (KiB) 1016580 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=779088/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1092788 CPUtime=881.54 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 275286 0 0 0 87361 793 0 0 25 0 1 0 182112088 1119014912 272667 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 273197 272667 136 292 0 272902 0 Current children cumulated CPU time (s) 881.54 Current children cumulated vsize (KiB) 1092788 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=701776/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1171468 CPUtime=941.52 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 294942 0 0 0 93300 852 0 0 25 0 1 0 182112088 1199583232 292323 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 292867 292323 136 292 0 292572 0 Current children cumulated CPU time (s) 941.52 Current children cumulated vsize (KiB) 1171468 [startup+1002.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=616272/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1255644 CPUtime=1001.5 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 315985 0 0 0 99252 898 0 0 25 0 1 0 182112088 1285779456 313366 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 313911 313366 136 292 0 313616 0 Current children cumulated CPU time (s) 1001.5 Current children cumulated vsize (KiB) 1255644 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=536016/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1336596 CPUtime=1061.48 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 336217 0 0 0 105202 946 0 0 25 0 1 0 182112088 1368674304 333598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 334149 333598 136 292 0 333854 0 Current children cumulated CPU time (s) 1061.48 Current children cumulated vsize (KiB) 1336596 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=420944/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1450636 CPUtime=1121.45 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 364703 0 0 0 111143 1002 0 0 25 0 1 0 182112088 1485451264 362084 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 362659 362084 136 292 0 362364 0 Current children cumulated CPU time (s) 1121.45 Current children cumulated vsize (KiB) 1450636 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=307600/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1564864 CPUtime=1181.44 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 393272 0 0 0 117084 1060 0 0 25 0 1 0 182112088 1602420736 390653 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 391216 390653 136 292 0 390921 0 Current children cumulated CPU time (s) 1181.44 Current children cumulated vsize (KiB) 1564864 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=206288/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1664756 CPUtime=1241.42 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 418229 0 0 0 123035 1107 0 0 25 0 1 0 182112088 1704710144 415610 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 416189 415610 136 292 0 415894 0 Current children cumulated CPU time (s) 1241.42 Current children cumulated vsize (KiB) 1664756 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5199 /proc/meminfo: memFree=112784/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1758620 CPUtime=1301.4 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 441650 0 0 0 128984 1156 0 0 25 0 1 0 182112088 1800826880 439031 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 439655 439031 136 292 0 439360 0 Current children cumulated CPU time (s) 1301.4 Current children cumulated vsize (KiB) 1758620 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1360 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5205 /proc/meminfo: memFree=27280/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=1843292 CPUtime=1359.08 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4194304 462814 0 0 0 134707 1201 0 0 25 0 1 0 182112088 1887531008 460195 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 460823 460195 136 292 0 460528 0 Current children cumulated CPU time (s) 1359.08 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1360.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5205 /proc/meminfo: memFree=27280/2055920 swapFree=4191900/4192956 [pid=5196] ppid=5194 vsize=0 CPUtime=1359.28 /proc/5196/stat : 5196 (wbo) R 5194 5196 5117 0 -1 4195332 462815 0 0 0 134707 1221 0 0 25 0 1 0 182112088 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5196/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1359.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1360.27 CPU time (s): 1359.35 CPU user time (s): 1347.07 CPU system time (s): 12.2791 CPU usage (%): 99.9324 Max. virtual memory (cumulated for all children) (KiB): 1843292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1347.07 system time used= 12.2791 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462815 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= 4 involuntary context switches= 4326 runsolver used 1.12083 second user time and 4.19336 second system time The end
Begin job on node28 at 2009-06-16 11:38:40 IDJOB=1875586 IDBENCH=1988 IDSOLVER=698 FILE ID=node28/1875586-1245145120 PBS_JOBID= 9363745 Free space on /tmp= 66176 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_8.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-1875586-1245145120/watcher-1875586-1245145120 -o /tmp/evaluation-result-1875586-1245145120/solver-1875586-1245145120 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875586-1245145120.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 810966efbb409d6e2e91a116be6e9263 RANDOM SEED=214376406 node28.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: 1872808 kB Buffers: 17412 kB Cached: 94868 kB SwapCached: 260 kB Active: 20548 kB Inactive: 105784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872808 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2488 kB Writeback: 0 kB Mapped: 22572 kB Slab: 42540 kB Committed_AS: 150972 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875586-1245145120.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-16 12:01:23