| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.3 | 1800.97 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
| MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 426 |
| Best CPU time to get the best result obtained on this benchmark | 1797.18 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 425 |
| Optimality of the best value was proved | NO |
| Number of variables | 1372 |
| Total number of constraints | 4944 |
| Number of constraints which are clauses | 4944 |
| 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 | 1 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 1372 |
| 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 | 1372 |
| 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 | 1372 |
| 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-1875778-1245134713.opb. 0.00/0.00 c Instance file HOME/instance-1875778-1245134713.opb 0.00/0.00 c File size is 324105 bytes. 0.00/0.04 c Highest Coefficient sum: 20 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.05 s | 0.00/0.04 c | Number Variables: 1372 | 0.00/0.04 c | Number Clauses: 6316 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.04 c core #1 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #2 0.00/0.05 c Core size: 5 Core Weight: 1 Total Weight: 2 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #3 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.05/0.06 c core #4 0.05/0.06 c Core size: 12 Core Weight: 1 Total Weight: 4 0.05/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.05/0.07 c core #5 0.05/0.07 c Core size: 4 Core Weight: 1 Total Weight: 5 0.05/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.05/0.07 c core #6 0.05/0.07 c Core size: 13 Core Weight: 1 Total Weight: 6 0.05/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.05/0.08 c core #7 0.05/0.08 c Core size: 12 Core Weight: 1 Total Weight: 7 0.05/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.05/0.08 c core #8 0.05/0.08 c Core size: 3 Core Weight: 1 Total Weight: 8 0.05/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.05/0.09 c core #9 0.05/0.09 c Core size: 8 Core Weight: 1 Total Weight: 9 0.05/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.05/0.09 c core #10 0.05/0.09 c Core size: 2 Core Weight: 1 Total Weight: 10 0.05/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #11 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: 11 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #12 0.09/0.11 c Core size: 2 Core Weight: 1 Total Weight: 12 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #13 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 13 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #14 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 14 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #15 0.09/0.12 c Core size: 2 Core Weight: 1 Total Weight: 15 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #16 0.09/0.13 c Core size: 2 Core Weight: 1 Total Weight: 16 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #17 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 17 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #18 0.09/0.14 c Core size: 2 Core Weight: 1 Total Weight: 18 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #19 0.09/0.15 c Core size: 13 Core Weight: 1 Total Weight: 19 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #20 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 20 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #21 0.09/0.16 c Core size: 14 Core Weight: 1 Total Weight: 21 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #22 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 22 0.09/0.16 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #23 0.09/0.17 c Core size: 15 Core Weight: 1 Total Weight: 23 0.09/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #24 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 24 0.09/0.17 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #25 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 25 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #26 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 26 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #27 0.09/0.19 c Core size: 8 Core Weight: 1 Total Weight: 27 0.09/0.19 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #28 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 28 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #29 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 29 0.19/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #30 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 30 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #31 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: 31 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #32 0.19/0.22 c Core size: 6 Core Weight: 1 Total Weight: 32 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #33 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: 33 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #34 0.19/0.23 c Core size: 2 Core Weight: 1 Total Weight: 34 0.19/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #35 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 35 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #36 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: 36 0.19/0.25 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #37 0.19/0.25 c Core size: 2 Core Weight: 1 Total Weight: 37 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #38 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 38 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #39 0.19/0.26 c Core size: 2 Core Weight: 1 Total Weight: 39 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #40 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 40 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #41 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 41 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #42 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 42 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #43 0.19/0.29 c Core size: 2 Core Weight: 1 Total Weight: 43 0.19/0.29 c Elapsed CPU time: 0.288956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #44 0.19/0.29 c Core size: 2 Core Weight: 1 Total Weight: 44 0.19/0.29 c Elapsed CPU time: 0.294955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #45 0.29/0.30 c Core size: 5 Core Weight: 1 Total Weight: 45 0.29/0.30 c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #46 0.29/0.31 c Core size: 5 Core Weight: 1 Total Weight: 46 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #47 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: 47 0.29/0.31 c Elapsed CPU time: 0.313952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #48 0.29/0.32 c Core size: 2 Core Weight: 1 Total Weight: 48 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #49 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 49 0.29/0.32 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #50 0.29/0.33 c Core size: 2 Core Weight: 1 Total Weight: 50 0.29/0.33 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #51 0.29/0.34 c Core size: 5 Core Weight: 1 Total Weight: 51 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #52 0.29/0.34 c Core size: 5 Core Weight: 1 Total Weight: 52 0.29/0.34 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #53 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: 53 0.29/0.35 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #54 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 54 0.29/0.35 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #55 0.29/0.36 c Core size: 2 Core Weight: 1 Total Weight: 55 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #56 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 56 0.29/0.37 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #57 0.29/0.37 c Core size: 2 Core Weight: 1 Total Weight: 57 0.29/0.37 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #58 0.29/0.38 c Core size: 2 Core Weight: 1 Total Weight: 58 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #59 0.29/0.39 c Core size: 2 Core Weight: 1 Total Weight: 59 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #60 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: 60 0.29/0.39 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #61 0.39/0.40 c Core size: 10 Core Weight: 1 Total Weight: 61 0.39/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #62 0.39/0.40 c Core size: 2 Core Weight: 1 Total Weight: 62 0.39/0.40 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #63 0.39/0.41 c Core size: 2 Core Weight: 1 Total Weight: 63 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #64 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 64 0.39/0.42 c Elapsed CPU time: 0.417936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #65 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 65 0.39/0.42 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #66 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 66 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #67 0.39/0.43 c Core size: 2 Core Weight: 1 Total Weight: 67 0.39/0.43 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #68 0.39/0.44 c Core size: 2 Core Weight: 1 Total Weight: 68 0.39/0.44 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #69 0.39/0.45 c Core size: 5 Core Weight: 1 Total Weight: 69 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #70 0.39/0.45 c Core size: 2 Core Weight: 1 Total Weight: 70 0.39/0.45 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #71 0.39/0.46 c Core size: 2 Core Weight: 1 Total Weight: 71 0.39/0.46 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #72 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 72 0.39/0.47 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #73 0.39/0.47 c Core size: 2 Core Weight: 1 Total Weight: 73 0.39/0.47 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #74 0.39/0.48 c Core size: 7 Core Weight: 1 Total Weight: 74 0.39/0.48 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #75 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: 75 0.39/0.48 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #76 0.39/0.49 c Core size: 5 Core Weight: 1 Total Weight: 76 0.39/0.49 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #77 0.49/0.50 c Core size: 2 Core Weight: 1 Total Weight: 77 0.49/0.50 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #78 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 78 0.49/0.50 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #79 0.49/0.51 c Core size: 2 Core Weight: 1 Total Weight: 79 0.49/0.51 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #80 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 80 0.49/0.52 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #81 0.49/0.52 c Core size: 2 Core Weight: 1 Total Weight: 81 0.49/0.52 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #82 0.49/0.53 c Core size: 2 Core Weight: 1 Total Weight: 82 0.49/0.53 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #83 0.49/0.53 c Core size: 8 Core Weight: 1 Total Weight: 83 0.49/0.53 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #84 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 84 0.49/0.54 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #85 0.49/0.55 c Core size: 7 Core Weight: 1 Total Weight: 85 0.49/0.55 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #86 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: 86 0.49/0.55 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #87 0.49/0.56 c Core size: 5 Core Weight: 1 Total Weight: 87 0.49/0.56 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #88 0.49/0.57 c Core size: 2 Core Weight: 1 Total Weight: 88 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #89 0.49/0.57 c Core size: 2 Core Weight: 1 Total Weight: 89 0.49/0.57 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #90 0.49/0.58 c Core size: 2 Core Weight: 1 Total Weight: 90 0.49/0.58 c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #91 0.49/0.59 c Core size: 2 Core Weight: 1 Total Weight: 91 0.49/0.59 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #92 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: 92 0.49/0.59 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #93 0.59/0.60 c Core size: 2 Core Weight: 1 Total Weight: 93 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #94 0.59/0.61 c Core size: 7 Core Weight: 1 Total Weight: 94 0.59/0.61 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #95 0.59/0.61 c Core size: 2 Core Weight: 1 Total Weight: 95 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #96 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 96 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #97 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: 97 0.59/0.62 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #98 0.59/0.63 c Core size: 16 Core Weight: 1 Total Weight: 98 0.59/0.63 c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #99 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 99 0.59/0.64 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #100 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 100 0.59/0.64 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #101 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 101 0.59/0.65 c Elapsed CPU time: 0.6519 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #102 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: 102 0.59/0.66 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #103 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: 103 0.59/0.66 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #104 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: 104 0.59/0.67 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #105 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: 105 0.59/0.68 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #106 0.59/0.68 c Core size: 5 Core Weight: 1 Total Weight: 106 0.59/0.68 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #107 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 107 0.59/0.69 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.59/0.70 c core #108 0.59/0.70 c Core size: 3 Core Weight: 1 Total Weight: 108 0.59/0.70 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #109 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: 109 0.69/0.70 c Elapsed CPU time: 0.704892 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #110 0.69/0.71 c Core size: 7 Core Weight: 1 Total Weight: 110 0.69/0.71 c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #111 0.69/0.72 c Core size: 2 Core Weight: 1 Total Weight: 111 0.69/0.72 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #112 0.69/0.72 c Core size: 2 Core Weight: 1 Total Weight: 112 0.69/0.72 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #113 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 113 0.69/0.73 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #114 0.69/0.74 c Core size: 2 Core Weight: 1 Total Weight: 114 0.69/0.74 c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #115 0.69/0.74 c Core size: 5 Core Weight: 1 Total Weight: 115 0.69/0.74 c Elapsed CPU time: 0.743886 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #116 0.69/0.75 c Core size: 2 Core Weight: 1 Total Weight: 116 0.69/0.75 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #117 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 117 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #118 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: 118 0.69/0.76 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #119 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 119 0.69/0.77 c Elapsed CPU time: 0.770882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #120 0.69/0.78 c Core size: 14 Core Weight: 1 Total Weight: 120 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #121 0.69/0.78 c Core size: 2 Core Weight: 1 Total Weight: 121 0.69/0.78 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #122 0.69/0.79 c Core size: 2 Core Weight: 1 Total Weight: 122 0.69/0.79 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.69/0.80 c core #123 0.69/0.80 c Core size: 3 Core Weight: 1 Total Weight: 123 0.69/0.80 c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #124 0.79/0.80 c Core size: 10 Core Weight: 1 Total Weight: 124 0.79/0.80 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #125 0.79/0.81 c Core size: 2 Core Weight: 1 Total Weight: 125 0.79/0.81 c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #126 0.79/0.82 c Core size: 2 Core Weight: 1 Total Weight: 126 0.79/0.82 c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s 0.79/0.82 c core #127 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 127 0.79/0.82 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #128 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: 128 0.79/0.83 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #129 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 129 0.79/0.84 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #130 0.79/0.84 c Core size: 2 Core Weight: 1 Total Weight: 130 0.79/0.84 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #131 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: 131 0.79/0.85 c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #132 0.79/0.86 c Core size: 2 Core Weight: 1 Total Weight: 132 0.79/0.86 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #133 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 133 0.79/0.86 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.87 c core #134 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: 134 0.79/0.87 c Elapsed CPU time: 0.872867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #135 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: 135 0.79/0.88 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.79/0.88 c core #136 0.79/0.88 c Core size: 2 Core Weight: 1 Total Weight: 136 0.79/0.88 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #137 0.79/0.89 c Core size: 7 Core Weight: 1 Total Weight: 137 0.79/0.89 c Elapsed CPU time: 0.892864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #138 0.89/0.90 c Core size: 6 Core Weight: 1 Total Weight: 138 0.89/0.90 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #139 0.89/0.91 c Core size: 13 Core Weight: 1 Total Weight: 139 0.89/0.91 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.89/0.91 c core #140 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: 140 0.89/0.91 c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #141 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: 141 0.89/0.92 c Elapsed CPU time: 0.92086 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #142 0.89/0.93 c Core size: 2 Core Weight: 1 Total Weight: 142 0.89/0.93 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.89/0.93 c core #143 0.89/0.93 c Core size: 7 Core Weight: 1 Total Weight: 143 0.89/0.93 c Elapsed CPU time: 0.934857 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #144 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: 144 0.89/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #145 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: 145 0.89/0.95 c Elapsed CPU time: 0.948855 s Remaining CPU time: 1799.05 s 0.89/0.95 c core #146 0.89/0.95 c Core size: 5 Core Weight: 1 Total Weight: 146 0.89/0.95 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #147 0.89/0.96 c Core size: 8 Core Weight: 1 Total Weight: 147 0.89/0.96 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #148 0.89/0.97 c Core size: 2 Core Weight: 1 Total Weight: 148 0.89/0.97 c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s 0.89/0.97 c core #149 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: 149 0.89/0.97 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 0.89/0.98 c core #150 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: 150 0.89/0.98 c Elapsed CPU time: 0.98385 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #151 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: 151 0.89/0.99 c Elapsed CPU time: 0.990849 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #152 0.89/1.00 c Core size: 3 Core Weight: 1 Total Weight: 152 0.89/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 1.00/1.00 c core #153 1.00/1.00 c Core size: 4 Core Weight: 1 Total Weight: 153 1.00/1.00 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 1.00/1.01 c core #154 1.00/1.01 c Core size: 9 Core Weight: 1 Total Weight: 154 1.00/1.01 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #155 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: 155 1.00/1.02 c Elapsed CPU time: 1.01784 s Remaining CPU time: 1798.98 s 1.00/1.02 c core #156 1.00/1.02 c Core size: 12 Core Weight: 1 Total Weight: 156 1.00/1.02 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #157 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: 157 1.00/1.03 c Elapsed CPU time: 1.03184 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #158 1.00/1.04 c Core size: 9 Core Weight: 1 Total Weight: 158 1.00/1.04 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #159 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: 159 1.00/1.05 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 1.00/1.05 c core #160 1.00/1.05 c Core size: 6 Core Weight: 1 Total Weight: 160 1.00/1.05 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #161 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: 161 1.00/1.06 c Elapsed CPU time: 1.05984 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #162 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: 162 1.00/1.07 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 1.00/1.07 c core #163 1.00/1.07 c Core size: 2 Core Weight: 1 Total Weight: 163 1.00/1.07 c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #164 1.00/1.08 c Core size: 2 Core Weight: 1 Total Weight: 164 1.00/1.08 c Elapsed CPU time: 1.08184 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #165 1.00/1.09 c Core size: 2 Core Weight: 1 Total Weight: 165 1.00/1.09 c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s 1.00/1.10 c core #166 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: 166 1.00/1.10 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.10/1.10 c core #167 1.10/1.10 c Core size: 3 Core Weight: 1 Total Weight: 167 1.10/1.10 c Elapsed CPU time: 1.10283 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #168 1.10/1.11 c Core size: 2 Core Weight: 1 Total Weight: 168 1.10/1.11 c Elapsed CPU time: 1.10983 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #169 1.10/1.12 c Core size: 7 Core Weight: 1 Total Weight: 169 1.10/1.12 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.10/1.12 c core #170 1.10/1.12 c Core size: 7 Core Weight: 1 Total Weight: 170 1.10/1.12 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #171 1.10/1.13 c Core size: 13 Core Weight: 1 Total Weight: 171 1.10/1.13 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #172 1.10/1.14 c Core size: 2 Core Weight: 1 Total Weight: 172 1.10/1.14 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #173 1.10/1.15 c Core size: 7 Core Weight: 1 Total Weight: 173 1.10/1.15 c Elapsed CPU time: 1.14583 s Remaining CPU time: 1798.85 s 1.10/1.15 c core #174 1.10/1.15 c Core size: 13 Core Weight: 1 Total Weight: 174 1.10/1.15 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #175 1.10/1.16 c Core size: 9 Core Weight: 1 Total Weight: 175 1.10/1.16 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #176 1.10/1.17 c Core size: 4 Core Weight: 1 Total Weight: 176 1.10/1.17 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #177 1.10/1.18 c Core size: 2 Core Weight: 1 Total Weight: 177 1.10/1.18 c Elapsed CPU time: 1.17582 s Remaining CPU time: 1798.82 s 1.10/1.18 c core #178 1.10/1.18 c Core size: 2 Core Weight: 1 Total Weight: 178 1.10/1.18 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #179 1.10/1.19 c Core size: 2 Core Weight: 1 Total Weight: 179 1.10/1.19 c Elapsed CPU time: 1.19082 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #180 1.19/1.20 c Core size: 6 Core Weight: 1 Total Weight: 180 1.19/1.20 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #181 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: 181 1.19/1.21 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #182 1.19/1.21 c Core size: 9 Core Weight: 1 Total Weight: 182 1.19/1.21 c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #183 1.19/1.22 c Core size: 6 Core Weight: 1 Total Weight: 183 1.19/1.22 c Elapsed CPU time: 1.21981 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #184 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: 184 1.19/1.23 c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #185 1.19/1.24 c Core size: 5 Core Weight: 1 Total Weight: 185 1.19/1.24 c Elapsed CPU time: 1.23481 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #186 1.19/1.24 c Core size: 2 Core Weight: 1 Total Weight: 186 1.19/1.24 c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #187 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: 187 1.19/1.25 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #188 1.19/1.26 c Core size: 8 Core Weight: 1 Total Weight: 188 1.19/1.26 c Elapsed CPU time: 1.25881 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #189 1.19/1.27 c Core size: 2 Core Weight: 1 Total Weight: 189 1.19/1.27 c Elapsed CPU time: 1.26581 s Remaining CPU time: 1798.73 s 1.19/1.27 c core #190 1.19/1.27 c Core size: 8 Core Weight: 1 Total Weight: 190 1.19/1.27 c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #191 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 191 1.19/1.28 c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #192 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: 192 1.19/1.29 c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #193 1.29/1.30 c Core size: 2 Core Weight: 1 Total Weight: 193 1.29/1.30 c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #194 1.29/1.31 c Core size: 6 Core Weight: 1 Total Weight: 194 1.29/1.31 c Elapsed CPU time: 1.3038 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #195 1.29/1.31 c Core size: 4 Core Weight: 1 Total Weight: 195 1.29/1.31 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #196 1.29/1.32 c Core size: 2 Core Weight: 1 Total Weight: 196 1.29/1.32 c Elapsed CPU time: 1.3198 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #197 1.29/1.33 c Core size: 7 Core Weight: 1 Total Weight: 197 1.29/1.33 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #198 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: 198 1.29/1.34 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #199 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: 199 1.29/1.34 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #200 1.29/1.35 c Core size: 5 Core Weight: 1 Total Weight: 200 1.29/1.35 c Elapsed CPU time: 1.35079 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #201 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: 201 1.29/1.36 c Elapsed CPU time: 1.35779 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #202 1.29/1.37 c Core size: 7 Core Weight: 1 Total Weight: 202 1.29/1.37 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.29/1.38 c core #203 1.29/1.38 c Core size: 2 Core Weight: 1 Total Weight: 203 1.29/1.38 c Elapsed CPU time: 1.37279 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #204 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: 204 1.29/1.38 c Elapsed CPU time: 1.37979 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #205 1.29/1.39 c Core size: 2 Core Weight: 1 Total Weight: 205 1.29/1.39 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #206 1.39/1.40 c Core size: 4 Core Weight: 1 Total Weight: 206 1.39/1.40 c Elapsed CPU time: 1.39479 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #207 1.39/1.41 c Core size: 5 Core Weight: 1 Total Weight: 207 1.39/1.41 c Elapsed CPU time: 1.40279 s Remaining CPU time: 1798.6 s 1.39/1.42 c core #208 1.39/1.42 c Core size: 2 Core Weight: 1 Total Weight: 208 1.39/1.42 c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #209 1.39/1.42 c Core size: 4 Core Weight: 1 Total Weight: 209 1.39/1.42 c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #210 1.39/1.43 c Core size: 4 Core Weight: 1 Total Weight: 210 1.39/1.43 c Elapsed CPU time: 1.42678 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #211 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 211 1.39/1.44 c Elapsed CPU time: 1.43478 s Remaining CPU time: 1798.57 s 1.39/1.45 c core #212 1.39/1.45 c Core size: 8 Core Weight: 1 Total Weight: 212 1.39/1.45 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.39/1.46 c core #213 1.39/1.46 c Core size: 2 Core Weight: 1 Total Weight: 213 1.39/1.46 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.39/1.46 c core #214 1.39/1.46 c Core size: 4 Core Weight: 1 Total Weight: 214 1.39/1.46 c Elapsed CPU time: 1.45878 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #215 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: 215 1.39/1.47 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #216 1.39/1.48 c Core size: 2 Core Weight: 1 Total Weight: 216 1.39/1.48 c Elapsed CPU time: 1.47477 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #217 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: 217 1.39/1.49 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.39/1.50 c core #218 1.39/1.50 c Core size: 3 Core Weight: 1 Total Weight: 218 1.39/1.50 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.50 c core #219 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: 219 1.49/1.50 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.49/1.51 c core #220 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: 220 1.49/1.51 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #221 1.49/1.52 c Core size: 7 Core Weight: 1 Total Weight: 221 1.49/1.52 c Elapsed CPU time: 1.51377 s Remaining CPU time: 1798.49 s 1.49/1.53 c core #222 1.49/1.53 c Core size: 7 Core Weight: 1 Total Weight: 222 1.49/1.53 c Elapsed CPU time: 1.52177 s Remaining CPU time: 1798.48 s 1.49/1.54 c core #223 1.49/1.54 c Core size: 6 Core Weight: 1 Total Weight: 223 1.49/1.54 c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s 1.49/1.54 c core #224 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: 224 1.49/1.54 c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #225 1.49/1.55 c Core size: 4 Core Weight: 1 Total Weight: 225 1.49/1.55 c Elapsed CPU time: 1.54576 s Remaining CPU time: 1798.45 s 1.49/1.56 c core #226 1.49/1.56 c Core size: 2 Core Weight: 1 Total Weight: 226 1.49/1.56 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #227 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: 227 1.49/1.57 c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s 1.49/1.58 c core #228 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: 228 1.49/1.58 c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s 1.49/1.59 c core #229 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: 229 1.49/1.59 c Elapsed CPU time: 1.57876 s Remaining CPU time: 1798.42 s 1.49/1.59 c core #230 1.49/1.59 c Core size: 2 Core Weight: 1 Total Weight: 230 1.49/1.59 c Elapsed CPU time: 1.58676 s Remaining CPU time: 1798.41 s 1.58/1.60 c core #231 1.58/1.60 c Core size: 5 Core Weight: 1 Total Weight: 231 1.58/1.60 c Elapsed CPU time: 1.59476 s Remaining CPU time: 1798.41 s 1.58/1.61 c core #232 1.58/1.61 c Core size: 2 Core Weight: 1 Total Weight: 232 1.58/1.61 c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s 1.58/1.62 c core #233 1.58/1.62 c Core size: 4 Core Weight: 1 Total Weight: 233 1.58/1.62 c Elapsed CPU time: 1.61175 s Remaining CPU time: 1798.39 s 1.58/1.63 c core #234 1.58/1.63 c Core size: 3 Core Weight: 1 Total Weight: 234 1.58/1.63 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.58/1.64 c core #235 1.58/1.64 c Core size: 2 Core Weight: 1 Total Weight: 235 1.58/1.64 c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s 1.58/1.65 c core #236 1.58/1.65 c Core size: 6 Core Weight: 1 Total Weight: 236 1.58/1.65 c Elapsed CPU time: 1.63775 s Remaining CPU time: 1798.36 s 1.58/1.65 c core #237 1.58/1.65 c Core size: 4 Core Weight: 1 Total Weight: 237 1.58/1.65 c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s 1.58/1.66 c core #238 1.58/1.66 c Core size: 2 Core Weight: 1 Total Weight: 238 1.58/1.66 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.58/1.67 c core #239 1.58/1.67 c Core size: 10 Core Weight: 1 Total Weight: 239 1.58/1.67 c Elapsed CPU time: 1.66275 s Remaining CPU time: 1798.34 s 1.58/1.68 c core #240 1.58/1.68 c Core size: 9 Core Weight: 1 Total Weight: 240 1.58/1.68 c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s 1.58/1.69 c core #241 1.58/1.69 c Core size: 5 Core Weight: 1 Total Weight: 241 1.58/1.69 c Elapsed CPU time: 1.67974 s Remaining CPU time: 1798.32 s 1.68/1.70 c core #242 1.68/1.70 c Core size: 2 Core Weight: 1 Total Weight: 242 1.68/1.70 c Elapsed CPU time: 1.68874 s Remaining CPU time: 1798.31 s 1.68/1.71 c core #243 1.68/1.71 c Core size: 2 Core Weight: 1 Total Weight: 243 1.68/1.71 c Elapsed CPU time: 1.69674 s Remaining CPU time: 1798.3 s 1.68/1.71 c core #244 1.68/1.71 c Core size: 2 Core Weight: 1 Total Weight: 244 1.68/1.71 c Elapsed CPU time: 1.70574 s Remaining CPU time: 1798.29 s 1.68/1.72 c core #245 1.68/1.72 c Core size: 5 Core Weight: 1 Total Weight: 245 1.68/1.72 c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s 1.68/1.73 c core #246 1.68/1.73 c Core size: 3 Core Weight: 1 Total Weight: 246 1.68/1.73 c Elapsed CPU time: 1.72274 s Remaining CPU time: 1798.28 s 1.68/1.74 c core #247 1.68/1.74 c Core size: 2 Core Weight: 1 Total Weight: 247 1.68/1.74 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.68/1.75 c core #248 1.68/1.75 c Core size: 2 Core Weight: 1 Total Weight: 248 1.68/1.75 c Elapsed CPU time: 1.73974 s Remaining CPU time: 1798.26 s 1.68/1.76 c core #249 1.68/1.76 c Core size: 3 Core Weight: 1 Total Weight: 249 1.68/1.76 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.68/1.77 c core #250 1.68/1.77 c Core size: 3 Core Weight: 1 Total Weight: 250 1.68/1.77 c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s 1.68/1.77 c core #251 1.68/1.77 c Core size: 2 Core Weight: 1 Total Weight: 251 1.68/1.77 c Elapsed CPU time: 1.76573 s Remaining CPU time: 1798.23 s 1.68/1.78 c core #252 1.68/1.78 c Core size: 2 Core Weight: 1 Total Weight: 252 1.68/1.78 c Elapsed CPU time: 1.77473 s Remaining CPU time: 1798.23 s 1.68/1.79 c core #253 1.68/1.79 c Core size: 2 Core Weight: 1 Total Weight: 253 1.68/1.79 c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s 1.78/1.80 c core #254 1.78/1.80 c Core size: 4 Core Weight: 1 Total Weight: 254 1.78/1.80 c Elapsed CPU time: 1.79173 s Remaining CPU time: 1798.21 s 1.78/1.81 c core #255 1.78/1.81 c Core size: 2 Core Weight: 1 Total Weight: 255 1.78/1.81 c Elapsed CPU time: 1.79973 s Remaining CPU time: 1798.2 s 1.78/1.82 c core #256 1.78/1.82 c Core size: 3 Core Weight: 1 Total Weight: 256 1.78/1.82 c Elapsed CPU time: 1.80773 s Remaining CPU time: 1798.19 s 1.78/1.83 c core #257 1.78/1.83 c Core size: 2 Core Weight: 1 Total Weight: 257 1.78/1.83 c Elapsed CPU time: 1.81572 s Remaining CPU time: 1798.18 s 1.78/1.84 c core #258 1.78/1.84 c Core size: 3 Core Weight: 1 Total Weight: 258 1.78/1.84 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.78/1.84 c core #259 1.78/1.84 c Core size: 3 Core Weight: 1 Total Weight: 259 1.78/1.84 c Elapsed CPU time: 1.83272 s Remaining CPU time: 1798.17 s 1.78/1.85 c core #260 1.78/1.85 c Core size: 3 Core Weight: 1 Total Weight: 260 1.78/1.85 c Elapsed CPU time: 1.84172 s Remaining CPU time: 1798.16 s 1.78/1.86 c core #261 1.78/1.86 c Core size: 2 Core Weight: 1 Total Weight: 261 1.78/1.86 c Elapsed CPU time: 1.84972 s Remaining CPU time: 1798.15 s 1.78/1.87 c core #262 1.78/1.87 c Core size: 2 Core Weight: 1 Total Weight: 262 1.78/1.87 c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s 1.78/1.88 c core #263 1.78/1.88 c Core size: 5 Core Weight: 1 Total Weight: 263 1.78/1.88 c Elapsed CPU time: 1.86772 s Remaining CPU time: 1798.13 s 1.78/1.89 c core #264 1.78/1.89 c Core size: 2 Core Weight: 1 Total Weight: 264 1.78/1.89 c Elapsed CPU time: 1.87671 s Remaining CPU time: 1798.12 s 1.88/1.90 c core #265 1.88/1.90 c Core size: 3 Core Weight: 1 Total Weight: 265 1.88/1.90 c Elapsed CPU time: 1.88571 s Remaining CPU time: 1798.11 s 1.88/1.91 c core #266 1.88/1.91 c Core size: 3 Core Weight: 1 Total Weight: 266 1.88/1.91 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s 1.88/1.91 c core #267 1.88/1.91 c Core size: 5 Core Weight: 1 Total Weight: 267 1.88/1.92 c Elapsed CPU time: 1.90271 s Remaining CPU time: 1798.1 s 1.88/1.92 c core #268 1.88/1.92 c Core size: 4 Core Weight: 1 Total Weight: 268 1.88/1.92 c Elapsed CPU time: 1.91171 s Remaining CPU time: 1798.09 s 1.88/1.93 c core #269 1.88/1.93 c Core size: 4 Core Weight: 1 Total Weight: 269 1.88/1.93 c Elapsed CPU time: 1.92071 s Remaining CPU time: 1798.08 s 1.88/1.94 c core #270 1.88/1.94 c Core size: 3 Core Weight: 1 Total Weight: 270 1.88/1.94 c Elapsed CPU time: 1.92971 s Remaining CPU time: 1798.07 s 1.88/1.95 c core #271 1.88/1.95 c Core size: 12 Core Weight: 1 Total Weight: 271 1.88/1.95 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.88/1.96 c core #272 1.88/1.96 c Core size: 3 Core Weight: 1 Total Weight: 272 1.88/1.96 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.88/1.97 c core #273 1.88/1.97 c Core size: 2 Core Weight: 1 Total Weight: 273 1.88/1.97 c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s 1.88/1.98 c core #274 1.88/1.98 c Core size: 6 Core Weight: 1 Total Weight: 274 1.88/1.98 c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s 1.88/1.99 c core #275 1.88/1.99 c Core size: 2 Core Weight: 1 Total Weight: 275 1.88/1.99 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.88/2.00 c core #276 1.88/2.00 c Core size: 5 Core Weight: 1 Total Weight: 276 1.88/2.00 c Elapsed CPU time: 1.9837 s Remaining CPU time: 1798.02 s 1.98/2.01 c core #277 1.98/2.01 c Core size: 2 Core Weight: 1 Total Weight: 277 1.98/2.01 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.98/2.01 c core #278 1.98/2.01 c Core size: 3 Core Weight: 1 Total Weight: 278 1.98/2.01 c Elapsed CPU time: 2.0027 s Remaining CPU time: 1798 s 1.98/2.02 c core #279 1.98/2.02 c Core size: 3 Core Weight: 1 Total Weight: 279 1.98/2.02 c Elapsed CPU time: 2.01169 s Remaining CPU time: 1797.99 s 1.98/2.03 c core #280 1.98/2.03 c Core size: 2 Core Weight: 1 Total Weight: 280 1.98/2.03 c Elapsed CPU time: 2.02069 s Remaining CPU time: 1797.98 s 1.98/2.04 c core #281 1.98/2.04 c Core size: 6 Core Weight: 1 Total Weight: 281 1.98/2.04 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.98/2.05 c core #282 1.98/2.05 c Core size: 2 Core Weight: 1 Total Weight: 282 1.98/2.05 c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s 1.98/2.06 c core #283 1.98/2.06 c Core size: 2 Core Weight: 1 Total Weight: 283 1.98/2.06 c Elapsed CPU time: 2.04769 s Remaining CPU time: 1797.95 s 1.98/2.07 c core #284 1.98/2.07 c Core size: 5 Core Weight: 1 Total Weight: 284 1.98/2.07 c Elapsed CPU time: 2.05769 s Remaining CPU time: 1797.94 s 1.98/2.08 c core #285 1.98/2.08 c Core size: 2 Core Weight: 1 Total Weight: 285 1.98/2.08 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 1.98/2.09 c core #286 1.98/2.09 c Core size: 2 Core Weight: 1 Total Weight: 286 1.98/2.09 c Elapsed CPU time: 2.07568 s Remaining CPU time: 1797.92 s 1.98/2.10 c core #287 1.98/2.10 c Core size: 2 Core Weight: 1 Total Weight: 287 1.98/2.10 c Elapsed CPU time: 2.08468 s Remaining CPU time: 1797.92 s 2.08/2.11 c core #288 2.08/2.11 c Core size: 2 Core Weight: 1 Total Weight: 288 2.08/2.11 c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s 2.08/2.12 c core #289 2.08/2.12 c Core size: 4 Core Weight: 1 Total Weight: 289 2.08/2.12 c Elapsed CPU time: 2.10368 s Remaining CPU time: 1797.9 s 2.08/2.12 c core #290 2.08/2.12 c Core size: 2 Core Weight: 1 Total Weight: 290 2.08/2.12 c Elapsed CPU time: 2.11268 s Remaining CPU time: 1797.89 s 2.08/2.13 c core #291 2.08/2.13 c Core size: 2 Core Weight: 1 Total Weight: 291 2.08/2.13 c Elapsed CPU time: 2.12168 s Remaining CPU time: 1797.88 s 2.08/2.14 c core #292 2.08/2.14 c Core size: 2 Core Weight: 1 Total Weight: 292 2.08/2.14 c Elapsed CPU time: 2.13068 s Remaining CPU time: 1797.87 s 2.08/2.15 c core #293 2.08/2.15 c Core size: 2 Core Weight: 1 Total Weight: 293 2.08/2.15 c Elapsed CPU time: 2.14067 s Remaining CPU time: 1797.86 s 2.08/2.16 c core #294 2.08/2.16 c Core size: 2 Core Weight: 1 Total Weight: 294 2.08/2.16 c Elapsed CPU time: 2.14967 s Remaining CPU time: 1797.85 s 2.08/2.17 c core #295 2.08/2.17 c Core size: 3 Core Weight: 1 Total Weight: 295 2.08/2.17 c Elapsed CPU time: 2.15867 s Remaining CPU time: 1797.84 s 2.08/2.18 c core #296 2.08/2.18 c Core size: 2 Core Weight: 1 Total Weight: 296 2.08/2.18 c Elapsed CPU time: 2.16867 s Remaining CPU time: 1797.83 s 2.08/2.19 c core #297 2.08/2.19 c Core size: 2 Core Weight: 1 Total Weight: 297 2.08/2.19 c Elapsed CPU time: 2.17767 s Remaining CPU time: 1797.82 s 2.08/2.20 c core #298 2.08/2.20 c Core size: 4 Core Weight: 1 Total Weight: 298 2.08/2.20 c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s 2.18/2.21 c core #299 2.18/2.21 c Core size: 3 Core Weight: 1 Total Weight: 299 2.18/2.21 c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s 2.18/2.22 c core #300 2.18/2.22 c Core size: 2 Core Weight: 1 Total Weight: 300 2.18/2.22 c Elapsed CPU time: 2.20566 s Remaining CPU time: 1797.79 s 2.18/2.23 c core #301 2.18/2.23 c Core size: 2 Core Weight: 1 Total Weight: 301 2.18/2.23 c Elapsed CPU time: 2.21466 s Remaining CPU time: 1797.79 s 2.18/2.24 c core #302 2.18/2.24 c Core size: 2 Core Weight: 1 Total Weight: 302 2.18/2.24 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.18/2.25 c core #303 2.18/2.25 c Core size: 2 Core Weight: 1 Total Weight: 303 2.18/2.25 c Elapsed CPU time: 2.23266 s Remaining CPU time: 1797.77 s 2.18/2.25 c core #304 2.18/2.25 c Core size: 2 Core Weight: 1 Total Weight: 304 2.18/2.25 c Elapsed CPU time: 2.24166 s Remaining CPU time: 1797.76 s 2.18/2.26 c core #305 2.18/2.26 c Core size: 2 Core Weight: 1 Total Weight: 305 2.18/2.26 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.18/2.27 c core #306 2.18/2.27 c Core size: 2 Core Weight: 1 Total Weight: 306 2.18/2.27 c Elapsed CPU time: 2.26066 s Remaining CPU time: 1797.74 s 2.18/2.28 c core #307 2.18/2.28 c Core size: 2 Core Weight: 1 Total Weight: 307 2.18/2.28 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.18/2.29 c core #308 2.18/2.29 c Core size: 5 Core Weight: 1 Total Weight: 308 2.18/2.29 c Elapsed CPU time: 2.27865 s Remaining CPU time: 1797.72 s 2.28/2.30 c core #309 2.28/2.30 c Core size: 3 Core Weight: 1 Total Weight: 309 2.28/2.30 c Elapsed CPU time: 2.28765 s Remaining CPU time: 1797.71 s 2.28/2.31 c core #310 2.28/2.31 c Core size: 3 Core Weight: 1 Total Weight: 310 2.28/2.31 c Elapsed CPU time: 2.29765 s Remaining CPU time: 1797.7 s 2.28/2.32 c core #311 2.28/2.32 c Core size: 2 Core Weight: 1 Total Weight: 311 2.28/2.32 c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s 2.28/2.33 c core #312 2.28/2.33 c Core size: 7 Core Weight: 1 Total Weight: 312 2.28/2.33 c Elapsed CPU time: 2.31465 s Remaining CPU time: 1797.69 s 2.28/2.34 c core #313 2.28/2.34 c Core size: 3 Core Weight: 1 Total Weight: 313 2.28/2.34 c Elapsed CPU time: 2.32465 s Remaining CPU time: 1797.68 s 2.28/2.35 c core #314 2.28/2.35 c Core size: 3 Core Weight: 1 Total Weight: 314 2.28/2.35 c Elapsed CPU time: 2.33365 s Remaining CPU time: 1797.67 s 2.28/2.36 c core #315 2.28/2.36 c Core size: 4 Core Weight: 1 Total Weight: 315 2.28/2.36 c Elapsed CPU time: 2.34364 s Remaining CPU time: 1797.66 s 2.28/2.37 c core #316 2.28/2.37 c Core size: 2 Core Weight: 1 Total Weight: 316 2.28/2.37 c Elapsed CPU time: 2.35264 s Remaining CPU time: 1797.65 s 2.28/2.38 c core #317 2.28/2.38 c Core size: 3 Core Weight: 1 Total Weight: 317 2.28/2.38 c Elapsed CPU time: 2.36164 s Remaining CPU time: 1797.64 s 2.28/2.39 c core #318 2.28/2.39 c Core size: 4 Core Weight: 1 Total Weight: 318 2.28/2.39 c Elapsed CPU time: 2.37064 s Remaining CPU time: 1797.63 s 2.28/2.40 c core #319 2.28/2.40 c Core size: 2 Core Weight: 1 Total Weight: 319 2.28/2.40 c Elapsed CPU time: 2.37964 s Remaining CPU time: 1797.62 s 2.38/2.41 c core #320 2.38/2.41 c Core size: 2 Core Weight: 1 Total Weight: 320 2.38/2.41 c Elapsed CPU time: 2.38964 s Remaining CPU time: 1797.61 s 2.38/2.42 c core #321 2.38/2.42 c Core size: 3 Core Weight: 1 Total Weight: 321 2.38/2.42 c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s 2.38/2.42 c core #322 2.38/2.42 c Core size: 2 Core Weight: 1 Total Weight: 322 2.38/2.43 c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s 2.38/2.43 c core #323 2.38/2.43 c Core size: 2 Core Weight: 1 Total Weight: 323 2.38/2.43 c Elapsed CPU time: 2.41863 s Remaining CPU time: 1797.58 s 2.38/2.44 c core #324 2.38/2.44 c Core size: 3 Core Weight: 1 Total Weight: 324 2.38/2.44 c Elapsed CPU time: 2.42763 s Remaining CPU time: 1797.57 s 2.38/2.45 c core #325 2.38/2.45 c Core size: 2 Core Weight: 1 Total Weight: 325 2.38/2.45 c Elapsed CPU time: 2.43763 s Remaining CPU time: 1797.56 s 2.38/2.46 c core #326 2.38/2.46 c Core size: 2 Core Weight: 1 Total Weight: 326 2.38/2.46 c Elapsed CPU time: 2.44663 s Remaining CPU time: 1797.55 s 2.38/2.47 c core #327 2.38/2.47 c Core size: 5 Core Weight: 1 Total Weight: 327 2.38/2.47 c Elapsed CPU time: 2.45663 s Remaining CPU time: 1797.54 s 2.38/2.48 c core #328 2.38/2.48 c Core size: 2 Core Weight: 1 Total Weight: 328 2.38/2.48 c Elapsed CPU time: 2.46663 s Remaining CPU time: 1797.53 s 2.38/2.49 c core #329 2.38/2.49 c Core size: 3 Core Weight: 1 Total Weight: 329 2.38/2.49 c Elapsed CPU time: 2.47462 s Remaining CPU time: 1797.53 s 2.48/2.50 c core #330 2.48/2.50 c Core size: 2 Core Weight: 1 Total Weight: 330 2.48/2.50 c Elapsed CPU time: 2.48362 s Remaining CPU time: 1797.52 s 2.48/2.51 c core #331 2.48/2.51 c Core size: 3 Core Weight: 1 Total Weight: 331 2.48/2.51 c Elapsed CPU time: 2.49362 s Remaining CPU time: 1797.51 s 2.48/2.52 c core #332 2.48/2.52 c Core size: 2 Core Weight: 1 Total Weight: 332 2.48/2.52 c Elapsed CPU time: 2.50362 s Remaining CPU time: 1797.5 s 2.48/2.53 c core #333 2.48/2.53 c Core size: 8 Core Weight: 1 Total Weight: 333 2.48/2.53 c Elapsed CPU time: 2.51262 s Remaining CPU time: 1797.49 s 2.48/2.54 c core #334 2.48/2.54 c Core size: 18 Core Weight: 1 Total Weight: 334 2.48/2.54 c Elapsed CPU time: 2.52262 s Remaining CPU time: 1797.48 s 2.48/2.55 c core #335 2.48/2.55 c Core size: 32 Core Weight: 1 Total Weight: 335 2.48/2.55 c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s 2.48/2.56 c core #336 2.48/2.56 c Core size: 13 Core Weight: 1 Total Weight: 336 2.48/2.56 c Elapsed CPU time: 2.54261 s Remaining CPU time: 1797.46 s 2.48/2.57 c core #337 2.48/2.57 c Core size: 15 Core Weight: 1 Total Weight: 337 2.48/2.57 c Elapsed CPU time: 2.55261 s Remaining CPU time: 1797.45 s 2.48/2.58 c core #338 2.48/2.58 c Core size: 16 Core Weight: 1 Total Weight: 338 2.48/2.58 c Elapsed CPU time: 2.56261 s Remaining CPU time: 1797.44 s 2.48/2.59 c core #339 2.48/2.59 c Core size: 8 Core Weight: 1 Total Weight: 339 2.48/2.59 c Elapsed CPU time: 2.57261 s Remaining CPU time: 1797.43 s 2.57/2.60 c core #340 2.57/2.60 c Core size: 6 Core Weight: 1 Total Weight: 340 2.57/2.60 c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s 2.57/2.61 c core #341 2.57/2.61 c Core size: 35 Core Weight: 1 Total Weight: 341 2.57/2.61 c Elapsed CPU time: 2.5926 s Remaining CPU time: 1797.41 s 2.57/2.62 c core #342 2.57/2.62 c Core size: 10 Core Weight: 1 Total Weight: 342 2.57/2.62 c Elapsed CPU time: 2.6026 s Remaining CPU time: 1797.4 s 2.57/2.63 c core #343 2.57/2.63 c Core size: 33 Core Weight: 1 Total Weight: 343 2.57/2.63 c Elapsed CPU time: 2.6126 s Remaining CPU time: 1797.39 s 2.57/2.64 c core #344 2.57/2.64 c Core size: 11 Core Weight: 1 Total Weight: 344 2.57/2.64 c Elapsed CPU time: 2.6226 s Remaining CPU time: 1797.38 s 2.57/2.65 c core #345 2.57/2.65 c Core size: 15 Core Weight: 1 Total Weight: 345 2.57/2.65 c Elapsed CPU time: 2.6326 s Remaining CPU time: 1797.37 s 2.57/2.66 c core #346 2.57/2.66 c Core size: 16 Core Weight: 1 Total Weight: 346 2.57/2.66 c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s 2.57/2.67 c core #347 2.57/2.67 c Core size: 13 Core Weight: 1 Total Weight: 347 2.57/2.67 c Elapsed CPU time: 2.6526 s Remaining CPU time: 1797.35 s 2.57/2.68 c core #348 2.57/2.68 c Core size: 15 Core Weight: 1 Total Weight: 348 2.57/2.68 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.57/2.69 c core #349 2.57/2.69 c Core size: 17 Core Weight: 1 Total Weight: 349 2.57/2.69 c Elapsed CPU time: 2.67259 s Remaining CPU time: 1797.33 s 2.68/2.70 c core #350 2.68/2.70 c Core size: 27 Core Weight: 1 Total Weight: 350 2.68/2.70 c Elapsed CPU time: 2.68259 s Remaining CPU time: 1797.32 s 2.68/2.71 c core #351 2.68/2.71 c Core size: 8 Core Weight: 1 Total Weight: 351 2.68/2.71 c Elapsed CPU time: 2.69259 s Remaining CPU time: 1797.31 s 2.68/2.72 c core #352 2.68/2.72 c Core size: 13 Core Weight: 1 Total Weight: 352 2.68/2.72 c Elapsed CPU time: 2.70259 s Remaining CPU time: 1797.3 s 2.68/2.73 c core #353 2.68/2.73 c Core size: 10 Core Weight: 1 Total Weight: 353 2.68/2.73 c Elapsed CPU time: 2.71259 s Remaining CPU time: 1797.29 s 2.68/2.74 c core #354 2.68/2.74 c Core size: 13 Core Weight: 1 Total Weight: 354 2.68/2.74 c Elapsed CPU time: 2.72259 s Remaining CPU time: 1797.28 s 2.68/2.75 c core #355 2.68/2.75 c Core size: 15 Core Weight: 1 Total Weight: 355 2.68/2.75 c Elapsed CPU time: 2.73358 s Remaining CPU time: 1797.27 s 2.68/2.76 c core #356 2.68/2.76 c Core size: 6 Core Weight: 1 Total Weight: 356 2.68/2.76 c Elapsed CPU time: 2.74358 s Remaining CPU time: 1797.26 s 2.68/2.78 c core #357 2.68/2.78 c Core size: 16 Core Weight: 1 Total Weight: 357 2.68/2.78 c Elapsed CPU time: 2.75458 s Remaining CPU time: 1797.25 s 2.68/2.79 c core #358 2.68/2.79 c Core size: 15 Core Weight: 1 Total Weight: 358 2.68/2.79 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.78/2.80 c core #359 2.78/2.80 c Core size: 12 Core Weight: 1 Total Weight: 359 2.78/2.80 c Elapsed CPU time: 2.77558 s Remaining CPU time: 1797.22 s 2.78/2.81 c core #360 2.78/2.81 c Core size: 15 Core Weight: 1 Total Weight: 360 2.78/2.81 c Elapsed CPU time: 2.78558 s Remaining CPU time: 1797.21 s 2.78/2.82 c core #361 2.78/2.82 c Core size: 13 Core Weight: 1 Total Weight: 361 2.78/2.82 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.78/2.83 c core #362 2.78/2.83 c Core size: 33 Core Weight: 1 Total Weight: 362 2.78/2.83 c Elapsed CPU time: 2.80757 s Remaining CPU time: 1797.19 s 2.78/2.84 c core #363 2.78/2.84 c Core size: 8 Core Weight: 1 Total Weight: 363 2.78/2.84 c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s 2.78/2.85 c core #364 2.78/2.85 c Core size: 27 Core Weight: 1 Total Weight: 364 2.78/2.85 c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s 2.78/2.86 c core #365 2.78/2.86 c Core size: 8 Core Weight: 1 Total Weight: 365 2.78/2.86 c Elapsed CPU time: 2.83957 s Remaining CPU time: 1797.16 s 2.78/2.87 c core #366 2.78/2.87 c Core size: 8 Core Weight: 1 Total Weight: 366 2.78/2.87 c Elapsed CPU time: 2.85057 s Remaining CPU time: 1797.15 s 2.78/2.88 c core #367 2.78/2.88 c Core size: 17 Core Weight: 1 Total Weight: 367 2.78/2.88 c Elapsed CPU time: 2.86156 s Remaining CPU time: 1797.14 s 2.78/2.90 c core #368 2.78/2.90 c Core size: 40 Core Weight: 1 Total Weight: 368 2.78/2.90 c Elapsed CPU time: 2.87256 s Remaining CPU time: 1797.13 s 2.88/2.91 c core #369 2.88/2.91 c Core size: 41 Core Weight: 1 Total Weight: 369 2.88/2.91 c Elapsed CPU time: 2.88456 s Remaining CPU time: 1797.12 s 2.88/2.92 c core #370 2.88/2.92 c Core size: 25 Core Weight: 1 Total Weight: 370 2.88/2.92 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.88/2.93 c ============================[ Search Statistics ]============================== 2.88/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.93 c =============================================================================== 2.88/2.93 c | 0 | 2355 6686 37153 | 5000 0 nan | 0.000 % | 2.88/2.93 c =============================================================================== 2.88/2.93 c core #371 2.88/2.93 c Core size: 45 Core Weight: 1 Total Weight: 371 2.88/2.93 c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s 2.88/2.94 c ============================[ Search Statistics ]============================== 2.88/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.94 c =============================================================================== 2.88/2.94 c | 0 | 2390 6687 37216 | 5000 0 nan | 0.000 % | 2.88/2.95 c =============================================================================== 2.88/2.95 c core #372 2.88/2.95 c Core size: 45 Core Weight: 1 Total Weight: 372 2.88/2.95 c Elapsed CPU time: 2.92156 s Remaining CPU time: 1797.08 s 2.88/2.96 c ============================[ Search Statistics ]============================== 2.88/2.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.96 c =============================================================================== 2.88/2.96 c | 0 | 2422 6688 37276 | 5000 0 nan | 0.000 % | 2.88/2.96 c | 100 | 2422 6688 37276 | 5500 100 12 | 15.648 % | 2.88/2.96 c =============================================================================== 2.88/2.97 c core #373 2.88/2.97 c Core size: 272 Core Weight: 1 Total Weight: 373 2.88/2.97 c Elapsed CPU time: 2.94055 s Remaining CPU time: 1797.06 s 2.88/2.98 c ============================[ Search Statistics ]============================== 2.88/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.98 c =============================================================================== 2.88/2.98 c | 0 | 2629 6689 37649 | 5000 0 nan | 0.000 % | 2.88/2.99 c | 100 | 2629 6689 37649 | 5500 100 23 | 13.264 % | 2.97/3.00 c =============================================================================== 2.97/3.00 c core #374 2.97/3.00 c Core size: 187 Core Weight: 1 Total Weight: 374 2.97/3.00 c Elapsed CPU time: 2.97355 s Remaining CPU time: 1797.03 s 2.97/3.01 c ============================[ Search Statistics ]============================== 2.97/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.01 c =============================================================================== 2.97/3.01 c | 0 | 2773 6690 37920 | 5000 0 nan | 0.000 % | 2.97/3.02 c | 100 | 2773 6690 37920 | 5500 100 24 | 12.192 % | 2.97/3.02 c =============================================================================== 2.97/3.02 c core #375 2.97/3.02 c Core size: 51 Core Weight: 1 Total Weight: 375 2.97/3.02 c Elapsed CPU time: 2.99654 s Remaining CPU time: 1797 s 2.97/3.04 c ============================[ Search Statistics ]============================== 2.97/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.04 c =============================================================================== 2.97/3.04 c | 0 | 2827 6691 38089 | 5000 0 nan | 0.000 % | 2.97/3.04 c =============================================================================== 2.97/3.04 c core #376 2.97/3.04 c Core size: 55 Core Weight: 1 Total Weight: 376 2.97/3.04 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 2.97/3.05 c ============================[ Search Statistics ]============================== 2.97/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.05 c =============================================================================== 2.97/3.05 c | 0 | 2879 6692 38181 | 5000 0 nan | 0.000 % | 2.97/3.05 c =============================================================================== 2.97/3.05 c core #377 2.97/3.05 c Core size: 74 Core Weight: 1 Total Weight: 377 2.97/3.05 c Elapsed CPU time: 3.02354 s Remaining CPU time: 1796.98 s 2.97/3.06 c ============================[ Search Statistics ]============================== 2.97/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.06 c =============================================================================== 2.97/3.06 c | 0 | 2926 6693 38373 | 5000 0 nan | 0.000 % | 2.97/3.08 c | 101 | 2924 6693 38373 | 5500 101 12 | 11.308 % | 2.97/3.09 c | 254 | 2922 6693 38373 | 6050 254 16 | 11.308 % | 3.07/3.11 c | 480 | 2902 6693 38373 | 6655 477 17 | 11.308 % | 3.07/3.14 c | 817 | 2902 6693 38373 | 7320 814 19 | 11.308 % | 3.07/3.19 c | 1323 | 2902 6693 38373 | 8052 1320 22 | 11.308 % | 3.18/3.26 c | 2085 | 2902 6693 38373 | 8857 2082 23 | 11.308 % | 3.28/3.38 c =============================================================================== 3.37/3.41 c core #378 3.37/3.41 c Core size: 349 Core Weight: 1 Total Weight: 378 3.37/3.41 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.37/3.42 c ============================[ Search Statistics ]============================== 3.37/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.37/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.37/3.42 c =============================================================================== 3.37/3.42 c | 0 | 3149 6694 38805 | 5000 0 nan | 0.000 % | 3.37/3.43 c | 100 | 3148 6694 38805 | 5500 100 10 | 9.595 % | 3.37/3.44 c | 251 | 3148 6694 38805 | 6050 251 10 | 9.595 % | 3.37/3.46 c | 476 | 3135 6694 38805 | 6655 475 11 | 10.083 % | 3.37/3.46 c =============================================================================== 3.37/3.47 c core #379 3.37/3.47 c Core size: 252 Core Weight: 1 Total Weight: 379 3.37/3.47 c Elapsed CPU time: 3.41948 s Remaining CPU time: 1796.58 s 3.37/3.48 c ============================[ Search Statistics ]============================== 3.37/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.37/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.37/3.48 c =============================================================================== 3.37/3.48 c | 0 | 3297 6695 39096 | 5000 0 nan | 0.000 % | 3.37/3.49 c | 101 | 3294 6695 39096 | 5500 101 13 | 9.056 % | 3.47/3.51 c | 251 | 3292 6695 39096 | 6050 251 18 | 9.221 % | 3.47/3.53 c | 476 | 3288 6695 39096 | 6655 469 22 | 9.221 % | 3.47/3.58 c | 813 | 3288 6695 39096 | 7320 806 25 | 9.221 % | 3.57/3.63 c | 1319 | 3288 6695 39096 | 8052 1312 28 | 9.221 % | 3.67/3.72 c | 2080 | 3288 6695 39096 | 8857 2073 31 | 9.221 % | 3.77/3.87 c | 3219 | 3288 6695 39096 | 9743 3212 34 | 9.221 % | 4.07/4.14 c | 4930 | 3288 6695 39096 | 10717 4923 37 | 9.221 % | 4.47/4.58 c | 7494 | 3275 6695 39096 | 11789 2951 33 | 9.608 % | 4.87/4.98 c =============================================================================== 4.97/5.04 c core #380 4.97/5.04 c Core size: 442 Core Weight: 1 Total Weight: 380 4.97/5.04 c Elapsed CPU time: 4.97124 s Remaining CPU time: 1795.03 s 4.97/5.07 c ============================[ Search Statistics ]============================== 4.97/5.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.97/5.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.97/5.07 c =============================================================================== 4.97/5.07 c | 0 | 3566 6696 39624 | 5000 0 nan | 0.000 % | 4.97/5.08 c =============================================================================== 4.97/5.08 c core #381 4.97/5.08 c Core size: 19 Core Weight: 1 Total Weight: 381 4.97/5.08 c Elapsed CPU time: 5.00024 s Remaining CPU time: 1795 s 4.97/5.09 c ============================[ Search Statistics ]============================== 4.97/5.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.97/5.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.97/5.09 c =============================================================================== 4.97/5.09 c | 0 | 3578 6697 39648 | 5000 0 nan | 0.000 % | 5.06/5.10 c | 103 | 3578 6697 39648 | 5500 103 33 | 8.092 % | 5.06/5.10 c | 253 | 3578 6697 39648 | 6050 253 27 | 8.091 % | 5.06/5.12 c | 480 | 3578 6697 39648 | 6655 480 25 | 8.091 % | 5.06/5.15 c | 817 | 3560 6697 39648 | 7320 816 26 | 8.554 % | 5.06/5.20 c | 1327 | 3560 6697 39648 | 8052 1326 27 | 8.554 % | 5.16/5.26 c | 2086 | 3560 6697 39648 | 8857 2085 26 | 8.554 % | 5.37/5.42 c | 3225 | 3560 6697 39648 | 9743 3224 29 | 8.554 % | 5.56/5.61 c | 4940 | 3560 6697 39648 | 10717 4939 31 | 8.554 % | 5.86/5.93 c | 7504 | 3560 6697 39648 | 11789 7503 34 | 8.554 % | 6.37/6.49 c | 11351 | 3550 6697 39648 | 12968 11349 33 | 8.811 % | 7.36/7.41 c | 17117 | 3549 6697 39648 | 14265 10313 39 | 8.836 % | 9.26/9.36 c | 25772 | 3548 6697 39648 | 15692 11597 49 | 8.862 % | 9.77/9.80 c =============================================================================== 9.77/9.80 c core #382 9.77/9.80 c Core size: 35 Core Weight: 1 Total Weight: 382 9.77/9.80 c Elapsed CPU time: 9.65453 s Remaining CPU time: 1790.35 s 9.77/9.85 c ============================[ Search Statistics ]============================== 9.77/9.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.77/9.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.77/9.85 c =============================================================================== 9.77/9.85 c | 0 | 3596 6698 39684 | 5000 0 nan | 0.000 % | 9.77/9.86 c | 100 | 3594 6698 39684 | 5500 100 20 | 8.105 % | 9.77/9.86 c =============================================================================== 9.77/9.86 c core #383 9.77/9.86 c Core size: 158 Core Weight: 1 Total Weight: 383 9.77/9.86 c Elapsed CPU time: 9.71252 s Remaining CPU time: 1790.29 s 9.77/9.88 c ============================[ Search Statistics ]============================== 9.77/9.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.77/9.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.77/9.88 c =============================================================================== 9.77/9.88 c | 0 | 3725 6699 39923 | 5000 0 nan | 0.000 % | 9.77/9.89 c | 101 | 3725 6699 39923 | 5500 101 27 | 7.361 % | 9.86/9.90 c | 251 | 3725 6699 39923 | 6050 251 28 | 7.361 % | 9.86/9.92 c | 476 | 3725 6699 39923 | 6655 476 31 | 7.361 % | 9.86/9.96 c | 813 | 3725 6699 39923 | 7320 813 31 | 7.361 % | 9.96/10.00 c | 1321 | 3725 6699 39923 | 8052 1321 30 | 7.361 % | 9.96/10.08 c | 2084 | 3725 6699 39923 | 8857 2084 33 | 7.361 % | 10.16/10.22 c | 3224 | 3725 6699 39923 | 9743 3224 34 | 7.361 % | 10.36/10.48 c | 4934 | 3725 6699 39923 | 10717 4934 38 | 7.361 % | 10.76/10.88 c | 7496 | 3715 6699 39923 | 11789 7495 38 | 7.610 % | 11.56/11.64 c | 11343 | 3715 6699 39923 | 12968 11342 42 | 7.610 % | 12.86/12.96 c | 17109 | 3715 6699 39923 | 14265 10376 61 | 7.610 % | 15.26/15.33 c | 25758 | 3715 6699 39923 | 15692 11667 81 | 7.610 % | 18.66/18.75 c | 38734 | 3715 6699 39923 | 17261 8567 58 | 7.610 % | 25.35/25.48 c | 58199 | 3715 6699 39923 | 18987 10327 81 | 7.610 % | 38.35/38.43 c | 87391 | 3715 6699 39923 | 20886 10174 81 | 7.610 % | 40.15/40.26 c =============================================================================== 41.25/41.37 c core #384 41.25/41.37 c Core size: 638 Core Weight: 1 Total Weight: 384 41.25/41.37 c Elapsed CPU time: 40.8508 s Remaining CPU time: 1759.15 s 41.35/41.49 c ============================[ Search Statistics ]============================== 41.35/41.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.35/41.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.35/41.49 c =============================================================================== 41.35/41.49 c | 0 | 4045 6700 40559 | 5000 0 nan | 0.000 % | 41.45/41.51 c | 100 | 4045 6700 40559 | 5500 100 10 | 6.733 % | 41.45/41.53 c | 254 | 4045 6700 40559 | 6050 254 11 | 6.733 % | 41.45/41.54 c | 481 | 4035 6700 40559 | 6655 479 13 | 6.963 % | 41.45/41.56 c | 822 | 4032 6700 40559 | 7320 820 15 | 7.033 % | 41.54/41.60 c | 1329 | 4025 6700 40559 | 8052 746 14 | 7.194 % | 41.54/41.60 c =============================================================================== 41.54/41.61 c core #385 41.54/41.61 c Core size: 351 Core Weight: 1 Total Weight: 385 41.54/41.61 c Elapsed CPU time: 41.0818 s Remaining CPU time: 1758.92 s 41.54/41.63 c ============================[ Search Statistics ]============================== 41.54/41.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.54/41.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.54/41.63 c =============================================================================== 41.54/41.63 c | 0 | 4245 6701 40954 | 5000 0 nan | 0.000 % | 41.54/41.64 c | 100 | 4245 6701 40954 | 5500 100 35 | 6.333 % | 41.54/41.66 c | 250 | 4245 6701 40954 | 6050 250 48 | 6.333 % | 41.54/41.69 c | 475 | 4245 6701 40954 | 6655 475 49 | 6.333 % | 41.65/41.74 c | 814 | 4245 6701 40954 | 7320 814 54 | 6.333 % | 41.65/41.80 c | 1320 | 4245 6701 40954 | 8052 1320 50 | 6.333 % | 41.85/41.91 c | 2082 | 4245 6701 40954 | 8857 2082 53 | 6.333 % | 42.04/42.10 c | 3221 | 4245 6701 40954 | 9743 3221 58 | 6.333 % | 42.45/42.56 c | 4936 | 4245 6701 40954 | 10717 4936 74 | 6.333 % | 43.05/43.17 c | 7498 | 4245 6701 40954 | 11789 7498 69 | 6.333 % | 44.54/44.64 c | 11342 | 4245 6701 40954 | 12968 11342 75 | 6.333 % | 46.54/46.60 c | 17110 | 4245 6701 40954 | 14265 10362 104 | 6.333 % | 48.04/48.17 c | 25760 | 4245 6701 40954 | 15692 11589 71 | 6.333 % | 51.85/51.99 c | 38737 | 4245 6701 40954 | 17261 8474 75 | 6.333 % | 60.14/60.24 c | 58198 | 4245 6701 40954 | 18987 10077 102 | 6.333 % | 75.74/75.83 c | 87392 | 4245 6701 40954 | 20886 10075 119 | 6.333 % | 102.92/103.02 c | 131183 | 4245 6701 40954 | 22974 10820 126 | 6.333 % | 138.71/138.81 c | 196868 | 4245 6701 40954 | 25272 17691 112 | 6.333 % | 225.08/225.23 c | 295394 | 4245 6701 40954 | 27799 24077 164 | 6.333 % | 318.45/318.63 c | 443183 | 4244 6701 40954 | 30579 18950 133 | 6.355 % | 521.87/522.17 c | 664867 | 4244 6701 40954 | 33637 13817 120 | 6.355 % | 822.07/822.46 c | 997395 | 4231 6701 40954 | 37001 27560 155 | 6.642 % | 1263.91/1264.47 c | 1496183 | 4231 6701 40954 | 40701 27086 136 | 6.642 % |
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-1875778-1245134713/watcher-1875778-1245134713 -o /tmp/evaluation-result-1875778-1245134713/solver-1875778-1245134713 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875778-1245134713.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.98 0.99 3/64 7351 /proc/meminfo: memFree=1950624/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=2992 CPUtime=0 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 241 0 0 0 0 0 0 0 18 0 1 0 66204265 3063808 225 1992294400 134512640 135709839 4294956240 18446744073709551615 134543830 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 748 225 127 292 0 373 0 [startup+0.060544 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7351 /proc/meminfo: memFree=1950624/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=3492 CPUtime=0.05 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 531 0 0 0 5 0 0 0 18 0 1 0 66204265 3575808 435 1992294400 134512640 135709839 4294956240 18446744073709551615 134529881 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 873 435 133 292 0 578 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3492 [startup+0.101552 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7351 /proc/meminfo: memFree=1950624/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=3492 CPUtime=0.09 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 533 0 0 0 9 0 0 0 18 0 1 0 66204265 3575808 437 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 873 437 133 292 0 578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3492 [startup+0.301592 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7351 /proc/meminfo: memFree=1950624/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=3492 CPUtime=0.29 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 544 0 0 0 29 0 0 0 19 0 1 0 66204265 3575808 448 1992294400 134512640 135709839 4294956240 18446744073709551615 135172981 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 873 448 133 292 0 578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3492 [startup+0.701673 s] /proc/loadavg: 0.99 0.98 0.99 3/64 7351 /proc/meminfo: memFree=1950624/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=3792 CPUtime=0.69 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 613 0 0 0 69 0 0 0 22 0 1 0 66204265 3883008 517 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 948 517 133 292 0 653 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3792 [startup+1.50183 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1948568/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=4480 CPUtime=1.49 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 769 0 0 0 149 0 0 0 25 0 1 0 66204265 4587520 673 1992294400 134512640 135709839 4294956240 18446744073709551615 134571294 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 1120 673 133 292 0 825 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4480 [startup+3.10115 s] /proc/loadavg: 0.99 0.98 0.99 3/65 7352 /proc/meminfo: memFree=1947800/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=6220 CPUtime=3.07 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 1381 0 0 0 306 1 0 0 25 0 1 0 66204265 6369280 1131 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 1555 1131 136 292 0 1260 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 6220 [startup+6.30179 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1941720/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=10724 CPUtime=6.27 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 2510 0 0 0 619 8 0 0 25 0 1 0 66204265 10981376 2260 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 2681 2260 136 292 0 2386 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 10724 [startup+12.7021 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1933080/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=19212 CPUtime=12.66 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 4622 0 0 0 1249 17 0 0 25 0 1 0 66204265 19673088 4372 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 4803 4372 136 292 0 4508 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 19212 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1911704/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=41024 CPUtime=25.45 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 10064 0 0 0 2512 33 0 0 25 0 1 0 66204265 42008576 9814 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 10256 9814 136 292 0 9961 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 41024 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1885848/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=66408 CPUtime=51.04 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 16460 0 0 0 5044 60 0 0 25 0 1 0 66204265 68001792 16158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 16602 16158 136 292 0 16307 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 66408 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1820056/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=132324 CPUtime=102.23 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 32927 0 0 0 10125 98 0 0 25 0 1 0 66204265 135499776 32625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 33081 32625 136 292 0 32786 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 132324 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1742296/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=210132 CPUtime=162.2 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 52344 0 0 0 16081 139 0 0 25 0 1 0 66204265 215175168 52042 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 52533 52042 136 292 0 52238 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 210132 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1682392/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=269992 CPUtime=222.18 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 67270 0 0 0 22051 167 0 0 25 0 1 0 66204265 276471808 66968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 67498 66968 136 292 0 67203 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 269992 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1610584/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=342568 CPUtime=282.17 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 85371 0 0 0 28013 204 0 0 25 0 1 0 66204265 350789632 85069 1992294400 134512640 135709839 4294956240 18446744073709551615 134577290 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 85642 85069 136 292 0 85347 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 342568 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1545432/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=406956 CPUtime=342.14 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 101455 0 0 0 33975 239 0 0 25 0 1 0 66204265 416722944 101153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 101739 101153 136 292 0 101444 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 406956 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1485208/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=467452 CPUtime=402.12 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 116538 0 0 0 39940 272 0 0 25 0 1 0 66204265 478670848 116236 1992294400 134512640 135709839 4294956240 18446744073709551615 134569406 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 116863 116236 136 292 0 116568 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 467452 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7352 /proc/meminfo: memFree=1431576/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=521080 CPUtime=462.1 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 129900 0 0 0 45913 297 0 0 25 0 1 0 66204265 533585920 129598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 130270 129598 136 292 0 129975 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 521080 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7354 /proc/meminfo: memFree=1371800/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=581220 CPUtime=522.07 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 144935 0 0 0 51877 330 0 0 25 0 1 0 66204265 595169280 144633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 145305 144633 136 292 0 145010 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 581220 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7354 /proc/meminfo: memFree=1300760/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=651556 CPUtime=582.05 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 162504 0 0 0 57835 370 0 0 25 0 1 0 66204265 667193344 162202 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 162889 162202 136 292 0 162594 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 651556 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7354 /proc/meminfo: memFree=1247640/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=704300 CPUtime=642.03 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 175638 0 0 0 63807 396 0 0 25 0 1 0 66204265 721203200 175336 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 176075 175336 136 292 0 175780 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 704300 [startup+702.302 s] ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7354 /proc/meminfo: memFree=962200/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=990520 CPUtime=941.93 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 247109 0 0 0 93647 546 0 0 25 0 1 0 66204265 1014292480 246807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 247630 246807 136 292 0 247335 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 990520 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=904208/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1047476 CPUtime=1001.9 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 261332 0 0 0 99611 579 0 0 25 0 1 0 66204265 1072615424 261030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 261869 261030 136 292 0 261574 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 1047476 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=856336/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1095760 CPUtime=1061.88 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 273404 0 0 0 105579 609 0 0 25 0 1 0 66204265 1122058240 273102 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 273940 273102 136 292 0 273645 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 1095760 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=794896/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1156800 CPUtime=1121.85 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 288646 0 0 0 111545 640 0 0 25 0 1 0 66204265 1184563200 288344 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 289200 288344 136 292 0 288905 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 1156800 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=744784/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1207400 CPUtime=1181.84 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 301297 0 0 0 117517 667 0 0 25 0 1 0 66204265 1236377600 300995 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 301850 300995 136 292 0 301555 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 1207400 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=682768/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1268828 CPUtime=1241.81 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 316632 0 0 0 123480 701 0 0 25 0 1 0 66204265 1299279872 316330 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 317207 316330 136 292 0 316912 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1268828 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=630424/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1320728 CPUtime=1301.79 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 329552 0 0 0 129449 730 0 0 25 0 1 0 66204265 1352425472 329250 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 330182 329250 136 292 0 329887 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1320728 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=580952/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1370480 CPUtime=1361.77 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 341976 0 0 0 135420 757 0 0 25 0 1 0 66204265 1403371520 341674 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 342620 341674 136 292 0 342325 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1370480 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=533976/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1417096 CPUtime=1421.75 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 353624 0 0 0 141392 783 0 0 25 0 1 0 66204265 1451106304 353322 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 354274 353322 136 292 0 353979 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1417096 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=480472/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1471704 CPUtime=1481.73 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 367257 0 0 0 147362 811 0 0 25 0 1 0 66204265 1507024896 366955 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 367926 366955 136 292 0 367631 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 1471704 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=434968/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1516188 CPUtime=1541.7 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 378352 0 0 0 153338 832 0 0 25 0 1 0 66204265 1552576512 378050 1992294400 134512640 135709839 4294956240 18446744073709551615 134573832 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 379047 378050 136 292 0 378752 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1516188 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=383128/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1568320 CPUtime=1601.68 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 391381 0 0 0 159312 856 0 0 25 0 1 0 66204265 1605959680 391079 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 392080 391079 136 292 0 391785 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1568320 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=339864/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1611272 CPUtime=1661.66 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 402119 0 0 0 165288 878 0 0 25 0 1 0 66204265 1649942528 401817 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 402818 401817 136 292 0 402523 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 1611272 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=290200/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1661488 CPUtime=1721.64 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 414648 0 0 0 171256 908 0 0 25 0 1 0 66204265 1701363712 414346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 415372 414346 136 292 0 415077 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 1661488 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=233688/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1717348 CPUtime=1781.62 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 428592 0 0 0 177229 933 0 0 25 0 1 0 66204265 1758564352 428290 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 429337 428290 136 292 0 429042 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1717348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=218200/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=1732408 CPUtime=1800.03 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4194304 432353 0 0 0 179062 941 0 0 25 0 1 0 66204265 1773985792 432051 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 433102 432051 136 292 0 432807 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1732408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=218200/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=0 CPUtime=1800.12 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4195332 432353 0 0 0 179062 950 0 0 25 0 1 0 66204265 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7360 /proc/meminfo: memFree=218200/2055920 swapFree=4191900/4192956 [pid=7351] ppid=7349 vsize=0 CPUtime=1800.22 /proc/7351/stat : 7351 (wbo) R 7349 7351 7128 0 -1 4195332 432353 0 0 0 179062 960 0 0 25 0 1 0 66204265 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7351/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.97 CPU time (s): 1800.3 CPU user time (s): 1790.62 CPU system time (s): 9.67253 CPU usage (%): 99.9625 Max. virtual memory (cumulated for all children) (KiB): 1732408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.62 system time used= 9.67253 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 432353 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= 4264 runsolver used 1.36279 second user time and 3.69144 second system time The end
Begin job on node33 at 2009-06-16 08:45:13 IDJOB=1875778 IDBENCH=1873 IDSOLVER=698 FILE ID=node33/1875778-1245134713 PBS_JOBID= 9363707 Free space on /tmp= 65952 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.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-1875778-1245134713/watcher-1875778-1245134713 -o /tmp/evaluation-result-1875778-1245134713/solver-1875778-1245134713 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875778-1245134713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED=1482336552 node33.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.261 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.261 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: 1951104 kB Buffers: 8636 kB Cached: 41640 kB SwapCached: 384 kB Active: 34740 kB Inactive: 29020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1951104 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2692 kB Writeback: 0 kB Mapped: 21808 kB Slab: 27128 kB Committed_AS: 116164 kB PageTables: 1392 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-1875778-1245134713.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 09:15:16