Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.18 | 1800.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c4.opb |
MD5SUM | 5468ba071d8bcc474bd73dc9f24f6990 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 736 |
Best CPU time to get the best result obtained on this benchmark | 10.9133 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 736 |
Optimality of the best value was proved | YES |
Number of variables | 1518 |
Total number of constraints | 21621 |
Number of constraints which are clauses | 21621 |
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 | 1518 |
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 | 1518 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1518 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876171-1245150919.opb. 0.00/0.00 c Instance file HOME/instance-1876171-1245150919.opb 0.00/0.00 c File size is 1078491 bytes. 0.09/0.14 c Highest Coefficient sum: 33 0.09/0.14 c ============================[ Problem Statistics ]============================= 0.09/0.14 c | | 0.09/0.14 c | Parsing time: 0.14 s | 0.09/0.14 c | Number Variables: 1518 | 0.09/0.14 c | Number Clauses: 23139 | 0.09/0.14 c | Number Cardinality: 0 | 0.09/0.14 c | Number PB Constraints: 0 | 0.09/0.14 c core #1 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 1 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.16 c core #2 0.09/0.16 c Core size: 3 Core Weight: 1 Total Weight: 2 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.18 c core #3 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 3 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #4 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: 4 0.19/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.22 c core #5 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: 5 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.24 c core #6 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 6 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.26 c core #7 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 7 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #8 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: 8 0.19/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #9 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: 9 0.19/0.29 c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #10 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: 10 0.29/0.31 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #11 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 11 0.29/0.33 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #12 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 12 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #13 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 13 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #14 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: 14 0.29/0.39 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #15 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: 15 0.39/0.41 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #16 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: 16 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #17 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: 17 0.39/0.45 c Elapsed CPU time: 0.445932 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #18 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 18 0.39/0.47 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 0.39/0.48 c core #19 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: 19 0.39/0.48 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.49/0.50 c core #20 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: 20 0.49/0.50 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #21 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: 21 0.49/0.52 c Elapsed CPU time: 0.52192 s Remaining CPU time: 1799.48 s 0.49/0.54 c core #22 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: 22 0.49/0.54 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #23 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: 23 0.49/0.56 c Elapsed CPU time: 0.558915 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #24 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: 24 0.49/0.58 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.59/0.60 c core #25 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: 25 0.59/0.60 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #26 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: 26 0.59/0.62 c Elapsed CPU time: 0.614906 s Remaining CPU time: 1799.39 s 0.59/0.64 c core #27 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: 27 0.59/0.64 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #28 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 28 0.59/0.65 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.67 c core #29 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: 29 0.59/0.67 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #30 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 30 0.59/0.69 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #31 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: 31 0.69/0.71 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #32 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: 32 0.69/0.73 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #33 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: 33 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #34 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: 34 0.69/0.77 c Elapsed CPU time: 0.766883 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #35 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: 35 0.69/0.79 c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #36 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: 36 0.79/0.81 c Elapsed CPU time: 0.806877 s Remaining CPU time: 1799.19 s 0.79/0.83 c core #37 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: 37 0.79/0.83 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 0.79/0.85 c core #38 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: 38 0.79/0.85 c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #39 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: 39 0.79/0.87 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #40 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: 40 0.79/0.89 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.89/0.91 c core #41 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: 41 0.89/0.91 c Elapsed CPU time: 0.904862 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #42 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: 42 0.89/0.93 c Elapsed CPU time: 0.924859 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #43 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: 43 0.89/0.95 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 0.89/0.97 c core #44 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: 44 0.89/0.97 c Elapsed CPU time: 0.963853 s Remaining CPU time: 1799.04 s 0.89/0.99 c core #45 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: 45 0.89/0.99 c Elapsed CPU time: 0.98385 s Remaining CPU time: 1799.02 s 0.99/1.01 c core #46 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: 46 0.99/1.01 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 0.99/1.03 c core #47 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: 47 0.99/1.03 c Elapsed CPU time: 1.02384 s Remaining CPU time: 1798.98 s 0.99/1.05 c core #48 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: 48 0.99/1.05 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 0.99/1.07 c core #49 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: 49 0.99/1.07 c Elapsed CPU time: 1.06384 s Remaining CPU time: 1798.94 s 0.99/1.08 c core #50 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: 50 0.99/1.08 c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s 1.09/1.10 c core #51 1.09/1.10 c Core size: 3 Core Weight: 1 Total Weight: 51 1.09/1.10 c Elapsed CPU time: 1.10283 s Remaining CPU time: 1798.9 s 1.09/1.12 c core #52 1.09/1.12 c Core size: 3 Core Weight: 1 Total Weight: 52 1.09/1.12 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #53 1.09/1.14 c Core size: 3 Core Weight: 1 Total Weight: 53 1.09/1.14 c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s 1.09/1.16 c core #54 1.09/1.16 c Core size: 3 Core Weight: 1 Total Weight: 54 1.09/1.16 c Elapsed CPU time: 1.16082 s Remaining CPU time: 1798.84 s 1.09/1.18 c core #55 1.09/1.18 c Core size: 3 Core Weight: 1 Total Weight: 55 1.09/1.18 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.19/1.20 c core #56 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: 56 1.19/1.20 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.19/1.22 c core #57 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: 57 1.19/1.22 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #58 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: 58 1.19/1.24 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.19/1.26 c core #59 1.19/1.26 c Core size: 3 Core Weight: 1 Total Weight: 59 1.19/1.26 c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s 1.19/1.28 c core #60 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: 60 1.19/1.28 c Elapsed CPU time: 1.2768 s Remaining CPU time: 1798.72 s 1.19/1.30 c core #61 1.19/1.30 c Core size: 3 Core Weight: 1 Total Weight: 61 1.19/1.30 c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s 1.29/1.32 c core #62 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: 62 1.29/1.32 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #63 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: 63 1.29/1.34 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #64 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: 64 1.29/1.36 c Elapsed CPU time: 1.35379 s Remaining CPU time: 1798.65 s 1.29/1.38 c core #65 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: 65 1.29/1.38 c Elapsed CPU time: 1.37379 s Remaining CPU time: 1798.63 s 1.29/1.40 c core #66 1.29/1.40 c Core size: 3 Core Weight: 1 Total Weight: 66 1.29/1.40 c Elapsed CPU time: 1.39279 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #67 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: 67 1.39/1.41 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.39/1.43 c core #68 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: 68 1.39/1.43 c Elapsed CPU time: 1.43078 s Remaining CPU time: 1798.57 s 1.39/1.45 c core #69 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: 69 1.39/1.45 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #70 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: 70 1.39/1.47 c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #71 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: 71 1.39/1.49 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.51 c core #72 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: 72 1.49/1.51 c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s 1.49/1.53 c core #73 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: 73 1.49/1.53 c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s 1.49/1.55 c core #74 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: 74 1.49/1.55 c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s 1.49/1.57 c core #75 1.49/1.57 c Core size: 3 Core Weight: 1 Total Weight: 75 1.49/1.57 c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s 1.49/1.59 c core #76 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: 76 1.49/1.59 c Elapsed CPU time: 1.58776 s Remaining CPU time: 1798.41 s 1.59/1.61 c core #77 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: 77 1.59/1.61 c Elapsed CPU time: 1.60776 s Remaining CPU time: 1798.39 s 1.59/1.63 c core #78 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: 78 1.59/1.63 c Elapsed CPU time: 1.62675 s Remaining CPU time: 1798.37 s 1.59/1.65 c core #79 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: 79 1.59/1.65 c Elapsed CPU time: 1.64675 s Remaining CPU time: 1798.35 s 1.59/1.67 c core #80 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: 80 1.59/1.67 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.59/1.69 c core #81 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: 81 1.59/1.69 c Elapsed CPU time: 1.68674 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #82 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: 82 1.69/1.71 c Elapsed CPU time: 1.70674 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #83 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: 83 1.69/1.73 c Elapsed CPU time: 1.72574 s Remaining CPU time: 1798.27 s 1.69/1.75 c core #84 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: 84 1.69/1.75 c Elapsed CPU time: 1.74473 s Remaining CPU time: 1798.26 s 1.69/1.77 c core #85 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: 85 1.69/1.77 c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s 1.69/1.79 c core #86 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: 86 1.69/1.79 c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #87 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: 87 1.79/1.81 c Elapsed CPU time: 1.80273 s Remaining CPU time: 1798.2 s 1.79/1.83 c core #88 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: 88 1.79/1.83 c Elapsed CPU time: 1.82172 s Remaining CPU time: 1798.18 s 1.79/1.84 c core #89 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: 89 1.79/1.84 c Elapsed CPU time: 1.84072 s Remaining CPU time: 1798.16 s 1.79/1.86 c core #90 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: 90 1.79/1.86 c Elapsed CPU time: 1.86072 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #91 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: 91 1.79/1.88 c Elapsed CPU time: 1.87971 s Remaining CPU time: 1798.12 s 1.89/1.90 c core #92 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: 92 1.89/1.90 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #93 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: 93 1.89/1.92 c Elapsed CPU time: 1.91971 s Remaining CPU time: 1798.08 s 1.89/1.94 c core #94 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: 94 1.89/1.94 c Elapsed CPU time: 1.93971 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #95 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: 95 1.89/1.96 c Elapsed CPU time: 1.9597 s Remaining CPU time: 1798.04 s 1.89/1.98 c core #96 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: 96 1.89/1.98 c Elapsed CPU time: 1.9797 s Remaining CPU time: 1798.02 s 1.99/2.00 c core #97 1.99/2.00 c Core size: 33 Core Weight: 1 Total Weight: 97 1.99/2.00 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.02 c core #98 1.99/2.02 c Core size: 33 Core Weight: 1 Total Weight: 98 1.99/2.02 c Elapsed CPU time: 2.01969 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #99 1.99/2.04 c Core size: 33 Core Weight: 1 Total Weight: 99 1.99/2.04 c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #100 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: 100 1.99/2.06 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 1.99/2.09 c core #101 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: 101 1.99/2.09 c Elapsed CPU time: 2.08068 s Remaining CPU time: 1797.92 s 2.09/2.11 c core #102 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: 102 2.09/2.11 c Elapsed CPU time: 2.10268 s Remaining CPU time: 1797.9 s 2.09/2.13 c core #103 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: 103 2.09/2.13 c Elapsed CPU time: 2.12268 s Remaining CPU time: 1797.88 s 2.09/2.15 c core #104 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: 104 2.09/2.15 c Elapsed CPU time: 2.14367 s Remaining CPU time: 1797.86 s 2.09/2.17 c core #105 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: 105 2.09/2.17 c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #106 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: 106 2.09/2.19 c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s 2.20/2.21 c core #107 2.20/2.21 c Core size: 4 Core Weight: 1 Total Weight: 107 2.20/2.21 c Elapsed CPU time: 2.20766 s Remaining CPU time: 1797.79 s 2.20/2.24 c core #108 2.20/2.24 c Core size: 4 Core Weight: 1 Total Weight: 108 2.20/2.24 c Elapsed CPU time: 2.22966 s Remaining CPU time: 1797.77 s 2.20/2.26 c core #109 2.20/2.26 c Core size: 4 Core Weight: 1 Total Weight: 109 2.20/2.26 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.20/2.28 c core #110 2.20/2.28 c Core size: 4 Core Weight: 1 Total Weight: 110 2.20/2.28 c Elapsed CPU time: 2.27265 s Remaining CPU time: 1797.73 s 2.29/2.30 c core #111 2.29/2.30 c Core size: 4 Core Weight: 1 Total Weight: 111 2.29/2.30 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.29/2.32 c core #112 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: 112 2.29/2.32 c Elapsed CPU time: 2.31765 s Remaining CPU time: 1797.68 s 2.29/2.35 c core #113 2.29/2.35 c Core size: 4 Core Weight: 1 Total Weight: 113 2.29/2.35 c Elapsed CPU time: 2.33864 s Remaining CPU time: 1797.66 s 2.29/2.37 c core #114 2.29/2.37 c Core size: 4 Core Weight: 1 Total Weight: 114 2.29/2.37 c Elapsed CPU time: 2.36064 s Remaining CPU time: 1797.64 s 2.29/2.39 c core #115 2.29/2.39 c Core size: 4 Core Weight: 1 Total Weight: 115 2.29/2.39 c Elapsed CPU time: 2.38264 s Remaining CPU time: 1797.62 s 2.39/2.41 c core #116 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: 116 2.39/2.41 c Elapsed CPU time: 2.40363 s Remaining CPU time: 1797.6 s 2.39/2.43 c core #117 2.39/2.43 c Core size: 4 Core Weight: 1 Total Weight: 117 2.39/2.43 c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s 2.39/2.45 c core #118 2.39/2.45 c Core size: 4 Core Weight: 1 Total Weight: 118 2.39/2.45 c Elapsed CPU time: 2.44563 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #119 2.39/2.47 c Core size: 4 Core Weight: 1 Total Weight: 119 2.39/2.47 c Elapsed CPU time: 2.46762 s Remaining CPU time: 1797.53 s 2.39/2.50 c core #120 2.39/2.50 c Core size: 4 Core Weight: 1 Total Weight: 120 2.39/2.50 c Elapsed CPU time: 2.48962 s Remaining CPU time: 1797.51 s 2.49/2.52 c core #121 2.49/2.52 c Core size: 4 Core Weight: 1 Total Weight: 121 2.49/2.52 c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s 2.49/2.54 c core #122 2.49/2.54 c Core size: 4 Core Weight: 1 Total Weight: 122 2.49/2.54 c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s 2.49/2.56 c core #123 2.49/2.56 c Core size: 4 Core Weight: 1 Total Weight: 123 2.49/2.56 c Elapsed CPU time: 2.55461 s Remaining CPU time: 1797.45 s 2.49/2.58 c core #124 2.49/2.58 c Core size: 4 Core Weight: 1 Total Weight: 124 2.49/2.58 c Elapsed CPU time: 2.57561 s Remaining CPU time: 1797.42 s 2.59/2.60 c core #125 2.59/2.60 c Core size: 4 Core Weight: 1 Total Weight: 125 2.59/2.60 c Elapsed CPU time: 2.59761 s Remaining CPU time: 1797.4 s 2.59/2.63 c core #126 2.59/2.63 c Core size: 4 Core Weight: 1 Total Weight: 126 2.59/2.63 c Elapsed CPU time: 2.6196 s Remaining CPU time: 1797.38 s 2.59/2.65 c core #127 2.59/2.65 c Core size: 4 Core Weight: 1 Total Weight: 127 2.59/2.65 c Elapsed CPU time: 2.6406 s Remaining CPU time: 1797.36 s 2.59/2.67 c core #128 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: 128 2.59/2.67 c Elapsed CPU time: 2.6616 s Remaining CPU time: 1797.34 s 2.59/2.69 c core #129 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: 129 2.59/2.69 c Elapsed CPU time: 2.68359 s Remaining CPU time: 1797.32 s 2.69/2.71 c core #130 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: 130 2.69/2.71 c Elapsed CPU time: 2.70559 s Remaining CPU time: 1797.29 s 2.69/2.73 c core #131 2.69/2.73 c Core size: 4 Core Weight: 1 Total Weight: 131 2.69/2.73 c Elapsed CPU time: 2.72758 s Remaining CPU time: 1797.27 s 2.69/2.76 c core #132 2.69/2.76 c Core size: 4 Core Weight: 1 Total Weight: 132 2.69/2.76 c Elapsed CPU time: 2.74958 s Remaining CPU time: 1797.25 s 2.69/2.78 c core #133 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: 133 2.69/2.78 c Elapsed CPU time: 2.77258 s Remaining CPU time: 1797.23 s 2.79/2.80 c core #134 2.79/2.80 c Core size: 4 Core Weight: 1 Total Weight: 134 2.79/2.80 c Elapsed CPU time: 2.79358 s Remaining CPU time: 1797.21 s 2.79/2.82 c core #135 2.79/2.82 c Core size: 4 Core Weight: 1 Total Weight: 135 2.79/2.82 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.79/2.84 c core #136 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: 136 2.79/2.84 c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s 2.79/2.87 c core #137 2.79/2.87 c Core size: 4 Core Weight: 1 Total Weight: 137 2.79/2.87 c Elapsed CPU time: 2.85857 s Remaining CPU time: 1797.14 s 2.79/2.89 c core #138 2.79/2.89 c Core size: 4 Core Weight: 1 Total Weight: 138 2.79/2.89 c Elapsed CPU time: 2.87956 s Remaining CPU time: 1797.12 s 2.89/2.91 c core #139 2.89/2.91 c Core size: 4 Core Weight: 1 Total Weight: 139 2.89/2.91 c Elapsed CPU time: 2.90156 s Remaining CPU time: 1797.1 s 2.89/2.93 c core #140 2.89/2.93 c Core size: 4 Core Weight: 1 Total Weight: 140 2.89/2.93 c Elapsed CPU time: 2.92355 s Remaining CPU time: 1797.08 s 2.89/2.95 c core #141 2.89/2.95 c Core size: 4 Core Weight: 1 Total Weight: 141 2.89/2.95 c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s 2.89/2.97 c core #142 2.89/2.97 c Core size: 4 Core Weight: 1 Total Weight: 142 2.89/2.97 c Elapsed CPU time: 2.96755 s Remaining CPU time: 1797.03 s 2.89/3.00 c core #143 2.89/3.00 c Core size: 4 Core Weight: 1 Total Weight: 143 2.89/3.00 c Elapsed CPU time: 2.98855 s Remaining CPU time: 1797.01 s 2.99/3.02 c core #144 2.99/3.02 c Core size: 4 Core Weight: 1 Total Weight: 144 2.99/3.02 c Elapsed CPU time: 3.00954 s Remaining CPU time: 1796.99 s 2.99/3.04 c core #145 2.99/3.04 c Core size: 4 Core Weight: 1 Total Weight: 145 2.99/3.04 c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s 2.99/3.06 c core #146 2.99/3.06 c Core size: 4 Core Weight: 1 Total Weight: 146 2.99/3.06 c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s 2.99/3.08 c core #147 2.99/3.08 c Core size: 4 Core Weight: 1 Total Weight: 147 2.99/3.08 c Elapsed CPU time: 3.07453 s Remaining CPU time: 1796.93 s 3.09/3.10 c core #148 3.09/3.10 c Core size: 4 Core Weight: 1 Total Weight: 148 3.09/3.10 c Elapsed CPU time: 3.09653 s Remaining CPU time: 1796.9 s 3.09/3.12 c core #149 3.09/3.12 c Core size: 4 Core Weight: 1 Total Weight: 149 3.09/3.12 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.09/3.15 c core #150 3.09/3.15 c Core size: 4 Core Weight: 1 Total Weight: 150 3.09/3.15 c Elapsed CPU time: 3.13852 s Remaining CPU time: 1796.86 s 3.09/3.17 c core #151 3.09/3.17 c Core size: 4 Core Weight: 1 Total Weight: 151 3.09/3.17 c Elapsed CPU time: 3.16052 s Remaining CPU time: 1796.84 s 3.09/3.19 c core #152 3.09/3.19 c Core size: 4 Core Weight: 1 Total Weight: 152 3.09/3.19 c Elapsed CPU time: 3.18152 s Remaining CPU time: 1796.82 s 3.20/3.21 c core #153 3.20/3.21 c Core size: 4 Core Weight: 1 Total Weight: 153 3.20/3.21 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.20/3.23 c core #154 3.20/3.23 c Core size: 4 Core Weight: 1 Total Weight: 154 3.20/3.23 c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s 3.20/3.25 c core #155 3.20/3.25 c Core size: 4 Core Weight: 1 Total Weight: 155 3.20/3.25 c Elapsed CPU time: 3.24751 s Remaining CPU time: 1796.75 s 3.20/3.28 c core #156 3.20/3.28 c Core size: 4 Core Weight: 1 Total Weight: 156 3.20/3.28 c Elapsed CPU time: 3.2705 s Remaining CPU time: 1796.73 s 3.20/3.30 c core #157 3.20/3.30 c Core size: 4 Core Weight: 1 Total Weight: 157 3.20/3.30 c Elapsed CPU time: 3.2925 s Remaining CPU time: 1796.71 s 3.30/3.32 c core #158 3.30/3.32 c Core size: 4 Core Weight: 1 Total Weight: 158 3.30/3.32 c Elapsed CPU time: 3.3135 s Remaining CPU time: 1796.69 s 3.30/3.34 c core #159 3.30/3.34 c Core size: 4 Core Weight: 1 Total Weight: 159 3.30/3.34 c Elapsed CPU time: 3.33549 s Remaining CPU time: 1796.66 s 3.30/3.36 c core #160 3.30/3.36 c Core size: 4 Core Weight: 1 Total Weight: 160 3.30/3.36 c Elapsed CPU time: 3.35649 s Remaining CPU time: 1796.64 s 3.30/3.39 c core #161 3.30/3.39 c Core size: 4 Core Weight: 1 Total Weight: 161 3.30/3.39 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.39/3.41 c core #162 3.39/3.41 c Core size: 4 Core Weight: 1 Total Weight: 162 3.39/3.41 c Elapsed CPU time: 3.39948 s Remaining CPU time: 1796.6 s 3.39/3.43 c core #163 3.39/3.43 c Core size: 4 Core Weight: 1 Total Weight: 163 3.39/3.43 c Elapsed CPU time: 3.42048 s Remaining CPU time: 1796.58 s 3.39/3.45 c core #164 3.39/3.45 c Core size: 4 Core Weight: 1 Total Weight: 164 3.39/3.45 c Elapsed CPU time: 3.44248 s Remaining CPU time: 1796.56 s 3.39/3.47 c core #165 3.39/3.47 c Core size: 4 Core Weight: 1 Total Weight: 165 3.39/3.47 c Elapsed CPU time: 3.46447 s Remaining CPU time: 1796.54 s 3.39/3.49 c core #166 3.39/3.49 c Core size: 4 Core Weight: 1 Total Weight: 166 3.39/3.49 c Elapsed CPU time: 3.48647 s Remaining CPU time: 1796.51 s 3.49/3.52 c core #167 3.49/3.52 c Core size: 4 Core Weight: 1 Total Weight: 167 3.49/3.52 c Elapsed CPU time: 3.50947 s Remaining CPU time: 1796.49 s 3.49/3.54 c core #168 3.49/3.54 c Core size: 4 Core Weight: 1 Total Weight: 168 3.49/3.54 c Elapsed CPU time: 3.53146 s Remaining CPU time: 1796.47 s 3.49/3.56 c core #169 3.49/3.56 c Core size: 4 Core Weight: 1 Total Weight: 169 3.49/3.56 c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s 3.49/3.59 c core #170 3.49/3.59 c Core size: 4 Core Weight: 1 Total Weight: 170 3.49/3.59 c Elapsed CPU time: 3.57646 s Remaining CPU time: 1796.42 s 3.59/3.61 c core #171 3.59/3.61 c Core size: 4 Core Weight: 1 Total Weight: 171 3.59/3.61 c Elapsed CPU time: 3.59945 s Remaining CPU time: 1796.4 s 3.59/3.63 c core #172 3.59/3.63 c Core size: 4 Core Weight: 1 Total Weight: 172 3.59/3.63 c Elapsed CPU time: 3.62045 s Remaining CPU time: 1796.38 s 3.59/3.65 c core #173 3.59/3.65 c Core size: 4 Core Weight: 1 Total Weight: 173 3.59/3.65 c Elapsed CPU time: 3.64245 s Remaining CPU time: 1796.36 s 3.59/3.67 c core #174 3.59/3.67 c Core size: 4 Core Weight: 1 Total Weight: 174 3.59/3.67 c Elapsed CPU time: 3.66444 s Remaining CPU time: 1796.34 s 3.69/3.70 c core #175 3.69/3.70 c Core size: 4 Core Weight: 1 Total Weight: 175 3.69/3.70 c Elapsed CPU time: 3.68544 s Remaining CPU time: 1796.31 s 3.69/3.72 c core #176 3.69/3.72 c Core size: 4 Core Weight: 1 Total Weight: 176 3.69/3.72 c Elapsed CPU time: 3.70744 s Remaining CPU time: 1796.29 s 3.69/3.74 c core #177 3.69/3.74 c Core size: 4 Core Weight: 1 Total Weight: 177 3.69/3.74 c Elapsed CPU time: 3.73043 s Remaining CPU time: 1796.27 s 3.69/3.76 c core #178 3.69/3.76 c Core size: 4 Core Weight: 1 Total Weight: 178 3.69/3.76 c Elapsed CPU time: 3.75243 s Remaining CPU time: 1796.25 s 3.69/3.79 c core #179 3.69/3.79 c Core size: 4 Core Weight: 1 Total Weight: 179 3.69/3.79 c Elapsed CPU time: 3.77443 s Remaining CPU time: 1796.23 s 3.79/3.81 c core #180 3.79/3.81 c Core size: 4 Core Weight: 1 Total Weight: 180 3.79/3.81 c Elapsed CPU time: 3.79742 s Remaining CPU time: 1796.2 s 3.79/3.83 c core #181 3.79/3.83 c Core size: 4 Core Weight: 1 Total Weight: 181 3.79/3.83 c Elapsed CPU time: 3.81942 s Remaining CPU time: 1796.18 s 3.79/3.85 c core #182 3.79/3.85 c Core size: 4 Core Weight: 1 Total Weight: 182 3.79/3.85 c Elapsed CPU time: 3.84142 s Remaining CPU time: 1796.16 s 3.79/3.87 c core #183 3.79/3.87 c Core size: 4 Core Weight: 1 Total Weight: 183 3.79/3.87 c Elapsed CPU time: 3.86341 s Remaining CPU time: 1796.14 s 3.89/3.90 c core #184 3.89/3.90 c Core size: 4 Core Weight: 1 Total Weight: 184 3.89/3.90 c Elapsed CPU time: 3.88641 s Remaining CPU time: 1796.11 s 3.89/3.92 c core #185 3.89/3.92 c Core size: 4 Core Weight: 1 Total Weight: 185 3.89/3.92 c Elapsed CPU time: 3.90841 s Remaining CPU time: 1796.09 s 3.89/3.94 c core #186 3.89/3.94 c Core size: 4 Core Weight: 1 Total Weight: 186 3.89/3.94 c Elapsed CPU time: 3.9304 s Remaining CPU time: 1796.07 s 3.89/3.96 c core #187 3.89/3.96 c Core size: 4 Core Weight: 1 Total Weight: 187 3.89/3.96 c Elapsed CPU time: 3.9534 s Remaining CPU time: 1796.05 s 3.89/3.99 c core #188 3.89/3.99 c Core size: 4 Core Weight: 1 Total Weight: 188 3.89/3.99 c Elapsed CPU time: 3.97539 s Remaining CPU time: 1796.02 s 3.99/4.01 c core #189 3.99/4.01 c Core size: 4 Core Weight: 1 Total Weight: 189 3.99/4.01 c Elapsed CPU time: 3.99839 s Remaining CPU time: 1796 s 3.99/4.03 c core #190 3.99/4.03 c Core size: 4 Core Weight: 1 Total Weight: 190 3.99/4.03 c Elapsed CPU time: 4.02039 s Remaining CPU time: 1795.98 s 3.99/4.05 c core #191 3.99/4.05 c Core size: 4 Core Weight: 1 Total Weight: 191 3.99/4.05 c Elapsed CPU time: 4.04239 s Remaining CPU time: 1795.96 s 3.99/4.08 c core #192 3.99/4.08 c Core size: 4 Core Weight: 1 Total Weight: 192 3.99/4.08 c Elapsed CPU time: 4.06438 s Remaining CPU time: 1795.94 s 4.09/4.10 c core #193 4.09/4.10 c Core size: 4 Core Weight: 1 Total Weight: 193 4.09/4.10 c Elapsed CPU time: 4.08738 s Remaining CPU time: 1795.91 s 4.09/4.12 c core #194 4.09/4.12 c Core size: 4 Core Weight: 1 Total Weight: 194 4.09/4.12 c Elapsed CPU time: 4.10938 s Remaining CPU time: 1795.89 s 4.09/4.14 c core #195 4.09/4.14 c Core size: 4 Core Weight: 1 Total Weight: 195 4.09/4.14 c Elapsed CPU time: 4.13137 s Remaining CPU time: 1795.87 s 4.09/4.17 c core #196 4.09/4.17 c Core size: 4 Core Weight: 1 Total Weight: 196 4.09/4.17 c Elapsed CPU time: 4.15437 s Remaining CPU time: 1795.85 s 4.09/4.19 c core #197 4.09/4.19 c Core size: 4 Core Weight: 1 Total Weight: 197 4.09/4.19 c Elapsed CPU time: 4.17636 s Remaining CPU time: 1795.82 s 4.19/4.21 c core #198 4.19/4.21 c Core size: 4 Core Weight: 1 Total Weight: 198 4.19/4.21 c Elapsed CPU time: 4.19836 s Remaining CPU time: 1795.8 s 4.19/4.23 c core #199 4.19/4.23 c Core size: 4 Core Weight: 1 Total Weight: 199 4.19/4.23 c Elapsed CPU time: 4.22136 s Remaining CPU time: 1795.78 s 4.19/4.26 c core #200 4.19/4.26 c Core size: 4 Core Weight: 1 Total Weight: 200 4.19/4.26 c Elapsed CPU time: 4.24435 s Remaining CPU time: 1795.76 s 4.19/4.28 c core #201 4.19/4.28 c Core size: 4 Core Weight: 1 Total Weight: 201 4.19/4.28 c Elapsed CPU time: 4.26735 s Remaining CPU time: 1795.73 s 4.29/4.30 c core #202 4.29/4.30 c Core size: 4 Core Weight: 1 Total Weight: 202 4.29/4.30 c Elapsed CPU time: 4.29135 s Remaining CPU time: 1795.71 s 4.29/4.33 c core #203 4.29/4.33 c Core size: 4 Core Weight: 1 Total Weight: 203 4.29/4.33 c Elapsed CPU time: 4.31334 s Remaining CPU time: 1795.69 s 4.29/4.35 c core #204 4.29/4.35 c Core size: 4 Core Weight: 1 Total Weight: 204 4.29/4.35 c Elapsed CPU time: 4.33634 s Remaining CPU time: 1795.66 s 4.29/4.37 c core #205 4.29/4.37 c Core size: 4 Core Weight: 1 Total Weight: 205 4.29/4.37 c Elapsed CPU time: 4.35834 s Remaining CPU time: 1795.64 s 4.29/4.39 c core #206 4.29/4.39 c Core size: 4 Core Weight: 1 Total Weight: 206 4.29/4.39 c Elapsed CPU time: 4.38133 s Remaining CPU time: 1795.62 s 4.39/4.42 c core #207 4.39/4.42 c Core size: 4 Core Weight: 1 Total Weight: 207 4.39/4.42 c Elapsed CPU time: 4.40433 s Remaining CPU time: 1795.6 s 4.39/4.44 c core #208 4.39/4.44 c Core size: 4 Core Weight: 1 Total Weight: 208 4.39/4.44 c Elapsed CPU time: 4.42733 s Remaining CPU time: 1795.57 s 4.39/4.46 c core #209 4.39/4.46 c Core size: 4 Core Weight: 1 Total Weight: 209 4.39/4.46 c Elapsed CPU time: 4.45032 s Remaining CPU time: 1795.55 s 4.39/4.49 c core #210 4.39/4.49 c Core size: 4 Core Weight: 1 Total Weight: 210 4.39/4.49 c Elapsed CPU time: 4.47332 s Remaining CPU time: 1795.53 s 4.49/4.51 c core #211 4.49/4.51 c Core size: 4 Core Weight: 1 Total Weight: 211 4.49/4.51 c Elapsed CPU time: 4.49532 s Remaining CPU time: 1795.5 s 4.49/4.53 c core #212 4.49/4.53 c Core size: 4 Core Weight: 1 Total Weight: 212 4.49/4.53 c Elapsed CPU time: 4.51831 s Remaining CPU time: 1795.48 s 4.49/4.55 c core #213 4.49/4.55 c Core size: 4 Core Weight: 1 Total Weight: 213 4.49/4.55 c Elapsed CPU time: 4.54031 s Remaining CPU time: 1795.46 s 4.49/4.58 c core #214 4.49/4.58 c Core size: 4 Core Weight: 1 Total Weight: 214 4.49/4.58 c Elapsed CPU time: 4.56431 s Remaining CPU time: 1795.44 s 4.59/4.60 c core #215 4.59/4.60 c Core size: 4 Core Weight: 1 Total Weight: 215 4.59/4.60 c Elapsed CPU time: 4.5863 s Remaining CPU time: 1795.41 s 4.59/4.62 c core #216 4.59/4.62 c Core size: 4 Core Weight: 1 Total Weight: 216 4.59/4.62 c Elapsed CPU time: 4.6093 s Remaining CPU time: 1795.39 s 4.59/4.64 c core #217 4.59/4.64 c Core size: 4 Core Weight: 1 Total Weight: 217 4.59/4.64 c Elapsed CPU time: 4.6323 s Remaining CPU time: 1795.37 s 4.59/4.67 c core #218 4.59/4.67 c Core size: 4 Core Weight: 1 Total Weight: 218 4.59/4.67 c Elapsed CPU time: 4.65429 s Remaining CPU time: 1795.35 s 4.59/4.69 c core #219 4.59/4.69 c Core size: 4 Core Weight: 1 Total Weight: 219 4.59/4.69 c Elapsed CPU time: 4.67729 s Remaining CPU time: 1795.32 s 4.69/4.71 c core #220 4.69/4.71 c Core size: 4 Core Weight: 1 Total Weight: 220 4.69/4.71 c Elapsed CPU time: 4.70029 s Remaining CPU time: 1795.3 s 4.69/4.74 c core #221 4.69/4.74 c Core size: 4 Core Weight: 1 Total Weight: 221 4.69/4.74 c Elapsed CPU time: 4.72328 s Remaining CPU time: 1795.28 s 4.69/4.76 c core #222 4.69/4.76 c Core size: 4 Core Weight: 1 Total Weight: 222 4.69/4.76 c Elapsed CPU time: 4.74728 s Remaining CPU time: 1795.25 s 4.69/4.78 c core #223 4.69/4.78 c Core size: 4 Core Weight: 1 Total Weight: 223 4.69/4.78 c Elapsed CPU time: 4.77027 s Remaining CPU time: 1795.23 s 4.79/4.81 c core #224 4.79/4.81 c Core size: 4 Core Weight: 1 Total Weight: 224 4.79/4.81 c Elapsed CPU time: 4.79327 s Remaining CPU time: 1795.21 s 4.79/4.83 c core #225 4.79/4.83 c Core size: 4 Core Weight: 1 Total Weight: 225 4.79/4.83 c Elapsed CPU time: 4.81527 s Remaining CPU time: 1795.18 s 4.79/4.85 c core #226 4.79/4.85 c Core size: 4 Core Weight: 1 Total Weight: 226 4.79/4.85 c Elapsed CPU time: 4.83926 s Remaining CPU time: 1795.16 s 4.79/4.88 c core #227 4.79/4.88 c Core size: 4 Core Weight: 1 Total Weight: 227 4.79/4.88 c Elapsed CPU time: 4.86326 s Remaining CPU time: 1795.14 s 4.89/4.90 c core #228 4.89/4.90 c Core size: 4 Core Weight: 1 Total Weight: 228 4.89/4.90 c Elapsed CPU time: 4.88626 s Remaining CPU time: 1795.11 s 4.89/4.92 c core #229 4.89/4.92 c Core size: 4 Core Weight: 1 Total Weight: 229 4.89/4.92 c Elapsed CPU time: 4.90925 s Remaining CPU time: 1795.09 s 4.89/4.94 c core #230 4.89/4.94 c Core size: 4 Core Weight: 1 Total Weight: 230 4.89/4.94 c Elapsed CPU time: 4.93225 s Remaining CPU time: 1795.07 s 4.89/4.97 c core #231 4.89/4.97 c Core size: 4 Core Weight: 1 Total Weight: 231 4.89/4.97 c Elapsed CPU time: 4.95525 s Remaining CPU time: 1795.04 s 4.89/4.99 c core #232 4.89/4.99 c Core size: 4 Core Weight: 1 Total Weight: 232 4.89/4.99 c Elapsed CPU time: 4.97824 s Remaining CPU time: 1795.02 s 4.99/5.02 c core #233 4.99/5.02 c Core size: 4 Core Weight: 1 Total Weight: 233 4.99/5.02 c Elapsed CPU time: 5.00224 s Remaining CPU time: 1795 s 4.99/5.04 c core #234 4.99/5.04 c Core size: 4 Core Weight: 1 Total Weight: 234 4.99/5.04 c Elapsed CPU time: 5.02724 s Remaining CPU time: 1794.97 s 4.99/5.06 c core #235 4.99/5.06 c Core size: 4 Core Weight: 1 Total Weight: 235 4.99/5.06 c Elapsed CPU time: 5.05123 s Remaining CPU time: 1794.95 s 4.99/5.09 c core #236 4.99/5.09 c Core size: 4 Core Weight: 1 Total Weight: 236 4.99/5.09 c Elapsed CPU time: 5.07423 s Remaining CPU time: 1794.93 s 5.09/5.11 c core #237 5.09/5.11 c Core size: 4 Core Weight: 1 Total Weight: 237 5.09/5.11 c Elapsed CPU time: 5.09722 s Remaining CPU time: 1794.9 s 5.09/5.13 c core #238 5.09/5.13 c Core size: 4 Core Weight: 1 Total Weight: 238 5.09/5.13 c Elapsed CPU time: 5.12122 s Remaining CPU time: 1794.88 s 5.09/5.16 c core #239 5.09/5.16 c Core size: 4 Core Weight: 1 Total Weight: 239 5.09/5.16 c Elapsed CPU time: 5.14622 s Remaining CPU time: 1794.85 s 5.09/5.18 c core #240 5.09/5.18 c Core size: 4 Core Weight: 1 Total Weight: 240 5.09/5.18 c Elapsed CPU time: 5.16921 s Remaining CPU time: 1794.83 s 5.19/5.21 c core #241 5.19/5.21 c Core size: 4 Core Weight: 1 Total Weight: 241 5.19/5.21 c Elapsed CPU time: 5.19221 s Remaining CPU time: 1794.81 s 5.19/5.23 c core #242 5.19/5.23 c Core size: 4 Core Weight: 1 Total Weight: 242 5.19/5.23 c Elapsed CPU time: 5.21621 s Remaining CPU time: 1794.78 s 5.19/5.25 c core #243 5.19/5.25 c Core size: 4 Core Weight: 1 Total Weight: 243 5.19/5.25 c Elapsed CPU time: 5.2402 s Remaining CPU time: 1794.76 s 5.19/5.28 c core #244 5.19/5.28 c Core size: 4 Core Weight: 1 Total Weight: 244 5.19/5.28 c Elapsed CPU time: 5.2642 s Remaining CPU time: 1794.74 s 5.29/5.30 c core #245 5.29/5.30 c Core size: 4 Core Weight: 1 Total Weight: 245 5.29/5.30 c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s 5.29/5.33 c core #246 5.29/5.33 c Core size: 4 Core Weight: 1 Total Weight: 246 5.29/5.33 c Elapsed CPU time: 5.31119 s Remaining CPU time: 1794.69 s 5.29/5.35 c core #247 5.29/5.35 c Core size: 4 Core Weight: 1 Total Weight: 247 5.29/5.35 c Elapsed CPU time: 5.33419 s Remaining CPU time: 1794.67 s 5.29/5.37 c core #248 5.29/5.37 c Core size: 4 Core Weight: 1 Total Weight: 248 5.29/5.37 c Elapsed CPU time: 5.35919 s Remaining CPU time: 1794.64 s 5.39/5.40 c core #249 5.39/5.40 c Core size: 4 Core Weight: 1 Total Weight: 249 5.39/5.40 c Elapsed CPU time: 5.38318 s Remaining CPU time: 1794.62 s 5.39/5.42 c core #250 5.39/5.42 c Core size: 4 Core Weight: 1 Total Weight: 250 5.39/5.42 c Elapsed CPU time: 5.40618 s Remaining CPU time: 1794.59 s 5.39/5.45 c core #251 5.39/5.45 c Core size: 4 Core Weight: 1 Total Weight: 251 5.39/5.45 c Elapsed CPU time: 5.43117 s Remaining CPU time: 1794.57 s 5.39/5.47 c core #252 5.39/5.47 c Core size: 4 Core Weight: 1 Total Weight: 252 5.39/5.47 c Elapsed CPU time: 5.45617 s Remaining CPU time: 1794.54 s 5.39/5.50 c core #253 5.39/5.50 c Core size: 4 Core Weight: 1 Total Weight: 253 5.39/5.50 c Elapsed CPU time: 5.48117 s Remaining CPU time: 1794.52 s 5.49/5.52 c core #254 5.49/5.52 c Core size: 4 Core Weight: 1 Total Weight: 254 5.49/5.52 c Elapsed CPU time: 5.50616 s Remaining CPU time: 1794.49 s 5.49/5.54 c core #255 5.49/5.54 c Core size: 4 Core Weight: 1 Total Weight: 255 5.49/5.54 c Elapsed CPU time: 5.53016 s Remaining CPU time: 1794.47 s 5.49/5.57 c core #256 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: 256 5.49/5.57 c Elapsed CPU time: 5.55616 s Remaining CPU time: 1794.44 s 5.49/5.59 c core #257 5.49/5.59 c Core size: 4 Core Weight: 1 Total Weight: 257 5.49/5.59 c Elapsed CPU time: 5.58015 s Remaining CPU time: 1794.42 s 5.59/5.62 c core #258 5.59/5.62 c Core size: 4 Core Weight: 1 Total Weight: 258 5.59/5.62 c Elapsed CPU time: 5.60615 s Remaining CPU time: 1794.39 s 5.59/5.64 c core #259 5.59/5.64 c Core size: 4 Core Weight: 1 Total Weight: 259 5.59/5.64 c Elapsed CPU time: 5.63014 s Remaining CPU time: 1794.37 s 5.59/5.67 c core #260 5.59/5.67 c Core size: 4 Core Weight: 1 Total Weight: 260 5.59/5.67 c Elapsed CPU time: 5.65514 s Remaining CPU time: 1794.34 s 5.59/5.69 c core #261 5.59/5.69 c Core size: 4 Core Weight: 1 Total Weight: 261 5.59/5.69 c Elapsed CPU time: 5.67914 s Remaining CPU time: 1794.32 s 5.69/5.72 c core #262 5.69/5.72 c Core size: 4 Core Weight: 1 Total Weight: 262 5.69/5.72 c Elapsed CPU time: 5.70313 s Remaining CPU time: 1794.3 s 5.69/5.74 c core #263 5.69/5.74 c Core size: 4 Core Weight: 1 Total Weight: 263 5.69/5.74 c Elapsed CPU time: 5.72713 s Remaining CPU time: 1794.27 s 5.69/5.77 c core #264 5.69/5.77 c Core size: 4 Core Weight: 1 Total Weight: 264 5.69/5.77 c Elapsed CPU time: 5.75012 s Remaining CPU time: 1794.25 s 5.69/5.79 c core #265 5.69/5.79 c Core size: 4 Core Weight: 1 Total Weight: 265 5.69/5.79 c Elapsed CPU time: 5.77512 s Remaining CPU time: 1794.22 s 5.79/5.81 c core #266 5.79/5.81 c Core size: 4 Core Weight: 1 Total Weight: 266 5.79/5.81 c Elapsed CPU time: 5.79912 s Remaining CPU time: 1794.2 s 5.79/5.84 c core #267 5.79/5.84 c Core size: 4 Core Weight: 1 Total Weight: 267 5.79/5.84 c Elapsed CPU time: 5.82311 s Remaining CPU time: 1794.18 s 5.79/5.86 c core #268 5.79/5.86 c Core size: 4 Core Weight: 1 Total Weight: 268 5.79/5.86 c Elapsed CPU time: 5.84711 s Remaining CPU time: 1794.15 s 5.79/5.89 c core #269 5.79/5.89 c Core size: 4 Core Weight: 1 Total Weight: 269 5.79/5.89 c Elapsed CPU time: 5.87211 s Remaining CPU time: 1794.13 s 5.89/5.91 c core #270 5.89/5.91 c Core size: 4 Core Weight: 1 Total Weight: 270 5.89/5.91 c Elapsed CPU time: 5.8971 s Remaining CPU time: 1794.1 s 5.89/5.94 c core #271 5.89/5.94 c Core size: 4 Core Weight: 1 Total Weight: 271 5.89/5.94 c Elapsed CPU time: 5.9211 s Remaining CPU time: 1794.08 s 5.89/5.96 c core #272 5.89/5.96 c Core size: 4 Core Weight: 1 Total Weight: 272 5.89/5.96 c Elapsed CPU time: 5.9451 s Remaining CPU time: 1794.05 s 5.89/5.99 c core #273 5.89/5.99 c Core size: 4 Core Weight: 1 Total Weight: 273 5.89/5.99 c Elapsed CPU time: 5.96909 s Remaining CPU time: 1794.03 s 5.99/6.01 c core #274 5.99/6.01 c Core size: 4 Core Weight: 1 Total Weight: 274 5.99/6.01 c Elapsed CPU time: 5.99409 s Remaining CPU time: 1794.01 s 5.99/6.03 c core #275 5.99/6.03 c Core size: 4 Core Weight: 1 Total Weight: 275 5.99/6.03 c Elapsed CPU time: 6.01809 s Remaining CPU time: 1793.98 s 5.99/6.06 c core #276 5.99/6.06 c Core size: 4 Core Weight: 1 Total Weight: 276 5.99/6.06 c Elapsed CPU time: 6.04308 s Remaining CPU time: 1793.96 s 5.99/6.08 c core #277 5.99/6.08 c Core size: 4 Core Weight: 1 Total Weight: 277 5.99/6.08 c Elapsed CPU time: 6.06708 s Remaining CPU time: 1793.93 s 6.09/6.11 c core #278 6.09/6.11 c Core size: 4 Core Weight: 1 Total Weight: 278 6.09/6.11 c Elapsed CPU time: 6.09307 s Remaining CPU time: 1793.91 s 6.09/6.13 c core #279 6.09/6.13 c Core size: 4 Core Weight: 1 Total Weight: 279 6.09/6.13 c Elapsed CPU time: 6.11807 s Remaining CPU time: 1793.88 s 6.09/6.16 c core #280 6.09/6.16 c Core size: 4 Core Weight: 1 Total Weight: 280 6.09/6.16 c Elapsed CPU time: 6.14207 s Remaining CPU time: 1793.86 s 6.09/6.18 c core #281 6.09/6.18 c Core size: 4 Core Weight: 1 Total Weight: 281 6.09/6.18 c Elapsed CPU time: 6.16706 s Remaining CPU time: 1793.83 s 6.19/6.21 c core #282 6.19/6.21 c Core size: 4 Core Weight: 1 Total Weight: 282 6.19/6.21 c Elapsed CPU time: 6.19306 s Remaining CPU time: 1793.81 s 6.19/6.24 c core #283 6.19/6.24 c Core size: 4 Core Weight: 1 Total Weight: 283 6.19/6.24 c Elapsed CPU time: 6.22005 s Remaining CPU time: 1793.78 s 6.19/6.26 c core #284 6.19/6.26 c Core size: 4 Core Weight: 1 Total Weight: 284 6.19/6.26 c Elapsed CPU time: 6.24605 s Remaining CPU time: 1793.75 s 6.19/6.29 c core #285 6.19/6.29 c Core size: 4 Core Weight: 1 Total Weight: 285 6.19/6.29 c Elapsed CPU time: 6.27005 s Remaining CPU time: 1793.73 s 6.29/6.31 c core #286 6.29/6.31 c Core size: 4 Core Weight: 1 Total Weight: 286 6.29/6.31 c Elapsed CPU time: 6.29704 s Remaining CPU time: 1793.7 s 6.29/6.34 c core #287 6.29/6.34 c Core size: 4 Core Weight: 1 Total Weight: 287 6.29/6.34 c Elapsed CPU time: 6.32104 s Remaining CPU time: 1793.68 s 6.29/6.36 c core #288 6.29/6.36 c Core size: 4 Core Weight: 1 Total Weight: 288 6.29/6.36 c Elapsed CPU time: 6.34603 s Remaining CPU time: 1793.65 s 6.29/6.39 c core #289 6.29/6.39 c Core size: 50 Core Weight: 1 Total Weight: 289 6.29/6.39 c Elapsed CPU time: 6.37003 s Remaining CPU time: 1793.63 s 6.39/6.41 c core #290 6.39/6.41 c Core size: 63 Core Weight: 1 Total Weight: 290 6.39/6.41 c Elapsed CPU time: 6.39703 s Remaining CPU time: 1793.6 s 6.39/6.44 c core #291 6.39/6.44 c Core size: 66 Core Weight: 1 Total Weight: 291 6.39/6.44 c Elapsed CPU time: 6.42702 s Remaining CPU time: 1793.57 s 6.39/6.48 c core #292 6.39/6.48 c Core size: 72 Core Weight: 1 Total Weight: 292 6.39/6.48 c Elapsed CPU time: 6.46202 s Remaining CPU time: 1793.54 s 6.49/6.51 c core #293 6.49/6.51 c Core size: 72 Core Weight: 1 Total Weight: 293 6.49/6.51 c Elapsed CPU time: 6.49601 s Remaining CPU time: 1793.5 s 6.49/6.55 c core #294 6.49/6.55 c Core size: 70 Core Weight: 1 Total Weight: 294 6.49/6.55 c Elapsed CPU time: 6.52901 s Remaining CPU time: 1793.47 s 6.49/6.58 c core #295 6.49/6.58 c Core size: 73 Core Weight: 1 Total Weight: 295 6.49/6.58 c Elapsed CPU time: 6.564 s Remaining CPU time: 1793.44 s 6.59/6.62 c core #296 6.59/6.62 c Core size: 72 Core Weight: 1 Total Weight: 296 6.59/6.62 c Elapsed CPU time: 6.599 s Remaining CPU time: 1793.4 s 6.59/6.65 c core #297 6.59/6.65 c Core size: 71 Core Weight: 1 Total Weight: 297 6.59/6.65 c Elapsed CPU time: 6.63399 s Remaining CPU time: 1793.37 s 6.59/6.69 c core #298 6.59/6.69 c Core size: 70 Core Weight: 1 Total Weight: 298 6.59/6.69 c Elapsed CPU time: 6.66899 s Remaining CPU time: 1793.33 s 6.68/6.72 c core #299 6.68/6.72 c Core size: 69 Core Weight: 1 Total Weight: 299 6.68/6.72 c Elapsed CPU time: 6.70298 s Remaining CPU time: 1793.3 s 6.68/6.76 c core #300 6.68/6.76 c Core size: 70 Core Weight: 1 Total Weight: 300 6.68/6.76 c Elapsed CPU time: 6.73897 s Remaining CPU time: 1793.26 s 6.68/6.79 c core #301 6.68/6.79 c Core size: 70 Core Weight: 1 Total Weight: 301 6.68/6.79 c Elapsed CPU time: 6.77397 s Remaining CPU time: 1793.23 s 6.78/6.83 c core #302 6.78/6.83 c Core size: 72 Core Weight: 1 Total Weight: 302 6.78/6.83 c Elapsed CPU time: 6.80996 s Remaining CPU time: 1793.19 s 6.78/6.86 c core #303 6.78/6.86 c Core size: 72 Core Weight: 1 Total Weight: 303 6.78/6.86 c Elapsed CPU time: 6.84496 s Remaining CPU time: 1793.16 s 6.88/6.90 c core #304 6.88/6.90 c Core size: 70 Core Weight: 1 Total Weight: 304 6.88/6.90 c Elapsed CPU time: 6.88095 s Remaining CPU time: 1793.12 s 6.88/6.93 c core #305 6.88/6.93 c Core size: 69 Core Weight: 1 Total Weight: 305 6.88/6.93 c Elapsed CPU time: 6.91695 s Remaining CPU time: 1793.08 s 6.88/6.97 c core #306 6.88/6.97 c Core size: 70 Core Weight: 1 Total Weight: 306 6.88/6.97 c Elapsed CPU time: 6.95494 s Remaining CPU time: 1793.05 s 6.98/7.01 c core #307 6.98/7.01 c Core size: 70 Core Weight: 1 Total Weight: 307 6.98/7.01 c Elapsed CPU time: 6.98994 s Remaining CPU time: 1793.01 s 6.98/7.04 c core #308 6.98/7.04 c Core size: 71 Core Weight: 1 Total Weight: 308 6.98/7.04 c Elapsed CPU time: 7.02593 s Remaining CPU time: 1792.97 s 6.98/7.08 c core #309 6.98/7.08 c Core size: 71 Core Weight: 1 Total Weight: 309 6.98/7.08 c Elapsed CPU time: 7.06093 s Remaining CPU time: 1792.94 s 7.08/7.12 c core #310 7.08/7.12 c Core size: 72 Core Weight: 1 Total Weight: 310 7.08/7.12 c Elapsed CPU time: 7.09792 s Remaining CPU time: 1792.9 s 7.08/7.15 c core #311 7.08/7.15 c Core size: 71 Core Weight: 1 Total Weight: 311 7.08/7.15 c Elapsed CPU time: 7.13392 s Remaining CPU time: 1792.87 s 7.08/7.19 c core #312 7.08/7.19 c Core size: 73 Core Weight: 1 Total Weight: 312 7.08/7.19 c Elapsed CPU time: 7.17191 s Remaining CPU time: 1792.83 s 7.18/7.23 c core #313 7.18/7.23 c Core size: 72 Core Weight: 1 Total Weight: 313 7.18/7.23 c Elapsed CPU time: 7.2089 s Remaining CPU time: 1792.79 s 7.18/7.26 c core #314 7.18/7.26 c Core size: 72 Core Weight: 1 Total Weight: 314 7.18/7.26 c Elapsed CPU time: 7.2459 s Remaining CPU time: 1792.75 s 7.28/7.30 c core #315 7.28/7.30 c Core size: 73 Core Weight: 1 Total Weight: 315 7.28/7.30 c Elapsed CPU time: 7.28089 s Remaining CPU time: 1792.72 s 7.28/7.34 c core #316 7.28/7.34 c Core size: 71 Core Weight: 1 Total Weight: 316 7.28/7.34 c Elapsed CPU time: 7.31989 s Remaining CPU time: 1792.68 s 7.28/7.37 c core #317 7.28/7.37 c Core size: 71 Core Weight: 1 Total Weight: 317 7.28/7.37 c Elapsed CPU time: 7.35488 s Remaining CPU time: 1792.65 s 7.39/7.41 c core #318 7.39/7.41 c Core size: 71 Core Weight: 1 Total Weight: 318 7.39/7.41 c Elapsed CPU time: 7.39188 s Remaining CPU time: 1792.61 s 7.39/7.45 c core #319 7.39/7.45 c Core size: 71 Core Weight: 1 Total Weight: 319 7.39/7.45 c Elapsed CPU time: 7.42987 s Remaining CPU time: 1792.57 s 7.39/7.48 c core #320 7.39/7.48 c Core size: 50 Core Weight: 1 Total Weight: 320 7.39/7.48 c Elapsed CPU time: 7.46087 s Remaining CPU time: 1792.54 s 7.49/7.51 c core #321 7.49/7.51 c Core size: 63 Core Weight: 1 Total Weight: 321 7.49/7.51 c Elapsed CPU time: 7.49086 s Remaining CPU time: 1792.51 s 7.49/7.54 c core #322 7.49/7.54 c Core size: 66 Core Weight: 1 Total Weight: 322 7.49/7.54 c Elapsed CPU time: 7.52286 s Remaining CPU time: 1792.48 s 7.49/7.58 c core #323 7.49/7.58 c Core size: 72 Core Weight: 1 Total Weight: 323 7.49/7.58 c Elapsed CPU time: 7.56085 s Remaining CPU time: 1792.44 s 7.60/7.62 c core #324 7.60/7.62 c Core size: 72 Core Weight: 1 Total Weight: 324 7.60/7.62 c Elapsed CPU time: 7.59884 s Remaining CPU time: 1792.4 s 7.60/7.66 c core #325 7.60/7.66 c Core size: 70 Core Weight: 1 Total Weight: 325 7.60/7.66 c Elapsed CPU time: 7.63684 s Remaining CPU time: 1792.36 s 7.60/7.70 c core #326 7.60/7.70 c Core size: 73 Core Weight: 1 Total Weight: 326 7.60/7.70 c Elapsed CPU time: 7.67483 s Remaining CPU time: 1792.33 s 7.70/7.73 c core #327 7.70/7.73 c Core size: 72 Core Weight: 1 Total Weight: 327 7.70/7.73 c Elapsed CPU time: 7.71383 s Remaining CPU time: 1792.29 s 7.70/7.77 c core #328 7.70/7.77 c Core size: 71 Core Weight: 1 Total Weight: 328 7.70/7.77 c Elapsed CPU time: 7.75182 s Remaining CPU time: 1792.25 s 7.79/7.81 c core #329 7.79/7.81 c Core size: 70 Core Weight: 1 Total Weight: 329 7.79/7.81 c Elapsed CPU time: 7.79181 s Remaining CPU time: 1792.21 s 7.79/7.85 c core #330 7.79/7.85 c Core size: 69 Core Weight: 1 Total Weight: 330 7.79/7.85 c Elapsed CPU time: 7.82981 s Remaining CPU time: 1792.17 s 7.79/7.89 c core #331 7.79/7.89 c Core size: 70 Core Weight: 1 Total Weight: 331 7.79/7.89 c Elapsed CPU time: 7.8688 s Remaining CPU time: 1792.13 s 7.89/7.93 c core #332 7.89/7.93 c Core size: 70 Core Weight: 1 Total Weight: 332 7.89/7.93 c Elapsed CPU time: 7.9068 s Remaining CPU time: 1792.09 s 7.89/7.97 c core #333 7.89/7.97 c Core size: 72 Core Weight: 1 Total Weight: 333 7.89/7.97 c Elapsed CPU time: 7.94679 s Remaining CPU time: 1792.05 s 7.99/8.01 c core #334 7.99/8.01 c Core size: 72 Core Weight: 1 Total Weight: 334 7.99/8.01 c Elapsed CPU time: 7.98578 s Remaining CPU time: 1792.01 s 7.99/8.05 c core #335 7.99/8.05 c Core size: 70 Core Weight: 1 Total Weight: 335 7.99/8.05 c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s 7.99/8.09 c core #336 7.99/8.09 c Core size: 69 Core Weight: 1 Total Weight: 336 7.99/8.09 c Elapsed CPU time: 8.06477 s Remaining CPU time: 1791.94 s 8.09/8.12 c core #337 8.09/8.12 c Core size: 70 Core Weight: 1 Total Weight: 337 8.09/8.12 c Elapsed CPU time: 8.10477 s Remaining CPU time: 1791.9 s 8.09/8.17 c core #338 8.09/8.17 c Core size: 70 Core Weight: 1 Total Weight: 338 8.09/8.17 c Elapsed CPU time: 8.14476 s Remaining CPU time: 1791.86 s 8.19/8.21 c core #339 8.19/8.21 c Core size: 71 Core Weight: 1 Total Weight: 339 8.19/8.21 c Elapsed CPU time: 8.18475 s Remaining CPU time: 1791.82 s 8.19/8.24 c core #340 8.19/8.24 c Core size: 71 Core Weight: 1 Total Weight: 340 8.19/8.25 c Elapsed CPU time: 8.22275 s Remaining CPU time: 1791.78 s 8.19/8.29 c core #341 8.19/8.29 c Core size: 72 Core Weight: 1 Total Weight: 341 8.19/8.29 c Elapsed CPU time: 8.26274 s Remaining CPU time: 1791.74 s 8.29/8.33 c core #342 8.29/8.33 c Core size: 71 Core Weight: 1 Total Weight: 342 8.29/8.33 c Elapsed CPU time: 8.30374 s Remaining CPU time: 1791.7 s 8.29/8.37 c core #343 8.29/8.37 c Core size: 73 Core Weight: 1 Total Weight: 343 8.29/8.37 c Elapsed CPU time: 8.34373 s Remaining CPU time: 1791.66 s 8.39/8.41 c core #344 8.39/8.41 c Core size: 72 Core Weight: 1 Total Weight: 344 8.39/8.41 c Elapsed CPU time: 8.38373 s Remaining CPU time: 1791.62 s 8.39/8.45 c core #345 8.39/8.45 c Core size: 72 Core Weight: 1 Total Weight: 345 8.39/8.45 c Elapsed CPU time: 8.42472 s Remaining CPU time: 1791.58 s 8.39/8.49 c core #346 8.39/8.49 c Core size: 73 Core Weight: 1 Total Weight: 346 8.39/8.49 c Elapsed CPU time: 8.46571 s Remaining CPU time: 1791.53 s 8.49/8.53 c core #347 8.49/8.53 c Core size: 71 Core Weight: 1 Total Weight: 347 8.49/8.53 c Elapsed CPU time: 8.50871 s Remaining CPU time: 1791.49 s 8.49/8.57 c core #348 8.49/8.57 c Core size: 71 Core Weight: 1 Total Weight: 348 8.49/8.57 c Elapsed CPU time: 8.5507 s Remaining CPU time: 1791.45 s 8.59/8.61 c core #349 8.59/8.61 c Core size: 71 Core Weight: 1 Total Weight: 349 8.59/8.61 c Elapsed CPU time: 8.59169 s Remaining CPU time: 1791.41 s 8.59/8.66 c core #350 8.59/8.66 c Core size: 71 Core Weight: 1 Total Weight: 350 8.59/8.66 c Elapsed CPU time: 8.63369 s Remaining CPU time: 1791.37 s 8.59/8.69 c core #351 8.59/8.69 c Core size: 50 Core Weight: 1 Total Weight: 351 8.59/8.69 c Elapsed CPU time: 8.66668 s Remaining CPU time: 1791.33 s 8.69/8.72 c core #352 8.69/8.72 c Core size: 63 Core Weight: 1 Total Weight: 352 8.69/8.72 c Elapsed CPU time: 8.70068 s Remaining CPU time: 1791.3 s 8.69/8.76 c core #353 8.69/8.76 c Core size: 66 Core Weight: 1 Total Weight: 353 8.69/8.76 c Elapsed CPU time: 8.73567 s Remaining CPU time: 1791.26 s 8.79/8.80 c core #354 8.79/8.80 c Core size: 72 Core Weight: 1 Total Weight: 354 8.79/8.80 c Elapsed CPU time: 8.77867 s Remaining CPU time: 1791.22 s 8.79/8.84 c core #355 8.79/8.84 c Core size: 72 Core Weight: 1 Total Weight: 355 8.79/8.84 c Elapsed CPU time: 8.82066 s Remaining CPU time: 1791.18 s 8.79/8.89 c core #356 8.79/8.89 c Core size: 70 Core Weight: 1 Total Weight: 356 8.79/8.89 c Elapsed CPU time: 8.86265 s Remaining CPU time: 1791.14 s 8.89/8.93 c core #357 8.89/8.93 c Core size: 73 Core Weight: 1 Total Weight: 357 8.89/8.93 c Elapsed CPU time: 8.90465 s Remaining CPU time: 1791.1 s 8.89/8.97 c core #358 8.89/8.97 c Core size: 72 Core Weight: 1 Total Weight: 358 8.89/8.97 c Elapsed CPU time: 8.94764 s Remaining CPU time: 1791.05 s 8.99/9.01 c core #359 8.99/9.01 c Core size: 71 Core Weight: 1 Total Weight: 359 8.99/9.01 c Elapsed CPU time: 8.98963 s Remaining CPU time: 1791.01 s 8.99/9.06 c core #360 8.99/9.06 c Core size: 70 Core Weight: 1 Total Weight: 360 8.99/9.06 c Elapsed CPU time: 9.03063 s Remaining CPU time: 1790.97 s 9.09/9.10 c core #361 9.09/9.10 c Core size: 69 Core Weight: 1 Total Weight: 361 9.09/9.10 c Elapsed CPU time: 9.07362 s Remaining CPU time: 1790.93 s 9.09/9.14 c core #362 9.09/9.14 c Core size: 70 Core Weight: 1 Total Weight: 362 9.09/9.14 c Elapsed CPU time: 9.11761 s Remaining CPU time: 1790.88 s 9.09/9.18 c core #363 9.09/9.18 c Core size: 70 Core Weight: 1 Total Weight: 363 9.09/9.18 c Elapsed CPU time: 9.15961 s Remaining CPU time: 1790.84 s 9.19/9.23 c core #364 9.19/9.23 c Core size: 72 Core Weight: 1 Total Weight: 364 9.19/9.23 c Elapsed CPU time: 9.2026 s Remaining CPU time: 1790.8 s 9.19/9.27 c core #365 9.19/9.27 c Core size: 72 Core Weight: 1 Total Weight: 365 9.19/9.27 c Elapsed CPU time: 9.24659 s Remaining CPU time: 1790.75 s 9.29/9.31 c core #366 9.29/9.31 c Core size: 70 Core Weight: 1 Total Weight: 366 9.29/9.31 c Elapsed CPU time: 9.28859 s Remaining CPU time: 1790.71 s 9.29/9.36 c core #367 9.29/9.36 c Core size: 69 Core Weight: 1 Total Weight: 367 9.29/9.36 c Elapsed CPU time: 9.33258 s Remaining CPU time: 1790.67 s 9.39/9.40 c core #368 9.39/9.40 c Core size: 70 Core Weight: 1 Total Weight: 368 9.39/9.40 c Elapsed CPU time: 9.37657 s Remaining CPU time: 1790.62 s 9.39/9.45 c core #369 9.39/9.45 c Core size: 70 Core Weight: 1 Total Weight: 369 9.39/9.45 c Elapsed CPU time: 9.41957 s Remaining CPU time: 1790.58 s 9.39/9.49 c core #370 9.39/9.49 c Core size: 71 Core Weight: 1 Total Weight: 370 9.39/9.49 c Elapsed CPU time: 9.46256 s Remaining CPU time: 1790.54 s 9.49/9.53 c core #371 9.49/9.53 c Core size: 71 Core Weight: 1 Total Weight: 371 9.49/9.53 c Elapsed CPU time: 9.50755 s Remaining CPU time: 1790.49 s 9.49/9.58 c core #372 9.49/9.58 c Core size: 72 Core Weight: 1 Total Weight: 372 9.49/9.58 c Elapsed CPU time: 9.55155 s Remaining CPU time: 1790.45 s 9.59/9.62 c core #373 9.59/9.62 c Core size: 71 Core Weight: 1 Total Weight: 373 9.59/9.62 c Elapsed CPU time: 9.59554 s Remaining CPU time: 1790.4 s 9.59/9.66 c core #374 9.59/9.66 c Core size: 73 Core Weight: 1 Total Weight: 374 9.59/9.66 c Elapsed CPU time: 9.63853 s Remaining CPU time: 1790.36 s 9.69/9.71 c core #375 9.69/9.71 c Core size: 72 Core Weight: 1 Total Weight: 375 9.69/9.71 c Elapsed CPU time: 9.68253 s Remaining CPU time: 1790.32 s 9.69/9.75 c core #376 9.69/9.75 c Core size: 72 Core Weight: 1 Total Weight: 376 9.69/9.75 c Elapsed CPU time: 9.72752 s Remaining CPU time: 1790.27 s 9.69/9.80 c core #377 9.69/9.80 c Core size: 73 Core Weight: 1 Total Weight: 377 9.69/9.80 c Elapsed CPU time: 9.76951 s Remaining CPU time: 1790.23 s 9.79/9.84 c core #378 9.79/9.84 c Core size: 71 Core Weight: 1 Total Weight: 378 9.79/9.84 c Elapsed CPU time: 9.81351 s Remaining CPU time: 1790.19 s 9.79/9.88 c core #379 9.79/9.88 c Core size: 71 Core Weight: 1 Total Weight: 379 9.79/9.88 c Elapsed CPU time: 9.8575 s Remaining CPU time: 1790.14 s 9.89/9.93 c core #380 9.89/9.93 c Core size: 71 Core Weight: 1 Total Weight: 380 9.89/9.93 c Elapsed CPU time: 9.90049 s Remaining CPU time: 1790.1 s 9.89/9.97 c core #381 9.89/9.97 c Core size: 71 Core Weight: 1 Total Weight: 381 9.89/9.97 c Elapsed CPU time: 9.94349 s Remaining CPU time: 1790.06 s 9.98/10.01 c core #382 9.98/10.01 c Core size: 7 Core Weight: 1 Total Weight: 382 9.98/10.01 c Elapsed CPU time: 9.97948 s Remaining CPU time: 1790.02 s 9.98/10.04 c core #383 9.98/10.04 c Core size: 7 Core Weight: 1 Total Weight: 383 9.98/10.04 c Elapsed CPU time: 10.0145 s Remaining CPU time: 1789.99 s 9.98/10.07 c core #384 9.98/10.07 c Core size: 7 Core Weight: 1 Total Weight: 384 9.98/10.07 c Elapsed CPU time: 10.0475 s Remaining CPU time: 1789.95 s 10.08/10.11 c ============================[ Search Statistics ]============================== 10.08/10.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.08/10.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.08/10.11 c =============================================================================== 10.08/10.11 c | 0 | 3042 23523 120987 | 7841 0 nan | 0.000 % | 10.08/10.11 c =============================================================================== 10.08/10.11 c core #385 10.08/10.11 c Core size: 70 Core Weight: 1 Total Weight: 385 10.08/10.11 c Elapsed CPU time: 10.0845 s Remaining CPU time: 1789.92 s 10.08/10.14 c ============================[ Search Statistics ]============================== 10.08/10.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.08/10.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.08/10.14 c =============================================================================== 10.08/10.14 c | 0 | 3064 23524 121031 | 7841 0 nan | 0.000 % | 10.08/10.15 c =============================================================================== 10.08/10.15 c core #386 10.08/10.15 c Core size: 12 Core Weight: 1 Total Weight: 386 10.08/10.15 c Elapsed CPU time: 10.1195 s Remaining CPU time: 1789.88 s 10.08/10.18 c ============================[ Search Statistics ]============================== 10.08/10.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.08/10.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.08/10.18 c =============================================================================== 10.08/10.18 c | 0 | 3070 23525 121043 | 7841 0 nan | 0.000 % | 10.08/10.18 c =============================================================================== 10.08/10.18 c core #387 10.08/10.18 c Core size: 83 Core Weight: 1 Total Weight: 387 10.08/10.18 c Elapsed CPU time: 10.1575 s Remaining CPU time: 1789.84 s 10.18/10.22 c ============================[ Search Statistics ]============================== 10.18/10.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.22 c =============================================================================== 10.18/10.22 c | 0 | 3081 23526 121065 | 7842 0 nan | 0.000 % | 10.18/10.22 c =============================================================================== 10.18/10.22 c core #388 10.18/10.22 c Core size: 86 Core Weight: 1 Total Weight: 388 10.18/10.22 c Elapsed CPU time: 10.1944 s Remaining CPU time: 1789.81 s 10.18/10.25 c ============================[ Search Statistics ]============================== 10.18/10.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.25 c =============================================================================== 10.18/10.25 c | 0 | 3094 23527 121091 | 7842 0 nan | 0.000 % | 10.18/10.26 c =============================================================================== 10.18/10.26 c core #389 10.18/10.26 c Core size: 19 Core Weight: 1 Total Weight: 389 10.18/10.26 c Elapsed CPU time: 10.2294 s Remaining CPU time: 1789.77 s 10.18/10.29 c ============================[ Search Statistics ]============================== 10.18/10.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.29 c =============================================================================== 10.18/10.29 c | 0 | 3103 23528 121109 | 7842 0 nan | 0.000 % | 10.18/10.29 c =============================================================================== 10.18/10.29 c core #390 10.18/10.29 c Core size: 22 Core Weight: 1 Total Weight: 390 10.18/10.29 c Elapsed CPU time: 10.2664 s Remaining CPU time: 1789.73 s 10.28/10.33 c ============================[ Search Statistics ]============================== 10.28/10.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.33 c =============================================================================== 10.28/10.33 c | 0 | 3114 23529 121131 | 7843 0 nan | 0.000 % | 10.28/10.33 c =============================================================================== 10.28/10.33 c core #391 10.28/10.33 c Core size: 85 Core Weight: 1 Total Weight: 391 10.28/10.33 c Elapsed CPU time: 10.3024 s Remaining CPU time: 1789.7 s 10.28/10.36 c ============================[ Search Statistics ]============================== 10.28/10.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.36 c =============================================================================== 10.28/10.36 c | 0 | 3126 23530 121155 | 7843 0 nan | 0.000 % | 10.28/10.36 c =============================================================================== 10.28/10.36 c core #392 10.28/10.36 c Core size: 84 Core Weight: 1 Total Weight: 392 10.28/10.36 c Elapsed CPU time: 10.3374 s Remaining CPU time: 1789.66 s 10.28/10.39 c ============================[ Search Statistics ]============================== 10.28/10.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.39 c =============================================================================== 10.28/10.39 c | 0 | 3137 23531 121177 | 7843 0 nan | 0.000 % | 10.38/10.40 c =============================================================================== 10.38/10.40 c core #393 10.38/10.40 c Core size: 85 Core Weight: 1 Total Weight: 393 10.38/10.40 c Elapsed CPU time: 10.3714 s Remaining CPU time: 1789.63 s 10.38/10.43 c ============================[ Search Statistics ]============================== 10.38/10.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.43 c =============================================================================== 10.38/10.43 c | 0 | 3148 23532 121199 | 7844 0 nan | 0.000 % | 10.38/10.43 c =============================================================================== 10.38/10.43 c core #394 10.38/10.43 c Core size: 85 Core Weight: 1 Total Weight: 394 10.38/10.43 c Elapsed CPU time: 10.4074 s Remaining CPU time: 1789.59 s 10.38/10.47 c ============================[ Search Statistics ]============================== 10.38/10.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.47 c =============================================================================== 10.38/10.47 c | 0 | 3159 23533 121221 | 7844 0 nan | 0.000 % | 10.38/10.47 c =============================================================================== 10.38/10.47 c core #395 10.38/10.47 c Core size: 83 Core Weight: 1 Total Weight: 395 10.38/10.47 c Elapsed CPU time: 10.4434 s Remaining CPU time: 1789.56 s 10.48/10.50 c ============================[ Search Statistics ]============================== 10.48/10.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.48/10.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.48/10.50 c =============================================================================== 10.48/10.50 c | 0 | 3169 23534 121241 | 7844 0 nan | 0.000 % | 10.48/10.51 c =============================================================================== 10.48/10.51 c core #396 10.48/10.51 c Core size: 19 Core Weight: 1 Total Weight: 396 10.48/10.51 c Elapsed CPU time: 10.4804 s Remaining CPU time: 1789.52 s 10.48/10.54 c ============================[ Search Statistics ]============================== 10.48/10.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.48/10.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.48/10.54 c =============================================================================== 10.48/10.54 c | 0 | 3178 23535 121259 | 7845 0 nan | 0.000 % | 10.48/10.54 c =============================================================================== 10.48/10.54 c core #397 10.48/10.54 c Core size: 12 Core Weight: 1 Total Weight: 397 10.48/10.54 c Elapsed CPU time: 10.5154 s Remaining CPU time: 1789.48 s 10.48/10.58 c ============================[ Search Statistics ]============================== 10.48/10.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.48/10.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.48/10.58 c =============================================================================== 10.48/10.58 c | 0 | 3184 23536 121271 | 7845 0 nan | 0.000 % | 10.48/10.58 c =============================================================================== 10.48/10.58 c core #398 10.48/10.58 c Core size: 13 Core Weight: 1 Total Weight: 398 10.48/10.58 c Elapsed CPU time: 10.5524 s Remaining CPU time: 1789.45 s 10.58/10.61 c ============================[ Search Statistics ]============================== 10.58/10.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.58/10.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.58/10.61 c =============================================================================== 10.58/10.61 c | 0 | 3190 23537 121283 | 7845 0 nan | 0.000 % | 10.58/10.61 c =============================================================================== 10.58/10.61 c core #399 10.58/10.61 c Core size: 85 Core Weight: 1 Total Weight: 399 10.58/10.61 c Elapsed CPU time: 10.5874 s Remaining CPU time: 1789.41 s 10.58/10.64 c ============================[ Search Statistics ]============================== 10.58/10.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.58/10.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.58/10.64 c =============================================================================== 10.58/10.64 c | 0 | 3202 23538 121307 | 7846 0 nan | 0.000 % | 10.58/10.65 c =============================================================================== 10.58/10.65 c core #400 10.58/10.65 c Core size: 17 Core Weight: 1 Total Weight: 400 10.58/10.65 c Elapsed CPU time: 10.6214 s Remaining CPU time: 1789.38 s 10.58/10.68 c ============================[ Search Statistics ]============================== 10.58/10.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.58/10.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.58/10.68 c =============================================================================== 10.58/10.68 c | 0 | 3210 23539 121323 | 7846 0 nan | 0.000 % | 10.58/10.68 c =============================================================================== 10.58/10.68 c core #401 10.58/10.68 c Core size: 13 Core Weight: 1 Total Weight: 401 10.58/10.68 c Elapsed CPU time: 10.6564 s Remaining CPU time: 1789.34 s 10.68/10.72 c ============================[ Search Statistics ]============================== 10.68/10.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.68/10.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.68/10.72 c =============================================================================== 10.68/10.72 c | 0 | 3216 23540 121335 | 7846 0 nan | 0.000 % | 10.68/10.72 c =============================================================================== 10.68/10.72 c core #402 10.68/10.72 c Core size: 14 Core Weight: 1 Total Weight: 402 10.68/10.72 c Elapsed CPU time: 10.6924 s Remaining CPU time: 1789.31 s 10.68/10.75 c ============================[ Search Statistics ]============================== 10.68/10.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.68/10.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.68/10.75 c =============================================================================== 10.68/10.75 c | 0 | 3223 23541 121349 | 7847 0 nan | 0.000 % | 10.68/10.75 c =============================================================================== 10.68/10.75 c core #403 10.68/10.75 c Core size: 164 Core Weight: 1 Total Weight: 403 10.68/10.75 c Elapsed CPU time: 10.7274 s Remaining CPU time: 1789.27 s 10.68/10.79 c ============================[ Search Statistics ]============================== 10.68/10.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.68/10.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.68/10.79 c =============================================================================== 10.68/10.79 c | 0 | 3231 23542 121365 | 7847 0 nan | 0.000 % | 10.68/10.79 c =============================================================================== 10.68/10.79 c core #404 10.68/10.79 c Core size: 115 Core Weight: 1 Total Weight: 404 10.68/10.79 c Elapsed CPU time: 10.7664 s Remaining CPU time: 1789.23 s 10.78/10.83 c Learning 1 hard constraints 10.78/10.83 c ============================[ Search Statistics ]============================== 10.78/10.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.78/10.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.78/10.83 c =============================================================================== 10.78/10.83 c | 0 | 3244 23544 121418 | 7848 0 nan | 0.000 % | 10.78/10.83 c =============================================================================== 10.78/10.83 c core #405 10.78/10.83 c Core size: 12 Core Weight: 1 Total Weight: 405 10.78/10.83 c Elapsed CPU time: 10.8074 s Remaining CPU time: 1789.19 s 10.78/10.87 c ============================[ Search Statistics ]============================== 10.78/10.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.78/10.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.78/10.87 c =============================================================================== 10.78/10.87 c | 0 | 3250 23545 121430 | 7848 0 nan | 0.000 % | 10.78/10.87 c =============================================================================== 10.78/10.87 c core #406 10.78/10.87 c Core size: 30 Core Weight: 1 Total Weight: 406 10.78/10.87 c Elapsed CPU time: 10.8464 s Remaining CPU time: 1789.15 s 10.89/10.90 c Learning 2 hard constraints 10.89/10.90 c ============================[ Search Statistics ]============================== 10.89/10.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.90 c =============================================================================== 10.89/10.90 c | 0 | 3264 23548 121511 | 7849 0 nan | 0.000 % | 10.89/10.91 c =============================================================================== 10.89/10.91 c core #407 10.89/10.91 c Core size: 84 Core Weight: 1 Total Weight: 407 10.89/10.91 c Elapsed CPU time: 10.8843 s Remaining CPU time: 1789.12 s 10.89/10.94 c ============================[ Search Statistics ]============================== 10.89/10.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.94 c =============================================================================== 10.89/10.94 c | 0 | 3275 23549 121533 | 7849 0 nan | 0.000 % | 10.89/10.95 c =============================================================================== 10.89/10.95 c core #408 10.89/10.95 c Core size: 85 Core Weight: 1 Total Weight: 408 10.89/10.95 c Elapsed CPU time: 10.9233 s Remaining CPU time: 1789.08 s 10.89/10.98 c ============================[ Search Statistics ]============================== 10.89/10.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.98 c =============================================================================== 10.89/10.98 c | 0 | 3287 23550 121557 | 7850 0 nan | 0.000 % | 10.89/10.99 c =============================================================================== 10.89/10.99 c core #409 10.89/10.99 c Core size: 84 Core Weight: 1 Total Weight: 409 10.89/10.99 c Elapsed CPU time: 10.9603 s Remaining CPU time: 1789.04 s 10.99/11.02 c ============================[ Search Statistics ]============================== 10.99/11.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.02 c =============================================================================== 10.99/11.02 c | 0 | 3298 23551 121579 | 7850 0 nan | 0.000 % | 10.99/11.03 c =============================================================================== 10.99/11.03 c core #410 10.99/11.03 c Core size: 156 Core Weight: 1 Total Weight: 410 10.99/11.03 c Elapsed CPU time: 10.9993 s Remaining CPU time: 1789 s 10.99/11.06 c ============================[ Search Statistics ]============================== 10.99/11.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.06 c =============================================================================== 10.99/11.06 c | 0 | 3312 23552 121607 | 7850 0 nan | 0.000 % | 10.99/11.07 c =============================================================================== 10.99/11.07 c core #411 10.99/11.07 c Core size: 161 Core Weight: 1 Total Weight: 411 10.99/11.07 c Elapsed CPU time: 11.0393 s Remaining CPU time: 1788.96 s 11.08/11.10 c Learning 3 hard constraints 11.08/11.10 c ============================[ Search Statistics ]============================== 11.08/11.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.10 c =============================================================================== 11.08/11.10 c | 0 | 3330 23556 121731 | 7852 0 nan | 0.000 % | 11.08/11.11 c =============================================================================== 11.08/11.11 c core #412 11.08/11.11 c Core size: 150 Core Weight: 1 Total Weight: 412 11.08/11.11 c Elapsed CPU time: 11.0773 s Remaining CPU time: 1788.92 s 11.08/11.14 c Learning 2 hard constraints 11.08/11.14 c ============================[ Search Statistics ]============================== 11.08/11.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.14 c =============================================================================== 11.08/11.14 c | 0 | 3341 23559 121804 | 7853 0 nan | 0.000 % | 11.08/11.14 c =============================================================================== 11.08/11.14 c core #413 11.08/11.14 c Core size: 85 Core Weight: 1 Total Weight: 413 11.08/11.14 c Elapsed CPU time: 11.1133 s Remaining CPU time: 1788.89 s 11.08/11.17 c Learning 2 hard constraints 11.08/11.17 c ============================[ Search Statistics ]============================== 11.08/11.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.08/11.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.08/11.17 c =============================================================================== 11.08/11.17 c | 0 | 3353 23562 121889 | 7854 0 nan | 0.000 % | 11.08/11.18 c =============================================================================== 11.08/11.18 c core #414 11.08/11.18 c Core size: 83 Core Weight: 1 Total Weight: 414 11.08/11.18 c Elapsed CPU time: 11.1513 s Remaining CPU time: 1788.85 s 11.18/11.21 c Learning 1 hard constraints 11.18/11.21 c ============================[ Search Statistics ]============================== 11.18/11.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.21 c =============================================================================== 11.18/11.21 c | 0 | 3363 23564 121934 | 7854 0 nan | 0.000 % | 11.18/11.22 c =============================================================================== 11.18/11.22 c core #415 11.18/11.22 c Core size: 15 Core Weight: 1 Total Weight: 415 11.18/11.22 c Elapsed CPU time: 11.1893 s Remaining CPU time: 1788.81 s 11.18/11.25 c ============================[ Search Statistics ]============================== 11.18/11.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.25 c =============================================================================== 11.18/11.25 c | 0 | 3370 23565 121948 | 7855 0 nan | 0.000 % | 11.18/11.26 c =============================================================================== 11.18/11.26 c core #416 11.18/11.26 c Core size: 84 Core Weight: 1 Total Weight: 416 11.18/11.26 c Elapsed CPU time: 11.2263 s Remaining CPU time: 1788.77 s 11.18/11.29 c ============================[ Search Statistics ]============================== 11.18/11.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.29 c =============================================================================== 11.18/11.29 c | 0 | 3381 23566 121970 | 7855 0 nan | 0.000 % | 11.18/11.30 c =============================================================================== 11.18/11.30 c core #417 11.18/11.30 c Core size: 13 Core Weight: 1 Total Weight: 417 11.18/11.30 c Elapsed CPU time: 11.2663 s Remaining CPU time: 1788.73 s 11.28/11.33 c ============================[ Search Statistics ]============================== 11.28/11.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.28/11.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.28/11.33 c =============================================================================== 11.28/11.33 c | 0 | 3387 23567 121982 | 7855 0 nan | 0.000 % | 11.28/11.33 c =============================================================================== 11.28/11.33 c core #418 11.28/11.33 c Core size: 15 Core Weight: 1 Total Weight: 418 11.28/11.33 c Elapsed CPU time: 11.3043 s Remaining CPU time: 1788.7 s 11.28/11.36 c ============================[ Search Statistics ]============================== 11.28/11.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.28/11.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.28/11.36 c =============================================================================== 11.28/11.36 c | 0 | 3394 23568 121996 | 7856 0 nan | 0.000 % | 11.28/11.37 c =============================================================================== 11.28/11.37 c core #419 11.28/11.37 c Core size: 13 Core Weight: 1 Total Weight: 419 11.28/11.37 c Elapsed CPU time: 11.3443 s Remaining CPU time: 1788.66 s 11.38/11.40 c Learning 2 hard constraints 11.38/11.40 c ============================[ Search Statistics ]============================== 11.38/11.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.40 c =============================================================================== 11.38/11.40 c | 0 | 3400 23571 122060 | 7857 0 nan | 0.000 % | 11.38/11.41 c =============================================================================== 11.38/11.41 c core #420 11.38/11.41 c Core size: 15 Core Weight: 1 Total Weight: 420 11.38/11.41 c Elapsed CPU time: 11.3823 s Remaining CPU time: 1788.62 s 11.38/11.44 c Learning 1 hard constraints 11.38/11.44 c ============================[ Search Statistics ]============================== 11.38/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.44 c =============================================================================== 11.38/11.44 c | 0 | 3407 23573 122102 | 7857 0 nan | 0.000 % | 11.38/11.45 c =============================================================================== 11.38/11.45 c core #421 11.38/11.45 c Core size: 19 Core Weight: 1 Total Weight: 421 11.38/11.45 c Elapsed CPU time: 11.4183 s Remaining CPU time: 1788.58 s 11.38/11.48 c ============================[ Search Statistics ]============================== 11.38/11.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.38/11.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.38/11.48 c =============================================================================== 11.38/11.48 c | 0 | 3416 23574 122120 | 7858 0 nan | 0.000 % | 11.38/11.49 c =============================================================================== 11.38/11.49 c core #422 11.38/11.49 c Core size: 13 Core Weight: 1 Total Weight: 422 11.38/11.49 c Elapsed CPU time: 11.4573 s Remaining CPU time: 1788.54 s 11.49/11.52 c ============================[ Search Statistics ]============================== 11.49/11.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.52 c =============================================================================== 11.49/11.52 c | 0 | 3422 23575 122132 | 7858 0 nan | 0.000 % | 11.49/11.53 c =============================================================================== 11.49/11.53 c core #423 11.49/11.53 c Core size: 13 Core Weight: 1 Total Weight: 423 11.49/11.53 c Elapsed CPU time: 11.4953 s Remaining CPU time: 1788.5 s 11.49/11.56 c ============================[ Search Statistics ]============================== 11.49/11.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.56 c =============================================================================== 11.49/11.56 c | 0 | 3428 23576 122144 | 7858 0 nan | 0.000 % | 11.49/11.56 c =============================================================================== 11.49/11.56 c core #424 11.49/11.56 c Core size: 82 Core Weight: 1 Total Weight: 424 11.49/11.56 c Elapsed CPU time: 11.5322 s Remaining CPU time: 1788.47 s 11.49/11.59 c ============================[ Search Statistics ]============================== 11.49/11.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.59 c =============================================================================== 11.49/11.59 c | 0 | 3437 23577 122162 | 7859 0 nan | 0.000 % | 11.59/11.60 c =============================================================================== 11.59/11.60 c core #425 11.59/11.60 c Core size: 17 Core Weight: 1 Total Weight: 425 11.59/11.60 c Elapsed CPU time: 11.5702 s Remaining CPU time: 1788.43 s 11.59/11.63 c ============================[ Search Statistics ]============================== 11.59/11.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.63 c =============================================================================== 11.59/11.63 c | 0 | 3445 23578 122178 | 7859 0 nan | 0.000 % | 11.59/11.64 c =============================================================================== 11.59/11.64 c core #426 11.59/11.64 c Core size: 12 Core Weight: 1 Total Weight: 426 11.59/11.64 c Elapsed CPU time: 11.6072 s Remaining CPU time: 1788.39 s 11.59/11.67 c ============================[ Search Statistics ]============================== 11.59/11.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.67 c =============================================================================== 11.59/11.67 c | 0 | 3451 23579 122190 | 7859 0 nan | 0.000 % | 11.59/11.68 c =============================================================================== 11.59/11.68 c core #427 11.59/11.68 c Core size: 83 Core Weight: 1 Total Weight: 427 11.59/11.68 c Elapsed CPU time: 11.6432 s Remaining CPU time: 1788.36 s 11.69/11.71 c ============================[ Search Statistics ]============================== 11.69/11.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.71 c =============================================================================== 11.69/11.71 c | 0 | 3461 23580 122210 | 7860 0 nan | 0.000 % | 11.69/11.71 c =============================================================================== 11.69/11.71 c core #428 11.69/11.71 c Core size: 33 Core Weight: 1 Total Weight: 428 11.69/11.71 c Elapsed CPU time: 11.6802 s Remaining CPU time: 1788.32 s 11.69/11.75 c ============================[ Search Statistics ]============================== 11.69/11.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.75 c =============================================================================== 11.69/11.75 c | 0 | 3476 23581 122240 | 7860 0 nan | 0.000 % | 11.69/11.75 c =============================================================================== 11.69/11.75 c core #429 11.69/11.75 c Core size: 19 Core Weight: 1 Total Weight: 429 11.69/11.75 c Elapsed CPU time: 11.7192 s Remaining CPU time: 1788.28 s 11.69/11.78 c ============================[ Search Statistics ]============================== 11.69/11.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.78 c =============================================================================== 11.69/11.78 c | 0 | 3485 23582 122258 | 7860 0 nan | 0.000 % | 11.69/11.79 c =============================================================================== 11.69/11.79 c core #430 11.69/11.79 c Core size: 13 Core Weight: 1 Total Weight: 430 11.69/11.79 c Elapsed CPU time: 11.7562 s Remaining CPU time: 1788.24 s 11.79/11.82 c ============================[ Search Statistics ]============================== 11.79/11.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.82 c =============================================================================== 11.79/11.82 c | 0 | 3491 23583 122270 | 7861 0 nan | 0.000 % | 11.79/11.83 c =============================================================================== 11.79/11.83 c core #431 11.79/11.83 c Core size: 17 Core Weight: 1 Total Weight: 431 11.79/11.83 c Elapsed CPU time: 11.7932 s Remaining CPU time: 1788.21 s 11.79/11.86 c ============================[ Search Statistics ]============================== 11.79/11.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.86 c =============================================================================== 11.79/11.86 c | 0 | 3499 23584 122286 | 7861 0 nan | 0.000 % | 11.79/11.86 c =============================================================================== 11.79/11.86 c core #432 11.79/11.86 c Core size: 15 Core Weight: 1 Total Weight: 432 11.79/11.86 c Elapsed CPU time: 11.8292 s Remaining CPU time: 1788.17 s 11.79/11.90 c ============================[ Search Statistics ]============================== 11.79/11.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.90 c =============================================================================== 11.79/11.90 c | 0 | 3506 23585 122300 | 7861 0 nan | 0.000 % | 11.89/11.90 c =============================================================================== 11.89/11.90 c core #433 11.89/11.90 c Core size: 13 Core Weight: 1 Total Weight: 433 11.89/11.90 c Elapsed CPU time: 11.8662 s Remaining CPU time: 1788.13 s 11.89/11.93 c ============================[ Search Statistics ]============================== 11.89/11.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.93 c =============================================================================== 11.89/11.93 c | 0 | 3512 23586 122312 | 7862 0 nan | 0.000 % | 11.89/11.95 c =============================================================================== 11.89/11.95 c core #434 11.89/11.95 c Core size: 242 Core Weight: 1 Total Weight: 434 11.89/11.95 c Elapsed CPU time: 11.9122 s Remaining CPU time: 1788.09 s 11.89/11.98 c Learning 1 hard constraints 11.89/11.98 c ============================[ Search Statistics ]============================== 11.89/11.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.98 c =============================================================================== 11.89/11.98 c | 0 | 3553 23588 122421 | 7862 0 nan | 0.000 % | 11.89/11.99 c =============================================================================== 11.89/11.99 c core #435 11.89/11.99 c Core size: 157 Core Weight: 1 Total Weight: 435 11.89/11.99 c Elapsed CPU time: 11.9542 s Remaining CPU time: 1788.05 s 11.99/12.02 c Learning 5 hard constraints 11.99/12.02 c ============================[ Search Statistics ]============================== 11.99/12.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.02 c =============================================================================== 11.99/12.02 c | 0 | 3575 23594 122574 | 7864 0 nan | 0.000 % | 11.99/12.03 c =============================================================================== 11.99/12.03 c core #436 11.99/12.03 c Core size: 154 Core Weight: 1 Total Weight: 436 11.99/12.03 c Elapsed CPU time: 11.9912 s Remaining CPU time: 1788.01 s 11.99/12.06 c Learning 2 hard constraints 11.99/12.06 c ============================[ Search Statistics ]============================== 11.99/12.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.06 c =============================================================================== 11.99/12.06 c | 0 | 3586 23597 122655 | 7865 0 nan | 0.000 % | 11.99/12.06 c =============================================================================== 11.99/12.06 c core #437 11.99/12.06 c Core size: 183 Core Weight: 1 Total Weight: 437 11.99/12.06 c Elapsed CPU time: 12.0272 s Remaining CPU time: 1787.97 s 11.99/12.10 c ============================[ Search Statistics ]============================== 11.99/12.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.10 c =============================================================================== 11.99/12.10 c | 0 | 3601 23598 122685 | 7866 0 nan | 0.000 % | 12.09/12.11 c =============================================================================== 12.09/12.11 c core #438 12.09/12.11 c Core size: 84 Core Weight: 1 Total Weight: 438 12.09/12.11 c Elapsed CPU time: 12.0682 s Remaining CPU time: 1787.93 s 12.09/12.14 c Learning 1 hard constraints 12.09/12.14 c ============================[ Search Statistics ]============================== 12.09/12.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.14 c =============================================================================== 12.09/12.14 c | 0 | 3612 23600 122737 | 7866 0 nan | 0.000 % | 12.09/12.15 c =============================================================================== 12.09/12.15 c core #439 12.09/12.15 c Core size: 184 Core Weight: 1 Total Weight: 439 12.09/12.15 c Elapsed CPU time: 12.1102 s Remaining CPU time: 1787.89 s 12.09/12.18 c Learning 5 hard constraints 12.09/12.18 c ============================[ Search Statistics ]============================== 12.09/12.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.09/12.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.09/12.18 c =============================================================================== 12.09/12.18 c | 0 | 3629 23606 122911 | 7868 0 nan | 0.000 % | 12.09/12.19 c =============================================================================== 12.09/12.19 c core #440 12.09/12.19 c Core size: 27 Core Weight: 1 Total Weight: 440 12.09/12.19 c Elapsed CPU time: 12.1512 s Remaining CPU time: 1787.85 s 12.19/12.22 c Learning 1 hard constraints 12.19/12.22 c ============================[ Search Statistics ]============================== 12.19/12.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.19/12.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.19/12.22 c =============================================================================== 12.19/12.22 c | 0 | 3641 23608 122966 | 7869 0 nan | 0.000 % | 12.19/12.23 c =============================================================================== 12.19/12.23 c core #441 12.19/12.23 c Core size: 85 Core Weight: 1 Total Weight: 441 12.19/12.23 c Elapsed CPU time: 12.1871 s Remaining CPU time: 1787.81 s 12.19/12.26 c ============================[ Search Statistics ]============================== 12.19/12.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.19/12.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.19/12.26 c =============================================================================== 12.19/12.26 c | 0 | 3651 23609 122986 | 7869 0 nan | 0.000 % | 12.19/12.27 c =============================================================================== 12.19/12.27 c core #442 12.19/12.27 c Core size: 16 Core Weight: 1 Total Weight: 442 12.19/12.27 c Elapsed CPU time: 12.2281 s Remaining CPU time: 1787.77 s 12.29/12.30 c Learning 2 hard constraints 12.29/12.30 c ============================[ Search Statistics ]============================== 12.29/12.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.30 c =============================================================================== 12.29/12.30 c | 0 | 3659 23612 123059 | 7870 0 nan | 0.000 % | 12.29/12.31 c =============================================================================== 12.29/12.31 c core #443 12.29/12.31 c Core size: 85 Core Weight: 1 Total Weight: 443 12.29/12.31 c Elapsed CPU time: 12.2691 s Remaining CPU time: 1787.73 s 12.29/12.34 c ============================[ Search Statistics ]============================== 12.29/12.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.34 c =============================================================================== 12.29/12.34 c | 0 | 3671 23613 123083 | 7871 0 nan | 0.000 % | 12.29/12.35 c =============================================================================== 12.29/12.35 c core #444 12.29/12.35 c Core size: 34 Core Weight: 1 Total Weight: 444 12.29/12.35 c Elapsed CPU time: 12.3061 s Remaining CPU time: 1787.69 s 12.29/12.38 c ============================[ Search Statistics ]============================== 12.29/12.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.38 c =============================================================================== 12.29/12.38 c | 0 | 3685 23614 123111 | 7871 0 nan | 0.000 % | 12.29/12.39 c =============================================================================== 12.29/12.39 c core #445 12.29/12.39 c Core size: 84 Core Weight: 1 Total Weight: 445 12.29/12.39 c Elapsed CPU time: 12.3461 s Remaining CPU time: 1787.65 s 12.39/12.42 c ============================[ Search Statistics ]============================== 12.39/12.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.39/12.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.39/12.42 c =============================================================================== 12.39/12.42 c | 0 | 3696 23615 123133 | 7871 0 nan | 0.000 % | 12.39/12.43 c =============================================================================== 12.39/12.43 c core #446 12.39/12.43 c Core size: 275 Core Weight: 1 Total Weight: 446 12.39/12.43 c Elapsed CPU time: 12.3891 s Remaining CPU time: 1787.61 s 12.39/12.46 c Learning 1 hard constraints 12.39/12.46 c ============================[ Search Statistics ]============================== 12.39/12.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.39/12.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.39/12.46 c =============================================================================== 12.39/12.46 c | 0 | 3741 23617 123254 | 7872 0 nan | 0.000 % | 12.39/12.47 c =============================================================================== 12.39/12.47 c core #447 12.39/12.47 c Core size: 12 Core Weight: 1 Total Weight: 447 12.39/12.47 c Elapsed CPU time: 12.4331 s Remaining CPU time: 1787.57 s 12.49/12.51 c Learning 6 hard constraints 12.49/12.51 c ============================[ Search Statistics ]============================== 12.49/12.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.51 c =============================================================================== 12.49/12.51 c | 0 | 3747 23624 123432 | 7874 0 nan | 0.000 % | 12.49/12.52 c =============================================================================== 12.49/12.52 c core #448 12.49/12.52 c Core size: 87 Core Weight: 1 Total Weight: 448 12.49/12.52 c Elapsed CPU time: 12.4731 s Remaining CPU time: 1787.53 s 12.49/12.55 c Learning 5 hard constraints 12.49/12.55 c ============================[ Search Statistics ]============================== 12.49/12.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.55 c =============================================================================== 12.49/12.55 c | 0 | 3761 23630 123597 | 7876 0 nan | 0.000 % | 12.49/12.56 c =============================================================================== 12.49/12.56 c core #449 12.49/12.56 c Core size: 12 Core Weight: 1 Total Weight: 449 12.49/12.56 c Elapsed CPU time: 12.5151 s Remaining CPU time: 1787.48 s 12.49/12.59 c Learning 5 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 | 3767 23636 123736 | 7878 0 nan | 0.000 % | 12.59/12.60 c =============================================================================== 12.59/12.60 c core #450 12.59/12.60 c Core size: 85 Core Weight: 1 Total Weight: 450 12.59/12.60 c Elapsed CPU time: 12.5591 s Remaining CPU time: 1787.44 s 12.59/12.63 c ============================[ Search Statistics ]============================== 12.59/12.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.63 c =============================================================================== 12.59/12.63 c | 0 | 3779 23637 123760 | 7879 0 nan | 0.000 % | 12.59/12.65 c =============================================================================== 12.59/12.65 c core #451 12.59/12.65 c Core size: 12 Core Weight: 1 Total Weight: 451 12.59/12.65 c Elapsed CPU time: 12.6041 s Remaining CPU time: 1787.4 s 12.59/12.68 c ============================[ Search Statistics ]============================== 12.59/12.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.68 c =============================================================================== 12.59/12.68 c | 0 | 3785 23638 123772 | 7879 0 nan | 0.000 % | 12.69/12.70 c | 102 | 3783 23638 123772 | 8667 102 26 | 0.370 % | 12.69/12.71 c =============================================================================== 12.69/12.71 c core #452 12.69/12.71 c Core size: 729 Core Weight: 1 Total Weight: 452 12.69/12.71 c Elapsed CPU time: 12.6661 s Remaining CPU time: 1787.33 s 12.69/12.75 c Learning 25 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 | 3860 23664 124649 | 7888 0 nan | 0.000 % | 12.69/12.75 c =============================================================================== 12.69/12.75 c core #453 12.69/12.75 c Core size: 13 Core Weight: 1 Total Weight: 453 12.69/12.75 c Elapsed CPU time: 12.7061 s Remaining CPU time: 1787.29 s 12.69/12.78 c ============================[ Search Statistics ]============================== 12.69/12.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.78 c =============================================================================== 12.69/12.78 c | 0 | 3866 23665 124661 | 7888 0 nan | 0.000 % | 12.69/12.79 c =============================================================================== 12.69/12.79 c core #454 12.69/12.79 c Core size: 14 Core Weight: 1 Total Weight: 454 12.69/12.79 c Elapsed CPU time: 12.7431 s Remaining CPU time: 1787.26 s 12.79/12.82 c ============================[ Search Statistics ]============================== 12.79/12.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.82 c =============================================================================== 12.79/12.82 c | 0 | 3873 23666 124675 | 7888 0 nan | 0.000 % | 12.79/12.83 c =============================================================================== 12.79/12.83 c core #455 12.79/12.83 c Core size: 15 Core Weight: 1 Total Weight: 455 12.79/12.83 c Elapsed CPU time: 12.7811 s Remaining CPU time: 1787.22 s 12.79/12.86 c ============================[ Search Statistics ]============================== 12.79/12.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.86 c =============================================================================== 12.79/12.86 c | 0 | 3880 23667 124689 | 7889 0 nan | 0.000 % | 12.79/12.87 c =============================================================================== 12.79/12.87 c core #456 12.79/12.87 c Core size: 13 Core Weight: 1 Total Weight: 456 12.79/12.87 c Elapsed CPU time: 12.8201 s Remaining CPU time: 1787.18 s 12.88/12.90 c ============================[ Search Statistics ]============================== 12.88/12.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.88/12.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.88/12.90 c =============================================================================== 12.88/12.90 c | 0 | 3886 23668 124701 | 7889 0 nan | 0.000 % | 12.88/12.91 c =============================================================================== 12.88/12.91 c core #457 12.88/12.91 c Core size: 177 Core Weight: 1 Total Weight: 457 12.88/12.91 c Elapsed CPU time: 12.858 s Remaining CPU time: 1787.14 s 12.88/12.94 c Learning 1 hard constraints 12.88/12.94 c ============================[ Search Statistics ]============================== 12.88/12.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.88/12.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.88/12.94 c =============================================================================== 12.88/12.94 c | 0 | 3900 23670 124757 | 7890 0 nan | 0.000 % | 12.88/12.95 c | 102 | 3900 23670 124757 | 8679 102 23 | 0.001 % | 12.88/12.97 c | 252 | 3898 23670 124757 | 9546 252 23 | 0.103 % | 12.88/13.00 c | 481 | 3898 23670 124757 | 10501 481 27 | 0.103 % | 12.99/13.04 c | 819 | 3886 23670 124757 | 11551 819 28 | 0.667 % | 12.99/13.05 c =============================================================================== 12.99/13.05 c core #458 12.99/13.05 c Core size: 1073 Core Weight: 1 Total Weight: 458 12.99/13.05 c Elapsed CPU time: 13 s Remaining CPU time: 1787 s 12.99/13.09 c Learning 125 hard constraints 12.99/13.09 c ============================[ Search Statistics ]============================== 12.99/13.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.09 c =============================================================================== 12.99/13.09 c | 0 | 3984 23796 128430 | 7932 0 nan | 0.000 % | 12.99/13.10 c =============================================================================== 12.99/13.10 c core #459 12.99/13.10 c Core size: 200 Core Weight: 1 Total Weight: 459 12.99/13.10 c Elapsed CPU time: 13.046 s Remaining CPU time: 1786.95 s 13.09/13.13 c Learning 1 hard constraints 13.09/13.13 c ============================[ Search Statistics ]============================== 13.09/13.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.09/13.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.09/13.13 c =============================================================================== 13.09/13.13 c | 0 | 4023 23798 128535 | 7932 0 nan | 0.000 % | 13.09/13.15 c | 100 | 4021 23798 128535 | 8725 100 23 | 0.099 % | 13.09/13.17 c | 250 | 4018 23798 128535 | 9598 250 24 | 0.323 % | 13.09/13.19 c =============================================================================== 13.09/13.20 c core #460 13.09/13.20 c Core size: 814 Core Weight: 1 Total Weight: 460 13.09/13.20 c Elapsed CPU time: 13.141 s Remaining CPU time: 1786.86 s 13.19/13.23 c Learning 60 hard constraints 13.19/13.23 c ============================[ Search Statistics ]============================== 13.19/13.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.23 c =============================================================================== 13.19/13.23 c | 0 | 4087 23859 130340 | 7953 0 nan | 0.000 % | 13.19/13.25 c | 102 | 4086 23859 130340 | 8748 102 23 | 0.049 % | 13.19/13.26 c =============================================================================== 13.19/13.26 c core #461 13.19/13.26 c Core size: 195 Core Weight: 1 Total Weight: 461 13.19/13.26 c Elapsed CPU time: 13.197 s Remaining CPU time: 1786.8 s 13.19/13.29 c Learning 10 hard constraints 13.19/13.29 c ============================[ Search Statistics ]============================== 13.19/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.29 c =============================================================================== 13.19/13.29 c | 0 | 4106 23870 130675 | 7956 0 nan | 0.000 % | 13.28/13.30 c =============================================================================== 13.28/13.30 c core #462 13.28/13.30 c Core size: 221 Core Weight: 1 Total Weight: 462 13.28/13.30 c Elapsed CPU time: 13.244 s Remaining CPU time: 1786.76 s 13.28/13.34 c Learning 3 hard constraints 13.28/13.34 c ============================[ Search Statistics ]============================== 13.28/13.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.28/13.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.28/13.34 c =============================================================================== 13.28/13.34 c | 0 | 4128 23874 130806 | 7958 0 nan | 0.000 % | 13.28/13.36 c | 102 | 4128 23874 130806 | 8753 102 28 | 0.001 % | 13.28/13.37 c | 252 | 4127 23874 130806 | 9629 252 27 | 0.049 % | 13.28/13.39 c =============================================================================== 13.28/13.39 c core #463 13.28/13.39 c Core size: 577 Core Weight: 1 Total Weight: 463 13.28/13.39 c Elapsed CPU time: 13.332 s Remaining CPU time: 1786.67 s 13.38/13.43 c Learning 58 hard constraints 13.38/13.43 c ============================[ Search Statistics ]============================== 13.38/13.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.38/13.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.38/13.43 c =============================================================================== 13.38/13.43 c | 0 | 4158 23933 132486 | 7977 0 nan | 0.000 % | 13.38/13.44 c =============================================================================== 13.38/13.44 c core #464 13.38/13.44 c Core size: 156 Core Weight: 1 Total Weight: 464 13.38/13.44 c Elapsed CPU time: 13.374 s Remaining CPU time: 1786.63 s 13.38/13.47 c Learning 1 hard constraints 13.38/13.47 c ============================[ Search Statistics ]============================== 13.38/13.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.38/13.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.38/13.47 c =============================================================================== 13.38/13.47 c | 0 | 4171 23935 132542 | 7978 0 nan | 0.000 % | 13.38/13.48 c =============================================================================== 13.38/13.48 c core #465 13.38/13.48 c Core size: 25 Core Weight: 1 Total Weight: 465 13.38/13.48 c Elapsed CPU time: 13.414 s Remaining CPU time: 1786.59 s 13.48/13.51 c ============================[ Search Statistics ]============================== 13.48/13.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.48/13.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.48/13.51 c =============================================================================== 13.48/13.51 c | 0 | 4181 23936 132562 | 7978 0 nan | 0.000 % | 13.48/13.52 c =============================================================================== 13.48/13.52 c core #466 13.48/13.52 c Core size: 133 Core Weight: 1 Total Weight: 466 13.48/13.52 c Elapsed CPU time: 13.457 s Remaining CPU time: 1786.54 s 13.48/13.56 c Learning 1 hard constraints 13.48/13.56 c ============================[ Search Statistics ]============================== 13.48/13.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.48/13.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.48/13.56 c =============================================================================== 13.48/13.56 c | 0 | 4189 23938 132598 | 7979 0 nan | 0.000 % | 13.48/13.57 c =============================================================================== 13.48/13.57 c core #467 13.48/13.57 c Core size: 236 Core Weight: 1 Total Weight: 467 13.48/13.57 c Elapsed CPU time: 13.5039 s Remaining CPU time: 1786.5 s 13.57/13.60 c Learning 3 hard constraints 13.57/13.60 c ============================[ Search Statistics ]============================== 13.57/13.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.57/13.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.57/13.60 c =============================================================================== 13.57/13.61 c | 0 | 4229 23942 132764 | 7980 0 nan | 0.000 % | 13.57/13.62 c =============================================================================== 13.57/13.62 c core #468 13.57/13.62 c Core size: 159 Core Weight: 1 Total Weight: 468 13.57/13.62 c Elapsed CPU time: 13.5579 s Remaining CPU time: 1786.44 s 13.57/13.66 c Learning 12 hard constraints 13.57/13.66 c ============================[ Search Statistics ]============================== 13.57/13.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.57/13.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.57/13.66 c =============================================================================== 13.57/13.66 c | 0 | 4242 23955 133114 | 7985 0 nan | 0.000 % | 13.57/13.68 c =============================================================================== 13.57/13.68 c core #469 13.57/13.68 c Core size: 338 Core Weight: 1 Total Weight: 469 13.57/13.68 c Elapsed CPU time: 13.6119 s Remaining CPU time: 1786.39 s 13.67/13.71 c Learning 6 hard constraints 13.67/13.71 c ============================[ Search Statistics ]============================== 13.67/13.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.67/13.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.67/13.71 c =============================================================================== 13.67/13.71 c | 0 | 4301 23962 133397 | 7987 0 nan | 0.000 % | 13.67/13.72 c =============================================================================== 13.67/13.72 c core #470 13.67/13.72 c Core size: 174 Core Weight: 1 Total Weight: 470 13.67/13.72 c Elapsed CPU time: 13.6559 s Remaining CPU time: 1786.34 s 13.67/13.76 c Learning 9 hard constraints 13.67/13.76 c ============================[ Search Statistics ]============================== 13.67/13.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.67/13.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.67/13.76 c =============================================================================== 13.67/13.76 c | 0 | 4315 23972 133598 | 7990 0 nan | 0.000 % | 13.67/13.78 c | 101 | 4312 23972 133598 | 8789 101 21 | 0.185 % | 13.67/13.78 c =============================================================================== 13.67/13.79 c core #471 13.67/13.79 c Core size: 457 Core Weight: 1 Total Weight: 471 13.67/13.79 c Elapsed CPU time: 13.7149 s Remaining CPU time: 1786.29 s 13.78/13.82 c Learning 6 hard constraints 13.78/13.82 c ============================[ Search Statistics ]============================== 13.78/13.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.78/13.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.78/13.82 c =============================================================================== 13.78/13.82 c | 0 | 4359 23979 133856 | 7993 0 nan | 0.000 % | 13.78/13.84 c =============================================================================== 13.78/13.84 c core #472 13.78/13.84 c Core size: 149 Core Weight: 1 Total Weight: 472 13.78/13.84 c Elapsed CPU time: 13.7639 s Remaining CPU time: 1786.24 s 13.78/13.87 c Learning 11 hard constraints 13.78/13.87 c ============================[ Search Statistics ]============================== 13.78/13.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.78/13.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.78/13.87 c =============================================================================== 13.78/13.87 c | 0 | 4376 23991 134113 | 7997 0 nan | 0.000 % | 13.78/13.89 c =============================================================================== 13.78/13.89 c core #473 13.78/13.89 c Core size: 267 Core Weight: 1 Total Weight: 473 13.78/13.89 c Elapsed CPU time: 13.8159 s Remaining CPU time: 1786.18 s 13.88/13.93 c Learning 4 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 | 4418 23996 134266 | 7998 0 nan | 0.000 % | 13.88/13.94 c =============================================================================== 13.88/13.94 c core #474 13.88/13.94 c Core size: 261 Core Weight: 1 Total Weight: 474 13.88/13.94 c Elapsed CPU time: 13.8669 s Remaining CPU time: 1786.13 s 13.88/13.98 c Learning 9 hard constraints 13.88/13.98 c ============================[ Search Statistics ]============================== 13.88/13.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.88/13.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.88/13.98 c =============================================================================== 13.88/13.98 c | 0 | 4429 24006 134526 | 8002 0 nan | 0.000 % | 13.88/13.99 c | 100 | 4426 24006 134526 | 8802 100 17 | 0.135 % | 13.97/14.00 c =============================================================================== 13.97/14.00 c core #475 13.97/14.00 c Core size: 394 Core Weight: 1 Total Weight: 475 13.97/14.00 c Elapsed CPU time: 13.9249 s Remaining CPU time: 1786.08 s 13.97/14.04 c Learning 21 hard constraints 13.97/14.04 c ============================[ Search Statistics ]============================== 13.97/14.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.97/14.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.97/14.04 c =============================================================================== 13.97/14.04 c | 0 | 4456 24028 135098 | 8009 0 nan | 0.000 % | 13.97/14.06 c | 100 | 4449 24028 135098 | 8810 100 19 | 0.314 % | 13.97/14.06 c =============================================================================== 13.97/14.06 c core #476 13.97/14.06 c Core size: 345 Core Weight: 1 Total Weight: 476 13.97/14.06 c Elapsed CPU time: 13.9859 s Remaining CPU time: 1786.01 s 14.07/14.10 c Learning 23 hard constraints 14.07/14.10 c ============================[ Search Statistics ]============================== 14.07/14.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.07/14.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.07/14.10 c =============================================================================== 14.07/14.10 c | 0 | 4471 24052 135771 | 8017 0 nan | 0.000 % | 14.07/14.10 c =============================================================================== 14.07/14.11 c core #477 14.07/14.11 c Core size: 102 Core Weight: 1 Total Weight: 477 14.07/14.11 c Elapsed CPU time: 14.0289 s Remaining CPU time: 1785.97 s 14.07/14.14 c ============================[ Search Statistics ]============================== 14.07/14.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.07/14.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.07/14.14 c =============================================================================== 14.07/14.14 c | 0 | 4483 24053 135795 | 8017 0 nan | 0.000 % | 14.07/14.16 c | 100 | 4483 24053 135795 | 8819 100 20 | 0.001 % | 14.07/14.16 c =============================================================================== 14.07/14.17 c core #478 14.07/14.17 c Core size: 238 Core Weight: 1 Total Weight: 478 14.07/14.17 c Elapsed CPU time: 14.0879 s Remaining CPU time: 1785.91 s 14.18/14.20 c Learning 11 hard constraints 14.18/14.20 c ============================[ Search Statistics ]============================== 14.18/14.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.18/14.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.18/14.20 c =============================================================================== 14.18/14.20 c | 0 | 4501 24065 136144 | 8021 0 nan | 0.000 % | 14.18/14.22 c =============================================================================== 14.18/14.22 c core #479 14.18/14.22 c Core size: 351 Core Weight: 1 Total Weight: 479 14.18/14.22 c Elapsed CPU time: 14.1418 s Remaining CPU time: 1785.86 s 14.18/14.26 c Learning 19 hard constraints 14.18/14.26 c ============================[ Search Statistics ]============================== 14.18/14.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.18/14.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.18/14.26 c =============================================================================== 14.18/14.26 c | 0 | 4514 24085 136688 | 8028 0 nan | 0.000 % | 14.18/14.27 c | 101 | 4514 24085 136688 | 8831 101 17 | 0.001 % | 14.18/14.29 c | 251 | 4514 24085 136688 | 9714 251 19 | 0.000 % | 14.28/14.31 c | 476 | 4514 24085 136688 | 10685 476 19 | 0.000 % | 14.28/14.33 c | 816 | 4513 24085 136688 | 11754 816 19 | 0.045 % | 14.28/14.38 c =============================================================================== 14.28/14.38 c core #480 14.28/14.38 c Core size: 618 Core Weight: 1 Total Weight: 480 14.28/14.38 c Elapsed CPU time: 14.3028 s Remaining CPU time: 1785.7 s 14.37/14.42 c Learning 113 hard constraints 14.37/14.42 c ============================[ Search Statistics ]============================== 14.37/14.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.37/14.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.37/14.42 c =============================================================================== 14.37/14.42 c | 0 | 4536 24199 139868 | 8066 0 nan | 0.000 % | 14.37/14.46 c | 100 | 4535 24199 139868 | 8872 100 33 | 0.022 % | 14.37/14.49 c | 250 | 4535 24199 139868 | 9760 250 42 | 0.022 % | 14.48/14.57 c | 475 | 4535 24199 139868 | 10736 475 47 | 0.022 % | 14.58/14.69 c | 812 | 4534 24199 139868 | 11809 811 51 | 0.044 % | 14.77/14.86 c | 1318 | 4533 24199 139868 | 12990 1314 52 | 0.066 % | 15.07/15.13 c | 2077 | 4512 24199 139868 | 14290 2067 50 | 0.992 % | 15.07/15.13 c =============================================================================== 15.07/15.16 c core #481 15.07/15.16 c Core size: 5153 Core Weight: 1 Total Weight: 481 15.07/15.16 c Elapsed CPU time: 15.0737 s Remaining CPU time: 1784.93 s 15.17/15.21 c Learning 853 hard constraints 15.17/15.21 c ============================[ Search Statistics ]============================== 15.17/15.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.17/15.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.17/15.21 c =============================================================================== 15.17/15.21 c | 0 | 4668 25053 168823 | 8351 0 nan | 0.000 % | 15.17/15.26 c | 107 | 4667 25053 168823 | 9186 107 38 | 0.043 % | 15.27/15.31 c | 259 | 4665 25053 168823 | 10104 259 48 | 0.086 % | 15.27/15.38 c | 486 | 4663 25053 168823 | 11115 486 52 | 0.214 % | 15.47/15.52 c | 823 | 4657 25053 168823 | 12226 812 53 | 0.257 % | 15.68/15.72 c | 1329 | 4639 25053 168823 | 13449 1297 53 | 0.900 % | 15.78/15.84 c =============================================================================== 15.78/15.85 c core #482 15.78/15.85 c Core size: 3176 Core Weight: 1 Total Weight: 482 15.78/15.85 c Elapsed CPU time: 15.7506 s Remaining CPU time: 1784.25 s 15.87/15.90 c Learning 1066 hard constraints 15.87/15.90 c ============================[ Search Statistics ]============================== 15.87/15.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.87/15.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.87/15.90 c =============================================================================== 15.87/15.90 c | 0 | 4715 26120 217244 | 8706 0 nan | 0.000 % | 15.87/15.93 c | 100 | 4712 26120 217244 | 9577 100 17 | 0.085 % | 15.87/15.94 c =============================================================================== 15.87/15.94 c core #483 15.87/15.94 c Core size: 384 Core Weight: 1 Total Weight: 483 15.87/15.94 c Elapsed CPU time: 15.8376 s Remaining CPU time: 1784.16 s 15.87/15.99 c Learning 21 hard constraints 15.87/15.99 c ============================[ Search Statistics ]============================== 15.87/15.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.87/15.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.87/15.99 c =============================================================================== 15.87/15.99 c | 0 | 4736 26142 217809 | 8714 0 nan | 0.000 % | 15.97/16.04 c | 103 | 4736 26142 217809 | 9585 103 46 | 0.106 % | 16.07/16.11 c | 253 | 4733 26142 217809 | 10543 253 45 | 0.232 % | 16.07/16.19 c | 478 | 4730 26142 217809 | 11598 478 53 | 0.317 % | 16.27/16.35 c | 817 | 4729 26142 217809 | 12758 817 55 | 0.359 % | 16.57/16.61 c | 1329 | 4706 26142 217809 | 14033 1320 56 | 0.950 % | 16.97/17.02 c | 2089 | 4684 26142 217809 | 15437 2013 58 | 1.161 % | 17.48/17.59 c | 3230 | 4675 26142 217809 | 16981 3130 58 | 1.309 % | 17.87/17.92 c =============================================================================== 17.87/17.97 c core #484 17.87/17.97 c Core size: 6109 Core Weight: 1 Total Weight: 484 17.87/17.97 c Elapsed CPU time: 17.8543 s Remaining CPU time: 1782.15 s 17.97/18.04 c Learning 1964 hard constraints 17.97/18.04 c ============================[ Search Statistics ]============================== 17.97/18.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.97/18.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.97/18.04 c =============================================================================== 17.97/18.04 c | 0 | 4836 28107 304722 | 9369 0 nan | 0.000 % | 18.07/18.10 c | 101 | 4835 28107 304722 | 10305 101 39 | 0.041 % | 18.07/18.19 c | 253 | 4834 28107 304722 | 11336 253 49 | 0.041 % | 18.27/18.31 c | 479 | 4834 28107 304722 | 12470 479 55 | 0.041 % | 18.37/18.49 c | 816 | 4831 28107 304722 | 13717 816 56 | 0.227 % | 18.67/18.78 c | 1322 | 4823 28107 304722 | 15088 1305 58 | 0.269 % | 19.07/19.18 c | 2082 | 4823 28107 304722 | 16597 2065 56 | 0.269 % | 19.77/19.84 c | 3222 | 4818 28107 304722 | 18257 3204 53 | 0.496 % | 19.96/20.02 c =============================================================================== 19.96/20.07 c core #485 19.96/20.07 c Core size: 7042 Core Weight: 1 Total Weight: 485 19.96/20.07 c Elapsed CPU time: 19.939 s Remaining CPU time: 1780.06 s 20.06/20.15 c Learning 1880 hard constraints 20.06/20.15 c ============================[ Search Statistics ]============================== 20.06/20.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.06/20.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.06/20.15 c =============================================================================== 20.06/20.15 c | 0 | 4886 29988 382747 | 9996 0 nan | 0.000 % | 20.16/20.24 c | 101 | 4886 29988 382747 | 10995 101 42 | 0.041 % | 20.26/20.35 c | 253 | 4885 29988 382747 | 12095 253 60 | 0.041 % | 20.36/20.49 c | 483 | 4885 29988 382747 | 13304 483 63 | 0.041 % | 20.67/20.72 c | 824 | 4885 29988 382747 | 14635 824 64 | 0.041 % | 20.97/21.09 c | 1330 | 4879 29988 382747 | 16098 1317 65 | 0.164 % | 21.57/21.64 c | 2089 | 4878 29988 382747 | 17708 2076 64 | 0.205 % | 21.87/21.99 c =============================================================================== 21.97/22.03 c core #486 21.97/22.03 c Core size: 7129 Core Weight: 1 Total Weight: 486 21.97/22.03 c Elapsed CPU time: 21.8967 s Remaining CPU time: 1778.1 s 22.06/22.13 c Learning 1337 hard constraints 22.06/22.13 c ============================[ Search Statistics ]============================== 22.06/22.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.06/22.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.06/22.13 c =============================================================================== 22.06/22.13 c | 0 | 4930 31326 448417 | 10442 0 nan | 0.000 % | 22.16/22.22 c | 101 | 4928 31326 448417 | 11486 101 42 | 0.081 % | 22.26/22.34 c | 255 | 4928 31326 448417 | 12634 255 51 | 0.081 % | 22.46/22.52 c | 483 | 4928 31326 448417 | 13898 483 57 | 0.081 % | 22.66/22.78 c | 820 | 4928 31326 448417 | 15288 820 60 | 0.081 % | 23.06/23.16 c | 1327 | 4927 31326 448417 | 16816 1327 60 | 0.122 % | 23.66/23.73 c | 2088 | 4927 31326 448417 | 18498 2088 58 | 0.122 % | 24.46/24.59 c | 3227 | 4914 31326 448417 | 20348 3214 54 | 0.507 % | 24.56/24.68 c =============================================================================== 24.66/24.73 c core #487 24.66/24.73 c Core size: 7489 Core Weight: 1 Total Weight: 487 24.66/24.73 c Elapsed CPU time: 24.5833 s Remaining CPU time: 1775.42 s 24.77/24.84 c Learning 2225 hard constraints 24.77/24.84 c ============================[ Search Statistics ]============================== 24.77/24.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.77/24.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.77/24.84 c =============================================================================== 24.77/24.84 c | 0 | 4965 33552 562815 | 11184 0 nan | 0.000 % | 24.87/24.94 c | 108 | 4964 33552 562815 | 12302 108 38 | 0.040 % | 24.97/25.08 c | 258 | 4964 33552 562815 | 13532 258 54 | 0.040 % | 25.17/25.29 c | 483 | 4964 33552 562815 | 14885 483 57 | 0.040 % | 25.47/25.59 c | 820 | 4964 33552 562815 | 16374 820 61 | 0.040 % | 25.96/26.08 c | 1326 | 4964 33552 562815 | 18011 1326 59 | 0.040 % | 26.66/26.70 c | 2086 | 4963 33552 562815 | 19813 2086 56 | 0.141 % | 27.16/27.29 c =============================================================================== 27.26/27.33 c core #488 27.26/27.33 c Core size: 7754 Core Weight: 1 Total Weight: 488 27.26/27.33 c Elapsed CPU time: 27.1799 s Remaining CPU time: 1772.82 s 27.36/27.46 c Learning 2052 hard constraints 27.36/27.46 c ============================[ Search Statistics ]============================== 27.36/27.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.36/27.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.36/27.46 c =============================================================================== 27.36/27.46 c | 0 | 5000 35605 670561 | 11868 0 nan | 0.000 % | 27.46/27.52 c | 100 | 5000 35605 670561 | 13055 100 17 | 0.040 % | 27.46/27.54 c | 251 | 5000 35605 670561 | 14360 251 26 | 0.040 % | 27.46/27.59 c | 476 | 4997 35605 670561 | 15796 476 30 | 0.120 % | 27.56/27.66 c | 814 | 4989 35605 670561 | 17376 814 31 | 0.440 % | 27.56/27.66 c =============================================================================== 27.56/27.67 c core #489 27.56/27.67 c Core size: 1030 Core Weight: 1 Total Weight: 489 27.56/27.67 c Elapsed CPU time: 27.5148 s Remaining CPU time: 1772.49 s 27.65/27.79 c Learning 107 hard constraints 27.65/27.79 c ============================[ Search Statistics ]============================== 27.65/27.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.65/27.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.65/27.79 c =============================================================================== 27.65/27.79 c | 0 | 5056 35713 673950 | 11904 0 nan | 0.000 % | 27.86/27.91 c | 100 | 5055 35713 673950 | 13094 100 59 | 0.040 % | 28.06/28.10 c | 250 | 5055 35713 673950 | 14404 250 63 | 0.040 % | 28.26/28.36 c | 478 | 5055 35713 673950 | 15844 478 60 | 0.040 % | 28.66/28.73 c | 816 | 5055 35713 673950 | 17429 816 58 | 0.040 % | 29.16/29.29 c | 1328 | 5051 35713 673950 | 19172 1328 54 | 0.218 % | 29.36/29.48 c =============================================================================== 29.46/29.51 c core #490 29.46/29.51 c Core size: 6126 Core Weight: 1 Total Weight: 490 29.46/29.51 c Elapsed CPU time: 29.3505 s Remaining CPU time: 1770.65 s 29.57/29.65 c Learning 1348 hard constraints 29.57/29.65 c ============================[ Search Statistics ]============================== 29.57/29.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.57/29.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.57/29.65 c =============================================================================== 29.57/29.65 c | 0 | 5080 37062 747263 | 12354 0 nan | 0.000 % | 29.76/29.84 c | 100 | 5079 37062 747263 | 13589 100 43 | 0.039 % | 29.86/29.98 c | 253 | 5075 37062 747263 | 14948 253 37 | 0.217 % | 29.96/30.03 c =============================================================================== 29.96/30.04 c core #491 29.96/30.04 c Core size: 2772 Core Weight: 1 Total Weight: 491 29.96/30.04 c Elapsed CPU time: 29.8745 s Remaining CPU time: 1770.13 s 30.06/30.16 c Learning 184 hard constraints 30.06/30.16 c ============================[ Search Statistics ]============================== 30.06/30.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.06/30.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.06/30.16 c =============================================================================== 30.06/30.16 c | 0 | 5090 37247 754147 | 12415 0 nan | 0.000 % | 30.26/30.31 c | 102 | 5088 37247 754147 | 13657 102 55 | 0.039 % | 30.36/30.48 c | 252 | 5085 37247 754147 | 15022 252 48 | 0.196 % | 30.46/30.54 c =============================================================================== 30.46/30.55 c core #492 30.46/30.55 c Core size: 1597 Core Weight: 1 Total Weight: 492 30.46/30.55 c Elapsed CPU time: 30.3814 s Remaining CPU time: 1769.62 s 30.56/30.68 c Learning 241 hard constraints 30.56/30.68 c ============================[ Search Statistics ]============================== 30.56/30.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.56/30.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.56/30.68 c =============================================================================== 30.56/30.68 c | 0 | 5095 37489 766310 | 12496 0 nan | 0.000 % | 30.76/30.85 c | 100 | 5094 37489 766310 | 13745 100 53 | 0.039 % | 30.95/31.02 c | 250 | 5092 37489 766310 | 15120 250 43 | 0.137 % | 31.05/31.10 c =============================================================================== 31.05/31.11 c core #493 31.05/31.11 c Core size: 2399 Core Weight: 1 Total Weight: 493 31.05/31.11 c Elapsed CPU time: 30.9353 s Remaining CPU time: 1769.06 s 31.15/31.24 c Learning 262 hard constraints 31.15/31.24 c ============================[ Search Statistics ]============================== 31.15/31.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.15/31.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.15/31.24 c =============================================================================== 31.15/31.24 c | 0 | 5116 37752 778027 | 12584 0 nan | 0.000 % | 31.25/31.39 c | 100 | 5115 37752 778027 | 13842 100 45 | 0.039 % | 31.45/31.51 c =============================================================================== 31.45/31.51 c core #494 31.45/31.51 c Core size: 1728 Core Weight: 1 Total Weight: 494 31.45/31.51 c Elapsed CPU time: 31.3392 s Remaining CPU time: 1768.66 s 31.55/31.64 c Learning 64 hard constraints 31.55/31.64 c ============================[ Search Statistics ]============================== 31.55/31.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.55/31.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.55/31.64 c =============================================================================== 31.55/31.64 c | 0 | 5126 37817 780628 | 12605 0 nan | 0.000 % | 31.65/31.76 c =============================================================================== 31.65/31.76 c core #495 31.65/31.76 c Core size: 987 Core Weight: 1 Total Weight: 495 31.65/31.76 c Elapsed CPU time: 31.5902 s Remaining CPU time: 1768.41 s 31.75/31.89 c Learning 16 hard constraints 31.75/31.89 c ============================[ Search Statistics ]============================== 31.75/31.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.75/31.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.75/31.89 c =============================================================================== 31.75/31.89 c | 0 | 5142 37834 781026 | 12611 0 nan | 0.000 % | 31.96/32.06 c | 100 | 5138 37834 781026 | 13872 100 43 | 0.156 % | 32.06/32.16 c =============================================================================== 32.06/32.16 c core #496 32.06/32.16 c Core size: 1400 Core Weight: 1 Total Weight: 496 32.06/32.16 c Elapsed CPU time: 31.9831 s Remaining CPU time: 1768.02 s 32.16/32.29 c Learning 85 hard constraints 32.16/32.29 c ============================[ Search Statistics ]============================== 32.16/32.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.16/32.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.16/32.29 c =============================================================================== 32.16/32.29 c | 0 | 5159 37920 784712 | 12640 0 nan | 0.000 % | 32.36/32.44 c | 102 | 5158 37920 784712 | 13904 102 29 | 0.039 % | 32.36/32.47 c =============================================================================== 32.36/32.47 c core #497 32.36/32.47 c Core size: 1328 Core Weight: 1 Total Weight: 497 32.36/32.47 c Elapsed CPU time: 32.2961 s Remaining CPU time: 1767.7 s 32.56/32.60 c Learning 53 hard constraints 32.56/32.60 c ============================[ Search Statistics ]============================== 32.56/32.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.56/32.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.56/32.60 c =============================================================================== 32.56/32.60 c | 0 | 5175 37974 786637 | 12658 0 nan | 0.000 % | 32.65/32.74 c | 101 | 5174 37974 786637 | 13923 101 27 | 0.039 % | 32.65/32.78 c =============================================================================== 32.65/32.78 c core #498 32.65/32.78 c Core size: 1231 Core Weight: 1 Total Weight: 498 32.65/32.78 c Elapsed CPU time: 32.606 s Remaining CPU time: 1767.39 s 32.86/32.91 c Learning 40 hard constraints 32.86/32.91 c ============================[ Search Statistics ]============================== 32.86/32.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.86/32.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.86/32.91 c =============================================================================== 32.86/32.91 c | 0 | 5193 38015 787937 | 12671 0 nan | 0.000 % | 32.96/33.07 c | 100 | 5189 38015 787937 | 13938 100 35 | 0.135 % | 33.05/33.14 c =============================================================================== 33.05/33.14 c core #499 33.05/33.14 c Core size: 1287 Core Weight: 1 Total Weight: 499 33.05/33.14 c Elapsed CPU time: 32.965 s Remaining CPU time: 1767.04 s 33.15/33.28 c Learning 26 hard constraints 33.15/33.28 c ============================[ Search Statistics ]============================== 33.15/33.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.15/33.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.15/33.28 c =============================================================================== 33.15/33.28 c | 0 | 5217 38042 788740 | 12680 0 nan | 0.000 % | 33.35/33.45 c =============================================================================== 33.35/33.45 c core #500 33.35/33.45 c Core size: 1058 Core Weight: 1 Total Weight: 500 33.35/33.45 c Elapsed CPU time: 33.2699 s Remaining CPU time: 1766.73 s 33.45/33.58 c Learning 17 hard constraints 33.45/33.58 c ============================[ Search Statistics ]============================== 33.45/33.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.45/33.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.45/33.58 c =============================================================================== 33.45/33.58 c | 0 | 5234 38060 789455 | 12686 0 nan | 0.000 % | 33.55/33.66 c | 102 | 5231 38060 789455 | 13955 102 13 | 0.134 % | 33.65/33.79 c =============================================================================== 33.65/33.79 c core #501 33.65/33.79 c Core size: 1144 Core Weight: 1 Total Weight: 501 33.65/33.79 c Elapsed CPU time: 33.6059 s Remaining CPU time: 1766.39 s 33.85/33.92 c Learning 46 hard constraints 33.85/33.92 c ============================[ Search Statistics ]============================== 33.85/33.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.85/33.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.85/33.92 c =============================================================================== 33.85/33.92 c | 0 | 5258 38107 791115 | 12702 0 nan | 0.000 % | 33.95/34.08 c | 100 | 5258 38107 791115 | 13972 100 43 | 0.133 % | 34.05/34.18 c =============================================================================== 34.05/34.18 c core #502 34.05/34.18 c Core size: 1634 Core Weight: 1 Total Weight: 502 34.05/34.18 c Elapsed CPU time: 33.9998 s Remaining CPU time: 1766 s 34.25/34.32 c Learning 25 hard constraints 34.25/34.32 c ============================[ Search Statistics ]============================== 34.25/34.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.25/34.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.25/34.32 c =============================================================================== 34.25/34.32 c | 0 | 5289 38133 792002 | 12711 0 nan | 0.000 % | 34.35/34.41 c | 103 | 5287 38133 792002 | 13982 103 35 | 0.132 % | 34.35/34.46 c =============================================================================== 34.35/34.46 c core #503 34.35/34.46 c Core size: 1496 Core Weight: 1 Total Weight: 503 34.35/34.46 c Elapsed CPU time: 34.2738 s Remaining CPU time: 1765.73 s 34.44/34.59 c Learning 61 hard constraints 34.44/34.59 c ============================[ Search Statistics ]============================== 34.44/34.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.44/34.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.44/34.59 c =============================================================================== 34.44/34.59 c | 0 | 5308 38195 794414 | 12731 0 nan | 0.000 % | 34.64/34.72 c =============================================================================== 34.64/34.72 c core #504 34.64/34.72 c Core size: 1065 Core Weight: 1 Total Weight: 504 34.64/34.72 c Elapsed CPU time: 34.5277 s Remaining CPU time: 1765.47 s 34.74/34.84 c Learning 34 hard constraints 34.74/34.84 c ============================[ Search Statistics ]============================== 34.74/34.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.74/34.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.74/34.84 c =============================================================================== 34.74/34.84 c | 0 | 5322 38230 795535 | 12743 0 nan | 0.000 % | 34.84/34.98 c =============================================================================== 34.84/34.98 c core #505 34.84/34.98 c Core size: 1326 Core Weight: 1 Total Weight: 505 34.84/34.98 c Elapsed CPU time: 34.7887 s Remaining CPU time: 1765.21 s 35.04/35.11 c Learning 19 hard constraints 35.04/35.11 c ============================[ Search Statistics ]============================== 35.04/35.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.04/35.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.04/35.11 c =============================================================================== 35.04/35.11 c | 0 | 5345 38250 796210 | 12750 0 nan | 0.000 % | 35.04/35.19 c | 100 | 5315 38250 796210 | 14025 100 23 | 1.104 % | 35.14/35.25 c =============================================================================== 35.14/35.25 c core #506 35.14/35.25 c Core size: 1228 Core Weight: 1 Total Weight: 506 35.14/35.25 c Elapsed CPU time: 35.0537 s Remaining CPU time: 1764.95 s 35.24/35.38 c Learning 29 hard constraints 35.24/35.38 c ============================[ Search Statistics ]============================== 35.24/35.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.24/35.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.24/35.38 c =============================================================================== 35.24/35.38 c | 0 | 5365 38280 797527 | 12760 0 nan | 0.000 % | 35.44/35.51 c | 100 | 5337 38280 797527 | 14036 100 21 | 1.250 % | 35.44/35.52 c =============================================================================== 35.44/35.52 c core #507 35.44/35.52 c Core size: 834 Core Weight: 1 Total Weight: 507 35.44/35.52 c Elapsed CPU time: 35.3236 s Remaining CPU time: 1764.68 s 35.54/35.65 c Learning 21 hard constraints 35.54/35.65 c ============================[ Search Statistics ]============================== 35.54/35.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.54/35.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.54/35.65 c =============================================================================== 35.54/35.65 c | 0 | 5385 38302 798575 | 12767 0 nan | 0.000 % | 35.74/35.82 c =============================================================================== 35.74/35.82 c core #508 35.74/35.82 c Core size: 1070 Core Weight: 1 Total Weight: 508 35.74/35.83 c Elapsed CPU time: 35.6286 s Remaining CPU time: 1764.37 s 35.84/35.96 c Learning 13 hard constraints 35.84/35.96 c ============================[ Search Statistics ]============================== 35.84/35.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.84/35.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.84/35.96 c =============================================================================== 35.84/35.96 c | 0 | 5394 38316 799065 | 12772 0 nan | 0.000 % | 36.03/36.12 c =============================================================================== 36.03/36.12 c core #509 36.03/36.12 c Core size: 1091 Core Weight: 1 Total Weight: 509 36.03/36.12 c Elapsed CPU time: 35.9205 s Remaining CPU time: 1764.08 s 36.15/36.25 c Learning 19 hard constraints 36.15/36.25 c ============================[ Search Statistics ]============================== 36.15/36.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.15/36.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.15/36.25 c =============================================================================== 36.15/36.25 c | 0 | 5419 38336 800103 | 12778 0 nan | 0.000 % | 36.24/36.34 c =============================================================================== 36.24/36.34 c core #510 36.24/36.34 c Core size: 761 Core Weight: 1 Total Weight: 510 36.24/36.34 c Elapsed CPU time: 36.1415 s Remaining CPU time: 1763.86 s 36.34/36.47 c Learning 5 hard constraints 36.34/36.47 c ============================[ Search Statistics ]============================== 36.34/36.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.34/36.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.34/36.47 c =============================================================================== 36.34/36.47 c | 0 | 5439 38342 800436 | 12780 0 nan | 0.000 % | 36.44/36.59 c | 101 | 5405 38342 800436 | 14058 101 20 | 1.085 % | 36.64/36.74 c =============================================================================== 36.64/36.74 c core #511 36.64/36.74 c Core size: 1577 Core Weight: 1 Total Weight: 511 36.64/36.74 c Elapsed CPU time: 36.5354 s Remaining CPU time: 1763.46 s 36.74/36.87 c Learning 62 hard constraints 36.74/36.87 c ============================[ Search Statistics ]============================== 36.74/36.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.74/36.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.74/36.87 c =============================================================================== 36.74/36.87 c | 0 | 5460 38405 803095 | 12801 0 nan | 0.000 % | 36.84/36.96 c | 102 | 5405 38405 803095 | 14081 102 27 | 1.227 % | 37.04/37.11 c =============================================================================== 37.04/37.11 c core #512 37.04/37.11 c Core size: 1508 Core Weight: 1 Total Weight: 512 37.04/37.11 c Elapsed CPU time: 36.9064 s Remaining CPU time: 1763.09 s 37.14/37.24 c Learning 54 hard constraints 37.14/37.24 c ============================[ Search Statistics ]============================== 37.14/37.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.14/37.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.14/37.24 c =============================================================================== 37.14/37.24 c | 0 | 5503 38460 806147 | 12820 0 nan | 0.000 % | 37.24/37.35 c | 102 | 5470 38460 806147 | 14102 102 21 | 1.290 % | 37.43/37.51 c =============================================================================== 37.43/37.51 c core #513 37.43/37.51 c Core size: 1357 Core Weight: 1 Total Weight: 513 37.43/37.51 c Elapsed CPU time: 37.3043 s Remaining CPU time: 1762.7 s 37.53/37.64 c Learning 41 hard constraints 37.53/37.64 c ============================[ Search Statistics ]============================== 37.53/37.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.53/37.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.53/37.64 c =============================================================================== 37.53/37.64 c | 0 | 5537 38502 807621 | 12834 0 nan | 0.000 % | 37.63/37.70 c | 101 | 5499 38502 807621 | 14117 101 12 | 1.481 % | 37.73/37.81 c | 255 | 5494 38502 807621 | 15529 255 20 | 1.589 % | 37.73/37.84 c =============================================================================== 37.73/37.84 c core #514 37.73/37.84 c Core size: 978 Core Weight: 1 Total Weight: 514 37.73/37.84 c Elapsed CPU time: 37.6273 s Remaining CPU time: 1762.37 s 37.83/37.97 c Learning 70 hard constraints 37.83/37.97 c ============================[ Search Statistics ]============================== 37.83/37.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.83/37.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.83/37.97 c =============================================================================== 37.83/37.97 c | 0 | 5565 38573 810431 | 12857 0 nan | 0.000 % | 38.03/38.11 c =============================================================================== 38.03/38.11 c core #515 38.03/38.11 c Core size: 1067 Core Weight: 1 Total Weight: 515 38.03/38.11 c Elapsed CPU time: 37.8962 s Remaining CPU time: 1762.1 s 38.13/38.24 c Learning 13 hard constraints 38.13/38.24 c ============================[ Search Statistics ]============================== 38.13/38.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.13/38.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.13/38.24 c =============================================================================== 38.13/38.24 c | 0 | 5593 38587 810913 | 12862 0 nan | 0.000 % | 38.23/38.31 c | 101 | 5551 38587 810913 | 14148 101 17 | 1.466 % | 38.23/38.37 c =============================================================================== 38.23/38.37 c core #516 38.23/38.37 c Core size: 1032 Core Weight: 1 Total Weight: 516 38.23/38.37 c Elapsed CPU time: 38.1552 s Remaining CPU time: 1761.84 s 38.43/38.50 c Learning 13 hard constraints 38.43/38.50 c ============================[ Search Statistics ]============================== 38.43/38.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.43/38.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.43/38.50 c =============================================================================== 38.43/38.50 c | 0 | 5616 38601 811471 | 12867 0 nan | 0.000 % | 38.53/38.60 c | 100 | 5615 38601 811471 | 14153 100 14 | 1.460 % | 38.53/38.70 c =============================================================================== 38.63/38.70 c core #517 38.63/38.70 c Core size: 1096 Core Weight: 1 Total Weight: 517 38.63/38.70 c Elapsed CPU time: 38.4831 s Remaining CPU time: 1761.52 s 38.73/38.83 c Learning 20 hard constraints 38.73/38.83 c ============================[ Search Statistics ]============================== 38.73/38.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.73/38.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.73/38.83 c =============================================================================== 38.73/38.83 c | 0 | 5626 38622 812370 | 12874 0 nan | 0.000 % | 38.73/38.86 c | 101 | 5626 38622 812370 | 14161 101 21 | 0.002 % | 38.84/38.90 c | 252 | 5626 38622 812370 | 15577 252 18 | 0.006 % | 38.93/39.02 c | 477 | 5624 38622 812370 | 17135 477 18 | 0.036 % | 39.03/39.14 c =============================================================================== 39.03/39.14 c core #518 39.03/39.14 c Core size: 1733 Core Weight: 1 Total Weight: 518 39.03/39.14 c Elapsed CPU time: 38.9221 s Remaining CPU time: 1761.08 s 39.13/39.28 c Learning 77 hard constraints 39.13/39.28 c ============================[ Search Statistics ]============================== 39.13/39.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.13/39.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.13/39.28 c =============================================================================== 39.13/39.28 c | 0 | 5674 38700 814539 | 12900 0 nan | 0.000 % | 39.33/39.41 c =============================================================================== 39.33/39.41 c core #519 39.33/39.41 c Core size: 870 Core Weight: 1 Total Weight: 519 39.33/39.41 c Elapsed CPU time: 39.189 s Remaining CPU time: 1760.81 s 39.43/39.55 c Learning 12 hard constraints 39.43/39.55 c ============================[ Search Statistics ]============================== 39.43/39.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.43/39.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.43/39.55 c =============================================================================== 39.43/39.55 c | 0 | 5686 38713 815158 | 12904 0 nan | 0.000 % | 39.43/39.59 c | 100 | 5686 38713 815158 | 14194 100 12 | 0.006 % | 39.63/39.71 c =============================================================================== 39.63/39.72 c core #520 39.63/39.72 c Core size: 1182 Core Weight: 1 Total Weight: 520 39.63/39.72 c Elapsed CPU time: 39.493 s Remaining CPU time: 1760.51 s 39.73/39.85 c Learning 33 hard constraints 39.73/39.85 c ============================[ Search Statistics ]============================== 39.73/39.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.73/39.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.73/39.85 c =============================================================================== 39.73/39.85 c | 0 | 5706 38747 816022 | 12915 0 nan | 0.000 % | 39.73/39.88 c | 101 | 5706 38747 816022 | 14207 101 15 | 0.002 % | 39.93/40.04 c | 253 | 5703 38747 816022 | 15627 253 19 | 0.124 % | 39.93/40.07 c =============================================================================== 39.93/40.07 c core #521 39.93/40.07 c Core size: 1661 Core Weight: 1 Total Weight: 521 39.93/40.07 c Elapsed CPU time: 39.8429 s Remaining CPU time: 1760.16 s 40.13/40.20 c Learning 45 hard constraints 40.13/40.20 c ============================[ Search Statistics ]============================== 40.13/40.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.13/40.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.13/40.20 c =============================================================================== 40.13/40.20 c | 0 | 5733 38793 817529 | 12931 0 nan | 0.000 % | 40.13/40.23 c | 101 | 5733 38793 817529 | 14224 101 15 | 0.002 % | 40.23/40.32 c | 255 | 5732 38793 817529 | 15646 255 20 | 0.035 % | 40.33/40.41 c =============================================================================== 40.33/40.41 c core #522 40.33/40.41 c Core size: 1209 Core Weight: 1 Total Weight: 522 40.33/40.41 c Elapsed CPU time: 40.1829 s Remaining CPU time: 1759.82 s 40.43/40.55 c Learning 76 hard constraints 40.43/40.55 c ============================[ Search Statistics ]============================== 40.43/40.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.43/40.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.43/40.55 c =============================================================================== 40.43/40.55 c | 0 | 5753 38870 819617 | 12956 0 nan | 0.000 % | 40.43/40.58 c | 101 | 5753 38870 819617 | 14252 101 25 | 0.036 % | 40.53/40.69 c | 252 | 5751 38870 819617 | 15677 252 22 | 0.070 % | 40.63/40.76 c | 477 | 5749 38870 819617 | 17245 477 21 | 0.104 % | 40.73/40.83 c | 816 | 5749 38870 819617 | 18969 816 20 | 0.104 % | 40.73/40.89 c | 1323 | 5748 38870 819617 | 20866 1323 24 | 0.139 % | 40.83/40.99 c =============================================================================== 40.93/41.00 c core #523 40.93/41.00 c Core size: 1730 Core Weight: 1 Total Weight: 523 40.93/41.00 c Elapsed CPU time: 40.7668 s Remaining CPU time: 1759.23 s 41.03/41.15 c Learning 103 hard constraints 41.03/41.15 c ============================[ Search Statistics ]============================== 41.03/41.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.03/41.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.03/41.15 c =============================================================================== 41.03/41.15 c | 0 | 5791 38974 822996 | 12991 0 nan | 0.000 % | 41.13/41.21 c | 100 | 5768 38974 822996 | 14290 100 17 | 1.657 % | 41.13/41.26 c =============================================================================== 41.13/41.26 c core #524 41.13/41.26 c Core size: 1075 Core Weight: 1 Total Weight: 524 41.13/41.26 c Elapsed CPU time: 41.0268 s Remaining CPU time: 1758.97 s 41.33/41.40 c Learning 25 hard constraints 41.33/41.40 c ============================[ Search Statistics ]============================== 41.33/41.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.33/41.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.33/41.40 c =============================================================================== 41.33/41.40 c | 0 | 5806 39000 824101 | 13000 0 nan | 0.000 % | 41.33/41.44 c | 100 | 5806 39000 824101 | 14300 100 15 | 0.040 % | 41.43/41.55 c | 251 | 5802 39000 824101 | 15730 251 20 | 0.103 % | 41.43/41.59 c | 479 | 5802 39000 824101 | 17303 479 22 | 0.103 % | 41.52/41.62 c | 817 | 5802 39000 824101 | 19033 817 22 | 0.103 % | 41.52/41.67 c | 1324 | 5800 39000 824101 | 20936 1324 22 | 0.173 % | 41.63/41.76 c | 2083 | 5799 39000 824101 | 23030 2083 22 | 0.207 % | 41.63/41.79 c =============================================================================== 41.72/41.81 c core #525 41.72/41.81 c Core size: 1158 Core Weight: 1 Total Weight: 525 41.72/41.81 c Elapsed CPU time: 41.5667 s Remaining CPU time: 1758.43 s 41.82/41.95 c Learning 40 hard constraints 41.82/41.95 c ============================[ Search Statistics ]============================== 41.82/41.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.82/41.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.82/41.95 c =============================================================================== 41.82/41.95 c | 0 | 5828 39041 825530 | 13013 0 nan | 0.000 % | 41.92/42.07 c | 100 | 5788 39041 825530 | 14315 100 30 | 1.682 % | 42.02/42.11 c =============================================================================== 42.02/42.11 c core #526 42.02/42.11 c Core size: 1188 Core Weight: 1 Total Weight: 526 42.02/42.11 c Elapsed CPU time: 41.8696 s Remaining CPU time: 1758.13 s 42.12/42.25 c Learning 17 hard constraints 42.12/42.25 c ============================[ Search Statistics ]============================== 42.12/42.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.12/42.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.12/42.25 c =============================================================================== 42.12/42.25 c | 0 | 5848 39059 826297 | 13019 0 nan | 0.000 % | 42.12/42.28 c | 101 | 5848 39059 826297 | 14321 101 17 | 0.036 % | 42.23/42.35 c | 253 | 5847 39059 826297 | 15753 253 20 | 0.068 % | 42.33/42.45 c | 480 | 5845 39059 826297 | 17329 480 19 | 0.103 % | 42.33/42.47 c =============================================================================== 42.33/42.47 c core #527 42.33/42.47 c Core size: 1252 Core Weight: 1 Total Weight: 527 42.33/42.47 c Elapsed CPU time: 42.2276 s Remaining CPU time: 1757.77 s 42.53/42.61 c Learning 77 hard constraints 42.53/42.61 c ============================[ Search Statistics ]============================== 42.53/42.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.53/42.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.53/42.61 c =============================================================================== 42.53/42.61 c | 0 | 5872 39137 828516 | 13045 0 nan | 0.000 % | 42.53/42.65 c | 100 | 5872 39137 828516 | 14350 100 21 | 0.070 % | 42.62/42.76 c | 254 | 5869 39137 828516 | 15785 254 26 | 0.136 % | 42.73/42.84 c =============================================================================== 42.73/42.84 c core #528 42.73/42.84 c Core size: 1226 Core Weight: 1 Total Weight: 528 42.73/42.84 c Elapsed CPU time: 42.5905 s Remaining CPU time: 1757.41 s 42.83/42.98 c Learning 46 hard constraints 42.83/42.98 c ============================[ Search Statistics ]============================== 42.83/42.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.83/42.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.83/42.98 c =============================================================================== 42.83/42.98 c | 0 | 5889 39184 829830 | 13061 0 nan | 0.000 % | 42.92/43.01 c | 100 | 5889 39184 829830 | 14367 100 23 | 0.104 % | 42.92/43.06 c | 251 | 5888 39184 829830 | 15804 251 24 | 0.136 % | 43.13/43.20 c | 477 | 5886 39184 829830 | 17384 477 22 | 0.170 % | 43.22/43.31 c =============================================================================== 43.22/43.32 c core #529 43.22/43.32 c Core size: 1790 Core Weight: 1 Total Weight: 529 43.22/43.32 c Elapsed CPU time: 43.0635 s Remaining CPU time: 1756.94 s 43.32/43.46 c Learning 69 hard constraints 43.32/43.46 c ============================[ Search Statistics ]============================== 43.32/43.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.32/43.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.32/43.46 c =============================================================================== 43.32/43.46 c | 0 | 5915 39254 831805 | 13084 0 nan | 0.000 % | 43.32/43.49 c | 102 | 5915 39254 831805 | 14393 102 16 | 0.137 % | 43.42/43.53 c | 255 | 5915 39254 831805 | 15832 255 18 | 0.135 % | 43.52/43.65 c | 480 | 5914 39254 831805 | 17415 480 20 | 0.169 % | 43.62/43.70 c | 817 | 5912 39254 831805 | 19157 817 23 | 0.203 % | 43.62/43.76 c | 1323 | 5912 39254 831805 | 21072 1323 25 | 0.203 % | 43.72/43.88 c | 2084 | 5911 39254 831805 | 23180 2084 26 | 0.236 % | 43.92/44.07 c | 3226 | 5910 39254 831805 | 25498 3226 28 | 0.270 % | 44.11/44.24 c =============================================================================== 44.11/44.28 c core #530 44.11/44.28 c Core size: 1565 Core Weight: 1 Total Weight: 530 44.11/44.28 c Elapsed CPU time: 44.0173 s Remaining CPU time: 1755.98 s 44.32/44.43 c Learning 138 hard constraints 44.32/44.43 c ============================[ Search Statistics ]============================== 44.32/44.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.32/44.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.32/44.43 c =============================================================================== 44.32/44.43 c | 0 | 5948 39393 835968 | 13131 0 nan | 0.000 % | 44.32/44.46 c | 104 | 5948 39393 835968 | 14444 104 18 | 0.136 % | 44.32/44.50 c | 255 | 5948 39393 835968 | 15888 255 26 | 0.134 % | 44.42/44.52 c | 481 | 5948 39393 835968 | 17477 481 28 | 0.134 % | 44.42/44.59 c | 818 | 5948 39393 835968 | 19225 818 26 | 0.134 % | 44.52/44.64 c | 1326 | 5948 39393 835968 | 21147 1326 29 | 0.135 % | 44.62/44.78 c | 2085 | 5944 39393 835968 | 23262 2085 29 | 0.201 % | 44.82/44.94 c | 3224 | 5930 39393 835968 | 25588 3224 34 | 0.504 % | 45.02/45.16 c | 4933 | 5930 39393 835968 | 28147 4933 37 | 0.504 % | 45.52/45.67 c | 7496 | 5929 39393 835968 | 30962 7496 39 | 0.537 % | 46.42/46.59 c | 11342 | 5928 39393 835968 | 34058 11342 45 | 0.571 % | 48.82/48.97 c | 17111 | 5903 39393 835968 | 37464 17080 50 | 0.890 % | 55.21/55.30 c | 25763 | 5900 39393 835968 | 41210 25732 51 | 0.996 % | 63.62/63.71 c =============================================================================== 64.01/64.13 c core #531 64.01/64.13 c Core size: 1982 Core Weight: 1 Total Weight: 531 64.01/64.13 c Elapsed CPU time: 63.7683 s Remaining CPU time: 1736.23 s 64.21/64.32 c Learning 93 hard constraints 64.21/64.32 c ============================[ Search Statistics ]============================== 64.21/64.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.21/64.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.21/64.32 c =============================================================================== 64.21/64.32 c | 0 | 5988 39487 838542 | 13162 0 nan | 0.000 % | 64.21/64.36 c | 101 | 5988 39487 838542 | 14478 101 26 | 0.135 % | 64.31/64.40 c | 251 | 5988 39487 838542 | 15926 251 20 | 0.133 % | 64.31/64.42 c | 476 | 5988 39487 838542 | 17519 476 26 | 0.134 % | 64.41/64.51 c | 813 | 5984 39487 838542 | 19270 813 26 | 0.200 % | 64.41/64.58 c | 1322 | 5982 39487 838542 | 21198 1322 28 | 0.267 % | 64.61/64.70 c | 2082 | 5979 39487 838542 | 23317 2082 29 | 0.372 % | 64.72/64.90 c | 3225 | 5978 39487 838542 | 25649 3225 30 | 0.400 % | 65.31/65.45 c | 4933 | 5978 39487 838542 | 28214 4933 36 | 0.400 % | 66.11/66.27 c | 7495 | 5975 39487 838542 | 31036 7495 37 | 0.500 % | 66.31/66.42 c =============================================================================== 66.40/66.50 c core #532 66.40/66.50 c Core size: 1532 Core Weight: 1 Total Weight: 532 66.40/66.50 c Elapsed CPU time: 66.1139 s Remaining CPU time: 1733.89 s 66.50/66.65 c Learning 92 hard constraints 66.50/66.65 c ============================[ Search Statistics ]============================== 66.50/66.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.50/66.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.50/66.65 c =============================================================================== 66.50/66.65 c | 0 | 6013 39580 841496 | 13193 0 nan | 0.000 % | 66.50/66.69 c | 104 | 6013 39580 841496 | 14512 104 18 | 0.138 % | 66.70/66.85 c | 254 | 5905 39580 841496 | 15963 254 17 | 3.073 % | 66.70/66.86 c =============================================================================== 66.70/66.86 c core #533 66.70/66.86 c Core size: 1160 Core Weight: 1 Total Weight: 533 66.70/66.86 c Elapsed CPU time: 66.4759 s Remaining CPU time: 1733.52 s 66.91/67.01 c Learning 35 hard constraints 66.91/67.01 c ============================[ Search Statistics ]============================== 66.91/67.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.91/67.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.91/67.01 c =============================================================================== 66.91/67.01 c | 0 | 6038 39616 842449 | 13205 0 nan | 0.000 % | 66.91/67.03 c | 100 | 6038 39616 842449 | 14525 100 25 | 0.167 % | 66.91/67.09 c | 250 | 6038 39616 842449 | 15978 250 20 | 0.166 % | 67.01/67.17 c | 476 | 6037 39616 842449 | 17576 476 19 | 0.198 % | 67.11/67.24 c | 816 | 6037 39616 842449 | 19333 816 27 | 0.198 % | 67.21/67.31 c =============================================================================== 67.21/67.32 c core #534 67.21/67.32 c Core size: 1388 Core Weight: 1 Total Weight: 534 67.21/67.32 c Elapsed CPU time: 66.9248 s Remaining CPU time: 1733.08 s 67.31/67.46 c Learning 57 hard constraints 67.31/67.46 c ============================[ Search Statistics ]============================== 67.31/67.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.31/67.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.31/67.46 c =============================================================================== 67.31/67.46 c | 0 | 6072 39674 844209 | 13224 0 nan | 0.000 % | 67.31/67.49 c | 100 | 6072 39674 844209 | 14547 100 23 | 0.166 % | 67.41/67.50 c | 250 | 6072 39674 844209 | 16001 250 20 | 0.164 % | 67.41/67.56 c | 476 | 6072 39674 844209 | 17602 476 19 | 0.165 % | 67.51/67.62 c | 813 | 6071 39674 844209 | 19362 813 19 | 0.199 % | 67.51/67.63 c =============================================================================== 67.51/67.64 c core #535 67.51/67.64 c Core size: 662 Core Weight: 1 Total Weight: 535 67.51/67.64 c Elapsed CPU time: 67.2408 s Remaining CPU time: 1732.76 s 67.61/67.78 c Learning 34 hard constraints 67.61/67.78 c ============================[ Search Statistics ]============================== 67.61/67.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.61/67.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.61/67.78 c =============================================================================== 67.61/67.78 c | 0 | 6097 39709 845164 | 13236 0 nan | 0.000 % | 67.70/67.83 c | 100 | 6097 39709 845164 | 14559 100 20 | 0.198 % | 67.70/67.87 c | 251 | 6097 39709 845164 | 16015 251 28 | 0.197 % | 67.80/67.95 c | 476 | 6096 39709 845164 | 17617 476 37 | 0.229 % | 68.01/68.13 c =============================================================================== 68.01/68.13 c core #536 68.01/68.13 c Core size: 1492 Core Weight: 1 Total Weight: 536 68.01/68.13 c Elapsed CPU time: 67.7307 s Remaining CPU time: 1732.27 s 68.11/68.28 c Learning 70 hard constraints 68.11/68.28 c ============================[ Search Statistics ]============================== 68.11/68.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.11/68.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.11/68.28 c =============================================================================== 68.11/68.28 c | 0 | 6123 39780 847633 | 13260 0 nan | 0.000 % | 68.21/68.31 c | 102 | 6123 39780 847633 | 14586 102 32 | 0.230 % | 68.21/68.35 c | 254 | 6123 39780 847633 | 16044 254 22 | 0.228 % | 68.21/68.39 c | 479 | 6123 39780 847633 | 17649 479 35 | 0.228 % | 68.40/68.53 c | 818 | 6121 39780 847633 | 19413 818 31 | 0.261 % | 68.50/68.63 c | 1327 | 6110 39780 847633 | 21355 1327 35 | 0.489 % | 68.60/68.75 c | 2088 | 6106 39780 847633 | 23490 2088 37 | 0.619 % | 69.11/69.20 c | 3227 | 6106 39780 847633 | 25839 3227 41 | 0.652 % | 69.51/69.62 c | 4935 | 6105 39780 847633 | 28423 4935 43 | 30.552 % | 70.60/70.75 c | 7497 | 6105 39780 847633 | 31266 7497 44 | 30.552 % | 72.30/72.48 c | 11342 | 6105 39780 847633 | 34393 11342 44 | 30.552 % | 76.70/76.87 c | 17112 | 6105 39780 847633 | 37832 17112 45 | 30.552 % | 84.50/84.70 c =============================================================================== 84.89/85.01 c core #537 84.89/85.01 c Core size: 1726 Core Weight: 1 Total Weight: 537 84.89/85.01 c Elapsed CPU time: 84.5411 s Remaining CPU time: 1715.46 s 84.99/85.19 c ============================[ Search Statistics ]============================== 84.99/85.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.99/85.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.99/85.19 c =============================================================================== 84.99/85.19 c | 0 | 6159 39781 847705 | 13260 0 nan | 0.000 % | 85.09/85.23 c | 100 | 6159 39781 847705 | 14586 100 18 | 0.228 % | 85.09/85.27 c | 251 | 6159 39781 847705 | 16045 251 17 | 0.227 % | 85.09/85.29 c | 478 | 6159 39781 847705 | 17649 478 18 | 0.227 % | 85.19/85.39 c | 815 | 6158 39781 847705 | 19414 815 20 | 0.259 % | 85.29/85.44 c | 1321 | 6156 39781 847705 | 21355 1321 23 | 0.324 % | 85.29/85.47 c =============================================================================== 85.29/85.48 c core #538 85.29/85.48 c Core size: 1119 Core Weight: 1 Total Weight: 538 85.29/85.48 c Elapsed CPU time: 85.0061 s Remaining CPU time: 1714.99 s 85.50/85.61 c Learning 56 hard constraints 85.50/85.61 c ============================[ Search Statistics ]============================== 85.50/85.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.50/85.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.50/85.61 c =============================================================================== 85.50/85.61 c | 0 | 6196 39838 849623 | 13279 0 nan | 0.000 % | 85.50/85.64 c | 100 | 6196 39838 849623 | 14607 100 13 | 0.259 % | 85.50/85.68 c | 251 | 6196 39838 849623 | 16067 251 19 | 0.258 % | 85.70/85.82 c | 476 | 6196 39838 849623 | 17674 476 20 | 0.258 % | 85.80/85.95 c =============================================================================== 85.80/85.95 c core #539 85.80/85.95 c Core size: 1515 Core Weight: 1 Total Weight: 539 85.80/85.95 c Elapsed CPU time: 85.477 s Remaining CPU time: 1714.52 s 85.99/86.10 c Learning 44 hard constraints 85.99/86.10 c ============================[ Search Statistics ]============================== 85.99/86.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.99/86.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.99/86.10 c =============================================================================== 85.99/86.10 c | 0 | 6228 39883 851498 | 13294 0 nan | 0.000 % | 85.99/86.14 c | 101 | 6228 39883 851498 | 14623 101 41 | 0.258 % | 86.09/86.23 c | 251 | 6226 39883 851498 | 16086 251 25 | 0.288 % | 86.09/86.28 c | 477 | 6225 39883 851498 | 17694 477 26 | 0.320 % | 86.19/86.35 c | 814 | 6136 39883 851498 | 19464 814 32 | 2.070 % | 86.29/86.41 c | 1320 | 6099 39883 851498 | 21410 1320 38 | 2.855 % | 86.29/86.49 c | 2080 | 6099 39883 851498 | 23551 2080 45 | 2.851 % | 86.49/86.67 c | 3219 | 6097 39883 851498 | 25906 3219 51 | 2.919 % | 86.89/87.05 c | 4927 | 6088 39883 851498 | 28497 4927 54 | 3.075 % | 87.60/87.74 c | 7492 | 6087 39883 851498 | 31347 7492 62 | 3.107 % | 88.59/88.75 c | 11340 | 6087 39883 851498 | 34482 11340 61 | 3.107 % | 91.69/91.82 c | 17107 | 6087 39883 851498 | 37930 17107 65 | 3.107 % | 96.59/96.74 c | 25756 | 6050 39883 851498 | 41723 25721 68 | 3.107 % | 109.38/109.58 c | 38730 | 6050 39883 851498 | 45895 38695 69 | 3.107 % | 129.18/129.33 c | 58192 | 6050 39883 851498 | 50485 24575 89 | 3.139 % | 176.86/177.01 c | 87387 | 6048 39883 851498 | 55533 16163 101 | 3.143 % | 234.84/235.10 c | 131176 | 6048 39883 851498 | 61087 19660 93 | 3.139 % | 316.01/316.25 c | 196861 | 6048 39883 851498 | 67195 36296 111 | 3.139 % | 356.28/356.58 c =============================================================================== 360.59/360.81 c core #540 360.59/360.81 c Core size: 1839 Core Weight: 1 Total Weight: 540 360.59/360.81 c Elapsed CPU time: 359.413 s Remaining CPU time: 1440.59 s 360.88/361.18 c Learning 7 hard constraints 360.88/361.19 c ============================[ Search Statistics ]============================== 360.88/361.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 360.88/361.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 360.88/361.19 c =============================================================================== 360.88/361.19 c | 0 | 6276 39891 852089 | 13297 0 nan | 0.000 % | 360.98/361.25 c | 101 | 6276 39891 852089 | 14626 101 17 | 0.256 % | 360.98/361.28 c | 252 | 6276 39891 852089 | 16089 252 17 | 0.254 % | 361.09/361.33 c | 477 | 6276 39891 852089 | 17698 477 17 | 0.254 % | 361.18/361.44 c =============================================================================== 361.18/361.45 c core #541 361.18/361.45 c Core size: 1177 Core Weight: 1 Total Weight: 541 361.18/361.45 c Elapsed CPU time: 360.036 s Remaining CPU time: 1439.96 s 361.28/361.58 c Learning 51 hard constraints 361.28/361.58 c ============================[ Search Statistics ]============================== 361.28/361.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 361.28/361.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 361.28/361.58 c =============================================================================== 361.28/361.58 c | 0 | 6305 39943 853661 | 13314 0 nan | 0.000 % | 361.38/361.61 c | 101 | 6305 39943 853661 | 14645 101 44 | 0.255 % | 361.48/361.74 c | 253 | 6304 39943 853661 | 16110 253 30 | 0.285 % | 361.58/361.83 c =============================================================================== 361.58/361.83 c core #542 361.58/361.83 c Core size: 1302 Core Weight: 1 Total Weight: 542 361.58/361.83 c Elapsed CPU time: 360.42 s Remaining CPU time: 1439.58 s 361.68/361.99 c Learning 36 hard constraints 361.68/361.99 c ============================[ Search Statistics ]============================== 361.68/361.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 361.68/361.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 361.68/361.99 c =============================================================================== 361.68/361.99 c | 0 | 6328 39980 855421 | 13326 0 nan | 0.000 % | 361.78/362.08 c | 100 | 6239 39980 855421 | 14659 100 14 | 2.206 % | 361.88/362.12 c | 254 | 6232 39980 855421 | 16125 254 14 | 2.206 % | 361.88/362.17 c =============================================================================== 361.88/362.17 c core #543 361.88/362.17 c Core size: 790 Core Weight: 1 Total Weight: 543 361.88/362.17 c Elapsed CPU time: 360.757 s Remaining CPU time: 1439.24 s 362.08/362.32 c Learning 13 hard constraints 362.08/362.32 c ============================[ Search Statistics ]============================== 362.08/362.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 362.08/362.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 362.08/362.32 c =============================================================================== 362.08/362.32 c | 0 | 6358 39994 855975 | 13331 0 nan | 0.000 % | 362.08/362.36 c | 101 | 6358 39994 855975 | 14664 101 13 | 0.284 % | 362.18/362.41 c | 252 | 6358 39994 855975 | 16130 252 13 | 0.282 % | 362.18/362.49 c | 478 | 6357 39994 855975 | 17744 478 17 | 0.314 % | 362.28/362.55 c | 816 | 6344 39994 855975 | 19518 816 18 | 0.502 % | 362.38/362.64 c | 1324 | 6340 39994 855975 | 21470 1324 22 | 0.565 % | 362.48/362.74 c | 2084 | 6338 39994 855975 | 23617 2084 25 | 0.628 % | 362.88/363.17 c | 3224 | 6336 39994 855975 | 25978 3224 29 | 0.753 % | 363.38/363.64 c | 4932 | 6336 39994 855975 | 28576 4932 32 | 2.525 % | 363.48/363.71 c =============================================================================== 363.48/363.76 c core #544 363.48/363.76 c Core size: 1626 Core Weight: 1 Total Weight: 544 363.48/363.76 c Elapsed CPU time: 362.328 s Remaining CPU time: 1437.67 s 363.68/363.93 c Learning 77 hard constraints 363.68/363.93 c ============================[ Search Statistics ]============================== 363.68/363.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 363.68/363.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 363.68/363.93 c =============================================================================== 363.68/363.93 c | 0 | 6400 40072 858472 | 13357 0 nan | 0.000 % | 363.68/363.97 c | 100 | 6400 40072 858472 | 14693 100 18 | 0.282 % | 363.78/364.01 c | 250 | 6400 40072 858472 | 16162 250 22 | 0.280 % | 363.78/364.06 c | 476 | 6398 40072 858472 | 17778 476 22 | 0.312 % | 363.88/364.16 c | 816 | 6396 40072 858472 | 19556 816 20 | 0.343 % | 363.97/364.23 c | 1324 | 6393 40072 858472 | 21512 1324 22 | 0.405 % | 364.18/364.41 c =============================================================================== 364.18/364.43 c core #545 364.18/364.43 c Core size: 1422 Core Weight: 1 Total Weight: 545 364.18/364.43 c Elapsed CPU time: 362.99 s Remaining CPU time: 1437.01 s 364.28/364.59 c Learning 64 hard constraints 364.28/364.59 c ============================[ Search Statistics ]============================== 364.28/364.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 364.28/364.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 364.28/364.59 c =============================================================================== 364.28/364.59 c | 0 | 6426 40137 860817 | 13379 0 nan | 0.000 % | 364.38/364.62 c | 100 | 6426 40137 860817 | 14716 100 39 | 0.312 % | 364.38/364.69 c | 250 | 6426 40137 860817 | 16188 250 28 | 0.310 % | 364.48/364.73 c | 475 | 6426 40137 860817 | 17807 475 30 | 0.310 % | 364.58/364.86 c | 813 | 6425 40137 860817 | 19588 813 24 | 0.342 % | 364.68/364.94 c =============================================================================== 364.68/364.95 c core #546 364.68/364.95 c Core size: 1405 Core Weight: 1 Total Weight: 546 364.68/364.95 c Elapsed CPU time: 363.502 s Remaining CPU time: 1436.5 s 364.88/365.11 c Learning 61 hard constraints 364.88/365.11 c ============================[ Search Statistics ]============================== 364.88/365.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 364.88/365.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 364.88/365.11 c =============================================================================== 364.88/365.11 c | 0 | 6461 40199 862769 | 13399 0 nan | 0.000 % | 364.88/365.15 c | 100 | 6461 40199 862769 | 14739 100 24 | 0.310 % | 364.98/365.21 c | 253 | 6460 40199 862769 | 16213 253 22 | 0.339 % | 364.98/365.24 c | 478 | 6460 40199 862769 | 17834 478 21 | 0.340 % | 364.98/365.27 c | 816 | 6460 40199 862769 | 19618 816 22 | 0.340 % | 365.08/365.35 c | 1326 | 6460 40199 862769 | 21580 1326 26 | 0.340 % | 365.18/365.47 c | 2087 | 6458 40199 862769 | 23738 2087 27 | 0.371 % | 365.47/365.75 c =============================================================================== 365.47/365.78 c core #547 365.47/365.78 c Core size: 2274 Core Weight: 1 Total Weight: 547 365.47/365.78 c Elapsed CPU time: 364.319 s Remaining CPU time: 1435.68 s 365.67/365.94 c Learning 121 hard constraints 365.67/365.94 c ============================[ Search Statistics ]============================== 365.67/365.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 365.67/365.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 365.67/365.94 c =============================================================================== 365.67/365.94 c | 0 | 6464 40321 867054 | 13440 0 nan | 0.000 % | 365.67/365.98 c | 101 | 6464 40321 867054 | 14784 101 18 | 0.982 % | 365.77/366.02 c | 256 | 6464 40321 867054 | 16262 256 20 | 0.981 % | 365.77/366.07 c | 481 | 6464 40321 867054 | 17889 481 20 | 0.981 % | 365.88/366.16 c | 819 | 6464 40321 867054 | 19677 819 22 | 0.980 % | 365.98/366.23 c | 1329 | 6456 40321 867054 | 21645 1329 21 | 1.107 % | 366.08/366.35 c =============================================================================== 366.08/366.36 c core #548 366.08/366.36 c Core size: 1165 Core Weight: 1 Total Weight: 548 366.08/366.36 c Elapsed CPU time: 364.894 s Remaining CPU time: 1435.11 s 366.27/366.53 c Learning 30 hard constraints 366.27/366.53 c ============================[ Search Statistics ]============================== 366.27/366.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 366.27/366.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 366.27/366.53 c =============================================================================== 366.27/366.53 c | 0 | 6505 40352 868217 | 13450 0 nan | 0.000 % | 366.27/366.57 c | 100 | 6505 40352 868217 | 14795 100 21 | 0.976 % | 366.37/366.62 c | 251 | 6505 40352 868217 | 16275 251 28 | 0.974 % | 366.47/366.73 c | 477 | 6503 40352 868217 | 17902 477 27 | 1.005 % | 366.47/366.76 c | 814 | 6503 40352 868217 | 19693 814 26 | 1.005 % | 366.68/366.90 c | 1323 | 6497 40352 868217 | 21662 1323 25 | 1.096 % | 366.68/366.97 c =============================================================================== 366.68/366.98 c core #549 366.68/366.98 c Core size: 1630 Core Weight: 1 Total Weight: 549 366.68/366.98 c Elapsed CPU time: 365.507 s Remaining CPU time: 1434.49 s 366.88/367.15 c Learning 95 hard constraints 366.88/367.15 c ============================[ Search Statistics ]============================== 366.88/367.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 366.88/367.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 366.88/367.15 c =============================================================================== 366.88/367.15 c | 0 | 6530 40448 871481 | 13482 0 nan | 0.000 % | 366.88/367.20 c | 102 | 6530 40448 871481 | 14830 102 27 | 1.002 % | 366.97/367.22 c | 252 | 6530 40448 871481 | 16314 252 23 | 1.001 % | 367.07/367.32 c | 478 | 6525 40448 871481 | 17945 478 21 | 1.092 % | 367.07/367.34 c =============================================================================== 367.07/367.34 c core #550 367.07/367.34 c Core size: 722 Core Weight: 1 Total Weight: 550 367.07/367.34 c Elapsed CPU time: 365.857 s Remaining CPU time: 1434.14 s 367.27/367.50 c Learning 45 hard constraints 367.27/367.50 c ============================[ Search Statistics ]============================== 367.27/367.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.27/367.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.27/367.50 c =============================================================================== 367.27/367.50 c | 0 | 6554 40494 873369 | 13498 0 nan | 0.000 % | 367.27/367.54 c | 101 | 6554 40494 873369 | 14847 101 21 | 1.028 % | 367.27/367.59 c | 252 | 6554 40494 873369 | 16332 252 19 | 1.027 % | 367.38/367.64 c | 477 | 6553 40494 873369 | 17965 477 18 | 1.057 % | 367.38/367.68 c | 815 | 6552 40494 873369 | 19762 815 18 | 1.057 % | 367.47/367.78 c =============================================================================== 367.47/367.79 c core #551 367.47/367.79 c Core size: 1213 Core Weight: 1 Total Weight: 551 367.47/367.79 c Elapsed CPU time: 366.299 s Remaining CPU time: 1433.7 s 367.67/367.95 c Learning 18 hard constraints 367.67/367.95 c ============================[ Search Statistics ]============================== 367.67/367.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.67/367.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.67/367.95 c =============================================================================== 367.67/367.95 c | 0 | 6595 40513 873987 | 13504 0 nan | 0.000 % | 367.67/367.99 c | 102 | 6595 40513 873987 | 14854 102 25 | 1.141 % | 367.77/368.01 c | 258 | 6595 40513 873987 | 16340 258 20 | 1.139 % | 367.77/368.06 c | 483 | 6595 40513 873987 | 17974 483 20 | 1.139 % | 367.87/368.14 c | 822 | 6595 40513 873987 | 19771 822 21 | 1.139 % | 367.97/368.20 c | 1329 | 6591 40513 873987 | 21748 1329 27 | 1.199 % | 367.97/368.29 c | 2091 | 6591 40513 873987 | 23923 2091 29 | 1.199 % | 368.27/368.50 c | 3231 | 6590 40513 873987 | 26316 3231 36 | 1.229 % | 368.37/368.62 c =============================================================================== 368.37/368.66 c core #552 368.37/368.66 c Core size: 655 Core Weight: 1 Total Weight: 552 368.37/368.66 c Elapsed CPU time: 367.155 s Remaining CPU time: 1432.84 s 368.57/368.83 c Learning 46 hard constraints 368.57/368.83 c ============================[ Search Statistics ]============================== 368.57/368.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 368.57/368.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 368.57/368.83 c =============================================================================== 368.57/368.83 c | 0 | 6628 40560 875706 | 13520 0 nan | 0.000 % | 368.57/368.87 c | 100 | 6628 40560 875706 | 14872 100 16 | 1.194 % | 368.67/368.94 c | 253 | 6627 40560 875706 | 16359 253 18 | 1.222 % | 368.67/368.99 c | 478 | 6627 40560 875706 | 17995 478 17 | 1.222 % | 368.77/369.03 c | 820 | 6627 40560 875706 | 19794 820 21 | 1.223 % | 368.87/369.16 c | 1331 | 6540 40560 875706 | 21774 1331 24 | 6.294 % | 368.97/369.22 c =============================================================================== 368.97/369.23 c core #553 368.97/369.23 c Core size: 1010 Core Weight: 1 Total Weight: 553 368.97/369.23 c Elapsed CPU time: 367.717 s Remaining CPU time: 1432.28 s 369.17/369.40 c Learning 28 hard constraints 369.17/369.40 c ============================[ Search Statistics ]============================== 369.17/369.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 369.17/369.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 369.17/369.40 c =============================================================================== 369.17/369.40 c | 0 | 6649 40589 876508 | 13529 0 nan | 0.000 % | 369.17/369.44 c | 101 | 6649 40589 876508 | 14882 101 23 | 1.308 % | 369.17/369.46 c | 253 | 6649 40589 876508 | 16370 253 20 | 1.306 % | 369.27/369.51 c | 478 | 6648 40589 876508 | 18007 478 26 | 1.336 % | 369.27/369.55 c | 815 | 6648 40589 876508 | 19808 815 24 | 1.337 % | 369.38/369.65 c | 1321 | 6643 40589 876508 | 21789 1321 25 | 1.425 % | 369.47/369.79 c | 2082 | 6641 40589 876508 | 23968 2082 26 | 1.455 % | 369.66/369.97 c | 3224 | 6635 40589 876508 | 26365 3224 25 | 1.573 % | 369.97/370.24 c | 4932 | 6621 40589 876508 | 29002 4932 26 | 1.900 % | 370.76/371.07 c =============================================================================== 370.86/371.15 c core #554 370.86/371.15 c Core size: 1429 Core Weight: 1 Total Weight: 554 370.86/371.15 c Elapsed CPU time: 369.611 s Remaining CPU time: 1430.39 s 371.06/371.33 c Learning 58 hard constraints 371.06/371.33 c ============================[ Search Statistics ]============================== 371.06/371.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 371.06/371.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 371.06/371.34 c =============================================================================== 371.06/371.34 c | 0 | 6712 40648 878639 | 13549 0 nan | 0.000 % | 371.06/371.37 c | 103 | 6712 40648 878639 | 14904 103 14 | 1.440 % | 371.16/371.42 c | 253 | 6712 40648 878639 | 16394 253 16 | 1.439 % | 371.16/371.45 c | 478 | 6712 40648 878639 | 18034 478 18 | 1.439 % | 371.16/371.49 c | 817 | 6712 40648 878639 | 19837 817 23 | 1.439 % | 371.27/371.55 c | 1324 | 6712 40648 878639 | 21821 1324 26 | 1.439 % | 371.36/371.65 c | 2086 | 6712 40648 878639 | 24003 2086 28 | 1.439 % | 371.46/371.77 c | 3225 | 6711 40648 878639 | 26403 3225 29 | 1.469 % | 371.77/372.09 c | 4934 | 6700 40648 878639 | 29044 4934 30 | 1.734 % | 371.87/372.18 c =============================================================================== 371.97/372.22 c core #555 371.97/372.22 c Core size: 1379 Core Weight: 1 Total Weight: 555 371.97/372.22 c Elapsed CPU time: 370.663 s Remaining CPU time: 1429.34 s 372.06/372.40 c Learning 43 hard constraints 372.06/372.40 c ============================[ Search Statistics ]============================== 372.06/372.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 372.06/372.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 372.06/372.40 c =============================================================================== 372.06/372.40 c | 0 | 6749 40692 880523 | 13564 0 nan | 0.000 % | 372.16/372.47 c | 102 | 6714 40692 880523 | 14920 102 15 | 2.657 % | 372.26/372.52 c | 254 | 6703 40692 880523 | 16412 254 15 | 2.716 % | 372.26/372.54 c | 479 | 6702 40692 880523 | 18053 479 22 | 2.719 % | 372.36/372.60 c | 816 | 6696 40692 880523 | 19859 816 23 | 2.778 % | 372.36/372.67 c | 1323 | 6690 40692 880523 | 21844 1323 26 | 2.949 % | 372.46/372.76 c | 2082 | 6690 40692 880523 | 24029 2082 27 | 2.949 % | 372.66/372.94 c =============================================================================== 372.66/372.97 c core #556 372.66/372.97 c Core size: 973 Core Weight: 1 Total Weight: 556 372.66/372.97 c Elapsed CPU time: 371.403 s Remaining CPU time: 1428.6 s 372.86/373.14 c Learning 10 hard constraints 372.86/373.14 c ============================[ Search Statistics ]============================== 372.86/373.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 372.86/373.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 372.86/373.14 c =============================================================================== 372.86/373.14 c | 0 | 6789 40703 881095 | 13567 0 nan | 0.000 % | 372.86/373.18 c | 100 | 6789 40703 881095 | 14924 100 28 | 1.453 % | 372.96/373.20 c | 250 | 6789 40703 881095 | 16416 250 28 | 1.452 % | 372.96/373.26 c | 475 | 6789 40703 881095 | 18058 475 28 | 1.452 % | 372.96/373.29 c | 813 | 6788 40703 881095 | 19864 813 25 | 1.481 % | 373.06/373.37 c | 1320 | 6787 40703 881095 | 21850 1320 29 | 1.481 % | 373.16/373.43 c | 2079 | 6787 40703 881095 | 24035 2079 31 | 1.481 % | 373.26/373.54 c | 3221 | 6787 40703 881095 | 26439 3221 30 | 1.481 % | 373.46/373.72 c | 4932 | 6785 40703 881095 | 29083 4932 35 | 1.510 % | 374.16/374.40 c | 7496 | 6782 40703 881095 | 31991 7496 39 | 1.568 % | 374.77/375.07 c | 11340 | 6782 40703 881095 | 35191 11340 39 | 1.568 % | 376.26/376.57 c | 17108 | 6780 40703 881095 | 38710 17108 42 | 1.597 % | 380.15/380.47 c | 25762 | 6778 40703 881095 | 42581 25756 43 | 1.627 % | 389.75/390.06 c =============================================================================== 390.16/390.42 c core #557 390.16/390.42 c Core size: 1566 Core Weight: 1 Total Weight: 557 390.16/390.42 c Elapsed CPU time: 388.767 s Remaining CPU time: 1411.23 s 390.35/390.66 c Learning 28 hard constraints 390.35/390.66 c ============================[ Search Statistics ]============================== 390.35/390.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 390.35/390.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 390.35/390.66 c =============================================================================== 390.35/390.66 c | 0 | 6858 40732 882433 | 13577 0 nan | 0.000 % | 390.45/390.71 c | 104 | 6858 40732 882433 | 14935 104 31 | 1.438 % | 390.45/390.73 c | 254 | 6858 40732 882433 | 16428 254 26 | 1.437 % | 390.45/390.78 c | 479 | 6858 40732 882433 | 18071 479 28 | 1.437 % | 390.55/390.82 c | 816 | 6856 40732 882433 | 19878 816 27 | 1.467 % | 390.55/390.88 c | 1322 | 6856 40732 882433 | 21866 1322 28 | 1.466 % | 390.65/390.95 c | 2082 | 6856 40732 882433 | 24053 2082 31 | 1.467 % | 390.75/391.10 c | 3222 | 6855 40732 882433 | 26458 3222 31 | 1.495 % | 391.04/391.33 c | 4933 | 6855 40732 882433 | 29104 4933 36 | 1.495 % | 391.45/391.74 c | 7496 | 6852 40732 882433 | 32014 7496 41 | 1.556 % | 392.35/392.61 c =============================================================================== 392.45/392.71 c core #558 392.45/392.71 c Core size: 1337 Core Weight: 1 Total Weight: 558 392.45/392.71 c Elapsed CPU time: 391.017 s Remaining CPU time: 1408.98 s 392.55/392.89 c Learning 61 hard constraints 392.55/392.89 c ============================[ Search Statistics ]============================== 392.55/392.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 392.55/392.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 392.55/392.89 c =============================================================================== 392.55/392.89 c | 0 | 6925 40794 885050 | 13598 0 nan | 0.000 % | 392.65/392.93 c | 101 | 6925 40794 885050 | 14957 101 34 | 1.481 % | 392.65/392.99 c | 252 | 6925 40794 885050 | 16453 252 25 | 1.480 % | 392.74/393.02 c | 478 | 6925 40794 885050 | 18098 478 24 | 1.480 % | 392.74/393.05 c | 816 | 6925 40794 885050 | 19908 816 28 | 1.480 % | 392.85/393.16 c | 1322 | 6925 40794 885050 | 21899 1322 27 | 1.480 % | 392.95/393.25 c | 2081 | 6925 40794 885050 | 24089 2081 31 | 1.480 % | 393.05/393.36 c | 3220 | 6925 40794 885050 | 26498 3220 32 | 1.480 % | 393.85/394.10 c | 4930 | 6925 40794 885050 | 29148 4930 34 | 1.480 % | 394.25/394.50 c | 7492 | 6923 40794 885050 | 32063 7492 35 | 1.512 % | 394.75/395.05 c =============================================================================== 394.85/395.18 c core #559 394.85/395.18 c Core size: 1354 Core Weight: 1 Total Weight: 559 394.85/395.18 c Elapsed CPU time: 393.444 s Remaining CPU time: 1406.56 s 395.05/395.36 c Learning 25 hard constraints 395.05/395.36 c ============================[ Search Statistics ]============================== 395.05/395.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 395.05/395.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 395.05/395.36 c =============================================================================== 395.05/395.36 c | 0 | 6984 40820 886101 | 13606 0 nan | 0.000 % | 395.15/395.41 c | 101 | 6984 40820 886101 | 14967 101 26 | 1.496 % | 395.15/395.45 c | 256 | 6984 40820 886101 | 16464 256 22 | 1.495 % | 395.15/395.48 c | 482 | 6984 40820 886101 | 18110 482 22 | 1.495 % | 395.25/395.53 c | 819 | 6983 40820 886101 | 19921 819 22 | 1.523 % | 395.25/395.58 c | 1327 | 6983 40820 886101 | 21913 1327 22 | 1.523 % | 395.34/395.66 c | 2088 | 6973 40820 886101 | 24105 2088 28 | 1.777 % | 395.44/395.79 c | 3227 | 6970 40820 886101 | 26515 3227 30 | 1.809 % | 395.75/396.09 c | 4936 | 6965 40820 886101 | 29167 4936 37 | 1.975 % | 396.65/396.95 c | 7498 | 6953 40820 886101 | 32083 7498 43 | 10.395 % | 398.55/398.86 c | 11343 | 6953 40820 886101 | 35292 11343 46 | 10.480 % | 401.55/401.80 c | 17110 | 6953 40820 886101 | 38821 17110 46 | 10.578 % | 410.34/410.60 c | 25759 | 6340 40820 886101 | 42703 25496 47 | 10.719 % | 439.13/439.40 c | 38738 | 6340 40820 886101 | 46973 38475 48 | 11.100 % | 476.02/476.34 c | 58199 | 6340 40820 886101 | 51671 24132 48 | 11.128 % | 515.30/515.65 c =============================================================================== 517.10/517.42 c core #560 517.10/517.42 c Core size: 1250 Core Weight: 1 Total Weight: 560 517.10/517.42 c Elapsed CPU time: 515.454 s Remaining CPU time: 1284.55 s 517.40/517.72 c Learning 2 hard constraints 517.40/517.72 c ============================[ Search Statistics ]============================== 517.40/517.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 517.40/517.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 517.40/517.72 c =============================================================================== 517.40/517.72 c | 0 | 7046 40823 886280 | 13607 0 nan | 0.000 % | 517.40/517.79 c | 100 | 7046 40823 886280 | 14968 100 23 | 1.483 % | 517.50/517.83 c | 250 | 7042 40823 886280 | 16465 250 27 | 1.538 % | 517.50/517.85 c | 475 | 7042 40823 886280 | 18111 475 25 | 1.538 % | 517.50/517.89 c | 812 | 7042 40823 886280 | 19922 812 27 | 1.538 % | 517.60/517.93 c | 1320 | 7042 40823 886280 | 21915 1320 24 | 1.538 % | 517.60/517.99 c | 2080 | 7042 40823 886280 | 24106 2080 25 | 1.538 % | 517.80/518.11 c | 3221 | 7042 40823 886280 | 26517 3221 34 | 1.538 % | 517.90/518.28 c | 4929 | 7042 40823 886280 | 29169 4929 33 | 1.538 % | 518.30/518.66 c | 7493 | 7041 40823 886280 | 32086 7493 40 | 1.566 % | 519.20/519.51 c | 11337 | 7040 40823 886280 | 35294 11337 49 | 1.566 % | 520.49/520.88 c | 17103 | 7040 40823 886280 | 38824 17103 56 | 1.566 % | 525.19/525.51 c | 25752 | 7028 40823 886280 | 42706 25749 61 | 1.905 % | 534.09/534.48 c | 38727 | 7024 40823 886280 | 46977 38724 68 | 1.902 % | 554.08/554.45 c | 58193 | 7024 40823 886280 | 51675 22229 74 | 1.902 % | 554.29/554.61 c =============================================================================== 554.29/554.63 c core #561 554.29/554.63 c Core size: 1491 Core Weight: 1 Total Weight: 561 554.29/554.63 c Elapsed CPU time: 552.499 s Remaining CPU time: 1247.5 s 554.48/554.87 c Learning 32 hard constraints 554.48/554.87 c ============================[ Search Statistics ]============================== 554.48/554.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 554.48/554.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 554.48/554.87 c =============================================================================== 554.48/554.87 c | 0 | 7108 40856 887757 | 13618 0 nan | 0.000 % | 554.58/554.92 c | 101 | 7108 40856 887757 | 14980 101 35 | 1.471 % | 554.58/554.94 c | 252 | 7108 40856 887757 | 16478 252 29 | 1.469 % | 554.58/554.99 c | 479 | 7108 40856 887757 | 18126 479 41 | 1.469 % | 554.68/555.03 c | 817 | 7108 40856 887757 | 19939 817 36 | 1.469 % | 554.68/555.07 c | 1325 | 7108 40856 887757 | 21932 1325 35 | 1.470 % | 554.78/555.13 c | 2087 | 7108 40856 887757 | 24126 2087 36 | 1.469 % | 554.88/555.25 c | 3228 | 7108 40856 887757 | 26538 3228 34 | 1.469 % | 555.08/555.42 c | 4937 | 7108 40856 887757 | 29192 4937 40 | 1.469 % | 555.28/555.69 c | 7499 | 7108 40856 887757 | 32112 7499 44 | 1.469 % | 556.08/556.41 c | 11345 | 7108 40856 887757 | 35323 11345 51 | 1.469 % | 558.07/558.45 c | 17112 | 7108 40856 887757 | 38855 17112 60 | 1.469 % | 561.38/561.78 c | 25766 | 7108 40856 887757 | 42741 25766 66 | 1.470 % | 572.57/572.94 c | 38744 | 7108 40856 887757 | 47015 38744 74 | 1.469 % | 579.27/579.66 c | 58206 | 7108 40856 887757 | 51716 22064 62 | 1.469 % | 594.86/595.28 c | 87401 | 7106 40856 887757 | 56888 51258 63 | 1.498 % | 653.04/653.49 c | 131192 | 7094 40856 887757 | 62577 49634 111 | 1.722 % | 770.60/771.06 c | 196876 | 7090 40856 887757 | 68835 64238 82 | 1.719 % | 953.62/954.19 c | 295404 | 7086 40856 887757 | 75718 49701 110 | 1.774 % | 1309.18/1309.84 c | 443195 | 7082 40856 887757 | 83290 73311 88 | 1.886 % | 1715.02/1715.81 c | 664878 | 7078 40856 887757 | 91619 81766 75 | 1.885 % |
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-1876171-1245150919/watcher-1876171-1245150919 -o /tmp/evaluation-result-1876171-1245150919/solver-1876171-1245150919 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876171-1245150919.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/64 1909 /proc/meminfo: memFree=1862984/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=3728 CPUtime=0 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 247 0 0 0 0 0 0 0 18 0 1 0 182692616 3817472 231 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 932 231 127 292 0 373 0 [startup+0.076344 s] /proc/loadavg: 0.91 0.97 0.99 3/64 1909 /proc/meminfo: memFree=1862984/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=4124 CPUtime=0.07 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 451 0 0 0 7 0 0 0 18 0 1 0 182692616 4222976 435 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1031 435 253 292 0 472 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4124 [startup+0.101347 s] /proc/loadavg: 0.91 0.97 0.99 3/64 1909 /proc/meminfo: memFree=1862984/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=4256 CPUtime=0.09 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 544 0 0 0 9 0 0 0 18 0 1 0 182692616 4358144 528 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1064 528 299 292 0 505 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4256 [startup+0.30139 s] /proc/loadavg: 0.91 0.97 0.99 3/64 1909 /proc/meminfo: memFree=1862984/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=5156 CPUtime=0.29 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 1120 0 0 0 29 0 0 0 19 0 1 0 182692616 5279744 840 1992294400 134512640 135709839 4294956240 18446744073709551615 134605712 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1289 840 133 292 0 994 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5156 [startup+0.701477 s] /proc/loadavg: 0.91 0.97 0.99 3/64 1909 /proc/meminfo: memFree=1862984/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=5156 CPUtime=0.69 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 1123 0 0 0 69 0 0 0 22 0 1 0 182692616 5279744 843 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1289 843 133 292 0 994 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5156 [startup+1.50265 s] /proc/loadavg: 0.91 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1860032/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=5288 CPUtime=1.49 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 1155 0 0 0 149 0 0 0 25 0 1 0 182692616 5414912 875 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1322 875 133 292 0 1027 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5288 [startup+3.10199 s] /proc/loadavg: 0.91 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1859648/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=5552 CPUtime=3.09 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 1236 0 0 0 308 1 0 0 25 0 1 0 182692616 5685248 956 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1388 956 133 292 0 1093 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5552 [startup+6.30168 s] /proc/loadavg: 0.92 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1858816/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=6476 CPUtime=6.29 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 2050 0 0 0 628 1 0 0 25 0 1 0 182692616 6631424 1165 1992294400 134512640 135709839 4294956240 18446744073709551615 134530643 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 1619 1165 133 292 0 1324 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6476 [startup+12.701 s] /proc/loadavg: 0.93 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1855040/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=10856 CPUtime=12.69 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 3892 0 0 0 1265 4 0 0 25 0 1 0 182692616 11116544 2250 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 2714 2250 135 292 0 2419 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10856 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1845184/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=19900 CPUtime=25.47 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 6366 0 0 0 2535 12 0 0 25 0 1 0 182692616 20377600 4473 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 4975 4473 136 292 0 4680 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 19900 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1838016/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=27300 CPUtime=51.02 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 8650 0 0 0 5078 24 0 0 25 0 1 0 182692616 27955200 6348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 6825 6348 136 292 0 6530 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 27300 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1825216/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=39652 CPUtime=102.19 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 11715 0 0 0 10174 45 0 0 25 0 1 0 182692616 40603648 9413 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 9913 9413 136 292 0 9618 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 39652 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1802112/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=62992 CPUtime=162.17 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 17535 0 0 0 16154 63 0 0 25 0 1 0 182692616 64503808 15233 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 15748 15233 136 292 0 15453 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 62992 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1775616/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=89288 CPUtime=222.13 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 24077 0 0 0 22133 80 0 0 25 0 1 0 182692616 91430912 21775 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 22322 21775 136 292 0 22027 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 89288 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1747776/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=117328 CPUtime=282.12 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 31069 0 0 0 28113 99 0 0 25 0 1 0 182692616 120143872 28767 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 29332 28767 136 292 0 29037 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 117328 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1724672/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=140276 CPUtime=342.09 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 36770 0 0 0 34095 114 0 0 25 0 1 0 182692616 143642624 34468 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 35069 34468 136 292 0 34774 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 140276 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1708096/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=156360 CPUtime=402.05 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 40939 0 0 0 40052 153 0 0 25 0 1 0 182692616 160112640 38538 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 39090 38538 136 292 0 38795 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 156360 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1708096/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=156360 CPUtime=462.01 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 40950 0 0 0 46040 161 0 0 25 0 1 0 182692616 160112640 38549 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 39090 38549 136 292 0 38795 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 156360 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1707840/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=156360 CPUtime=521.99 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 41008 0 0 0 52026 173 0 0 25 0 1 0 182692616 160112640 38607 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 39090 38607 136 292 0 38795 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 156360 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1702720/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=161800 CPUtime=581.97 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 42379 0 0 0 58000 197 0 0 25 0 1 0 182692616 165683200 39978 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 40450 39978 136 292 0 40155 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 161800 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1673280/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=190784 CPUtime=641.95 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 49607 0 0 0 63980 215 0 0 25 0 1 0 182692616 195362816 47206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 47696 47206 136 292 0 47401 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 190784 [startup+702.303 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1601088/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=263008 CPUtime=881.84 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 67578 0 0 0 87915 269 0 0 25 0 1 0 182692616 269320192 65177 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 65752 65177 136 292 0 65457 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 263008 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1579008/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=285224 CPUtime=941.82 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 73119 0 0 0 93902 280 0 0 25 0 1 0 182692616 292069376 70718 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 71306 70718 136 292 0 71011 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 285224 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1563456/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=300872 CPUtime=1001.8 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 76944 0 0 0 99887 293 0 0 25 0 1 0 182692616 308092928 74543 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 75218 74543 136 292 0 74923 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 300872 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1544000/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=320504 CPUtime=1061.78 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 81847 0 0 0 105869 309 0 0 25 0 1 0 182692616 328196096 79446 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 80126 79446 136 292 0 79831 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 320504 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1531584/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=332704 CPUtime=1121.76 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 84887 0 0 0 111858 318 0 0 25 0 1 0 182692616 340688896 82486 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 83176 82486 136 292 0 82881 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 332704 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1523008/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=341604 CPUtime=1181.73 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 87041 0 0 0 117847 326 0 0 25 0 1 0 182692616 349802496 84640 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 85401 84640 136 292 0 85106 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 341604 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1507072/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=357400 CPUtime=1241.71 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 91013 0 0 0 123833 338 0 0 25 0 1 0 182692616 365977600 88612 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 89350 88612 136 292 0 89055 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 357400 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1494528/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=369732 CPUtime=1301.69 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 94093 0 0 0 129822 347 0 0 25 0 1 0 182692616 378605568 91692 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 92433 91692 136 292 0 92138 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 369732 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1474816/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=389892 CPUtime=1361.66 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 99106 0 0 0 135802 364 0 0 25 0 1 0 182692616 399249408 96705 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 97473 96705 136 292 0 97178 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 389892 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1910 /proc/meminfo: memFree=1456320/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=407952 CPUtime=1421.64 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 103630 0 0 0 141784 380 0 0 25 0 1 0 182692616 417742848 101229 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 101988 101229 136 292 0 101693 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 407952 [startup+1482.3 s] /proc/loadavg: 1.04 0.99 0.99 3/65 1910 /proc/meminfo: memFree=1437568/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=426848 CPUtime=1481.62 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 108322 0 0 0 147768 394 0 0 25 0 1 0 182692616 437092352 105921 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 106712 105921 136 292 0 106417 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 426848 [startup+1542.3 s] /proc/loadavg: 1.16 1.04 1.01 2/65 1910 /proc/meminfo: memFree=1423360/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=440856 CPUtime=1541.59 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 111830 0 0 0 153754 405 0 0 25 0 1 0 182692616 451436544 109429 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 110214 109429 136 292 0 109919 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 440856 [startup+1602.3 s] /proc/loadavg: 1.09 1.05 1.01 2/65 1910 /proc/meminfo: memFree=1410112/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=454208 CPUtime=1601.57 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 115152 0 0 0 159740 417 0 0 25 0 1 0 182692616 465108992 112751 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 113552 112751 136 292 0 113257 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 454208 [startup+1662.3 s] /proc/loadavg: 1.06 1.05 1.01 2/65 1910 /proc/meminfo: memFree=1397504/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=466832 CPUtime=1661.54 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 118271 0 0 0 165726 428 0 0 25 0 1 0 182692616 478035968 115870 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 116708 115870 136 292 0 116413 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 466832 [startup+1722.3 s] /proc/loadavg: 1.02 1.04 1.00 2/65 1910 /proc/meminfo: memFree=1387520/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=476912 CPUtime=1721.52 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 120795 0 0 0 171715 437 0 0 25 0 1 0 182692616 488357888 118394 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 119228 118394 136 292 0 118933 0 Current children cumulated CPU time (s) 1721.52 Current children cumulated vsize (KiB) 476912 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 1910 /proc/meminfo: memFree=1369024/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=495340 CPUtime=1781.49 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 125366 0 0 0 177700 449 0 0 25 0 1 0 182692616 507228160 122965 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 123835 122965 136 292 0 123540 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 495340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.03 1.00 2/65 1910 /proc/meminfo: memFree=1360448/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=503796 CPUtime=1800.09 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 127475 0 0 0 179555 454 0 0 25 0 1 0 182692616 515887104 125074 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 125949 125074 136 292 0 125654 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 503796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.03 1.00 2/65 1910 /proc/meminfo: memFree=1360448/2055920 swapFree=4192812/4192956 [pid=1909] ppid=1907 vsize=503796 CPUtime=1800.09 /proc/1909/stat : 1909 (wbo) R 1907 1909 1439 0 -1 4194304 127475 0 0 0 179555 454 0 0 25 0 1 0 182692616 515887104 125074 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1909/statm: 125949 125074 136 292 0 125654 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 503796 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.99 CPU time (s): 1800.18 CPU user time (s): 1795.56 CPU system time (s): 4.6243 CPU usage (%): 99.9554 Max. virtual memory (cumulated for all children) (KiB): 503796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.56 system time used= 4.6243 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127475 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 4215 runsolver used 1.35979 second user time and 3.99739 second system time The end
Begin job on node10 at 2009-06-16 13:15:19 IDJOB=1876171 IDBENCH=2071 IDSOLVER=698 FILE ID=node10/1876171-1245150919 PBS_JOBID= 9363751 Free space on /tmp= 65988 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c4.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-1876171-1245150919/watcher-1876171-1245150919 -o /tmp/evaluation-result-1876171-1245150919/solver-1876171-1245150919 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876171-1245150919.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5468ba071d8bcc474bd73dc9f24f6990 RANDOM SEED=220157112 node10.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.263 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.263 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: 1863464 kB Buffers: 31132 kB Cached: 95212 kB SwapCached: 0 kB Active: 40988 kB Inactive: 98816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863464 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3428 kB Writeback: 0 kB Mapped: 23232 kB Slab: 38720 kB Committed_AS: 178876 kB PageTables: 1376 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-1876171-1245150919.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-16 13:45:22