Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1758.63 | 1759.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb |
MD5SUM | 6486fd91f28e3890004c3ef801697dda |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1047 |
Best CPU time to get the best result obtained on this benchmark | 1797.18 |
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 | 1968 |
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 | 1968 |
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 | 1968 |
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 | 1968 |
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-1875706-1245144619.opb. 0.00/0.00 c Instance file HOME/instance-1875706-1245144619.opb 0.00/0.00 c File size is 112289 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: 1968 | 0.00/0.01 c | Number Clauses: 5968 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #3 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.02 c Elapsed CPU time: 0.020996 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.024996 s Remaining CPU time: 1799.98 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.027995 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.031995 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.034994 s Remaining CPU time: 1799.97 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.037994 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.041993 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.044993 s Remaining CPU time: 1799.96 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.047992 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.051992 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.054991 s Remaining CPU time: 1799.95 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.058991 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.06199 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.06499 s Remaining CPU time: 1799.94 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.068989 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.071989 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.075988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #20 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.08/0.08 c core #21 0.08/0.08 c Core size: 3 Core Weight: 1 Total Weight: 21 0.08/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.08/0.08 c core #22 0.08/0.08 c Core size: 3 Core Weight: 1 Total Weight: 22 0.08/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.08/0.09 c core #23 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: 23 0.08/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.08/0.09 c core #24 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: 24 0.08/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.08/0.09 c core #25 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: 25 0.08/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.08/0.10 c core #26 0.08/0.10 c Core size: 3 Core Weight: 1 Total Weight: 26 0.08/0.10 c Elapsed CPU time: 0.098984 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.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #28 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 28 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 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.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #30 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 30 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #31 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 31 0.09/0.11 c Elapsed CPU time: 0.115982 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.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #33 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 33 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #34 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 34 0.09/0.13 c Elapsed CPU time: 0.12598 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.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #36 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 36 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #37 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 37 0.09/0.13 c Elapsed CPU time: 0.136979 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.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #39 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 39 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 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.146977 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.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #42 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 42 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 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.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #44 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 44 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #45 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 45 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 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.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #47 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #48 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.17 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 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.178972 s Remaining CPU time: 1799.82 s 0.19/0.27 c core #50 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 50 0.19/0.27 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.19/0.27 c core #51 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 51 0.19/0.27 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.19/0.27 c core #52 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 52 0.19/0.27 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.19/0.27 c core #53 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 53 0.19/0.27 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.19/0.27 c core #54 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 54 0.19/0.27 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.27 c core #55 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.27 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.27 c core #56 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.27 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.27 c core #57 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 57 0.19/0.27 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.27 c core #58 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 58 0.19/0.27 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.27 c core #59 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 59 0.19/0.27 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.27 c core #60 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 60 0.19/0.27 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.27 c core #61 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 61 0.19/0.27 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.27 c core #62 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 62 0.19/0.27 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.27 c core #63 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 63 0.19/0.27 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.27 c core #64 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 64 0.19/0.27 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.27 c core #65 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 65 0.19/0.27 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.27 c core #66 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 66 0.19/0.27 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.27 c core #67 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 67 0.19/0.27 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.27 c core #68 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 68 0.19/0.27 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #69 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 69 0.19/0.27 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #70 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 70 0.19/0.27 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 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.25696 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.26096 s Remaining CPU time: 1799.74 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.263959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #74 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #75 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 75 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #76 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.27 c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #77 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #78 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 78 0.19/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #79 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 79 0.19/0.28 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #80 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 80 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #81 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 81 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #82 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 82 0.19/0.29 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #83 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 83 0.29/0.30 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #84 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 84 0.29/0.30 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #85 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 85 0.29/0.31 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #86 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 86 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #87 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 87 0.29/0.31 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #88 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 88 0.29/0.32 c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #89 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 89 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #90 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 90 0.29/0.32 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #91 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 91 0.29/0.33 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #92 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 92 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #93 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 93 0.29/0.33 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #94 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 94 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #95 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 95 0.29/0.34 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #96 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 96 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #97 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 97 0.29/0.35 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #98 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 98 0.29/0.35 c Elapsed CPU time: 0.354946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #99 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 99 0.29/0.36 c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #100 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 100 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #101 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 101 0.29/0.36 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #102 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 102 0.29/0.37 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #103 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 103 0.29/0.37 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #104 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 104 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #105 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 105 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #106 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 106 0.29/0.38 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #107 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 107 0.29/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #108 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 108 0.29/0.39 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #109 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 109 0.29/0.39 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #110 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 110 0.39/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #111 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 111 0.39/0.40 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #112 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 112 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #113 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 113 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #114 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 114 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #115 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 115 0.39/0.42 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #116 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 116 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #117 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 117 0.39/0.42 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #118 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 118 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #119 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 119 0.39/0.43 c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #120 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 120 0.39/0.44 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #121 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 121 0.39/0.44 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #122 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 122 0.39/0.44 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #123 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 123 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #124 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 124 0.39/0.45 c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #125 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 125 0.39/0.45 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #126 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 126 0.39/0.46 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #127 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 127 0.39/0.46 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #128 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 128 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #129 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 129 0.39/0.47 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #130 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 130 0.39/0.47 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #131 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 131 0.39/0.48 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #132 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 132 0.39/0.48 c Elapsed CPU time: 0.483926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #133 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 133 0.39/0.49 c Elapsed CPU time: 0.486925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #134 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 134 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #135 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 135 0.39/0.49 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #136 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 136 0.49/0.50 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #137 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 137 0.49/0.50 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #138 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 138 0.49/0.50 c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #139 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 139 0.49/0.51 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #140 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 140 0.49/0.51 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #141 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 141 0.49/0.52 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #142 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 142 0.49/0.52 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #143 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 143 0.49/0.52 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #144 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 144 0.49/0.53 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #145 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 145 0.49/0.53 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #146 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 146 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #147 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 147 0.49/0.54 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #148 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 148 0.49/0.54 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #149 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 149 0.49/0.55 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #150 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 150 0.49/0.55 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #151 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 151 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #152 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 152 0.49/0.56 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #153 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 153 0.49/0.56 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #154 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 154 0.49/0.57 c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #155 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 155 0.49/0.57 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #156 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 156 0.49/0.58 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #157 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 157 0.49/0.58 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #158 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 158 0.49/0.58 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #159 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 159 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #160 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 160 0.49/0.59 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #161 0.49/0.60 c Core size: 3 Core Weight: 1 Total Weight: 161 0.49/0.60 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #162 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 162 0.59/0.60 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #163 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 163 0.59/0.60 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #164 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 164 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #165 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 165 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #166 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 166 0.59/0.62 c Elapsed CPU time: 0.617906 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #167 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 167 0.59/0.62 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #168 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 168 0.59/0.62 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #169 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 169 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #170 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 170 0.59/0.63 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #171 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 171 0.59/0.64 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #172 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 172 0.59/0.64 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #173 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 173 0.59/0.64 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #174 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 174 0.59/0.65 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #175 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 175 0.59/0.65 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #176 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 176 0.59/0.66 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #177 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 177 0.59/0.66 c Elapsed CPU time: 0.661899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #178 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 178 0.59/0.66 c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #179 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 179 0.59/0.67 c Elapsed CPU time: 0.670898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #180 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 180 0.59/0.67 c Elapsed CPU time: 0.674897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #181 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 181 0.59/0.68 c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #182 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 182 0.59/0.68 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #183 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 183 0.59/0.69 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #184 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 184 0.59/0.69 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #185 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 185 0.59/0.69 c Elapsed CPU time: 0.694894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #186 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 186 0.69/0.70 c Elapsed CPU time: 0.699893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #187 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 187 0.69/0.70 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #188 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 188 0.69/0.71 c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #189 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 189 0.69/0.71 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #190 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 190 0.69/0.71 c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #191 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 191 0.69/0.72 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #192 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 192 0.69/0.72 c Elapsed CPU time: 0.724889 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #193 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 193 0.69/0.73 c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #194 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 194 0.69/0.73 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #195 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 195 0.69/0.74 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #196 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 196 0.69/0.74 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #197 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 197 0.69/0.74 c Elapsed CPU time: 0.745886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #198 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 198 0.69/0.75 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #199 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 199 0.69/0.75 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #200 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 200 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #201 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 201 0.69/0.76 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #202 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 202 0.69/0.77 c Elapsed CPU time: 0.766883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #203 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 203 0.69/0.77 c Elapsed CPU time: 0.770882 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #204 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 204 0.69/0.77 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #205 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 205 0.69/0.78 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #206 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: 206 0.69/0.78 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #207 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 207 0.69/0.79 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.69/0.79 c core #208 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 208 0.69/0.79 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.69/0.79 c core #209 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 209 0.69/0.79 c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #210 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 210 0.79/0.80 c Elapsed CPU time: 0.800878 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #211 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: 211 0.79/0.80 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #212 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 212 0.79/0.81 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #213 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 213 0.79/0.81 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #214 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 214 0.79/0.82 c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s 0.79/0.82 c core #215 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 215 0.79/0.82 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #216 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 216 0.79/0.83 c Elapsed CPU time: 0.826874 s Remaining CPU time: 1799.17 s 0.79/0.83 c core #217 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 217 0.79/0.83 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.79/0.83 c core #218 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 218 0.79/0.83 c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #219 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 219 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #220 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 220 0.79/0.84 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #221 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 221 0.79/0.85 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 0.79/0.85 c core #222 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 222 0.79/0.85 c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #223 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 223 0.79/0.86 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #224 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 224 0.79/0.86 c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #225 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 225 0.79/0.86 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.87 c core #226 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 226 0.79/0.87 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.79/0.87 c core #227 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 227 0.79/0.87 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #228 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 228 0.79/0.88 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.79/0.88 c core #229 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: 229 0.79/0.88 c Elapsed CPU time: 0.883865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #230 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 230 0.79/0.89 c Elapsed CPU time: 0.887865 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #231 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 231 0.79/0.89 c Elapsed CPU time: 0.892864 s Remaining CPU time: 1799.11 s 0.79/0.90 c core #232 0.79/0.90 c Core size: 3 Core Weight: 1 Total Weight: 232 0.79/0.90 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.90 c core #233 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: 233 0.89/0.90 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #234 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 234 0.89/0.91 c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s 0.89/0.91 c core #235 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 235 0.89/0.91 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.91 c core #236 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 236 0.89/0.91 c Elapsed CPU time: 0.91486 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #237 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 237 0.89/0.92 c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s 0.89/0.92 c core #238 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 238 0.89/0.92 c Elapsed CPU time: 0.923859 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #239 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 239 0.89/0.93 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.89/0.93 c core #240 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 240 0.89/0.93 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #241 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 241 0.89/0.94 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 s 0.89/0.94 c core #242 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 242 0.89/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #243 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 243 0.89/0.95 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 0.89/0.95 c core #244 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 244 0.89/0.95 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #245 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 245 0.89/0.96 c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s 0.89/0.96 c core #246 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 246 0.89/0.96 c Elapsed CPU time: 0.959854 s Remaining CPU time: 1799.04 s 0.89/0.96 c core #247 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: 247 0.89/0.96 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #248 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 248 0.89/0.97 c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s 0.89/0.97 c core #249 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 249 0.89/0.97 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #250 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 250 0.89/0.98 c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s 0.89/0.98 c core #251 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: 251 0.89/0.98 c Elapsed CPU time: 0.98385 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #252 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 252 0.89/0.99 c Elapsed CPU time: 0.987849 s Remaining CPU time: 1799.01 s 0.89/0.99 c core #253 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 253 0.89/0.99 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #254 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 254 0.89/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 0.89/1.00 c core #255 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 255 0.89/1.00 c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s 1.00/1.01 c core #256 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: 256 1.00/1.01 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 1.00/1.01 c core #257 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: 257 1.00/1.01 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #258 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: 258 1.00/1.02 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 1.00/1.02 c core #259 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: 259 1.00/1.02 c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #260 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: 260 1.00/1.03 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 1.00/1.03 c core #261 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: 261 1.00/1.03 c Elapsed CPU time: 1.03084 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #262 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: 262 1.00/1.04 c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #263 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: 263 1.00/1.04 c Elapsed CPU time: 1.03984 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #264 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: 264 1.00/1.05 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #265 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: 265 1.00/1.05 c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #266 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: 266 1.00/1.06 c Elapsed CPU time: 1.05484 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #267 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: 267 1.00/1.06 c Elapsed CPU time: 1.05984 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #268 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: 268 1.00/1.07 c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #269 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: 269 1.00/1.07 c Elapsed CPU time: 1.06984 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #270 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: 270 1.00/1.08 c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #271 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: 271 1.00/1.08 c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #272 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: 272 1.00/1.09 c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #273 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: 273 1.00/1.09 c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s 1.00/1.10 c core #274 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: 274 1.00/1.10 c Elapsed CPU time: 1.09383 s Remaining CPU time: 1798.91 s 1.00/1.10 c core #275 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: 275 1.00/1.10 c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #276 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 276 1.09/1.11 c Elapsed CPU time: 1.10383 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #277 1.09/1.11 c Core size: 3 Core Weight: 1 Total Weight: 277 1.09/1.11 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #278 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 278 1.09/1.12 c Elapsed CPU time: 1.11383 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #279 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 279 1.09/1.12 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #280 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 280 1.09/1.13 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #281 1.09/1.13 c Core size: 3 Core Weight: 1 Total Weight: 281 1.09/1.13 c Elapsed CPU time: 1.12883 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #282 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 282 1.09/1.14 c Elapsed CPU time: 1.13383 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #283 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 283 1.09/1.14 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #284 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 284 1.09/1.15 c Elapsed CPU time: 1.14383 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #285 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 285 1.09/1.15 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #286 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 286 1.09/1.16 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #287 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 287 1.09/1.16 c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #288 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 288 1.09/1.17 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #289 1.09/1.17 c Core size: 3 Core Weight: 1 Total Weight: 289 1.09/1.17 c Elapsed CPU time: 1.16882 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #290 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 290 1.09/1.18 c Elapsed CPU time: 1.17282 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #291 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 291 1.09/1.18 c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #292 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 292 1.09/1.19 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #293 1.09/1.19 c Core size: 3 Core Weight: 1 Total Weight: 293 1.09/1.19 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.09/1.20 c core #294 1.09/1.20 c Core size: 3 Core Weight: 1 Total Weight: 294 1.09/1.20 c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #295 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: 295 1.19/1.20 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #296 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: 296 1.19/1.21 c Elapsed CPU time: 1.20282 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #297 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: 297 1.19/1.21 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #298 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 298 1.19/1.22 c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #299 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 299 1.19/1.22 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #300 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: 300 1.19/1.23 c Elapsed CPU time: 1.22381 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #301 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: 301 1.19/1.23 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #302 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 302 1.19/1.24 c Elapsed CPU time: 1.23381 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #303 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 303 1.19/1.24 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #304 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 304 1.19/1.25 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #305 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 305 1.19/1.25 c Elapsed CPU time: 1.24881 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #306 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 306 1.19/1.26 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #307 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 307 1.19/1.26 c Elapsed CPU time: 1.25881 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #308 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 308 1.19/1.27 c Elapsed CPU time: 1.26481 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #309 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 309 1.19/1.27 c Elapsed CPU time: 1.26981 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #310 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 310 1.19/1.28 c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #311 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 311 1.19/1.28 c Elapsed CPU time: 1.27981 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #312 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: 312 1.19/1.29 c Elapsed CPU time: 1.2848 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #313 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: 313 1.19/1.29 c Elapsed CPU time: 1.2898 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #314 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: 314 1.29/1.30 c Elapsed CPU time: 1.2948 s Remaining CPU time: 1798.71 s 1.29/1.31 c core #315 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: 315 1.29/1.31 c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #316 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: 316 1.29/1.31 c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #317 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: 317 1.29/1.32 c Elapsed CPU time: 1.3098 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #318 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: 318 1.29/1.32 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.33 c core #319 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: 319 1.29/1.33 c Elapsed CPU time: 1.3208 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #320 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: 320 1.29/1.33 c Elapsed CPU time: 1.3258 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #321 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: 321 1.29/1.34 c Elapsed CPU time: 1.3308 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #322 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: 322 1.29/1.34 c Elapsed CPU time: 1.3358 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #323 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: 323 1.29/1.35 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #324 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: 324 1.29/1.35 c Elapsed CPU time: 1.34679 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #325 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: 325 1.29/1.36 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #326 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: 326 1.29/1.36 c Elapsed CPU time: 1.35779 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #327 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: 327 1.29/1.37 c Elapsed CPU time: 1.36279 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #328 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: 328 1.29/1.37 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #329 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: 329 1.29/1.38 c Elapsed CPU time: 1.37379 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #330 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: 330 1.29/1.38 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #331 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: 331 1.29/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.29/1.40 c core #332 1.29/1.40 c Core size: 3 Core Weight: 1 Total Weight: 332 1.29/1.40 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #333 1.39/1.40 c Core size: 3 Core Weight: 1 Total Weight: 333 1.39/1.40 c Elapsed CPU time: 1.39479 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #334 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: 334 1.39/1.41 c Elapsed CPU time: 1.39979 s Remaining CPU time: 1798.6 s 1.39/1.41 c core #335 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: 335 1.39/1.41 c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #336 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: 336 1.39/1.42 c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #337 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: 337 1.39/1.42 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #338 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: 338 1.39/1.43 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #339 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: 339 1.39/1.43 c Elapsed CPU time: 1.42678 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #340 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 340 1.39/1.44 c Elapsed CPU time: 1.43178 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #341 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 341 1.39/1.44 c Elapsed CPU time: 1.43578 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #342 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: 342 1.39/1.45 c Elapsed CPU time: 1.44178 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #343 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: 343 1.39/1.45 c Elapsed CPU time: 1.44678 s Remaining CPU time: 1798.55 s 1.39/1.46 c core #344 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: 344 1.39/1.46 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #345 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: 345 1.39/1.47 c Elapsed CPU time: 1.45778 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #346 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: 346 1.39/1.47 c Elapsed CPU time: 1.46378 s Remaining CPU time: 1798.54 s 1.39/1.48 c core #347 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: 347 1.39/1.48 c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #348 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: 348 1.39/1.48 c Elapsed CPU time: 1.47477 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #349 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: 349 1.39/1.49 c Elapsed CPU time: 1.47978 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #350 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: 350 1.39/1.49 c Elapsed CPU time: 1.48577 s Remaining CPU time: 1798.51 s 1.48/1.50 c core #351 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: 351 1.48/1.50 c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s 1.48/1.50 c core #352 1.48/1.50 c Core size: 3 Core Weight: 1 Total Weight: 352 1.48/1.50 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.48/1.51 c core #353 1.48/1.51 c Core size: 3 Core Weight: 1 Total Weight: 353 1.48/1.51 c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s 1.48/1.52 c core #354 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: 354 1.48/1.52 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.48/1.52 c core #355 1.48/1.52 c Core size: 3 Core Weight: 1 Total Weight: 355 1.48/1.52 c Elapsed CPU time: 1.51177 s Remaining CPU time: 1798.49 s 1.48/1.53 c core #356 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: 356 1.48/1.53 c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s 1.48/1.53 c core #357 1.48/1.53 c Core size: 3 Core Weight: 1 Total Weight: 357 1.48/1.53 c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s 1.48/1.54 c core #358 1.48/1.54 c Core size: 3 Core Weight: 1 Total Weight: 358 1.48/1.54 c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s 1.48/1.54 c core #359 1.48/1.54 c Core size: 3 Core Weight: 1 Total Weight: 359 1.48/1.54 c Elapsed CPU time: 1.53377 s Remaining CPU time: 1798.47 s 1.48/1.55 c core #360 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 360 1.48/1.55 c Elapsed CPU time: 1.53977 s Remaining CPU time: 1798.46 s 1.48/1.55 c core #361 1.48/1.55 c Core size: 3 Core Weight: 1 Total Weight: 361 1.48/1.55 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #362 1.48/1.56 c Core size: 3 Core Weight: 1 Total Weight: 362 1.48/1.56 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.48/1.57 c core #363 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 363 1.48/1.57 c Elapsed CPU time: 1.55576 s Remaining CPU time: 1798.44 s 1.48/1.57 c core #364 1.48/1.57 c Core size: 3 Core Weight: 1 Total Weight: 364 1.48/1.57 c Elapsed CPU time: 1.56076 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #365 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: 365 1.48/1.58 c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s 1.48/1.58 c core #366 1.48/1.58 c Core size: 3 Core Weight: 1 Total Weight: 366 1.48/1.58 c Elapsed CPU time: 1.57176 s Remaining CPU time: 1798.43 s 1.48/1.59 c core #367 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: 367 1.48/1.59 c Elapsed CPU time: 1.57776 s Remaining CPU time: 1798.42 s 1.48/1.59 c core #368 1.48/1.59 c Core size: 3 Core Weight: 1 Total Weight: 368 1.48/1.59 c Elapsed CPU time: 1.58376 s Remaining CPU time: 1798.42 s 1.58/1.60 c core #369 1.58/1.60 c Core size: 3 Core Weight: 1 Total Weight: 369 1.58/1.60 c Elapsed CPU time: 1.58876 s Remaining CPU time: 1798.41 s 1.58/1.60 c core #370 1.58/1.60 c Core size: 3 Core Weight: 1 Total Weight: 370 1.58/1.60 c Elapsed CPU time: 1.59476 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #371 1.58/1.61 c Core size: 3 Core Weight: 1 Total Weight: 371 1.58/1.61 c Elapsed CPU time: 1.60076 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #372 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: 372 1.58/1.62 c Elapsed CPU time: 1.60576 s Remaining CPU time: 1798.39 s 1.58/1.62 c core #373 1.58/1.62 c Core size: 3 Core Weight: 1 Total Weight: 373 1.58/1.62 c Elapsed CPU time: 1.61175 s Remaining CPU time: 1798.39 s 1.58/1.63 c core #374 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 374 1.58/1.63 c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s 1.58/1.63 c core #375 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 375 1.58/1.63 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #376 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: 376 1.58/1.64 c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s 1.58/1.64 c core #377 1.58/1.64 c Core size: 3 Core Weight: 1 Total Weight: 377 1.58/1.64 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #378 1.58/1.65 c Core size: 3 Core Weight: 1 Total Weight: 378 1.58/1.65 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #379 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: 379 1.58/1.66 c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s 1.58/1.66 c core #380 1.58/1.66 c Core size: 3 Core Weight: 1 Total Weight: 380 1.58/1.66 c Elapsed CPU time: 1.65075 s Remaining CPU time: 1798.35 s 1.58/1.67 c core #381 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: 381 1.58/1.67 c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s 1.58/1.67 c core #382 1.58/1.67 c Core size: 3 Core Weight: 1 Total Weight: 382 1.58/1.67 c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #383 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 383 1.58/1.68 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.58/1.68 c core #384 1.58/1.68 c Core size: 3 Core Weight: 1 Total Weight: 384 1.58/1.68 c Elapsed CPU time: 1.67274 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #385 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 385 1.58/1.69 c Elapsed CPU time: 1.67774 s Remaining CPU time: 1798.32 s 1.58/1.69 c core #386 1.58/1.69 c Core size: 3 Core Weight: 1 Total Weight: 386 1.58/1.69 c Elapsed CPU time: 1.68274 s Remaining CPU time: 1798.32 s 1.69/1.70 c core #387 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: 387 1.69/1.70 c Elapsed CPU time: 1.68874 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #388 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: 388 1.69/1.71 c Elapsed CPU time: 1.69474 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #389 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: 389 1.69/1.71 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.69/1.72 c core #390 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: 390 1.69/1.72 c Elapsed CPU time: 1.70574 s Remaining CPU time: 1798.29 s 1.69/1.72 c core #391 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: 391 1.69/1.72 c Elapsed CPU time: 1.71074 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #392 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: 392 1.69/1.73 c Elapsed CPU time: 1.71674 s Remaining CPU time: 1798.28 s 1.69/1.73 c core #393 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: 393 1.69/1.73 c Elapsed CPU time: 1.72274 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #394 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: 394 1.69/1.74 c Elapsed CPU time: 1.72774 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #395 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: 395 1.69/1.75 c Elapsed CPU time: 1.73374 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #396 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: 396 1.69/1.75 c Elapsed CPU time: 1.73974 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #397 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: 397 1.69/1.76 c Elapsed CPU time: 1.74573 s Remaining CPU time: 1798.25 s 1.69/1.76 c core #398 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: 398 1.69/1.76 c Elapsed CPU time: 1.75073 s Remaining CPU time: 1798.25 s 1.69/1.77 c core #399 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: 399 1.69/1.77 c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s 1.69/1.77 c core #400 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: 400 1.69/1.77 c Elapsed CPU time: 1.76273 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #401 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: 401 1.69/1.78 c Elapsed CPU time: 1.76773 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #402 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: 402 1.69/1.79 c Elapsed CPU time: 1.77373 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #403 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: 403 1.69/1.79 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.79/1.80 c core #404 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: 404 1.79/1.80 c Elapsed CPU time: 1.78573 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #405 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: 405 1.79/1.80 c Elapsed CPU time: 1.79073 s Remaining CPU time: 1798.21 s 1.79/1.81 c core #406 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: 406 1.79/1.81 c Elapsed CPU time: 1.79673 s Remaining CPU time: 1798.2 s 1.79/1.81 c core #407 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: 407 1.79/1.81 c Elapsed CPU time: 1.80173 s Remaining CPU time: 1798.2 s 1.79/1.82 c core #408 1.79/1.82 c Core size: 3 Core Weight: 1 Total Weight: 408 1.79/1.82 c Elapsed CPU time: 1.80773 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #409 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: 409 1.79/1.83 c Elapsed CPU time: 1.81372 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #410 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: 410 1.79/1.83 c Elapsed CPU time: 1.81972 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #411 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: 411 1.79/1.84 c Elapsed CPU time: 1.82572 s Remaining CPU time: 1798.17 s 1.79/1.84 c core #412 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: 412 1.79/1.84 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.79/1.85 c core #413 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: 413 1.79/1.85 c Elapsed CPU time: 1.83672 s Remaining CPU time: 1798.16 s 1.79/1.85 c core #414 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: 414 1.79/1.85 c Elapsed CPU time: 1.84272 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #415 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: 415 1.79/1.86 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #416 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: 416 1.79/1.87 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #417 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: 417 1.79/1.87 c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #418 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: 418 1.79/1.88 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.79/1.88 c core #419 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: 419 1.79/1.88 c Elapsed CPU time: 1.87172 s Remaining CPU time: 1798.13 s 1.79/1.89 c core #420 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: 420 1.79/1.89 c Elapsed CPU time: 1.87771 s Remaining CPU time: 1798.12 s 1.79/1.90 c core #421 1.79/1.90 c Core size: 3 Core Weight: 1 Total Weight: 421 1.79/1.90 c Elapsed CPU time: 1.88371 s Remaining CPU time: 1798.12 s 1.89/1.90 c core #422 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: 422 1.89/1.90 c Elapsed CPU time: 1.88971 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #423 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: 423 1.89/1.91 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #424 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: 424 1.89/1.91 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #425 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: 425 1.89/1.92 c Elapsed CPU time: 1.90671 s Remaining CPU time: 1798.09 s 1.89/1.92 c core #426 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: 426 1.89/1.92 c Elapsed CPU time: 1.91271 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #427 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: 427 1.89/1.93 c Elapsed CPU time: 1.91871 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #428 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: 428 1.89/1.94 c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #429 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: 429 1.89/1.94 c Elapsed CPU time: 1.92971 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #430 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: 430 1.89/1.95 c Elapsed CPU time: 1.93571 s Remaining CPU time: 1798.06 s 1.89/1.95 c core #431 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: 431 1.89/1.95 c Elapsed CPU time: 1.9417 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #432 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: 432 1.89/1.96 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.89/1.97 c core #433 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: 433 1.89/1.97 c Elapsed CPU time: 1.9537 s Remaining CPU time: 1798.05 s 1.89/1.97 c core #434 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: 434 1.89/1.97 c Elapsed CPU time: 1.9597 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #435 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: 435 1.89/1.98 c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s 1.89/1.98 c core #436 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: 436 1.89/1.98 c Elapsed CPU time: 1.9717 s Remaining CPU time: 1798.03 s 1.89/1.99 c core #437 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: 437 1.89/1.99 c Elapsed CPU time: 1.9767 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #438 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: 438 1.89/1.99 c Elapsed CPU time: 1.9827 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #439 1.99/2.00 c Core size: 3 Core Weight: 1 Total Weight: 439 1.99/2.00 c Elapsed CPU time: 1.9887 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #440 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: 440 1.99/2.01 c Elapsed CPU time: 1.9947 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #441 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: 441 1.99/2.01 c Elapsed CPU time: 2.00069 s Remaining CPU time: 1798 s 1.99/2.02 c core #442 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: 442 1.99/2.02 c Elapsed CPU time: 2.00669 s Remaining CPU time: 1797.99 s 1.99/2.02 c core #443 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: 443 1.99/2.02 c Elapsed CPU time: 2.01269 s Remaining CPU time: 1797.99 s 1.99/2.03 c core #444 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: 444 1.99/2.03 c Elapsed CPU time: 2.01869 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #445 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: 445 1.99/2.04 c Elapsed CPU time: 2.02469 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #446 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: 446 1.99/2.04 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #447 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: 447 1.99/2.05 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 1.99/2.05 c core #448 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: 448 1.99/2.05 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #449 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: 449 1.99/2.06 c Elapsed CPU time: 2.04769 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #450 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: 450 1.99/2.07 c Elapsed CPU time: 2.05269 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #451 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: 451 1.99/2.07 c Elapsed CPU time: 2.05969 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #452 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: 452 1.99/2.08 c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s 1.99/2.08 c core #453 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: 453 1.99/2.08 c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #454 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: 454 1.99/2.09 c Elapsed CPU time: 2.07768 s Remaining CPU time: 1797.92 s 1.99/2.10 c core #455 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: 455 1.99/2.10 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.09/2.11 c core #456 2.09/2.11 c Core size: 3 Core Weight: 1 Total Weight: 456 2.09/2.11 c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s 2.09/2.11 c core #457 2.09/2.11 c Core size: 3 Core Weight: 1 Total Weight: 457 2.09/2.11 c Elapsed CPU time: 2.09468 s Remaining CPU time: 1797.91 s 2.09/2.12 c core #458 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: 458 2.09/2.12 c Elapsed CPU time: 2.10068 s Remaining CPU time: 1797.9 s 2.09/2.12 c core #459 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: 459 2.09/2.12 c Elapsed CPU time: 2.10668 s Remaining CPU time: 1797.89 s 2.09/2.13 c core #460 2.09/2.13 c Core size: 3 Core Weight: 1 Total Weight: 460 2.09/2.13 c Elapsed CPU time: 2.11168 s Remaining CPU time: 1797.89 s 2.09/2.14 c core #461 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: 461 2.09/2.14 c Elapsed CPU time: 2.11768 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #462 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: 462 2.09/2.14 c Elapsed CPU time: 2.12368 s Remaining CPU time: 1797.88 s 2.09/2.15 c core #463 2.09/2.15 c Core size: 3 Core Weight: 1 Total Weight: 463 2.09/2.15 c Elapsed CPU time: 2.12968 s Remaining CPU time: 1797.87 s 2.09/2.15 c core #464 2.09/2.15 c Core size: 3 Core Weight: 1 Total Weight: 464 2.09/2.15 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.09/2.16 c core #465 2.09/2.16 c Core size: 3 Core Weight: 1 Total Weight: 465 2.09/2.16 c Elapsed CPU time: 2.14167 s Remaining CPU time: 1797.86 s 2.09/2.17 c core #466 2.09/2.17 c Core size: 3 Core Weight: 1 Total Weight: 466 2.09/2.17 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.09/2.17 c core #467 2.09/2.17 c Core size: 3 Core Weight: 1 Total Weight: 467 2.09/2.17 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.09/2.18 c core #468 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: 468 2.09/2.18 c Elapsed CPU time: 2.15867 s Remaining CPU time: 1797.84 s 2.09/2.18 c core #469 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: 469 2.09/2.18 c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s 2.09/2.19 c core #470 2.09/2.19 c Core size: 3 Core Weight: 1 Total Weight: 470 2.09/2.19 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.09/2.20 c core #471 2.09/2.20 c Core size: 3 Core Weight: 1 Total Weight: 471 2.09/2.20 c Elapsed CPU time: 2.17667 s Remaining CPU time: 1797.82 s 2.19/2.20 c core #472 2.19/2.20 c Core size: 3 Core Weight: 1 Total Weight: 472 2.19/2.20 c Elapsed CPU time: 2.18267 s Remaining CPU time: 1797.82 s 2.19/2.21 c core #473 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: 473 2.19/2.21 c Elapsed CPU time: 2.18867 s Remaining CPU time: 1797.81 s 2.19/2.21 c core #474 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: 474 2.19/2.21 c Elapsed CPU time: 2.19467 s Remaining CPU time: 1797.81 s 2.19/2.22 c core #475 2.19/2.22 c Core size: 3 Core Weight: 1 Total Weight: 475 2.19/2.22 c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s 2.19/2.23 c core #476 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: 476 2.19/2.23 c Elapsed CPU time: 2.20666 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #477 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: 477 2.19/2.23 c Elapsed CPU time: 2.21266 s Remaining CPU time: 1797.79 s 2.19/2.24 c core #478 2.19/2.24 c Core size: 3 Core Weight: 1 Total Weight: 478 2.19/2.24 c Elapsed CPU time: 2.21766 s Remaining CPU time: 1797.78 s 2.19/2.24 c core #479 2.19/2.24 c Core size: 3 Core Weight: 1 Total Weight: 479 2.19/2.24 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.19/2.25 c core #480 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: 480 2.19/2.25 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.25 c core #481 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: 481 2.19/2.25 c Elapsed CPU time: 2.23466 s Remaining CPU time: 1797.77 s 2.19/2.26 c core #482 2.19/2.26 c Core size: 3 Core Weight: 1 Total Weight: 482 2.19/2.26 c Elapsed CPU time: 2.24066 s Remaining CPU time: 1797.76 s 2.19/2.27 c core #483 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: 483 2.19/2.27 c Elapsed CPU time: 2.24666 s Remaining CPU time: 1797.75 s 2.19/2.27 c core #484 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: 484 2.19/2.27 c Elapsed CPU time: 2.25266 s Remaining CPU time: 1797.75 s 2.19/2.28 c core #485 2.19/2.28 c Core size: 3 Core Weight: 1 Total Weight: 485 2.19/2.28 c Elapsed CPU time: 2.25866 s Remaining CPU time: 1797.74 s 2.19/2.28 c core #486 2.19/2.28 c Core size: 3 Core Weight: 1 Total Weight: 486 2.19/2.28 c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s 2.19/2.29 c core #487 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: 487 2.19/2.29 c Elapsed CPU time: 2.27065 s Remaining CPU time: 1797.73 s 2.28/2.30 c core #488 2.28/2.30 c Core size: 3 Core Weight: 1 Total Weight: 488 2.28/2.30 c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s 2.28/2.30 c core #489 2.28/2.30 c Core size: 3 Core Weight: 1 Total Weight: 489 2.28/2.30 c Elapsed CPU time: 2.28265 s Remaining CPU time: 1797.72 s 2.28/2.31 c core #490 2.28/2.31 c Core size: 3 Core Weight: 1 Total Weight: 490 2.28/2.31 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.28/2.31 c core #491 2.28/2.31 c Core size: 3 Core Weight: 1 Total Weight: 491 2.28/2.31 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.28/2.32 c core #492 2.28/2.32 c Core size: 3 Core Weight: 1 Total Weight: 492 2.28/2.32 c Elapsed CPU time: 2.30065 s Remaining CPU time: 1797.7 s 2.28/2.33 c core #493 2.28/2.33 c Core size: 3 Core Weight: 1 Total Weight: 493 2.28/2.33 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.28/2.33 c core #494 2.28/2.33 c Core size: 3 Core Weight: 1 Total Weight: 494 2.28/2.33 c Elapsed CPU time: 2.31265 s Remaining CPU time: 1797.69 s 2.28/2.34 c core #495 2.28/2.34 c Core size: 3 Core Weight: 1 Total Weight: 495 2.28/2.34 c Elapsed CPU time: 2.31865 s Remaining CPU time: 1797.68 s 2.28/2.34 c core #496 2.28/2.34 c Core size: 3 Core Weight: 1 Total Weight: 496 2.28/2.34 c Elapsed CPU time: 2.32465 s Remaining CPU time: 1797.68 s 2.28/2.35 c core #497 2.28/2.35 c Core size: 3 Core Weight: 1 Total Weight: 497 2.28/2.35 c Elapsed CPU time: 2.32965 s Remaining CPU time: 1797.67 s 2.28/2.36 c core #498 2.28/2.36 c Core size: 3 Core Weight: 1 Total Weight: 498 2.28/2.36 c Elapsed CPU time: 2.33564 s Remaining CPU time: 1797.66 s 2.28/2.36 c core #499 2.28/2.36 c Core size: 3 Core Weight: 1 Total Weight: 499 2.28/2.36 c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s 2.28/2.37 c core #500 2.28/2.37 c Core size: 3 Core Weight: 1 Total Weight: 500 2.28/2.37 c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s 2.28/2.38 c core #501 2.28/2.38 c Core size: 3 Core Weight: 1 Total Weight: 501 2.28/2.38 c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s 2.28/2.38 c core #502 2.28/2.38 c Core size: 3 Core Weight: 1 Total Weight: 502 2.28/2.38 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.28/2.39 c core #503 2.28/2.39 c Core size: 3 Core Weight: 1 Total Weight: 503 2.28/2.39 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.28/2.39 c core #504 2.28/2.39 c Core size: 3 Core Weight: 1 Total Weight: 504 2.28/2.39 c Elapsed CPU time: 2.37264 s Remaining CPU time: 1797.63 s 2.38/2.40 c core #505 2.38/2.40 c Core size: 3 Core Weight: 1 Total Weight: 505 2.38/2.40 c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s 2.38/2.41 c core #506 2.38/2.41 c Core size: 3 Core Weight: 1 Total Weight: 506 2.38/2.41 c Elapsed CPU time: 2.38464 s Remaining CPU time: 1797.62 s 2.38/2.41 c core #507 2.38/2.41 c Core size: 3 Core Weight: 1 Total Weight: 507 2.38/2.41 c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s 2.38/2.42 c core #508 2.38/2.42 c Core size: 3 Core Weight: 1 Total Weight: 508 2.38/2.42 c Elapsed CPU time: 2.39663 s Remaining CPU time: 1797.6 s 2.38/2.43 c core #509 2.38/2.43 c Core size: 3 Core Weight: 1 Total Weight: 509 2.38/2.43 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.38/2.43 c core #510 2.38/2.43 c Core size: 3 Core Weight: 1 Total Weight: 510 2.38/2.43 c Elapsed CPU time: 2.40963 s Remaining CPU time: 1797.59 s 2.38/2.44 c core #511 2.38/2.44 c Core size: 3 Core Weight: 1 Total Weight: 511 2.38/2.44 c Elapsed CPU time: 2.41563 s Remaining CPU time: 1797.58 s 2.38/2.44 c core #512 2.38/2.44 c Core size: 3 Core Weight: 1 Total Weight: 512 2.38/2.44 c Elapsed CPU time: 2.42163 s Remaining CPU time: 1797.58 s 2.38/2.45 c core #513 2.38/2.45 c Core size: 3 Core Weight: 1 Total Weight: 513 2.38/2.45 c Elapsed CPU time: 2.42863 s Remaining CPU time: 1797.57 s 2.38/2.46 c core #514 2.38/2.46 c Core size: 3 Core Weight: 1 Total Weight: 514 2.38/2.46 c Elapsed CPU time: 2.43463 s Remaining CPU time: 1797.57 s 2.38/2.46 c core #515 2.38/2.46 c Core size: 3 Core Weight: 1 Total Weight: 515 2.38/2.46 c Elapsed CPU time: 2.44063 s Remaining CPU time: 1797.56 s 2.38/2.47 c core #516 2.38/2.47 c Core size: 3 Core Weight: 1 Total Weight: 516 2.38/2.47 c Elapsed CPU time: 2.44663 s Remaining CPU time: 1797.55 s 2.38/2.47 c core #517 2.38/2.47 c Core size: 3 Core Weight: 1 Total Weight: 517 2.38/2.47 c Elapsed CPU time: 2.45263 s Remaining CPU time: 1797.55 s 2.38/2.48 c core #518 2.38/2.48 c Core size: 3 Core Weight: 1 Total Weight: 518 2.38/2.48 c Elapsed CPU time: 2.45863 s Remaining CPU time: 1797.54 s 2.38/2.49 c core #519 2.38/2.49 c Core size: 3 Core Weight: 1 Total Weight: 519 2.38/2.49 c Elapsed CPU time: 2.46462 s Remaining CPU time: 1797.54 s 2.38/2.49 c core #520 2.38/2.49 c Core size: 3 Core Weight: 1 Total Weight: 520 2.38/2.49 c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s 2.48/2.50 c core #521 2.48/2.50 c Core size: 3 Core Weight: 1 Total Weight: 521 2.48/2.50 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.48/2.51 c core #522 2.48/2.51 c Core size: 3 Core Weight: 1 Total Weight: 522 2.48/2.51 c Elapsed CPU time: 2.48262 s Remaining CPU time: 1797.52 s 2.48/2.51 c core #523 2.48/2.51 c Core size: 3 Core Weight: 1 Total Weight: 523 2.48/2.51 c Elapsed CPU time: 2.48862 s Remaining CPU time: 1797.51 s 2.48/2.52 c core #524 2.48/2.52 c Core size: 3 Core Weight: 1 Total Weight: 524 2.48/2.52 c Elapsed CPU time: 2.49462 s Remaining CPU time: 1797.51 s 2.48/2.52 c core #525 2.48/2.52 c Core size: 3 Core Weight: 1 Total Weight: 525 2.48/2.52 c Elapsed CPU time: 2.50062 s Remaining CPU time: 1797.5 s 2.48/2.53 c core #526 2.48/2.53 c Core size: 3 Core Weight: 1 Total Weight: 526 2.48/2.53 c Elapsed CPU time: 2.50762 s Remaining CPU time: 1797.49 s 2.48/2.54 c core #527 2.48/2.54 c Core size: 3 Core Weight: 1 Total Weight: 527 2.48/2.54 c Elapsed CPU time: 2.51362 s Remaining CPU time: 1797.49 s 2.48/2.54 c core #528 2.48/2.54 c Core size: 3 Core Weight: 1 Total Weight: 528 2.48/2.54 c Elapsed CPU time: 2.51962 s Remaining CPU time: 1797.48 s 2.48/2.55 c core #529 2.48/2.55 c Core size: 3 Core Weight: 1 Total Weight: 529 2.48/2.55 c Elapsed CPU time: 2.52562 s Remaining CPU time: 1797.47 s 2.48/2.56 c core #530 2.48/2.56 c Core size: 3 Core Weight: 1 Total Weight: 530 2.48/2.56 c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s 2.48/2.56 c core #531 2.48/2.56 c Core size: 3 Core Weight: 1 Total Weight: 531 2.48/2.56 c Elapsed CPU time: 2.53861 s Remaining CPU time: 1797.46 s 2.48/2.57 c core #532 2.48/2.57 c Core size: 3 Core Weight: 1 Total Weight: 532 2.48/2.57 c Elapsed CPU time: 2.54461 s Remaining CPU time: 1797.46 s 2.48/2.57 c core #533 2.48/2.57 c Core size: 3 Core Weight: 1 Total Weight: 533 2.48/2.57 c Elapsed CPU time: 2.55061 s Remaining CPU time: 1797.45 s 2.48/2.58 c core #534 2.48/2.58 c Core size: 3 Core Weight: 1 Total Weight: 534 2.48/2.58 c Elapsed CPU time: 2.55761 s Remaining CPU time: 1797.44 s 2.48/2.59 c core #535 2.48/2.59 c Core size: 3 Core Weight: 1 Total Weight: 535 2.48/2.59 c Elapsed CPU time: 2.56361 s Remaining CPU time: 1797.44 s 2.48/2.59 c core #536 2.48/2.59 c Core size: 3 Core Weight: 1 Total Weight: 536 2.48/2.59 c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s 2.58/2.60 c core #537 2.58/2.60 c Core size: 3 Core Weight: 1 Total Weight: 537 2.58/2.60 c Elapsed CPU time: 2.57561 s Remaining CPU time: 1797.42 s 2.58/2.61 c core #538 2.58/2.61 c Core size: 3 Core Weight: 1 Total Weight: 538 2.58/2.61 c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s 2.58/2.61 c core #539 2.58/2.61 c Core size: 3 Core Weight: 1 Total Weight: 539 2.58/2.61 c Elapsed CPU time: 2.58861 s Remaining CPU time: 1797.41 s 2.58/2.62 c core #540 2.58/2.62 c Core size: 3 Core Weight: 1 Total Weight: 540 2.58/2.62 c Elapsed CPU time: 2.59461 s Remaining CPU time: 1797.41 s 2.58/2.62 c core #541 2.58/2.62 c Core size: 3 Core Weight: 1 Total Weight: 541 2.58/2.62 c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s 2.58/2.63 c core #542 2.58/2.63 c Core size: 3 Core Weight: 1 Total Weight: 542 2.58/2.63 c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s 2.58/2.64 c core #543 2.58/2.64 c Core size: 3 Core Weight: 1 Total Weight: 543 2.58/2.64 c Elapsed CPU time: 2.6126 s Remaining CPU time: 1797.39 s 2.58/2.64 c core #544 2.58/2.64 c Core size: 3 Core Weight: 1 Total Weight: 544 2.58/2.64 c Elapsed CPU time: 2.6186 s Remaining CPU time: 1797.38 s 2.58/2.65 c core #545 2.58/2.65 c Core size: 3 Core Weight: 1 Total Weight: 545 2.58/2.65 c Elapsed CPU time: 2.6246 s Remaining CPU time: 1797.38 s 2.58/2.66 c core #546 2.58/2.66 c Core size: 3 Core Weight: 1 Total Weight: 546 2.58/2.66 c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s 2.58/2.66 c core #547 2.58/2.66 c Core size: 3 Core Weight: 1 Total Weight: 547 2.58/2.66 c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s 2.58/2.67 c core #548 2.58/2.67 c Core size: 3 Core Weight: 1 Total Weight: 548 2.58/2.67 c Elapsed CPU time: 2.6436 s Remaining CPU time: 1797.36 s 2.58/2.68 c core #549 2.58/2.68 c Core size: 3 Core Weight: 1 Total Weight: 549 2.58/2.68 c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s 2.58/2.68 c core #550 2.58/2.68 c Core size: 3 Core Weight: 1 Total Weight: 550 2.58/2.68 c Elapsed CPU time: 2.6556 s Remaining CPU time: 1797.34 s 2.58/2.69 c core #551 2.58/2.69 c Core size: 3 Core Weight: 1 Total Weight: 551 2.58/2.69 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.58/2.69 c core #552 2.58/2.69 c Core size: 3 Core Weight: 1 Total Weight: 552 2.58/2.70 c Elapsed CPU time: 2.66859 s Remaining CPU time: 1797.33 s 2.68/2.70 c core #553 2.68/2.70 c Core size: 3 Core Weight: 1 Total Weight: 553 2.68/2.70 c Elapsed CPU time: 2.67559 s Remaining CPU time: 1797.32 s 2.68/2.71 c core #554 2.68/2.71 c Core size: 3 Core Weight: 1 Total Weight: 554 2.68/2.71 c Elapsed CPU time: 2.68159 s Remaining CPU time: 1797.32 s 2.68/2.71 c core #555 2.68/2.71 c Core size: 3 Core Weight: 1 Total Weight: 555 2.68/2.71 c Elapsed CPU time: 2.68859 s Remaining CPU time: 1797.31 s 2.68/2.72 c core #556 2.68/2.72 c Core size: 3 Core Weight: 1 Total Weight: 556 2.68/2.72 c Elapsed CPU time: 2.69459 s Remaining CPU time: 1797.31 s 2.68/2.73 c core #557 2.68/2.73 c Core size: 3 Core Weight: 1 Total Weight: 557 2.68/2.73 c Elapsed CPU time: 2.70059 s Remaining CPU time: 1797.3 s 2.68/2.73 c core #558 2.68/2.73 c Core size: 3 Core Weight: 1 Total Weight: 558 2.68/2.73 c Elapsed CPU time: 2.70759 s Remaining CPU time: 1797.29 s 2.68/2.74 c core #559 2.68/2.74 c Core size: 3 Core Weight: 1 Total Weight: 559 2.68/2.74 c Elapsed CPU time: 2.71359 s Remaining CPU time: 1797.29 s 2.68/2.75 c core #560 2.68/2.75 c Core size: 3 Core Weight: 1 Total Weight: 560 2.68/2.75 c Elapsed CPU time: 2.72059 s Remaining CPU time: 1797.28 s 2.68/2.75 c core #561 2.68/2.75 c Core size: 3 Core Weight: 1 Total Weight: 561 2.68/2.75 c Elapsed CPU time: 2.72659 s Remaining CPU time: 1797.27 s 2.68/2.76 c core #562 2.68/2.76 c Core size: 3 Core Weight: 1 Total Weight: 562 2.68/2.76 c Elapsed CPU time: 2.73358 s Remaining CPU time: 1797.27 s 2.68/2.77 c core #563 2.68/2.77 c Core size: 3 Core Weight: 1 Total Weight: 563 2.68/2.77 c Elapsed CPU time: 2.73958 s Remaining CPU time: 1797.26 s 2.68/2.77 c core #564 2.68/2.77 c Core size: 3 Core Weight: 1 Total Weight: 564 2.68/2.77 c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s 2.68/2.78 c core #565 2.68/2.78 c Core size: 3 Core Weight: 1 Total Weight: 565 2.68/2.78 c Elapsed CPU time: 2.75258 s Remaining CPU time: 1797.25 s 2.68/2.79 c core #566 2.68/2.79 c Core size: 3 Core Weight: 1 Total Weight: 566 2.68/2.79 c Elapsed CPU time: 2.75858 s Remaining CPU time: 1797.24 s 2.68/2.79 c core #567 2.68/2.79 c Core size: 3 Core Weight: 1 Total Weight: 567 2.68/2.79 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.77/2.80 c core #568 2.77/2.80 c Core size: 3 Core Weight: 1 Total Weight: 568 2.77/2.80 c Elapsed CPU time: 2.77158 s Remaining CPU time: 1797.23 s 2.77/2.80 c core #569 2.77/2.80 c Core size: 3 Core Weight: 1 Total Weight: 569 2.77/2.81 c Elapsed CPU time: 2.77758 s Remaining CPU time: 1797.22 s 2.77/2.81 c core #570 2.77/2.81 c Core size: 3 Core Weight: 1 Total Weight: 570 2.77/2.81 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 2.77/2.82 c core #571 2.77/2.82 c Core size: 3 Core Weight: 1 Total Weight: 571 2.77/2.82 c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s 2.77/2.82 c core #572 2.77/2.82 c Core size: 3 Core Weight: 1 Total Weight: 572 2.77/2.82 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.77/2.83 c core #573 2.77/2.83 c Core size: 3 Core Weight: 1 Total Weight: 573 2.77/2.83 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.77/2.84 c core #574 2.77/2.84 c Core size: 3 Core Weight: 1 Total Weight: 574 2.77/2.84 c Elapsed CPU time: 2.80957 s Remaining CPU time: 1797.19 s 2.77/2.84 c core #575 2.77/2.84 c Core size: 3 Core Weight: 1 Total Weight: 575 2.77/2.84 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.77/2.85 c core #576 2.77/2.85 c Core size: 3 Core Weight: 1 Total Weight: 576 2.77/2.85 c Elapsed CPU time: 2.82157 s Remaining CPU time: 1797.18 s 2.77/2.86 c core #577 2.77/2.86 c Core size: 3 Core Weight: 1 Total Weight: 577 2.77/2.86 c Elapsed CPU time: 2.82757 s Remaining CPU time: 1797.17 s 2.77/2.86 c core #578 2.77/2.86 c Core size: 3 Core Weight: 1 Total Weight: 578 2.77/2.86 c Elapsed CPU time: 2.83457 s Remaining CPU time: 1797.17 s 2.77/2.87 c core #579 2.77/2.87 c Core size: 3 Core Weight: 1 Total Weight: 579 2.77/2.87 c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 s 2.77/2.88 c core #580 2.77/2.88 c Core size: 3 Core Weight: 1 Total Weight: 580 2.77/2.88 c Elapsed CPU time: 2.84657 s Remaining CPU time: 1797.15 s 2.77/2.88 c core #581 2.77/2.88 c Core size: 3 Core Weight: 1 Total Weight: 581 2.77/2.88 c Elapsed CPU time: 2.85257 s Remaining CPU time: 1797.15 s 2.77/2.89 c core #582 2.77/2.89 c Core size: 3 Core Weight: 1 Total Weight: 582 2.77/2.89 c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s 2.87/2.90 c core #583 2.87/2.90 c Core size: 3 Core Weight: 1 Total Weight: 583 2.87/2.90 c Elapsed CPU time: 2.86556 s Remaining CPU time: 1797.13 s 2.87/2.90 c core #584 2.87/2.90 c Core size: 3 Core Weight: 1 Total Weight: 584 2.87/2.90 c Elapsed CPU time: 2.87156 s Remaining CPU time: 1797.13 s 2.87/2.91 c core #585 2.87/2.91 c Core size: 3 Core Weight: 1 Total Weight: 585 2.87/2.91 c Elapsed CPU time: 2.87856 s Remaining CPU time: 1797.12 s 2.87/2.92 c core #586 2.87/2.92 c Core size: 3 Core Weight: 1 Total Weight: 586 2.87/2.92 c Elapsed CPU time: 2.88456 s Remaining CPU time: 1797.12 s 2.87/2.92 c core #587 2.87/2.92 c Core size: 3 Core Weight: 1 Total Weight: 587 2.87/2.92 c Elapsed CPU time: 2.89056 s Remaining CPU time: 1797.11 s 2.87/2.93 c core #588 2.87/2.93 c Core size: 3 Core Weight: 1 Total Weight: 588 2.87/2.93 c Elapsed CPU time: 2.89756 s Remaining CPU time: 1797.1 s 2.87/2.94 c core #589 2.87/2.94 c Core size: 3 Core Weight: 1 Total Weight: 589 2.87/2.94 c Elapsed CPU time: 2.90356 s Remaining CPU time: 1797.1 s 2.87/2.94 c core #590 2.87/2.94 c Core size: 3 Core Weight: 1 Total Weight: 590 2.87/2.94 c Elapsed CPU time: 2.91056 s Remaining CPU time: 1797.09 s 2.87/2.95 c core #591 2.87/2.95 c Core size: 3 Core Weight: 1 Total Weight: 591 2.87/2.95 c Elapsed CPU time: 2.91656 s Remaining CPU time: 1797.08 s 2.87/2.96 c core #592 2.87/2.96 c Core size: 3 Core Weight: 1 Total Weight: 592 2.87/2.96 c Elapsed CPU time: 2.92355 s Remaining CPU time: 1797.08 s 2.87/2.96 c core #593 2.87/2.96 c Core size: 3 Core Weight: 1 Total Weight: 593 2.87/2.96 c Elapsed CPU time: 2.92955 s Remaining CPU time: 1797.07 s 2.87/2.97 c core #594 2.87/2.97 c Core size: 3 Core Weight: 1 Total Weight: 594 2.87/2.97 c Elapsed CPU time: 2.93555 s Remaining CPU time: 1797.06 s 2.87/2.98 c core #595 2.87/2.98 c Core size: 3 Core Weight: 1 Total Weight: 595 2.87/2.98 c Elapsed CPU time: 2.94255 s Remaining CPU time: 1797.06 s 2.87/2.98 c core #596 2.87/2.98 c Core size: 3 Core Weight: 1 Total Weight: 596 2.87/2.98 c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s 2.87/2.99 c core #597 2.87/2.99 c Core size: 3 Core Weight: 1 Total Weight: 597 2.87/2.99 c Elapsed CPU time: 2.95455 s Remaining CPU time: 1797.05 s 2.97/3.00 c core #598 2.97/3.00 c Core size: 3 Core Weight: 1 Total Weight: 598 2.97/3.00 c Elapsed CPU time: 2.96055 s Remaining CPU time: 1797.04 s 2.97/3.00 c core #599 2.97/3.00 c Core size: 3 Core Weight: 1 Total Weight: 599 2.97/3.00 c Elapsed CPU time: 2.96755 s Remaining CPU time: 1797.03 s 2.97/3.01 c core #600 2.97/3.01 c Core size: 3 Core Weight: 1 Total Weight: 600 2.97/3.01 c Elapsed CPU time: 2.97455 s Remaining CPU time: 1797.03 s 2.97/3.02 c core #601 2.97/3.02 c Core size: 3 Core Weight: 1 Total Weight: 601 2.97/3.02 c Elapsed CPU time: 2.98055 s Remaining CPU time: 1797.02 s 2.97/3.02 c core #602 2.97/3.02 c Core size: 3 Core Weight: 1 Total Weight: 602 2.97/3.02 c Elapsed CPU time: 2.98655 s Remaining CPU time: 1797.01 s 2.97/3.03 c core #603 2.97/3.03 c Core size: 3 Core Weight: 1 Total Weight: 603 2.97/3.03 c Elapsed CPU time: 2.99354 s Remaining CPU time: 1797.01 s 2.97/3.04 c core #604 2.97/3.04 c Core size: 3 Core Weight: 1 Total Weight: 604 2.97/3.04 c Elapsed CPU time: 3.00054 s Remaining CPU time: 1797 s 2.97/3.04 c core #605 2.97/3.04 c Core size: 3 Core Weight: 1 Total Weight: 605 2.97/3.04 c Elapsed CPU time: 3.00654 s Remaining CPU time: 1796.99 s 2.97/3.05 c core #606 2.97/3.05 c Core size: 3 Core Weight: 1 Total Weight: 606 2.97/3.05 c Elapsed CPU time: 3.01254 s Remaining CPU time: 1796.99 s 2.97/3.06 c core #607 2.97/3.06 c Core size: 3 Core Weight: 1 Total Weight: 607 2.97/3.06 c Elapsed CPU time: 3.01954 s Remaining CPU time: 1796.98 s 2.97/3.06 c core #608 2.97/3.06 c Core size: 3 Core Weight: 1 Total Weight: 608 2.97/3.06 c Elapsed CPU time: 3.02654 s Remaining CPU time: 1796.97 s 2.97/3.07 c core #609 2.97/3.07 c Core size: 3 Core Weight: 1 Total Weight: 609 2.97/3.07 c Elapsed CPU time: 3.03354 s Remaining CPU time: 1796.97 s 2.97/3.08 c core #610 2.97/3.08 c Core size: 3 Core Weight: 1 Total Weight: 610 2.97/3.08 c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s 2.97/3.08 c core #611 2.97/3.08 c Core size: 3 Core Weight: 1 Total Weight: 611 2.97/3.08 c Elapsed CPU time: 3.04654 s Remaining CPU time: 1796.95 s 2.97/3.09 c core #612 2.97/3.09 c Core size: 3 Core Weight: 1 Total Weight: 612 2.97/3.09 c Elapsed CPU time: 3.05354 s Remaining CPU time: 1796.95 s 3.06/3.10 c core #613 3.06/3.10 c Core size: 3 Core Weight: 1 Total Weight: 613 3.06/3.10 c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s 3.06/3.11 c core #614 3.06/3.11 c Core size: 3 Core Weight: 1 Total Weight: 614 3.06/3.11 c Elapsed CPU time: 3.06753 s Remaining CPU time: 1796.93 s 3.06/3.11 c core #615 3.06/3.11 c Core size: 3 Core Weight: 1 Total Weight: 615 3.06/3.11 c Elapsed CPU time: 3.07453 s Remaining CPU time: 1796.93 s 3.06/3.12 c core #616 3.06/3.12 c Core size: 3 Core Weight: 1 Total Weight: 616 3.06/3.12 c Elapsed CPU time: 3.08153 s Remaining CPU time: 1796.92 s 3.06/3.13 c core #617 3.06/3.13 c Core size: 3 Core Weight: 1 Total Weight: 617 3.06/3.13 c Elapsed CPU time: 3.08753 s Remaining CPU time: 1796.91 s 3.06/3.13 c core #618 3.06/3.13 c Core size: 3 Core Weight: 1 Total Weight: 618 3.06/3.13 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.06/3.14 c core #619 3.06/3.14 c Core size: 3 Core Weight: 1 Total Weight: 619 3.06/3.14 c Elapsed CPU time: 3.10053 s Remaining CPU time: 1796.9 s 3.06/3.15 c core #620 3.06/3.15 c Core size: 3 Core Weight: 1 Total Weight: 620 3.06/3.15 c Elapsed CPU time: 3.10653 s Remaining CPU time: 1796.89 s 3.06/3.15 c core #621 3.06/3.15 c Core size: 3 Core Weight: 1 Total Weight: 621 3.06/3.15 c Elapsed CPU time: 3.11353 s Remaining CPU time: 1796.89 s 3.06/3.16 c core #622 3.06/3.16 c Core size: 3 Core Weight: 1 Total Weight: 622 3.06/3.16 c Elapsed CPU time: 3.12052 s Remaining CPU time: 1796.88 s 3.06/3.17 c core #623 3.06/3.17 c Core size: 3 Core Weight: 1 Total Weight: 623 3.06/3.17 c Elapsed CPU time: 3.12652 s Remaining CPU time: 1796.87 s 3.06/3.17 c core #624 3.06/3.17 c Core size: 3 Core Weight: 1 Total Weight: 624 3.06/3.17 c Elapsed CPU time: 3.13352 s Remaining CPU time: 1796.87 s 3.06/3.18 c core #625 3.06/3.18 c Core size: 3 Core Weight: 1 Total Weight: 625 3.06/3.18 c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s 3.06/3.19 c core #626 3.06/3.19 c Core size: 3 Core Weight: 1 Total Weight: 626 3.06/3.19 c Elapsed CPU time: 3.14652 s Remaining CPU time: 1796.85 s 3.06/3.19 c core #627 3.06/3.19 c Core size: 3 Core Weight: 1 Total Weight: 627 3.06/3.19 c Elapsed CPU time: 3.15252 s Remaining CPU time: 1796.85 s 3.16/3.20 c core #628 3.16/3.20 c Core size: 3 Core Weight: 1 Total Weight: 628 3.16/3.20 c Elapsed CPU time: 3.15952 s Remaining CPU time: 1796.84 s 3.16/3.21 c core #629 3.16/3.21 c Core size: 3 Core Weight: 1 Total Weight: 629 3.16/3.21 c Elapsed CPU time: 3.16652 s Remaining CPU time: 1796.83 s 3.16/3.22 c core #630 3.16/3.22 c Core size: 3 Core Weight: 1 Total Weight: 630 3.16/3.22 c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s 3.16/3.22 c core #631 3.16/3.22 c Core size: 3 Core Weight: 1 Total Weight: 631 3.16/3.22 c Elapsed CPU time: 3.18052 s Remaining CPU time: 1796.82 s 3.16/3.23 c core #632 3.16/3.23 c Core size: 3 Core Weight: 1 Total Weight: 632 3.16/3.23 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.16/3.24 c core #633 3.16/3.24 c Core size: 3 Core Weight: 1 Total Weight: 633 3.16/3.24 c Elapsed CPU time: 3.19351 s Remaining CPU time: 1796.81 s 3.16/3.24 c core #634 3.16/3.24 c Core size: 3 Core Weight: 1 Total Weight: 634 3.16/3.24 c Elapsed CPU time: 3.20051 s Remaining CPU time: 1796.8 s 3.16/3.25 c core #635 3.16/3.25 c Core size: 3 Core Weight: 1 Total Weight: 635 3.16/3.25 c Elapsed CPU time: 3.20751 s Remaining CPU time: 1796.79 s 3.16/3.26 c core #636 3.16/3.26 c Core size: 3 Core Weight: 1 Total Weight: 636 3.16/3.26 c Elapsed CPU time: 3.21451 s Remaining CPU time: 1796.79 s 3.16/3.26 c core #637 3.16/3.26 c Core size: 3 Core Weight: 1 Total Weight: 637 3.16/3.26 c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s 3.16/3.27 c core #638 3.16/3.27 c Core size: 3 Core Weight: 1 Total Weight: 638 3.16/3.27 c Elapsed CPU time: 3.22851 s Remaining CPU time: 1796.77 s 3.16/3.28 c core #639 3.16/3.28 c Core size: 3 Core Weight: 1 Total Weight: 639 3.16/3.28 c Elapsed CPU time: 3.23551 s Remaining CPU time: 1796.76 s 3.16/3.28 c core #640 3.16/3.28 c Core size: 3 Core Weight: 1 Total Weight: 640 3.16/3.28 c Elapsed CPU time: 3.24151 s Remaining CPU time: 1796.76 s 3.16/3.29 c core #641 3.16/3.29 c Core size: 3 Core Weight: 1 Total Weight: 641 3.16/3.29 c Elapsed CPU time: 3.24751 s Remaining CPU time: 1796.75 s 3.16/3.30 c core #642 3.16/3.30 c Core size: 3 Core Weight: 1 Total Weight: 642 3.16/3.30 c Elapsed CPU time: 3.2545 s Remaining CPU time: 1796.75 s 3.27/3.31 c core #643 3.27/3.31 c Core size: 3 Core Weight: 1 Total Weight: 643 3.27/3.31 c Elapsed CPU time: 3.2615 s Remaining CPU time: 1796.74 s 3.27/3.31 c core #644 3.27/3.31 c Core size: 3 Core Weight: 1 Total Weight: 644 3.27/3.31 c Elapsed CPU time: 3.2685 s Remaining CPU time: 1796.73 s 3.27/3.32 c core #645 3.27/3.32 c Core size: 3 Core Weight: 1 Total Weight: 645 3.27/3.32 c Elapsed CPU time: 3.2755 s Remaining CPU time: 1796.72 s 3.27/3.33 c core #646 3.27/3.33 c Core size: 3 Core Weight: 1 Total Weight: 646 3.27/3.33 c Elapsed CPU time: 3.2825 s Remaining CPU time: 1796.72 s 3.27/3.33 c core #647 3.27/3.33 c Core size: 3 Core Weight: 1 Total Weight: 647 3.27/3.33 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.27/3.34 c core #648 3.27/3.34 c Core size: 3 Core Weight: 1 Total Weight: 648 3.27/3.34 c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s 3.27/3.35 c core #649 3.27/3.35 c Core size: 3 Core Weight: 1 Total Weight: 649 3.27/3.35 c Elapsed CPU time: 3.3035 s Remaining CPU time: 1796.7 s 3.27/3.35 c core #650 3.27/3.35 c Core size: 3 Core Weight: 1 Total Weight: 650 3.27/3.35 c Elapsed CPU time: 3.3105 s Remaining CPU time: 1796.69 s 3.27/3.36 c core #651 3.27/3.36 c Core size: 3 Core Weight: 1 Total Weight: 651 3.27/3.36 c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s 3.27/3.37 c core #652 3.27/3.37 c Core size: 3 Core Weight: 1 Total Weight: 652 3.27/3.37 c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s 3.27/3.38 c core #653 3.27/3.38 c Core size: 3 Core Weight: 1 Total Weight: 653 3.27/3.38 c Elapsed CPU time: 3.33149 s Remaining CPU time: 1796.67 s 3.27/3.38 c core #654 3.27/3.38 c Core size: 3 Core Weight: 1 Total Weight: 654 3.27/3.38 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.27/3.39 c core #655 3.27/3.39 c Core size: 3 Core Weight: 1 Total Weight: 655 3.27/3.39 c Elapsed CPU time: 3.34549 s Remaining CPU time: 1796.65 s 3.37/3.40 c core #656 3.37/3.40 c Core size: 3 Core Weight: 1 Total Weight: 656 3.37/3.40 c Elapsed CPU time: 3.35149 s Remaining CPU time: 1796.65 s 3.37/3.40 c core #657 3.37/3.40 c Core size: 3 Core Weight: 1 Total Weight: 657 3.37/3.40 c Elapsed CPU time: 3.35849 s Remaining CPU time: 1796.64 s 3.37/3.41 c core #658 3.37/3.41 c Core size: 3 Core Weight: 1 Total Weight: 658 3.37/3.41 c Elapsed CPU time: 3.36449 s Remaining CPU time: 1796.64 s 3.37/3.42 c core #659 3.37/3.42 c Core size: 3 Core Weight: 1 Total Weight: 659 3.37/3.42 c Elapsed CPU time: 3.37049 s Remaining CPU time: 1796.63 s 3.37/3.43 c core #660 3.37/3.43 c Core size: 3 Core Weight: 1 Total Weight: 660 3.37/3.43 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.37/3.43 c core #661 3.37/3.43 c Core size: 3 Core Weight: 1 Total Weight: 661 3.37/3.43 c Elapsed CPU time: 3.38449 s Remaining CPU time: 1796.62 s 3.37/3.44 c core #662 3.37/3.44 c Core size: 3 Core Weight: 1 Total Weight: 662 3.37/3.44 c Elapsed CPU time: 3.39148 s Remaining CPU time: 1796.61 s 3.37/3.45 c core #663 3.37/3.45 c Core size: 3 Core Weight: 1 Total Weight: 663 3.37/3.45 c Elapsed CPU time: 3.39848 s Remaining CPU time: 1796.6 s 3.37/3.45 c core #664 3.37/3.45 c Core size: 3 Core Weight: 1 Total Weight: 664 3.37/3.45 c Elapsed CPU time: 3.40548 s Remaining CPU time: 1796.59 s 3.37/3.46 c core #665 3.37/3.46 c Core size: 3 Core Weight: 1 Total Weight: 665 3.37/3.46 c Elapsed CPU time: 3.41248 s Remaining CPU time: 1796.59 s 3.37/3.47 c core #666 3.37/3.47 c Core size: 3 Core Weight: 1 Total Weight: 666 3.37/3.47 c Elapsed CPU time: 3.41948 s Remaining CPU time: 1796.58 s 3.37/3.48 c core #667 3.37/3.48 c Core size: 3 Core Weight: 1 Total Weight: 667 3.37/3.48 c Elapsed CPU time: 3.42648 s Remaining CPU time: 1796.57 s 3.37/3.48 c core #668 3.37/3.48 c Core size: 3 Core Weight: 1 Total Weight: 668 3.37/3.48 c Elapsed CPU time: 3.43348 s Remaining CPU time: 1796.57 s 3.37/3.49 c core #669 3.37/3.49 c Core size: 3 Core Weight: 1 Total Weight: 669 3.37/3.49 c Elapsed CPU time: 3.44048 s Remaining CPU time: 1796.56 s 3.46/3.50 c core #670 3.46/3.50 c Core size: 3 Core Weight: 1 Total Weight: 670 3.46/3.50 c Elapsed CPU time: 3.44747 s Remaining CPU time: 1796.55 s 3.46/3.50 c core #671 3.46/3.50 c Core size: 3 Core Weight: 1 Total Weight: 671 3.46/3.50 c Elapsed CPU time: 3.45447 s Remaining CPU time: 1796.55 s 3.46/3.51 c core #672 3.46/3.51 c Core size: 3 Core Weight: 1 Total Weight: 672 3.46/3.51 c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s 3.46/3.52 c core #673 3.46/3.52 c Core size: 3 Core Weight: 1 Total Weight: 673 3.46/3.52 c Elapsed CPU time: 3.46847 s Remaining CPU time: 1796.53 s 3.46/3.53 c core #674 3.46/3.53 c Core size: 3 Core Weight: 1 Total Weight: 674 3.46/3.53 c Elapsed CPU time: 3.47547 s Remaining CPU time: 1796.52 s 3.46/3.53 c core #675 3.46/3.53 c Core size: 3 Core Weight: 1 Total Weight: 675 3.46/3.53 c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s 3.46/3.54 c core #676 3.46/3.54 c Core size: 3 Core Weight: 1 Total Weight: 676 3.46/3.54 c Elapsed CPU time: 3.49047 s Remaining CPU time: 1796.51 s 3.46/3.55 c core #677 3.46/3.55 c Core size: 3 Core Weight: 1 Total Weight: 677 3.46/3.55 c Elapsed CPU time: 3.49747 s Remaining CPU time: 1796.5 s 3.46/3.55 c core #678 3.46/3.55 c Core size: 3 Core Weight: 1 Total Weight: 678 3.46/3.55 c Elapsed CPU time: 3.50447 s Remaining CPU time: 1796.5 s 3.46/3.56 c core #679 3.46/3.56 c Core size: 3 Core Weight: 1 Total Weight: 679 3.46/3.56 c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 s 3.46/3.57 c core #680 3.46/3.57 c Core size: 3 Core Weight: 1 Total Weight: 680 3.46/3.57 c Elapsed CPU time: 3.51846 s Remaining CPU time: 1796.48 s 3.46/3.58 c core #681 3.46/3.58 c Core size: 3 Core Weight: 1 Total Weight: 681 3.46/3.58 c Elapsed CPU time: 3.52546 s Remaining CPU time: 1796.47 s 3.46/3.58 c core #682 3.46/3.58 c Core size: 3 Core Weight: 1 Total Weight: 682 3.46/3.58 c Elapsed CPU time: 3.53246 s Remaining CPU time: 1796.47 s 3.46/3.59 c core #683 3.46/3.59 c Core size: 3 Core Weight: 1 Total Weight: 683 3.46/3.59 c Elapsed CPU time: 3.53946 s Remaining CPU time: 1796.46 s 3.56/3.60 c core #684 3.56/3.60 c Core size: 3 Core Weight: 1 Total Weight: 684 3.56/3.60 c Elapsed CPU time: 3.54646 s Remaining CPU time: 1796.45 s 3.56/3.61 c core #685 3.56/3.61 c Core size: 3 Core Weight: 1 Total Weight: 685 3.56/3.61 c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s 3.56/3.61 c core #686 3.56/3.61 c Core size: 3 Core Weight: 1 Total Weight: 686 3.56/3.61 c Elapsed CPU time: 3.56046 s Remaining CPU time: 1796.44 s 3.56/3.62 c core #687 3.56/3.62 c Core size: 3 Core Weight: 1 Total Weight: 687 3.56/3.62 c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s 3.56/3.63 c core #688 3.56/3.63 c Core size: 3 Core Weight: 1 Total Weight: 688 3.56/3.63 c Elapsed CPU time: 3.57546 s Remaining CPU time: 1796.42 s 3.56/3.63 c core #689 3.56/3.63 c Core size: 3 Core Weight: 1 Total Weight: 689 3.56/3.63 c Elapsed CPU time: 3.58245 s Remaining CPU time: 1796.42 s 3.56/3.64 c core #690 3.56/3.64 c Core size: 3 Core Weight: 1 Total Weight: 690 3.56/3.64 c Elapsed CPU time: 3.58945 s Remaining CPU time: 1796.41 s 3.56/3.65 c core #691 3.56/3.65 c Core size: 3 Core Weight: 1 Total Weight: 691 3.56/3.65 c Elapsed CPU time: 3.59645 s Remaining CPU time: 1796.4 s 3.56/3.66 c core #692 3.56/3.66 c Core size: 3 Core Weight: 1 Total Weight: 692 3.56/3.66 c Elapsed CPU time: 3.60345 s Remaining CPU time: 1796.4 s 3.56/3.66 c core #693 3.56/3.66 c Core size: 3 Core Weight: 1 Total Weight: 693 3.56/3.66 c Elapsed CPU time: 3.61145 s Remaining CPU time: 1796.39 s 3.56/3.67 c core #694 3.56/3.67 c Core size: 3 Core Weight: 1 Total Weight: 694 3.56/3.67 c Elapsed CPU time: 3.61745 s Remaining CPU time: 1796.38 s 3.56/3.68 c core #695 3.56/3.68 c Core size: 3 Core Weight: 1 Total Weight: 695 3.56/3.68 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.56/3.68 c core #696 3.56/3.68 c Core size: 3 Core Weight: 1 Total Weight: 696 3.56/3.68 c Elapsed CPU time: 3.63245 s Remaining CPU time: 1796.37 s 3.56/3.69 c core #697 3.56/3.69 c Core size: 3 Core Weight: 1 Total Weight: 697 3.56/3.69 c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s 3.66/3.70 c core #698 3.66/3.70 c Core size: 3 Core Weight: 1 Total Weight: 698 3.66/3.70 c Elapsed CPU time: 3.64545 s Remaining CPU time: 1796.35 s 3.66/3.71 c core #699 3.66/3.71 c Core size: 3 Core Weight: 1 Total Weight: 699 3.66/3.71 c Elapsed CPU time: 3.65144 s Remaining CPU time: 1796.35 s 3.66/3.71 c core #700 3.66/3.71 c Core size: 3 Core Weight: 1 Total Weight: 700 3.66/3.71 c Elapsed CPU time: 3.65844 s Remaining CPU time: 1796.34 s 3.66/3.72 c core #701 3.66/3.72 c Core size: 3 Core Weight: 1 Total Weight: 701 3.66/3.72 c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s 3.66/3.73 c core #702 3.66/3.73 c Core size: 3 Core Weight: 1 Total Weight: 702 3.66/3.73 c Elapsed CPU time: 3.67344 s Remaining CPU time: 1796.33 s 3.66/3.74 c core #703 3.66/3.74 c Core size: 3 Core Weight: 1 Total Weight: 703 3.66/3.74 c Elapsed CPU time: 3.68144 s Remaining CPU time: 1796.32 s 3.66/3.74 c core #704 3.66/3.74 c Core size: 3 Core Weight: 1 Total Weight: 704 3.66/3.74 c Elapsed CPU time: 3.68844 s Remaining CPU time: 1796.31 s 3.66/3.75 c core #705 3.66/3.75 c Core size: 3 Core Weight: 1 Total Weight: 705 3.66/3.75 c Elapsed CPU time: 3.69544 s Remaining CPU time: 1796.3 s 3.66/3.76 c core #706 3.66/3.76 c Core size: 3 Core Weight: 1 Total Weight: 706 3.66/3.76 c Elapsed CPU time: 3.70244 s Remaining CPU time: 1796.3 s 3.66/3.77 c core #707 3.66/3.77 c Core size: 3 Core Weight: 1 Total Weight: 707 3.66/3.77 c Elapsed CPU time: 3.70944 s Remaining CPU time: 1796.29 s 3.66/3.77 c core #708 3.66/3.77 c Core size: 3 Core Weight: 1 Total Weight: 708 3.66/3.77 c Elapsed CPU time: 3.71644 s Remaining CPU time: 1796.28 s 3.66/3.78 c core #709 3.66/3.78 c Core size: 3 Core Weight: 1 Total Weight: 709 3.66/3.78 c Elapsed CPU time: 3.72443 s Remaining CPU time: 1796.28 s 3.66/3.79 c core #710 3.66/3.79 c Core size: 3 Core Weight: 1 Total Weight: 710 3.66/3.79 c Elapsed CPU time: 3.73143 s Remaining CPU time: 1796.27 s 3.66/3.80 c core #711 3.66/3.80 c Core size: 3 Core Weight: 1 Total Weight: 711 3.66/3.80 c Elapsed CPU time: 3.73943 s Remaining CPU time: 1796.26 s 3.76/3.80 c core #712 3.76/3.80 c Core size: 3 Core Weight: 1 Total Weight: 712 3.76/3.80 c Elapsed CPU time: 3.74643 s Remaining CPU time: 1796.25 s 3.76/3.81 c core #713 3.76/3.81 c Core size: 3 Core Weight: 1 Total Weight: 713 3.76/3.81 c Elapsed CPU time: 3.75443 s Remaining CPU time: 1796.25 s 3.76/3.82 c core #714 3.76/3.82 c Core size: 3 Core Weight: 1 Total Weight: 714 3.76/3.82 c Elapsed CPU time: 3.76143 s Remaining CPU time: 1796.24 s 3.76/3.83 c core #715 3.76/3.83 c Core size: 3 Core Weight: 1 Total Weight: 715 3.76/3.83 c Elapsed CPU time: 3.76943 s Remaining CPU time: 1796.23 s 3.76/3.83 c core #716 3.76/3.83 c Core size: 3 Core Weight: 1 Total Weight: 716 3.76/3.83 c Elapsed CPU time: 3.77643 s Remaining CPU time: 1796.22 s 3.76/3.84 c core #717 3.76/3.84 c Core size: 3 Core Weight: 1 Total Weight: 717 3.76/3.84 c Elapsed CPU time: 3.78442 s Remaining CPU time: 1796.22 s 3.76/3.85 c core #718 3.76/3.85 c Core size: 3 Core Weight: 1 Total Weight: 718 3.76/3.85 c Elapsed CPU time: 3.79142 s Remaining CPU time: 1796.21 s 3.76/3.86 c core #719 3.76/3.86 c Core size: 3 Core Weight: 1 Total Weight: 719 3.76/3.86 c Elapsed CPU time: 3.79842 s Remaining CPU time: 1796.2 s 3.76/3.86 c core #720 3.76/3.86 c Core size: 3 Core Weight: 1 Total Weight: 720 3.76/3.86 c Elapsed CPU time: 3.80542 s Remaining CPU time: 1796.19 s 3.76/3.87 c core #721 3.76/3.87 c Core size: 3 Core Weight: 1 Total Weight: 721 3.76/3.87 c Elapsed CPU time: 3.81342 s Remaining CPU time: 1796.19 s 3.76/3.88 c core #722 3.76/3.88 c Core size: 3 Core Weight: 1 Total Weight: 722 3.76/3.88 c Elapsed CPU time: 3.82042 s Remaining CPU time: 1796.18 s 3.76/3.89 c core #723 3.76/3.89 c Core size: 3 Core Weight: 1 Total Weight: 723 3.76/3.89 c Elapsed CPU time: 3.82842 s Remaining CPU time: 1796.17 s 3.76/3.89 c core #724 3.76/3.89 c Core size: 3 Core Weight: 1 Total Weight: 724 3.76/3.89 c Elapsed CPU time: 3.83542 s Remaining CPU time: 1796.16 s 3.85/3.90 c core #725 3.85/3.90 c Core size: 3 Core Weight: 1 Total Weight: 725 3.85/3.90 c Elapsed CPU time: 3.84342 s Remaining CPU time: 1796.16 s 3.85/3.91 c core #726 3.85/3.91 c Core size: 3 Core Weight: 1 Total Weight: 726 3.85/3.91 c Elapsed CPU time: 3.85141 s Remaining CPU time: 1796.15 s 3.85/3.92 c core #727 3.85/3.92 c Core size: 3 Core Weight: 1 Total Weight: 727 3.85/3.92 c Elapsed CPU time: 3.85841 s Remaining CPU time: 1796.14 s 3.85/3.92 c core #728 3.85/3.92 c Core size: 3 Core Weight: 1 Total Weight: 728 3.85/3.92 c Elapsed CPU time: 3.86641 s Remaining CPU time: 1796.13 s 3.85/3.93 c core #729 3.85/3.93 c Core size: 3 Core Weight: 1 Total Weight: 729 3.85/3.93 c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s 3.85/3.94 c core #730 3.85/3.94 c Core size: 3 Core Weight: 1 Total Weight: 730 3.85/3.94 c Elapsed CPU time: 3.88041 s Remaining CPU time: 1796.12 s 3.85/3.95 c core #731 3.85/3.95 c Core size: 3 Core Weight: 1 Total Weight: 731 3.85/3.95 c Elapsed CPU time: 3.88741 s Remaining CPU time: 1796.11 s 3.85/3.95 c core #732 3.85/3.95 c Core size: 3 Core Weight: 1 Total Weight: 732 3.85/3.95 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.85/3.96 c core #733 3.85/3.96 c Core size: 3 Core Weight: 1 Total Weight: 733 3.85/3.96 c Elapsed CPU time: 3.90241 s Remaining CPU time: 1796.1 s 3.85/3.97 c core #734 3.85/3.97 c Core size: 3 Core Weight: 1 Total Weight: 734 3.85/3.97 c Elapsed CPU time: 3.9104 s Remaining CPU time: 1796.09 s 3.85/3.98 c core #735 3.85/3.98 c Core size: 3 Core Weight: 1 Total Weight: 735 3.85/3.98 c Elapsed CPU time: 3.9174 s Remaining CPU time: 1796.08 s 3.85/3.98 c core #736 3.85/3.98 c Core size: 3 Core Weight: 1 Total Weight: 736 3.85/3.98 c Elapsed CPU time: 3.9254 s Remaining CPU time: 1796.07 s 3.85/3.99 c core #737 3.85/3.99 c Core size: 3 Core Weight: 1 Total Weight: 737 3.85/3.99 c Elapsed CPU time: 3.9324 s Remaining CPU time: 1796.07 s 3.95/4.00 c core #738 3.95/4.00 c Core size: 3 Core Weight: 1 Total Weight: 738 3.95/4.00 c Elapsed CPU time: 3.9394 s Remaining CPU time: 1796.06 s 3.95/4.01 c core #739 3.95/4.01 c Core size: 3 Core Weight: 1 Total Weight: 739 3.95/4.01 c Elapsed CPU time: 3.9474 s Remaining CPU time: 1796.05 s 3.95/4.01 c core #740 3.95/4.01 c Core size: 3 Core Weight: 1 Total Weight: 740 3.95/4.01 c Elapsed CPU time: 3.9544 s Remaining CPU time: 1796.05 s 3.95/4.02 c core #741 3.95/4.02 c Core size: 3 Core Weight: 1 Total Weight: 741 3.95/4.02 c Elapsed CPU time: 3.9624 s Remaining CPU time: 1796.04 s 3.95/4.03 c core #742 3.95/4.03 c Core size: 3 Core Weight: 1 Total Weight: 742 3.95/4.03 c Elapsed CPU time: 3.9694 s Remaining CPU time: 1796.03 s 3.95/4.04 c core #743 3.95/4.04 c Core size: 3 Core Weight: 1 Total Weight: 743 3.95/4.04 c Elapsed CPU time: 3.9764 s Remaining CPU time: 1796.02 s 3.95/4.04 c core #744 3.95/4.04 c Core size: 3 Core Weight: 1 Total Weight: 744 3.95/4.04 c Elapsed CPU time: 3.98439 s Remaining CPU time: 1796.02 s 3.95/4.05 c core #745 3.95/4.05 c Core size: 3 Core Weight: 1 Total Weight: 745 3.95/4.05 c Elapsed CPU time: 3.99139 s Remaining CPU time: 1796.01 s 3.95/4.06 c core #746 3.95/4.06 c Core size: 3 Core Weight: 1 Total Weight: 746 3.95/4.06 c Elapsed CPU time: 3.99839 s Remaining CPU time: 1796 s 3.95/4.07 c core #747 3.95/4.07 c Core size: 3 Core Weight: 1 Total Weight: 747 3.95/4.07 c Elapsed CPU time: 4.00539 s Remaining CPU time: 1795.99 s 3.95/4.07 c core #748 3.95/4.07 c Core size: 3 Core Weight: 1 Total Weight: 748 3.95/4.07 c Elapsed CPU time: 4.01339 s Remaining CPU time: 1795.99 s 3.95/4.08 c core #749 3.95/4.08 c Core size: 3 Core Weight: 1 Total Weight: 749 3.95/4.08 c Elapsed CPU time: 4.02039 s Remaining CPU time: 1795.98 s 3.95/4.09 c core #750 3.95/4.09 c Core size: 3 Core Weight: 1 Total Weight: 750 3.95/4.09 c Elapsed CPU time: 4.02839 s Remaining CPU time: 1795.97 s 3.95/4.10 c core #751 3.95/4.10 c Core size: 3 Core Weight: 1 Total Weight: 751 3.95/4.10 c Elapsed CPU time: 4.03639 s Remaining CPU time: 1795.96 s 4.05/4.10 c core #752 4.05/4.10 c Core size: 3 Core Weight: 1 Total Weight: 752 4.05/4.10 c Elapsed CPU time: 4.04338 s Remaining CPU time: 1795.96 s 4.05/4.11 c core #753 4.05/4.11 c Core size: 3 Core Weight: 1 Total Weight: 753 4.05/4.11 c Elapsed CPU time: 4.05138 s Remaining CPU time: 1795.95 s 4.05/4.12 c core #754 4.05/4.12 c Core size: 3 Core Weight: 1 Total Weight: 754 4.05/4.12 c Elapsed CPU time: 4.05938 s Remaining CPU time: 1795.94 s 4.05/4.13 c core #755 4.05/4.13 c Core size: 3 Core Weight: 1 Total Weight: 755 4.05/4.13 c Elapsed CPU time: 4.06638 s Remaining CPU time: 1795.93 s 4.05/4.13 c core #756 4.05/4.13 c Core size: 3 Core Weight: 1 Total Weight: 756 4.05/4.13 c Elapsed CPU time: 4.07338 s Remaining CPU time: 1795.93 s 4.05/4.14 c core #757 4.05/4.14 c Core size: 3 Core Weight: 1 Total Weight: 757 4.05/4.14 c Elapsed CPU time: 4.08138 s Remaining CPU time: 1795.92 s 4.05/4.15 c core #758 4.05/4.15 c Core size: 3 Core Weight: 1 Total Weight: 758 4.05/4.15 c Elapsed CPU time: 4.08838 s Remaining CPU time: 1795.91 s 4.05/4.16 c core #759 4.05/4.16 c Core size: 3 Core Weight: 1 Total Weight: 759 4.05/4.16 c Elapsed CPU time: 4.09538 s Remaining CPU time: 1795.9 s 4.05/4.17 c core #760 4.05/4.17 c Core size: 3 Core Weight: 1 Total Weight: 760 4.05/4.17 c Elapsed CPU time: 4.10338 s Remaining CPU time: 1795.9 s 4.05/4.17 c core #761 4.05/4.17 c Core size: 3 Core Weight: 1 Total Weight: 761 4.05/4.17 c Elapsed CPU time: 4.11038 s Remaining CPU time: 1795.89 s 4.05/4.18 c core #762 4.05/4.18 c Core size: 3 Core Weight: 1 Total Weight: 762 4.05/4.18 c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s 4.05/4.19 c core #763 4.05/4.19 c Core size: 3 Core Weight: 1 Total Weight: 763 4.05/4.19 c Elapsed CPU time: 4.12637 s Remaining CPU time: 1795.87 s 4.05/4.20 c core #764 4.05/4.20 c Core size: 3 Core Weight: 1 Total Weight: 764 4.05/4.20 c Elapsed CPU time: 4.13337 s Remaining CPU time: 1795.87 s 4.15/4.20 c core #765 4.15/4.20 c Core size: 3 Core Weight: 1 Total Weight: 765 4.15/4.20 c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s 4.15/4.21 c core #766 4.15/4.21 c Core size: 3 Core Weight: 1 Total Weight: 766 4.15/4.21 c Elapsed CPU time: 4.14937 s Remaining CPU time: 1795.85 s 4.15/4.22 c core #767 4.15/4.22 c Core size: 3 Core Weight: 1 Total Weight: 767 4.15/4.22 c Elapsed CPU time: 4.15737 s Remaining CPU time: 1795.84 s 4.15/4.23 c core #768 4.15/4.23 c Core size: 3 Core Weight: 1 Total Weight: 768 4.15/4.23 c Elapsed CPU time: 4.16437 s Remaining CPU time: 1795.84 s 4.15/4.24 c core #769 4.15/4.24 c Core size: 3 Core Weight: 1 Total Weight: 769 4.15/4.24 c Elapsed CPU time: 4.17136 s Remaining CPU time: 1795.83 s 4.15/4.24 c core #770 4.15/4.24 c Core size: 3 Core Weight: 1 Total Weight: 770 4.15/4.24 c Elapsed CPU time: 4.17836 s Remaining CPU time: 1795.82 s 4.15/4.25 c core #771 4.15/4.25 c Core size: 3 Core Weight: 1 Total Weight: 771 4.15/4.25 c Elapsed CPU time: 4.18636 s Remaining CPU time: 1795.81 s 4.15/4.26 c core #772 4.15/4.26 c Core size: 3 Core Weight: 1 Total Weight: 772 4.15/4.26 c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s 4.15/4.27 c core #773 4.15/4.27 c Core size: 3 Core Weight: 1 Total Weight: 773 4.15/4.27 c Elapsed CPU time: 4.20236 s Remaining CPU time: 1795.8 s 4.15/4.27 c core #774 4.15/4.27 c Core size: 3 Core Weight: 1 Total Weight: 774 4.15/4.27 c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s 4.15/4.28 c core #775 4.15/4.28 c Core size: 3 Core Weight: 1 Total Weight: 775 4.15/4.28 c Elapsed CPU time: 4.21836 s Remaining CPU time: 1795.78 s 4.15/4.29 c core #776 4.15/4.29 c Core size: 3 Core Weight: 1 Total Weight: 776 4.15/4.29 c Elapsed CPU time: 4.22536 s Remaining CPU time: 1795.77 s 4.15/4.30 c core #777 4.15/4.30 c Core size: 3 Core Weight: 1 Total Weight: 777 4.15/4.30 c Elapsed CPU time: 4.23136 s Remaining CPU time: 1795.77 s 4.25/4.31 c core #778 4.25/4.31 c Core size: 3 Core Weight: 1 Total Weight: 778 4.25/4.31 c Elapsed CPU time: 4.23935 s Remaining CPU time: 1795.76 s 4.25/4.31 c core #779 4.25/4.31 c Core size: 3 Core Weight: 1 Total Weight: 779 4.25/4.31 c Elapsed CPU time: 4.24735 s Remaining CPU time: 1795.75 s 4.25/4.32 c core #780 4.25/4.32 c Core size: 3 Core Weight: 1 Total Weight: 780 4.25/4.32 c Elapsed CPU time: 4.25535 s Remaining CPU time: 1795.74 s 4.25/4.33 c core #781 4.25/4.33 c Core size: 3 Core Weight: 1 Total Weight: 781 4.25/4.33 c Elapsed CPU time: 4.26335 s Remaining CPU time: 1795.74 s 4.25/4.34 c core #782 4.25/4.34 c Core size: 3 Core Weight: 1 Total Weight: 782 4.25/4.34 c Elapsed CPU time: 4.27135 s Remaining CPU time: 1795.73 s 4.25/4.35 c core #783 4.25/4.35 c Core size: 3 Core Weight: 1 Total Weight: 783 4.25/4.35 c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s 4.25/4.35 c core #784 4.25/4.35 c Core size: 3 Core Weight: 1 Total Weight: 784 4.25/4.35 c Elapsed CPU time: 4.28735 s Remaining CPU time: 1795.71 s 4.25/4.36 c core #785 4.25/4.36 c Core size: 3 Core Weight: 1 Total Weight: 785 4.25/4.36 c Elapsed CPU time: 4.29535 s Remaining CPU time: 1795.7 s 4.25/4.37 c core #786 4.25/4.37 c Core size: 3 Core Weight: 1 Total Weight: 786 4.25/4.37 c Elapsed CPU time: 4.30234 s Remaining CPU time: 1795.7 s 4.25/4.38 c core #787 4.25/4.38 c Core size: 3 Core Weight: 1 Total Weight: 787 4.25/4.38 c Elapsed CPU time: 4.30934 s Remaining CPU time: 1795.69 s 4.25/4.39 c core #788 4.25/4.39 c Core size: 3 Core Weight: 1 Total Weight: 788 4.25/4.39 c Elapsed CPU time: 4.31734 s Remaining CPU time: 1795.68 s 4.25/4.39 c core #789 4.25/4.39 c Core size: 3 Core Weight: 1 Total Weight: 789 4.25/4.39 c Elapsed CPU time: 4.32534 s Remaining CPU time: 1795.67 s 4.25/4.40 c core #790 4.25/4.40 c Core size: 3 Core Weight: 1 Total Weight: 790 4.25/4.40 c Elapsed CPU time: 4.33334 s Remaining CPU time: 1795.67 s 4.35/4.41 c core #791 4.35/4.41 c Core size: 3 Core Weight: 1 Total Weight: 791 4.35/4.41 c Elapsed CPU time: 4.34134 s Remaining CPU time: 1795.66 s 4.35/4.42 c core #792 4.35/4.42 c Core size: 3 Core Weight: 1 Total Weight: 792 4.35/4.42 c Elapsed CPU time: 4.34934 s Remaining CPU time: 1795.65 s 4.35/4.42 c core #793 4.35/4.42 c Core size: 3 Core Weight: 1 Total Weight: 793 4.35/4.42 c Elapsed CPU time: 4.35734 s Remaining CPU time: 1795.64 s 4.35/4.43 c core #794 4.35/4.43 c Core size: 3 Core Weight: 1 Total Weight: 794 4.35/4.43 c Elapsed CPU time: 4.36534 s Remaining CPU time: 1795.63 s 4.35/4.44 c core #795 4.35/4.44 c Core size: 3 Core Weight: 1 Total Weight: 795 4.35/4.44 c Elapsed CPU time: 4.37333 s Remaining CPU time: 1795.63 s 4.35/4.45 c core #796 4.35/4.45 c Core size: 3 Core Weight: 1 Total Weight: 796 4.35/4.45 c Elapsed CPU time: 4.38133 s Remaining CPU time: 1795.62 s 4.35/4.46 c core #797 4.35/4.46 c Core size: 3 Core Weight: 1 Total Weight: 797 4.35/4.46 c Elapsed CPU time: 4.38933 s Remaining CPU time: 1795.61 s 4.35/4.46 c core #798 4.35/4.46 c Core size: 3 Core Weight: 1 Total Weight: 798 4.35/4.47 c Elapsed CPU time: 4.39733 s Remaining CPU time: 1795.6 s 4.35/4.47 c core #799 4.35/4.47 c Core size: 3 Core Weight: 1 Total Weight: 799 4.35/4.47 c Elapsed CPU time: 4.40633 s Remaining CPU time: 1795.59 s 4.35/4.48 c core #800 4.35/4.48 c Core size: 3 Core Weight: 1 Total Weight: 800 4.35/4.48 c Elapsed CPU time: 4.41333 s Remaining CPU time: 1795.59 s 4.35/4.49 c core #801 4.35/4.49 c Core size: 3 Core Weight: 1 Total Weight: 801 4.35/4.49 c Elapsed CPU time: 4.42133 s Remaining CPU time: 1795.58 s 4.35/4.50 c core #802 4.35/4.50 c Core size: 3 Core Weight: 1 Total Weight: 802 4.35/4.50 c Elapsed CPU time: 4.42833 s Remaining CPU time: 1795.57 s 4.45/4.51 c core #803 4.45/4.51 c Core size: 3 Core Weight: 1 Total Weight: 803 4.45/4.51 c Elapsed CPU time: 4.43633 s Remaining CPU time: 1795.56 s 4.45/4.51 c core #804 4.45/4.51 c Core size: 3 Core Weight: 1 Total Weight: 804 4.45/4.51 c Elapsed CPU time: 4.44432 s Remaining CPU time: 1795.56 s 4.45/4.52 c core #805 4.45/4.52 c Core size: 3 Core Weight: 1 Total Weight: 805 4.45/4.52 c Elapsed CPU time: 4.45132 s Remaining CPU time: 1795.55 s 4.45/4.53 c core #806 4.45/4.53 c Core size: 3 Core Weight: 1 Total Weight: 806 4.45/4.53 c Elapsed CPU time: 4.45832 s Remaining CPU time: 1795.54 s 4.45/4.54 c core #807 4.45/4.54 c Core size: 3 Core Weight: 1 Total Weight: 807 4.45/4.54 c Elapsed CPU time: 4.46632 s Remaining CPU time: 1795.53 s 4.45/4.54 c core #808 4.45/4.54 c Core size: 3 Core Weight: 1 Total Weight: 808 4.45/4.54 c Elapsed CPU time: 4.47332 s Remaining CPU time: 1795.53 s 4.45/4.55 c core #809 4.45/4.55 c Core size: 3 Core Weight: 1 Total Weight: 809 4.45/4.55 c Elapsed CPU time: 4.48132 s Remaining CPU time: 1795.52 s 4.45/4.56 c core #810 4.45/4.56 c Core size: 3 Core Weight: 1 Total Weight: 810 4.45/4.56 c Elapsed CPU time: 4.48932 s Remaining CPU time: 1795.51 s 4.45/4.57 c core #811 4.45/4.57 c Core size: 3 Core Weight: 1 Total Weight: 811 4.45/4.57 c Elapsed CPU time: 4.49732 s Remaining CPU time: 1795.5 s 4.45/4.58 c core #812 4.45/4.58 c Core size: 3 Core Weight: 1 Total Weight: 812 4.45/4.58 c Elapsed CPU time: 4.50531 s Remaining CPU time: 1795.49 s 4.45/4.59 c core #813 4.45/4.59 c Core size: 3 Core Weight: 1 Total Weight: 813 4.45/4.59 c Elapsed CPU time: 4.51331 s Remaining CPU time: 1795.49 s 4.45/4.59 c core #814 4.45/4.59 c Core size: 3 Core Weight: 1 Total Weight: 814 4.45/4.59 c Elapsed CPU time: 4.52131 s Remaining CPU time: 1795.48 s 4.55/4.60 c core #815 4.55/4.60 c Core size: 3 Core Weight: 1 Total Weight: 815 4.55/4.60 c Elapsed CPU time: 4.52931 s Remaining CPU time: 1795.47 s 4.55/4.61 c core #816 4.55/4.61 c Core size: 3 Core Weight: 1 Total Weight: 816 4.55/4.61 c Elapsed CPU time: 4.53731 s Remaining CPU time: 1795.46 s 4.55/4.62 c core #817 4.55/4.62 c Core size: 3 Core Weight: 1 Total Weight: 817 4.55/4.62 c Elapsed CPU time: 4.54531 s Remaining CPU time: 1795.45 s 4.55/4.63 c core #818 4.55/4.63 c Core size: 3 Core Weight: 1 Total Weight: 818 4.55/4.63 c Elapsed CPU time: 4.55331 s Remaining CPU time: 1795.45 s 4.55/4.64 c core #819 4.55/4.64 c Core size: 3 Core Weight: 1 Total Weight: 819 4.55/4.64 c Elapsed CPU time: 4.56131 s Remaining CPU time: 1795.44 s 4.55/4.64 c core #820 4.55/4.64 c Core size: 3 Core Weight: 1 Total Weight: 820 4.55/4.64 c Elapsed CPU time: 4.5693 s Remaining CPU time: 1795.43 s 4.55/4.65 c core #821 4.55/4.65 c Core size: 7 Core Weight: 1 Total Weight: 821 4.55/4.65 c Elapsed CPU time: 4.5773 s Remaining CPU time: 1795.42 s 4.55/4.66 c core #822 4.55/4.66 c Core size: 7 Core Weight: 1 Total Weight: 822 4.55/4.66 c Elapsed CPU time: 4.5853 s Remaining CPU time: 1795.41 s 4.55/4.67 c core #823 4.55/4.67 c Core size: 7 Core Weight: 1 Total Weight: 823 4.55/4.67 c Elapsed CPU time: 4.5933 s Remaining CPU time: 1795.41 s 4.55/4.68 c core #824 4.55/4.68 c Core size: 7 Core Weight: 1 Total Weight: 824 4.55/4.68 c Elapsed CPU time: 4.6003 s Remaining CPU time: 1795.4 s 4.55/4.69 c core #825 4.55/4.69 c Core size: 7 Core Weight: 1 Total Weight: 825 4.55/4.69 c Elapsed CPU time: 4.6083 s Remaining CPU time: 1795.39 s 4.55/4.69 c core #826 4.55/4.69 c Core size: 7 Core Weight: 1 Total Weight: 826 4.55/4.69 c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s 4.65/4.70 c core #827 4.65/4.70 c Core size: 7 Core Weight: 1 Total Weight: 827 4.65/4.70 c Elapsed CPU time: 4.6253 s Remaining CPU time: 1795.37 s 4.65/4.71 c core #828 4.65/4.71 c Core size: 7 Core Weight: 1 Total Weight: 828 4.65/4.71 c Elapsed CPU time: 4.6333 s Remaining CPU time: 1795.37 s 4.65/4.72 c core #829 4.65/4.72 c Core size: 7 Core Weight: 1 Total Weight: 829 4.65/4.72 c Elapsed CPU time: 4.64129 s Remaining CPU time: 1795.36 s 4.65/4.73 c core #830 4.65/4.73 c Core size: 7 Core Weight: 1 Total Weight: 830 4.65/4.73 c Elapsed CPU time: 4.64929 s Remaining CPU time: 1795.35 s 4.65/4.74 c core #831 4.65/4.74 c Core size: 7 Core Weight: 1 Total Weight: 831 4.65/4.74 c Elapsed CPU time: 4.65729 s Remaining CPU time: 1795.34 s 4.65/4.74 c core #832 4.65/4.74 c Core size: 7 Core Weight: 1 Total Weight: 832 4.65/4.74 c Elapsed CPU time: 4.66629 s Remaining CPU time: 1795.33 s 4.65/4.75 c core #833 4.65/4.75 c Core size: 7 Core Weight: 1 Total Weight: 833 4.65/4.75 c Elapsed CPU time: 4.67429 s Remaining CPU time: 1795.33 s 4.65/4.76 c core #834 4.65/4.76 c Core size: 7 Core Weight: 1 Total Weight: 834 4.65/4.76 c Elapsed CPU time: 4.68329 s Remaining CPU time: 1795.32 s 4.65/4.77 c core #835 4.65/4.77 c Core size: 7 Core Weight: 1 Total Weight: 835 4.65/4.77 c Elapsed CPU time: 4.69129 s Remaining CPU time: 1795.31 s 4.65/4.78 c core #836 4.65/4.78 c Core size: 7 Core Weight: 1 Total Weight: 836 4.65/4.78 c Elapsed CPU time: 4.69928 s Remaining CPU time: 1795.3 s 4.65/4.79 c core #837 4.65/4.79 c Core size: 7 Core Weight: 1 Total Weight: 837 4.65/4.79 c Elapsed CPU time: 4.70828 s Remaining CPU time: 1795.29 s 4.65/4.79 c core #838 4.65/4.79 c Core size: 11 Core Weight: 1 Total Weight: 838 4.65/4.79 c Elapsed CPU time: 4.71628 s Remaining CPU time: 1795.28 s 4.74/4.80 c core #839 4.74/4.80 c Core size: 7 Core Weight: 1 Total Weight: 839 4.74/4.80 c Elapsed CPU time: 4.72528 s Remaining CPU time: 1795.27 s 4.74/4.81 c core #840 4.74/4.81 c Core size: 7 Core Weight: 1 Total Weight: 840 4.74/4.81 c Elapsed CPU time: 4.73428 s Remaining CPU time: 1795.27 s 4.74/4.82 c core #841 4.74/4.82 c Core size: 7 Core Weight: 1 Total Weight: 841 4.74/4.82 c Elapsed CPU time: 4.74228 s Remaining CPU time: 1795.26 s 4.74/4.83 c core #842 4.74/4.83 c Core size: 7 Core Weight: 1 Total Weight: 842 4.74/4.83 c Elapsed CPU time: 4.75128 s Remaining CPU time: 1795.25 s 4.74/4.84 c core #843 4.74/4.84 c Core size: 7 Core Weight: 1 Total Weight: 843 4.74/4.84 c Elapsed CPU time: 4.75928 s Remaining CPU time: 1795.24 s 4.74/4.85 c core #844 4.74/4.85 c Core size: 7 Core Weight: 1 Total Weight: 844 4.74/4.85 c Elapsed CPU time: 4.76727 s Remaining CPU time: 1795.23 s 4.74/4.85 c core #845 4.74/4.85 c Core size: 7 Core Weight: 1 Total Weight: 845 4.74/4.86 c Elapsed CPU time: 4.77627 s Remaining CPU time: 1795.22 s 4.74/4.86 c core #846 4.74/4.86 c Core size: 15 Core Weight: 1 Total Weight: 846 4.74/4.86 c Elapsed CPU time: 4.78427 s Remaining CPU time: 1795.22 s 4.74/4.87 c core #847 4.74/4.87 c Core size: 7 Core Weight: 1 Total Weight: 847 4.74/4.87 c Elapsed CPU time: 4.79227 s Remaining CPU time: 1795.21 s 4.74/4.88 c core #848 4.74/4.88 c Core size: 7 Core Weight: 1 Total Weight: 848 4.74/4.88 c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s 4.74/4.89 c core #849 4.74/4.89 c Core size: 7 Core Weight: 1 Total Weight: 849 4.74/4.89 c Elapsed CPU time: 4.80927 s Remaining CPU time: 1795.19 s 4.84/4.90 c core #850 4.84/4.90 c Core size: 7 Core Weight: 1 Total Weight: 850 4.84/4.90 c Elapsed CPU time: 4.81827 s Remaining CPU time: 1795.18 s 4.84/4.91 c core #851 4.84/4.91 c Core size: 7 Core Weight: 1 Total Weight: 851 4.84/4.91 c Elapsed CPU time: 4.82727 s Remaining CPU time: 1795.17 s 4.84/4.92 c core #852 4.84/4.92 c Core size: 7 Core Weight: 1 Total Weight: 852 4.84/4.92 c Elapsed CPU time: 4.83626 s Remaining CPU time: 1795.16 s 4.84/4.92 c core #853 4.84/4.92 c Core size: 7 Core Weight: 1 Total Weight: 853 4.84/4.92 c Elapsed CPU time: 4.84526 s Remaining CPU time: 1795.15 s 4.84/4.93 c core #854 4.84/4.93 c Core size: 7 Core Weight: 1 Total Weight: 854 4.84/4.93 c Elapsed CPU time: 4.85426 s Remaining CPU time: 1795.15 s 4.84/4.94 c core #855 4.84/4.94 c Core size: 7 Core Weight: 1 Total Weight: 855 4.84/4.94 c Elapsed CPU time: 4.86326 s Remaining CPU time: 1795.14 s 4.84/4.95 c core #856 4.84/4.95 c Core size: 7 Core Weight: 1 Total Weight: 856 4.84/4.95 c Elapsed CPU time: 4.87226 s Remaining CPU time: 1795.13 s 4.84/4.96 c core #857 4.84/4.96 c Core size: 7 Core Weight: 1 Total Weight: 857 4.84/4.96 c Elapsed CPU time: 4.88026 s Remaining CPU time: 1795.12 s 4.84/4.97 c core #858 4.84/4.97 c Core size: 15 Core Weight: 1 Total Weight: 858 4.84/4.97 c Elapsed CPU time: 4.88926 s Remaining CPU time: 1795.11 s 4.84/4.98 c core #859 4.84/4.98 c Core size: 7 Core Weight: 1 Total Weight: 859 4.84/4.98 c Elapsed CPU time: 4.89825 s Remaining CPU time: 1795.1 s 4.84/4.99 c core #860 4.84/4.99 c Core size: 11 Core Weight: 1 Total Weight: 860 4.84/4.99 c Elapsed CPU time: 4.90625 s Remaining CPU time: 1795.09 s 4.84/5.00 c core #861 4.84/5.00 c Core size: 7 Core Weight: 1 Total Weight: 861 4.84/5.00 c Elapsed CPU time: 4.91525 s Remaining CPU time: 1795.08 s 4.94/5.01 c core #862 4.94/5.01 c Core size: 7 Core Weight: 1 Total Weight: 862 4.94/5.01 c Elapsed CPU time: 4.92425 s Remaining CPU time: 1795.08 s 4.94/5.01 c core #863 4.94/5.01 c Core size: 7 Core Weight: 1 Total Weight: 863 4.94/5.01 c Elapsed CPU time: 4.93425 s Remaining CPU time: 1795.07 s 4.94/5.02 c core #864 4.94/5.02 c Core size: 15 Core Weight: 1 Total Weight: 864 4.94/5.02 c Elapsed CPU time: 4.94325 s Remaining CPU time: 1795.06 s 4.94/5.03 c core #865 4.94/5.03 c Core size: 15 Core Weight: 1 Total Weight: 865 4.94/5.03 c Elapsed CPU time: 4.95225 s Remaining CPU time: 1795.05 s 4.94/5.04 c core #866 4.94/5.04 c Core size: 7 Core Weight: 1 Total Weight: 866 4.94/5.04 c Elapsed CPU time: 4.96124 s Remaining CPU time: 1795.04 s 4.94/5.05 c core #867 4.94/5.05 c Core size: 11 Core Weight: 1 Total Weight: 867 4.94/5.05 c Elapsed CPU time: 4.97024 s Remaining CPU time: 1795.03 s 4.94/5.06 c core #868 4.94/5.06 c Core size: 15 Core Weight: 1 Total Weight: 868 4.94/5.06 c Elapsed CPU time: 4.97924 s Remaining CPU time: 1795.02 s 4.94/5.07 c core #869 4.94/5.07 c Core size: 7 Core Weight: 1 Total Weight: 869 4.94/5.07 c Elapsed CPU time: 4.98824 s Remaining CPU time: 1795.01 s 4.94/5.08 c core #870 4.94/5.08 c Core size: 7 Core Weight: 1 Total Weight: 870 4.94/5.08 c Elapsed CPU time: 4.99724 s Remaining CPU time: 1795 s 4.94/5.09 c core #871 4.94/5.09 c Core size: 7 Core Weight: 1 Total Weight: 871 4.94/5.09 c Elapsed CPU time: 5.00624 s Remaining CPU time: 1794.99 s 5.04/5.10 c core #872 5.04/5.10 c Core size: 7 Core Weight: 1 Total Weight: 872 5.04/5.10 c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s 5.04/5.11 c core #873 5.04/5.11 c Core size: 7 Core Weight: 1 Total Weight: 873 5.04/5.11 c Elapsed CPU time: 5.02424 s Remaining CPU time: 1794.98 s 5.04/5.12 c core #874 5.04/5.12 c Core size: 19 Core Weight: 1 Total Weight: 874 5.04/5.12 c Elapsed CPU time: 5.03323 s Remaining CPU time: 1794.97 s 5.04/5.12 c core #875 5.04/5.12 c Core size: 15 Core Weight: 1 Total Weight: 875 5.04/5.13 c Elapsed CPU time: 5.04223 s Remaining CPU time: 1794.96 s 5.04/5.13 c core #876 5.04/5.13 c Core size: 7 Core Weight: 1 Total Weight: 876 5.04/5.13 c Elapsed CPU time: 5.05123 s Remaining CPU time: 1794.95 s 5.04/5.14 c core #877 5.04/5.14 c Core size: 7 Core Weight: 1 Total Weight: 877 5.04/5.14 c Elapsed CPU time: 5.06023 s Remaining CPU time: 1794.94 s 5.04/5.15 c core #878 5.04/5.15 c Core size: 7 Core Weight: 1 Total Weight: 878 5.04/5.15 c Elapsed CPU time: 5.06923 s Remaining CPU time: 1794.93 s 5.04/5.16 c core #879 5.04/5.16 c Core size: 11 Core Weight: 1 Total Weight: 879 5.04/5.16 c Elapsed CPU time: 5.07823 s Remaining CPU time: 1794.92 s 5.04/5.17 c core #880 5.04/5.17 c Core size: 23 Core Weight: 1 Total Weight: 880 5.04/5.17 c Elapsed CPU time: 5.08723 s Remaining CPU time: 1794.91 s 5.04/5.18 c core #881 5.04/5.18 c Core size: 15 Core Weight: 1 Total Weight: 881 5.04/5.18 c Elapsed CPU time: 5.09623 s Remaining CPU time: 1794.9 s 5.04/5.19 c core #882 5.04/5.19 c Core size: 7 Core Weight: 1 Total Weight: 882 5.04/5.19 c Elapsed CPU time: 5.10522 s Remaining CPU time: 1794.89 s 5.14/5.20 c core #883 5.14/5.20 c Core size: 7 Core Weight: 1 Total Weight: 883 5.14/5.20 c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s 5.14/5.21 c core #884 5.14/5.21 c Core size: 11 Core Weight: 1 Total Weight: 884 5.14/5.21 c Elapsed CPU time: 5.12322 s Remaining CPU time: 1794.88 s 5.14/5.22 c core #885 5.14/5.22 c Core size: 7 Core Weight: 1 Total Weight: 885 5.14/5.22 c Elapsed CPU time: 5.13222 s Remaining CPU time: 1794.87 s 5.14/5.23 c core #886 5.14/5.23 c Core size: 11 Core Weight: 1 Total Weight: 886 5.14/5.23 c Elapsed CPU time: 5.14222 s Remaining CPU time: 1794.86 s 5.14/5.24 c core #887 5.14/5.24 c Core size: 23 Core Weight: 1 Total Weight: 887 5.14/5.24 c Elapsed CPU time: 5.15022 s Remaining CPU time: 1794.85 s 5.14/5.25 c core #888 5.14/5.25 c Core size: 7 Core Weight: 1 Total Weight: 888 5.14/5.25 c Elapsed CPU time: 5.15921 s Remaining CPU time: 1794.84 s 5.14/5.25 c core #889 5.14/5.25 c Core size: 7 Core Weight: 1 Total Weight: 889 5.14/5.25 c Elapsed CPU time: 5.16821 s Remaining CPU time: 1794.83 s 5.14/5.26 c core #890 5.14/5.26 c Core size: 15 Core Weight: 1 Total Weight: 890 5.14/5.26 c Elapsed CPU time: 5.17721 s Remaining CPU time: 1794.82 s 5.14/5.27 c core #891 5.14/5.27 c Core size: 7 Core Weight: 1 Total Weight: 891 5.14/5.27 c Elapsed CPU time: 5.18621 s Remaining CPU time: 1794.81 s 5.14/5.28 c core #892 5.14/5.28 c Core size: 7 Core Weight: 1 Total Weight: 892 5.14/5.28 c Elapsed CPU time: 5.19621 s Remaining CPU time: 1794.8 s 5.14/5.29 c core #893 5.14/5.29 c Core size: 19 Core Weight: 1 Total Weight: 893 5.14/5.29 c Elapsed CPU time: 5.20521 s Remaining CPU time: 1794.79 s 5.23/5.30 c core #894 5.23/5.30 c Core size: 7 Core Weight: 1 Total Weight: 894 5.23/5.30 c Elapsed CPU time: 5.21421 s Remaining CPU time: 1794.79 s 5.23/5.31 c core #895 5.23/5.31 c Core size: 7 Core Weight: 1 Total Weight: 895 5.23/5.31 c Elapsed CPU time: 5.22321 s Remaining CPU time: 1794.78 s 5.23/5.32 c core #896 5.23/5.32 c Core size: 7 Core Weight: 1 Total Weight: 896 5.23/5.32 c Elapsed CPU time: 5.2332 s Remaining CPU time: 1794.77 s 5.23/5.33 c core #897 5.23/5.33 c Core size: 7 Core Weight: 1 Total Weight: 897 5.23/5.33 c Elapsed CPU time: 5.2422 s Remaining CPU time: 1794.76 s 5.23/5.34 c core #898 5.23/5.34 c Core size: 19 Core Weight: 1 Total Weight: 898 5.23/5.34 c Elapsed CPU time: 5.2502 s Remaining CPU time: 1794.75 s 5.23/5.35 c core #899 5.23/5.35 c Core size: 11 Core Weight: 1 Total Weight: 899 5.23/5.35 c Elapsed CPU time: 5.2592 s Remaining CPU time: 1794.74 s 5.23/5.36 c core #900 5.23/5.36 c Core size: 7 Core Weight: 1 Total Weight: 900 5.23/5.36 c Elapsed CPU time: 5.2682 s Remaining CPU time: 1794.73 s 5.23/5.37 c core #901 5.23/5.37 c Core size: 7 Core Weight: 1 Total Weight: 901 5.23/5.37 c Elapsed CPU time: 5.2782 s Remaining CPU time: 1794.72 s 5.23/5.38 c core #902 5.23/5.38 c Core size: 7 Core Weight: 1 Total Weight: 902 5.23/5.38 c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s 5.23/5.39 c core #903 5.23/5.39 c Core size: 15 Core Weight: 1 Total Weight: 903 5.23/5.39 c Elapsed CPU time: 5.29719 s Remaining CPU time: 1794.7 s 5.23/5.40 c core #904 5.23/5.40 c Core size: 11 Core Weight: 1 Total Weight: 904 5.23/5.40 c Elapsed CPU time: 5.30619 s Remaining CPU time: 1794.69 s 5.33/5.41 c core #905 5.33/5.41 c Core size: 7 Core Weight: 1 Total Weight: 905 5.33/5.41 c Elapsed CPU time: 5.31519 s Remaining CPU time: 1794.68 s 5.33/5.42 c core #906 5.33/5.42 c Core size: 7 Core Weight: 1 Total Weight: 906 5.33/5.42 c Elapsed CPU time: 5.32519 s Remaining CPU time: 1794.67 s 5.33/5.43 c core #907 5.33/5.43 c Core size: 7 Core Weight: 1 Total Weight: 907 5.33/5.43 c Elapsed CPU time: 5.33519 s Remaining CPU time: 1794.66 s 5.33/5.44 c core #908 5.33/5.44 c Core size: 15 Core Weight: 1 Total Weight: 908 5.33/5.44 c Elapsed CPU time: 5.34419 s Remaining CPU time: 1794.66 s 5.33/5.45 c core #909 5.33/5.45 c Core size: 7 Core Weight: 1 Total Weight: 909 5.33/5.45 c Elapsed CPU time: 5.35419 s Remaining CPU time: 1794.65 s 5.33/5.46 c core #910 5.33/5.46 c Core size: 15 Core Weight: 1 Total Weight: 910 5.33/5.46 c Elapsed CPU time: 5.36418 s Remaining CPU time: 1794.64 s 5.33/5.47 c core #911 5.33/5.47 c Core size: 7 Core Weight: 1 Total Weight: 911 5.33/5.47 c Elapsed CPU time: 5.37418 s Remaining CPU time: 1794.63 s 5.33/5.48 c core #912 5.33/5.48 c Core size: 11 Core Weight: 1 Total Weight: 912 5.33/5.48 c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s 5.33/5.49 c core #913 5.33/5.49 c Core size: 7 Core Weight: 1 Total Weight: 913 5.33/5.49 c Elapsed CPU time: 5.39318 s Remaining CPU time: 1794.61 s 5.33/5.50 c core #914 5.33/5.50 c Core size: 11 Core Weight: 1 Total Weight: 914 5.33/5.50 c Elapsed CPU time: 5.40418 s Remaining CPU time: 1794.6 s 5.43/5.51 c core #915 5.43/5.51 c Core size: 7 Core Weight: 1 Total Weight: 915 5.43/5.51 c Elapsed CPU time: 5.41418 s Remaining CPU time: 1794.59 s 5.43/5.52 c core #916 5.43/5.52 c Core size: 15 Core Weight: 1 Total Weight: 916 5.43/5.52 c Elapsed CPU time: 5.42417 s Remaining CPU time: 1794.58 s 5.43/5.53 c core #917 5.43/5.53 c Core size: 7 Core Weight: 1 Total Weight: 917 5.43/5.53 c Elapsed CPU time: 5.43417 s Remaining CPU time: 1794.57 s 5.43/5.54 c core #918 5.43/5.54 c Core size: 11 Core Weight: 1 Total Weight: 918 5.43/5.54 c Elapsed CPU time: 5.44417 s Remaining CPU time: 1794.56 s 5.43/5.55 c core #919 5.43/5.55 c Core size: 7 Core Weight: 1 Total Weight: 919 5.43/5.55 c Elapsed CPU time: 5.45417 s Remaining CPU time: 1794.55 s 5.43/5.56 c core #920 5.43/5.56 c Core size: 7 Core Weight: 1 Total Weight: 920 5.43/5.56 c Elapsed CPU time: 5.46417 s Remaining CPU time: 1794.54 s 5.43/5.57 c core #921 5.43/5.57 c Core size: 23 Core Weight: 1 Total Weight: 921 5.43/5.57 c Elapsed CPU time: 5.47517 s Remaining CPU time: 1794.52 s 5.43/5.58 c core #922 5.43/5.58 c Core size: 11 Core Weight: 1 Total Weight: 922 5.43/5.58 c Elapsed CPU time: 5.48317 s Remaining CPU time: 1794.52 s 5.43/5.59 c core #923 5.43/5.59 c Core size: 7 Core Weight: 1 Total Weight: 923 5.43/5.59 c Elapsed CPU time: 5.49316 s Remaining CPU time: 1794.51 s 5.54/5.60 c core #924 5.54/5.60 c Core size: 19 Core Weight: 1 Total Weight: 924 5.54/5.60 c Elapsed CPU time: 5.50316 s Remaining CPU time: 1794.5 s 5.54/5.61 c core #925 5.54/5.61 c Core size: 7 Core Weight: 1 Total Weight: 925 5.54/5.61 c Elapsed CPU time: 5.51316 s Remaining CPU time: 1794.49 s 5.54/5.62 c core #926 5.54/5.62 c Core size: 11 Core Weight: 1 Total Weight: 926 5.54/5.62 c Elapsed CPU time: 5.52316 s Remaining CPU time: 1794.48 s 5.54/5.63 c core #927 5.54/5.63 c Core size: 15 Core Weight: 1 Total Weight: 927 5.54/5.63 c Elapsed CPU time: 5.53316 s Remaining CPU time: 1794.47 s 5.54/5.64 c core #928 5.54/5.64 c Core size: 31 Core Weight: 1 Total Weight: 928 5.54/5.64 c Elapsed CPU time: 5.54316 s Remaining CPU time: 1794.46 s 5.54/5.65 c core #929 5.54/5.65 c Core size: 19 Core Weight: 1 Total Weight: 929 5.54/5.65 c Elapsed CPU time: 5.55415 s Remaining CPU time: 1794.45 s 5.54/5.66 c core #930 5.54/5.66 c Core size: 23 Core Weight: 1 Total Weight: 930 5.54/5.66 c Elapsed CPU time: 5.56415 s Remaining CPU time: 1794.44 s 5.54/5.67 c core #931 5.54/5.67 c Core size: 11 Core Weight: 1 Total Weight: 931 5.54/5.67 c Elapsed CPU time: 5.57415 s Remaining CPU time: 1794.43 s 5.54/5.68 c core #932 5.54/5.68 c Core size: 15 Core Weight: 1 Total Weight: 932 5.54/5.68 c Elapsed CPU time: 5.58415 s Remaining CPU time: 1794.42 s 5.54/5.69 c core #933 5.54/5.69 c Core size: 11 Core Weight: 1 Total Weight: 933 5.54/5.69 c Elapsed CPU time: 5.59415 s Remaining CPU time: 1794.41 s 5.64/5.70 c core #934 5.64/5.70 c Core size: 23 Core Weight: 1 Total Weight: 934 5.64/5.70 c Elapsed CPU time: 5.60315 s Remaining CPU time: 1794.4 s 5.64/5.71 c core #935 5.64/5.71 c Core size: 15 Core Weight: 1 Total Weight: 935 5.64/5.71 c Elapsed CPU time: 5.61315 s Remaining CPU time: 1794.39 s 5.64/5.72 c core #936 5.64/5.72 c Core size: 35 Core Weight: 1 Total Weight: 936 5.64/5.72 c Elapsed CPU time: 5.62315 s Remaining CPU time: 1794.38 s 5.64/5.73 c core #937 5.64/5.73 c Core size: 7 Core Weight: 1 Total Weight: 937 5.64/5.73 c Elapsed CPU time: 5.63314 s Remaining CPU time: 1794.37 s 5.64/5.74 c core #938 5.64/5.74 c Core size: 11 Core Weight: 1 Total Weight: 938 5.64/5.74 c Elapsed CPU time: 5.64314 s Remaining CPU time: 1794.36 s 5.64/5.75 c core #939 5.64/5.75 c Core size: 23 Core Weight: 1 Total Weight: 939 5.64/5.75 c Elapsed CPU time: 5.65314 s Remaining CPU time: 1794.35 s 5.64/5.76 c core #940 5.64/5.76 c Core size: 19 Core Weight: 1 Total Weight: 940 5.64/5.76 c Elapsed CPU time: 5.66314 s Remaining CPU time: 1794.34 s 5.64/5.77 c core #941 5.64/5.77 c Core size: 11 Core Weight: 1 Total Weight: 941 5.64/5.77 c Elapsed CPU time: 5.67314 s Remaining CPU time: 1794.33 s 5.64/5.78 c core #942 5.64/5.78 c Core size: 11 Core Weight: 1 Total Weight: 942 5.64/5.78 c Elapsed CPU time: 5.68314 s Remaining CPU time: 1794.32 s 5.64/5.79 c core #943 5.64/5.79 c Core size: 39 Core Weight: 1 Total Weight: 943 5.64/5.79 c Elapsed CPU time: 5.69313 s Remaining CPU time: 1794.31 s 5.73/5.80 c core #944 5.73/5.80 c Core size: 15 Core Weight: 1 Total Weight: 944 5.73/5.80 c Elapsed CPU time: 5.70313 s Remaining CPU time: 1794.3 s 5.73/5.82 c core #945 5.73/5.82 c Core size: 19 Core Weight: 1 Total Weight: 945 5.73/5.82 c Elapsed CPU time: 5.71313 s Remaining CPU time: 1794.29 s 5.73/5.83 c core #946 5.73/5.83 c Core size: 31 Core Weight: 1 Total Weight: 946 5.73/5.83 c Elapsed CPU time: 5.72413 s Remaining CPU time: 1794.28 s 5.73/5.84 c core #947 5.73/5.84 c Core size: 30 Core Weight: 1 Total Weight: 947 5.73/5.84 c Elapsed CPU time: 5.73413 s Remaining CPU time: 1794.27 s 5.73/5.85 c core #948 5.73/5.85 c Core size: 31 Core Weight: 1 Total Weight: 948 5.73/5.85 c Elapsed CPU time: 5.74513 s Remaining CPU time: 1794.25 s 5.73/5.86 c core #949 5.73/5.86 c Core size: 19 Core Weight: 1 Total Weight: 949 5.73/5.86 c Elapsed CPU time: 5.75612 s Remaining CPU time: 1794.24 s 5.73/5.87 c core #950 5.73/5.87 c Core size: 35 Core Weight: 1 Total Weight: 950 5.73/5.87 c Elapsed CPU time: 5.76612 s Remaining CPU time: 1794.23 s 5.73/5.88 c core #951 5.73/5.88 c Core size: 31 Core Weight: 1 Total Weight: 951 5.73/5.88 c Elapsed CPU time: 5.77712 s Remaining CPU time: 1794.22 s 5.73/5.89 c core #952 5.73/5.89 c Core size: 22 Core Weight: 1 Total Weight: 952 5.73/5.89 c Elapsed CPU time: 5.78812 s Remaining CPU time: 1794.21 s 5.83/5.90 c core #953 5.83/5.90 c Core size: 19 Core Weight: 1 Total Weight: 953 5.83/5.90 c Elapsed CPU time: 5.79912 s Remaining CPU time: 1794.2 s 5.83/5.92 c core #954 5.83/5.92 c Core size: 19 Core Weight: 1 Total Weight: 954 5.83/5.92 c Elapsed CPU time: 5.81012 s Remaining CPU time: 1794.19 s 5.83/5.93 c core #955 5.83/5.93 c Core size: 19 Core Weight: 1 Total Weight: 955 5.83/5.93 c Elapsed CPU time: 5.82111 s Remaining CPU time: 1794.18 s 5.83/5.94 c core #956 5.83/5.94 c Core size: 7 Core Weight: 1 Total Weight: 956 5.83/5.94 c Elapsed CPU time: 5.83211 s Remaining CPU time: 1794.17 s 5.83/5.95 c core #957 5.83/5.95 c Core size: 35 Core Weight: 1 Total Weight: 957 5.83/5.95 c Elapsed CPU time: 5.84311 s Remaining CPU time: 1794.16 s 5.83/5.96 c core #958 5.83/5.96 c Core size: 23 Core Weight: 1 Total Weight: 958 5.83/5.96 c Elapsed CPU time: 5.85411 s Remaining CPU time: 1794.15 s 5.83/5.97 c core #959 5.83/5.97 c Core size: 15 Core Weight: 1 Total Weight: 959 5.83/5.97 c Elapsed CPU time: 5.86511 s Remaining CPU time: 1794.13 s 5.83/5.98 c core #960 5.83/5.98 c Core size: 78 Core Weight: 1 Total Weight: 960 5.83/5.98 c Elapsed CPU time: 5.87611 s Remaining CPU time: 1794.12 s 5.83/5.99 c core #961 5.83/5.99 c Core size: 19 Core Weight: 1 Total Weight: 961 5.83/5.99 c Elapsed CPU time: 5.88711 s Remaining CPU time: 1794.11 s 5.93/6.00 c core #962 5.93/6.00 c Core size: 27 Core Weight: 1 Total Weight: 962 5.93/6.00 c Elapsed CPU time: 5.8981 s Remaining CPU time: 1794.1 s 5.93/6.02 c core #963 5.93/6.02 c Core size: 27 Core Weight: 1 Total Weight: 963 5.93/6.02 c Elapsed CPU time: 5.9091 s Remaining CPU time: 1794.09 s 5.93/6.03 c core #964 5.93/6.03 c Core size: 19 Core Weight: 1 Total Weight: 964 5.93/6.03 c Elapsed CPU time: 5.9211 s Remaining CPU time: 1794.08 s 5.93/6.04 c core #965 5.93/6.04 c Core size: 31 Core Weight: 1 Total Weight: 965 5.93/6.04 c Elapsed CPU time: 5.9321 s Remaining CPU time: 1794.07 s 5.93/6.05 c core #966 5.93/6.05 c Core size: 31 Core Weight: 1 Total Weight: 966 5.93/6.05 c Elapsed CPU time: 5.9431 s Remaining CPU time: 1794.06 s 5.93/6.06 c core #967 5.93/6.06 c Core size: 18 Core Weight: 1 Total Weight: 967 5.93/6.06 c Elapsed CPU time: 5.95409 s Remaining CPU time: 1794.05 s 5.93/6.07 c core #968 5.93/6.07 c Core size: 43 Core Weight: 1 Total Weight: 968 5.93/6.07 c Elapsed CPU time: 5.96609 s Remaining CPU time: 1794.03 s 5.93/6.08 c core #969 5.93/6.08 c Core size: 31 Core Weight: 1 Total Weight: 969 5.93/6.08 c Elapsed CPU time: 5.97709 s Remaining CPU time: 1794.02 s 5.93/6.09 c core #970 5.93/6.09 c Core size: 55 Core Weight: 1 Total Weight: 970 5.93/6.09 c Elapsed CPU time: 5.98909 s Remaining CPU time: 1794.01 s 6.03/6.11 c ============================[ Search Statistics ]============================== 6.03/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.11 c =============================================================================== 6.03/6.11 c | 0 | 4495 6938 15260 | 5000 0 nan | 0.000 % | 6.03/6.11 c =============================================================================== 6.03/6.11 c core #971 6.03/6.11 c Core size: 73 Core Weight: 1 Total Weight: 971 6.03/6.11 c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s 6.03/6.12 c ============================[ Search Statistics ]============================== 6.03/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.12 c =============================================================================== 6.03/6.12 c | 0 | 4556 6939 15358 | 5000 0 nan | 0.000 % | 6.03/6.12 c =============================================================================== 6.03/6.12 c core #972 6.03/6.12 c Core size: 49 Core Weight: 1 Total Weight: 972 6.03/6.12 c Elapsed CPU time: 6.01309 s Remaining CPU time: 1793.99 s 6.03/6.13 c ============================[ Search Statistics ]============================== 6.03/6.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.13 c =============================================================================== 6.03/6.13 c | 0 | 4580 6940 15406 | 5000 0 nan | 0.000 % | 6.03/6.13 c =============================================================================== 6.03/6.13 c core #973 6.03/6.13 c Core size: 62 Core Weight: 1 Total Weight: 973 6.03/6.13 c Elapsed CPU time: 6.02608 s Remaining CPU time: 1793.97 s 6.03/6.14 c ============================[ Search Statistics ]============================== 6.03/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.14 c =============================================================================== 6.03/6.14 c | 0 | 4620 6941 15481 | 5000 0 nan | 0.000 % | 6.03/6.15 c =============================================================================== 6.03/6.15 c core #974 6.03/6.15 c Core size: 35 Core Weight: 1 Total Weight: 974 6.03/6.15 c Elapsed CPU time: 6.03908 s Remaining CPU time: 1793.96 s 6.03/6.16 c ============================[ Search Statistics ]============================== 6.03/6.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.16 c =============================================================================== 6.03/6.16 c | 0 | 4651 6942 15531 | 5000 0 nan | 0.000 % | 6.03/6.16 c =============================================================================== 6.03/6.16 c core #975 6.03/6.16 c Core size: 70 Core Weight: 1 Total Weight: 975 6.03/6.16 c Elapsed CPU time: 6.05108 s Remaining CPU time: 1793.95 s 6.03/6.17 c ============================[ Search Statistics ]============================== 6.03/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.17 c =============================================================================== 6.03/6.17 c | 0 | 4690 6943 15611 | 5000 0 nan | 0.000 % | 6.03/6.17 c =============================================================================== 6.03/6.17 c core #976 6.03/6.17 c Core size: 52 Core Weight: 1 Total Weight: 976 6.03/6.17 c Elapsed CPU time: 6.06408 s Remaining CPU time: 1793.94 s 6.03/6.18 c ============================[ Search Statistics ]============================== 6.03/6.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.18 c =============================================================================== 6.03/6.18 c | 0 | 4715 6944 15661 | 5000 0 nan | 0.000 % | 6.03/6.18 c =============================================================================== 6.03/6.18 c core #977 6.03/6.18 c Core size: 82 Core Weight: 1 Total Weight: 977 6.03/6.18 c Elapsed CPU time: 6.07708 s Remaining CPU time: 1793.92 s 6.03/6.20 c ============================[ Search Statistics ]============================== 6.03/6.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.03/6.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.03/6.20 c =============================================================================== 6.03/6.20 c | 0 | 4797 6945 15757 | 5000 0 nan | 0.000 % | 6.12/6.20 c =============================================================================== 6.12/6.20 c core #978 6.12/6.20 c Core size: 27 Core Weight: 1 Total Weight: 978 6.12/6.20 c Elapsed CPU time: 6.08907 s Remaining CPU time: 1793.91 s 6.12/6.21 c ============================[ Search Statistics ]============================== 6.12/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.12/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.12/6.21 c =============================================================================== 6.12/6.21 c | 0 | 4815 6946 15795 | 5000 0 nan | 0.000 % | 6.12/6.21 c =============================================================================== 6.12/6.21 c core #979 6.12/6.21 c Core size: 210 Core Weight: 1 Total Weight: 979 6.12/6.21 c Elapsed CPU time: 6.10207 s Remaining CPU time: 1793.9 s 6.12/6.22 c ============================[ Search Statistics ]============================== 6.12/6.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.12/6.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.12/6.22 c =============================================================================== 6.12/6.22 c | 0 | 4932 6947 16000 | 5000 0 nan | 0.000 % | 6.12/6.23 c =============================================================================== 6.12/6.23 c core #980 6.12/6.23 c Core size: 97 Core Weight: 1 Total Weight: 980 6.12/6.23 c Elapsed CPU time: 6.11707 s Remaining CPU time: 1793.88 s 6.12/6.24 c ============================[ Search Statistics ]============================== 6.12/6.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.12/6.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.12/6.24 c =============================================================================== 6.12/6.24 c | 0 | 4980 6948 16096 | 5000 0 nan | 0.000 % | 6.12/6.25 c =============================================================================== 6.12/6.25 c core #981 6.12/6.25 c Core size: 280 Core Weight: 1 Total Weight: 981 6.12/6.25 c Elapsed CPU time: 6.13407 s Remaining CPU time: 1793.87 s 6.12/6.26 c ============================[ Search Statistics ]============================== 6.12/6.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.12/6.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.12/6.26 c =============================================================================== 6.12/6.26 c | 0 | 5118 6949 16377 | 5000 0 nan | 0.000 % | 6.12/6.26 c =============================================================================== 6.12/6.26 c core #982 6.12/6.26 c Core size: 69 Core Weight: 1 Total Weight: 982 6.12/6.26 c Elapsed CPU time: 6.14806 s Remaining CPU time: 1793.85 s 6.12/6.27 c ============================[ Search Statistics ]============================== 6.12/6.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.12/6.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.12/6.27 c =============================================================================== 6.12/6.27 c | 0 | 5167 6950 16454 | 5000 0 nan | 0.000 % | 6.12/6.28 c =============================================================================== 6.12/6.28 c core #983 6.12/6.28 c Core size: 188 Core Weight: 1 Total Weight: 983 6.12/6.28 c Elapsed CPU time: 6.16206 s Remaining CPU time: 1793.84 s 6.12/6.29 c ============================[ Search Statistics ]============================== 6.12/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.12/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.12/6.29 c =============================================================================== 6.12/6.29 c | 0 | 5269 6951 16643 | 5000 0 nan | 0.000 % | 6.22/6.30 c | 100 | 5258 6951 16643 | 5500 100 5 | 2.415 % | 6.22/6.31 c | 250 | 5211 6951 16643 | 6050 240 5 | 2.452 % | 6.22/6.31 c =============================================================================== 6.22/6.31 c core #984 6.22/6.31 c Core size: 356 Core Weight: 1 Total Weight: 984 6.22/6.31 c Elapsed CPU time: 6.19606 s Remaining CPU time: 1793.8 s 6.22/6.32 c ============================[ Search Statistics ]============================== 6.22/6.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.22/6.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.22/6.32 c =============================================================================== 6.22/6.32 c | 0 | 5436 6952 16977 | 5000 0 nan | 0.000 % | 6.22/6.34 c | 100 | 5416 6952 16977 | 5500 100 8 | 3.140 % | 6.22/6.35 c | 250 | 5332 6952 16977 | 6050 235 9 | 3.449 % | 6.22/6.36 c =============================================================================== 6.22/6.37 c core #985 6.22/6.37 c Core size: 464 Core Weight: 1 Total Weight: 985 6.22/6.37 c Elapsed CPU time: 6.24505 s Remaining CPU time: 1793.75 s 6.22/6.38 c ============================[ Search Statistics ]============================== 6.22/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.22/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.22/6.38 c =============================================================================== 6.22/6.38 c | 0 | 5669 6953 17426 | 5000 0 nan | 0.000 % | 6.22/6.39 c | 100 | 5590 6953 17426 | 5500 93 5 | 2.548 % | 6.22/6.39 c =============================================================================== 6.22/6.39 c core #986 6.22/6.39 c Core size: 97 Core Weight: 1 Total Weight: 986 6.22/6.39 c Elapsed CPU time: 6.26905 s Remaining CPU time: 1793.73 s 6.32/6.40 c ============================[ Search Statistics ]============================== 6.32/6.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.32/6.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.32/6.40 c =============================================================================== 6.32/6.40 c | 0 | 5739 6954 17533 | 5000 0 nan | 0.000 % | 6.32/6.41 c | 101 | 5739 6954 17533 | 5500 101 8 | 0.813 % | 6.32/6.42 c | 251 | 5727 6954 17533 | 6050 248 7 | 0.900 % | 6.32/6.44 c =============================================================================== 6.32/6.44 c core #987 6.32/6.44 c Core size: 227 Core Weight: 1 Total Weight: 987 6.32/6.44 c Elapsed CPU time: 6.31304 s Remaining CPU time: 1793.69 s 6.32/6.45 c ============================[ Search Statistics ]============================== 6.32/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.32/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.32/6.45 c =============================================================================== 6.32/6.45 c | 0 | 5853 6955 17761 | 5000 0 nan | 0.000 % | 6.32/6.47 c | 101 | 5853 6955 17761 | 5500 101 29 | 0.611 % | 6.32/6.48 c | 252 | 5853 6955 17761 | 6050 252 29 | 0.611 % | 6.41/6.51 c | 479 | 5853 6955 17761 | 6655 479 39 | 0.611 % | 6.41/6.55 c | 820 | 5853 6955 17761 | 7320 820 36 | 0.611 % | 6.52/6.61 c | 1326 | 5850 6955 17761 | 8052 1325 34 | 0.662 % | 6.52/6.69 c | 2088 | 5849 6955 17761 | 8857 2086 30 | 0.679 % | 6.72/6.83 c | 3228 | 5849 6955 17761 | 9743 3226 29 | 0.679 % | 6.91/7.08 c | 4936 | 5836 6955 17761 | 10717 4933 36 | 0.900 % | 7.31/7.49 c | 7498 | 5836 6955 17761 | 11789 7495 42 | 0.900 % | 8.01/8.19 c | 11345 | 5835 6955 17761 | 12968 11341 42 | 0.917 % | 8.91/9.04 c =============================================================================== 9.01/9.15 c core #988 9.01/9.15 c Core size: 1115 Core Weight: 1 Total Weight: 988 9.01/9.15 c Elapsed CPU time: 8.95564 s Remaining CPU time: 1791.04 s 9.01/9.18 c ============================[ Search Statistics ]============================== 9.01/9.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.01/9.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.01/9.18 c =============================================================================== 9.01/9.18 c | 0 | 6341 6956 18736 | 5000 0 nan | 0.000 % | 9.01/9.19 c | 100 | 6341 6956 18736 | 5500 100 17 | 0.533 % | 9.12/9.21 c | 252 | 6337 6956 18736 | 6050 250 14 | 0.596 % | 9.12/9.23 c | 479 | 6336 6956 18736 | 6655 471 12 | 0.612 % | 9.12/9.27 c | 818 | 6332 6956 18736 | 7320 810 18 | 0.847 % | 9.21/9.34 c | 1325 | 6321 6956 18736 | 8052 1310 20 | 0.847 % | 9.31/9.42 c | 2084 | 6263 6956 18736 | 8857 2049 20 | 2.651 % | 9.41/9.54 c =============================================================================== 9.41/9.55 c core #989 9.41/9.55 c Core size: 906 Core Weight: 1 Total Weight: 989 9.41/9.55 c Elapsed CPU time: 9.33758 s Remaining CPU time: 1790.66 s 9.41/9.57 c ============================[ Search Statistics ]============================== 9.41/9.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.41/9.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.41/9.57 c =============================================================================== 9.41/9.57 c | 0 | 6761 6957 19576 | 5000 0 nan | 0.000 % | 9.41/9.58 c | 101 | 6761 6957 19576 | 5500 101 15 | 0.500 % | 9.51/9.60 c | 251 | 6761 6957 19576 | 6050 251 28 | 0.500 % | 9.51/9.63 c | 479 | 6761 6957 19576 | 6655 479 22 | 0.500 % | 9.51/9.66 c | 816 | 6761 6957 19576 | 7320 816 33 | 0.500 % | 9.61/9.77 c | 1322 | 6761 6957 19576 | 8052 1322 28 | 0.500 % | 9.81/9.96 c | 2081 | 6761 6957 19576 | 8857 2081 33 | 0.500 % | 10.01/10.16 c | 3220 | 6761 6957 19576 | 9743 3220 31 | 0.500 % | 10.31/10.42 c | 4928 | 6761 6957 19576 | 10717 4928 44 | 0.500 % | 10.92/11.01 c | 7491 | 6761 6957 19576 | 11789 7491 49 | 0.500 % | 11.71/11.90 c | 11335 | 6761 6957 19576 | 12968 11335 69 | 0.500 % | 13.21/13.33 c | 17101 | 6761 6957 19576 | 14265 10268 96 | 0.500 % | 15.61/15.74 c | 25754 | 6761 6957 19576 | 15692 11535 77 | 0.500 % | 19.10/19.27 c | 38728 | 6697 6957 19576 | 17261 15705 86 | 1.442 % | 27.30/27.49 c | 58191 | 6677 6957 19576 | 18987 8849 73 | 3.400 % | 27.70/27.88 c =============================================================================== 28.00/28.18 c core #990 28.00/28.18 c Core size: 1680 Core Weight: 1 Total Weight: 990 28.00/28.18 c Elapsed CPU time: 27.6408 s Remaining CPU time: 1772.36 s 28.10/28.26 c ============================[ Search Statistics ]============================== 28.10/28.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.10/28.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.10/28.26 c =============================================================================== 28.10/28.26 c | 0 | 7476 6958 21005 | 5000 0 nan | 0.000 % | 28.10/28.29 c | 100 | 7476 6958 21005 | 5500 100 18 | 0.426 % | 28.20/28.31 c | 250 | 7476 6958 21005 | 6050 250 36 | 0.426 % | 28.20/28.34 c | 475 | 7476 6958 21005 | 6655 475 42 | 0.426 % | 28.30/28.40 c | 812 | 7476 6958 21005 | 7320 812 42 | 0.426 % | 28.30/28.47 c | 1318 | 7476 6958 21005 | 8052 1318 46 | 0.426 % | 28.50/28.66 c | 2077 | 7476 6958 21005 | 8857 2077 54 | 0.426 % | 28.80/28.93 c | 3216 | 7476 6958 21005 | 9743 3216 54 | 0.426 % | 29.00/29.19 c | 4924 | 7476 6958 21005 | 10717 4924 55 | 0.426 % | 29.70/29.83 c | 7488 | 7476 6958 21005 | 11789 7488 61 | 0.426 % | 30.90/31.09 c | 11334 | 7476 6958 21005 | 12968 11334 68 | 0.426 % | 32.80/33.00 c | 17100 | 7476 6958 21005 | 14265 10564 88 | 0.426 % | 35.10/35.20 c | 25749 | 7476 6958 21005 | 15692 11851 79 | 0.426 % | 39.89/40.08 c | 38723 | 7476 6958 21005 | 17261 8877 62 | 0.426 % | 47.69/47.81 c | 58187 | 7476 6958 21005 | 18987 10698 77 | 0.426 % | 59.78/59.95 c | 87379 | 7475 6958 21005 | 20886 10564 102 | 0.440 % | 80.78/80.96 c | 131169 | 7475 6958 21005 | 22974 11779 115 | 0.440 % | 114.45/114.65 c | 196853 | 7462 6958 21005 | 25272 15102 61 | 0.733 % | 114.65/114.87 c =============================================================================== 115.96/116.14 c core #991 115.96/116.14 c Core size: 1584 Core Weight: 1 Total Weight: 991 115.96/116.14 c Elapsed CPU time: 114.629 s Remaining CPU time: 1685.37 s 116.16/116.35 c ============================[ Search Statistics ]============================== 116.16/116.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.16/116.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.16/116.35 c =============================================================================== 116.16/116.35 c | 0 | 8136 6959 22325 | 5000 0 nan | 0.000 % | 116.25/116.41 c | 100 | 8136 6959 22325 | 5500 100 15 | 0.392 % | 116.25/116.43 c | 251 | 8136 6959 22325 | 6050 251 28 | 0.392 % | 116.25/116.46 c | 477 | 8136 6959 22325 | 6655 477 36 | 0.392 % | 116.35/116.51 c | 815 | 8136 6959 22325 | 7320 815 38 | 0.392 % | 116.35/116.59 c | 1321 | 8136 6959 22325 | 8052 1321 54 | 0.392 % | 116.55/116.73 c | 2086 | 8136 6959 22325 | 8857 2086 48 | 0.392 % | 116.76/116.98 c | 3226 | 8136 6959 22325 | 9743 3226 76 | 0.392 % | 117.25/117.48 c | 4935 | 8136 6959 22325 | 10717 4935 100 | 0.392 % | 117.95/118.16 c | 7497 | 8136 6959 22325 | 11789 7497 112 | 0.392 % | 119.25/119.40 c | 11342 | 8136 6959 22325 | 12968 11342 111 | 0.392 % | 120.45/120.68 c | 17110 | 8136 6959 22325 | 14265 10325 82 | 0.392 % | 123.05/123.28 c | 25761 | 8136 6959 22325 | 15692 11616 99 | 0.392 % | 128.55/128.74 c | 38736 | 8136 6959 22325 | 17261 8232 94 | 0.392 % | 136.04/136.29 c | 58197 | 8136 6959 22325 | 18987 9488 71 | 0.392 % | 146.24/146.49 c | 87392 | 8136 6959 22325 | 20886 18497 114 | 0.392 % | 171.34/171.60 c | 131183 | 8136 6959 22325 | 22974 19250 144 | 0.392 % | 204.02/204.28 c | 196869 | 8136 6959 22325 | 25272 12980 116 | 0.392 % | 267.39/267.67 c | 295396 | 8136 6959 22325 | 27799 17250 151 | 0.392 % | 367.84/368.18 c | 443185 | 8136 6959 22325 | 30579 24909 104 | 0.392 % | 504.79/505.13 c | 664870 | 8136 6959 22325 | 33637 27351 157 | 0.392 % | 708.01/708.42 c | 997398 | 8136 6959 22325 | 37001 21349 63 | 0.392 % | 813.95/814.45 c =============================================================================== 826.34/826.81 c core #992 826.34/826.81 c Core size: 2339 Core Weight: 1 Total Weight: 992 826.34/826.81 c Elapsed CPU time: 819.748 s Remaining CPU time: 980.252 s 827.44/827.97 c ============================[ Search Statistics ]============================== 827.44/827.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 827.44/827.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 827.44/827.97 c =============================================================================== 827.44/827.97 c | 0 | 9039 6960 24131 | 5000 0 nan | 0.000 % | 827.54/828.06 c | 100 | 9039 6960 24131 | 5500 100 30 | 0.353 % | 827.64/828.16 c | 250 | 9039 6960 24131 | 6050 250 32 | 0.353 % | 827.75/828.23 c | 475 | 9039 6960 24131 | 6655 475 29 | 0.353 % | 827.84/828.35 c | 813 | 9039 6960 24131 | 7320 813 36 | 0.353 % | 827.94/828.48 c | 1319 | 9039 6960 24131 | 8052 1319 43 | 0.353 % | 828.14/828.66 c | 2081 | 9039 6960 24131 | 8857 2081 48 | 0.353 % | 828.44/828.90 c | 3220 | 9039 6960 24131 | 9743 3220 66 | 0.353 % | 828.84/829.33 c | 4928 | 9039 6960 24131 | 10717 4928 60 | 0.353 % | 829.74/830.22 c | 7491 | 9039 6960 24131 | 11789 7491 66 | 0.353 % | 831.54/832.07 c | 11336 | 9039 6960 24131 | 12968 11336 84 | 0.353 % | 834.74/835.20 c | 17102 | 9039 6960 24131 | 14265 10414 158 | 0.353 % | 837.94/838.46 c | 25755 | 9039 6960 24131 | 15692 11745 110 | 0.353 % | 845.23/845.77 c | 38731 | 9039 6960 24131 | 17261 16443 160 | 0.353 % | 857.12/857.69 c | 58195 | 9039 6960 24131 | 18987 8967 149 | 0.353 % | 879.79/880.33 c | 87394 | 9039 6960 24131 | 20886 18128 211 | 0.353 % | 906.08/906.60 c | 131185 | 9039 6960 24131 | 22974 18469 189 | 0.353 % | 955.76/956.36 c | 196869 | 9039 6960 24131 | 25272 24085 188 | 0.353 % | 1022.63/1023.27 c | 295403 | 9039 6960 24131 | 27799 18082 128 | 0.353 % | 1146.27/1146.99 c | 443197 | 9039 6960 24131 | 30579 14387 210 | 0.353 % | 1221.54/1222.21 c =============================================================================== 1224.94/1225.65 c core #993 1224.94/1225.65 c Core size: 1650 Core Weight: 1 Total Weight: 993 1224.94/1225.65 c Elapsed CPU time: 1215.64 s Remaining CPU time: 584.365 s 1225.64/1226.35 c ============================[ Search Statistics ]============================== 1225.64/1226.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1225.64/1226.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1225.64/1226.35 c =============================================================================== 1225.64/1226.35 c | 0 | 9700 6961 25453 | 5000 0 nan | 0.000 % | 1225.74/1226.49 c | 104 | 9700 6961 25453 | 5500 104 57 | 0.329 % | 1225.84/1226.53 c | 254 | 9700 6961 25453 | 6050 254 51 | 0.329 % | 1225.93/1226.64 c | 481 | 9700 6961 25453 | 6655 481 61 | 0.329 % | 1226.03/1226.73 c | 818 | 9700 6961 25453 | 7320 818 62 | 0.329 % | 1226.14/1226.84 c | 1325 | 9700 6961 25453 | 8052 1325 67 | 0.329 % | 1226.33/1227.00 c | 2084 | 9700 6961 25453 | 8857 2084 77 | 0.329 % | 1226.63/1227.33 c | 3224 | 9700 6961 25453 | 9743 3224 88 | 0.329 % | 1227.03/1227.78 c | 4932 | 9700 6961 25453 | 10717 4932 88 | 0.329 % | 1227.64/1228.36 c | 7494 | 9700 6961 25453 | 11789 7494 112 | 0.329 % | 1228.43/1229.14 c | 11342 | 9700 6961 25453 | 12968 11342 101 | 0.329 % | 1230.43/1231.15 c | 17108 | 9700 6961 25453 | 14265 9786 127 | 0.329 % | 1232.73/1233.49 c | 25758 | 9700 6961 25453 | 15692 10918 96 | 0.329 % | 1237.53/1238.28 c | 38733 | 9700 6961 25453 | 17261 15836 140 | 0.329 % | 1245.23/1245.99 c | 58196 | 9700 6961 25453 | 18987 17557 87 | 0.329 % | 1261.02/1261.77 c | 87391 | 9700 6961 25453 | 20886 16878 141 | 0.329 % | 1287.41/1288.16 c | 131180 | 9700 6961 25453 | 22974 17527 145 | 0.329 % | 1322.60/1323.34 c | 196866 | 9700 6961 25453 | 25272 22806 146 | 0.329 % | 1392.97/1393.75 c | 295393 | 9700 6961 25453 | 27799 24702 227 | 0.329 % | 1469.42/1470.23 c | 443185 | 9700 6961 25453 | 30579 17160 165 | 0.329 % | 1647.11/1648.04 c | 664869 | 9700 6961 25453 | 33637 14560 142 | 0.329 % |
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-1875706-1245144619/watcher-1875706-1245144619 -o /tmp/evaluation-result-1875706-1245144619/solver-1875706-1245144619 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875706-1245144619.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/64 5875 /proc/meminfo: memFree=1911352/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=2964 CPUtime=0 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 182058289 3035136 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 741 255 127 292 0 418 0 [startup+0.083735 s] /proc/loadavg: 1.00 1.01 1.00 3/64 5875 /proc/meminfo: memFree=1911352/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=3512 CPUtime=0.08 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 490 0 0 0 8 0 0 0 18 0 1 0 182058289 3596288 446 1992294400 134512640 135709839 4294956240 18446744073709551615 134530373 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 878 446 133 292 0 583 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3512 [startup+0.101737 s] /proc/loadavg: 1.00 1.01 1.00 3/64 5875 /proc/meminfo: memFree=1911352/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=3512 CPUtime=0.09 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 490 0 0 0 9 0 0 0 18 0 1 0 182058289 3596288 446 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 878 446 133 292 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.301773 s] /proc/loadavg: 1.00 1.01 1.00 3/64 5875 /proc/meminfo: memFree=1911352/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=3668 CPUtime=0.29 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 542 0 0 0 29 0 0 0 19 0 1 0 182058289 3756032 479 1992294400 134512640 135709839 4294956240 18446744073709551615 134605028 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 917 479 133 292 0 622 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3668 [startup+0.701842 s] /proc/loadavg: 1.00 1.01 1.00 3/64 5875 /proc/meminfo: memFree=1911352/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=3872 CPUtime=0.69 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 886 0 0 0 69 0 0 0 23 0 1 0 182058289 3964928 515 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 968 515 133 292 0 673 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3872 [startup+1.50199 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5876 /proc/meminfo: memFree=1909168/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=4764 CPUtime=1.48 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 1467 0 0 0 148 0 0 0 25 0 1 0 182058289 4878336 770 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 1 0 0 /proc/5875/statm: 1191 770 133 292 0 896 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4764 [startup+3.10126 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5876 /proc/meminfo: memFree=1907632/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=7160 CPUtime=3.06 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 2315 0 0 0 305 1 0 0 25 0 1 0 182058289 7331840 1327 1992294400 134512640 135709839 4294956240 18446744073709551615 134607425 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 1790 1327 133 292 0 1495 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 7160 [startup+6.30181 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5876 /proc/meminfo: memFree=1902008/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=14932 CPUtime=6.22 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 6353 0 0 0 618 4 0 0 25 0 1 0 182058289 15290368 3276 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 3733 3276 135 292 0 3438 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 14932 [startup+12.7019 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5876 /proc/meminfo: memFree=1890744/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=24012 CPUtime=12.61 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 8683 0 0 0 1241 20 0 0 25 0 1 0 182058289 24588288 5568 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 6003 5568 136 292 0 5708 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 24012 [startup+25.5011 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5876 /proc/meminfo: memFree=1863864/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=49892 CPUtime=25.4 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 15150 0 0 0 2498 42 0 0 25 0 1 0 182058289 51089408 12035 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 12473 12035 136 292 0 12178 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 49892 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1840248/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=73868 CPUtime=50.99 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 21128 0 0 0 5025 74 0 0 25 0 1 0 182058289 75640832 18013 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 18467 18013 136 292 0 18172 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 73868 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1770296/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=142792 CPUtime=102.16 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 38368 0 0 0 10091 125 0 0 25 0 1 0 182058289 146219008 35253 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 35698 35253 136 292 0 35403 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 142792 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1729144/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=184320 CPUtime=162.13 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 48739 0 0 0 16038 175 0 0 25 0 1 0 182058289 188743680 45624 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 46080 45624 136 292 0 45785 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 184320 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1655544/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=257512 CPUtime=222.11 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 66991 0 0 0 21996 215 0 0 25 0 1 0 182058289 263692288 63876 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 64378 63877 136 292 0 64083 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 257512 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1575608/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=337972 CPUtime=282.08 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 87052 0 0 0 27954 254 0 0 25 0 1 0 182058289 346083328 83937 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 84493 83937 136 292 0 84198 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 337972 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1501816/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=411208 CPUtime=342.06 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 105326 0 0 0 33918 288 0 0 25 0 1 0 182058289 421076992 102211 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 102802 102211 136 292 0 102507 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 411208 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1425208/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=488544 CPUtime=402.03 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 124634 0 0 0 39868 335 0 0 25 0 1 0 182058289 500269056 121519 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 122136 121519 136 292 0 121841 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 488544 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1339064/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=573984 CPUtime=462 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 145987 0 0 0 45813 387 0 0 25 0 1 0 182058289 587759616 142872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 143496 142872 136 292 0 143201 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 573984 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1259512/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=654288 CPUtime=521.98 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 166066 0 0 0 51765 433 0 0 25 0 1 0 182058289 669990912 162951 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 163572 162951 136 292 0 163277 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 654288 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1186040/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=726816 CPUtime=581.95 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 184182 0 0 0 57714 481 0 0 25 0 1 0 182058289 744259584 181067 1992294400 134512640 135709839 4294956240 18446744073709551615 134577290 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 181704 181067 136 292 0 181409 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 726816 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=1118776/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=793416 CPUtime=641.93 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 200831 0 0 0 63673 520 0 0 25 0 1 0 182058289 812457984 197716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 198354 197716 136 292 0 198059 0 Current children cumulated CPU time (s) 641.93 Current children cumulated vsize (KiB) 793416 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=874360/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1037320 CPUtime=881.8 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 261783 0 0 0 87477 703 0 0 25 0 1 0 182058289 1062215680 258668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 259330 258668 136 292 0 259035 0 Current children cumulated CPU time (s) 881.8 Current children cumulated vsize (KiB) 1037320 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=873336/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1037320 CPUtime=941.77 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 262006 0 0 0 93445 732 0 0 25 0 1 0 182058289 1062215680 258891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 259330 258891 136 292 0 259035 0 Current children cumulated CPU time (s) 941.77 Current children cumulated vsize (KiB) 1037320 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=835256/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1075600 CPUtime=1001.73 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 271554 0 0 0 99400 773 0 0 25 0 1 0 182058289 1101414400 268439 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 268900 268439 136 292 0 268605 0 Current children cumulated CPU time (s) 1001.73 Current children cumulated vsize (KiB) 1075600 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=789368/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1121756 CPUtime=1061.72 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 283088 0 0 0 105355 817 0 0 25 0 1 0 182058289 1148678144 279973 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 280439 279974 136 292 0 280144 0 Current children cumulated CPU time (s) 1061.72 Current children cumulated vsize (KiB) 1121756 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5876 /proc/meminfo: memFree=730744/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1180276 CPUtime=1121.69 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 297699 0 0 0 111311 858 0 0 25 0 1 0 182058289 1208602624 294584 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 295069 294584 136 292 0 294774 0 Current children cumulated CPU time (s) 1121.69 Current children cumulated vsize (KiB) 1180276 [startup+1182.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 5876 /proc/meminfo: memFree=678776/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1231932 CPUtime=1181.65 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 310619 0 0 0 117262 903 0 0 25 0 1 0 182058289 1261498368 307504 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 307983 307504 136 292 0 307688 0 Current children cumulated CPU time (s) 1181.65 Current children cumulated vsize (KiB) 1231932 [startup+1242.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 5876 /proc/meminfo: memFree=644664/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1265544 CPUtime=1241.63 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 318990 0 0 0 123209 954 0 0 25 0 1 0 182058289 1295917056 315875 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 316386 315875 136 292 0 316091 0 Current children cumulated CPU time (s) 1241.63 Current children cumulated vsize (KiB) 1265544 [startup+1302.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 5876 /proc/meminfo: memFree=634872/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1275192 CPUtime=1301.6 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 321433 0 0 0 129164 996 0 0 25 0 1 0 182058289 1305796608 318318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 318798 318318 136 292 0 318503 0 Current children cumulated CPU time (s) 1301.6 Current children cumulated vsize (KiB) 1275192 [startup+1362.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 5878 /proc/meminfo: memFree=553144/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1357672 CPUtime=1361.57 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 342046 0 0 0 135110 1047 0 0 25 0 1 0 182058289 1390256128 338931 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 339418 338931 136 292 0 339123 0 Current children cumulated CPU time (s) 1361.57 Current children cumulated vsize (KiB) 1357672 [startup+1422.31 s] /proc/loadavg: 1.06 1.04 1.00 2/65 5878 /proc/meminfo: memFree=484600/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1425300 CPUtime=1421.55 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 358930 0 0 0 141059 1096 0 0 25 0 1 0 182058289 1459507200 355815 1992294400 134512640 135709839 4294956240 18446744073709551615 134578626 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 356325 355815 136 292 0 356030 0 Current children cumulated CPU time (s) 1421.55 Current children cumulated vsize (KiB) 1425300 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 5878 /proc/meminfo: memFree=410104/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1500312 CPUtime=1481.51 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 377676 0 0 0 147002 1149 0 0 25 0 1 0 182058289 1536319488 374561 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 375078 374561 136 292 0 374783 0 Current children cumulated CPU time (s) 1481.51 Current children cumulated vsize (KiB) 1500312 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 5878 /proc/meminfo: memFree=347128/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1562548 CPUtime=1541.45 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 393232 0 0 0 152956 1189 0 0 25 0 1 0 182058289 1600049152 390117 1992294400 134512640 135709839 4294956240 18446744073709551615 134574267 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 390637 390117 136 292 0 390342 0 Current children cumulated CPU time (s) 1541.45 Current children cumulated vsize (KiB) 1562548 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5878 /proc/meminfo: memFree=285240/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1625128 CPUtime=1601.43 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 408859 0 0 0 158924 1219 0 0 25 0 1 0 182058289 1664131072 405744 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 406282 405744 136 292 0 405987 0 Current children cumulated CPU time (s) 1601.43 Current children cumulated vsize (KiB) 1625128 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5878 /proc/meminfo: memFree=219576/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1690096 CPUtime=1661.4 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 425102 0 0 0 164884 1256 0 0 25 0 1 0 182058289 1730658304 421987 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 422524 421987 136 292 0 422229 0 Current children cumulated CPU time (s) 1661.4 Current children cumulated vsize (KiB) 1690096 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5878 /proc/meminfo: memFree=130872/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1779644 CPUtime=1721.37 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 447481 0 0 0 170843 1294 0 0 25 0 1 0 182058289 1822355456 444366 1992294400 134512640 135709839 4294956240 18446744073709551615 134600489 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 444911 444366 136 292 0 444616 0 Current children cumulated CPU time (s) 1721.37 Current children cumulated vsize (KiB) 1779644 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1759.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5878 /proc/meminfo: memFree=65912/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=1843268 CPUtime=1758.36 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4194304 463359 0 0 0 174517 1319 0 0 25 0 1 0 182058289 1887506432 460244 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 460817 460244 136 292 0 460522 0 Current children cumulated CPU time (s) 1758.36 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1759.41 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5878 /proc/meminfo: memFree=65912/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=0 CPUtime=1758.46 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4195332 463359 0 0 0 174517 1329 0 0 25 0 1 0 182058289 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1758.46 Current children cumulated vsize (KiB) 0 [startup+1759.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5878 /proc/meminfo: memFree=65912/2055920 swapFree=4181248/4192956 [pid=5875] ppid=5873 vsize=0 CPUtime=1758.56 /proc/5875/stat : 5875 (wbo) R 5873 5875 5616 0 -1 4195332 463359 0 0 0 174517 1339 0 0 25 0 1 0 182058289 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5875/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1758.56 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1759.57 CPU time (s): 1758.63 CPU user time (s): 1745.17 CPU system time (s): 13.46 CPU usage (%): 99.9467 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1745.17 system time used= 13.46 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 463359 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= 8983 runsolver used 2.00869 second user time and 4.50631 second system time The end
Begin job on node48 at 2009-06-16 11:30:19 IDJOB=1875706 IDBENCH=1985 IDSOLVER=698 FILE ID=node48/1875706-1245144619 PBS_JOBID= 9363730 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.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-1875706-1245144619/watcher-1875706-1245144619 -o /tmp/evaluation-result-1875706-1245144619/solver-1875706-1245144619 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875706-1245144619.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6486fd91f28e3890004c3ef801697dda RANDOM SEED=208932354 node48.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.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1911832 kB Buffers: 13616 kB Cached: 63396 kB SwapCached: 5472 kB Active: 52808 kB Inactive: 32116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1911832 kB SwapTotal: 4192956 kB SwapFree: 4181248 kB Dirty: 2584 kB Writeback: 0 kB Mapped: 13544 kB Slab: 45196 kB Committed_AS: 146664 kB PageTables: 1372 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-1875706-1245144619.opb Free space on /tmp at the end= 66232 MiB End job on node48 at 2009-06-16 11:59:41