Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.25 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb |
MD5SUM | 77b4ba393aa7b9b6b0fcb1b4220a12a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1049 |
Best CPU time to get the best result obtained on this benchmark | 1797.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1036 |
Optimality of the best value was proved | NO |
Number of variables | 1969 |
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 | 1969 |
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 | 1969 |
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 | 1969 |
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-1875710-1245145269.opb. 0.00/0.00 c Instance file HOME/instance-1875710-1245145269.opb 0.00/0.00 c File size is 112325 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: 1969 | 0.00/0.01 c | Number Clauses: 5969 | 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.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Elapsed CPU time: 0.037994 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.041993 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.044993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #10 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #11 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 11 0.04/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #12 0.04/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.04/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #13 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 13 0.04/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #14 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 14 0.04/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #15 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 15 0.04/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #16 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 16 0.04/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #17 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 17 0.04/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #18 0.04/0.07 c Core size: 3 Core Weight: 1 Total Weight: 18 0.04/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #19 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 19 0.04/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #20 0.04/0.08 c Core size: 3 Core Weight: 1 Total Weight: 20 0.04/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #21 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 21 0.04/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #22 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 22 0.04/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #23 0.04/0.09 c Core size: 3 Core Weight: 1 Total Weight: 23 0.04/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.04/0.10 c core #24 0.04/0.10 c Core size: 3 Core Weight: 1 Total Weight: 24 0.04/0.10 c Elapsed CPU time: 0.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.106983 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.117982 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.144977 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.172973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #45 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 45 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #46 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 46 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #47 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #48 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.19 c Elapsed CPU time: 0.186971 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.19097 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.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #51 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 51 0.19/0.20 c Elapsed CPU time: 0.197969 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.201969 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.205968 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.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #55 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #56 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #57 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 57 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #58 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 58 0.19/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #59 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 59 0.19/0.23 c Elapsed CPU time: 0.228965 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.232964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #61 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 61 0.19/0.23 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #62 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 62 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #63 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 63 0.19/0.24 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #64 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 64 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #65 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 65 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.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.254961 s Remaining CPU time: 1799.75 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.25896 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.26296 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #69 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 69 0.19/0.27 c Elapsed CPU time: 0.266959 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.270958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #71 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 71 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #72 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 72 0.19/0.28 c Elapsed CPU time: 0.278957 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.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #74 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.29 c Elapsed CPU time: 0.286956 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.290955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #76 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.29 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #77 0.19/0.30 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.30 c Elapsed CPU time: 0.297954 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.301954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #79 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 79 0.29/0.30 c Elapsed CPU time: 0.305953 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.309952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #81 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 81 0.29/0.31 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #82 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 82 0.29/0.32 c Elapsed CPU time: 0.317951 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.320951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #84 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 84 0.29/0.32 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #85 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 85 0.29/0.33 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #86 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 86 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #87 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 87 0.29/0.34 c Elapsed CPU time: 0.336948 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.340948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #89 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 89 0.29/0.34 c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #90 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 90 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #91 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 91 0.29/0.35 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #92 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 92 0.29/0.36 c Elapsed CPU time: 0.356945 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.359945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #94 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 94 0.29/0.36 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #95 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 95 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #96 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 96 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #97 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 97 0.29/0.37 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #98 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 98 0.29/0.38 c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #99 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 99 0.29/0.38 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #100 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 100 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #101 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 101 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #102 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 102 0.29/0.39 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #103 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 103 0.39/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #104 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 104 0.39/0.40 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #105 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 105 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #106 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 106 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #107 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 107 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #108 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 108 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #109 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 109 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #110 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 110 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #111 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 111 0.39/0.43 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.39/0.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.434933 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #113 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 113 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #114 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 114 0.39/0.44 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #115 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 115 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #116 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 116 0.39/0.45 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #117 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 117 0.39/0.46 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #118 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 118 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #119 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 119 0.39/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #120 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 120 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #121 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 121 0.39/0.47 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #122 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 122 0.39/0.48 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #123 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 123 0.39/0.48 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #124 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 124 0.39/0.48 c Elapsed CPU time: 0.483926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #125 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 125 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #126 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 126 0.39/0.49 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s 0.39/0.50 c core #127 0.39/0.50 c Core size: 3 Core Weight: 1 Total Weight: 127 0.39/0.50 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #128 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 128 0.49/0.50 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #129 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 129 0.49/0.50 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #130 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 130 0.49/0.51 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #131 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 131 0.49/0.51 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #132 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 132 0.49/0.52 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #133 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 133 0.49/0.52 c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #134 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 134 0.49/0.52 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #135 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 135 0.49/0.53 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #136 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 136 0.49/0.53 c Elapsed CPU time: 0.532918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #137 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 137 0.49/0.54 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #138 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 138 0.49/0.54 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #139 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 139 0.49/0.54 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #140 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 140 0.49/0.55 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #141 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 141 0.49/0.55 c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #142 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 142 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #143 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 143 0.49/0.56 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #144 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 144 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #145 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 145 0.49/0.57 c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #146 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 146 0.49/0.57 c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #147 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 147 0.49/0.58 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #148 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 148 0.49/0.58 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #149 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 149 0.49/0.59 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #150 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 150 0.49/0.59 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #151 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 151 0.49/0.59 c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #152 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 152 0.59/0.60 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #153 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 153 0.59/0.60 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #154 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 154 0.59/0.61 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #155 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 155 0.59/0.61 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #156 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 156 0.59/0.62 c Elapsed CPU time: 0.615906 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #157 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 157 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #158 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 158 0.59/0.62 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #159 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 159 0.59/0.63 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #160 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 160 0.59/0.63 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #161 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 161 0.59/0.64 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #162 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 162 0.59/0.64 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #163 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 163 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #164 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 164 0.59/0.65 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #165 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 165 0.59/0.65 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #166 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 166 0.59/0.66 c Elapsed CPU time: 0.6569 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #167 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 167 0.59/0.66 c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #168 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 168 0.59/0.67 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #169 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 169 0.59/0.67 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #170 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 170 0.59/0.67 c Elapsed CPU time: 0.673897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #171 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 171 0.59/0.68 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #172 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 172 0.59/0.68 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #173 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 173 0.59/0.69 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #174 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 174 0.59/0.69 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.59/0.70 c core #175 0.59/0.70 c Core size: 3 Core Weight: 1 Total Weight: 175 0.59/0.70 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #176 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 176 0.69/0.70 c Elapsed CPU time: 0.699893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #177 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 177 0.69/0.71 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #178 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 178 0.69/0.71 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #179 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 179 0.69/0.71 c Elapsed CPU time: 0.712891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #180 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 180 0.69/0.72 c Elapsed CPU time: 0.716891 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #181 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 181 0.69/0.72 c Elapsed CPU time: 0.72189 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #182 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 182 0.69/0.73 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #183 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 183 0.69/0.73 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #184 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 184 0.69/0.74 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #185 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 185 0.69/0.74 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #186 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 186 0.69/0.74 c Elapsed CPU time: 0.743886 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #187 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 187 0.69/0.75 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #188 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 188 0.69/0.75 c Elapsed CPU time: 0.752885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #189 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 189 0.69/0.76 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #190 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 190 0.69/0.76 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #191 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 191 0.69/0.77 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #192 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 192 0.69/0.77 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #193 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 193 0.69/0.78 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #194 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 194 0.69/0.78 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #195 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 195 0.69/0.78 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #196 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 196 0.69/0.79 c Elapsed CPU time: 0.78888 s Remaining CPU time: 1799.21 s 0.69/0.79 c core #197 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 197 0.69/0.79 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #198 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 198 0.79/0.80 c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #199 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 199 0.79/0.80 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #200 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 200 0.79/0.81 c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #201 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 201 0.79/0.81 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #202 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 202 0.79/0.82 c Elapsed CPU time: 0.815875 s Remaining CPU time: 1799.18 s 0.79/0.82 c core #203 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 203 0.79/0.82 c Elapsed CPU time: 0.820875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #204 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 204 0.79/0.83 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #205 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 205 0.79/0.83 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #206 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 206 0.79/0.84 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #207 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 207 0.79/0.84 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #208 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 208 0.79/0.84 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #209 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 209 0.79/0.85 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.79/0.85 c core #210 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 210 0.79/0.85 c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #211 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 211 0.79/0.86 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #212 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 212 0.79/0.86 c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #213 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 213 0.79/0.87 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.87 c core #214 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 214 0.79/0.87 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #215 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 215 0.79/0.88 c Elapsed CPU time: 0.874867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #216 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 216 0.79/0.88 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #217 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 217 0.79/0.89 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #218 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 218 0.79/0.89 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.79/0.90 c core #219 0.79/0.90 c Core size: 3 Core Weight: 1 Total Weight: 219 0.79/0.90 c Elapsed CPU time: 0.893864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #220 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: 220 0.89/0.90 c Elapsed CPU time: 0.898863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #221 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 221 0.89/0.91 c Elapsed CPU time: 0.903862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #222 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 222 0.89/0.91 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #223 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 223 0.89/0.92 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #224 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 224 0.89/0.92 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.89/0.92 c core #225 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 225 0.89/0.92 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #226 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 226 0.89/0.93 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.93 c core #227 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 227 0.89/0.93 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #228 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 228 0.89/0.94 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 s 0.89/0.94 c core #229 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 229 0.89/0.94 c Elapsed CPU time: 0.942856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #230 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 230 0.89/0.95 c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s 0.89/0.95 c core #231 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 231 0.89/0.95 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #232 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 232 0.89/0.96 c Elapsed CPU time: 0.957854 s Remaining CPU time: 1799.04 s 0.89/0.96 c core #233 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 233 0.89/0.96 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #234 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 234 0.89/0.97 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 0.89/0.97 c core #235 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 235 0.89/0.97 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #236 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 236 0.89/0.98 c Elapsed CPU time: 0.977851 s Remaining CPU time: 1799.02 s 0.89/0.98 c core #237 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 237 0.89/0.98 c Elapsed CPU time: 0.98185 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #238 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 238 0.89/0.99 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 s 0.89/0.99 c core #239 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 239 0.89/0.99 c Elapsed CPU time: 0.991849 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #240 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 240 0.89/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 0.99/1.00 c core #241 0.99/1.00 c Core size: 3 Core Weight: 1 Total Weight: 241 0.99/1.00 c Elapsed CPU time: 1.00285 s Remaining CPU time: 1799 s 0.99/1.01 c core #242 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 242 0.99/1.01 c Elapsed CPU time: 1.00785 s Remaining CPU time: 1798.99 s 0.99/1.01 c core #243 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 243 0.99/1.01 c Elapsed CPU time: 1.01285 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #244 0.99/1.02 c Core size: 3 Core Weight: 1 Total Weight: 244 0.99/1.02 c Elapsed CPU time: 1.01784 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #245 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 245 0.99/1.03 c Elapsed CPU time: 1.02284 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #246 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 246 0.99/1.03 c Elapsed CPU time: 1.02784 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #247 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 247 0.99/1.04 c Elapsed CPU time: 1.03284 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #248 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 248 0.99/1.04 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #249 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 249 0.99/1.05 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #250 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 250 0.99/1.05 c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #251 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 251 0.99/1.06 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #252 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 252 0.99/1.06 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #253 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 253 0.99/1.07 c Elapsed CPU time: 1.06284 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #254 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 254 0.99/1.07 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #255 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 255 0.99/1.08 c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #256 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 256 0.99/1.08 c Elapsed CPU time: 1.07984 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #257 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: 257 0.99/1.09 c Elapsed CPU time: 1.08483 s Remaining CPU time: 1798.92 s 0.99/1.10 c core #258 0.99/1.10 c Core size: 3 Core Weight: 1 Total Weight: 258 0.99/1.10 c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s 1.09/1.10 c core #259 1.09/1.10 c Core size: 3 Core Weight: 1 Total Weight: 259 1.09/1.10 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #260 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 260 1.09/1.11 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #261 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 261 1.09/1.11 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #262 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 262 1.09/1.12 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #263 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 263 1.09/1.12 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #264 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 264 1.09/1.13 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #265 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 265 1.09/1.13 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #266 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 266 1.09/1.14 c Elapsed CPU time: 1.13183 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #267 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 267 1.09/1.14 c Elapsed CPU time: 1.13683 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #268 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 268 1.09/1.15 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #269 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 269 1.09/1.15 c Elapsed CPU time: 1.14783 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #270 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 270 1.09/1.16 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #271 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 271 1.09/1.16 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #272 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 272 1.09/1.17 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.09/1.18 c core #273 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 273 1.09/1.18 c Elapsed CPU time: 1.16882 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #274 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 274 1.09/1.18 c Elapsed CPU time: 1.17382 s Remaining CPU time: 1798.83 s 1.09/1.19 c core #275 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 275 1.09/1.19 c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #276 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 276 1.09/1.19 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.18/1.20 c core #277 1.18/1.20 c Core size: 3 Core Weight: 1 Total Weight: 277 1.18/1.20 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.18/1.20 c core #278 1.18/1.20 c Core size: 3 Core Weight: 1 Total Weight: 278 1.18/1.20 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.18/1.21 c core #279 1.18/1.21 c Core size: 3 Core Weight: 1 Total Weight: 279 1.18/1.21 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.18/1.21 c core #280 1.18/1.21 c Core size: 3 Core Weight: 1 Total Weight: 280 1.18/1.21 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.18/1.22 c core #281 1.18/1.22 c Core size: 3 Core Weight: 1 Total Weight: 281 1.18/1.22 c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s 1.18/1.22 c core #282 1.18/1.22 c Core size: 3 Core Weight: 1 Total Weight: 282 1.18/1.22 c Elapsed CPU time: 1.21481 s Remaining CPU time: 1798.79 s 1.18/1.23 c core #283 1.18/1.23 c Core size: 3 Core Weight: 1 Total Weight: 283 1.18/1.23 c Elapsed CPU time: 1.21981 s Remaining CPU time: 1798.78 s 1.18/1.24 c core #284 1.18/1.24 c Core size: 3 Core Weight: 1 Total Weight: 284 1.18/1.24 c Elapsed CPU time: 1.22481 s Remaining CPU time: 1798.78 s 1.18/1.24 c core #285 1.18/1.24 c Core size: 3 Core Weight: 1 Total Weight: 285 1.18/1.24 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.18/1.25 c core #286 1.18/1.25 c Core size: 3 Core Weight: 1 Total Weight: 286 1.18/1.25 c Elapsed CPU time: 1.23481 s Remaining CPU time: 1798.77 s 1.18/1.25 c core #287 1.18/1.25 c Core size: 3 Core Weight: 1 Total Weight: 287 1.18/1.25 c Elapsed CPU time: 1.23981 s Remaining CPU time: 1798.76 s 1.18/1.26 c core #288 1.18/1.26 c Core size: 3 Core Weight: 1 Total Weight: 288 1.18/1.26 c Elapsed CPU time: 1.24581 s Remaining CPU time: 1798.75 s 1.18/1.26 c core #289 1.18/1.26 c Core size: 3 Core Weight: 1 Total Weight: 289 1.18/1.26 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.18/1.27 c core #290 1.18/1.27 c Core size: 3 Core Weight: 1 Total Weight: 290 1.18/1.27 c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s 1.18/1.27 c core #291 1.18/1.27 c Core size: 3 Core Weight: 1 Total Weight: 291 1.18/1.27 c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s 1.18/1.28 c core #292 1.18/1.28 c Core size: 3 Core Weight: 1 Total Weight: 292 1.18/1.28 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.18/1.29 c core #293 1.18/1.29 c Core size: 3 Core Weight: 1 Total Weight: 293 1.18/1.29 c Elapsed CPU time: 1.27281 s Remaining CPU time: 1798.73 s 1.18/1.29 c core #294 1.18/1.29 c Core size: 3 Core Weight: 1 Total Weight: 294 1.18/1.29 c Elapsed CPU time: 1.2788 s Remaining CPU time: 1798.72 s 1.28/1.30 c core #295 1.28/1.30 c Core size: 3 Core Weight: 1 Total Weight: 295 1.28/1.30 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.28/1.30 c core #296 1.28/1.30 c Core size: 3 Core Weight: 1 Total Weight: 296 1.28/1.30 c Elapsed CPU time: 1.2898 s Remaining CPU time: 1798.71 s 1.28/1.31 c core #297 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: 297 1.28/1.31 c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s 1.28/1.31 c core #298 1.28/1.31 c Core size: 3 Core Weight: 1 Total Weight: 298 1.28/1.31 c Elapsed CPU time: 1.3008 s Remaining CPU time: 1798.7 s 1.28/1.32 c core #299 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: 299 1.28/1.32 c Elapsed CPU time: 1.3068 s Remaining CPU time: 1798.69 s 1.28/1.32 c core #300 1.28/1.32 c Core size: 3 Core Weight: 1 Total Weight: 300 1.28/1.32 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.28/1.33 c core #301 1.28/1.33 c Core size: 3 Core Weight: 1 Total Weight: 301 1.28/1.33 c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s 1.28/1.34 c core #302 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: 302 1.28/1.34 c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s 1.28/1.34 c core #303 1.28/1.34 c Core size: 3 Core Weight: 1 Total Weight: 303 1.28/1.34 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 1.28/1.35 c core #304 1.28/1.35 c Core size: 3 Core Weight: 1 Total Weight: 304 1.28/1.35 c Elapsed CPU time: 1.3338 s Remaining CPU time: 1798.67 s 1.28/1.35 c core #305 1.28/1.35 c Core size: 3 Core Weight: 1 Total Weight: 305 1.28/1.35 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.28/1.36 c core #306 1.28/1.36 c Core size: 3 Core Weight: 1 Total Weight: 306 1.28/1.36 c Elapsed CPU time: 1.3458 s Remaining CPU time: 1798.65 s 1.28/1.36 c core #307 1.28/1.36 c Core size: 3 Core Weight: 1 Total Weight: 307 1.28/1.36 c Elapsed CPU time: 1.35079 s Remaining CPU time: 1798.65 s 1.28/1.37 c core #308 1.28/1.37 c Core size: 3 Core Weight: 1 Total Weight: 308 1.28/1.37 c Elapsed CPU time: 1.35679 s Remaining CPU time: 1798.64 s 1.28/1.37 c core #309 1.28/1.37 c Core size: 3 Core Weight: 1 Total Weight: 309 1.28/1.37 c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s 1.28/1.38 c core #310 1.28/1.38 c Core size: 3 Core Weight: 1 Total Weight: 310 1.28/1.38 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.28/1.39 c core #311 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: 311 1.28/1.39 c Elapsed CPU time: 1.37279 s Remaining CPU time: 1798.63 s 1.28/1.39 c core #312 1.28/1.39 c Core size: 3 Core Weight: 1 Total Weight: 312 1.28/1.39 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.28/1.40 c core #313 1.28/1.40 c Core size: 3 Core Weight: 1 Total Weight: 313 1.28/1.40 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.38/1.40 c core #314 1.38/1.40 c Core size: 3 Core Weight: 1 Total Weight: 314 1.38/1.40 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.38/1.41 c core #315 1.38/1.41 c Core size: 3 Core Weight: 1 Total Weight: 315 1.38/1.41 c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s 1.38/1.41 c core #316 1.38/1.41 c Core size: 3 Core Weight: 1 Total Weight: 316 1.38/1.41 c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s 1.38/1.42 c core #317 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: 317 1.38/1.42 c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s 1.38/1.42 c core #318 1.38/1.42 c Core size: 3 Core Weight: 1 Total Weight: 318 1.38/1.42 c Elapsed CPU time: 1.41278 s Remaining CPU time: 1798.59 s 1.38/1.43 c core #319 1.38/1.43 c Core size: 3 Core Weight: 1 Total Weight: 319 1.38/1.43 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.38/1.44 c core #320 1.38/1.44 c Core size: 3 Core Weight: 1 Total Weight: 320 1.38/1.44 c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s 1.38/1.44 c core #321 1.38/1.44 c Core size: 3 Core Weight: 1 Total Weight: 321 1.38/1.44 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #322 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: 322 1.38/1.45 c Elapsed CPU time: 1.43478 s Remaining CPU time: 1798.57 s 1.38/1.45 c core #323 1.38/1.45 c Core size: 3 Core Weight: 1 Total Weight: 323 1.38/1.45 c Elapsed CPU time: 1.44078 s Remaining CPU time: 1798.56 s 1.38/1.46 c core #324 1.38/1.46 c Core size: 3 Core Weight: 1 Total Weight: 324 1.38/1.46 c Elapsed CPU time: 1.44678 s Remaining CPU time: 1798.55 s 1.38/1.46 c core #325 1.38/1.46 c Core size: 3 Core Weight: 1 Total Weight: 325 1.38/1.46 c Elapsed CPU time: 1.45178 s Remaining CPU time: 1798.55 s 1.38/1.47 c core #326 1.38/1.47 c Core size: 3 Core Weight: 1 Total Weight: 326 1.38/1.47 c Elapsed CPU time: 1.45778 s Remaining CPU time: 1798.54 s 1.38/1.48 c core #327 1.38/1.48 c Core size: 3 Core Weight: 1 Total Weight: 327 1.38/1.48 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.38/1.48 c core #328 1.38/1.48 c Core size: 3 Core Weight: 1 Total Weight: 328 1.38/1.48 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.38/1.49 c core #329 1.38/1.49 c Core size: 3 Core Weight: 1 Total Weight: 329 1.38/1.49 c Elapsed CPU time: 1.47378 s Remaining CPU time: 1798.53 s 1.38/1.49 c core #330 1.38/1.49 c Core size: 3 Core Weight: 1 Total Weight: 330 1.38/1.49 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.48/1.50 c core #331 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: 331 1.48/1.50 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.48/1.50 c core #332 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: 332 1.48/1.50 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #333 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: 333 1.48/1.51 c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s 1.48/1.51 c core #334 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: 334 1.48/1.51 c Elapsed CPU time: 1.49977 s Remaining CPU time: 1798.5 s 1.48/1.52 c core #335 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: 335 1.48/1.52 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.48/1.53 c core #336 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: 336 1.48/1.53 c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s 1.48/1.53 c core #337 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: 337 1.48/1.53 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s 1.48/1.54 c core #338 1.48/1.54 c Core size: 3 Core Weight: 1 Total Weight: 338 1.48/1.54 c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s 1.48/1.54 c core #339 1.48/1.54 c Core size: 3 Core Weight: 1 Total Weight: 339 1.48/1.54 c Elapsed CPU time: 1.52777 s Remaining CPU time: 1798.47 s 1.48/1.55 c core #340 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 340 1.48/1.55 c Elapsed CPU time: 1.53377 s Remaining CPU time: 1798.47 s 1.48/1.55 c core #341 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 341 1.48/1.55 c Elapsed CPU time: 1.53977 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #342 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: 342 1.48/1.56 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.48/1.57 c core #343 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 343 1.48/1.57 c Elapsed CPU time: 1.55076 s Remaining CPU time: 1798.45 s 1.48/1.57 c core #344 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 344 1.48/1.57 c Elapsed CPU time: 1.55676 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #345 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: 345 1.48/1.58 c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #346 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: 346 1.48/1.58 c Elapsed CPU time: 1.56776 s Remaining CPU time: 1798.43 s 1.48/1.59 c core #347 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: 347 1.48/1.59 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.48/1.59 c core #348 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: 348 1.48/1.59 c Elapsed CPU time: 1.57876 s Remaining CPU time: 1798.42 s 1.58/1.60 c core #349 1.58/1.60 c Core size: 3 Core Weight: 1 Total Weight: 349 1.58/1.60 c Elapsed CPU time: 1.58476 s Remaining CPU time: 1798.42 s 1.58/1.61 c core #350 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: 350 1.58/1.61 c Elapsed CPU time: 1.59076 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #351 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: 351 1.58/1.61 c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #352 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: 352 1.58/1.62 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #353 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: 353 1.58/1.62 c Elapsed CPU time: 1.60776 s Remaining CPU time: 1798.39 s 1.58/1.63 c core #354 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 354 1.58/1.63 c Elapsed CPU time: 1.61375 s Remaining CPU time: 1798.39 s 1.58/1.63 c core #355 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 355 1.58/1.63 c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #356 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: 356 1.58/1.64 c Elapsed CPU time: 1.62575 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #357 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: 357 1.58/1.65 c Elapsed CPU time: 1.63075 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #358 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: 358 1.58/1.65 c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #359 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: 359 1.58/1.66 c Elapsed CPU time: 1.64175 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #360 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: 360 1.58/1.66 c Elapsed CPU time: 1.64775 s Remaining CPU time: 1798.35 s 1.58/1.67 c core #361 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: 361 1.58/1.67 c Elapsed CPU time: 1.65375 s Remaining CPU time: 1798.35 s 1.58/1.68 c core #362 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 362 1.58/1.68 c Elapsed CPU time: 1.65975 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #363 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 363 1.58/1.68 c Elapsed CPU time: 1.66575 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #364 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 364 1.58/1.69 c Elapsed CPU time: 1.67175 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #365 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 365 1.58/1.69 c Elapsed CPU time: 1.67674 s Remaining CPU time: 1798.32 s 1.67/1.70 c core #366 1.67/1.70 c Core size: 3 Core Weight: 1 Total Weight: 366 1.67/1.70 c Elapsed CPU time: 1.68174 s Remaining CPU time: 1798.32 s 1.67/1.71 c core #367 1.67/1.71 c Core size: 3 Core Weight: 1 Total Weight: 367 1.67/1.71 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.67/1.71 c core #368 1.67/1.71 c Core size: 3 Core Weight: 1 Total Weight: 368 1.67/1.71 c Elapsed CPU time: 1.69374 s Remaining CPU time: 1798.31 s 1.67/1.72 c core #369 1.67/1.72 c Core size: 3 Core Weight: 1 Total Weight: 369 1.67/1.72 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.67/1.72 c core #370 1.67/1.72 c Core size: 3 Core Weight: 1 Total Weight: 370 1.67/1.72 c Elapsed CPU time: 1.70574 s Remaining CPU time: 1798.29 s 1.67/1.73 c core #371 1.67/1.73 c Core size: 3 Core Weight: 1 Total Weight: 371 1.67/1.73 c Elapsed CPU time: 1.71174 s Remaining CPU time: 1798.29 s 1.67/1.74 c core #372 1.67/1.74 c Core size: 3 Core Weight: 1 Total Weight: 372 1.67/1.74 c Elapsed CPU time: 1.71774 s Remaining CPU time: 1798.28 s 1.67/1.74 c core #373 1.67/1.74 c Core size: 3 Core Weight: 1 Total Weight: 373 1.67/1.74 c Elapsed CPU time: 1.72374 s Remaining CPU time: 1798.28 s 1.67/1.75 c core #374 1.67/1.75 c Core size: 3 Core Weight: 1 Total Weight: 374 1.67/1.75 c Elapsed CPU time: 1.72974 s Remaining CPU time: 1798.27 s 1.67/1.75 c core #375 1.67/1.75 c Core size: 3 Core Weight: 1 Total Weight: 375 1.67/1.75 c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s 1.67/1.76 c core #376 1.67/1.76 c Core size: 3 Core Weight: 1 Total Weight: 376 1.67/1.76 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.67/1.76 c core #377 1.67/1.76 c Core size: 3 Core Weight: 1 Total Weight: 377 1.67/1.76 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.67/1.77 c core #378 1.67/1.77 c Core size: 3 Core Weight: 1 Total Weight: 378 1.67/1.77 c Elapsed CPU time: 1.75373 s Remaining CPU time: 1798.25 s 1.67/1.78 c core #379 1.67/1.78 c Core size: 3 Core Weight: 1 Total Weight: 379 1.67/1.78 c Elapsed CPU time: 1.75873 s Remaining CPU time: 1798.24 s 1.67/1.78 c core #380 1.67/1.78 c Core size: 3 Core Weight: 1 Total Weight: 380 1.67/1.78 c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s 1.67/1.79 c core #381 1.67/1.79 c Core size: 3 Core Weight: 1 Total Weight: 381 1.67/1.79 c Elapsed CPU time: 1.77073 s Remaining CPU time: 1798.23 s 1.67/1.79 c core #382 1.67/1.79 c Core size: 3 Core Weight: 1 Total Weight: 382 1.67/1.79 c Elapsed CPU time: 1.77673 s Remaining CPU time: 1798.22 s 1.77/1.80 c core #383 1.77/1.80 c Core size: 3 Core Weight: 1 Total Weight: 383 1.77/1.80 c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s 1.77/1.81 c core #384 1.77/1.81 c Core size: 3 Core Weight: 1 Total Weight: 384 1.77/1.81 c Elapsed CPU time: 1.78873 s Remaining CPU time: 1798.21 s 1.77/1.81 c core #385 1.77/1.81 c Core size: 3 Core Weight: 1 Total Weight: 385 1.77/1.81 c Elapsed CPU time: 1.79473 s Remaining CPU time: 1798.21 s 1.77/1.82 c core #386 1.77/1.82 c Core size: 3 Core Weight: 1 Total Weight: 386 1.77/1.82 c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s 1.77/1.82 c core #387 1.77/1.82 c Core size: 3 Core Weight: 1 Total Weight: 387 1.77/1.82 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.77/1.83 c core #388 1.77/1.83 c Core size: 3 Core Weight: 1 Total Weight: 388 1.77/1.83 c Elapsed CPU time: 1.81272 s Remaining CPU time: 1798.19 s 1.77/1.84 c core #389 1.77/1.84 c Core size: 3 Core Weight: 1 Total Weight: 389 1.77/1.84 c Elapsed CPU time: 1.81872 s Remaining CPU time: 1798.18 s 1.77/1.84 c core #390 1.77/1.84 c Core size: 3 Core Weight: 1 Total Weight: 390 1.77/1.84 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.77/1.85 c core #391 1.77/1.85 c Core size: 3 Core Weight: 1 Total Weight: 391 1.77/1.85 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.77/1.86 c core #392 1.77/1.86 c Core size: 3 Core Weight: 1 Total Weight: 392 1.77/1.86 c Elapsed CPU time: 1.83672 s Remaining CPU time: 1798.16 s 1.77/1.86 c core #393 1.77/1.86 c Core size: 3 Core Weight: 1 Total Weight: 393 1.77/1.86 c Elapsed CPU time: 1.84272 s Remaining CPU time: 1798.16 s 1.77/1.87 c core #394 1.77/1.87 c Core size: 3 Core Weight: 1 Total Weight: 394 1.77/1.87 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.77/1.87 c core #395 1.77/1.87 c Core size: 3 Core Weight: 1 Total Weight: 395 1.77/1.87 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.77/1.88 c core #396 1.77/1.88 c Core size: 3 Core Weight: 1 Total Weight: 396 1.77/1.88 c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s 1.77/1.89 c core #397 1.77/1.89 c Core size: 3 Core Weight: 1 Total Weight: 397 1.77/1.89 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.77/1.89 c core #398 1.77/1.89 c Core size: 3 Core Weight: 1 Total Weight: 398 1.77/1.89 c Elapsed CPU time: 1.87271 s Remaining CPU time: 1798.13 s 1.88/1.90 c core #399 1.88/1.90 c Core size: 3 Core Weight: 1 Total Weight: 399 1.88/1.90 c Elapsed CPU time: 1.87871 s Remaining CPU time: 1798.12 s 1.88/1.90 c core #400 1.88/1.90 c Core size: 3 Core Weight: 1 Total Weight: 400 1.88/1.90 c Elapsed CPU time: 1.88371 s Remaining CPU time: 1798.12 s 1.88/1.91 c core #401 1.88/1.91 c Core size: 3 Core Weight: 1 Total Weight: 401 1.88/1.91 c Elapsed CPU time: 1.88871 s Remaining CPU time: 1798.11 s 1.88/1.92 c core #402 1.88/1.92 c Core size: 3 Core Weight: 1 Total Weight: 402 1.88/1.92 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s 1.88/1.92 c core #403 1.88/1.92 c Core size: 3 Core Weight: 1 Total Weight: 403 1.88/1.92 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.88/1.93 c core #404 1.88/1.93 c Core size: 3 Core Weight: 1 Total Weight: 404 1.88/1.93 c Elapsed CPU time: 1.90671 s Remaining CPU time: 1798.09 s 1.88/1.93 c core #405 1.88/1.93 c Core size: 3 Core Weight: 1 Total Weight: 405 1.88/1.93 c Elapsed CPU time: 1.91271 s Remaining CPU time: 1798.09 s 1.88/1.94 c core #406 1.88/1.94 c Core size: 3 Core Weight: 1 Total Weight: 406 1.88/1.94 c Elapsed CPU time: 1.91871 s Remaining CPU time: 1798.08 s 1.88/1.95 c core #407 1.88/1.95 c Core size: 3 Core Weight: 1 Total Weight: 407 1.88/1.95 c Elapsed CPU time: 1.92471 s Remaining CPU time: 1798.08 s 1.88/1.95 c core #408 1.88/1.95 c Core size: 3 Core Weight: 1 Total Weight: 408 1.88/1.95 c Elapsed CPU time: 1.93071 s Remaining CPU time: 1798.07 s 1.88/1.96 c core #409 1.88/1.96 c Core size: 3 Core Weight: 1 Total Weight: 409 1.88/1.96 c Elapsed CPU time: 1.9367 s Remaining CPU time: 1798.06 s 1.88/1.96 c core #410 1.88/1.96 c Core size: 3 Core Weight: 1 Total Weight: 410 1.88/1.96 c Elapsed CPU time: 1.9417 s Remaining CPU time: 1798.06 s 1.88/1.97 c core #411 1.88/1.97 c Core size: 3 Core Weight: 1 Total Weight: 411 1.88/1.97 c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s 1.88/1.98 c core #412 1.88/1.98 c Core size: 3 Core Weight: 1 Total Weight: 412 1.88/1.98 c Elapsed CPU time: 1.9527 s Remaining CPU time: 1798.05 s 1.88/1.98 c core #413 1.88/1.98 c Core size: 3 Core Weight: 1 Total Weight: 413 1.88/1.98 c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s 1.88/1.99 c core #414 1.88/1.99 c Core size: 3 Core Weight: 1 Total Weight: 414 1.88/1.99 c Elapsed CPU time: 1.9627 s Remaining CPU time: 1798.04 s 1.88/1.99 c core #415 1.88/1.99 c Core size: 3 Core Weight: 1 Total Weight: 415 1.88/1.99 c Elapsed CPU time: 1.9687 s Remaining CPU time: 1798.03 s 1.98/2.00 c core #416 1.98/2.00 c Core size: 3 Core Weight: 1 Total Weight: 416 1.98/2.00 c Elapsed CPU time: 1.9757 s Remaining CPU time: 1798.02 s 1.98/2.01 c core #417 1.98/2.01 c Core size: 3 Core Weight: 1 Total Weight: 417 1.98/2.01 c Elapsed CPU time: 1.9817 s Remaining CPU time: 1798.02 s 1.98/2.01 c core #418 1.98/2.01 c Core size: 3 Core Weight: 1 Total Weight: 418 1.98/2.01 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.98/2.02 c core #419 1.98/2.02 c Core size: 3 Core Weight: 1 Total Weight: 419 1.98/2.02 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.98/2.02 c core #420 1.98/2.02 c Core size: 3 Core Weight: 1 Total Weight: 420 1.98/2.03 c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s 1.98/2.03 c core #421 1.98/2.03 c Core size: 3 Core Weight: 1 Total Weight: 421 1.98/2.03 c Elapsed CPU time: 2.00569 s Remaining CPU time: 1797.99 s 1.98/2.04 c core #422 1.98/2.04 c Core size: 3 Core Weight: 1 Total Weight: 422 1.98/2.04 c Elapsed CPU time: 2.01169 s Remaining CPU time: 1797.99 s 1.98/2.04 c core #423 1.98/2.04 c Core size: 3 Core Weight: 1 Total Weight: 423 1.98/2.04 c Elapsed CPU time: 2.01769 s Remaining CPU time: 1797.98 s 1.98/2.05 c core #424 1.98/2.05 c Core size: 3 Core Weight: 1 Total Weight: 424 1.98/2.05 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 1.98/2.06 c core #425 1.98/2.06 c Core size: 3 Core Weight: 1 Total Weight: 425 1.98/2.06 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.98/2.06 c core #426 1.98/2.06 c Core size: 3 Core Weight: 1 Total Weight: 426 1.98/2.06 c Elapsed CPU time: 2.03469 s Remaining CPU time: 1797.97 s 1.98/2.07 c core #427 1.98/2.07 c Core size: 3 Core Weight: 1 Total Weight: 427 1.98/2.07 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 1.98/2.07 c core #428 1.98/2.07 c Core size: 3 Core Weight: 1 Total Weight: 428 1.98/2.07 c Elapsed CPU time: 2.04769 s Remaining CPU time: 1797.95 s 1.98/2.08 c core #429 1.98/2.08 c Core size: 3 Core Weight: 1 Total Weight: 429 1.98/2.08 c Elapsed CPU time: 2.05369 s Remaining CPU time: 1797.95 s 1.98/2.09 c core #430 1.98/2.09 c Core size: 3 Core Weight: 1 Total Weight: 430 1.98/2.09 c Elapsed CPU time: 2.05969 s Remaining CPU time: 1797.94 s 1.98/2.09 c core #431 1.98/2.09 c Core size: 3 Core Weight: 1 Total Weight: 431 1.98/2.09 c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s 1.98/2.10 c core #432 1.98/2.10 c Core size: 3 Core Weight: 1 Total Weight: 432 1.98/2.10 c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s 2.08/2.11 c core #433 2.08/2.11 c Core size: 3 Core Weight: 1 Total Weight: 433 2.08/2.11 c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s 2.08/2.11 c core #434 2.08/2.11 c Core size: 3 Core Weight: 1 Total Weight: 434 2.08/2.11 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.08/2.12 c core #435 2.08/2.12 c Core size: 3 Core Weight: 1 Total Weight: 435 2.08/2.12 c Elapsed CPU time: 2.09068 s Remaining CPU time: 1797.91 s 2.08/2.12 c core #436 2.08/2.12 c Core size: 3 Core Weight: 1 Total Weight: 436 2.08/2.12 c Elapsed CPU time: 2.09668 s Remaining CPU time: 1797.9 s 2.08/2.13 c core #437 2.08/2.13 c Core size: 3 Core Weight: 1 Total Weight: 437 2.08/2.13 c Elapsed CPU time: 2.10268 s Remaining CPU time: 1797.9 s 2.08/2.14 c core #438 2.08/2.14 c Core size: 3 Core Weight: 1 Total Weight: 438 2.08/2.14 c Elapsed CPU time: 2.10968 s Remaining CPU time: 1797.89 s 2.08/2.14 c core #439 2.08/2.14 c Core size: 3 Core Weight: 1 Total Weight: 439 2.08/2.14 c Elapsed CPU time: 2.11568 s Remaining CPU time: 1797.88 s 2.08/2.15 c core #440 2.08/2.15 c Core size: 3 Core Weight: 1 Total Weight: 440 2.08/2.15 c Elapsed CPU time: 2.12168 s Remaining CPU time: 1797.88 s 2.08/2.16 c core #441 2.08/2.16 c Core size: 3 Core Weight: 1 Total Weight: 441 2.08/2.16 c Elapsed CPU time: 2.12868 s Remaining CPU time: 1797.87 s 2.08/2.16 c core #442 2.08/2.16 c Core size: 3 Core Weight: 1 Total Weight: 442 2.08/2.16 c Elapsed CPU time: 2.13468 s Remaining CPU time: 1797.87 s 2.08/2.17 c core #443 2.08/2.17 c Core size: 3 Core Weight: 1 Total Weight: 443 2.08/2.17 c Elapsed CPU time: 2.14067 s Remaining CPU time: 1797.86 s 2.08/2.17 c core #444 2.08/2.17 c Core size: 3 Core Weight: 1 Total Weight: 444 2.08/2.17 c Elapsed CPU time: 2.14667 s Remaining CPU time: 1797.85 s 2.08/2.18 c core #445 2.08/2.18 c Core size: 3 Core Weight: 1 Total Weight: 445 2.08/2.18 c Elapsed CPU time: 2.15267 s Remaining CPU time: 1797.85 s 2.08/2.19 c core #446 2.08/2.19 c Core size: 3 Core Weight: 1 Total Weight: 446 2.08/2.19 c Elapsed CPU time: 2.15867 s Remaining CPU time: 1797.84 s 2.08/2.19 c core #447 2.08/2.19 c Core size: 3 Core Weight: 1 Total Weight: 447 2.08/2.19 c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s 2.08/2.20 c core #448 2.08/2.20 c Core size: 3 Core Weight: 1 Total Weight: 448 2.08/2.20 c Elapsed CPU time: 2.16967 s Remaining CPU time: 1797.83 s 2.18/2.20 c core #449 2.18/2.20 c Core size: 3 Core Weight: 1 Total Weight: 449 2.18/2.21 c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s 2.18/2.21 c core #450 2.18/2.21 c Core size: 3 Core Weight: 1 Total Weight: 450 2.18/2.21 c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s 2.18/2.22 c core #451 2.18/2.22 c Core size: 3 Core Weight: 1 Total Weight: 451 2.18/2.22 c Elapsed CPU time: 2.18767 s Remaining CPU time: 1797.81 s 2.18/2.22 c core #452 2.18/2.22 c Core size: 3 Core Weight: 1 Total Weight: 452 2.18/2.22 c Elapsed CPU time: 2.19367 s Remaining CPU time: 1797.81 s 2.18/2.23 c core #453 2.18/2.23 c Core size: 3 Core Weight: 1 Total Weight: 453 2.18/2.23 c Elapsed CPU time: 2.19966 s Remaining CPU time: 1797.8 s 2.18/2.24 c core #454 2.18/2.24 c Core size: 3 Core Weight: 1 Total Weight: 454 2.18/2.24 c Elapsed CPU time: 2.20566 s Remaining CPU time: 1797.79 s 2.18/2.24 c core #455 2.18/2.24 c Core size: 3 Core Weight: 1 Total Weight: 455 2.18/2.24 c Elapsed CPU time: 2.21166 s Remaining CPU time: 1797.79 s 2.18/2.25 c core #456 2.18/2.25 c Core size: 3 Core Weight: 1 Total Weight: 456 2.18/2.25 c Elapsed CPU time: 2.21866 s Remaining CPU time: 1797.78 s 2.18/2.26 c core #457 2.18/2.26 c Core size: 3 Core Weight: 1 Total Weight: 457 2.18/2.26 c Elapsed CPU time: 2.22466 s Remaining CPU time: 1797.78 s 2.18/2.26 c core #458 2.18/2.26 c Core size: 3 Core Weight: 1 Total Weight: 458 2.18/2.26 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.18/2.27 c core #459 2.18/2.27 c Core size: 3 Core Weight: 1 Total Weight: 459 2.18/2.27 c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s 2.18/2.27 c core #460 2.18/2.27 c Core size: 3 Core Weight: 1 Total Weight: 460 2.18/2.28 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.18/2.28 c core #461 2.18/2.28 c Core size: 3 Core Weight: 1 Total Weight: 461 2.18/2.28 c Elapsed CPU time: 2.24866 s Remaining CPU time: 1797.75 s 2.18/2.29 c core #462 2.18/2.29 c Core size: 3 Core Weight: 1 Total Weight: 462 2.18/2.29 c Elapsed CPU time: 2.25566 s Remaining CPU time: 1797.74 s 2.18/2.29 c core #463 2.18/2.29 c Core size: 3 Core Weight: 1 Total Weight: 463 2.18/2.29 c Elapsed CPU time: 2.26166 s Remaining CPU time: 1797.74 s 2.27/2.30 c core #464 2.27/2.30 c Core size: 3 Core Weight: 1 Total Weight: 464 2.27/2.30 c Elapsed CPU time: 2.26865 s Remaining CPU time: 1797.73 s 2.27/2.31 c core #465 2.27/2.31 c Core size: 3 Core Weight: 1 Total Weight: 465 2.27/2.31 c Elapsed CPU time: 2.27465 s Remaining CPU time: 1797.73 s 2.27/2.31 c core #466 2.27/2.31 c Core size: 3 Core Weight: 1 Total Weight: 466 2.27/2.31 c Elapsed CPU time: 2.28065 s Remaining CPU time: 1797.72 s 2.27/2.32 c core #467 2.27/2.32 c Core size: 3 Core Weight: 1 Total Weight: 467 2.27/2.32 c Elapsed CPU time: 2.28765 s Remaining CPU time: 1797.71 s 2.27/2.33 c core #468 2.27/2.33 c Core size: 3 Core Weight: 1 Total Weight: 468 2.27/2.33 c Elapsed CPU time: 2.29365 s Remaining CPU time: 1797.71 s 2.27/2.33 c core #469 2.27/2.33 c Core size: 3 Core Weight: 1 Total Weight: 469 2.27/2.33 c Elapsed CPU time: 2.29965 s Remaining CPU time: 1797.7 s 2.27/2.34 c core #470 2.27/2.34 c Core size: 3 Core Weight: 1 Total Weight: 470 2.27/2.34 c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s 2.27/2.35 c core #471 2.27/2.35 c Core size: 3 Core Weight: 1 Total Weight: 471 2.27/2.35 c Elapsed CPU time: 2.31165 s Remaining CPU time: 1797.69 s 2.27/2.35 c core #472 2.27/2.35 c Core size: 3 Core Weight: 1 Total Weight: 472 2.27/2.35 c Elapsed CPU time: 2.31765 s Remaining CPU time: 1797.68 s 2.27/2.36 c core #473 2.27/2.36 c Core size: 3 Core Weight: 1 Total Weight: 473 2.27/2.36 c Elapsed CPU time: 2.32365 s Remaining CPU time: 1797.68 s 2.27/2.36 c core #474 2.27/2.36 c Core size: 3 Core Weight: 1 Total Weight: 474 2.27/2.36 c Elapsed CPU time: 2.33065 s Remaining CPU time: 1797.67 s 2.27/2.37 c core #475 2.27/2.37 c Core size: 3 Core Weight: 1 Total Weight: 475 2.27/2.37 c Elapsed CPU time: 2.33664 s Remaining CPU time: 1797.66 s 2.27/2.38 c core #476 2.27/2.38 c Core size: 3 Core Weight: 1 Total Weight: 476 2.27/2.38 c Elapsed CPU time: 2.34264 s Remaining CPU time: 1797.66 s 2.27/2.38 c core #477 2.27/2.38 c Core size: 3 Core Weight: 1 Total Weight: 477 2.27/2.38 c Elapsed CPU time: 2.34964 s Remaining CPU time: 1797.65 s 2.27/2.39 c core #478 2.27/2.39 c Core size: 3 Core Weight: 1 Total Weight: 478 2.27/2.39 c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s 2.37/2.40 c core #479 2.37/2.40 c Core size: 3 Core Weight: 1 Total Weight: 479 2.37/2.40 c Elapsed CPU time: 2.36264 s Remaining CPU time: 1797.64 s 2.37/2.40 c core #480 2.37/2.40 c Core size: 3 Core Weight: 1 Total Weight: 480 2.37/2.40 c Elapsed CPU time: 2.36864 s Remaining CPU time: 1797.63 s 2.37/2.41 c core #481 2.37/2.41 c Core size: 3 Core Weight: 1 Total Weight: 481 2.37/2.41 c Elapsed CPU time: 2.37464 s Remaining CPU time: 1797.63 s 2.37/2.42 c core #482 2.37/2.42 c Core size: 3 Core Weight: 1 Total Weight: 482 2.37/2.42 c Elapsed CPU time: 2.38064 s Remaining CPU time: 1797.62 s 2.37/2.42 c core #483 2.37/2.42 c Core size: 3 Core Weight: 1 Total Weight: 483 2.37/2.42 c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s 2.37/2.43 c core #484 2.37/2.43 c Core size: 3 Core Weight: 1 Total Weight: 484 2.37/2.43 c Elapsed CPU time: 2.39364 s Remaining CPU time: 1797.61 s 2.37/2.44 c core #485 2.37/2.44 c Core size: 3 Core Weight: 1 Total Weight: 485 2.37/2.44 c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s 2.37/2.44 c core #486 2.37/2.44 c Core size: 3 Core Weight: 1 Total Weight: 486 2.37/2.44 c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s 2.37/2.45 c core #487 2.37/2.45 c Core size: 3 Core Weight: 1 Total Weight: 487 2.37/2.45 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.37/2.45 c core #488 2.37/2.45 c Core size: 3 Core Weight: 1 Total Weight: 488 2.37/2.45 c Elapsed CPU time: 2.41863 s Remaining CPU time: 1797.58 s 2.37/2.46 c core #489 2.37/2.46 c Core size: 3 Core Weight: 1 Total Weight: 489 2.37/2.46 c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s 2.37/2.47 c core #490 2.37/2.47 c Core size: 3 Core Weight: 1 Total Weight: 490 2.37/2.47 c Elapsed CPU time: 2.43163 s Remaining CPU time: 1797.57 s 2.37/2.47 c core #491 2.37/2.47 c Core size: 3 Core Weight: 1 Total Weight: 491 2.37/2.47 c Elapsed CPU time: 2.43763 s Remaining CPU time: 1797.56 s 2.37/2.48 c core #492 2.37/2.48 c Core size: 3 Core Weight: 1 Total Weight: 492 2.37/2.48 c Elapsed CPU time: 2.44463 s Remaining CPU time: 1797.56 s 2.37/2.49 c core #493 2.37/2.49 c Core size: 3 Core Weight: 1 Total Weight: 493 2.37/2.49 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.37/2.49 c core #494 2.37/2.49 c Core size: 3 Core Weight: 1 Total Weight: 494 2.37/2.49 c Elapsed CPU time: 2.45663 s Remaining CPU time: 1797.54 s 2.46/2.50 c core #495 2.46/2.50 c Core size: 3 Core Weight: 1 Total Weight: 495 2.46/2.50 c Elapsed CPU time: 2.46263 s Remaining CPU time: 1797.54 s 2.46/2.51 c core #496 2.46/2.51 c Core size: 3 Core Weight: 1 Total Weight: 496 2.46/2.51 c Elapsed CPU time: 2.46962 s Remaining CPU time: 1797.53 s 2.46/2.51 c core #497 2.46/2.51 c Core size: 3 Core Weight: 1 Total Weight: 497 2.46/2.51 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.46/2.52 c core #498 2.46/2.52 c Core size: 3 Core Weight: 1 Total Weight: 498 2.46/2.52 c Elapsed CPU time: 2.48162 s Remaining CPU time: 1797.52 s 2.46/2.53 c core #499 2.46/2.53 c Core size: 3 Core Weight: 1 Total Weight: 499 2.46/2.53 c Elapsed CPU time: 2.48862 s Remaining CPU time: 1797.51 s 2.46/2.53 c core #500 2.46/2.53 c Core size: 3 Core Weight: 1 Total Weight: 500 2.46/2.53 c Elapsed CPU time: 2.49562 s Remaining CPU time: 1797.5 s 2.46/2.54 c core #501 2.46/2.54 c Core size: 3 Core Weight: 1 Total Weight: 501 2.46/2.54 c Elapsed CPU time: 2.50162 s Remaining CPU time: 1797.5 s 2.46/2.55 c core #502 2.46/2.55 c Core size: 3 Core Weight: 1 Total Weight: 502 2.46/2.55 c Elapsed CPU time: 2.50862 s Remaining CPU time: 1797.49 s 2.46/2.55 c core #503 2.46/2.55 c Core size: 3 Core Weight: 1 Total Weight: 503 2.46/2.55 c Elapsed CPU time: 2.51462 s Remaining CPU time: 1797.49 s 2.46/2.56 c core #504 2.46/2.56 c Core size: 3 Core Weight: 1 Total Weight: 504 2.46/2.56 c Elapsed CPU time: 2.52062 s Remaining CPU time: 1797.48 s 2.46/2.57 c core #505 2.46/2.57 c Core size: 3 Core Weight: 1 Total Weight: 505 2.46/2.57 c Elapsed CPU time: 2.52761 s Remaining CPU time: 1797.47 s 2.46/2.57 c core #506 2.46/2.57 c Core size: 3 Core Weight: 1 Total Weight: 506 2.46/2.57 c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s 2.46/2.58 c core #507 2.46/2.58 c Core size: 3 Core Weight: 1 Total Weight: 507 2.46/2.58 c Elapsed CPU time: 2.54061 s Remaining CPU time: 1797.46 s 2.46/2.59 c core #508 2.46/2.59 c Core size: 3 Core Weight: 1 Total Weight: 508 2.46/2.59 c Elapsed CPU time: 2.54661 s Remaining CPU time: 1797.45 s 2.46/2.59 c core #509 2.46/2.59 c Core size: 3 Core Weight: 1 Total Weight: 509 2.46/2.59 c Elapsed CPU time: 2.55361 s Remaining CPU time: 1797.45 s 2.56/2.60 c core #510 2.56/2.60 c Core size: 3 Core Weight: 1 Total Weight: 510 2.56/2.60 c Elapsed CPU time: 2.55961 s Remaining CPU time: 1797.44 s 2.56/2.61 c core #511 2.56/2.61 c Core size: 3 Core Weight: 1 Total Weight: 511 2.56/2.61 c Elapsed CPU time: 2.56661 s Remaining CPU time: 1797.43 s 2.56/2.61 c core #512 2.56/2.61 c Core size: 3 Core Weight: 1 Total Weight: 512 2.56/2.61 c Elapsed CPU time: 2.57361 s Remaining CPU time: 1797.43 s 2.56/2.62 c core #513 2.56/2.62 c Core size: 3 Core Weight: 1 Total Weight: 513 2.56/2.62 c Elapsed CPU time: 2.57861 s Remaining CPU time: 1797.42 s 2.56/2.63 c core #514 2.56/2.63 c Core size: 3 Core Weight: 1 Total Weight: 514 2.56/2.63 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.56/2.63 c core #515 2.56/2.63 c Core size: 3 Core Weight: 1 Total Weight: 515 2.56/2.63 c Elapsed CPU time: 2.5926 s Remaining CPU time: 1797.41 s 2.56/2.64 c core #516 2.56/2.64 c Core size: 3 Core Weight: 1 Total Weight: 516 2.56/2.64 c Elapsed CPU time: 2.5986 s Remaining CPU time: 1797.4 s 2.56/2.65 c core #517 2.56/2.65 c Core size: 3 Core Weight: 1 Total Weight: 517 2.56/2.65 c Elapsed CPU time: 2.6046 s Remaining CPU time: 1797.4 s 2.56/2.65 c core #518 2.56/2.65 c Core size: 3 Core Weight: 1 Total Weight: 518 2.56/2.65 c Elapsed CPU time: 2.6116 s Remaining CPU time: 1797.39 s 2.56/2.66 c core #519 2.56/2.66 c Core size: 3 Core Weight: 1 Total Weight: 519 2.56/2.66 c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s 2.56/2.67 c core #520 2.56/2.67 c Core size: 3 Core Weight: 1 Total Weight: 520 2.56/2.67 c Elapsed CPU time: 2.6246 s Remaining CPU time: 1797.38 s 2.56/2.67 c core #521 2.56/2.67 c Core size: 3 Core Weight: 1 Total Weight: 521 2.56/2.67 c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s 2.56/2.68 c core #522 2.56/2.68 c Core size: 3 Core Weight: 1 Total Weight: 522 2.56/2.68 c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s 2.56/2.69 c core #523 2.56/2.69 c Core size: 3 Core Weight: 1 Total Weight: 523 2.56/2.69 c Elapsed CPU time: 2.6436 s Remaining CPU time: 1797.36 s 2.56/2.69 c core #524 2.56/2.69 c Core size: 3 Core Weight: 1 Total Weight: 524 2.56/2.69 c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s 2.66/2.70 c core #525 2.66/2.70 c Core size: 3 Core Weight: 1 Total Weight: 525 2.66/2.70 c Elapsed CPU time: 2.6556 s Remaining CPU time: 1797.34 s 2.66/2.71 c core #526 2.66/2.71 c Core size: 3 Core Weight: 1 Total Weight: 526 2.66/2.71 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.66/2.71 c core #527 2.66/2.71 c Core size: 3 Core Weight: 1 Total Weight: 527 2.66/2.71 c Elapsed CPU time: 2.66959 s Remaining CPU time: 1797.33 s 2.66/2.72 c core #528 2.66/2.72 c Core size: 3 Core Weight: 1 Total Weight: 528 2.66/2.72 c Elapsed CPU time: 2.67559 s Remaining CPU time: 1797.32 s 2.66/2.73 c core #529 2.66/2.73 c Core size: 3 Core Weight: 1 Total Weight: 529 2.66/2.73 c Elapsed CPU time: 2.68259 s Remaining CPU time: 1797.32 s 2.66/2.73 c core #530 2.66/2.73 c Core size: 3 Core Weight: 1 Total Weight: 530 2.66/2.73 c Elapsed CPU time: 2.68959 s Remaining CPU time: 1797.31 s 2.66/2.74 c core #531 2.66/2.74 c Core size: 3 Core Weight: 1 Total Weight: 531 2.66/2.74 c Elapsed CPU time: 2.69659 s Remaining CPU time: 1797.3 s 2.66/2.75 c core #532 2.66/2.75 c Core size: 3 Core Weight: 1 Total Weight: 532 2.66/2.75 c Elapsed CPU time: 2.70259 s Remaining CPU time: 1797.3 s 2.66/2.75 c core #533 2.66/2.75 c Core size: 3 Core Weight: 1 Total Weight: 533 2.66/2.75 c Elapsed CPU time: 2.70959 s Remaining CPU time: 1797.29 s 2.66/2.76 c core #534 2.66/2.76 c Core size: 3 Core Weight: 1 Total Weight: 534 2.66/2.76 c Elapsed CPU time: 2.71659 s Remaining CPU time: 1797.28 s 2.66/2.77 c core #535 2.66/2.77 c Core size: 3 Core Weight: 1 Total Weight: 535 2.66/2.77 c Elapsed CPU time: 2.72358 s Remaining CPU time: 1797.28 s 2.66/2.77 c core #536 2.66/2.77 c Core size: 3 Core Weight: 1 Total Weight: 536 2.66/2.77 c Elapsed CPU time: 2.73058 s Remaining CPU time: 1797.27 s 2.66/2.78 c core #537 2.66/2.78 c Core size: 3 Core Weight: 1 Total Weight: 537 2.66/2.78 c Elapsed CPU time: 2.73758 s Remaining CPU time: 1797.26 s 2.66/2.79 c core #538 2.66/2.79 c Core size: 3 Core Weight: 1 Total Weight: 538 2.66/2.79 c Elapsed CPU time: 2.74458 s Remaining CPU time: 1797.26 s 2.66/2.79 c core #539 2.66/2.79 c Core size: 3 Core Weight: 1 Total Weight: 539 2.66/2.79 c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s 2.76/2.80 c core #540 2.76/2.80 c Core size: 3 Core Weight: 1 Total Weight: 540 2.76/2.80 c Elapsed CPU time: 2.75658 s Remaining CPU time: 1797.24 s 2.76/2.81 c core #541 2.76/2.81 c Core size: 3 Core Weight: 1 Total Weight: 541 2.76/2.81 c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s 2.76/2.81 c core #542 2.76/2.81 c Core size: 3 Core Weight: 1 Total Weight: 542 2.76/2.81 c Elapsed CPU time: 2.77058 s Remaining CPU time: 1797.23 s 2.76/2.82 c core #543 2.76/2.82 c Core size: 3 Core Weight: 1 Total Weight: 543 2.76/2.82 c Elapsed CPU time: 2.77658 s Remaining CPU time: 1797.22 s 2.76/2.83 c core #544 2.76/2.83 c Core size: 3 Core Weight: 1 Total Weight: 544 2.76/2.83 c Elapsed CPU time: 2.78358 s Remaining CPU time: 1797.22 s 2.76/2.83 c core #545 2.76/2.83 c Core size: 3 Core Weight: 1 Total Weight: 545 2.76/2.83 c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s 2.76/2.84 c core #546 2.76/2.84 c Core size: 3 Core Weight: 1 Total Weight: 546 2.76/2.84 c Elapsed CPU time: 2.79757 s Remaining CPU time: 1797.2 s 2.76/2.85 c core #547 2.76/2.85 c Core size: 3 Core Weight: 1 Total Weight: 547 2.76/2.85 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.76/2.86 c core #548 2.76/2.86 c Core size: 3 Core Weight: 1 Total Weight: 548 2.76/2.86 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.76/2.86 c core #549 2.76/2.86 c Core size: 3 Core Weight: 1 Total Weight: 549 2.76/2.86 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.76/2.87 c core #550 2.76/2.87 c Core size: 3 Core Weight: 1 Total Weight: 550 2.76/2.87 c Elapsed CPU time: 2.82257 s Remaining CPU time: 1797.18 s 2.76/2.88 c core #551 2.76/2.88 c Core size: 3 Core Weight: 1 Total Weight: 551 2.76/2.88 c Elapsed CPU time: 2.82957 s Remaining CPU time: 1797.17 s 2.76/2.88 c core #552 2.76/2.88 c Core size: 3 Core Weight: 1 Total Weight: 552 2.76/2.88 c Elapsed CPU time: 2.83557 s Remaining CPU time: 1797.16 s 2.76/2.89 c core #553 2.76/2.89 c Core size: 3 Core Weight: 1 Total Weight: 553 2.76/2.89 c Elapsed CPU time: 2.84257 s Remaining CPU time: 1797.16 s 2.76/2.90 c core #554 2.76/2.90 c Core size: 3 Core Weight: 1 Total Weight: 554 2.76/2.90 c Elapsed CPU time: 2.84957 s Remaining CPU time: 1797.15 s 2.85/2.90 c core #555 2.85/2.90 c Core size: 3 Core Weight: 1 Total Weight: 555 2.85/2.90 c Elapsed CPU time: 2.85656 s Remaining CPU time: 1797.14 s 2.85/2.91 c core #556 2.85/2.91 c Core size: 3 Core Weight: 1 Total Weight: 556 2.85/2.91 c Elapsed CPU time: 2.86356 s Remaining CPU time: 1797.14 s 2.85/2.92 c core #557 2.85/2.92 c Core size: 3 Core Weight: 1 Total Weight: 557 2.85/2.92 c Elapsed CPU time: 2.87056 s Remaining CPU time: 1797.13 s 2.85/2.92 c core #558 2.85/2.92 c Core size: 3 Core Weight: 1 Total Weight: 558 2.85/2.92 c Elapsed CPU time: 2.87656 s Remaining CPU time: 1797.12 s 2.85/2.93 c core #559 2.85/2.93 c Core size: 3 Core Weight: 1 Total Weight: 559 2.85/2.93 c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s 2.85/2.94 c core #560 2.85/2.94 c Core size: 3 Core Weight: 1 Total Weight: 560 2.85/2.94 c Elapsed CPU time: 2.88856 s Remaining CPU time: 1797.11 s 2.85/2.94 c core #561 2.85/2.94 c Core size: 3 Core Weight: 1 Total Weight: 561 2.85/2.94 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.85/2.95 c core #562 2.85/2.95 c Core size: 3 Core Weight: 1 Total Weight: 562 2.85/2.95 c Elapsed CPU time: 2.90256 s Remaining CPU time: 1797.1 s 2.85/2.96 c core #563 2.85/2.96 c Core size: 3 Core Weight: 1 Total Weight: 563 2.85/2.96 c Elapsed CPU time: 2.90956 s Remaining CPU time: 1797.09 s 2.85/2.96 c core #564 2.85/2.96 c Core size: 3 Core Weight: 1 Total Weight: 564 2.85/2.96 c Elapsed CPU time: 2.91556 s Remaining CPU time: 1797.08 s 2.85/2.97 c core #565 2.85/2.97 c Core size: 3 Core Weight: 1 Total Weight: 565 2.85/2.97 c Elapsed CPU time: 2.92256 s Remaining CPU time: 1797.08 s 2.85/2.98 c core #566 2.85/2.98 c Core size: 3 Core Weight: 1 Total Weight: 566 2.85/2.98 c Elapsed CPU time: 2.92955 s Remaining CPU time: 1797.07 s 2.85/2.99 c core #567 2.85/2.99 c Core size: 3 Core Weight: 1 Total Weight: 567 2.85/2.99 c Elapsed CPU time: 2.93655 s Remaining CPU time: 1797.06 s 2.85/2.99 c core #568 2.85/2.99 c Core size: 3 Core Weight: 1 Total Weight: 568 2.85/2.99 c Elapsed CPU time: 2.94355 s Remaining CPU time: 1797.06 s 2.95/3.00 c core #569 2.95/3.00 c Core size: 3 Core Weight: 1 Total Weight: 569 2.95/3.00 c Elapsed CPU time: 2.95055 s Remaining CPU time: 1797.05 s 2.95/3.01 c core #570 2.95/3.01 c Core size: 3 Core Weight: 1 Total Weight: 570 2.95/3.01 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.95/3.01 c core #571 2.95/3.01 c Core size: 3 Core Weight: 1 Total Weight: 571 2.95/3.01 c Elapsed CPU time: 2.96455 s Remaining CPU time: 1797.04 s 2.95/3.02 c core #572 2.95/3.02 c Core size: 3 Core Weight: 1 Total Weight: 572 2.95/3.02 c Elapsed CPU time: 2.97055 s Remaining CPU time: 1797.03 s 2.95/3.03 c core #573 2.95/3.03 c Core size: 3 Core Weight: 1 Total Weight: 573 2.95/3.03 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.95/3.03 c core #574 2.95/3.03 c Core size: 3 Core Weight: 1 Total Weight: 574 2.95/3.03 c Elapsed CPU time: 2.98255 s Remaining CPU time: 1797.02 s 2.95/3.04 c core #575 2.95/3.04 c Core size: 3 Core Weight: 1 Total Weight: 575 2.95/3.04 c Elapsed CPU time: 2.98955 s Remaining CPU time: 1797.01 s 2.95/3.05 c core #576 2.95/3.05 c Core size: 3 Core Weight: 1 Total Weight: 576 2.95/3.05 c Elapsed CPU time: 2.99654 s Remaining CPU time: 1797 s 2.95/3.06 c core #577 2.95/3.06 c Core size: 3 Core Weight: 1 Total Weight: 577 2.95/3.06 c Elapsed CPU time: 3.00354 s Remaining CPU time: 1797 s 2.95/3.06 c core #578 2.95/3.06 c Core size: 3 Core Weight: 1 Total Weight: 578 2.95/3.06 c Elapsed CPU time: 3.01054 s Remaining CPU time: 1796.99 s 2.95/3.07 c core #579 2.95/3.07 c Core size: 3 Core Weight: 1 Total Weight: 579 2.95/3.07 c Elapsed CPU time: 3.01754 s Remaining CPU time: 1796.98 s 2.95/3.08 c core #580 2.95/3.08 c Core size: 3 Core Weight: 1 Total Weight: 580 2.95/3.08 c Elapsed CPU time: 3.02454 s Remaining CPU time: 1796.98 s 2.95/3.08 c core #581 2.95/3.08 c Core size: 3 Core Weight: 1 Total Weight: 581 2.95/3.08 c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s 2.95/3.09 c core #582 2.95/3.09 c Core size: 3 Core Weight: 1 Total Weight: 582 2.95/3.09 c Elapsed CPU time: 3.03854 s Remaining CPU time: 1796.96 s 3.05/3.10 c core #583 3.05/3.10 c Core size: 3 Core Weight: 1 Total Weight: 583 3.05/3.10 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 3.05/3.10 c core #584 3.05/3.10 c Core size: 3 Core Weight: 1 Total Weight: 584 3.05/3.10 c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s 3.05/3.11 c core #585 3.05/3.11 c Core size: 3 Core Weight: 1 Total Weight: 585 3.05/3.11 c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s 3.05/3.12 c core #586 3.05/3.12 c Core size: 3 Core Weight: 1 Total Weight: 586 3.05/3.12 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 3.05/3.12 c core #587 3.05/3.12 c Core size: 3 Core Weight: 1 Total Weight: 587 3.05/3.12 c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s 3.05/3.13 c core #588 3.05/3.13 c Core size: 3 Core Weight: 1 Total Weight: 588 3.05/3.13 c Elapsed CPU time: 3.08053 s Remaining CPU time: 1796.92 s 3.05/3.14 c core #589 3.05/3.14 c Core size: 3 Core Weight: 1 Total Weight: 589 3.05/3.14 c Elapsed CPU time: 3.08753 s Remaining CPU time: 1796.91 s 3.05/3.15 c core #590 3.05/3.15 c Core size: 3 Core Weight: 1 Total Weight: 590 3.05/3.15 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.05/3.15 c core #591 3.05/3.15 c Core size: 3 Core Weight: 1 Total Weight: 591 3.05/3.15 c Elapsed CPU time: 3.10153 s Remaining CPU time: 1796.9 s 3.05/3.16 c core #592 3.05/3.16 c Core size: 3 Core Weight: 1 Total Weight: 592 3.05/3.16 c Elapsed CPU time: 3.10853 s Remaining CPU time: 1796.89 s 3.05/3.17 c core #593 3.05/3.17 c Core size: 3 Core Weight: 1 Total Weight: 593 3.05/3.17 c Elapsed CPU time: 3.11553 s Remaining CPU time: 1796.88 s 3.05/3.17 c core #594 3.05/3.17 c Core size: 3 Core Weight: 1 Total Weight: 594 3.05/3.17 c Elapsed CPU time: 3.12252 s Remaining CPU time: 1796.88 s 3.05/3.18 c core #595 3.05/3.18 c Core size: 3 Core Weight: 1 Total Weight: 595 3.05/3.18 c Elapsed CPU time: 3.12952 s Remaining CPU time: 1796.87 s 3.05/3.19 c core #596 3.05/3.19 c Core size: 3 Core Weight: 1 Total Weight: 596 3.05/3.19 c Elapsed CPU time: 3.13652 s Remaining CPU time: 1796.86 s 3.05/3.20 c core #597 3.05/3.20 c Core size: 3 Core Weight: 1 Total Weight: 597 3.05/3.20 c Elapsed CPU time: 3.14352 s Remaining CPU time: 1796.86 s 3.15/3.20 c core #598 3.15/3.20 c Core size: 3 Core Weight: 1 Total Weight: 598 3.15/3.20 c Elapsed CPU time: 3.15052 s Remaining CPU time: 1796.85 s 3.15/3.21 c core #599 3.15/3.21 c Core size: 3 Core Weight: 1 Total Weight: 599 3.15/3.21 c Elapsed CPU time: 3.15752 s Remaining CPU time: 1796.84 s 3.15/3.22 c core #600 3.15/3.22 c Core size: 3 Core Weight: 1 Total Weight: 600 3.15/3.22 c Elapsed CPU time: 3.16352 s Remaining CPU time: 1796.84 s 3.15/3.22 c core #601 3.15/3.22 c Core size: 3 Core Weight: 1 Total Weight: 601 3.15/3.22 c Elapsed CPU time: 3.17052 s Remaining CPU time: 1796.83 s 3.15/3.23 c core #602 3.15/3.23 c Core size: 3 Core Weight: 1 Total Weight: 602 3.15/3.23 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.15/3.24 c core #603 3.15/3.24 c Core size: 3 Core Weight: 1 Total Weight: 603 3.15/3.24 c Elapsed CPU time: 3.18452 s Remaining CPU time: 1796.82 s 3.15/3.25 c core #604 3.15/3.25 c Core size: 3 Core Weight: 1 Total Weight: 604 3.15/3.25 c Elapsed CPU time: 3.19151 s Remaining CPU time: 1796.81 s 3.15/3.25 c core #605 3.15/3.25 c Core size: 3 Core Weight: 1 Total Weight: 605 3.15/3.25 c Elapsed CPU time: 3.19951 s Remaining CPU time: 1796.8 s 3.15/3.26 c core #606 3.15/3.26 c Core size: 3 Core Weight: 1 Total Weight: 606 3.15/3.26 c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s 3.15/3.27 c core #607 3.15/3.27 c Core size: 3 Core Weight: 1 Total Weight: 607 3.15/3.27 c Elapsed CPU time: 3.21351 s Remaining CPU time: 1796.79 s 3.15/3.28 c core #608 3.15/3.28 c Core size: 3 Core Weight: 1 Total Weight: 608 3.15/3.28 c Elapsed CPU time: 3.22051 s Remaining CPU time: 1796.78 s 3.15/3.28 c core #609 3.15/3.28 c Core size: 3 Core Weight: 1 Total Weight: 609 3.15/3.28 c Elapsed CPU time: 3.22551 s Remaining CPU time: 1796.77 s 3.15/3.29 c core #610 3.15/3.29 c Core size: 3 Core Weight: 1 Total Weight: 610 3.15/3.29 c Elapsed CPU time: 3.23251 s Remaining CPU time: 1796.77 s 3.15/3.30 c core #611 3.15/3.30 c Core size: 3 Core Weight: 1 Total Weight: 611 3.15/3.30 c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s 3.26/3.30 c core #612 3.26/3.30 c Core size: 3 Core Weight: 1 Total Weight: 612 3.26/3.30 c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s 3.26/3.31 c core #613 3.26/3.31 c Core size: 3 Core Weight: 1 Total Weight: 613 3.26/3.31 c Elapsed CPU time: 3.25351 s Remaining CPU time: 1796.75 s 3.26/3.32 c core #614 3.26/3.32 c Core size: 3 Core Weight: 1 Total Weight: 614 3.26/3.32 c Elapsed CPU time: 3.2605 s Remaining CPU time: 1796.74 s 3.26/3.33 c core #615 3.26/3.33 c Core size: 3 Core Weight: 1 Total Weight: 615 3.26/3.33 c Elapsed CPU time: 3.2675 s Remaining CPU time: 1796.73 s 3.26/3.33 c core #616 3.26/3.33 c Core size: 3 Core Weight: 1 Total Weight: 616 3.26/3.33 c Elapsed CPU time: 3.2745 s Remaining CPU time: 1796.73 s 3.26/3.34 c core #617 3.26/3.34 c Core size: 3 Core Weight: 1 Total Weight: 617 3.26/3.34 c Elapsed CPU time: 3.2815 s Remaining CPU time: 1796.72 s 3.26/3.35 c core #618 3.26/3.35 c Core size: 3 Core Weight: 1 Total Weight: 618 3.26/3.35 c Elapsed CPU time: 3.2885 s Remaining CPU time: 1796.71 s 3.26/3.35 c core #619 3.26/3.35 c Core size: 3 Core Weight: 1 Total Weight: 619 3.26/3.35 c Elapsed CPU time: 3.2955 s Remaining CPU time: 1796.7 s 3.26/3.36 c core #620 3.26/3.36 c Core size: 3 Core Weight: 1 Total Weight: 620 3.26/3.36 c Elapsed CPU time: 3.3025 s Remaining CPU time: 1796.7 s 3.26/3.37 c core #621 3.26/3.37 c Core size: 3 Core Weight: 1 Total Weight: 621 3.26/3.37 c Elapsed CPU time: 3.3095 s Remaining CPU time: 1796.69 s 3.26/3.38 c core #622 3.26/3.38 c Core size: 3 Core Weight: 1 Total Weight: 622 3.26/3.38 c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s 3.26/3.38 c core #623 3.26/3.38 c Core size: 3 Core Weight: 1 Total Weight: 623 3.26/3.38 c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s 3.26/3.39 c core #624 3.26/3.39 c Core size: 3 Core Weight: 1 Total Weight: 624 3.26/3.39 c Elapsed CPU time: 3.33149 s Remaining CPU time: 1796.67 s 3.35/3.40 c core #625 3.35/3.40 c Core size: 3 Core Weight: 1 Total Weight: 625 3.35/3.40 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.35/3.41 c core #626 3.35/3.41 c Core size: 3 Core Weight: 1 Total Weight: 626 3.35/3.41 c Elapsed CPU time: 3.34549 s Remaining CPU time: 1796.65 s 3.35/3.41 c core #627 3.35/3.41 c Core size: 3 Core Weight: 1 Total Weight: 627 3.35/3.41 c Elapsed CPU time: 3.35249 s Remaining CPU time: 1796.65 s 3.35/3.42 c core #628 3.35/3.42 c Core size: 3 Core Weight: 1 Total Weight: 628 3.35/3.42 c Elapsed CPU time: 3.36049 s Remaining CPU time: 1796.64 s 3.35/3.43 c core #629 3.35/3.43 c Core size: 3 Core Weight: 1 Total Weight: 629 3.35/3.43 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 s 3.35/3.44 c core #630 3.35/3.44 c Core size: 3 Core Weight: 1 Total Weight: 630 3.35/3.44 c Elapsed CPU time: 3.37449 s Remaining CPU time: 1796.63 s 3.35/3.44 c core #631 3.35/3.44 c Core size: 3 Core Weight: 1 Total Weight: 631 3.35/3.44 c Elapsed CPU time: 3.38149 s Remaining CPU time: 1796.62 s 3.35/3.45 c core #632 3.35/3.45 c Core size: 3 Core Weight: 1 Total Weight: 632 3.35/3.45 c Elapsed CPU time: 3.38948 s Remaining CPU time: 1796.61 s 3.35/3.46 c core #633 3.35/3.46 c Core size: 3 Core Weight: 1 Total Weight: 633 3.35/3.46 c Elapsed CPU time: 3.39648 s Remaining CPU time: 1796.6 s 3.35/3.46 c core #634 3.35/3.46 c Core size: 3 Core Weight: 1 Total Weight: 634 3.35/3.46 c Elapsed CPU time: 3.40448 s Remaining CPU time: 1796.6 s 3.35/3.47 c core #635 3.35/3.47 c Core size: 3 Core Weight: 1 Total Weight: 635 3.35/3.47 c Elapsed CPU time: 3.41148 s Remaining CPU time: 1796.59 s 3.35/3.48 c core #636 3.35/3.48 c Core size: 3 Core Weight: 1 Total Weight: 636 3.35/3.48 c Elapsed CPU time: 3.41848 s Remaining CPU time: 1796.58 s 3.35/3.49 c core #637 3.35/3.49 c Core size: 3 Core Weight: 1 Total Weight: 637 3.35/3.49 c Elapsed CPU time: 3.42548 s Remaining CPU time: 1796.57 s 3.35/3.49 c core #638 3.35/3.49 c Core size: 3 Core Weight: 1 Total Weight: 638 3.35/3.49 c Elapsed CPU time: 3.43248 s Remaining CPU time: 1796.57 s 3.45/3.50 c core #639 3.45/3.50 c Core size: 3 Core Weight: 1 Total Weight: 639 3.45/3.50 c Elapsed CPU time: 3.43948 s Remaining CPU time: 1796.56 s 3.45/3.51 c core #640 3.45/3.51 c Core size: 3 Core Weight: 1 Total Weight: 640 3.45/3.51 c Elapsed CPU time: 3.44747 s Remaining CPU time: 1796.55 s 3.45/3.52 c core #641 3.45/3.52 c Core size: 3 Core Weight: 1 Total Weight: 641 3.45/3.52 c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s 3.45/3.52 c core #642 3.45/3.52 c Core size: 3 Core Weight: 1 Total Weight: 642 3.45/3.52 c Elapsed CPU time: 3.46247 s Remaining CPU time: 1796.54 s 3.45/3.53 c core #643 3.45/3.53 c Core size: 3 Core Weight: 1 Total Weight: 643 3.45/3.53 c Elapsed CPU time: 3.46947 s Remaining CPU time: 1796.53 s 3.45/3.54 c core #644 3.45/3.54 c Core size: 3 Core Weight: 1 Total Weight: 644 3.45/3.54 c Elapsed CPU time: 3.47647 s Remaining CPU time: 1796.52 s 3.45/3.55 c core #645 3.45/3.55 c Core size: 3 Core Weight: 1 Total Weight: 645 3.45/3.55 c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s 3.45/3.55 c core #646 3.45/3.55 c Core size: 3 Core Weight: 1 Total Weight: 646 3.45/3.55 c Elapsed CPU time: 3.49047 s Remaining CPU time: 1796.51 s 3.45/3.56 c core #647 3.45/3.56 c Core size: 3 Core Weight: 1 Total Weight: 647 3.45/3.56 c Elapsed CPU time: 3.49847 s Remaining CPU time: 1796.5 s 3.45/3.57 c core #648 3.45/3.57 c Core size: 3 Core Weight: 1 Total Weight: 648 3.45/3.57 c Elapsed CPU time: 3.50547 s Remaining CPU time: 1796.49 s 3.45/3.58 c core #649 3.45/3.58 c Core size: 3 Core Weight: 1 Total Weight: 649 3.45/3.58 c Elapsed CPU time: 3.51247 s Remaining CPU time: 1796.49 s 3.45/3.58 c core #650 3.45/3.58 c Core size: 3 Core Weight: 1 Total Weight: 650 3.45/3.58 c Elapsed CPU time: 3.51946 s Remaining CPU time: 1796.48 s 3.45/3.59 c core #651 3.45/3.59 c Core size: 3 Core Weight: 1 Total Weight: 651 3.45/3.59 c Elapsed CPU time: 3.52646 s Remaining CPU time: 1796.47 s 3.55/3.60 c core #652 3.55/3.60 c Core size: 3 Core Weight: 1 Total Weight: 652 3.55/3.60 c Elapsed CPU time: 3.53446 s Remaining CPU time: 1796.47 s 3.55/3.61 c core #653 3.55/3.61 c Core size: 3 Core Weight: 1 Total Weight: 653 3.55/3.61 c Elapsed CPU time: 3.54146 s Remaining CPU time: 1796.46 s 3.55/3.61 c core #654 3.55/3.61 c Core size: 3 Core Weight: 1 Total Weight: 654 3.55/3.61 c Elapsed CPU time: 3.54946 s Remaining CPU time: 1796.45 s 3.55/3.62 c core #655 3.55/3.62 c Core size: 3 Core Weight: 1 Total Weight: 655 3.55/3.62 c Elapsed CPU time: 3.55746 s Remaining CPU time: 1796.44 s 3.55/3.63 c core #656 3.55/3.63 c Core size: 3 Core Weight: 1 Total Weight: 656 3.55/3.63 c Elapsed CPU time: 3.56446 s Remaining CPU time: 1796.44 s 3.55/3.64 c core #657 3.55/3.64 c Core size: 3 Core Weight: 1 Total Weight: 657 3.55/3.64 c Elapsed CPU time: 3.57246 s Remaining CPU time: 1796.43 s 3.55/3.64 c core #658 3.55/3.64 c Core size: 3 Core Weight: 1 Total Weight: 658 3.55/3.64 c Elapsed CPU time: 3.57946 s Remaining CPU time: 1796.42 s 3.55/3.65 c core #659 3.55/3.65 c Core size: 3 Core Weight: 1 Total Weight: 659 3.55/3.65 c Elapsed CPU time: 3.58745 s Remaining CPU time: 1796.41 s 3.55/3.66 c core #660 3.55/3.66 c Core size: 3 Core Weight: 1 Total Weight: 660 3.55/3.66 c Elapsed CPU time: 3.59445 s Remaining CPU time: 1796.41 s 3.55/3.67 c core #661 3.55/3.67 c Core size: 3 Core Weight: 1 Total Weight: 661 3.55/3.67 c Elapsed CPU time: 3.60245 s Remaining CPU time: 1796.4 s 3.55/3.67 c core #662 3.55/3.67 c Core size: 3 Core Weight: 1 Total Weight: 662 3.55/3.67 c Elapsed CPU time: 3.60945 s Remaining CPU time: 1796.39 s 3.55/3.68 c core #663 3.55/3.68 c Core size: 3 Core Weight: 1 Total Weight: 663 3.55/3.68 c Elapsed CPU time: 3.61645 s Remaining CPU time: 1796.38 s 3.55/3.69 c core #664 3.55/3.69 c Core size: 3 Core Weight: 1 Total Weight: 664 3.55/3.69 c Elapsed CPU time: 3.62345 s Remaining CPU time: 1796.38 s 3.55/3.70 c core #665 3.55/3.70 c Core size: 3 Core Weight: 1 Total Weight: 665 3.55/3.70 c Elapsed CPU time: 3.63045 s Remaining CPU time: 1796.37 s 3.65/3.70 c core #666 3.65/3.70 c Core size: 3 Core Weight: 1 Total Weight: 666 3.65/3.70 c Elapsed CPU time: 3.63745 s Remaining CPU time: 1796.36 s 3.65/3.71 c core #667 3.65/3.71 c Core size: 3 Core Weight: 1 Total Weight: 667 3.65/3.71 c Elapsed CPU time: 3.64445 s Remaining CPU time: 1796.36 s 3.65/3.72 c core #668 3.65/3.72 c Core size: 3 Core Weight: 1 Total Weight: 668 3.65/3.72 c Elapsed CPU time: 3.65244 s Remaining CPU time: 1796.35 s 3.65/3.73 c core #669 3.65/3.73 c Core size: 3 Core Weight: 1 Total Weight: 669 3.65/3.73 c Elapsed CPU time: 3.65944 s Remaining CPU time: 1796.34 s 3.65/3.73 c core #670 3.65/3.73 c Core size: 3 Core Weight: 1 Total Weight: 670 3.65/3.73 c Elapsed CPU time: 3.66744 s Remaining CPU time: 1796.33 s 3.65/3.74 c core #671 3.65/3.74 c Core size: 3 Core Weight: 1 Total Weight: 671 3.65/3.74 c Elapsed CPU time: 3.67444 s Remaining CPU time: 1796.33 s 3.65/3.75 c core #672 3.65/3.75 c Core size: 3 Core Weight: 1 Total Weight: 672 3.65/3.75 c Elapsed CPU time: 3.68244 s Remaining CPU time: 1796.32 s 3.65/3.76 c core #673 3.65/3.76 c Core size: 3 Core Weight: 1 Total Weight: 673 3.65/3.76 c Elapsed CPU time: 3.69044 s Remaining CPU time: 1796.31 s 3.65/3.77 c core #674 3.65/3.77 c Core size: 3 Core Weight: 1 Total Weight: 674 3.65/3.77 c Elapsed CPU time: 3.69844 s Remaining CPU time: 1796.3 s 3.65/3.77 c core #675 3.65/3.77 c Core size: 3 Core Weight: 1 Total Weight: 675 3.65/3.77 c Elapsed CPU time: 3.70544 s Remaining CPU time: 1796.29 s 3.65/3.78 c core #676 3.65/3.78 c Core size: 3 Core Weight: 1 Total Weight: 676 3.65/3.78 c Elapsed CPU time: 3.71344 s Remaining CPU time: 1796.29 s 3.65/3.79 c core #677 3.65/3.79 c Core size: 3 Core Weight: 1 Total Weight: 677 3.65/3.79 c Elapsed CPU time: 3.72143 s Remaining CPU time: 1796.28 s 3.65/3.80 c core #678 3.65/3.80 c Core size: 3 Core Weight: 1 Total Weight: 678 3.65/3.80 c Elapsed CPU time: 3.72743 s Remaining CPU time: 1796.27 s 3.74/3.80 c core #679 3.74/3.80 c Core size: 3 Core Weight: 1 Total Weight: 679 3.74/3.80 c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s 3.74/3.81 c core #680 3.74/3.81 c Core size: 3 Core Weight: 1 Total Weight: 680 3.74/3.81 c Elapsed CPU time: 3.74243 s Remaining CPU time: 1796.26 s 3.74/3.82 c core #681 3.74/3.82 c Core size: 3 Core Weight: 1 Total Weight: 681 3.74/3.82 c Elapsed CPU time: 3.74843 s Remaining CPU time: 1796.25 s 3.74/3.83 c core #682 3.74/3.83 c Core size: 3 Core Weight: 1 Total Weight: 682 3.74/3.83 c Elapsed CPU time: 3.75643 s Remaining CPU time: 1796.24 s 3.74/3.83 c core #683 3.74/3.83 c Core size: 3 Core Weight: 1 Total Weight: 683 3.74/3.83 c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s 3.74/3.84 c core #684 3.74/3.84 c Core size: 3 Core Weight: 1 Total Weight: 684 3.74/3.84 c Elapsed CPU time: 3.77243 s Remaining CPU time: 1796.23 s 3.74/3.85 c core #685 3.74/3.85 c Core size: 3 Core Weight: 1 Total Weight: 685 3.74/3.85 c Elapsed CPU time: 3.77942 s Remaining CPU time: 1796.22 s 3.74/3.86 c core #686 3.74/3.86 c Core size: 3 Core Weight: 1 Total Weight: 686 3.74/3.86 c Elapsed CPU time: 3.78742 s Remaining CPU time: 1796.21 s 3.74/3.87 c core #687 3.74/3.87 c Core size: 3 Core Weight: 1 Total Weight: 687 3.74/3.87 c Elapsed CPU time: 3.79542 s Remaining CPU time: 1796.2 s 3.74/3.87 c core #688 3.74/3.87 c Core size: 3 Core Weight: 1 Total Weight: 688 3.74/3.87 c Elapsed CPU time: 3.80342 s Remaining CPU time: 1796.2 s 3.74/3.88 c core #689 3.74/3.88 c Core size: 3 Core Weight: 1 Total Weight: 689 3.74/3.88 c Elapsed CPU time: 3.81042 s Remaining CPU time: 1796.19 s 3.74/3.89 c core #690 3.74/3.89 c Core size: 3 Core Weight: 1 Total Weight: 690 3.74/3.89 c Elapsed CPU time: 3.81742 s Remaining CPU time: 1796.18 s 3.74/3.90 c core #691 3.74/3.90 c Core size: 3 Core Weight: 1 Total Weight: 691 3.84/3.90 c Elapsed CPU time: 3.82442 s Remaining CPU time: 1796.18 s 3.84/3.91 c core #692 3.84/3.91 c Core size: 3 Core Weight: 1 Total Weight: 692 3.84/3.91 c Elapsed CPU time: 3.83242 s Remaining CPU time: 1796.17 s 3.84/3.91 c core #693 3.84/3.91 c Core size: 3 Core Weight: 1 Total Weight: 693 3.84/3.91 c Elapsed CPU time: 3.84042 s Remaining CPU time: 1796.16 s 3.84/3.92 c core #694 3.84/3.92 c Core size: 3 Core Weight: 1 Total Weight: 694 3.84/3.92 c Elapsed CPU time: 3.84841 s Remaining CPU time: 1796.15 s 3.84/3.93 c core #695 3.84/3.93 c Core size: 3 Core Weight: 1 Total Weight: 695 3.84/3.93 c Elapsed CPU time: 3.85541 s Remaining CPU time: 1796.14 s 3.84/3.94 c core #696 3.84/3.94 c Core size: 3 Core Weight: 1 Total Weight: 696 3.84/3.94 c Elapsed CPU time: 3.86241 s Remaining CPU time: 1796.14 s 3.84/3.94 c core #697 3.84/3.94 c Core size: 3 Core Weight: 1 Total Weight: 697 3.84/3.94 c Elapsed CPU time: 3.87041 s Remaining CPU time: 1796.13 s 3.84/3.95 c core #698 3.84/3.95 c Core size: 3 Core Weight: 1 Total Weight: 698 3.84/3.95 c Elapsed CPU time: 3.87841 s Remaining CPU time: 1796.12 s 3.84/3.96 c core #699 3.84/3.96 c Core size: 3 Core Weight: 1 Total Weight: 699 3.84/3.96 c Elapsed CPU time: 3.88641 s Remaining CPU time: 1796.11 s 3.84/3.97 c core #700 3.84/3.97 c Core size: 3 Core Weight: 1 Total Weight: 700 3.84/3.97 c Elapsed CPU time: 3.89441 s Remaining CPU time: 1796.11 s 3.84/3.98 c core #701 3.84/3.98 c Core size: 3 Core Weight: 1 Total Weight: 701 3.84/3.98 c Elapsed CPU time: 3.90141 s Remaining CPU time: 1796.1 s 3.84/3.98 c core #702 3.84/3.98 c Core size: 3 Core Weight: 1 Total Weight: 702 3.84/3.98 c Elapsed CPU time: 3.9074 s Remaining CPU time: 1796.09 s 3.84/3.99 c core #703 3.84/3.99 c Core size: 3 Core Weight: 1 Total Weight: 703 3.84/3.99 c Elapsed CPU time: 3.9154 s Remaining CPU time: 1796.08 s 3.94/4.00 c core #704 3.94/4.00 c Core size: 3 Core Weight: 1 Total Weight: 704 3.94/4.00 c Elapsed CPU time: 3.9234 s Remaining CPU time: 1796.08 s 3.94/4.01 c core #705 3.94/4.01 c Core size: 3 Core Weight: 1 Total Weight: 705 3.94/4.01 c Elapsed CPU time: 3.9314 s Remaining CPU time: 1796.07 s 3.94/4.01 c core #706 3.94/4.01 c Core size: 3 Core Weight: 1 Total Weight: 706 3.94/4.01 c Elapsed CPU time: 3.9394 s Remaining CPU time: 1796.06 s 3.94/4.02 c core #707 3.94/4.02 c Core size: 3 Core Weight: 1 Total Weight: 707 3.94/4.02 c Elapsed CPU time: 3.9474 s Remaining CPU time: 1796.05 s 3.94/4.03 c core #708 3.94/4.03 c Core size: 3 Core Weight: 1 Total Weight: 708 3.94/4.03 c Elapsed CPU time: 3.9554 s Remaining CPU time: 1796.04 s 3.94/4.04 c core #709 3.94/4.04 c Core size: 3 Core Weight: 1 Total Weight: 709 3.94/4.04 c Elapsed CPU time: 3.9634 s Remaining CPU time: 1796.04 s 3.94/4.05 c core #710 3.94/4.05 c Core size: 3 Core Weight: 1 Total Weight: 710 3.94/4.05 c Elapsed CPU time: 3.9714 s Remaining CPU time: 1796.03 s 3.94/4.05 c core #711 3.94/4.05 c Core size: 3 Core Weight: 1 Total Weight: 711 3.94/4.06 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 3.94/4.06 c core #712 3.94/4.06 c Core size: 3 Core Weight: 1 Total Weight: 712 3.94/4.06 c Elapsed CPU time: 3.98739 s Remaining CPU time: 1796.01 s 3.94/4.07 c core #713 3.94/4.07 c Core size: 3 Core Weight: 1 Total Weight: 713 3.94/4.07 c Elapsed CPU time: 3.99539 s Remaining CPU time: 1796 s 3.94/4.08 c core #714 3.94/4.08 c Core size: 3 Core Weight: 1 Total Weight: 714 3.94/4.08 c Elapsed CPU time: 4.00339 s Remaining CPU time: 1796 s 3.94/4.09 c core #715 3.94/4.09 c Core size: 3 Core Weight: 1 Total Weight: 715 3.94/4.09 c Elapsed CPU time: 4.01139 s Remaining CPU time: 1795.99 s 3.94/4.10 c core #716 3.94/4.10 c Core size: 3 Core Weight: 1 Total Weight: 716 3.94/4.10 c Elapsed CPU time: 4.01939 s Remaining CPU time: 1795.98 s 4.04/4.10 c core #717 4.04/4.10 c Core size: 3 Core Weight: 1 Total Weight: 717 4.04/4.10 c Elapsed CPU time: 4.02739 s Remaining CPU time: 1795.97 s 4.04/4.11 c core #718 4.04/4.11 c Core size: 3 Core Weight: 1 Total Weight: 718 4.04/4.11 c Elapsed CPU time: 4.03539 s Remaining CPU time: 1795.96 s 4.04/4.12 c core #719 4.04/4.12 c Core size: 3 Core Weight: 1 Total Weight: 719 4.04/4.12 c Elapsed CPU time: 4.04338 s Remaining CPU time: 1795.96 s 4.04/4.13 c core #720 4.04/4.13 c Core size: 3 Core Weight: 1 Total Weight: 720 4.04/4.13 c Elapsed CPU time: 4.05138 s Remaining CPU time: 1795.95 s 4.04/4.14 c core #721 4.04/4.14 c Core size: 3 Core Weight: 1 Total Weight: 721 4.04/4.14 c Elapsed CPU time: 4.05938 s Remaining CPU time: 1795.94 s 4.04/4.14 c core #722 4.04/4.14 c Core size: 3 Core Weight: 1 Total Weight: 722 4.04/4.14 c Elapsed CPU time: 4.06738 s Remaining CPU time: 1795.93 s 4.04/4.15 c core #723 4.04/4.15 c Core size: 3 Core Weight: 1 Total Weight: 723 4.04/4.15 c Elapsed CPU time: 4.07538 s Remaining CPU time: 1795.92 s 4.04/4.16 c core #724 4.04/4.16 c Core size: 3 Core Weight: 1 Total Weight: 724 4.04/4.16 c Elapsed CPU time: 4.08238 s Remaining CPU time: 1795.92 s 4.04/4.17 c core #725 4.04/4.17 c Core size: 3 Core Weight: 1 Total Weight: 725 4.04/4.17 c Elapsed CPU time: 4.09038 s Remaining CPU time: 1795.91 s 4.04/4.18 c core #726 4.04/4.18 c Core size: 3 Core Weight: 1 Total Weight: 726 4.04/4.18 c Elapsed CPU time: 4.09838 s Remaining CPU time: 1795.9 s 4.04/4.18 c core #727 4.04/4.18 c Core size: 3 Core Weight: 1 Total Weight: 727 4.04/4.18 c Elapsed CPU time: 4.10538 s Remaining CPU time: 1795.89 s 4.04/4.19 c core #728 4.04/4.19 c Core size: 3 Core Weight: 1 Total Weight: 728 4.04/4.19 c Elapsed CPU time: 4.11237 s Remaining CPU time: 1795.89 s 4.13/4.20 c core #729 4.13/4.20 c Core size: 3 Core Weight: 1 Total Weight: 729 4.13/4.20 c Elapsed CPU time: 4.12037 s Remaining CPU time: 1795.88 s 4.13/4.21 c core #730 4.13/4.21 c Core size: 3 Core Weight: 1 Total Weight: 730 4.13/4.21 c Elapsed CPU time: 4.12837 s Remaining CPU time: 1795.87 s 4.13/4.22 c core #731 4.13/4.22 c Core size: 3 Core Weight: 1 Total Weight: 731 4.13/4.22 c Elapsed CPU time: 4.13637 s Remaining CPU time: 1795.86 s 4.13/4.22 c core #732 4.13/4.22 c Core size: 3 Core Weight: 1 Total Weight: 732 4.13/4.22 c Elapsed CPU time: 4.14437 s Remaining CPU time: 1795.86 s 4.13/4.23 c core #733 4.13/4.23 c Core size: 3 Core Weight: 1 Total Weight: 733 4.13/4.23 c Elapsed CPU time: 4.15237 s Remaining CPU time: 1795.85 s 4.13/4.24 c core #734 4.13/4.24 c Core size: 3 Core Weight: 1 Total Weight: 734 4.13/4.24 c Elapsed CPU time: 4.16037 s Remaining CPU time: 1795.84 s 4.13/4.25 c core #735 4.13/4.25 c Core size: 3 Core Weight: 1 Total Weight: 735 4.13/4.25 c Elapsed CPU time: 4.16837 s Remaining CPU time: 1795.83 s 4.13/4.26 c core #736 4.13/4.26 c Core size: 3 Core Weight: 1 Total Weight: 736 4.13/4.26 c Elapsed CPU time: 4.17636 s Remaining CPU time: 1795.82 s 4.13/4.26 c core #737 4.13/4.26 c Core size: 3 Core Weight: 1 Total Weight: 737 4.13/4.26 c Elapsed CPU time: 4.18436 s Remaining CPU time: 1795.82 s 4.13/4.27 c core #738 4.13/4.27 c Core size: 3 Core Weight: 1 Total Weight: 738 4.13/4.27 c Elapsed CPU time: 4.19236 s Remaining CPU time: 1795.81 s 4.13/4.28 c core #739 4.13/4.28 c Core size: 3 Core Weight: 1 Total Weight: 739 4.13/4.28 c Elapsed CPU time: 4.20036 s Remaining CPU time: 1795.8 s 4.13/4.29 c core #740 4.13/4.29 c Core size: 3 Core Weight: 1 Total Weight: 740 4.13/4.29 c Elapsed CPU time: 4.20836 s Remaining CPU time: 1795.79 s 4.13/4.30 c core #741 4.13/4.30 c Core size: 3 Core Weight: 1 Total Weight: 741 4.13/4.30 c Elapsed CPU time: 4.21636 s Remaining CPU time: 1795.78 s 4.24/4.30 c core #742 4.24/4.30 c Core size: 3 Core Weight: 1 Total Weight: 742 4.24/4.30 c Elapsed CPU time: 4.22436 s Remaining CPU time: 1795.78 s 4.24/4.31 c core #743 4.24/4.31 c Core size: 3 Core Weight: 1 Total Weight: 743 4.24/4.31 c Elapsed CPU time: 4.23336 s Remaining CPU time: 1795.77 s 4.24/4.32 c core #744 4.24/4.32 c Core size: 3 Core Weight: 1 Total Weight: 744 4.24/4.32 c Elapsed CPU time: 4.24036 s Remaining CPU time: 1795.76 s 4.24/4.33 c core #745 4.24/4.33 c Core size: 3 Core Weight: 1 Total Weight: 745 4.24/4.33 c Elapsed CPU time: 4.24835 s Remaining CPU time: 1795.75 s 4.24/4.34 c core #746 4.24/4.34 c Core size: 3 Core Weight: 1 Total Weight: 746 4.24/4.34 c Elapsed CPU time: 4.25635 s Remaining CPU time: 1795.74 s 4.24/4.35 c core #747 4.24/4.35 c Core size: 3 Core Weight: 1 Total Weight: 747 4.24/4.35 c Elapsed CPU time: 4.26435 s Remaining CPU time: 1795.74 s 4.24/4.35 c core #748 4.24/4.35 c Core size: 3 Core Weight: 1 Total Weight: 748 4.24/4.35 c Elapsed CPU time: 4.27235 s Remaining CPU time: 1795.73 s 4.24/4.36 c core #749 4.24/4.36 c Core size: 3 Core Weight: 1 Total Weight: 749 4.24/4.36 c Elapsed CPU time: 4.28035 s Remaining CPU time: 1795.72 s 4.24/4.37 c core #750 4.24/4.37 c Core size: 3 Core Weight: 1 Total Weight: 750 4.24/4.37 c Elapsed CPU time: 4.28835 s Remaining CPU time: 1795.71 s 4.24/4.38 c core #751 4.24/4.38 c Core size: 3 Core Weight: 1 Total Weight: 751 4.24/4.38 c Elapsed CPU time: 4.29635 s Remaining CPU time: 1795.7 s 4.24/4.39 c core #752 4.24/4.39 c Core size: 3 Core Weight: 1 Total Weight: 752 4.24/4.39 c Elapsed CPU time: 4.30534 s Remaining CPU time: 1795.69 s 4.24/4.40 c core #753 4.24/4.40 c Core size: 3 Core Weight: 1 Total Weight: 753 4.24/4.40 c Elapsed CPU time: 4.31334 s Remaining CPU time: 1795.69 s 4.33/4.40 c core #754 4.33/4.40 c Core size: 3 Core Weight: 1 Total Weight: 754 4.33/4.40 c Elapsed CPU time: 4.32134 s Remaining CPU time: 1795.68 s 4.33/4.41 c core #755 4.33/4.41 c Core size: 3 Core Weight: 1 Total Weight: 755 4.33/4.41 c Elapsed CPU time: 4.32934 s Remaining CPU time: 1795.67 s 4.33/4.42 c core #756 4.33/4.42 c Core size: 3 Core Weight: 1 Total Weight: 756 4.33/4.42 c Elapsed CPU time: 4.33834 s Remaining CPU time: 1795.66 s 4.33/4.43 c core #757 4.33/4.43 c Core size: 3 Core Weight: 1 Total Weight: 757 4.33/4.43 c Elapsed CPU time: 4.34634 s Remaining CPU time: 1795.65 s 4.33/4.44 c core #758 4.33/4.44 c Core size: 3 Core Weight: 1 Total Weight: 758 4.33/4.44 c Elapsed CPU time: 4.35434 s Remaining CPU time: 1795.65 s 4.33/4.44 c core #759 4.33/4.44 c Core size: 3 Core Weight: 1 Total Weight: 759 4.33/4.44 c Elapsed CPU time: 4.36234 s Remaining CPU time: 1795.64 s 4.33/4.45 c core #760 4.33/4.45 c Core size: 3 Core Weight: 1 Total Weight: 760 4.33/4.45 c Elapsed CPU time: 4.37134 s Remaining CPU time: 1795.63 s 4.33/4.46 c core #761 4.33/4.46 c Core size: 3 Core Weight: 1 Total Weight: 761 4.33/4.46 c Elapsed CPU time: 4.37933 s Remaining CPU time: 1795.62 s 4.33/4.47 c core #762 4.33/4.47 c Core size: 3 Core Weight: 1 Total Weight: 762 4.33/4.47 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.33/4.48 c core #763 4.33/4.48 c Core size: 3 Core Weight: 1 Total Weight: 763 4.33/4.48 c Elapsed CPU time: 4.39533 s Remaining CPU time: 1795.6 s 4.33/4.49 c core #764 4.33/4.49 c Core size: 3 Core Weight: 1 Total Weight: 764 4.33/4.49 c Elapsed CPU time: 4.40433 s Remaining CPU time: 1795.6 s 4.33/4.49 c core #765 4.33/4.49 c Core size: 3 Core Weight: 1 Total Weight: 765 4.33/4.49 c Elapsed CPU time: 4.41233 s Remaining CPU time: 1795.59 s 4.43/4.50 c core #766 4.43/4.50 c Core size: 3 Core Weight: 1 Total Weight: 766 4.43/4.50 c Elapsed CPU time: 4.42033 s Remaining CPU time: 1795.58 s 4.43/4.51 c core #767 4.43/4.51 c Core size: 3 Core Weight: 1 Total Weight: 767 4.43/4.51 c Elapsed CPU time: 4.42833 s Remaining CPU time: 1795.57 s 4.43/4.52 c core #768 4.43/4.52 c Core size: 3 Core Weight: 1 Total Weight: 768 4.43/4.52 c Elapsed CPU time: 4.43633 s Remaining CPU time: 1795.56 s 4.43/4.53 c core #769 4.43/4.53 c Core size: 3 Core Weight: 1 Total Weight: 769 4.43/4.53 c Elapsed CPU time: 4.44432 s Remaining CPU time: 1795.56 s 4.43/4.54 c core #770 4.43/4.54 c Core size: 3 Core Weight: 1 Total Weight: 770 4.43/4.54 c Elapsed CPU time: 4.45232 s Remaining CPU time: 1795.55 s 4.43/4.54 c core #771 4.43/4.54 c Core size: 3 Core Weight: 1 Total Weight: 771 4.43/4.54 c Elapsed CPU time: 4.46032 s Remaining CPU time: 1795.54 s 4.43/4.55 c core #772 4.43/4.55 c Core size: 3 Core Weight: 1 Total Weight: 772 4.43/4.55 c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s 4.43/4.56 c core #773 4.43/4.56 c Core size: 3 Core Weight: 1 Total Weight: 773 4.43/4.56 c Elapsed CPU time: 4.47632 s Remaining CPU time: 1795.52 s 4.43/4.57 c core #774 4.43/4.57 c Core size: 3 Core Weight: 1 Total Weight: 774 4.43/4.57 c Elapsed CPU time: 4.48532 s Remaining CPU time: 1795.51 s 4.43/4.58 c core #775 4.43/4.58 c Core size: 3 Core Weight: 1 Total Weight: 775 4.43/4.58 c Elapsed CPU time: 4.49332 s Remaining CPU time: 1795.51 s 4.43/4.59 c core #776 4.43/4.59 c Core size: 3 Core Weight: 1 Total Weight: 776 4.43/4.59 c Elapsed CPU time: 4.50131 s Remaining CPU time: 1795.5 s 4.43/4.59 c core #777 4.43/4.59 c Core size: 3 Core Weight: 1 Total Weight: 777 4.43/4.59 c Elapsed CPU time: 4.50931 s Remaining CPU time: 1795.49 s 4.53/4.60 c core #778 4.53/4.60 c Core size: 3 Core Weight: 1 Total Weight: 778 4.53/4.60 c Elapsed CPU time: 4.51731 s Remaining CPU time: 1795.48 s 4.53/4.61 c core #779 4.53/4.61 c Core size: 3 Core Weight: 1 Total Weight: 779 4.53/4.61 c Elapsed CPU time: 4.52531 s Remaining CPU time: 1795.47 s 4.53/4.62 c core #780 4.53/4.62 c Core size: 3 Core Weight: 1 Total Weight: 780 4.53/4.62 c Elapsed CPU time: 4.53431 s Remaining CPU time: 1795.47 s 4.53/4.63 c core #781 4.53/4.63 c Core size: 3 Core Weight: 1 Total Weight: 781 4.53/4.63 c Elapsed CPU time: 4.54231 s Remaining CPU time: 1795.46 s 4.53/4.64 c core #782 4.53/4.64 c Core size: 3 Core Weight: 1 Total Weight: 782 4.53/4.64 c Elapsed CPU time: 4.55131 s Remaining CPU time: 1795.45 s 4.53/4.64 c core #783 4.53/4.64 c Core size: 3 Core Weight: 1 Total Weight: 783 4.53/4.64 c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s 4.53/4.65 c core #784 4.53/4.65 c Core size: 3 Core Weight: 1 Total Weight: 784 4.53/4.65 c Elapsed CPU time: 4.56731 s Remaining CPU time: 1795.43 s 4.53/4.66 c core #785 4.53/4.66 c Core size: 3 Core Weight: 1 Total Weight: 785 4.53/4.66 c Elapsed CPU time: 4.5753 s Remaining CPU time: 1795.42 s 4.53/4.67 c core #786 4.53/4.67 c Core size: 3 Core Weight: 1 Total Weight: 786 4.53/4.67 c Elapsed CPU time: 4.5833 s Remaining CPU time: 1795.42 s 4.53/4.68 c core #787 4.53/4.68 c Core size: 3 Core Weight: 1 Total Weight: 787 4.53/4.68 c Elapsed CPU time: 4.5913 s Remaining CPU time: 1795.41 s 4.53/4.69 c core #788 4.53/4.69 c Core size: 3 Core Weight: 1 Total Weight: 788 4.53/4.69 c Elapsed CPU time: 4.6003 s Remaining CPU time: 1795.4 s 4.53/4.70 c core #789 4.53/4.70 c Core size: 3 Core Weight: 1 Total Weight: 789 4.53/4.70 c Elapsed CPU time: 4.6093 s Remaining CPU time: 1795.39 s 4.62/4.70 c core #790 4.62/4.70 c Core size: 3 Core Weight: 1 Total Weight: 790 4.62/4.70 c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s 4.62/4.71 c core #791 4.62/4.71 c Core size: 3 Core Weight: 1 Total Weight: 791 4.62/4.71 c Elapsed CPU time: 4.6263 s Remaining CPU time: 1795.37 s 4.62/4.72 c core #792 4.62/4.72 c Core size: 3 Core Weight: 1 Total Weight: 792 4.62/4.72 c Elapsed CPU time: 4.63429 s Remaining CPU time: 1795.37 s 4.62/4.73 c core #793 4.62/4.73 c Core size: 3 Core Weight: 1 Total Weight: 793 4.62/4.73 c Elapsed CPU time: 4.64229 s Remaining CPU time: 1795.36 s 4.62/4.74 c core #794 4.62/4.74 c Core size: 3 Core Weight: 1 Total Weight: 794 4.62/4.74 c Elapsed CPU time: 4.65029 s Remaining CPU time: 1795.35 s 4.62/4.75 c core #795 4.62/4.75 c Core size: 3 Core Weight: 1 Total Weight: 795 4.62/4.75 c Elapsed CPU time: 4.65829 s Remaining CPU time: 1795.34 s 4.62/4.76 c core #796 4.62/4.76 c Core size: 3 Core Weight: 1 Total Weight: 796 4.62/4.76 c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s 4.62/4.76 c core #797 4.62/4.76 c Core size: 3 Core Weight: 1 Total Weight: 797 4.62/4.76 c Elapsed CPU time: 4.67529 s Remaining CPU time: 1795.32 s 4.62/4.77 c core #798 4.62/4.77 c Core size: 3 Core Weight: 1 Total Weight: 798 4.62/4.77 c Elapsed CPU time: 4.68429 s Remaining CPU time: 1795.32 s 4.62/4.78 c core #799 4.62/4.78 c Core size: 3 Core Weight: 1 Total Weight: 799 4.62/4.78 c Elapsed CPU time: 4.69229 s Remaining CPU time: 1795.31 s 4.62/4.79 c core #800 4.62/4.79 c Core size: 3 Core Weight: 1 Total Weight: 800 4.62/4.79 c Elapsed CPU time: 4.70129 s Remaining CPU time: 1795.3 s 4.72/4.80 c core #801 4.72/4.80 c Core size: 3 Core Weight: 1 Total Weight: 801 4.72/4.80 c Elapsed CPU time: 4.70928 s Remaining CPU time: 1795.29 s 4.72/4.81 c core #802 4.72/4.81 c Core size: 3 Core Weight: 1 Total Weight: 802 4.72/4.81 c Elapsed CPU time: 4.71828 s Remaining CPU time: 1795.28 s 4.72/4.82 c core #803 4.72/4.82 c Core size: 3 Core Weight: 1 Total Weight: 803 4.72/4.82 c Elapsed CPU time: 4.72628 s Remaining CPU time: 1795.27 s 4.72/4.82 c core #804 4.72/4.82 c Core size: 3 Core Weight: 1 Total Weight: 804 4.72/4.82 c Elapsed CPU time: 4.73428 s Remaining CPU time: 1795.27 s 4.72/4.83 c core #805 4.72/4.83 c Core size: 3 Core Weight: 1 Total Weight: 805 4.72/4.83 c Elapsed CPU time: 4.74228 s Remaining CPU time: 1795.26 s 4.72/4.84 c core #806 4.72/4.84 c Core size: 3 Core Weight: 1 Total Weight: 806 4.72/4.84 c Elapsed CPU time: 4.75128 s Remaining CPU time: 1795.25 s 4.72/4.85 c core #807 4.72/4.85 c Core size: 3 Core Weight: 1 Total Weight: 807 4.72/4.85 c Elapsed CPU time: 4.75928 s Remaining CPU time: 1795.24 s 4.72/4.86 c core #808 4.72/4.86 c Core size: 3 Core Weight: 1 Total Weight: 808 4.72/4.86 c Elapsed CPU time: 4.76828 s Remaining CPU time: 1795.23 s 4.72/4.87 c core #809 4.72/4.87 c Core size: 3 Core Weight: 1 Total Weight: 809 4.72/4.87 c Elapsed CPU time: 4.77727 s Remaining CPU time: 1795.22 s 4.72/4.88 c core #810 4.72/4.88 c Core size: 3 Core Weight: 1 Total Weight: 810 4.72/4.88 c Elapsed CPU time: 4.78527 s Remaining CPU time: 1795.21 s 4.72/4.88 c core #811 4.72/4.88 c Core size: 3 Core Weight: 1 Total Weight: 811 4.72/4.88 c Elapsed CPU time: 4.79427 s Remaining CPU time: 1795.21 s 4.72/4.89 c core #812 4.72/4.89 c Core size: 3 Core Weight: 1 Total Weight: 812 4.72/4.89 c Elapsed CPU time: 4.80327 s Remaining CPU time: 1795.2 s 4.82/4.90 c core #813 4.82/4.90 c Core size: 3 Core Weight: 1 Total Weight: 813 4.82/4.90 c Elapsed CPU time: 4.81127 s Remaining CPU time: 1795.19 s 4.82/4.91 c core #814 4.82/4.91 c Core size: 3 Core Weight: 1 Total Weight: 814 4.82/4.91 c Elapsed CPU time: 4.82027 s Remaining CPU time: 1795.18 s 4.82/4.92 c core #815 4.82/4.92 c Core size: 3 Core Weight: 1 Total Weight: 815 4.82/4.92 c Elapsed CPU time: 4.82927 s Remaining CPU time: 1795.17 s 4.82/4.93 c core #816 4.82/4.93 c Core size: 3 Core Weight: 1 Total Weight: 816 4.82/4.93 c Elapsed CPU time: 4.83826 s Remaining CPU time: 1795.16 s 4.82/4.94 c core #817 4.82/4.94 c Core size: 3 Core Weight: 1 Total Weight: 817 4.82/4.94 c Elapsed CPU time: 4.84726 s Remaining CPU time: 1795.15 s 4.82/4.95 c core #818 4.82/4.95 c Core size: 3 Core Weight: 1 Total Weight: 818 4.82/4.95 c Elapsed CPU time: 4.85526 s Remaining CPU time: 1795.14 s 4.82/4.95 c core #819 4.82/4.95 c Core size: 3 Core Weight: 1 Total Weight: 819 4.82/4.95 c Elapsed CPU time: 4.86426 s Remaining CPU time: 1795.14 s 4.82/4.96 c core #820 4.82/4.96 c Core size: 3 Core Weight: 1 Total Weight: 820 4.82/4.96 c Elapsed CPU time: 4.87326 s Remaining CPU time: 1795.13 s 4.82/4.97 c core #821 4.82/4.97 c Core size: 3 Core Weight: 1 Total Weight: 821 4.82/4.97 c Elapsed CPU time: 4.88226 s Remaining CPU time: 1795.12 s 4.82/4.98 c core #822 4.82/4.98 c Core size: 3 Core Weight: 1 Total Weight: 822 4.82/4.98 c Elapsed CPU time: 4.89026 s Remaining CPU time: 1795.11 s 4.82/4.99 c core #823 4.82/4.99 c Core size: 7 Core Weight: 1 Total Weight: 823 4.82/4.99 c Elapsed CPU time: 4.89926 s Remaining CPU time: 1795.1 s 4.92/5.00 c core #824 4.92/5.00 c Core size: 7 Core Weight: 1 Total Weight: 824 4.92/5.00 c Elapsed CPU time: 4.90825 s Remaining CPU time: 1795.09 s 4.92/5.01 c core #825 4.92/5.01 c Core size: 7 Core Weight: 1 Total Weight: 825 4.92/5.01 c Elapsed CPU time: 4.91725 s Remaining CPU time: 1795.08 s 4.92/5.02 c core #826 4.92/5.02 c Core size: 7 Core Weight: 1 Total Weight: 826 4.92/5.02 c Elapsed CPU time: 4.92625 s Remaining CPU time: 1795.07 s 4.92/5.02 c core #827 4.92/5.02 c Core size: 7 Core Weight: 1 Total Weight: 827 4.92/5.02 c Elapsed CPU time: 4.93425 s Remaining CPU time: 1795.07 s 4.92/5.03 c core #828 4.92/5.03 c Core size: 7 Core Weight: 1 Total Weight: 828 4.92/5.03 c Elapsed CPU time: 4.94225 s Remaining CPU time: 1795.06 s 4.92/5.04 c core #829 4.92/5.04 c Core size: 7 Core Weight: 1 Total Weight: 829 4.92/5.04 c Elapsed CPU time: 4.95025 s Remaining CPU time: 1795.05 s 4.92/5.05 c core #830 4.92/5.05 c Core size: 7 Core Weight: 1 Total Weight: 830 4.92/5.05 c Elapsed CPU time: 4.95825 s Remaining CPU time: 1795.04 s 4.92/5.06 c core #831 4.92/5.06 c Core size: 7 Core Weight: 1 Total Weight: 831 4.92/5.06 c Elapsed CPU time: 4.96624 s Remaining CPU time: 1795.03 s 4.92/5.07 c core #832 4.92/5.07 c Core size: 7 Core Weight: 1 Total Weight: 832 4.92/5.07 c Elapsed CPU time: 4.97524 s Remaining CPU time: 1795.02 s 4.92/5.08 c core #833 4.92/5.08 c Core size: 7 Core Weight: 1 Total Weight: 833 4.92/5.08 c Elapsed CPU time: 4.98424 s Remaining CPU time: 1795.02 s 4.92/5.09 c core #834 4.92/5.09 c Core size: 7 Core Weight: 1 Total Weight: 834 4.92/5.09 c Elapsed CPU time: 4.99324 s Remaining CPU time: 1795.01 s 4.92/5.10 c core #835 4.92/5.10 c Core size: 7 Core Weight: 1 Total Weight: 835 5.02/5.10 c Elapsed CPU time: 5.00224 s Remaining CPU time: 1795 s 5.02/5.11 c core #836 5.02/5.11 c Core size: 7 Core Weight: 1 Total Weight: 836 5.02/5.11 c Elapsed CPU time: 5.01024 s Remaining CPU time: 1794.99 s 5.02/5.11 c core #837 5.02/5.11 c Core size: 7 Core Weight: 1 Total Weight: 837 5.02/5.11 c Elapsed CPU time: 5.01924 s Remaining CPU time: 1794.98 s 5.02/5.12 c core #838 5.02/5.12 c Core size: 7 Core Weight: 1 Total Weight: 838 5.02/5.12 c Elapsed CPU time: 5.02823 s Remaining CPU time: 1794.97 s 5.02/5.13 c core #839 5.02/5.13 c Core size: 7 Core Weight: 1 Total Weight: 839 5.02/5.13 c Elapsed CPU time: 5.03723 s Remaining CPU time: 1794.96 s 5.02/5.14 c core #840 5.02/5.14 c Core size: 7 Core Weight: 1 Total Weight: 840 5.02/5.14 c Elapsed CPU time: 5.04623 s Remaining CPU time: 1794.95 s 5.02/5.15 c core #841 5.02/5.15 c Core size: 7 Core Weight: 1 Total Weight: 841 5.02/5.15 c Elapsed CPU time: 5.05523 s Remaining CPU time: 1794.94 s 5.02/5.16 c core #842 5.02/5.16 c Core size: 7 Core Weight: 1 Total Weight: 842 5.02/5.16 c Elapsed CPU time: 5.06423 s Remaining CPU time: 1794.94 s 5.02/5.17 c core #843 5.02/5.17 c Core size: 7 Core Weight: 1 Total Weight: 843 5.02/5.17 c Elapsed CPU time: 5.07323 s Remaining CPU time: 1794.93 s 5.02/5.18 c core #844 5.02/5.18 c Core size: 7 Core Weight: 1 Total Weight: 844 5.02/5.18 c Elapsed CPU time: 5.08223 s Remaining CPU time: 1794.92 s 5.02/5.19 c core #845 5.02/5.19 c Core size: 11 Core Weight: 1 Total Weight: 845 5.02/5.19 c Elapsed CPU time: 5.09123 s Remaining CPU time: 1794.91 s 5.12/5.20 c core #846 5.12/5.20 c Core size: 7 Core Weight: 1 Total Weight: 846 5.12/5.20 c Elapsed CPU time: 5.10022 s Remaining CPU time: 1794.9 s 5.12/5.21 c core #847 5.12/5.21 c Core size: 7 Core Weight: 1 Total Weight: 847 5.12/5.21 c Elapsed CPU time: 5.10822 s Remaining CPU time: 1794.89 s 5.12/5.22 c core #848 5.12/5.22 c Core size: 7 Core Weight: 1 Total Weight: 848 5.12/5.22 c Elapsed CPU time: 5.11722 s Remaining CPU time: 1794.88 s 5.12/5.22 c core #849 5.12/5.22 c Core size: 7 Core Weight: 1 Total Weight: 849 5.12/5.23 c Elapsed CPU time: 5.12622 s Remaining CPU time: 1794.87 s 5.12/5.23 c core #850 5.12/5.23 c Core size: 7 Core Weight: 1 Total Weight: 850 5.12/5.23 c Elapsed CPU time: 5.13522 s Remaining CPU time: 1794.86 s 5.12/5.24 c core #851 5.12/5.24 c Core size: 11 Core Weight: 1 Total Weight: 851 5.12/5.24 c Elapsed CPU time: 5.14422 s Remaining CPU time: 1794.86 s 5.12/5.25 c core #852 5.12/5.25 c Core size: 11 Core Weight: 1 Total Weight: 852 5.12/5.25 c Elapsed CPU time: 5.15222 s Remaining CPU time: 1794.85 s 5.12/5.26 c core #853 5.12/5.26 c Core size: 7 Core Weight: 1 Total Weight: 853 5.12/5.26 c Elapsed CPU time: 5.16122 s Remaining CPU time: 1794.84 s 5.12/5.27 c core #854 5.12/5.27 c Core size: 7 Core Weight: 1 Total Weight: 854 5.12/5.27 c Elapsed CPU time: 5.17021 s Remaining CPU time: 1794.83 s 5.12/5.28 c core #855 5.12/5.28 c Core size: 7 Core Weight: 1 Total Weight: 855 5.12/5.28 c Elapsed CPU time: 5.17921 s Remaining CPU time: 1794.82 s 5.12/5.29 c core #856 5.12/5.29 c Core size: 7 Core Weight: 1 Total Weight: 856 5.12/5.29 c Elapsed CPU time: 5.18921 s Remaining CPU time: 1794.81 s 5.22/5.30 c core #857 5.22/5.30 c Core size: 7 Core Weight: 1 Total Weight: 857 5.22/5.30 c Elapsed CPU time: 5.19821 s Remaining CPU time: 1794.8 s 5.22/5.31 c core #858 5.22/5.31 c Core size: 7 Core Weight: 1 Total Weight: 858 5.22/5.31 c Elapsed CPU time: 5.20821 s Remaining CPU time: 1794.79 s 5.22/5.32 c core #859 5.22/5.32 c Core size: 7 Core Weight: 1 Total Weight: 859 5.22/5.32 c Elapsed CPU time: 5.21721 s Remaining CPU time: 1794.78 s 5.22/5.33 c core #860 5.22/5.33 c Core size: 7 Core Weight: 1 Total Weight: 860 5.22/5.33 c Elapsed CPU time: 5.2272 s Remaining CPU time: 1794.77 s 5.22/5.34 c core #861 5.22/5.34 c Core size: 7 Core Weight: 1 Total Weight: 861 5.22/5.34 c Elapsed CPU time: 5.2372 s Remaining CPU time: 1794.76 s 5.22/5.35 c core #862 5.22/5.35 c Core size: 7 Core Weight: 1 Total Weight: 862 5.22/5.35 c Elapsed CPU time: 5.2462 s Remaining CPU time: 1794.75 s 5.22/5.36 c core #863 5.22/5.36 c Core size: 11 Core Weight: 1 Total Weight: 863 5.22/5.36 c Elapsed CPU time: 5.2562 s Remaining CPU time: 1794.74 s 5.22/5.37 c core #864 5.22/5.37 c Core size: 7 Core Weight: 1 Total Weight: 864 5.22/5.37 c Elapsed CPU time: 5.2652 s Remaining CPU time: 1794.73 s 5.22/5.38 c core #865 5.22/5.38 c Core size: 7 Core Weight: 1 Total Weight: 865 5.22/5.38 c Elapsed CPU time: 5.2742 s Remaining CPU time: 1794.73 s 5.22/5.39 c core #866 5.22/5.39 c Core size: 7 Core Weight: 1 Total Weight: 866 5.22/5.39 c Elapsed CPU time: 5.2832 s Remaining CPU time: 1794.72 s 5.22/5.40 c core #867 5.22/5.40 c Core size: 7 Core Weight: 1 Total Weight: 867 5.22/5.40 c Elapsed CPU time: 5.29319 s Remaining CPU time: 1794.71 s 5.32/5.41 c core #868 5.32/5.41 c Core size: 11 Core Weight: 1 Total Weight: 868 5.32/5.41 c Elapsed CPU time: 5.30319 s Remaining CPU time: 1794.7 s 5.32/5.42 c core #869 5.32/5.42 c Core size: 7 Core Weight: 1 Total Weight: 869 5.32/5.42 c Elapsed CPU time: 5.31219 s Remaining CPU time: 1794.69 s 5.32/5.43 c core #870 5.32/5.43 c Core size: 11 Core Weight: 1 Total Weight: 870 5.32/5.43 c Elapsed CPU time: 5.32219 s Remaining CPU time: 1794.68 s 5.32/5.44 c core #871 5.32/5.44 c Core size: 11 Core Weight: 1 Total Weight: 871 5.32/5.44 c Elapsed CPU time: 5.33219 s Remaining CPU time: 1794.67 s 5.32/5.45 c core #872 5.32/5.45 c Core size: 7 Core Weight: 1 Total Weight: 872 5.32/5.45 c Elapsed CPU time: 5.34119 s Remaining CPU time: 1794.66 s 5.32/5.46 c core #873 5.32/5.46 c Core size: 7 Core Weight: 1 Total Weight: 873 5.32/5.46 c Elapsed CPU time: 5.35119 s Remaining CPU time: 1794.65 s 5.32/5.47 c core #874 5.32/5.47 c Core size: 7 Core Weight: 1 Total Weight: 874 5.32/5.47 c Elapsed CPU time: 5.36118 s Remaining CPU time: 1794.64 s 5.32/5.48 c core #875 5.32/5.48 c Core size: 7 Core Weight: 1 Total Weight: 875 5.32/5.48 c Elapsed CPU time: 5.37118 s Remaining CPU time: 1794.63 s 5.32/5.49 c core #876 5.32/5.49 c Core size: 7 Core Weight: 1 Total Weight: 876 5.32/5.49 c Elapsed CPU time: 5.38118 s Remaining CPU time: 1794.62 s 5.32/5.50 c core #877 5.32/5.50 c Core size: 11 Core Weight: 1 Total Weight: 877 5.32/5.50 c Elapsed CPU time: 5.39118 s Remaining CPU time: 1794.61 s 5.42/5.51 c core #878 5.42/5.51 c Core size: 11 Core Weight: 1 Total Weight: 878 5.42/5.51 c Elapsed CPU time: 5.39918 s Remaining CPU time: 1794.6 s 5.42/5.52 c core #879 5.42/5.52 c Core size: 11 Core Weight: 1 Total Weight: 879 5.42/5.52 c Elapsed CPU time: 5.40918 s Remaining CPU time: 1794.59 s 5.42/5.52 c core #880 5.42/5.52 c Core size: 7 Core Weight: 1 Total Weight: 880 5.42/5.52 c Elapsed CPU time: 5.41918 s Remaining CPU time: 1794.58 s 5.42/5.53 c core #881 5.42/5.53 c Core size: 7 Core Weight: 1 Total Weight: 881 5.42/5.53 c Elapsed CPU time: 5.42817 s Remaining CPU time: 1794.57 s 5.42/5.54 c core #882 5.42/5.54 c Core size: 7 Core Weight: 1 Total Weight: 882 5.42/5.54 c Elapsed CPU time: 5.43717 s Remaining CPU time: 1794.56 s 5.42/5.55 c core #883 5.42/5.55 c Core size: 7 Core Weight: 1 Total Weight: 883 5.42/5.55 c Elapsed CPU time: 5.44617 s Remaining CPU time: 1794.55 s 5.42/5.56 c core #884 5.42/5.56 c Core size: 7 Core Weight: 1 Total Weight: 884 5.42/5.56 c Elapsed CPU time: 5.45617 s Remaining CPU time: 1794.54 s 5.42/5.57 c core #885 5.42/5.57 c Core size: 11 Core Weight: 1 Total Weight: 885 5.42/5.57 c Elapsed CPU time: 5.46617 s Remaining CPU time: 1794.53 s 5.42/5.58 c core #886 5.42/5.58 c Core size: 11 Core Weight: 1 Total Weight: 886 5.42/5.58 c Elapsed CPU time: 5.47517 s Remaining CPU time: 1794.52 s 5.42/5.59 c core #887 5.42/5.59 c Core size: 7 Core Weight: 1 Total Weight: 887 5.42/5.59 c Elapsed CPU time: 5.48517 s Remaining CPU time: 1794.51 s 5.51/5.60 c core #888 5.51/5.60 c Core size: 7 Core Weight: 1 Total Weight: 888 5.51/5.60 c Elapsed CPU time: 5.49616 s Remaining CPU time: 1794.5 s 5.51/5.62 c core #889 5.51/5.62 c Core size: 7 Core Weight: 1 Total Weight: 889 5.51/5.62 c Elapsed CPU time: 5.50616 s Remaining CPU time: 1794.49 s 5.51/5.63 c core #890 5.51/5.63 c Core size: 7 Core Weight: 1 Total Weight: 890 5.51/5.63 c Elapsed CPU time: 5.51616 s Remaining CPU time: 1794.48 s 5.51/5.64 c core #891 5.51/5.64 c Core size: 11 Core Weight: 1 Total Weight: 891 5.51/5.64 c Elapsed CPU time: 5.52616 s Remaining CPU time: 1794.47 s 5.51/5.65 c core #892 5.51/5.65 c Core size: 15 Core Weight: 1 Total Weight: 892 5.51/5.65 c Elapsed CPU time: 5.53616 s Remaining CPU time: 1794.46 s 5.51/5.66 c core #893 5.51/5.66 c Core size: 19 Core Weight: 1 Total Weight: 893 5.51/5.66 c Elapsed CPU time: 5.54616 s Remaining CPU time: 1794.45 s 5.51/5.67 c core #894 5.51/5.67 c Core size: 15 Core Weight: 1 Total Weight: 894 5.51/5.67 c Elapsed CPU time: 5.55616 s Remaining CPU time: 1794.44 s 5.51/5.68 c core #895 5.51/5.68 c Core size: 11 Core Weight: 1 Total Weight: 895 5.51/5.68 c Elapsed CPU time: 5.56615 s Remaining CPU time: 1794.43 s 5.51/5.69 c core #896 5.51/5.69 c Core size: 7 Core Weight: 1 Total Weight: 896 5.51/5.69 c Elapsed CPU time: 5.57615 s Remaining CPU time: 1794.42 s 5.51/5.70 c core #897 5.51/5.70 c Core size: 11 Core Weight: 1 Total Weight: 897 5.51/5.70 c Elapsed CPU time: 5.58615 s Remaining CPU time: 1794.41 s 5.61/5.71 c core #898 5.61/5.71 c Core size: 7 Core Weight: 1 Total Weight: 898 5.61/5.71 c Elapsed CPU time: 5.59615 s Remaining CPU time: 1794.4 s 5.61/5.72 c core #899 5.61/5.72 c Core size: 7 Core Weight: 1 Total Weight: 899 5.61/5.72 c Elapsed CPU time: 5.60615 s Remaining CPU time: 1794.39 s 5.61/5.73 c core #900 5.61/5.73 c Core size: 11 Core Weight: 1 Total Weight: 900 5.61/5.73 c Elapsed CPU time: 5.61615 s Remaining CPU time: 1794.38 s 5.61/5.74 c core #901 5.61/5.74 c Core size: 7 Core Weight: 1 Total Weight: 901 5.61/5.74 c Elapsed CPU time: 5.62614 s Remaining CPU time: 1794.37 s 5.61/5.75 c core #902 5.61/5.75 c Core size: 11 Core Weight: 1 Total Weight: 902 5.61/5.75 c Elapsed CPU time: 5.63614 s Remaining CPU time: 1794.36 s 5.61/5.76 c core #903 5.61/5.76 c Core size: 11 Core Weight: 1 Total Weight: 903 5.61/5.76 c Elapsed CPU time: 5.64614 s Remaining CPU time: 1794.35 s 5.61/5.77 c core #904 5.61/5.77 c Core size: 7 Core Weight: 1 Total Weight: 904 5.61/5.77 c Elapsed CPU time: 5.65614 s Remaining CPU time: 1794.34 s 5.61/5.78 c core #905 5.61/5.78 c Core size: 7 Core Weight: 1 Total Weight: 905 5.61/5.78 c Elapsed CPU time: 5.66614 s Remaining CPU time: 1794.33 s 5.61/5.79 c core #906 5.61/5.79 c Core size: 7 Core Weight: 1 Total Weight: 906 5.61/5.79 c Elapsed CPU time: 5.67614 s Remaining CPU time: 1794.32 s 5.71/5.80 c core #907 5.71/5.80 c Core size: 7 Core Weight: 1 Total Weight: 907 5.71/5.80 c Elapsed CPU time: 5.68614 s Remaining CPU time: 1794.31 s 5.71/5.81 c core #908 5.71/5.81 c Core size: 15 Core Weight: 1 Total Weight: 908 5.71/5.81 c Elapsed CPU time: 5.69613 s Remaining CPU time: 1794.3 s 5.71/5.82 c core #909 5.71/5.82 c Core size: 7 Core Weight: 1 Total Weight: 909 5.71/5.82 c Elapsed CPU time: 5.70613 s Remaining CPU time: 1794.29 s 5.71/5.83 c core #910 5.71/5.83 c Core size: 7 Core Weight: 1 Total Weight: 910 5.71/5.83 c Elapsed CPU time: 5.71613 s Remaining CPU time: 1794.28 s 5.71/5.84 c core #911 5.71/5.84 c Core size: 15 Core Weight: 1 Total Weight: 911 5.71/5.84 c Elapsed CPU time: 5.72713 s Remaining CPU time: 1794.27 s 5.71/5.85 c core #912 5.71/5.85 c Core size: 11 Core Weight: 1 Total Weight: 912 5.71/5.85 c Elapsed CPU time: 5.73713 s Remaining CPU time: 1794.26 s 5.71/5.86 c core #913 5.71/5.86 c Core size: 19 Core Weight: 1 Total Weight: 913 5.71/5.86 c Elapsed CPU time: 5.74713 s Remaining CPU time: 1794.25 s 5.71/5.87 c core #914 5.71/5.87 c Core size: 15 Core Weight: 1 Total Weight: 914 5.71/5.87 c Elapsed CPU time: 5.75812 s Remaining CPU time: 1794.24 s 5.71/5.88 c core #915 5.71/5.88 c Core size: 11 Core Weight: 1 Total Weight: 915 5.71/5.88 c Elapsed CPU time: 5.76812 s Remaining CPU time: 1794.23 s 5.71/5.89 c core #916 5.71/5.89 c Core size: 7 Core Weight: 1 Total Weight: 916 5.71/5.89 c Elapsed CPU time: 5.77812 s Remaining CPU time: 1794.22 s 5.81/5.90 c core #917 5.81/5.90 c Core size: 7 Core Weight: 1 Total Weight: 917 5.81/5.90 c Elapsed CPU time: 5.78912 s Remaining CPU time: 1794.21 s 5.81/5.91 c core #918 5.81/5.91 c Core size: 23 Core Weight: 1 Total Weight: 918 5.81/5.91 c Elapsed CPU time: 5.80012 s Remaining CPU time: 1794.2 s 5.81/5.92 c core #919 5.81/5.92 c Core size: 19 Core Weight: 1 Total Weight: 919 5.81/5.92 c Elapsed CPU time: 5.81012 s Remaining CPU time: 1794.19 s 5.81/5.94 c core #920 5.81/5.94 c Core size: 11 Core Weight: 1 Total Weight: 920 5.81/5.94 c Elapsed CPU time: 5.82012 s Remaining CPU time: 1794.18 s 5.81/5.95 c core #921 5.81/5.95 c Core size: 7 Core Weight: 1 Total Weight: 921 5.81/5.95 c Elapsed CPU time: 5.83011 s Remaining CPU time: 1794.17 s 5.81/5.96 c core #922 5.81/5.96 c Core size: 15 Core Weight: 1 Total Weight: 922 5.81/5.96 c Elapsed CPU time: 5.84111 s Remaining CPU time: 1794.16 s 5.81/5.97 c core #923 5.81/5.97 c Core size: 11 Core Weight: 1 Total Weight: 923 5.81/5.97 c Elapsed CPU time: 5.85111 s Remaining CPU time: 1794.15 s 5.81/5.98 c core #924 5.81/5.98 c Core size: 7 Core Weight: 1 Total Weight: 924 5.81/5.98 c Elapsed CPU time: 5.86211 s Remaining CPU time: 1794.14 s 5.81/5.99 c core #925 5.81/5.99 c Core size: 7 Core Weight: 1 Total Weight: 925 5.81/5.99 c Elapsed CPU time: 5.87311 s Remaining CPU time: 1794.13 s 5.91/6.00 c core #926 5.91/6.00 c Core size: 15 Core Weight: 1 Total Weight: 926 5.91/6.00 c Elapsed CPU time: 5.88311 s Remaining CPU time: 1794.12 s 5.91/6.01 c core #927 5.91/6.01 c Core size: 11 Core Weight: 1 Total Weight: 927 5.91/6.01 c Elapsed CPU time: 5.8941 s Remaining CPU time: 1794.11 s 5.91/6.02 c core #928 5.91/6.02 c Core size: 7 Core Weight: 1 Total Weight: 928 5.91/6.02 c Elapsed CPU time: 5.9041 s Remaining CPU time: 1794.1 s 5.91/6.03 c core #929 5.91/6.03 c Core size: 7 Core Weight: 1 Total Weight: 929 5.91/6.03 c Elapsed CPU time: 5.9141 s Remaining CPU time: 1794.09 s 5.91/6.04 c core #930 5.91/6.04 c Core size: 23 Core Weight: 1 Total Weight: 930 5.91/6.04 c Elapsed CPU time: 5.9241 s Remaining CPU time: 1794.08 s 5.91/6.05 c core #931 5.91/6.05 c Core size: 11 Core Weight: 1 Total Weight: 931 5.91/6.05 c Elapsed CPU time: 5.9351 s Remaining CPU time: 1794.06 s 5.91/6.07 c core #932 5.91/6.07 c Core size: 27 Core Weight: 1 Total Weight: 932 5.91/6.07 c Elapsed CPU time: 5.9451 s Remaining CPU time: 1794.05 s 5.91/6.08 c core #933 5.91/6.08 c Core size: 11 Core Weight: 1 Total Weight: 933 5.91/6.08 c Elapsed CPU time: 5.95609 s Remaining CPU time: 1794.04 s 5.91/6.09 c core #934 5.91/6.09 c Core size: 19 Core Weight: 1 Total Weight: 934 5.91/6.09 c Elapsed CPU time: 5.96709 s Remaining CPU time: 1794.03 s 6.01/6.10 c core #935 6.01/6.10 c Core size: 18 Core Weight: 1 Total Weight: 935 6.01/6.10 c Elapsed CPU time: 5.97809 s Remaining CPU time: 1794.02 s 6.01/6.11 c core #936 6.01/6.11 c Core size: 11 Core Weight: 1 Total Weight: 936 6.01/6.11 c Elapsed CPU time: 5.98909 s Remaining CPU time: 1794.01 s 6.01/6.12 c core #937 6.01/6.12 c Core size: 15 Core Weight: 1 Total Weight: 937 6.01/6.12 c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s 6.01/6.13 c core #938 6.01/6.13 c Core size: 7 Core Weight: 1 Total Weight: 938 6.01/6.13 c Elapsed CPU time: 6.01009 s Remaining CPU time: 1793.99 s 6.01/6.14 c core #939 6.01/6.14 c Core size: 7 Core Weight: 1 Total Weight: 939 6.01/6.14 c Elapsed CPU time: 6.02108 s Remaining CPU time: 1793.98 s 6.01/6.15 c core #940 6.01/6.15 c Core size: 15 Core Weight: 1 Total Weight: 940 6.01/6.15 c Elapsed CPU time: 6.03308 s Remaining CPU time: 1793.97 s 6.01/6.16 c core #941 6.01/6.16 c Core size: 15 Core Weight: 1 Total Weight: 941 6.01/6.16 c Elapsed CPU time: 6.04308 s Remaining CPU time: 1793.96 s 6.01/6.18 c core #942 6.01/6.18 c Core size: 23 Core Weight: 1 Total Weight: 942 6.01/6.18 c Elapsed CPU time: 6.05408 s Remaining CPU time: 1793.95 s 6.01/6.19 c core #943 6.01/6.19 c Core size: 11 Core Weight: 1 Total Weight: 943 6.01/6.19 c Elapsed CPU time: 6.06508 s Remaining CPU time: 1793.93 s 6.11/6.20 c core #944 6.11/6.20 c Core size: 11 Core Weight: 1 Total Weight: 944 6.11/6.20 c Elapsed CPU time: 6.07608 s Remaining CPU time: 1793.92 s 6.11/6.21 c core #945 6.11/6.21 c Core size: 27 Core Weight: 1 Total Weight: 945 6.11/6.21 c Elapsed CPU time: 6.08707 s Remaining CPU time: 1793.91 s 6.11/6.22 c core #946 6.11/6.22 c Core size: 11 Core Weight: 1 Total Weight: 946 6.11/6.22 c Elapsed CPU time: 6.09707 s Remaining CPU time: 1793.9 s 6.11/6.23 c core #947 6.11/6.23 c Core size: 23 Core Weight: 1 Total Weight: 947 6.11/6.23 c Elapsed CPU time: 6.10707 s Remaining CPU time: 1793.89 s 6.11/6.24 c core #948 6.11/6.24 c Core size: 19 Core Weight: 1 Total Weight: 948 6.11/6.24 c Elapsed CPU time: 6.11807 s Remaining CPU time: 1793.88 s 6.11/6.25 c core #949 6.11/6.25 c Core size: 23 Core Weight: 1 Total Weight: 949 6.11/6.25 c Elapsed CPU time: 6.12907 s Remaining CPU time: 1793.87 s 6.11/6.26 c core #950 6.11/6.26 c Core size: 15 Core Weight: 1 Total Weight: 950 6.11/6.26 c Elapsed CPU time: 6.14007 s Remaining CPU time: 1793.86 s 6.11/6.28 c core #951 6.11/6.28 c Core size: 43 Core Weight: 1 Total Weight: 951 6.11/6.28 c Elapsed CPU time: 6.15106 s Remaining CPU time: 1793.85 s 6.11/6.29 c core #952 6.11/6.29 c Core size: 7 Core Weight: 1 Total Weight: 952 6.11/6.29 c Elapsed CPU time: 6.16206 s Remaining CPU time: 1793.84 s 6.21/6.30 c core #953 6.21/6.30 c Core size: 23 Core Weight: 1 Total Weight: 953 6.21/6.30 c Elapsed CPU time: 6.17306 s Remaining CPU time: 1793.83 s 6.21/6.31 c core #954 6.21/6.31 c Core size: 15 Core Weight: 1 Total Weight: 954 6.21/6.31 c Elapsed CPU time: 6.18406 s Remaining CPU time: 1793.82 s 6.21/6.32 c core #955 6.21/6.32 c Core size: 11 Core Weight: 1 Total Weight: 955 6.21/6.32 c Elapsed CPU time: 6.19406 s Remaining CPU time: 1793.81 s 6.21/6.33 c core #956 6.21/6.33 c Core size: 19 Core Weight: 1 Total Weight: 956 6.21/6.33 c Elapsed CPU time: 6.20506 s Remaining CPU time: 1793.79 s 6.21/6.34 c core #957 6.21/6.34 c Core size: 43 Core Weight: 1 Total Weight: 957 6.21/6.34 c Elapsed CPU time: 6.21605 s Remaining CPU time: 1793.78 s 6.21/6.35 c core #958 6.21/6.35 c Core size: 7 Core Weight: 1 Total Weight: 958 6.21/6.36 c Elapsed CPU time: 6.22805 s Remaining CPU time: 1793.77 s 6.21/6.37 c core #959 6.21/6.37 c Core size: 15 Core Weight: 1 Total Weight: 959 6.21/6.37 c Elapsed CPU time: 6.23905 s Remaining CPU time: 1793.76 s 6.21/6.38 c core #960 6.21/6.38 c Core size: 35 Core Weight: 1 Total Weight: 960 6.21/6.38 c Elapsed CPU time: 6.25005 s Remaining CPU time: 1793.75 s 6.21/6.39 c core #961 6.21/6.39 c Core size: 67 Core Weight: 1 Total Weight: 961 6.21/6.39 c Elapsed CPU time: 6.26105 s Remaining CPU time: 1793.74 s 6.30/6.40 c core #962 6.30/6.40 c Core size: 19 Core Weight: 1 Total Weight: 962 6.30/6.40 c Elapsed CPU time: 6.27305 s Remaining CPU time: 1793.73 s 6.30/6.41 c core #963 6.30/6.41 c Core size: 15 Core Weight: 1 Total Weight: 963 6.30/6.41 c Elapsed CPU time: 6.28404 s Remaining CPU time: 1793.72 s 6.30/6.42 c core #964 6.30/6.42 c Core size: 43 Core Weight: 1 Total Weight: 964 6.30/6.42 c Elapsed CPU time: 6.29504 s Remaining CPU time: 1793.7 s 6.30/6.44 c core #965 6.30/6.44 c Core size: 15 Core Weight: 1 Total Weight: 965 6.30/6.44 c Elapsed CPU time: 6.30704 s Remaining CPU time: 1793.69 s 6.30/6.45 c core #966 6.30/6.45 c Core size: 27 Core Weight: 1 Total Weight: 966 6.30/6.45 c Elapsed CPU time: 6.31904 s Remaining CPU time: 1793.68 s 6.30/6.46 c core #967 6.30/6.46 c Core size: 27 Core Weight: 1 Total Weight: 967 6.30/6.46 c Elapsed CPU time: 6.33104 s Remaining CPU time: 1793.67 s 6.30/6.47 c core #968 6.30/6.47 c Core size: 34 Core Weight: 1 Total Weight: 968 6.30/6.47 c Elapsed CPU time: 6.34304 s Remaining CPU time: 1793.66 s 6.30/6.48 c core #969 6.30/6.48 c Core size: 39 Core Weight: 1 Total Weight: 969 6.30/6.48 c Elapsed CPU time: 6.35503 s Remaining CPU time: 1793.64 s 6.30/6.50 c core #970 6.30/6.50 c Core size: 30 Core Weight: 1 Total Weight: 970 6.30/6.50 c Elapsed CPU time: 6.36703 s Remaining CPU time: 1793.63 s 6.41/6.51 c core #971 6.41/6.51 c Core size: 78 Core Weight: 1 Total Weight: 971 6.41/6.51 c Elapsed CPU time: 6.37903 s Remaining CPU time: 1793.62 s 6.41/6.52 c core #972 6.41/6.52 c Core size: 42 Core Weight: 1 Total Weight: 972 6.41/6.52 c Elapsed CPU time: 6.39003 s Remaining CPU time: 1793.61 s 6.41/6.53 c core #973 6.41/6.53 c Core size: 115 Core Weight: 1 Total Weight: 973 6.41/6.53 c Elapsed CPU time: 6.40203 s Remaining CPU time: 1793.6 s 6.41/6.54 c core #974 6.41/6.54 c Core size: 35 Core Weight: 1 Total Weight: 974 6.41/6.54 c Elapsed CPU time: 6.41303 s Remaining CPU time: 1793.59 s 6.41/6.56 c core #975 6.41/6.56 c Core size: 59 Core Weight: 1 Total Weight: 975 6.41/6.56 c Elapsed CPU time: 6.42502 s Remaining CPU time: 1793.57 s 6.41/6.57 c core #976 6.41/6.57 c Core size: 58 Core Weight: 1 Total Weight: 976 6.41/6.57 c Elapsed CPU time: 6.43702 s Remaining CPU time: 1793.56 s 6.41/6.58 c core #977 6.41/6.58 c Core size: 43 Core Weight: 1 Total Weight: 977 6.41/6.58 c Elapsed CPU time: 6.44802 s Remaining CPU time: 1793.55 s 6.41/6.59 c ============================[ Search Statistics ]============================== 6.41/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.41/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.41/6.59 c =============================================================================== 6.41/6.59 c | 0 | 4632 6946 15506 | 5000 0 nan | 0.000 % | 6.41/6.59 c =============================================================================== 6.41/6.59 c core #978 6.41/6.59 c Core size: 94 Core Weight: 1 Total Weight: 978 6.41/6.59 c Elapsed CPU time: 6.46102 s Remaining CPU time: 1793.54 s 6.50/6.60 c ============================[ Search Statistics ]============================== 6.50/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.60 c =============================================================================== 6.50/6.60 c | 0 | 4687 6947 15614 | 5000 0 nan | 0.000 % | 6.50/6.61 c =============================================================================== 6.50/6.61 c core #979 6.50/6.61 c Core size: 61 Core Weight: 1 Total Weight: 979 6.50/6.61 c Elapsed CPU time: 6.47202 s Remaining CPU time: 1793.53 s 6.50/6.62 c ============================[ Search Statistics ]============================== 6.50/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.62 c =============================================================================== 6.50/6.62 c | 0 | 4727 6948 15679 | 5000 0 nan | 0.000 % | 6.50/6.62 c =============================================================================== 6.50/6.62 c core #980 6.50/6.62 c Core size: 90 Core Weight: 1 Total Weight: 980 6.50/6.62 c Elapsed CPU time: 6.48601 s Remaining CPU time: 1793.51 s 6.50/6.63 c ============================[ Search Statistics ]============================== 6.50/6.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.63 c =============================================================================== 6.50/6.63 c | 0 | 4837 6949 15785 | 5000 0 nan | 0.000 % | 6.50/6.64 c =============================================================================== 6.50/6.64 c core #981 6.50/6.64 c Core size: 65 Core Weight: 1 Total Weight: 981 6.50/6.64 c Elapsed CPU time: 6.50001 s Remaining CPU time: 1793.5 s 6.50/6.65 c ============================[ Search Statistics ]============================== 6.50/6.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.65 c =============================================================================== 6.50/6.65 c | 0 | 4869 6950 15849 | 5000 0 nan | 0.000 % | 6.50/6.65 c =============================================================================== 6.50/6.65 c core #982 6.50/6.65 c Core size: 42 Core Weight: 1 Total Weight: 982 6.50/6.65 c Elapsed CPU time: 6.51401 s Remaining CPU time: 1793.49 s 6.50/6.66 c ============================[ Search Statistics ]============================== 6.50/6.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.66 c =============================================================================== 6.50/6.66 c | 0 | 4895 6951 15908 | 5000 0 nan | 0.000 % | 6.50/6.66 c =============================================================================== 6.50/6.67 c core #983 6.50/6.67 c Core size: 125 Core Weight: 1 Total Weight: 983 6.50/6.67 c Elapsed CPU time: 6.52801 s Remaining CPU time: 1793.47 s 6.50/6.68 c ============================[ Search Statistics ]============================== 6.50/6.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.68 c =============================================================================== 6.50/6.68 c | 0 | 4956 6952 16030 | 5000 0 nan | 0.000 % | 6.50/6.68 c =============================================================================== 6.50/6.68 c core #984 6.50/6.68 c Core size: 124 Core Weight: 1 Total Weight: 984 6.50/6.68 c Elapsed CPU time: 6.543 s Remaining CPU time: 1793.46 s 6.50/6.69 c ============================[ Search Statistics ]============================== 6.50/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.50/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.50/6.69 c =============================================================================== 6.50/6.69 c | 0 | 5020 6953 16156 | 5000 0 nan | 0.000 % | 6.50/6.70 c =============================================================================== 6.50/6.70 c core #985 6.50/6.70 c Core size: 33 Core Weight: 1 Total Weight: 985 6.50/6.70 c Elapsed CPU time: 6.558 s Remaining CPU time: 1793.44 s 6.60/6.71 c ============================[ Search Statistics ]============================== 6.60/6.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.71 c =============================================================================== 6.60/6.71 c | 0 | 5036 6954 16188 | 5000 0 nan | 0.000 % | 6.60/6.72 c =============================================================================== 6.60/6.72 c core #986 6.60/6.72 c Core size: 301 Core Weight: 1 Total Weight: 986 6.60/6.72 c Elapsed CPU time: 6.576 s Remaining CPU time: 1793.42 s 6.60/6.73 c ============================[ Search Statistics ]============================== 6.60/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.73 c =============================================================================== 6.60/6.73 c | 0 | 5209 6955 16508 | 5000 0 nan | 0.000 % | 6.60/6.74 c | 100 | 5193 6955 16508 | 5500 97 5 | 2.237 % | 6.60/6.74 c =============================================================================== 6.60/6.74 c core #987 6.60/6.74 c Core size: 284 Core Weight: 1 Total Weight: 987 6.60/6.74 c Elapsed CPU time: 6.60499 s Remaining CPU time: 1793.4 s 6.60/6.76 c ============================[ Search Statistics ]============================== 6.60/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.76 c =============================================================================== 6.60/6.76 c | 0 | 5353 6956 16795 | 5000 0 nan | 0.000 % | 6.60/6.77 c | 102 | 5353 6956 16795 | 5500 102 6 | 1.090 % | 6.60/6.78 c | 252 | 5320 6956 16795 | 6050 250 6 | 2.716 % | 6.60/6.79 c =============================================================================== 6.60/6.79 c core #988 6.60/6.79 c Core size: 350 Core Weight: 1 Total Weight: 988 6.60/6.79 c Elapsed CPU time: 6.64499 s Remaining CPU time: 1793.36 s 6.70/6.80 c ============================[ Search Statistics ]============================== 6.70/6.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.70/6.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.70/6.80 c =============================================================================== 6.70/6.80 c | 0 | 5544 6957 17151 | 5000 0 nan | 0.000 % | 6.70/6.81 c | 100 | 5544 6957 17151 | 5500 100 5 | 0.699 % | 6.70/6.83 c | 250 | 5544 6957 17151 | 6050 250 12 | 0.699 % | 6.70/6.84 c | 477 | 5544 6957 17151 | 6655 477 11 | 0.699 % | 6.70/6.87 c | 815 | 5544 6957 17151 | 7320 815 16 | 0.699 % | 6.79/6.92 c | 1325 | 5544 6957 17151 | 8052 1325 17 | 0.699 % | 6.79/6.99 c =============================================================================== 6.89/7.01 c core #989 6.89/7.01 c Core size: 1063 Core Weight: 1 Total Weight: 989 6.89/7.01 c Elapsed CPU time: 6.85796 s Remaining CPU time: 1793.14 s 6.89/7.02 c ============================[ Search Statistics ]============================== 6.89/7.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/7.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/7.02 c =============================================================================== 6.89/7.02 c | 0 | 6025 6958 18114 | 5000 0 nan | 0.000 % | 6.89/7.04 c | 100 | 6025 6958 18114 | 5500 100 11 | 0.610 % | 6.89/7.05 c | 250 | 6025 6958 18114 | 6050 250 8 | 0.611 % | 6.89/7.07 c | 475 | 6025 6958 18114 | 6655 475 11 | 0.611 % | 7.00/7.10 c | 812 | 6025 6958 18114 | 7320 812 11 | 0.610 % | 7.00/7.16 c | 1318 | 6018 6958 18114 | 8052 1226 10 | 0.726 % | 7.00/7.20 c =============================================================================== 7.09/7.20 c core #990 7.09/7.20 c Core size: 680 Core Weight: 1 Total Weight: 990 7.09/7.20 c Elapsed CPU time: 7.04593 s Remaining CPU time: 1792.95 s 7.09/7.22 c ============================[ Search Statistics ]============================== 7.09/7.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.22 c =============================================================================== 7.09/7.22 c | 0 | 6344 6959 18751 | 5000 0 nan | 0.000 % | 7.09/7.23 c | 100 | 6344 6959 18751 | 5500 100 13 | 0.471 % | 7.09/7.25 c | 250 | 6344 6959 18751 | 6050 250 24 | 0.471 % | 7.09/7.27 c | 475 | 6344 6959 18751 | 6655 475 20 | 0.471 % | 7.20/7.31 c | 812 | 6293 6959 18751 | 7320 808 14 | 1.710 % | 7.20/7.37 c | 1320 | 6261 6959 18751 | 8052 1301 15 | 1.773 % | 7.29/7.46 c | 2079 | 6261 6959 18751 | 8857 2060 17 | 1.773 % | 7.50/7.65 c | 3218 | 6259 6959 18751 | 9743 3195 22 | 1.804 % | 7.80/7.95 c | 4926 | 6259 6959 18751 | 10717 4896 25 | 1.804 % | 8.30/8.47 c | 7489 | 6259 6959 18751 | 11789 7459 30 | 1.804 % | 9.20/9.33 c | 11334 | 6245 6959 18751 | 12968 11291 33 | 2.777 % | 10.80/10.99 c | 17103 | 6245 6959 18751 | 14265 10424 42 | 2.777 % | 12.00/12.12 c =============================================================================== 12.20/12.33 c core #991 12.20/12.33 c Core size: 1268 Core Weight: 1 Total Weight: 991 12.20/12.33 c Elapsed CPU time: 12.0822 s Remaining CPU time: 1787.92 s 12.20/12.36 c ============================[ Search Statistics ]============================== 12.20/12.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.20/12.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.20/12.36 c =============================================================================== 12.20/12.36 c | 0 | 6894 6960 19844 | 5000 0 nan | 0.000 % | 12.20/12.39 c | 101 | 6894 6960 19844 | 5500 101 61 | 0.347 % | 12.29/12.40 c | 252 | 6894 6960 19844 | 6050 252 33 | 0.347 % | 12.29/12.42 c | 477 | 6893 6960 19844 | 6655 467 22 | 0.361 % | 12.29/12.47 c | 815 | 6864 6960 19844 | 7320 785 17 | 0.781 % | 12.39/12.52 c | 1323 | 6864 6960 19844 | 8052 1290 15 | 0.781 % | 12.50/12.64 c | 2082 | 6864 6960 19844 | 8857 2049 17 | 0.781 % | 12.70/12.80 c | 3221 | 6864 6960 19844 | 9743 3188 19 | 0.781 % | 13.00/13.16 c =============================================================================== 13.00/13.20 c core #992 13.00/13.20 c Core size: 1291 Core Weight: 1 Total Weight: 992 13.00/13.20 c Elapsed CPU time: 12.926 s Remaining CPU time: 1787.07 s 13.09/13.22 c ============================[ Search Statistics ]============================== 13.09/13.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.22 c =============================================================================== 13.09/13.22 c | 0 | 7456 6961 20968 | 5000 0 nan | 0.000 % | 13.09/13.24 c | 100 | 7456 6961 20968 | 5500 100 23 | 0.321 % | 13.09/13.27 c | 250 | 7456 6961 20968 | 6050 250 21 | 0.321 % | 13.09/13.29 c | 475 | 7456 6961 20968 | 6655 475 22 | 0.321 % | 13.19/13.34 c | 813 | 7456 6961 20968 | 7320 813 19 | 0.321 % | 13.29/13.47 c | 1321 | 7456 6961 20968 | 8052 1321 24 | 0.321 % | 13.39/13.59 c | 2080 | 7456 6961 20968 | 8857 2080 31 | 0.321 % | 13.80/13.93 c | 3223 | 7456 6961 20968 | 9743 3223 37 | 0.321 % | 14.09/14.28 c | 4933 | 7456 6961 20968 | 10717 4933 32 | 0.321 % | 14.69/14.89 c | 7495 | 7456 6961 20968 | 11789 7495 42 | 0.321 % | 15.69/15.84 c | 11339 | 7456 6961 20968 | 12968 11339 39 | 0.321 % | 17.29/17.46 c | 17107 | 7456 6961 20968 | 14265 10136 57 | 0.321 % | 20.79/20.97 c | 25757 | 7452 6961 20968 | 15692 11521 80 | 0.374 % | 25.20/25.31 c | 38734 | 7452 6961 20968 | 17261 8480 60 | 0.374 % | 32.29/32.49 c | 58196 | 7449 6961 20968 | 18987 10505 52 | 0.414 % | 44.78/44.97 c | 87389 | 7440 6961 20968 | 20886 10872 62 | 0.535 % | 67.58/67.78 c | 131180 | 7439 6961 20968 | 22974 17874 78 | 0.548 % | 98.87/99.07 c | 196868 | 7439 6961 20968 | 25272 13549 66 | 0.548 % | 123.06/123.25 c =============================================================================== 126.56/126.73 c core #993 126.56/126.73 c Core size: 2061 Core Weight: 1 Total Weight: 993 126.56/126.73 c Elapsed CPU time: 125.377 s Remaining CPU time: 1674.62 s 126.76/126.99 c ============================[ Search Statistics ]============================== 126.76/126.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.76/126.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.76/126.99 c =============================================================================== 126.76/126.99 c | 0 | 8324 6962 22683 | 5000 0 nan | 0.000 % | 126.86/127.06 c | 100 | 8324 6962 22683 | 5500 100 21 | 0.120 % | 126.86/127.09 c | 250 | 8324 6962 22683 | 6050 250 23 | 0.120 % | 126.95/127.13 c | 480 | 8324 6962 22683 | 6655 480 26 | 0.120 % | 127.05/127.25 c | 817 | 8324 6962 22683 | 7320 817 29 | 0.120 % | 127.15/127.38 c | 1323 | 8324 6962 22683 | 8052 1323 44 | 0.120 % | 127.46/127.61 c | 2082 | 8324 6962 22683 | 8857 2082 47 | 0.120 % | 127.75/127.96 c | 3221 | 8324 6962 22683 | 9743 3221 51 | 0.120 % | 128.25/128.42 c | 4930 | 8324 6962 22683 | 10717 4930 47 | 0.120 % | 129.15/129.34 c | 7492 | 8324 6962 22683 | 11789 7492 58 | 0.120 % | 130.66/130.82 c | 11336 | 8324 6962 22683 | 12968 11336 61 | 0.120 % | 134.05/134.21 c | 17102 | 8324 6962 22683 | 14265 10523 70 | 0.120 % | 137.65/137.85 c | 25751 | 8324 6962 22683 | 15692 11955 67 | 0.120 % | 143.25/143.48 c | 38725 | 8324 6962 22683 | 17261 9013 69 | 0.120 % | 152.24/152.49 c | 58187 | 8324 6962 22683 | 18987 10877 96 | 0.120 % | 167.74/167.97 c | 87379 | 8324 6962 22683 | 20886 10835 87 | 0.120 % | 201.43/201.67 c | 131171 | 8324 6962 22683 | 22974 11594 142 | 0.120 % | 233.32/233.51 c | 196855 | 8324 6962 22683 | 25272 17701 104 | 0.120 % | 288.02/288.22 c | 295381 | 8324 6962 22683 | 27799 24728 83 | 0.120 % | 377.39/377.62 c | 443170 | 8324 6962 22683 | 30579 26759 142 | 0.120 % | 543.24/543.51 c | 664853 | 8324 6962 22683 | 33637 24931 107 | 0.120 % | 789.39/789.79 c | 997380 | 8324 6962 22683 | 37001 32064 111 | 0.120 % | 1129.68/1130.14 c =============================================================================== 1146.28/1146.79 c core #994 1146.28/1146.79 c Core size: 2431 Core Weight: 1 Total Weight: 994 1146.28/1146.79 c Elapsed CPU time: 1138.12 s Remaining CPU time: 661.875 s 1147.78/1148.24 c ============================[ Search Statistics ]============================== 1147.78/1148.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1147.78/1148.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1147.78/1148.24 c =============================================================================== 1147.78/1148.24 c | 0 | 9254 6963 24543 | 5000 0 nan | 0.000 % | 1147.89/1148.32 c | 101 | 9254 6963 24543 | 5500 101 17 | 0.108 % | 1147.99/1148.44 c | 252 | 9254 6963 24543 | 6050 252 20 | 0.108 % | 1148.18/1148.63 c | 479 | 9254 6963 24543 | 6655 479 47 | 0.108 % | 1148.28/1148.79 c | 816 | 9254 6963 24543 | 7320 816 39 | 0.108 % | 1148.48/1148.97 c | 1328 | 9254 6963 24543 | 8052 1328 40 | 0.108 % | 1148.78/1149.27 c | 2090 | 9254 6963 24543 | 8857 2090 44 | 0.108 % | 1149.18/1149.61 c | 3230 | 9254 6963 24543 | 9743 3230 44 | 0.108 % | 1149.88/1150.33 c | 4939 | 9254 6963 24543 | 10717 4939 58 | 0.108 % | 1150.89/1151.31 c | 7501 | 9254 6963 24543 | 11789 7501 62 | 0.108 % | 1151.88/1152.39 c | 11345 | 9254 6963 24543 | 12968 11345 61 | 0.108 % | 1154.88/1155.33 c | 17112 | 9254 6963 24543 | 14265 10117 84 | 0.108 % | 1158.98/1159.43 c | 25761 | 9254 6963 24543 | 15692 11410 120 | 0.108 % | 1165.28/1165.76 c | 38735 | 9254 6963 24543 | 17261 8275 67 | 0.108 % | 1172.27/1172.71 c | 58198 | 9254 6963 24543 | 18987 10109 66 | 0.108 % | 1183.57/1184.09 c | 87393 | 9254 6963 24543 | 20886 19897 74 | 0.108 % | 1203.85/1204.34 c | 131183 | 9254 6963 24543 | 22974 20514 75 | 0.108 % | 1243.75/1244.24 c | 196867 | 9254 6963 24543 | 25272 15838 148 | 0.108 % | 1296.13/1296.67 c | 295393 | 9254 6963 24543 | 27799 23579 120 | 0.108 % | 1406.40/1406.95 c | 443182 | 9254 6963 24543 | 30579 19083 105 | 0.108 % | 1563.06/1563.65 c | 664866 | 9254 6963 24543 | 33637 15503 94 | 0.108 % |
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-1875710-1245145269/watcher-1875710-1245145269 -o /tmp/evaluation-result-1875710-1245145269/solver-1875710-1245145269 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875710-1245145269.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 10837 /proc/meminfo: memFree=1869048/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=2964 CPUtime=0 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 67229696 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134605498 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 741 253 125 292 0 418 0 [startup+0.050915 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10837 /proc/meminfo: memFree=1869048/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=3512 CPUtime=0.04 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 483 0 0 0 4 0 0 0 18 0 1 0 67229696 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 878 439 133 292 0 583 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3512 [startup+0.101921 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10837 /proc/meminfo: memFree=1869048/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=3640 CPUtime=0.09 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 515 0 0 0 9 0 0 0 18 0 1 0 67229696 3727360 471 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 910 471 133 292 0 615 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301944 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10837 /proc/meminfo: memFree=1869048/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=3592 CPUtime=0.29 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 545 0 0 0 29 0 0 0 19 0 1 0 67229696 3678208 473 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 898 473 133 292 0 603 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3592 [startup+0.70199 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10837 /proc/meminfo: memFree=1869048/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=3804 CPUtime=0.69 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 684 0 0 0 69 0 0 0 22 0 1 0 67229696 3895296 531 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 951 531 133 292 0 656 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3804 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1866992/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=4732 CPUtime=1.48 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 1053 0 0 0 148 0 0 0 25 0 1 0 67229696 4845568 731 1992294400 134512640 135709839 4294956240 18446744073709551615 135165907 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 1183 731 133 292 0 888 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4732 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1865648/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=6608 CPUtime=3.05 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 2108 0 0 0 304 1 0 0 25 0 1 0 67229696 6766592 1228 1992294400 134512640 135709839 4294956240 18446744073709551615 135382478 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 1652 1228 133 292 0 1357 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 6608 [startup+6.30164 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1860592/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=13004 CPUtime=6.21 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 4901 0 0 0 617 4 0 0 25 0 1 0 67229696 13316096 2793 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 3251 2793 134 292 0 2956 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 13004 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1847672/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=24728 CPUtime=12.59 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 8026 0 0 0 1243 16 0 0 25 0 1 0 67229696 25321472 5707 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 6182 5707 136 292 0 5887 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 24728 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1832184/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=39164 CPUtime=25.39 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 11712 0 0 0 2500 39 0 0 25 0 1 0 67229696 40103936 9352 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 9791 9352 136 292 0 9496 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 39164 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1798136/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=72972 CPUtime=50.98 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 20175 0 0 0 5034 64 0 0 25 0 1 0 67229696 74723328 17815 1992294400 134512640 135709839 4294956240 18446744073709551615 134568419 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 18243 17815 136 292 0 17948 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 72972 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1735544/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=135172 CPUtime=102.17 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 35727 0 0 0 10106 111 0 0 25 0 1 0 67229696 138416128 33367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 33793 33367 136 292 0 33498 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 135172 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1707768/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=162760 CPUtime=162.15 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 42603 0 0 0 16054 161 0 0 25 0 1 0 67229696 166666240 40243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 40690 40243 136 292 0 40395 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 162760 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1657912/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=212736 CPUtime=222.13 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 55094 0 0 0 22009 204 0 0 25 0 1 0 67229696 217841664 52734 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 53184 52734 136 292 0 52889 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 212736 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1587384/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=283888 CPUtime=282.11 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 72861 0 0 0 27957 254 0 0 25 0 1 0 67229696 290701312 70501 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 70972 70501 136 292 0 70677 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 283888 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1516472/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=354156 CPUtime=342.1 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 90414 0 0 0 33906 304 0 0 25 0 1 0 67229696 362655744 88054 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 88539 88054 136 292 0 88244 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 354156 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1452408/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=418512 CPUtime=402.08 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 106504 0 0 0 39863 345 0 0 25 0 1 0 67229696 428556288 104144 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 104628 104144 136 292 0 104333 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 418512 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1393976/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=476400 CPUtime=462.06 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 120983 0 0 0 45821 385 0 0 25 0 1 0 67229696 487833600 118623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 119100 118623 136 292 0 118805 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 476400 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1341368/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=529664 CPUtime=522.05 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 134278 0 0 0 51787 418 0 0 25 0 1 0 67229696 542375936 131918 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 132416 131918 136 292 0 132121 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 529664 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1274424/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=596364 CPUtime=582.03 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 150940 0 0 0 57740 463 0 0 25 0 1 0 67229696 610676736 148580 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 149091 148580 136 292 0 148796 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 596364 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=1211896/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=657712 CPUtime=642.02 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 166269 0 0 0 63693 509 0 0 25 0 1 0 67229696 673497088 163909 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 164428 163909 136 292 0 164133 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 657712 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=959672/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=909588 CPUtime=881.95 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 229211 0 0 0 87524 671 0 0 25 0 1 0 67229696 931418112 226851 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 227397 226851 136 292 0 227102 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 909588 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=900280/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=969552 CPUtime=941.93 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 244163 0 0 0 93483 710 0 0 25 0 1 0 67229696 992821248 241803 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 242388 241803 136 292 0 242093 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 969552 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=832696/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1036648 CPUtime=1001.92 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 260934 0 0 0 99440 752 0 0 25 0 1 0 67229696 1061527552 258574 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 259162 258574 136 292 0 258867 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1036648 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10838 /proc/meminfo: memFree=773048/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1096868 CPUtime=1061.91 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 276010 0 0 0 105398 793 0 0 25 0 1 0 67229696 1123192832 273650 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 274217 273650 136 292 0 273922 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1096868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10840 /proc/meminfo: memFree=722616/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1146324 CPUtime=1121.89 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 288340 0 0 0 111371 818 0 0 25 0 1 0 67229696 1173835776 285980 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 286581 285980 136 292 0 286286 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1146324 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10840 /proc/meminfo: memFree=697656/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1171152 CPUtime=1181.87 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 294507 0 0 0 117331 856 0 0 25 0 1 0 67229696 1199259648 292147 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 292788 292147 136 292 0 292493 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1171152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=697400/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1171152 CPUtime=1241.84 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 294509 0 0 0 123278 906 0 0 25 0 1 0 67229696 1199259648 292149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 292788 292149 136 292 0 292493 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1171152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=697400/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1171152 CPUtime=1301.83 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 294509 0 0 0 129236 947 0 0 25 0 1 0 67229696 1199259648 292149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 292788 292149 136 292 0 292493 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1171152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=697400/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1171152 CPUtime=1361.81 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 294525 0 0 0 135207 974 0 0 25 0 1 0 67229696 1199259648 292165 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 292788 292165 136 292 0 292493 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1171152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=696120/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1171944 CPUtime=1421.8 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 294856 0 0 0 141173 1007 0 0 25 0 1 0 67229696 1200070656 292496 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 292986 292496 136 292 0 292691 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1171944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=643192/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1225180 CPUtime=1481.78 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 308142 0 0 0 147125 1053 0 0 25 0 1 0 67229696 1254584320 305782 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 306295 305782 136 292 0 306000 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1225180 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=597432/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1270724 CPUtime=1541.76 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 319499 0 0 0 153089 1087 0 0 25 0 1 0 67229696 1301221376 317139 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 317681 317139 136 292 0 317386 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1270724 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=548792/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1319940 CPUtime=1601.75 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 331784 0 0 0 159048 1127 0 0 25 0 1 0 67229696 1351618560 329424 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 329985 329424 136 292 0 329690 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1319940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=495288/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1372724 CPUtime=1661.73 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 344959 0 0 0 165009 1164 0 0 25 0 1 0 67229696 1405669376 342599 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 343181 342599 136 292 0 342886 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1372724 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=435704/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1432572 CPUtime=1721.72 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 359934 0 0 0 170972 1200 0 0 25 0 1 0 67229696 1466953728 357574 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 358143 357574 136 292 0 357848 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1432572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=380408/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1487668 CPUtime=1781.7 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 373691 0 0 0 176941 1229 0 0 25 0 1 0 67229696 1523372032 371331 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 371917 371331 136 292 0 371622 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1487668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=354168/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=1513276 CPUtime=1800 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4194304 380112 0 0 0 178757 1243 0 0 25 0 1 0 67229696 1549594624 377752 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 378319 377752 136 292 0 378024 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1513276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10846 /proc/meminfo: memFree=354168/2055920 swapFree=4192952/4192956 [pid=10837] ppid=10835 vsize=0 CPUtime=1800.19 /proc/10837/stat : 10837 (wbo) R 10835 10837 10758 0 -1 4195332 380112 0 0 0 178757 1262 0 0 25 0 1 0 67229696 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10837/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.84 CPU time (s): 1800.25 CPU user time (s): 1787.58 CPU system time (s): 12.6681 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 1513276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.58 system time used= 12.6681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 380112 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5031 runsolver used 1.19482 second user time and 4.01239 second system time The end
Begin job on node20 at 2009-06-16 11:41:09 IDJOB=1875710 IDBENCH=1989 IDSOLVER=698 FILE ID=node20/1875710-1245145269 PBS_JOBID= 9363750 Free space on /tmp= 66324 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.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-1875710-1245145269/watcher-1875710-1245145269 -o /tmp/evaluation-result-1875710-1245145269/solver-1875710-1245145269 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875710-1245145269.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 77b4ba393aa7b9b6b0fcb1b4220a12a4 RANDOM SEED=1580914102 node20.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.234 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.234 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: 1869528 kB Buffers: 23196 kB Cached: 77100 kB SwapCached: 4 kB Active: 31988 kB Inactive: 81724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869528 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 2488 kB Writeback: 0 kB Mapped: 23180 kB Slab: 58676 kB Committed_AS: 126200 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875710-1245145269.opb Free space on /tmp at the end= 66320 MiB End job on node20 at 2009-06-16 12:11:11