Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.27 | 1801.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb |
MD5SUM | 8fb889bdb08324a2b9780b5ff988846e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2000 |
Total number of constraints | 5250 |
Number of constraints which are clauses | 5250 |
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 | 3 |
Number of terms in the objective function | 2000 |
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 | 2000 |
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 | 2000 |
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-1875525-1245151247.opb. 0.00/0.00 c Instance file HOME/instance-1875525-1245151247.opb 0.00/0.00 c File size is 179470 bytes. 0.00/0.02 c Highest Coefficient sum: 4 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 2000 | 0.00/0.02 c | Number Clauses: 7250 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c core #1 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #2 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #3 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #4 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #5 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #6 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #7 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #8 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #9 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #10 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #11 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #12 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #13 0.07/0.07 c Core size: 4 Core Weight: 1 Total Weight: 13 0.07/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.07/0.07 c core #14 0.07/0.07 c Core size: 4 Core Weight: 1 Total Weight: 14 0.07/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #15 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 15 0.07/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #16 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 16 0.07/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #17 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: 17 0.07/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #18 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: 18 0.07/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.07/0.10 c core #19 0.07/0.10 c Core size: 4 Core Weight: 1 Total Weight: 19 0.07/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #20 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 20 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #21 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 21 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #22 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 22 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #23 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: 23 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #24 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 24 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #25 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: 25 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #26 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 26 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #27 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 27 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #28 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 28 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #29 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 29 0.09/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #30 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 30 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #31 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 31 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #32 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 32 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #33 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 33 0.09/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #34 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 34 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #35 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: 35 0.09/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #36 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 36 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #37 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 37 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #38 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 38 0.09/0.18 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #39 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 39 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #40 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 40 0.09/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #41 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 41 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #42 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 42 0.09/0.19 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #43 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 43 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #44 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 44 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #45 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 45 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #46 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: 46 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #47 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: 47 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #48 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: 48 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #49 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 49 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #50 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 50 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #51 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 51 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #52 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 52 0.19/0.24 c Elapsed CPU time: 0.237963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #53 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 53 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #54 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 54 0.19/0.25 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #55 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 55 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #56 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 56 0.19/0.26 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #57 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 57 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #58 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 58 0.19/0.27 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #59 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 59 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #60 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 60 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #61 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 61 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #62 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 62 0.19/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #63 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: 63 0.19/0.29 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #64 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: 64 0.19/0.29 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #65 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: 65 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #66 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: 66 0.29/0.30 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #67 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: 67 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #68 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: 68 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #69 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: 69 0.29/0.31 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #70 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 70 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #71 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: 71 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #72 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 72 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #73 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 73 0.29/0.33 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #74 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: 74 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #75 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: 75 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #76 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 76 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #77 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 77 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #78 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 78 0.29/0.35 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #79 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 79 0.29/0.36 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #80 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 80 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #81 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 81 0.29/0.37 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #82 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 82 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #83 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 83 0.29/0.38 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #84 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 84 0.29/0.38 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #85 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: 85 0.29/0.39 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #86 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: 86 0.29/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.29/0.40 c core #87 0.29/0.40 c Core size: 4 Core Weight: 1 Total Weight: 87 0.29/0.40 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #88 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: 88 0.39/0.40 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #89 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: 89 0.39/0.40 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #90 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: 90 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #91 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: 91 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #92 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: 92 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #93 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: 93 0.39/0.42 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #94 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 94 0.39/0.43 c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #95 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: 95 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #96 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: 96 0.39/0.44 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #97 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: 97 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #98 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 98 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #99 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 99 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #100 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: 100 0.39/0.46 c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #101 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: 101 0.39/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #102 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: 102 0.39/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #103 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 103 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #104 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 104 0.39/0.47 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #105 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 105 0.39/0.48 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #106 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 106 0.39/0.48 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #107 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: 107 0.39/0.49 c Elapsed CPU time: 0.486925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #108 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: 108 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #109 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 109 0.49/0.50 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #110 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 110 0.49/0.50 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #111 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: 111 0.49/0.51 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #112 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: 112 0.49/0.51 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #113 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 113 0.49/0.52 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #114 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 114 0.49/0.52 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #115 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 115 0.49/0.53 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #116 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 116 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #117 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: 117 0.49/0.54 c Elapsed CPU time: 0.535918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #118 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: 118 0.49/0.54 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #119 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 119 0.49/0.55 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #120 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 120 0.49/0.55 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #121 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: 121 0.49/0.56 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #122 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: 122 0.49/0.56 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #123 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: 123 0.49/0.57 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #124 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: 124 0.49/0.57 c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #125 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: 125 0.49/0.58 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #126 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: 126 0.49/0.58 c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #127 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: 127 0.49/0.59 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #128 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: 128 0.49/0.59 c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #129 0.59/0.60 c Core size: 4 Core Weight: 1 Total Weight: 129 0.59/0.60 c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #130 0.59/0.60 c Core size: 4 Core Weight: 1 Total Weight: 130 0.59/0.60 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #131 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 131 0.59/0.61 c Elapsed CPU time: 0.604908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #132 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 132 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #133 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: 133 0.59/0.62 c Elapsed CPU time: 0.614906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #134 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: 134 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #135 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: 135 0.59/0.63 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #136 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: 136 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #137 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 137 0.59/0.64 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #138 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: 138 0.59/0.64 c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #139 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 139 0.59/0.65 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #140 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 140 0.59/0.65 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #141 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: 141 0.59/0.66 c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #142 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: 142 0.59/0.66 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #143 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: 143 0.59/0.67 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #144 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: 144 0.59/0.67 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #145 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: 145 0.59/0.68 c Elapsed CPU time: 0.674897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #146 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: 146 0.59/0.68 c Elapsed CPU time: 0.679896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #147 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 147 0.59/0.69 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #148 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 148 0.59/0.69 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #149 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: 149 0.69/0.70 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #150 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: 150 0.69/0.70 c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #151 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: 151 0.69/0.71 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #152 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: 152 0.69/0.71 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #153 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: 153 0.69/0.72 c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #154 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: 154 0.69/0.72 c Elapsed CPU time: 0.72189 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #155 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: 155 0.69/0.73 c Elapsed CPU time: 0.726889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #156 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: 156 0.69/0.73 c Elapsed CPU time: 0.731888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #157 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: 157 0.69/0.74 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #158 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: 158 0.69/0.74 c Elapsed CPU time: 0.741887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #159 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: 159 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #160 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: 160 0.69/0.75 c Elapsed CPU time: 0.751885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #161 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: 161 0.69/0.76 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #162 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: 162 0.69/0.76 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #163 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: 163 0.69/0.77 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #164 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: 164 0.69/0.77 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #165 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: 165 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #166 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 166 0.69/0.79 c Elapsed CPU time: 0.78288 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #167 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 167 0.69/0.79 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.69/0.80 c core #168 0.69/0.80 c Core size: 4 Core Weight: 1 Total Weight: 168 0.69/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #169 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: 169 0.79/0.80 c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #170 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: 170 0.79/0.81 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #171 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: 171 0.79/0.81 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #172 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: 172 0.79/0.82 c Elapsed CPU time: 0.812876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #173 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: 173 0.79/0.82 c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #174 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: 174 0.79/0.83 c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #175 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: 175 0.79/0.83 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #176 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: 176 0.79/0.84 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #177 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: 177 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #178 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: 178 0.79/0.85 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #179 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: 179 0.79/0.85 c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #180 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: 180 0.79/0.86 c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #181 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: 181 0.79/0.86 c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #182 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: 182 0.79/0.87 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #183 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: 183 0.79/0.87 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #184 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: 184 0.79/0.88 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.79/0.88 c core #185 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: 185 0.79/0.88 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #186 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: 186 0.79/0.89 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #187 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: 187 0.79/0.89 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #188 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: 188 0.89/0.90 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #189 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: 189 0.89/0.91 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #190 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: 190 0.89/0.91 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #191 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: 191 0.89/0.92 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #192 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: 192 0.89/0.92 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #193 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: 193 0.89/0.93 c Elapsed CPU time: 0.921859 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #194 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: 194 0.89/0.93 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #195 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: 195 0.89/0.94 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #196 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: 196 0.89/0.94 c Elapsed CPU time: 0.938857 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #197 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: 197 0.89/0.95 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #198 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: 198 0.89/0.95 c Elapsed CPU time: 0.948855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #199 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: 199 0.89/0.96 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #200 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: 200 0.89/0.96 c Elapsed CPU time: 0.959854 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #201 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: 201 0.89/0.97 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #202 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: 202 0.89/0.97 c Elapsed CPU time: 0.970852 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #203 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: 203 0.89/0.98 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #204 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: 204 0.89/0.99 c Elapsed CPU time: 0.98185 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #205 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: 205 0.89/0.99 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 s 0.99/1.00 c core #206 0.99/1.00 c Core size: 4 Core Weight: 1 Total Weight: 206 0.99/1.00 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 0.99/1.00 c core #207 0.99/1.00 c Core size: 4 Core Weight: 1 Total Weight: 207 0.99/1.00 c Elapsed CPU time: 0.997848 s Remaining CPU time: 1799 s 0.99/1.01 c core #208 0.99/1.01 c Core size: 4 Core Weight: 1 Total Weight: 208 0.99/1.01 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 0.99/1.01 c core #209 0.99/1.01 c Core size: 4 Core Weight: 1 Total Weight: 209 0.99/1.01 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #210 0.99/1.02 c Core size: 4 Core Weight: 1 Total Weight: 210 0.99/1.02 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #211 0.99/1.02 c Core size: 4 Core Weight: 1 Total Weight: 211 0.99/1.02 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #212 0.99/1.03 c Core size: 4 Core Weight: 1 Total Weight: 212 0.99/1.03 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 0.99/1.03 c core #213 0.99/1.03 c Core size: 4 Core Weight: 1 Total Weight: 213 0.99/1.03 c Elapsed CPU time: 1.03084 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #214 0.99/1.04 c Core size: 4 Core Weight: 1 Total Weight: 214 0.99/1.04 c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #215 0.99/1.05 c Core size: 4 Core Weight: 1 Total Weight: 215 0.99/1.05 c Elapsed CPU time: 1.04184 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #216 0.99/1.05 c Core size: 4 Core Weight: 1 Total Weight: 216 0.99/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #217 0.99/1.06 c Core size: 4 Core Weight: 1 Total Weight: 217 0.99/1.06 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #218 0.99/1.06 c Core size: 4 Core Weight: 1 Total Weight: 218 0.99/1.06 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #219 0.99/1.07 c Core size: 4 Core Weight: 1 Total Weight: 219 0.99/1.07 c Elapsed CPU time: 1.06384 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #220 0.99/1.07 c Core size: 4 Core Weight: 1 Total Weight: 220 0.99/1.07 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #221 0.99/1.08 c Core size: 4 Core Weight: 1 Total Weight: 221 0.99/1.08 c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s 0.99/1.09 c core #222 0.99/1.09 c Core size: 4 Core Weight: 1 Total Weight: 222 0.99/1.09 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #223 0.99/1.09 c Core size: 4 Core Weight: 1 Total Weight: 223 0.99/1.09 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 0.99/1.10 c core #224 0.99/1.10 c Core size: 4 Core Weight: 1 Total Weight: 224 0.99/1.10 c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s 1.09/1.10 c core #225 1.09/1.10 c Core size: 4 Core Weight: 1 Total Weight: 225 1.09/1.10 c Elapsed CPU time: 1.09783 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #226 1.09/1.11 c Core size: 4 Core Weight: 1 Total Weight: 226 1.09/1.11 c Elapsed CPU time: 1.10383 s Remaining CPU time: 1798.9 s 1.09/1.11 c core #227 1.09/1.11 c Core size: 4 Core Weight: 1 Total Weight: 227 1.09/1.11 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.09/1.12 c core #228 1.09/1.12 c Core size: 4 Core Weight: 1 Total Weight: 228 1.09/1.12 c Elapsed CPU time: 1.11483 s Remaining CPU time: 1798.89 s 1.09/1.13 c core #229 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: 229 1.09/1.13 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.09/1.13 c core #230 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: 230 1.09/1.13 c Elapsed CPU time: 1.12583 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #231 1.09/1.14 c Core size: 4 Core Weight: 1 Total Weight: 231 1.09/1.14 c Elapsed CPU time: 1.13183 s Remaining CPU time: 1798.87 s 1.09/1.14 c core #232 1.09/1.14 c Core size: 4 Core Weight: 1 Total Weight: 232 1.09/1.14 c Elapsed CPU time: 1.13683 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #233 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: 233 1.09/1.15 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.09/1.15 c core #234 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: 234 1.09/1.15 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.09/1.16 c core #235 1.09/1.16 c Core size: 4 Core Weight: 1 Total Weight: 235 1.09/1.16 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.09/1.17 c core #236 1.09/1.17 c Core size: 4 Core Weight: 1 Total Weight: 236 1.09/1.17 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.09/1.17 c core #237 1.09/1.17 c Core size: 4 Core Weight: 1 Total Weight: 237 1.09/1.17 c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #238 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: 238 1.09/1.18 c Elapsed CPU time: 1.17282 s Remaining CPU time: 1798.83 s 1.09/1.18 c core #239 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: 239 1.09/1.18 c Elapsed CPU time: 1.17782 s Remaining CPU time: 1798.82 s 1.09/1.19 c core #240 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: 240 1.09/1.19 c Elapsed CPU time: 1.18482 s Remaining CPU time: 1798.82 s 1.09/1.20 c core #241 1.09/1.20 c Core size: 4 Core Weight: 1 Total Weight: 241 1.09/1.20 c Elapsed CPU time: 1.18982 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #242 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: 242 1.19/1.20 c Elapsed CPU time: 1.19582 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #243 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: 243 1.19/1.21 c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #244 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: 244 1.19/1.21 c Elapsed CPU time: 1.20682 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #245 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: 245 1.19/1.22 c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s 1.19/1.23 c core #246 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: 246 1.19/1.23 c Elapsed CPU time: 1.21881 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #247 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: 247 1.19/1.23 c Elapsed CPU time: 1.22581 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #248 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: 248 1.19/1.24 c Elapsed CPU time: 1.23181 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #249 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: 249 1.19/1.24 c Elapsed CPU time: 1.23681 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #250 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: 250 1.19/1.25 c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s 1.19/1.26 c core #251 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: 251 1.19/1.26 c Elapsed CPU time: 1.24881 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #252 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: 252 1.19/1.26 c Elapsed CPU time: 1.25481 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #253 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: 253 1.19/1.27 c Elapsed CPU time: 1.26081 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #254 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: 254 1.19/1.27 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #255 1.19/1.28 c Core size: 4 Core Weight: 1 Total Weight: 255 1.19/1.28 c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s 1.19/1.29 c core #256 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: 256 1.19/1.29 c Elapsed CPU time: 1.27981 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #257 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: 257 1.19/1.29 c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #258 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: 258 1.29/1.30 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #259 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: 259 1.29/1.30 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #260 1.29/1.31 c Core size: 4 Core Weight: 1 Total Weight: 260 1.29/1.31 c Elapsed CPU time: 1.3038 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #261 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: 261 1.29/1.32 c Elapsed CPU time: 1.3098 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #262 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: 262 1.29/1.32 c Elapsed CPU time: 1.3158 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #263 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: 263 1.29/1.33 c Elapsed CPU time: 1.3218 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #264 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: 264 1.29/1.33 c Elapsed CPU time: 1.3278 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #265 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: 265 1.29/1.34 c Elapsed CPU time: 1.3338 s Remaining CPU time: 1798.67 s 1.29/1.35 c core #266 1.29/1.35 c Core size: 4 Core Weight: 1 Total Weight: 266 1.29/1.35 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #267 1.29/1.35 c Core size: 4 Core Weight: 1 Total Weight: 267 1.29/1.35 c Elapsed CPU time: 1.34679 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #268 1.29/1.36 c Core size: 4 Core Weight: 1 Total Weight: 268 1.29/1.36 c Elapsed CPU time: 1.35279 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #269 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: 269 1.29/1.37 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #270 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: 270 1.29/1.37 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.29/1.38 c core #271 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: 271 1.29/1.38 c Elapsed CPU time: 1.37079 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #272 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: 272 1.29/1.38 c Elapsed CPU time: 1.37779 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #273 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: 273 1.29/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.38/1.40 c core #274 1.38/1.40 c Core size: 4 Core Weight: 1 Total Weight: 274 1.38/1.40 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.38/1.40 c core #275 1.38/1.40 c Core size: 4 Core Weight: 1 Total Weight: 275 1.38/1.40 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s 1.38/1.41 c core #276 1.38/1.41 c Core size: 4 Core Weight: 1 Total Weight: 276 1.38/1.41 c Elapsed CPU time: 1.40379 s Remaining CPU time: 1798.6 s 1.38/1.42 c core #277 1.38/1.42 c Core size: 4 Core Weight: 1 Total Weight: 277 1.38/1.42 c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s 1.38/1.42 c core #278 1.38/1.42 c Core size: 4 Core Weight: 1 Total Weight: 278 1.38/1.42 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.38/1.43 c core #279 1.38/1.43 c Core size: 4 Core Weight: 1 Total Weight: 279 1.38/1.43 c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s 1.38/1.44 c core #280 1.38/1.44 c Core size: 4 Core Weight: 1 Total Weight: 280 1.38/1.44 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.38/1.44 c core #281 1.38/1.44 c Core size: 4 Core Weight: 1 Total Weight: 281 1.38/1.44 c Elapsed CPU time: 1.43578 s Remaining CPU time: 1798.56 s 1.38/1.45 c core #282 1.38/1.45 c Core size: 4 Core Weight: 1 Total Weight: 282 1.38/1.45 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.38/1.46 c core #283 1.38/1.46 c Core size: 4 Core Weight: 1 Total Weight: 283 1.38/1.46 c Elapsed CPU time: 1.44978 s Remaining CPU time: 1798.55 s 1.38/1.46 c core #284 1.38/1.46 c Core size: 4 Core Weight: 1 Total Weight: 284 1.38/1.46 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s 1.38/1.47 c core #285 1.38/1.47 c Core size: 4 Core Weight: 1 Total Weight: 285 1.38/1.47 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.38/1.48 c core #286 1.38/1.48 c Core size: 4 Core Weight: 1 Total Weight: 286 1.38/1.48 c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s 1.38/1.48 c core #287 1.38/1.48 c Core size: 4 Core Weight: 1 Total Weight: 287 1.38/1.48 c Elapsed CPU time: 1.47677 s Remaining CPU time: 1798.52 s 1.38/1.49 c core #288 1.38/1.49 c Core size: 4 Core Weight: 1 Total Weight: 288 1.38/1.49 c Elapsed CPU time: 1.48377 s Remaining CPU time: 1798.52 s 1.48/1.50 c core #289 1.48/1.50 c Core size: 4 Core Weight: 1 Total Weight: 289 1.48/1.50 c Elapsed CPU time: 1.48977 s Remaining CPU time: 1798.51 s 1.48/1.50 c core #290 1.48/1.50 c Core size: 4 Core Weight: 1 Total Weight: 290 1.48/1.50 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.48/1.51 c core #291 1.48/1.51 c Core size: 4 Core Weight: 1 Total Weight: 291 1.48/1.51 c Elapsed CPU time: 1.50277 s Remaining CPU time: 1798.5 s 1.48/1.52 c core #292 1.48/1.52 c Core size: 4 Core Weight: 1 Total Weight: 292 1.48/1.52 c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s 1.48/1.52 c core #293 1.48/1.52 c Core size: 4 Core Weight: 1 Total Weight: 293 1.48/1.52 c Elapsed CPU time: 1.51577 s Remaining CPU time: 1798.48 s 1.48/1.53 c core #294 1.48/1.53 c Core size: 4 Core Weight: 1 Total Weight: 294 1.48/1.53 c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s 1.48/1.54 c core #295 1.48/1.54 c Core size: 4 Core Weight: 1 Total Weight: 295 1.48/1.54 c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s 1.48/1.54 c core #296 1.48/1.54 c Core size: 4 Core Weight: 1 Total Weight: 296 1.48/1.54 c Elapsed CPU time: 1.53577 s Remaining CPU time: 1798.46 s 1.48/1.55 c core #297 1.48/1.55 c Core size: 4 Core Weight: 1 Total Weight: 297 1.48/1.55 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.48/1.56 c core #298 1.48/1.56 c Core size: 4 Core Weight: 1 Total Weight: 298 1.48/1.56 c Elapsed CPU time: 1.54876 s Remaining CPU time: 1798.45 s 1.48/1.56 c core #299 1.48/1.56 c Core size: 4 Core Weight: 1 Total Weight: 299 1.48/1.56 c Elapsed CPU time: 1.55576 s Remaining CPU time: 1798.44 s 1.48/1.57 c core #300 1.48/1.57 c Core size: 4 Core Weight: 1 Total Weight: 300 1.48/1.57 c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s 1.48/1.58 c core #301 1.48/1.58 c Core size: 4 Core Weight: 1 Total Weight: 301 1.48/1.58 c Elapsed CPU time: 1.56876 s Remaining CPU time: 1798.43 s 1.48/1.58 c core #302 1.48/1.58 c Core size: 4 Core Weight: 1 Total Weight: 302 1.48/1.58 c Elapsed CPU time: 1.57576 s Remaining CPU time: 1798.42 s 1.48/1.59 c core #303 1.48/1.59 c Core size: 4 Core Weight: 1 Total Weight: 303 1.48/1.59 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.48/1.60 c core #304 1.48/1.60 c Core size: 4 Core Weight: 1 Total Weight: 304 1.48/1.60 c Elapsed CPU time: 1.58976 s Remaining CPU time: 1798.41 s 1.58/1.60 c core #305 1.58/1.60 c Core size: 4 Core Weight: 1 Total Weight: 305 1.58/1.60 c Elapsed CPU time: 1.59676 s Remaining CPU time: 1798.4 s 1.58/1.61 c core #306 1.58/1.61 c Core size: 4 Core Weight: 1 Total Weight: 306 1.58/1.61 c Elapsed CPU time: 1.60276 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #307 1.58/1.62 c Core size: 4 Core Weight: 1 Total Weight: 307 1.58/1.62 c Elapsed CPU time: 1.60976 s Remaining CPU time: 1798.39 s 1.58/1.62 c core #308 1.58/1.62 c Core size: 4 Core Weight: 1 Total Weight: 308 1.58/1.62 c Elapsed CPU time: 1.61675 s Remaining CPU time: 1798.38 s 1.58/1.63 c core #309 1.58/1.63 c Core size: 4 Core Weight: 1 Total Weight: 309 1.58/1.63 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #310 1.58/1.64 c Core size: 4 Core Weight: 1 Total Weight: 310 1.58/1.64 c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s 1.58/1.64 c core #311 1.58/1.64 c Core size: 4 Core Weight: 1 Total Weight: 311 1.58/1.64 c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #312 1.58/1.65 c Core size: 4 Core Weight: 1 Total Weight: 312 1.58/1.65 c Elapsed CPU time: 1.64175 s Remaining CPU time: 1798.36 s 1.58/1.66 c core #313 1.58/1.66 c Core size: 4 Core Weight: 1 Total Weight: 313 1.58/1.66 c Elapsed CPU time: 1.64875 s Remaining CPU time: 1798.35 s 1.58/1.67 c core #314 1.58/1.67 c Core size: 4 Core Weight: 1 Total Weight: 314 1.58/1.67 c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s 1.58/1.67 c core #315 1.58/1.67 c Core size: 4 Core Weight: 1 Total Weight: 315 1.58/1.67 c Elapsed CPU time: 1.66375 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #316 1.58/1.68 c Core size: 4 Core Weight: 1 Total Weight: 316 1.58/1.68 c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #317 1.58/1.69 c Core size: 4 Core Weight: 1 Total Weight: 317 1.58/1.69 c Elapsed CPU time: 1.67774 s Remaining CPU time: 1798.32 s 1.58/1.69 c core #318 1.58/1.69 c Core size: 4 Core Weight: 1 Total Weight: 318 1.58/1.69 c Elapsed CPU time: 1.68474 s Remaining CPU time: 1798.32 s 1.69/1.70 c core #319 1.69/1.70 c Core size: 4 Core Weight: 1 Total Weight: 319 1.69/1.70 c Elapsed CPU time: 1.69274 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #320 1.69/1.71 c Core size: 4 Core Weight: 1 Total Weight: 320 1.69/1.71 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.69/1.72 c core #321 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: 321 1.69/1.72 c Elapsed CPU time: 1.70574 s Remaining CPU time: 1798.29 s 1.69/1.72 c core #322 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: 322 1.69/1.72 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #323 1.69/1.73 c Core size: 4 Core Weight: 1 Total Weight: 323 1.69/1.73 c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #324 1.69/1.74 c Core size: 4 Core Weight: 1 Total Weight: 324 1.69/1.74 c Elapsed CPU time: 1.72774 s Remaining CPU time: 1798.27 s 1.69/1.74 c core #325 1.69/1.74 c Core size: 4 Core Weight: 1 Total Weight: 325 1.69/1.74 c Elapsed CPU time: 1.73474 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #326 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: 326 1.69/1.75 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #327 1.69/1.76 c Core size: 4 Core Weight: 1 Total Weight: 327 1.69/1.76 c Elapsed CPU time: 1.74973 s Remaining CPU time: 1798.25 s 1.69/1.77 c core #328 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: 328 1.69/1.77 c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s 1.69/1.77 c core #329 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: 329 1.69/1.77 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #330 1.69/1.78 c Core size: 4 Core Weight: 1 Total Weight: 330 1.69/1.78 c Elapsed CPU time: 1.77073 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #331 1.69/1.79 c Core size: 4 Core Weight: 1 Total Weight: 331 1.69/1.79 c Elapsed CPU time: 1.77873 s Remaining CPU time: 1798.22 s 1.69/1.80 c core #332 1.69/1.80 c Core size: 4 Core Weight: 1 Total Weight: 332 1.69/1.80 c Elapsed CPU time: 1.78573 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #333 1.79/1.80 c Core size: 4 Core Weight: 1 Total Weight: 333 1.79/1.80 c Elapsed CPU time: 1.79273 s Remaining CPU time: 1798.21 s 1.79/1.81 c core #334 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: 334 1.79/1.81 c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s 1.79/1.82 c core #335 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: 335 1.79/1.82 c Elapsed CPU time: 1.80773 s Remaining CPU time: 1798.19 s 1.79/1.82 c core #336 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: 336 1.79/1.82 c Elapsed CPU time: 1.81472 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #337 1.79/1.83 c Core size: 4 Core Weight: 1 Total Weight: 337 1.79/1.83 c Elapsed CPU time: 1.82172 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #338 1.79/1.84 c Core size: 4 Core Weight: 1 Total Weight: 338 1.79/1.84 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.79/1.85 c core #339 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: 339 1.79/1.85 c Elapsed CPU time: 1.83672 s Remaining CPU time: 1798.16 s 1.79/1.85 c core #340 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: 340 1.79/1.85 c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #341 1.79/1.86 c Core size: 4 Core Weight: 1 Total Weight: 341 1.79/1.86 c Elapsed CPU time: 1.85072 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #342 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: 342 1.79/1.87 c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s 1.79/1.87 c core #343 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: 343 1.79/1.87 c Elapsed CPU time: 1.86572 s Remaining CPU time: 1798.13 s 1.79/1.88 c core #344 1.79/1.88 c Core size: 4 Core Weight: 1 Total Weight: 344 1.79/1.88 c Elapsed CPU time: 1.87271 s Remaining CPU time: 1798.13 s 1.79/1.89 c core #345 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: 345 1.79/1.89 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.89/1.90 c core #346 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: 346 1.89/1.90 c Elapsed CPU time: 1.88771 s Remaining CPU time: 1798.11 s 1.89/1.90 c core #347 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: 347 1.89/1.90 c Elapsed CPU time: 1.89571 s Remaining CPU time: 1798.1 s 1.89/1.91 c core #348 1.89/1.91 c Core size: 4 Core Weight: 1 Total Weight: 348 1.89/1.91 c Elapsed CPU time: 1.90271 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #349 1.89/1.92 c Core size: 4 Core Weight: 1 Total Weight: 349 1.89/1.92 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #350 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: 350 1.89/1.93 c Elapsed CPU time: 1.91771 s Remaining CPU time: 1798.08 s 1.89/1.93 c core #351 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: 351 1.89/1.93 c Elapsed CPU time: 1.92471 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #352 1.89/1.94 c Core size: 4 Core Weight: 1 Total Weight: 352 1.89/1.94 c Elapsed CPU time: 1.93171 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #353 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: 353 1.89/1.95 c Elapsed CPU time: 1.93971 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #354 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: 354 1.89/1.96 c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s 1.89/1.96 c core #355 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: 355 1.89/1.96 c Elapsed CPU time: 1.9547 s Remaining CPU time: 1798.05 s 1.89/1.97 c core #356 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: 356 1.89/1.97 c Elapsed CPU time: 1.9607 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #357 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: 357 1.89/1.98 c Elapsed CPU time: 1.9687 s Remaining CPU time: 1798.03 s 1.89/1.99 c core #358 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: 358 1.89/1.99 c Elapsed CPU time: 1.9757 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #359 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: 359 1.89/1.99 c Elapsed CPU time: 1.9837 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #360 1.99/2.00 c Core size: 4 Core Weight: 1 Total Weight: 360 1.99/2.00 c Elapsed CPU time: 1.9907 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #361 1.99/2.01 c Core size: 4 Core Weight: 1 Total Weight: 361 1.99/2.01 c Elapsed CPU time: 1.9977 s Remaining CPU time: 1798 s 1.99/2.02 c core #362 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: 362 1.99/2.02 c Elapsed CPU time: 2.00569 s Remaining CPU time: 1797.99 s 1.99/2.02 c core #363 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: 363 1.99/2.02 c Elapsed CPU time: 2.01269 s Remaining CPU time: 1797.99 s 1.99/2.03 c core #364 1.99/2.03 c Core size: 4 Core Weight: 1 Total Weight: 364 1.99/2.03 c Elapsed CPU time: 2.01969 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #365 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: 365 1.99/2.04 c Elapsed CPU time: 2.02769 s Remaining CPU time: 1797.97 s 1.99/2.04 c core #366 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: 366 1.99/2.04 c Elapsed CPU time: 2.03469 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #367 1.99/2.05 c Core size: 4 Core Weight: 1 Total Weight: 367 1.99/2.05 c Elapsed CPU time: 2.04069 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #368 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: 368 1.99/2.06 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #369 1.99/2.07 c Core size: 4 Core Weight: 1 Total Weight: 369 1.99/2.07 c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s 1.99/2.07 c core #370 1.99/2.07 c Core size: 4 Core Weight: 1 Total Weight: 370 1.99/2.07 c Elapsed CPU time: 2.06369 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #371 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: 371 1.99/2.08 c Elapsed CPU time: 2.07069 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #372 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: 372 1.99/2.09 c Elapsed CPU time: 2.07868 s Remaining CPU time: 1797.92 s 1.99/2.10 c core #373 1.99/2.10 c Core size: 4 Core Weight: 1 Total Weight: 373 1.99/2.10 c Elapsed CPU time: 2.08668 s Remaining CPU time: 1797.91 s 2.09/2.11 c core #374 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: 374 2.09/2.11 c Elapsed CPU time: 2.09468 s Remaining CPU time: 1797.91 s 2.09/2.11 c core #375 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: 375 2.09/2.11 c Elapsed CPU time: 2.10268 s Remaining CPU time: 1797.9 s 2.09/2.12 c core #376 2.09/2.12 c Core size: 4 Core Weight: 1 Total Weight: 376 2.09/2.12 c Elapsed CPU time: 2.11068 s Remaining CPU time: 1797.89 s 2.09/2.13 c core #377 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: 377 2.09/2.13 c Elapsed CPU time: 2.11868 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #378 2.09/2.14 c Core size: 4 Core Weight: 1 Total Weight: 378 2.09/2.14 c Elapsed CPU time: 2.12568 s Remaining CPU time: 1797.87 s 2.09/2.15 c core #379 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: 379 2.09/2.15 c Elapsed CPU time: 2.13267 s Remaining CPU time: 1797.87 s 2.09/2.15 c core #380 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: 380 2.09/2.15 c Elapsed CPU time: 2.14067 s Remaining CPU time: 1797.86 s 2.09/2.16 c core #381 2.09/2.16 c Core size: 4 Core Weight: 1 Total Weight: 381 2.09/2.16 c Elapsed CPU time: 2.14867 s Remaining CPU time: 1797.85 s 2.09/2.17 c core #382 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: 382 2.09/2.17 c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s 2.09/2.18 c core #383 2.09/2.18 c Core size: 4 Core Weight: 1 Total Weight: 383 2.09/2.18 c Elapsed CPU time: 2.16467 s Remaining CPU time: 1797.84 s 2.09/2.19 c core #384 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: 384 2.09/2.19 c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #385 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: 385 2.09/2.19 c Elapsed CPU time: 2.18067 s Remaining CPU time: 1797.82 s 2.19/2.20 c core #386 2.19/2.20 c Core size: 4 Core Weight: 1 Total Weight: 386 2.19/2.20 c Elapsed CPU time: 2.18867 s Remaining CPU time: 1797.81 s 2.19/2.21 c core #387 2.19/2.21 c Core size: 4 Core Weight: 1 Total Weight: 387 2.19/2.21 c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s 2.19/2.22 c core #388 2.19/2.22 c Core size: 4 Core Weight: 1 Total Weight: 388 2.19/2.22 c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s 2.19/2.23 c core #389 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: 389 2.19/2.23 c Elapsed CPU time: 2.21266 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #390 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: 390 2.19/2.23 c Elapsed CPU time: 2.22066 s Remaining CPU time: 1797.78 s 2.19/2.24 c core #391 2.19/2.24 c Core size: 4 Core Weight: 1 Total Weight: 391 2.19/2.24 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.25 c core #392 2.19/2.25 c Core size: 4 Core Weight: 1 Total Weight: 392 2.19/2.25 c Elapsed CPU time: 2.23566 s Remaining CPU time: 1797.76 s 2.19/2.26 c core #393 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: 393 2.19/2.26 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.19/2.26 c core #394 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: 394 2.19/2.26 c Elapsed CPU time: 2.24966 s Remaining CPU time: 1797.75 s 2.19/2.27 c core #395 2.19/2.27 c Core size: 4 Core Weight: 1 Total Weight: 395 2.19/2.27 c Elapsed CPU time: 2.25766 s Remaining CPU time: 1797.74 s 2.19/2.28 c core #396 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: 396 2.19/2.28 c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s 2.19/2.29 c core #397 2.19/2.29 c Core size: 4 Core Weight: 1 Total Weight: 397 2.19/2.29 c Elapsed CPU time: 2.27265 s Remaining CPU time: 1797.73 s 2.19/2.29 c core #398 2.19/2.29 c Core size: 4 Core Weight: 1 Total Weight: 398 2.19/2.29 c Elapsed CPU time: 2.28065 s Remaining CPU time: 1797.72 s 2.29/2.30 c core #399 2.29/2.30 c Core size: 4 Core Weight: 1 Total Weight: 399 2.29/2.30 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.29/2.31 c core #400 2.29/2.31 c Core size: 4 Core Weight: 1 Total Weight: 400 2.29/2.31 c Elapsed CPU time: 2.29665 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #401 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: 401 2.29/2.32 c Elapsed CPU time: 2.30365 s Remaining CPU time: 1797.7 s 2.29/2.33 c core #402 2.29/2.33 c Core size: 4 Core Weight: 1 Total Weight: 402 2.29/2.33 c Elapsed CPU time: 2.31165 s Remaining CPU time: 1797.69 s 2.29/2.33 c core #403 2.29/2.33 c Core size: 4 Core Weight: 1 Total Weight: 403 2.29/2.33 c Elapsed CPU time: 2.31965 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #404 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: 404 2.29/2.34 c Elapsed CPU time: 2.32765 s Remaining CPU time: 1797.67 s 2.29/2.35 c core #405 2.29/2.35 c Core size: 4 Core Weight: 1 Total Weight: 405 2.29/2.35 c Elapsed CPU time: 2.33564 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #406 2.29/2.36 c Core size: 4 Core Weight: 1 Total Weight: 406 2.29/2.36 c Elapsed CPU time: 2.34364 s Remaining CPU time: 1797.66 s 2.29/2.37 c core #407 2.29/2.37 c Core size: 4 Core Weight: 1 Total Weight: 407 2.29/2.37 c Elapsed CPU time: 2.35064 s Remaining CPU time: 1797.65 s 2.29/2.37 c core #408 2.29/2.37 c Core size: 4 Core Weight: 1 Total Weight: 408 2.29/2.37 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #409 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: 409 2.29/2.38 c Elapsed CPU time: 2.36564 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #410 2.29/2.39 c Core size: 4 Core Weight: 1 Total Weight: 410 2.29/2.39 c Elapsed CPU time: 2.37364 s Remaining CPU time: 1797.63 s 2.38/2.40 c core #411 2.38/2.40 c Core size: 4 Core Weight: 1 Total Weight: 411 2.38/2.40 c Elapsed CPU time: 2.37964 s Remaining CPU time: 1797.62 s 2.38/2.41 c core #412 2.38/2.41 c Core size: 4 Core Weight: 1 Total Weight: 412 2.38/2.41 c Elapsed CPU time: 2.38764 s Remaining CPU time: 1797.61 s 2.38/2.41 c core #413 2.38/2.41 c Core size: 4 Core Weight: 1 Total Weight: 413 2.38/2.41 c Elapsed CPU time: 2.39563 s Remaining CPU time: 1797.6 s 2.38/2.42 c core #414 2.38/2.42 c Core size: 4 Core Weight: 1 Total Weight: 414 2.38/2.42 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.38/2.43 c core #415 2.38/2.43 c Core size: 4 Core Weight: 1 Total Weight: 415 2.38/2.43 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.38/2.44 c core #416 2.38/2.44 c Core size: 4 Core Weight: 1 Total Weight: 416 2.38/2.44 c Elapsed CPU time: 2.41963 s Remaining CPU time: 1797.58 s 2.38/2.45 c core #417 2.38/2.45 c Core size: 4 Core Weight: 1 Total Weight: 417 2.38/2.45 c Elapsed CPU time: 2.42763 s Remaining CPU time: 1797.57 s 2.38/2.45 c core #418 2.38/2.45 c Core size: 4 Core Weight: 1 Total Weight: 418 2.38/2.45 c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s 2.38/2.46 c core #419 2.38/2.46 c Core size: 4 Core Weight: 1 Total Weight: 419 2.38/2.46 c Elapsed CPU time: 2.44263 s Remaining CPU time: 1797.56 s 2.38/2.47 c core #420 2.38/2.47 c Core size: 4 Core Weight: 1 Total Weight: 420 2.38/2.47 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.38/2.48 c core #421 2.38/2.48 c Core size: 4 Core Weight: 1 Total Weight: 421 2.38/2.48 c Elapsed CPU time: 2.45863 s Remaining CPU time: 1797.54 s 2.38/2.49 c core #422 2.38/2.49 c Core size: 4 Core Weight: 1 Total Weight: 422 2.38/2.49 c Elapsed CPU time: 2.46663 s Remaining CPU time: 1797.53 s 2.38/2.49 c core #423 2.38/2.49 c Core size: 4 Core Weight: 1 Total Weight: 423 2.38/2.49 c Elapsed CPU time: 2.47362 s Remaining CPU time: 1797.53 s 2.48/2.50 c core #424 2.48/2.50 c Core size: 4 Core Weight: 1 Total Weight: 424 2.48/2.50 c Elapsed CPU time: 2.48162 s Remaining CPU time: 1797.52 s 2.48/2.51 c core #425 2.48/2.51 c Core size: 4 Core Weight: 1 Total Weight: 425 2.48/2.51 c Elapsed CPU time: 2.48962 s Remaining CPU time: 1797.51 s 2.48/2.52 c core #426 2.48/2.52 c Core size: 4 Core Weight: 1 Total Weight: 426 2.48/2.52 c Elapsed CPU time: 2.49762 s Remaining CPU time: 1797.5 s 2.48/2.53 c core #427 2.48/2.53 c Core size: 4 Core Weight: 1 Total Weight: 427 2.48/2.53 c Elapsed CPU time: 2.50562 s Remaining CPU time: 1797.49 s 2.48/2.53 c core #428 2.48/2.53 c Core size: 4 Core Weight: 1 Total Weight: 428 2.48/2.53 c Elapsed CPU time: 2.51362 s Remaining CPU time: 1797.49 s 2.48/2.54 c core #429 2.48/2.54 c Core size: 4 Core Weight: 1 Total Weight: 429 2.48/2.54 c Elapsed CPU time: 2.52162 s Remaining CPU time: 1797.48 s 2.48/2.55 c core #430 2.48/2.55 c Core size: 4 Core Weight: 1 Total Weight: 430 2.48/2.55 c Elapsed CPU time: 2.52961 s Remaining CPU time: 1797.47 s 2.48/2.56 c core #431 2.48/2.56 c Core size: 4 Core Weight: 1 Total Weight: 431 2.48/2.56 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.48/2.57 c core #432 2.48/2.57 c Core size: 4 Core Weight: 1 Total Weight: 432 2.48/2.57 c Elapsed CPU time: 2.54561 s Remaining CPU time: 1797.45 s 2.48/2.58 c core #433 2.48/2.58 c Core size: 4 Core Weight: 1 Total Weight: 433 2.48/2.58 c Elapsed CPU time: 2.55361 s Remaining CPU time: 1797.45 s 2.48/2.58 c core #434 2.48/2.58 c Core size: 4 Core Weight: 1 Total Weight: 434 2.48/2.58 c Elapsed CPU time: 2.56161 s Remaining CPU time: 1797.44 s 2.48/2.59 c core #435 2.48/2.59 c Core size: 4 Core Weight: 1 Total Weight: 435 2.48/2.59 c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s 2.58/2.60 c core #436 2.58/2.60 c Core size: 4 Core Weight: 1 Total Weight: 436 2.58/2.60 c Elapsed CPU time: 2.57761 s Remaining CPU time: 1797.42 s 2.58/2.61 c core #437 2.58/2.61 c Core size: 4 Core Weight: 1 Total Weight: 437 2.58/2.61 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.58/2.62 c core #438 2.58/2.62 c Core size: 4 Core Weight: 1 Total Weight: 438 2.58/2.62 c Elapsed CPU time: 2.59361 s Remaining CPU time: 1797.41 s 2.58/2.62 c core #439 2.58/2.62 c Core size: 4 Core Weight: 1 Total Weight: 439 2.58/2.62 c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s 2.58/2.63 c core #440 2.58/2.63 c Core size: 4 Core Weight: 1 Total Weight: 440 2.58/2.63 c Elapsed CPU time: 2.6096 s Remaining CPU time: 1797.39 s 2.58/2.64 c core #441 2.58/2.64 c Core size: 4 Core Weight: 1 Total Weight: 441 2.58/2.64 c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s 2.58/2.65 c core #442 2.58/2.65 c Core size: 4 Core Weight: 1 Total Weight: 442 2.58/2.65 c Elapsed CPU time: 2.6266 s Remaining CPU time: 1797.37 s 2.58/2.66 c core #443 2.58/2.66 c Core size: 4 Core Weight: 1 Total Weight: 443 2.58/2.66 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.58/2.67 c core #444 2.58/2.67 c Core size: 4 Core Weight: 1 Total Weight: 444 2.58/2.67 c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s 2.58/2.68 c core #445 2.58/2.68 c Core size: 4 Core Weight: 1 Total Weight: 445 2.58/2.68 c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s 2.58/2.68 c core #446 2.58/2.68 c Core size: 4 Core Weight: 1 Total Weight: 446 2.58/2.68 c Elapsed CPU time: 2.6576 s Remaining CPU time: 1797.34 s 2.58/2.69 c core #447 2.58/2.69 c Core size: 4 Core Weight: 1 Total Weight: 447 2.58/2.69 c Elapsed CPU time: 2.66659 s Remaining CPU time: 1797.33 s 2.69/2.70 c core #448 2.69/2.70 c Core size: 4 Core Weight: 1 Total Weight: 448 2.69/2.70 c Elapsed CPU time: 2.67359 s Remaining CPU time: 1797.33 s 2.69/2.71 c core #449 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: 449 2.69/2.71 c Elapsed CPU time: 2.68259 s Remaining CPU time: 1797.32 s 2.69/2.72 c core #450 2.69/2.72 c Core size: 4 Core Weight: 1 Total Weight: 450 2.69/2.72 c Elapsed CPU time: 2.69059 s Remaining CPU time: 1797.31 s 2.69/2.73 c core #451 2.69/2.73 c Core size: 4 Core Weight: 1 Total Weight: 451 2.69/2.73 c Elapsed CPU time: 2.69759 s Remaining CPU time: 1797.3 s 2.69/2.73 c core #452 2.69/2.73 c Core size: 4 Core Weight: 1 Total Weight: 452 2.69/2.73 c Elapsed CPU time: 2.70559 s Remaining CPU time: 1797.29 s 2.69/2.74 c core #453 2.69/2.74 c Core size: 4 Core Weight: 1 Total Weight: 453 2.69/2.74 c Elapsed CPU time: 2.71359 s Remaining CPU time: 1797.29 s 2.69/2.75 c core #454 2.69/2.75 c Core size: 4 Core Weight: 1 Total Weight: 454 2.69/2.75 c Elapsed CPU time: 2.72259 s Remaining CPU time: 1797.28 s 2.69/2.76 c core #455 2.69/2.76 c Core size: 4 Core Weight: 1 Total Weight: 455 2.69/2.76 c Elapsed CPU time: 2.73058 s Remaining CPU time: 1797.27 s 2.69/2.77 c core #456 2.69/2.77 c Core size: 4 Core Weight: 1 Total Weight: 456 2.69/2.77 c Elapsed CPU time: 2.73958 s Remaining CPU time: 1797.26 s 2.69/2.78 c core #457 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: 457 2.69/2.78 c Elapsed CPU time: 2.74758 s Remaining CPU time: 1797.25 s 2.69/2.78 c core #458 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: 458 2.69/2.78 c Elapsed CPU time: 2.75658 s Remaining CPU time: 1797.24 s 2.69/2.79 c core #459 2.69/2.79 c Core size: 4 Core Weight: 1 Total Weight: 459 2.69/2.79 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.78/2.80 c core #460 2.78/2.80 c Core size: 4 Core Weight: 1 Total Weight: 460 2.78/2.80 c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s 2.78/2.81 c core #461 2.78/2.81 c Core size: 4 Core Weight: 1 Total Weight: 461 2.78/2.81 c Elapsed CPU time: 2.78258 s Remaining CPU time: 1797.22 s 2.78/2.82 c core #462 2.78/2.82 c Core size: 4 Core Weight: 1 Total Weight: 462 2.78/2.82 c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s 2.78/2.83 c core #463 2.78/2.83 c Core size: 4 Core Weight: 1 Total Weight: 463 2.78/2.83 c Elapsed CPU time: 2.79957 s Remaining CPU time: 1797.2 s 2.78/2.84 c core #464 2.78/2.84 c Core size: 4 Core Weight: 1 Total Weight: 464 2.78/2.84 c Elapsed CPU time: 2.80857 s Remaining CPU time: 1797.19 s 2.78/2.84 c core #465 2.78/2.84 c Core size: 4 Core Weight: 1 Total Weight: 465 2.78/2.85 c Elapsed CPU time: 2.81657 s Remaining CPU time: 1797.18 s 2.78/2.85 c core #466 2.78/2.85 c Core size: 4 Core Weight: 1 Total Weight: 466 2.78/2.85 c Elapsed CPU time: 2.82457 s Remaining CPU time: 1797.18 s 2.78/2.86 c core #467 2.78/2.86 c Core size: 4 Core Weight: 1 Total Weight: 467 2.78/2.86 c Elapsed CPU time: 2.83257 s Remaining CPU time: 1797.17 s 2.78/2.87 c core #468 2.78/2.87 c Core size: 4 Core Weight: 1 Total Weight: 468 2.78/2.87 c Elapsed CPU time: 2.84157 s Remaining CPU time: 1797.16 s 2.78/2.88 c core #469 2.78/2.88 c Core size: 4 Core Weight: 1 Total Weight: 469 2.78/2.88 c Elapsed CPU time: 2.84957 s Remaining CPU time: 1797.15 s 2.78/2.89 c core #470 2.78/2.89 c Core size: 4 Core Weight: 1 Total Weight: 470 2.78/2.89 c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s 2.78/2.90 c core #471 2.78/2.90 c Core size: 4 Core Weight: 1 Total Weight: 471 2.78/2.90 c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s 2.88/2.91 c core #472 2.88/2.91 c Core size: 4 Core Weight: 1 Total Weight: 472 2.88/2.91 c Elapsed CPU time: 2.87556 s Remaining CPU time: 1797.12 s 2.88/2.91 c core #473 2.88/2.91 c Core size: 4 Core Weight: 1 Total Weight: 473 2.88/2.91 c Elapsed CPU time: 2.88356 s Remaining CPU time: 1797.12 s 2.88/2.92 c core #474 2.88/2.92 c Core size: 4 Core Weight: 1 Total Weight: 474 2.88/2.92 c Elapsed CPU time: 2.89256 s Remaining CPU time: 1797.11 s 2.88/2.93 c core #475 2.88/2.93 c Core size: 4 Core Weight: 1 Total Weight: 475 2.88/2.93 c Elapsed CPU time: 2.90056 s Remaining CPU time: 1797.1 s 2.88/2.94 c core #476 2.88/2.94 c Core size: 4 Core Weight: 1 Total Weight: 476 2.88/2.94 c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s 2.88/2.95 c core #477 2.88/2.95 c Core size: 4 Core Weight: 1 Total Weight: 477 2.88/2.95 c Elapsed CPU time: 2.91656 s Remaining CPU time: 1797.08 s 2.88/2.96 c core #478 2.88/2.96 c Core size: 4 Core Weight: 1 Total Weight: 478 2.88/2.96 c Elapsed CPU time: 2.92455 s Remaining CPU time: 1797.08 s 2.88/2.97 c core #479 2.88/2.97 c Core size: 4 Core Weight: 1 Total Weight: 479 2.88/2.97 c Elapsed CPU time: 2.93355 s Remaining CPU time: 1797.07 s 2.88/2.97 c core #480 2.88/2.97 c Core size: 4 Core Weight: 1 Total Weight: 480 2.88/2.97 c Elapsed CPU time: 2.94155 s Remaining CPU time: 1797.06 s 2.88/2.98 c core #481 2.88/2.98 c Core size: 4 Core Weight: 1 Total Weight: 481 2.88/2.98 c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s 2.88/2.99 c core #482 2.88/2.99 c Core size: 4 Core Weight: 1 Total Weight: 482 2.88/2.99 c Elapsed CPU time: 2.95855 s Remaining CPU time: 1797.04 s 2.98/3.00 c core #483 2.98/3.00 c Core size: 4 Core Weight: 1 Total Weight: 483 2.98/3.00 c Elapsed CPU time: 2.96655 s Remaining CPU time: 1797.03 s 2.98/3.01 c core #484 2.98/3.01 c Core size: 4 Core Weight: 1 Total Weight: 484 2.98/3.01 c Elapsed CPU time: 2.97555 s Remaining CPU time: 1797.02 s 2.98/3.02 c core #485 2.98/3.02 c Core size: 4 Core Weight: 1 Total Weight: 485 2.98/3.02 c Elapsed CPU time: 2.98455 s Remaining CPU time: 1797.02 s 2.98/3.03 c core #486 2.98/3.03 c Core size: 4 Core Weight: 1 Total Weight: 486 2.98/3.03 c Elapsed CPU time: 2.99354 s Remaining CPU time: 1797.01 s 2.98/3.04 c core #487 2.98/3.04 c Core size: 4 Core Weight: 1 Total Weight: 487 2.98/3.04 c Elapsed CPU time: 3.00154 s Remaining CPU time: 1797 s 2.98/3.04 c core #488 2.98/3.04 c Core size: 4 Core Weight: 1 Total Weight: 488 2.98/3.04 c Elapsed CPU time: 3.01054 s Remaining CPU time: 1796.99 s 2.98/3.05 c core #489 2.98/3.05 c Core size: 4 Core Weight: 1 Total Weight: 489 2.98/3.05 c Elapsed CPU time: 3.01854 s Remaining CPU time: 1796.98 s 2.98/3.06 c core #490 2.98/3.06 c Core size: 4 Core Weight: 1 Total Weight: 490 2.98/3.06 c Elapsed CPU time: 3.02754 s Remaining CPU time: 1796.97 s 2.98/3.07 c core #491 2.98/3.07 c Core size: 4 Core Weight: 1 Total Weight: 491 2.98/3.07 c Elapsed CPU time: 3.03654 s Remaining CPU time: 1796.96 s 2.98/3.08 c core #492 2.98/3.08 c Core size: 4 Core Weight: 1 Total Weight: 492 2.98/3.08 c Elapsed CPU time: 3.04454 s Remaining CPU time: 1796.96 s 2.98/3.09 c core #493 2.98/3.09 c Core size: 4 Core Weight: 1 Total Weight: 493 2.98/3.09 c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s 3.08/3.10 c core #494 3.08/3.10 c Core size: 4 Core Weight: 1 Total Weight: 494 3.08/3.10 c Elapsed CPU time: 3.06153 s Remaining CPU time: 1796.94 s 3.08/3.11 c core #495 3.08/3.11 c Core size: 4 Core Weight: 1 Total Weight: 495 3.08/3.11 c Elapsed CPU time: 3.07053 s Remaining CPU time: 1796.93 s 3.08/3.12 c core #496 3.08/3.12 c Core size: 4 Core Weight: 1 Total Weight: 496 3.08/3.12 c Elapsed CPU time: 3.07953 s Remaining CPU time: 1796.92 s 3.08/3.12 c core #497 3.08/3.12 c Core size: 4 Core Weight: 1 Total Weight: 497 3.08/3.12 c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s 3.08/3.13 c core #498 3.08/3.13 c Core size: 4 Core Weight: 1 Total Weight: 498 3.08/3.13 c Elapsed CPU time: 3.09753 s Remaining CPU time: 1796.9 s 3.08/3.14 c core #499 3.08/3.14 c Core size: 4 Core Weight: 1 Total Weight: 499 3.08/3.14 c Elapsed CPU time: 3.10653 s Remaining CPU time: 1796.89 s 3.08/3.15 c core #500 3.08/3.15 c Core size: 4 Core Weight: 1 Total Weight: 500 3.08/3.15 c Elapsed CPU time: 3.11553 s Remaining CPU time: 1796.88 s 3.08/3.16 c core #501 3.08/3.16 c Core size: 4 Core Weight: 1 Total Weight: 501 3.08/3.16 c Elapsed CPU time: 3.12453 s Remaining CPU time: 1796.88 s 3.08/3.17 c core #502 3.08/3.17 c Core size: 7 Core Weight: 1 Total Weight: 502 3.08/3.17 c Elapsed CPU time: 3.13352 s Remaining CPU time: 1796.87 s 3.08/3.18 c core #503 3.08/3.18 c Core size: 10 Core Weight: 1 Total Weight: 503 3.08/3.18 c Elapsed CPU time: 3.14252 s Remaining CPU time: 1796.86 s 3.08/3.19 c core #504 3.08/3.19 c Core size: 7 Core Weight: 1 Total Weight: 504 3.08/3.19 c Elapsed CPU time: 3.15152 s Remaining CPU time: 1796.85 s 3.08/3.20 c core #505 3.08/3.20 c Core size: 7 Core Weight: 1 Total Weight: 505 3.08/3.20 c Elapsed CPU time: 3.16052 s Remaining CPU time: 1796.84 s 3.18/3.21 c core #506 3.18/3.21 c Core size: 7 Core Weight: 1 Total Weight: 506 3.18/3.21 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.18/3.22 c core #507 3.18/3.22 c Core size: 13 Core Weight: 1 Total Weight: 507 3.18/3.22 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.18/3.23 c core #508 3.18/3.23 c Core size: 7 Core Weight: 1 Total Weight: 508 3.18/3.23 c Elapsed CPU time: 3.18751 s Remaining CPU time: 1796.81 s 3.18/3.23 c core #509 3.18/3.23 c Core size: 7 Core Weight: 1 Total Weight: 509 3.18/3.23 c Elapsed CPU time: 3.19651 s Remaining CPU time: 1796.8 s 3.18/3.24 c core #510 3.18/3.24 c Core size: 10 Core Weight: 1 Total Weight: 510 3.18/3.24 c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s 3.18/3.25 c core #511 3.18/3.25 c Core size: 13 Core Weight: 1 Total Weight: 511 3.18/3.25 c Elapsed CPU time: 3.21451 s Remaining CPU time: 1796.79 s 3.18/3.26 c core #512 3.18/3.26 c Core size: 7 Core Weight: 1 Total Weight: 512 3.18/3.26 c Elapsed CPU time: 3.22351 s Remaining CPU time: 1796.78 s 3.18/3.27 c core #513 3.18/3.27 c Core size: 10 Core Weight: 1 Total Weight: 513 3.18/3.27 c Elapsed CPU time: 3.23351 s Remaining CPU time: 1796.77 s 3.18/3.28 c core #514 3.18/3.28 c Core size: 7 Core Weight: 1 Total Weight: 514 3.18/3.28 c Elapsed CPU time: 3.24251 s Remaining CPU time: 1796.76 s 3.18/3.29 c core #515 3.18/3.29 c Core size: 7 Core Weight: 1 Total Weight: 515 3.18/3.29 c Elapsed CPU time: 3.25251 s Remaining CPU time: 1796.75 s 3.18/3.30 c core #516 3.18/3.30 c Core size: 7 Core Weight: 1 Total Weight: 516 3.18/3.30 c Elapsed CPU time: 3.2615 s Remaining CPU time: 1796.74 s 3.28/3.31 c core #517 3.28/3.31 c Core size: 16 Core Weight: 1 Total Weight: 517 3.28/3.31 c Elapsed CPU time: 3.2705 s Remaining CPU time: 1796.73 s 3.28/3.32 c core #518 3.28/3.32 c Core size: 7 Core Weight: 1 Total Weight: 518 3.28/3.32 c Elapsed CPU time: 3.2805 s Remaining CPU time: 1796.72 s 3.28/3.33 c core #519 3.28/3.33 c Core size: 25 Core Weight: 1 Total Weight: 519 3.28/3.33 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.28/3.34 c core #520 3.28/3.34 c Core size: 16 Core Weight: 1 Total Weight: 520 3.28/3.34 c Elapsed CPU time: 3.2995 s Remaining CPU time: 1796.7 s 3.28/3.35 c core #521 3.28/3.35 c Core size: 10 Core Weight: 1 Total Weight: 521 3.28/3.35 c Elapsed CPU time: 3.3085 s Remaining CPU time: 1796.69 s 3.28/3.36 c core #522 3.28/3.36 c Core size: 7 Core Weight: 1 Total Weight: 522 3.28/3.36 c Elapsed CPU time: 3.31849 s Remaining CPU time: 1796.68 s 3.28/3.37 c core #523 3.28/3.37 c Core size: 16 Core Weight: 1 Total Weight: 523 3.28/3.37 c Elapsed CPU time: 3.32849 s Remaining CPU time: 1796.67 s 3.28/3.38 c core #524 3.28/3.38 c Core size: 7 Core Weight: 1 Total Weight: 524 3.28/3.38 c Elapsed CPU time: 3.33749 s Remaining CPU time: 1796.66 s 3.28/3.39 c core #525 3.28/3.39 c Core size: 7 Core Weight: 1 Total Weight: 525 3.28/3.39 c Elapsed CPU time: 3.34749 s Remaining CPU time: 1796.65 s 3.28/3.40 c core #526 3.28/3.40 c Core size: 25 Core Weight: 1 Total Weight: 526 3.28/3.40 c Elapsed CPU time: 3.35749 s Remaining CPU time: 1796.64 s 3.37/3.41 c core #527 3.37/3.41 c Core size: 10 Core Weight: 1 Total Weight: 527 3.37/3.41 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 s 3.37/3.42 c core #528 3.37/3.42 c Core size: 47 Core Weight: 1 Total Weight: 528 3.37/3.42 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.37/3.43 c core #529 3.37/3.43 c Core size: 16 Core Weight: 1 Total Weight: 529 3.37/3.43 c Elapsed CPU time: 3.38748 s Remaining CPU time: 1796.61 s 3.37/3.44 c core #530 3.37/3.44 c Core size: 13 Core Weight: 1 Total Weight: 530 3.37/3.44 c Elapsed CPU time: 3.39648 s Remaining CPU time: 1796.6 s 3.37/3.45 c core #531 3.37/3.45 c Core size: 46 Core Weight: 1 Total Weight: 531 3.37/3.45 c Elapsed CPU time: 3.40548 s Remaining CPU time: 1796.59 s 3.37/3.46 c core #532 3.37/3.46 c Core size: 107 Core Weight: 1 Total Weight: 532 3.37/3.46 c Elapsed CPU time: 3.41548 s Remaining CPU time: 1796.58 s 3.37/3.47 c core #533 3.37/3.47 c Core size: 7 Core Weight: 1 Total Weight: 533 3.37/3.47 c Elapsed CPU time: 3.42448 s Remaining CPU time: 1796.58 s 3.37/3.48 c core #534 3.37/3.48 c Core size: 203 Core Weight: 1 Total Weight: 534 3.37/3.48 c Elapsed CPU time: 3.43548 s Remaining CPU time: 1796.56 s 3.37/3.49 c core #535 3.37/3.49 c Core size: 106 Core Weight: 1 Total Weight: 535 3.37/3.49 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.37/3.50 c core #536 3.37/3.50 c Core size: 184 Core Weight: 1 Total Weight: 536 3.37/3.50 c Elapsed CPU time: 3.45547 s Remaining CPU time: 1796.54 s 3.47/3.51 c core #537 3.47/3.51 c Core size: 147 Core Weight: 1 Total Weight: 537 3.47/3.51 c Elapsed CPU time: 3.46547 s Remaining CPU time: 1796.53 s 3.47/3.52 c core #538 3.47/3.52 c Core size: 70 Core Weight: 1 Total Weight: 538 3.47/3.52 c Elapsed CPU time: 3.47547 s Remaining CPU time: 1796.52 s 3.47/3.53 c core #539 3.47/3.53 c Core size: 25 Core Weight: 1 Total Weight: 539 3.47/3.53 c Elapsed CPU time: 3.48647 s Remaining CPU time: 1796.51 s 3.47/3.54 c ============================[ Search Statistics ]============================== 3.47/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.54 c =============================================================================== 3.47/3.54 c | 0 | 3856 7789 20376 | 5000 0 nan | 0.000 % | 3.47/3.54 c =============================================================================== 3.47/3.54 c core #540 3.47/3.54 c Core size: 105 Core Weight: 1 Total Weight: 540 3.47/3.54 c Elapsed CPU time: 3.49847 s Remaining CPU time: 1796.5 s 3.47/3.55 c ============================[ Search Statistics ]============================== 3.47/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.55 c =============================================================================== 3.47/3.55 c | 0 | 3929 7790 20525 | 5000 0 nan | 0.000 % | 3.47/3.55 c =============================================================================== 3.47/3.55 c core #541 3.47/3.55 c Core size: 25 Core Weight: 1 Total Weight: 541 3.47/3.55 c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 s 3.47/3.56 c ============================[ Search Statistics ]============================== 3.47/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.56 c =============================================================================== 3.47/3.56 c | 0 | 3947 7791 20565 | 5000 0 nan | 0.000 % | 3.47/3.57 c =============================================================================== 3.47/3.57 c core #542 3.47/3.57 c Core size: 58 Core Weight: 1 Total Weight: 542 3.47/3.57 c Elapsed CPU time: 3.52446 s Remaining CPU time: 1796.48 s 3.47/3.58 c ============================[ Search Statistics ]============================== 3.47/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.58 c =============================================================================== 3.47/3.58 c | 0 | 3985 7792 20649 | 5000 0 nan | 0.000 % | 3.47/3.58 c =============================================================================== 3.47/3.58 c core #543 3.47/3.58 c Core size: 126 Core Weight: 1 Total Weight: 543 3.47/3.58 c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s 3.47/3.59 c ============================[ Search Statistics ]============================== 3.47/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.59 c =============================================================================== 3.47/3.59 c | 0 | 4063 7793 20817 | 5000 0 nan | 0.000 % | 3.47/3.60 c =============================================================================== 3.47/3.60 c core #544 3.47/3.60 c Core size: 249 Core Weight: 1 Total Weight: 544 3.47/3.60 c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s 3.57/3.61 c ============================[ Search Statistics ]============================== 3.57/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.61 c =============================================================================== 3.57/3.61 c | 0 | 4207 7794 21120 | 5000 0 nan | 0.000 % | 3.57/3.61 c =============================================================================== 3.57/3.61 c core #545 3.57/3.61 c Core size: 111 Core Weight: 1 Total Weight: 545 3.57/3.61 c Elapsed CPU time: 3.56746 s Remaining CPU time: 1796.43 s 3.57/3.62 c ============================[ Search Statistics ]============================== 3.57/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.62 c =============================================================================== 3.57/3.62 c | 0 | 4271 7795 21257 | 5000 0 nan | 0.000 % | 3.57/3.62 c =============================================================================== 3.57/3.62 c core #546 3.57/3.62 c Core size: 74 Core Weight: 1 Total Weight: 546 3.57/3.62 c Elapsed CPU time: 3.58146 s Remaining CPU time: 1796.42 s 3.57/3.64 c ============================[ Search Statistics ]============================== 3.57/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.64 c =============================================================================== 3.57/3.64 c | 0 | 4315 7796 21348 | 5000 0 nan | 0.000 % | 3.57/3.64 c =============================================================================== 3.57/3.65 c core #547 3.57/3.65 c Core size: 384 Core Weight: 1 Total Weight: 547 3.57/3.65 c Elapsed CPU time: 3.60245 s Remaining CPU time: 1796.4 s 3.57/3.66 c ============================[ Search Statistics ]============================== 3.57/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.66 c =============================================================================== 3.57/3.66 c | 0 | 4499 7797 21722 | 5000 0 nan | 0.000 % | 3.57/3.67 c =============================================================================== 3.57/3.67 c core #548 3.57/3.67 c Core size: 588 Core Weight: 1 Total Weight: 548 3.57/3.67 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.57/3.68 c ============================[ Search Statistics ]============================== 3.57/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.68 c =============================================================================== 3.57/3.68 c | 0 | 4786 7798 22305 | 5000 0 nan | 0.000 % | 3.57/3.69 c | 100 | 4786 7798 22305 | 5500 100 49 | 0.354 % | 3.67/3.72 c | 250 | 4786 7798 22305 | 6050 250 37 | 0.354 % | 3.67/3.76 c | 475 | 4784 7798 22305 | 6655 474 30 | 0.396 % | 3.77/3.82 c | 812 | 4784 7798 22305 | 7320 811 26 | 0.396 % | 3.77/3.84 c =============================================================================== 3.77/3.85 c core #549 3.77/3.85 c Core size: 2057 Core Weight: 1 Total Weight: 549 3.77/3.85 c Elapsed CPU time: 3.80842 s Remaining CPU time: 1796.19 s 3.77/3.87 c ============================[ Search Statistics ]============================== 3.77/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.77/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.77/3.87 c =============================================================================== 3.77/3.87 c | 0 | 5629 7799 24001 | 5000 0 nan | 0.000 % | 3.77/3.89 c | 103 | 5629 7799 24001 | 5500 103 90 | 0.124 % | 3.87/3.93 c | 257 | 5629 7799 24001 | 6050 257 57 | 0.124 % | 3.87/3.99 c | 484 | 5629 7799 24001 | 6655 484 40 | 0.124 % | 3.97/4.07 c | 824 | 5629 7799 24001 | 7320 824 31 | 0.124 % | 4.17/4.21 c | 1330 | 5629 7799 24001 | 8052 1330 29 | 0.124 % | 4.28/4.40 c | 2093 | 5629 7799 24001 | 8857 2093 27 | 0.124 % | 4.57/4.66 c | 3233 | 5629 7799 24001 | 9743 3233 27 | 0.124 % | 4.97/5.07 c | 4941 | 5629 7799 24001 | 10717 4941 27 | 0.124 % | 5.67/5.77 c | 7505 | 5629 7799 24001 | 11789 7505 26 | 0.124 % | 6.77/6.81 c | 11349 | 5620 7799 24001 | 12968 3227 15 | 0.284 % | 6.77/6.82 c =============================================================================== 6.87/6.99 c core #550 6.87/6.99 c Core size: 5133 Core Weight: 1 Total Weight: 550 6.87/6.99 c Elapsed CPU time: 6.90895 s Remaining CPU time: 1793.09 s 6.97/7.01 c Learning 10 hard constraints 6.97/7.01 c ============================[ Search Statistics ]============================== 6.97/7.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.97/7.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.97/7.01 c =============================================================================== 6.97/7.01 c | 0 | 7262 7810 27317 | 5000 0 nan | 0.000 % | 6.97/7.04 c | 101 | 7262 7810 27317 | 5500 101 27 | 0.014 % | 7.07/7.12 c | 251 | 7262 7810 27317 | 6050 251 26 | 0.014 % | 7.17/7.22 c | 476 | 7262 7810 27317 | 6655 476 22 | 0.014 % | 7.27/7.34 c | 813 | 7262 7810 27317 | 7320 813 31 | 0.014 % | 7.37/7.47 c | 1319 | 7262 7810 27317 | 8052 1319 37 | 0.014 % | 7.57/7.66 c | 2078 | 7262 7810 27317 | 8857 2078 41 | 0.014 % | 8.07/8.10 c | 3218 | 7262 7810 27317 | 9743 3218 35 | 0.014 % | 9.07/9.11 c | 4926 | 7262 7810 27317 | 10717 4926 37 | 0.014 % | 10.66/10.73 c | 7489 | 7262 7810 27317 | 11789 7489 40 | 0.014 % | 12.67/12.74 c | 11334 | 7262 7810 27317 | 12968 11334 43 | 0.014 % | 16.07/16.13 c | 17103 | 7262 7810 27317 | 14265 10561 48 | 0.014 % | 21.97/22.06 c | 25752 | 7262 7810 27317 | 15692 12019 57 | 0.014 % | 30.66/30.72 c | 38727 | 7262 7810 27317 | 17261 9152 56 | 0.014 % | 41.95/42.04 c | 58191 | 7262 7810 27317 | 18987 11123 75 | 0.014 % | 64.85/64.92 c | 87385 | 7262 7810 27317 | 20886 11452 84 | 0.014 % | 112.13/112.22 c | 131174 | 7260 7810 27317 | 22974 12170 157 | 0.041 % | 162.40/162.54 c =============================================================================== 165.01/165.17 c core #551 165.01/165.17 c Core size: 5425 Core Weight: 1 Total Weight: 551 165.01/165.17 c Elapsed CPU time: 164.303 s Remaining CPU time: 1635.7 s 165.21/165.37 c Learning 7 hard constraints 165.21/165.37 c ============================[ Search Statistics ]============================== 165.21/165.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 165.21/165.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 165.21/165.37 c =============================================================================== 165.21/165.37 c | 0 | 8919 7818 30654 | 5000 0 nan | 0.000 % | 165.30/165.45 c | 100 | 8919 7818 30654 | 5500 100 327 | 0.011 % | 165.40/165.51 c | 253 | 8919 7818 30654 | 6050 253 207 | 0.011 % | 165.40/165.56 c | 478 | 8919 7818 30654 | 6655 478 134 | 0.011 % | 165.50/165.62 c | 817 | 8919 7818 30654 | 7320 817 98 | 0.011 % | 165.60/165.72 c | 1324 | 8919 7818 30654 | 8052 1324 81 | 0.011 % | 165.70/165.84 c | 2084 | 8919 7818 30654 | 8857 2084 71 | 0.011 % | 165.91/166.07 c | 3223 | 8919 7818 30654 | 9743 3223 67 | 0.011 % | 166.30/166.43 c | 4931 | 8919 7818 30654 | 10717 4931 62 | 0.011 % | 167.00/167.20 c | 7494 | 8919 7818 30654 | 11789 7494 60 | 0.011 % | 168.40/168.59 c | 11338 | 8919 7818 30654 | 12968 11338 59 | 0.011 % | 170.20/170.39 c | 17104 | 8919 7818 30654 | 14265 10535 55 | 0.011 % | 173.50/173.68 c | 25755 | 8919 7818 30654 | 15692 11934 55 | 0.011 % | 179.29/179.48 c | 38730 | 8919 7818 30654 | 17261 9038 60 | 0.011 % | 189.28/189.42 c | 58191 | 8919 7818 30654 | 18987 11051 59 | 0.011 % | 206.28/206.45 c | 87385 | 8919 7818 30654 | 20886 11471 60 | 0.011 % | 232.46/232.69 c | 131177 | 8919 7818 30654 | 22974 13187 59 | 0.011 % | 272.74/272.98 c | 196861 | 8919 7818 30654 | 25272 21010 60 | 0.011 % | 337.33/337.54 c | 295390 | 8919 7818 30654 | 27799 16568 63 | 0.011 % | 437.27/437.58 c | 443179 | 8919 7818 30654 | 30579 12872 64 | 0.011 % | 608.21/608.52 c | 664867 | 8919 7818 30654 | 33637 22059 66 | 0.011 % | 875.30/875.74 c | 997392 | 8919 7818 30654 | 37001 25566 62 | 0.011 % | 1288.81/1289.46 c | 1496180 | 8919 7818 30654 | 40701 26442 60 | 0.011 % |
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-1875525-1245151247/watcher-1875525-1245151247 -o /tmp/evaluation-result-1875525-1245151247/solver-1875525-1245151247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875525-1245151247.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4135 /proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=3028 CPUtime=0 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 182724748 3100672 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 757 255 127 292 0 418 0 [startup+0.0734981 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4135 /proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=3544 CPUtime=0.07 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 524 0 0 0 7 0 0 0 18 0 1 0 182724748 3629056 464 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 886 464 133 292 0 591 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3544 [startup+0.101501 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4135 /proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=3544 CPUtime=0.09 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 526 0 0 0 9 0 0 0 18 0 1 0 182724748 3629056 466 1992294400 134512640 135709839 4294956240 18446744073709551615 134530387 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 886 466 133 292 0 591 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3544 [startup+0.301522 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4135 /proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=3676 CPUtime=0.29 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 541 0 0 0 29 0 0 0 19 0 1 0 182724748 3764224 481 1992294400 134512640 135709839 4294956240 18446744073709551615 134530416 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 919 481 133 292 0 624 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3676 [startup+0.701566 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4135 /proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=4052 CPUtime=0.69 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 665 0 0 0 69 0 0 0 23 0 1 0 182724748 4149248 573 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 1013 573 133 292 0 718 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4052 [startup+1.50165 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1856784/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=4920 CPUtime=1.48 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 1029 0 0 0 148 0 0 0 25 0 1 0 182724748 5038080 804 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 1230 804 133 292 0 935 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 4920 [startup+3.10182 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1855504/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=6376 CPUtime=3.08 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 1886 0 0 0 306 2 0 0 25 0 1 0 182724748 6529024 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 135166249 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 1594 1164 133 292 0 1299 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6376 [startup+6.30117 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1850896/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=11296 CPUtime=6.27 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 3407 0 0 0 622 5 0 0 25 0 1 0 182724748 11567104 2394 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 2824 2394 136 292 0 2529 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 11296 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1846864/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=14740 CPUtime=12.67 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 4235 0 0 0 1258 9 0 0 25 0 1 0 182724748 15093760 3222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 3685 3222 136 292 0 3390 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 14740 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1835984/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=25368 CPUtime=25.46 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 6910 0 0 0 2531 15 0 0 25 0 1 0 182724748 25976832 5897 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 6342 5897 136 292 0 6047 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 25368 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1811664/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=49804 CPUtime=51.05 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 12999 0 0 0 5075 30 0 0 25 0 1 0 182724748 50999296 11986 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 12451 11986 136 292 0 12156 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 49804 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1766736/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=94120 CPUtime=102.23 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 24084 0 0 0 10169 54 0 0 25 0 1 0 182724748 96378880 23071 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 23530 23071 136 292 0 23235 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 94120 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1716304/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=144932 CPUtime=162.2 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 36763 0 0 0 16143 77 0 0 25 0 1 0 182724748 148410368 35750 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 36233 35750 136 292 0 35938 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 144932 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1684688/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=176052 CPUtime=222.16 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 44627 0 0 0 22111 105 0 0 25 0 1 0 182724748 180277248 43571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 44013 43571 136 292 0 43718 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 176052 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1607248/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=253936 CPUtime=282.14 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 64106 0 0 0 28073 141 0 0 25 0 1 0 182724748 260030464 63050 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 63484 63050 136 292 0 63189 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 253936 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1532432/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=328040 CPUtime=342.12 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 82631 0 0 0 34038 174 0 0 25 0 1 0 182724748 335912960 81575 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 82010 81575 136 292 0 81715 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 328040 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1460368/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=400640 CPUtime=402.1 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 100756 0 0 0 40002 208 0 0 25 0 1 0 182724748 410255360 99700 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 100160 99700 136 292 0 99865 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 400640 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1390800/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=469432 CPUtime=462.07 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 117953 0 0 0 45969 238 0 0 25 0 1 0 182724748 480698368 116897 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 117358 116897 136 292 0 117063 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 469432 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1328272/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=532700 CPUtime=522.04 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 133771 0 0 0 51940 264 0 0 25 0 1 0 182724748 545484800 132715 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 133175 132715 136 292 0 132880 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 532700 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1265232/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=594888 CPUtime=582.02 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 149324 0 0 0 57911 291 0 0 25 0 1 0 182724748 609165312 148268 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 148722 148268 136 292 0 148427 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 594888 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=1203344/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=656172 CPUtime=641.99 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 164635 0 0 0 63881 318 0 0 25 0 1 0 182724748 671920128 163579 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 164043 163579 136 292 0 163748 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 656172 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=972688/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=886356 CPUtime=881.89 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 222186 0 0 0 87768 421 0 0 25 0 1 0 182724748 907628544 221130 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 221589 221130 136 292 0 221294 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 886356 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=916432/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=943012 CPUtime=941.86 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 236350 0 0 0 93736 450 0 0 25 0 1 0 182724748 965644288 235294 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 235753 235294 136 292 0 235458 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 943012 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=857552/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1001356 CPUtime=1001.83 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 250930 0 0 0 99704 479 0 0 25 0 1 0 182724748 1025388544 249874 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 250339 249874 136 292 0 250044 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 1001356 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=798544/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1061416 CPUtime=1061.81 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 265930 0 0 0 105674 507 0 0 25 0 1 0 182724748 1086889984 264874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 265354 264874 136 292 0 265059 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 1061416 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=742608/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1116100 CPUtime=1121.78 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 279614 0 0 0 111648 530 0 0 25 0 1 0 182724748 1142886400 278558 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 279025 278558 136 292 0 278730 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 1116100 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=687120/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1171944 CPUtime=1181.76 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 293558 0 0 0 117617 559 0 0 25 0 1 0 182724748 1200070656 292502 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 292986 292502 136 292 0 292691 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 1171944 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=630032/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1228340 CPUtime=1241.74 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 307662 0 0 0 123587 587 0 0 25 0 1 0 182724748 1257820160 306606 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 307085 306606 136 292 0 306790 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 1228340 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=568976/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1288972 CPUtime=1301.71 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 322808 0 0 0 129557 614 0 0 25 0 1 0 182724748 1319907328 321752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 322243 321752 136 292 0 321948 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 1288972 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=513232/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1344984 CPUtime=1361.68 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 336825 0 0 0 135528 640 0 0 25 0 1 0 182724748 1377263616 335769 1992294400 134512640 135709839 4294956240 18446744073709551615 134574213 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 336246 335769 136 292 0 335951 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 1344984 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=463504/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1394236 CPUtime=1421.66 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 349143 0 0 0 141504 662 0 0 25 0 1 0 182724748 1427697664 348087 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 348559 348087 136 292 0 348264 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 1394236 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=417872/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1440712 CPUtime=1481.63 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 360720 0 0 0 147476 687 0 0 25 0 1 0 182724748 1475289088 359664 1992294400 134512640 135709839 4294956240 18446744073709551615 134574267 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 360178 359664 136 292 0 359883 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 1440712 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=363984/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1493712 CPUtime=1541.61 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 373975 0 0 0 153447 714 0 0 25 0 1 0 182724748 1529561088 372919 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 373428 372919 136 292 0 373133 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 1493712 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=313296/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1544832 CPUtime=1601.59 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 386746 0 0 0 159419 740 0 0 25 0 1 0 182724748 1581907968 385690 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 386208 385690 136 292 0 385913 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 1544832 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=265680/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1592100 CPUtime=1661.57 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 398555 0 0 0 165394 763 0 0 25 0 1 0 182724748 1630310400 397499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 398025 397499 136 292 0 397730 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 1592100 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=211920/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1645956 CPUtime=1721.54 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 412031 0 0 0 171366 788 0 0 25 0 1 0 182724748 1685458944 410975 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 411489 410975 136 292 0 411194 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 1645956 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=163216/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1693872 CPUtime=1781.51 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 424024 0 0 0 177340 811 0 0 25 0 1 0 182724748 1734524928 422968 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 423468 422968 136 292 0 423173 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 1693872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=147664/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=1709316 CPUtime=1800.01 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 427866 0 0 0 179183 818 0 0 25 0 1 0 182724748 1750339584 426810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 427329 426810 136 292 0 427034 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1709316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4136 /proc/meminfo: memFree=147664/2055920 swapFree=4182492/4192956 [pid=4135] ppid=4133 vsize=0 CPUtime=1800.21 /proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4195332 427866 0 0 0 179183 838 0 0 25 0 1 0 182724748 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/4135/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.05 CPU time (s): 1800.27 CPU user time (s): 1791.84 CPU system time (s): 8.43072 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (KiB): 1709316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.84 system time used= 8.43072 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 427866 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= 6939 runsolver used 1.61775 second user time and 4.98824 second system time The end
Begin job on node21 at 2009-06-16 13:20:47 IDJOB=1875525 IDBENCH=2075 IDSOLVER=698 FILE ID=node21/1875525-1245151247 PBS_JOBID= 9363787 Free space on /tmp= 66092 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.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-1875525-1245151247/watcher-1875525-1245151247 -o /tmp/evaluation-result-1875525-1245151247/solver-1875525-1245151247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875525-1245151247.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8fb889bdb08324a2b9780b5ff988846e RANDOM SEED=18699108 node21.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.239 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.239 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: 1859392 kB Buffers: 33456 kB Cached: 87748 kB SwapCached: 4256 kB Active: 28008 kB Inactive: 100488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859392 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 2560 kB Writeback: 0 kB Mapped: 13360 kB Slab: 54104 kB Committed_AS: 169520 kB PageTables: 1380 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-1875525-1245151247.opb Free space on /tmp at the end= 66088 MiB End job on node21 at 2009-06-16 13:50:50