Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.12 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb |
MD5SUM | 86f7a40f10562dbaf52738a8a2410a9b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 376 |
Best CPU time to get the best result obtained on this benchmark | 1.50377 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 376 |
Optimality of the best value was proved | YES |
Number of variables | 762 |
Total number of constraints | 7299 |
Number of constraints which are clauses | 7299 |
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 | 32 |
Number of terms in the objective function | 762 |
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 | 762 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 762 |
Number of bits of the biggest sum of numbers | 10 |
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-1876237-1245160331.opb. 0.00/0.00 c Instance file HOME/instance-1876237-1245160331.opb 0.00/0.00 c File size is 337422 bytes. 0.00/0.04 c Highest Coefficient sum: 33 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 762 | 0.00/0.04 c | Number Clauses: 8061 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.04 c core #1 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #2 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #3 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #4 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.06/0.07 c core #5 0.06/0.07 c Core size: 3 Core Weight: 1 Total Weight: 5 0.06/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.06/0.07 c core #6 0.06/0.07 c Core size: 3 Core Weight: 1 Total Weight: 6 0.06/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.06/0.08 c core #7 0.06/0.08 c Core size: 3 Core Weight: 1 Total Weight: 7 0.06/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #8 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 8 0.06/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.06/0.09 c core #9 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 9 0.06/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #10 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 10 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #11 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 11 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #12 0.09/0.11 c Core size: 3 Core Weight: 1 Total Weight: 12 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #13 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 13 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #14 0.09/0.12 c Core size: 3 Core Weight: 1 Total Weight: 14 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #15 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 15 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #16 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 16 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #17 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 17 0.09/0.14 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #18 0.09/0.15 c Core size: 3 Core Weight: 1 Total Weight: 18 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #19 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 19 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #20 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 20 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #21 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 21 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #22 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 22 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #23 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 23 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #24 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 24 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #25 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 25 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #26 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 26 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #27 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 27 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #28 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: 28 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #29 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 29 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #30 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 30 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #31 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: 31 0.19/0.23 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #32 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 32 0.19/0.24 c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #33 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 33 0.19/0.25 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #34 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 34 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #35 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 35 0.19/0.26 c Elapsed CPU time: 0.25896 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #36 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 36 0.19/0.26 c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #37 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 37 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #38 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 38 0.19/0.28 c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s 0.19/0.28 c core #39 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 39 0.19/0.28 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.19/0.29 c core #40 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 40 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #41 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 41 0.29/0.30 c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s 0.29/0.30 c core #42 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: 42 0.29/0.30 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #43 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 43 0.29/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #44 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 44 0.29/0.32 c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s 0.29/0.32 c core #45 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: 45 0.29/0.32 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #46 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 46 0.29/0.33 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #47 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 47 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.34 c core #48 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: 48 0.29/0.34 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #49 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 49 0.29/0.35 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #50 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 50 0.29/0.36 c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #51 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 51 0.29/0.36 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #52 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 52 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.37 c core #53 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 53 0.29/0.37 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.29/0.38 c core #54 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: 54 0.29/0.38 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #55 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 55 0.29/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.29/0.39 c core #56 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 56 0.29/0.39 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #57 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: 57 0.39/0.40 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #58 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 58 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.41 c core #59 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 59 0.39/0.41 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #60 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: 60 0.39/0.42 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #61 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 61 0.39/0.43 c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s 0.39/0.43 c core #62 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 62 0.39/0.43 c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #63 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: 63 0.39/0.44 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #64 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 64 0.39/0.45 c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s 0.39/0.45 c core #65 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 65 0.39/0.45 c Elapsed CPU time: 0.45393 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #66 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: 66 0.39/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #67 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 67 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.47 c core #68 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 68 0.39/0.47 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #69 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 69 0.39/0.48 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.39/0.48 c core #70 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 70 0.39/0.48 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.39/0.49 c core #71 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: 71 0.39/0.49 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #72 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 72 0.49/0.50 c Elapsed CPU time: 0.499924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #73 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 73 0.49/0.50 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #74 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: 74 0.49/0.51 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #75 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 75 0.49/0.52 c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s 0.49/0.52 c core #76 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 76 0.49/0.52 c Elapsed CPU time: 0.52592 s Remaining CPU time: 1799.47 s 0.49/0.53 c core #77 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: 77 0.49/0.53 c Elapsed CPU time: 0.531919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #78 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 78 0.49/0.54 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 0.49/0.54 c core #79 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 79 0.49/0.54 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #80 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: 80 0.49/0.55 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #81 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 81 0.49/0.56 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.49/0.56 c core #82 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 82 0.49/0.56 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #83 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: 83 0.49/0.57 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #84 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 84 0.49/0.58 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.49/0.58 c core #85 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 85 0.49/0.58 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #86 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: 86 0.49/0.59 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.49/0.60 c core #87 0.49/0.60 c Core size: 3 Core Weight: 1 Total Weight: 87 0.49/0.60 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.60 c core #88 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 88 0.59/0.60 c Elapsed CPU time: 0.603908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #89 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: 89 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #90 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 90 0.59/0.62 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 0.59/0.62 c core #91 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 91 0.59/0.62 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #92 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: 92 0.59/0.63 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #93 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 93 0.59/0.64 c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s 0.59/0.64 c core #94 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 94 0.59/0.64 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #95 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 95 0.59/0.65 c Elapsed CPU time: 0.650901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #96 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: 96 0.59/0.66 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.66 c core #97 0.59/0.66 c Core size: 33 Core Weight: 1 Total Weight: 97 0.59/0.66 c Elapsed CPU time: 0.663899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #98 0.59/0.67 c Core size: 33 Core Weight: 1 Total Weight: 98 0.59/0.67 c Elapsed CPU time: 0.670898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #99 0.59/0.68 c Core size: 33 Core Weight: 1 Total Weight: 99 0.59/0.68 c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #100 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: 100 0.59/0.68 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #101 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 101 0.59/0.69 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #102 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: 102 0.69/0.70 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #103 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: 103 0.69/0.71 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #104 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: 104 0.69/0.71 c Elapsed CPU time: 0.713891 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #105 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: 105 0.69/0.72 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #106 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: 106 0.69/0.73 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.69/0.73 c core #107 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: 107 0.69/0.73 c Elapsed CPU time: 0.735888 s Remaining CPU time: 1799.26 s 0.69/0.74 c core #108 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: 108 0.69/0.74 c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #109 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: 109 0.69/0.75 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #110 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: 110 0.69/0.76 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.76 c core #111 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: 111 0.69/0.76 c Elapsed CPU time: 0.763883 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #112 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: 112 0.69/0.77 c Elapsed CPU time: 0.770882 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #113 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: 113 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.78 c core #114 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: 114 0.69/0.78 c Elapsed CPU time: 0.78488 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #115 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: 115 0.69/0.79 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #116 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: 116 0.79/0.80 c Elapsed CPU time: 0.799878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #117 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: 117 0.79/0.81 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.79/0.81 c core #118 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: 118 0.79/0.81 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #119 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: 119 0.79/0.82 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #120 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: 120 0.79/0.83 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #121 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: 121 0.79/0.84 c Elapsed CPU time: 0.836872 s Remaining CPU time: 1799.16 s 0.79/0.84 c core #122 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: 122 0.79/0.84 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #123 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: 123 0.79/0.85 c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #124 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: 124 0.79/0.86 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.79/0.86 c core #125 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: 125 0.79/0.86 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.87 c core #126 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: 126 0.79/0.87 c Elapsed CPU time: 0.872867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #127 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: 127 0.79/0.88 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #128 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: 128 0.79/0.89 c Elapsed CPU time: 0.887865 s Remaining CPU time: 1799.11 s 0.79/0.89 c core #129 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: 129 0.79/0.89 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #130 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: 130 0.89/0.90 c Elapsed CPU time: 0.902862 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #131 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: 131 0.89/0.91 c Elapsed CPU time: 0.909861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #132 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: 132 0.89/0.92 c Elapsed CPU time: 0.91686 s Remaining CPU time: 1799.08 s 0.89/0.92 c core #133 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: 133 0.89/0.92 c Elapsed CPU time: 0.923859 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #134 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: 134 0.89/0.93 c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #135 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: 135 0.89/0.94 c Elapsed CPU time: 0.938857 s Remaining CPU time: 1799.06 s 0.89/0.94 c core #136 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: 136 0.89/0.94 c Elapsed CPU time: 0.945856 s Remaining CPU time: 1799.05 s 0.89/0.95 c core #137 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: 137 0.89/0.95 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #138 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: 138 0.89/0.96 c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #139 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: 139 0.89/0.97 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 0.89/0.97 c core #140 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: 140 0.89/0.97 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #141 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: 141 0.89/0.98 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #142 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: 142 0.89/0.99 c Elapsed CPU time: 0.989849 s Remaining CPU time: 1799.01 s 0.89/1.00 c core #143 0.89/1.00 c Core size: 4 Core Weight: 1 Total Weight: 143 0.89/1.00 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 1.00/1.00 c core #144 1.00/1.00 c Core size: 4 Core Weight: 1 Total Weight: 144 1.00/1.00 c Elapsed CPU time: 1.00485 s Remaining CPU time: 1799 s 1.00/1.01 c core #145 1.00/1.01 c Core size: 4 Core Weight: 1 Total Weight: 145 1.00/1.01 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #146 1.00/1.02 c Core size: 4 Core Weight: 1 Total Weight: 146 1.00/1.02 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #147 1.00/1.03 c Core size: 4 Core Weight: 1 Total Weight: 147 1.00/1.03 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 1.00/1.03 c core #148 1.00/1.03 c Core size: 4 Core Weight: 1 Total Weight: 148 1.00/1.03 c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #149 1.00/1.04 c Core size: 4 Core Weight: 1 Total Weight: 149 1.00/1.04 c Elapsed CPU time: 1.04184 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #150 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: 150 1.00/1.05 c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #151 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: 151 1.00/1.06 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 1.00/1.06 c core #152 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: 152 1.00/1.06 c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #153 1.00/1.07 c Core size: 4 Core Weight: 1 Total Weight: 153 1.00/1.07 c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #154 1.00/1.08 c Core size: 4 Core Weight: 1 Total Weight: 154 1.00/1.08 c Elapsed CPU time: 1.08083 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #155 1.00/1.09 c Core size: 4 Core Weight: 1 Total Weight: 155 1.00/1.09 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.00/1.09 c core #156 1.00/1.09 c Core size: 4 Core Weight: 1 Total Weight: 156 1.00/1.09 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.10/1.10 c core #157 1.10/1.10 c Core size: 4 Core Weight: 1 Total Weight: 157 1.10/1.10 c Elapsed CPU time: 1.10283 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #158 1.10/1.11 c Core size: 4 Core Weight: 1 Total Weight: 158 1.10/1.11 c Elapsed CPU time: 1.10983 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #159 1.10/1.12 c Core size: 4 Core Weight: 1 Total Weight: 159 1.10/1.12 c Elapsed CPU time: 1.11683 s Remaining CPU time: 1798.88 s 1.10/1.12 c core #160 1.10/1.12 c Core size: 4 Core Weight: 1 Total Weight: 160 1.10/1.12 c Elapsed CPU time: 1.12483 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #161 1.10/1.13 c Core size: 4 Core Weight: 1 Total Weight: 161 1.10/1.13 c Elapsed CPU time: 1.13183 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #162 1.10/1.14 c Core size: 4 Core Weight: 1 Total Weight: 162 1.10/1.14 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #163 1.10/1.15 c Core size: 48 Core Weight: 1 Total Weight: 163 1.10/1.15 c Elapsed CPU time: 1.14783 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #164 1.10/1.16 c Core size: 65 Core Weight: 1 Total Weight: 164 1.10/1.16 c Elapsed CPU time: 1.15582 s Remaining CPU time: 1798.84 s 1.10/1.16 c core #165 1.10/1.16 c Core size: 65 Core Weight: 1 Total Weight: 165 1.10/1.16 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #166 1.10/1.17 c Core size: 71 Core Weight: 1 Total Weight: 166 1.10/1.17 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.10/1.19 c core #167 1.10/1.19 c Core size: 71 Core Weight: 1 Total Weight: 167 1.10/1.19 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.10/1.20 c core #168 1.10/1.20 c Core size: 69 Core Weight: 1 Total Weight: 168 1.10/1.20 c Elapsed CPU time: 1.19682 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #169 1.19/1.21 c Core size: 72 Core Weight: 1 Total Weight: 169 1.19/1.21 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #170 1.19/1.22 c Core size: 72 Core Weight: 1 Total Weight: 170 1.19/1.22 c Elapsed CPU time: 1.21881 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #171 1.19/1.23 c Core size: 72 Core Weight: 1 Total Weight: 171 1.19/1.23 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #172 1.19/1.24 c Core size: 70 Core Weight: 1 Total Weight: 172 1.19/1.24 c Elapsed CPU time: 1.24081 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #173 1.19/1.25 c Core size: 70 Core Weight: 1 Total Weight: 173 1.19/1.25 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.26 c core #174 1.19/1.26 c Core size: 48 Core Weight: 1 Total Weight: 174 1.19/1.26 c Elapsed CPU time: 1.26081 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #175 1.19/1.27 c Core size: 65 Core Weight: 1 Total Weight: 175 1.19/1.27 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #176 1.19/1.28 c Core size: 65 Core Weight: 1 Total Weight: 176 1.19/1.28 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #177 1.19/1.29 c Core size: 71 Core Weight: 1 Total Weight: 177 1.19/1.29 c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #178 1.29/1.30 c Core size: 71 Core Weight: 1 Total Weight: 178 1.29/1.30 c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #179 1.29/1.31 c Core size: 69 Core Weight: 1 Total Weight: 179 1.29/1.31 c Elapsed CPU time: 1.3108 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #180 1.29/1.32 c Core size: 72 Core Weight: 1 Total Weight: 180 1.29/1.32 c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #181 1.29/1.33 c Core size: 72 Core Weight: 1 Total Weight: 181 1.29/1.33 c Elapsed CPU time: 1.3338 s Remaining CPU time: 1798.67 s 1.29/1.35 c core #182 1.29/1.35 c Core size: 72 Core Weight: 1 Total Weight: 182 1.29/1.35 c Elapsed CPU time: 1.34479 s Remaining CPU time: 1798.66 s 1.29/1.36 c core #183 1.29/1.36 c Core size: 70 Core Weight: 1 Total Weight: 183 1.29/1.36 c Elapsed CPU time: 1.35579 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #184 1.29/1.37 c Core size: 70 Core Weight: 1 Total Weight: 184 1.29/1.37 c Elapsed CPU time: 1.36679 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #185 1.29/1.38 c Core size: 48 Core Weight: 1 Total Weight: 185 1.29/1.38 c Elapsed CPU time: 1.37579 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #186 1.29/1.39 c Core size: 65 Core Weight: 1 Total Weight: 186 1.29/1.39 c Elapsed CPU time: 1.38479 s Remaining CPU time: 1798.62 s 1.29/1.40 c core #187 1.29/1.40 c Core size: 65 Core Weight: 1 Total Weight: 187 1.29/1.40 c Elapsed CPU time: 1.39479 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #188 1.39/1.41 c Core size: 71 Core Weight: 1 Total Weight: 188 1.39/1.41 c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #189 1.39/1.42 c Core size: 71 Core Weight: 1 Total Weight: 189 1.39/1.42 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #190 1.39/1.43 c Core size: 69 Core Weight: 1 Total Weight: 190 1.39/1.43 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #191 1.39/1.44 c Core size: 72 Core Weight: 1 Total Weight: 191 1.39/1.44 c Elapsed CPU time: 1.44078 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #192 1.39/1.45 c Core size: 72 Core Weight: 1 Total Weight: 192 1.39/1.45 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #193 1.39/1.47 c Core size: 72 Core Weight: 1 Total Weight: 193 1.39/1.47 c Elapsed CPU time: 1.46478 s Remaining CPU time: 1798.54 s 1.39/1.48 c core #194 1.39/1.48 c Core size: 70 Core Weight: 1 Total Weight: 194 1.39/1.48 c Elapsed CPU time: 1.47578 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #195 1.39/1.49 c Core size: 70 Core Weight: 1 Total Weight: 195 1.39/1.49 c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s 1.49/1.50 c core #196 1.49/1.50 c Core size: 106 Core Weight: 1 Total Weight: 196 1.49/1.50 c Elapsed CPU time: 1.49777 s Remaining CPU time: 1798.5 s 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 1528 8257 38285 | 5000 0 nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c core #197 1.49/1.51 c Core size: 13 Core Weight: 1 Total Weight: 197 1.49/1.51 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 1534 8258 38297 | 5000 0 nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #198 1.49/1.52 c Core size: 12 Core Weight: 1 Total Weight: 198 1.49/1.52 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 1540 8259 38309 | 5000 0 nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #199 1.49/1.53 c Core size: 76 Core Weight: 1 Total Weight: 199 1.49/1.53 c Elapsed CPU time: 1.52577 s Remaining CPU time: 1798.47 s 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 1556 8260 38341 | 5000 0 nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #200 1.49/1.54 c Core size: 82 Core Weight: 1 Total Weight: 200 1.49/1.54 c Elapsed CPU time: 1.53477 s Remaining CPU time: 1798.47 s 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 1566 8261 38361 | 5000 0 nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c core #201 1.49/1.55 c Core size: 81 Core Weight: 1 Total Weight: 201 1.49/1.55 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 1575 8262 38379 | 5000 0 nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c core #202 1.49/1.56 c Core size: 15 Core Weight: 1 Total Weight: 202 1.49/1.56 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 1582 8263 38393 | 5000 0 nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c core #203 1.49/1.57 c Core size: 14 Core Weight: 1 Total Weight: 203 1.49/1.57 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 1589 8264 38407 | 5000 0 nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c core #204 1.49/1.58 c Core size: 13 Core Weight: 1 Total Weight: 204 1.49/1.58 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 1595 8265 38419 | 5000 0 nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c core #205 1.49/1.59 c Core size: 84 Core Weight: 1 Total Weight: 205 1.49/1.59 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.49/1.60 c ============================[ Search Statistics ]============================== 1.49/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.60 c =============================================================================== 1.49/1.60 c | 0 | 1606 8266 38441 | 5000 0 nan | 0.000 % | 1.49/1.60 c =============================================================================== 1.49/1.60 c core #206 1.49/1.60 c Core size: 88 Core Weight: 1 Total Weight: 206 1.49/1.60 c Elapsed CPU time: 1.59276 s Remaining CPU time: 1798.41 s 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 1618 8267 38465 | 5000 0 nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c core #207 1.59/1.61 c Core size: 18 Core Weight: 1 Total Weight: 207 1.59/1.61 c Elapsed CPU time: 1.60276 s Remaining CPU time: 1798.4 s 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 1627 8268 38483 | 5000 0 nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.62 c core #208 1.59/1.62 c Core size: 21 Core Weight: 1 Total Weight: 208 1.59/1.62 c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 1636 8269 38501 | 5000 0 nan | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.63 c core #209 1.59/1.63 c Core size: 45 Core Weight: 1 Total Weight: 209 1.59/1.63 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 1658 8270 38545 | 5000 0 nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #210 1.59/1.64 c Core size: 17 Core Weight: 1 Total Weight: 210 1.59/1.64 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 1666 8271 38561 | 5000 0 nan | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c core #211 1.59/1.65 c Core size: 12 Core Weight: 1 Total Weight: 211 1.59/1.65 c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 1672 8272 38573 | 5000 0 nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c core #212 1.59/1.66 c Core size: 83 Core Weight: 1 Total Weight: 212 1.59/1.66 c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s 1.59/1.67 c ============================[ Search Statistics ]============================== 1.59/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.67 c =============================================================================== 1.59/1.67 c | 0 | 1682 8273 38593 | 5000 0 nan | 0.000 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c core #213 1.59/1.67 c Core size: 13 Core Weight: 1 Total Weight: 213 1.59/1.67 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 1688 8274 38605 | 5000 0 nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c core #214 1.59/1.68 c Core size: 17 Core Weight: 1 Total Weight: 214 1.59/1.68 c Elapsed CPU time: 1.67774 s Remaining CPU time: 1798.32 s 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 1696 8275 38621 | 5000 0 nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #215 1.59/1.69 c Core size: 21 Core Weight: 1 Total Weight: 215 1.59/1.69 c Elapsed CPU time: 1.68974 s Remaining CPU time: 1798.31 s 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 1706 8276 38641 | 5000 0 nan | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c core #216 1.69/1.71 c Core size: 19 Core Weight: 1 Total Weight: 216 1.69/1.71 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 1715 8277 38659 | 5000 0 nan | 0.000 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c core #217 1.69/1.72 c Core size: 13 Core Weight: 1 Total Weight: 217 1.69/1.72 c Elapsed CPU time: 1.71274 s Remaining CPU time: 1798.29 s 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 1721 8278 38671 | 5000 0 nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c core #218 1.69/1.73 c Core size: 13 Core Weight: 1 Total Weight: 218 1.69/1.73 c Elapsed CPU time: 1.72374 s Remaining CPU time: 1798.28 s 1.69/1.74 c ============================[ Search Statistics ]============================== 1.69/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.74 c =============================================================================== 1.69/1.74 c | 0 | 1727 8279 38683 | 5000 0 nan | 0.000 % | 1.69/1.74 c =============================================================================== 1.69/1.74 c core #219 1.69/1.74 c Core size: 13 Core Weight: 1 Total Weight: 219 1.69/1.74 c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 1733 8280 38695 | 5000 0 nan | 0.000 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c core #220 1.69/1.75 c Core size: 13 Core Weight: 1 Total Weight: 220 1.69/1.75 c Elapsed CPU time: 1.74573 s Remaining CPU time: 1798.25 s 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 1739 8281 38707 | 5000 0 nan | 0.000 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c core #221 1.69/1.76 c Core size: 16 Core Weight: 1 Total Weight: 221 1.69/1.76 c Elapsed CPU time: 1.75573 s Remaining CPU time: 1798.24 s 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 1747 8282 38723 | 5000 0 nan | 0.000 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c core #222 1.69/1.77 c Core size: 15 Core Weight: 1 Total Weight: 222 1.69/1.77 c Elapsed CPU time: 1.76573 s Remaining CPU time: 1798.23 s 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 1754 8283 38737 | 5000 0 nan | 0.000 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c core #223 1.69/1.78 c Core size: 15 Core Weight: 1 Total Weight: 223 1.69/1.78 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 1761 8284 38751 | 5000 0 nan | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c core #224 1.69/1.79 c Core size: 16 Core Weight: 1 Total Weight: 224 1.69/1.79 c Elapsed CPU time: 1.78573 s Remaining CPU time: 1798.21 s 1.79/1.80 c ============================[ Search Statistics ]============================== 1.79/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.80 c =============================================================================== 1.79/1.80 c | 0 | 1769 8285 38767 | 5000 0 nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.80 c core #225 1.79/1.80 c Core size: 12 Core Weight: 1 Total Weight: 225 1.79/1.80 c Elapsed CPU time: 1.79573 s Remaining CPU time: 1798.2 s 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 1775 8286 38779 | 5000 0 nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c core #226 1.79/1.81 c Core size: 16 Core Weight: 1 Total Weight: 226 1.79/1.81 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 1783 8287 38795 | 5000 0 nan | 0.000 % | 1.79/1.82 c =============================================================================== 1.79/1.82 c core #227 1.79/1.82 c Core size: 87 Core Weight: 1 Total Weight: 227 1.79/1.82 c Elapsed CPU time: 1.81672 s Remaining CPU time: 1798.18 s 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 1796 8288 38821 | 5000 0 nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c core #228 1.79/1.83 c Core size: 19 Core Weight: 1 Total Weight: 228 1.79/1.83 c Elapsed CPU time: 1.82672 s Remaining CPU time: 1798.17 s 1.79/1.84 c ============================[ Search Statistics ]============================== 1.79/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.84 c =============================================================================== 1.79/1.84 c | 0 | 1805 8289 38839 | 5000 0 nan | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c core #229 1.79/1.84 c Core size: 19 Core Weight: 1 Total Weight: 229 1.79/1.84 c Elapsed CPU time: 1.83772 s Remaining CPU time: 1798.16 s 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 1813 8290 38855 | 5000 0 nan | 0.000 % | 1.79/1.85 c =============================================================================== 1.79/1.85 c core #230 1.79/1.85 c Core size: 22 Core Weight: 1 Total Weight: 230 1.79/1.85 c Elapsed CPU time: 1.84872 s Remaining CPU time: 1798.15 s 1.79/1.86 c ============================[ Search Statistics ]============================== 1.79/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.86 c =============================================================================== 1.79/1.86 c | 0 | 1822 8291 38873 | 5000 0 nan | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c core #231 1.79/1.86 c Core size: 19 Core Weight: 1 Total Weight: 231 1.79/1.86 c Elapsed CPU time: 1.85972 s Remaining CPU time: 1798.14 s 1.79/1.87 c ============================[ Search Statistics ]============================== 1.79/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 1830 8292 38889 | 5000 0 nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.79/1.88 c core #232 1.79/1.88 c Core size: 16 Core Weight: 1 Total Weight: 232 1.79/1.88 c Elapsed CPU time: 1.87072 s Remaining CPU time: 1798.13 s 1.79/1.88 c Learning 2 hard constraints 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 1837 8295 38917 | 5000 0 nan | 0.000 % | 1.79/1.89 c =============================================================================== 1.79/1.89 c core #233 1.79/1.89 c Core size: 170 Core Weight: 1 Total Weight: 233 1.79/1.89 c Elapsed CPU time: 1.88271 s Remaining CPU time: 1798.12 s 1.79/1.90 c ============================[ Search Statistics ]============================== 1.79/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.90 c =============================================================================== 1.79/1.90 c | 0 | 1872 8296 38987 | 5000 0 nan | 0.000 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c core #234 1.89/1.90 c Core size: 42 Core Weight: 1 Total Weight: 234 1.89/1.90 c Elapsed CPU time: 1.89571 s Remaining CPU time: 1798.1 s 1.89/1.91 c Learning 1 hard constraints 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 1890 8298 39033 | 5000 0 nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c core #235 1.89/1.91 c Core size: 38 Core Weight: 1 Total Weight: 235 1.89/1.91 c Elapsed CPU time: 1.90771 s Remaining CPU time: 1798.09 s 1.89/1.92 c Learning 1 hard constraints 1.89/1.92 c ============================[ Search Statistics ]============================== 1.89/1.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.92 c =============================================================================== 1.89/1.92 c | 0 | 1906 8300 39072 | 5000 0 nan | 0.000 % | 1.89/1.93 c =============================================================================== 1.89/1.93 c core #236 1.89/1.93 c Core size: 29 Core Weight: 1 Total Weight: 236 1.89/1.93 c Elapsed CPU time: 1.91971 s Remaining CPU time: 1798.08 s 1.89/1.93 c Learning 2 hard constraints 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 1918 8303 39111 | 5000 0 nan | 0.000 % | 1.89/1.94 c =============================================================================== 1.89/1.94 c core #237 1.89/1.94 c Core size: 261 Core Weight: 1 Total Weight: 237 1.89/1.94 c Elapsed CPU time: 1.93071 s Remaining CPU time: 1798.07 s 1.89/1.95 c Learning 3 hard constraints 1.89/1.95 c ============================[ Search Statistics ]============================== 1.89/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.95 c =============================================================================== 1.89/1.95 c | 0 | 1928 8307 39151 | 5000 0 nan | 0.000 % | 1.89/1.95 c =============================================================================== 1.89/1.95 c core #238 1.89/1.95 c Core size: 573 Core Weight: 1 Total Weight: 238 1.89/1.95 c Elapsed CPU time: 1.9447 s Remaining CPU time: 1798.06 s 1.89/1.96 c Learning 4 hard constraints 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 1942 8312 39208 | 5000 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c core #239 1.89/1.97 c Core size: 668 Core Weight: 1 Total Weight: 239 1.89/1.97 c Elapsed CPU time: 1.9597 s Remaining CPU time: 1798.04 s 1.89/1.98 c Learning 2 hard constraints 1.89/1.98 c ============================[ Search Statistics ]============================== 1.89/1.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.98 c =============================================================================== 1.89/1.98 c | 0 | 1958 8315 39257 | 5000 0 nan | 0.000 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c core #240 1.89/1.98 c Core size: 555 Core Weight: 1 Total Weight: 240 1.89/1.98 c Elapsed CPU time: 1.9737 s Remaining CPU time: 1798.03 s 1.89/1.99 c Learning 2 hard constraints 1.89/1.99 c ============================[ Search Statistics ]============================== 1.89/1.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.99 c =============================================================================== 1.89/1.99 c | 0 | 1976 8318 39310 | 5000 0 nan | 0.000 % | 2.00/2.00 c | 106 | 1971 8318 39310 | 5500 106 31 | 0.405 % | 2.00/2.01 c =============================================================================== 2.00/2.01 c core #241 2.00/2.01 c Core size: 815 Core Weight: 1 Total Weight: 241 2.00/2.01 c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s 2.00/2.02 c Learning 10 hard constraints 2.00/2.02 c ============================[ Search Statistics ]============================== 2.00/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.00/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.00/2.02 c =============================================================================== 2.00/2.02 c | 0 | 2067 8329 39703 | 5000 0 nan | 0.000 % | 2.00/2.04 c | 102 | 2060 8329 39703 | 5500 102 36 | 0.484 % | 2.00/2.06 c | 258 | 2033 8329 39703 | 6050 243 37 | 4.644 % | 2.00/2.06 c =============================================================================== 2.00/2.06 c core #242 2.00/2.06 c Core size: 1573 Core Weight: 1 Total Weight: 242 2.00/2.06 c Elapsed CPU time: 2.05369 s Remaining CPU time: 1797.95 s 2.00/2.08 c Learning 112 hard constraints 2.00/2.08 c ============================[ Search Statistics ]============================== 2.00/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.00/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.00/2.08 c =============================================================================== 2.00/2.08 c | 0 | 2146 8442 42998 | 5000 0 nan | 0.000 % | 2.00/2.09 c | 104 | 2141 8442 42998 | 5500 104 33 | 0.233 % | 2.00/2.10 c | 256 | 2137 8442 42998 | 6050 256 33 | 0.419 % | 2.10/2.11 c =============================================================================== 2.10/2.11 c core #243 2.10/2.11 c Core size: 471 Core Weight: 1 Total Weight: 243 2.10/2.11 c Elapsed CPU time: 2.09768 s Remaining CPU time: 1797.9 s 2.10/2.12 c Learning 9 hard constraints 2.10/2.12 c ============================[ Search Statistics ]============================== 2.10/2.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.12 c =============================================================================== 2.10/2.12 c | 0 | 2231 8452 43378 | 5000 0 nan | 0.000 % | 2.10/2.14 c | 100 | 2230 8452 43378 | 5500 100 49 | 0.090 % | 2.10/2.16 c | 251 | 2230 8452 43378 | 6050 251 61 | 0.090 % | 2.10/2.19 c | 476 | 2227 8452 43378 | 6655 475 52 | 0.269 % | 2.19/2.24 c | 814 | 2226 8452 43378 | 7320 813 46 | 0.269 % | 2.19/2.28 c =============================================================================== 2.19/2.28 c core #244 2.19/2.28 c Core size: 2479 Core Weight: 1 Total Weight: 244 2.19/2.28 c Elapsed CPU time: 2.27165 s Remaining CPU time: 1797.73 s 2.29/2.30 c Learning 509 hard constraints 2.29/2.30 c ============================[ Search Statistics ]============================== 2.29/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.30 c =============================================================================== 2.29/2.30 c | 0 | 2265 8962 62418 | 5000 0 nan | 0.000 % | 2.29/2.32 c | 104 | 2264 8962 62418 | 5500 104 36 | 0.088 % | 2.29/2.34 c | 255 | 2264 8962 62418 | 6050 255 34 | 0.088 % | 2.29/2.38 c | 481 | 2260 8962 62418 | 6655 478 34 | 0.265 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c core #245 2.29/2.39 c Core size: 2240 Core Weight: 1 Total Weight: 245 2.29/2.39 c Elapsed CPU time: 2.37864 s Remaining CPU time: 1797.62 s 2.39/2.41 c Learning 204 hard constraints 2.39/2.41 c ============================[ Search Statistics ]============================== 2.39/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.41 c =============================================================================== 2.39/2.41 c | 0 | 2285 9167 70833 | 5000 0 nan | 0.000 % | 2.39/2.43 c | 100 | 2284 9167 70833 | 5500 100 46 | 0.088 % | 2.39/2.46 c | 250 | 2284 9167 70833 | 6050 250 48 | 0.088 % | 2.39/2.50 c | 479 | 2281 9167 70833 | 6655 476 46 | 0.175 % | 2.49/2.55 c | 816 | 2278 9167 70833 | 7320 813 46 | 0.438 % | 2.59/2.66 c | 1322 | 2271 9167 70833 | 8052 1297 46 | 0.700 % | 2.69/2.76 c =============================================================================== 2.69/2.79 c core #246 2.69/2.79 c Core size: 3550 Core Weight: 1 Total Weight: 246 2.69/2.79 c Elapsed CPU time: 2.76758 s Remaining CPU time: 1797.23 s 2.79/2.81 c Learning 762 hard constraints 2.79/2.81 c ============================[ Search Statistics ]============================== 2.79/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.81 c =============================================================================== 2.79/2.81 c | 0 | 2352 9930 96320 | 5000 0 nan | 0.000 % | 2.79/2.84 c | 100 | 2347 9930 96320 | 5500 100 21 | 0.340 % | 2.79/2.86 c | 250 | 2343 9930 96320 | 6050 250 30 | 0.510 % | 2.79/2.89 c =============================================================================== 2.89/2.90 c core #247 2.89/2.90 c Core size: 2081 Core Weight: 1 Total Weight: 247 2.89/2.90 c Elapsed CPU time: 2.87456 s Remaining CPU time: 1797.13 s 2.89/2.92 c Learning 222 hard constraints 2.89/2.92 c ============================[ Search Statistics ]============================== 2.89/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.92 c =============================================================================== 2.89/2.92 c | 0 | 2362 10153 103569 | 5000 0 nan | 0.000 % | 2.89/2.94 c | 100 | 2361 10153 103569 | 5500 100 38 | 0.085 % | 2.89/2.97 c | 250 | 2361 10153 103569 | 6050 250 38 | 0.085 % | 2.99/3.02 c | 475 | 2360 10153 103569 | 6655 475 38 | 0.169 % | 2.99/3.07 c =============================================================================== 2.99/3.08 c core #248 2.99/3.08 c Core size: 2758 Core Weight: 1 Total Weight: 248 2.99/3.08 c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s 3.09/3.11 c Learning 226 hard constraints 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 2377 10380 110279 | 5000 0 nan | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c core #249 3.09/3.12 c Core size: 258 Core Weight: 1 Total Weight: 249 3.09/3.12 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.09/3.14 c Learning 6 hard constraints 3.09/3.14 c ============================[ Search Statistics ]============================== 3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.14 c =============================================================================== 3.09/3.14 c | 0 | 2392 10387 110444 | 5000 0 nan | 0.000 % | 3.09/3.17 c | 100 | 2391 10387 110444 | 5500 100 58 | 0.085 % | 3.19/3.20 c | 251 | 2391 10387 110444 | 6050 251 58 | 0.084 % | 3.19/3.25 c | 476 | 2391 10387 110444 | 6655 476 50 | 0.084 % | 3.29/3.33 c | 815 | 2391 10387 110444 | 7320 815 48 | 0.084 % | 3.39/3.46 c | 1322 | 2390 10387 110444 | 8052 1321 46 | 0.084 % | 3.49/3.52 c =============================================================================== 3.49/3.53 c core #250 3.49/3.53 c Core size: 3580 Core Weight: 1 Total Weight: 250 3.49/3.53 c Elapsed CPU time: 3.50547 s Remaining CPU time: 1796.49 s 3.49/3.56 c Learning 670 hard constraints 3.49/3.56 c ============================[ Search Statistics ]============================== 3.49/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.56 c =============================================================================== 3.49/3.56 c | 0 | 2424 11058 137748 | 5000 0 nan | 0.000 % | 3.49/3.59 c | 102 | 2424 11058 137748 | 5500 102 45 | 0.083 % | 3.59/3.63 c | 253 | 2423 11058 137748 | 6050 253 56 | 0.083 % | 3.59/3.69 c | 479 | 2423 11058 137748 | 6655 479 63 | 0.083 % | 3.69/3.79 c | 817 | 2423 11058 137748 | 7320 817 64 | 0.083 % | 3.89/3.92 c | 1324 | 2422 11058 137748 | 8052 1323 64 | 0.083 % | 3.99/4.07 c =============================================================================== 3.99/4.09 c core #251 3.99/4.09 c Core size: 3493 Core Weight: 1 Total Weight: 251 3.99/4.09 c Elapsed CPU time: 4.05538 s Remaining CPU time: 1795.94 s 4.09/4.13 c Learning 1285 hard constraints 4.09/4.13 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.13 c | 0 | 2462 12344 214323 | 5000 0 nan | 0.000 % | 4.09/4.18 c | 100 | 2461 12344 214323 | 5500 100 37 | 0.162 % | 4.19/4.24 c | 251 | 2460 12344 214323 | 6050 251 56 | 0.162 % | 4.30/4.33 c | 478 | 2460 12344 214323 | 6655 478 61 | 0.162 % | 4.40/4.46 c | 815 | 2460 12344 214323 | 7320 815 61 | 0.162 % | 4.59/4.61 c | 1323 | 2392 12344 214323 | 8052 448 38 | 2.924 % | 4.59/4.64 c =============================================================================== 4.59/4.66 c core #252 4.59/4.66 c Core size: 3591 Core Weight: 1 Total Weight: 252 4.59/4.66 c Elapsed CPU time: 4.6163 s Remaining CPU time: 1795.38 s 4.69/4.70 c Learning 399 hard constraints 4.69/4.70 c ============================[ Search Statistics ]============================== 4.69/4.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.70 c =============================================================================== 4.69/4.70 c | 0 | 2490 12744 229491 | 5000 0 nan | 0.000 % | 4.69/4.75 c | 100 | 2486 12744 229491 | 5500 100 41 | 0.161 % | 4.79/4.81 c | 250 | 2486 12744 229491 | 6050 250 54 | 0.161 % | 4.89/4.90 c | 475 | 2486 12744 229491 | 6655 475 61 | 0.161 % | 4.99/5.03 c | 817 | 2486 12744 229491 | 7320 817 66 | 0.161 % | 5.19/5.22 c | 1327 | 2486 12744 229491 | 8052 1327 67 | 0.161 % | 5.49/5.52 c | 2089 | 2486 12744 229491 | 8857 2079 64 | 0.161 % | 5.99/6.06 c | 3228 | 2486 12744 229491 | 9743 3218 62 | 0.161 % | 6.69/6.78 c =============================================================================== 6.79/6.85 c core #253 6.79/6.85 c Core size: 6175 Core Weight: 1 Total Weight: 253 6.79/6.85 c Elapsed CPU time: 6.78897 s Remaining CPU time: 1793.21 s 6.89/6.92 c Learning 2659 hard constraints 6.89/6.92 c ============================[ Search Statistics ]============================== 6.89/6.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.92 c =============================================================================== 6.89/6.92 c | 0 | 2531 15404 375670 | 5134 0 nan | 0.000 % | 6.89/6.97 c | 100 | 2530 15404 375670 | 5648 100 40 | 0.079 % | 6.99/7.07 c | 250 | 2530 15404 375670 | 6212 250 51 | 0.079 % | 7.09/7.19 c | 476 | 2530 15404 375670 | 6834 476 57 | 0.079 % | 7.39/7.41 c | 814 | 2530 15404 375670 | 7517 814 56 | 0.079 % | 7.59/7.66 c | 1323 | 2530 15404 375670 | 8269 1323 59 | 0.079 % | 7.99/8.05 c | 2082 | 2530 15404 375670 | 9096 2082 55 | 0.079 % | 8.29/8.30 c =============================================================================== 8.29/8.34 c core #254 8.29/8.34 c Core size: 6011 Core Weight: 1 Total Weight: 254 8.29/8.34 c Elapsed CPU time: 8.26774 s Remaining CPU time: 1791.73 s 8.39/8.41 c Learning 1548 hard constraints 8.39/8.41 c ============================[ Search Statistics ]============================== 8.39/8.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.41 c =============================================================================== 8.39/8.41 c | 0 | 2551 16953 448051 | 5651 0 nan | 0.000 % | 8.39/8.45 c | 100 | 2551 16953 448051 | 6216 100 15 | 0.079 % | 8.49/8.54 c | 252 | 2550 16953 448051 | 6837 252 45 | 0.080 % | 8.69/8.71 c | 481 | 2550 16953 448051 | 7521 481 56 | 0.078 % | 8.89/8.93 c | 819 | 2549 16953 448051 | 8273 819 56 | 0.157 % | 8.99/9.07 c =============================================================================== 8.99/9.09 c core #255 8.99/9.09 c Core size: 4664 Core Weight: 1 Total Weight: 255 8.99/9.09 c Elapsed CPU time: 9.01663 s Remaining CPU time: 1790.98 s 9.09/9.17 c Learning 661 hard constraints 9.09/9.17 c ============================[ Search Statistics ]============================== 9.09/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.17 c =============================================================================== 9.09/9.17 c | 0 | 2582 17615 486438 | 5871 0 nan | 0.000 % | 9.19/9.24 c | 101 | 2581 17615 486438 | 6458 101 48 | 0.077 % | 9.28/9.34 c | 256 | 2581 17615 486438 | 7104 256 58 | 0.077 % | 9.48/9.52 c | 483 | 2581 17615 486438 | 7815 483 62 | 0.077 % | 9.58/9.69 c =============================================================================== 9.68/9.71 c core #256 9.68/9.71 c Core size: 4136 Core Weight: 1 Total Weight: 256 9.68/9.71 c Elapsed CPU time: 9.62854 s Remaining CPU time: 1790.37 s 9.68/9.79 c Learning 627 hard constraints 9.68/9.79 c ============================[ Search Statistics ]============================== 9.68/9.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.79 c =============================================================================== 9.68/9.79 c | 0 | 2592 18243 524911 | 6081 0 nan | 0.000 % | 9.79/9.88 c | 101 | 2590 18243 524911 | 6689 101 46 | 0.154 % | 9.89/9.99 c | 252 | 2590 18243 524911 | 7358 252 54 | 0.154 % | 10.08/10.15 c | 480 | 2590 18243 524911 | 8093 480 51 | 0.154 % | 10.29/10.38 c | 817 | 2588 18243 524911 | 8903 817 50 | 0.154 % | 10.39/10.47 c =============================================================================== 10.39/10.48 c core #257 10.39/10.48 c Core size: 3108 Core Weight: 1 Total Weight: 257 10.39/10.48 c Elapsed CPU time: 10.4034 s Remaining CPU time: 1789.6 s 10.49/10.57 c Learning 550 hard constraints 10.49/10.57 c ============================[ Search Statistics ]============================== 10.49/10.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.57 c =============================================================================== 10.49/10.57 c | 0 | 2606 18794 549299 | 6264 0 nan | 0.000 % | 10.59/10.60 c | 104 | 2603 18794 549299 | 6891 104 23 | 0.231 % | 10.59/10.63 c | 254 | 2603 18794 549299 | 7580 254 30 | 0.230 % | 10.59/10.65 c | 479 | 2601 18794 549299 | 8338 479 33 | 0.384 % | 10.59/10.69 c | 816 | 2597 18794 549299 | 9172 816 33 | 0.614 % | 10.69/10.73 c =============================================================================== 10.69/10.74 c core #258 10.69/10.74 c Core size: 1483 Core Weight: 1 Total Weight: 258 10.69/10.74 c Elapsed CPU time: 10.6584 s Remaining CPU time: 1789.34 s 10.79/10.82 c Learning 139 hard constraints 10.79/10.82 c ============================[ Search Statistics ]============================== 10.79/10.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.79/10.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.79/10.82 c =============================================================================== 10.79/10.82 c | 0 | 2684 18934 554004 | 6311 0 nan | 0.000 % | 10.90/10.92 c | 101 | 2678 18934 554004 | 6942 101 34 | 0.447 % | 11.00/11.01 c =============================================================================== 11.00/11.01 c core #259 11.00/11.01 c Core size: 2154 Core Weight: 1 Total Weight: 259 11.00/11.01 c Elapsed CPU time: 10.9333 s Remaining CPU time: 1789.07 s 11.09/11.10 c Learning 125 hard constraints 11.09/11.10 c ============================[ Search Statistics ]============================== 11.09/11.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.09/11.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.09/11.10 c =============================================================================== 11.09/11.10 c | 0 | 2703 19060 559902 | 6353 0 nan | 0.000 % | 11.09/11.14 c =============================================================================== 11.09/11.14 c core #260 11.09/11.14 c Core size: 221 Core Weight: 1 Total Weight: 260 11.09/11.14 c Elapsed CPU time: 11.0563 s Remaining CPU time: 1788.94 s 11.19/11.22 c Learning 3 hard constraints 11.19/11.22 c ============================[ Search Statistics ]============================== 11.19/11.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.22 c =============================================================================== 11.19/11.22 c | 0 | 2713 19064 560002 | 6354 0 nan | 0.000 % | 11.19/11.25 c | 100 | 2703 19064 560002 | 6990 100 14 | 0.370 % | 11.29/11.39 c | 252 | 2696 19064 560002 | 7689 252 26 | 0.811 % | 11.39/11.44 c =============================================================================== 11.39/11.45 c core #261 11.39/11.45 c Core size: 2332 Core Weight: 1 Total Weight: 261 11.39/11.45 c Elapsed CPU time: 11.3653 s Remaining CPU time: 1788.63 s 11.49/11.53 c Learning 142 hard constraints 11.49/11.53 c ============================[ Search Statistics ]============================== 11.49/11.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.53 c =============================================================================== 11.49/11.53 c | 0 | 2742 19207 565899 | 6402 0 nan | 0.000 % | 11.59/11.68 c | 104 | 2729 19207 565899 | 7042 104 37 | 0.948 % | 11.69/11.71 c =============================================================================== 11.69/11.72 c core #262 11.69/11.72 c Core size: 1695 Core Weight: 1 Total Weight: 262 11.69/11.72 c Elapsed CPU time: 11.6312 s Remaining CPU time: 1788.37 s 11.79/11.80 c Learning 61 hard constraints 11.79/11.80 c ============================[ Search Statistics ]============================== 11.79/11.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.80 c =============================================================================== 11.79/11.80 c | 0 | 2758 19269 568474 | 6423 0 nan | 0.000 % | 11.79/11.85 c | 100 | 2758 19269 568474 | 7065 100 25 | 1.015 % | 11.79/11.86 c | 250 | 2743 19269 568474 | 7771 250 27 | 1.015 % | 11.79/11.89 c | 475 | 2743 19269 568474 | 8549 475 27 | 1.015 % | 11.89/11.93 c | 813 | 2739 19269 568474 | 9403 813 30 | 1.234 % | 11.89/11.96 c =============================================================================== 11.89/11.97 c core #263 11.89/11.97 c Core size: 1247 Core Weight: 1 Total Weight: 263 11.89/11.97 c Elapsed CPU time: 11.8792 s Remaining CPU time: 1788.12 s 11.99/12.05 c Learning 86 hard constraints 11.99/12.05 c ============================[ Search Statistics ]============================== 11.99/12.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.05 c =============================================================================== 11.99/12.05 c | 0 | 2802 19356 572346 | 6452 0 nan | 0.000 % | 12.09/12.17 c =============================================================================== 12.09/12.17 c core #264 12.09/12.17 c Core size: 1644 Core Weight: 1 Total Weight: 264 12.09/12.17 c Elapsed CPU time: 12.0812 s Remaining CPU time: 1787.92 s 12.18/12.25 c Learning 58 hard constraints 12.18/12.25 c ============================[ Search Statistics ]============================== 12.18/12.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.18/12.25 c =============================================================================== 12.18/12.25 c | 0 | 2820 19415 574498 | 6471 0 nan | 0.000 % | 12.18/12.29 c | 101 | 2820 19415 574498 | 7118 101 22 | 0.011 % | 12.39/12.44 c | 254 | 2819 19415 574498 | 7830 254 32 | 0.071 % | 12.49/12.50 c =============================================================================== 12.49/12.51 c core #265 12.49/12.51 c Core size: 2315 Core Weight: 1 Total Weight: 265 12.49/12.51 c Elapsed CPU time: 12.4171 s Remaining CPU time: 1787.58 s 12.49/12.59 c Learning 164 hard constraints 12.49/12.59 c ============================[ Search Statistics ]============================== 12.49/12.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.59 c =============================================================================== 12.49/12.59 c | 0 | 2836 19580 581027 | 6526 0 nan | 0.000 % | 12.59/12.67 c =============================================================================== 12.59/12.67 c core #266 12.59/12.67 c Core size: 786 Core Weight: 1 Total Weight: 266 12.59/12.67 c Elapsed CPU time: 12.5801 s Remaining CPU time: 1787.42 s 12.69/12.75 c Learning 35 hard constraints 12.69/12.75 c ============================[ Search Statistics ]============================== 12.69/12.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.75 c =============================================================================== 12.69/12.75 c | 0 | 2850 19616 582457 | 6538 0 nan | 0.000 % | 12.79/12.83 c =============================================================================== 12.79/12.83 c core #267 12.79/12.83 c Core size: 924 Core Weight: 1 Total Weight: 267 12.79/12.83 c Elapsed CPU time: 12.7381 s Remaining CPU time: 1787.26 s 12.89/12.91 c Learning 15 hard constraints 12.89/12.91 c ============================[ Search Statistics ]============================== 12.89/12.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.89/12.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.89/12.91 c =============================================================================== 12.89/12.91 c | 0 | 2858 19632 582814 | 6544 0 nan | 0.000 % | 12.89/12.96 c | 102 | 2858 19632 582814 | 7198 102 64 | 0.073 % | 12.99/13.04 c | 253 | 2856 19632 582814 | 7918 253 40 | 0.140 % | 12.99/13.07 c =============================================================================== 12.99/13.07 c core #268 12.99/13.07 c Core size: 1274 Core Weight: 1 Total Weight: 268 12.99/13.07 c Elapsed CPU time: 12.976 s Remaining CPU time: 1787.02 s 13.09/13.15 c Learning 53 hard constraints 13.09/13.15 c ============================[ Search Statistics ]============================== 13.09/13.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.15 c =============================================================================== 13.09/13.15 c | 0 | 2888 19686 584532 | 6562 0 nan | 0.000 % | 13.19/13.25 c =============================================================================== 13.19/13.25 c core #269 13.19/13.25 c Core size: 1197 Core Weight: 1 Total Weight: 269 13.19/13.25 c Elapsed CPU time: 13.159 s Remaining CPU time: 1786.84 s 13.29/13.34 c Learning 17 hard constraints 13.29/13.34 c ============================[ Search Statistics ]============================== 13.29/13.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.29/13.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.29/13.34 c =============================================================================== 13.29/13.34 c | 0 | 2896 19704 585039 | 6568 0 nan | 0.000 % | 13.29/13.39 c | 101 | 2876 19704 585039 | 7224 101 22 | 1.517 % | 13.39/13.43 c | 252 | 2857 19704 585039 | 7947 252 19 | 1.517 % | 13.39/13.46 c | 477 | 2855 19704 585039 | 8742 477 18 | 1.586 % | 13.39/13.50 c =============================================================================== 13.49/13.50 c core #270 13.49/13.50 c Core size: 1270 Core Weight: 1 Total Weight: 270 13.49/13.50 c Elapsed CPU time: 13.406 s Remaining CPU time: 1786.59 s 13.49/13.59 c Learning 66 hard constraints 13.49/13.59 c ============================[ Search Statistics ]============================== 13.49/13.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.49/13.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.49/13.59 c =============================================================================== 13.49/13.59 c | 0 | 2924 19771 587817 | 6590 0 nan | 0.000 % | 13.59/13.66 c =============================================================================== 13.59/13.66 c core #271 13.59/13.66 c Core size: 636 Core Weight: 1 Total Weight: 271 13.59/13.66 c Elapsed CPU time: 13.5639 s Remaining CPU time: 1786.44 s 13.69/13.74 c Learning 28 hard constraints 13.69/13.74 c ============================[ Search Statistics ]============================== 13.69/13.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.69/13.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.69/13.74 c =============================================================================== 13.69/13.74 c | 0 | 2938 19800 588961 | 6600 0 nan | 0.000 % | 13.79/13.80 c | 101 | 2912 19800 588961 | 7260 101 23 | 1.835 % | 13.79/13.84 c =============================================================================== 13.79/13.84 c core #272 13.79/13.84 c Core size: 923 Core Weight: 1 Total Weight: 272 13.79/13.84 c Elapsed CPU time: 13.7459 s Remaining CPU time: 1786.25 s 13.88/13.93 c Learning 54 hard constraints 13.88/13.93 c ============================[ Search Statistics ]============================== 13.88/13.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.93 c =============================================================================== 13.88/13.93 c | 0 | 2957 19855 591786 | 6618 0 nan | 0.000 % | 13.98/14.00 c | 100 | 2898 19855 591786 | 7280 100 23 | 2.231 % | 13.98/14.02 c =============================================================================== 13.98/14.02 c core #273 13.98/14.02 c Core size: 1109 Core Weight: 1 Total Weight: 273 13.98/14.02 c Elapsed CPU time: 13.9219 s Remaining CPU time: 1786.08 s 14.08/14.10 c Learning 16 hard constraints 14.08/14.10 c ============================[ Search Statistics ]============================== 14.08/14.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.10 c =============================================================================== 14.08/14.10 c | 0 | 2985 19872 592603 | 6624 0 nan | 0.000 % | 14.08/14.16 c =============================================================================== 14.08/14.16 c core #274 14.08/14.16 c Core size: 763 Core Weight: 1 Total Weight: 274 14.08/14.16 c Elapsed CPU time: 14.0649 s Remaining CPU time: 1785.94 s 14.19/14.25 c Learning 17 hard constraints 14.19/14.25 c ============================[ Search Statistics ]============================== 14.19/14.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.25 c =============================================================================== 14.19/14.25 c | 0 | 2997 19890 593473 | 6630 0 nan | 0.000 % | 14.19/14.28 c | 100 | 2945 19890 593473 | 7293 100 14 | 2.133 % | 14.29/14.33 c =============================================================================== 14.29/14.33 c core #275 14.29/14.33 c Core size: 869 Core Weight: 1 Total Weight: 275 14.29/14.33 c Elapsed CPU time: 14.2258 s Remaining CPU time: 1785.77 s 14.39/14.41 c Learning 30 hard constraints 14.39/14.41 c ============================[ Search Statistics ]============================== 14.39/14.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.39/14.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.39/14.41 c =============================================================================== 14.39/14.41 c | 0 | 3011 19921 594519 | 6640 0 nan | 0.000 % | 14.39/14.44 c | 100 | 3008 19921 594519 | 7304 100 17 | 2.454 % | 14.49/14.52 c =============================================================================== 14.49/14.53 c core #276 14.49/14.53 c Core size: 1205 Core Weight: 1 Total Weight: 276 14.49/14.53 c Elapsed CPU time: 14.4238 s Remaining CPU time: 1785.58 s 14.59/14.61 c Learning 56 hard constraints 14.59/14.61 c ============================[ Search Statistics ]============================== 14.59/14.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.59/14.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.59/14.61 c =============================================================================== 14.59/14.61 c | 0 | 3034 19978 596943 | 6659 0 nan | 0.000 % | 14.59/14.69 c =============================================================================== 14.59/14.69 c core #277 14.59/14.69 c Core size: 1163 Core Weight: 1 Total Weight: 277 14.59/14.69 c Elapsed CPU time: 14.5918 s Remaining CPU time: 1785.41 s 14.69/14.78 c Learning 13 hard constraints 14.69/14.78 c ============================[ Search Statistics ]============================== 14.69/14.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.69/14.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.69/14.78 c =============================================================================== 14.69/14.78 c | 0 | 3054 19992 597569 | 6664 0 nan | 0.000 % | 14.69/14.80 c | 101 | 3054 19992 597569 | 7330 101 17 | 0.135 % | 14.79/14.81 c | 252 | 3054 19992 597569 | 8063 252 19 | 0.131 % | 14.79/14.85 c | 477 | 3053 19992 597569 | 8869 477 20 | 0.199 % | 14.89/14.92 c =============================================================================== 14.89/14.92 c core #278 14.89/14.92 c Core size: 800 Core Weight: 1 Total Weight: 278 14.89/14.92 c Elapsed CPU time: 14.8157 s Remaining CPU time: 1785.18 s 14.99/15.01 c Learning 44 hard constraints 14.99/15.01 c ============================[ Search Statistics ]============================== 14.99/15.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.99/15.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.99/15.01 c =============================================================================== 14.99/15.01 c | 0 | 3082 20037 599306 | 6679 0 nan | 0.000 % | 14.99/15.03 c | 101 | 3082 20037 599306 | 7346 101 25 | 0.134 % | 14.99/15.08 c | 251 | 3078 20037 599306 | 8081 251 24 | 0.324 % | 14.99/15.10 c | 476 | 3078 20037 599306 | 8889 476 26 | 0.327 % | 15.08/15.15 c | 817 | 3069 20037 599306 | 9778 817 30 | 0.583 % | 15.08/15.19 c =============================================================================== 15.08/15.19 c core #279 15.08/15.19 c Core size: 1021 Core Weight: 1 Total Weight: 279 15.08/15.19 c Elapsed CPU time: 15.0867 s Remaining CPU time: 1784.91 s 15.18/15.29 c Learning 31 hard constraints 15.18/15.29 c ============================[ Search Statistics ]============================== 15.18/15.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.18/15.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.18/15.29 c =============================================================================== 15.18/15.29 c | 0 | 3114 20069 600060 | 6689 0 nan | 0.000 % | 15.29/15.33 c | 104 | 3032 20069 600060 | 7358 104 15 | 3.335 % | 15.29/15.36 c | 255 | 3024 20069 600060 | 8094 255 22 | 3.465 % | 15.39/15.41 c | 480 | 3020 20069 600060 | 8903 480 23 | 3.592 % | 15.39/15.45 c | 817 | 3018 20069 600060 | 9794 817 26 | 3.656 % | 15.49/15.56 c | 1323 | 3013 20069 600060 | 10773 1323 28 | 3.913 % | 15.59/15.61 c =============================================================================== 15.59/15.62 c core #280 15.59/15.62 c Core size: 1797 Core Weight: 1 Total Weight: 280 15.59/15.62 c Elapsed CPU time: 15.5036 s Remaining CPU time: 1784.5 s 15.69/15.71 c Learning 128 hard constraints 15.69/15.71 c ============================[ Search Statistics ]============================== 15.69/15.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.71 c =============================================================================== 15.69/15.71 c | 0 | 3160 20198 607737 | 6732 0 nan | 0.000 % | 15.69/15.79 c | 103 | 3102 20198 607737 | 7405 103 26 | 3.824 % | 15.69/15.79 c =============================================================================== 15.69/15.79 c core #281 15.69/15.79 c Core size: 612 Core Weight: 1 Total Weight: 281 15.69/15.79 c Elapsed CPU time: 15.6736 s Remaining CPU time: 1784.33 s 15.78/15.88 c Learning 19 hard constraints 15.78/15.88 c ============================[ Search Statistics ]============================== 15.78/15.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.78/15.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.78/15.88 c =============================================================================== 15.78/15.88 c | 0 | 3181 20218 608779 | 6739 0 nan | 0.000 % | 15.88/15.96 c =============================================================================== 15.88/15.97 c core #282 15.88/15.97 c Core size: 1160 Core Weight: 1 Total Weight: 282 15.88/15.97 c Elapsed CPU time: 15.8486 s Remaining CPU time: 1784.15 s 15.98/16.05 c Learning 10 hard constraints 15.98/16.05 c ============================[ Search Statistics ]============================== 15.98/16.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.98/16.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.98/16.05 c =============================================================================== 15.98/16.05 c | 0 | 3200 20229 609384 | 6743 0 nan | 0.000 % | 15.98/16.07 c | 101 | 3200 20229 609384 | 7417 101 23 | 0.129 % | 16.08/16.14 c | 256 | 3196 20229 609384 | 8159 256 22 | 0.250 % | 16.08/16.19 c | 481 | 3188 20229 609384 | 8974 481 31 | 0.499 % | 16.19/16.26 c | 820 | 3037 20229 609384 | 9872 820 33 | 8.833 % | 16.29/16.30 c | 1328 | 3037 20229 609384 | 10859 1328 35 | 8.833 % | 16.29/16.40 c | 2087 | 3037 20229 609384 | 11945 2087 37 | 8.833 % | 16.59/16.60 c | 3226 | 3037 20229 609384 | 13140 3226 40 | 8.958 % | 16.99/17.04 c | 4938 | 3037 20229 609384 | 14454 4938 42 | 8.958 % | 17.38/17.43 c =============================================================================== 17.38/17.50 c core #283 17.38/17.50 c Core size: 1247 Core Weight: 1 Total Weight: 283 17.38/17.50 c Elapsed CPU time: 17.3684 s Remaining CPU time: 1782.63 s 17.49/17.60 c Learning 44 hard constraints 17.49/17.60 c ============================[ Search Statistics ]============================== 17.49/17.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.49/17.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.49/17.60 c =============================================================================== 17.49/17.60 c | 0 | 3225 20274 610719 | 6758 0 nan | 0.000 % | 17.59/17.67 c =============================================================================== 17.59/17.67 c core #284 17.59/17.67 c Core size: 1034 Core Weight: 1 Total Weight: 284 17.59/17.67 c Elapsed CPU time: 17.5353 s Remaining CPU time: 1782.46 s 17.69/17.75 c Learning 5 hard constraints 17.69/17.75 c ============================[ Search Statistics ]============================== 17.69/17.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.69/17.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.69/17.75 c =============================================================================== 17.69/17.75 c | 0 | 3252 20280 611030 | 6760 0 nan | 0.000 % | 17.69/17.77 c | 100 | 3252 20280 611030 | 7436 100 31 | 0.250 % | 17.79/17.82 c | 250 | 3250 20280 611030 | 8179 250 28 | 0.307 % | 17.89/17.90 c | 477 | 3249 20280 611030 | 8997 477 24 | 0.371 % | 17.89/17.93 c | 819 | 3248 20280 611030 | 9897 819 29 | 0.368 % | 17.98/18.01 c | 1325 | 2853 20280 611030 | 10887 1325 36 | 26.043 % | 17.98/18.06 c =============================================================================== 17.98/18.06 c core #285 17.98/18.06 c Core size: 1806 Core Weight: 1 Total Weight: 285 17.98/18.06 c Elapsed CPU time: 17.9193 s Remaining CPU time: 1782.08 s 18.08/18.16 c Learning 76 hard constraints 18.08/18.16 c ============================[ Search Statistics ]============================== 18.08/18.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.08/18.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.08/18.16 c =============================================================================== 18.08/18.16 c | 0 | 3274 20357 615291 | 6785 0 nan | 0.000 % | 18.08/18.17 c | 106 | 3274 20357 615291 | 7464 106 25 | 0.309 % | 18.18/18.24 c | 257 | 3273 20357 615291 | 8210 257 28 | 0.365 % | 18.29/18.30 c | 482 | 3272 20357 615291 | 9031 482 31 | 0.365 % | 18.29/18.33 c | 819 | 3272 20357 615291 | 9934 819 29 | 0.365 % | 18.29/18.39 c | 1326 | 3272 20357 615291 | 10928 1326 29 | 0.366 % | 18.49/18.51 c | 2085 | 3271 20357 615291 | 12021 2085 28 | 0.426 % | 18.59/18.69 c | 3225 | 3270 20357 615291 | 13223 3225 51 | 0.427 % | 18.99/19.02 c | 4934 | 3268 20357 615291 | 14545 4934 45 | 0.487 % | 19.18/19.28 c =============================================================================== 19.28/19.33 c core #286 19.28/19.33 c Core size: 2128 Core Weight: 1 Total Weight: 286 19.28/19.33 c Elapsed CPU time: 19.1751 s Remaining CPU time: 1780.82 s 19.38/19.43 c Learning 456 hard constraints 19.38/19.43 c ============================[ Search Statistics ]============================== 19.38/19.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.38/19.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.38/19.43 c =============================================================================== 19.38/19.43 c | 0 | 3297 20814 633390 | 6938 0 nan | 0.000 % | 19.38/19.44 c | 100 | 3297 20814 633390 | 7631 100 16 | 0.427 % | 19.38/19.48 c | 250 | 3297 20814 633390 | 8394 250 18 | 0.423 % | 19.48/19.58 c | 476 | 3296 20814 633390 | 9234 476 22 | 0.486 % | 19.58/19.61 c =============================================================================== 19.58/19.61 c core #287 19.58/19.61 c Core size: 1163 Core Weight: 1 Total Weight: 287 19.58/19.61 c Elapsed CPU time: 19.46 s Remaining CPU time: 1780.54 s 19.69/19.70 c Learning 76 hard constraints 19.69/19.70 c ============================[ Search Statistics ]============================== 19.69/19.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.70 c =============================================================================== 19.69/19.70 c | 0 | 3319 20891 636064 | 6963 0 nan | 0.000 % | 19.69/19.72 c | 101 | 3319 20891 636064 | 7660 101 16 | 0.484 % | 19.69/19.75 c | 251 | 3319 20891 636064 | 8426 251 15 | 0.480 % | 19.79/19.81 c =============================================================================== 19.79/19.82 c core #288 19.79/19.82 c Core size: 1143 Core Weight: 1 Total Weight: 288 19.79/19.82 c Elapsed CPU time: 19.659 s Remaining CPU time: 1780.34 s 19.88/19.91 c Learning 20 hard constraints 19.88/19.91 c ============================[ Search Statistics ]============================== 19.88/19.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.88/19.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.88/19.91 c =============================================================================== 19.88/19.91 c | 0 | 3335 20912 636489 | 6970 0 nan | 0.000 % | 19.88/19.93 c | 100 | 3335 20912 636489 | 7667 100 25 | 0.541 % | 19.88/19.96 c | 251 | 3335 20912 636489 | 8434 251 25 | 0.537 % | 19.88/19.98 c | 476 | 3335 20912 636489 | 9277 476 25 | 0.537 % | 19.98/20.01 c | 814 | 3333 20912 636489 | 10205 814 24 | 0.599 % | 19.98/20.05 c | 1320 | 3333 20912 636489 | 11226 1320 28 | 0.597 % | 20.08/20.13 c | 2083 | 3333 20912 636489 | 12348 2083 31 | 0.597 % | 20.28/20.33 c | 3223 | 3329 20912 636489 | 13583 3223 32 | 0.717 % | 20.49/20.58 c | 4932 | 3329 20912 636489 | 14942 4932 34 | 0.716 % | 20.79/20.84 c =============================================================================== 20.79/20.90 c core #289 20.79/20.90 c Core size: 1591 Core Weight: 1 Total Weight: 289 20.79/20.90 c Elapsed CPU time: 20.7178 s Remaining CPU time: 1779.28 s 20.98/21.00 c Learning 129 hard constraints 20.98/21.00 c ============================[ Search Statistics ]============================== 20.98/21.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.98/21.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.98/21.00 c =============================================================================== 20.98/21.00 c | 0 | 3353 21042 640517 | 7014 0 nan | 0.000 % | 20.98/21.03 c | 102 | 3353 21042 640517 | 7715 102 18 | 0.715 % | 21.08/21.11 c | 256 | 3351 21042 640517 | 8486 256 25 | 0.770 % | 21.18/21.20 c =============================================================================== 21.18/21.20 c core #290 21.18/21.20 c Core size: 1667 Core Weight: 1 Total Weight: 290 21.18/21.20 c Elapsed CPU time: 21.0208 s Remaining CPU time: 1778.98 s 21.28/21.30 c Learning 132 hard constraints 21.28/21.30 c ============================[ Search Statistics ]============================== 21.28/21.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.28/21.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.28/21.30 c =============================================================================== 21.28/21.30 c | 0 | 3400 21175 645601 | 7058 0 nan | 0.000 % | 21.28/21.32 c | 100 | 3400 21175 645601 | 7764 100 17 | 0.763 % | 21.39/21.40 c | 252 | 3398 21175 645601 | 8540 252 24 | 0.817 % | 21.39/21.44 c | 478 | 3396 21175 645601 | 9394 478 22 | 0.876 % | 21.48/21.51 c =============================================================================== 21.48/21.52 c core #291 21.48/21.52 c Core size: 1543 Core Weight: 1 Total Weight: 291 21.48/21.52 c Elapsed CPU time: 21.3318 s Remaining CPU time: 1778.67 s 21.58/21.62 c Learning 71 hard constraints 21.58/21.62 c ============================[ Search Statistics ]============================== 21.58/21.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.58/21.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.58/21.62 c =============================================================================== 21.58/21.62 c | 0 | 3429 21247 649085 | 7082 0 nan | 0.000 % | 21.58/21.64 c | 100 | 3429 21247 649085 | 7790 100 19 | 0.928 % | 21.68/21.72 c | 250 | 3429 21247 649085 | 8569 250 32 | 0.925 % | 21.78/21.82 c | 475 | 3425 21247 649085 | 9426 475 28 | 1.040 % | 21.78/21.85 c | 813 | 3415 21247 649085 | 10369 813 26 | 1.331 % | 21.78/21.90 c =============================================================================== 21.89/21.91 c core #292 21.89/21.91 c Core size: 2304 Core Weight: 1 Total Weight: 292 21.89/21.91 c Elapsed CPU time: 21.7157 s Remaining CPU time: 1778.28 s 21.99/22.00 c Learning 106 hard constraints 21.99/22.00 c ============================[ Search Statistics ]============================== 21.99/22.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.99/22.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.99/22.00 c =============================================================================== 21.99/22.00 c | 0 | 3467 21354 652429 | 7118 0 nan | 0.000 % | 21.99/22.02 c | 100 | 3467 21354 652429 | 7829 100 30 | 1.088 % | 22.08/22.17 c | 250 | 3465 21354 652429 | 8612 250 35 | 1.141 % | 22.08/22.18 c | 479 | 3465 21354 652429 | 9474 479 40 | 1.141 % | 22.18/22.21 c | 819 | 3423 21354 652429 | 10421 819 43 | 13.295 % | 22.18/22.27 c | 1325 | 3423 21354 652429 | 11463 1325 52 | 24.308 % | 22.28/22.39 c | 2084 | 3423 21354 652429 | 12609 2084 60 | 24.308 % | 22.48/22.58 c | 3223 | 3423 21354 652429 | 13870 3223 63 | 24.308 % | 23.08/23.19 c | 4931 | 3423 21354 652429 | 15258 4931 67 | 24.308 % | 24.08/24.15 c | 7494 | 3423 21354 652429 | 16783 7494 69 | 24.308 % | 26.18/26.30 c | 11339 | 3423 21354 652429 | 18462 11339 71 | 24.308 % | 30.58/30.66 c | 17105 | 3423 21354 652429 | 20308 17105 72 | 24.308 % | 35.78/35.80 c | 25755 | 2653 21354 652429 | 22339 15006 68 | 24.308 % | 47.67/47.76 c | 38730 | 2653 21354 652429 | 24573 16343 72 | 24.308 % | 60.57/60.66 c =============================================================================== 61.37/61.45 c core #293 61.37/61.45 c Core size: 1684 Core Weight: 1 Total Weight: 293 61.37/61.45 c Elapsed CPU time: 61.1097 s Remaining CPU time: 1738.89 s 61.57/61.62 c ============================[ Search Statistics ]============================== 61.57/61.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.57/61.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.57/61.62 c =============================================================================== 61.57/61.62 c | 0 | 3509 21355 652513 | 7118 0 nan | 0.000 % | 61.57/61.64 c | 103 | 3509 21355 652513 | 7830 103 13 | 1.075 % | 61.66/61.72 c =============================================================================== 61.66/61.72 c core #294 61.66/61.72 c Core size: 912 Core Weight: 1 Total Weight: 294 61.66/61.72 c Elapsed CPU time: 61.3747 s Remaining CPU time: 1738.63 s 61.76/61.82 c Learning 18 hard constraints 61.76/61.82 c ============================[ Search Statistics ]============================== 61.76/61.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.76/61.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.76/61.82 c =============================================================================== 61.76/61.82 c | 0 | 3525 21374 653004 | 7124 0 nan | 0.000 % | 61.76/61.85 c | 100 | 3524 21374 653004 | 7837 100 17 | 4.037 % | 61.76/61.88 c | 255 | 3424 21374 653004 | 8620 255 17 | 4.263 % | 61.87/61.95 c =============================================================================== 61.87/61.95 c core #295 61.87/61.95 c Core size: 1106 Core Weight: 1 Total Weight: 295 61.87/61.95 c Elapsed CPU time: 61.6026 s Remaining CPU time: 1738.4 s 61.97/62.06 c Learning 35 hard constraints 61.97/62.06 c ============================[ Search Statistics ]============================== 61.97/62.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.97/62.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.97/62.06 c =============================================================================== 61.97/62.06 c | 0 | 3553 21410 654955 | 7136 0 nan | 0.000 % | 61.97/62.08 c | 100 | 3553 21410 654955 | 7850 100 22 | 1.172 % | 62.07/62.12 c | 251 | 3553 21410 654955 | 8635 251 21 | 1.168 % | 62.07/62.15 c | 477 | 3553 21410 654955 | 9498 477 26 | 1.168 % | 62.07/62.18 c | 816 | 3553 21410 654955 | 10448 816 26 | 1.168 % | 62.17/62.23 c | 1325 | 3553 21410 654955 | 11493 1325 26 | 1.168 % | 62.27/62.30 c | 2085 | 3553 21410 654955 | 12643 2085 25 | 1.168 % | 62.36/62.41 c | 3225 | 3553 21410 654955 | 13907 3225 29 | 1.168 % | 62.57/62.68 c | 4934 | 3551 21410 654955 | 15298 4934 29 | 1.224 % | 62.77/62.85 c =============================================================================== 62.77/62.89 c core #296 62.77/62.89 c Core size: 2286 Core Weight: 1 Total Weight: 296 62.77/62.89 c Elapsed CPU time: 62.5215 s Remaining CPU time: 1737.48 s 62.97/63.00 c Learning 105 hard constraints 62.97/63.00 c ============================[ Search Statistics ]============================== 62.97/63.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.97/63.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.97/63.00 c =============================================================================== 62.97/63.00 c | 0 | 3619 21516 659239 | 7172 0 nan | 0.000 % | 62.97/63.03 c | 100 | 3619 21516 659239 | 7889 100 18 | 1.150 % | 62.97/63.07 c | 250 | 3618 21516 659239 | 8678 250 19 | 1.202 % | 63.06/63.10 c | 480 | 3618 21516 659239 | 9545 480 23 | 1.202 % | 63.06/63.14 c | 817 | 3616 21516 659239 | 10500 817 27 | 1.257 % | 63.06/63.19 c | 1324 | 3605 21516 659239 | 11550 1324 32 | 1.533 % | 63.16/63.27 c | 2084 | 3598 21516 659239 | 12705 2084 43 | 1.748 % | 63.26/63.38 c | 3226 | 3597 21516 659239 | 13976 3226 43 | 1.748 % | 63.47/63.53 c | 4935 | 3596 21516 659239 | 15373 4935 44 | 1.809 % | 63.86/63.92 c | 7497 | 3596 21516 659239 | 16911 7497 48 | 1.809 % | 64.67/64.75 c | 11342 | 3576 21516 659239 | 18602 11342 49 | 2.458 % | 66.97/67.00 c | 17109 | 3573 21516 659239 | 20462 17109 48 | 2.573 % | 69.96/70.05 c | 25758 | 3563 21516 659239 | 22508 15043 45 | 2.733 % | 73.16/73.25 c =============================================================================== 73.26/73.37 c core #297 73.26/73.37 c Core size: 2413 Core Weight: 1 Total Weight: 297 73.26/73.37 c Elapsed CPU time: 72.9359 s Remaining CPU time: 1727.06 s 73.46/73.51 c Learning 115 hard constraints 73.46/73.51 c ============================[ Search Statistics ]============================== 73.46/73.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.46/73.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.46/73.51 c =============================================================================== 73.46/73.51 c | 0 | 3688 21632 664481 | 7210 0 nan | 0.000 % | 73.46/73.54 c | 102 | 3688 21632 664481 | 7931 102 27 | 1.129 % | 73.57/73.62 c | 257 | 3688 21632 664481 | 8724 257 21 | 1.180 % | 73.57/73.67 c =============================================================================== 73.57/73.67 c core #298 73.57/73.67 c Core size: 1471 Core Weight: 1 Total Weight: 298 73.57/73.67 c Elapsed CPU time: 73.2329 s Remaining CPU time: 1726.77 s 73.67/73.78 c Learning 26 hard constraints 73.67/73.78 c ============================[ Search Statistics ]============================== 73.67/73.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.67/73.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.67/73.78 c =============================================================================== 73.67/73.78 c | 0 | 3702 21659 665354 | 7219 0 nan | 0.000 % | 73.67/73.79 c | 102 | 3702 21659 665354 | 7941 102 35 | 1.178 % | 73.76/73.82 c | 252 | 3702 21659 665354 | 8735 252 27 | 1.175 % | 73.76/73.84 c | 477 | 3702 21659 665354 | 9609 477 30 | 1.175 % | 73.76/73.87 c | 814 | 3702 21659 665354 | 10570 814 28 | 1.175 % | 73.87/73.93 c | 1321 | 3702 21659 665354 | 11627 1321 24 | 1.175 % | 73.87/73.99 c | 2080 | 3702 21659 665354 | 12790 2080 33 | 1.175 % | 74.06/74.15 c | 3224 | 3701 21659 665354 | 14069 3224 39 | 1.228 % | 74.46/74.51 c | 4933 | 3698 21659 665354 | 15475 4933 43 | 1.281 % | 75.16/75.25 c | 7498 | 3694 21659 665354 | 17023 7498 49 | 1.496 % | 75.96/76.08 c | 11344 | 3676 21659 665354 | 18725 11344 46 | 1.869 % | 78.86/78.98 c | 17110 | 3659 21659 665354 | 20598 17110 53 | 2.349 % | 84.05/84.10 c =============================================================================== 84.25/84.32 c core #299 84.25/84.32 c Core size: 2487 Core Weight: 1 Total Weight: 299 84.25/84.32 c Elapsed CPU time: 83.8193 s Remaining CPU time: 1716.18 s 84.35/84.46 c Learning 19 hard constraints 84.35/84.46 c ============================[ Search Statistics ]============================== 84.35/84.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.35/84.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.35/84.46 c =============================================================================== 84.35/84.46 c | 0 | 3761 21679 666231 | 7226 0 nan | 0.000 % | 84.35/84.49 c | 102 | 3761 21679 666231 | 7948 102 57 | 1.159 % | 84.46/84.52 c | 252 | 3761 21679 666231 | 8743 252 34 | 1.156 % | 84.46/84.56 c | 481 | 3761 21679 666231 | 9618 481 46 | 1.156 % | 84.46/84.60 c | 819 | 3761 21679 666231 | 10580 819 35 | 1.156 % | 84.56/84.65 c | 1327 | 3761 21679 666231 | 11638 1327 46 | 1.157 % | 84.66/84.74 c | 2087 | 3759 21679 666231 | 12801 2087 49 | 1.209 % | 84.86/84.96 c | 3227 | 3436 21679 666231 | 14082 3227 61 | 12.641 % | 85.36/85.45 c | 4936 | 3436 21679 666231 | 15490 4936 68 | 12.641 % | 86.06/86.17 c | 7499 | 3436 21679 666231 | 17039 7499 72 | 12.746 % | 87.46/87.51 c | 11343 | 3436 21679 666231 | 18743 11343 74 | 12.746 % | 90.85/90.91 c | 17109 | 3320 21679 666231 | 20617 17063 78 | 12.746 % | 97.65/97.79 c | 25759 | 3320 21679 666231 | 22679 15104 83 | 12.746 % | 110.55/110.63 c | 38734 | 3320 21679 666231 | 24947 16436 82 | 12.799 % | 127.04/127.10 c | 58196 | 3316 21679 666231 | 27441 22864 84 | 12.904 % | 155.64/155.78 c | 87389 | 3316 21679 666231 | 30186 22156 77 | 12.904 % | 195.93/196.04 c | 131180 | 3312 21679 666231 | 33204 30213 82 | 12.957 % | 283.41/283.54 c | 196864 | 3308 21679 666231 | 36525 14268 79 | 13.062 % | 392.08/392.29 c | 295395 | 3308 21679 666231 | 40177 15769 83 | 13.117 % | 663.81/664.08 c | 443185 | 3300 21679 666231 | 44195 26203 91 | 13.272 % | 964.14/964.45 c | 664868 | 3300 21679 666231 | 48615 32689 89 | 13.272 % | 1460.61/1461.09 c =============================================================================== 1483.61/1484.00 c core #300 1483.61/1484.00 c Core size: 1283 Core Weight: 1 Total Weight: 300 1483.61/1484.00 c Elapsed CPU time: 1479.6 s Remaining CPU time: 320.405 s 1484.70/1485.16 c ============================[ Search Statistics ]============================== 1484.70/1485.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1484.70/1485.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1484.70/1485.16 c =============================================================================== 1484.70/1485.16 c | 0 | 3803 21680 666315 | 7226 0 nan | 0.000 % | 1484.90/1485.36 c | 101 | 3803 21680 666315 | 7949 101 25 | 1.147 % | 1484.90/1485.38 c | 251 | 3803 21680 666315 | 8744 251 26 | 1.144 % | 1485.00/1485.41 c | 476 | 3803 21680 666315 | 9618 476 29 | 1.144 % | 1485.00/1485.46 c | 813 | 3803 21680 666315 | 10580 813 32 | 1.144 % | 1485.10/1485.51 c | 1321 | 3803 21680 666315 | 11638 1321 38 | 1.144 % | 1485.10/1485.56 c | 2082 | 3803 21680 666315 | 12802 2082 36 | 1.144 % | 1485.30/1485.71 c | 3221 | 3802 21680 666315 | 14082 3221 41 | 1.199 % | 1485.50/1485.92 c | 4929 | 3797 21680 666315 | 15491 4929 42 | 1.300 % | 1486.00/1486.43 c | 7491 | 3797 21680 666315 | 17040 7491 46 | 1.300 % | 1486.70/1487.14 c | 11339 | 3797 21680 666315 | 18744 11339 47 | 1.300 % | 1488.60/1489.07 c | 17107 | 3797 21680 666315 | 20618 17100 49 | 1.300 % | 1490.40/1490.85 c | 25757 | 3797 21680 666315 | 22680 14831 44 | 1.300 % | 1494.60/1495.00 c | 38734 | 3619 21680 666315 | 24948 16296 45 | 7.750 % | 1496.50/1496.98 c =============================================================================== 1497.10/1497.57 c core #301 1497.10/1497.57 c Core size: 2020 Core Weight: 1 Total Weight: 301 1497.10/1497.57 c Elapsed CPU time: 1493.05 s Remaining CPU time: 306.946 s 1497.30/1497.74 c Learning 92 hard constraints 1497.30/1497.74 c ============================[ Search Statistics ]============================== 1497.30/1497.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1497.30/1497.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1497.30/1497.74 c =============================================================================== 1497.30/1497.74 c | 0 | 3871 21773 671479 | 7257 0 nan | 0.000 % | 1497.30/1497.79 c | 102 | 3871 21773 671479 | 7983 102 38 | 1.127 % | 1497.39/1497.82 c | 252 | 3871 21773 671479 | 8781 252 30 | 1.124 % | 1497.39/1497.87 c | 481 | 3870 21773 671479 | 9659 481 42 | 1.175 % | 1497.49/1497.91 c | 820 | 3870 21773 671479 | 10625 820 32 | 1.175 % | 1497.59/1498.02 c | 1329 | 3800 21773 671479 | 11688 1329 29 | 3.015 % | 1497.59/1498.10 c | 2088 | 3800 21773 671479 | 12857 2088 31 | 3.014 % | 1497.80/1498.23 c | 3227 | 3794 21773 671479 | 14143 3227 33 | 3.219 % | 1497.80/1498.26 c =============================================================================== 1497.80/1498.28 c core #302 1497.80/1498.28 c Core size: 1749 Core Weight: 1 Total Weight: 302 1497.80/1498.28 c Elapsed CPU time: 1493.76 s Remaining CPU time: 306.244 s 1497.99/1498.41 c Learning 100 hard constraints 1497.99/1498.41 c ============================[ Search Statistics ]============================== 1497.99/1498.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1497.99/1498.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1497.99/1498.41 c =============================================================================== 1497.99/1498.41 c | 0 | 3893 21874 675270 | 7291 0 nan | 0.000 % | 1497.99/1498.43 c | 100 | 3893 21874 675270 | 8020 100 28 | 1.321 % | 1497.99/1498.47 c | 250 | 3891 21874 675270 | 8822 250 20 | 1.374 % | 1498.09/1498.54 c | 476 | 3888 21874 675270 | 9704 476 24 | 1.470 % | 1498.09/1498.58 c | 813 | 3888 21874 675270 | 10675 813 26 | 1.475 % | 1498.19/1498.66 c | 1320 | 3884 21874 675270 | 11742 1320 26 | 1.573 % | 1498.29/1498.79 c | 2081 | 3880 21874 675270 | 12917 2081 27 | 1.673 % | 1498.49/1498.93 c =============================================================================== 1498.49/1498.95 c core #303 1498.49/1498.95 c Core size: 1661 Core Weight: 1 Total Weight: 303 1498.49/1498.95 c Elapsed CPU time: 1494.42 s Remaining CPU time: 305.58 s 1498.59/1499.08 c Learning 80 hard constraints 1498.59/1499.08 c ============================[ Search Statistics ]============================== 1498.59/1499.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1498.59/1499.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1498.59/1499.08 c =============================================================================== 1498.59/1499.08 c | 0 | 3924 21955 678551 | 7318 0 nan | 0.000 % | 1498.69/1499.11 c | 100 | 3924 21955 678551 | 8050 100 19 | 1.509 % | 1498.69/1499.14 c | 252 | 3924 21955 678551 | 8855 252 35 | 1.506 % | 1498.80/1499.27 c | 479 | 3923 21955 678551 | 9740 479 30 | 1.556 % | 1498.90/1499.31 c | 818 | 3922 21955 678551 | 10714 818 28 | 1.557 % | 1498.99/1499.41 c | 1324 | 3910 21955 678551 | 11786 1324 28 | 1.857 % | 1499.09/1499.51 c | 2084 | 3900 21955 678551 | 12964 2084 36 | 2.108 % | 1499.19/1499.65 c | 3227 | 3885 21955 678551 | 14261 3227 37 | 2.515 % | 1499.49/1499.95 c | 4936 | 3842 21955 678551 | 15687 4936 45 | 3.614 % | 1499.99/1500.43 c | 7498 | 3841 21955 678551 | 17256 7498 51 | 3.665 % | 1501.49/1501.94 c | 11344 | 3838 21955 678551 | 18981 11344 56 | 3.765 % | 1505.29/1505.76 c | 17112 | 3832 21955 678551 | 20880 17112 65 | 21.235 % | 1512.89/1513.37 c | 25762 | 3138 21955 678551 | 22968 13530 91 | 21.235 % | 1522.19/1522.66 c | 38737 | 3138 21955 678551 | 25264 14272 74 | 21.235 % | 1551.68/1552.16 c | 58203 | 3138 21955 678551 | 27791 20220 95 | 21.235 % | 1582.97/1583.44 c | 87397 | 3138 21955 678551 | 30570 17607 84 | 21.235 % | 1635.95/1636.48 c | 131189 | 3138 21955 678551 | 33627 26248 99 | 21.235 % | 1714.74/1715.21 c | 196874 | 3138 21955 678551 | 36990 26155 80 | 21.235 % |
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-1876237-1245160331/watcher-1876237-1245160331 -o /tmp/evaluation-result-1876237-1245160331/solver-1876237-1245160331 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876237-1245160331.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4758 /proc/meminfo: memFree=1919800/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=2868 CPUtime=0 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 214 0 0 0 0 0 0 0 18 0 1 0 183634006 2936832 198 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 717 198 128 292 0 339 0 [startup+0.066782 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4758 /proc/meminfo: memFree=1919800/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=3336 CPUtime=0.06 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 507 0 0 0 6 0 0 0 18 0 1 0 183634006 3416064 408 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 834 408 133 292 0 539 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3336 [startup+0.101785 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4758 /proc/meminfo: memFree=1919800/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=3336 CPUtime=0.09 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 507 0 0 0 9 0 0 0 18 0 1 0 183634006 3416064 408 1992294400 134512640 135709839 4294956240 18446744073709551615 135166665 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 834 408 133 292 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3336 [startup+0.301804 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4758 /proc/meminfo: memFree=1919800/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=3468 CPUtime=0.29 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 541 0 0 0 29 0 0 0 19 0 1 0 183634006 3551232 442 1992294400 134512640 135709839 4294956240 18446744073709551615 134605437 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 867 442 133 292 0 572 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3468 [startup+0.701841 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4758 /proc/meminfo: memFree=1919800/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=3540 CPUtime=0.69 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 563 0 0 0 69 0 0 0 22 0 1 0 183634006 3624960 464 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 885 464 133 292 0 590 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3540 [startup+1.50191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1918256/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=4288 CPUtime=1.49 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 732 0 0 0 149 0 0 0 25 0 1 0 183634006 4390912 630 1992294400 134512640 135709839 4294956240 18446744073709551615 134570123 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 1072 630 133 292 0 777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4288 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1916208/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=7264 CPUtime=3.09 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 1492 0 0 0 307 2 0 0 25 0 1 0 183634006 7438336 1381 1992294400 134512640 135709839 4294956240 18446744073709551615 134530365 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 1816 1381 136 292 0 1521 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7264 [startup+6.30136 s] /proc/loadavg: 1.08 1.02 1.01 2/65 4759 /proc/meminfo: memFree=1912752/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=9456 CPUtime=6.29 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 2048 0 0 0 624 5 0 0 25 0 1 0 183634006 9682944 1937 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 2364 1937 136 292 0 2069 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9456 [startup+12.702 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4759 /proc/meminfo: memFree=1908728/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=13024 CPUtime=12.69 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 2927 0 0 0 1260 9 0 0 25 0 1 0 183634006 13336576 2781 1992294400 134512640 135709839 4294956240 18446744073709551615 134607411 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 3256 2781 136 292 0 2961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13024 [startup+25.5011 s] /proc/loadavg: 1.06 1.01 1.00 2/65 4759 /proc/meminfo: memFree=1904760/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=16820 CPUtime=25.47 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 3988 0 0 0 2528 19 0 0 25 0 1 0 183634006 17223680 3771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 4205 3771 136 292 0 3910 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 16820 [startup+51.1015 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4759 /proc/meminfo: memFree=1890232/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=31764 CPUtime=51.07 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 7689 0 0 0 5079 28 0 0 25 0 1 0 183634006 32526336 7472 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 7941 7472 136 292 0 7646 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31764 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4759 /proc/meminfo: memFree=1878200/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=43324 CPUtime=102.26 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 10610 0 0 0 10172 54 0 0 25 0 1 0 183634006 44363776 10393 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 10831 10393 136 292 0 10536 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43324 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1845752/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=76224 CPUtime=162.23 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 18787 0 0 0 16148 75 0 0 25 0 1 0 183634006 78053376 18570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 19056 18570 136 292 0 18761 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 76224 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1815224/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=106432 CPUtime=222.22 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 26334 0 0 0 22126 96 0 0 25 0 1 0 183634006 108986368 26117 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 26608 26117 136 292 0 26313 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 106432 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1792440/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=129524 CPUtime=282.21 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 32065 0 0 0 28108 113 0 0 25 0 1 0 183634006 132632576 31848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 32381 31848 136 292 0 32086 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 129524 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1761784/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=160024 CPUtime=342.19 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 39651 0 0 0 34087 132 0 0 25 0 1 0 183634006 163864576 39434 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 40006 39434 136 292 0 39711 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 160024 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1738744/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=183076 CPUtime=402.18 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 45393 0 0 0 40070 148 0 0 25 0 1 0 183634006 187469824 45176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 45769 45176 136 292 0 45474 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 183076 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1720632/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=201088 CPUtime=462.16 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 49882 0 0 0 46054 162 0 0 25 0 1 0 183634006 205914112 49665 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 50272 49665 136 292 0 49977 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 201088 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4759 /proc/meminfo: memFree=1703608/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=218176 CPUtime=522.14 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 54154 0 0 0 52040 174 0 0 25 0 1 0 183634006 223412224 53937 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 54544 53937 136 292 0 54249 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 218176 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1690808/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=230976 CPUtime=582.13 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 57292 0 0 0 58029 184 0 0 25 0 1 0 183634006 236519424 57075 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 57744 57075 136 292 0 57449 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 230976 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1673592/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=248064 CPUtime=642.11 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 61573 0 0 0 64015 196 0 0 25 0 1 0 183634006 254017536 61356 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 62016 61356 136 292 0 61721 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 248064 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1580728/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=340852 CPUtime=882.05 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 84748 0 0 0 87943 262 0 0 25 0 1 0 183634006 349032448 84531 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 85213 84531 136 292 0 84918 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 340852 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1554360/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=367396 CPUtime=942.04 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 91369 0 0 0 93924 280 0 0 25 0 1 0 183634006 376213504 91152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 91849 91152 136 292 0 91554 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 367396 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1540664/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=381072 CPUtime=1002.03 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 94743 0 0 0 99913 290 0 0 25 0 1 0 183634006 390217728 94526 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 95268 94526 136 292 0 94973 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 381072 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1516664/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=405480 CPUtime=1062.01 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 100814 0 0 0 105896 305 0 0 25 0 1 0 183634006 415211520 100597 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 101370 100597 136 292 0 101075 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 405480 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1504184/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=417600 CPUtime=1122 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 103829 0 0 0 111885 315 0 0 25 0 1 0 183634006 427622400 103612 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 104400 103612 136 292 0 104105 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 417600 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1485112/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=436748 CPUtime=1181.98 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 108607 0 0 0 117868 330 0 0 25 0 1 0 183634006 447229952 108390 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 109187 108390 136 292 0 108892 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 436748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1462008/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=459728 CPUtime=1241.97 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 114333 0 0 0 123853 344 0 0 25 0 1 0 183634006 470761472 114116 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 114932 114116 136 292 0 114637 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 459728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1442808/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=478512 CPUtime=1301.95 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 119052 0 0 0 129836 359 0 0 25 0 1 0 183634006 489996288 118835 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 119628 118835 136 292 0 119333 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 478512 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1422584/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=498940 CPUtime=1361.94 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 124122 0 0 0 135820 374 0 0 25 0 1 0 183634006 510914560 123905 1992294400 134512640 135709839 4294956240 18446744073709551615 134579000 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 124735 123905 136 292 0 124440 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 498940 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 1.00 2/65 4765 /proc/meminfo: memFree=1403384/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=518184 CPUtime=1421.93 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 128905 0 0 0 141804 389 0 0 25 0 1 0 183634006 530620416 128688 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 129546 128688 136 292 0 129251 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 518184 [startup+1482.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 4765 /proc/meminfo: memFree=1359928/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=561516 CPUtime=1481.91 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 139741 0 0 0 147789 402 0 0 25 0 1 0 183634006 574992384 139524 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 140379 139524 136 292 0 140084 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 561516 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 4765 /proc/meminfo: memFree=1357240/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=563420 CPUtime=1541.88 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 140715 0 0 0 153764 424 0 0 25 0 1 0 183634006 576942080 140152 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 140855 140152 136 292 0 140560 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 563420 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4765 /proc/meminfo: memFree=1356280/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=563420 CPUtime=1601.87 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 140978 0 0 0 159750 437 0 0 25 0 1 0 183634006 576942080 140415 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 140855 140415 136 292 0 140560 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 563420 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4765 /proc/meminfo: memFree=1356216/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=563420 CPUtime=1661.85 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 140983 0 0 0 165736 449 0 0 25 0 1 0 183634006 576942080 140420 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 140855 140420 136 292 0 140560 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 563420 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1344888/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=575020 CPUtime=1721.84 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 143854 0 0 0 171717 467 0 0 25 0 1 0 183634006 588820480 143291 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 143755 143291 136 292 0 143460 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 575020 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1323064/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=596656 CPUtime=1781.82 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 149233 0 0 0 177699 483 0 0 25 0 1 0 183634006 610975744 148670 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 149164 148670 136 292 0 148869 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 596656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1318264/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=601308 CPUtime=1800.02 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 150396 0 0 0 179516 486 0 0 25 0 1 0 183634006 615739392 149833 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 150327 149833 136 292 0 150032 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 601308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4765 /proc/meminfo: memFree=1318264/2055920 swapFree=4191900/4192956 [pid=4758] ppid=4756 vsize=601308 CPUtime=1800.02 /proc/4758/stat : 4758 (wbo) R 4756 4758 4686 0 -1 4194304 150396 0 0 0 179516 486 0 0 25 0 1 0 183634006 615739392 149833 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4758/statm: 150327 149833 136 292 0 150032 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 601308 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.6 CPU time (s): 1800.12 CPU user time (s): 1795.16 CPU system time (s): 4.96125 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 601308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.16 system time used= 4.96124 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150396 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= 7 involuntary context switches= 2532 runsolver used 1.22681 second user time and 3.9324 second system time The end
Begin job on node14 at 2009-06-16 15:52:11 IDJOB=1876237 IDBENCH=2188 IDSOLVER=698 FILE ID=node14/1876237-1245160331 PBS_JOBID= 9363846 Free space on /tmp= 66376 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b4.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-1876237-1245160331/watcher-1876237-1245160331 -o /tmp/evaluation-result-1876237-1245160331/solver-1876237-1245160331 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876237-1245160331.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86f7a40f10562dbaf52738a8a2410a9b RANDOM SEED=861151545 node14.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.234 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.234 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: 1920216 kB Buffers: 25476 kB Cached: 55260 kB SwapCached: 388 kB Active: 44916 kB Inactive: 49276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1920216 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2704 kB Writeback: 0 kB Mapped: 21792 kB Slab: 27444 kB Committed_AS: 176232 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876237-1245160331.opb Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-16 16:22:13