Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.33 | 1803.56 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb |
MD5SUM | e1d6958876c3f9359c6b5193f1345bd5 |
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.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1038 |
Optimality of the best value was proved | NO |
Number of variables | 1964 |
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 | 1964 |
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 | 1964 |
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 | 1964 |
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-1875709-1245145009.opb. 0.00/0.00 c Instance file HOME/instance-1875709-1245145009.opb 0.00/0.00 c File size is 112193 bytes. 0.00/0.01 c Highest Coefficient sum: 3 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1964 | 0.00/0.01 c | Number Clauses: 5964 | 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.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #4 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #5 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #6 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #7 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #8 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #9 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #10 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #11 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #12 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #13 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #14 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #15 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #16 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #17 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #18 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #19 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #20 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 20 0.07/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #21 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 21 0.07/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #22 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 22 0.07/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #23 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 23 0.07/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #24 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: 24 0.07/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 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.097985 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.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #27 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 27 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 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.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #29 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 29 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 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.115982 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.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #32 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 32 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 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.124981 s Remaining CPU time: 1799.88 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.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #35 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 35 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 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.134979 s Remaining CPU time: 1799.87 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.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #38 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 38 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 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.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #40 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 40 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #41 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 41 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 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.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #43 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 43 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 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.163975 s Remaining CPU time: 1799.84 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.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #46 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 46 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 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.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #48 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #49 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 49 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 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.184971 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #51 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 51 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #52 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 52 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 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.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #54 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 54 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #55 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #56 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #57 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 57 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 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.212967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #59 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 59 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #60 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 60 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 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.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #62 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 62 0.19/0.23 c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #63 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 63 0.19/0.23 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #64 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 64 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #65 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 65 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 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.243962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #67 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 67 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #68 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 68 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #69 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 69 0.19/0.26 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #70 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 70 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 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.26196 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #72 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 72 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #73 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 73 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #74 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.28 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #75 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 75 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 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.281957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #77 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #78 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 78 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #79 0.19/0.30 c Core size: 3 Core Weight: 1 Total Weight: 79 0.19/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #80 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 80 0.29/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #81 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 81 0.29/0.30 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #82 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 82 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #83 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 83 0.29/0.31 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 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.309952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #85 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 85 0.29/0.32 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #86 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 86 0.29/0.32 c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #87 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 87 0.29/0.33 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #88 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 88 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 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.329949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #90 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 90 0.29/0.34 c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #91 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 91 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #92 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 92 0.29/0.35 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #93 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 93 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #94 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 94 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #95 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 95 0.29/0.36 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #96 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 96 0.29/0.36 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 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.359945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #98 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 98 0.29/0.37 c Elapsed CPU time: 0.363944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #99 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 99 0.29/0.37 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #100 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 100 0.29/0.38 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #101 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 101 0.29/0.38 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 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.379942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #103 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 103 0.29/0.39 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #104 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 104 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #105 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 105 0.39/0.40 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #106 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 106 0.39/0.40 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 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.398939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #108 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 108 0.39/0.41 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #109 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 109 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #110 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 110 0.39/0.42 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #111 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 111 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #112 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 112 0.39/0.43 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #113 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 113 0.39/0.43 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #114 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 114 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #115 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 115 0.39/0.44 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #116 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 116 0.39/0.44 c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #117 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 117 0.39/0.45 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #118 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 118 0.39/0.45 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #119 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 119 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #120 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 120 0.39/0.46 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #121 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 121 0.39/0.46 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #122 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 122 0.39/0.47 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #123 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 123 0.39/0.47 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #124 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 124 0.39/0.47 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.39/0.48 c core #125 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 125 0.39/0.48 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #126 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 126 0.39/0.48 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #127 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 127 0.39/0.49 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #128 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 128 0.39/0.49 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.50 c core #129 0.39/0.50 c Core size: 3 Core Weight: 1 Total Weight: 129 0.39/0.50 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.48/0.50 c core #130 0.48/0.50 c Core size: 3 Core Weight: 1 Total Weight: 130 0.48/0.50 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.48/0.50 c core #131 0.48/0.50 c Core size: 3 Core Weight: 1 Total Weight: 131 0.48/0.50 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.48/0.51 c core #132 0.48/0.51 c Core size: 3 Core Weight: 1 Total Weight: 132 0.48/0.51 c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s 0.48/0.51 c core #133 0.48/0.51 c Core size: 3 Core Weight: 1 Total Weight: 133 0.48/0.51 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.48/0.52 c core #134 0.48/0.52 c Core size: 3 Core Weight: 1 Total Weight: 134 0.48/0.52 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.48/0.52 c core #135 0.48/0.52 c Core size: 3 Core Weight: 1 Total Weight: 135 0.48/0.52 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.48/0.52 c core #136 0.48/0.52 c Core size: 3 Core Weight: 1 Total Weight: 136 0.48/0.52 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.48/0.53 c core #137 0.48/0.53 c Core size: 3 Core Weight: 1 Total Weight: 137 0.48/0.53 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.48/0.53 c core #138 0.48/0.53 c Core size: 3 Core Weight: 1 Total Weight: 138 0.48/0.53 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.48/0.53 c core #139 0.48/0.53 c Core size: 3 Core Weight: 1 Total Weight: 139 0.48/0.53 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.48/0.54 c core #140 0.48/0.54 c Core size: 3 Core Weight: 1 Total Weight: 140 0.48/0.54 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.48/0.54 c core #141 0.48/0.54 c Core size: 3 Core Weight: 1 Total Weight: 141 0.48/0.54 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.48/0.55 c core #142 0.48/0.55 c Core size: 3 Core Weight: 1 Total Weight: 142 0.48/0.55 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.48/0.55 c core #143 0.48/0.55 c Core size: 3 Core Weight: 1 Total Weight: 143 0.48/0.55 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.48/0.56 c core #144 0.48/0.56 c Core size: 3 Core Weight: 1 Total Weight: 144 0.48/0.56 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.48/0.56 c core #145 0.48/0.56 c Core size: 3 Core Weight: 1 Total Weight: 145 0.48/0.56 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.48/0.56 c core #146 0.48/0.56 c Core size: 3 Core Weight: 1 Total Weight: 146 0.48/0.56 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.48/0.57 c core #147 0.48/0.57 c Core size: 3 Core Weight: 1 Total Weight: 147 0.48/0.57 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.48/0.57 c core #148 0.48/0.57 c Core size: 3 Core Weight: 1 Total Weight: 148 0.48/0.57 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.48/0.58 c core #149 0.48/0.58 c Core size: 3 Core Weight: 1 Total Weight: 149 0.48/0.58 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.48/0.58 c core #150 0.48/0.58 c Core size: 3 Core Weight: 1 Total Weight: 150 0.48/0.58 c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s 0.48/0.58 c core #151 0.48/0.58 c Core size: 3 Core Weight: 1 Total Weight: 151 0.48/0.58 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 0.48/0.59 c core #152 0.48/0.59 c Core size: 3 Core Weight: 1 Total Weight: 152 0.48/0.59 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.48/0.59 c core #153 0.48/0.59 c Core size: 3 Core Weight: 1 Total Weight: 153 0.48/0.59 c Elapsed CPU time: 0.578911 s Remaining CPU time: 1799.42 s 0.58/0.60 c core #154 0.58/0.60 c Core size: 3 Core Weight: 1 Total Weight: 154 0.58/0.60 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.58/0.60 c core #155 0.58/0.60 c Core size: 3 Core Weight: 1 Total Weight: 155 0.58/0.60 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.58/0.61 c core #156 0.58/0.61 c Core size: 3 Core Weight: 1 Total Weight: 156 0.58/0.61 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 0.58/0.61 c core #157 0.58/0.61 c Core size: 3 Core Weight: 1 Total Weight: 157 0.58/0.61 c Elapsed CPU time: 0.595909 s Remaining CPU time: 1799.4 s 0.58/0.61 c core #158 0.58/0.61 c Core size: 3 Core Weight: 1 Total Weight: 158 0.58/0.61 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.58/0.62 c core #159 0.58/0.62 c Core size: 3 Core Weight: 1 Total Weight: 159 0.58/0.62 c Elapsed CPU time: 0.604908 s Remaining CPU time: 1799.4 s 0.58/0.62 c core #160 0.58/0.62 c Core size: 3 Core Weight: 1 Total Weight: 160 0.58/0.62 c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s 0.58/0.63 c core #161 0.58/0.63 c Core size: 3 Core Weight: 1 Total Weight: 161 0.58/0.63 c Elapsed CPU time: 0.612906 s Remaining CPU time: 1799.39 s 0.58/0.63 c core #162 0.58/0.63 c Core size: 3 Core Weight: 1 Total Weight: 162 0.58/0.63 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.58/0.64 c core #163 0.58/0.64 c Core size: 3 Core Weight: 1 Total Weight: 163 0.58/0.64 c Elapsed CPU time: 0.620905 s Remaining CPU time: 1799.38 s 0.58/0.64 c core #164 0.58/0.64 c Core size: 3 Core Weight: 1 Total Weight: 164 0.58/0.64 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.58/0.64 c core #165 0.58/0.64 c Core size: 3 Core Weight: 1 Total Weight: 165 0.58/0.64 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.58/0.65 c core #166 0.58/0.65 c Core size: 3 Core Weight: 1 Total Weight: 166 0.58/0.65 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.58/0.65 c core #167 0.58/0.65 c Core size: 3 Core Weight: 1 Total Weight: 167 0.58/0.65 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.58/0.66 c core #168 0.58/0.66 c Core size: 3 Core Weight: 1 Total Weight: 168 0.58/0.66 c Elapsed CPU time: 0.642902 s Remaining CPU time: 1799.36 s 0.58/0.66 c core #169 0.58/0.66 c Core size: 3 Core Weight: 1 Total Weight: 169 0.58/0.66 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.58/0.67 c core #170 0.58/0.67 c Core size: 3 Core Weight: 1 Total Weight: 170 0.58/0.67 c Elapsed CPU time: 0.6519 s Remaining CPU time: 1799.35 s 0.58/0.67 c core #171 0.58/0.67 c Core size: 3 Core Weight: 1 Total Weight: 171 0.58/0.67 c Elapsed CPU time: 0.6559 s Remaining CPU time: 1799.34 s 0.58/0.67 c core #172 0.58/0.67 c Core size: 3 Core Weight: 1 Total Weight: 172 0.58/0.68 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.58/0.68 c core #173 0.58/0.68 c Core size: 3 Core Weight: 1 Total Weight: 173 0.58/0.68 c Elapsed CPU time: 0.663899 s Remaining CPU time: 1799.34 s 0.58/0.68 c core #174 0.58/0.68 c Core size: 3 Core Weight: 1 Total Weight: 174 0.58/0.68 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.58/0.69 c core #175 0.58/0.69 c Core size: 3 Core Weight: 1 Total Weight: 175 0.58/0.69 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.58/0.69 c core #176 0.58/0.69 c Core size: 3 Core Weight: 1 Total Weight: 176 0.58/0.69 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.58/0.70 c core #177 0.58/0.70 c Core size: 3 Core Weight: 1 Total Weight: 177 0.58/0.70 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.68/0.70 c core #178 0.68/0.70 c Core size: 3 Core Weight: 1 Total Weight: 178 0.68/0.70 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.68/0.70 c core #179 0.68/0.70 c Core size: 3 Core Weight: 1 Total Weight: 179 0.68/0.70 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.68/0.71 c core #180 0.68/0.71 c Core size: 3 Core Weight: 1 Total Weight: 180 0.68/0.71 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.68/0.71 c core #181 0.68/0.71 c Core size: 3 Core Weight: 1 Total Weight: 181 0.68/0.71 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.68/0.72 c core #182 0.68/0.72 c Core size: 3 Core Weight: 1 Total Weight: 182 0.68/0.72 c Elapsed CPU time: 0.701893 s Remaining CPU time: 1799.3 s 0.68/0.72 c core #183 0.68/0.72 c Core size: 3 Core Weight: 1 Total Weight: 183 0.68/0.72 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.68/0.73 c core #184 0.68/0.73 c Core size: 3 Core Weight: 1 Total Weight: 184 0.68/0.73 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.68/0.73 c core #185 0.68/0.73 c Core size: 3 Core Weight: 1 Total Weight: 185 0.68/0.73 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.68/0.74 c core #186 0.68/0.74 c Core size: 3 Core Weight: 1 Total Weight: 186 0.68/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 1799.28 s 0.68/0.74 c core #187 0.68/0.74 c Core size: 3 Core Weight: 1 Total Weight: 187 0.68/0.74 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.68/0.74 c core #188 0.68/0.74 c Core size: 3 Core Weight: 1 Total Weight: 188 0.68/0.74 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.68/0.75 c core #189 0.68/0.75 c Core size: 3 Core Weight: 1 Total Weight: 189 0.68/0.75 c Elapsed CPU time: 0.731888 s Remaining CPU time: 1799.27 s 0.68/0.75 c core #190 0.68/0.75 c Core size: 3 Core Weight: 1 Total Weight: 190 0.68/0.75 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.68/0.76 c core #191 0.68/0.76 c Core size: 3 Core Weight: 1 Total Weight: 191 0.68/0.76 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.68/0.76 c core #192 0.68/0.76 c Core size: 3 Core Weight: 1 Total Weight: 192 0.68/0.76 c Elapsed CPU time: 0.745886 s Remaining CPU time: 1799.25 s 0.68/0.77 c core #193 0.68/0.77 c Core size: 3 Core Weight: 1 Total Weight: 193 0.68/0.77 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.68/0.77 c core #194 0.68/0.77 c Core size: 3 Core Weight: 1 Total Weight: 194 0.68/0.77 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.68/0.78 c core #195 0.68/0.78 c Core size: 3 Core Weight: 1 Total Weight: 195 0.68/0.78 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.68/0.78 c core #196 0.68/0.78 c Core size: 3 Core Weight: 1 Total Weight: 196 0.68/0.78 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.68/0.78 c core #197 0.68/0.78 c Core size: 3 Core Weight: 1 Total Weight: 197 0.68/0.78 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.68/0.79 c core #198 0.68/0.79 c Core size: 3 Core Weight: 1 Total Weight: 198 0.68/0.79 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.68/0.79 c core #199 0.68/0.79 c Core size: 3 Core Weight: 1 Total Weight: 199 0.68/0.79 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.78/0.80 c core #200 0.78/0.80 c Core size: 3 Core Weight: 1 Total Weight: 200 0.78/0.80 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.78/0.80 c core #201 0.78/0.80 c Core size: 3 Core Weight: 1 Total Weight: 201 0.78/0.80 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.78/0.81 c core #202 0.78/0.81 c Core size: 3 Core Weight: 1 Total Weight: 202 0.78/0.81 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.78/0.81 c core #203 0.78/0.81 c Core size: 3 Core Weight: 1 Total Weight: 203 0.78/0.81 c Elapsed CPU time: 0.794879 s Remaining CPU time: 1799.21 s 0.78/0.82 c core #204 0.78/0.82 c Core size: 3 Core Weight: 1 Total Weight: 204 0.78/0.82 c Elapsed CPU time: 0.799878 s Remaining CPU time: 1799.2 s 0.78/0.82 c core #205 0.78/0.82 c Core size: 3 Core Weight: 1 Total Weight: 205 0.78/0.82 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.78/0.83 c core #206 0.78/0.83 c Core size: 3 Core Weight: 1 Total Weight: 206 0.78/0.83 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.78/0.83 c core #207 0.78/0.83 c Core size: 3 Core Weight: 1 Total Weight: 207 0.78/0.83 c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s 0.78/0.83 c core #208 0.78/0.83 c Core size: 3 Core Weight: 1 Total Weight: 208 0.78/0.83 c Elapsed CPU time: 0.815875 s Remaining CPU time: 1799.18 s 0.78/0.84 c core #209 0.78/0.84 c Core size: 3 Core Weight: 1 Total Weight: 209 0.78/0.84 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.78/0.84 c core #210 0.78/0.84 c Core size: 3 Core Weight: 1 Total Weight: 210 0.78/0.84 c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s 0.78/0.85 c core #211 0.78/0.85 c Core size: 3 Core Weight: 1 Total Weight: 211 0.78/0.85 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.78/0.85 c core #212 0.78/0.85 c Core size: 3 Core Weight: 1 Total Weight: 212 0.78/0.85 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.78/0.86 c core #213 0.78/0.86 c Core size: 3 Core Weight: 1 Total Weight: 213 0.78/0.86 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.78/0.86 c core #214 0.78/0.86 c Core size: 3 Core Weight: 1 Total Weight: 214 0.78/0.86 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.78/0.87 c core #215 0.78/0.87 c Core size: 3 Core Weight: 1 Total Weight: 215 0.78/0.87 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.78/0.87 c core #216 0.78/0.87 c Core size: 3 Core Weight: 1 Total Weight: 216 0.78/0.87 c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s 0.78/0.88 c core #217 0.78/0.88 c Core size: 3 Core Weight: 1 Total Weight: 217 0.78/0.88 c Elapsed CPU time: 0.855869 s Remaining CPU time: 1799.14 s 0.78/0.88 c core #218 0.78/0.88 c Core size: 3 Core Weight: 1 Total Weight: 218 0.78/0.88 c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s 0.78/0.88 c core #219 0.78/0.88 c Core size: 3 Core Weight: 1 Total Weight: 219 0.78/0.88 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.78/0.89 c core #220 0.78/0.89 c Core size: 3 Core Weight: 1 Total Weight: 220 0.78/0.89 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.78/0.89 c core #221 0.78/0.89 c Core size: 3 Core Weight: 1 Total Weight: 221 0.78/0.89 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.87/0.90 c core #222 0.87/0.90 c Core size: 3 Core Weight: 1 Total Weight: 222 0.87/0.90 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.87/0.90 c core #223 0.87/0.90 c Core size: 3 Core Weight: 1 Total Weight: 223 0.87/0.90 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.87/0.91 c core #224 0.87/0.91 c Core size: 3 Core Weight: 1 Total Weight: 224 0.87/0.91 c Elapsed CPU time: 0.886865 s Remaining CPU time: 1799.11 s 0.87/0.91 c core #225 0.87/0.91 c Core size: 3 Core Weight: 1 Total Weight: 225 0.87/0.91 c Elapsed CPU time: 0.890864 s Remaining CPU time: 1799.11 s 0.87/0.92 c core #226 0.87/0.92 c Core size: 3 Core Weight: 1 Total Weight: 226 0.87/0.92 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.87/0.92 c core #227 0.87/0.92 c Core size: 3 Core Weight: 1 Total Weight: 227 0.87/0.92 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.87/0.93 c core #228 0.87/0.93 c Core size: 3 Core Weight: 1 Total Weight: 228 0.87/0.93 c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s 0.87/0.93 c core #229 0.87/0.93 c Core size: 3 Core Weight: 1 Total Weight: 229 0.87/0.93 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.87/0.94 c core #230 0.87/0.94 c Core size: 3 Core Weight: 1 Total Weight: 230 0.87/0.94 c Elapsed CPU time: 0.91486 s Remaining CPU time: 1799.09 s 0.87/0.94 c core #231 0.87/0.94 c Core size: 3 Core Weight: 1 Total Weight: 231 0.87/0.94 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.87/0.95 c core #232 0.87/0.95 c Core size: 3 Core Weight: 1 Total Weight: 232 0.87/0.95 c Elapsed CPU time: 0.923859 s Remaining CPU time: 1799.08 s 0.87/0.95 c core #233 0.87/0.95 c Core size: 3 Core Weight: 1 Total Weight: 233 0.87/0.95 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.87/0.96 c core #234 0.87/0.96 c Core size: 3 Core Weight: 1 Total Weight: 234 0.87/0.96 c Elapsed CPU time: 0.933858 s Remaining CPU time: 1799.07 s 0.87/0.96 c core #235 0.87/0.96 c Core size: 3 Core Weight: 1 Total Weight: 235 0.87/0.96 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 s 0.87/0.97 c core #236 0.87/0.97 c Core size: 3 Core Weight: 1 Total Weight: 236 0.87/0.97 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.87/0.98 c core #237 0.87/0.98 c Core size: 3 Core Weight: 1 Total Weight: 237 0.87/0.98 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 0.87/0.98 c core #238 0.87/0.98 c Core size: 3 Core Weight: 1 Total Weight: 238 0.87/0.98 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.87/0.99 c core #239 0.87/0.99 c Core size: 3 Core Weight: 1 Total Weight: 239 0.87/0.99 c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s 0.87/0.99 c core #240 0.87/0.99 c Core size: 3 Core Weight: 1 Total Weight: 240 0.87/0.99 c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s 0.96/1.01 c core #241 0.96/1.01 c Core size: 3 Core Weight: 1 Total Weight: 241 0.96/1.01 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.96/1.01 c core #242 0.96/1.01 c Core size: 3 Core Weight: 1 Total Weight: 242 0.96/1.01 c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s 0.96/1.01 c core #243 0.96/1.01 c Core size: 3 Core Weight: 1 Total Weight: 243 0.96/1.01 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 0.96/1.02 c core #244 0.96/1.02 c Core size: 3 Core Weight: 1 Total Weight: 244 0.96/1.02 c Elapsed CPU time: 0.977851 s Remaining CPU time: 1799.02 s 0.96/1.02 c core #245 0.96/1.02 c Core size: 3 Core Weight: 1 Total Weight: 245 0.96/1.02 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.96/1.03 c core #246 0.96/1.03 c Core size: 3 Core Weight: 1 Total Weight: 246 0.96/1.03 c Elapsed CPU time: 0.987849 s Remaining CPU time: 1799.01 s 0.96/1.03 c core #247 0.96/1.03 c Core size: 3 Core Weight: 1 Total Weight: 247 0.96/1.03 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 0.96/1.04 c core #248 0.96/1.04 c Core size: 3 Core Weight: 1 Total Weight: 248 0.96/1.04 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 0.96/1.04 c core #249 0.96/1.04 c Core size: 3 Core Weight: 1 Total Weight: 249 0.96/1.04 c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s 0.96/1.05 c core #250 0.96/1.05 c Core size: 3 Core Weight: 1 Total Weight: 250 0.96/1.05 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 0.96/1.05 c core #251 0.96/1.05 c Core size: 3 Core Weight: 1 Total Weight: 251 0.96/1.05 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 0.96/1.06 c core #252 0.96/1.06 c Core size: 3 Core Weight: 1 Total Weight: 252 0.96/1.06 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 0.96/1.06 c core #253 0.96/1.06 c Core size: 3 Core Weight: 1 Total Weight: 253 0.96/1.06 c Elapsed CPU time: 1.02084 s Remaining CPU time: 1798.98 s 0.96/1.07 c core #254 0.96/1.07 c Core size: 3 Core Weight: 1 Total Weight: 254 0.96/1.07 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 0.96/1.07 c core #255 0.96/1.07 c Core size: 3 Core Weight: 1 Total Weight: 255 0.96/1.07 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 0.96/1.08 c core #256 0.96/1.08 c Core size: 3 Core Weight: 1 Total Weight: 256 0.96/1.08 c Elapsed CPU time: 1.03384 s Remaining CPU time: 1798.97 s 0.96/1.08 c core #257 0.96/1.08 c Core size: 3 Core Weight: 1 Total Weight: 257 0.96/1.08 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 0.96/1.09 c core #258 0.96/1.09 c Core size: 3 Core Weight: 1 Total Weight: 258 0.96/1.09 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 0.96/1.09 c core #259 0.96/1.09 c Core size: 3 Core Weight: 1 Total Weight: 259 0.96/1.09 c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s 0.96/1.10 c core #260 0.96/1.10 c Core size: 3 Core Weight: 1 Total Weight: 260 0.96/1.10 c Elapsed CPU time: 1.05384 s Remaining CPU time: 1798.95 s 1.05/1.10 c core #261 1.05/1.10 c Core size: 3 Core Weight: 1 Total Weight: 261 1.05/1.10 c Elapsed CPU time: 1.05884 s Remaining CPU time: 1798.94 s 1.05/1.11 c core #262 1.05/1.11 c Core size: 3 Core Weight: 1 Total Weight: 262 1.05/1.11 c Elapsed CPU time: 1.06384 s Remaining CPU time: 1798.94 s 1.05/1.11 c core #263 1.05/1.11 c Core size: 3 Core Weight: 1 Total Weight: 263 1.05/1.11 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 1.05/1.12 c core #264 1.05/1.12 c Core size: 3 Core Weight: 1 Total Weight: 264 1.05/1.12 c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s 1.05/1.12 c core #265 1.05/1.12 c Core size: 3 Core Weight: 1 Total Weight: 265 1.05/1.12 c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s 1.05/1.13 c core #266 1.05/1.13 c Core size: 3 Core Weight: 1 Total Weight: 266 1.05/1.13 c Elapsed CPU time: 1.08283 s Remaining CPU time: 1798.92 s 1.05/1.13 c core #267 1.05/1.13 c Core size: 3 Core Weight: 1 Total Weight: 267 1.05/1.13 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.05/1.14 c core #268 1.05/1.14 c Core size: 3 Core Weight: 1 Total Weight: 268 1.05/1.14 c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s 1.05/1.14 c core #269 1.05/1.14 c Core size: 3 Core Weight: 1 Total Weight: 269 1.05/1.14 c Elapsed CPU time: 1.09683 s Remaining CPU time: 1798.9 s 1.05/1.15 c core #270 1.05/1.15 c Core size: 3 Core Weight: 1 Total Weight: 270 1.05/1.15 c Elapsed CPU time: 1.10083 s Remaining CPU time: 1798.9 s 1.05/1.15 c core #271 1.05/1.15 c Core size: 3 Core Weight: 1 Total Weight: 271 1.05/1.15 c Elapsed CPU time: 1.10483 s Remaining CPU time: 1798.9 s 1.05/1.16 c core #272 1.05/1.16 c Core size: 3 Core Weight: 1 Total Weight: 272 1.05/1.16 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.05/1.16 c core #273 1.05/1.16 c Core size: 3 Core Weight: 1 Total Weight: 273 1.05/1.16 c Elapsed CPU time: 1.11383 s Remaining CPU time: 1798.89 s 1.05/1.17 c core #274 1.05/1.17 c Core size: 3 Core Weight: 1 Total Weight: 274 1.05/1.17 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.05/1.17 c core #275 1.05/1.17 c Core size: 3 Core Weight: 1 Total Weight: 275 1.05/1.17 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.05/1.18 c core #276 1.05/1.18 c Core size: 3 Core Weight: 1 Total Weight: 276 1.05/1.18 c Elapsed CPU time: 1.12883 s Remaining CPU time: 1798.87 s 1.05/1.18 c core #277 1.05/1.18 c Core size: 3 Core Weight: 1 Total Weight: 277 1.05/1.18 c Elapsed CPU time: 1.13383 s Remaining CPU time: 1798.87 s 1.05/1.19 c core #278 1.05/1.19 c Core size: 3 Core Weight: 1 Total Weight: 278 1.05/1.19 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.05/1.19 c core #279 1.05/1.19 c Core size: 3 Core Weight: 1 Total Weight: 279 1.05/1.19 c Elapsed CPU time: 1.14383 s Remaining CPU time: 1798.86 s 1.14/1.20 c core #280 1.14/1.20 c Core size: 3 Core Weight: 1 Total Weight: 280 1.14/1.20 c Elapsed CPU time: 1.14983 s Remaining CPU time: 1798.85 s 1.14/1.20 c core #281 1.14/1.20 c Core size: 3 Core Weight: 1 Total Weight: 281 1.14/1.20 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.14/1.21 c core #282 1.14/1.21 c Core size: 3 Core Weight: 1 Total Weight: 282 1.14/1.21 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.14/1.21 c core #283 1.14/1.21 c Core size: 3 Core Weight: 1 Total Weight: 283 1.14/1.21 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.14/1.22 c core #284 1.14/1.22 c Core size: 3 Core Weight: 1 Total Weight: 284 1.14/1.22 c Elapsed CPU time: 1.16882 s Remaining CPU time: 1798.83 s 1.14/1.22 c core #285 1.14/1.22 c Core size: 3 Core Weight: 1 Total Weight: 285 1.14/1.22 c Elapsed CPU time: 1.17382 s Remaining CPU time: 1798.83 s 1.14/1.23 c core #286 1.14/1.23 c Core size: 3 Core Weight: 1 Total Weight: 286 1.14/1.23 c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s 1.14/1.23 c core #287 1.14/1.23 c Core size: 3 Core Weight: 1 Total Weight: 287 1.14/1.23 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.14/1.24 c core #288 1.14/1.24 c Core size: 3 Core Weight: 1 Total Weight: 288 1.14/1.24 c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s 1.14/1.24 c core #289 1.14/1.24 c Core size: 3 Core Weight: 1 Total Weight: 289 1.14/1.24 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.14/1.25 c core #290 1.14/1.25 c Core size: 3 Core Weight: 1 Total Weight: 290 1.14/1.25 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.14/1.25 c core #291 1.14/1.25 c Core size: 3 Core Weight: 1 Total Weight: 291 1.14/1.25 c Elapsed CPU time: 1.20382 s Remaining CPU time: 1798.8 s 1.14/1.26 c core #292 1.14/1.26 c Core size: 3 Core Weight: 1 Total Weight: 292 1.14/1.26 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.14/1.26 c core #293 1.14/1.26 c Core size: 3 Core Weight: 1 Total Weight: 293 1.14/1.26 c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s 1.14/1.27 c core #294 1.14/1.27 c Core size: 3 Core Weight: 1 Total Weight: 294 1.14/1.27 c Elapsed CPU time: 1.21881 s Remaining CPU time: 1798.78 s 1.14/1.27 c core #295 1.14/1.27 c Core size: 3 Core Weight: 1 Total Weight: 295 1.14/1.27 c Elapsed CPU time: 1.22381 s Remaining CPU time: 1798.78 s 1.14/1.28 c core #296 1.14/1.28 c Core size: 3 Core Weight: 1 Total Weight: 296 1.14/1.28 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.14/1.28 c core #297 1.14/1.28 c Core size: 3 Core Weight: 1 Total Weight: 297 1.14/1.28 c Elapsed CPU time: 1.23381 s Remaining CPU time: 1798.77 s 1.14/1.29 c core #298 1.14/1.29 c Core size: 3 Core Weight: 1 Total Weight: 298 1.14/1.29 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.14/1.29 c core #299 1.14/1.29 c Core size: 3 Core Weight: 1 Total Weight: 299 1.14/1.29 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.24/1.30 c core #300 1.24/1.30 c Core size: 3 Core Weight: 1 Total Weight: 300 1.24/1.30 c Elapsed CPU time: 1.24881 s Remaining CPU time: 1798.75 s 1.24/1.30 c core #301 1.24/1.30 c Core size: 3 Core Weight: 1 Total Weight: 301 1.24/1.30 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.24/1.31 c core #302 1.24/1.31 c Core size: 3 Core Weight: 1 Total Weight: 302 1.24/1.31 c Elapsed CPU time: 1.25881 s Remaining CPU time: 1798.74 s 1.24/1.31 c core #303 1.24/1.31 c Core size: 3 Core Weight: 1 Total Weight: 303 1.24/1.31 c Elapsed CPU time: 1.26381 s Remaining CPU time: 1798.74 s 1.24/1.32 c core #304 1.24/1.32 c Core size: 3 Core Weight: 1 Total Weight: 304 1.24/1.32 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.24/1.32 c core #305 1.24/1.32 c Core size: 3 Core Weight: 1 Total Weight: 305 1.24/1.32 c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s 1.24/1.33 c core #306 1.24/1.33 c Core size: 3 Core Weight: 1 Total Weight: 306 1.24/1.33 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.24/1.33 c core #307 1.24/1.33 c Core size: 3 Core Weight: 1 Total Weight: 307 1.24/1.33 c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s 1.24/1.34 c core #308 1.24/1.34 c Core size: 3 Core Weight: 1 Total Weight: 308 1.24/1.34 c Elapsed CPU time: 1.2878 s Remaining CPU time: 1798.71 s 1.24/1.34 c core #309 1.24/1.34 c Core size: 3 Core Weight: 1 Total Weight: 309 1.24/1.34 c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s 1.24/1.35 c core #310 1.24/1.35 c Core size: 3 Core Weight: 1 Total Weight: 310 1.24/1.35 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.24/1.35 c core #311 1.24/1.35 c Core size: 3 Core Weight: 1 Total Weight: 311 1.24/1.35 c Elapsed CPU time: 1.3028 s Remaining CPU time: 1798.7 s 1.24/1.36 c core #312 1.24/1.36 c Core size: 3 Core Weight: 1 Total Weight: 312 1.24/1.36 c Elapsed CPU time: 1.3078 s Remaining CPU time: 1798.69 s 1.24/1.36 c core #313 1.24/1.36 c Core size: 3 Core Weight: 1 Total Weight: 313 1.24/1.36 c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s 1.24/1.37 c core #314 1.24/1.37 c Core size: 3 Core Weight: 1 Total Weight: 314 1.24/1.37 c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s 1.24/1.37 c core #315 1.24/1.37 c Core size: 3 Core Weight: 1 Total Weight: 315 1.24/1.37 c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s 1.24/1.38 c core #316 1.24/1.38 c Core size: 3 Core Weight: 1 Total Weight: 316 1.24/1.38 c Elapsed CPU time: 1.3278 s Remaining CPU time: 1798.67 s 1.24/1.39 c core #317 1.24/1.39 c Core size: 3 Core Weight: 1 Total Weight: 317 1.24/1.39 c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s 1.24/1.39 c core #318 1.24/1.39 c Core size: 3 Core Weight: 1 Total Weight: 318 1.24/1.39 c Elapsed CPU time: 1.3358 s Remaining CPU time: 1798.66 s 1.24/1.40 c core #319 1.24/1.40 c Core size: 3 Core Weight: 1 Total Weight: 319 1.24/1.40 c Elapsed CPU time: 1.3418 s Remaining CPU time: 1798.66 s 1.34/1.40 c core #320 1.34/1.40 c Core size: 3 Core Weight: 1 Total Weight: 320 1.34/1.40 c Elapsed CPU time: 1.34679 s Remaining CPU time: 1798.65 s 1.34/1.41 c core #321 1.34/1.41 c Core size: 3 Core Weight: 1 Total Weight: 321 1.34/1.41 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.34/1.41 c core #322 1.34/1.41 c Core size: 3 Core Weight: 1 Total Weight: 322 1.34/1.41 c Elapsed CPU time: 1.35679 s Remaining CPU time: 1798.64 s 1.34/1.42 c core #323 1.34/1.42 c Core size: 3 Core Weight: 1 Total Weight: 323 1.34/1.42 c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s 1.34/1.42 c core #324 1.34/1.42 c Core size: 3 Core Weight: 1 Total Weight: 324 1.34/1.42 c Elapsed CPU time: 1.36679 s Remaining CPU time: 1798.63 s 1.34/1.43 c core #325 1.34/1.43 c Core size: 3 Core Weight: 1 Total Weight: 325 1.34/1.43 c Elapsed CPU time: 1.37179 s Remaining CPU time: 1798.63 s 1.34/1.43 c core #326 1.34/1.43 c Core size: 3 Core Weight: 1 Total Weight: 326 1.34/1.43 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.34/1.44 c core #327 1.34/1.44 c Core size: 3 Core Weight: 1 Total Weight: 327 1.34/1.44 c Elapsed CPU time: 1.38179 s Remaining CPU time: 1798.62 s 1.34/1.44 c core #328 1.34/1.44 c Core size: 3 Core Weight: 1 Total Weight: 328 1.34/1.44 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.34/1.45 c core #329 1.34/1.45 c Core size: 3 Core Weight: 1 Total Weight: 329 1.34/1.45 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.34/1.45 c core #330 1.34/1.45 c Core size: 3 Core Weight: 1 Total Weight: 330 1.34/1.45 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s 1.34/1.46 c core #331 1.34/1.46 c Core size: 3 Core Weight: 1 Total Weight: 331 1.34/1.46 c Elapsed CPU time: 1.40179 s Remaining CPU time: 1798.6 s 1.34/1.46 c core #332 1.34/1.46 c Core size: 3 Core Weight: 1 Total Weight: 332 1.34/1.46 c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s 1.34/1.47 c core #333 1.34/1.47 c Core size: 3 Core Weight: 1 Total Weight: 333 1.34/1.47 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.34/1.47 c core #334 1.34/1.47 c Core size: 3 Core Weight: 1 Total Weight: 334 1.34/1.47 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.34/1.48 c core #335 1.34/1.48 c Core size: 3 Core Weight: 1 Total Weight: 335 1.34/1.48 c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s 1.34/1.48 c core #336 1.34/1.48 c Core size: 3 Core Weight: 1 Total Weight: 336 1.34/1.48 c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s 1.34/1.49 c core #337 1.34/1.49 c Core size: 3 Core Weight: 1 Total Weight: 337 1.34/1.49 c Elapsed CPU time: 1.43278 s Remaining CPU time: 1798.57 s 1.34/1.49 c core #338 1.34/1.49 c Core size: 3 Core Weight: 1 Total Weight: 338 1.34/1.49 c Elapsed CPU time: 1.43778 s Remaining CPU time: 1798.56 s 1.44/1.50 c core #339 1.44/1.50 c Core size: 3 Core Weight: 1 Total Weight: 339 1.44/1.50 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.44/1.50 c core #340 1.44/1.50 c Core size: 3 Core Weight: 1 Total Weight: 340 1.44/1.50 c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s 1.44/1.51 c core #341 1.44/1.51 c Core size: 3 Core Weight: 1 Total Weight: 341 1.44/1.51 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.44/1.51 c core #342 1.44/1.51 c Core size: 3 Core Weight: 1 Total Weight: 342 1.44/1.51 c Elapsed CPU time: 1.45778 s Remaining CPU time: 1798.54 s 1.44/1.52 c core #343 1.44/1.52 c Core size: 3 Core Weight: 1 Total Weight: 343 1.44/1.52 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.44/1.53 c core #344 1.44/1.53 c Core size: 3 Core Weight: 1 Total Weight: 344 1.44/1.53 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.44/1.53 c core #345 1.44/1.53 c Core size: 3 Core Weight: 1 Total Weight: 345 1.44/1.53 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.44/1.54 c core #346 1.44/1.54 c Core size: 3 Core Weight: 1 Total Weight: 346 1.44/1.54 c Elapsed CPU time: 1.47778 s Remaining CPU time: 1798.52 s 1.44/1.54 c core #347 1.44/1.54 c Core size: 3 Core Weight: 1 Total Weight: 347 1.44/1.54 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.44/1.55 c core #348 1.44/1.55 c Core size: 3 Core Weight: 1 Total Weight: 348 1.44/1.55 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.44/1.55 c core #349 1.44/1.55 c Core size: 3 Core Weight: 1 Total Weight: 349 1.44/1.55 c Elapsed CPU time: 1.49377 s Remaining CPU time: 1798.51 s 1.44/1.56 c core #350 1.44/1.56 c Core size: 3 Core Weight: 1 Total Weight: 350 1.44/1.56 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.44/1.56 c core #351 1.44/1.56 c Core size: 3 Core Weight: 1 Total Weight: 351 1.44/1.56 c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s 1.44/1.57 c core #352 1.44/1.57 c Core size: 3 Core Weight: 1 Total Weight: 352 1.44/1.57 c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s 1.44/1.57 c core #353 1.44/1.57 c Core size: 3 Core Weight: 1 Total Weight: 353 1.44/1.57 c Elapsed CPU time: 1.51377 s Remaining CPU time: 1798.49 s 1.44/1.58 c core #354 1.44/1.58 c Core size: 3 Core Weight: 1 Total Weight: 354 1.44/1.58 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.44/1.58 c core #355 1.44/1.58 c Core size: 3 Core Weight: 1 Total Weight: 355 1.44/1.58 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.44/1.59 c core #356 1.44/1.59 c Core size: 3 Core Weight: 1 Total Weight: 356 1.44/1.59 c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s 1.44/1.59 c core #357 1.44/1.59 c Core size: 3 Core Weight: 1 Total Weight: 357 1.44/1.59 c Elapsed CPU time: 1.53477 s Remaining CPU time: 1798.47 s 1.54/1.60 c core #358 1.54/1.60 c Core size: 3 Core Weight: 1 Total Weight: 358 1.54/1.60 c Elapsed CPU time: 1.53977 s Remaining CPU time: 1798.46 s 1.54/1.60 c core #359 1.54/1.60 c Core size: 3 Core Weight: 1 Total Weight: 359 1.54/1.60 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.54/1.61 c core #360 1.54/1.61 c Core size: 3 Core Weight: 1 Total Weight: 360 1.54/1.61 c Elapsed CPU time: 1.54876 s Remaining CPU time: 1798.45 s 1.54/1.62 c core #361 1.54/1.62 c Core size: 3 Core Weight: 1 Total Weight: 361 1.54/1.62 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.54/1.62 c core #362 1.54/1.62 c Core size: 3 Core Weight: 1 Total Weight: 362 1.54/1.62 c Elapsed CPU time: 1.55976 s Remaining CPU time: 1798.44 s 1.54/1.63 c core #363 1.54/1.63 c Core size: 3 Core Weight: 1 Total Weight: 363 1.54/1.63 c Elapsed CPU time: 1.56476 s Remaining CPU time: 1798.44 s 1.54/1.63 c core #364 1.54/1.63 c Core size: 3 Core Weight: 1 Total Weight: 364 1.54/1.63 c Elapsed CPU time: 1.56976 s Remaining CPU time: 1798.43 s 1.54/1.64 c core #365 1.54/1.64 c Core size: 3 Core Weight: 1 Total Weight: 365 1.54/1.64 c Elapsed CPU time: 1.57476 s Remaining CPU time: 1798.43 s 1.54/1.64 c core #366 1.54/1.64 c Core size: 3 Core Weight: 1 Total Weight: 366 1.54/1.64 c Elapsed CPU time: 1.57976 s Remaining CPU time: 1798.42 s 1.54/1.65 c core #367 1.54/1.65 c Core size: 3 Core Weight: 1 Total Weight: 367 1.54/1.65 c Elapsed CPU time: 1.58576 s Remaining CPU time: 1798.41 s 1.54/1.65 c core #368 1.54/1.65 c Core size: 3 Core Weight: 1 Total Weight: 368 1.54/1.65 c Elapsed CPU time: 1.59076 s Remaining CPU time: 1798.41 s 1.54/1.66 c core #369 1.54/1.66 c Core size: 3 Core Weight: 1 Total Weight: 369 1.54/1.66 c Elapsed CPU time: 1.59676 s Remaining CPU time: 1798.4 s 1.54/1.66 c core #370 1.54/1.66 c Core size: 3 Core Weight: 1 Total Weight: 370 1.54/1.66 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.54/1.67 c core #371 1.54/1.67 c Core size: 3 Core Weight: 1 Total Weight: 371 1.54/1.67 c Elapsed CPU time: 1.60676 s Remaining CPU time: 1798.39 s 1.54/1.67 c core #372 1.54/1.67 c Core size: 3 Core Weight: 1 Total Weight: 372 1.54/1.68 c Elapsed CPU time: 1.61175 s Remaining CPU time: 1798.39 s 1.54/1.68 c core #373 1.54/1.68 c Core size: 3 Core Weight: 1 Total Weight: 373 1.54/1.68 c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s 1.54/1.69 c core #374 1.54/1.69 c Core size: 3 Core Weight: 1 Total Weight: 374 1.54/1.69 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.54/1.69 c core #375 1.54/1.69 c Core size: 3 Core Weight: 1 Total Weight: 375 1.54/1.69 c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s 1.64/1.70 c core #376 1.64/1.70 c Core size: 3 Core Weight: 1 Total Weight: 376 1.64/1.70 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.64/1.70 c core #377 1.64/1.70 c Core size: 3 Core Weight: 1 Total Weight: 377 1.64/1.70 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.64/1.71 c core #378 1.64/1.71 c Core size: 3 Core Weight: 1 Total Weight: 378 1.64/1.71 c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s 1.64/1.71 c core #379 1.64/1.71 c Core size: 3 Core Weight: 1 Total Weight: 379 1.64/1.71 c Elapsed CPU time: 1.64975 s Remaining CPU time: 1798.35 s 1.64/1.72 c core #380 1.64/1.72 c Core size: 3 Core Weight: 1 Total Weight: 380 1.64/1.72 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.64/1.72 c core #381 1.64/1.72 c Core size: 3 Core Weight: 1 Total Weight: 381 1.64/1.72 c Elapsed CPU time: 1.65975 s Remaining CPU time: 1798.34 s 1.64/1.73 c core #382 1.64/1.73 c Core size: 3 Core Weight: 1 Total Weight: 382 1.64/1.73 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.64/1.74 c core #383 1.64/1.74 c Core size: 3 Core Weight: 1 Total Weight: 383 1.64/1.74 c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s 1.64/1.74 c core #384 1.64/1.74 c Core size: 3 Core Weight: 1 Total Weight: 384 1.64/1.74 c Elapsed CPU time: 1.67575 s Remaining CPU time: 1798.32 s 1.64/1.75 c core #385 1.64/1.75 c Core size: 3 Core Weight: 1 Total Weight: 385 1.64/1.75 c Elapsed CPU time: 1.68174 s Remaining CPU time: 1798.32 s 1.64/1.75 c core #386 1.64/1.75 c Core size: 3 Core Weight: 1 Total Weight: 386 1.64/1.75 c Elapsed CPU time: 1.68674 s Remaining CPU time: 1798.31 s 1.64/1.76 c core #387 1.64/1.76 c Core size: 3 Core Weight: 1 Total Weight: 387 1.64/1.76 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.64/1.76 c core #388 1.64/1.76 c Core size: 3 Core Weight: 1 Total Weight: 388 1.64/1.76 c Elapsed CPU time: 1.69674 s Remaining CPU time: 1798.3 s 1.64/1.77 c core #389 1.64/1.77 c Core size: 3 Core Weight: 1 Total Weight: 389 1.64/1.77 c Elapsed CPU time: 1.70174 s Remaining CPU time: 1798.3 s 1.64/1.77 c core #390 1.64/1.77 c Core size: 3 Core Weight: 1 Total Weight: 390 1.64/1.77 c Elapsed CPU time: 1.70774 s Remaining CPU time: 1798.29 s 1.64/1.78 c core #391 1.64/1.78 c Core size: 3 Core Weight: 1 Total Weight: 391 1.64/1.78 c Elapsed CPU time: 1.71274 s Remaining CPU time: 1798.29 s 1.64/1.78 c core #392 1.64/1.78 c Core size: 3 Core Weight: 1 Total Weight: 392 1.64/1.78 c Elapsed CPU time: 1.71774 s Remaining CPU time: 1798.28 s 1.64/1.79 c core #393 1.64/1.79 c Core size: 3 Core Weight: 1 Total Weight: 393 1.64/1.79 c Elapsed CPU time: 1.72274 s Remaining CPU time: 1798.28 s 1.64/1.80 c core #394 1.64/1.80 c Core size: 3 Core Weight: 1 Total Weight: 394 1.64/1.80 c Elapsed CPU time: 1.72774 s Remaining CPU time: 1798.27 s 1.73/1.80 c core #395 1.73/1.80 c Core size: 3 Core Weight: 1 Total Weight: 395 1.73/1.80 c Elapsed CPU time: 1.73274 s Remaining CPU time: 1798.27 s 1.73/1.81 c core #396 1.73/1.81 c Core size: 3 Core Weight: 1 Total Weight: 396 1.73/1.81 c Elapsed CPU time: 1.73774 s Remaining CPU time: 1798.26 s 1.73/1.81 c core #397 1.73/1.81 c Core size: 3 Core Weight: 1 Total Weight: 397 1.73/1.81 c Elapsed CPU time: 1.74274 s Remaining CPU time: 1798.26 s 1.73/1.82 c core #398 1.73/1.82 c Core size: 3 Core Weight: 1 Total Weight: 398 1.73/1.82 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.73/1.82 c core #399 1.73/1.82 c Core size: 3 Core Weight: 1 Total Weight: 399 1.73/1.82 c Elapsed CPU time: 1.75273 s Remaining CPU time: 1798.25 s 1.73/1.83 c core #400 1.73/1.83 c Core size: 3 Core Weight: 1 Total Weight: 400 1.73/1.83 c Elapsed CPU time: 1.75873 s Remaining CPU time: 1798.24 s 1.73/1.83 c core #401 1.73/1.83 c Core size: 3 Core Weight: 1 Total Weight: 401 1.73/1.83 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 1.73/1.84 c core #402 1.73/1.84 c Core size: 3 Core Weight: 1 Total Weight: 402 1.73/1.84 c Elapsed CPU time: 1.76973 s Remaining CPU time: 1798.23 s 1.73/1.84 c core #403 1.73/1.84 c Core size: 3 Core Weight: 1 Total Weight: 403 1.73/1.84 c Elapsed CPU time: 1.77473 s Remaining CPU time: 1798.23 s 1.73/1.85 c core #404 1.73/1.85 c Core size: 3 Core Weight: 1 Total Weight: 404 1.73/1.85 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.73/1.86 c core #405 1.73/1.86 c Core size: 3 Core Weight: 1 Total Weight: 405 1.73/1.86 c Elapsed CPU time: 1.78473 s Remaining CPU time: 1798.22 s 1.73/1.86 c core #406 1.73/1.86 c Core size: 3 Core Weight: 1 Total Weight: 406 1.73/1.86 c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s 1.73/1.87 c core #407 1.73/1.87 c Core size: 3 Core Weight: 1 Total Weight: 407 1.73/1.87 c Elapsed CPU time: 1.79573 s Remaining CPU time: 1798.2 s 1.73/1.87 c core #408 1.73/1.87 c Core size: 3 Core Weight: 1 Total Weight: 408 1.73/1.87 c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s 1.73/1.88 c core #409 1.73/1.88 c Core size: 3 Core Weight: 1 Total Weight: 409 1.73/1.88 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.73/1.88 c core #410 1.73/1.88 c Core size: 3 Core Weight: 1 Total Weight: 410 1.73/1.88 c Elapsed CPU time: 1.81172 s Remaining CPU time: 1798.19 s 1.73/1.89 c core #411 1.73/1.89 c Core size: 3 Core Weight: 1 Total Weight: 411 1.73/1.89 c Elapsed CPU time: 1.81772 s Remaining CPU time: 1798.18 s 1.73/1.89 c core #412 1.73/1.89 c Core size: 3 Core Weight: 1 Total Weight: 412 1.73/1.89 c Elapsed CPU time: 1.82272 s Remaining CPU time: 1798.18 s 1.83/1.90 c core #413 1.83/1.90 c Core size: 3 Core Weight: 1 Total Weight: 413 1.83/1.90 c Elapsed CPU time: 1.82872 s Remaining CPU time: 1798.17 s 1.83/1.91 c core #414 1.83/1.91 c Core size: 3 Core Weight: 1 Total Weight: 414 1.83/1.91 c Elapsed CPU time: 1.83372 s Remaining CPU time: 1798.17 s 1.83/1.91 c core #415 1.83/1.91 c Core size: 3 Core Weight: 1 Total Weight: 415 1.83/1.91 c Elapsed CPU time: 1.83972 s Remaining CPU time: 1798.16 s 1.83/1.92 c core #416 1.83/1.92 c Core size: 3 Core Weight: 1 Total Weight: 416 1.83/1.92 c Elapsed CPU time: 1.84472 s Remaining CPU time: 1798.16 s 1.83/1.92 c core #417 1.83/1.92 c Core size: 3 Core Weight: 1 Total Weight: 417 1.83/1.92 c Elapsed CPU time: 1.84972 s Remaining CPU time: 1798.15 s 1.83/1.93 c core #418 1.83/1.93 c Core size: 3 Core Weight: 1 Total Weight: 418 1.83/1.93 c Elapsed CPU time: 1.85572 s Remaining CPU time: 1798.14 s 1.83/1.93 c core #419 1.83/1.93 c Core size: 3 Core Weight: 1 Total Weight: 419 1.83/1.93 c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s 1.83/1.94 c core #420 1.83/1.94 c Core size: 3 Core Weight: 1 Total Weight: 420 1.83/1.94 c Elapsed CPU time: 1.86572 s Remaining CPU time: 1798.13 s 1.83/1.94 c core #421 1.83/1.94 c Core size: 3 Core Weight: 1 Total Weight: 421 1.83/1.94 c Elapsed CPU time: 1.87172 s Remaining CPU time: 1798.13 s 1.83/1.95 c core #422 1.83/1.95 c Core size: 3 Core Weight: 1 Total Weight: 422 1.83/1.95 c Elapsed CPU time: 1.87771 s Remaining CPU time: 1798.12 s 1.83/1.96 c core #423 1.83/1.96 c Core size: 3 Core Weight: 1 Total Weight: 423 1.83/1.96 c Elapsed CPU time: 1.88271 s Remaining CPU time: 1798.12 s 1.83/1.96 c core #424 1.83/1.96 c Core size: 3 Core Weight: 1 Total Weight: 424 1.83/1.96 c Elapsed CPU time: 1.88771 s Remaining CPU time: 1798.11 s 1.83/1.97 c core #425 1.83/1.97 c Core size: 3 Core Weight: 1 Total Weight: 425 1.83/1.97 c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s 1.83/1.97 c core #426 1.83/1.97 c Core size: 3 Core Weight: 1 Total Weight: 426 1.83/1.97 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.83/1.98 c core #427 1.83/1.98 c Core size: 3 Core Weight: 1 Total Weight: 427 1.83/1.98 c Elapsed CPU time: 1.90471 s Remaining CPU time: 1798.1 s 1.83/1.98 c core #428 1.83/1.98 c Core size: 3 Core Weight: 1 Total Weight: 428 1.83/1.98 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 s 1.83/1.99 c core #429 1.83/1.99 c Core size: 3 Core Weight: 1 Total Weight: 429 1.83/1.99 c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s 1.83/2.00 c core #430 1.83/2.00 c Core size: 3 Core Weight: 1 Total Weight: 430 1.83/2.00 c Elapsed CPU time: 1.92071 s Remaining CPU time: 1798.08 s 1.93/2.00 c core #431 1.93/2.00 c Core size: 3 Core Weight: 1 Total Weight: 431 1.93/2.00 c Elapsed CPU time: 1.92671 s Remaining CPU time: 1798.07 s 1.93/2.01 c core #432 1.93/2.01 c Core size: 3 Core Weight: 1 Total Weight: 432 1.93/2.01 c Elapsed CPU time: 1.93171 s Remaining CPU time: 1798.07 s 1.93/2.01 c core #433 1.93/2.01 c Core size: 3 Core Weight: 1 Total Weight: 433 1.93/2.01 c Elapsed CPU time: 1.9367 s Remaining CPU time: 1798.06 s 1.93/2.02 c core #434 1.93/2.02 c Core size: 3 Core Weight: 1 Total Weight: 434 1.93/2.02 c Elapsed CPU time: 1.9427 s Remaining CPU time: 1798.06 s 1.93/2.02 c core #435 1.93/2.02 c Core size: 3 Core Weight: 1 Total Weight: 435 1.93/2.02 c Elapsed CPU time: 1.9487 s Remaining CPU time: 1798.05 s 1.93/2.03 c core #436 1.93/2.03 c Core size: 3 Core Weight: 1 Total Weight: 436 1.93/2.03 c Elapsed CPU time: 1.9547 s Remaining CPU time: 1798.05 s 1.93/2.04 c core #437 1.93/2.04 c Core size: 3 Core Weight: 1 Total Weight: 437 1.93/2.04 c Elapsed CPU time: 1.9597 s Remaining CPU time: 1798.04 s 1.93/2.04 c core #438 1.93/2.04 c Core size: 3 Core Weight: 1 Total Weight: 438 1.93/2.04 c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s 1.93/2.05 c core #439 1.93/2.05 c Core size: 3 Core Weight: 1 Total Weight: 439 1.93/2.05 c Elapsed CPU time: 1.9707 s Remaining CPU time: 1798.03 s 1.93/2.05 c core #440 1.93/2.05 c Core size: 3 Core Weight: 1 Total Weight: 440 1.93/2.05 c Elapsed CPU time: 1.9757 s Remaining CPU time: 1798.02 s 1.93/2.06 c core #441 1.93/2.06 c Core size: 3 Core Weight: 1 Total Weight: 441 1.93/2.06 c Elapsed CPU time: 1.9817 s Remaining CPU time: 1798.02 s 1.93/2.06 c core #442 1.93/2.06 c Core size: 3 Core Weight: 1 Total Weight: 442 1.93/2.06 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.93/2.07 c core #443 1.93/2.07 c Core size: 3 Core Weight: 1 Total Weight: 443 1.93/2.07 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.93/2.08 c core #444 1.93/2.08 c Core size: 3 Core Weight: 1 Total Weight: 444 1.93/2.08 c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s 1.93/2.08 c core #445 1.93/2.08 c Core size: 3 Core Weight: 1 Total Weight: 445 1.93/2.08 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 1.93/2.09 c core #446 1.93/2.09 c Core size: 3 Core Weight: 1 Total Weight: 446 1.93/2.09 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 1.93/2.09 c core #447 1.93/2.09 c Core size: 3 Core Weight: 1 Total Weight: 447 1.93/2.09 c Elapsed CPU time: 2.01669 s Remaining CPU time: 1797.98 s 2.03/2.11 c core #448 2.03/2.11 c Core size: 3 Core Weight: 1 Total Weight: 448 2.03/2.11 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 2.03/2.12 c core #449 2.03/2.12 c Core size: 3 Core Weight: 1 Total Weight: 449 2.03/2.12 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 2.03/2.12 c core #450 2.03/2.12 c Core size: 3 Core Weight: 1 Total Weight: 450 2.03/2.12 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 2.03/2.13 c core #451 2.03/2.13 c Core size: 3 Core Weight: 1 Total Weight: 451 2.03/2.13 c Elapsed CPU time: 2.04069 s Remaining CPU time: 1797.96 s 2.03/2.14 c core #452 2.03/2.14 c Core size: 3 Core Weight: 1 Total Weight: 452 2.03/2.14 c Elapsed CPU time: 2.04569 s Remaining CPU time: 1797.95 s 2.03/2.14 c core #453 2.03/2.14 c Core size: 3 Core Weight: 1 Total Weight: 453 2.03/2.14 c Elapsed CPU time: 2.05169 s Remaining CPU time: 1797.95 s 2.03/2.15 c core #454 2.03/2.15 c Core size: 3 Core Weight: 1 Total Weight: 454 2.03/2.15 c Elapsed CPU time: 2.05669 s Remaining CPU time: 1797.94 s 2.03/2.15 c core #455 2.03/2.15 c Core size: 3 Core Weight: 1 Total Weight: 455 2.03/2.15 c Elapsed CPU time: 2.06269 s Remaining CPU time: 1797.94 s 2.03/2.16 c core #456 2.03/2.16 c Core size: 3 Core Weight: 1 Total Weight: 456 2.03/2.16 c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s 2.03/2.17 c core #457 2.03/2.17 c Core size: 3 Core Weight: 1 Total Weight: 457 2.03/2.17 c Elapsed CPU time: 2.07368 s Remaining CPU time: 1797.93 s 2.03/2.17 c core #458 2.03/2.17 c Core size: 3 Core Weight: 1 Total Weight: 458 2.03/2.17 c Elapsed CPU time: 2.07968 s Remaining CPU time: 1797.92 s 2.03/2.18 c core #459 2.03/2.18 c Core size: 3 Core Weight: 1 Total Weight: 459 2.03/2.18 c Elapsed CPU time: 2.08568 s Remaining CPU time: 1797.91 s 2.03/2.19 c core #460 2.03/2.19 c Core size: 3 Core Weight: 1 Total Weight: 460 2.03/2.19 c Elapsed CPU time: 2.09168 s Remaining CPU time: 1797.91 s 2.03/2.19 c core #461 2.03/2.19 c Core size: 3 Core Weight: 1 Total Weight: 461 2.03/2.19 c Elapsed CPU time: 2.09768 s Remaining CPU time: 1797.9 s 2.03/2.20 c core #462 2.03/2.20 c Core size: 3 Core Weight: 1 Total Weight: 462 2.03/2.20 c Elapsed CPU time: 2.10368 s Remaining CPU time: 1797.9 s 2.12/2.20 c core #463 2.12/2.20 c Core size: 3 Core Weight: 1 Total Weight: 463 2.12/2.20 c Elapsed CPU time: 2.10968 s Remaining CPU time: 1797.89 s 2.12/2.21 c core #464 2.12/2.21 c Core size: 3 Core Weight: 1 Total Weight: 464 2.12/2.21 c Elapsed CPU time: 2.11468 s Remaining CPU time: 1797.89 s 2.12/2.21 c core #465 2.12/2.21 c Core size: 3 Core Weight: 1 Total Weight: 465 2.12/2.21 c Elapsed CPU time: 2.11968 s Remaining CPU time: 1797.88 s 2.12/2.22 c core #466 2.12/2.22 c Core size: 3 Core Weight: 1 Total Weight: 466 2.12/2.22 c Elapsed CPU time: 2.12568 s Remaining CPU time: 1797.87 s 2.12/2.23 c core #467 2.12/2.23 c Core size: 3 Core Weight: 1 Total Weight: 467 2.12/2.23 c Elapsed CPU time: 2.13167 s Remaining CPU time: 1797.87 s 2.12/2.23 c core #468 2.12/2.23 c Core size: 3 Core Weight: 1 Total Weight: 468 2.12/2.23 c Elapsed CPU time: 2.13767 s Remaining CPU time: 1797.86 s 2.12/2.24 c core #469 2.12/2.24 c Core size: 3 Core Weight: 1 Total Weight: 469 2.12/2.24 c Elapsed CPU time: 2.14267 s Remaining CPU time: 1797.86 s 2.12/2.24 c core #470 2.12/2.24 c Core size: 3 Core Weight: 1 Total Weight: 470 2.12/2.24 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.12/2.25 c core #471 2.12/2.25 c Core size: 3 Core Weight: 1 Total Weight: 471 2.12/2.25 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.12/2.26 c core #472 2.12/2.26 c Core size: 3 Core Weight: 1 Total Weight: 472 2.12/2.26 c Elapsed CPU time: 2.15967 s Remaining CPU time: 1797.84 s 2.12/2.26 c core #473 2.12/2.26 c Core size: 3 Core Weight: 1 Total Weight: 473 2.12/2.26 c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s 2.12/2.27 c core #474 2.12/2.27 c Core size: 3 Core Weight: 1 Total Weight: 474 2.12/2.27 c Elapsed CPU time: 2.16967 s Remaining CPU time: 1797.83 s 2.12/2.27 c core #475 2.12/2.27 c Core size: 3 Core Weight: 1 Total Weight: 475 2.12/2.27 c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s 2.12/2.28 c core #476 2.12/2.28 c Core size: 3 Core Weight: 1 Total Weight: 476 2.12/2.28 c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s 2.12/2.28 c core #477 2.12/2.28 c Core size: 3 Core Weight: 1 Total Weight: 477 2.12/2.28 c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s 2.12/2.29 c core #478 2.12/2.29 c Core size: 3 Core Weight: 1 Total Weight: 478 2.12/2.29 c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s 2.12/2.30 c core #479 2.12/2.30 c Core size: 3 Core Weight: 1 Total Weight: 479 2.12/2.30 c Elapsed CPU time: 2.19767 s Remaining CPU time: 1797.8 s 2.21/2.30 c core #480 2.21/2.30 c Core size: 3 Core Weight: 1 Total Weight: 480 2.21/2.30 c Elapsed CPU time: 2.20366 s Remaining CPU time: 1797.8 s 2.21/2.31 c core #481 2.21/2.31 c Core size: 3 Core Weight: 1 Total Weight: 481 2.21/2.31 c Elapsed CPU time: 2.20966 s Remaining CPU time: 1797.79 s 2.21/2.31 c core #482 2.21/2.31 c Core size: 3 Core Weight: 1 Total Weight: 482 2.21/2.31 c Elapsed CPU time: 2.21566 s Remaining CPU time: 1797.78 s 2.21/2.32 c core #483 2.21/2.32 c Core size: 3 Core Weight: 1 Total Weight: 483 2.21/2.32 c Elapsed CPU time: 2.22166 s Remaining CPU time: 1797.78 s 2.21/2.33 c core #484 2.21/2.33 c Core size: 3 Core Weight: 1 Total Weight: 484 2.21/2.33 c Elapsed CPU time: 2.22766 s Remaining CPU time: 1797.77 s 2.21/2.33 c core #485 2.21/2.33 c Core size: 3 Core Weight: 1 Total Weight: 485 2.21/2.33 c Elapsed CPU time: 2.23366 s Remaining CPU time: 1797.77 s 2.21/2.34 c core #486 2.21/2.34 c Core size: 3 Core Weight: 1 Total Weight: 486 2.21/2.34 c Elapsed CPU time: 2.23966 s Remaining CPU time: 1797.76 s 2.21/2.34 c core #487 2.21/2.34 c Core size: 3 Core Weight: 1 Total Weight: 487 2.21/2.34 c Elapsed CPU time: 2.24566 s Remaining CPU time: 1797.75 s 2.21/2.35 c core #488 2.21/2.35 c Core size: 3 Core Weight: 1 Total Weight: 488 2.21/2.35 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.21/2.36 c core #489 2.21/2.36 c Core size: 3 Core Weight: 1 Total Weight: 489 2.21/2.36 c Elapsed CPU time: 2.25666 s Remaining CPU time: 1797.74 s 2.21/2.36 c core #490 2.21/2.36 c Core size: 3 Core Weight: 1 Total Weight: 490 2.21/2.36 c Elapsed CPU time: 2.26266 s Remaining CPU time: 1797.74 s 2.21/2.37 c core #491 2.21/2.37 c Core size: 3 Core Weight: 1 Total Weight: 491 2.21/2.37 c Elapsed CPU time: 2.26865 s Remaining CPU time: 1797.73 s 2.21/2.37 c core #492 2.21/2.37 c Core size: 3 Core Weight: 1 Total Weight: 492 2.21/2.37 c Elapsed CPU time: 2.27465 s Remaining CPU time: 1797.73 s 2.21/2.38 c core #493 2.21/2.38 c Core size: 3 Core Weight: 1 Total Weight: 493 2.21/2.38 c Elapsed CPU time: 2.28065 s Remaining CPU time: 1797.72 s 2.21/2.38 c core #494 2.21/2.38 c Core size: 3 Core Weight: 1 Total Weight: 494 2.21/2.38 c Elapsed CPU time: 2.28565 s Remaining CPU time: 1797.71 s 2.21/2.39 c core #495 2.21/2.39 c Core size: 3 Core Weight: 1 Total Weight: 495 2.21/2.39 c Elapsed CPU time: 2.29165 s Remaining CPU time: 1797.71 s 2.21/2.40 c core #496 2.21/2.40 c Core size: 3 Core Weight: 1 Total Weight: 496 2.21/2.40 c Elapsed CPU time: 2.29765 s Remaining CPU time: 1797.7 s 2.31/2.40 c core #497 2.31/2.40 c Core size: 3 Core Weight: 1 Total Weight: 497 2.31/2.40 c Elapsed CPU time: 2.30365 s Remaining CPU time: 1797.7 s 2.31/2.41 c core #498 2.31/2.41 c Core size: 3 Core Weight: 1 Total Weight: 498 2.31/2.41 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.31/2.41 c core #499 2.31/2.41 c Core size: 3 Core Weight: 1 Total Weight: 499 2.31/2.41 c Elapsed CPU time: 2.31565 s Remaining CPU time: 1797.68 s 2.31/2.42 c core #500 2.31/2.42 c Core size: 3 Core Weight: 1 Total Weight: 500 2.31/2.42 c Elapsed CPU time: 2.32165 s Remaining CPU time: 1797.68 s 2.31/2.43 c core #501 2.31/2.43 c Core size: 3 Core Weight: 1 Total Weight: 501 2.31/2.43 c Elapsed CPU time: 2.32665 s Remaining CPU time: 1797.67 s 2.31/2.43 c core #502 2.31/2.43 c Core size: 3 Core Weight: 1 Total Weight: 502 2.31/2.43 c Elapsed CPU time: 2.33264 s Remaining CPU time: 1797.67 s 2.31/2.44 c core #503 2.31/2.44 c Core size: 3 Core Weight: 1 Total Weight: 503 2.31/2.44 c Elapsed CPU time: 2.33764 s Remaining CPU time: 1797.66 s 2.31/2.44 c core #504 2.31/2.44 c Core size: 3 Core Weight: 1 Total Weight: 504 2.31/2.44 c Elapsed CPU time: 2.34364 s Remaining CPU time: 1797.66 s 2.31/2.45 c core #505 2.31/2.45 c Core size: 3 Core Weight: 1 Total Weight: 505 2.31/2.45 c Elapsed CPU time: 2.34964 s Remaining CPU time: 1797.65 s 2.31/2.46 c core #506 2.31/2.46 c Core size: 3 Core Weight: 1 Total Weight: 506 2.31/2.46 c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s 2.31/2.46 c core #507 2.31/2.46 c Core size: 3 Core Weight: 1 Total Weight: 507 2.31/2.46 c Elapsed CPU time: 2.36164 s Remaining CPU time: 1797.64 s 2.31/2.47 c core #508 2.31/2.47 c Core size: 3 Core Weight: 1 Total Weight: 508 2.31/2.47 c Elapsed CPU time: 2.36764 s Remaining CPU time: 1797.63 s 2.31/2.47 c core #509 2.31/2.47 c Core size: 3 Core Weight: 1 Total Weight: 509 2.31/2.47 c Elapsed CPU time: 2.37364 s Remaining CPU time: 1797.63 s 2.31/2.48 c core #510 2.31/2.48 c Core size: 3 Core Weight: 1 Total Weight: 510 2.31/2.48 c Elapsed CPU time: 2.37964 s Remaining CPU time: 1797.62 s 2.31/2.49 c core #511 2.31/2.49 c Core size: 3 Core Weight: 1 Total Weight: 511 2.31/2.49 c Elapsed CPU time: 2.38564 s Remaining CPU time: 1797.61 s 2.31/2.49 c core #512 2.31/2.49 c Core size: 3 Core Weight: 1 Total Weight: 512 2.31/2.49 c Elapsed CPU time: 2.39164 s Remaining CPU time: 1797.61 s 2.41/2.50 c core #513 2.41/2.50 c Core size: 3 Core Weight: 1 Total Weight: 513 2.41/2.50 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.41/2.51 c core #514 2.41/2.51 c Core size: 3 Core Weight: 1 Total Weight: 514 2.41/2.51 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.41/2.51 c core #515 2.41/2.51 c Core size: 3 Core Weight: 1 Total Weight: 515 2.41/2.51 c Elapsed CPU time: 2.40963 s Remaining CPU time: 1797.59 s 2.41/2.52 c core #516 2.41/2.52 c Core size: 3 Core Weight: 1 Total Weight: 516 2.41/2.52 c Elapsed CPU time: 2.41563 s Remaining CPU time: 1797.58 s 2.41/2.52 c core #517 2.41/2.52 c Core size: 3 Core Weight: 1 Total Weight: 517 2.41/2.52 c Elapsed CPU time: 2.42163 s Remaining CPU time: 1797.58 s 2.41/2.53 c core #518 2.41/2.53 c Core size: 3 Core Weight: 1 Total Weight: 518 2.41/2.53 c Elapsed CPU time: 2.42763 s Remaining CPU time: 1797.57 s 2.41/2.54 c core #519 2.41/2.54 c Core size: 3 Core Weight: 1 Total Weight: 519 2.41/2.54 c Elapsed CPU time: 2.43363 s Remaining CPU time: 1797.57 s 2.41/2.54 c core #520 2.41/2.54 c Core size: 3 Core Weight: 1 Total Weight: 520 2.41/2.54 c Elapsed CPU time: 2.43963 s Remaining CPU time: 1797.56 s 2.41/2.55 c core #521 2.41/2.55 c Core size: 3 Core Weight: 1 Total Weight: 521 2.41/2.55 c Elapsed CPU time: 2.44563 s Remaining CPU time: 1797.55 s 2.41/2.56 c core #522 2.41/2.56 c Core size: 3 Core Weight: 1 Total Weight: 522 2.41/2.56 c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s 2.41/2.56 c core #523 2.41/2.56 c Core size: 3 Core Weight: 1 Total Weight: 523 2.41/2.56 c Elapsed CPU time: 2.45763 s Remaining CPU time: 1797.54 s 2.41/2.57 c core #524 2.41/2.57 c Core size: 3 Core Weight: 1 Total Weight: 524 2.41/2.57 c Elapsed CPU time: 2.46263 s Remaining CPU time: 1797.54 s 2.41/2.57 c core #525 2.41/2.57 c Core size: 3 Core Weight: 1 Total Weight: 525 2.41/2.57 c Elapsed CPU time: 2.46862 s Remaining CPU time: 1797.53 s 2.41/2.58 c core #526 2.41/2.58 c Core size: 3 Core Weight: 1 Total Weight: 526 2.41/2.58 c Elapsed CPU time: 2.47462 s Remaining CPU time: 1797.53 s 2.41/2.59 c core #527 2.41/2.59 c Core size: 3 Core Weight: 1 Total Weight: 527 2.41/2.59 c Elapsed CPU time: 2.48062 s Remaining CPU time: 1797.52 s 2.41/2.59 c core #528 2.41/2.59 c Core size: 3 Core Weight: 1 Total Weight: 528 2.41/2.59 c Elapsed CPU time: 2.48662 s Remaining CPU time: 1797.51 s 2.50/2.60 c core #529 2.50/2.60 c Core size: 3 Core Weight: 1 Total Weight: 529 2.50/2.60 c Elapsed CPU time: 2.49262 s Remaining CPU time: 1797.51 s 2.50/2.61 c core #530 2.50/2.61 c Core size: 3 Core Weight: 1 Total Weight: 530 2.50/2.61 c Elapsed CPU time: 2.49862 s Remaining CPU time: 1797.5 s 2.50/2.61 c core #531 2.50/2.61 c Core size: 3 Core Weight: 1 Total Weight: 531 2.50/2.61 c Elapsed CPU time: 2.50562 s Remaining CPU time: 1797.49 s 2.50/2.62 c core #532 2.50/2.62 c Core size: 3 Core Weight: 1 Total Weight: 532 2.50/2.62 c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s 2.50/2.63 c core #533 2.50/2.63 c Core size: 3 Core Weight: 1 Total Weight: 533 2.50/2.63 c Elapsed CPU time: 2.51762 s Remaining CPU time: 1797.48 s 2.50/2.63 c core #534 2.50/2.63 c Core size: 3 Core Weight: 1 Total Weight: 534 2.50/2.63 c Elapsed CPU time: 2.52362 s Remaining CPU time: 1797.48 s 2.50/2.64 c core #535 2.50/2.64 c Core size: 3 Core Weight: 1 Total Weight: 535 2.50/2.64 c Elapsed CPU time: 2.52961 s Remaining CPU time: 1797.47 s 2.50/2.64 c core #536 2.50/2.64 c Core size: 3 Core Weight: 1 Total Weight: 536 2.50/2.64 c Elapsed CPU time: 2.53561 s Remaining CPU time: 1797.46 s 2.50/2.65 c core #537 2.50/2.65 c Core size: 3 Core Weight: 1 Total Weight: 537 2.50/2.65 c Elapsed CPU time: 2.54261 s Remaining CPU time: 1797.46 s 2.50/2.66 c core #538 2.50/2.66 c Core size: 3 Core Weight: 1 Total Weight: 538 2.50/2.66 c Elapsed CPU time: 2.54861 s Remaining CPU time: 1797.45 s 2.50/2.66 c core #539 2.50/2.66 c Core size: 3 Core Weight: 1 Total Weight: 539 2.50/2.66 c Elapsed CPU time: 2.55461 s Remaining CPU time: 1797.45 s 2.50/2.67 c core #540 2.50/2.67 c Core size: 3 Core Weight: 1 Total Weight: 540 2.50/2.67 c Elapsed CPU time: 2.56061 s Remaining CPU time: 1797.44 s 2.50/2.68 c core #541 2.50/2.68 c Core size: 3 Core Weight: 1 Total Weight: 541 2.50/2.68 c Elapsed CPU time: 2.56661 s Remaining CPU time: 1797.43 s 2.50/2.68 c core #542 2.50/2.68 c Core size: 3 Core Weight: 1 Total Weight: 542 2.50/2.68 c Elapsed CPU time: 2.57261 s Remaining CPU time: 1797.43 s 2.50/2.69 c core #543 2.50/2.69 c Core size: 3 Core Weight: 1 Total Weight: 543 2.50/2.69 c Elapsed CPU time: 2.57861 s Remaining CPU time: 1797.42 s 2.50/2.69 c core #544 2.50/2.69 c Core size: 3 Core Weight: 1 Total Weight: 544 2.50/2.69 c Elapsed CPU time: 2.58461 s Remaining CPU time: 1797.42 s 2.60/2.70 c core #545 2.60/2.70 c Core size: 3 Core Weight: 1 Total Weight: 545 2.60/2.70 c Elapsed CPU time: 2.59061 s Remaining CPU time: 1797.41 s 2.60/2.71 c core #546 2.60/2.71 c Core size: 3 Core Weight: 1 Total Weight: 546 2.60/2.71 c Elapsed CPU time: 2.59761 s Remaining CPU time: 1797.4 s 2.60/2.71 c core #547 2.60/2.71 c Core size: 3 Core Weight: 1 Total Weight: 547 2.60/2.71 c Elapsed CPU time: 2.6036 s Remaining CPU time: 1797.4 s 2.60/2.72 c core #548 2.60/2.72 c Core size: 3 Core Weight: 1 Total Weight: 548 2.60/2.72 c Elapsed CPU time: 2.6106 s Remaining CPU time: 1797.39 s 2.60/2.73 c core #549 2.60/2.73 c Core size: 3 Core Weight: 1 Total Weight: 549 2.60/2.73 c Elapsed CPU time: 2.6166 s Remaining CPU time: 1797.38 s 2.60/2.73 c core #550 2.60/2.73 c Core size: 3 Core Weight: 1 Total Weight: 550 2.60/2.73 c Elapsed CPU time: 2.6236 s Remaining CPU time: 1797.38 s 2.60/2.74 c core #551 2.60/2.74 c Core size: 3 Core Weight: 1 Total Weight: 551 2.60/2.74 c Elapsed CPU time: 2.6296 s Remaining CPU time: 1797.37 s 2.60/2.75 c core #552 2.60/2.75 c Core size: 3 Core Weight: 1 Total Weight: 552 2.60/2.75 c Elapsed CPU time: 2.6356 s Remaining CPU time: 1797.36 s 2.60/2.75 c core #553 2.60/2.75 c Core size: 3 Core Weight: 1 Total Weight: 553 2.60/2.75 c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s 2.60/2.76 c core #554 2.60/2.76 c Core size: 3 Core Weight: 1 Total Weight: 554 2.60/2.76 c Elapsed CPU time: 2.6486 s Remaining CPU time: 1797.35 s 2.60/2.77 c core #555 2.60/2.77 c Core size: 3 Core Weight: 1 Total Weight: 555 2.60/2.77 c Elapsed CPU time: 2.6536 s Remaining CPU time: 1797.35 s 2.60/2.77 c core #556 2.60/2.77 c Core size: 3 Core Weight: 1 Total Weight: 556 2.60/2.77 c Elapsed CPU time: 2.66059 s Remaining CPU time: 1797.34 s 2.60/2.78 c core #557 2.60/2.78 c Core size: 3 Core Weight: 1 Total Weight: 557 2.60/2.78 c Elapsed CPU time: 2.66659 s Remaining CPU time: 1797.33 s 2.60/2.79 c core #558 2.60/2.79 c Core size: 3 Core Weight: 1 Total Weight: 558 2.60/2.79 c Elapsed CPU time: 2.67359 s Remaining CPU time: 1797.33 s 2.60/2.79 c core #559 2.60/2.79 c Core size: 3 Core Weight: 1 Total Weight: 559 2.60/2.79 c Elapsed CPU time: 2.67959 s Remaining CPU time: 1797.32 s 2.70/2.80 c core #560 2.70/2.80 c Core size: 3 Core Weight: 1 Total Weight: 560 2.70/2.80 c Elapsed CPU time: 2.68559 s Remaining CPU time: 1797.31 s 2.70/2.81 c core #561 2.70/2.81 c Core size: 3 Core Weight: 1 Total Weight: 561 2.70/2.81 c Elapsed CPU time: 2.69259 s Remaining CPU time: 1797.31 s 2.70/2.81 c core #562 2.70/2.81 c Core size: 3 Core Weight: 1 Total Weight: 562 2.70/2.81 c Elapsed CPU time: 2.69859 s Remaining CPU time: 1797.3 s 2.70/2.82 c core #563 2.70/2.82 c Core size: 3 Core Weight: 1 Total Weight: 563 2.70/2.82 c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s 2.70/2.82 c core #564 2.70/2.82 c Core size: 3 Core Weight: 1 Total Weight: 564 2.70/2.82 c Elapsed CPU time: 2.71159 s Remaining CPU time: 1797.29 s 2.70/2.83 c core #565 2.70/2.83 c Core size: 3 Core Weight: 1 Total Weight: 565 2.70/2.83 c Elapsed CPU time: 2.71759 s Remaining CPU time: 1797.28 s 2.70/2.84 c core #566 2.70/2.84 c Core size: 3 Core Weight: 1 Total Weight: 566 2.70/2.84 c Elapsed CPU time: 2.72358 s Remaining CPU time: 1797.28 s 2.70/2.84 c core #567 2.70/2.84 c Core size: 3 Core Weight: 1 Total Weight: 567 2.70/2.84 c Elapsed CPU time: 2.72959 s Remaining CPU time: 1797.27 s 2.70/2.85 c core #568 2.70/2.85 c Core size: 3 Core Weight: 1 Total Weight: 568 2.70/2.85 c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s 2.70/2.86 c core #569 2.70/2.86 c Core size: 3 Core Weight: 1 Total Weight: 569 2.70/2.86 c Elapsed CPU time: 2.74158 s Remaining CPU time: 1797.26 s 2.70/2.86 c core #570 2.70/2.86 c Core size: 3 Core Weight: 1 Total Weight: 570 2.70/2.86 c Elapsed CPU time: 2.74758 s Remaining CPU time: 1797.25 s 2.70/2.87 c core #571 2.70/2.87 c Core size: 3 Core Weight: 1 Total Weight: 571 2.70/2.87 c Elapsed CPU time: 2.75358 s Remaining CPU time: 1797.25 s 2.70/2.88 c core #572 2.70/2.88 c Core size: 3 Core Weight: 1 Total Weight: 572 2.70/2.88 c Elapsed CPU time: 2.75958 s Remaining CPU time: 1797.24 s 2.70/2.88 c core #573 2.70/2.88 c Core size: 3 Core Weight: 1 Total Weight: 573 2.70/2.88 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.70/2.89 c core #574 2.70/2.89 c Core size: 3 Core Weight: 1 Total Weight: 574 2.70/2.89 c Elapsed CPU time: 2.77158 s Remaining CPU time: 1797.23 s 2.70/2.90 c core #575 2.70/2.90 c Core size: 3 Core Weight: 1 Total Weight: 575 2.70/2.90 c Elapsed CPU time: 2.77858 s Remaining CPU time: 1797.22 s 2.79/2.90 c core #576 2.79/2.90 c Core size: 3 Core Weight: 1 Total Weight: 576 2.79/2.90 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 2.79/2.91 c core #577 2.79/2.91 c Core size: 3 Core Weight: 1 Total Weight: 577 2.79/2.91 c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s 2.79/2.91 c core #578 2.79/2.91 c Core size: 3 Core Weight: 1 Total Weight: 578 2.79/2.91 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.79/2.92 c core #579 2.79/2.92 c Core size: 3 Core Weight: 1 Total Weight: 579 2.79/2.92 c Elapsed CPU time: 2.80257 s Remaining CPU time: 1797.2 s 2.79/2.93 c core #580 2.79/2.93 c Core size: 3 Core Weight: 1 Total Weight: 580 2.79/2.93 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.79/2.93 c core #581 2.79/2.93 c Core size: 3 Core Weight: 1 Total Weight: 581 2.79/2.93 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.79/2.94 c core #582 2.79/2.94 c Core size: 3 Core Weight: 1 Total Weight: 582 2.79/2.94 c Elapsed CPU time: 2.82257 s Remaining CPU time: 1797.18 s 2.79/2.95 c core #583 2.79/2.95 c Core size: 3 Core Weight: 1 Total Weight: 583 2.79/2.95 c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s 2.79/2.95 c core #584 2.79/2.95 c Core size: 3 Core Weight: 1 Total Weight: 584 2.79/2.95 c Elapsed CPU time: 2.83557 s Remaining CPU time: 1797.16 s 2.79/2.96 c core #585 2.79/2.96 c Core size: 3 Core Weight: 1 Total Weight: 585 2.79/2.96 c Elapsed CPU time: 2.84157 s Remaining CPU time: 1797.16 s 2.79/2.97 c core #586 2.79/2.97 c Core size: 3 Core Weight: 1 Total Weight: 586 2.79/2.97 c Elapsed CPU time: 2.84857 s Remaining CPU time: 1797.15 s 2.79/2.97 c core #587 2.79/2.97 c Core size: 3 Core Weight: 1 Total Weight: 587 2.79/2.97 c Elapsed CPU time: 2.85457 s Remaining CPU time: 1797.15 s 2.79/2.98 c core #588 2.79/2.98 c Core size: 3 Core Weight: 1 Total Weight: 588 2.79/2.98 c Elapsed CPU time: 2.86156 s Remaining CPU time: 1797.14 s 2.79/2.99 c core #589 2.79/2.99 c Core size: 3 Core Weight: 1 Total Weight: 589 2.79/2.99 c Elapsed CPU time: 2.86756 s Remaining CPU time: 1797.13 s 2.79/2.99 c core #590 2.79/2.99 c Core size: 3 Core Weight: 1 Total Weight: 590 2.79/2.99 c Elapsed CPU time: 2.87356 s Remaining CPU time: 1797.13 s 2.89/3.00 c core #591 2.89/3.00 c Core size: 3 Core Weight: 1 Total Weight: 591 2.89/3.00 c Elapsed CPU time: 2.87956 s Remaining CPU time: 1797.12 s 2.89/3.01 c core #592 2.89/3.01 c Core size: 3 Core Weight: 1 Total Weight: 592 2.89/3.01 c Elapsed CPU time: 2.88656 s Remaining CPU time: 1797.11 s 2.89/3.01 c core #593 2.89/3.01 c Core size: 3 Core Weight: 1 Total Weight: 593 2.89/3.01 c Elapsed CPU time: 2.89256 s Remaining CPU time: 1797.11 s 2.89/3.02 c core #594 2.89/3.02 c Core size: 3 Core Weight: 1 Total Weight: 594 2.89/3.02 c Elapsed CPU time: 2.89856 s Remaining CPU time: 1797.1 s 2.89/3.03 c core #595 2.89/3.03 c Core size: 3 Core Weight: 1 Total Weight: 595 2.89/3.03 c Elapsed CPU time: 2.90556 s Remaining CPU time: 1797.09 s 2.89/3.03 c core #596 2.89/3.03 c Core size: 3 Core Weight: 1 Total Weight: 596 2.89/3.03 c Elapsed CPU time: 2.91156 s Remaining CPU time: 1797.09 s 2.89/3.04 c core #597 2.89/3.04 c Core size: 3 Core Weight: 1 Total Weight: 597 2.89/3.04 c Elapsed CPU time: 2.91856 s Remaining CPU time: 1797.08 s 2.89/3.05 c core #598 2.89/3.05 c Core size: 3 Core Weight: 1 Total Weight: 598 2.89/3.05 c Elapsed CPU time: 2.92556 s Remaining CPU time: 1797.07 s 2.89/3.05 c core #599 2.89/3.05 c Core size: 3 Core Weight: 1 Total Weight: 599 2.89/3.05 c Elapsed CPU time: 2.93155 s Remaining CPU time: 1797.07 s 2.89/3.06 c core #600 2.89/3.06 c Core size: 3 Core Weight: 1 Total Weight: 600 2.89/3.06 c Elapsed CPU time: 2.93855 s Remaining CPU time: 1797.06 s 2.89/3.07 c core #601 2.89/3.07 c Core size: 3 Core Weight: 1 Total Weight: 601 2.89/3.07 c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s 2.89/3.07 c core #602 2.89/3.07 c Core size: 3 Core Weight: 1 Total Weight: 602 2.89/3.07 c Elapsed CPU time: 2.95155 s Remaining CPU time: 1797.05 s 2.89/3.08 c core #603 2.89/3.08 c Core size: 3 Core Weight: 1 Total Weight: 603 2.89/3.08 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.89/3.09 c core #604 2.89/3.09 c Core size: 3 Core Weight: 1 Total Weight: 604 2.89/3.09 c Elapsed CPU time: 2.96455 s Remaining CPU time: 1797.04 s 2.89/3.09 c core #605 2.89/3.09 c Core size: 3 Core Weight: 1 Total Weight: 605 2.89/3.09 c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s 2.99/3.10 c core #606 2.99/3.10 c Core size: 3 Core Weight: 1 Total Weight: 606 2.99/3.10 c Elapsed CPU time: 2.97755 s Remaining CPU time: 1797.02 s 2.99/3.11 c core #607 2.99/3.11 c Core size: 3 Core Weight: 1 Total Weight: 607 2.99/3.11 c Elapsed CPU time: 2.98355 s Remaining CPU time: 1797.02 s 2.99/3.11 c core #608 2.99/3.11 c Core size: 3 Core Weight: 1 Total Weight: 608 2.99/3.11 c Elapsed CPU time: 2.99055 s Remaining CPU time: 1797.01 s 2.99/3.12 c core #609 2.99/3.12 c Core size: 3 Core Weight: 1 Total Weight: 609 2.99/3.12 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 2.99/3.13 c core #610 2.99/3.13 c Core size: 3 Core Weight: 1 Total Weight: 610 2.99/3.13 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 s 2.99/3.13 c core #611 2.99/3.13 c Core size: 3 Core Weight: 1 Total Weight: 611 2.99/3.13 c Elapsed CPU time: 3.00954 s Remaining CPU time: 1796.99 s 2.99/3.14 c core #612 2.99/3.14 c Core size: 3 Core Weight: 1 Total Weight: 612 2.99/3.14 c Elapsed CPU time: 3.01654 s Remaining CPU time: 1796.98 s 2.99/3.15 c core #613 2.99/3.15 c Core size: 3 Core Weight: 1 Total Weight: 613 2.99/3.15 c Elapsed CPU time: 3.02354 s Remaining CPU time: 1796.98 s 2.99/3.15 c core #614 2.99/3.15 c Core size: 3 Core Weight: 1 Total Weight: 614 2.99/3.15 c Elapsed CPU time: 3.03054 s Remaining CPU time: 1796.97 s 2.99/3.16 c core #615 2.99/3.16 c Core size: 3 Core Weight: 1 Total Weight: 615 2.99/3.16 c Elapsed CPU time: 3.03754 s Remaining CPU time: 1796.96 s 2.99/3.17 c core #616 2.99/3.17 c Core size: 3 Core Weight: 1 Total Weight: 616 2.99/3.17 c Elapsed CPU time: 3.04454 s Remaining CPU time: 1796.96 s 2.99/3.17 c core #617 2.99/3.17 c Core size: 3 Core Weight: 1 Total Weight: 617 2.99/3.17 c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s 2.99/3.18 c core #618 2.99/3.18 c Core size: 3 Core Weight: 1 Total Weight: 618 2.99/3.18 c Elapsed CPU time: 3.05854 s Remaining CPU time: 1796.94 s 2.99/3.19 c core #619 2.99/3.19 c Core size: 3 Core Weight: 1 Total Weight: 619 2.99/3.19 c Elapsed CPU time: 3.06453 s Remaining CPU time: 1796.94 s 2.99/3.19 c core #620 2.99/3.19 c Core size: 3 Core Weight: 1 Total Weight: 620 2.99/3.20 c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s 3.09/3.21 c core #621 3.09/3.21 c Core size: 3 Core Weight: 1 Total Weight: 621 3.09/3.21 c Elapsed CPU time: 3.07953 s Remaining CPU time: 1796.92 s 3.09/3.21 c core #622 3.09/3.21 c Core size: 3 Core Weight: 1 Total Weight: 622 3.09/3.21 c Elapsed CPU time: 3.08653 s Remaining CPU time: 1796.91 s 3.09/3.22 c core #623 3.09/3.22 c Core size: 3 Core Weight: 1 Total Weight: 623 3.09/3.22 c Elapsed CPU time: 3.09353 s Remaining CPU time: 1796.91 s 3.09/3.23 c core #624 3.09/3.23 c Core size: 3 Core Weight: 1 Total Weight: 624 3.09/3.23 c Elapsed CPU time: 3.09953 s Remaining CPU time: 1796.9 s 3.09/3.23 c core #625 3.09/3.23 c Core size: 3 Core Weight: 1 Total Weight: 625 3.09/3.23 c Elapsed CPU time: 3.10653 s Remaining CPU time: 1796.89 s 3.09/3.24 c core #626 3.09/3.24 c Core size: 3 Core Weight: 1 Total Weight: 626 3.09/3.24 c Elapsed CPU time: 3.11353 s Remaining CPU time: 1796.89 s 3.09/3.25 c core #627 3.09/3.25 c Core size: 3 Core Weight: 1 Total Weight: 627 3.09/3.25 c Elapsed CPU time: 3.12052 s Remaining CPU time: 1796.88 s 3.09/3.26 c core #628 3.09/3.26 c Core size: 3 Core Weight: 1 Total Weight: 628 3.09/3.26 c Elapsed CPU time: 3.12552 s Remaining CPU time: 1796.87 s 3.09/3.26 c core #629 3.09/3.26 c Core size: 3 Core Weight: 1 Total Weight: 629 3.09/3.26 c Elapsed CPU time: 3.13252 s Remaining CPU time: 1796.87 s 3.09/3.27 c core #630 3.09/3.27 c Core size: 3 Core Weight: 1 Total Weight: 630 3.09/3.27 c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s 3.09/3.28 c core #631 3.09/3.28 c Core size: 3 Core Weight: 1 Total Weight: 631 3.09/3.28 c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 s 3.09/3.28 c core #632 3.09/3.28 c Core size: 3 Core Weight: 1 Total Weight: 632 3.09/3.28 c Elapsed CPU time: 3.15152 s Remaining CPU time: 1796.85 s 3.09/3.29 c core #633 3.09/3.29 c Core size: 3 Core Weight: 1 Total Weight: 633 3.09/3.29 c Elapsed CPU time: 3.15952 s Remaining CPU time: 1796.84 s 3.09/3.30 c core #634 3.09/3.30 c Core size: 3 Core Weight: 1 Total Weight: 634 3.09/3.30 c Elapsed CPU time: 3.16652 s Remaining CPU time: 1796.83 s 3.19/3.31 c core #635 3.19/3.31 c Core size: 3 Core Weight: 1 Total Weight: 635 3.19/3.31 c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s 3.19/3.31 c core #636 3.19/3.31 c Core size: 3 Core Weight: 1 Total Weight: 636 3.19/3.31 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.19/3.32 c core #637 3.19/3.32 c Core size: 3 Core Weight: 1 Total Weight: 637 3.19/3.32 c Elapsed CPU time: 3.18452 s Remaining CPU time: 1796.82 s 3.19/3.33 c core #638 3.19/3.33 c Core size: 3 Core Weight: 1 Total Weight: 638 3.19/3.33 c Elapsed CPU time: 3.19151 s Remaining CPU time: 1796.81 s 3.19/3.33 c core #639 3.19/3.33 c Core size: 3 Core Weight: 1 Total Weight: 639 3.19/3.33 c Elapsed CPU time: 3.19851 s Remaining CPU time: 1796.8 s 3.19/3.34 c core #640 3.19/3.34 c Core size: 3 Core Weight: 1 Total Weight: 640 3.19/3.34 c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s 3.19/3.35 c core #641 3.19/3.35 c Core size: 3 Core Weight: 1 Total Weight: 641 3.19/3.35 c Elapsed CPU time: 3.21251 s Remaining CPU time: 1796.79 s 3.19/3.35 c core #642 3.19/3.35 c Core size: 3 Core Weight: 1 Total Weight: 642 3.19/3.35 c Elapsed CPU time: 3.21851 s Remaining CPU time: 1796.78 s 3.19/3.36 c core #643 3.19/3.36 c Core size: 3 Core Weight: 1 Total Weight: 643 3.19/3.36 c Elapsed CPU time: 3.22451 s Remaining CPU time: 1796.78 s 3.19/3.37 c core #644 3.19/3.37 c Core size: 3 Core Weight: 1 Total Weight: 644 3.19/3.37 c Elapsed CPU time: 3.23051 s Remaining CPU time: 1796.77 s 3.19/3.38 c core #645 3.19/3.38 c Core size: 3 Core Weight: 1 Total Weight: 645 3.19/3.38 c Elapsed CPU time: 3.23751 s Remaining CPU time: 1796.76 s 3.19/3.38 c core #646 3.19/3.38 c Core size: 3 Core Weight: 1 Total Weight: 646 3.19/3.38 c Elapsed CPU time: 3.24451 s Remaining CPU time: 1796.76 s 3.19/3.39 c core #647 3.19/3.39 c Core size: 3 Core Weight: 1 Total Weight: 647 3.19/3.39 c Elapsed CPU time: 3.2515 s Remaining CPU time: 1796.75 s 3.19/3.40 c core #648 3.19/3.40 c Core size: 3 Core Weight: 1 Total Weight: 648 3.19/3.40 c Elapsed CPU time: 3.2575 s Remaining CPU time: 1796.74 s 3.28/3.40 c core #649 3.28/3.40 c Core size: 3 Core Weight: 1 Total Weight: 649 3.28/3.40 c Elapsed CPU time: 3.2635 s Remaining CPU time: 1796.74 s 3.28/3.41 c core #650 3.28/3.41 c Core size: 3 Core Weight: 1 Total Weight: 650 3.28/3.41 c Elapsed CPU time: 3.2705 s Remaining CPU time: 1796.73 s 3.28/3.42 c core #651 3.28/3.42 c Core size: 3 Core Weight: 1 Total Weight: 651 3.28/3.42 c Elapsed CPU time: 3.2775 s Remaining CPU time: 1796.72 s 3.28/3.42 c core #652 3.28/3.42 c Core size: 3 Core Weight: 1 Total Weight: 652 3.28/3.42 c Elapsed CPU time: 3.2845 s Remaining CPU time: 1796.72 s 3.28/3.43 c core #653 3.28/3.43 c Core size: 3 Core Weight: 1 Total Weight: 653 3.28/3.43 c Elapsed CPU time: 3.2915 s Remaining CPU time: 1796.71 s 3.28/3.44 c core #654 3.28/3.44 c Core size: 3 Core Weight: 1 Total Weight: 654 3.28/3.44 c Elapsed CPU time: 3.2985 s Remaining CPU time: 1796.7 s 3.28/3.44 c core #655 3.28/3.44 c Core size: 3 Core Weight: 1 Total Weight: 655 3.28/3.44 c Elapsed CPU time: 3.3055 s Remaining CPU time: 1796.69 s 3.28/3.45 c core #656 3.28/3.45 c Core size: 3 Core Weight: 1 Total Weight: 656 3.28/3.45 c Elapsed CPU time: 3.3115 s Remaining CPU time: 1796.69 s 3.28/3.46 c core #657 3.28/3.46 c Core size: 3 Core Weight: 1 Total Weight: 657 3.28/3.46 c Elapsed CPU time: 3.31849 s Remaining CPU time: 1796.68 s 3.28/3.47 c core #658 3.28/3.47 c Core size: 3 Core Weight: 1 Total Weight: 658 3.28/3.47 c Elapsed CPU time: 3.32649 s Remaining CPU time: 1796.67 s 3.28/3.47 c core #659 3.28/3.47 c Core size: 3 Core Weight: 1 Total Weight: 659 3.28/3.47 c Elapsed CPU time: 3.33349 s Remaining CPU time: 1796.67 s 3.28/3.48 c core #660 3.28/3.48 c Core size: 3 Core Weight: 1 Total Weight: 660 3.28/3.48 c Elapsed CPU time: 3.34049 s Remaining CPU time: 1796.66 s 3.28/3.49 c core #661 3.28/3.49 c Core size: 3 Core Weight: 1 Total Weight: 661 3.28/3.49 c Elapsed CPU time: 3.34749 s Remaining CPU time: 1796.65 s 3.28/3.49 c core #662 3.28/3.49 c Core size: 3 Core Weight: 1 Total Weight: 662 3.28/3.49 c Elapsed CPU time: 3.35449 s Remaining CPU time: 1796.65 s 3.38/3.50 c core #663 3.38/3.50 c Core size: 3 Core Weight: 1 Total Weight: 663 3.38/3.50 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.38/3.51 c core #664 3.38/3.51 c Core size: 3 Core Weight: 1 Total Weight: 664 3.38/3.51 c Elapsed CPU time: 3.36849 s Remaining CPU time: 1796.63 s 3.38/3.52 c core #665 3.38/3.52 c Core size: 3 Core Weight: 1 Total Weight: 665 3.38/3.52 c Elapsed CPU time: 3.37549 s Remaining CPU time: 1796.62 s 3.38/3.52 c core #666 3.38/3.52 c Core size: 3 Core Weight: 1 Total Weight: 666 3.38/3.52 c Elapsed CPU time: 3.38248 s Remaining CPU time: 1796.62 s 3.38/3.53 c core #667 3.38/3.53 c Core size: 3 Core Weight: 1 Total Weight: 667 3.38/3.53 c Elapsed CPU time: 3.38948 s Remaining CPU time: 1796.61 s 3.38/3.54 c core #668 3.38/3.54 c Core size: 3 Core Weight: 1 Total Weight: 668 3.38/3.54 c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s 3.38/3.54 c core #669 3.38/3.54 c Core size: 3 Core Weight: 1 Total Weight: 669 3.38/3.54 c Elapsed CPU time: 3.40248 s Remaining CPU time: 1796.6 s 3.38/3.55 c core #670 3.38/3.55 c Core size: 3 Core Weight: 1 Total Weight: 670 3.38/3.55 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.38/3.56 c core #671 3.38/3.56 c Core size: 3 Core Weight: 1 Total Weight: 671 3.38/3.56 c Elapsed CPU time: 3.41648 s Remaining CPU time: 1796.58 s 3.38/3.56 c core #672 3.38/3.56 c Core size: 3 Core Weight: 1 Total Weight: 672 3.38/3.56 c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s 3.38/3.57 c core #673 3.38/3.57 c Core size: 3 Core Weight: 1 Total Weight: 673 3.38/3.57 c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s 3.38/3.58 c core #674 3.38/3.58 c Core size: 3 Core Weight: 1 Total Weight: 674 3.38/3.58 c Elapsed CPU time: 3.43748 s Remaining CPU time: 1796.56 s 3.38/3.59 c core #675 3.38/3.59 c Core size: 3 Core Weight: 1 Total Weight: 675 3.38/3.59 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.38/3.59 c core #676 3.38/3.59 c Core size: 3 Core Weight: 1 Total Weight: 676 3.38/3.59 c Elapsed CPU time: 3.45147 s Remaining CPU time: 1796.55 s 3.48/3.60 c core #677 3.48/3.60 c Core size: 3 Core Weight: 1 Total Weight: 677 3.48/3.60 c Elapsed CPU time: 3.45847 s Remaining CPU time: 1796.54 s 3.48/3.61 c core #678 3.48/3.61 c Core size: 3 Core Weight: 1 Total Weight: 678 3.48/3.61 c Elapsed CPU time: 3.46547 s Remaining CPU time: 1796.53 s 3.48/3.62 c core #679 3.48/3.62 c Core size: 3 Core Weight: 1 Total Weight: 679 3.48/3.62 c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s 3.48/3.62 c core #680 3.48/3.62 c Core size: 3 Core Weight: 1 Total Weight: 680 3.48/3.62 c Elapsed CPU time: 3.48047 s Remaining CPU time: 1796.52 s 3.48/3.63 c core #681 3.48/3.63 c Core size: 3 Core Weight: 1 Total Weight: 681 3.48/3.63 c Elapsed CPU time: 3.48747 s Remaining CPU time: 1796.51 s 3.48/3.64 c core #682 3.48/3.64 c Core size: 3 Core Weight: 1 Total Weight: 682 3.48/3.64 c Elapsed CPU time: 3.49347 s Remaining CPU time: 1796.51 s 3.48/3.64 c core #683 3.48/3.64 c Core size: 3 Core Weight: 1 Total Weight: 683 3.48/3.64 c Elapsed CPU time: 3.50047 s Remaining CPU time: 1796.5 s 3.48/3.65 c core #684 3.48/3.65 c Core size: 3 Core Weight: 1 Total Weight: 684 3.48/3.65 c Elapsed CPU time: 3.50747 s Remaining CPU time: 1796.49 s 3.48/3.66 c core #685 3.48/3.66 c Core size: 3 Core Weight: 1 Total Weight: 685 3.48/3.66 c Elapsed CPU time: 3.51446 s Remaining CPU time: 1796.49 s 3.48/3.67 c core #686 3.48/3.67 c Core size: 3 Core Weight: 1 Total Weight: 686 3.48/3.67 c Elapsed CPU time: 3.52146 s Remaining CPU time: 1796.48 s 3.48/3.67 c core #687 3.48/3.67 c Core size: 3 Core Weight: 1 Total Weight: 687 3.48/3.67 c Elapsed CPU time: 3.52846 s Remaining CPU time: 1796.47 s 3.48/3.68 c core #688 3.48/3.68 c Core size: 3 Core Weight: 1 Total Weight: 688 3.48/3.68 c Elapsed CPU time: 3.53546 s Remaining CPU time: 1796.46 s 3.48/3.69 c core #689 3.48/3.69 c Core size: 3 Core Weight: 1 Total Weight: 689 3.48/3.69 c Elapsed CPU time: 3.54246 s Remaining CPU time: 1796.46 s 3.48/3.70 c core #690 3.48/3.70 c Core size: 3 Core Weight: 1 Total Weight: 690 3.48/3.70 c Elapsed CPU time: 3.54946 s Remaining CPU time: 1796.45 s 3.58/3.70 c core #691 3.58/3.70 c Core size: 3 Core Weight: 1 Total Weight: 691 3.58/3.70 c Elapsed CPU time: 3.55646 s Remaining CPU time: 1796.44 s 3.58/3.71 c core #692 3.58/3.71 c Core size: 3 Core Weight: 1 Total Weight: 692 3.58/3.71 c Elapsed CPU time: 3.56346 s Remaining CPU time: 1796.44 s 3.58/3.72 c core #693 3.58/3.72 c Core size: 3 Core Weight: 1 Total Weight: 693 3.58/3.72 c Elapsed CPU time: 3.57046 s Remaining CPU time: 1796.43 s 3.58/3.73 c core #694 3.58/3.73 c Core size: 3 Core Weight: 1 Total Weight: 694 3.58/3.73 c Elapsed CPU time: 3.57845 s Remaining CPU time: 1796.42 s 3.58/3.73 c core #695 3.58/3.73 c Core size: 3 Core Weight: 1 Total Weight: 695 3.58/3.73 c Elapsed CPU time: 3.58545 s Remaining CPU time: 1796.41 s 3.58/3.74 c core #696 3.58/3.74 c Core size: 3 Core Weight: 1 Total Weight: 696 3.58/3.74 c Elapsed CPU time: 3.59345 s Remaining CPU time: 1796.41 s 3.58/3.75 c core #697 3.58/3.75 c Core size: 3 Core Weight: 1 Total Weight: 697 3.58/3.75 c Elapsed CPU time: 3.60045 s Remaining CPU time: 1796.4 s 3.58/3.76 c core #698 3.58/3.76 c Core size: 3 Core Weight: 1 Total Weight: 698 3.58/3.76 c Elapsed CPU time: 3.60845 s Remaining CPU time: 1796.39 s 3.58/3.76 c core #699 3.58/3.76 c Core size: 3 Core Weight: 1 Total Weight: 699 3.58/3.76 c Elapsed CPU time: 3.61545 s Remaining CPU time: 1796.38 s 3.58/3.77 c core #700 3.58/3.77 c Core size: 3 Core Weight: 1 Total Weight: 700 3.58/3.77 c Elapsed CPU time: 3.62345 s Remaining CPU time: 1796.38 s 3.58/3.78 c core #701 3.58/3.78 c Core size: 3 Core Weight: 1 Total Weight: 701 3.58/3.78 c Elapsed CPU time: 3.63045 s Remaining CPU time: 1796.37 s 3.58/3.79 c core #702 3.58/3.79 c Core size: 3 Core Weight: 1 Total Weight: 702 3.58/3.79 c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s 3.58/3.79 c core #703 3.58/3.79 c Core size: 3 Core Weight: 1 Total Weight: 703 3.58/3.79 c Elapsed CPU time: 3.64545 s Remaining CPU time: 1796.35 s 3.67/3.81 c core #704 3.67/3.81 c Core size: 3 Core Weight: 1 Total Weight: 704 3.67/3.81 c Elapsed CPU time: 3.65244 s Remaining CPU time: 1796.35 s 3.67/3.81 c core #705 3.67/3.81 c Core size: 3 Core Weight: 1 Total Weight: 705 3.67/3.81 c Elapsed CPU time: 3.66044 s Remaining CPU time: 1796.34 s 3.67/3.81 c core #706 3.67/3.81 c Core size: 3 Core Weight: 1 Total Weight: 706 3.67/3.81 c Elapsed CPU time: 3.66744 s Remaining CPU time: 1796.33 s 3.67/3.82 c core #707 3.67/3.82 c Core size: 3 Core Weight: 1 Total Weight: 707 3.67/3.82 c Elapsed CPU time: 3.67444 s Remaining CPU time: 1796.33 s 3.67/3.83 c core #708 3.67/3.83 c Core size: 3 Core Weight: 1 Total Weight: 708 3.67/3.83 c Elapsed CPU time: 3.68244 s Remaining CPU time: 1796.32 s 3.67/3.84 c core #709 3.67/3.84 c Core size: 3 Core Weight: 1 Total Weight: 709 3.67/3.84 c Elapsed CPU time: 3.68944 s Remaining CPU time: 1796.31 s 3.67/3.84 c core #710 3.67/3.84 c Core size: 3 Core Weight: 1 Total Weight: 710 3.67/3.84 c Elapsed CPU time: 3.69744 s Remaining CPU time: 1796.3 s 3.67/3.85 c core #711 3.67/3.85 c Core size: 3 Core Weight: 1 Total Weight: 711 3.67/3.85 c Elapsed CPU time: 3.70444 s Remaining CPU time: 1796.3 s 3.67/3.86 c core #712 3.67/3.86 c Core size: 3 Core Weight: 1 Total Weight: 712 3.67/3.86 c Elapsed CPU time: 3.71244 s Remaining CPU time: 1796.29 s 3.67/3.87 c core #713 3.67/3.87 c Core size: 3 Core Weight: 1 Total Weight: 713 3.67/3.87 c Elapsed CPU time: 3.71943 s Remaining CPU time: 1796.28 s 3.67/3.87 c core #714 3.67/3.87 c Core size: 3 Core Weight: 1 Total Weight: 714 3.67/3.87 c Elapsed CPU time: 3.72743 s Remaining CPU time: 1796.27 s 3.67/3.88 c core #715 3.67/3.88 c Core size: 3 Core Weight: 1 Total Weight: 715 3.67/3.88 c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s 3.67/3.89 c core #716 3.67/3.89 c Core size: 3 Core Weight: 1 Total Weight: 716 3.67/3.89 c Elapsed CPU time: 3.74243 s Remaining CPU time: 1796.26 s 3.77/3.90 c core #717 3.77/3.90 c Core size: 3 Core Weight: 1 Total Weight: 717 3.77/3.90 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.77/3.90 c core #718 3.77/3.90 c Core size: 3 Core Weight: 1 Total Weight: 718 3.77/3.90 c Elapsed CPU time: 3.75643 s Remaining CPU time: 1796.24 s 3.77/3.91 c core #719 3.77/3.91 c Core size: 3 Core Weight: 1 Total Weight: 719 3.77/3.91 c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s 3.77/3.92 c core #720 3.77/3.92 c Core size: 3 Core Weight: 1 Total Weight: 720 3.77/3.92 c Elapsed CPU time: 3.77143 s Remaining CPU time: 1796.23 s 3.77/3.93 c core #721 3.77/3.93 c Core size: 3 Core Weight: 1 Total Weight: 721 3.77/3.93 c Elapsed CPU time: 3.77842 s Remaining CPU time: 1796.22 s 3.77/3.93 c core #722 3.77/3.93 c Core size: 3 Core Weight: 1 Total Weight: 722 3.77/3.93 c Elapsed CPU time: 3.78542 s Remaining CPU time: 1796.21 s 3.77/3.94 c core #723 3.77/3.94 c Core size: 3 Core Weight: 1 Total Weight: 723 3.77/3.94 c Elapsed CPU time: 3.79342 s Remaining CPU time: 1796.21 s 3.77/3.95 c core #724 3.77/3.95 c Core size: 3 Core Weight: 1 Total Weight: 724 3.77/3.95 c Elapsed CPU time: 3.79942 s Remaining CPU time: 1796.2 s 3.77/3.96 c core #725 3.77/3.96 c Core size: 3 Core Weight: 1 Total Weight: 725 3.77/3.96 c Elapsed CPU time: 3.80742 s Remaining CPU time: 1796.19 s 3.77/3.96 c core #726 3.77/3.96 c Core size: 3 Core Weight: 1 Total Weight: 726 3.77/3.96 c Elapsed CPU time: 3.81542 s Remaining CPU time: 1796.18 s 3.77/3.97 c core #727 3.77/3.97 c Core size: 3 Core Weight: 1 Total Weight: 727 3.77/3.97 c Elapsed CPU time: 3.82242 s Remaining CPU time: 1796.18 s 3.77/3.98 c core #728 3.77/3.98 c Core size: 3 Core Weight: 1 Total Weight: 728 3.77/3.98 c Elapsed CPU time: 3.83042 s Remaining CPU time: 1796.17 s 3.77/3.99 c core #729 3.77/3.99 c Core size: 3 Core Weight: 1 Total Weight: 729 3.77/3.99 c Elapsed CPU time: 3.83742 s Remaining CPU time: 1796.16 s 3.77/3.99 c core #730 3.77/3.99 c Core size: 3 Core Weight: 1 Total Weight: 730 3.77/3.99 c Elapsed CPU time: 3.84442 s Remaining CPU time: 1796.16 s 3.87/4.00 c core #731 3.87/4.00 c Core size: 3 Core Weight: 1 Total Weight: 731 3.87/4.00 c Elapsed CPU time: 3.85141 s Remaining CPU time: 1796.15 s 3.87/4.01 c core #732 3.87/4.01 c Core size: 3 Core Weight: 1 Total Weight: 732 3.87/4.01 c Elapsed CPU time: 3.85941 s Remaining CPU time: 1796.14 s 3.87/4.02 c core #733 3.87/4.02 c Core size: 3 Core Weight: 1 Total Weight: 733 3.87/4.02 c Elapsed CPU time: 3.86641 s Remaining CPU time: 1796.13 s 3.87/4.02 c core #734 3.87/4.02 c Core size: 3 Core Weight: 1 Total Weight: 734 3.87/4.02 c Elapsed CPU time: 3.87441 s Remaining CPU time: 1796.13 s 3.87/4.03 c core #735 3.87/4.03 c Core size: 3 Core Weight: 1 Total Weight: 735 3.87/4.03 c Elapsed CPU time: 3.88141 s Remaining CPU time: 1796.12 s 3.87/4.04 c core #736 3.87/4.04 c Core size: 3 Core Weight: 1 Total Weight: 736 3.87/4.04 c Elapsed CPU time: 3.88841 s Remaining CPU time: 1796.11 s 3.87/4.05 c core #737 3.87/4.05 c Core size: 3 Core Weight: 1 Total Weight: 737 3.87/4.05 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.87/4.05 c core #738 3.87/4.05 c Core size: 3 Core Weight: 1 Total Weight: 738 3.87/4.05 c Elapsed CPU time: 3.90341 s Remaining CPU time: 1796.1 s 3.87/4.06 c core #739 3.87/4.06 c Core size: 3 Core Weight: 1 Total Weight: 739 3.87/4.06 c Elapsed CPU time: 3.9104 s Remaining CPU time: 1796.09 s 3.87/4.07 c core #740 3.87/4.07 c Core size: 3 Core Weight: 1 Total Weight: 740 3.87/4.07 c Elapsed CPU time: 3.9184 s Remaining CPU time: 1796.08 s 3.87/4.08 c core #741 3.87/4.08 c Core size: 3 Core Weight: 1 Total Weight: 741 3.87/4.08 c Elapsed CPU time: 3.9264 s Remaining CPU time: 1796.07 s 3.87/4.09 c core #742 3.87/4.09 c Core size: 3 Core Weight: 1 Total Weight: 742 3.87/4.09 c Elapsed CPU time: 3.9334 s Remaining CPU time: 1796.07 s 3.87/4.09 c core #743 3.87/4.09 c Core size: 3 Core Weight: 1 Total Weight: 743 3.87/4.09 c Elapsed CPU time: 3.9414 s Remaining CPU time: 1796.06 s 3.97/4.10 c core #744 3.97/4.10 c Core size: 3 Core Weight: 1 Total Weight: 744 3.97/4.10 c Elapsed CPU time: 3.9484 s Remaining CPU time: 1796.05 s 3.97/4.11 c core #745 3.97/4.11 c Core size: 3 Core Weight: 1 Total Weight: 745 3.97/4.11 c Elapsed CPU time: 3.9564 s Remaining CPU time: 1796.04 s 3.97/4.12 c core #746 3.97/4.12 c Core size: 3 Core Weight: 1 Total Weight: 746 3.97/4.12 c Elapsed CPU time: 3.9644 s Remaining CPU time: 1796.04 s 3.97/4.12 c core #747 3.97/4.12 c Core size: 3 Core Weight: 1 Total Weight: 747 3.97/4.12 c Elapsed CPU time: 3.9714 s Remaining CPU time: 1796.03 s 3.97/4.13 c core #748 3.97/4.13 c Core size: 3 Core Weight: 1 Total Weight: 748 3.97/4.13 c Elapsed CPU time: 3.97839 s Remaining CPU time: 1796.02 s 3.97/4.14 c core #749 3.97/4.14 c Core size: 3 Core Weight: 1 Total Weight: 749 3.97/4.14 c Elapsed CPU time: 3.98639 s Remaining CPU time: 1796.01 s 3.97/4.15 c core #750 3.97/4.15 c Core size: 3 Core Weight: 1 Total Weight: 750 3.97/4.15 c Elapsed CPU time: 3.99339 s Remaining CPU time: 1796.01 s 3.97/4.15 c core #751 3.97/4.15 c Core size: 3 Core Weight: 1 Total Weight: 751 3.97/4.15 c Elapsed CPU time: 4.00039 s Remaining CPU time: 1796 s 3.97/4.16 c core #752 3.97/4.16 c Core size: 3 Core Weight: 1 Total Weight: 752 3.97/4.16 c Elapsed CPU time: 4.00839 s Remaining CPU time: 1795.99 s 3.97/4.17 c core #753 3.97/4.17 c Core size: 3 Core Weight: 1 Total Weight: 753 3.97/4.17 c Elapsed CPU time: 4.01639 s Remaining CPU time: 1795.98 s 3.97/4.18 c core #754 3.97/4.18 c Core size: 3 Core Weight: 1 Total Weight: 754 3.97/4.18 c Elapsed CPU time: 4.02339 s Remaining CPU time: 1795.98 s 3.97/4.18 c core #755 3.97/4.18 c Core size: 3 Core Weight: 1 Total Weight: 755 3.97/4.18 c Elapsed CPU time: 4.03139 s Remaining CPU time: 1795.97 s 3.97/4.19 c core #756 3.97/4.19 c Core size: 3 Core Weight: 1 Total Weight: 756 3.97/4.19 c Elapsed CPU time: 4.03839 s Remaining CPU time: 1795.96 s 4.07/4.20 c core #757 4.07/4.20 c Core size: 3 Core Weight: 1 Total Weight: 757 4.07/4.20 c Elapsed CPU time: 4.04538 s Remaining CPU time: 1795.95 s 4.07/4.21 c core #758 4.07/4.21 c Core size: 3 Core Weight: 1 Total Weight: 758 4.07/4.21 c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s 4.07/4.22 c core #759 4.07/4.22 c Core size: 3 Core Weight: 1 Total Weight: 759 4.07/4.22 c Elapsed CPU time: 4.06138 s Remaining CPU time: 1795.94 s 4.07/4.22 c core #760 4.07/4.22 c Core size: 3 Core Weight: 1 Total Weight: 760 4.07/4.22 c Elapsed CPU time: 4.06938 s Remaining CPU time: 1795.93 s 4.07/4.23 c core #761 4.07/4.23 c Core size: 3 Core Weight: 1 Total Weight: 761 4.07/4.23 c Elapsed CPU time: 4.07638 s Remaining CPU time: 1795.92 s 4.07/4.24 c core #762 4.07/4.24 c Core size: 3 Core Weight: 1 Total Weight: 762 4.07/4.24 c Elapsed CPU time: 4.08338 s Remaining CPU time: 1795.92 s 4.07/4.25 c core #763 4.07/4.25 c Core size: 3 Core Weight: 1 Total Weight: 763 4.07/4.25 c Elapsed CPU time: 4.09138 s Remaining CPU time: 1795.91 s 4.07/4.25 c core #764 4.07/4.25 c Core size: 3 Core Weight: 1 Total Weight: 764 4.07/4.25 c Elapsed CPU time: 4.09938 s Remaining CPU time: 1795.9 s 4.07/4.26 c core #765 4.07/4.26 c Core size: 3 Core Weight: 1 Total Weight: 765 4.07/4.26 c Elapsed CPU time: 4.10738 s Remaining CPU time: 1795.89 s 4.07/4.27 c core #766 4.07/4.27 c Core size: 3 Core Weight: 1 Total Weight: 766 4.07/4.27 c Elapsed CPU time: 4.11537 s Remaining CPU time: 1795.88 s 4.07/4.28 c core #767 4.07/4.28 c Core size: 3 Core Weight: 1 Total Weight: 767 4.07/4.28 c Elapsed CPU time: 4.12237 s Remaining CPU time: 1795.88 s 4.07/4.29 c core #768 4.07/4.29 c Core size: 3 Core Weight: 1 Total Weight: 768 4.07/4.29 c Elapsed CPU time: 4.13037 s Remaining CPU time: 1795.87 s 4.07/4.29 c core #769 4.07/4.29 c Core size: 3 Core Weight: 1 Total Weight: 769 4.07/4.29 c Elapsed CPU time: 4.13837 s Remaining CPU time: 1795.86 s 4.17/4.31 c core #770 4.17/4.31 c Core size: 3 Core Weight: 1 Total Weight: 770 4.17/4.31 c Elapsed CPU time: 4.14637 s Remaining CPU time: 1795.85 s 4.17/4.31 c core #771 4.17/4.31 c Core size: 3 Core Weight: 1 Total Weight: 771 4.17/4.31 c Elapsed CPU time: 4.15437 s Remaining CPU time: 1795.85 s 4.17/4.32 c core #772 4.17/4.32 c Core size: 3 Core Weight: 1 Total Weight: 772 4.17/4.32 c Elapsed CPU time: 4.16137 s Remaining CPU time: 1795.84 s 4.17/4.33 c core #773 4.17/4.33 c Core size: 3 Core Weight: 1 Total Weight: 773 4.17/4.33 c Elapsed CPU time: 4.16837 s Remaining CPU time: 1795.83 s 4.17/4.34 c core #774 4.17/4.34 c Core size: 3 Core Weight: 1 Total Weight: 774 4.17/4.34 c Elapsed CPU time: 4.17636 s Remaining CPU time: 1795.82 s 4.17/4.35 c core #775 4.17/4.35 c Core size: 3 Core Weight: 1 Total Weight: 775 4.17/4.35 c Elapsed CPU time: 4.18336 s Remaining CPU time: 1795.82 s 4.17/4.35 c core #776 4.17/4.35 c Core size: 3 Core Weight: 1 Total Weight: 776 4.17/4.35 c Elapsed CPU time: 4.19036 s Remaining CPU time: 1795.81 s 4.17/4.36 c core #777 4.17/4.36 c Core size: 3 Core Weight: 1 Total Weight: 777 4.17/4.36 c Elapsed CPU time: 4.19736 s Remaining CPU time: 1795.8 s 4.17/4.37 c core #778 4.17/4.37 c Core size: 3 Core Weight: 1 Total Weight: 778 4.17/4.37 c Elapsed CPU time: 4.20536 s Remaining CPU time: 1795.79 s 4.17/4.38 c core #779 4.17/4.38 c Core size: 3 Core Weight: 1 Total Weight: 779 4.17/4.38 c Elapsed CPU time: 4.21336 s Remaining CPU time: 1795.79 s 4.17/4.39 c core #780 4.17/4.39 c Core size: 3 Core Weight: 1 Total Weight: 780 4.17/4.39 c Elapsed CPU time: 4.22136 s Remaining CPU time: 1795.78 s 4.17/4.39 c core #781 4.17/4.39 c Core size: 3 Core Weight: 1 Total Weight: 781 4.17/4.39 c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s 4.26/4.40 c core #782 4.26/4.40 c Core size: 3 Core Weight: 1 Total Weight: 782 4.26/4.40 c Elapsed CPU time: 4.23735 s Remaining CPU time: 1795.76 s 4.26/4.41 c core #783 4.26/4.41 c Core size: 3 Core Weight: 1 Total Weight: 783 4.26/4.41 c Elapsed CPU time: 4.24535 s Remaining CPU time: 1795.75 s 4.26/4.42 c core #784 4.26/4.42 c Core size: 3 Core Weight: 1 Total Weight: 784 4.26/4.42 c Elapsed CPU time: 4.25335 s Remaining CPU time: 1795.75 s 4.26/4.43 c core #785 4.26/4.43 c Core size: 3 Core Weight: 1 Total Weight: 785 4.26/4.43 c Elapsed CPU time: 4.26035 s Remaining CPU time: 1795.74 s 4.26/4.43 c core #786 4.26/4.43 c Core size: 3 Core Weight: 1 Total Weight: 786 4.26/4.43 c Elapsed CPU time: 4.26735 s Remaining CPU time: 1795.73 s 4.26/4.44 c core #787 4.26/4.44 c Core size: 3 Core Weight: 1 Total Weight: 787 4.26/4.44 c Elapsed CPU time: 4.27435 s Remaining CPU time: 1795.73 s 4.26/4.45 c core #788 4.26/4.45 c Core size: 3 Core Weight: 1 Total Weight: 788 4.26/4.45 c Elapsed CPU time: 4.28135 s Remaining CPU time: 1795.72 s 4.26/4.46 c core #789 4.26/4.46 c Core size: 3 Core Weight: 1 Total Weight: 789 4.26/4.46 c Elapsed CPU time: 4.28935 s Remaining CPU time: 1795.71 s 4.26/4.47 c core #790 4.26/4.47 c Core size: 3 Core Weight: 1 Total Weight: 790 4.26/4.47 c Elapsed CPU time: 4.29735 s Remaining CPU time: 1795.7 s 4.26/4.48 c core #791 4.26/4.48 c Core size: 3 Core Weight: 1 Total Weight: 791 4.26/4.48 c Elapsed CPU time: 4.30534 s Remaining CPU time: 1795.69 s 4.26/4.48 c core #792 4.26/4.48 c Core size: 3 Core Weight: 1 Total Weight: 792 4.26/4.48 c Elapsed CPU time: 4.31434 s Remaining CPU time: 1795.69 s 4.26/4.49 c core #793 4.26/4.49 c Core size: 3 Core Weight: 1 Total Weight: 793 4.26/4.49 c Elapsed CPU time: 4.32134 s Remaining CPU time: 1795.68 s 4.36/4.50 c core #794 4.36/4.50 c Core size: 3 Core Weight: 1 Total Weight: 794 4.36/4.50 c Elapsed CPU time: 4.32834 s Remaining CPU time: 1795.67 s 4.36/4.51 c core #795 4.36/4.51 c Core size: 3 Core Weight: 1 Total Weight: 795 4.36/4.51 c Elapsed CPU time: 4.33634 s Remaining CPU time: 1795.66 s 4.36/4.52 c core #796 4.36/4.52 c Core size: 3 Core Weight: 1 Total Weight: 796 4.36/4.52 c Elapsed CPU time: 4.34434 s Remaining CPU time: 1795.66 s 4.36/4.52 c core #797 4.36/4.52 c Core size: 3 Core Weight: 1 Total Weight: 797 4.36/4.52 c Elapsed CPU time: 4.35234 s Remaining CPU time: 1795.65 s 4.36/4.53 c core #798 4.36/4.53 c Core size: 3 Core Weight: 1 Total Weight: 798 4.36/4.53 c Elapsed CPU time: 4.36034 s Remaining CPU time: 1795.64 s 4.36/4.54 c core #799 4.36/4.54 c Core size: 3 Core Weight: 1 Total Weight: 799 4.36/4.54 c Elapsed CPU time: 4.36834 s Remaining CPU time: 1795.63 s 4.36/4.55 c core #800 4.36/4.55 c Core size: 3 Core Weight: 1 Total Weight: 800 4.36/4.55 c Elapsed CPU time: 4.37633 s Remaining CPU time: 1795.62 s 4.36/4.56 c core #801 4.36/4.56 c Core size: 3 Core Weight: 1 Total Weight: 801 4.36/4.56 c Elapsed CPU time: 4.38333 s Remaining CPU time: 1795.62 s 4.36/4.56 c core #802 4.36/4.56 c Core size: 3 Core Weight: 1 Total Weight: 802 4.36/4.56 c Elapsed CPU time: 4.39133 s Remaining CPU time: 1795.61 s 4.36/4.57 c core #803 4.36/4.57 c Core size: 3 Core Weight: 1 Total Weight: 803 4.36/4.57 c Elapsed CPU time: 4.39933 s Remaining CPU time: 1795.6 s 4.36/4.58 c core #804 4.36/4.58 c Core size: 3 Core Weight: 1 Total Weight: 804 4.36/4.58 c Elapsed CPU time: 4.40733 s Remaining CPU time: 1795.59 s 4.36/4.59 c core #805 4.36/4.59 c Core size: 3 Core Weight: 1 Total Weight: 805 4.36/4.59 c Elapsed CPU time: 4.41533 s Remaining CPU time: 1795.58 s 4.46/4.60 c core #806 4.46/4.60 c Core size: 3 Core Weight: 1 Total Weight: 806 4.46/4.60 c Elapsed CPU time: 4.42333 s Remaining CPU time: 1795.58 s 4.46/4.61 c core #807 4.46/4.61 c Core size: 3 Core Weight: 1 Total Weight: 807 4.46/4.61 c Elapsed CPU time: 4.43133 s Remaining CPU time: 1795.57 s 4.46/4.61 c core #808 4.46/4.61 c Core size: 3 Core Weight: 1 Total Weight: 808 4.46/4.61 c Elapsed CPU time: 4.44032 s Remaining CPU time: 1795.56 s 4.46/4.62 c core #809 4.46/4.62 c Core size: 3 Core Weight: 1 Total Weight: 809 4.46/4.62 c Elapsed CPU time: 4.44832 s Remaining CPU time: 1795.55 s 4.46/4.63 c core #810 4.46/4.63 c Core size: 3 Core Weight: 1 Total Weight: 810 4.46/4.63 c Elapsed CPU time: 4.45632 s Remaining CPU time: 1795.54 s 4.46/4.64 c core #811 4.46/4.64 c Core size: 3 Core Weight: 1 Total Weight: 811 4.46/4.64 c Elapsed CPU time: 4.46532 s Remaining CPU time: 1795.53 s 4.46/4.65 c core #812 4.46/4.65 c Core size: 3 Core Weight: 1 Total Weight: 812 4.46/4.65 c Elapsed CPU time: 4.47332 s Remaining CPU time: 1795.53 s 4.46/4.66 c core #813 4.46/4.66 c Core size: 3 Core Weight: 1 Total Weight: 813 4.46/4.66 c Elapsed CPU time: 4.48132 s Remaining CPU time: 1795.52 s 4.46/4.66 c core #814 4.46/4.66 c Core size: 3 Core Weight: 1 Total Weight: 814 4.46/4.66 c Elapsed CPU time: 4.49032 s Remaining CPU time: 1795.51 s 4.46/4.67 c core #815 4.46/4.67 c Core size: 3 Core Weight: 1 Total Weight: 815 4.46/4.67 c Elapsed CPU time: 4.49832 s Remaining CPU time: 1795.5 s 4.46/4.68 c core #816 4.46/4.68 c Core size: 3 Core Weight: 1 Total Weight: 816 4.46/4.68 c Elapsed CPU time: 4.50631 s Remaining CPU time: 1795.49 s 4.46/4.69 c core #817 4.46/4.69 c Core size: 3 Core Weight: 1 Total Weight: 817 4.46/4.69 c Elapsed CPU time: 4.51531 s Remaining CPU time: 1795.48 s 4.56/4.70 c core #818 4.56/4.70 c Core size: 3 Core Weight: 1 Total Weight: 818 4.56/4.70 c Elapsed CPU time: 4.52431 s Remaining CPU time: 1795.48 s 4.56/4.71 c core #819 4.56/4.71 c Core size: 3 Core Weight: 1 Total Weight: 819 4.56/4.71 c Elapsed CPU time: 4.53231 s Remaining CPU time: 1795.47 s 4.56/4.71 c core #820 4.56/4.71 c Core size: 3 Core Weight: 1 Total Weight: 820 4.56/4.71 c Elapsed CPU time: 4.54031 s Remaining CPU time: 1795.46 s 4.56/4.72 c core #821 4.56/4.72 c Core size: 3 Core Weight: 1 Total Weight: 821 4.56/4.72 c Elapsed CPU time: 4.54931 s Remaining CPU time: 1795.45 s 4.56/4.73 c core #822 4.56/4.73 c Core size: 3 Core Weight: 1 Total Weight: 822 4.56/4.73 c Elapsed CPU time: 4.55731 s Remaining CPU time: 1795.44 s 4.56/4.74 c core #823 4.56/4.74 c Core size: 7 Core Weight: 1 Total Weight: 823 4.56/4.74 c Elapsed CPU time: 4.56531 s Remaining CPU time: 1795.43 s 4.56/4.75 c core #824 4.56/4.75 c Core size: 7 Core Weight: 1 Total Weight: 824 4.56/4.75 c Elapsed CPU time: 4.5733 s Remaining CPU time: 1795.43 s 4.56/4.76 c core #825 4.56/4.76 c Core size: 7 Core Weight: 1 Total Weight: 825 4.56/4.76 c Elapsed CPU time: 4.5813 s Remaining CPU time: 1795.42 s 4.56/4.76 c core #826 4.56/4.76 c Core size: 7 Core Weight: 1 Total Weight: 826 4.56/4.76 c Elapsed CPU time: 4.5903 s Remaining CPU time: 1795.41 s 4.56/4.77 c core #827 4.56/4.77 c Core size: 7 Core Weight: 1 Total Weight: 827 4.56/4.77 c Elapsed CPU time: 4.5983 s Remaining CPU time: 1795.4 s 4.56/4.78 c core #828 4.56/4.78 c Core size: 7 Core Weight: 1 Total Weight: 828 4.56/4.78 c Elapsed CPU time: 4.6063 s Remaining CPU time: 1795.39 s 4.56/4.79 c core #829 4.56/4.79 c Core size: 7 Core Weight: 1 Total Weight: 829 4.56/4.79 c Elapsed CPU time: 4.6143 s Remaining CPU time: 1795.39 s 4.66/4.80 c core #830 4.66/4.80 c Core size: 7 Core Weight: 1 Total Weight: 830 4.66/4.80 c Elapsed CPU time: 4.6233 s Remaining CPU time: 1795.38 s 4.66/4.81 c core #831 4.66/4.81 c Core size: 7 Core Weight: 1 Total Weight: 831 4.66/4.81 c Elapsed CPU time: 4.63129 s Remaining CPU time: 1795.37 s 4.66/4.82 c core #832 4.66/4.82 c Core size: 7 Core Weight: 1 Total Weight: 832 4.66/4.82 c Elapsed CPU time: 4.63929 s Remaining CPU time: 1795.36 s 4.66/4.83 c core #833 4.66/4.83 c Core size: 7 Core Weight: 1 Total Weight: 833 4.66/4.83 c Elapsed CPU time: 4.64829 s Remaining CPU time: 1795.35 s 4.66/4.84 c core #834 4.66/4.84 c Core size: 7 Core Weight: 1 Total Weight: 834 4.66/4.84 c Elapsed CPU time: 4.65729 s Remaining CPU time: 1795.34 s 4.66/4.84 c core #835 4.66/4.84 c Core size: 7 Core Weight: 1 Total Weight: 835 4.66/4.84 c Elapsed CPU time: 4.66529 s Remaining CPU time: 1795.33 s 4.66/4.85 c core #836 4.66/4.85 c Core size: 7 Core Weight: 1 Total Weight: 836 4.66/4.85 c Elapsed CPU time: 4.67329 s Remaining CPU time: 1795.33 s 4.66/4.86 c core #837 4.66/4.86 c Core size: 7 Core Weight: 1 Total Weight: 837 4.66/4.86 c Elapsed CPU time: 4.68129 s Remaining CPU time: 1795.32 s 4.66/4.87 c core #838 4.66/4.87 c Core size: 7 Core Weight: 1 Total Weight: 838 4.66/4.87 c Elapsed CPU time: 4.68929 s Remaining CPU time: 1795.31 s 4.66/4.88 c core #839 4.66/4.88 c Core size: 7 Core Weight: 1 Total Weight: 839 4.66/4.88 c Elapsed CPU time: 4.69829 s Remaining CPU time: 1795.3 s 4.66/4.89 c core #840 4.66/4.89 c Core size: 7 Core Weight: 1 Total Weight: 840 4.66/4.89 c Elapsed CPU time: 4.70728 s Remaining CPU time: 1795.29 s 4.66/4.90 c core #841 4.66/4.90 c Core size: 7 Core Weight: 1 Total Weight: 841 4.66/4.90 c Elapsed CPU time: 4.71628 s Remaining CPU time: 1795.28 s 4.75/4.90 c core #842 4.75/4.90 c Core size: 11 Core Weight: 1 Total Weight: 842 4.75/4.90 c Elapsed CPU time: 4.72428 s Remaining CPU time: 1795.28 s 4.75/4.91 c core #843 4.75/4.91 c Core size: 7 Core Weight: 1 Total Weight: 843 4.75/4.91 c Elapsed CPU time: 4.73328 s Remaining CPU time: 1795.27 s 4.75/4.92 c core #844 4.75/4.92 c Core size: 7 Core Weight: 1 Total Weight: 844 4.75/4.92 c Elapsed CPU time: 4.74228 s Remaining CPU time: 1795.26 s 4.75/4.93 c core #845 4.75/4.93 c Core size: 7 Core Weight: 1 Total Weight: 845 4.75/4.93 c Elapsed CPU time: 4.75128 s Remaining CPU time: 1795.25 s 4.75/4.94 c core #846 4.75/4.94 c Core size: 7 Core Weight: 1 Total Weight: 846 4.75/4.94 c Elapsed CPU time: 4.76028 s Remaining CPU time: 1795.24 s 4.75/4.95 c core #847 4.75/4.95 c Core size: 7 Core Weight: 1 Total Weight: 847 4.75/4.95 c Elapsed CPU time: 4.76828 s Remaining CPU time: 1795.23 s 4.75/4.96 c core #848 4.75/4.96 c Core size: 7 Core Weight: 1 Total Weight: 848 4.75/4.96 c Elapsed CPU time: 4.77727 s Remaining CPU time: 1795.22 s 4.75/4.97 c core #849 4.75/4.97 c Core size: 11 Core Weight: 1 Total Weight: 849 4.75/4.97 c Elapsed CPU time: 4.78627 s Remaining CPU time: 1795.21 s 4.75/4.97 c core #850 4.75/4.97 c Core size: 7 Core Weight: 1 Total Weight: 850 4.75/4.97 c Elapsed CPU time: 4.79427 s Remaining CPU time: 1795.21 s 4.75/4.98 c core #851 4.75/4.98 c Core size: 7 Core Weight: 1 Total Weight: 851 4.75/4.98 c Elapsed CPU time: 4.80327 s Remaining CPU time: 1795.2 s 4.75/4.99 c core #852 4.75/4.99 c Core size: 7 Core Weight: 1 Total Weight: 852 4.75/4.99 c Elapsed CPU time: 4.81227 s Remaining CPU time: 1795.19 s 4.85/5.00 c core #853 4.85/5.00 c Core size: 7 Core Weight: 1 Total Weight: 853 4.85/5.00 c Elapsed CPU time: 4.82127 s Remaining CPU time: 1795.18 s 4.85/5.01 c core #854 4.85/5.01 c Core size: 7 Core Weight: 1 Total Weight: 854 4.85/5.01 c Elapsed CPU time: 4.82927 s Remaining CPU time: 1795.17 s 4.85/5.02 c core #855 4.85/5.02 c Core size: 11 Core Weight: 1 Total Weight: 855 4.85/5.02 c Elapsed CPU time: 4.83626 s Remaining CPU time: 1795.16 s 4.85/5.03 c core #856 4.85/5.03 c Core size: 7 Core Weight: 1 Total Weight: 856 4.85/5.03 c Elapsed CPU time: 4.84426 s Remaining CPU time: 1795.16 s 4.85/5.04 c core #857 4.85/5.04 c Core size: 11 Core Weight: 1 Total Weight: 857 4.85/5.04 c Elapsed CPU time: 4.85326 s Remaining CPU time: 1795.15 s 4.85/5.05 c core #858 4.85/5.05 c Core size: 11 Core Weight: 1 Total Weight: 858 4.85/5.05 c Elapsed CPU time: 4.86226 s Remaining CPU time: 1795.14 s 4.85/5.06 c core #859 4.85/5.06 c Core size: 7 Core Weight: 1 Total Weight: 859 4.85/5.06 c Elapsed CPU time: 4.87126 s Remaining CPU time: 1795.13 s 4.85/5.06 c core #860 4.85/5.06 c Core size: 7 Core Weight: 1 Total Weight: 860 4.85/5.06 c Elapsed CPU time: 4.88026 s Remaining CPU time: 1795.12 s 4.85/5.07 c core #861 4.85/5.07 c Core size: 11 Core Weight: 1 Total Weight: 861 4.85/5.07 c Elapsed CPU time: 4.88826 s Remaining CPU time: 1795.11 s 4.85/5.08 c core #862 4.85/5.08 c Core size: 7 Core Weight: 1 Total Weight: 862 4.85/5.08 c Elapsed CPU time: 4.89626 s Remaining CPU time: 1795.1 s 4.85/5.09 c core #863 4.85/5.09 c Core size: 11 Core Weight: 1 Total Weight: 863 4.85/5.09 c Elapsed CPU time: 4.90625 s Remaining CPU time: 1795.09 s 4.95/5.10 c core #864 4.95/5.10 c Core size: 11 Core Weight: 1 Total Weight: 864 4.95/5.10 c Elapsed CPU time: 4.91525 s Remaining CPU time: 1795.08 s 4.95/5.11 c core #865 4.95/5.11 c Core size: 7 Core Weight: 1 Total Weight: 865 4.95/5.11 c Elapsed CPU time: 4.92425 s Remaining CPU time: 1795.08 s 4.95/5.12 c core #866 4.95/5.12 c Core size: 11 Core Weight: 1 Total Weight: 866 4.95/5.12 c Elapsed CPU time: 4.93425 s Remaining CPU time: 1795.07 s 4.95/5.13 c core #867 4.95/5.13 c Core size: 11 Core Weight: 1 Total Weight: 867 4.95/5.13 c Elapsed CPU time: 4.94225 s Remaining CPU time: 1795.06 s 4.95/5.14 c core #868 4.95/5.14 c Core size: 7 Core Weight: 1 Total Weight: 868 4.95/5.14 c Elapsed CPU time: 4.95125 s Remaining CPU time: 1795.05 s 4.95/5.15 c core #869 4.95/5.15 c Core size: 7 Core Weight: 1 Total Weight: 869 4.95/5.15 c Elapsed CPU time: 4.95925 s Remaining CPU time: 1795.04 s 4.95/5.16 c core #870 4.95/5.16 c Core size: 7 Core Weight: 1 Total Weight: 870 4.95/5.16 c Elapsed CPU time: 4.96824 s Remaining CPU time: 1795.03 s 4.95/5.17 c core #871 4.95/5.17 c Core size: 11 Core Weight: 1 Total Weight: 871 4.95/5.17 c Elapsed CPU time: 4.97824 s Remaining CPU time: 1795.02 s 4.95/5.18 c core #872 4.95/5.18 c Core size: 7 Core Weight: 1 Total Weight: 872 4.95/5.18 c Elapsed CPU time: 4.98724 s Remaining CPU time: 1795.01 s 4.95/5.18 c core #873 4.95/5.18 c Core size: 7 Core Weight: 1 Total Weight: 873 4.95/5.18 c Elapsed CPU time: 4.99624 s Remaining CPU time: 1795 s 4.95/5.19 c core #874 4.95/5.19 c Core size: 7 Core Weight: 1 Total Weight: 874 4.95/5.19 c Elapsed CPU time: 5.00624 s Remaining CPU time: 1794.99 s 5.04/5.20 c core #875 5.04/5.20 c Core size: 7 Core Weight: 1 Total Weight: 875 5.04/5.20 c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s 5.04/5.21 c core #876 5.04/5.21 c Core size: 7 Core Weight: 1 Total Weight: 876 5.04/5.21 c Elapsed CPU time: 5.02524 s Remaining CPU time: 1794.97 s 5.04/5.22 c core #877 5.04/5.22 c Core size: 11 Core Weight: 1 Total Weight: 877 5.04/5.22 c Elapsed CPU time: 5.03423 s Remaining CPU time: 1794.97 s 5.04/5.23 c core #878 5.04/5.23 c Core size: 11 Core Weight: 1 Total Weight: 878 5.04/5.23 c Elapsed CPU time: 5.04323 s Remaining CPU time: 1794.96 s 5.04/5.24 c core #879 5.04/5.24 c Core size: 7 Core Weight: 1 Total Weight: 879 5.04/5.24 c Elapsed CPU time: 5.05223 s Remaining CPU time: 1794.95 s 5.04/5.25 c core #880 5.04/5.25 c Core size: 15 Core Weight: 1 Total Weight: 880 5.04/5.25 c Elapsed CPU time: 5.06123 s Remaining CPU time: 1794.94 s 5.04/5.26 c core #881 5.04/5.26 c Core size: 7 Core Weight: 1 Total Weight: 881 5.04/5.26 c Elapsed CPU time: 5.07023 s Remaining CPU time: 1794.93 s 5.04/5.27 c core #882 5.04/5.27 c Core size: 11 Core Weight: 1 Total Weight: 882 5.04/5.27 c Elapsed CPU time: 5.07923 s Remaining CPU time: 1794.92 s 5.04/5.28 c core #883 5.04/5.28 c Core size: 11 Core Weight: 1 Total Weight: 883 5.04/5.28 c Elapsed CPU time: 5.08923 s Remaining CPU time: 1794.91 s 5.04/5.29 c core #884 5.04/5.29 c Core size: 11 Core Weight: 1 Total Weight: 884 5.04/5.29 c Elapsed CPU time: 5.09822 s Remaining CPU time: 1794.9 s 5.15/5.30 c core #885 5.15/5.30 c Core size: 7 Core Weight: 1 Total Weight: 885 5.15/5.30 c Elapsed CPU time: 5.10722 s Remaining CPU time: 1794.89 s 5.15/5.31 c core #886 5.15/5.31 c Core size: 11 Core Weight: 1 Total Weight: 886 5.15/5.31 c Elapsed CPU time: 5.11622 s Remaining CPU time: 1794.88 s 5.15/5.32 c core #887 5.15/5.32 c Core size: 11 Core Weight: 1 Total Weight: 887 5.15/5.32 c Elapsed CPU time: 5.12522 s Remaining CPU time: 1794.87 s 5.15/5.33 c core #888 5.15/5.33 c Core size: 7 Core Weight: 1 Total Weight: 888 5.15/5.33 c Elapsed CPU time: 5.13522 s Remaining CPU time: 1794.86 s 5.15/5.34 c core #889 5.15/5.34 c Core size: 7 Core Weight: 1 Total Weight: 889 5.15/5.34 c Elapsed CPU time: 5.14422 s Remaining CPU time: 1794.86 s 5.15/5.35 c core #890 5.15/5.35 c Core size: 11 Core Weight: 1 Total Weight: 890 5.15/5.35 c Elapsed CPU time: 5.15222 s Remaining CPU time: 1794.85 s 5.15/5.36 c core #891 5.15/5.36 c Core size: 7 Core Weight: 1 Total Weight: 891 5.15/5.36 c Elapsed CPU time: 5.16221 s Remaining CPU time: 1794.84 s 5.15/5.37 c core #892 5.15/5.37 c Core size: 7 Core Weight: 1 Total Weight: 892 5.15/5.37 c Elapsed CPU time: 5.17221 s Remaining CPU time: 1794.83 s 5.15/5.38 c core #893 5.15/5.38 c Core size: 15 Core Weight: 1 Total Weight: 893 5.15/5.38 c Elapsed CPU time: 5.18221 s Remaining CPU time: 1794.82 s 5.15/5.39 c core #894 5.15/5.39 c Core size: 7 Core Weight: 1 Total Weight: 894 5.15/5.39 c Elapsed CPU time: 5.19121 s Remaining CPU time: 1794.81 s 5.15/5.40 c core #895 5.15/5.40 c Core size: 7 Core Weight: 1 Total Weight: 895 5.15/5.40 c Elapsed CPU time: 5.20121 s Remaining CPU time: 1794.8 s 5.25/5.41 c core #896 5.25/5.41 c Core size: 7 Core Weight: 1 Total Weight: 896 5.25/5.41 c Elapsed CPU time: 5.21221 s Remaining CPU time: 1794.79 s 5.25/5.42 c core #897 5.25/5.42 c Core size: 15 Core Weight: 1 Total Weight: 897 5.25/5.42 c Elapsed CPU time: 5.22121 s Remaining CPU time: 1794.78 s 5.25/5.43 c core #898 5.25/5.43 c Core size: 23 Core Weight: 1 Total Weight: 898 5.25/5.43 c Elapsed CPU time: 5.2302 s Remaining CPU time: 1794.77 s 5.25/5.44 c core #899 5.25/5.44 c Core size: 11 Core Weight: 1 Total Weight: 899 5.25/5.44 c Elapsed CPU time: 5.2402 s Remaining CPU time: 1794.76 s 5.25/5.45 c core #900 5.25/5.45 c Core size: 15 Core Weight: 1 Total Weight: 900 5.25/5.45 c Elapsed CPU time: 5.2502 s Remaining CPU time: 1794.75 s 5.25/5.46 c core #901 5.25/5.46 c Core size: 11 Core Weight: 1 Total Weight: 901 5.25/5.46 c Elapsed CPU time: 5.2602 s Remaining CPU time: 1794.74 s 5.25/5.47 c core #902 5.25/5.47 c Core size: 7 Core Weight: 1 Total Weight: 902 5.25/5.47 c Elapsed CPU time: 5.2692 s Remaining CPU time: 1794.73 s 5.25/5.48 c core #903 5.25/5.48 c Core size: 7 Core Weight: 1 Total Weight: 903 5.25/5.48 c Elapsed CPU time: 5.2782 s Remaining CPU time: 1794.72 s 5.25/5.49 c core #904 5.25/5.49 c Core size: 11 Core Weight: 1 Total Weight: 904 5.25/5.49 c Elapsed CPU time: 5.2882 s Remaining CPU time: 1794.71 s 5.25/5.50 c core #905 5.25/5.50 c Core size: 7 Core Weight: 1 Total Weight: 905 5.25/5.50 c Elapsed CPU time: 5.29719 s Remaining CPU time: 1794.7 s 5.34/5.51 c core #906 5.34/5.51 c Core size: 15 Core Weight: 1 Total Weight: 906 5.34/5.51 c Elapsed CPU time: 5.30719 s Remaining CPU time: 1794.69 s 5.34/5.52 c core #907 5.34/5.52 c Core size: 11 Core Weight: 1 Total Weight: 907 5.34/5.52 c Elapsed CPU time: 5.31719 s Remaining CPU time: 1794.68 s 5.34/5.53 c core #908 5.34/5.53 c Core size: 15 Core Weight: 1 Total Weight: 908 5.34/5.53 c Elapsed CPU time: 5.32719 s Remaining CPU time: 1794.67 s 5.34/5.54 c core #909 5.34/5.54 c Core size: 11 Core Weight: 1 Total Weight: 909 5.34/5.54 c Elapsed CPU time: 5.33719 s Remaining CPU time: 1794.66 s 5.34/5.55 c core #910 5.34/5.55 c Core size: 11 Core Weight: 1 Total Weight: 910 5.34/5.55 c Elapsed CPU time: 5.34719 s Remaining CPU time: 1794.65 s 5.34/5.56 c core #911 5.34/5.56 c Core size: 7 Core Weight: 1 Total Weight: 911 5.34/5.56 c Elapsed CPU time: 5.35618 s Remaining CPU time: 1794.64 s 5.34/5.57 c core #912 5.34/5.57 c Core size: 15 Core Weight: 1 Total Weight: 912 5.34/5.57 c Elapsed CPU time: 5.36618 s Remaining CPU time: 1794.63 s 5.34/5.58 c core #913 5.34/5.58 c Core size: 7 Core Weight: 1 Total Weight: 913 5.34/5.58 c Elapsed CPU time: 5.37618 s Remaining CPU time: 1794.62 s 5.34/5.59 c core #914 5.34/5.59 c Core size: 23 Core Weight: 1 Total Weight: 914 5.34/5.59 c Elapsed CPU time: 5.38618 s Remaining CPU time: 1794.61 s 5.44/5.60 c core #915 5.44/5.60 c Core size: 7 Core Weight: 1 Total Weight: 915 5.44/5.60 c Elapsed CPU time: 5.39718 s Remaining CPU time: 1794.6 s 5.44/5.61 c core #916 5.44/5.61 c Core size: 15 Core Weight: 1 Total Weight: 916 5.44/5.61 c Elapsed CPU time: 5.40718 s Remaining CPU time: 1794.59 s 5.44/5.62 c core #917 5.44/5.62 c Core size: 7 Core Weight: 1 Total Weight: 917 5.44/5.62 c Elapsed CPU time: 5.41618 s Remaining CPU time: 1794.58 s 5.44/5.63 c core #918 5.44/5.63 c Core size: 7 Core Weight: 1 Total Weight: 918 5.44/5.63 c Elapsed CPU time: 5.42717 s Remaining CPU time: 1794.57 s 5.44/5.64 c core #919 5.44/5.64 c Core size: 15 Core Weight: 1 Total Weight: 919 5.44/5.64 c Elapsed CPU time: 5.43717 s Remaining CPU time: 1794.56 s 5.44/5.65 c core #920 5.44/5.65 c Core size: 11 Core Weight: 1 Total Weight: 920 5.44/5.65 c Elapsed CPU time: 5.44717 s Remaining CPU time: 1794.55 s 5.44/5.66 c core #921 5.44/5.66 c Core size: 35 Core Weight: 1 Total Weight: 921 5.44/5.66 c Elapsed CPU time: 5.45717 s Remaining CPU time: 1794.54 s 5.44/5.67 c core #922 5.44/5.67 c Core size: 15 Core Weight: 1 Total Weight: 922 5.44/5.67 c Elapsed CPU time: 5.46717 s Remaining CPU time: 1794.53 s 5.44/5.69 c core #923 5.44/5.69 c Core size: 11 Core Weight: 1 Total Weight: 923 5.44/5.69 c Elapsed CPU time: 5.47717 s Remaining CPU time: 1794.52 s 5.44/5.70 c core #924 5.44/5.70 c Core size: 7 Core Weight: 1 Total Weight: 924 5.44/5.70 c Elapsed CPU time: 5.48717 s Remaining CPU time: 1794.51 s 5.53/5.71 c core #925 5.53/5.71 c Core size: 11 Core Weight: 1 Total Weight: 925 5.53/5.71 c Elapsed CPU time: 5.49616 s Remaining CPU time: 1794.5 s 5.53/5.72 c core #926 5.53/5.72 c Core size: 19 Core Weight: 1 Total Weight: 926 5.53/5.72 c Elapsed CPU time: 5.50616 s Remaining CPU time: 1794.49 s 5.53/5.73 c core #927 5.53/5.73 c Core size: 35 Core Weight: 1 Total Weight: 927 5.53/5.73 c Elapsed CPU time: 5.51616 s Remaining CPU time: 1794.48 s 5.53/5.74 c core #928 5.53/5.74 c Core size: 15 Core Weight: 1 Total Weight: 928 5.53/5.74 c Elapsed CPU time: 5.52616 s Remaining CPU time: 1794.47 s 5.53/5.75 c core #929 5.53/5.75 c Core size: 7 Core Weight: 1 Total Weight: 929 5.53/5.75 c Elapsed CPU time: 5.53716 s Remaining CPU time: 1794.46 s 5.53/5.76 c core #930 5.53/5.76 c Core size: 7 Core Weight: 1 Total Weight: 930 5.53/5.76 c Elapsed CPU time: 5.54716 s Remaining CPU time: 1794.45 s 5.53/5.77 c core #931 5.53/5.77 c Core size: 15 Core Weight: 1 Total Weight: 931 5.53/5.77 c Elapsed CPU time: 5.55816 s Remaining CPU time: 1794.44 s 5.53/5.78 c core #932 5.53/5.78 c Core size: 15 Core Weight: 1 Total Weight: 932 5.53/5.78 c Elapsed CPU time: 5.56815 s Remaining CPU time: 1794.43 s 5.53/5.79 c core #933 5.53/5.79 c Core size: 15 Core Weight: 1 Total Weight: 933 5.53/5.79 c Elapsed CPU time: 5.57915 s Remaining CPU time: 1794.42 s 5.63/5.80 c core #934 5.63/5.80 c Core size: 11 Core Weight: 1 Total Weight: 934 5.63/5.80 c Elapsed CPU time: 5.58915 s Remaining CPU time: 1794.41 s 5.63/5.81 c core #935 5.63/5.81 c Core size: 35 Core Weight: 1 Total Weight: 935 5.63/5.81 c Elapsed CPU time: 5.60015 s Remaining CPU time: 1794.4 s 5.63/5.82 c core #936 5.63/5.82 c Core size: 7 Core Weight: 1 Total Weight: 936 5.63/5.82 c Elapsed CPU time: 5.61015 s Remaining CPU time: 1794.39 s 5.63/5.83 c core #937 5.63/5.83 c Core size: 19 Core Weight: 1 Total Weight: 937 5.63/5.83 c Elapsed CPU time: 5.62115 s Remaining CPU time: 1794.38 s 5.63/5.84 c core #938 5.63/5.84 c Core size: 7 Core Weight: 1 Total Weight: 938 5.63/5.84 c Elapsed CPU time: 5.63214 s Remaining CPU time: 1794.37 s 5.63/5.85 c core #939 5.63/5.85 c Core size: 19 Core Weight: 1 Total Weight: 939 5.63/5.85 c Elapsed CPU time: 5.64214 s Remaining CPU time: 1794.36 s 5.63/5.87 c core #940 5.63/5.87 c Core size: 15 Core Weight: 1 Total Weight: 940 5.63/5.87 c Elapsed CPU time: 5.65214 s Remaining CPU time: 1794.35 s 5.63/5.88 c core #941 5.63/5.88 c Core size: 27 Core Weight: 1 Total Weight: 941 5.63/5.88 c Elapsed CPU time: 5.66314 s Remaining CPU time: 1794.34 s 5.63/5.89 c core #942 5.63/5.89 c Core size: 15 Core Weight: 1 Total Weight: 942 5.63/5.89 c Elapsed CPU time: 5.67414 s Remaining CPU time: 1794.33 s 5.73/5.90 c core #943 5.73/5.90 c Core size: 15 Core Weight: 1 Total Weight: 943 5.73/5.90 c Elapsed CPU time: 5.68513 s Remaining CPU time: 1794.31 s 5.73/5.91 c core #944 5.73/5.91 c Core size: 15 Core Weight: 1 Total Weight: 944 5.73/5.91 c Elapsed CPU time: 5.69613 s Remaining CPU time: 1794.3 s 5.73/5.92 c core #945 5.73/5.92 c Core size: 15 Core Weight: 1 Total Weight: 945 5.73/5.92 c Elapsed CPU time: 5.70613 s Remaining CPU time: 1794.29 s 5.73/5.93 c core #946 5.73/5.93 c Core size: 19 Core Weight: 1 Total Weight: 946 5.73/5.93 c Elapsed CPU time: 5.71613 s Remaining CPU time: 1794.28 s 5.73/5.94 c core #947 5.73/5.94 c Core size: 27 Core Weight: 1 Total Weight: 947 5.73/5.94 c Elapsed CPU time: 5.72713 s Remaining CPU time: 1794.27 s 5.73/5.95 c core #948 5.73/5.95 c Core size: 23 Core Weight: 1 Total Weight: 948 5.73/5.95 c Elapsed CPU time: 5.73813 s Remaining CPU time: 1794.26 s 5.73/5.96 c core #949 5.73/5.96 c Core size: 7 Core Weight: 1 Total Weight: 949 5.73/5.96 c Elapsed CPU time: 5.74813 s Remaining CPU time: 1794.25 s 5.73/5.97 c core #950 5.73/5.97 c Core size: 11 Core Weight: 1 Total Weight: 950 5.73/5.97 c Elapsed CPU time: 5.75912 s Remaining CPU time: 1794.24 s 5.73/5.99 c core #951 5.73/5.99 c Core size: 47 Core Weight: 1 Total Weight: 951 5.73/5.99 c Elapsed CPU time: 5.77012 s Remaining CPU time: 1794.23 s 5.84/6.00 c core #952 5.84/6.00 c Core size: 11 Core Weight: 1 Total Weight: 952 5.84/6.00 c Elapsed CPU time: 5.78212 s Remaining CPU time: 1794.22 s 5.84/6.01 c core #953 5.84/6.01 c Core size: 23 Core Weight: 1 Total Weight: 953 5.84/6.01 c Elapsed CPU time: 5.79312 s Remaining CPU time: 1794.21 s 5.84/6.02 c core #954 5.84/6.02 c Core size: 19 Core Weight: 1 Total Weight: 954 5.84/6.02 c Elapsed CPU time: 5.80412 s Remaining CPU time: 1794.2 s 5.84/6.03 c core #955 5.84/6.03 c Core size: 7 Core Weight: 1 Total Weight: 955 5.84/6.03 c Elapsed CPU time: 5.81412 s Remaining CPU time: 1794.19 s 5.84/6.04 c core #956 5.84/6.04 c Core size: 35 Core Weight: 1 Total Weight: 956 5.84/6.04 c Elapsed CPU time: 5.82511 s Remaining CPU time: 1794.17 s 5.84/6.06 c core #957 5.84/6.06 c Core size: 67 Core Weight: 1 Total Weight: 957 5.84/6.06 c Elapsed CPU time: 5.83611 s Remaining CPU time: 1794.16 s 5.84/6.07 c core #958 5.84/6.07 c Core size: 15 Core Weight: 1 Total Weight: 958 5.84/6.07 c Elapsed CPU time: 5.84711 s Remaining CPU time: 1794.15 s 5.84/6.08 c core #959 5.84/6.08 c Core size: 39 Core Weight: 1 Total Weight: 959 5.84/6.08 c Elapsed CPU time: 5.85711 s Remaining CPU time: 1794.14 s 5.84/6.09 c core #960 5.84/6.09 c Core size: 42 Core Weight: 1 Total Weight: 960 5.84/6.09 c Elapsed CPU time: 5.86811 s Remaining CPU time: 1794.13 s 5.93/6.10 c core #961 5.93/6.10 c Core size: 27 Core Weight: 1 Total Weight: 961 5.93/6.10 c Elapsed CPU time: 5.87911 s Remaining CPU time: 1794.12 s 5.93/6.11 c core #962 5.93/6.11 c Core size: 63 Core Weight: 1 Total Weight: 962 5.93/6.11 c Elapsed CPU time: 5.8901 s Remaining CPU time: 1794.11 s 5.93/6.12 c core #963 5.93/6.12 c Core size: 35 Core Weight: 1 Total Weight: 963 5.93/6.12 c Elapsed CPU time: 5.9021 s Remaining CPU time: 1794.1 s 5.93/6.13 c core #964 5.93/6.13 c Core size: 27 Core Weight: 1 Total Weight: 964 5.93/6.13 c Elapsed CPU time: 5.9141 s Remaining CPU time: 1794.09 s 5.93/6.15 c core #965 5.93/6.15 c Core size: 27 Core Weight: 1 Total Weight: 965 5.93/6.15 c Elapsed CPU time: 5.9251 s Remaining CPU time: 1794.07 s 5.93/6.16 c core #966 5.93/6.16 c Core size: 39 Core Weight: 1 Total Weight: 966 5.93/6.16 c Elapsed CPU time: 5.9371 s Remaining CPU time: 1794.06 s 5.93/6.17 c core #967 5.93/6.17 c Core size: 139 Core Weight: 1 Total Weight: 967 5.93/6.17 c Elapsed CPU time: 5.9481 s Remaining CPU time: 1794.05 s 5.93/6.18 c core #968 5.93/6.18 c Core size: 31 Core Weight: 1 Total Weight: 968 5.93/6.18 c Elapsed CPU time: 5.95909 s Remaining CPU time: 1794.04 s 5.93/6.19 c core #969 5.93/6.19 c Core size: 15 Core Weight: 1 Total Weight: 969 5.93/6.19 c Elapsed CPU time: 5.97009 s Remaining CPU time: 1794.03 s 6.03/6.20 c core #970 6.03/6.20 c Core size: 90 Core Weight: 1 Total Weight: 970 6.03/6.20 c Elapsed CPU time: 5.98209 s Remaining CPU time: 1794.02 s 6.03/6.22 c core #971 6.03/6.22 c Core size: 70 Core Weight: 1 Total Weight: 971 6.03/6.22 c Elapsed CPU time: 5.99309 s Remaining CPU time: 1794.01 s 6.03/6.23 c core #972 6.03/6.23 c Core size: 46 Core Weight: 1 Total Weight: 972 6.03/6.23 c Elapsed CPU time: 6.00509 s Remaining CPU time: 1793.99 s 6.03/6.24 c ============================[ Search Statistics ]============================== 6.03/6.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.24 c =============================================================================== 6.03/6.24 c | 0 | 4746 6936 15579 | 5000 0 nan | 0.000 % | 6.03/6.24 c =============================================================================== 6.03/6.24 c core #973 6.03/6.24 c Core size: 65 Core Weight: 1 Total Weight: 973 6.03/6.24 c Elapsed CPU time: 6.01809 s Remaining CPU time: 1793.98 s 6.03/6.25 c ============================[ Search Statistics ]============================== 6.03/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.25 c =============================================================================== 6.03/6.25 c | 0 | 4778 6937 15643 | 5000 0 nan | 0.000 % | 6.03/6.25 c =============================================================================== 6.03/6.25 c core #974 6.03/6.25 c Core size: 70 Core Weight: 1 Total Weight: 974 6.03/6.25 c Elapsed CPU time: 6.03008 s Remaining CPU time: 1793.97 s 6.03/6.26 c ============================[ Search Statistics ]============================== 6.03/6.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.27 c =============================================================================== 6.03/6.27 c | 0 | 4814 6938 15720 | 5000 0 nan | 0.000 % | 6.03/6.27 c =============================================================================== 6.03/6.27 c core #975 6.03/6.27 c Core size: 199 Core Weight: 1 Total Weight: 975 6.03/6.27 c Elapsed CPU time: 6.04408 s Remaining CPU time: 1793.96 s 6.03/6.28 c ============================[ Search Statistics ]============================== 6.03/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.28 c =============================================================================== 6.03/6.28 c | 0 | 4930 6939 15924 | 5000 0 nan | 0.000 % | 6.03/6.28 c =============================================================================== 6.03/6.28 c core #976 6.03/6.28 c Core size: 84 Core Weight: 1 Total Weight: 976 6.03/6.28 c Elapsed CPU time: 6.05808 s Remaining CPU time: 1793.94 s 6.03/6.29 c ============================[ Search Statistics ]============================== 6.03/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.29 c =============================================================================== 6.03/6.29 c | 0 | 4971 6940 16006 | 5000 0 nan | 0.000 % | 6.13/6.30 c =============================================================================== 6.13/6.30 c core #977 6.13/6.30 c Core size: 53 Core Weight: 1 Total Weight: 977 6.13/6.30 c Elapsed CPU time: 6.07308 s Remaining CPU time: 1793.93 s 6.13/6.31 c ============================[ Search Statistics ]============================== 6.13/6.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.13/6.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.13/6.31 c =============================================================================== 6.13/6.31 c | 0 | 4998 6941 16061 | 5000 0 nan | 0.000 % | 6.13/6.31 c =============================================================================== 6.13/6.31 c core #978 6.13/6.31 c Core size: 143 Core Weight: 1 Total Weight: 978 6.13/6.31 c Elapsed CPU time: 6.08807 s Remaining CPU time: 1793.91 s 6.13/6.32 c ============================[ Search Statistics ]============================== 6.13/6.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.13/6.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.13/6.32 c =============================================================================== 6.13/6.32 c | 0 | 5068 6942 16201 | 5000 0 nan | 0.000 % | 6.13/6.33 c | 102 | 5052 6942 16201 | 5500 102 4 | 3.722 % | 6.13/6.34 c =============================================================================== 6.13/6.34 c core #979 6.13/6.34 c Core size: 309 Core Weight: 1 Total Weight: 979 6.13/6.34 c Elapsed CPU time: 6.11007 s Remaining CPU time: 1793.89 s 6.13/6.35 c ============================[ Search Statistics ]============================== 6.13/6.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.13/6.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.13/6.35 c =============================================================================== 6.13/6.35 c | 0 | 5224 6943 16513 | 5000 0 nan | 0.000 % | 6.13/6.36 c | 100 | 5161 6943 16513 | 5500 92 5 | 2.235 % | 6.13/6.37 c | 250 | 5160 6943 16513 | 6050 242 7 | 2.254 % | 6.13/6.37 c =============================================================================== 6.13/6.37 c core #980 6.13/6.37 c Core size: 522 Core Weight: 1 Total Weight: 980 6.13/6.37 c Elapsed CPU time: 6.14506 s Remaining CPU time: 1793.85 s 6.13/6.39 c ============================[ Search Statistics ]============================== 6.13/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.13/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.13/6.39 c =============================================================================== 6.13/6.39 c | 0 | 5489 6944 17036 | 5000 0 nan | 0.000 % | 6.22/6.40 c | 101 | 5488 6944 17036 | 5500 101 7 | 0.688 % | 6.22/6.42 c | 252 | 5488 6944 17036 | 6050 249 10 | 0.688 % | 6.22/6.42 c =============================================================================== 6.22/6.42 c core #981 6.22/6.42 c Core size: 154 Core Weight: 1 Total Weight: 981 6.22/6.42 c Elapsed CPU time: 6.19106 s Remaining CPU time: 1793.81 s 6.22/6.43 c ============================[ Search Statistics ]============================== 6.22/6.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.22/6.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.22/6.43 c =============================================================================== 6.22/6.43 c | 0 | 5573 6945 17189 | 5000 0 nan | 0.000 % | 6.22/6.44 c | 101 | 5573 6945 17189 | 5500 101 16 | 0.482 % | 6.22/6.45 c | 251 | 5573 6945 17189 | 6050 251 14 | 0.482 % | 6.22/6.47 c | 479 | 5572 6945 17189 | 6655 438 16 | 0.500 % | 6.22/6.48 c =============================================================================== 6.22/6.49 c core #982 6.22/6.49 c Core size: 280 Core Weight: 1 Total Weight: 982 6.22/6.49 c Elapsed CPU time: 6.25305 s Remaining CPU time: 1793.75 s 6.33/6.51 c ============================[ Search Statistics ]============================== 6.33/6.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.33/6.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.33/6.51 c =============================================================================== 6.33/6.51 c | 0 | 5701 6946 17445 | 5000 0 nan | 0.000 % | 6.33/6.51 c =============================================================================== 6.33/6.52 c core #983 6.33/6.52 c Core size: 181 Core Weight: 1 Total Weight: 983 6.33/6.52 c Elapsed CPU time: 6.27305 s Remaining CPU time: 1793.73 s 6.33/6.53 c ============================[ Search Statistics ]============================== 6.33/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.33/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.33/6.53 c =============================================================================== 6.33/6.53 c | 0 | 5788 6947 17619 | 5000 0 nan | 0.000 % | 6.33/6.54 c | 100 | 5788 6947 17619 | 5500 100 9 | 0.464 % | 6.33/6.56 c | 250 | 5788 6947 17619 | 6050 250 19 | 0.464 % | 6.33/6.57 c | 476 | 5788 6947 17619 | 6655 476 18 | 0.464 % | 6.33/6.60 c | 813 | 5788 6947 17619 | 7320 813 17 | 0.464 % | 6.42/6.64 c | 1324 | 5788 6947 17619 | 8052 1324 21 | 0.464 % | 6.52/6.72 c | 2083 | 5787 6947 17619 | 8857 2081 20 | 0.482 % | 6.62/6.85 c | 3222 | 5787 6947 17619 | 9743 3220 23 | 0.482 % | 6.92/7.10 c | 4930 | 5786 6947 17619 | 10717 3011 20 | 0.499 % | 7.22/7.44 c | 7493 | 5786 6947 17619 | 11789 5574 26 | 0.499 % | 7.72/7.96 c =============================================================================== 7.72/7.97 c core #984 7.72/7.97 c Core size: 799 Core Weight: 1 Total Weight: 984 7.72/7.97 c Elapsed CPU time: 7.68083 s Remaining CPU time: 1792.32 s 7.72/7.99 c ============================[ Search Statistics ]============================== 7.72/7.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.72/7.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.72/7.99 c =============================================================================== 7.72/7.99 c | 0 | 6160 6948 18372 | 5000 0 nan | 0.000 % | 7.82/8.00 c | 100 | 6160 6948 18372 | 5500 100 9 | 0.404 % | 7.82/8.02 c | 250 | 6160 6948 18372 | 6050 250 10 | 0.404 % | 7.82/8.04 c | 476 | 6160 6948 18372 | 6655 476 10 | 0.404 % | 7.82/8.06 c | 815 | 6160 6948 18372 | 7320 815 12 | 0.404 % | 7.92/8.10 c | 1324 | 6160 6948 18372 | 8052 1324 17 | 0.404 % | 7.92/8.17 c | 2083 | 6160 6948 18372 | 8857 2083 21 | 0.404 % | 8.02/8.30 c | 3223 | 6158 6948 18372 | 9743 3222 20 | 0.453 % | 8.21/8.49 c | 4944 | 6155 6948 18372 | 10717 4943 24 | 0.598 % | 8.61/8.86 c | 7506 | 6148 6948 18372 | 11789 7502 26 | 0.598 % | 9.21/9.43 c =============================================================================== 9.31/9.50 c core #985 9.31/9.50 c Core size: 1189 Core Weight: 1 Total Weight: 985 9.31/9.50 c Elapsed CPU time: 9.17061 s Remaining CPU time: 1790.83 s 9.31/9.53 c ============================[ Search Statistics ]============================== 9.31/9.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.31/9.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.31/9.53 c =============================================================================== 9.31/9.53 c | 0 | 6685 6949 19423 | 5000 0 nan | 0.000 % | 9.31/9.54 c | 100 | 6685 6949 19423 | 5500 100 14 | 0.343 % | 9.31/9.56 c | 250 | 6685 6949 19423 | 6050 250 19 | 0.343 % | 9.31/9.59 c | 475 | 6685 6949 19423 | 6655 475 18 | 0.343 % | 9.40/9.64 c | 816 | 6685 6949 19423 | 7320 816 23 | 0.343 % | 9.40/9.69 c | 1322 | 6685 6949 19423 | 8052 1322 26 | 0.343 % | 9.51/9.76 c | 2081 | 6685 6949 19423 | 8857 2081 22 | 0.343 % | 9.71/9.94 c | 3223 | 6685 6949 19423 | 9743 3223 35 | 0.344 % | 9.90/10.16 c | 4931 | 6685 6949 19423 | 10717 4931 31 | 0.343 % | 10.30/10.55 c | 7494 | 6685 6949 19423 | 11789 7494 31 | 0.343 % | 10.99/11.29 c | 11338 | 6685 6949 19423 | 12968 11338 31 | 0.343 % | 12.39/12.63 c | 17105 | 6681 6949 19423 | 14265 10564 43 | 0.403 % | 15.47/15.70 c | 25755 | 6681 6949 19423 | 15692 11830 72 | 0.403 % | 20.24/20.51 c | 38733 | 6680 6949 19423 | 17261 8641 78 | 0.417 % | 25.80/26.17 c | 58199 | 6680 6949 19423 | 18987 10589 70 | 0.417 % | 36.52/36.96 c | 87391 | 6679 6949 19423 | 20886 10882 61 | 0.432 % | 44.58/45.07 c =============================================================================== 46.07/46.55 c core #986 46.07/46.55 c Core size: 1209 Core Weight: 1 Total Weight: 986 46.07/46.55 c Elapsed CPU time: 45.5651 s Remaining CPU time: 1754.43 s 46.17/46.67 c ============================[ Search Statistics ]============================== 46.17/46.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.17/46.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.17/46.67 c =============================================================================== 46.17/46.67 c | 0 | 7191 6950 20438 | 5000 0 nan | 0.000 % | 46.27/46.71 c | 100 | 7191 6950 20438 | 5500 100 14 | 0.291 % | 46.27/46.73 c | 250 | 7191 6950 20438 | 6050 250 14 | 0.291 % | 46.27/46.75 c | 476 | 7191 6950 20438 | 6655 476 14 | 0.291 % | 46.27/46.78 c | 817 | 7191 6950 20438 | 7320 817 13 | 0.291 % | 46.37/46.84 c | 1323 | 7191 6950 20438 | 8052 1323 13 | 0.291 % | 46.47/46.94 c | 2083 | 7191 6950 20438 | 8857 2083 15 | 0.291 % | 46.67/47.12 c | 3222 | 7191 6950 20438 | 9743 3222 18 | 0.291 % | 46.96/47.45 c | 4931 | 7191 6950 20438 | 10717 4931 29 | 0.291 % | 47.46/47.90 c | 7493 | 7191 6950 20438 | 11789 7493 34 | 0.291 % | 48.65/49.16 c | 11338 | 7191 6950 20438 | 12968 11338 60 | 0.291 % | 50.04/50.60 c | 17104 | 7190 6950 20438 | 14265 10559 85 | 0.305 % | 52.61/53.10 c | 25753 | 7190 6950 20438 | 15692 11965 71 | 0.305 % | 56.99/57.54 c | 38729 | 7189 6950 20438 | 17261 9022 108 | 0.319 % | 66.91/67.58 c | 58194 | 7189 6950 20438 | 18987 10446 127 | 0.319 % | 80.43/81.13 c | 87389 | 7189 6950 20438 | 20886 10476 116 | 0.319 % | 99.62/100.33 c | 131185 | 7185 6950 20438 | 22974 15397 78 | 0.374 % | 131.21/131.91 c | 196870 | 7185 6950 20438 | 25272 22966 100 | 0.374 % | 200.38/201.14 c | 295398 | 7181 6950 20438 | 27799 18129 193 | 0.430 % | 273.17/274.00 c =============================================================================== 279.26/280.07 c core #987 279.26/280.07 c Core size: 1626 Core Weight: 1 Total Weight: 987 279.26/280.07 c Elapsed CPU time: 276.997 s Remaining CPU time: 1523 s 279.66/280.48 c ============================[ Search Statistics ]============================== 279.66/280.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 279.66/280.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 279.66/280.48 c =============================================================================== 279.66/280.48 c | 0 | 7858 6951 21771 | 5000 0 nan | 0.000 % | 279.76/280.56 c | 105 | 7858 6951 21771 | 5500 105 17 | 0.241 % | 279.76/280.58 c | 255 | 7858 6951 21771 | 6050 255 18 | 0.241 % | 279.85/280.64 c | 483 | 7858 6951 21771 | 6655 483 22 | 0.241 % | 279.95/280.72 c | 820 | 7858 6951 21771 | 7320 820 24 | 0.241 % | 280.06/280.83 c | 1326 | 7858 6951 21771 | 8052 1326 32 | 0.241 % | 280.26/281.01 c | 2085 | 7858 6951 21771 | 8857 2085 37 | 0.241 % | 280.45/281.26 c | 3228 | 7858 6951 21771 | 9743 3228 47 | 0.241 % | 280.86/281.70 c | 4940 | 7858 6951 21771 | 10717 4940 55 | 0.241 % | 281.66/282.40 c | 7507 | 7858 6951 21771 | 11789 7507 60 | 0.241 % | 282.86/283.67 c | 11351 | 7858 6951 21771 | 12968 11351 66 | 0.241 % | 284.85/285.70 c | 17118 | 7858 6951 21771 | 14265 10449 82 | 0.241 % | 288.45/289.23 c | 25768 | 7858 6951 21771 | 15692 11856 107 | 0.241 % | 293.46/294.24 c | 38743 | 7858 6951 21771 | 17261 8675 80 | 0.241 % | 304.96/305.70 c | 58211 | 7858 6951 21771 | 18987 10155 144 | 0.241 % | 318.83/319.66 c | 87407 | 7858 6951 21771 | 20886 10305 85 | 0.241 % | 343.04/343.82 c | 131197 | 7857 6951 21771 | 22974 10820 125 | 0.254 % | 386.81/387.69 c | 196883 | 7855 6951 21771 | 25272 21946 162 | 0.279 % | 448.27/449.11 c | 295410 | 7855 6951 21771 | 27799 17353 129 | 0.279 % | 490.49/491.63 c =============================================================================== 495.87/497.04 c core #988 495.87/497.04 c Core size: 1800 Core Weight: 1 Total Weight: 988 495.87/497.04 c Elapsed CPU time: 491.881 s Remaining CPU time: 1308.12 s 496.25/497.49 c ============================[ Search Statistics ]============================== 496.25/497.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 496.25/497.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 496.25/497.49 c =============================================================================== 496.25/497.49 c | 0 | 8586 6952 23227 | 5000 0 nan | 0.000 % | 496.45/497.61 c | 102 | 8586 6952 23227 | 5500 102 39 | 0.221 % | 496.45/497.65 c | 252 | 8586 6952 23227 | 6050 252 28 | 0.221 % | 496.45/497.68 c | 477 | 8586 6952 23227 | 6655 477 29 | 0.221 % | 496.56/497.72 c | 814 | 8586 6952 23227 | 7320 814 28 | 0.221 % | 496.65/497.82 c | 1321 | 8586 6952 23227 | 8052 1321 30 | 0.221 % | 496.75/497.97 c | 2081 | 8586 6952 23227 | 8857 2081 27 | 0.221 % | 496.95/498.16 c | 3223 | 8586 6952 23227 | 9743 3223 32 | 0.221 % | 497.25/498.49 c | 4931 | 8586 6952 23227 | 10717 4931 35 | 0.221 % | 497.85/499.05 c | 7493 | 8586 6952 23227 | 11789 7493 40 | 0.221 % | 498.94/500.15 c | 11342 | 8586 6952 23227 | 12968 11342 49 | 0.221 % | 500.62/501.88 c | 17109 | 8586 6952 23227 | 14265 9935 84 | 0.221 % | 503.41/504.68 c | 25759 | 8586 6952 23227 | 15692 11230 72 | 0.221 % | 509.21/510.49 c | 38733 | 8586 6952 23227 | 17261 8112 95 | 0.221 % | 517.60/518.88 c | 58195 | 8586 6952 23227 | 18987 9674 75 | 0.221 % | 529.90/531.13 c | 87388 | 8585 6952 23227 | 20886 19310 81 | 0.232 % | 557.89/559.16 c | 131177 | 8585 6952 23227 | 22974 20362 200 | 0.232 % | 610.41/611.73 c | 196862 | 8585 6952 23227 | 25272 15994 175 | 0.232 % | 682.72/684.12 c | 295388 | 8585 6952 23227 | 27799 23447 200 | 0.232 % | 788.49/790.00 c | 443181 | 8585 6952 23227 | 30579 20504 174 | 0.232 % | 1025.10/1026.79 c | 664866 | 8585 6952 23227 | 33637 23738 209 | 0.232 % | 1336.59/1339.15 c | 997392 | 8585 6952 23227 | 37001 30566 186 | 0.232 % | 1360.69/1363.31 c =============================================================================== 1374.18/1376.81 c core #989 1374.18/1376.81 c Core size: 1088 Core Weight: 1 Total Weight: 989 1374.18/1376.81 c Elapsed CPU time: 1364.96 s Remaining CPU time: 435.039 s 1375.28/1377.95 c ============================[ Search Statistics ]============================== 1375.28/1377.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1375.28/1377.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1375.28/1377.95 c =============================================================================== 1375.28/1377.95 c | 0 | 9016 6953 24087 | 5000 0 nan | 0.000 % | 1375.37/1378.07 c | 101 | 9016 6953 24087 | 5500 101 24 | 0.210 % | 1375.48/1378.18 c | 253 | 9016 6953 24087 | 6050 253 26 | 0.210 % | 1375.58/1378.22 c | 480 | 9016 6953 24087 | 6655 480 35 | 0.210 % | 1375.58/1378.27 c | 818 | 9016 6953 24087 | 7320 818 37 | 0.210 % | 1375.68/1378.37 c | 1324 | 9016 6953 24087 | 8052 1324 44 | 0.210 % | 1375.88/1378.52 c | 2083 | 9016 6953 24087 | 8857 2083 41 | 0.210 % | 1376.07/1378.75 c | 3226 | 9016 6953 24087 | 9743 3226 41 | 0.210 % | 1376.27/1378.95 c | 4934 | 9016 6953 24087 | 10717 4934 42 | 0.210 % | 1376.79/1379.43 c | 7496 | 9016 6953 24087 | 11789 7496 46 | 0.210 % | 1377.57/1380.26 c | 11340 | 9016 6953 24087 | 12968 11340 47 | 0.210 % | 1379.00/1381.68 c | 17106 | 9016 6953 24087 | 14265 10243 47 | 0.210 % | 1381.77/1384.48 c | 25760 | 9016 6953 24087 | 15692 10997 83 | 0.210 % | 1386.09/1388.79 c | 38737 | 9016 6953 24087 | 17261 15913 78 | 0.210 % | 1393.37/1396.01 c | 58198 | 9016 6953 24087 | 18987 17375 89 | 0.210 % | 1403.67/1406.32 c | 87391 | 9016 6953 24087 | 20886 16187 70 | 0.210 % | 1421.26/1424.01 c | 131181 | 9016 6953 24087 | 22974 16136 159 | 0.210 % | 1454.56/1457.58 c | 196865 | 9016 6953 24087 | 25272 22758 95 | 0.210 % | 1505.63/1508.65 c | 295395 | 9016 6953 24087 | 27799 14667 172 | 0.210 % | 1593.00/1596.06 c | 443186 | 9016 6953 24087 | 30579 24907 204 | 0.210 % | 1712.62/1715.73 c | 664869 | 9016 6953 24087 | 33637 16342 87 | 0.210 % |
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-1875709-1245145009/watcher-1875709-1245145009 -o /tmp/evaluation-result-1875709-1245145009/solver-1875709-1245145009 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875709-1245145009.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.54 0.73 0.72 3/73 1235 /proc/meminfo: memFree=1482520/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=2964 CPUtime=0 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 272 0 0 0 0 0 0 0 19 0 1 0 182099484 3035136 256 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/1235/statm: 741 256 128 292 0 418 0 [startup+0.077927 s] /proc/loadavg: 0.54 0.73 0.72 3/73 1235 /proc/meminfo: memFree=1482520/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=3512 CPUtime=0.07 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 490 0 0 0 7 0 0 0 19 0 1 0 182099484 3596288 446 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/1235/statm: 878 446 133 292 0 583 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3512 [startup+0.101931 s] /proc/loadavg: 0.54 0.73 0.72 3/73 1235 /proc/meminfo: memFree=1482520/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=3512 CPUtime=0.09 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 491 0 0 0 9 0 0 0 19 0 1 0 182099484 3596288 447 1992294400 134512640 135709839 4294956240 18446744073709551615 134605544 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 878 447 133 292 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.301953 s] /proc/loadavg: 0.54 0.73 0.72 3/73 1235 /proc/meminfo: memFree=1482520/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=3512 CPUtime=0.29 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 499 0 0 0 29 0 0 0 21 0 1 0 182099484 3596288 455 1992294400 134512640 135709839 4294956240 18446744073709551615 134570881 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 878 455 133 292 0 583 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3512 [startup+0.701999 s] /proc/loadavg: 0.54 0.73 0.72 3/73 1235 /proc/meminfo: memFree=1482520/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=3808 CPUtime=0.68 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 626 0 0 0 68 0 0 0 25 0 1 0 182099484 3899392 532 1992294400 134512640 135709839 4294956240 18446744073709551615 134571174 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 952 532 133 292 0 657 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 3808 [startup+1.50109 s] /proc/loadavg: 0.54 0.73 0.72 2/74 1236 /proc/meminfo: memFree=1480464/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=4696 CPUtime=1.44 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 1013 0 0 0 144 0 0 0 25 0 1 0 182099484 4808704 738 1992294400 134512640 135709839 4294956240 18446744073709551615 135165877 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 1174 738 133 292 0 879 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 4696 [startup+3.10127 s] /proc/loadavg: 0.54 0.73 0.72 3/74 1236 /proc/meminfo: memFree=1478992/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=6852 CPUtime=2.99 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 1953 0 0 0 297 2 0 0 25 0 1 0 182099484 7016448 1277 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 1713 1277 133 292 0 1418 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 6852 [startup+6.30164 s] /proc/loadavg: 0.66 0.75 0.73 2/74 1236 /proc/meminfo: memFree=1473424/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=14284 CPUtime=6.13 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 5569 0 0 0 607 6 0 0 25 0 1 0 182099484 14626816 3112 1992294400 134512640 135709839 4294956240 18446744073709551615 135183291 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 3571 3112 135 292 0 3276 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 14284 [startup+12.7014 s] /proc/loadavg: 0.85 0.78 0.74 2/74 1236 /proc/meminfo: memFree=1464016/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=21712 CPUtime=12.49 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 7486 0 0 0 1228 21 0 0 25 0 1 0 182099484 22233088 4954 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 5428 4954 136 292 0 5133 0 Current children cumulated CPU time (s) 12.49 Current children cumulated vsize (KiB) 21712 [startup+25.5028 s] /proc/loadavg: 1.19 0.86 0.77 4/74 1236 /proc/meminfo: memFree=1441488/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=43388 CPUtime=25.2 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 12916 0 0 0 2485 35 0 0 25 0 1 0 182099484 44429312 10384 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 10847 10384 136 292 0 10552 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 43388 [startup+51.1027 s] /proc/loadavg: 1.34 0.92 0.79 3/74 1236 /proc/meminfo: memFree=1407952/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=76308 CPUtime=50.64 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 21231 0 0 0 5000 64 0 0 25 0 1 0 182099484 78139392 18619 1992294400 134512640 135709839 4294956240 18446744073709551615 134601316 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 19077 18619 136 292 0 18782 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 76308 [startup+102.313 s] /proc/loadavg: 1.66 1.07 0.84 3/74 1236 /proc/meminfo: memFree=1340432/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=143804 CPUtime=101.62 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 38109 0 0 0 10047 115 0 0 25 0 1 0 182099484 147255296 35497 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 35951 35497 136 292 0 35656 0 Current children cumulated CPU time (s) 101.62 Current children cumulated vsize (KiB) 143804 [startup+162.309 s] /proc/loadavg: 1.52 1.14 0.88 4/74 1236 /proc/meminfo: memFree=1251856/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=233024 CPUtime=161.6 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 60400 0 0 0 15992 168 0 0 25 0 1 0 182099484 238616576 57788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 58256 57788 136 292 0 57961 0 Current children cumulated CPU time (s) 161.6 Current children cumulated vsize (KiB) 233024 [startup+222.303 s] /proc/loadavg: 1.65 1.26 0.94 3/74 1236 /proc/meminfo: memFree=1179152/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=304948 CPUtime=221.57 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 78364 0 0 0 21954 203 0 0 25 0 1 0 182099484 312266752 75752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 76237 75752 136 292 0 75942 0 Current children cumulated CPU time (s) 221.57 Current children cumulated vsize (KiB) 304948 [startup+282.303 s] /proc/loadavg: 1.79 1.36 0.99 2/74 1236 /proc/meminfo: memFree=1108560/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=375432 CPUtime=281.56 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 95938 0 0 0 27919 237 0 0 25 0 1 0 182099484 384442368 93326 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 93858 93326 136 292 0 93563 0 Current children cumulated CPU time (s) 281.56 Current children cumulated vsize (KiB) 375432 [startup+342.305 s] /proc/loadavg: 1.90 1.48 1.05 3/74 1236 /proc/meminfo: memFree=1108112/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=375432 CPUtime=341.53 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 96044 0 0 0 33871 282 0 0 25 0 1 0 182099484 384442368 93432 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 93858 93432 136 292 0 93563 0 Current children cumulated CPU time (s) 341.53 Current children cumulated vsize (KiB) 375432 [startup+402.302 s] /proc/loadavg: 2.11 1.60 1.12 3/74 1236 /proc/meminfo: memFree=1047632/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=436996 CPUtime=401.51 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 111423 0 0 0 39829 322 0 0 25 0 1 0 182099484 447483904 108811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 109249 108811 136 292 0 108954 0 Current children cumulated CPU time (s) 401.51 Current children cumulated vsize (KiB) 436996 [startup+462.301 s] /proc/loadavg: 2.25 1.74 1.19 2/74 1236 /proc/meminfo: memFree=965008/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=518892 CPUtime=461.46 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 131865 0 0 0 45773 373 0 0 25 0 1 0 182099484 531345408 129253 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 129723 129253 136 292 0 129428 0 Current children cumulated CPU time (s) 461.46 Current children cumulated vsize (KiB) 518892 [startup+522.313 s] /proc/loadavg: 1.95 1.76 1.23 3/74 1236 /proc/meminfo: memFree=914000/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=569364 CPUtime=521.11 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 144463 0 0 0 51684 427 0 0 25 0 1 0 182099484 583028736 141851 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 142341 141851 136 292 0 142046 0 Current children cumulated CPU time (s) 521.11 Current children cumulated vsize (KiB) 569364 [startup+582.31 s] /proc/loadavg: 1.81 1.76 1.27 2/74 1236 /proc/meminfo: memFree=882384/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=601208 CPUtime=581.09 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 152463 0 0 0 57632 477 0 0 25 0 1 0 182099484 615636992 149851 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 150302 149851 136 292 0 150007 0 Current children cumulated CPU time (s) 581.09 Current children cumulated vsize (KiB) 601208 [startup+642.302 s] /proc/loadavg: 1.79 1.76 1.29 2/74 1236 /proc/meminfo: memFree=814800/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=668104 CPUtime=640.94 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 169203 0 0 0 63573 521 0 0 25 0 1 0 182099484 684138496 166591 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 167026 166591 136 292 0 166731 0 Current children cumulated CPU time (s) 640.94 Current children cumulated vsize (KiB) 668104 [startup+702.307 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 2.19 1.90 1.46 4/74 1238 /proc/meminfo: memFree=457032/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1026488 CPUtime=940.84 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 258661 0 0 0 93384 700 0 0 25 0 1 0 182099484 1051123712 256049 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 256622 256049 136 292 0 256327 0 Current children cumulated CPU time (s) 940.84 Current children cumulated vsize (KiB) 1026488 [startup+1002.31 s] /proc/loadavg: 1.68 1.81 1.45 2/74 1238 /proc/meminfo: memFree=405200/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1077628 CPUtime=1000.72 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 271445 0 0 0 99350 722 0 0 25 0 1 0 182099484 1103491072 268833 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 269407 268833 136 292 0 269112 0 Current children cumulated CPU time (s) 1000.72 Current children cumulated vsize (KiB) 1077628 [startup+1062.3 s] /proc/loadavg: 1.86 1.83 1.48 2/74 1238 /proc/meminfo: memFree=337360/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1146200 CPUtime=1060.7 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 288617 0 0 0 105309 761 0 0 25 0 1 0 182099484 1173708800 286005 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 286550 286005 136 292 0 286255 0 Current children cumulated CPU time (s) 1060.7 Current children cumulated vsize (KiB) 1146200 [startup+1122.3 s] /proc/loadavg: 1.83 1.84 1.50 3/74 1238 /proc/meminfo: memFree=266640/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1216252 CPUtime=1120.67 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 306105 0 0 0 111275 792 0 0 25 0 1 0 182099484 1245442048 303493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 304063 303493 136 292 0 303768 0 Current children cumulated CPU time (s) 1120.67 Current children cumulated vsize (KiB) 1216252 [startup+1182.3 s] /proc/loadavg: 1.84 1.83 1.52 3/74 1238 /proc/meminfo: memFree=200400/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1282812 CPUtime=1180.56 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 322751 0 0 0 117231 825 0 0 25 0 1 0 182099484 1313599488 320139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 320703 320139 136 292 0 320408 0 Current children cumulated CPU time (s) 1180.56 Current children cumulated vsize (KiB) 1282812 [startup+1242.3 s] /proc/loadavg: 1.90 1.85 1.55 2/74 1238 /proc/meminfo: memFree=129552/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1353096 CPUtime=1240.49 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 340291 0 0 0 123191 858 0 0 25 0 1 0 182099484 1385570304 337679 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 338274 337679 136 292 0 337979 0 Current children cumulated CPU time (s) 1240.49 Current children cumulated vsize (KiB) 1353096 [startup+1302.3 s] /proc/loadavg: 1.89 1.86 1.56 4/74 1238 /proc/meminfo: memFree=60880/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1420984 CPUtime=1300.01 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 357244 0 0 0 129110 891 0 0 25 0 1 0 182099484 1455087616 354632 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 355246 354632 136 292 0 354951 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 1420984 [startup+1362.3 s] /proc/loadavg: 2.28 1.98 1.63 2/74 1238 /proc/meminfo: memFree=15056/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1479308 CPUtime=1359.68 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 371827 0 0 0 135046 922 0 0 25 0 1 0 182099484 1514811392 369215 1992294400 134512640 135709839 4294956240 18446744073709551615 134574285 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 369827 369215 136 292 0 369532 0 Current children cumulated CPU time (s) 1359.68 Current children cumulated vsize (KiB) 1479308 [startup+1422.31 s] /proc/loadavg: 2.11 2.01 1.65 4/74 1238 /proc/meminfo: memFree=15696/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1490684 CPUtime=1419.56 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 374644 0 0 0 140985 971 0 0 25 0 1 0 182099484 1526460416 372032 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 372671 372032 136 292 0 372376 0 Current children cumulated CPU time (s) 1419.56 Current children cumulated vsize (KiB) 1490684 [startup+1482.3 s] /proc/loadavg: 1.76 1.93 1.65 2/74 1244 /proc/meminfo: memFree=17168/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1490684 CPUtime=1479.34 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 374652 0 0 0 146922 1012 0 0 25 0 1 0 182099484 1526460416 372040 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 372671 372040 136 292 0 372376 0 Current children cumulated CPU time (s) 1479.34 Current children cumulated vsize (KiB) 1490684 [startup+1542.3 s] /proc/loadavg: 1.87 1.92 1.66 3/74 1244 /proc/meminfo: memFree=17232/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1490684 CPUtime=1539.32 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 374654 0 0 0 152879 1053 0 0 25 0 1 0 182099484 1526460416 372042 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 372671 372042 136 292 0 372376 0 Current children cumulated CPU time (s) 1539.32 Current children cumulated vsize (KiB) 1490684 [startup+1602.3 s] /proc/loadavg: 2.09 1.97 1.69 2/74 1244 /proc/meminfo: memFree=15056/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1525564 CPUtime=1599.29 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 383541 0 0 0 158834 1095 0 0 25 0 1 0 182099484 1562177536 380929 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 381391 380929 136 292 0 381096 0 Current children cumulated CPU time (s) 1599.29 Current children cumulated vsize (KiB) 1525564 [startup+1662.3 s] /proc/loadavg: 1.98 1.96 1.70 4/74 1244 /proc/meminfo: memFree=15248/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1613572 CPUtime=1659.26 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 405538 0 0 0 164786 1140 0 0 25 0 1 0 182099484 1652297728 402926 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 403393 402926 136 292 0 403098 0 Current children cumulated CPU time (s) 1659.26 Current children cumulated vsize (KiB) 1613572 [startup+1722.3 s] /proc/loadavg: 1.88 1.92 1.70 3/74 1244 /proc/meminfo: memFree=16208/2055920 swapFree=4192956/4192956 [pid=1235] ppid=1233 vsize=1686192 CPUtime=1719.2 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 423686 0 0 0 170720 1200 0 0 25 0 1 0 182099484 1726660608 421074 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 421548 421074 136 292 0 421253 0 Current children cumulated CPU time (s) 1719.2 Current children cumulated vsize (KiB) 1686192 [startup+1782.3 s] /proc/loadavg: 2.00 1.93 1.72 4/74 1244 /proc/meminfo: memFree=15568/2055920 swapFree=4192948/4192956 [pid=1235] ppid=1233 vsize=1776536 CPUtime=1779.12 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 446247 0 0 0 176653 1259 0 0 25 0 1 0 182099484 1819172864 443635 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 444134 443635 136 292 0 443839 0 Current children cumulated CPU time (s) 1779.12 Current children cumulated vsize (KiB) 1776536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1803.3 s] /proc/loadavg: 1.80 1.89 1.71 2/74 1244 /proc/meminfo: memFree=15248/2055920 swapFree=4192948/4192956 [pid=1235] ppid=1233 vsize=1805760 CPUtime=1800.07 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4194304 453561 0 0 0 178729 1278 0 0 25 0 1 0 182099484 1849098240 450949 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 451440 450949 136 292 0 451145 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1805760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1803.41 s] /proc/loadavg: 1.80 1.89 1.71 2/74 1244 /proc/meminfo: memFree=15248/2055920 swapFree=4192948/4192956 [pid=1235] ppid=1233 vsize=0 CPUtime=1800.17 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4195332 453561 0 0 0 178729 1288 0 0 25 0 1 0 182099484 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1803.51 s] /proc/loadavg: 1.80 1.89 1.71 2/74 1244 /proc/meminfo: memFree=15248/2055920 swapFree=4192948/4192956 [pid=1235] ppid=1233 vsize=0 CPUtime=1800.27 /proc/1235/stat : 1235 (wbo) R 1233 1235 1192 0 -1 4195332 453561 0 0 0 178729 1298 0 0 25 0 1 0 182099484 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1235/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1803.56 CPU time (s): 1800.33 CPU user time (s): 1787.29 CPU system time (s): 13.04 CPU usage (%): 99.8208 Max. virtual memory (cumulated for all children) (KiB): 1805760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.29 system time used= 13.04 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 453561 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= 14162 runsolver used 2.46663 second user time and 6.01809 second system time The end
Begin job on node85 at 2009-06-16 11:36:49 IDJOB=1875709 IDBENCH=1987 IDSOLVER=698 FILE ID=node85/1875709-1245145009 PBS_JOBID= 9363772 Free space on /tmp= 126844 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_18.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-1875709-1245145009/watcher-1875709-1245145009 -o /tmp/evaluation-result-1875709-1245145009/solver-1875709-1245145009 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875709-1245145009.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1d6958876c3f9359c6b5193f1345bd5 RANDOM SEED=942150885 node85.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.213 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 : 5931.00 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.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1483072 kB Buffers: 59456 kB Cached: 408860 kB SwapCached: 0 kB Active: 218036 kB Inactive: 279996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1483072 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2500 kB Writeback: 0 kB Mapped: 41084 kB Slab: 59836 kB Committed_AS: 577200 kB PageTables: 2044 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-1875709-1245145009.opb Free space on /tmp at the end= 126844 MiB End job on node85 at 2009-06-16 12:06:55