| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1228.29 | 1228.69 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-prom2.pi.opb |
| MD5SUM | 6a8ed45a9ac044152dd384e143f7e172 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 287 |
| Best CPU time to get the best result obtained on this benchmark | 10.0732 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 287 |
| Optimality of the best value was proved | YES |
| Number of variables | 2617 |
| Total number of constraints | 1988 |
| Number of constraints which are clauses | 1988 |
| 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 | 30 |
| Number of terms in the objective function | 2617 |
| 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 | 2617 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2617 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-1876157-1245148295.opb. 0.00/0.00 c Instance file HOME/instance-1876157-1245148295.opb 0.00/0.00 c File size is 170628 bytes. 0.00/0.02 c Highest Coefficient sum: 31 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 2617 | 0.00/0.02 c | Number Clauses: 4605 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c core #1 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #2 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #3 0.00/0.03 c Core size: 15 Core Weight: 1 Total Weight: 3 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #4 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 4 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #5 0.00/0.04 c Core size: 11 Core Weight: 1 Total Weight: 5 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #6 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #7 0.00/0.05 c Core size: 12 Core Weight: 1 Total Weight: 7 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #8 0.00/0.05 c Core size: 10 Core Weight: 1 Total Weight: 8 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #9 0.00/0.06 c Core size: 2 Core Weight: 1 Total Weight: 9 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #10 0.00/0.06 c Core size: 5 Core Weight: 1 Total Weight: 10 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #11 0.00/0.07 c Core size: 8 Core Weight: 1 Total Weight: 11 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #12 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #13 0.00/0.07 c Core size: 14 Core Weight: 1 Total Weight: 13 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #14 0.00/0.08 c Core size: 6 Core Weight: 1 Total Weight: 14 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #15 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 15 0.00/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.08/0.09 c core #16 0.08/0.09 c Core size: 10 Core Weight: 1 Total Weight: 16 0.08/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.08/0.09 c core #17 0.08/0.09 c Core size: 8 Core Weight: 1 Total Weight: 17 0.08/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.08/0.10 c core #18 0.08/0.10 c Core size: 6 Core Weight: 1 Total Weight: 18 0.08/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #19 0.09/0.10 c Core size: 5 Core Weight: 1 Total Weight: 19 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #20 0.09/0.10 c Core size: 6 Core Weight: 1 Total Weight: 20 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #21 0.09/0.11 c Core size: 5 Core Weight: 1 Total Weight: 21 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #22 0.09/0.11 c Core size: 16 Core Weight: 1 Total Weight: 22 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #23 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: 23 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #24 0.09/0.12 c Core size: 5 Core Weight: 1 Total Weight: 24 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #25 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 25 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #26 0.09/0.13 c Core size: 2 Core Weight: 1 Total Weight: 26 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #27 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 27 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #28 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 28 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #29 0.09/0.14 c Core size: 11 Core Weight: 1 Total Weight: 29 0.09/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #30 0.09/0.15 c Core size: 5 Core Weight: 1 Total Weight: 30 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #31 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: 31 0.09/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #32 0.09/0.16 c Core size: 5 Core Weight: 1 Total Weight: 32 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #33 0.09/0.16 c Core size: 8 Core Weight: 1 Total Weight: 33 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #34 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 34 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #35 0.09/0.17 c Core size: 2 Core Weight: 1 Total Weight: 35 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #36 0.09/0.18 c Core size: 6 Core Weight: 1 Total Weight: 36 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #37 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 37 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #38 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 38 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #39 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 39 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #40 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 40 0.09/0.19 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #41 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: 41 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #42 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 42 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #43 0.19/0.21 c Core size: 10 Core Weight: 1 Total Weight: 43 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #44 0.19/0.21 c Core size: 10 Core Weight: 1 Total Weight: 44 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #45 0.19/0.22 c Core size: 8 Core Weight: 1 Total Weight: 45 0.19/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #46 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 46 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #47 0.19/0.23 c Core size: 9 Core Weight: 1 Total Weight: 47 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #48 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: 48 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #49 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 49 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #50 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 50 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #51 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 51 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #52 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 52 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #53 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 53 0.19/0.25 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #54 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 54 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #55 0.19/0.26 c Core size: 10 Core Weight: 1 Total Weight: 55 0.19/0.26 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #56 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 56 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #57 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: 57 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #58 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 58 0.19/0.28 c Elapsed CPU time: 0.277957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #59 0.19/0.28 c Core size: 12 Core Weight: 1 Total Weight: 59 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #60 0.19/0.29 c Core size: 10 Core Weight: 1 Total Weight: 60 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #61 0.19/0.29 c Core size: 5 Core Weight: 1 Total Weight: 61 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #62 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 62 0.29/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #63 0.29/0.30 c Core size: 5 Core Weight: 1 Total Weight: 63 0.29/0.30 c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #64 0.29/0.31 c Core size: 7 Core Weight: 1 Total Weight: 64 0.29/0.31 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #65 0.29/0.31 c Core size: 5 Core Weight: 1 Total Weight: 65 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #66 0.29/0.32 c Core size: 13 Core Weight: 1 Total Weight: 66 0.29/0.32 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #67 0.29/0.32 c Core size: 7 Core Weight: 1 Total Weight: 67 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #68 0.29/0.33 c Core size: 5 Core Weight: 1 Total Weight: 68 0.29/0.33 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #69 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 69 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #70 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: 70 0.29/0.34 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #71 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: 71 0.29/0.34 c Elapsed CPU time: 0.338948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #72 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 72 0.29/0.35 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #73 0.29/0.35 c Core size: 5 Core Weight: 1 Total Weight: 73 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #74 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 74 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #75 0.29/0.36 c Core size: 7 Core Weight: 1 Total Weight: 75 0.29/0.36 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #76 0.29/0.36 c Core size: 9 Core Weight: 1 Total Weight: 76 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #77 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 77 0.29/0.37 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #78 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: 78 0.29/0.37 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #79 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: 79 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #80 0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: 80 0.29/0.38 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #81 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: 81 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #82 0.29/0.39 c Core size: 2 Core Weight: 1 Total Weight: 82 0.29/0.39 c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #83 0.39/0.40 c Core size: 2 Core Weight: 1 Total Weight: 83 0.39/0.40 c Elapsed CPU time: 0.396939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #84 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: 84 0.39/0.40 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #85 0.39/0.41 c Core size: 26 Core Weight: 1 Total Weight: 85 0.39/0.41 c Elapsed CPU time: 0.406938 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #86 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: 86 0.39/0.41 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #87 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: 87 0.39/0.42 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #88 0.39/0.42 c Core size: 11 Core Weight: 1 Total Weight: 88 0.39/0.42 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #89 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 89 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #90 0.39/0.43 c Core size: 19 Core Weight: 1 Total Weight: 90 0.39/0.43 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #91 0.39/0.44 c Core size: 6 Core Weight: 1 Total Weight: 91 0.39/0.44 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #92 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 92 0.39/0.44 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #93 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: 93 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #94 0.39/0.45 c Core size: 9 Core Weight: 1 Total Weight: 94 0.39/0.45 c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #95 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: 95 0.39/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #96 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 96 0.39/0.47 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #97 0.39/0.47 c Core size: 7 Core Weight: 1 Total Weight: 97 0.39/0.47 c Elapsed CPU time: 0.467928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #98 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 98 0.39/0.48 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #99 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: 99 0.39/0.48 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #100 0.39/0.49 c Core size: 5 Core Weight: 1 Total Weight: 100 0.39/0.49 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #101 0.39/0.49 c Core size: 5 Core Weight: 1 Total Weight: 101 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.39/0.50 c core #102 0.39/0.50 c Core size: 12 Core Weight: 1 Total Weight: 102 0.39/0.50 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #103 0.49/0.50 c Core size: 9 Core Weight: 1 Total Weight: 103 0.49/0.50 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #104 0.49/0.51 c Core size: 8 Core Weight: 1 Total Weight: 104 0.49/0.51 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #105 0.49/0.51 c Core size: 9 Core Weight: 1 Total Weight: 105 0.49/0.51 c Elapsed CPU time: 0.508922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #106 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 106 0.49/0.52 c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #107 0.49/0.52 c Core size: 6 Core Weight: 1 Total Weight: 107 0.49/0.52 c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #108 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: 108 0.49/0.53 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #109 0.49/0.53 c Core size: 10 Core Weight: 1 Total Weight: 109 0.49/0.53 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #110 0.49/0.54 c Core size: 5 Core Weight: 1 Total Weight: 110 0.49/0.54 c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #111 0.49/0.54 c Core size: 6 Core Weight: 1 Total Weight: 111 0.49/0.54 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #112 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 112 0.49/0.55 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #113 0.49/0.55 c Core size: 5 Core Weight: 1 Total Weight: 113 0.49/0.55 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #114 0.49/0.56 c Core size: 7 Core Weight: 1 Total Weight: 114 0.49/0.56 c Elapsed CPU time: 0.555915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #115 0.49/0.56 c Core size: 7 Core Weight: 1 Total Weight: 115 0.49/0.56 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #116 0.49/0.57 c Core size: 12 Core Weight: 1 Total Weight: 116 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #117 0.49/0.57 c Core size: 16 Core Weight: 1 Total Weight: 117 0.49/0.57 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #118 0.49/0.58 c Core size: 10 Core Weight: 1 Total Weight: 118 0.49/0.58 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #119 0.49/0.58 c Core size: 17 Core Weight: 1 Total Weight: 119 0.49/0.58 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #120 0.49/0.59 c Core size: 5 Core Weight: 1 Total Weight: 120 0.49/0.59 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #121 0.49/0.60 c Core size: 7 Core Weight: 1 Total Weight: 121 0.49/0.60 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #122 0.59/0.60 c Core size: 5 Core Weight: 1 Total Weight: 122 0.59/0.60 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #123 0.59/0.61 c Core size: 10 Core Weight: 1 Total Weight: 123 0.59/0.61 c Elapsed CPU time: 0.602908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #124 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: 124 0.59/0.61 c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #125 0.59/0.62 c Core size: 19 Core Weight: 1 Total Weight: 125 0.59/0.62 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #126 0.59/0.62 c Core size: 6 Core Weight: 1 Total Weight: 126 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #127 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 127 0.59/0.63 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #128 0.59/0.63 c Core size: 2 Core Weight: 1 Total Weight: 128 0.59/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #129 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: 129 0.59/0.64 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #130 0.59/0.64 c Core size: 8 Core Weight: 1 Total Weight: 130 0.59/0.64 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #131 0.59/0.65 c Core size: 5 Core Weight: 1 Total Weight: 131 0.59/0.65 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #132 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: 132 0.59/0.66 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #133 0.59/0.66 c Core size: 10 Core Weight: 1 Total Weight: 133 0.59/0.66 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #134 0.59/0.67 c Core size: 12 Core Weight: 1 Total Weight: 134 0.59/0.67 c Elapsed CPU time: 0.663899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #135 0.59/0.67 c Core size: 9 Core Weight: 1 Total Weight: 135 0.59/0.67 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #136 0.59/0.68 c Core size: 6 Core Weight: 1 Total Weight: 136 0.59/0.68 c Elapsed CPU time: 0.674897 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #137 0.59/0.68 c Core size: 8 Core Weight: 1 Total Weight: 137 0.59/0.68 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #138 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 138 0.59/0.69 c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #139 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 139 0.59/0.69 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #140 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: 140 0.69/0.70 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #141 0.69/0.71 c Core size: 5 Core Weight: 1 Total Weight: 141 0.69/0.71 c Elapsed CPU time: 0.702893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #142 0.69/0.71 c Core size: 7 Core Weight: 1 Total Weight: 142 0.69/0.71 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #143 0.69/0.72 c Core size: 12 Core Weight: 1 Total Weight: 143 0.69/0.72 c Elapsed CPU time: 0.713891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #144 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: 144 0.69/0.72 c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #145 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 145 0.69/0.73 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #146 0.69/0.73 c Core size: 7 Core Weight: 1 Total Weight: 146 0.69/0.73 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #147 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: 147 0.69/0.74 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #148 0.69/0.75 c Core size: 15 Core Weight: 1 Total Weight: 148 0.69/0.75 c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #149 0.69/0.75 c Core size: 19 Core Weight: 1 Total Weight: 149 0.69/0.75 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #150 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: 150 0.69/0.76 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #151 0.69/0.76 c Core size: 7 Core Weight: 1 Total Weight: 151 0.69/0.76 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #152 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: 152 0.69/0.77 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #153 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: 153 0.69/0.77 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #154 0.69/0.78 c Core size: 5 Core Weight: 1 Total Weight: 154 0.69/0.78 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #155 0.69/0.79 c Core size: 11 Core Weight: 1 Total Weight: 155 0.69/0.79 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #156 0.69/0.79 c Core size: 6 Core Weight: 1 Total Weight: 156 0.69/0.79 c Elapsed CPU time: 0.78488 s Remaining CPU time: 1799.22 s 0.79/0.80 c core #157 0.79/0.80 c Core size: 14 Core Weight: 1 Total Weight: 157 0.79/0.80 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #158 0.79/0.80 c Core size: 9 Core Weight: 1 Total Weight: 158 0.79/0.80 c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #159 0.79/0.81 c Core size: 7 Core Weight: 1 Total Weight: 159 0.79/0.81 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #160 0.79/0.82 c Core size: 5 Core Weight: 1 Total Weight: 160 0.79/0.82 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #161 0.79/0.82 c Core size: 10 Core Weight: 1 Total Weight: 161 0.79/0.82 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.83 c core #162 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: 162 0.79/0.83 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #163 0.79/0.83 c Core size: 7 Core Weight: 1 Total Weight: 163 0.79/0.83 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #164 0.79/0.84 c Core size: 6 Core Weight: 1 Total Weight: 164 0.79/0.84 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #165 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: 165 0.79/0.84 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #166 0.79/0.85 c Core size: 12 Core Weight: 1 Total Weight: 166 0.79/0.85 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #167 0.79/0.86 c Core size: 9 Core Weight: 1 Total Weight: 167 0.79/0.86 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #168 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: 168 0.79/0.86 c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #169 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 169 0.79/0.87 c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #170 0.79/0.87 c Core size: 10 Core Weight: 1 Total Weight: 170 0.79/0.87 c Elapsed CPU time: 0.866868 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #171 0.79/0.88 c Core size: 5 Core Weight: 1 Total Weight: 171 0.79/0.88 c Elapsed CPU time: 0.871867 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #172 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: 172 0.79/0.89 c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #173 0.79/0.89 c Core size: 11 Core Weight: 1 Total Weight: 173 0.79/0.89 c Elapsed CPU time: 0.883865 s Remaining CPU time: 1799.12 s 0.89/0.90 c core #174 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: 174 0.89/0.90 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #175 0.89/0.90 c Core size: 6 Core Weight: 1 Total Weight: 175 0.89/0.90 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #176 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: 176 0.89/0.91 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.92 c core #177 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: 177 0.89/0.92 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #178 0.89/0.92 c Core size: 7 Core Weight: 1 Total Weight: 178 0.89/0.92 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #179 0.89/0.93 c Core size: 7 Core Weight: 1 Total Weight: 179 0.89/0.93 c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s 0.89/0.94 c core #180 0.89/0.94 c Core size: 2 Core Weight: 1 Total Weight: 180 0.89/0.94 c Elapsed CPU time: 0.925859 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #181 0.89/0.94 c Core size: 8 Core Weight: 1 Total Weight: 181 0.89/0.94 c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #182 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: 182 0.89/0.95 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #183 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 183 0.89/0.95 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #184 0.89/0.96 c Core size: 7 Core Weight: 1 Total Weight: 184 0.89/0.96 c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #185 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: 185 0.89/0.97 c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #186 0.89/0.97 c Core size: 8 Core Weight: 1 Total Weight: 186 0.89/0.97 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #187 0.89/0.98 c Core size: 5 Core Weight: 1 Total Weight: 187 0.89/0.98 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #188 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 188 0.89/0.99 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #189 0.89/0.99 c Core size: 6 Core Weight: 1 Total Weight: 189 0.89/0.99 c Elapsed CPU time: 0.979851 s Remaining CPU time: 1799.02 s 0.89/1.00 c core #190 0.89/1.00 c Core size: 7 Core Weight: 1 Total Weight: 190 0.89/1.00 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 s 0.99/1.01 c core #191 0.99/1.01 c Core size: 6 Core Weight: 1 Total Weight: 191 0.99/1.01 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 0.99/1.01 c core #192 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 192 0.99/1.01 c Elapsed CPU time: 0.999848 s Remaining CPU time: 1799 s 0.99/1.02 c core #193 0.99/1.02 c Core size: 7 Core Weight: 1 Total Weight: 193 0.99/1.02 c Elapsed CPU time: 1.00585 s Remaining CPU time: 1798.99 s 0.99/1.02 c core #194 0.99/1.02 c Core size: 7 Core Weight: 1 Total Weight: 194 0.99/1.02 c Elapsed CPU time: 1.01285 s Remaining CPU time: 1798.99 s 0.99/1.03 c core #195 0.99/1.03 c Core size: 6 Core Weight: 1 Total Weight: 195 0.99/1.03 c Elapsed CPU time: 1.01885 s Remaining CPU time: 1798.98 s 0.99/1.04 c core #196 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: 196 0.99/1.04 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #197 0.99/1.04 c Core size: 9 Core Weight: 1 Total Weight: 197 0.99/1.04 c Elapsed CPU time: 1.03184 s Remaining CPU time: 1798.97 s 0.99/1.05 c core #198 0.99/1.05 c Core size: 4 Core Weight: 1 Total Weight: 198 0.99/1.05 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 0.99/1.06 c core #199 0.99/1.06 c Core size: 7 Core Weight: 1 Total Weight: 199 0.99/1.06 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 0.99/1.06 c core #200 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: 200 0.99/1.06 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 0.99/1.07 c core #201 0.99/1.07 c Core size: 7 Core Weight: 1 Total Weight: 201 0.99/1.07 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 0.99/1.08 c core #202 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 202 0.99/1.08 c Elapsed CPU time: 1.06384 s Remaining CPU time: 1798.94 s 0.99/1.08 c core #203 0.99/1.08 c Core size: 6 Core Weight: 1 Total Weight: 203 0.99/1.08 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.09 c core #204 0.99/1.09 c Core size: 4 Core Weight: 1 Total Weight: 204 0.99/1.09 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 0.99/1.10 c core #205 0.99/1.10 c Core size: 9 Core Weight: 1 Total Weight: 205 0.99/1.10 c Elapsed CPU time: 1.08283 s Remaining CPU time: 1798.92 s 1.09/1.10 c core #206 1.09/1.10 c Core size: 5 Core Weight: 1 Total Weight: 206 1.09/1.10 c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s 1.09/1.11 c core #207 1.09/1.11 c Core size: 12 Core Weight: 1 Total Weight: 207 1.09/1.11 c Elapsed CPU time: 1.09683 s Remaining CPU time: 1798.9 s 1.09/1.12 c core #208 1.09/1.12 c Core size: 5 Core Weight: 1 Total Weight: 208 1.09/1.12 c Elapsed CPU time: 1.10283 s Remaining CPU time: 1798.9 s 1.09/1.12 c core #209 1.09/1.12 c Core size: 9 Core Weight: 1 Total Weight: 209 1.09/1.12 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.09/1.13 c core #210 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: 210 1.09/1.13 c Elapsed CPU time: 1.11583 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #211 1.09/1.14 c Core size: 6 Core Weight: 1 Total Weight: 211 1.09/1.14 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #212 1.09/1.14 c Core size: 5 Core Weight: 1 Total Weight: 212 1.09/1.14 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.09/1.15 c core #213 1.09/1.15 c Core size: 3 Core Weight: 1 Total Weight: 213 1.09/1.15 c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #214 1.09/1.16 c Core size: 11 Core Weight: 1 Total Weight: 214 1.09/1.16 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.09/1.16 c core #215 1.09/1.16 c Core size: 5 Core Weight: 1 Total Weight: 215 1.09/1.16 c Elapsed CPU time: 1.14682 s Remaining CPU time: 1798.85 s 1.09/1.17 c core #216 1.09/1.17 c Core size: 9 Core Weight: 1 Total Weight: 216 1.09/1.17 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.09/1.18 c core #217 1.09/1.18 c Core size: 8 Core Weight: 1 Total Weight: 217 1.09/1.18 c Elapsed CPU time: 1.15982 s Remaining CPU time: 1798.84 s 1.09/1.19 c core #218 1.09/1.19 c Core size: 13 Core Weight: 1 Total Weight: 218 1.09/1.19 c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s 1.09/1.19 c core #219 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: 219 1.09/1.19 c Elapsed CPU time: 1.17382 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #220 1.19/1.20 c Core size: 5 Core Weight: 1 Total Weight: 220 1.19/1.20 c Elapsed CPU time: 1.18082 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #221 1.19/1.21 c Core size: 2 Core Weight: 1 Total Weight: 221 1.19/1.21 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.19/1.21 c core #222 1.19/1.21 c Core size: 6 Core Weight: 1 Total Weight: 222 1.19/1.21 c Elapsed CPU time: 1.19482 s Remaining CPU time: 1798.81 s 1.19/1.22 c core #223 1.19/1.22 c Core size: 6 Core Weight: 1 Total Weight: 223 1.19/1.22 c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #224 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: 224 1.19/1.23 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.19/1.23 c core #225 1.19/1.23 c Core size: 8 Core Weight: 1 Total Weight: 225 1.19/1.23 c Elapsed CPU time: 1.21582 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #226 1.19/1.24 c Core size: 6 Core Weight: 1 Total Weight: 226 1.19/1.24 c Elapsed CPU time: 1.22281 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #227 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: 227 1.19/1.25 c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #228 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: 228 1.19/1.26 c Elapsed CPU time: 1.23481 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #229 1.19/1.26 c Core size: 10 Core Weight: 1 Total Weight: 229 1.19/1.26 c Elapsed CPU time: 1.24081 s Remaining CPU time: 1798.76 s 1.19/1.27 c core #230 1.19/1.27 c Core size: 5 Core Weight: 1 Total Weight: 230 1.19/1.27 c Elapsed CPU time: 1.24781 s Remaining CPU time: 1798.75 s 1.19/1.28 c core #231 1.19/1.28 c Core size: 5 Core Weight: 1 Total Weight: 231 1.19/1.28 c Elapsed CPU time: 1.25481 s Remaining CPU time: 1798.75 s 1.19/1.28 c core #232 1.19/1.28 c Core size: 7 Core Weight: 1 Total Weight: 232 1.19/1.28 c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s 1.19/1.29 c core #233 1.19/1.29 c Core size: 7 Core Weight: 1 Total Weight: 233 1.19/1.29 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.29/1.30 c core #234 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: 234 1.29/1.30 c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s 1.29/1.30 c core #235 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: 235 1.29/1.30 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.29/1.31 c core #236 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: 236 1.29/1.31 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #237 1.29/1.32 c Core size: 8 Core Weight: 1 Total Weight: 237 1.29/1.32 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.29/1.33 c core #238 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: 238 1.29/1.33 c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s 1.29/1.33 c core #239 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: 239 1.29/1.33 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #240 1.29/1.34 c Core size: 5 Core Weight: 1 Total Weight: 240 1.29/1.34 c Elapsed CPU time: 1.3188 s Remaining CPU time: 1798.68 s 1.29/1.35 c core #241 1.29/1.35 c Core size: 5 Core Weight: 1 Total Weight: 241 1.29/1.35 c Elapsed CPU time: 1.3258 s Remaining CPU time: 1798.67 s 1.29/1.35 c core #242 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: 242 1.29/1.35 c Elapsed CPU time: 1.3328 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #243 1.29/1.36 c Core size: 4 Core Weight: 1 Total Weight: 243 1.29/1.36 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.29/1.37 c core #244 1.29/1.37 c Core size: 23 Core Weight: 1 Total Weight: 244 1.29/1.37 c Elapsed CPU time: 1.34679 s Remaining CPU time: 1798.65 s 1.29/1.38 c core #245 1.29/1.38 c Core size: 12 Core Weight: 1 Total Weight: 245 1.29/1.38 c Elapsed CPU time: 1.35379 s Remaining CPU time: 1798.65 s 1.29/1.38 c core #246 1.29/1.38 c Core size: 24 Core Weight: 1 Total Weight: 246 1.29/1.38 c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s 1.29/1.39 c core #247 1.29/1.39 c Core size: 17 Core Weight: 1 Total Weight: 247 1.29/1.39 c Elapsed CPU time: 1.36879 s Remaining CPU time: 1798.63 s 1.39/1.40 c core #248 1.39/1.40 c Core size: 22 Core Weight: 1 Total Weight: 248 1.39/1.40 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #249 1.39/1.41 c Core size: 9 Core Weight: 1 Total Weight: 249 1.39/1.41 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #250 1.39/1.41 c Core size: 19 Core Weight: 1 Total Weight: 250 1.39/1.41 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.39/1.42 c core #251 1.39/1.42 c Core size: 12 Core Weight: 1 Total Weight: 251 1.39/1.42 c Elapsed CPU time: 1.39979 s Remaining CPU time: 1798.6 s 1.39/1.44 c core #252 1.39/1.44 c Core size: 9 Core Weight: 1 Total Weight: 252 1.48/1.59 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s 1.48/1.59 c core #253 1.48/1.59 c Core size: 17 Core Weight: 1 Total Weight: 253 1.48/1.59 c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s 1.48/1.59 c core #254 1.48/1.59 c Core size: 18 Core Weight: 1 Total Weight: 254 1.48/1.59 c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s 1.48/1.59 c core #255 1.48/1.59 c Core size: 26 Core Weight: 1 Total Weight: 255 1.48/1.59 c Elapsed CPU time: 1.43178 s Remaining CPU time: 1798.57 s 1.48/1.59 c core #256 1.48/1.59 c Core size: 16 Core Weight: 1 Total Weight: 256 1.48/1.59 c Elapsed CPU time: 1.43978 s Remaining CPU time: 1798.56 s 1.48/1.59 c core #257 1.48/1.59 c Core size: 17 Core Weight: 1 Total Weight: 257 1.48/1.59 c Elapsed CPU time: 1.44678 s Remaining CPU time: 1798.55 s 1.48/1.59 c core #258 1.48/1.59 c Core size: 11 Core Weight: 1 Total Weight: 258 1.48/1.59 c Elapsed CPU time: 1.45478 s Remaining CPU time: 1798.55 s 1.48/1.59 c core #259 1.48/1.59 c Core size: 18 Core Weight: 1 Total Weight: 259 1.48/1.59 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.48/1.59 c core #260 1.48/1.59 c Core size: 17 Core Weight: 1 Total Weight: 260 1.48/1.59 c Elapsed CPU time: 1.47078 s Remaining CPU time: 1798.53 s 1.48/1.59 c core #261 1.48/1.59 c Core size: 29 Core Weight: 1 Total Weight: 261 1.48/1.59 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.48/1.59 c core #262 1.48/1.59 c Core size: 29 Core Weight: 1 Total Weight: 262 1.48/1.59 c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s 1.48/1.59 c core #263 1.48/1.59 c Core size: 13 Core Weight: 1 Total Weight: 263 1.48/1.59 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.48/1.59 c core #264 1.48/1.59 c Core size: 21 Core Weight: 1 Total Weight: 264 1.48/1.59 c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s 1.48/1.59 c ============================[ Search Statistics ]============================== 1.48/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.59 c =============================================================================== 1.48/1.59 c | 0 | 2923 4869 19868 | 5000 0 nan | 0.000 % | 1.48/1.59 c =============================================================================== 1.48/1.59 c core #265 1.48/1.59 c Core size: 37 Core Weight: 1 Total Weight: 265 1.48/1.59 c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s 1.48/1.59 c ============================[ Search Statistics ]============================== 1.48/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.59 c =============================================================================== 1.48/1.59 c | 0 | 2974 4870 19952 | 5000 0 nan | 0.000 % | 1.48/1.59 c =============================================================================== 1.48/1.59 c core #266 1.48/1.59 c Core size: 40 Core Weight: 1 Total Weight: 266 1.48/1.59 c Elapsed CPU time: 1.52177 s Remaining CPU time: 1798.48 s 1.48/1.59 c ============================[ Search Statistics ]============================== 1.48/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.59 c =============================================================================== 1.48/1.59 c | 0 | 3027 4871 20032 | 5000 0 nan | 0.000 % | 1.48/1.59 c =============================================================================== 1.48/1.59 c core #267 1.48/1.59 c Core size: 61 Core Weight: 1 Total Weight: 267 1.48/1.59 c Elapsed CPU time: 1.53177 s Remaining CPU time: 1798.47 s 1.48/1.59 c ============================[ Search Statistics ]============================== 1.48/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.59 c =============================================================================== 1.48/1.59 c | 0 | 3133 4872 20192 | 5000 0 nan | 0.000 % | 1.48/1.59 c =============================================================================== 1.48/1.59 c core #268 1.48/1.59 c Core size: 23 Core Weight: 1 Total Weight: 268 1.48/1.59 c Elapsed CPU time: 1.54076 s Remaining CPU time: 1798.46 s 1.48/1.59 c ============================[ Search Statistics ]============================== 1.48/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.59 c =============================================================================== 1.48/1.59 c | 0 | 3183 4873 20278 | 5000 0 nan | 0.000 % | 1.48/1.59 c =============================================================================== 1.48/1.59 c core #269 1.48/1.59 c Core size: 84 Core Weight: 1 Total Weight: 269 1.48/1.59 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.48/1.60 c ============================[ Search Statistics ]============================== 1.48/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.60 c =============================================================================== 1.48/1.60 c | 0 | 3305 4874 20498 | 5000 0 nan | 0.000 % | 1.48/1.60 c =============================================================================== 1.48/1.60 c core #270 1.48/1.60 c Core size: 103 Core Weight: 1 Total Weight: 270 1.48/1.60 c Elapsed CPU time: 1.55976 s Remaining CPU time: 1798.44 s 1.48/1.61 c ============================[ Search Statistics ]============================== 1.48/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.61 c =============================================================================== 1.48/1.61 c | 0 | 3394 4875 20665 | 5000 0 nan | 0.000 % | 1.48/1.62 c =============================================================================== 1.48/1.62 c core #271 1.48/1.62 c Core size: 186 Core Weight: 1 Total Weight: 271 1.48/1.62 c Elapsed CPU time: 1.57276 s Remaining CPU time: 1798.43 s 1.48/1.63 c ============================[ Search Statistics ]============================== 1.48/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.63 c =============================================================================== 1.48/1.63 c | 0 | 3590 4876 20995 | 5000 0 nan | 0.000 % | 1.48/1.63 c =============================================================================== 1.48/1.63 c core #272 1.48/1.63 c Core size: 139 Core Weight: 1 Total Weight: 272 1.48/1.63 c Elapsed CPU time: 1.58476 s Remaining CPU time: 1798.42 s 1.48/1.64 c ============================[ Search Statistics ]============================== 1.48/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.64 c =============================================================================== 1.48/1.64 c | 0 | 3742 4877 21264 | 5000 0 nan | 0.000 % | 1.48/1.65 c | 100 | 3683 4877 21264 | 5500 100 13 | 24.097 % | 1.48/1.65 c =============================================================================== 1.48/1.66 c core #273 1.48/1.66 c Core size: 431 Core Weight: 1 Total Weight: 273 1.48/1.66 c Elapsed CPU time: 1.60976 s Remaining CPU time: 1798.39 s 1.48/1.67 c ============================[ Search Statistics ]============================== 1.48/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.67 c =============================================================================== 1.48/1.67 c | 0 | 4170 4878 22041 | 5000 0 nan | 0.000 % | 1.48/1.69 c | 100 | 4151 4878 22041 | 5500 100 14 | 18.660 % | 1.48/1.71 c | 251 | 4128 4878 22041 | 6050 246 15 | 18.660 % | 1.48/1.73 c | 476 | 4128 4878 22041 | 6655 471 20 | 18.660 % | 1.48/1.77 c =============================================================================== 1.48/1.78 c core #274 1.48/1.78 c Core size: 499 Core Weight: 1 Total Weight: 274 1.48/1.78 c Elapsed CPU time: 1.72174 s Remaining CPU time: 1798.28 s 1.48/1.79 c ============================[ Search Statistics ]============================== 1.48/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.79 c =============================================================================== 1.48/1.79 c | 0 | 4665 4879 22925 | 5000 0 nan | 0.000 % | 1.48/1.80 c | 101 | 4662 4879 22925 | 5500 101 10 | 14.178 % | 1.48/1.81 c | 251 | 4662 4879 22925 | 6050 251 16 | 14.178 % | 1.48/1.85 c | 477 | 4661 4879 22925 | 6655 475 50 | 14.178 % | 1.48/1.90 c | 814 | 4661 4879 22925 | 7320 812 54 | 14.178 % | 1.48/2.00 c | 1320 | 4659 4879 22925 | 8052 1316 52 | 14.215 % | 2.08/2.15 c | 2080 | 4643 4879 22925 | 8857 2074 50 | 14.509 % | 2.26/2.34 c | 3219 | 4632 4879 22925 | 9743 3094 53 | 14.713 % | 2.46/2.50 c =============================================================================== 2.46/2.52 c core #275 2.46/2.52 c Core size: 394 Core Weight: 1 Total Weight: 275 2.46/2.52 c Elapsed CPU time: 2.44463 s Remaining CPU time: 1797.56 s 2.46/2.53 c ============================[ Search Statistics ]============================== 2.46/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.46/2.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.46/2.53 c =============================================================================== 2.46/2.53 c | 0 | 4967 4880 23509 | 5000 0 nan | 0.000 % | 2.46/2.54 c | 101 | 4961 4880 23509 | 5500 101 16 | 13.338 % | 2.46/2.56 c | 251 | 4951 4880 23509 | 6050 248 16 | 13.338 % | 2.46/2.59 c | 476 | 4951 4880 23509 | 6655 473 26 | 13.338 % | 2.56/2.66 c | 813 | 4951 4880 23509 | 7320 810 34 | 13.338 % | 2.65/2.71 c | 1319 | 4951 4880 23509 | 8052 1316 33 | 13.338 % | 2.86/2.90 c | 2078 | 4947 4880 23509 | 8857 2072 42 | 13.408 % | 3.05/3.11 c | 3221 | 4947 4880 23509 | 9743 3215 55 | 13.408 % | 3.46/3.50 c | 4930 | 4941 4880 23509 | 10717 4923 59 | 13.513 % | 4.05/4.14 c | 7494 | 4938 4880 23509 | 11789 7486 61 | 13.583 % | 5.36/5.44 c | 11338 | 4754 4880 23509 | 12968 6365 53 | 16.786 % | 5.36/5.47 c =============================================================================== 5.46/5.55 c core #276 5.46/5.55 c Core size: 972 Core Weight: 1 Total Weight: 276 5.46/5.55 c Elapsed CPU time: 5.43417 s Remaining CPU time: 1794.57 s 5.46/5.57 c ============================[ Search Statistics ]============================== 5.46/5.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.46/5.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.46/5.57 c =============================================================================== 5.46/5.57 c | 0 | 5728 4881 24958 | 5000 0 nan | 0.000 % | 5.46/5.59 c | 100 | 5728 4881 24958 | 5500 100 20 | 10.701 % | 5.56/5.61 c | 252 | 5714 4881 24958 | 6050 250 23 | 10.733 % | 5.56/5.64 c | 477 | 5711 4881 24958 | 6655 474 23 | 10.795 % | 5.56/5.69 c | 818 | 5708 4881 24958 | 7320 813 33 | 10.826 % | 5.75/5.81 c | 1324 | 5701 4881 24958 | 8052 1314 49 | 10.936 % | 5.85/5.96 c | 2085 | 5701 4881 24958 | 8857 2075 43 | 10.936 % | 6.16/6.23 c | 3226 | 5701 4881 24958 | 9743 3216 65 | 10.936 % | 6.55/6.63 c | 4935 | 5699 4881 24958 | 10717 4924 83 | 10.967 % | 7.35/7.40 c | 7497 | 5697 4881 24958 | 11789 7485 87 | 10.998 % | 8.65/8.77 c | 11341 | 5695 4881 24958 | 12968 11327 105 | 11.030 % | 10.35/10.48 c | 17108 | 5685 4881 24958 | 14265 10174 130 | 11.186 % | 13.74/13.83 c | 25761 | 5683 4881 24958 | 15692 11115 170 | 11.217 % | 22.14/22.26 c | 38738 | 5683 4881 24958 | 17261 15560 273 | 11.217 % | 32.73/32.83 c | 58199 | 5680 4881 24958 | 18987 16533 184 | 11.264 % | 48.73/48.90 c | 87393 | 5680 4881 24958 | 20886 15537 214 | 11.264 % | 80.62/80.70 c | 131183 | 5680 4881 24958 | 22974 15654 187 | 11.264 % | 81.61/81.80 c =============================================================================== 82.62/82.79 c core #277 82.62/82.79 c Core size: 809 Core Weight: 1 Total Weight: 277 82.62/82.79 c Elapsed CPU time: 81.8196 s Remaining CPU time: 1718.18 s 82.82/82.94 c ============================[ Search Statistics ]============================== 82.82/82.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.82/82.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.82/82.94 c =============================================================================== 82.82/82.94 c | 0 | 6377 4882 26171 | 5000 0 nan | 0.000 % | 82.82/82.98 c | 100 | 6377 4882 26171 | 5500 100 29 | 8.521 % | 82.91/83.01 c | 250 | 6377 4882 26171 | 6050 250 26 | 8.521 % | 82.91/83.07 c | 478 | 6377 4882 26171 | 6655 478 68 | 8.521 % | 83.02/83.16 c | 815 | 6377 4882 26171 | 7320 815 74 | 8.521 % | 83.21/83.30 c | 1322 | 6377 4882 26171 | 8052 1322 93 | 8.521 % | 83.41/83.50 c | 2082 | 6377 4882 26171 | 8857 2082 92 | 8.521 % | 83.82/83.90 c | 3221 | 6371 4882 26171 | 9743 3220 106 | 8.607 % | 84.71/84.83 c | 4931 | 6371 4882 26171 | 10717 4930 139 | 8.607 % | 85.71/85.88 c | 7494 | 6371 4882 26171 | 11789 7493 143 | 8.607 % | 87.71/87.82 c | 11339 | 6371 4882 26171 | 12968 11338 178 | 8.607 % | 92.41/92.57 c | 17106 | 6371 4882 26171 | 14265 10199 222 | 8.607 % | 100.01/100.16 c | 25755 | 6371 4882 26171 | 15692 10765 227 | 8.607 % | 110.70/110.87 c | 38729 | 6371 4882 26171 | 17261 15242 241 | 8.607 % | 122.10/122.29 c | 58190 | 6371 4882 26171 | 18987 16190 162 | 8.607 % | 138.09/138.23 c | 87382 | 6371 4882 26171 | 20886 14907 150 | 8.607 % | 169.09/169.21 c | 131173 | 6369 4882 26171 | 22974 14409 297 | 8.636 % | 219.27/219.43 c | 196857 | 6369 4882 26171 | 25272 19238 189 | 8.636 % | 302.75/302.92 c | 295383 | 6369 4882 26171 | 27799 24841 290 | 8.636 % | 460.51/460.73 c | 443173 | 6369 4882 26171 | 30579 21081 358 | 8.636 % | 709.93/710.24 c | 664857 | 6363 4882 26171 | 33637 31841 234 | 8.751 % | 1020.55/1020.99 c | 997385 | 6357 4882 26171 | 37001 31576 210 | 8.808 % |
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-1876157-1245148295/watcher-1876157-1245148295 -o /tmp/evaluation-result-1876157-1245148295/solver-1876157-1245148295 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876157-1245148295.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5322 /proc/meminfo: memFree=1865376/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=3020 CPUtime=0 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 182429509 3092480 247 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 755 247 121 292 0 418 0 [startup+0.0912661 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5322 /proc/meminfo: memFree=1865376/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=3912 CPUtime=0.08 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 593 0 0 0 8 0 0 0 18 0 1 0 182429509 4005888 535 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 978 535 133 292 0 683 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3912 [startup+0.101267 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5322 /proc/meminfo: memFree=1865376/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=3764 CPUtime=0.09 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 601 0 0 0 9 0 0 0 18 0 1 0 182429509 3854336 520 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 941 520 133 292 0 646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3764 [startup+0.30129 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5322 /proc/meminfo: memFree=1865376/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=4200 CPUtime=0.29 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 779 0 0 0 29 0 0 0 19 0 1 0 182429509 4300800 588 1992294400 134512640 135709839 4294956240 18446744073709551615 135183242 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 1050 588 133 292 0 755 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4200 [startup+0.701336 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5322 /proc/meminfo: memFree=1865376/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=4392 CPUtime=0.69 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 962 0 0 0 69 0 0 0 22 0 1 0 182429509 4497408 640 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 1098 640 133 292 0 803 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4392 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1862808/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=5896 CPUtime=1.48 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 2347 0 0 0 146 2 0 0 25 0 1 0 182429509 6037504 1007 1992294400 134512640 135709839 4294956240 18446744073709551615 135165952 0 0 4096 3 0 0 0 17 0 0 0 /proc/5322/statm: 1474 1007 134 292 0 1179 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5896 [startup+3.10161 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1859032/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=8304 CPUtime=3.05 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 2990 0 0 0 300 5 0 0 25 0 1 0 182429509 8503296 1650 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 2076 1650 136 292 0 1781 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 8304 [startup+6.30198 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1853784/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=13640 CPUtime=6.25 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 4291 0 0 0 616 9 0 0 25 0 1 0 182429509 13967360 2951 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 3410 2951 136 292 0 3115 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 13640 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1842200/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=25840 CPUtime=12.65 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 7330 0 0 0 1244 21 0 0 25 0 1 0 182429509 26460160 5990 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 6460 5990 136 292 0 6165 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 25840 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1815832/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=53560 CPUtime=25.43 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 14255 0 0 0 2508 35 0 0 25 0 1 0 182429509 54845440 12915 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 13390 12915 136 292 0 13095 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 53560 [startup+51.1051 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1764376/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=103216 CPUtime=51.02 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 26679 0 0 0 5037 65 0 0 25 0 1 0 182429509 105693184 25339 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 25804 25339 136 292 0 25509 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 103216 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1706968/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=161056 CPUtime=102.21 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 41186 0 0 0 10119 102 0 0 25 0 1 0 182429509 164921344 39808 1992294400 134512640 135709839 4294956240 18446744073709551615 134573927 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 40264 39808 136 292 0 39969 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 161056 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1615512/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=252056 CPUtime=162.19 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 63917 0 0 0 16071 148 0 0 25 0 1 0 182429509 258105344 62539 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 63014 62539 136 292 0 62719 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 252056 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1517016/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=351788 CPUtime=222.17 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 88861 0 0 0 22016 201 0 0 25 0 1 0 182429509 360230912 87483 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 87947 87483 136 292 0 87652 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 351788 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1409368/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=457804 CPUtime=282.16 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 115366 0 0 0 27966 250 0 0 25 0 1 0 182429509 468791296 113988 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 114451 113988 136 292 0 114156 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 457804 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1309464/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=558736 CPUtime=342.14 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 140580 0 0 0 33925 289 0 0 25 0 1 0 182429509 572145664 139202 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 139684 139202 136 292 0 139389 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 558736 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1212632/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=654288 CPUtime=402.12 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 164455 0 0 0 39888 324 0 0 25 0 1 0 182429509 669990912 163077 1992294400 134512640 135709839 4294956240 18446744073709551615 134574152 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 163572 163077 136 292 0 163277 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 654288 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1108568/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=758896 CPUtime=462.1 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 190603 0 0 0 45850 360 0 0 25 0 1 0 182429509 777109504 189225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 189724 189225 136 292 0 189429 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 758896 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=1020120/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=846860 CPUtime=522.09 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 212578 0 0 0 51805 404 0 0 25 0 1 0 182429509 867184640 211200 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 211715 211200 136 292 0 211420 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 846860 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=936024/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=929656 CPUtime=582.08 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 233287 0 0 0 57769 439 0 0 25 0 1 0 182429509 951967744 231909 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 232414 231909 136 292 0 232119 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 929656 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=851672/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1014472 CPUtime=642.06 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 254472 0 0 0 63732 474 0 0 25 0 1 0 182429509 1038819328 253094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 253618 253094 136 292 0 253323 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1014472 [startup+702.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=780312/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1085300 CPUtime=702.04 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 272166 0 0 0 69699 505 0 0 25 0 1 0 182429509 1111347200 270788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 271325 270788 136 292 0 271030 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 1085300 [startup+762.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=666520/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1199636 CPUtime=762.03 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 300741 0 0 0 75649 554 0 0 25 0 1 0 182429509 1228427264 299363 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 299909 299363 136 292 0 299614 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 1199636 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=556824/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1308504 CPUtime=822 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 327953 0 0 0 81600 600 0 0 25 0 1 0 182429509 1339908096 326575 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 327126 326575 136 292 0 326831 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 1308504 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=481944/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1383924 CPUtime=881.99 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 346762 0 0 0 87567 632 0 0 25 0 1 0 182429509 1417138176 345384 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 345981 345384 136 292 0 345686 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1383924 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=420696/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1444576 CPUtime=941.97 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 361890 0 0 0 93531 666 0 0 25 0 1 0 182429509 1479245824 360512 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 361144 360512 136 292 0 360849 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1444576 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=355608/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1510044 CPUtime=1001.96 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 378259 0 0 0 99498 698 0 0 25 0 1 0 182429509 1546285056 376881 1992294400 134512640 135709839 4294956240 18446744073709551615 134568579 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 377511 376881 136 292 0 377216 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1510044 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=263768/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1601220 CPUtime=1061.95 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 401055 0 0 0 105458 737 0 0 25 0 1 0 182429509 1639649280 399677 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 400305 399677 136 292 0 400010 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1601220 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=163352/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1702396 CPUtime=1121.92 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 426309 0 0 0 111416 776 0 0 25 0 1 0 182429509 1743253504 424931 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 425599 424931 136 292 0 425304 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1702396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=69528/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1795664 CPUtime=1181.91 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 449621 0 0 0 117382 809 0 0 25 0 1 0 182429509 1838759936 448243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 448916 448243 136 292 0 448621 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1795664 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1228.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=20952/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=1843308 CPUtime=1228 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4194304 461535 0 0 0 121976 824 0 0 25 0 1 0 182429509 1887547392 460157 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 460827 460157 136 292 0 460532 0 Current children cumulated CPU time (s) 1228 Current children cumulated vsize (KiB) 1843308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1228.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=20952/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=0 CPUtime=1228.1 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4195332 461535 0 0 0 121976 834 0 0 25 0 1 0 182429509 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1228.1 Current children cumulated vsize (KiB) 0 [startup+1228.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5323 /proc/meminfo: memFree=20952/2055920 swapFree=4191900/4192956 [pid=5322] ppid=5320 vsize=0 CPUtime=1228.2 /proc/5322/stat : 5322 (wbo) R 5320 5322 5117 0 -1 4195332 461535 0 0 0 121976 844 0 0 25 0 1 0 182429509 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5322/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1228.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1228.69 CPU time (s): 1228.29 CPU user time (s): 1219.76 CPU system time (s): 8.5287 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 1843308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1219.76 system time used= 8.5287 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461535 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= 3 involuntary context switches= 1517 runsolver used 0.965853 second user time and 2.76358 second system time The end
Begin job on node28 at 2009-06-16 12:31:35 IDJOB=1876157 IDBENCH=2041 IDSOLVER=698 FILE ID=node28/1876157-1245148295 PBS_JOBID= 9363745 Free space on /tmp= 66176 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-prom2.pi.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-1876157-1245148295/watcher-1876157-1245148295 -o /tmp/evaluation-result-1876157-1245148295/solver-1876157-1245148295 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876157-1245148295.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a8ed45a9ac044152dd384e143f7e172 RANDOM SEED=1124054712 node28.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.231 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.231 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: 1865792 kB Buffers: 19528 kB Cached: 95064 kB SwapCached: 260 kB Active: 46744 kB Inactive: 86260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865792 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2700 kB Writeback: 0 kB Mapped: 22624 kB Slab: 42844 kB Committed_AS: 152068 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876157-1245148295.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-16 12:52:05