Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.34 | 1801.26 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e2.opb |
MD5SUM | 6af59dd0656451189b30414ce106135b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 494 |
Best CPU time to get the best result obtained on this benchmark | 1798.24 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 494 |
Optimality of the best value was proved | NO |
Number of variables | 1740 |
Total number of constraints | 6991 |
Number of constraints which are clauses | 6991 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1740 |
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 | 1740 |
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 | 1740 |
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-1875602-1245161830.opb. 0.00/0.00 c Instance file HOME/instance-1875602-1245161830.opb 0.00/0.00 c File size is 196075 bytes. 0.01/0.02 c Highest Coefficient sum: 11 0.01/0.02 c ============================[ Problem Statistics ]============================= 0.01/0.02 c | | 0.01/0.02 c | Parsing time: 0.02 s | 0.01/0.02 c | Number Variables: 1740 | 0.01/0.02 c | Number Clauses: 8731 | 0.01/0.02 c | Number Cardinality: 0 | 0.01/0.02 c | Number PB Constraints: 0 | 0.01/0.02 c core #1 0.01/0.02 c Core size: 3 Core Weight: 1 Total Weight: 1 0.01/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.01/0.03 c core #2 0.01/0.03 c Core size: 3 Core Weight: 1 Total Weight: 2 0.01/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.01/0.03 c core #3 0.01/0.03 c Core size: 3 Core Weight: 1 Total Weight: 3 0.01/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.01/0.04 c core #4 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 4 0.01/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.01/0.04 c core #5 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 5 0.01/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.01/0.05 c core #6 0.01/0.05 c Core size: 3 Core Weight: 1 Total Weight: 6 0.01/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #7 0.01/0.05 c Core size: 3 Core Weight: 1 Total Weight: 7 0.01/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.01/0.06 c core #8 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 8 0.01/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #9 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 9 0.01/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.01/0.07 c core #10 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 10 0.01/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #11 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 11 0.01/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.01/0.08 c core #12 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: 12 0.01/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #13 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: 13 0.01/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #14 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 14 0.01/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #15 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 15 0.01/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #16 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 16 0.01/0.09 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #17 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 17 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #18 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 18 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #19 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 19 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #20 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 20 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #21 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 21 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #22 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 22 0.09/0.12 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #23 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 23 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #24 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 24 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #25 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 25 0.09/0.14 c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #26 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 26 0.09/0.14 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #27 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 27 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #28 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 28 0.09/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #29 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 29 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #30 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 30 0.09/0.16 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #31 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 31 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #32 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 32 0.09/0.17 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #33 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 33 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #34 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 34 0.09/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #35 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 35 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #36 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 36 0.09/0.19 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #37 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 37 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #38 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 38 0.19/0.20 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #39 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 39 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #40 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 40 0.19/0.21 c Elapsed CPU time: 0.216967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #41 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 41 0.19/0.22 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #42 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 42 0.19/0.22 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #43 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 43 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #44 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 44 0.19/0.23 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #45 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 45 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #46 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 46 0.19/0.24 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #47 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 47 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #48 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 48 0.19/0.25 c Elapsed CPU time: 0.25696 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #49 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 49 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #50 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 50 0.19/0.26 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #51 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 51 0.19/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #52 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 52 0.19/0.27 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #53 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 53 0.19/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #54 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 54 0.19/0.28 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #55 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #56 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.29 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #57 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 57 0.29/0.30 c Elapsed CPU time: 0.301954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #58 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 58 0.29/0.30 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #59 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 59 0.29/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.31 c core #60 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 60 0.29/0.31 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #61 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 61 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #62 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 62 0.29/0.32 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #63 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 63 0.29/0.33 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.29/0.33 c core #64 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 64 0.29/0.33 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #65 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 65 0.29/0.34 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #66 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 66 0.29/0.34 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #67 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 67 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #68 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 68 0.29/0.35 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #69 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 69 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #70 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 70 0.29/0.36 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #71 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 71 0.29/0.37 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #72 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 72 0.29/0.37 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #73 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 73 0.29/0.38 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #74 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 74 0.29/0.38 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #75 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 75 0.29/0.39 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #76 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 76 0.29/0.39 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #77 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 77 0.39/0.40 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.40 c core #78 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 78 0.39/0.40 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #79 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 79 0.39/0.41 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #80 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 80 0.39/0.42 c Elapsed CPU time: 0.417936 s Remaining CPU time: 1799.58 s 0.39/0.42 c core #81 0.39/0.42 c Core size: 9 Core Weight: 1 Total Weight: 81 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #82 0.39/0.43 c Core size: 9 Core Weight: 1 Total Weight: 82 0.39/0.43 c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #83 0.39/0.43 c Core size: 9 Core Weight: 1 Total Weight: 83 0.39/0.43 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #84 0.39/0.44 c Core size: 9 Core Weight: 1 Total Weight: 84 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.39/0.44 c core #85 0.39/0.44 c Core size: 9 Core Weight: 1 Total Weight: 85 0.39/0.44 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #86 0.39/0.45 c Core size: 9 Core Weight: 1 Total Weight: 86 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #87 0.39/0.45 c Core size: 9 Core Weight: 1 Total Weight: 87 0.39/0.45 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #88 0.39/0.46 c Core size: 9 Core Weight: 1 Total Weight: 88 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.46 c core #89 0.39/0.46 c Core size: 9 Core Weight: 1 Total Weight: 89 0.39/0.46 c Elapsed CPU time: 0.464929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #90 0.39/0.47 c Core size: 9 Core Weight: 1 Total Weight: 90 0.39/0.47 c Elapsed CPU time: 0.469928 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #91 0.39/0.47 c Core size: 11 Core Weight: 1 Total Weight: 91 0.39/0.47 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #92 0.39/0.48 c Core size: 11 Core Weight: 1 Total Weight: 92 0.39/0.48 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #93 0.39/0.48 c Core size: 11 Core Weight: 1 Total Weight: 93 0.39/0.48 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #94 0.39/0.49 c Core size: 11 Core Weight: 1 Total Weight: 94 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #95 0.39/0.49 c Core size: 11 Core Weight: 1 Total Weight: 95 0.39/0.49 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #96 0.49/0.50 c Core size: 11 Core Weight: 1 Total Weight: 96 0.49/0.50 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #97 0.49/0.51 c Core size: 11 Core Weight: 1 Total Weight: 97 0.49/0.51 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #98 0.49/0.51 c Core size: 11 Core Weight: 1 Total Weight: 98 0.49/0.51 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #99 0.49/0.52 c Core size: 11 Core Weight: 1 Total Weight: 99 0.49/0.52 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #100 0.49/0.52 c Core size: 11 Core Weight: 1 Total Weight: 100 0.49/0.52 c Elapsed CPU time: 0.52392 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #101 0.49/0.53 c Core size: 11 Core Weight: 1 Total Weight: 101 0.49/0.53 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #102 0.49/0.53 c Core size: 11 Core Weight: 1 Total Weight: 102 0.49/0.53 c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #103 0.49/0.54 c Core size: 11 Core Weight: 1 Total Weight: 103 0.49/0.54 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #104 0.49/0.54 c Core size: 11 Core Weight: 1 Total Weight: 104 0.49/0.54 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.55 c core #105 0.49/0.55 c Core size: 11 Core Weight: 1 Total Weight: 105 0.49/0.55 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #106 0.49/0.56 c Core size: 11 Core Weight: 1 Total Weight: 106 0.49/0.56 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #107 0.49/0.56 c Core size: 11 Core Weight: 1 Total Weight: 107 0.49/0.56 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #108 0.49/0.57 c Core size: 11 Core Weight: 1 Total Weight: 108 0.49/0.57 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.57 c core #109 0.49/0.57 c Core size: 11 Core Weight: 1 Total Weight: 109 0.49/0.57 c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #110 0.49/0.58 c Core size: 11 Core Weight: 1 Total Weight: 110 0.49/0.58 c Elapsed CPU time: 0.578911 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #111 0.49/0.58 c Core size: 11 Core Weight: 1 Total Weight: 111 0.49/0.58 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #112 0.49/0.59 c Core size: 11 Core Weight: 1 Total Weight: 112 0.49/0.59 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.49/0.59 c core #113 0.49/0.59 c Core size: 11 Core Weight: 1 Total Weight: 113 0.49/0.59 c Elapsed CPU time: 0.595909 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #114 0.59/0.60 c Core size: 11 Core Weight: 1 Total Weight: 114 0.59/0.60 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #115 0.59/0.61 c Core size: 11 Core Weight: 1 Total Weight: 115 0.59/0.61 c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s 0.59/0.61 c core #116 0.59/0.61 c Core size: 11 Core Weight: 1 Total Weight: 116 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #117 0.59/0.62 c Core size: 11 Core Weight: 1 Total Weight: 117 0.59/0.62 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #118 0.59/0.62 c Core size: 11 Core Weight: 1 Total Weight: 118 0.59/0.62 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #119 0.59/0.63 c Core size: 11 Core Weight: 1 Total Weight: 119 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.63 c core #120 0.59/0.63 c Core size: 11 Core Weight: 1 Total Weight: 120 0.59/0.63 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #121 0.59/0.64 c Core size: 11 Core Weight: 1 Total Weight: 121 0.59/0.64 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #122 0.59/0.65 c Core size: 11 Core Weight: 1 Total Weight: 122 0.59/0.65 c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s 0.59/0.65 c core #123 0.59/0.65 c Core size: 11 Core Weight: 1 Total Weight: 123 0.59/0.65 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #124 0.59/0.66 c Core size: 11 Core Weight: 1 Total Weight: 124 0.59/0.66 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #125 0.59/0.66 c Core size: 11 Core Weight: 1 Total Weight: 125 0.59/0.66 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #126 0.59/0.67 c Core size: 11 Core Weight: 1 Total Weight: 126 0.59/0.67 c Elapsed CPU time: 0.670898 s Remaining CPU time: 1799.33 s 0.59/0.67 c core #127 0.59/0.67 c Core size: 11 Core Weight: 1 Total Weight: 127 0.59/0.67 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #128 0.59/0.68 c Core size: 11 Core Weight: 1 Total Weight: 128 0.59/0.68 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #129 0.59/0.69 c Core size: 11 Core Weight: 1 Total Weight: 129 0.59/0.69 c Elapsed CPU time: 0.687895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #130 0.59/0.69 c Core size: 11 Core Weight: 1 Total Weight: 130 0.59/0.69 c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #131 0.69/0.70 c Core size: 11 Core Weight: 1 Total Weight: 131 0.69/0.70 c Elapsed CPU time: 0.699893 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #132 0.69/0.70 c Core size: 11 Core Weight: 1 Total Weight: 132 0.69/0.70 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #133 0.69/0.71 c Core size: 11 Core Weight: 1 Total Weight: 133 0.69/0.71 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #134 0.69/0.72 c Core size: 11 Core Weight: 1 Total Weight: 134 0.69/0.72 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.72 c core #135 0.69/0.72 c Core size: 11 Core Weight: 1 Total Weight: 135 0.69/0.72 c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #136 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 136 0.69/0.73 c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #137 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: 137 0.69/0.73 c Elapsed CPU time: 0.734888 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #138 0.69/0.74 c Core size: 11 Core Weight: 1 Total Weight: 138 0.69/0.74 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #139 0.69/0.75 c Core size: 11 Core Weight: 1 Total Weight: 139 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.75 c core #140 0.69/0.75 c Core size: 11 Core Weight: 1 Total Weight: 140 0.69/0.75 c Elapsed CPU time: 0.752885 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #141 0.69/0.76 c Core size: 11 Core Weight: 1 Total Weight: 141 0.69/0.76 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #142 0.69/0.76 c Core size: 11 Core Weight: 1 Total Weight: 142 0.69/0.76 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.69/0.77 c core #143 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: 143 0.69/0.77 c Elapsed CPU time: 0.771882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #144 0.69/0.78 c Core size: 11 Core Weight: 1 Total Weight: 144 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #145 0.69/0.78 c Core size: 11 Core Weight: 1 Total Weight: 145 0.69/0.78 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #146 0.69/0.79 c Core size: 11 Core Weight: 1 Total Weight: 146 0.69/0.79 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.69/0.79 c core #147 0.69/0.79 c Core size: 11 Core Weight: 1 Total Weight: 147 0.69/0.79 c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s 0.79/0.80 c core #148 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: 148 0.79/0.80 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #149 0.79/0.81 c Core size: 11 Core Weight: 1 Total Weight: 149 0.79/0.81 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #150 0.79/0.81 c Core size: 11 Core Weight: 1 Total Weight: 150 0.79/0.81 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #151 0.79/0.82 c Core size: 11 Core Weight: 1 Total Weight: 151 0.79/0.82 c Elapsed CPU time: 0.820875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #152 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: 152 0.79/0.83 c Elapsed CPU time: 0.826874 s Remaining CPU time: 1799.17 s 0.79/0.83 c core #153 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: 153 0.79/0.83 c Elapsed CPU time: 0.832873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #154 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: 154 0.79/0.84 c Elapsed CPU time: 0.839872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #155 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: 155 0.79/0.84 c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s 0.79/0.85 c core #156 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: 156 0.79/0.85 c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #157 0.79/0.86 c Core size: 11 Core Weight: 1 Total Weight: 157 0.79/0.86 c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #158 0.79/0.86 c Core size: 11 Core Weight: 1 Total Weight: 158 0.79/0.86 c Elapsed CPU time: 0.863868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #159 0.79/0.87 c Core size: 11 Core Weight: 1 Total Weight: 159 0.79/0.87 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #160 0.79/0.88 c Core size: 11 Core Weight: 1 Total Weight: 160 0.79/0.88 c Elapsed CPU time: 0.876866 s Remaining CPU time: 1799.12 s 0.79/0.88 c core #161 0.79/0.88 c Core size: 11 Core Weight: 1 Total Weight: 161 0.79/0.88 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #162 0.79/0.89 c Core size: 13 Core Weight: 1 Total Weight: 162 0.79/0.89 c Elapsed CPU time: 0.888864 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #163 0.79/0.89 c Core size: 21 Core Weight: 1 Total Weight: 163 0.79/0.89 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.89/0.90 c core #164 0.89/0.90 c Core size: 20 Core Weight: 1 Total Weight: 164 0.89/0.90 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #165 0.89/0.91 c Core size: 21 Core Weight: 1 Total Weight: 165 0.89/0.91 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.89/0.91 c core #166 0.89/0.91 c Core size: 21 Core Weight: 1 Total Weight: 166 0.89/0.91 c Elapsed CPU time: 0.91586 s Remaining CPU time: 1799.08 s 0.89/0.92 c core #167 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 167 0.89/0.92 c Elapsed CPU time: 0.921859 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #168 0.89/0.93 c Core size: 22 Core Weight: 1 Total Weight: 168 0.89/0.93 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.89/0.93 c core #169 0.89/0.93 c Core size: 21 Core Weight: 1 Total Weight: 169 0.89/0.93 c Elapsed CPU time: 0.934857 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #170 0.89/0.94 c Core size: 22 Core Weight: 1 Total Weight: 170 0.89/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #171 0.89/0.95 c Core size: 23 Core Weight: 1 Total Weight: 171 0.89/0.95 c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s 0.89/0.95 c core #172 0.89/0.95 c Core size: 23 Core Weight: 1 Total Weight: 172 0.89/0.95 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #173 0.89/0.96 c Core size: 22 Core Weight: 1 Total Weight: 173 0.89/0.96 c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #174 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 174 0.89/0.97 c Elapsed CPU time: 0.966853 s Remaining CPU time: 1799.03 s 0.89/0.97 c core #175 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 175 0.89/0.97 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #176 0.89/0.98 c Core size: 20 Core Weight: 1 Total Weight: 176 0.89/0.98 c Elapsed CPU time: 0.979851 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #177 0.89/0.99 c Core size: 22 Core Weight: 1 Total Weight: 177 0.89/0.99 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 s 0.89/0.99 c core #178 0.89/0.99 c Core size: 13 Core Weight: 1 Total Weight: 178 0.89/0.99 c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s 1.00/1.00 c core #179 1.00/1.00 c Core size: 21 Core Weight: 1 Total Weight: 179 1.00/1.00 c Elapsed CPU time: 0.999848 s Remaining CPU time: 1799 s 1.00/1.00 c core #180 1.00/1.00 c Core size: 20 Core Weight: 1 Total Weight: 180 1.00/1.00 c Elapsed CPU time: 1.00585 s Remaining CPU time: 1798.99 s 1.00/1.01 c core #181 1.00/1.01 c Core size: 21 Core Weight: 1 Total Weight: 181 1.00/1.01 c Elapsed CPU time: 1.01285 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #182 1.00/1.02 c Core size: 21 Core Weight: 1 Total Weight: 182 1.00/1.02 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 1.00/1.02 c core #183 1.00/1.02 c Core size: 21 Core Weight: 1 Total Weight: 183 1.00/1.02 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 1.00/1.03 c core #184 1.00/1.03 c Core size: 22 Core Weight: 1 Total Weight: 184 1.00/1.03 c Elapsed CPU time: 1.03284 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #185 1.00/1.04 c Core size: 21 Core Weight: 1 Total Weight: 185 1.00/1.04 c Elapsed CPU time: 1.03984 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #186 1.00/1.05 c Core size: 22 Core Weight: 1 Total Weight: 186 1.00/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 1.00/1.05 c core #187 1.00/1.05 c Core size: 23 Core Weight: 1 Total Weight: 187 1.00/1.05 c Elapsed CPU time: 1.05384 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #188 1.00/1.06 c Core size: 23 Core Weight: 1 Total Weight: 188 1.00/1.06 c Elapsed CPU time: 1.05984 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #189 1.00/1.07 c Core size: 22 Core Weight: 1 Total Weight: 189 1.00/1.07 c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s 1.00/1.07 c core #190 1.00/1.07 c Core size: 20 Core Weight: 1 Total Weight: 190 1.00/1.07 c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #191 1.00/1.08 c Core size: 21 Core Weight: 1 Total Weight: 191 1.00/1.08 c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #192 1.00/1.09 c Core size: 20 Core Weight: 1 Total Weight: 192 1.00/1.09 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 1.00/1.09 c core #193 1.00/1.09 c Core size: 22 Core Weight: 1 Total Weight: 193 1.00/1.09 c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s 1.00/1.10 c core #194 1.00/1.10 c Core size: 13 Core Weight: 1 Total Weight: 194 1.00/1.10 c Elapsed CPU time: 1.09983 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #195 1.10/1.11 c Core size: 21 Core Weight: 1 Total Weight: 195 1.10/1.11 c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #196 1.10/1.12 c Core size: 20 Core Weight: 1 Total Weight: 196 1.10/1.12 c Elapsed CPU time: 1.11383 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #197 1.10/1.12 c Core size: 21 Core Weight: 1 Total Weight: 197 1.10/1.12 c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #198 1.10/1.13 c Core size: 21 Core Weight: 1 Total Weight: 198 1.10/1.13 c Elapsed CPU time: 1.12883 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #199 1.10/1.14 c Core size: 21 Core Weight: 1 Total Weight: 199 1.10/1.14 c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #200 1.10/1.14 c Core size: 22 Core Weight: 1 Total Weight: 200 1.10/1.14 c Elapsed CPU time: 1.14183 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #201 1.10/1.15 c Core size: 21 Core Weight: 1 Total Weight: 201 1.10/1.15 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #202 1.10/1.16 c Core size: 22 Core Weight: 1 Total Weight: 202 1.10/1.16 c Elapsed CPU time: 1.15682 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #203 1.10/1.17 c Core size: 23 Core Weight: 1 Total Weight: 203 1.10/1.17 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s 1.10/1.18 c core #204 1.10/1.18 c Core size: 23 Core Weight: 1 Total Weight: 204 1.10/1.18 c Elapsed CPU time: 1.17282 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #205 1.10/1.18 c Core size: 22 Core Weight: 1 Total Weight: 205 1.10/1.18 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #206 1.10/1.19 c Core size: 20 Core Weight: 1 Total Weight: 206 1.10/1.19 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #207 1.19/1.20 c Core size: 21 Core Weight: 1 Total Weight: 207 1.19/1.20 c Elapsed CPU time: 1.19482 s Remaining CPU time: 1798.81 s 1.19/1.21 c core #208 1.19/1.21 c Core size: 20 Core Weight: 1 Total Weight: 208 1.19/1.21 c Elapsed CPU time: 1.20282 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #209 1.19/1.21 c Core size: 22 Core Weight: 1 Total Weight: 209 1.19/1.21 c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #210 1.19/1.22 c Core size: 13 Core Weight: 1 Total Weight: 210 1.19/1.22 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #211 1.19/1.23 c Core size: 21 Core Weight: 1 Total Weight: 211 1.19/1.23 c Elapsed CPU time: 1.22481 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #212 1.19/1.24 c Core size: 20 Core Weight: 1 Total Weight: 212 1.19/1.24 c Elapsed CPU time: 1.23281 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #213 1.19/1.24 c Core size: 21 Core Weight: 1 Total Weight: 213 1.19/1.24 c Elapsed CPU time: 1.24081 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #214 1.19/1.25 c Core size: 21 Core Weight: 1 Total Weight: 214 1.19/1.25 c Elapsed CPU time: 1.24881 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #215 1.19/1.26 c Core size: 21 Core Weight: 1 Total Weight: 215 1.19/1.26 c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #216 1.19/1.27 c Core size: 22 Core Weight: 1 Total Weight: 216 1.19/1.27 c Elapsed CPU time: 1.26381 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #217 1.19/1.27 c Core size: 21 Core Weight: 1 Total Weight: 217 1.19/1.27 c Elapsed CPU time: 1.27081 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #218 1.19/1.28 c Core size: 22 Core Weight: 1 Total Weight: 218 1.19/1.28 c Elapsed CPU time: 1.2788 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #219 1.19/1.29 c Core size: 23 Core Weight: 1 Total Weight: 219 1.19/1.29 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #220 1.29/1.30 c Core size: 23 Core Weight: 1 Total Weight: 220 1.29/1.30 c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #221 1.29/1.31 c Core size: 22 Core Weight: 1 Total Weight: 221 1.29/1.31 c Elapsed CPU time: 1.3028 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #222 1.29/1.32 c Core size: 20 Core Weight: 1 Total Weight: 222 1.29/1.32 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #223 1.29/1.32 c Core size: 21 Core Weight: 1 Total Weight: 223 1.29/1.32 c Elapsed CPU time: 1.3198 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #224 1.29/1.33 c Core size: 20 Core Weight: 1 Total Weight: 224 1.29/1.33 c Elapsed CPU time: 1.3278 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #225 1.29/1.34 c Core size: 22 Core Weight: 1 Total Weight: 225 1.29/1.34 c Elapsed CPU time: 1.3358 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #226 1.29/1.35 c Core size: 13 Core Weight: 1 Total Weight: 226 1.29/1.35 c Elapsed CPU time: 1.34479 s Remaining CPU time: 1798.66 s 1.29/1.36 c core #227 1.29/1.36 c Core size: 21 Core Weight: 1 Total Weight: 227 1.29/1.36 c Elapsed CPU time: 1.35279 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #228 1.29/1.37 c Core size: 20 Core Weight: 1 Total Weight: 228 1.29/1.37 c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #229 1.29/1.37 c Core size: 21 Core Weight: 1 Total Weight: 229 1.29/1.37 c Elapsed CPU time: 1.36979 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #230 1.29/1.38 c Core size: 21 Core Weight: 1 Total Weight: 230 1.29/1.38 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #231 1.29/1.39 c Core size: 21 Core Weight: 1 Total Weight: 231 1.29/1.39 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #232 1.39/1.40 c Core size: 22 Core Weight: 1 Total Weight: 232 1.39/1.40 c Elapsed CPU time: 1.39479 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #233 1.39/1.41 c Core size: 21 Core Weight: 1 Total Weight: 233 1.39/1.41 c Elapsed CPU time: 1.40379 s Remaining CPU time: 1798.6 s 1.39/1.42 c core #234 1.39/1.42 c Core size: 22 Core Weight: 1 Total Weight: 234 1.39/1.42 c Elapsed CPU time: 1.41278 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #235 1.39/1.42 c Core size: 23 Core Weight: 1 Total Weight: 235 1.39/1.42 c Elapsed CPU time: 1.42078 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #236 1.39/1.43 c Core size: 23 Core Weight: 1 Total Weight: 236 1.39/1.43 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #237 1.39/1.44 c Core size: 22 Core Weight: 1 Total Weight: 237 1.39/1.44 c Elapsed CPU time: 1.43778 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #238 1.39/1.45 c Core size: 20 Core Weight: 1 Total Weight: 238 1.39/1.45 c Elapsed CPU time: 1.44678 s Remaining CPU time: 1798.55 s 1.39/1.46 c core #239 1.39/1.46 c Core size: 21 Core Weight: 1 Total Weight: 239 1.39/1.46 c Elapsed CPU time: 1.45578 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #240 1.39/1.47 c Core size: 20 Core Weight: 1 Total Weight: 240 1.39/1.47 c Elapsed CPU time: 1.46478 s Remaining CPU time: 1798.54 s 1.39/1.48 c core #241 1.39/1.48 c Core size: 22 Core Weight: 1 Total Weight: 241 1.39/1.48 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #242 1.39/1.49 c Core size: 13 Core Weight: 1 Total Weight: 242 1.39/1.49 c Elapsed CPU time: 1.48177 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #243 1.39/1.49 c Core size: 21 Core Weight: 1 Total Weight: 243 1.39/1.49 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.50 c core #244 1.49/1.50 c Core size: 20 Core Weight: 1 Total Weight: 244 1.49/1.50 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.49/1.51 c core #245 1.49/1.51 c Core size: 21 Core Weight: 1 Total Weight: 245 1.49/1.51 c Elapsed CPU time: 1.50777 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #246 1.49/1.52 c Core size: 21 Core Weight: 1 Total Weight: 246 1.49/1.52 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #247 1.49/1.53 c Core size: 21 Core Weight: 1 Total Weight: 247 1.49/1.53 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.49/1.54 c core #248 1.49/1.54 c Core size: 22 Core Weight: 1 Total Weight: 248 1.49/1.54 c Elapsed CPU time: 1.53477 s Remaining CPU time: 1798.47 s 1.49/1.55 c core #249 1.49/1.55 c Core size: 21 Core Weight: 1 Total Weight: 249 1.49/1.55 c Elapsed CPU time: 1.54377 s Remaining CPU time: 1798.46 s 1.49/1.56 c core #250 1.49/1.56 c Core size: 22 Core Weight: 1 Total Weight: 250 1.49/1.56 c Elapsed CPU time: 1.55276 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #251 1.49/1.57 c Core size: 23 Core Weight: 1 Total Weight: 251 1.49/1.57 c Elapsed CPU time: 1.56176 s Remaining CPU time: 1798.44 s 1.49/1.58 c core #252 1.49/1.58 c Core size: 23 Core Weight: 1 Total Weight: 252 1.49/1.58 c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s 1.49/1.58 c core #253 1.49/1.58 c Core size: 22 Core Weight: 1 Total Weight: 253 1.49/1.58 c Elapsed CPU time: 1.57976 s Remaining CPU time: 1798.42 s 1.49/1.59 c core #254 1.49/1.59 c Core size: 20 Core Weight: 1 Total Weight: 254 1.49/1.59 c Elapsed CPU time: 1.58976 s Remaining CPU time: 1798.41 s 1.59/1.60 c core #255 1.59/1.60 c Core size: 21 Core Weight: 1 Total Weight: 255 1.59/1.60 c Elapsed CPU time: 1.59876 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #256 1.59/1.61 c Core size: 20 Core Weight: 1 Total Weight: 256 1.59/1.61 c Elapsed CPU time: 1.60776 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #257 1.59/1.62 c Core size: 22 Core Weight: 1 Total Weight: 257 1.59/1.62 c Elapsed CPU time: 1.61675 s Remaining CPU time: 1798.38 s 1.59/1.63 c core #258 1.59/1.63 c Core size: 13 Core Weight: 1 Total Weight: 258 1.59/1.63 c Elapsed CPU time: 1.62675 s Remaining CPU time: 1798.37 s 1.59/1.64 c core #259 1.59/1.64 c Core size: 21 Core Weight: 1 Total Weight: 259 1.59/1.64 c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #260 1.59/1.65 c Core size: 20 Core Weight: 1 Total Weight: 260 1.59/1.65 c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s 1.59/1.66 c core #261 1.59/1.66 c Core size: 21 Core Weight: 1 Total Weight: 261 1.59/1.66 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.59/1.67 c core #262 1.59/1.67 c Core size: 21 Core Weight: 1 Total Weight: 262 1.59/1.67 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.59/1.68 c core #263 1.59/1.68 c Core size: 21 Core Weight: 1 Total Weight: 263 1.59/1.68 c Elapsed CPU time: 1.67274 s Remaining CPU time: 1798.33 s 1.59/1.69 c core #264 1.59/1.69 c Core size: 22 Core Weight: 1 Total Weight: 264 1.59/1.69 c Elapsed CPU time: 1.68274 s Remaining CPU time: 1798.32 s 1.69/1.70 c core #265 1.69/1.70 c Core size: 21 Core Weight: 1 Total Weight: 265 1.69/1.70 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #266 1.69/1.71 c Core size: 22 Core Weight: 1 Total Weight: 266 1.69/1.71 c Elapsed CPU time: 1.70174 s Remaining CPU time: 1798.3 s 1.69/1.72 c core #267 1.69/1.72 c Core size: 23 Core Weight: 1 Total Weight: 267 1.69/1.72 c Elapsed CPU time: 1.71174 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #268 1.69/1.73 c Core size: 23 Core Weight: 1 Total Weight: 268 1.69/1.73 c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #269 1.69/1.74 c Core size: 22 Core Weight: 1 Total Weight: 269 1.69/1.74 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #270 1.69/1.75 c Core size: 20 Core Weight: 1 Total Weight: 270 1.69/1.75 c Elapsed CPU time: 1.74073 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #271 1.69/1.76 c Core size: 21 Core Weight: 1 Total Weight: 271 1.69/1.76 c Elapsed CPU time: 1.75073 s Remaining CPU time: 1798.25 s 1.69/1.77 c core #272 1.69/1.77 c Core size: 20 Core Weight: 1 Total Weight: 272 1.69/1.77 c Elapsed CPU time: 1.76073 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #273 1.69/1.78 c Core size: 22 Core Weight: 1 Total Weight: 273 1.69/1.78 c Elapsed CPU time: 1.76973 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #274 1.69/1.79 c Core size: 13 Core Weight: 1 Total Weight: 274 1.69/1.79 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.69/1.80 c core #275 1.69/1.80 c Core size: 21 Core Weight: 1 Total Weight: 275 1.69/1.80 c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s 1.79/1.81 c core #276 1.79/1.81 c Core size: 20 Core Weight: 1 Total Weight: 276 1.79/1.81 c Elapsed CPU time: 1.79973 s Remaining CPU time: 1798.2 s 1.79/1.82 c core #277 1.79/1.82 c Core size: 21 Core Weight: 1 Total Weight: 277 1.79/1.82 c Elapsed CPU time: 1.80972 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #278 1.79/1.83 c Core size: 21 Core Weight: 1 Total Weight: 278 1.79/1.83 c Elapsed CPU time: 1.81972 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #279 1.79/1.84 c Core size: 21 Core Weight: 1 Total Weight: 279 1.79/1.84 c Elapsed CPU time: 1.83072 s Remaining CPU time: 1798.17 s 1.79/1.85 c core #280 1.79/1.85 c Core size: 22 Core Weight: 1 Total Weight: 280 1.79/1.85 c Elapsed CPU time: 1.84072 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #281 1.79/1.86 c Core size: 21 Core Weight: 1 Total Weight: 281 1.79/1.86 c Elapsed CPU time: 1.85072 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #282 1.79/1.87 c Core size: 22 Core Weight: 1 Total Weight: 282 1.79/1.87 c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #283 1.79/1.88 c Core size: 23 Core Weight: 1 Total Weight: 283 1.79/1.88 c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s 1.79/1.89 c core #284 1.79/1.89 c Core size: 23 Core Weight: 1 Total Weight: 284 1.79/1.89 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.79/1.90 c core #285 1.79/1.90 c Core size: 22 Core Weight: 1 Total Weight: 285 1.79/1.90 c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #286 1.89/1.91 c Core size: 20 Core Weight: 1 Total Weight: 286 1.89/1.91 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #287 1.89/1.92 c Core size: 21 Core Weight: 1 Total Weight: 287 1.89/1.92 c Elapsed CPU time: 1.91071 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #288 1.89/1.93 c Core size: 20 Core Weight: 1 Total Weight: 288 1.89/1.93 c Elapsed CPU time: 1.91971 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #289 1.89/1.94 c Core size: 22 Core Weight: 1 Total Weight: 289 1.89/1.94 c Elapsed CPU time: 1.92871 s Remaining CPU time: 1798.07 s 1.89/1.95 c core #290 1.89/1.95 c Core size: 13 Core Weight: 1 Total Weight: 290 1.89/1.95 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #291 1.89/1.96 c Core size: 21 Core Weight: 1 Total Weight: 291 1.89/1.96 c Elapsed CPU time: 1.9487 s Remaining CPU time: 1798.05 s 1.89/1.97 c core #292 1.89/1.97 c Core size: 20 Core Weight: 1 Total Weight: 292 1.89/1.97 c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #293 1.89/1.98 c Core size: 21 Core Weight: 1 Total Weight: 293 1.89/1.98 c Elapsed CPU time: 1.9687 s Remaining CPU time: 1798.03 s 1.89/1.99 c core #294 1.89/1.99 c Core size: 21 Core Weight: 1 Total Weight: 294 1.89/1.99 c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s 1.89/2.00 c core #295 1.89/2.00 c Core size: 21 Core Weight: 1 Total Weight: 295 1.89/2.00 c Elapsed CPU time: 1.9897 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #296 1.99/2.01 c Core size: 22 Core Weight: 1 Total Weight: 296 1.99/2.01 c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s 1.99/2.02 c core #297 1.99/2.02 c Core size: 21 Core Weight: 1 Total Weight: 297 1.99/2.02 c Elapsed CPU time: 2.00969 s Remaining CPU time: 1797.99 s 1.99/2.03 c core #298 1.99/2.03 c Core size: 22 Core Weight: 1 Total Weight: 298 1.99/2.03 c Elapsed CPU time: 2.02069 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #299 1.99/2.04 c Core size: 23 Core Weight: 1 Total Weight: 299 1.99/2.04 c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #300 1.99/2.05 c Core size: 23 Core Weight: 1 Total Weight: 300 1.99/2.05 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #301 1.99/2.06 c Core size: 22 Core Weight: 1 Total Weight: 301 1.99/2.06 c Elapsed CPU time: 2.05169 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #302 1.99/2.07 c Core size: 20 Core Weight: 1 Total Weight: 302 1.99/2.07 c Elapsed CPU time: 2.06269 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #303 1.99/2.08 c Core size: 21 Core Weight: 1 Total Weight: 303 1.99/2.08 c Elapsed CPU time: 2.07268 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #304 1.99/2.09 c Core size: 20 Core Weight: 1 Total Weight: 304 1.99/2.09 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.10/2.10 c core #305 2.10/2.10 c Core size: 22 Core Weight: 1 Total Weight: 305 2.10/2.10 c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s 2.10/2.11 c core #306 2.10/2.11 c Core size: 13 Core Weight: 1 Total Weight: 306 2.10/2.11 c Elapsed CPU time: 2.10468 s Remaining CPU time: 1797.9 s 2.10/2.12 c core #307 2.10/2.12 c Core size: 21 Core Weight: 1 Total Weight: 307 2.10/2.12 c Elapsed CPU time: 2.11468 s Remaining CPU time: 1797.89 s 2.10/2.13 c core #308 2.10/2.13 c Core size: 20 Core Weight: 1 Total Weight: 308 2.10/2.13 c Elapsed CPU time: 2.12468 s Remaining CPU time: 1797.88 s 2.10/2.14 c core #309 2.10/2.14 c Core size: 21 Core Weight: 1 Total Weight: 309 2.10/2.14 c Elapsed CPU time: 2.13567 s Remaining CPU time: 1797.86 s 2.10/2.15 c core #310 2.10/2.15 c Core size: 21 Core Weight: 1 Total Weight: 310 2.10/2.15 c Elapsed CPU time: 2.14667 s Remaining CPU time: 1797.85 s 2.10/2.16 c core #311 2.10/2.16 c Core size: 21 Core Weight: 1 Total Weight: 311 2.10/2.16 c Elapsed CPU time: 2.15767 s Remaining CPU time: 1797.84 s 2.10/2.17 c core #312 2.10/2.17 c Core size: 22 Core Weight: 1 Total Weight: 312 2.10/2.17 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.10/2.19 c core #313 2.10/2.19 c Core size: 21 Core Weight: 1 Total Weight: 313 2.10/2.19 c Elapsed CPU time: 2.17867 s Remaining CPU time: 1797.82 s 2.10/2.20 c core #314 2.10/2.20 c Core size: 22 Core Weight: 1 Total Weight: 314 2.10/2.20 c Elapsed CPU time: 2.18867 s Remaining CPU time: 1797.81 s 2.20/2.21 c core #315 2.20/2.21 c Core size: 23 Core Weight: 1 Total Weight: 315 2.20/2.21 c Elapsed CPU time: 2.19966 s Remaining CPU time: 1797.8 s 2.20/2.22 c core #316 2.20/2.22 c Core size: 23 Core Weight: 1 Total Weight: 316 2.20/2.22 c Elapsed CPU time: 2.20966 s Remaining CPU time: 1797.79 s 2.20/2.23 c core #317 2.20/2.23 c Core size: 22 Core Weight: 1 Total Weight: 317 2.20/2.23 c Elapsed CPU time: 2.22066 s Remaining CPU time: 1797.78 s 2.20/2.24 c core #318 2.20/2.24 c Core size: 20 Core Weight: 1 Total Weight: 318 2.20/2.24 c Elapsed CPU time: 2.23166 s Remaining CPU time: 1797.77 s 2.20/2.25 c core #319 2.20/2.25 c Core size: 21 Core Weight: 1 Total Weight: 319 2.20/2.25 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.20/2.26 c core #320 2.20/2.26 c Core size: 20 Core Weight: 1 Total Weight: 320 2.20/2.26 c Elapsed CPU time: 2.25366 s Remaining CPU time: 1797.75 s 2.20/2.27 c core #321 2.20/2.27 c Core size: 22 Core Weight: 1 Total Weight: 321 2.20/2.27 c Elapsed CPU time: 2.26365 s Remaining CPU time: 1797.74 s 2.20/2.28 c core #322 2.20/2.28 c Core size: 211 Core Weight: 1 Total Weight: 322 2.20/2.28 c Elapsed CPU time: 2.27565 s Remaining CPU time: 1797.72 s 2.20/2.29 c core #323 2.20/2.29 c Core size: 123 Core Weight: 1 Total Weight: 323 2.20/2.29 c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s 2.29/2.30 c ============================[ Search Statistics ]============================== 2.29/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.30 c =============================================================================== 2.29/2.30 c | 0 | 3458 9054 21446 | 5000 0 nan | 0.000 % | 2.29/2.31 c =============================================================================== 2.29/2.31 c core #324 2.29/2.31 c Core size: 13 Core Weight: 1 Total Weight: 324 2.29/2.31 c Elapsed CPU time: 2.29765 s Remaining CPU time: 1797.7 s 2.29/2.32 c ============================[ Search Statistics ]============================== 2.29/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.32 c =============================================================================== 2.29/2.32 c | 0 | 3464 9055 21458 | 5000 0 nan | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.32 c core #325 2.29/2.32 c Core size: 13 Core Weight: 1 Total Weight: 325 2.29/2.32 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 3470 9056 21470 | 5000 0 nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c core #326 2.29/2.33 c Core size: 13 Core Weight: 1 Total Weight: 326 2.29/2.33 c Elapsed CPU time: 2.32265 s Remaining CPU time: 1797.68 s 2.29/2.34 c ============================[ Search Statistics ]============================== 2.29/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.34 c =============================================================================== 2.29/2.34 c | 0 | 3476 9057 21482 | 5000 0 nan | 0.000 % | 2.29/2.34 c =============================================================================== 2.29/2.34 c core #327 2.29/2.34 c Core size: 47 Core Weight: 1 Total Weight: 327 2.29/2.34 c Elapsed CPU time: 2.33465 s Remaining CPU time: 1797.67 s 2.29/2.35 c ============================[ Search Statistics ]============================== 2.29/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.35 c =============================================================================== 2.29/2.35 c | 0 | 3491 9058 21512 | 5000 0 nan | 0.000 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c core #328 2.29/2.35 c Core size: 13 Core Weight: 1 Total Weight: 328 2.29/2.35 c Elapsed CPU time: 2.34664 s Remaining CPU time: 1797.65 s 2.29/2.36 c ============================[ Search Statistics ]============================== 2.29/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.36 c =============================================================================== 2.29/2.36 c | 0 | 3497 9059 21524 | 5000 0 nan | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c core #329 2.29/2.37 c Core size: 45 Core Weight: 1 Total Weight: 329 2.29/2.37 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.29/2.38 c Learning 1 hard constraints 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 3509 9061 21553 | 5000 0 nan | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c core #330 2.29/2.38 c Core size: 49 Core Weight: 1 Total Weight: 330 2.29/2.38 c Elapsed CPU time: 2.37064 s Remaining CPU time: 1797.63 s 2.29/2.39 c ============================[ Search Statistics ]============================== 2.29/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.39 c =============================================================================== 2.29/2.39 c | 0 | 3518 9062 21571 | 5000 0 nan | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c core #331 2.29/2.39 c Core size: 68 Core Weight: 1 Total Weight: 331 2.29/2.39 c Elapsed CPU time: 2.38264 s Remaining CPU time: 1797.62 s 2.39/2.40 c ============================[ Search Statistics ]============================== 2.39/2.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.40 c =============================================================================== 2.39/2.40 c | 0 | 3534 9063 21603 | 5000 0 nan | 0.000 % | 2.39/2.40 c =============================================================================== 2.39/2.40 c core #332 2.39/2.40 c Core size: 47 Core Weight: 1 Total Weight: 332 2.39/2.40 c Elapsed CPU time: 2.39364 s Remaining CPU time: 1797.61 s 2.39/2.41 c Learning 1 hard constraints 2.39/2.41 c ============================[ Search Statistics ]============================== 2.39/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.41 c =============================================================================== 2.39/2.41 c | 0 | 3541 9065 21623 | 5000 0 nan | 0.000 % | 2.39/2.41 c =============================================================================== 2.39/2.41 c core #333 2.39/2.41 c Core size: 55 Core Weight: 1 Total Weight: 333 2.39/2.41 c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s 2.39/2.42 c Learning 1 hard constraints 2.39/2.42 c ============================[ Search Statistics ]============================== 2.39/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.42 c =============================================================================== 2.39/2.42 c | 0 | 3553 9067 21653 | 5000 0 nan | 0.000 % | 2.39/2.42 c =============================================================================== 2.39/2.43 c core #334 2.39/2.43 c Core size: 15 Core Weight: 1 Total Weight: 334 2.39/2.43 c Elapsed CPU time: 2.41663 s Remaining CPU time: 1797.58 s 2.39/2.44 c ============================[ Search Statistics ]============================== 2.39/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.44 c =============================================================================== 2.39/2.44 c | 0 | 3560 9068 21667 | 5000 0 nan | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.44 c core #335 2.39/2.44 c Core size: 12 Core Weight: 1 Total Weight: 335 2.39/2.44 c Elapsed CPU time: 2.42863 s Remaining CPU time: 1797.57 s 2.39/2.45 c ============================[ Search Statistics ]============================== 2.39/2.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.45 c =============================================================================== 2.39/2.45 c | 0 | 3566 9069 21679 | 5000 0 nan | 0.000 % | 2.39/2.45 c =============================================================================== 2.39/2.45 c core #336 2.39/2.45 c Core size: 13 Core Weight: 1 Total Weight: 336 2.39/2.45 c Elapsed CPU time: 2.44063 s Remaining CPU time: 1797.56 s 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 3572 9070 21691 | 5000 0 nan | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c core #337 2.39/2.46 c Core size: 15 Core Weight: 1 Total Weight: 337 2.39/2.46 c Elapsed CPU time: 2.45263 s Remaining CPU time: 1797.55 s 2.39/2.47 c ============================[ Search Statistics ]============================== 2.39/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.47 c =============================================================================== 2.39/2.47 c | 0 | 3579 9071 21705 | 5000 0 nan | 0.000 % | 2.39/2.47 c =============================================================================== 2.39/2.47 c core #338 2.39/2.47 c Core size: 13 Core Weight: 1 Total Weight: 338 2.39/2.47 c Elapsed CPU time: 2.46362 s Remaining CPU time: 1797.54 s 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 3585 9072 21717 | 5000 0 nan | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c core #339 2.39/2.48 c Core size: 15 Core Weight: 1 Total Weight: 339 2.39/2.48 c Elapsed CPU time: 2.47462 s Remaining CPU time: 1797.53 s 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 3592 9073 21731 | 5000 0 nan | 0.000 % | 2.39/2.50 c =============================================================================== 2.39/2.50 c core #340 2.39/2.50 c Core size: 13 Core Weight: 1 Total Weight: 340 2.39/2.50 c Elapsed CPU time: 2.48662 s Remaining CPU time: 1797.51 s 2.49/2.51 c ============================[ Search Statistics ]============================== 2.49/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.51 c =============================================================================== 2.49/2.51 c | 0 | 3598 9074 21743 | 5000 0 nan | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c core #341 2.49/2.51 c Core size: 15 Core Weight: 1 Total Weight: 341 2.49/2.51 c Elapsed CPU time: 2.49962 s Remaining CPU time: 1797.5 s 2.49/2.52 c ============================[ Search Statistics ]============================== 2.49/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.52 c =============================================================================== 2.49/2.52 c | 0 | 3605 9075 21757 | 5000 0 nan | 0.000 % | 2.49/2.52 c =============================================================================== 2.49/2.52 c core #342 2.49/2.52 c Core size: 13 Core Weight: 1 Total Weight: 342 2.49/2.52 c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s 2.49/2.53 c ============================[ Search Statistics ]============================== 2.49/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.53 c =============================================================================== 2.49/2.53 c | 0 | 3611 9076 21769 | 5000 0 nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c core #343 2.49/2.53 c Core size: 15 Core Weight: 1 Total Weight: 343 2.49/2.53 c Elapsed CPU time: 2.52362 s Remaining CPU time: 1797.48 s 2.49/2.54 c ============================[ Search Statistics ]============================== 2.49/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.54 c =============================================================================== 2.49/2.54 c | 0 | 3618 9077 21783 | 5000 0 nan | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c core #344 2.49/2.54 c Core size: 13 Core Weight: 1 Total Weight: 344 2.49/2.54 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.49/2.55 c ============================[ Search Statistics ]============================== 2.49/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.55 c =============================================================================== 2.49/2.55 c | 0 | 3624 9078 21795 | 5000 0 nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c core #345 2.49/2.56 c Core size: 15 Core Weight: 1 Total Weight: 345 2.49/2.56 c Elapsed CPU time: 2.54661 s Remaining CPU time: 1797.45 s 2.49/2.57 c ============================[ Search Statistics ]============================== 2.49/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.57 c =============================================================================== 2.49/2.57 c | 0 | 3631 9079 21809 | 5000 0 nan | 0.000 % | 2.49/2.57 c =============================================================================== 2.49/2.57 c core #346 2.49/2.57 c Core size: 13 Core Weight: 1 Total Weight: 346 2.49/2.57 c Elapsed CPU time: 2.55861 s Remaining CPU time: 1797.44 s 2.49/2.58 c ============================[ Search Statistics ]============================== 2.49/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.58 c =============================================================================== 2.49/2.58 c | 0 | 3637 9080 21821 | 5000 0 nan | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c core #347 2.49/2.58 c Core size: 15 Core Weight: 1 Total Weight: 347 2.49/2.58 c Elapsed CPU time: 2.57061 s Remaining CPU time: 1797.43 s 2.49/2.59 c ============================[ Search Statistics ]============================== 2.49/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.59 c =============================================================================== 2.49/2.59 c | 0 | 3644 9081 21835 | 5000 0 nan | 0.000 % | 2.49/2.59 c =============================================================================== 2.49/2.59 c core #348 2.49/2.59 c Core size: 13 Core Weight: 1 Total Weight: 348 2.49/2.59 c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s 2.59/2.60 c ============================[ Search Statistics ]============================== 2.59/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.60 c =============================================================================== 2.59/2.60 c | 0 | 3650 9082 21847 | 5000 0 nan | 0.000 % | 2.59/2.61 c =============================================================================== 2.59/2.61 c core #349 2.59/2.61 c Core size: 15 Core Weight: 1 Total Weight: 349 2.59/2.61 c Elapsed CPU time: 2.5956 s Remaining CPU time: 1797.4 s 2.59/2.62 c ============================[ Search Statistics ]============================== 2.59/2.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.62 c =============================================================================== 2.59/2.62 c | 0 | 3657 9083 21861 | 5000 0 nan | 0.000 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c core #350 2.59/2.62 c Core size: 13 Core Weight: 1 Total Weight: 350 2.59/2.62 c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s 2.59/2.63 c ============================[ Search Statistics ]============================== 2.59/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.63 c =============================================================================== 2.59/2.63 c | 0 | 3663 9084 21873 | 5000 0 nan | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c core #351 2.59/2.63 c Core size: 15 Core Weight: 1 Total Weight: 351 2.59/2.63 c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 3670 9085 21887 | 5000 0 nan | 0.000 % | 2.59/2.64 c =============================================================================== 2.59/2.64 c core #352 2.59/2.64 c Core size: 13 Core Weight: 1 Total Weight: 352 2.59/2.64 c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s 2.59/2.65 c ============================[ Search Statistics ]============================== 2.59/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.65 c =============================================================================== 2.59/2.65 c | 0 | 3676 9086 21899 | 5000 0 nan | 0.000 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c core #353 2.59/2.65 c Core size: 13 Core Weight: 1 Total Weight: 353 2.59/2.65 c Elapsed CPU time: 2.6426 s Remaining CPU time: 1797.36 s 2.59/2.67 c ============================[ Search Statistics ]============================== 2.59/2.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.67 c =============================================================================== 2.59/2.67 c | 0 | 3682 9087 21911 | 5000 0 nan | 0.000 % | 2.59/2.67 c =============================================================================== 2.59/2.67 c core #354 2.59/2.67 c Core size: 15 Core Weight: 1 Total Weight: 354 2.59/2.67 c Elapsed CPU time: 2.6546 s Remaining CPU time: 1797.35 s 2.59/2.68 c ============================[ Search Statistics ]============================== 2.59/2.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.68 c =============================================================================== 2.59/2.68 c | 0 | 3689 9088 21925 | 5000 0 nan | 0.000 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c core #355 2.59/2.68 c Core size: 15 Core Weight: 1 Total Weight: 355 2.59/2.68 c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s 2.59/2.69 c ============================[ Search Statistics ]============================== 2.59/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.69 c =============================================================================== 2.59/2.69 c | 0 | 3696 9089 21939 | 5000 0 nan | 0.000 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c core #356 2.59/2.69 c Core size: 15 Core Weight: 1 Total Weight: 356 2.59/2.69 c Elapsed CPU time: 2.67959 s Remaining CPU time: 1797.32 s 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 3703 9090 21953 | 5000 0 nan | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c core #357 2.69/2.70 c Core size: 15 Core Weight: 1 Total Weight: 357 2.69/2.70 c Elapsed CPU time: 2.69159 s Remaining CPU time: 1797.31 s 2.69/2.71 c ============================[ Search Statistics ]============================== 2.69/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.71 c =============================================================================== 2.69/2.71 c | 0 | 3710 9091 21967 | 5000 0 nan | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c core #358 2.69/2.72 c Core size: 15 Core Weight: 1 Total Weight: 358 2.69/2.72 c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s 2.69/2.73 c ============================[ Search Statistics ]============================== 2.69/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 3717 9092 21981 | 5000 0 nan | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c core #359 2.69/2.73 c Core size: 15 Core Weight: 1 Total Weight: 359 2.69/2.73 c Elapsed CPU time: 2.71659 s Remaining CPU time: 1797.28 s 2.69/2.74 c ============================[ Search Statistics ]============================== 2.69/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.74 c =============================================================================== 2.69/2.74 c | 0 | 3724 9093 21995 | 5000 0 nan | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c core #360 2.69/2.74 c Core size: 15 Core Weight: 1 Total Weight: 360 2.69/2.74 c Elapsed CPU time: 2.72858 s Remaining CPU time: 1797.27 s 2.69/2.75 c ============================[ Search Statistics ]============================== 2.69/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.75 c =============================================================================== 2.69/2.75 c | 0 | 3731 9094 22009 | 5000 0 nan | 0.000 % | 2.69/2.75 c =============================================================================== 2.69/2.75 c core #361 2.69/2.75 c Core size: 15 Core Weight: 1 Total Weight: 361 2.69/2.75 c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 3738 9095 22023 | 5000 0 nan | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c core #362 2.69/2.77 c Core size: 15 Core Weight: 1 Total Weight: 362 2.69/2.77 c Elapsed CPU time: 2.75358 s Remaining CPU time: 1797.25 s 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 3745 9096 22037 | 5000 0 nan | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c core #363 2.69/2.78 c Core size: 15 Core Weight: 1 Total Weight: 363 2.69/2.78 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.69/2.79 c ============================[ Search Statistics ]============================== 2.69/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.79 c =============================================================================== 2.69/2.79 c | 0 | 3752 9097 22051 | 5000 0 nan | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c core #364 2.69/2.79 c Core size: 15 Core Weight: 1 Total Weight: 364 2.69/2.79 c Elapsed CPU time: 2.77858 s Remaining CPU time: 1797.22 s 2.79/2.80 c ============================[ Search Statistics ]============================== 2.79/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.80 c =============================================================================== 2.79/2.80 c | 0 | 3759 9098 22065 | 5000 0 nan | 0.000 % | 2.79/2.80 c =============================================================================== 2.79/2.80 c core #365 2.79/2.80 c Core size: 15 Core Weight: 1 Total Weight: 365 2.79/2.80 c Elapsed CPU time: 2.79157 s Remaining CPU time: 1797.21 s 2.79/2.81 c ============================[ Search Statistics ]============================== 2.79/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.81 c =============================================================================== 2.79/2.81 c | 0 | 3766 9099 22079 | 5000 0 nan | 0.000 % | 2.79/2.82 c =============================================================================== 2.79/2.82 c core #366 2.79/2.82 c Core size: 15 Core Weight: 1 Total Weight: 366 2.79/2.82 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.79/2.83 c ============================[ Search Statistics ]============================== 2.79/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.83 c =============================================================================== 2.79/2.83 c | 0 | 3773 9100 22093 | 5000 0 nan | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c core #367 2.79/2.83 c Core size: 15 Core Weight: 1 Total Weight: 367 2.79/2.83 c Elapsed CPU time: 2.81657 s Remaining CPU time: 1797.18 s 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 3780 9101 22107 | 5000 0 nan | 0.000 % | 2.79/2.84 c =============================================================================== 2.79/2.84 c core #368 2.79/2.84 c Core size: 15 Core Weight: 1 Total Weight: 368 2.79/2.84 c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s 2.79/2.85 c ============================[ Search Statistics ]============================== 2.79/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.85 c =============================================================================== 2.79/2.85 c | 0 | 3787 9102 22121 | 5000 0 nan | 0.000 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c core #369 2.79/2.85 c Core size: 15 Core Weight: 1 Total Weight: 369 2.79/2.85 c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 s 2.79/2.87 c ============================[ Search Statistics ]============================== 2.79/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.87 c =============================================================================== 2.79/2.87 c | 0 | 3794 9103 22135 | 5000 0 nan | 0.000 % | 2.79/2.87 c =============================================================================== 2.79/2.87 c core #370 2.79/2.87 c Core size: 15 Core Weight: 1 Total Weight: 370 2.79/2.87 c Elapsed CPU time: 2.85357 s Remaining CPU time: 1797.15 s 2.79/2.88 c ============================[ Search Statistics ]============================== 2.79/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.88 c =============================================================================== 2.79/2.88 c | 0 | 3801 9104 22149 | 5000 0 nan | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c core #371 2.79/2.88 c Core size: 13 Core Weight: 1 Total Weight: 371 2.79/2.88 c Elapsed CPU time: 2.86756 s Remaining CPU time: 1797.13 s 2.79/2.89 c ============================[ Search Statistics ]============================== 2.79/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.89 c =============================================================================== 2.79/2.89 c | 0 | 3807 9105 22161 | 5000 0 nan | 0.000 % | 2.79/2.89 c =============================================================================== 2.79/2.89 c core #372 2.79/2.89 c Core size: 42 Core Weight: 1 Total Weight: 372 2.79/2.89 c Elapsed CPU time: 2.88056 s Remaining CPU time: 1797.12 s 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 3818 9106 22184 | 5000 0 nan | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c core #373 2.89/2.91 c Core size: 40 Core Weight: 1 Total Weight: 373 2.89/2.91 c Elapsed CPU time: 2.89456 s Remaining CPU time: 1797.11 s 2.89/2.92 c ============================[ Search Statistics ]============================== 2.89/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.92 c =============================================================================== 2.89/2.92 c | 0 | 3825 9107 22198 | 5000 0 nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c core #374 2.89/2.92 c Core size: 38 Core Weight: 1 Total Weight: 374 2.89/2.92 c Elapsed CPU time: 2.90856 s Remaining CPU time: 1797.09 s 2.89/2.93 c Learning 1 hard constraints 2.89/2.93 c ============================[ Search Statistics ]============================== 2.89/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.93 c =============================================================================== 2.89/2.93 c | 0 | 3831 9109 22213 | 5000 0 nan | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c core #375 2.89/2.94 c Core size: 13 Core Weight: 1 Total Weight: 375 2.89/2.94 c Elapsed CPU time: 2.92256 s Remaining CPU time: 1797.08 s 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 3837 9110 22225 | 5000 0 nan | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c core #376 2.89/2.95 c Core size: 37 Core Weight: 1 Total Weight: 376 2.89/2.95 c Elapsed CPU time: 2.93655 s Remaining CPU time: 1797.06 s 2.89/2.96 c ============================[ Search Statistics ]============================== 2.89/2.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.96 c =============================================================================== 2.89/2.96 c | 0 | 3848 9111 22247 | 5000 0 nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c core #377 2.89/2.97 c Core size: 39 Core Weight: 1 Total Weight: 377 2.89/2.97 c Elapsed CPU time: 2.94955 s Remaining CPU time: 1797.05 s 2.89/2.98 c Learning 1 hard constraints 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 3858 9113 22272 | 5000 0 nan | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c core #378 2.89/2.98 c Core size: 53 Core Weight: 1 Total Weight: 378 2.89/2.98 c Elapsed CPU time: 2.96355 s Remaining CPU time: 1797.04 s 2.89/2.99 c Learning 1 hard constraints 2.89/2.99 c ============================[ Search Statistics ]============================== 2.89/2.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.99 c =============================================================================== 2.89/2.99 c | 0 | 3870 9115 22301 | 5000 0 nan | 0.000 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c core #379 2.89/2.99 c Core size: 46 Core Weight: 1 Total Weight: 379 2.89/2.99 c Elapsed CPU time: 2.97755 s Remaining CPU time: 1797.02 s 2.99/3.00 c ============================[ Search Statistics ]============================== 2.99/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.00 c =============================================================================== 2.99/3.00 c | 0 | 3878 9116 22317 | 5000 0 nan | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c core #380 2.99/3.01 c Core size: 15 Core Weight: 1 Total Weight: 380 2.99/3.01 c Elapsed CPU time: 2.99154 s Remaining CPU time: 1797.01 s 2.99/3.02 c ============================[ Search Statistics ]============================== 2.99/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.02 c =============================================================================== 2.99/3.02 c | 0 | 3885 9117 22331 | 5000 0 nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c core #381 2.99/3.02 c Core size: 30 Core Weight: 1 Total Weight: 381 2.99/3.02 c Elapsed CPU time: 3.00554 s Remaining CPU time: 1796.99 s 2.99/3.03 c ============================[ Search Statistics ]============================== 2.99/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.03 c =============================================================================== 2.99/3.03 c | 0 | 3895 9118 22352 | 5000 0 nan | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c core #382 2.99/3.04 c Core size: 47 Core Weight: 1 Total Weight: 382 2.99/3.04 c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s 2.99/3.05 c Learning 2 hard constraints 2.99/3.05 c ============================[ Search Statistics ]============================== 2.99/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.05 c =============================================================================== 2.99/3.05 c | 0 | 3904 9121 22378 | 5000 0 nan | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c core #383 2.99/3.05 c Core size: 15 Core Weight: 1 Total Weight: 383 2.99/3.05 c Elapsed CPU time: 3.03454 s Remaining CPU time: 1796.97 s 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 3911 9122 22392 | 5000 0 nan | 0.000 % | 2.99/3.06 c =============================================================================== 2.99/3.06 c core #384 2.99/3.06 c Core size: 15 Core Weight: 1 Total Weight: 384 2.99/3.06 c Elapsed CPU time: 3.04854 s Remaining CPU time: 1796.95 s 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 3918 9123 22406 | 5000 0 nan | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c core #385 2.99/3.08 c Core size: 19 Core Weight: 1 Total Weight: 385 2.99/3.08 c Elapsed CPU time: 3.06253 s Remaining CPU time: 1796.94 s 2.99/3.09 c ============================[ Search Statistics ]============================== 2.99/3.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.09 c =============================================================================== 2.99/3.09 c | 0 | 3926 9124 22422 | 5000 0 nan | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c core #386 2.99/3.09 c Core size: 13 Core Weight: 1 Total Weight: 386 2.99/3.09 c Elapsed CPU time: 3.07553 s Remaining CPU time: 1796.92 s 3.09/3.10 c ============================[ Search Statistics ]============================== 3.09/3.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.10 c =============================================================================== 3.09/3.10 c | 0 | 3932 9125 22434 | 5000 0 nan | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c core #387 3.09/3.11 c Core size: 50 Core Weight: 1 Total Weight: 387 3.09/3.11 c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s 3.09/3.12 c ============================[ Search Statistics ]============================== 3.09/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.12 c =============================================================================== 3.09/3.12 c | 0 | 3943 9126 22457 | 5000 0 nan | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c core #388 3.09/3.12 c Core size: 17 Core Weight: 1 Total Weight: 388 3.09/3.12 c Elapsed CPU time: 3.10253 s Remaining CPU time: 1796.9 s 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 3951 9127 22473 | 5000 0 nan | 0.000 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c core #389 3.09/3.14 c Core size: 40 Core Weight: 1 Total Weight: 389 3.09/3.14 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.09/3.15 c ============================[ Search Statistics ]============================== 3.09/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.15 c =============================================================================== 3.09/3.15 c | 0 | 3962 9128 22496 | 5000 0 nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c core #390 3.09/3.15 c Core size: 40 Core Weight: 1 Total Weight: 390 3.09/3.15 c Elapsed CPU time: 3.13052 s Remaining CPU time: 1796.87 s 3.09/3.16 c Learning 1 hard constraints 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 3971 9130 22517 | 5000 0 nan | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c core #391 3.09/3.17 c Core size: 35 Core Weight: 1 Total Weight: 391 3.09/3.17 c Elapsed CPU time: 3.14452 s Remaining CPU time: 1796.86 s 3.09/3.18 c Learning 1 hard constraints 3.09/3.18 c ============================[ Search Statistics ]============================== 3.09/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.18 c =============================================================================== 3.09/3.18 c | 0 | 3976 9132 22530 | 5000 0 nan | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c core #392 3.09/3.18 c Core size: 43 Core Weight: 1 Total Weight: 392 3.09/3.18 c Elapsed CPU time: 3.15952 s Remaining CPU time: 1796.84 s 3.09/3.19 c Learning 1 hard constraints 3.09/3.19 c ============================[ Search Statistics ]============================== 3.09/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.19 c =============================================================================== 3.09/3.19 c | 0 | 3983 9134 22549 | 5000 0 nan | 0.000 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c core #393 3.09/3.19 c Core size: 42 Core Weight: 1 Total Weight: 393 3.09/3.19 c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s 3.19/3.21 c Learning 1 hard constraints 3.19/3.21 c ============================[ Search Statistics ]============================== 3.19/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.21 c =============================================================================== 3.19/3.21 c | 0 | 3988 9136 22566 | 5000 0 nan | 0.000 % | 3.19/3.21 c =============================================================================== 3.19/3.21 c core #394 3.19/3.21 c Core size: 49 Core Weight: 1 Total Weight: 394 3.19/3.21 c Elapsed CPU time: 3.18751 s Remaining CPU time: 1796.81 s 3.19/3.22 c Learning 1 hard constraints 3.19/3.22 c ============================[ Search Statistics ]============================== 3.19/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.22 c =============================================================================== 3.19/3.22 c | 0 | 3998 9138 22589 | 5000 0 nan | 0.000 % | 3.19/3.22 c =============================================================================== 3.19/3.22 c core #395 3.19/3.22 c Core size: 13 Core Weight: 1 Total Weight: 395 3.19/3.22 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.19/3.24 c Learning 1 hard constraints 3.19/3.24 c ============================[ Search Statistics ]============================== 3.19/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.24 c =============================================================================== 3.19/3.24 c | 0 | 4004 9140 22607 | 5000 0 nan | 0.000 % | 3.19/3.24 c =============================================================================== 3.19/3.24 c core #396 3.19/3.24 c Core size: 39 Core Weight: 1 Total Weight: 396 3.19/3.24 c Elapsed CPU time: 3.21951 s Remaining CPU time: 1796.78 s 3.19/3.25 c ============================[ Search Statistics ]============================== 3.19/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.25 c =============================================================================== 3.19/3.25 c | 0 | 4013 9141 22625 | 5000 0 nan | 0.000 % | 3.19/3.26 c =============================================================================== 3.19/3.26 c core #397 3.19/3.26 c Core size: 13 Core Weight: 1 Total Weight: 397 3.19/3.26 c Elapsed CPU time: 3.23551 s Remaining CPU time: 1796.76 s 3.19/3.27 c Learning 4 hard constraints 3.19/3.27 c ============================[ Search Statistics ]============================== 3.19/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.27 c =============================================================================== 3.19/3.27 c | 0 | 4019 9146 22657 | 5000 0 nan | 0.000 % | 3.19/3.27 c =============================================================================== 3.19/3.27 c core #398 3.19/3.27 c Core size: 13 Core Weight: 1 Total Weight: 398 3.19/3.27 c Elapsed CPU time: 3.2515 s Remaining CPU time: 1796.75 s 3.19/3.28 c Learning 3 hard constraints 3.19/3.28 c ============================[ Search Statistics ]============================== 3.19/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.28 c =============================================================================== 3.19/3.28 c | 0 | 4025 9150 22683 | 5000 0 nan | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c core #399 3.19/3.29 c Core size: 13 Core Weight: 1 Total Weight: 399 3.19/3.29 c Elapsed CPU time: 3.2655 s Remaining CPU time: 1796.73 s 3.19/3.30 c ============================[ Search Statistics ]============================== 3.19/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.30 c =============================================================================== 3.19/3.30 c | 0 | 4031 9151 22695 | 5000 0 nan | 0.000 % | 3.29/3.30 c =============================================================================== 3.29/3.30 c core #400 3.29/3.30 c Core size: 25 Core Weight: 1 Total Weight: 400 3.29/3.30 c Elapsed CPU time: 3.2815 s Remaining CPU time: 1796.72 s 3.29/3.32 c ============================[ Search Statistics ]============================== 3.29/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.32 c =============================================================================== 3.29/3.32 c | 0 | 4042 9152 22717 | 5000 0 nan | 0.000 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c core #401 3.29/3.32 c Core size: 45 Core Weight: 1 Total Weight: 401 3.29/3.32 c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s 3.29/3.33 c ============================[ Search Statistics ]============================== 3.29/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.33 c =============================================================================== 3.29/3.33 c | 0 | 4052 9153 22738 | 5000 0 nan | 0.000 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c core #402 3.29/3.34 c Core size: 48 Core Weight: 1 Total Weight: 402 3.29/3.34 c Elapsed CPU time: 3.3125 s Remaining CPU time: 1796.69 s 3.29/3.35 c ============================[ Search Statistics ]============================== 3.29/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.35 c =============================================================================== 3.29/3.35 c | 0 | 4062 9154 22758 | 5000 0 nan | 0.000 % | 3.29/3.35 c =============================================================================== 3.29/3.35 c core #403 3.29/3.35 c Core size: 51 Core Weight: 1 Total Weight: 403 3.29/3.35 c Elapsed CPU time: 3.32749 s Remaining CPU time: 1796.67 s 3.29/3.36 c Learning 1 hard constraints 3.29/3.36 c ============================[ Search Statistics ]============================== 3.29/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.36 c =============================================================================== 3.29/3.36 c | 0 | 4071 9156 22781 | 5000 0 nan | 0.000 % | 3.29/3.37 c =============================================================================== 3.29/3.37 c core #404 3.29/3.37 c Core size: 13 Core Weight: 1 Total Weight: 404 3.29/3.37 c Elapsed CPU time: 3.34449 s Remaining CPU time: 1796.66 s 3.29/3.38 c ============================[ Search Statistics ]============================== 3.29/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.38 c =============================================================================== 3.29/3.38 c | 0 | 4077 9157 22793 | 5000 0 nan | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.39 c core #405 3.29/3.39 c Core size: 13 Core Weight: 1 Total Weight: 405 3.29/3.39 c Elapsed CPU time: 3.36049 s Remaining CPU time: 1796.64 s 3.29/3.40 c ============================[ Search Statistics ]============================== 3.29/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.40 c =============================================================================== 3.29/3.40 c | 0 | 4083 9158 22805 | 5000 0 nan | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c core #406 3.39/3.40 c Core size: 15 Core Weight: 1 Total Weight: 406 3.39/3.40 c Elapsed CPU time: 3.37649 s Remaining CPU time: 1796.62 s 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 4090 9159 22819 | 5000 0 nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c core #407 3.39/3.42 c Core size: 25 Core Weight: 1 Total Weight: 407 3.39/3.42 c Elapsed CPU time: 3.39248 s Remaining CPU time: 1796.61 s 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 4101 9160 22841 | 5000 0 nan | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c core #408 3.39/3.43 c Core size: 39 Core Weight: 1 Total Weight: 408 3.39/3.43 c Elapsed CPU time: 3.40848 s Remaining CPU time: 1796.59 s 3.39/3.45 c Learning 1 hard constraints 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 4111 9162 22866 | 5000 0 nan | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c core #409 3.39/3.45 c Core size: 19 Core Weight: 1 Total Weight: 409 3.39/3.45 c Elapsed CPU time: 3.42448 s Remaining CPU time: 1796.58 s 3.39/3.46 c ============================[ Search Statistics ]============================== 3.39/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.46 c =============================================================================== 3.39/3.46 c | 0 | 4119 9163 22882 | 5000 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #410 3.39/3.47 c Core size: 33 Core Weight: 1 Total Weight: 410 3.39/3.47 c Elapsed CPU time: 3.43948 s Remaining CPU time: 1796.56 s 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 4130 9164 22905 | 5000 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #411 3.39/3.48 c Core size: 47 Core Weight: 1 Total Weight: 411 3.39/3.48 c Elapsed CPU time: 3.45647 s Remaining CPU time: 1796.54 s 3.39/3.49 c Learning 2 hard constraints 3.39/3.49 c ============================[ Search Statistics ]============================== 3.39/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.49 c =============================================================================== 3.39/3.49 c | 0 | 4139 9167 22931 | 5000 0 nan | 0.000 % | 3.49/3.50 c =============================================================================== 3.49/3.50 c core #412 3.49/3.50 c Core size: 46 Core Weight: 1 Total Weight: 412 3.49/3.50 c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s 3.49/3.51 c Learning 4 hard constraints 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 4150 9172 22977 | 5000 0 nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.52 c core #413 3.49/3.52 c Core size: 49 Core Weight: 1 Total Weight: 413 3.49/3.52 c Elapsed CPU time: 3.48847 s Remaining CPU time: 1796.51 s 3.49/3.53 c Learning 2 hard constraints 3.49/3.53 c ============================[ Search Statistics ]============================== 3.49/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.53 c =============================================================================== 3.49/3.53 c | 0 | 4161 9175 23010 | 5000 0 nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c core #414 3.49/3.53 c Core size: 54 Core Weight: 1 Total Weight: 414 3.49/3.53 c Elapsed CPU time: 3.50347 s Remaining CPU time: 1796.5 s 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 4171 9176 23030 | 5000 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #415 3.49/3.55 c Core size: 52 Core Weight: 1 Total Weight: 415 3.49/3.55 c Elapsed CPU time: 3.52046 s Remaining CPU time: 1796.48 s 3.49/3.56 c Learning 2 hard constraints 3.49/3.56 c ============================[ Search Statistics ]============================== 3.49/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.56 c =============================================================================== 3.49/3.56 c | 0 | 4183 9179 23065 | 5000 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #416 3.49/3.57 c Core size: 33 Core Weight: 1 Total Weight: 416 3.49/3.57 c Elapsed CPU time: 3.53846 s Remaining CPU time: 1796.46 s 3.49/3.58 c Learning 3 hard constraints 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 4189 9183 23091 | 5000 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #417 3.49/3.58 c Core size: 44 Core Weight: 1 Total Weight: 417 3.49/3.58 c Elapsed CPU time: 3.55246 s Remaining CPU time: 1796.45 s 3.49/3.59 c ============================[ Search Statistics ]============================== 3.49/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.59 c =============================================================================== 3.49/3.59 c | 0 | 4197 9184 23107 | 5000 0 nan | 0.000 % | 3.59/3.60 c =============================================================================== 3.59/3.60 c core #418 3.59/3.60 c Core size: 77 Core Weight: 1 Total Weight: 418 3.59/3.60 c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s 3.59/3.61 c Learning 3 hard constraints 3.59/3.61 c ============================[ Search Statistics ]============================== 3.59/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.61 c =============================================================================== 3.59/3.61 c | 0 | 4217 9188 23167 | 5000 0 nan | 0.000 % | 3.59/3.62 c =============================================================================== 3.59/3.62 c core #419 3.59/3.62 c Core size: 40 Core Weight: 1 Total Weight: 419 3.59/3.62 c Elapsed CPU time: 3.58645 s Remaining CPU time: 1796.41 s 3.59/3.63 c Learning 2 hard constraints 3.59/3.63 c ============================[ Search Statistics ]============================== 3.59/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.63 c =============================================================================== 3.59/3.63 c | 0 | 4224 9191 23194 | 5000 0 nan | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c core #420 3.59/3.64 c Core size: 65 Core Weight: 1 Total Weight: 420 3.59/3.64 c Elapsed CPU time: 3.60245 s Remaining CPU time: 1796.4 s 3.59/3.65 c Learning 4 hard constraints 3.59/3.65 c ============================[ Search Statistics ]============================== 3.59/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.65 c =============================================================================== 3.59/3.65 c | 0 | 4247 9196 23264 | 5000 0 nan | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.65 c core #421 3.59/3.65 c Core size: 97 Core Weight: 1 Total Weight: 421 3.59/3.65 c Elapsed CPU time: 3.61845 s Remaining CPU time: 1796.38 s 3.59/3.66 c Learning 2 hard constraints 3.59/3.66 c ============================[ Search Statistics ]============================== 3.59/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.66 c =============================================================================== 3.59/3.66 c | 0 | 4270 9199 23317 | 5000 0 nan | 0.000 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c core #422 3.59/3.67 c Core size: 70 Core Weight: 1 Total Weight: 422 3.59/3.67 c Elapsed CPU time: 3.63545 s Remaining CPU time: 1796.36 s 3.59/3.68 c Learning 3 hard constraints 3.59/3.68 c ============================[ Search Statistics ]============================== 3.59/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.68 c =============================================================================== 3.59/3.68 c | 0 | 4286 9203 23366 | 5000 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #423 3.59/3.69 c Core size: 57 Core Weight: 1 Total Weight: 423 3.59/3.69 c Elapsed CPU time: 3.65344 s Remaining CPU time: 1796.35 s 3.69/3.70 c Learning 2 hard constraints 3.69/3.70 c ============================[ Search Statistics ]============================== 3.69/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.70 c =============================================================================== 3.69/3.70 c | 0 | 4299 9206 23404 | 5000 0 nan | 0.000 % | 3.69/3.70 c =============================================================================== 3.69/3.70 c core #424 3.69/3.70 c Core size: 40 Core Weight: 1 Total Weight: 424 3.69/3.70 c Elapsed CPU time: 3.66844 s Remaining CPU time: 1796.33 s 3.69/3.72 c Learning 1 hard constraints 3.69/3.72 c ============================[ Search Statistics ]============================== 3.69/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.72 c =============================================================================== 3.69/3.72 c | 0 | 4308 9208 23429 | 5000 0 nan | 0.000 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c core #425 3.69/3.72 c Core size: 39 Core Weight: 1 Total Weight: 425 3.69/3.72 c Elapsed CPU time: 3.68344 s Remaining CPU time: 1796.32 s 3.69/3.73 c Learning 1 hard constraints 3.69/3.73 c ============================[ Search Statistics ]============================== 3.69/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.73 c =============================================================================== 3.69/3.73 c | 0 | 4325 9210 23469 | 5000 0 nan | 0.000 % | 3.69/3.73 c =============================================================================== 3.69/3.73 c core #426 3.69/3.73 c Core size: 34 Core Weight: 1 Total Weight: 426 3.69/3.73 c Elapsed CPU time: 3.69844 s Remaining CPU time: 1796.3 s 3.69/3.75 c Learning 1 hard constraints 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 4341 9212 23506 | 5000 0 nan | 0.000 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c core #427 3.69/3.75 c Core size: 46 Core Weight: 1 Total Weight: 427 3.69/3.75 c Elapsed CPU time: 3.71344 s Remaining CPU time: 1796.29 s 3.69/3.76 c Learning 3 hard constraints 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 4361 9216 23565 | 5000 0 nan | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c core #428 3.69/3.76 c Core size: 38 Core Weight: 1 Total Weight: 428 3.69/3.76 c Elapsed CPU time: 3.72743 s Remaining CPU time: 1796.27 s 3.69/3.78 c Learning 1 hard constraints 3.69/3.78 c ============================[ Search Statistics ]============================== 3.69/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.78 c =============================================================================== 3.69/3.78 c | 0 | 4377 9218 23604 | 5000 0 nan | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c core #429 3.69/3.78 c Core size: 76 Core Weight: 1 Total Weight: 429 3.69/3.78 c Elapsed CPU time: 3.74443 s Remaining CPU time: 1796.26 s 3.69/3.79 c Learning 5 hard constraints 3.69/3.79 c ============================[ Search Statistics ]============================== 3.69/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.79 c =============================================================================== 3.69/3.79 c | 0 | 4394 9224 23659 | 5000 0 nan | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c core #430 3.79/3.80 c Core size: 57 Core Weight: 1 Total Weight: 430 3.79/3.80 c Elapsed CPU time: 3.76243 s Remaining CPU time: 1796.24 s 3.79/3.81 c Learning 2 hard constraints 3.79/3.81 c ============================[ Search Statistics ]============================== 3.79/3.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.81 c =============================================================================== 3.79/3.81 c | 0 | 4407 9227 23693 | 5000 0 nan | 0.000 % | 3.79/3.82 c =============================================================================== 3.79/3.82 c core #431 3.79/3.82 c Core size: 78 Core Weight: 1 Total Weight: 431 3.79/3.82 c Elapsed CPU time: 3.77842 s Remaining CPU time: 1796.22 s 3.79/3.83 c Learning 2 hard constraints 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 4429 9230 23748 | 5000 0 nan | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.83 c core #432 3.79/3.83 c Core size: 77 Core Weight: 1 Total Weight: 432 3.79/3.83 c Elapsed CPU time: 3.79642 s Remaining CPU time: 1796.2 s 3.79/3.85 c Learning 5 hard constraints 3.79/3.85 c ============================[ Search Statistics ]============================== 3.79/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.85 c =============================================================================== 3.79/3.85 c | 0 | 4450 9236 23819 | 5000 0 nan | 0.000 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c core #433 3.79/3.86 c Core size: 99 Core Weight: 1 Total Weight: 433 3.79/3.86 c Elapsed CPU time: 3.81742 s Remaining CPU time: 1796.18 s 3.79/3.87 c Learning 11 hard constraints 3.79/3.87 c ============================[ Search Statistics ]============================== 3.79/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.87 c =============================================================================== 3.79/3.87 c | 0 | 4478 9248 23939 | 5000 0 nan | 0.000 % | 3.79/3.88 c | 100 | 4400 9248 23939 | 5500 100 6 | 5.704 % | 3.79/3.88 c =============================================================================== 3.79/3.88 c core #434 3.79/3.88 c Core size: 232 Core Weight: 1 Total Weight: 434 3.79/3.88 c Elapsed CPU time: 3.84342 s Remaining CPU time: 1796.16 s 3.79/3.90 c Learning 9 hard constraints 3.79/3.90 c ============================[ Search Statistics ]============================== 3.79/3.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.90 c =============================================================================== 3.79/3.90 c | 0 | 4522 9258 24087 | 5000 0 nan | 0.000 % | 3.89/3.90 c =============================================================================== 3.89/3.90 c core #435 3.89/3.90 c Core size: 94 Core Weight: 1 Total Weight: 435 3.89/3.90 c Elapsed CPU time: 3.86041 s Remaining CPU time: 1796.14 s 3.89/3.91 c Learning 3 hard constraints 3.89/3.91 c ============================[ Search Statistics ]============================== 3.89/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.91 c =============================================================================== 3.89/3.91 c | 0 | 4553 9262 24169 | 5000 0 nan | 0.000 % | 3.89/3.93 c | 100 | 4434 9262 24169 | 5500 100 4 | 7.868 % | 3.89/3.93 c =============================================================================== 3.89/3.93 c core #436 3.89/3.93 c Core size: 578 Core Weight: 1 Total Weight: 436 3.89/3.93 c Elapsed CPU time: 3.88741 s Remaining CPU time: 1796.11 s 3.89/3.94 c Learning 4 hard constraints 3.89/3.94 c ============================[ Search Statistics ]============================== 3.89/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.94 c =============================================================================== 3.89/3.94 c | 0 | 4681 9267 24487 | 5000 0 nan | 0.000 % | 3.89/3.95 c | 100 | 4631 9267 24487 | 5500 100 5 | 2.324 % | 3.89/3.96 c =============================================================================== 3.89/3.96 c core #437 3.89/3.96 c Core size: 458 Core Weight: 1 Total Weight: 437 3.89/3.96 c Elapsed CPU time: 3.9144 s Remaining CPU time: 1796.09 s 3.89/3.97 c Learning 13 hard constraints 3.89/3.97 c ============================[ Search Statistics ]============================== 3.89/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.97 c =============================================================================== 3.89/3.97 c | 0 | 4778 9281 24764 | 5000 0 nan | 0.000 % | 3.89/3.98 c | 100 | 4776 9281 24764 | 5500 100 7 | 0.293 % | 3.89/3.99 c | 250 | 4715 9281 24764 | 6050 250 7 | 3.175 % | 3.89/4.00 c =============================================================================== 3.99/4.00 c core #438 3.99/4.00 c Core size: 331 Core Weight: 1 Total Weight: 438 3.99/4.00 c Elapsed CPU time: 3.9474 s Remaining CPU time: 1796.05 s 3.99/4.01 c Learning 9 hard constraints 3.99/4.01 c ============================[ Search Statistics ]============================== 3.99/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.01 c =============================================================================== 3.99/4.01 c | 0 | 4861 9291 24975 | 5000 0 nan | 0.000 % | 3.99/4.02 c | 102 | 4861 9291 24975 | 5500 102 13 | 0.206 % | 3.99/4.03 c =============================================================================== 3.99/4.03 c core #439 3.99/4.03 c Core size: 94 Core Weight: 1 Total Weight: 439 3.99/4.03 c Elapsed CPU time: 3.97539 s Remaining CPU time: 1796.02 s 3.99/4.04 c Learning 17 hard constraints 3.99/4.04 c ============================[ Search Statistics ]============================== 3.99/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.04 c =============================================================================== 3.99/4.04 c | 0 | 4884 9309 25130 | 5000 0 nan | 0.000 % | 3.99/4.05 c | 100 | 4879 9309 25130 | 5500 100 7 | 0.409 % | 3.99/4.06 c | 252 | 4865 9309 25130 | 6050 241 8 | 0.695 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c core #440 3.99/4.06 c Core size: 40 Core Weight: 1 Total Weight: 440 3.99/4.06 c Elapsed CPU time: 4.00839 s Remaining CPU time: 1795.99 s 3.99/4.08 c Learning 18 hard constraints 3.99/4.08 c ============================[ Search Statistics ]============================== 3.99/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.08 c =============================================================================== 3.99/4.08 c | 0 | 4894 9328 25266 | 5000 0 nan | 0.000 % | 3.99/4.08 c | 102 | 4894 9328 25266 | 5500 102 13 | 0.204 % | 3.99/4.09 c =============================================================================== 3.99/4.09 c core #441 3.99/4.09 c Core size: 123 Core Weight: 1 Total Weight: 441 3.99/4.09 c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s 4.09/4.10 c Learning 9 hard constraints 4.09/4.10 c ============================[ Search Statistics ]============================== 4.09/4.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.10 c =============================================================================== 4.09/4.10 c | 0 | 4916 9338 25361 | 5000 0 nan | 0.000 % | 4.09/4.11 c | 102 | 4908 9338 25361 | 5500 102 6 | 0.488 % | 4.09/4.11 c =============================================================================== 4.09/4.11 c core #442 4.09/4.11 c Core size: 69 Core Weight: 1 Total Weight: 442 4.09/4.11 c Elapsed CPU time: 4.05238 s Remaining CPU time: 1795.95 s 4.09/4.13 c Learning 10 hard constraints 4.09/4.13 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.13 c | 0 | 4937 9349 25460 | 5000 0 nan | 0.000 % | 4.09/4.13 c | 102 | 4937 9349 25460 | 5500 102 12 | 0.202 % | 4.09/4.15 c | 253 | 4937 9349 25460 | 6050 253 10 | 0.202 % | 4.09/4.15 c =============================================================================== 4.09/4.15 c core #443 4.09/4.15 c Core size: 102 Core Weight: 1 Total Weight: 443 4.09/4.15 c Elapsed CPU time: 4.08538 s Remaining CPU time: 1795.91 s 4.09/4.16 c Learning 18 hard constraints 4.09/4.16 c ============================[ Search Statistics ]============================== 4.09/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.16 c =============================================================================== 4.09/4.16 c | 0 | 4960 9368 25625 | 5000 0 nan | 0.000 % | 4.09/4.17 c | 100 | 4949 9368 25625 | 5500 100 7 | 0.523 % | 4.09/4.18 c | 251 | 4866 9368 25625 | 6050 193 7 | 2.978 % | 4.09/4.18 c =============================================================================== 4.09/4.18 c core #444 4.09/4.18 c Core size: 185 Core Weight: 1 Total Weight: 444 4.09/4.18 c Elapsed CPU time: 4.11437 s Remaining CPU time: 1795.89 s 4.09/4.19 c Learning 20 hard constraints 4.09/4.19 c ============================[ Search Statistics ]============================== 4.09/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.19 c =============================================================================== 4.09/4.19 c | 0 | 4997 9389 25801 | 5000 0 nan | 0.000 % | 4.19/4.20 c | 100 | 4997 9389 25801 | 5500 100 16 | 0.200 % | 4.19/4.21 c | 250 | 4997 9389 25801 | 6050 250 12 | 0.200 % | 4.19/4.23 c =============================================================================== 4.19/4.23 c core #445 4.19/4.23 c Core size: 139 Core Weight: 1 Total Weight: 445 4.19/4.23 c Elapsed CPU time: 4.15637 s Remaining CPU time: 1795.84 s 4.19/4.24 c Learning 21 hard constraints 4.19/4.24 c ============================[ Search Statistics ]============================== 4.19/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.24 c =============================================================================== 4.19/4.24 c | 0 | 5035 9411 26029 | 5000 0 nan | 0.000 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c core #446 4.19/4.25 c Core size: 135 Core Weight: 1 Total Weight: 446 4.19/4.25 c Elapsed CPU time: 4.17237 s Remaining CPU time: 1795.83 s 4.19/4.26 c Learning 2 hard constraints 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 5075 9414 26124 | 5000 0 nan | 0.000 % | 4.19/4.27 c | 100 | 5069 9414 26124 | 5500 100 7 | 0.393 % | 4.19/4.28 c | 253 | 5061 9414 26124 | 6050 233 10 | 0.511 % | 4.19/4.30 c | 478 | 5040 9414 26124 | 6655 448 9 | 0.924 % | 4.29/4.30 c =============================================================================== 4.29/4.31 c core #447 4.29/4.31 c Core size: 662 Core Weight: 1 Total Weight: 447 4.29/4.31 c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s 4.29/4.32 c Learning 22 hard constraints 4.29/4.32 c ============================[ Search Statistics ]============================== 4.29/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.32 c =============================================================================== 4.29/4.32 c | 0 | 5244 9437 26573 | 5000 0 nan | 0.000 % | 4.29/4.33 c | 100 | 5244 9437 26573 | 5500 100 14 | 0.191 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c core #448 4.29/4.33 c Core size: 59 Core Weight: 1 Total Weight: 448 4.29/4.33 c Elapsed CPU time: 4.25435 s Remaining CPU time: 1795.75 s 4.29/4.34 c Learning 2 hard constraints 4.29/4.34 c ============================[ Search Statistics ]============================== 4.29/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.34 c =============================================================================== 4.29/4.34 c | 0 | 5256 9440 26606 | 5000 0 nan | 0.000 % | 4.29/4.35 c | 100 | 5256 9440 26606 | 5500 100 19 | 0.190 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c core #449 4.29/4.36 c Core size: 79 Core Weight: 1 Total Weight: 449 4.29/4.36 c Elapsed CPU time: 4.28535 s Remaining CPU time: 1795.71 s 4.29/4.38 c Learning 6 hard constraints 4.29/4.38 c ============================[ Search Statistics ]============================== 4.29/4.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.38 c =============================================================================== 4.29/4.38 c | 0 | 5278 9447 26686 | 5000 0 nan | 0.000 % | 4.29/4.39 c | 100 | 5278 9447 26686 | 5500 100 9 | 0.189 % | 4.29/4.40 c | 252 | 5240 9447 26686 | 6050 252 9 | 1.683 % | 4.39/4.42 c | 477 | 5180 9447 26686 | 6655 371 9 | 2.061 % | 4.39/4.45 c | 814 | 5175 9447 26686 | 7320 708 15 | 2.175 % | 4.39/4.46 c =============================================================================== 4.39/4.47 c core #450 4.39/4.47 c Core size: 1041 Core Weight: 1 Total Weight: 450 4.39/4.47 c Elapsed CPU time: 4.38133 s Remaining CPU time: 1795.62 s 4.39/4.48 c Learning 31 hard constraints 4.39/4.48 c ============================[ Search Statistics ]============================== 4.39/4.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.48 c =============================================================================== 4.39/4.48 c | 0 | 5507 9479 27382 | 5000 0 nan | 0.000 % | 4.39/4.49 c | 103 | 5507 9479 27382 | 5500 103 13 | 0.181 % | 4.48/4.51 c | 253 | 5504 9479 27382 | 6050 253 10 | 0.254 % | 4.48/4.53 c | 478 | 5484 9479 27382 | 6655 476 9 | 0.689 % | 4.48/4.55 c | 815 | 5397 9479 27382 | 7320 716 9 | 3.317 % | 4.48/4.59 c | 1322 | 5315 9479 27382 | 8052 1148 11 | 3.716 % | 4.59/4.65 c | 2081 | 5310 9479 27382 | 8857 1898 16 | 3.788 % | 4.59/4.69 c =============================================================================== 4.68/4.71 c core #451 4.68/4.71 c Core size: 1490 Core Weight: 1 Total Weight: 451 4.68/4.71 c Elapsed CPU time: 4.6093 s Remaining CPU time: 1795.39 s 4.68/4.72 c Learning 63 hard constraints 4.68/4.72 c ============================[ Search Statistics ]============================== 4.68/4.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.68/4.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.68/4.72 c =============================================================================== 4.68/4.72 c | 0 | 5798 9543 28551 | 5000 0 nan | 0.000 % | 4.68/4.74 c | 101 | 5798 9543 28551 | 5500 101 11 | 0.172 % | 4.68/4.75 c | 252 | 5795 9543 28551 | 6050 219 10 | 0.275 % | 4.68/4.77 c | 478 | 5793 9543 28551 | 6655 445 14 | 0.275 % | 4.68/4.79 c | 815 | 5792 9543 28551 | 7320 763 16 | 0.276 % | 4.79/4.83 c | 1323 | 5788 9543 28551 | 8052 1267 17 | 0.344 % | 4.88/4.90 c | 2082 | 5782 9543 28551 | 8857 2020 16 | 0.448 % | 4.98/5.01 c | 3225 | 5710 9543 28551 | 9743 2826 16 | 1.773 % | 4.98/5.07 c =============================================================================== 4.98/5.09 c core #452 4.98/5.09 c Core size: 1635 Core Weight: 1 Total Weight: 452 4.98/5.09 c Elapsed CPU time: 4.97024 s Remaining CPU time: 1795.03 s 5.08/5.11 c Learning 103 hard constraints 5.08/5.11 c ============================[ Search Statistics ]============================== 5.08/5.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.08/5.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.08/5.11 c =============================================================================== 5.08/5.11 c | 0 | 6117 9647 29861 | 5000 0 nan | 0.000 % | 5.08/5.12 c | 101 | 6115 9647 29861 | 5500 101 9 | 0.196 % | 5.08/5.14 c | 253 | 6114 9647 29861 | 6050 253 17 | 0.228 % | 5.08/5.16 c | 478 | 6113 9647 29861 | 6655 473 20 | 0.229 % | 5.08/5.19 c | 817 | 6113 9647 29861 | 7320 812 18 | 0.228 % | 5.19/5.23 c | 1323 | 6113 9647 29861 | 8052 1318 20 | 0.229 % | 5.29/5.31 c | 2082 | 6107 9647 29861 | 8857 2071 22 | 0.326 % | 5.39/5.44 c | 3221 | 6101 9647 29861 | 9743 3195 25 | 0.425 % | 5.58/5.69 c | 4929 | 6097 9647 29861 | 10717 4850 36 | 0.490 % | 5.99/6.06 c | 7491 | 6090 9647 29861 | 11789 7404 37 | 0.620 % | 6.49/6.60 c | 11336 | 6079 9647 29861 | 12968 10949 39 | 0.849 % | 7.79/7.84 c | 17102 | 6070 9647 29861 | 14265 9714 55 | 0.979 % | 9.79/9.89 c | 25752 | 6053 9647 29861 | 15692 10897 69 | 1.208 % | 13.97/14.04 c | 38728 | 6035 9647 29861 | 17261 14293 80 | 1.600 % | 17.38/17.42 c =============================================================================== 17.68/17.76 c core #453 17.68/17.76 c Core size: 2077 Core Weight: 1 Total Weight: 453 17.68/17.76 c Elapsed CPU time: 17.4713 s Remaining CPU time: 1782.53 s 17.78/17.82 c Learning 33 hard constraints 17.78/17.82 c ============================[ Search Statistics ]============================== 17.78/17.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.82 c =============================================================================== 17.78/17.82 c | 0 | 6478 9681 30758 | 5000 0 nan | 0.000 % | 17.78/17.84 c | 102 | 6478 9681 30758 | 5500 102 19 | 0.154 % | 17.78/17.85 c | 252 | 6478 9681 30758 | 6050 252 18 | 0.154 % | 17.78/17.87 c | 481 | 6478 9681 30758 | 6655 481 19 | 0.154 % | 17.78/17.89 c | 818 | 6476 9681 30758 | 7320 817 16 | 0.185 % | 17.87/17.94 c | 1326 | 6474 9681 30758 | 8052 1321 18 | 0.216 % | 17.98/18.01 c | 2086 | 6474 9681 30758 | 8857 2081 29 | 0.216 % | 18.08/18.15 c | 3225 | 6474 9681 30758 | 9743 3220 35 | 0.216 % | 18.37/18.40 c | 4933 | 6474 9681 30758 | 10717 4928 43 | 0.216 % | 18.68/18.73 c | 7497 | 6472 9681 30758 | 11789 7475 48 | 0.247 % | 19.28/19.37 c | 11350 | 6472 9681 30758 | 12968 11328 45 | 0.247 % | 20.78/20.83 c | 17117 | 6460 9681 30758 | 14265 10200 59 | 0.462 % | 23.17/23.22 c | 25766 | 6431 9681 30758 | 15692 11358 65 | 0.894 % | 25.27/25.37 c =============================================================================== 25.56/25.61 c core #454 25.56/25.61 c Core size: 2729 Core Weight: 1 Total Weight: 454 25.56/25.61 c Elapsed CPU time: 25.2082 s Remaining CPU time: 1774.79 s 25.56/25.66 c Learning 142 hard constraints 25.56/25.66 c ============================[ Search Statistics ]============================== 25.56/25.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.56/25.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.56/25.66 c =============================================================================== 25.56/25.66 c | 0 | 6992 9824 32635 | 5000 0 nan | 0.000 % | 25.56/25.68 c | 100 | 6992 9824 32635 | 5500 100 26 | 0.143 % | 25.56/25.69 c | 256 | 6992 9824 32635 | 6050 256 20 | 0.143 % | 25.66/25.72 c | 481 | 6990 9824 32635 | 6655 480 20 | 0.171 % | 25.66/25.76 c | 820 | 6988 9824 32635 | 7320 818 22 | 0.200 % | 25.76/25.83 c | 1327 | 6988 9824 32635 | 8052 1325 27 | 0.200 % | 25.76/25.88 c | 2087 | 6988 9824 32635 | 8857 2085 31 | 0.200 % | 25.96/26.01 c | 3227 | 6988 9824 32635 | 9743 3225 36 | 0.200 % | 26.27/26.30 c | 4935 | 6988 9824 32635 | 10717 4933 41 | 0.200 % | 26.56/26.69 c | 7498 | 6988 9824 32635 | 11789 7496 50 | 0.200 % | 27.26/27.32 c | 11342 | 6988 9824 32635 | 12968 11340 47 | 0.200 % | 28.36/28.40 c | 17110 | 6988 9824 32635 | 14265 9877 44 | 0.200 % | 29.76/29.80 c | 25760 | 6982 9824 32635 | 15692 11102 41 | 0.286 % | 32.46/32.50 c | 38734 | 6976 9824 32635 | 17261 15812 55 | 0.371 % | 37.66/37.75 c | 58196 | 6949 9824 32635 | 18987 17481 68 | 1.085 % | 45.86/45.91 c | 87389 | 6926 9824 32635 | 20886 16125 92 | 1.085 % | 63.44/63.56 c | 131179 | 6926 9824 32635 | 22974 16052 111 | 1.085 % | 98.41/98.56 c | 196864 | 6926 9824 32635 | 25272 22459 78 | 1.086 % | 168.89/169.03 c | 295392 | 6922 9824 32635 | 27799 14217 161 | 1.143 % | 286.53/286.72 c | 443183 | 6912 9824 32635 | 30579 15565 121 | 1.285 % | 457.35/457.65 c | 664868 | 6908 9824 32635 | 33637 20360 132 | 1.343 % | 484.43/484.79 c =============================================================================== 492.53/492.87 c core #455 492.53/492.87 c Core size: 4754 Core Weight: 1 Total Weight: 455 492.53/492.87 c Elapsed CPU time: 489.498 s Remaining CPU time: 1310.5 s 493.22/493.58 c Learning 167 hard constraints 493.22/493.58 c ============================[ Search Statistics ]============================== 493.22/493.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 493.22/493.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 493.22/493.58 c =============================================================================== 493.22/493.58 c | 0 | 7740 9992 34727 | 5000 0 nan | 0.000 % | 493.42/493.74 c | 101 | 7740 9992 34727 | 5500 101 18 | 0.129 % | 493.42/493.75 c | 251 | 7740 9992 34727 | 6050 251 18 | 0.129 % | 493.42/493.79 c | 479 | 7740 9992 34727 | 6655 479 27 | 0.129 % | 493.52/493.84 c | 816 | 7740 9992 34727 | 7320 816 29 | 0.129 % | 493.52/493.89 c | 1323 | 7740 9992 34727 | 8052 1323 36 | 0.129 % | 493.72/494.04 c | 2084 | 7740 9992 34727 | 8857 2084 51 | 0.129 % | 493.92/494.23 c | 3224 | 7740 9992 34727 | 9743 3224 54 | 0.129 % | 494.12/494.49 c | 4933 | 7740 9992 34727 | 10717 4933 48 | 0.129 % | 494.62/494.93 c | 7495 | 7740 9992 34727 | 11789 7495 60 | 0.129 % | 495.42/495.74 c | 11343 | 7740 9992 34727 | 12968 11343 50 | 0.129 % | 497.12/497.49 c | 17109 | 7740 9992 34727 | 14265 9274 111 | 0.129 % | 500.32/500.66 c | 25761 | 7740 9992 34727 | 15692 10583 109 | 0.129 % | 503.52/503.89 c | 38735 | 7740 9992 34727 | 17261 14787 71 | 0.129 % | 509.91/510.26 c | 58198 | 7740 9992 34727 | 18987 15143 114 | 0.129 % | 522.80/523.14 c | 87393 | 7740 9992 34727 | 20886 14393 94 | 0.129 % | 556.90/557.28 c | 131182 | 7740 9992 34727 | 22974 15124 114 | 0.129 % | 596.57/596.93 c | 196866 | 7740 9992 34727 | 25272 19573 110 | 0.129 % | 654.85/655.27 c | 295399 | 7738 9992 34727 | 27799 19763 93 | 0.155 % | 760.38/760.86 c | 443188 | 7736 9992 34727 | 30579 26745 82 | 0.181 % | 899.22/899.79 c | 664871 | 7732 9992 34727 | 33637 18942 341 | 0.232 % | 1158.19/1158.90 c | 997396 | 7727 9992 34727 | 37001 32468 205 | 0.310 % | 1485.03/1485.88 c =============================================================================== 1485.23/1486.01 c core #456 1485.23/1486.01 c Core size: 510 Core Weight: 1 Total Weight: 456 1485.23/1486.01 c Elapsed CPU time: 1477.14 s Remaining CPU time: 322.857 s 1486.54/1487.39 c Learning 196 hard constraints 1486.54/1487.39 c ============================[ Search Statistics ]============================== 1486.54/1487.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1486.54/1487.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1486.54/1487.39 c =============================================================================== 1486.54/1487.39 c | 0 | 7810 10189 35832 | 5000 0 nan | 0.000 % | 1486.73/1487.53 c | 100 | 7810 10189 35832 | 5500 100 19 | 0.128 % | 1486.83/1487.64 c | 251 | 7810 10189 35832 | 6050 251 28 | 0.128 % | 1486.83/1487.68 c | 478 | 7810 10189 35832 | 6655 478 23 | 0.128 % | 1486.93/1487.72 c | 815 | 7810 10189 35832 | 7320 815 22 | 0.128 % | 1486.93/1487.80 c | 1324 | 7808 10189 35832 | 8052 1319 24 | 0.153 % | 1487.13/1487.98 c | 2083 | 7808 10189 35832 | 8857 2078 52 | 0.153 % | 1487.43/1488.22 c | 3225 | 7808 10189 35832 | 9743 3220 54 | 0.153 % | 1487.62/1488.47 c | 4934 | 7808 10189 35832 | 10717 4929 47 | 0.154 % | 1488.22/1489.06 c | 7496 | 7808 10189 35832 | 11789 7491 56 | 0.153 % | 1488.73/1489.59 c | 11340 | 7808 10189 35832 | 12968 11335 47 | 0.153 % | 1489.92/1490.77 c | 17110 | 7808 10189 35832 | 14265 9639 56 | 0.154 % | 1492.13/1492.98 c | 25760 | 7806 10189 35832 | 15692 10071 77 | 0.179 % | 1500.22/1501.02 c | 38737 | 7806 10189 35832 | 17261 13999 165 | 0.179 % | 1508.92/1509.77 c | 58198 | 7806 10189 35832 | 18987 15414 93 | 0.179 % | 1519.02/1519.86 c | 87392 | 7806 10189 35832 | 20886 14670 81 | 0.179 % | 1543.51/1544.31 c | 131183 | 7806 10189 35832 | 22974 15347 58 | 0.179 % | 1572.69/1573.55 c | 196869 | 7803 10189 35832 | 25272 17384 276 | 0.230 % | 1653.55/1654.42 c | 295399 | 7802 10189 35832 | 27799 22366 59 | 0.230 % | 1762.59/1763.52 c | 443188 | 7796 10189 35832 | 30579 19211 176 | 0.307 % |
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-1875602-1245161830/watcher-1875602-1245161830 -o /tmp/evaluation-result-1875602-1245161830/solver-1875602-1245161830 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875602-1245161830.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 9670 /proc/meminfo: memFree=1848960/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=2996 CPUtime=0 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 183783788 3067904 246 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 749 247 128 292 0 406 0 [startup+0.0158019 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9670 /proc/meminfo: memFree=1848960/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=2996 CPUtime=0.01 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 313 0 0 0 1 0 0 0 18 0 1 0 183783788 3067904 297 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 749 297 149 292 0 406 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2996 [startup+0.101818 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9670 /proc/meminfo: memFree=1848960/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=3676 CPUtime=0.09 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 183783788 3764224 474 1992294400 134512640 135709839 4294956240 18446744073709551615 134530357 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 919 474 133 292 0 624 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3676 [startup+0.301855 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9670 /proc/meminfo: memFree=1848960/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=3808 CPUtime=0.29 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 575 0 0 0 29 0 0 0 19 0 1 0 183783788 3899392 511 1992294400 134512640 135709839 4294956240 18446744073709551615 135182786 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 952 511 133 292 0 657 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3808 [startup+0.701929 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9670 /proc/meminfo: memFree=1848960/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=3988 CPUtime=0.69 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 634 0 0 0 69 0 0 0 23 0 1 0 183783788 4083712 570 1992294400 134512640 135709839 4294956240 18446744073709551615 135182873 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 997 570 133 292 0 702 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3988 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1846648/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=5096 CPUtime=1.49 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 1329 0 0 0 149 0 0 0 25 0 1 0 183783788 5218304 849 1992294400 134512640 135709839 4294956240 18446744073709551615 135166038 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 1274 849 133 292 0 979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5096 [startup+3.10137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1845368/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=8756 CPUtime=3.09 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 2601 0 0 0 307 2 0 0 20 0 1 0 183783788 8966144 1734 1992294400 134512640 135709839 4294956240 18446744073709551615 134607420 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 2189 1734 135 292 0 1894 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8756 [startup+6.30196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1836856/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=15472 CPUtime=6.28 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 4457 0 0 0 615 13 0 0 25 0 1 0 183783788 15843328 3401 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 3868 3401 136 292 0 3573 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15472 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1823224/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=29068 CPUtime=12.68 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 7859 0 0 0 1245 23 0 0 25 0 1 0 183783788 29765632 6803 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 7267 6803 136 292 0 6972 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29068 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1810616/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=41272 CPUtime=25.46 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 10928 0 0 0 2509 37 0 0 25 0 1 0 183783788 42262528 9836 1992294400 134512640 135709839 4294956240 18446744073709551615 134584101 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 10318 9836 136 292 0 10023 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 41272 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1769976/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=81816 CPUtime=51.05 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 21122 0 0 0 5036 69 0 0 25 0 1 0 183783788 83779584 19991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 20454 19991 136 292 0 20159 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 81816 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1711736/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=139204 CPUtime=102.22 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 35453 0 0 0 10124 98 0 0 25 0 1 0 183783788 142544896 34322 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 34801 34322 136 292 0 34506 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 139204 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1635512/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=215768 CPUtime=162.19 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 54575 0 0 0 16090 129 0 0 25 0 1 0 183783788 220946432 53444 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 53942 53444 136 292 0 53647 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 215768 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1568376/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=282472 CPUtime=222.15 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 71225 0 0 0 22055 160 0 0 25 0 1 0 183783788 289251328 70094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 70618 70094 136 292 0 70323 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 282472 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=1497720/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=353844 CPUtime=282.13 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 89039 0 0 0 28018 195 0 0 25 0 1 0 183783788 362336256 87908 1992294400 134512640 135709839 4294956240 18446744073709551615 134573974 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 88461 87908 136 292 0 88166 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 353844 [startup+342.301 s] /proc/loadavg: 1.06 1.01 1.00 2/65 9671 /proc/meminfo: memFree=1414712/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=436100 CPUtime=342.1 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 109591 0 0 0 33974 236 0 0 25 0 1 0 183783788 446566400 108460 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 109025 108460 136 292 0 108730 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 436100 [startup+402.301 s] /proc/loadavg: 1.07 1.03 1.00 2/65 9671 /proc/meminfo: memFree=1337528/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=513928 CPUtime=402.07 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 129028 0 0 0 39939 268 0 0 25 0 1 0 183783788 526262272 127897 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 128482 127897 136 292 0 128187 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 513928 [startup+462.301 s] /proc/loadavg: 1.07 1.03 1.00 2/65 9671 /proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=587476 CPUtime=462.04 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 147406 0 0 0 45905 299 0 0 25 0 1 0 183783788 601575424 146275 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 146869 146275 136 292 0 146574 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 587476 [startup+522.301 s] /proc/loadavg: 1.07 1.04 1.00 2/65 9671 /proc/meminfo: memFree=1226104/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=624112 CPUtime=522.01 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 156532 0 0 0 51873 328 0 0 25 0 1 0 183783788 639090688 155401 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 156028 155401 136 292 0 155733 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 624112 [startup+582.301 s] /proc/loadavg: 1.06 1.04 1.00 2/65 9671 /proc/meminfo: memFree=1226040/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=624112 CPUtime=581.98 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 156543 0 0 0 57851 347 0 0 25 0 1 0 183783788 639090688 155412 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 156028 155412 136 292 0 155733 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 624112 [startup+642.301 s] /proc/loadavg: 1.06 1.05 1.00 2/65 9671 /proc/meminfo: memFree=1225912/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=624112 CPUtime=641.96 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 156554 0 0 0 63831 365 0 0 25 0 1 0 183783788 639090688 155423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 156028 155423 136 292 0 155733 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 624112 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9671 /proc/meminfo: memFree=946104/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=903196 CPUtime=881.83 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 226378 0 0 0 87694 489 0 0 25 0 1 0 183783788 924872704 225247 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 225799 225247 136 292 0 225504 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 903196 [startup+942.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9671 /proc/meminfo: memFree=846072/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1003988 CPUtime=941.79 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 251548 0 0 0 93646 533 0 0 25 0 1 0 183783788 1028083712 250417 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 250997 250417 136 292 0 250702 0 Current children cumulated CPU time (s) 941.79 Current children cumulated vsize (KiB) 1003988 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=768248/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1081024 CPUtime=1001.76 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 270809 0 0 0 99614 562 0 0 25 0 1 0 183783788 1106968576 269678 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 270256 269678 136 292 0 269961 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 1081024 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=698936/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1150680 CPUtime=1061.73 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 288241 0 0 0 105581 592 0 0 25 0 1 0 183783788 1178296320 287110 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 287670 287110 136 292 0 287375 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 1150680 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=621752/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1227280 CPUtime=1121.7 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 307357 0 0 0 111542 628 0 0 25 0 1 0 183783788 1256734720 306226 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 306820 306226 136 292 0 306525 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 1227280 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=541752/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1307840 CPUtime=1181.68 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 327486 0 0 0 117508 660 0 0 25 0 1 0 183783788 1339228160 326355 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 326960 326355 136 292 0 326665 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 1307840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=467256/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1381276 CPUtime=1241.65 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 345839 0 0 0 123478 687 0 0 25 0 1 0 183783788 1414426624 344708 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 345319 344708 136 292 0 345024 0 Current children cumulated CPU time (s) 1241.65 Current children cumulated vsize (KiB) 1381276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=399096/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1448864 CPUtime=1301.62 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 362728 0 0 0 129446 716 0 0 25 0 1 0 183783788 1483636736 361597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 362216 361597 136 292 0 361921 0 Current children cumulated CPU time (s) 1301.62 Current children cumulated vsize (KiB) 1448864 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=316536/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1531992 CPUtime=1361.59 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 383499 0 0 0 135408 751 0 0 25 0 1 0 183783788 1568759808 382368 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 382998 382368 136 292 0 382703 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 1531992 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=241400/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1606484 CPUtime=1421.57 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 402092 0 0 0 141380 777 0 0 25 0 1 0 183783788 1645039616 400961 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 401621 400961 136 292 0 401326 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 1606484 [startup+1482.3 s] /proc/loadavg: 1.08 1.02 1.01 2/65 9671 /proc/meminfo: memFree=167480/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1681004 CPUtime=1481.53 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 420729 0 0 0 147344 809 0 0 25 0 1 0 183783788 1721348096 419598 1992294400 134512640 135709839 4294956240 18446744073709551615 135162244 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 420251 419598 136 292 0 419956 0 Current children cumulated CPU time (s) 1481.53 Current children cumulated vsize (KiB) 1681004 [startup+1542.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 9671 /proc/meminfo: memFree=159928/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1687624 CPUtime=1541.5 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 422388 0 0 0 153312 838 0 0 25 0 1 0 183783788 1728126976 421257 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 421906 421257 136 292 0 421611 0 Current children cumulated CPU time (s) 1541.5 Current children cumulated vsize (KiB) 1687624 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 9671 /proc/meminfo: memFree=159544/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1687624 CPUtime=1601.47 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 422484 0 0 0 159282 865 0 0 25 0 1 0 183783788 1728126976 421353 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 421906 421353 136 292 0 421611 0 Current children cumulated CPU time (s) 1601.47 Current children cumulated vsize (KiB) 1687624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=159416/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1687624 CPUtime=1661.44 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 422525 0 0 0 165261 883 0 0 25 0 1 0 183783788 1728126976 421394 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 421906 421394 136 292 0 421611 0 Current children cumulated CPU time (s) 1661.44 Current children cumulated vsize (KiB) 1687624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=159224/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1687624 CPUtime=1721.41 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 422555 0 0 0 171243 898 0 0 25 0 1 0 183783788 1728126976 421424 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 421906 421424 136 292 0 421611 0 Current children cumulated CPU time (s) 1721.41 Current children cumulated vsize (KiB) 1687624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=123832/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1723144 CPUtime=1781.39 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 431427 0 0 0 177209 930 0 0 25 0 1 0 183783788 1764499456 430296 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 430786 430296 136 292 0 430491 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (KiB) 1723144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=102456/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=1744044 CPUtime=1800.08 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4194304 436676 0 0 0 179065 943 0 0 25 0 1 0 183783788 1785901056 435545 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 436011 435545 136 292 0 435716 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1744044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9671 /proc/meminfo: memFree=102456/2055920 swapFree=4192812/4192956 [pid=9670] ppid=9668 vsize=0 CPUtime=1800.28 /proc/9670/stat : 9670 (wbo) R 9668 9670 9547 0 -1 4195332 436676 0 0 0 179065 963 0 0 25 0 1 0 183783788 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/9670/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.26 CPU time (s): 1800.34 CPU user time (s): 1790.65 CPU system time (s): 9.68653 CPU usage (%): 99.949 Max. virtual memory (cumulated for all children) (KiB): 1744044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.65 system time used= 9.68653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 436676 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= 5 involuntary context switches= 7238 runsolver used 2.28365 second user time and 4.33434 second system time The end
Begin job on node7 at 2009-06-16 16:17:10 IDJOB=1875602 IDBENCH=2209 IDSOLVER=698 FILE ID=node7/1875602-1245161830 PBS_JOBID= 9363840 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e2.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-1875602-1245161830/watcher-1875602-1245161830 -o /tmp/evaluation-result-1875602-1245161830/solver-1875602-1245161830 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875602-1245161830.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6af59dd0656451189b30414ce106135b RANDOM SEED=1987643054 node7.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.274 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.274 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: 1849504 kB Buffers: 41160 kB Cached: 95860 kB SwapCached: 0 kB Active: 41312 kB Inactive: 109604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849504 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2564 kB Writeback: 0 kB Mapped: 23716 kB Slab: 41496 kB Committed_AS: 159356 kB PageTables: 1444 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-1875602-1245161830.opb Free space on /tmp at the end= 66268 MiB End job on node7 at 2009-06-16 16:47:13