Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d2.opb |
MD5SUM | ccbbad891f18298525c42c78a48134ce |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 540 |
Best CPU time to get the best result obtained on this benchmark | 1799.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 540 |
Optimality of the best value was proved | NO |
Number of variables | 1860 |
Total number of constraints | 7477 |
Number of constraints which are clauses | 7477 |
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 | 1860 |
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 | 1860 |
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 | 1860 |
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-1875726-1245149525.opb. 0.00/0.00 c Instance file HOME/instance-1875726-1245149525.opb 0.00/0.00 c File size is 206551 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.03 s | 0.01/0.02 c | Number Variables: 1860 | 0.01/0.02 c | Number Clauses: 9337 | 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.028995 s Remaining CPU time: 1799.97 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.034994 s Remaining CPU time: 1799.97 s 0.01/0.04 c core #3 0.01/0.04 c Core size: 3 Core Weight: 1 Total Weight: 3 0.01/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 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.045993 s Remaining CPU time: 1799.95 s 0.01/0.05 c core #5 0.01/0.05 c Core size: 3 Core Weight: 1 Total Weight: 5 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 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.056991 s Remaining CPU time: 1799.94 s 0.01/0.06 c core #7 0.01/0.06 c Core size: 3 Core Weight: 1 Total Weight: 7 0.01/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 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.066989 s Remaining CPU time: 1799.93 s 0.01/0.07 c core #9 0.01/0.07 c Core size: 3 Core Weight: 1 Total Weight: 9 0.01/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 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.078987 s Remaining CPU time: 1799.92 s 0.01/0.08 c core #11 0.01/0.08 c Core size: 3 Core Weight: 1 Total Weight: 11 0.01/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.01/0.09 c core #12 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 12 0.01/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.01/0.09 c core #13 0.01/0.09 c Core size: 3 Core Weight: 1 Total Weight: 13 0.01/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.01/0.10 c core #14 0.01/0.10 c Core size: 3 Core Weight: 1 Total Weight: 14 0.01/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.10/0.10 c core #15 0.10/0.10 c Core size: 3 Core Weight: 1 Total Weight: 15 0.10/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #16 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 16 0.10/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.10/0.11 c core #17 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: 17 0.10/0.11 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #18 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 18 0.10/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #19 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: 19 0.10/0.12 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #20 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: 20 0.10/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.10/0.14 c core #21 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 21 0.10/0.14 c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #22 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: 22 0.10/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.10/0.15 c core #23 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 23 0.10/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #24 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: 24 0.10/0.15 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #25 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 25 0.10/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #26 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: 26 0.10/0.16 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #27 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 27 0.10/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #28 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 28 0.10/0.17 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #29 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: 29 0.10/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.10/0.19 c core #30 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: 30 0.10/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.10/0.19 c core #31 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: 31 0.10/0.19 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.20/0.20 c core #32 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 32 0.20/0.20 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.20/0.20 c core #33 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 33 0.20/0.20 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #34 0.20/0.21 c Core size: 3 Core Weight: 1 Total Weight: 34 0.20/0.21 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #35 0.20/0.21 c Core size: 3 Core Weight: 1 Total Weight: 35 0.20/0.21 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.20/0.22 c core #36 0.20/0.22 c Core size: 3 Core Weight: 1 Total Weight: 36 0.20/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.20/0.23 c core #37 0.20/0.23 c Core size: 3 Core Weight: 1 Total Weight: 37 0.20/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.20/0.23 c core #38 0.20/0.23 c Core size: 3 Core Weight: 1 Total Weight: 38 0.20/0.23 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.20/0.24 c core #39 0.20/0.24 c Core size: 3 Core Weight: 1 Total Weight: 39 0.20/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.20/0.24 c core #40 0.20/0.24 c Core size: 3 Core Weight: 1 Total Weight: 40 0.20/0.24 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.20/0.25 c core #41 0.20/0.25 c Core size: 3 Core Weight: 1 Total Weight: 41 0.20/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.20/0.25 c core #42 0.20/0.25 c Core size: 3 Core Weight: 1 Total Weight: 42 0.20/0.25 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.20/0.26 c core #43 0.20/0.26 c Core size: 3 Core Weight: 1 Total Weight: 43 0.20/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.20/0.27 c core #44 0.20/0.27 c Core size: 3 Core Weight: 1 Total Weight: 44 0.20/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.20/0.27 c core #45 0.20/0.27 c Core size: 3 Core Weight: 1 Total Weight: 45 0.20/0.27 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 0.20/0.28 c core #46 0.20/0.28 c Core size: 3 Core Weight: 1 Total Weight: 46 0.20/0.28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s 0.20/0.28 c core #47 0.20/0.28 c Core size: 3 Core Weight: 1 Total Weight: 47 0.20/0.28 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.20/0.29 c core #48 0.20/0.29 c Core size: 3 Core Weight: 1 Total Weight: 48 0.20/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.20/0.29 c core #49 0.20/0.29 c Core size: 3 Core Weight: 1 Total Weight: 49 0.20/0.29 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.30/0.30 c core #50 0.30/0.30 c Core size: 3 Core Weight: 1 Total Weight: 50 0.30/0.30 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.30/0.31 c core #51 0.30/0.31 c Core size: 3 Core Weight: 1 Total Weight: 51 0.30/0.31 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.30/0.31 c core #52 0.30/0.31 c Core size: 3 Core Weight: 1 Total Weight: 52 0.30/0.31 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.30/0.32 c core #53 0.30/0.32 c Core size: 3 Core Weight: 1 Total Weight: 53 0.30/0.32 c Elapsed CPU time: 0.320951 s Remaining CPU time: 1799.68 s 0.30/0.32 c core #54 0.30/0.32 c Core size: 3 Core Weight: 1 Total Weight: 54 0.30/0.32 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.30/0.33 c core #55 0.30/0.33 c Core size: 3 Core Weight: 1 Total Weight: 55 0.30/0.33 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.30/0.33 c core #56 0.30/0.33 c Core size: 3 Core Weight: 1 Total Weight: 56 0.30/0.33 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.30/0.34 c core #57 0.30/0.34 c Core size: 3 Core Weight: 1 Total Weight: 57 0.30/0.34 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.30/0.34 c core #58 0.30/0.34 c Core size: 3 Core Weight: 1 Total Weight: 58 0.30/0.34 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.30/0.35 c core #59 0.30/0.35 c Core size: 3 Core Weight: 1 Total Weight: 59 0.30/0.35 c Elapsed CPU time: 0.353946 s Remaining CPU time: 1799.65 s 0.30/0.36 c core #60 0.30/0.36 c Core size: 3 Core Weight: 1 Total Weight: 60 0.30/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.30/0.36 c core #61 0.30/0.36 c Core size: 3 Core Weight: 1 Total Weight: 61 0.30/0.36 c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s 0.30/0.37 c core #62 0.30/0.37 c Core size: 3 Core Weight: 1 Total Weight: 62 0.30/0.37 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.30/0.37 c core #63 0.30/0.37 c Core size: 3 Core Weight: 1 Total Weight: 63 0.30/0.37 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.30/0.38 c core #64 0.30/0.38 c Core size: 3 Core Weight: 1 Total Weight: 64 0.30/0.38 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.30/0.38 c core #65 0.30/0.38 c Core size: 3 Core Weight: 1 Total Weight: 65 0.30/0.38 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.30/0.39 c core #66 0.30/0.39 c Core size: 3 Core Weight: 1 Total Weight: 66 0.30/0.39 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 s 0.30/0.40 c core #67 0.30/0.40 c Core size: 3 Core Weight: 1 Total Weight: 67 0.30/0.40 c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s 0.40/0.40 c core #68 0.40/0.40 c Core size: 3 Core Weight: 1 Total Weight: 68 0.40/0.40 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.40/0.41 c core #69 0.40/0.41 c Core size: 3 Core Weight: 1 Total Weight: 69 0.40/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.40/0.41 c core #70 0.40/0.41 c Core size: 3 Core Weight: 1 Total Weight: 70 0.40/0.41 c Elapsed CPU time: 0.416936 s Remaining CPU time: 1799.58 s 0.40/0.42 c core #71 0.40/0.42 c Core size: 3 Core Weight: 1 Total Weight: 71 0.40/0.42 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.40/0.42 c core #72 0.40/0.42 c Core size: 3 Core Weight: 1 Total Weight: 72 0.40/0.42 c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s 0.40/0.43 c core #73 0.40/0.43 c Core size: 3 Core Weight: 1 Total Weight: 73 0.40/0.43 c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s 0.40/0.44 c core #74 0.40/0.44 c Core size: 3 Core Weight: 1 Total Weight: 74 0.40/0.44 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.40/0.44 c core #75 0.40/0.44 c Core size: 3 Core Weight: 1 Total Weight: 75 0.40/0.44 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.40/0.45 c core #76 0.40/0.45 c Core size: 3 Core Weight: 1 Total Weight: 76 0.40/0.45 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.40/0.45 c core #77 0.40/0.45 c Core size: 3 Core Weight: 1 Total Weight: 77 0.40/0.45 c Elapsed CPU time: 0.45693 s Remaining CPU time: 1799.54 s 0.40/0.46 c core #78 0.40/0.46 c Core size: 3 Core Weight: 1 Total Weight: 78 0.40/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.40/0.46 c core #79 0.40/0.46 c Core size: 3 Core Weight: 1 Total Weight: 79 0.40/0.46 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.40/0.47 c core #80 0.40/0.47 c Core size: 3 Core Weight: 1 Total Weight: 80 0.40/0.47 c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s 0.40/0.48 c core #81 0.40/0.48 c Core size: 9 Core Weight: 1 Total Weight: 81 0.40/0.48 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.40/0.48 c core #82 0.40/0.48 c Core size: 9 Core Weight: 1 Total Weight: 82 0.40/0.48 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.40/0.49 c core #83 0.40/0.49 c Core size: 9 Core Weight: 1 Total Weight: 83 0.40/0.49 c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s 0.40/0.49 c core #84 0.40/0.49 c Core size: 9 Core Weight: 1 Total Weight: 84 0.40/0.49 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.50/0.50 c core #85 0.50/0.50 c Core size: 9 Core Weight: 1 Total Weight: 85 0.50/0.50 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.50/0.51 c core #86 0.50/0.51 c Core size: 9 Core Weight: 1 Total Weight: 86 0.50/0.51 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.50/0.51 c core #87 0.50/0.51 c Core size: 9 Core Weight: 1 Total Weight: 87 0.50/0.51 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.50/0.52 c core #88 0.50/0.52 c Core size: 9 Core Weight: 1 Total Weight: 88 0.50/0.52 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.50/0.52 c core #89 0.50/0.52 c Core size: 9 Core Weight: 1 Total Weight: 89 0.50/0.52 c Elapsed CPU time: 0.526919 s Remaining CPU time: 1799.47 s 0.50/0.53 c core #90 0.50/0.53 c Core size: 9 Core Weight: 1 Total Weight: 90 0.50/0.53 c Elapsed CPU time: 0.532918 s Remaining CPU time: 1799.47 s 0.50/0.53 c core #91 0.50/0.53 c Core size: 11 Core Weight: 1 Total Weight: 91 0.50/0.53 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.50/0.54 c core #92 0.50/0.54 c Core size: 11 Core Weight: 1 Total Weight: 92 0.50/0.54 c Elapsed CPU time: 0.543917 s Remaining CPU time: 1799.46 s 0.50/0.55 c core #93 0.50/0.55 c Core size: 11 Core Weight: 1 Total Weight: 93 0.50/0.55 c Elapsed CPU time: 0.549916 s Remaining CPU time: 1799.45 s 0.50/0.55 c core #94 0.50/0.55 c Core size: 11 Core Weight: 1 Total Weight: 94 0.50/0.55 c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s 0.50/0.56 c core #95 0.50/0.56 c Core size: 11 Core Weight: 1 Total Weight: 95 0.50/0.56 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.50/0.56 c core #96 0.50/0.56 c Core size: 11 Core Weight: 1 Total Weight: 96 0.50/0.56 c Elapsed CPU time: 0.568913 s Remaining CPU time: 1799.43 s 0.50/0.57 c core #97 0.50/0.57 c Core size: 11 Core Weight: 1 Total Weight: 97 0.50/0.57 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.50/0.58 c core #98 0.50/0.58 c Core size: 11 Core Weight: 1 Total Weight: 98 0.50/0.58 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.50/0.58 c core #99 0.50/0.58 c Core size: 11 Core Weight: 1 Total Weight: 99 0.50/0.58 c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s 0.50/0.59 c core #100 0.50/0.59 c Core size: 11 Core Weight: 1 Total Weight: 100 0.50/0.59 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.50/0.60 c core #101 0.50/0.60 c Core size: 11 Core Weight: 1 Total Weight: 101 0.50/0.60 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 0.60/0.60 c core #102 0.60/0.60 c Core size: 11 Core Weight: 1 Total Weight: 102 0.60/0.60 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.60/0.61 c core #103 0.60/0.61 c Core size: 11 Core Weight: 1 Total Weight: 103 0.60/0.61 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.60/0.61 c core #104 0.60/0.61 c Core size: 11 Core Weight: 1 Total Weight: 104 0.60/0.61 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.60/0.62 c core #105 0.60/0.62 c Core size: 11 Core Weight: 1 Total Weight: 105 0.60/0.62 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.60/0.63 c core #106 0.60/0.63 c Core size: 11 Core Weight: 1 Total Weight: 106 0.60/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.60/0.63 c core #107 0.60/0.63 c Core size: 11 Core Weight: 1 Total Weight: 107 0.60/0.63 c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s 0.60/0.64 c core #108 0.60/0.64 c Core size: 11 Core Weight: 1 Total Weight: 108 0.60/0.64 c Elapsed CPU time: 0.642902 s Remaining CPU time: 1799.36 s 0.60/0.64 c core #109 0.60/0.64 c Core size: 11 Core Weight: 1 Total Weight: 109 0.60/0.64 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.60/0.65 c core #110 0.60/0.65 c Core size: 11 Core Weight: 1 Total Weight: 110 0.60/0.65 c Elapsed CPU time: 0.6559 s Remaining CPU time: 1799.34 s 0.60/0.66 c core #111 0.60/0.66 c Core size: 11 Core Weight: 1 Total Weight: 111 0.60/0.66 c Elapsed CPU time: 0.661899 s Remaining CPU time: 1799.34 s 0.60/0.66 c core #112 0.60/0.66 c Core size: 11 Core Weight: 1 Total Weight: 112 0.60/0.66 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.60/0.67 c core #113 0.60/0.67 c Core size: 11 Core Weight: 1 Total Weight: 113 0.60/0.67 c Elapsed CPU time: 0.673897 s Remaining CPU time: 1799.33 s 0.60/0.68 c core #114 0.60/0.68 c Core size: 11 Core Weight: 1 Total Weight: 114 0.60/0.68 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.60/0.68 c core #115 0.60/0.68 c Core size: 11 Core Weight: 1 Total Weight: 115 0.60/0.68 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.60/0.69 c core #116 0.60/0.69 c Core size: 11 Core Weight: 1 Total Weight: 116 0.60/0.69 c Elapsed CPU time: 0.692894 s Remaining CPU time: 1799.31 s 0.60/0.69 c core #117 0.60/0.69 c Core size: 11 Core Weight: 1 Total Weight: 117 0.60/0.69 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.70/0.70 c core #118 0.70/0.70 c Core size: 11 Core Weight: 1 Total Weight: 118 0.70/0.70 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.70/0.71 c core #119 0.70/0.71 c Core size: 11 Core Weight: 1 Total Weight: 119 0.70/0.71 c Elapsed CPU time: 0.711891 s Remaining CPU time: 1799.29 s 0.70/0.71 c core #120 0.70/0.71 c Core size: 11 Core Weight: 1 Total Weight: 120 0.70/0.71 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.70/0.72 c core #121 0.70/0.72 c Core size: 11 Core Weight: 1 Total Weight: 121 0.70/0.72 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.70/0.73 c core #122 0.70/0.73 c Core size: 11 Core Weight: 1 Total Weight: 122 0.70/0.73 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.70/0.73 c core #123 0.70/0.73 c Core size: 11 Core Weight: 1 Total Weight: 123 0.70/0.73 c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s 0.70/0.74 c core #124 0.70/0.74 c Core size: 11 Core Weight: 1 Total Weight: 124 0.70/0.74 c Elapsed CPU time: 0.743886 s Remaining CPU time: 1799.26 s 0.70/0.75 c core #125 0.70/0.75 c Core size: 11 Core Weight: 1 Total Weight: 125 0.70/0.75 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.70/0.75 c core #126 0.70/0.75 c Core size: 11 Core Weight: 1 Total Weight: 126 0.70/0.75 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.70/0.76 c core #127 0.70/0.76 c Core size: 11 Core Weight: 1 Total Weight: 127 0.70/0.76 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.70/0.77 c core #128 0.70/0.77 c Core size: 11 Core Weight: 1 Total Weight: 128 0.70/0.77 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.70/0.77 c core #129 0.70/0.77 c Core size: 11 Core Weight: 1 Total Weight: 129 0.70/0.77 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.70/0.78 c core #130 0.70/0.78 c Core size: 11 Core Weight: 1 Total Weight: 130 0.70/0.78 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.70/0.79 c core #131 0.70/0.79 c Core size: 11 Core Weight: 1 Total Weight: 131 0.70/0.79 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.70/0.79 c core #132 0.70/0.79 c Core size: 11 Core Weight: 1 Total Weight: 132 0.70/0.79 c Elapsed CPU time: 0.796878 s Remaining CPU time: 1799.2 s 0.80/0.80 c core #133 0.80/0.80 c Core size: 11 Core Weight: 1 Total Weight: 133 0.80/0.80 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.80/0.81 c core #134 0.80/0.81 c Core size: 11 Core Weight: 1 Total Weight: 134 0.80/0.81 c Elapsed CPU time: 0.809876 s Remaining CPU time: 1799.19 s 0.80/0.81 c core #135 0.80/0.81 c Core size: 11 Core Weight: 1 Total Weight: 135 0.80/0.81 c Elapsed CPU time: 0.815875 s Remaining CPU time: 1799.18 s 0.80/0.82 c core #136 0.80/0.82 c Core size: 11 Core Weight: 1 Total Weight: 136 0.80/0.82 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.80/0.82 c core #137 0.80/0.82 c Core size: 11 Core Weight: 1 Total Weight: 137 0.80/0.82 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.80/0.83 c core #138 0.80/0.83 c Core size: 11 Core Weight: 1 Total Weight: 138 0.80/0.83 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.80/0.84 c core #139 0.80/0.84 c Core size: 11 Core Weight: 1 Total Weight: 139 0.80/0.84 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.80/0.85 c core #140 0.80/0.85 c Core size: 11 Core Weight: 1 Total Weight: 140 0.80/0.85 c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s 0.80/0.85 c core #141 0.80/0.85 c Core size: 11 Core Weight: 1 Total Weight: 141 0.80/0.85 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.80/0.86 c core #142 0.80/0.86 c Core size: 11 Core Weight: 1 Total Weight: 142 0.80/0.86 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.80/0.87 c core #143 0.80/0.87 c Core size: 11 Core Weight: 1 Total Weight: 143 0.80/0.87 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.80/0.87 c core #144 0.80/0.87 c Core size: 11 Core Weight: 1 Total Weight: 144 0.80/0.87 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.80/0.88 c core #145 0.80/0.88 c Core size: 11 Core Weight: 1 Total Weight: 145 0.80/0.88 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.80/0.88 c core #146 0.80/0.88 c Core size: 11 Core Weight: 1 Total Weight: 146 0.80/0.88 c Elapsed CPU time: 0.888864 s Remaining CPU time: 1799.11 s 0.80/0.89 c core #147 0.80/0.89 c Core size: 11 Core Weight: 1 Total Weight: 147 0.80/0.89 c Elapsed CPU time: 0.895863 s Remaining CPU time: 1799.1 s 0.90/0.90 c core #148 0.90/0.90 c Core size: 11 Core Weight: 1 Total Weight: 148 0.90/0.90 c Elapsed CPU time: 0.902862 s Remaining CPU time: 1799.1 s 0.90/0.90 c core #149 0.90/0.90 c Core size: 11 Core Weight: 1 Total Weight: 149 0.90/0.90 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 0.90/0.91 c core #150 0.90/0.91 c Core size: 11 Core Weight: 1 Total Weight: 150 0.90/0.91 c Elapsed CPU time: 0.91586 s Remaining CPU time: 1799.08 s 0.90/0.92 c core #151 0.90/0.92 c Core size: 11 Core Weight: 1 Total Weight: 151 0.90/0.92 c Elapsed CPU time: 0.92086 s Remaining CPU time: 1799.08 s 0.90/0.93 c core #152 0.90/0.93 c Core size: 11 Core Weight: 1 Total Weight: 152 0.90/0.93 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.90/0.93 c core #153 0.90/0.93 c Core size: 11 Core Weight: 1 Total Weight: 153 0.90/0.93 c Elapsed CPU time: 0.934857 s Remaining CPU time: 1799.07 s 0.90/0.94 c core #154 0.90/0.94 c Core size: 11 Core Weight: 1 Total Weight: 154 0.90/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.90/0.95 c core #155 0.90/0.95 c Core size: 11 Core Weight: 1 Total Weight: 155 0.90/0.95 c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s 0.90/0.95 c core #156 0.90/0.95 c Core size: 11 Core Weight: 1 Total Weight: 156 0.90/0.95 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.90/0.96 c core #157 0.90/0.96 c Core size: 11 Core Weight: 1 Total Weight: 157 0.90/0.96 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.90/0.97 c core #158 0.90/0.97 c Core size: 11 Core Weight: 1 Total Weight: 158 0.90/0.97 c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s 0.90/0.97 c core #159 0.90/0.97 c Core size: 11 Core Weight: 1 Total Weight: 159 0.90/0.97 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.90/0.98 c core #160 0.90/0.98 c Core size: 11 Core Weight: 1 Total Weight: 160 0.90/0.98 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.90/0.99 c core #161 0.90/0.99 c Core size: 11 Core Weight: 1 Total Weight: 161 0.90/0.99 c Elapsed CPU time: 0.989849 s Remaining CPU time: 1799.01 s 0.90/1.00 c core #162 0.90/1.00 c Core size: 11 Core Weight: 1 Total Weight: 162 0.90/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 1.00/1.00 c core #163 1.00/1.00 c Core size: 11 Core Weight: 1 Total Weight: 163 1.00/1.00 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 1.00/1.01 c core #164 1.00/1.01 c Core size: 11 Core Weight: 1 Total Weight: 164 1.00/1.01 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #165 1.00/1.02 c Core size: 11 Core Weight: 1 Total Weight: 165 1.00/1.02 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 1.00/1.02 c core #166 1.00/1.02 c Core size: 11 Core Weight: 1 Total Weight: 166 1.00/1.02 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #167 1.00/1.03 c Core size: 11 Core Weight: 1 Total Weight: 167 1.00/1.03 c Elapsed CPU time: 1.03084 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #168 1.00/1.04 c Core size: 12 Core Weight: 1 Total Weight: 168 1.00/1.04 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 1.00/1.04 c core #169 1.00/1.04 c Core size: 20 Core Weight: 1 Total Weight: 169 1.00/1.04 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 1.00/1.05 c core #170 1.00/1.05 c Core size: 20 Core Weight: 1 Total Weight: 170 1.00/1.05 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #171 1.00/1.06 c Core size: 21 Core Weight: 1 Total Weight: 171 1.00/1.06 c Elapsed CPU time: 1.05884 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #172 1.00/1.07 c Core size: 19 Core Weight: 1 Total Weight: 172 1.00/1.07 c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s 1.00/1.07 c core #173 1.00/1.07 c Core size: 20 Core Weight: 1 Total Weight: 173 1.00/1.07 c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #174 1.00/1.08 c Core size: 20 Core Weight: 1 Total Weight: 174 1.00/1.08 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #175 1.00/1.09 c Core size: 21 Core Weight: 1 Total Weight: 175 1.00/1.09 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.00/1.09 c core #176 1.00/1.09 c Core size: 21 Core Weight: 1 Total Weight: 176 1.00/1.09 c Elapsed CPU time: 1.09483 s Remaining CPU time: 1798.91 s 1.10/1.10 c core #177 1.10/1.10 c Core size: 21 Core Weight: 1 Total Weight: 177 1.10/1.10 c Elapsed CPU time: 1.10183 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #178 1.10/1.11 c Core size: 21 Core Weight: 1 Total Weight: 178 1.10/1.11 c Elapsed CPU time: 1.10883 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #179 1.10/1.12 c Core size: 21 Core Weight: 1 Total Weight: 179 1.10/1.12 c Elapsed CPU time: 1.11583 s Remaining CPU time: 1798.88 s 1.10/1.12 c core #180 1.10/1.12 c Core size: 22 Core Weight: 1 Total Weight: 180 1.10/1.12 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #181 1.10/1.13 c Core size: 21 Core Weight: 1 Total Weight: 181 1.10/1.13 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #182 1.10/1.14 c Core size: 21 Core Weight: 1 Total Weight: 182 1.10/1.14 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #183 1.10/1.15 c Core size: 22 Core Weight: 1 Total Weight: 183 1.10/1.15 c Elapsed CPU time: 1.14583 s Remaining CPU time: 1798.85 s 1.10/1.15 c core #184 1.10/1.15 c Core size: 23 Core Weight: 1 Total Weight: 184 1.10/1.15 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #185 1.10/1.16 c Core size: 22 Core Weight: 1 Total Weight: 185 1.10/1.16 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #186 1.10/1.17 c Core size: 20 Core Weight: 1 Total Weight: 186 1.10/1.17 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #187 1.10/1.18 c Core size: 20 Core Weight: 1 Total Weight: 187 1.10/1.18 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #188 1.10/1.18 c Core size: 12 Core Weight: 1 Total Weight: 188 1.10/1.18 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #189 1.10/1.19 c Core size: 20 Core Weight: 1 Total Weight: 189 1.10/1.19 c Elapsed CPU time: 1.18982 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #190 1.19/1.20 c Core size: 20 Core Weight: 1 Total Weight: 190 1.19/1.20 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #191 1.19/1.21 c Core size: 21 Core Weight: 1 Total Weight: 191 1.19/1.21 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #192 1.19/1.21 c Core size: 19 Core Weight: 1 Total Weight: 192 1.19/1.21 c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #193 1.19/1.22 c Core size: 20 Core Weight: 1 Total Weight: 193 1.19/1.22 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #194 1.19/1.23 c Core size: 20 Core Weight: 1 Total Weight: 194 1.19/1.23 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #195 1.19/1.24 c Core size: 21 Core Weight: 1 Total Weight: 195 1.19/1.24 c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s 1.19/1.24 c core #196 1.19/1.24 c Core size: 21 Core Weight: 1 Total Weight: 196 1.19/1.24 c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #197 1.19/1.25 c Core size: 21 Core Weight: 1 Total Weight: 197 1.19/1.25 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #198 1.19/1.26 c Core size: 21 Core Weight: 1 Total Weight: 198 1.19/1.26 c Elapsed CPU time: 1.25881 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #199 1.19/1.27 c Core size: 21 Core Weight: 1 Total Weight: 199 1.19/1.27 c Elapsed CPU time: 1.26681 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #200 1.19/1.28 c Core size: 22 Core Weight: 1 Total Weight: 200 1.19/1.28 c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #201 1.19/1.28 c Core size: 21 Core Weight: 1 Total Weight: 201 1.19/1.28 c Elapsed CPU time: 1.28181 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #202 1.19/1.29 c Core size: 21 Core Weight: 1 Total Weight: 202 1.19/1.29 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #203 1.29/1.30 c Core size: 22 Core Weight: 1 Total Weight: 203 1.29/1.30 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #204 1.29/1.31 c Core size: 23 Core Weight: 1 Total Weight: 204 1.29/1.31 c Elapsed CPU time: 1.3058 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #205 1.29/1.32 c Core size: 22 Core Weight: 1 Total Weight: 205 1.29/1.32 c Elapsed CPU time: 1.3138 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #206 1.29/1.32 c Core size: 20 Core Weight: 1 Total Weight: 206 1.29/1.32 c Elapsed CPU time: 1.3218 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #207 1.29/1.33 c Core size: 20 Core Weight: 1 Total Weight: 207 1.29/1.33 c Elapsed CPU time: 1.3298 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #208 1.29/1.34 c Core size: 12 Core Weight: 1 Total Weight: 208 1.29/1.34 c Elapsed CPU time: 1.3388 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #209 1.29/1.35 c Core size: 20 Core Weight: 1 Total Weight: 209 1.29/1.35 c Elapsed CPU time: 1.3458 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #210 1.29/1.36 c Core size: 20 Core Weight: 1 Total Weight: 210 1.29/1.36 c Elapsed CPU time: 1.35479 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #211 1.29/1.36 c Core size: 21 Core Weight: 1 Total Weight: 211 1.29/1.36 c Elapsed CPU time: 1.36279 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #212 1.29/1.37 c Core size: 19 Core Weight: 1 Total Weight: 212 1.29/1.37 c Elapsed CPU time: 1.37179 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #213 1.29/1.38 c Core size: 20 Core Weight: 1 Total Weight: 213 1.29/1.38 c Elapsed CPU time: 1.37979 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #214 1.29/1.39 c Core size: 20 Core Weight: 1 Total Weight: 214 1.29/1.39 c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #215 1.39/1.40 c Core size: 21 Core Weight: 1 Total Weight: 215 1.39/1.40 c Elapsed CPU time: 1.39679 s Remaining CPU time: 1798.6 s 1.39/1.41 c core #216 1.39/1.41 c Core size: 21 Core Weight: 1 Total Weight: 216 1.39/1.41 c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #217 1.39/1.42 c Core size: 21 Core Weight: 1 Total Weight: 217 1.39/1.42 c Elapsed CPU time: 1.41379 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #218 1.39/1.42 c Core size: 21 Core Weight: 1 Total Weight: 218 1.39/1.42 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #219 1.39/1.43 c Core size: 21 Core Weight: 1 Total Weight: 219 1.39/1.43 c Elapsed CPU time: 1.43078 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #220 1.39/1.44 c Core size: 22 Core Weight: 1 Total Weight: 220 1.39/1.44 c Elapsed CPU time: 1.43878 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #221 1.39/1.45 c Core size: 21 Core Weight: 1 Total Weight: 221 1.39/1.45 c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s 1.39/1.46 c core #222 1.39/1.46 c Core size: 21 Core Weight: 1 Total Weight: 222 1.39/1.46 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #223 1.39/1.47 c Core size: 22 Core Weight: 1 Total Weight: 223 1.39/1.47 c Elapsed CPU time: 1.46478 s Remaining CPU time: 1798.54 s 1.39/1.48 c core #224 1.39/1.48 c Core size: 23 Core Weight: 1 Total Weight: 224 1.39/1.48 c Elapsed CPU time: 1.47378 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #225 1.39/1.48 c Core size: 22 Core Weight: 1 Total Weight: 225 1.39/1.48 c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #226 1.39/1.49 c Core size: 20 Core Weight: 1 Total Weight: 226 1.39/1.49 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.50 c core #227 1.49/1.50 c Core size: 20 Core Weight: 1 Total Weight: 227 1.49/1.50 c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s 1.49/1.51 c core #228 1.49/1.51 c Core size: 12 Core Weight: 1 Total Weight: 228 1.49/1.51 c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s 1.49/1.52 c core #229 1.49/1.52 c Core size: 20 Core Weight: 1 Total Weight: 229 1.49/1.52 c Elapsed CPU time: 1.51877 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #230 1.49/1.53 c Core size: 20 Core Weight: 1 Total Weight: 230 1.49/1.53 c Elapsed CPU time: 1.52777 s Remaining CPU time: 1798.47 s 1.49/1.54 c core #231 1.49/1.54 c Core size: 21 Core Weight: 1 Total Weight: 231 1.49/1.54 c Elapsed CPU time: 1.53677 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #232 1.49/1.55 c Core size: 19 Core Weight: 1 Total Weight: 232 1.49/1.55 c Elapsed CPU time: 1.54576 s Remaining CPU time: 1798.45 s 1.49/1.56 c core #233 1.49/1.56 c Core size: 20 Core Weight: 1 Total Weight: 233 1.49/1.56 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #234 1.49/1.57 c Core size: 20 Core Weight: 1 Total Weight: 234 1.49/1.57 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.58 c core #235 1.49/1.58 c Core size: 21 Core Weight: 1 Total Weight: 235 1.49/1.58 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.49/1.58 c core #236 1.49/1.58 c Core size: 21 Core Weight: 1 Total Weight: 236 1.49/1.58 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.49/1.59 c core #237 1.49/1.59 c Core size: 21 Core Weight: 1 Total Weight: 237 1.49/1.59 c Elapsed CPU time: 1.59176 s Remaining CPU time: 1798.41 s 1.59/1.60 c core #238 1.59/1.60 c Core size: 21 Core Weight: 1 Total Weight: 238 1.59/1.60 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #239 1.59/1.61 c Core size: 21 Core Weight: 1 Total Weight: 239 1.59/1.61 c Elapsed CPU time: 1.61076 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #240 1.59/1.62 c Core size: 22 Core Weight: 1 Total Weight: 240 1.59/1.62 c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s 1.59/1.63 c core #241 1.59/1.63 c Core size: 21 Core Weight: 1 Total Weight: 241 1.59/1.63 c Elapsed CPU time: 1.62975 s Remaining CPU time: 1798.37 s 1.59/1.64 c core #242 1.59/1.64 c Core size: 21 Core Weight: 1 Total Weight: 242 1.59/1.64 c Elapsed CPU time: 1.63875 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #243 1.59/1.65 c Core size: 22 Core Weight: 1 Total Weight: 243 1.59/1.65 c Elapsed CPU time: 1.64875 s Remaining CPU time: 1798.35 s 1.59/1.66 c core #244 1.59/1.66 c Core size: 23 Core Weight: 1 Total Weight: 244 1.59/1.66 c Elapsed CPU time: 1.65775 s Remaining CPU time: 1798.34 s 1.59/1.67 c core #245 1.59/1.67 c Core size: 22 Core Weight: 1 Total Weight: 245 1.59/1.67 c Elapsed CPU time: 1.66775 s Remaining CPU time: 1798.33 s 1.59/1.68 c core #246 1.59/1.68 c Core size: 20 Core Weight: 1 Total Weight: 246 1.59/1.68 c Elapsed CPU time: 1.67674 s Remaining CPU time: 1798.32 s 1.59/1.69 c core #247 1.59/1.69 c Core size: 20 Core Weight: 1 Total Weight: 247 1.59/1.69 c Elapsed CPU time: 1.68674 s Remaining CPU time: 1798.31 s 1.69/1.70 c core #248 1.69/1.70 c Core size: 12 Core Weight: 1 Total Weight: 248 1.69/1.70 c Elapsed CPU time: 1.69574 s Remaining CPU time: 1798.3 s 1.69/1.71 c core #249 1.69/1.71 c Core size: 20 Core Weight: 1 Total Weight: 249 1.69/1.71 c Elapsed CPU time: 1.70574 s Remaining CPU time: 1798.29 s 1.69/1.72 c core #250 1.69/1.72 c Core size: 20 Core Weight: 1 Total Weight: 250 1.69/1.72 c Elapsed CPU time: 1.71474 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #251 1.69/1.73 c Core size: 21 Core Weight: 1 Total Weight: 251 1.69/1.73 c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #252 1.69/1.74 c Core size: 19 Core Weight: 1 Total Weight: 252 1.69/1.74 c Elapsed CPU time: 1.73474 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #253 1.69/1.75 c Core size: 20 Core Weight: 1 Total Weight: 253 1.69/1.75 c Elapsed CPU time: 1.74473 s Remaining CPU time: 1798.26 s 1.69/1.76 c core #254 1.69/1.76 c Core size: 20 Core Weight: 1 Total Weight: 254 1.69/1.76 c Elapsed CPU time: 1.75473 s Remaining CPU time: 1798.25 s 1.69/1.77 c core #255 1.69/1.77 c Core size: 21 Core Weight: 1 Total Weight: 255 1.69/1.77 c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #256 1.69/1.78 c Core size: 21 Core Weight: 1 Total Weight: 256 1.69/1.78 c Elapsed CPU time: 1.77473 s Remaining CPU time: 1798.23 s 1.69/1.79 c core #257 1.69/1.79 c Core size: 21 Core Weight: 1 Total Weight: 257 1.69/1.79 c Elapsed CPU time: 1.78473 s Remaining CPU time: 1798.22 s 1.69/1.80 c core #258 1.69/1.80 c Core size: 21 Core Weight: 1 Total Weight: 258 1.69/1.80 c Elapsed CPU time: 1.79473 s Remaining CPU time: 1798.21 s 1.79/1.81 c core #259 1.79/1.81 c Core size: 21 Core Weight: 1 Total Weight: 259 1.79/1.81 c Elapsed CPU time: 1.80472 s Remaining CPU time: 1798.2 s 1.79/1.82 c core #260 1.79/1.82 c Core size: 22 Core Weight: 1 Total Weight: 260 1.79/1.82 c Elapsed CPU time: 1.81472 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #261 1.79/1.83 c Core size: 21 Core Weight: 1 Total Weight: 261 1.79/1.83 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #262 1.79/1.84 c Core size: 21 Core Weight: 1 Total Weight: 262 1.79/1.84 c Elapsed CPU time: 1.83472 s Remaining CPU time: 1798.17 s 1.79/1.85 c core #263 1.79/1.85 c Core size: 22 Core Weight: 1 Total Weight: 263 1.79/1.85 c Elapsed CPU time: 1.84472 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #264 1.79/1.86 c Core size: 23 Core Weight: 1 Total Weight: 264 1.79/1.86 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #265 1.79/1.87 c Core size: 22 Core Weight: 1 Total Weight: 265 1.79/1.87 c Elapsed CPU time: 1.86472 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #266 1.79/1.88 c Core size: 20 Core Weight: 1 Total Weight: 266 1.79/1.88 c Elapsed CPU time: 1.87472 s Remaining CPU time: 1798.13 s 1.79/1.89 c core #267 1.79/1.89 c Core size: 20 Core Weight: 1 Total Weight: 267 1.79/1.89 c Elapsed CPU time: 1.88471 s Remaining CPU time: 1798.12 s 1.79/1.90 c core #268 1.79/1.90 c Core size: 12 Core Weight: 1 Total Weight: 268 1.79/1.90 c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #269 1.89/1.91 c Core size: 20 Core Weight: 1 Total Weight: 269 1.89/1.91 c Elapsed CPU time: 1.90471 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #270 1.89/1.92 c Core size: 20 Core Weight: 1 Total Weight: 270 1.89/1.92 c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s 1.89/1.93 c core #271 1.89/1.93 c Core size: 21 Core Weight: 1 Total Weight: 271 1.89/1.93 c Elapsed CPU time: 1.92571 s Remaining CPU time: 1798.07 s 1.89/1.94 c core #272 1.89/1.94 c Core size: 19 Core Weight: 1 Total Weight: 272 1.89/1.94 c Elapsed CPU time: 1.93571 s Remaining CPU time: 1798.06 s 1.89/1.95 c core #273 1.89/1.95 c Core size: 20 Core Weight: 1 Total Weight: 273 1.89/1.95 c Elapsed CPU time: 1.9467 s Remaining CPU time: 1798.05 s 1.89/1.96 c core #274 1.89/1.96 c Core size: 20 Core Weight: 1 Total Weight: 274 1.89/1.96 c Elapsed CPU time: 1.9567 s Remaining CPU time: 1798.04 s 1.89/1.97 c core #275 1.89/1.97 c Core size: 21 Core Weight: 1 Total Weight: 275 1.89/1.97 c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s 1.89/1.98 c core #276 1.89/1.98 c Core size: 21 Core Weight: 1 Total Weight: 276 1.89/1.98 c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #277 1.89/1.99 c Core size: 21 Core Weight: 1 Total Weight: 277 1.89/1.99 c Elapsed CPU time: 1.9897 s Remaining CPU time: 1798.01 s 1.99/2.00 c core #278 1.99/2.00 c Core size: 21 Core Weight: 1 Total Weight: 278 1.99/2.00 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.01 c core #279 1.99/2.01 c Core size: 21 Core Weight: 1 Total Weight: 279 1.99/2.01 c Elapsed CPU time: 2.00969 s Remaining CPU time: 1797.99 s 1.99/2.02 c core #280 1.99/2.02 c Core size: 22 Core Weight: 1 Total Weight: 280 1.99/2.02 c Elapsed CPU time: 2.02069 s Remaining CPU time: 1797.98 s 1.99/2.03 c core #281 1.99/2.03 c Core size: 21 Core Weight: 1 Total Weight: 281 1.99/2.03 c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s 1.99/2.04 c core #282 1.99/2.04 c Core size: 21 Core Weight: 1 Total Weight: 282 1.99/2.04 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #283 1.99/2.06 c Core size: 22 Core Weight: 1 Total Weight: 283 1.99/2.06 c Elapsed CPU time: 2.05269 s Remaining CPU time: 1797.95 s 1.99/2.07 c core #284 1.99/2.07 c Core size: 23 Core Weight: 1 Total Weight: 284 1.99/2.07 c Elapsed CPU time: 2.06269 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #285 1.99/2.08 c Core size: 22 Core Weight: 1 Total Weight: 285 1.99/2.08 c Elapsed CPU time: 2.07368 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #286 1.99/2.09 c Core size: 20 Core Weight: 1 Total Weight: 286 1.99/2.09 c Elapsed CPU time: 2.08468 s Remaining CPU time: 1797.92 s 1.99/2.10 c core #287 1.99/2.10 c Core size: 20 Core Weight: 1 Total Weight: 287 1.99/2.10 c Elapsed CPU time: 2.09568 s Remaining CPU time: 1797.9 s 2.09/2.11 c core #288 2.09/2.11 c Core size: 12 Core Weight: 1 Total Weight: 288 2.09/2.11 c Elapsed CPU time: 2.10668 s Remaining CPU time: 1797.89 s 2.09/2.12 c core #289 2.09/2.12 c Core size: 20 Core Weight: 1 Total Weight: 289 2.09/2.12 c Elapsed CPU time: 2.11768 s Remaining CPU time: 1797.88 s 2.09/2.13 c core #290 2.09/2.13 c Core size: 20 Core Weight: 1 Total Weight: 290 2.09/2.13 c Elapsed CPU time: 2.12868 s Remaining CPU time: 1797.87 s 2.09/2.14 c core #291 2.09/2.14 c Core size: 21 Core Weight: 1 Total Weight: 291 2.09/2.14 c Elapsed CPU time: 2.14067 s Remaining CPU time: 1797.86 s 2.09/2.15 c core #292 2.09/2.15 c Core size: 19 Core Weight: 1 Total Weight: 292 2.09/2.15 c Elapsed CPU time: 2.15167 s Remaining CPU time: 1797.85 s 2.09/2.17 c core #293 2.09/2.17 c Core size: 20 Core Weight: 1 Total Weight: 293 2.09/2.17 c Elapsed CPU time: 2.16367 s Remaining CPU time: 1797.84 s 2.09/2.18 c core #294 2.09/2.18 c Core size: 20 Core Weight: 1 Total Weight: 294 2.09/2.18 c Elapsed CPU time: 2.17467 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #295 2.09/2.19 c Core size: 21 Core Weight: 1 Total Weight: 295 2.09/2.19 c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s 2.19/2.20 c core #296 2.19/2.20 c Core size: 21 Core Weight: 1 Total Weight: 296 2.19/2.20 c Elapsed CPU time: 2.19867 s Remaining CPU time: 1797.8 s 2.19/2.21 c core #297 2.19/2.21 c Core size: 21 Core Weight: 1 Total Weight: 297 2.19/2.21 c Elapsed CPU time: 2.20966 s Remaining CPU time: 1797.79 s 2.19/2.22 c core #298 2.19/2.22 c Core size: 21 Core Weight: 1 Total Weight: 298 2.19/2.22 c Elapsed CPU time: 2.22166 s Remaining CPU time: 1797.78 s 2.19/2.24 c core #299 2.19/2.24 c Core size: 21 Core Weight: 1 Total Weight: 299 2.19/2.24 c Elapsed CPU time: 2.23266 s Remaining CPU time: 1797.77 s 2.19/2.25 c core #300 2.19/2.25 c Core size: 22 Core Weight: 1 Total Weight: 300 2.19/2.25 c Elapsed CPU time: 2.24366 s Remaining CPU time: 1797.76 s 2.19/2.26 c core #301 2.19/2.26 c Core size: 21 Core Weight: 1 Total Weight: 301 2.19/2.26 c Elapsed CPU time: 2.25466 s Remaining CPU time: 1797.75 s 2.19/2.27 c core #302 2.19/2.27 c Core size: 21 Core Weight: 1 Total Weight: 302 2.19/2.27 c Elapsed CPU time: 2.26565 s Remaining CPU time: 1797.73 s 2.19/2.28 c core #303 2.19/2.28 c Core size: 22 Core Weight: 1 Total Weight: 303 2.19/2.28 c Elapsed CPU time: 2.27665 s Remaining CPU time: 1797.72 s 2.19/2.29 c core #304 2.19/2.29 c Core size: 23 Core Weight: 1 Total Weight: 304 2.19/2.29 c Elapsed CPU time: 2.28765 s Remaining CPU time: 1797.71 s 2.29/2.30 c core #305 2.29/2.30 c Core size: 22 Core Weight: 1 Total Weight: 305 2.29/2.30 c Elapsed CPU time: 2.29865 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #306 2.29/2.32 c Core size: 20 Core Weight: 1 Total Weight: 306 2.29/2.32 c Elapsed CPU time: 2.31065 s Remaining CPU time: 1797.69 s 2.29/2.33 c core #307 2.29/2.33 c Core size: 20 Core Weight: 1 Total Weight: 307 2.29/2.33 c Elapsed CPU time: 2.32265 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #308 2.29/2.34 c Core size: 12 Core Weight: 1 Total Weight: 308 2.29/2.34 c Elapsed CPU time: 2.33465 s Remaining CPU time: 1797.67 s 2.29/2.35 c core #309 2.29/2.35 c Core size: 20 Core Weight: 1 Total Weight: 309 2.29/2.35 c Elapsed CPU time: 2.34664 s Remaining CPU time: 1797.65 s 2.29/2.36 c core #310 2.29/2.36 c Core size: 20 Core Weight: 1 Total Weight: 310 2.29/2.36 c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #311 2.29/2.38 c Core size: 21 Core Weight: 1 Total Weight: 311 2.29/2.38 c Elapsed CPU time: 2.37064 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #312 2.29/2.39 c Core size: 19 Core Weight: 1 Total Weight: 312 2.29/2.39 c Elapsed CPU time: 2.38264 s Remaining CPU time: 1797.62 s 2.39/2.40 c core #313 2.39/2.40 c Core size: 20 Core Weight: 1 Total Weight: 313 2.39/2.40 c Elapsed CPU time: 2.39464 s Remaining CPU time: 1797.61 s 2.39/2.41 c core #314 2.39/2.41 c Core size: 20 Core Weight: 1 Total Weight: 314 2.39/2.41 c Elapsed CPU time: 2.40663 s Remaining CPU time: 1797.59 s 2.39/2.42 c core #315 2.39/2.42 c Core size: 21 Core Weight: 1 Total Weight: 315 2.39/2.42 c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s 2.39/2.44 c core #316 2.39/2.44 c Core size: 21 Core Weight: 1 Total Weight: 316 2.39/2.44 c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s 2.39/2.45 c core #317 2.39/2.45 c Core size: 21 Core Weight: 1 Total Weight: 317 2.39/2.45 c Elapsed CPU time: 2.44063 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #318 2.39/2.46 c Core size: 21 Core Weight: 1 Total Weight: 318 2.39/2.46 c Elapsed CPU time: 2.45263 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #319 2.39/2.47 c Core size: 21 Core Weight: 1 Total Weight: 319 2.39/2.47 c Elapsed CPU time: 2.46462 s Remaining CPU time: 1797.54 s 2.39/2.48 c core #320 2.39/2.48 c Core size: 22 Core Weight: 1 Total Weight: 320 2.39/2.48 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.48/2.50 c core #321 2.48/2.50 c Core size: 21 Core Weight: 1 Total Weight: 321 2.48/2.50 c Elapsed CPU time: 2.48962 s Remaining CPU time: 1797.51 s 2.48/2.51 c core #322 2.48/2.51 c Core size: 21 Core Weight: 1 Total Weight: 322 2.48/2.51 c Elapsed CPU time: 2.50162 s Remaining CPU time: 1797.5 s 2.48/2.52 c core #323 2.48/2.52 c Core size: 22 Core Weight: 1 Total Weight: 323 2.48/2.52 c Elapsed CPU time: 2.51362 s Remaining CPU time: 1797.49 s 2.48/2.53 c core #324 2.48/2.53 c Core size: 23 Core Weight: 1 Total Weight: 324 2.48/2.53 c Elapsed CPU time: 2.52562 s Remaining CPU time: 1797.47 s 2.48/2.55 c core #325 2.48/2.55 c Core size: 22 Core Weight: 1 Total Weight: 325 2.48/2.55 c Elapsed CPU time: 2.53761 s Remaining CPU time: 1797.46 s 2.48/2.56 c core #326 2.48/2.56 c Core size: 20 Core Weight: 1 Total Weight: 326 2.48/2.56 c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s 2.48/2.57 c core #327 2.48/2.57 c Core size: 20 Core Weight: 1 Total Weight: 327 2.48/2.57 c Elapsed CPU time: 2.56161 s Remaining CPU time: 1797.44 s 2.48/2.58 c core #328 2.48/2.58 c Core size: 12 Core Weight: 1 Total Weight: 328 2.48/2.87 c Elapsed CPU time: 2.57361 s Remaining CPU time: 1797.43 s 2.48/2.87 c core #329 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 329 2.48/2.87 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.48/2.87 c core #330 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 330 2.48/2.87 c Elapsed CPU time: 2.59761 s Remaining CPU time: 1797.4 s 2.48/2.87 c core #331 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 331 2.48/2.87 c Elapsed CPU time: 2.6096 s Remaining CPU time: 1797.39 s 2.48/2.87 c core #332 2.48/2.87 c Core size: 19 Core Weight: 1 Total Weight: 332 2.48/2.87 c Elapsed CPU time: 2.6216 s Remaining CPU time: 1797.38 s 2.48/2.87 c core #333 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 333 2.48/2.87 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.48/2.87 c core #334 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 334 2.48/2.87 c Elapsed CPU time: 2.6456 s Remaining CPU time: 1797.35 s 2.48/2.87 c core #335 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 335 2.48/2.87 c Elapsed CPU time: 2.6576 s Remaining CPU time: 1797.34 s 2.48/2.87 c core #336 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 336 2.48/2.87 c Elapsed CPU time: 2.67059 s Remaining CPU time: 1797.33 s 2.48/2.87 c core #337 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 337 2.48/2.87 c Elapsed CPU time: 2.68259 s Remaining CPU time: 1797.32 s 2.48/2.87 c core #338 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 338 2.48/2.87 c Elapsed CPU time: 2.69459 s Remaining CPU time: 1797.31 s 2.48/2.87 c core #339 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 339 2.48/2.87 c Elapsed CPU time: 2.70659 s Remaining CPU time: 1797.29 s 2.48/2.87 c core #340 2.48/2.87 c Core size: 22 Core Weight: 1 Total Weight: 340 2.48/2.87 c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s 2.48/2.87 c core #341 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 341 2.48/2.87 c Elapsed CPU time: 2.73158 s Remaining CPU time: 1797.27 s 2.48/2.87 c core #342 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 342 2.48/2.87 c Elapsed CPU time: 2.74358 s Remaining CPU time: 1797.26 s 2.48/2.87 c core #343 2.48/2.87 c Core size: 22 Core Weight: 1 Total Weight: 343 2.48/2.87 c Elapsed CPU time: 2.75558 s Remaining CPU time: 1797.24 s 2.48/2.87 c core #344 2.48/2.87 c Core size: 23 Core Weight: 1 Total Weight: 344 2.48/2.87 c Elapsed CPU time: 2.76758 s Remaining CPU time: 1797.23 s 2.48/2.87 c core #345 2.48/2.87 c Core size: 22 Core Weight: 1 Total Weight: 345 2.48/2.87 c Elapsed CPU time: 2.78058 s Remaining CPU time: 1797.22 s 2.48/2.87 c core #346 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 346 2.48/2.87 c Elapsed CPU time: 2.79258 s Remaining CPU time: 1797.21 s 2.48/2.87 c core #347 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 347 2.48/2.87 c Elapsed CPU time: 2.80557 s Remaining CPU time: 1797.19 s 2.48/2.87 c core #348 2.48/2.87 c Core size: 12 Core Weight: 1 Total Weight: 348 2.48/2.87 c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s 2.48/2.87 c core #349 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 349 2.48/2.87 c Elapsed CPU time: 2.83057 s Remaining CPU time: 1797.17 s 2.48/2.87 c core #350 2.48/2.87 c Core size: 20 Core Weight: 1 Total Weight: 350 2.48/2.87 c Elapsed CPU time: 2.84357 s Remaining CPU time: 1797.16 s 2.48/2.87 c core #351 2.48/2.87 c Core size: 21 Core Weight: 1 Total Weight: 351 2.48/2.87 c Elapsed CPU time: 2.85556 s Remaining CPU time: 1797.14 s 2.48/2.88 c core #352 2.48/2.88 c Core size: 19 Core Weight: 1 Total Weight: 352 2.48/2.88 c Elapsed CPU time: 2.86956 s Remaining CPU time: 1797.13 s 2.48/2.89 c core #353 2.48/2.89 c Core size: 20 Core Weight: 1 Total Weight: 353 2.48/2.89 c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s 2.48/2.90 c core #354 2.48/2.90 c Core size: 20 Core Weight: 1 Total Weight: 354 2.48/2.91 c Elapsed CPU time: 2.89456 s Remaining CPU time: 1797.11 s 2.48/2.92 c core #355 2.48/2.92 c Core size: 21 Core Weight: 1 Total Weight: 355 2.48/2.92 c Elapsed CPU time: 2.90656 s Remaining CPU time: 1797.09 s 2.48/2.93 c core #356 2.48/2.93 c Core size: 21 Core Weight: 1 Total Weight: 356 2.48/2.93 c Elapsed CPU time: 2.91856 s Remaining CPU time: 1797.08 s 2.48/2.94 c core #357 2.48/2.94 c Core size: 21 Core Weight: 1 Total Weight: 357 2.48/2.94 c Elapsed CPU time: 2.93155 s Remaining CPU time: 1797.07 s 2.48/2.96 c core #358 2.48/2.96 c Core size: 21 Core Weight: 1 Total Weight: 358 2.48/2.96 c Elapsed CPU time: 2.94455 s Remaining CPU time: 1797.06 s 2.48/2.97 c core #359 2.48/2.97 c Core size: 21 Core Weight: 1 Total Weight: 359 2.48/2.97 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.48/2.98 c core #360 2.48/2.98 c Core size: 22 Core Weight: 1 Total Weight: 360 2.48/2.98 c Elapsed CPU time: 2.97055 s Remaining CPU time: 1797.03 s 2.48/3.00 c core #361 2.48/3.00 c Core size: 21 Core Weight: 1 Total Weight: 361 2.48/3.00 c Elapsed CPU time: 2.98355 s Remaining CPU time: 1797.02 s 2.48/3.01 c core #362 2.48/3.01 c Core size: 21 Core Weight: 1 Total Weight: 362 2.48/3.01 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 2.48/3.02 c core #363 2.48/3.02 c Core size: 22 Core Weight: 1 Total Weight: 363 2.48/3.02 c Elapsed CPU time: 3.01054 s Remaining CPU time: 1796.99 s 2.63/3.04 c core #364 2.63/3.04 c Core size: 23 Core Weight: 1 Total Weight: 364 2.63/3.04 c Elapsed CPU time: 3.02354 s Remaining CPU time: 1796.98 s 2.63/3.05 c core #365 2.63/3.05 c Core size: 22 Core Weight: 1 Total Weight: 365 2.63/3.05 c Elapsed CPU time: 3.03654 s Remaining CPU time: 1796.96 s 2.63/3.06 c core #366 2.63/3.06 c Core size: 20 Core Weight: 1 Total Weight: 366 2.63/3.06 c Elapsed CPU time: 3.05054 s Remaining CPU time: 1796.95 s 2.63/3.08 c core #367 2.63/3.08 c Core size: 20 Core Weight: 1 Total Weight: 367 2.63/3.08 c Elapsed CPU time: 3.06453 s Remaining CPU time: 1796.94 s 2.63/3.09 c core #368 2.63/3.09 c Core size: 211 Core Weight: 1 Total Weight: 368 2.63/3.09 c Elapsed CPU time: 3.07853 s Remaining CPU time: 1796.92 s 2.63/3.11 c ============================[ Search Statistics ]============================== 2.63/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.63/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.63/3.11 c =============================================================================== 2.63/3.11 c | 0 | 3680 9705 22430 | 5000 0 nan | 0.000 % | 2.63/3.11 c =============================================================================== 2.63/3.11 c core #369 2.63/3.11 c Core size: 15 Core Weight: 1 Total Weight: 369 2.63/3.11 c Elapsed CPU time: 3.09153 s Remaining CPU time: 1796.91 s 2.63/3.12 c ============================[ Search Statistics ]============================== 2.63/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.63/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.63/3.12 c =============================================================================== 2.63/3.12 c | 0 | 3687 9706 22444 | 5000 0 nan | 0.000 % | 2.63/3.12 c =============================================================================== 2.63/3.12 c core #370 2.63/3.12 c Core size: 13 Core Weight: 1 Total Weight: 370 2.63/3.12 c Elapsed CPU time: 3.10653 s Remaining CPU time: 1796.89 s 2.63/3.13 c ============================[ Search Statistics ]============================== 2.63/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.63/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.63/3.14 c =============================================================================== 2.63/3.14 c | 0 | 3693 9707 22456 | 5000 0 nan | 0.000 % | 2.63/3.14 c =============================================================================== 2.63/3.14 c core #371 2.63/3.14 c Core size: 34 Core Weight: 1 Total Weight: 371 2.63/3.14 c Elapsed CPU time: 3.12153 s Remaining CPU time: 1796.88 s 2.63/3.15 c ============================[ Search Statistics ]============================== 2.63/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.63/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.63/3.15 c =============================================================================== 2.63/3.15 c | 0 | 3702 9708 22474 | 5000 0 nan | 0.000 % | 2.63/3.15 c =============================================================================== 2.63/3.15 c core #372 2.63/3.15 c Core size: 36 Core Weight: 1 Total Weight: 372 2.63/3.15 c Elapsed CPU time: 3.13652 s Remaining CPU time: 1796.86 s 2.63/3.16 c ============================[ Search Statistics ]============================== 2.63/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.63/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.63/3.16 c =============================================================================== 2.63/3.16 c | 0 | 3712 9709 22494 | 5000 0 nan | 0.000 % | 2.63/3.17 c =============================================================================== 2.63/3.17 c core #373 2.63/3.17 c Core size: 13 Core Weight: 1 Total Weight: 373 2.63/3.17 c Elapsed CPU time: 3.14952 s Remaining CPU time: 1796.85 s 2.63/3.18 c ============================[ Search Statistics ]============================== 2.63/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.63/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.63/3.18 c =============================================================================== 2.63/3.18 c | 0 | 3718 9710 22506 | 5000 0 nan | 0.000 % | 2.63/3.18 c =============================================================================== 2.63/3.18 c core #374 2.63/3.18 c Core size: 13 Core Weight: 1 Total Weight: 374 2.63/3.18 c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s 3.12/3.19 c ============================[ Search Statistics ]============================== 3.12/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.19 c =============================================================================== 3.12/3.19 c | 0 | 3724 9711 22518 | 5000 0 nan | 0.000 % | 3.12/3.19 c =============================================================================== 3.12/3.19 c core #375 3.12/3.19 c Core size: 44 Core Weight: 1 Total Weight: 375 3.12/3.19 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.12/3.21 c Learning 1 hard constraints 3.12/3.21 c ============================[ Search Statistics ]============================== 3.12/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.21 c =============================================================================== 3.12/3.21 c | 0 | 3733 9713 22540 | 5000 0 nan | 0.000 % | 3.12/3.21 c =============================================================================== 3.12/3.21 c core #376 3.12/3.21 c Core size: 45 Core Weight: 1 Total Weight: 376 3.12/3.21 c Elapsed CPU time: 3.19251 s Remaining CPU time: 1796.81 s 3.12/3.22 c Learning 1 hard constraints 3.12/3.22 c ============================[ Search Statistics ]============================== 3.12/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.22 c =============================================================================== 3.12/3.22 c | 0 | 3742 9715 22563 | 5000 0 nan | 0.000 % | 3.12/3.22 c =============================================================================== 3.12/3.22 c core #377 3.12/3.22 c Core size: 44 Core Weight: 1 Total Weight: 377 3.12/3.22 c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s 3.12/3.24 c ============================[ Search Statistics ]============================== 3.12/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.24 c =============================================================================== 3.12/3.24 c | 0 | 3753 9716 22585 | 5000 0 nan | 0.000 % | 3.12/3.24 c =============================================================================== 3.12/3.24 c core #378 3.12/3.24 c Core size: 44 Core Weight: 1 Total Weight: 378 3.12/3.24 c Elapsed CPU time: 3.22051 s Remaining CPU time: 1796.78 s 3.12/3.25 c ============================[ Search Statistics ]============================== 3.12/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.25 c =============================================================================== 3.12/3.25 c | 0 | 3767 9717 22613 | 5000 0 nan | 0.000 % | 3.12/3.25 c =============================================================================== 3.12/3.25 c core #379 3.12/3.25 c Core size: 60 Core Weight: 1 Total Weight: 379 3.12/3.25 c Elapsed CPU time: 3.23451 s Remaining CPU time: 1796.77 s 3.12/3.27 c Learning 2 hard constraints 3.12/3.27 c ============================[ Search Statistics ]============================== 3.12/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.27 c =============================================================================== 3.12/3.27 c | 0 | 3787 9720 22664 | 5000 0 nan | 0.000 % | 3.12/3.27 c =============================================================================== 3.12/3.27 c core #380 3.12/3.27 c Core size: 74 Core Weight: 1 Total Weight: 380 3.12/3.27 c Elapsed CPU time: 3.24951 s Remaining CPU time: 1796.75 s 3.12/3.28 c Learning 1 hard constraints 3.12/3.28 c ============================[ Search Statistics ]============================== 3.12/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.12/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.12/3.28 c =============================================================================== 3.12/3.28 c | 0 | 3805 9722 22707 | 5000 0 nan | 0.000 % | 3.12/3.28 c =============================================================================== 3.12/3.28 c core #381 3.12/3.28 c Core size: 15 Core Weight: 1 Total Weight: 381 3.12/3.28 c Elapsed CPU time: 3.2635 s Remaining CPU time: 1796.74 s 3.21/3.29 c ============================[ Search Statistics ]============================== 3.21/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.29 c =============================================================================== 3.21/3.29 c | 0 | 3812 9723 22721 | 5000 0 nan | 0.000 % | 3.21/3.30 c =============================================================================== 3.21/3.30 c core #382 3.21/3.30 c Core size: 98 Core Weight: 1 Total Weight: 382 3.21/3.30 c Elapsed CPU time: 3.2785 s Remaining CPU time: 1796.72 s 3.21/3.31 c Learning 3 hard constraints 3.21/3.31 c ============================[ Search Statistics ]============================== 3.21/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.31 c =============================================================================== 3.21/3.31 c | 0 | 3839 9727 22788 | 5000 0 nan | 0.000 % | 3.21/3.31 c =============================================================================== 3.21/3.31 c core #383 3.21/3.31 c Core size: 15 Core Weight: 1 Total Weight: 383 3.21/3.31 c Elapsed CPU time: 3.2935 s Remaining CPU time: 1796.71 s 3.21/3.33 c ============================[ Search Statistics ]============================== 3.21/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.33 c =============================================================================== 3.21/3.33 c | 0 | 3846 9728 22802 | 5000 0 nan | 0.000 % | 3.21/3.33 c =============================================================================== 3.21/3.33 c core #384 3.21/3.33 c Core size: 13 Core Weight: 1 Total Weight: 384 3.21/3.33 c Elapsed CPU time: 3.3085 s Remaining CPU time: 1796.69 s 3.21/3.34 c ============================[ Search Statistics ]============================== 3.21/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.34 c =============================================================================== 3.21/3.34 c | 0 | 3852 9729 22814 | 5000 0 nan | 0.000 % | 3.21/3.35 c =============================================================================== 3.21/3.35 c core #385 3.21/3.35 c Core size: 13 Core Weight: 1 Total Weight: 385 3.21/3.35 c Elapsed CPU time: 3.32349 s Remaining CPU time: 1796.68 s 3.21/3.36 c ============================[ Search Statistics ]============================== 3.21/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.36 c =============================================================================== 3.21/3.36 c | 0 | 3858 9730 22826 | 5000 0 nan | 0.000 % | 3.21/3.36 c =============================================================================== 3.21/3.36 c core #386 3.21/3.36 c Core size: 13 Core Weight: 1 Total Weight: 386 3.21/3.36 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.21/3.37 c ============================[ Search Statistics ]============================== 3.21/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.37 c =============================================================================== 3.21/3.37 c | 0 | 3864 9731 22838 | 5000 0 nan | 0.000 % | 3.21/3.38 c =============================================================================== 3.21/3.38 c core #387 3.21/3.38 c Core size: 13 Core Weight: 1 Total Weight: 387 3.21/3.38 c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s 3.21/3.39 c ============================[ Search Statistics ]============================== 3.21/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.39 c =============================================================================== 3.21/3.39 c | 0 | 3870 9732 22850 | 5000 0 nan | 0.000 % | 3.21/3.39 c =============================================================================== 3.21/3.39 c core #388 3.21/3.39 c Core size: 13 Core Weight: 1 Total Weight: 388 3.21/3.39 c Elapsed CPU time: 3.36949 s Remaining CPU time: 1796.63 s 3.21/3.40 c ============================[ Search Statistics ]============================== 3.21/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.40 c =============================================================================== 3.21/3.40 c | 0 | 3876 9733 22862 | 5000 0 nan | 0.000 % | 3.21/3.41 c =============================================================================== 3.21/3.41 c core #389 3.21/3.41 c Core size: 13 Core Weight: 1 Total Weight: 389 3.21/3.41 c Elapsed CPU time: 3.38449 s Remaining CPU time: 1796.62 s 3.21/3.42 c ============================[ Search Statistics ]============================== 3.21/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.21/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.21/3.42 c =============================================================================== 3.21/3.42 c | 0 | 3882 9734 22874 | 5000 0 nan | 0.000 % | 3.21/3.42 c =============================================================================== 3.21/3.42 c core #390 3.21/3.42 c Core size: 13 Core Weight: 1 Total Weight: 390 3.21/3.42 c Elapsed CPU time: 3.40048 s Remaining CPU time: 1796.6 s 3.41/3.44 c ============================[ Search Statistics ]============================== 3.41/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.41/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.41/3.44 c =============================================================================== 3.41/3.44 c | 0 | 3888 9735 22886 | 5000 0 nan | 0.000 % | 3.41/3.44 c =============================================================================== 3.41/3.44 c core #391 3.41/3.44 c Core size: 13 Core Weight: 1 Total Weight: 391 3.41/3.44 c Elapsed CPU time: 3.41548 s Remaining CPU time: 1796.58 s 3.41/3.45 c ============================[ Search Statistics ]============================== 3.41/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.41/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.41/3.45 c =============================================================================== 3.41/3.45 c | 0 | 3894 9736 22898 | 5000 0 nan | 0.000 % | 3.41/3.45 c =============================================================================== 3.41/3.45 c core #392 3.41/3.45 c Core size: 15 Core Weight: 1 Total Weight: 392 3.41/3.45 c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s 3.41/3.47 c ============================[ Search Statistics ]============================== 3.41/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.41/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.41/3.47 c =============================================================================== 3.41/3.47 c | 0 | 3901 9737 22912 | 5000 0 nan | 0.000 % | 3.41/3.47 c =============================================================================== 3.41/3.47 c core #393 3.41/3.47 c Core size: 13 Core Weight: 1 Total Weight: 393 3.41/3.47 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.41/3.48 c ============================[ Search Statistics ]============================== 3.41/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.41/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.41/3.48 c =============================================================================== 3.41/3.48 c | 0 | 3907 9738 22924 | 5000 0 nan | 0.000 % | 3.41/3.49 c =============================================================================== 3.41/3.49 c core #394 3.41/3.49 c Core size: 15 Core Weight: 1 Total Weight: 394 3.41/3.49 c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s 3.41/3.50 c ============================[ Search Statistics ]============================== 3.41/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.41/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.41/3.50 c =============================================================================== 3.41/3.50 c | 0 | 3914 9739 22938 | 5000 0 nan | 0.000 % | 3.41/3.50 c =============================================================================== 3.41/3.50 c core #395 3.41/3.50 c Core size: 44 Core Weight: 1 Total Weight: 395 3.41/3.50 c Elapsed CPU time: 3.47747 s Remaining CPU time: 1796.52 s 3.49/3.52 c ============================[ Search Statistics ]============================== 3.49/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.52 c =============================================================================== 3.49/3.52 c | 0 | 3924 9740 22958 | 5000 0 nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.52 c core #396 3.49/3.52 c Core size: 13 Core Weight: 1 Total Weight: 396 3.49/3.52 c Elapsed CPU time: 3.49347 s Remaining CPU time: 1796.51 s 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 | 3930 9741 22970 | 5000 0 nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c core #397 3.49/3.53 c Core size: 19 Core Weight: 1 Total Weight: 397 3.49/3.53 c Elapsed CPU time: 3.50947 s Remaining CPU time: 1796.49 s 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 3939 9742 22988 | 5000 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #398 3.49/3.55 c Core size: 15 Core Weight: 1 Total Weight: 398 3.49/3.55 c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s 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 | 3946 9743 23002 | 5000 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #399 3.49/3.57 c Core size: 35 Core Weight: 1 Total Weight: 399 3.49/3.57 c Elapsed CPU time: 3.53846 s Remaining CPU time: 1796.46 s 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 | 3956 9744 23022 | 5000 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #400 3.49/3.58 c Core size: 15 Core Weight: 1 Total Weight: 400 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 | 3963 9745 23036 | 5000 0 nan | 0.000 % | 3.57/3.60 c =============================================================================== 3.57/3.60 c core #401 3.57/3.60 c Core size: 36 Core Weight: 1 Total Weight: 401 3.57/3.60 c Elapsed CPU time: 3.56746 s Remaining CPU time: 1796.43 s 3.57/3.61 c ============================[ Search Statistics ]============================== 3.57/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.61 c =============================================================================== 3.57/3.61 c | 0 | 3973 9746 23056 | 5000 0 nan | 0.000 % | 3.57/3.61 c =============================================================================== 3.57/3.61 c core #402 3.57/3.61 c Core size: 15 Core Weight: 1 Total Weight: 402 3.57/3.61 c Elapsed CPU time: 3.58146 s Remaining CPU time: 1796.42 s 3.57/3.62 c ============================[ Search Statistics ]============================== 3.57/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.62 c =============================================================================== 3.57/3.62 c | 0 | 3980 9747 23070 | 5000 0 nan | 0.000 % | 3.57/3.63 c =============================================================================== 3.57/3.63 c core #403 3.57/3.63 c Core size: 45 Core Weight: 1 Total Weight: 403 3.57/3.63 c Elapsed CPU time: 3.59545 s Remaining CPU time: 1796.4 s 3.57/3.64 c Learning 1 hard constraints 3.57/3.64 c ============================[ Search Statistics ]============================== 3.57/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.64 c =============================================================================== 3.57/3.64 c | 0 | 3990 9749 23094 | 5000 0 nan | 0.000 % | 3.57/3.64 c =============================================================================== 3.57/3.64 c core #404 3.57/3.64 c Core size: 54 Core Weight: 1 Total Weight: 404 3.57/3.64 c Elapsed CPU time: 3.60945 s Remaining CPU time: 1796.39 s 3.57/3.65 c Learning 2 hard constraints 3.57/3.65 c ============================[ Search Statistics ]============================== 3.57/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.65 c =============================================================================== 3.57/3.65 c | 0 | 4005 9752 23134 | 5000 0 nan | 0.000 % | 3.57/3.66 c =============================================================================== 3.57/3.66 c core #405 3.57/3.66 c Core size: 15 Core Weight: 1 Total Weight: 405 3.57/3.66 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.57/3.67 c ============================[ Search Statistics ]============================== 3.57/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.67 c =============================================================================== 3.57/3.67 c | 0 | 4012 9753 23148 | 5000 0 nan | 0.000 % | 3.57/3.67 c =============================================================================== 3.57/3.67 c core #406 3.57/3.67 c Core size: 48 Core Weight: 1 Total Weight: 406 3.57/3.67 c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s 3.57/3.69 c ============================[ Search Statistics ]============================== 3.57/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.69 c =============================================================================== 3.57/3.69 c | 0 | 4023 9754 23170 | 5000 0 nan | 0.000 % | 3.57/3.69 c =============================================================================== 3.57/3.69 c core #407 3.57/3.69 c Core size: 48 Core Weight: 1 Total Weight: 407 3.57/3.69 c Elapsed CPU time: 3.65244 s Remaining CPU time: 1796.35 s 3.67/3.70 c Learning 3 hard constraints 3.67/3.70 c ============================[ Search Statistics ]============================== 3.67/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.70 c =============================================================================== 3.67/3.70 c | 0 | 4038 9758 23218 | 5000 0 nan | 0.000 % | 3.67/3.70 c =============================================================================== 3.67/3.70 c core #408 3.67/3.70 c Core size: 41 Core Weight: 1 Total Weight: 408 3.67/3.70 c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s 3.67/3.72 c Learning 2 hard constraints 3.67/3.72 c ============================[ Search Statistics ]============================== 3.67/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.72 c =============================================================================== 3.67/3.72 c | 0 | 4047 9761 23248 | 5000 0 nan | 0.000 % | 3.67/3.72 c =============================================================================== 3.67/3.72 c core #409 3.67/3.72 c Core size: 58 Core Weight: 1 Total Weight: 409 3.67/3.72 c Elapsed CPU time: 3.68044 s Remaining CPU time: 1796.32 s 3.67/3.73 c Learning 1 hard constraints 3.67/3.73 c ============================[ Search Statistics ]============================== 3.67/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.73 c =============================================================================== 3.67/3.73 c | 0 | 4060 9763 23279 | 5000 0 nan | 0.000 % | 3.67/3.74 c =============================================================================== 3.67/3.74 c core #410 3.67/3.74 c Core size: 13 Core Weight: 1 Total Weight: 410 3.67/3.74 c Elapsed CPU time: 3.69644 s Remaining CPU time: 1796.3 s 3.67/3.75 c ============================[ Search Statistics ]============================== 3.67/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.75 c =============================================================================== 3.67/3.75 c | 0 | 4066 9764 23291 | 5000 0 nan | 0.000 % | 3.67/3.75 c =============================================================================== 3.67/3.75 c core #411 3.67/3.75 c Core size: 66 Core Weight: 1 Total Weight: 411 3.67/3.75 c Elapsed CPU time: 3.71244 s Remaining CPU time: 1796.29 s 3.67/3.77 c Learning 2 hard constraints 3.67/3.77 c ============================[ Search Statistics ]============================== 3.67/3.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.77 c =============================================================================== 3.67/3.77 c | 0 | 4082 9767 23333 | 5000 0 nan | 0.000 % | 3.67/3.77 c =============================================================================== 3.67/3.77 c core #412 3.67/3.77 c Core size: 50 Core Weight: 1 Total Weight: 412 3.67/3.77 c Elapsed CPU time: 3.72743 s Remaining CPU time: 1796.27 s 3.67/3.78 c Learning 1 hard constraints 3.67/3.78 c ============================[ Search Statistics ]============================== 3.67/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.78 c =============================================================================== 3.67/3.78 c | 0 | 4098 9769 23372 | 5000 0 nan | 0.000 % | 3.67/3.78 c =============================================================================== 3.67/3.78 c core #413 3.67/3.78 c Core size: 15 Core Weight: 1 Total Weight: 413 3.67/3.78 c Elapsed CPU time: 3.74343 s Remaining CPU time: 1796.26 s 3.67/3.80 c ============================[ Search Statistics ]============================== 3.67/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.80 c =============================================================================== 3.67/3.80 c | 0 | 4105 9770 23386 | 5000 0 nan | 0.000 % | 3.76/3.80 c =============================================================================== 3.76/3.80 c core #414 3.76/3.80 c Core size: 50 Core Weight: 1 Total Weight: 414 3.76/3.80 c Elapsed CPU time: 3.75643 s Remaining CPU time: 1796.24 s 3.76/3.81 c ============================[ Search Statistics ]============================== 3.76/3.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.81 c =============================================================================== 3.76/3.81 c | 0 | 4116 9771 23408 | 5000 0 nan | 0.000 % | 3.76/3.82 c =============================================================================== 3.76/3.82 c core #415 3.76/3.82 c Core size: 15 Core Weight: 1 Total Weight: 415 3.76/3.82 c Elapsed CPU time: 3.77243 s Remaining CPU time: 1796.23 s 3.76/3.83 c ============================[ Search Statistics ]============================== 3.76/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.83 c =============================================================================== 3.76/3.83 c | 0 | 4123 9772 23422 | 5000 0 nan | 0.000 % | 3.76/3.83 c =============================================================================== 3.76/3.83 c core #416 3.76/3.83 c Core size: 13 Core Weight: 1 Total Weight: 416 3.76/3.83 c Elapsed CPU time: 3.78642 s Remaining CPU time: 1796.21 s 3.76/3.84 c ============================[ Search Statistics ]============================== 3.76/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.84 c =============================================================================== 3.76/3.84 c | 0 | 4129 9773 23434 | 5000 0 nan | 0.000 % | 3.76/3.85 c =============================================================================== 3.76/3.85 c core #417 3.76/3.85 c Core size: 13 Core Weight: 1 Total Weight: 417 3.76/3.85 c Elapsed CPU time: 3.80242 s Remaining CPU time: 1796.2 s 3.76/3.86 c ============================[ Search Statistics ]============================== 3.76/3.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.86 c =============================================================================== 3.76/3.86 c | 0 | 4135 9774 23446 | 5000 0 nan | 0.000 % | 3.76/3.86 c =============================================================================== 3.76/3.86 c core #418 3.76/3.86 c Core size: 38 Core Weight: 1 Total Weight: 418 3.76/3.86 c Elapsed CPU time: 3.81742 s Remaining CPU time: 1796.18 s 3.76/3.88 c ============================[ Search Statistics ]============================== 3.76/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.88 c =============================================================================== 3.76/3.88 c | 0 | 4146 9775 23468 | 5000 0 nan | 0.000 % | 3.76/3.88 c =============================================================================== 3.76/3.88 c core #419 3.76/3.88 c Core size: 15 Core Weight: 1 Total Weight: 419 3.76/3.88 c Elapsed CPU time: 3.83342 s Remaining CPU time: 1796.17 s 3.76/3.89 c ============================[ Search Statistics ]============================== 3.76/3.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.76/3.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.76/3.89 c =============================================================================== 3.76/3.89 c | 0 | 4153 9776 23482 | 5000 0 nan | 0.000 % | 3.76/3.89 c =============================================================================== 3.76/3.89 c core #420 3.76/3.89 c Core size: 13 Core Weight: 1 Total Weight: 420 3.76/3.89 c Elapsed CPU time: 3.84841 s Remaining CPU time: 1796.15 s 3.87/3.91 c Learning 1 hard constraints 3.87/3.91 c ============================[ Search Statistics ]============================== 3.87/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.91 c =============================================================================== 3.87/3.91 c | 0 | 4159 9778 23501 | 5000 0 nan | 0.000 % | 3.87/3.91 c =============================================================================== 3.87/3.91 c core #421 3.87/3.91 c Core size: 34 Core Weight: 1 Total Weight: 421 3.87/3.91 c Elapsed CPU time: 3.86441 s Remaining CPU time: 1796.14 s 3.87/3.92 c ============================[ Search Statistics ]============================== 3.87/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.92 c =============================================================================== 3.87/3.92 c | 0 | 4168 9779 23519 | 5000 0 nan | 0.000 % | 3.87/3.93 c =============================================================================== 3.87/3.93 c core #422 3.87/3.93 c Core size: 13 Core Weight: 1 Total Weight: 422 3.87/3.93 c Elapsed CPU time: 3.88041 s Remaining CPU time: 1796.12 s 3.87/3.94 c ============================[ Search Statistics ]============================== 3.87/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.94 c =============================================================================== 3.87/3.94 c | 0 | 4174 9780 23531 | 5000 0 nan | 0.000 % | 3.87/3.94 c =============================================================================== 3.87/3.94 c core #423 3.87/3.94 c Core size: 15 Core Weight: 1 Total Weight: 423 3.87/3.94 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.87/3.95 c ============================[ Search Statistics ]============================== 3.87/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.95 c =============================================================================== 3.87/3.95 c | 0 | 4181 9781 23545 | 5000 0 nan | 0.000 % | 3.87/3.96 c =============================================================================== 3.87/3.96 c core #424 3.87/3.96 c Core size: 15 Core Weight: 1 Total Weight: 424 3.87/3.96 c Elapsed CPU time: 3.91141 s Remaining CPU time: 1796.09 s 3.87/3.97 c ============================[ Search Statistics ]============================== 3.87/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.97 c =============================================================================== 3.87/3.97 c | 0 | 4188 9782 23559 | 5000 0 nan | 0.000 % | 3.87/3.97 c =============================================================================== 3.87/3.97 c core #425 3.87/3.97 c Core size: 13 Core Weight: 1 Total Weight: 425 3.87/3.97 c Elapsed CPU time: 3.9254 s Remaining CPU time: 1796.07 s 3.87/3.99 c ============================[ Search Statistics ]============================== 3.87/3.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.99 c =============================================================================== 3.87/3.99 c | 0 | 4194 9783 23571 | 5000 0 nan | 0.000 % | 3.87/3.99 c =============================================================================== 3.87/3.99 c core #426 3.87/3.99 c Core size: 45 Core Weight: 1 Total Weight: 426 3.87/3.99 c Elapsed CPU time: 3.9414 s Remaining CPU time: 1796.06 s 3.96/4.00 c Learning 3 hard constraints 3.96/4.00 c ============================[ Search Statistics ]============================== 3.96/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.00 c =============================================================================== 3.96/4.00 c | 0 | 4204 9787 23603 | 5000 0 nan | 0.000 % | 3.96/4.00 c =============================================================================== 3.96/4.00 c core #427 3.96/4.00 c Core size: 79 Core Weight: 1 Total Weight: 427 3.96/4.00 c Elapsed CPU time: 3.9564 s Remaining CPU time: 1796.04 s 3.96/4.02 c Learning 3 hard constraints 3.96/4.02 c ============================[ Search Statistics ]============================== 3.96/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.02 c =============================================================================== 3.96/4.02 c | 0 | 4225 9791 23663 | 5000 0 nan | 0.000 % | 3.96/4.02 c =============================================================================== 3.96/4.02 c core #428 3.96/4.02 c Core size: 13 Core Weight: 1 Total Weight: 428 3.96/4.02 c Elapsed CPU time: 3.9714 s Remaining CPU time: 1796.03 s 3.96/4.03 c ============================[ Search Statistics ]============================== 3.96/4.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.03 c =============================================================================== 3.96/4.03 c | 0 | 4231 9792 23675 | 5000 0 nan | 0.000 % | 3.96/4.04 c =============================================================================== 3.96/4.04 c core #429 3.96/4.04 c Core size: 34 Core Weight: 1 Total Weight: 429 3.96/4.04 c Elapsed CPU time: 3.98539 s Remaining CPU time: 1796.01 s 3.96/4.05 c ============================[ Search Statistics ]============================== 3.96/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.05 c =============================================================================== 3.96/4.05 c | 0 | 4240 9793 23693 | 5000 0 nan | 0.000 % | 3.96/4.05 c =============================================================================== 3.96/4.05 c core #430 3.96/4.05 c Core size: 15 Core Weight: 1 Total Weight: 430 3.96/4.05 c Elapsed CPU time: 3.99939 s Remaining CPU time: 1796 s 3.96/4.07 c ============================[ Search Statistics ]============================== 3.96/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.07 c =============================================================================== 3.96/4.07 c | 0 | 4247 9794 23707 | 5000 0 nan | 0.000 % | 3.96/4.07 c =============================================================================== 3.96/4.07 c core #431 3.96/4.07 c Core size: 15 Core Weight: 1 Total Weight: 431 3.96/4.07 c Elapsed CPU time: 4.01439 s Remaining CPU time: 1795.99 s 3.96/4.08 c ============================[ Search Statistics ]============================== 3.96/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.08 c =============================================================================== 3.96/4.08 c | 0 | 4254 9795 23721 | 5000 0 nan | 0.000 % | 3.96/4.08 c =============================================================================== 3.96/4.08 c core #432 3.96/4.08 c Core size: 15 Core Weight: 1 Total Weight: 432 3.96/4.08 c Elapsed CPU time: 4.03039 s Remaining CPU time: 1795.97 s 3.96/4.10 c ============================[ Search Statistics ]============================== 3.96/4.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.10 c =============================================================================== 3.96/4.10 c | 0 | 4261 9796 23735 | 5000 0 nan | 0.000 % | 3.96/4.10 c =============================================================================== 3.96/4.10 c core #433 3.96/4.10 c Core size: 13 Core Weight: 1 Total Weight: 433 3.96/4.10 c Elapsed CPU time: 4.04538 s Remaining CPU time: 1795.95 s 4.06/4.11 c ============================[ Search Statistics ]============================== 4.06/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.11 c =============================================================================== 4.06/4.11 c | 0 | 4267 9797 23747 | 5000 0 nan | 0.000 % | 4.06/4.12 c =============================================================================== 4.06/4.12 c core #434 4.06/4.12 c Core size: 15 Core Weight: 1 Total Weight: 434 4.06/4.12 c Elapsed CPU time: 4.06138 s Remaining CPU time: 1795.94 s 4.06/4.13 c ============================[ Search Statistics ]============================== 4.06/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.13 c =============================================================================== 4.06/4.13 c | 0 | 4274 9798 23761 | 5000 0 nan | 0.000 % | 4.06/4.13 c =============================================================================== 4.06/4.13 c core #435 4.06/4.13 c Core size: 43 Core Weight: 1 Total Weight: 435 4.06/4.13 c Elapsed CPU time: 4.07738 s Remaining CPU time: 1795.92 s 4.06/4.15 c Learning 1 hard constraints 4.06/4.15 c ============================[ Search Statistics ]============================== 4.06/4.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.15 c =============================================================================== 4.06/4.15 c | 0 | 4282 9800 23781 | 5000 0 nan | 0.000 % | 4.06/4.15 c =============================================================================== 4.06/4.15 c core #436 4.06/4.15 c Core size: 43 Core Weight: 1 Total Weight: 436 4.06/4.15 c Elapsed CPU time: 4.09338 s Remaining CPU time: 1795.91 s 4.06/4.16 c Learning 2 hard constraints 4.06/4.16 c ============================[ Search Statistics ]============================== 4.06/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.16 c =============================================================================== 4.06/4.16 c | 0 | 4290 9803 23810 | 5000 0 nan | 0.000 % | 4.06/4.16 c =============================================================================== 4.06/4.17 c core #437 4.06/4.17 c Core size: 13 Core Weight: 1 Total Weight: 437 4.06/4.17 c Elapsed CPU time: 4.10938 s Remaining CPU time: 1795.89 s 4.06/4.18 c ============================[ Search Statistics ]============================== 4.06/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.18 c =============================================================================== 4.06/4.18 c | 0 | 4296 9804 23822 | 5000 0 nan | 0.000 % | 4.06/4.18 c =============================================================================== 4.06/4.18 c core #438 4.06/4.18 c Core size: 35 Core Weight: 1 Total Weight: 438 4.06/4.18 c Elapsed CPU time: 4.12537 s Remaining CPU time: 1795.87 s 4.06/4.19 c ============================[ Search Statistics ]============================== 4.06/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.19 c =============================================================================== 4.06/4.19 c | 0 | 4306 9805 23842 | 5000 0 nan | 0.000 % | 4.06/4.20 c =============================================================================== 4.06/4.20 c core #439 4.06/4.20 c Core size: 15 Core Weight: 1 Total Weight: 439 4.06/4.20 c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s 4.16/4.21 c ============================[ Search Statistics ]============================== 4.16/4.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.21 c =============================================================================== 4.16/4.21 c | 0 | 4313 9806 23856 | 5000 0 nan | 0.000 % | 4.16/4.21 c =============================================================================== 4.16/4.21 c core #440 4.16/4.21 c Core size: 15 Core Weight: 1 Total Weight: 440 4.16/4.21 c Elapsed CPU time: 4.15737 s Remaining CPU time: 1795.84 s 4.16/4.23 c ============================[ Search Statistics ]============================== 4.16/4.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.23 c =============================================================================== 4.16/4.23 c | 0 | 4320 9807 23870 | 5000 0 nan | 0.000 % | 4.16/4.23 c =============================================================================== 4.16/4.23 c core #441 4.16/4.23 c Core size: 13 Core Weight: 1 Total Weight: 441 4.16/4.23 c Elapsed CPU time: 4.17337 s Remaining CPU time: 1795.83 s 4.16/4.24 c ============================[ Search Statistics ]============================== 4.16/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.24 c =============================================================================== 4.16/4.24 c | 0 | 4326 9808 23882 | 5000 0 nan | 0.000 % | 4.16/4.25 c =============================================================================== 4.16/4.25 c core #442 4.16/4.25 c Core size: 13 Core Weight: 1 Total Weight: 442 4.16/4.25 c Elapsed CPU time: 4.18936 s Remaining CPU time: 1795.81 s 4.16/4.26 c ============================[ Search Statistics ]============================== 4.16/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.26 c =============================================================================== 4.16/4.26 c | 0 | 4332 9809 23894 | 5000 0 nan | 0.000 % | 4.16/4.26 c =============================================================================== 4.16/4.26 c core #443 4.16/4.26 c Core size: 12 Core Weight: 1 Total Weight: 443 4.16/4.26 c Elapsed CPU time: 4.20536 s Remaining CPU time: 1795.79 s 4.16/4.27 c ============================[ Search Statistics ]============================== 4.16/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.28 c =============================================================================== 4.16/4.28 c | 0 | 4338 9810 23906 | 5000 0 nan | 0.000 % | 4.16/4.28 c =============================================================================== 4.16/4.28 c core #444 4.16/4.28 c Core size: 67 Core Weight: 1 Total Weight: 444 4.16/4.28 c Elapsed CPU time: 4.22036 s Remaining CPU time: 1795.78 s 4.16/4.29 c ============================[ Search Statistics ]============================== 4.16/4.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.29 c =============================================================================== 4.16/4.29 c | 0 | 4353 9811 23936 | 5000 0 nan | 0.000 % | 4.16/4.29 c =============================================================================== 4.16/4.29 c core #445 4.16/4.29 c Core size: 13 Core Weight: 1 Total Weight: 445 4.16/4.29 c Elapsed CPU time: 4.23635 s Remaining CPU time: 1795.76 s 4.25/4.31 c ============================[ Search Statistics ]============================== 4.25/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.31 c =============================================================================== 4.25/4.31 c | 0 | 4359 9812 23948 | 5000 0 nan | 0.000 % | 4.25/4.31 c =============================================================================== 4.25/4.31 c core #446 4.25/4.31 c Core size: 15 Core Weight: 1 Total Weight: 446 4.25/4.31 c Elapsed CPU time: 4.25235 s Remaining CPU time: 1795.75 s 4.25/4.32 c ============================[ Search Statistics ]============================== 4.25/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.32 c =============================================================================== 4.25/4.32 c | 0 | 4366 9813 23962 | 5000 0 nan | 0.000 % | 4.25/4.33 c =============================================================================== 4.25/4.33 c core #447 4.25/4.33 c Core size: 15 Core Weight: 1 Total Weight: 447 4.25/4.33 c Elapsed CPU time: 4.26735 s Remaining CPU time: 1795.73 s 4.25/4.34 c ============================[ Search Statistics ]============================== 4.25/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.34 c =============================================================================== 4.25/4.34 c | 0 | 4373 9814 23976 | 5000 0 nan | 0.000 % | 4.25/4.34 c =============================================================================== 4.25/4.34 c core #448 4.25/4.34 c Core size: 13 Core Weight: 1 Total Weight: 448 4.25/4.34 c Elapsed CPU time: 4.28335 s Remaining CPU time: 1795.72 s 4.25/4.35 c ============================[ Search Statistics ]============================== 4.25/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.35 c =============================================================================== 4.25/4.35 c | 0 | 4379 9815 23988 | 5000 0 nan | 0.000 % | 4.25/4.36 c =============================================================================== 4.25/4.36 c core #449 4.25/4.36 c Core size: 42 Core Weight: 1 Total Weight: 449 4.25/4.36 c Elapsed CPU time: 4.29935 s Remaining CPU time: 1795.7 s 4.25/4.37 c Learning 2 hard constraints 4.25/4.37 c ============================[ Search Statistics ]============================== 4.25/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.37 c =============================================================================== 4.25/4.37 c | 0 | 4389 9818 24017 | 5000 0 nan | 0.000 % | 4.25/4.37 c =============================================================================== 4.25/4.37 c core #450 4.25/4.37 c Core size: 48 Core Weight: 1 Total Weight: 450 4.25/4.37 c Elapsed CPU time: 4.31534 s Remaining CPU time: 1795.68 s 4.25/4.39 c ============================[ Search Statistics ]============================== 4.25/4.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.39 c =============================================================================== 4.25/4.39 c | 0 | 4406 9819 24051 | 5000 0 nan | 0.000 % | 4.25/4.39 c =============================================================================== 4.25/4.39 c core #451 4.25/4.39 c Core size: 44 Core Weight: 1 Total Weight: 451 4.25/4.39 c Elapsed CPU time: 4.33034 s Remaining CPU time: 1795.67 s 4.35/4.40 c Learning 2 hard constraints 4.35/4.40 c ============================[ Search Statistics ]============================== 4.35/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.40 c =============================================================================== 4.35/4.40 c | 0 | 4416 9822 24083 | 5000 0 nan | 0.000 % | 4.35/4.41 c =============================================================================== 4.35/4.41 c core #452 4.35/4.41 c Core size: 13 Core Weight: 1 Total Weight: 452 4.35/4.41 c Elapsed CPU time: 4.34534 s Remaining CPU time: 1795.65 s 4.35/4.42 c ============================[ Search Statistics ]============================== 4.35/4.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.42 c =============================================================================== 4.35/4.42 c | 0 | 4422 9823 24095 | 5000 0 nan | 0.000 % | 4.35/4.42 c =============================================================================== 4.35/4.42 c core #453 4.35/4.42 c Core size: 49 Core Weight: 1 Total Weight: 453 4.35/4.42 c Elapsed CPU time: 4.36034 s Remaining CPU time: 1795.64 s 4.35/4.44 c Learning 1 hard constraints 4.35/4.44 c ============================[ Search Statistics ]============================== 4.35/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.44 c =============================================================================== 4.35/4.44 c | 0 | 4437 9825 24131 | 5000 0 nan | 0.000 % | 4.35/4.44 c =============================================================================== 4.35/4.44 c core #454 4.35/4.44 c Core size: 41 Core Weight: 1 Total Weight: 454 4.35/4.44 c Elapsed CPU time: 4.37434 s Remaining CPU time: 1795.63 s 4.35/4.45 c Learning 1 hard constraints 4.35/4.45 c ============================[ Search Statistics ]============================== 4.35/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.45 c =============================================================================== 4.35/4.45 c | 0 | 4445 9827 24152 | 5000 0 nan | 0.000 % | 4.35/4.46 c =============================================================================== 4.35/4.46 c core #455 4.35/4.46 c Core size: 31 Core Weight: 1 Total Weight: 455 4.35/4.46 c Elapsed CPU time: 4.39133 s Remaining CPU time: 1795.61 s 4.35/4.47 c ============================[ Search Statistics ]============================== 4.35/4.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.47 c =============================================================================== 4.35/4.47 c | 0 | 4458 9828 24178 | 5000 0 nan | 0.000 % | 4.35/4.47 c =============================================================================== 4.35/4.47 c core #456 4.35/4.47 c Core size: 39 Core Weight: 1 Total Weight: 456 4.35/4.47 c Elapsed CPU time: 4.40733 s Remaining CPU time: 1795.59 s 4.35/4.49 c Learning 1 hard constraints 4.35/4.49 c ============================[ Search Statistics ]============================== 4.35/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.49 c =============================================================================== 4.35/4.49 c | 0 | 4465 9830 24196 | 5000 0 nan | 0.000 % | 4.35/4.49 c =============================================================================== 4.35/4.49 c core #457 4.35/4.49 c Core size: 82 Core Weight: 1 Total Weight: 457 4.35/4.49 c Elapsed CPU time: 4.42333 s Remaining CPU time: 1795.58 s 4.45/4.50 c Learning 2 hard constraints 4.45/4.50 c ============================[ Search Statistics ]============================== 4.45/4.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.45/4.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.45/4.50 c =============================================================================== 4.45/4.50 c | 0 | 4488 9833 24254 | 5000 0 nan | 0.000 % | 4.45/4.51 c =============================================================================== 4.45/4.51 c core #458 4.45/4.51 c Core size: 13 Core Weight: 1 Total Weight: 458 4.45/4.51 c Elapsed CPU time: 4.43633 s Remaining CPU time: 1795.56 s 4.45/4.52 c ============================[ Search Statistics ]============================== 4.45/4.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.45/4.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.45/4.52 c =============================================================================== 4.45/4.52 c | 0 | 4494 9834 24266 | 5000 0 nan | 0.000 % | 4.45/4.52 c =============================================================================== 4.45/4.52 c core #459 4.45/4.52 c Core size: 13 Core Weight: 1 Total Weight: 459 4.45/4.52 c Elapsed CPU time: 4.45332 s Remaining CPU time: 1795.55 s 4.45/4.54 c Learning 1 hard constraints 4.45/4.54 c ============================[ Search Statistics ]============================== 4.45/4.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.45/4.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.45/4.54 c =============================================================================== 4.45/4.54 c | 0 | 4500 9836 24284 | 5000 0 nan | 0.000 % | 4.45/4.54 c =============================================================================== 4.45/4.54 c core #460 4.45/4.54 c Core size: 57 Core Weight: 1 Total Weight: 460 4.45/4.54 c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s 4.45/4.55 c ============================[ Search Statistics ]============================== 4.45/4.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.45/4.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.45/4.55 c =============================================================================== 4.45/4.55 c | 0 | 4514 9837 24312 | 5000 0 nan | 0.000 % | 4.45/4.56 c =============================================================================== 4.45/4.56 c core #461 4.45/4.56 c Core size: 19 Core Weight: 1 Total Weight: 461 4.45/4.56 c Elapsed CPU time: 4.48532 s Remaining CPU time: 1795.51 s 4.45/4.57 c ============================[ Search Statistics ]============================== 4.45/4.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.45/4.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.45/4.57 c =============================================================================== 4.45/4.57 c | 0 | 4523 9838 24330 | 5000 0 nan | 0.000 % | 4.45/4.58 c =============================================================================== 4.45/4.58 c core #462 4.45/4.58 c Core size: 54 Core Weight: 1 Total Weight: 462 4.45/4.58 c Elapsed CPU time: 4.50432 s Remaining CPU time: 1795.5 s 4.45/4.59 c Learning 7 hard constraints 4.45/4.59 c ============================[ Search Statistics ]============================== 4.45/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.45/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.45/4.59 c =============================================================================== 4.45/4.59 c | 0 | 4537 9846 24394 | 5000 0 nan | 0.000 % | 4.55/4.60 c =============================================================================== 4.55/4.60 c core #463 4.55/4.60 c Core size: 86 Core Weight: 1 Total Weight: 463 4.55/4.60 c Elapsed CPU time: 4.52331 s Remaining CPU time: 1795.48 s 4.55/4.61 c Learning 2 hard constraints 4.55/4.61 c ============================[ Search Statistics ]============================== 4.55/4.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.55/4.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.55/4.61 c =============================================================================== 4.55/4.61 c | 0 | 4558 9849 24447 | 5000 0 nan | 0.000 % | 4.55/4.61 c =============================================================================== 4.55/4.61 c core #464 4.55/4.61 c Core size: 54 Core Weight: 1 Total Weight: 464 4.55/4.61 c Elapsed CPU time: 4.54031 s Remaining CPU time: 1795.46 s 4.55/4.63 c ============================[ Search Statistics ]============================== 4.55/4.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.55/4.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.55/4.63 c =============================================================================== 4.55/4.63 c | 0 | 4577 9850 24485 | 5000 0 nan | 0.000 % | 4.55/4.63 c =============================================================================== 4.55/4.63 c core #465 4.55/4.63 c Core size: 56 Core Weight: 1 Total Weight: 465 4.55/4.63 c Elapsed CPU time: 4.55731 s Remaining CPU time: 1795.44 s 4.55/4.65 c Learning 2 hard constraints 4.55/4.65 c ============================[ Search Statistics ]============================== 4.55/4.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.55/4.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.55/4.65 c =============================================================================== 4.55/4.65 c | 0 | 4591 9853 24521 | 5000 0 nan | 0.000 % | 4.55/4.65 c =============================================================================== 4.55/4.65 c core #466 4.55/4.65 c Core size: 13 Core Weight: 1 Total Weight: 466 4.55/4.65 c Elapsed CPU time: 4.5713 s Remaining CPU time: 1795.43 s 4.55/4.66 c ============================[ Search Statistics ]============================== 4.55/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.55/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.55/4.66 c =============================================================================== 4.55/4.66 c | 0 | 4597 9854 24533 | 5000 0 nan | 0.000 % | 4.55/4.67 c =============================================================================== 4.55/4.67 c core #467 4.55/4.67 c Core size: 42 Core Weight: 1 Total Weight: 467 4.55/4.67 c Elapsed CPU time: 4.5883 s Remaining CPU time: 1795.41 s 4.55/4.68 c Learning 7 hard constraints 4.55/4.68 c ============================[ Search Statistics ]============================== 4.55/4.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.55/4.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.55/4.68 c =============================================================================== 4.55/4.68 c | 0 | 4605 9862 24581 | 5000 0 nan | 0.000 % | 4.55/4.68 c =============================================================================== 4.55/4.68 c core #468 4.55/4.68 c Core size: 13 Core Weight: 1 Total Weight: 468 4.55/4.68 c Elapsed CPU time: 4.6023 s Remaining CPU time: 1795.4 s 4.55/4.70 c ============================[ Search Statistics ]============================== 4.64/4.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.70 c =============================================================================== 4.64/4.70 c | 0 | 4611 9863 24593 | 5000 0 nan | 0.000 % | 4.64/4.70 c =============================================================================== 4.64/4.70 c core #469 4.64/4.70 c Core size: 13 Core Weight: 1 Total Weight: 469 4.64/4.70 c Elapsed CPU time: 4.6163 s Remaining CPU time: 1795.38 s 4.64/4.71 c ============================[ Search Statistics ]============================== 4.64/4.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.71 c =============================================================================== 4.64/4.71 c | 0 | 4617 9864 24605 | 5000 0 nan | 0.000 % | 4.64/4.72 c =============================================================================== 4.64/4.72 c core #470 4.64/4.72 c Core size: 50 Core Weight: 1 Total Weight: 470 4.64/4.72 c Elapsed CPU time: 4.6333 s Remaining CPU time: 1795.37 s 4.64/4.73 c ============================[ Search Statistics ]============================== 4.64/4.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.73 c =============================================================================== 4.64/4.73 c | 0 | 4634 9865 24639 | 5000 0 nan | 0.000 % | 4.64/4.73 c =============================================================================== 4.64/4.73 c core #471 4.64/4.73 c Core size: 47 Core Weight: 1 Total Weight: 471 4.64/4.73 c Elapsed CPU time: 4.65029 s Remaining CPU time: 1795.35 s 4.64/4.75 c Learning 1 hard constraints 4.64/4.75 c ============================[ Search Statistics ]============================== 4.64/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.75 c =============================================================================== 4.64/4.75 c | 0 | 4649 9867 24676 | 5000 0 nan | 0.000 % | 4.64/4.75 c =============================================================================== 4.64/4.75 c core #472 4.64/4.75 c Core size: 23 Core Weight: 1 Total Weight: 472 4.64/4.75 c Elapsed CPU time: 4.66629 s Remaining CPU time: 1795.33 s 4.64/4.76 c ============================[ Search Statistics ]============================== 4.64/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.76 c =============================================================================== 4.64/4.76 c | 0 | 4659 9868 24696 | 5000 0 nan | 0.000 % | 4.64/4.77 c =============================================================================== 4.64/4.77 c core #473 4.64/4.77 c Core size: 44 Core Weight: 1 Total Weight: 473 4.64/4.77 c Elapsed CPU time: 4.68329 s Remaining CPU time: 1795.32 s 4.64/4.78 c Learning 1 hard constraints 4.64/4.78 c ============================[ Search Statistics ]============================== 4.64/4.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.78 c =============================================================================== 4.64/4.78 c | 0 | 4671 9870 24727 | 5000 0 nan | 0.000 % | 4.64/4.78 c =============================================================================== 4.64/4.78 c core #474 4.64/4.78 c Core size: 44 Core Weight: 1 Total Weight: 474 4.64/4.78 c Elapsed CPU time: 4.69928 s Remaining CPU time: 1795.3 s 4.64/4.80 c Learning 1 hard constraints 4.64/4.80 c ============================[ Search Statistics ]============================== 4.64/4.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.80 c =============================================================================== 4.64/4.80 c | 0 | 4679 9872 24747 | 5000 0 nan | 0.000 % | 4.64/4.80 c =============================================================================== 4.64/4.80 c core #475 4.64/4.80 c Core size: 13 Core Weight: 1 Total Weight: 475 4.64/4.80 c Elapsed CPU time: 4.71528 s Remaining CPU time: 1795.28 s 4.74/4.81 c ============================[ Search Statistics ]============================== 4.74/4.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.74/4.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.74/4.81 c =============================================================================== 4.74/4.81 c | 0 | 4685 9873 24759 | 5000 0 nan | 0.000 % | 4.74/4.82 c =============================================================================== 4.74/4.82 c core #476 4.74/4.82 c Core size: 13 Core Weight: 1 Total Weight: 476 4.74/4.82 c Elapsed CPU time: 4.73028 s Remaining CPU time: 1795.27 s 4.74/4.83 c ============================[ Search Statistics ]============================== 4.74/4.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.74/4.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.74/4.83 c =============================================================================== 4.74/4.83 c | 0 | 4691 9874 24771 | 5000 0 nan | 0.000 % | 4.74/4.83 c =============================================================================== 4.74/4.83 c core #477 4.74/4.83 c Core size: 77 Core Weight: 1 Total Weight: 477 4.74/4.83 c Elapsed CPU time: 4.74628 s Remaining CPU time: 1795.25 s 4.74/4.85 c Learning 3 hard constraints 4.74/4.85 c ============================[ Search Statistics ]============================== 4.74/4.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.74/4.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.74/4.85 c =============================================================================== 4.74/4.85 c | 0 | 4710 9878 24819 | 5000 0 nan | 0.000 % | 4.74/4.85 c =============================================================================== 4.74/4.85 c core #478 4.74/4.85 c Core size: 38 Core Weight: 1 Total Weight: 478 4.74/4.85 c Elapsed CPU time: 4.76328 s Remaining CPU time: 1795.24 s 4.74/4.86 c Learning 1 hard constraints 4.74/4.86 c ============================[ Search Statistics ]============================== 4.74/4.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.74/4.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.74/4.86 c =============================================================================== 4.74/4.86 c | 0 | 4719 9880 24843 | 5000 0 nan | 0.000 % | 4.74/4.87 c =============================================================================== 4.74/4.87 c core #479 4.74/4.87 c Core size: 38 Core Weight: 1 Total Weight: 479 4.74/4.87 c Elapsed CPU time: 4.78027 s Remaining CPU time: 1795.22 s 4.74/4.88 c Learning 1 hard constraints 4.74/4.88 c ============================[ Search Statistics ]============================== 4.74/4.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.74/4.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.74/4.88 c =============================================================================== 4.74/4.88 c | 0 | 4727 9882 24865 | 5000 0 nan | 0.000 % | 4.74/4.88 c =============================================================================== 4.74/4.88 c core #480 4.74/4.88 c Core size: 53 Core Weight: 1 Total Weight: 480 4.74/4.88 c Elapsed CPU time: 4.79527 s Remaining CPU time: 1795.2 s 4.74/4.90 c ============================[ Search Statistics ]============================== 4.74/4.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.74/4.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.74/4.90 c =============================================================================== 4.74/4.90 c | 0 | 4740 9883 24891 | 5000 0 nan | 0.000 % | 4.74/4.90 c =============================================================================== 4.74/4.90 c core #481 4.74/4.90 c Core size: 48 Core Weight: 1 Total Weight: 481 4.74/4.90 c Elapsed CPU time: 4.81227 s Remaining CPU time: 1795.19 s 4.85/4.91 c Learning 3 hard constraints 4.85/4.91 c ============================[ Search Statistics ]============================== 4.85/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.85/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.85/4.91 c =============================================================================== 4.85/4.91 c | 0 | 4754 9887 24935 | 5000 0 nan | 0.000 % | 4.85/4.92 c =============================================================================== 4.85/4.92 c core #482 4.85/4.92 c Core size: 55 Core Weight: 1 Total Weight: 482 4.85/4.92 c Elapsed CPU time: 4.82827 s Remaining CPU time: 1795.17 s 4.85/4.93 c Learning 1 hard constraints 4.85/4.93 c ============================[ Search Statistics ]============================== 4.85/4.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.85/4.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.85/4.93 c =============================================================================== 4.85/4.93 c | 0 | 4771 9889 24976 | 5000 0 nan | 0.000 % | 4.85/4.94 c =============================================================================== 4.85/4.94 c core #483 4.85/4.94 c Core size: 64 Core Weight: 1 Total Weight: 483 4.85/4.94 c Elapsed CPU time: 4.84326 s Remaining CPU time: 1795.16 s 4.85/4.95 c Learning 1 hard constraints 4.85/4.95 c ============================[ Search Statistics ]============================== 4.85/4.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.85/4.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.85/4.95 c =============================================================================== 4.85/4.95 c | 0 | 4784 9891 25005 | 5000 0 nan | 0.000 % | 4.85/4.95 c =============================================================================== 4.85/4.95 c core #484 4.85/4.95 c Core size: 122 Core Weight: 1 Total Weight: 484 4.85/4.95 c Elapsed CPU time: 4.86026 s Remaining CPU time: 1795.14 s 4.85/4.97 c Learning 2 hard constraints 4.85/4.97 c ============================[ Search Statistics ]============================== 4.85/4.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.85/4.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.85/4.97 c =============================================================================== 4.85/4.97 c | 0 | 4814 9894 25076 | 5000 0 nan | 0.000 % | 4.85/4.97 c =============================================================================== 4.85/4.97 c core #485 4.85/4.97 c Core size: 61 Core Weight: 1 Total Weight: 485 4.85/4.97 c Elapsed CPU time: 4.87626 s Remaining CPU time: 1795.12 s 4.85/4.99 c Learning 1 hard constraints 4.85/4.99 c ============================[ Search Statistics ]============================== 4.85/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.85/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.85/4.99 c =============================================================================== 4.85/4.99 c | 0 | 4829 9896 25113 | 5000 0 nan | 0.000 % | 4.93/5.00 c | 101 | 4723 9896 25113 | 5500 101 5 | 6.455 % | 4.93/5.01 c =============================================================================== 4.93/5.01 c core #486 4.93/5.01 c Core size: 87 Core Weight: 1 Total Weight: 486 4.93/5.01 c Elapsed CPU time: 4.90425 s Remaining CPU time: 1795.1 s 4.93/5.02 c Learning 23 hard constraints 4.93/5.02 c ============================[ Search Statistics ]============================== 4.93/5.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.93/5.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.93/5.02 c =============================================================================== 4.93/5.02 c | 0 | 4849 9920 25278 | 5000 0 nan | 0.000 % | 4.93/5.03 c =============================================================================== 4.93/5.03 c core #487 4.93/5.03 c Core size: 57 Core Weight: 1 Total Weight: 487 4.93/5.03 c Elapsed CPU time: 4.92725 s Remaining CPU time: 1795.07 s 4.93/5.05 c Learning 5 hard constraints 4.93/5.05 c ============================[ Search Statistics ]============================== 4.93/5.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.93/5.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.93/5.05 c =============================================================================== 4.93/5.05 c | 0 | 4864 9926 25330 | 5000 0 nan | 0.000 % | 4.93/5.05 c | 100 | 4856 9926 25330 | 5500 100 5 | 2.314 % | 4.93/5.06 c =============================================================================== 4.93/5.06 c core #488 4.93/5.06 c Core size: 85 Core Weight: 1 Total Weight: 488 4.93/5.06 c Elapsed CPU time: 4.95425 s Remaining CPU time: 1795.05 s 4.93/5.08 c Learning 13 hard constraints 4.93/5.08 c ============================[ Search Statistics ]============================== 4.93/5.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.93/5.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.93/5.08 c =============================================================================== 4.93/5.08 c | 0 | 4885 9940 25440 | 5000 0 nan | 0.000 % | 4.93/5.08 c =============================================================================== 4.93/5.08 c core #489 4.93/5.08 c Core size: 120 Core Weight: 1 Total Weight: 489 4.93/5.08 c Elapsed CPU time: 4.97524 s Remaining CPU time: 1795.02 s 5.03/5.10 c Learning 3 hard constraints 5.03/5.10 c ============================[ Search Statistics ]============================== 5.03/5.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.03/5.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.03/5.10 c =============================================================================== 5.03/5.10 c | 0 | 4923 9944 25531 | 5000 0 nan | 0.000 % | 5.03/5.10 c =============================================================================== 5.03/5.10 c core #490 5.03/5.10 c Core size: 149 Core Weight: 1 Total Weight: 490 5.03/5.10 c Elapsed CPU time: 4.99624 s Remaining CPU time: 1795 s 5.03/5.12 c Learning 2 hard constraints 5.03/5.12 c ============================[ Search Statistics ]============================== 5.03/5.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.03/5.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.03/5.12 c =============================================================================== 5.03/5.12 c | 0 | 4960 9947 25618 | 5000 0 nan | 0.000 % | 5.03/5.13 c | 101 | 4919 9947 25618 | 5500 101 4 | 2.590 % | 5.03/5.13 c =============================================================================== 5.03/5.13 c core #491 5.03/5.13 c Core size: 49 Core Weight: 1 Total Weight: 491 5.03/5.13 c Elapsed CPU time: 5.02224 s Remaining CPU time: 1794.98 s 5.03/5.14 c Learning 7 hard constraints 5.03/5.14 c ============================[ Search Statistics ]============================== 5.03/5.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.03/5.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.03/5.14 c =============================================================================== 5.03/5.14 c | 0 | 4973 9955 25684 | 5000 0 nan | 0.000 % | 5.03/5.16 c | 101 | 4933 9955 25684 | 5500 101 7 | 2.203 % | 5.03/5.16 c =============================================================================== 5.03/5.16 c core #492 5.03/5.16 c Core size: 114 Core Weight: 1 Total Weight: 492 5.03/5.16 c Elapsed CPU time: 5.05223 s Remaining CPU time: 1794.95 s 5.03/5.18 c Learning 6 hard constraints 5.03/5.18 c ============================[ Search Statistics ]============================== 5.03/5.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.03/5.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.03/5.18 c =============================================================================== 5.03/5.18 c | 0 | 5002 9962 25774 | 5000 0 nan | 0.000 % | 5.03/5.19 c | 100 | 4919 9962 25774 | 5500 100 5 | 5.197 % | 5.03/5.19 c =============================================================================== 5.03/5.19 c core #493 5.03/5.19 c Core size: 61 Core Weight: 1 Total Weight: 493 5.03/5.19 c Elapsed CPU time: 5.08023 s Remaining CPU time: 1794.92 s 5.13/5.21 c Learning 6 hard constraints 5.13/5.21 c ============================[ Search Statistics ]============================== 5.13/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.13/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.13/5.21 c =============================================================================== 5.13/5.21 c | 0 | 5019 9969 25842 | 5000 0 nan | 0.000 % | 5.13/5.22 c | 100 | 4988 9969 25842 | 5500 100 4 | 1.171 % | 5.13/5.23 c =============================================================================== 5.13/5.23 c core #494 5.13/5.23 c Core size: 62 Core Weight: 1 Total Weight: 494 5.13/5.23 c Elapsed CPU time: 5.11622 s Remaining CPU time: 1794.88 s 5.13/5.24 c Learning 17 hard constraints 5.13/5.24 c ============================[ Search Statistics ]============================== 5.13/5.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.13/5.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.13/5.24 c =============================================================================== 5.13/5.24 c | 0 | 5034 9987 26004 | 5000 0 nan | 0.000 % | 5.13/5.25 c =============================================================================== 5.13/5.25 c core #495 5.13/5.25 c Core size: 113 Core Weight: 1 Total Weight: 495 5.13/5.25 c Elapsed CPU time: 5.13622 s Remaining CPU time: 1794.86 s 5.13/5.26 c Learning 5 hard constraints 5.13/5.26 c ============================[ Search Statistics ]============================== 5.13/5.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.13/5.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.13/5.26 c =============================================================================== 5.13/5.26 c | 0 | 5058 9993 26079 | 5000 0 nan | 0.000 % | 5.13/5.28 c | 101 | 5006 9993 26079 | 5500 101 4 | 2.501 % | 5.13/5.28 c =============================================================================== 5.13/5.28 c core #496 5.13/5.28 c Core size: 67 Core Weight: 1 Total Weight: 496 5.13/5.28 c Elapsed CPU time: 5.16621 s Remaining CPU time: 1794.83 s 5.23/5.30 c Learning 12 hard constraints 5.23/5.30 c ============================[ Search Statistics ]============================== 5.23/5.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.23/5.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.23/5.30 c =============================================================================== 5.23/5.30 c | 0 | 5075 10006 26189 | 5000 0 nan | 0.000 % | 5.23/5.31 c | 100 | 5064 10006 26189 | 5500 100 6 | 0.687 % | 5.23/5.33 c =============================================================================== 5.23/5.33 c core #497 5.23/5.33 c Core size: 724 Core Weight: 1 Total Weight: 497 5.23/5.33 c Elapsed CPU time: 5.20621 s Remaining CPU time: 1794.79 s 5.23/5.34 c Learning 23 hard constraints 5.23/5.34 c ============================[ Search Statistics ]============================== 5.23/5.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.23/5.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.23/5.34 c =============================================================================== 5.23/5.34 c | 0 | 5230 10030 26678 | 5000 0 nan | 0.000 % | 5.23/5.36 c | 100 | 5216 10030 26678 | 5500 100 6 | 0.762 % | 5.23/5.36 c =============================================================================== 5.23/5.36 c core #498 5.23/5.36 c Core size: 90 Core Weight: 1 Total Weight: 498 5.23/5.36 c Elapsed CPU time: 5.2362 s Remaining CPU time: 1794.76 s 5.23/5.38 c Learning 14 hard constraints 5.23/5.38 c ============================[ Search Statistics ]============================== 5.23/5.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.23/5.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.23/5.38 c =============================================================================== 5.23/5.38 c | 0 | 5255 10045 26849 | 5000 0 nan | 0.000 % | 5.23/5.39 c | 100 | 5243 10045 26849 | 5500 100 6 | 0.645 % | 5.33/5.40 c | 250 | 5117 10045 26849 | 6050 205 6 | 5.441 % | 5.33/5.41 c =============================================================================== 5.33/5.41 c core #499 5.33/5.41 c Core size: 184 Core Weight: 1 Total Weight: 499 5.33/5.41 c Elapsed CPU time: 5.2752 s Remaining CPU time: 1794.72 s 5.33/5.42 c Learning 30 hard constraints 5.33/5.42 c ============================[ Search Statistics ]============================== 5.33/5.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.33/5.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.33/5.42 c =============================================================================== 5.33/5.42 c | 0 | 5298 10076 27130 | 5000 0 nan | 0.000 % | 5.33/5.43 c =============================================================================== 5.33/5.43 c core #500 5.33/5.43 c Core size: 131 Core Weight: 1 Total Weight: 500 5.33/5.43 c Elapsed CPU time: 5.29719 s Remaining CPU time: 1794.7 s 5.33/5.45 c Learning 1 hard constraints 5.33/5.45 c ============================[ Search Statistics ]============================== 5.33/5.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.33/5.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.33/5.45 c =============================================================================== 5.33/5.45 c | 0 | 5327 10078 27192 | 5000 0 nan | 0.000 % | 5.33/5.46 c | 100 | 5326 10078 27192 | 5500 100 7 | 0.449 % | 5.33/5.47 c | 250 | 5234 10078 27192 | 6050 172 7 | 2.151 % | 5.33/5.48 c =============================================================================== 5.33/5.48 c core #501 5.33/5.48 c Core size: 618 Core Weight: 1 Total Weight: 501 5.33/5.48 c Elapsed CPU time: 5.33819 s Remaining CPU time: 1794.66 s 5.33/5.49 c Learning 16 hard constraints 5.33/5.49 c ============================[ Search Statistics ]============================== 5.33/5.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.33/5.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.33/5.49 c =============================================================================== 5.33/5.49 c | 0 | 5466 10095 27557 | 5000 0 nan | 0.000 % | 5.43/5.50 c =============================================================================== 5.43/5.50 c core #502 5.43/5.50 c Core size: 170 Core Weight: 1 Total Weight: 502 5.43/5.50 c Elapsed CPU time: 5.36418 s Remaining CPU time: 1794.64 s 5.43/5.52 c Learning 8 hard constraints 5.43/5.52 c ============================[ Search Statistics ]============================== 5.43/5.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.43/5.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.43/5.52 c =============================================================================== 5.43/5.52 c | 0 | 5501 10104 27677 | 5000 0 nan | 0.000 % | 5.43/5.52 c =============================================================================== 5.43/5.53 c core #503 5.43/5.53 c Core size: 59 Core Weight: 1 Total Weight: 503 5.43/5.53 c Elapsed CPU time: 5.38518 s Remaining CPU time: 1794.61 s 5.43/5.54 c ============================[ Search Statistics ]============================== 5.43/5.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.43/5.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.43/5.54 c =============================================================================== 5.43/5.54 c | 0 | 5523 10105 27721 | 5000 0 nan | 0.000 % | 5.43/5.55 c =============================================================================== 5.43/5.55 c core #504 5.43/5.55 c Core size: 113 Core Weight: 1 Total Weight: 504 5.43/5.55 c Elapsed CPU time: 5.40818 s Remaining CPU time: 1794.59 s 5.43/5.56 c Learning 3 hard constraints 5.43/5.56 c ============================[ Search Statistics ]============================== 5.43/5.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.43/5.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.43/5.56 c =============================================================================== 5.43/5.56 c | 0 | 5548 10109 27785 | 5000 0 nan | 0.000 % | 5.43/5.58 c | 100 | 5545 10109 27785 | 5500 100 8 | 0.431 % | 5.43/5.58 c | 253 | 5541 10109 27785 | 6050 253 8 | 0.575 % | 5.43/5.58 c =============================================================================== 5.43/5.59 c core #505 5.43/5.59 c Core size: 164 Core Weight: 1 Total Weight: 505 5.43/5.59 c Elapsed CPU time: 5.44017 s Remaining CPU time: 1794.56 s 5.53/5.60 c Learning 16 hard constraints 5.53/5.60 c ============================[ Search Statistics ]============================== 5.53/5.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.53/5.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.53/5.60 c =============================================================================== 5.53/5.60 c | 0 | 5582 10126 27930 | 5000 0 nan | 0.000 % | 5.53/5.62 c | 101 | 5580 10126 27930 | 5500 101 6 | 0.464 % | 5.53/5.63 c | 252 | 5537 10126 27930 | 6050 228 7 | 2.178 % | 5.53/5.65 c | 480 | 5447 10126 27930 | 6655 386 9 | 2.767 % | 5.53/5.69 c | 817 | 5407 10126 27930 | 7320 722 11 | 4.677 % | 5.63/5.70 c =============================================================================== 5.63/5.70 c core #506 5.63/5.70 c Core size: 1069 Core Weight: 1 Total Weight: 506 5.63/5.70 c Elapsed CPU time: 5.55116 s Remaining CPU time: 1794.45 s 5.63/5.72 c Learning 49 hard constraints 5.63/5.72 c ============================[ Search Statistics ]============================== 5.63/5.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.63/5.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.63/5.72 c =============================================================================== 5.63/5.72 c | 0 | 5784 10176 28808 | 5000 0 nan | 0.000 % | 5.63/5.73 c | 100 | 5782 10176 28808 | 5500 100 10 | 0.379 % | 5.63/5.74 c | 252 | 5780 10176 28808 | 6050 221 11 | 0.414 % | 5.63/5.76 c | 479 | 5780 10176 28808 | 6655 448 11 | 0.414 % | 5.63/5.79 c | 816 | 5777 10176 28808 | 7320 784 11 | 0.482 % | 5.72/5.84 c | 1322 | 5776 10176 28808 | 8052 1290 13 | 0.482 % | 5.83/5.91 c =============================================================================== 5.83/5.92 c core #507 5.83/5.92 c Core size: 1536 Core Weight: 1 Total Weight: 507 5.83/5.92 c Elapsed CPU time: 5.75712 s Remaining CPU time: 1794.24 s 5.83/5.94 c Learning 75 hard constraints 5.83/5.94 c ============================[ Search Statistics ]============================== 5.83/5.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.83/5.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.83/5.94 c =============================================================================== 5.83/5.94 c | 0 | 6084 10252 29844 | 5000 0 nan | 0.000 % | 5.83/5.95 c | 106 | 6084 10252 29844 | 5500 106 14 | 0.328 % | 5.83/5.97 c | 256 | 6084 10252 29844 | 6050 256 14 | 0.328 % | 5.83/5.99 c | 482 | 6084 10252 29844 | 6655 482 16 | 0.328 % | 5.93/6.03 c | 822 | 6080 10252 29844 | 7320 820 16 | 0.393 % | 5.93/6.06 c | 1328 | 6077 10252 29844 | 8052 1320 17 | 0.459 % | 6.03/6.14 c | 2087 | 6077 10252 29844 | 8857 2079 20 | 0.459 % | 6.13/6.28 c | 3226 | 6060 10252 29844 | 9743 3139 20 | 0.721 % | 6.43/6.53 c | 4934 | 6036 10252 29844 | 10717 4635 22 | 1.114 % | 6.43/6.56 c =============================================================================== 6.43/6.58 c core #508 6.43/6.58 c Core size: 1313 Core Weight: 1 Total Weight: 508 6.43/6.58 c Elapsed CPU time: 6.40203 s Remaining CPU time: 1793.6 s 6.53/6.61 c Learning 117 hard constraints 6.53/6.61 c ============================[ Search Statistics ]============================== 6.53/6.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.53/6.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.53/6.61 c =============================================================================== 6.53/6.61 c | 0 | 6342 10370 30983 | 5000 0 nan | 0.000 % | 6.53/6.62 c | 101 | 6342 10370 30983 | 5500 101 12 | 0.315 % | 6.53/6.63 c | 251 | 6340 10370 30983 | 6050 249 14 | 0.346 % | 6.53/6.66 c | 476 | 6340 10370 30983 | 6655 474 15 | 0.346 % | 6.53/6.69 c | 814 | 6338 10370 30983 | 7320 811 17 | 0.377 % | 6.63/6.75 c | 1320 | 6333 10370 30983 | 8052 1314 21 | 0.472 % | 6.73/6.84 c | 2080 | 6331 10370 30983 | 8857 2069 22 | 0.503 % | 6.93/7.01 c | 3224 | 6324 10370 30983 | 9743 3145 27 | 0.597 % | 7.12/7.27 c | 4934 | 6279 10370 30983 | 10717 4834 29 | 1.933 % | 7.43/7.55 c =============================================================================== 7.43/7.59 c core #509 7.43/7.59 c Core size: 1664 Core Weight: 1 Total Weight: 509 7.43/7.59 c Elapsed CPU time: 7.38188 s Remaining CPU time: 1792.62 s 7.43/7.61 c Learning 91 hard constraints 7.43/7.61 c ============================[ Search Statistics ]============================== 7.43/7.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.61 c =============================================================================== 7.43/7.61 c | 0 | 6670 10462 32164 | 5000 0 nan | 0.000 % | 7.55/7.63 c | 102 | 6667 10462 32164 | 5500 102 7 | 0.374 % | 7.55/7.64 c | 254 | 6664 10462 32164 | 6050 254 18 | 0.404 % | 7.55/7.67 c | 480 | 6644 10462 32164 | 6655 456 23 | 0.718 % | 7.55/7.71 c | 818 | 6602 10462 32164 | 7320 773 30 | 5.605 % | 7.64/7.77 c | 1326 | 6311 10462 32164 | 8052 1255 42 | 5.665 % | 7.73/7.87 c | 2087 | 6289 10462 32164 | 8857 2010 47 | 6.697 % | 7.93/8.06 c | 3227 | 6242 10462 32164 | 9743 2784 53 | 6.697 % | 8.22/8.36 c =============================================================================== 8.22/8.40 c core #510 8.22/8.40 c Core size: 467 Core Weight: 1 Total Weight: 510 8.22/8.40 c Elapsed CPU time: 8.17976 s Remaining CPU time: 1791.82 s 8.32/8.42 c Learning 2 hard constraints 8.32/8.42 c ============================[ Search Statistics ]============================== 8.32/8.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.32/8.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.32/8.42 c =============================================================================== 8.32/8.42 c | 0 | 6773 10465 32383 | 5000 0 nan | 0.000 % | 8.32/8.44 c | 100 | 6773 10465 32383 | 5500 100 32 | 0.295 % | 8.32/8.45 c | 251 | 6773 10465 32383 | 6050 251 28 | 0.295 % | 8.32/8.48 c | 477 | 6769 10465 32383 | 6655 475 22 | 0.353 % | 8.43/8.52 c | 817 | 6767 10465 32383 | 7320 812 24 | 0.383 % | 8.43/8.58 c | 1323 | 6767 10465 32383 | 8052 1318 24 | 0.383 % | 8.52/8.64 c | 2082 | 6767 10465 32383 | 8857 2077 26 | 0.383 % | 8.62/8.77 c | 3222 | 6765 10465 32383 | 9743 3209 27 | 0.412 % | 8.93/9.03 c | 4930 | 6763 10465 32383 | 10717 4913 42 | 0.442 % | 9.42/9.57 c | 7494 | 6761 10465 32383 | 11789 5878 42 | 0.471 % | 10.42/10.54 c | 11341 | 6761 10465 32383 | 12968 9725 57 | 0.471 % | 12.22/12.39 c | 17107 | 6759 10465 32383 | 14265 8637 96 | 0.501 % | 14.92/15.03 c | 25756 | 6759 10465 32383 | 15692 9791 77 | 0.501 % | 17.92/18.07 c | 38731 | 6733 10465 32383 | 17261 14435 61 | 0.913 % | 18.82/18.91 c =============================================================================== 18.92/19.01 c core #511 18.92/19.01 c Core size: 2405 Core Weight: 1 Total Weight: 511 18.92/19.01 c Elapsed CPU time: 18.6452 s Remaining CPU time: 1781.35 s 18.92/19.08 c Learning 185 hard constraints 18.92/19.08 c ============================[ Search Statistics ]============================== 18.92/19.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.92/19.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.92/19.08 c =============================================================================== 18.92/19.08 c | 0 | 7257 10651 34240 | 5000 0 nan | 0.000 % | 18.92/19.10 c | 100 | 7257 10651 34240 | 5500 100 43 | 0.275 % | 19.02/19.12 c | 251 | 7257 10651 34240 | 6050 251 32 | 0.275 % | 19.02/19.14 c | 477 | 7257 10651 34240 | 6655 477 29 | 0.275 % | 19.02/19.18 c | 815 | 7255 10651 34240 | 7320 813 32 | 0.302 % | 19.12/19.23 c | 1326 | 7255 10651 34240 | 8052 1324 29 | 0.302 % | 19.22/19.35 c | 2085 | 7255 10651 34240 | 8857 2083 39 | 0.302 % | 19.32/19.48 c | 3226 | 7255 10651 34240 | 9743 3224 36 | 0.302 % | 19.52/19.67 c | 4937 | 7255 10651 34240 | 10717 4935 36 | 0.302 % | 19.92/20.03 c | 7501 | 7253 10651 34240 | 11789 7496 36 | 0.330 % | 20.81/20.90 c | 11346 | 7251 10651 34240 | 12968 11339 51 | 0.357 % | 22.02/22.15 c | 17115 | 7241 10651 34240 | 14265 9814 58 | 0.522 % | 24.42/24.50 c | 25764 | 7237 10651 34240 | 15692 10605 81 | 0.550 % | 27.71/27.83 c | 38738 | 7229 10651 34240 | 17261 14355 74 | 0.660 % | 37.10/37.22 c | 58200 | 7225 10651 34240 | 18987 15884 98 | 0.715 % | 49.30/49.48 c | 87393 | 7223 10651 34240 | 20886 15738 66 | 0.742 % | 64.00/64.11 c =============================================================================== 64.20/64.36 c core #512 64.20/64.36 c Core size: 732 Core Weight: 1 Total Weight: 512 64.20/64.36 c Elapsed CPU time: 63.6173 s Remaining CPU time: 1736.38 s 64.40/64.50 c Learning 30 hard constraints 64.40/64.50 c ============================[ Search Statistics ]============================== 64.40/64.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.40/64.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.40/64.50 c =============================================================================== 64.40/64.50 c | 0 | 7427 10682 34694 | 5000 0 nan | 0.000 % | 64.40/64.54 c | 100 | 7427 10682 34694 | 5500 100 31 | 0.269 % | 64.40/64.56 c | 250 | 7427 10682 34694 | 6050 250 25 | 0.269 % | 64.40/64.59 c | 476 | 7427 10682 34694 | 6655 476 26 | 0.269 % | 64.50/64.63 c | 813 | 7427 10682 34694 | 7320 813 26 | 0.269 % | 64.50/64.69 c | 1321 | 7427 10682 34694 | 8052 1321 28 | 0.269 % | 64.60/64.79 c | 2080 | 7427 10682 34694 | 8857 2080 39 | 0.269 % | 64.79/64.91 c | 3222 | 7425 10682 34694 | 9743 3194 39 | 0.295 % | 65.09/65.23 c | 4930 | 7425 10682 34694 | 10717 4902 46 | 0.295 % | 65.49/65.70 c | 7493 | 7423 10682 34694 | 11789 7463 51 | 0.322 % | 66.59/66.74 c | 11340 | 7423 10682 34694 | 12968 11310 63 | 0.322 % | 68.29/68.43 c | 17106 | 7421 10682 34694 | 14265 9650 72 | 0.349 % | 70.19/70.30 c | 25755 | 7411 10682 34694 | 15692 10298 53 | 0.510 % | 73.09/73.24 c | 38729 | 7401 10682 34694 | 17261 14716 55 | 0.618 % | 77.59/77.73 c | 58196 | 7399 10682 34694 | 18987 16528 42 | 0.645 % | 87.09/87.21 c | 87391 | 7394 10682 34694 | 20886 15627 76 | 0.725 % | 107.98/108.11 c | 131180 | 7377 10682 34694 | 22974 15156 70 | 0.967 % | 140.07/140.21 c | 196866 | 7369 10682 34694 | 25272 20907 62 | 1.047 % | 174.76/174.91 c =============================================================================== 174.86/175.07 c core #513 174.86/175.07 c Core size: 679 Core Weight: 1 Total Weight: 513 174.86/175.07 c Elapsed CPU time: 173.442 s Remaining CPU time: 1626.56 s 175.16/175.37 c Learning 11 hard constraints 175.16/175.37 c ============================[ Search Statistics ]============================== 175.16/175.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 175.16/175.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 175.16/175.37 c =============================================================================== 175.16/175.37 c | 0 | 7607 10694 35110 | 5000 0 nan | 0.000 % | 175.26/175.43 c | 100 | 7607 10694 35110 | 5500 100 42 | 0.262 % | 175.26/175.45 c | 250 | 7607 10694 35110 | 6050 250 32 | 0.262 % | 175.26/175.49 c | 475 | 7607 10694 35110 | 6655 475 35 | 0.262 % | 175.36/175.53 c | 813 | 7607 10694 35110 | 7320 813 36 | 0.262 % | 175.36/175.58 c | 1319 | 7607 10694 35110 | 8052 1319 32 | 0.262 % | 175.46/175.68 c | 2079 | 7607 10694 35110 | 8857 2079 38 | 0.262 % | 175.66/175.82 c | 3218 | 7605 10694 35110 | 9743 3217 38 | 0.288 % | 175.87/176.05 c | 4926 | 7605 10694 35110 | 10717 4925 53 | 0.288 % | 176.47/176.67 c | 7488 | 7605 10694 35110 | 11789 7487 69 | 0.288 % | 177.46/177.67 c | 11342 | 7605 10694 35110 | 12968 11341 68 | 0.288 % | 178.66/178.80 c | 17108 | 7605 10694 35110 | 14265 9785 63 | 0.288 % | 181.16/181.31 c | 25759 | 7600 10694 35110 | 15692 10985 54 | 0.367 % | 188.26/188.50 c | 38743 | 7599 10694 35110 | 17261 14828 133 | 0.367 % | 206.45/206.65 c | 58207 | 7599 10694 35110 | 18987 15911 129 | 0.367 % | 220.45/220.60 c | 87400 | 7597 10694 35110 | 20886 14435 91 | 0.393 % | 236.25/236.46 c | 131189 | 7593 10694 35110 | 22974 13984 50 | 0.446 % | 270.73/270.91 c | 196874 | 7593 10694 35110 | 25272 15419 91 | 0.446 % | 334.42/334.69 c | 295402 | 7589 10694 35110 | 27799 15839 121 | 0.498 % | 457.18/457.46 c | 443191 | 7587 10694 35110 | 30579 18082 100 | 0.525 % | 633.11/633.49 c | 664877 | 7587 10694 35110 | 33637 13114 73 | 0.524 % | 868.05/868.49 c | 997403 | 7583 10694 35110 | 37001 15877 148 | 0.577 % | 1247.34/1247.84 c | 1496193 | 7579 10694 35110 | 40701 33465 111 | 0.629 % |
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-1875726-1245149525/watcher-1875726-1245149525 -o /tmp/evaluation-result-1875726-1245149525/solver-1875726-1245149525 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875726-1245149525.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5359 /proc/meminfo: memFree=1864720/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=3056 CPUtime=0 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 182552592 3129344 247 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 764 247 124 292 0 418 0 [startup+0.0136711 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5359 /proc/meminfo: memFree=1864720/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=3056 CPUtime=0.01 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 302 0 0 0 1 0 0 0 18 0 1 0 182552592 3129344 286 1992294400 134512640 135709839 4294956240 18446744073709551615 134543838 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 764 288 143 292 0 418 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3056 [startup+0.101681 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5359 /proc/meminfo: memFree=1864720/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=3732 CPUtime=0.1 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 560 0 0 0 10 0 0 0 18 0 1 0 182552592 3821568 493 1992294400 134512640 135709839 4294956240 18446744073709551615 134570345 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 933 493 133 292 0 638 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3732 [startup+0.301703 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5359 /proc/meminfo: memFree=1864720/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=3916 CPUtime=0.3 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 599 0 0 0 30 0 0 0 19 0 1 0 182552592 4009984 532 1992294400 134512640 135709839 4294956240 18446744073709551615 135164476 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 979 532 133 292 0 684 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3916 [startup+0.701749 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5359 /proc/meminfo: memFree=1864720/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=4020 CPUtime=0.7 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 634 0 0 0 70 0 0 0 22 0 1 0 182552592 4116480 563 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 1005 563 133 292 0 710 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 4020 [startup+1.50184 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5360 /proc/meminfo: memFree=1862472/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=5112 CPUtime=1.49 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 986 0 0 0 149 0 0 0 25 0 1 0 182552592 5234688 834 1992294400 134512640 135709839 4294956240 18446744073709551615 135165878 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 1278 834 133 292 0 983 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5112 [startup+3.19969 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5360 /proc/meminfo: memFree=1861320/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=6592 CPUtime=3.21 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 1936 0 0 0 320 1 0 0 25 0 1 0 182552592 6750208 1270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 1750 1293 135 292 0 1455 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 6592 [startup+6.30139 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5360 /proc/meminfo: memFree=1852112/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=15200 CPUtime=6.22 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 4788 0 0 0 611 11 0 0 25 0 1 0 182552592 15564800 3330 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 3800 3330 136 292 0 3505 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 15200 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5360 /proc/meminfo: memFree=1842064/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=25060 CPUtime=12.62 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 7342 0 0 0 1241 21 0 0 25 0 1 0 182552592 25661440 5810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 6265 5810 136 292 0 5970 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 25060 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5360 /proc/meminfo: memFree=1828048/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=38612 CPUtime=25.42 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 10742 0 0 0 2500 42 0 0 25 0 1 0 182552592 39538688 9210 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 9653 9210 136 292 0 9358 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 38612 [startup+51.1055 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5362 /proc/meminfo: memFree=1796496/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=70204 CPUtime=51 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 18628 0 0 0 5043 57 0 0 25 0 1 0 182552592 71888896 17096 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 17551 17096 136 292 0 17256 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 70204 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/65 5362 /proc/meminfo: memFree=1752784/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=114064 CPUtime=102.18 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 29595 0 0 0 10121 97 0 0 25 0 1 0 182552592 116801536 28063 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 28516 28063 136 292 0 28221 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 114064 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5362 /proc/meminfo: memFree=1690768/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=176016 CPUtime=162.17 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 45055 0 0 0 16078 139 0 0 25 0 1 0 182552592 180240384 43523 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 44004 43523 136 292 0 43709 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 176016 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5362 /proc/meminfo: memFree=1657104/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=209724 CPUtime=222.15 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 53513 0 0 0 22039 176 0 0 25 0 1 0 182552592 214757376 51981 1992294400 134512640 135709839 4294956240 18446744073709551615 134572382 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 52431 51981 136 292 0 52136 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 209724 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5362 /proc/meminfo: memFree=1580240/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=286016 CPUtime=282.14 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 72563 0 0 0 27995 219 0 0 25 0 1 0 182552592 292880384 71031 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 71504 71031 136 292 0 71209 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 286016 [startup+342.302 s] /proc/loadavg: 1.04 1.00 1.00 2/65 5362 /proc/meminfo: memFree=1510160/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=356944 CPUtime=342.11 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 90285 0 0 0 33956 255 0 0 25 0 1 0 182552592 365510656 88753 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 89236 88753 136 292 0 88941 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 356944 [startup+402.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 5362 /proc/meminfo: memFree=1458384/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=407740 CPUtime=402.1 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 102957 0 0 0 39931 279 0 0 25 0 1 0 182552592 417525760 101425 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 101935 101425 136 292 0 101640 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 407740 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5362 /proc/meminfo: memFree=1412688/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=454344 CPUtime=462.08 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 114577 0 0 0 45901 307 0 0 25 0 1 0 182552592 465248256 113045 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 113586 113045 136 292 0 113291 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 454344 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5362 /proc/meminfo: memFree=1371088/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=495372 CPUtime=522.07 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 124789 0 0 0 51874 333 0 0 25 0 1 0 182552592 507260928 123257 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 123843 123257 136 292 0 123548 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 495372 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=1336592/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=529476 CPUtime=582.02 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 133271 0 0 0 57850 352 0 0 25 0 1 0 182552592 542183424 131739 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 132369 131739 136 292 0 132074 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 529476 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=1288848/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=578040 CPUtime=642 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 145371 0 0 0 63816 384 0 0 25 0 1 0 182552592 591912960 143839 1992294400 134512640 135709839 4294956240 18446744073709551615 134573878 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 144510 143839 136 292 0 144215 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 578040 [startup+702.305 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=1074576/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=792428 CPUtime=881.94 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 198886 0 0 0 87687 507 0 0 25 0 1 0 182552592 811446272 197354 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 198107 197354 136 292 0 197812 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 792428 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=1037200/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=828864 CPUtime=941.92 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 207955 0 0 0 93662 530 0 0 25 0 1 0 182552592 848756736 206423 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 207216 206423 136 292 0 206921 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 828864 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=1006608/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=859464 CPUtime=1001.91 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 215574 0 0 0 99637 554 0 0 25 0 1 0 182552592 880091136 214042 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 214866 214042 136 292 0 214571 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 859464 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=971536/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=894504 CPUtime=1061.89 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 224311 0 0 0 105612 577 0 0 25 0 1 0 182552592 915972096 222779 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 223626 222779 136 292 0 223331 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 894504 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=939280/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=926948 CPUtime=1121.88 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 232407 0 0 0 111585 603 0 0 25 0 1 0 182552592 949194752 230875 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 231737 230875 136 292 0 231442 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 926948 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=907728/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=958320 CPUtime=1181.85 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 240225 0 0 0 117564 621 0 0 25 0 1 0 182552592 981319680 238693 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 239580 238693 136 292 0 239285 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 958320 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=853072/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1012656 CPUtime=1241.85 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 253782 0 0 0 123528 657 0 0 25 0 1 0 182552592 1036959744 252250 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 253164 252250 136 292 0 252869 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1012656 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=815952/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1050096 CPUtime=1301.82 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 263118 0 0 0 129499 683 0 0 25 0 1 0 182552592 1075298304 261586 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 262524 261586 136 292 0 262229 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1050096 [startup+1362.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=772688/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1093140 CPUtime=1361.81 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 273842 0 0 0 135467 714 0 0 25 0 1 0 182552592 1119375360 272310 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 273285 272310 136 292 0 272990 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1093140 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=738384/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1127732 CPUtime=1421.79 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 282463 0 0 0 141440 739 0 0 25 0 1 0 182552592 1154797568 280931 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 281933 280931 136 292 0 281638 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1127732 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=710160/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1155784 CPUtime=1481.78 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 289435 0 0 0 147419 759 0 0 25 0 1 0 182552592 1183522816 287903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 288946 287903 136 292 0 288651 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1155784 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=679760/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1186112 CPUtime=1541.75 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 297016 0 0 0 153396 779 0 0 25 0 1 0 182552592 1214578688 295484 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 296528 295484 136 292 0 296233 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1186112 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=641616/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1224292 CPUtime=1601.74 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 306571 0 0 0 159367 807 0 0 25 0 1 0 182552592 1253675008 305039 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 306073 305039 136 292 0 305778 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1224292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=596624/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1269700 CPUtime=1661.73 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 317901 0 0 0 165338 835 0 0 25 0 1 0 182552592 1300172800 316369 1992294400 134512640 135709839 4294956240 18446744073709551615 134572798 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 317425 316369 136 292 0 317130 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1269700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=550608/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1315268 CPUtime=1721.71 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 329269 0 0 0 171309 862 0 0 25 0 1 0 182552592 1346834432 327737 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 328817 327737 136 292 0 328522 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1315268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=512912/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1353068 CPUtime=1781.7 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 338694 0 0 0 177285 885 0 0 25 0 1 0 182552592 1385541632 337162 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 338267 337162 136 292 0 337972 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1353068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=505488/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=1360196 CPUtime=1800.09 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4194304 340445 0 0 0 179121 888 0 0 25 0 1 0 182552592 1392840704 338913 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 340049 338913 136 292 0 339754 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1360196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5368 /proc/meminfo: memFree=505488/2055920 swapFree=4191900/4192956 [pid=5359] ppid=5357 vsize=0 CPUtime=1800.29 /proc/5359/stat : 5359 (wbo) R 5357 5359 5117 0 -1 4195332 340445 0 0 0 179121 908 0 0 25 0 1 0 182552592 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5359/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.92 CPU time (s): 1800.32 CPU user time (s): 1791.22 CPU system time (s): 9.09962 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 1360196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.22 system time used= 9.09962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340445 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4538 runsolver used 1.34679 second user time and 4.11437 second system time The end
Begin job on node28 at 2009-06-16 12:52:06 IDJOB=1875726 IDBENCH=2056 IDSOLVER=698 FILE ID=node28/1875726-1245149525 PBS_JOBID= 9363745 Free space on /tmp= 66176 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.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-1875726-1245149525/watcher-1875726-1245149525 -o /tmp/evaluation-result-1875726-1245149525/solver-1875726-1245149525 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875726-1245149525.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ccbbad891f18298525c42c78a48134ce RANDOM SEED=442956257 node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1865264 kB Buffers: 20316 kB Cached: 95160 kB SwapCached: 260 kB Active: 46828 kB Inactive: 87048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865264 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2576 kB Writeback: 0 kB Mapped: 22624 kB Slab: 42544 kB Committed_AS: 153116 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875726-1245149525.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-16 13:22:08