Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1605.47 | 1606.07 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-des.a.opb |
MD5SUM | 41d95962f9f821e00bc6bf0e503d69d6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 942 |
Best CPU time to get the best result obtained on this benchmark | 338.044 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 957 |
Optimality of the best value was proved | NO |
Number of variables | 6175 |
Total number of constraints | 17920 |
Number of constraints which are clauses | 17920 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 495 |
Number of terms in the objective function | 6175 |
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 | 6175 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6175 |
Number of bits of the biggest sum of numbers | 13 |
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-1875744-1245172220.opb. 0.00/0.00 c Instance file HOME/instance-1875744-1245172220.opb 0.00/0.00 c File size is 1073828 bytes. 0.09/0.15 c Highest Coefficient sum: 496 0.09/0.15 c ============================[ Problem Statistics ]============================= 0.09/0.15 c | | 0.09/0.15 c | Parsing time: 0.15 s | 0.09/0.15 c | Number Variables: 6175 | 0.09/0.15 c | Number Clauses: 24095 | 0.09/0.15 c | Number Cardinality: 0 | 0.09/0.15 c | Number PB Constraints: 0 | 0.09/0.15 c core #1 0.09/0.15 c Core size: 235 Core Weight: 1 Total Weight: 1 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #2 0.09/0.17 c Core size: 235 Core Weight: 1 Total Weight: 2 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.19 c core #3 0.09/0.19 c Core size: 121 Core Weight: 1 Total Weight: 3 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.19/0.21 c core #4 0.19/0.21 c Core size: 56 Core Weight: 1 Total Weight: 4 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #5 0.19/0.23 c Core size: 33 Core Weight: 1 Total Weight: 5 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #6 0.19/0.25 c Core size: 44 Core Weight: 1 Total Weight: 6 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #7 0.19/0.27 c Core size: 48 Core Weight: 1 Total Weight: 7 0.19/0.27 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #8 0.19/0.29 c Core size: 64 Core Weight: 1 Total Weight: 8 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #9 0.29/0.31 c Core size: 15 Core Weight: 1 Total Weight: 9 0.29/0.31 c Elapsed CPU time: 0.308953 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #10 0.29/0.33 c Core size: 9 Core Weight: 1 Total Weight: 10 0.29/0.33 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #11 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: 11 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #12 0.29/0.37 c Core size: 13 Core Weight: 1 Total Weight: 12 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #13 0.29/0.39 c Core size: 19 Core Weight: 1 Total Weight: 13 0.29/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #14 0.39/0.41 c Core size: 12 Core Weight: 1 Total Weight: 14 0.39/0.41 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #15 0.39/0.43 c Core size: 2 Core Weight: 1 Total Weight: 15 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #16 0.39/0.45 c Core size: 405 Core Weight: 1 Total Weight: 16 0.39/0.45 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.48 c core #17 0.39/0.48 c Core size: 12 Core Weight: 1 Total Weight: 17 0.39/0.48 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.50 c core #18 0.39/0.50 c Core size: 2 Core Weight: 1 Total Weight: 18 0.39/0.50 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.52 c core #19 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: 19 0.49/0.52 c Elapsed CPU time: 0.512922 s Remaining CPU time: 1799.49 s 0.49/0.54 c core #20 0.49/0.54 c Core size: 18 Core Weight: 1 Total Weight: 20 0.49/0.54 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.56 c core #21 0.49/0.56 c Core size: 5 Core Weight: 1 Total Weight: 21 0.49/0.56 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.58 c core #22 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: 22 0.49/0.58 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.59/0.60 c core #23 0.59/0.60 c Core size: 16 Core Weight: 1 Total Weight: 23 0.59/0.60 c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #24 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: 24 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #25 0.59/0.64 c Core size: 2 Core Weight: 1 Total Weight: 25 0.59/0.64 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #26 0.59/0.67 c Core size: 6 Core Weight: 1 Total Weight: 26 0.59/0.67 c Elapsed CPU time: 0.661899 s Remaining CPU time: 1799.34 s 0.59/0.69 c core #27 0.59/0.69 c Core size: 6 Core Weight: 1 Total Weight: 27 0.59/0.69 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.69/0.71 c core #28 0.69/0.71 c Core size: 54 Core Weight: 1 Total Weight: 28 0.69/0.71 c Elapsed CPU time: 0.704892 s Remaining CPU time: 1799.3 s 0.69/0.73 c core #29 0.69/0.73 c Core size: 32 Core Weight: 1 Total Weight: 29 0.69/0.73 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #30 0.69/0.75 c Core size: 36 Core Weight: 1 Total Weight: 30 0.69/0.75 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #31 0.69/0.77 c Core size: 43 Core Weight: 1 Total Weight: 31 0.69/0.77 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.69/0.80 c core #32 0.69/0.80 c Core size: 6 Core Weight: 1 Total Weight: 32 0.69/0.80 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #33 0.79/0.82 c Core size: 15 Core Weight: 1 Total Weight: 33 0.79/0.82 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #34 0.79/0.84 c Core size: 2 Core Weight: 1 Total Weight: 34 0.79/0.84 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #35 0.79/0.86 c Core size: 17 Core Weight: 1 Total Weight: 35 0.79/0.86 c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s 0.79/0.89 c core #36 0.79/0.89 c Core size: 29 Core Weight: 1 Total Weight: 36 0.79/0.89 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.89/0.91 c core #37 0.89/0.91 c Core size: 2 Core Weight: 1 Total Weight: 37 0.89/0.91 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #38 0.89/0.93 c Core size: 97 Core Weight: 1 Total Weight: 38 0.89/0.93 c Elapsed CPU time: 0.922859 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #39 0.89/0.95 c Core size: 2 Core Weight: 1 Total Weight: 39 0.89/0.95 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.89/0.98 c core #40 0.89/0.98 c Core size: 2 Core Weight: 1 Total Weight: 40 0.89/0.98 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 1.00/1.00 c core #41 1.00/1.00 c Core size: 4 Core Weight: 1 Total Weight: 41 1.00/1.00 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 1.00/1.02 c core #42 1.00/1.02 c Core size: 59 Core Weight: 1 Total Weight: 42 1.00/1.02 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 1.00/1.04 c core #43 1.00/1.04 c Core size: 11 Core Weight: 1 Total Weight: 43 1.00/1.04 c Elapsed CPU time: 1.03384 s Remaining CPU time: 1798.97 s 1.00/1.07 c core #44 1.00/1.07 c Core size: 4 Core Weight: 1 Total Weight: 44 1.00/1.07 c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s 1.00/1.09 c core #45 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: 45 1.00/1.09 c Elapsed CPU time: 1.07984 s Remaining CPU time: 1798.92 s 1.10/1.11 c core #46 1.10/1.11 c Core size: 6 Core Weight: 1 Total Weight: 46 1.10/1.11 c Elapsed CPU time: 1.10183 s Remaining CPU time: 1798.9 s 1.10/1.13 c core #47 1.10/1.13 c Core size: 30 Core Weight: 1 Total Weight: 47 1.10/1.13 c Elapsed CPU time: 1.12483 s Remaining CPU time: 1798.88 s 1.10/1.16 c core #48 1.10/1.16 c Core size: 17 Core Weight: 1 Total Weight: 48 1.10/1.16 c Elapsed CPU time: 1.14682 s Remaining CPU time: 1798.85 s 1.10/1.18 c core #49 1.10/1.18 c Core size: 2 Core Weight: 1 Total Weight: 49 1.10/1.18 c Elapsed CPU time: 1.16982 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #50 1.19/1.20 c Core size: 9 Core Weight: 1 Total Weight: 50 1.19/1.20 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.19/1.23 c core #51 1.19/1.23 c Core size: 14 Core Weight: 1 Total Weight: 51 1.19/1.23 c Elapsed CPU time: 1.21481 s Remaining CPU time: 1798.79 s 1.19/1.25 c core #52 1.19/1.25 c Core size: 51 Core Weight: 1 Total Weight: 52 1.19/1.25 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.19/1.27 c core #53 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: 53 1.19/1.27 c Elapsed CPU time: 1.26081 s Remaining CPU time: 1798.74 s 1.19/1.30 c core #54 1.19/1.30 c Core size: 2 Core Weight: 1 Total Weight: 54 1.19/1.30 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.29/1.32 c core #55 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: 55 1.29/1.32 c Elapsed CPU time: 1.3068 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #56 1.29/1.34 c Core size: 10 Core Weight: 1 Total Weight: 56 1.29/1.34 c Elapsed CPU time: 1.3298 s Remaining CPU time: 1798.67 s 1.29/1.37 c core #57 1.29/1.37 c Core size: 7 Core Weight: 1 Total Weight: 57 1.29/1.37 c Elapsed CPU time: 1.35279 s Remaining CPU time: 1798.65 s 1.29/1.39 c core #58 1.29/1.39 c Core size: 5 Core Weight: 1 Total Weight: 58 1.29/1.39 c Elapsed CPU time: 1.37579 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #59 1.39/1.41 c Core size: 9 Core Weight: 1 Total Weight: 59 1.39/1.41 c Elapsed CPU time: 1.39979 s Remaining CPU time: 1798.6 s 1.39/1.44 c core #60 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: 60 1.39/1.44 c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s 1.39/1.46 c core #61 1.39/1.46 c Core size: 2 Core Weight: 1 Total Weight: 61 1.39/1.46 c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s 1.39/1.49 c core #62 1.39/1.49 c Core size: 7 Core Weight: 1 Total Weight: 62 1.39/1.49 c Elapsed CPU time: 1.47178 s Remaining CPU time: 1798.53 s 1.49/1.51 c core #63 1.49/1.51 c Core size: 5 Core Weight: 1 Total Weight: 63 1.49/1.51 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.49/1.53 c core #64 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: 64 1.49/1.53 c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s 1.49/1.56 c core #65 1.49/1.56 c Core size: 2 Core Weight: 1 Total Weight: 65 1.49/1.56 c Elapsed CPU time: 1.54476 s Remaining CPU time: 1798.46 s 1.49/1.58 c core #66 1.49/1.58 c Core size: 2 Core Weight: 1 Total Weight: 66 1.49/1.58 c Elapsed CPU time: 1.56876 s Remaining CPU time: 1798.43 s 1.59/1.61 c core #67 1.59/1.61 c Core size: 20 Core Weight: 1 Total Weight: 67 1.59/1.61 c Elapsed CPU time: 1.59376 s Remaining CPU time: 1798.41 s 1.59/1.63 c core #68 1.59/1.63 c Core size: 2 Core Weight: 1 Total Weight: 68 1.59/1.63 c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s 1.59/1.66 c core #69 1.59/1.66 c Core size: 9 Core Weight: 1 Total Weight: 69 1.59/1.66 c Elapsed CPU time: 1.64275 s Remaining CPU time: 1798.36 s 1.59/1.68 c core #70 1.59/1.68 c Core size: 8 Core Weight: 1 Total Weight: 70 1.59/1.68 c Elapsed CPU time: 1.66775 s Remaining CPU time: 1798.33 s 1.69/1.71 c core #71 1.69/1.71 c Core size: 2 Core Weight: 1 Total Weight: 71 1.69/1.71 c Elapsed CPU time: 1.69274 s Remaining CPU time: 1798.31 s 1.69/1.73 c core #72 1.69/1.73 c Core size: 4 Core Weight: 1 Total Weight: 72 1.69/1.73 c Elapsed CPU time: 1.71774 s Remaining CPU time: 1798.28 s 1.69/1.76 c core #73 1.69/1.76 c Core size: 29 Core Weight: 1 Total Weight: 73 1.69/1.76 c Elapsed CPU time: 1.74274 s Remaining CPU time: 1798.26 s 1.69/1.78 c core #74 1.69/1.78 c Core size: 13 Core Weight: 1 Total Weight: 74 1.69/1.78 c Elapsed CPU time: 1.76773 s Remaining CPU time: 1798.23 s 1.79/1.81 c core #75 1.79/1.81 c Core size: 13 Core Weight: 1 Total Weight: 75 1.79/1.81 c Elapsed CPU time: 1.79273 s Remaining CPU time: 1798.21 s 1.79/1.83 c core #76 1.79/1.83 c Core size: 2 Core Weight: 1 Total Weight: 76 1.79/1.83 c Elapsed CPU time: 1.81772 s Remaining CPU time: 1798.18 s 1.79/1.86 c core #77 1.79/1.86 c Core size: 2 Core Weight: 1 Total Weight: 77 1.79/1.86 c Elapsed CPU time: 1.84372 s Remaining CPU time: 1798.16 s 1.79/1.88 c core #78 1.79/1.88 c Core size: 2 Core Weight: 1 Total Weight: 78 1.79/1.88 c Elapsed CPU time: 1.86871 s Remaining CPU time: 1798.13 s 1.90/1.91 c core #79 1.90/1.91 c Core size: 4 Core Weight: 1 Total Weight: 79 1.90/1.91 c Elapsed CPU time: 1.89371 s Remaining CPU time: 1798.11 s 1.90/1.94 c core #80 1.90/1.94 c Core size: 12 Core Weight: 1 Total Weight: 80 1.90/1.94 c Elapsed CPU time: 1.91971 s Remaining CPU time: 1798.08 s 1.90/1.96 c core #81 1.90/1.96 c Core size: 27 Core Weight: 1 Total Weight: 81 1.90/1.96 c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s 1.90/1.99 c core #82 1.90/1.99 c Core size: 2 Core Weight: 1 Total Weight: 82 1.90/1.99 c Elapsed CPU time: 1.9717 s Remaining CPU time: 1798.03 s 2.00/2.01 c core #83 2.00/2.01 c Core size: 2 Core Weight: 1 Total Weight: 83 2.00/2.01 c Elapsed CPU time: 1.9977 s Remaining CPU time: 1798 s 2.00/2.04 c core #84 2.00/2.04 c Core size: 8 Core Weight: 1 Total Weight: 84 2.00/2.04 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 2.00/2.07 c core #85 2.00/2.07 c Core size: 13 Core Weight: 1 Total Weight: 85 2.00/2.07 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 2.00/2.09 c core #86 2.00/2.09 c Core size: 5 Core Weight: 1 Total Weight: 86 2.00/2.09 c Elapsed CPU time: 2.07468 s Remaining CPU time: 1797.93 s 2.10/2.12 c core #87 2.10/2.12 c Core size: 6 Core Weight: 1 Total Weight: 87 2.10/2.12 c Elapsed CPU time: 2.10168 s Remaining CPU time: 1797.9 s 2.10/2.15 c core #88 2.10/2.15 c Core size: 6 Core Weight: 1 Total Weight: 88 2.10/2.15 c Elapsed CPU time: 2.12668 s Remaining CPU time: 1797.87 s 2.10/2.17 c core #89 2.10/2.17 c Core size: 4 Core Weight: 1 Total Weight: 89 2.10/2.17 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.10/2.20 c core #90 2.10/2.20 c Core size: 4 Core Weight: 1 Total Weight: 90 2.10/2.20 c Elapsed CPU time: 2.17867 s Remaining CPU time: 1797.82 s 2.20/2.22 c core #91 2.20/2.22 c Core size: 4 Core Weight: 1 Total Weight: 91 2.20/2.22 c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s 2.20/2.25 c core #92 2.20/2.25 c Core size: 4 Core Weight: 1 Total Weight: 92 2.20/2.25 c Elapsed CPU time: 2.23066 s Remaining CPU time: 1797.77 s 2.20/2.28 c core #93 2.20/2.28 c Core size: 5 Core Weight: 1 Total Weight: 93 2.20/2.28 c Elapsed CPU time: 2.25766 s Remaining CPU time: 1797.74 s 2.29/2.30 c core #94 2.29/2.30 c Core size: 7 Core Weight: 1 Total Weight: 94 2.29/2.30 c Elapsed CPU time: 2.28365 s Remaining CPU time: 1797.72 s 2.29/2.33 c core #95 2.29/2.33 c Core size: 4 Core Weight: 1 Total Weight: 95 2.29/2.33 c Elapsed CPU time: 2.31065 s Remaining CPU time: 1797.69 s 2.29/2.36 c core #96 2.29/2.36 c Core size: 5 Core Weight: 1 Total Weight: 96 2.29/2.36 c Elapsed CPU time: 2.33764 s Remaining CPU time: 1797.66 s 2.29/2.38 c core #97 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: 97 2.29/2.38 c Elapsed CPU time: 2.36364 s Remaining CPU time: 1797.64 s 2.39/2.41 c core #98 2.39/2.41 c Core size: 10 Core Weight: 1 Total Weight: 98 2.39/2.41 c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s 2.39/2.44 c core #99 2.39/2.44 c Core size: 4 Core Weight: 1 Total Weight: 99 2.39/2.44 c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s 2.39/2.47 c core #100 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: 100 2.39/2.47 c Elapsed CPU time: 2.44363 s Remaining CPU time: 1797.56 s 2.39/2.49 c core #101 2.39/2.49 c Core size: 4 Core Weight: 1 Total Weight: 101 2.39/2.49 c Elapsed CPU time: 2.46962 s Remaining CPU time: 1797.53 s 2.49/2.52 c core #102 2.49/2.52 c Core size: 2 Core Weight: 1 Total Weight: 102 2.49/2.52 c Elapsed CPU time: 2.49762 s Remaining CPU time: 1797.5 s 2.49/2.55 c core #103 2.49/2.55 c Core size: 2 Core Weight: 1 Total Weight: 103 2.49/2.55 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.49/2.58 c core #104 2.49/2.58 c Core size: 2 Core Weight: 1 Total Weight: 104 2.49/2.58 c Elapsed CPU time: 2.55161 s Remaining CPU time: 1797.45 s 2.58/2.61 c core #105 2.58/2.61 c Core size: 6 Core Weight: 1 Total Weight: 105 2.58/2.61 c Elapsed CPU time: 2.57961 s Remaining CPU time: 1797.42 s 2.58/2.63 c core #106 2.58/2.63 c Core size: 2 Core Weight: 1 Total Weight: 106 2.58/2.63 c Elapsed CPU time: 2.6056 s Remaining CPU time: 1797.39 s 2.58/2.66 c core #107 2.58/2.66 c Core size: 2 Core Weight: 1 Total Weight: 107 2.58/2.66 c Elapsed CPU time: 2.6336 s Remaining CPU time: 1797.37 s 2.58/2.69 c core #108 2.58/2.69 c Core size: 2 Core Weight: 1 Total Weight: 108 2.58/2.69 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.69/2.72 c core #109 2.69/2.72 c Core size: 9 Core Weight: 1 Total Weight: 109 2.69/2.72 c Elapsed CPU time: 2.68959 s Remaining CPU time: 1797.31 s 2.69/2.75 c core #110 2.69/2.75 c Core size: 2 Core Weight: 1 Total Weight: 110 2.69/2.75 c Elapsed CPU time: 2.71859 s Remaining CPU time: 1797.28 s 2.69/2.78 c core #111 2.69/2.78 c Core size: 7 Core Weight: 1 Total Weight: 111 2.69/2.78 c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s 2.79/2.80 c core #112 2.79/2.80 c Core size: 9 Core Weight: 1 Total Weight: 112 2.79/2.80 c Elapsed CPU time: 2.77458 s Remaining CPU time: 1797.23 s 2.79/2.83 c core #113 2.79/2.83 c Core size: 9 Core Weight: 1 Total Weight: 113 2.79/2.83 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.79/2.86 c core #114 2.79/2.86 c Core size: 2 Core Weight: 1 Total Weight: 114 2.79/2.86 c Elapsed CPU time: 2.83157 s Remaining CPU time: 1797.17 s 2.79/2.89 c core #115 2.79/2.89 c Core size: 3 Core Weight: 1 Total Weight: 115 2.79/2.89 c Elapsed CPU time: 2.85956 s Remaining CPU time: 1797.14 s 2.89/2.92 c core #116 2.89/2.92 c Core size: 7 Core Weight: 1 Total Weight: 116 2.89/2.92 c Elapsed CPU time: 2.88856 s Remaining CPU time: 1797.11 s 2.89/2.95 c core #117 2.89/2.95 c Core size: 3 Core Weight: 1 Total Weight: 117 2.89/2.95 c Elapsed CPU time: 2.91756 s Remaining CPU time: 1797.08 s 2.89/2.98 c core #118 2.89/2.98 c Core size: 4 Core Weight: 1 Total Weight: 118 2.89/2.98 c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s 2.99/3.00 c core #119 2.99/3.00 c Core size: 2 Core Weight: 1 Total Weight: 119 2.99/3.00 c Elapsed CPU time: 2.97455 s Remaining CPU time: 1797.03 s 2.99/3.03 c core #120 2.99/3.03 c Core size: 6 Core Weight: 1 Total Weight: 120 2.99/3.03 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 s 2.99/3.06 c core #121 2.99/3.06 c Core size: 2 Core Weight: 1 Total Weight: 121 2.99/3.06 c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s 2.99/3.09 c core #122 2.99/3.09 c Core size: 2 Core Weight: 1 Total Weight: 122 2.99/3.09 c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s 3.09/3.12 c core #123 3.09/3.12 c Core size: 6 Core Weight: 1 Total Weight: 123 3.09/3.12 c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s 3.09/3.15 c core #124 3.09/3.15 c Core size: 3 Core Weight: 1 Total Weight: 124 3.09/3.15 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.09/3.18 c core #125 3.09/3.18 c Core size: 3 Core Weight: 1 Total Weight: 125 3.09/3.18 c Elapsed CPU time: 3.14652 s Remaining CPU time: 1796.85 s 3.19/3.20 c core #126 3.19/3.20 c Core size: 3 Core Weight: 1 Total Weight: 126 3.19/3.20 c Elapsed CPU time: 3.17452 s Remaining CPU time: 1796.83 s 3.19/3.24 c core #127 3.19/3.24 c Core size: 6 Core Weight: 1 Total Weight: 127 3.19/3.24 c Elapsed CPU time: 3.20451 s Remaining CPU time: 1796.8 s 3.19/3.26 c core #128 3.19/3.26 c Core size: 4 Core Weight: 1 Total Weight: 128 3.19/3.26 c Elapsed CPU time: 3.23351 s Remaining CPU time: 1796.77 s 3.19/3.29 c core #129 3.19/3.29 c Core size: 21 Core Weight: 1 Total Weight: 129 3.19/3.29 c Elapsed CPU time: 3.2625 s Remaining CPU time: 1796.74 s 3.29/3.32 c core #130 3.29/3.32 c Core size: 2 Core Weight: 1 Total Weight: 130 3.29/3.32 c Elapsed CPU time: 3.2925 s Remaining CPU time: 1796.71 s 3.29/3.35 c core #131 3.29/3.35 c Core size: 4 Core Weight: 1 Total Weight: 131 3.29/3.35 c Elapsed CPU time: 3.3215 s Remaining CPU time: 1796.68 s 3.29/3.38 c core #132 3.29/3.38 c Core size: 5 Core Weight: 1 Total Weight: 132 3.29/3.38 c Elapsed CPU time: 3.34949 s Remaining CPU time: 1796.65 s 3.39/3.41 c core #133 3.39/3.41 c Core size: 7 Core Weight: 1 Total Weight: 133 3.39/3.41 c Elapsed CPU time: 3.38049 s Remaining CPU time: 1796.62 s 3.39/3.44 c core #134 3.39/3.44 c Core size: 2 Core Weight: 1 Total Weight: 134 3.39/3.44 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.39/3.47 c core #135 3.39/3.47 c Core size: 5 Core Weight: 1 Total Weight: 135 3.39/3.47 c Elapsed CPU time: 3.43948 s Remaining CPU time: 1796.56 s 3.49/3.50 c core #136 3.49/3.50 c Core size: 16 Core Weight: 1 Total Weight: 136 3.49/3.50 c Elapsed CPU time: 3.46947 s Remaining CPU time: 1796.53 s 3.49/3.53 c core #137 3.49/3.53 c Core size: 5 Core Weight: 1 Total Weight: 137 3.49/3.53 c Elapsed CPU time: 3.49947 s Remaining CPU time: 1796.5 s 3.49/3.56 c core #138 3.49/3.56 c Core size: 3 Core Weight: 1 Total Weight: 138 3.49/3.56 c Elapsed CPU time: 3.52846 s Remaining CPU time: 1796.47 s 3.49/3.59 c core #139 3.49/3.59 c Core size: 13 Core Weight: 1 Total Weight: 139 3.49/3.59 c Elapsed CPU time: 3.55846 s Remaining CPU time: 1796.44 s 3.59/3.62 c core #140 3.59/3.62 c Core size: 2 Core Weight: 1 Total Weight: 140 3.59/3.62 c Elapsed CPU time: 3.58845 s Remaining CPU time: 1796.41 s 3.59/3.65 c core #141 3.59/3.65 c Core size: 5 Core Weight: 1 Total Weight: 141 3.59/3.65 c Elapsed CPU time: 3.61845 s Remaining CPU time: 1796.38 s 3.59/3.68 c core #142 3.59/3.68 c Core size: 2 Core Weight: 1 Total Weight: 142 3.59/3.68 c Elapsed CPU time: 3.64845 s Remaining CPU time: 1796.35 s 3.69/3.72 c core #143 3.69/3.72 c Core size: 2 Core Weight: 1 Total Weight: 143 3.69/3.72 c Elapsed CPU time: 3.67944 s Remaining CPU time: 1796.32 s 3.69/3.75 c core #144 3.69/3.75 c Core size: 5 Core Weight: 1 Total Weight: 144 3.69/3.75 c Elapsed CPU time: 3.71043 s Remaining CPU time: 1796.29 s 3.69/3.78 c core #145 3.69/3.78 c Core size: 2 Core Weight: 1 Total Weight: 145 3.69/3.78 c Elapsed CPU time: 3.74143 s Remaining CPU time: 1796.26 s 3.79/3.81 c core #146 3.79/3.81 c Core size: 2 Core Weight: 1 Total Weight: 146 3.79/3.81 c Elapsed CPU time: 3.77243 s Remaining CPU time: 1796.23 s 3.79/3.84 c core #147 3.79/3.84 c Core size: 2 Core Weight: 1 Total Weight: 147 3.79/3.84 c Elapsed CPU time: 3.80342 s Remaining CPU time: 1796.2 s 3.79/3.87 c core #148 3.79/3.87 c Core size: 4 Core Weight: 1 Total Weight: 148 3.79/3.87 c Elapsed CPU time: 3.83342 s Remaining CPU time: 1796.17 s 3.89/3.90 c core #149 3.89/3.90 c Core size: 5 Core Weight: 1 Total Weight: 149 3.89/3.90 c Elapsed CPU time: 3.86441 s Remaining CPU time: 1796.14 s 3.89/3.93 c core #150 3.89/3.93 c Core size: 12 Core Weight: 1 Total Weight: 150 3.89/3.93 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.89/3.96 c core #151 3.89/3.96 c Core size: 4 Core Weight: 1 Total Weight: 151 3.89/3.96 c Elapsed CPU time: 3.9274 s Remaining CPU time: 1796.07 s 3.89/3.99 c core #152 3.89/3.99 c Core size: 4 Core Weight: 1 Total Weight: 152 3.89/3.99 c Elapsed CPU time: 3.9584 s Remaining CPU time: 1796.04 s 3.99/4.03 c core #153 3.99/4.03 c Core size: 4 Core Weight: 1 Total Weight: 153 3.99/4.03 c Elapsed CPU time: 3.98939 s Remaining CPU time: 1796.01 s 3.99/4.06 c core #154 3.99/4.06 c Core size: 4 Core Weight: 1 Total Weight: 154 3.99/4.06 c Elapsed CPU time: 4.02139 s Remaining CPU time: 1795.98 s 3.99/4.09 c core #155 3.99/4.09 c Core size: 6 Core Weight: 1 Total Weight: 155 3.99/4.09 c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s 4.08/4.12 c core #156 4.08/4.12 c Core size: 6 Core Weight: 1 Total Weight: 156 4.08/4.12 c Elapsed CPU time: 4.08438 s Remaining CPU time: 1795.92 s 4.08/4.15 c core #157 4.08/4.15 c Core size: 3 Core Weight: 1 Total Weight: 157 4.08/4.15 c Elapsed CPU time: 4.11637 s Remaining CPU time: 1795.88 s 4.08/4.19 c core #158 4.08/4.19 c Core size: 2 Core Weight: 1 Total Weight: 158 4.08/4.19 c Elapsed CPU time: 4.14737 s Remaining CPU time: 1795.85 s 4.19/4.22 c core #159 4.19/4.22 c Core size: 2 Core Weight: 1 Total Weight: 159 4.19/4.22 c Elapsed CPU time: 4.17936 s Remaining CPU time: 1795.82 s 4.19/4.25 c core #160 4.19/4.25 c Core size: 2 Core Weight: 1 Total Weight: 160 4.19/4.25 c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s 4.19/4.28 c core #161 4.19/4.28 c Core size: 4 Core Weight: 1 Total Weight: 161 4.19/4.28 c Elapsed CPU time: 4.24335 s Remaining CPU time: 1795.76 s 4.30/4.31 c core #162 4.30/4.31 c Core size: 2 Core Weight: 1 Total Weight: 162 4.30/4.31 c Elapsed CPU time: 4.27535 s Remaining CPU time: 1795.72 s 4.30/4.35 c core #163 4.30/4.35 c Core size: 4 Core Weight: 1 Total Weight: 163 4.30/4.35 c Elapsed CPU time: 4.30734 s Remaining CPU time: 1795.69 s 4.30/4.38 c core #164 4.30/4.38 c Core size: 5 Core Weight: 1 Total Weight: 164 4.30/4.38 c Elapsed CPU time: 4.33934 s Remaining CPU time: 1795.66 s 4.40/4.41 c core #165 4.40/4.41 c Core size: 2 Core Weight: 1 Total Weight: 165 4.40/4.41 c Elapsed CPU time: 4.37134 s Remaining CPU time: 1795.63 s 4.40/4.44 c core #166 4.40/4.44 c Core size: 4 Core Weight: 1 Total Weight: 166 4.40/4.44 c Elapsed CPU time: 4.40333 s Remaining CPU time: 1795.6 s 4.40/4.48 c core #167 4.40/4.48 c Core size: 4 Core Weight: 1 Total Weight: 167 4.40/4.48 c Elapsed CPU time: 4.43532 s Remaining CPU time: 1795.56 s 4.49/4.51 c core #168 4.49/4.51 c Core size: 5 Core Weight: 1 Total Weight: 168 4.49/4.51 c Elapsed CPU time: 4.46732 s Remaining CPU time: 1795.53 s 4.49/4.54 c core #169 4.49/4.54 c Core size: 6 Core Weight: 1 Total Weight: 169 4.49/4.54 c Elapsed CPU time: 4.50031 s Remaining CPU time: 1795.5 s 4.49/4.57 c core #170 4.49/4.57 c Core size: 7 Core Weight: 1 Total Weight: 170 4.49/4.57 c Elapsed CPU time: 4.53331 s Remaining CPU time: 1795.47 s 4.59/4.61 c core #171 4.59/4.61 c Core size: 2 Core Weight: 1 Total Weight: 171 4.59/4.61 c Elapsed CPU time: 4.5663 s Remaining CPU time: 1795.43 s 4.59/4.64 c core #172 4.59/4.64 c Core size: 14 Core Weight: 1 Total Weight: 172 4.59/4.64 c Elapsed CPU time: 4.5983 s Remaining CPU time: 1795.4 s 4.59/4.67 c core #173 4.59/4.67 c Core size: 22 Core Weight: 1 Total Weight: 173 4.59/4.67 c Elapsed CPU time: 4.6293 s Remaining CPU time: 1795.37 s 4.69/4.70 c core #174 4.69/4.70 c Core size: 17 Core Weight: 1 Total Weight: 174 4.69/4.70 c Elapsed CPU time: 4.66129 s Remaining CPU time: 1795.34 s 4.69/4.74 c core #175 4.69/4.74 c Core size: 2 Core Weight: 1 Total Weight: 175 4.69/4.74 c Elapsed CPU time: 4.69329 s Remaining CPU time: 1795.31 s 4.69/4.77 c core #176 4.69/4.77 c Core size: 5 Core Weight: 1 Total Weight: 176 4.69/4.77 c Elapsed CPU time: 4.72628 s Remaining CPU time: 1795.27 s 4.79/4.80 c core #177 4.79/4.80 c Core size: 8 Core Weight: 1 Total Weight: 177 4.79/4.80 c Elapsed CPU time: 4.75928 s Remaining CPU time: 1795.24 s 4.79/4.83 c core #178 4.79/4.83 c Core size: 6 Core Weight: 1 Total Weight: 178 4.79/4.83 c Elapsed CPU time: 4.79127 s Remaining CPU time: 1795.21 s 4.79/4.87 c core #179 4.79/4.87 c Core size: 4 Core Weight: 1 Total Weight: 179 4.79/4.87 c Elapsed CPU time: 4.82527 s Remaining CPU time: 1795.17 s 4.89/4.90 c core #180 4.89/4.90 c Core size: 6 Core Weight: 1 Total Weight: 180 4.89/4.90 c Elapsed CPU time: 4.85826 s Remaining CPU time: 1795.14 s 4.89/4.93 c core #181 4.89/4.93 c Core size: 10 Core Weight: 1 Total Weight: 181 4.89/4.93 c Elapsed CPU time: 4.89126 s Remaining CPU time: 1795.11 s 4.89/4.97 c core #182 4.89/4.97 c Core size: 2 Core Weight: 1 Total Weight: 182 4.89/4.97 c Elapsed CPU time: 4.92425 s Remaining CPU time: 1795.08 s 4.99/5.00 c core #183 4.99/5.00 c Core size: 2 Core Weight: 1 Total Weight: 183 4.99/5.00 c Elapsed CPU time: 4.95825 s Remaining CPU time: 1795.04 s 4.99/5.03 c core #184 4.99/5.03 c Core size: 2 Core Weight: 1 Total Weight: 184 4.99/5.03 c Elapsed CPU time: 4.99124 s Remaining CPU time: 1795.01 s 4.99/5.07 c core #185 4.99/5.07 c Core size: 5 Core Weight: 1 Total Weight: 185 4.99/5.07 c Elapsed CPU time: 5.02424 s Remaining CPU time: 1794.98 s 5.09/5.10 c core #186 5.09/5.10 c Core size: 2 Core Weight: 1 Total Weight: 186 5.09/5.10 c Elapsed CPU time: 5.05823 s Remaining CPU time: 1794.94 s 5.09/5.13 c core #187 5.09/5.13 c Core size: 2 Core Weight: 1 Total Weight: 187 5.09/5.13 c Elapsed CPU time: 5.09123 s Remaining CPU time: 1794.91 s 5.09/5.17 c core #188 5.09/5.17 c Core size: 17 Core Weight: 1 Total Weight: 188 5.09/5.17 c Elapsed CPU time: 5.12422 s Remaining CPU time: 1794.88 s 5.19/5.20 c core #189 5.19/5.20 c Core size: 5 Core Weight: 1 Total Weight: 189 5.19/5.20 c Elapsed CPU time: 5.15822 s Remaining CPU time: 1794.84 s 5.19/5.23 c core #190 5.19/5.23 c Core size: 4 Core Weight: 1 Total Weight: 190 5.19/5.23 c Elapsed CPU time: 5.19221 s Remaining CPU time: 1794.81 s 5.19/5.27 c core #191 5.19/5.27 c Core size: 17 Core Weight: 1 Total Weight: 191 5.19/5.27 c Elapsed CPU time: 5.2252 s Remaining CPU time: 1794.77 s 5.29/5.30 c core #192 5.29/5.30 c Core size: 18 Core Weight: 1 Total Weight: 192 5.29/5.30 c Elapsed CPU time: 5.2592 s Remaining CPU time: 1794.74 s 5.29/5.34 c core #193 5.29/5.34 c Core size: 5 Core Weight: 1 Total Weight: 193 5.29/5.34 c Elapsed CPU time: 5.29219 s Remaining CPU time: 1794.71 s 5.29/5.37 c core #194 5.29/5.37 c Core size: 2 Core Weight: 1 Total Weight: 194 5.29/5.37 c Elapsed CPU time: 5.32619 s Remaining CPU time: 1794.67 s 5.39/5.40 c core #195 5.39/5.40 c Core size: 2 Core Weight: 1 Total Weight: 195 5.39/5.40 c Elapsed CPU time: 5.36018 s Remaining CPU time: 1794.64 s 5.39/5.44 c core #196 5.39/5.44 c Core size: 5 Core Weight: 1 Total Weight: 196 5.39/5.44 c Elapsed CPU time: 5.39318 s Remaining CPU time: 1794.61 s 5.39/5.47 c core #197 5.39/5.47 c Core size: 2 Core Weight: 1 Total Weight: 197 5.39/5.47 c Elapsed CPU time: 5.42717 s Remaining CPU time: 1794.57 s 5.49/5.51 c core #198 5.49/5.51 c Core size: 4 Core Weight: 1 Total Weight: 198 5.49/5.51 c Elapsed CPU time: 5.46117 s Remaining CPU time: 1794.54 s 5.49/5.54 c core #199 5.49/5.54 c Core size: 25 Core Weight: 1 Total Weight: 199 5.49/5.54 c Elapsed CPU time: 5.49616 s Remaining CPU time: 1794.5 s 5.49/5.57 c core #200 5.49/5.57 c Core size: 4 Core Weight: 1 Total Weight: 200 5.49/5.57 c Elapsed CPU time: 5.53016 s Remaining CPU time: 1794.47 s 5.59/5.61 c core #201 5.59/5.61 c Core size: 7 Core Weight: 1 Total Weight: 201 5.59/5.61 c Elapsed CPU time: 5.56515 s Remaining CPU time: 1794.43 s 5.59/5.64 c core #202 5.59/5.64 c Core size: 3 Core Weight: 1 Total Weight: 202 5.59/5.64 c Elapsed CPU time: 5.59915 s Remaining CPU time: 1794.4 s 5.59/5.68 c core #203 5.59/5.68 c Core size: 5 Core Weight: 1 Total Weight: 203 5.59/5.68 c Elapsed CPU time: 5.63314 s Remaining CPU time: 1794.37 s 5.69/5.71 c core #204 5.69/5.71 c Core size: 2 Core Weight: 1 Total Weight: 204 5.69/5.71 c Elapsed CPU time: 5.66714 s Remaining CPU time: 1794.33 s 5.69/5.75 c core #205 5.69/5.75 c Core size: 3 Core Weight: 1 Total Weight: 205 5.69/5.75 c Elapsed CPU time: 5.70213 s Remaining CPU time: 1794.3 s 5.69/5.78 c core #206 5.69/5.78 c Core size: 11 Core Weight: 1 Total Weight: 206 5.69/5.78 c Elapsed CPU time: 5.73613 s Remaining CPU time: 1794.26 s 5.79/5.82 c core #207 5.79/5.82 c Core size: 9 Core Weight: 1 Total Weight: 207 5.79/5.82 c Elapsed CPU time: 5.77112 s Remaining CPU time: 1794.23 s 5.79/5.85 c core #208 5.79/5.85 c Core size: 4 Core Weight: 1 Total Weight: 208 5.79/5.85 c Elapsed CPU time: 5.80612 s Remaining CPU time: 1794.19 s 5.79/5.89 c core #209 5.79/5.89 c Core size: 2 Core Weight: 1 Total Weight: 209 5.79/5.89 c Elapsed CPU time: 5.84011 s Remaining CPU time: 1794.16 s 5.89/5.92 c core #210 5.89/5.92 c Core size: 4 Core Weight: 1 Total Weight: 210 5.89/5.92 c Elapsed CPU time: 5.87511 s Remaining CPU time: 1794.12 s 5.89/5.95 c core #211 5.89/5.95 c Core size: 7 Core Weight: 1 Total Weight: 211 5.89/5.95 c Elapsed CPU time: 5.9091 s Remaining CPU time: 1794.09 s 5.89/5.99 c core #212 5.89/5.99 c Core size: 6 Core Weight: 1 Total Weight: 212 5.89/5.99 c Elapsed CPU time: 5.9431 s Remaining CPU time: 1794.06 s 5.99/6.02 c core #213 5.99/6.02 c Core size: 4 Core Weight: 1 Total Weight: 213 5.99/6.02 c Elapsed CPU time: 5.97809 s Remaining CPU time: 1794.02 s 5.99/6.06 c core #214 5.99/6.06 c Core size: 4 Core Weight: 1 Total Weight: 214 5.99/6.06 c Elapsed CPU time: 6.01309 s Remaining CPU time: 1793.99 s 5.99/6.09 c core #215 5.99/6.09 c Core size: 3 Core Weight: 1 Total Weight: 215 5.99/6.09 c Elapsed CPU time: 6.04908 s Remaining CPU time: 1793.95 s 6.09/6.13 c core #216 6.09/6.13 c Core size: 6 Core Weight: 1 Total Weight: 216 6.09/6.13 c Elapsed CPU time: 6.08408 s Remaining CPU time: 1793.92 s 6.09/6.17 c core #217 6.09/6.17 c Core size: 3 Core Weight: 1 Total Weight: 217 6.09/6.17 c Elapsed CPU time: 6.11907 s Remaining CPU time: 1793.88 s 6.19/6.20 c core #218 6.19/6.20 c Core size: 2 Core Weight: 1 Total Weight: 218 6.19/6.20 c Elapsed CPU time: 6.15406 s Remaining CPU time: 1793.85 s 6.19/6.24 c core #219 6.19/6.24 c Core size: 3 Core Weight: 1 Total Weight: 219 6.19/6.24 c Elapsed CPU time: 6.19006 s Remaining CPU time: 1793.81 s 6.19/6.27 c core #220 6.19/6.27 c Core size: 5 Core Weight: 1 Total Weight: 220 6.19/6.27 c Elapsed CPU time: 6.22505 s Remaining CPU time: 1793.77 s 6.29/6.31 c core #221 6.29/6.31 c Core size: 2 Core Weight: 1 Total Weight: 221 6.29/6.31 c Elapsed CPU time: 6.26005 s Remaining CPU time: 1793.74 s 6.29/6.34 c core #222 6.29/6.34 c Core size: 2 Core Weight: 1 Total Weight: 222 6.29/6.34 c Elapsed CPU time: 6.29504 s Remaining CPU time: 1793.7 s 6.29/6.38 c core #223 6.29/6.38 c Core size: 2 Core Weight: 1 Total Weight: 223 6.29/6.38 c Elapsed CPU time: 6.32904 s Remaining CPU time: 1793.67 s 6.38/6.41 c core #224 6.38/6.41 c Core size: 2 Core Weight: 1 Total Weight: 224 6.38/6.41 c Elapsed CPU time: 6.36403 s Remaining CPU time: 1793.64 s 6.38/6.45 c core #225 6.38/6.45 c Core size: 9 Core Weight: 1 Total Weight: 225 6.38/6.45 c Elapsed CPU time: 6.39903 s Remaining CPU time: 1793.6 s 6.38/6.48 c core #226 6.38/6.48 c Core size: 2 Core Weight: 1 Total Weight: 226 6.38/6.48 c Elapsed CPU time: 6.43402 s Remaining CPU time: 1793.57 s 6.49/6.52 c core #227 6.49/6.52 c Core size: 2 Core Weight: 1 Total Weight: 227 6.49/6.52 c Elapsed CPU time: 6.47002 s Remaining CPU time: 1793.53 s 6.49/6.55 c core #228 6.49/6.55 c Core size: 2 Core Weight: 1 Total Weight: 228 6.49/6.55 c Elapsed CPU time: 6.50501 s Remaining CPU time: 1793.49 s 6.49/6.59 c core #229 6.49/6.59 c Core size: 4 Core Weight: 1 Total Weight: 229 6.49/6.59 c Elapsed CPU time: 6.54 s Remaining CPU time: 1793.46 s 6.59/6.62 c core #230 6.59/6.62 c Core size: 2 Core Weight: 1 Total Weight: 230 6.59/6.62 c Elapsed CPU time: 6.575 s Remaining CPU time: 1793.42 s 6.59/6.66 c core #231 6.59/6.66 c Core size: 3 Core Weight: 1 Total Weight: 231 6.59/6.66 c Elapsed CPU time: 6.61099 s Remaining CPU time: 1793.39 s 6.59/6.69 c core #232 6.59/6.69 c Core size: 9 Core Weight: 1 Total Weight: 232 6.59/6.69 c Elapsed CPU time: 6.64699 s Remaining CPU time: 1793.35 s 6.68/6.73 c core #233 6.68/6.73 c Core size: 7 Core Weight: 1 Total Weight: 233 6.68/6.73 c Elapsed CPU time: 6.68298 s Remaining CPU time: 1793.32 s 6.68/6.77 c core #234 6.68/6.77 c Core size: 6 Core Weight: 1 Total Weight: 234 6.68/6.77 c Elapsed CPU time: 6.71798 s Remaining CPU time: 1793.28 s 6.78/6.80 c core #235 6.78/6.80 c Core size: 5 Core Weight: 1 Total Weight: 235 6.78/6.80 c Elapsed CPU time: 6.75397 s Remaining CPU time: 1793.25 s 6.78/6.84 c core #236 6.78/6.84 c Core size: 5 Core Weight: 1 Total Weight: 236 6.78/6.84 c Elapsed CPU time: 6.78897 s Remaining CPU time: 1793.21 s 6.78/6.87 c core #237 6.78/6.87 c Core size: 15 Core Weight: 1 Total Weight: 237 6.78/6.87 c Elapsed CPU time: 6.82696 s Remaining CPU time: 1793.17 s 6.88/6.91 c core #238 6.88/6.91 c Core size: 3 Core Weight: 1 Total Weight: 238 6.88/6.91 c Elapsed CPU time: 6.86096 s Remaining CPU time: 1793.14 s 6.88/6.94 c core #239 6.88/6.94 c Core size: 2 Core Weight: 1 Total Weight: 239 6.88/6.94 c Elapsed CPU time: 6.89695 s Remaining CPU time: 1793.1 s 6.88/6.98 c core #240 6.88/6.98 c Core size: 4 Core Weight: 1 Total Weight: 240 6.88/6.98 c Elapsed CPU time: 6.93295 s Remaining CPU time: 1793.07 s 6.98/7.02 c core #241 6.98/7.02 c Core size: 2 Core Weight: 1 Total Weight: 241 6.98/7.02 c Elapsed CPU time: 6.96794 s Remaining CPU time: 1793.03 s 6.98/7.05 c core #242 6.98/7.05 c Core size: 2 Core Weight: 1 Total Weight: 242 6.98/7.05 c Elapsed CPU time: 7.00394 s Remaining CPU time: 1793 s 6.98/7.09 c core #243 6.98/7.09 c Core size: 7 Core Weight: 1 Total Weight: 243 6.98/7.09 c Elapsed CPU time: 7.04093 s Remaining CPU time: 1792.96 s 7.08/7.12 c core #244 7.08/7.12 c Core size: 2 Core Weight: 1 Total Weight: 244 7.08/7.12 c Elapsed CPU time: 7.07492 s Remaining CPU time: 1792.93 s 7.08/7.16 c core #245 7.08/7.16 c Core size: 4 Core Weight: 1 Total Weight: 245 7.08/7.16 c Elapsed CPU time: 7.11192 s Remaining CPU time: 1792.89 s 7.08/7.19 c core #246 7.08/7.19 c Core size: 4 Core Weight: 1 Total Weight: 246 7.08/7.19 c Elapsed CPU time: 7.14591 s Remaining CPU time: 1792.85 s 7.18/7.23 c core #247 7.18/7.23 c Core size: 6 Core Weight: 1 Total Weight: 247 7.18/7.23 c Elapsed CPU time: 7.18191 s Remaining CPU time: 1792.82 s 7.18/7.27 c core #248 7.18/7.27 c Core size: 2 Core Weight: 1 Total Weight: 248 7.18/7.27 c Elapsed CPU time: 7.2169 s Remaining CPU time: 1792.78 s 7.29/7.30 c core #249 7.29/7.30 c Core size: 4 Core Weight: 1 Total Weight: 249 7.29/7.30 c Elapsed CPU time: 7.2529 s Remaining CPU time: 1792.75 s 7.29/7.34 c core #250 7.29/7.34 c Core size: 4 Core Weight: 1 Total Weight: 250 7.29/7.34 c Elapsed CPU time: 7.28989 s Remaining CPU time: 1792.71 s 7.29/7.38 c core #251 7.29/7.38 c Core size: 4 Core Weight: 1 Total Weight: 251 7.29/7.38 c Elapsed CPU time: 7.32489 s Remaining CPU time: 1792.68 s 7.39/7.41 c core #252 7.39/7.41 c Core size: 2 Core Weight: 1 Total Weight: 252 7.39/7.41 c Elapsed CPU time: 7.36088 s Remaining CPU time: 1792.64 s 7.39/7.45 c core #253 7.39/7.45 c Core size: 4 Core Weight: 1 Total Weight: 253 7.39/7.45 c Elapsed CPU time: 7.39787 s Remaining CPU time: 1792.6 s 7.39/7.48 c core #254 7.39/7.48 c Core size: 16 Core Weight: 1 Total Weight: 254 7.39/7.48 c Elapsed CPU time: 7.43287 s Remaining CPU time: 1792.57 s 7.49/7.52 c core #255 7.49/7.52 c Core size: 4 Core Weight: 1 Total Weight: 255 7.49/7.52 c Elapsed CPU time: 7.46986 s Remaining CPU time: 1792.53 s 7.49/7.56 c core #256 7.49/7.56 c Core size: 2 Core Weight: 1 Total Weight: 256 7.49/7.56 c Elapsed CPU time: 7.50486 s Remaining CPU time: 1792.5 s 7.49/7.60 c core #257 7.49/7.60 c Core size: 6 Core Weight: 1 Total Weight: 257 7.49/7.60 c Elapsed CPU time: 7.54385 s Remaining CPU time: 1792.46 s 7.59/7.63 c core #258 7.59/7.63 c Core size: 3 Core Weight: 1 Total Weight: 258 7.59/7.63 c Elapsed CPU time: 7.57885 s Remaining CPU time: 1792.42 s 7.59/7.67 c core #259 7.59/7.67 c Core size: 2 Core Weight: 1 Total Weight: 259 7.59/7.67 c Elapsed CPU time: 7.61584 s Remaining CPU time: 1792.38 s 7.69/7.70 c core #260 7.69/7.70 c Core size: 2 Core Weight: 1 Total Weight: 260 7.69/7.70 c Elapsed CPU time: 7.65184 s Remaining CPU time: 1792.35 s 7.69/7.74 c core #261 7.69/7.74 c Core size: 2 Core Weight: 1 Total Weight: 261 7.69/7.74 c Elapsed CPU time: 7.68783 s Remaining CPU time: 1792.31 s 7.69/7.78 c core #262 7.69/7.78 c Core size: 3 Core Weight: 1 Total Weight: 262 7.69/7.78 c Elapsed CPU time: 7.72382 s Remaining CPU time: 1792.28 s 7.79/7.82 c core #263 7.79/7.82 c Core size: 6 Core Weight: 1 Total Weight: 263 7.79/7.82 c Elapsed CPU time: 7.76182 s Remaining CPU time: 1792.24 s 7.79/7.85 c core #264 7.79/7.85 c Core size: 4 Core Weight: 1 Total Weight: 264 7.79/7.85 c Elapsed CPU time: 7.79581 s Remaining CPU time: 1792.2 s 7.79/7.89 c core #265 7.79/7.89 c Core size: 3 Core Weight: 1 Total Weight: 265 7.79/7.89 c Elapsed CPU time: 7.83381 s Remaining CPU time: 1792.17 s 7.89/7.92 c core #266 7.89/7.92 c Core size: 3 Core Weight: 1 Total Weight: 266 7.89/7.92 c Elapsed CPU time: 7.8688 s Remaining CPU time: 1792.13 s 7.89/7.96 c core #267 7.89/7.96 c Core size: 2 Core Weight: 1 Total Weight: 267 7.89/7.96 c Elapsed CPU time: 7.9068 s Remaining CPU time: 1792.09 s 7.89/8.00 c core #268 7.89/8.00 c Core size: 2 Core Weight: 1 Total Weight: 268 7.89/8.00 c Elapsed CPU time: 7.94279 s Remaining CPU time: 1792.06 s 7.99/8.03 c core #269 7.99/8.03 c Core size: 4 Core Weight: 1 Total Weight: 269 7.99/8.03 c Elapsed CPU time: 7.97979 s Remaining CPU time: 1792.02 s 7.99/8.07 c core #270 7.99/8.07 c Core size: 4 Core Weight: 1 Total Weight: 270 7.99/8.07 c Elapsed CPU time: 8.01478 s Remaining CPU time: 1791.99 s 8.09/8.11 c core #271 8.09/8.11 c Core size: 2 Core Weight: 1 Total Weight: 271 8.09/8.11 c Elapsed CPU time: 8.05177 s Remaining CPU time: 1791.95 s 8.09/8.14 c core #272 8.09/8.14 c Core size: 20 Core Weight: 1 Total Weight: 272 8.09/8.14 c Elapsed CPU time: 8.08877 s Remaining CPU time: 1791.91 s 8.09/8.18 c core #273 8.09/8.18 c Core size: 8 Core Weight: 1 Total Weight: 273 8.09/8.18 c Elapsed CPU time: 8.12576 s Remaining CPU time: 1791.87 s 8.19/8.22 c core #274 8.19/8.22 c Core size: 2 Core Weight: 1 Total Weight: 274 8.19/8.22 c Elapsed CPU time: 8.16276 s Remaining CPU time: 1791.84 s 8.19/8.25 c core #275 8.19/8.25 c Core size: 3 Core Weight: 1 Total Weight: 275 8.19/8.25 c Elapsed CPU time: 8.19975 s Remaining CPU time: 1791.8 s 8.19/8.29 c core #276 8.19/8.29 c Core size: 2 Core Weight: 1 Total Weight: 276 8.19/8.29 c Elapsed CPU time: 8.23575 s Remaining CPU time: 1791.76 s 8.29/8.33 c core #277 8.29/8.33 c Core size: 5 Core Weight: 1 Total Weight: 277 8.29/8.33 c Elapsed CPU time: 8.27574 s Remaining CPU time: 1791.72 s 8.29/8.37 c core #278 8.29/8.37 c Core size: 3 Core Weight: 1 Total Weight: 278 8.29/8.37 c Elapsed CPU time: 8.30974 s Remaining CPU time: 1791.69 s 8.38/8.40 c core #279 8.38/8.40 c Core size: 2 Core Weight: 1 Total Weight: 279 8.38/8.40 c Elapsed CPU time: 8.34673 s Remaining CPU time: 1791.65 s 8.38/8.44 c core #280 8.38/8.44 c Core size: 2 Core Weight: 1 Total Weight: 280 8.38/8.44 c Elapsed CPU time: 8.38273 s Remaining CPU time: 1791.62 s 8.38/8.48 c core #281 8.38/8.48 c Core size: 5 Core Weight: 1 Total Weight: 281 8.38/8.48 c Elapsed CPU time: 8.42272 s Remaining CPU time: 1791.58 s 8.48/8.51 c core #282 8.48/8.51 c Core size: 6 Core Weight: 1 Total Weight: 282 8.48/8.51 c Elapsed CPU time: 8.45671 s Remaining CPU time: 1791.54 s 8.48/8.55 c core #283 8.48/8.55 c Core size: 12 Core Weight: 1 Total Weight: 283 8.48/8.55 c Elapsed CPU time: 8.49671 s Remaining CPU time: 1791.5 s 8.48/8.59 c core #284 8.48/8.59 c Core size: 2 Core Weight: 1 Total Weight: 284 8.48/8.59 c Elapsed CPU time: 8.5317 s Remaining CPU time: 1791.47 s 8.58/8.63 c core #285 8.58/8.63 c Core size: 6 Core Weight: 1 Total Weight: 285 8.58/8.63 c Elapsed CPU time: 8.5697 s Remaining CPU time: 1791.43 s 8.58/8.66 c core #286 8.58/8.66 c Core size: 4 Core Weight: 1 Total Weight: 286 8.58/8.66 c Elapsed CPU time: 8.60369 s Remaining CPU time: 1791.4 s 8.70/8.70 c core #287 8.70/8.70 c Core size: 2 Core Weight: 1 Total Weight: 287 8.70/8.70 c Elapsed CPU time: 8.64169 s Remaining CPU time: 1791.36 s 8.70/8.74 c core #288 8.70/8.74 c Core size: 6 Core Weight: 1 Total Weight: 288 8.70/8.74 c Elapsed CPU time: 8.67768 s Remaining CPU time: 1791.32 s 8.70/8.78 c core #289 8.70/8.78 c Core size: 4 Core Weight: 1 Total Weight: 289 8.70/8.78 c Elapsed CPU time: 8.71567 s Remaining CPU time: 1791.28 s 8.80/8.81 c core #290 8.80/8.81 c Core size: 6 Core Weight: 1 Total Weight: 290 8.80/8.81 c Elapsed CPU time: 8.75267 s Remaining CPU time: 1791.25 s 8.80/8.85 c core #291 8.80/8.85 c Core size: 4 Core Weight: 1 Total Weight: 291 8.80/8.85 c Elapsed CPU time: 8.78966 s Remaining CPU time: 1791.21 s 8.80/8.89 c core #292 8.80/8.89 c Core size: 2 Core Weight: 1 Total Weight: 292 8.80/8.89 c Elapsed CPU time: 8.82666 s Remaining CPU time: 1791.17 s 8.89/8.93 c core #293 8.89/8.93 c Core size: 4 Core Weight: 1 Total Weight: 293 8.89/8.93 c Elapsed CPU time: 8.86565 s Remaining CPU time: 1791.13 s 8.89/8.96 c core #294 8.89/8.96 c Core size: 2 Core Weight: 1 Total Weight: 294 8.89/8.96 c Elapsed CPU time: 8.90165 s Remaining CPU time: 1791.1 s 8.99/9.00 c core #295 8.99/9.00 c Core size: 4 Core Weight: 1 Total Weight: 295 8.99/9.00 c Elapsed CPU time: 8.94164 s Remaining CPU time: 1791.06 s 8.99/9.04 c core #296 8.99/9.04 c Core size: 4 Core Weight: 1 Total Weight: 296 8.99/9.04 c Elapsed CPU time: 8.97663 s Remaining CPU time: 1791.02 s 8.99/9.08 c core #297 8.99/9.08 c Core size: 4 Core Weight: 1 Total Weight: 297 8.99/9.08 c Elapsed CPU time: 9.01363 s Remaining CPU time: 1790.99 s 9.09/9.11 c core #298 9.09/9.11 c Core size: 9 Core Weight: 1 Total Weight: 298 9.09/9.11 c Elapsed CPU time: 9.05062 s Remaining CPU time: 1790.95 s 9.09/9.15 c core #299 9.09/9.15 c Core size: 5 Core Weight: 1 Total Weight: 299 9.09/9.15 c Elapsed CPU time: 9.08662 s Remaining CPU time: 1790.91 s 9.09/9.19 c core #300 9.09/9.19 c Core size: 2 Core Weight: 1 Total Weight: 300 9.09/9.19 c Elapsed CPU time: 9.12361 s Remaining CPU time: 1790.88 s 9.19/9.23 c core #301 9.19/9.23 c Core size: 2 Core Weight: 1 Total Weight: 301 9.19/9.23 c Elapsed CPU time: 9.16261 s Remaining CPU time: 1790.84 s 9.19/9.27 c core #302 9.19/9.27 c Core size: 2 Core Weight: 1 Total Weight: 302 9.19/9.27 c Elapsed CPU time: 9.2006 s Remaining CPU time: 1790.8 s 9.29/9.31 c core #303 9.29/9.31 c Core size: 4 Core Weight: 1 Total Weight: 303 9.29/9.31 c Elapsed CPU time: 9.2406 s Remaining CPU time: 1790.76 s 9.29/9.34 c core #304 9.29/9.34 c Core size: 2 Core Weight: 1 Total Weight: 304 9.29/9.34 c Elapsed CPU time: 9.27659 s Remaining CPU time: 1790.72 s 9.29/9.38 c core #305 9.29/9.38 c Core size: 2 Core Weight: 1 Total Weight: 305 9.29/9.38 c Elapsed CPU time: 9.31358 s Remaining CPU time: 1790.69 s 9.39/9.42 c core #306 9.39/9.42 c Core size: 2 Core Weight: 1 Total Weight: 306 9.39/9.42 c Elapsed CPU time: 9.35158 s Remaining CPU time: 1790.65 s 9.39/9.46 c core #307 9.39/9.46 c Core size: 14 Core Weight: 1 Total Weight: 307 9.39/9.46 c Elapsed CPU time: 9.39157 s Remaining CPU time: 1790.61 s 9.39/9.49 c core #308 9.39/9.49 c Core size: 2 Core Weight: 1 Total Weight: 308 9.39/9.49 c Elapsed CPU time: 9.42757 s Remaining CPU time: 1790.57 s 9.49/9.53 c core #309 9.49/9.53 c Core size: 2 Core Weight: 1 Total Weight: 309 9.49/9.53 c Elapsed CPU time: 9.46556 s Remaining CPU time: 1790.53 s 9.49/9.57 c core #310 9.49/9.57 c Core size: 2 Core Weight: 1 Total Weight: 310 9.49/9.57 c Elapsed CPU time: 9.50255 s Remaining CPU time: 1790.5 s 9.59/9.61 c core #311 9.59/9.61 c Core size: 2 Core Weight: 1 Total Weight: 311 9.59/9.61 c Elapsed CPU time: 9.54055 s Remaining CPU time: 1790.46 s 9.59/9.64 c core #312 9.59/9.64 c Core size: 6 Core Weight: 1 Total Weight: 312 9.59/9.64 c Elapsed CPU time: 9.57754 s Remaining CPU time: 1790.42 s 9.59/9.68 c core #313 9.59/9.68 c Core size: 6 Core Weight: 1 Total Weight: 313 9.59/9.68 c Elapsed CPU time: 9.61554 s Remaining CPU time: 1790.38 s 9.69/9.72 c core #314 9.69/9.72 c Core size: 6 Core Weight: 1 Total Weight: 314 9.69/9.72 c Elapsed CPU time: 9.65353 s Remaining CPU time: 1790.35 s 9.69/9.76 c core #315 9.69/9.76 c Core size: 3 Core Weight: 1 Total Weight: 315 9.69/9.76 c Elapsed CPU time: 9.69153 s Remaining CPU time: 1790.31 s 9.69/9.80 c core #316 9.69/9.80 c Core size: 4 Core Weight: 1 Total Weight: 316 9.69/9.80 c Elapsed CPU time: 9.73052 s Remaining CPU time: 1790.27 s 9.79/9.84 c core #317 9.79/9.84 c Core size: 6 Core Weight: 1 Total Weight: 317 9.79/9.84 c Elapsed CPU time: 9.77051 s Remaining CPU time: 1790.23 s 9.79/9.87 c core #318 9.79/9.87 c Core size: 4 Core Weight: 1 Total Weight: 318 9.79/9.87 c Elapsed CPU time: 9.80551 s Remaining CPU time: 1790.19 s 9.89/9.91 c core #319 9.89/9.91 c Core size: 4 Core Weight: 1 Total Weight: 319 9.89/9.91 c Elapsed CPU time: 9.8435 s Remaining CPU time: 1790.16 s 9.89/9.95 c core #320 9.89/9.95 c Core size: 2 Core Weight: 1 Total Weight: 320 9.89/9.95 c Elapsed CPU time: 9.8815 s Remaining CPU time: 1790.12 s 9.89/9.99 c core #321 9.89/9.99 c Core size: 2 Core Weight: 1 Total Weight: 321 9.89/9.99 c Elapsed CPU time: 9.91949 s Remaining CPU time: 1790.08 s 9.99/10.02 c core #322 9.99/10.02 c Core size: 2 Core Weight: 1 Total Weight: 322 9.99/10.02 c Elapsed CPU time: 9.95749 s Remaining CPU time: 1790.04 s 9.99/10.06 c core #323 9.99/10.06 c Core size: 4 Core Weight: 1 Total Weight: 323 9.99/10.06 c Elapsed CPU time: 9.99748 s Remaining CPU time: 1790 s 10.09/10.10 c core #324 10.09/10.10 c Core size: 2 Core Weight: 1 Total Weight: 324 10.09/10.10 c Elapsed CPU time: 10.0335 s Remaining CPU time: 1789.97 s 10.09/10.14 c core #325 10.09/10.14 c Core size: 2 Core Weight: 1 Total Weight: 325 10.09/10.14 c Elapsed CPU time: 10.0715 s Remaining CPU time: 1789.93 s 10.09/10.18 c core #326 10.09/10.18 c Core size: 2 Core Weight: 1 Total Weight: 326 10.09/10.18 c Elapsed CPU time: 10.1085 s Remaining CPU time: 1789.89 s 10.18/10.22 c core #327 10.18/10.22 c Core size: 4 Core Weight: 1 Total Weight: 327 10.18/10.22 c Elapsed CPU time: 10.1485 s Remaining CPU time: 1789.85 s 10.18/10.25 c core #328 10.18/10.25 c Core size: 6 Core Weight: 1 Total Weight: 328 10.18/10.25 c Elapsed CPU time: 10.1825 s Remaining CPU time: 1789.82 s 10.18/10.29 c core #329 10.18/10.29 c Core size: 7 Core Weight: 1 Total Weight: 329 10.18/10.29 c Elapsed CPU time: 10.2214 s Remaining CPU time: 1789.78 s 10.29/10.33 c core #330 10.29/10.33 c Core size: 6 Core Weight: 1 Total Weight: 330 10.29/10.33 c Elapsed CPU time: 10.2594 s Remaining CPU time: 1789.74 s 10.29/10.37 c core #331 10.29/10.37 c Core size: 4 Core Weight: 1 Total Weight: 331 10.29/10.37 c Elapsed CPU time: 10.2984 s Remaining CPU time: 1789.7 s 10.39/10.41 c core #332 10.39/10.41 c Core size: 2 Core Weight: 1 Total Weight: 332 10.39/10.41 c Elapsed CPU time: 10.3354 s Remaining CPU time: 1789.66 s 10.39/10.45 c core #333 10.39/10.45 c Core size: 5 Core Weight: 1 Total Weight: 333 10.39/10.45 c Elapsed CPU time: 10.3764 s Remaining CPU time: 1789.62 s 10.39/10.48 c core #334 10.39/10.48 c Core size: 7 Core Weight: 1 Total Weight: 334 10.39/10.48 c Elapsed CPU time: 10.4134 s Remaining CPU time: 1789.59 s 10.49/10.52 c core #335 10.49/10.52 c Core size: 2 Core Weight: 1 Total Weight: 335 10.49/10.52 c Elapsed CPU time: 10.4504 s Remaining CPU time: 1789.55 s 10.49/10.56 c core #336 10.49/10.56 c Core size: 4 Core Weight: 1 Total Weight: 336 10.49/10.56 c Elapsed CPU time: 10.4884 s Remaining CPU time: 1789.51 s 10.59/10.60 c core #337 10.59/10.60 c Core size: 2 Core Weight: 1 Total Weight: 337 10.59/10.60 c Elapsed CPU time: 10.5274 s Remaining CPU time: 1789.47 s 10.59/10.64 c core #338 10.59/10.64 c Core size: 2 Core Weight: 1 Total Weight: 338 10.59/10.64 c Elapsed CPU time: 10.5654 s Remaining CPU time: 1789.43 s 10.59/10.68 c core #339 10.59/10.68 c Core size: 2 Core Weight: 1 Total Weight: 339 10.59/10.68 c Elapsed CPU time: 10.6034 s Remaining CPU time: 1789.4 s 10.69/10.71 c core #340 10.69/10.71 c Core size: 2 Core Weight: 1 Total Weight: 340 10.69/10.71 c Elapsed CPU time: 10.6414 s Remaining CPU time: 1789.36 s 10.69/10.75 c core #341 10.69/10.75 c Core size: 2 Core Weight: 1 Total Weight: 341 10.69/10.75 c Elapsed CPU time: 10.6794 s Remaining CPU time: 1789.32 s 10.69/10.79 c core #342 10.69/10.79 c Core size: 4 Core Weight: 1 Total Weight: 342 10.69/10.79 c Elapsed CPU time: 10.7164 s Remaining CPU time: 1789.28 s 10.79/10.83 c core #343 10.79/10.83 c Core size: 4 Core Weight: 1 Total Weight: 343 10.79/10.83 c Elapsed CPU time: 10.7544 s Remaining CPU time: 1789.25 s 10.79/10.87 c core #344 10.79/10.87 c Core size: 6 Core Weight: 1 Total Weight: 344 10.79/10.87 c Elapsed CPU time: 10.7924 s Remaining CPU time: 1789.21 s 10.89/10.91 c core #345 10.89/10.91 c Core size: 4 Core Weight: 1 Total Weight: 345 10.89/10.91 c Elapsed CPU time: 10.8314 s Remaining CPU time: 1789.17 s 10.89/10.94 c core #346 10.89/10.94 c Core size: 2 Core Weight: 1 Total Weight: 346 10.89/10.94 c Elapsed CPU time: 10.8693 s Remaining CPU time: 1789.13 s 10.89/10.98 c core #347 10.89/10.98 c Core size: 2 Core Weight: 1 Total Weight: 347 10.89/10.98 c Elapsed CPU time: 10.9073 s Remaining CPU time: 1789.09 s 10.99/11.02 c core #348 10.99/11.02 c Core size: 2 Core Weight: 1 Total Weight: 348 10.99/11.02 c Elapsed CPU time: 10.9453 s Remaining CPU time: 1789.05 s 10.99/11.06 c core #349 10.99/11.06 c Core size: 6 Core Weight: 1 Total Weight: 349 10.99/11.06 c Elapsed CPU time: 10.9863 s Remaining CPU time: 1789.01 s 11.09/11.10 c core #350 11.09/11.10 c Core size: 13 Core Weight: 1 Total Weight: 350 11.09/11.10 c Elapsed CPU time: 11.0223 s Remaining CPU time: 1788.98 s 11.09/11.14 c core #351 11.09/11.14 c Core size: 12 Core Weight: 1 Total Weight: 351 11.09/11.14 c Elapsed CPU time: 11.0613 s Remaining CPU time: 1788.94 s 11.09/11.17 c core #352 11.09/11.17 c Core size: 24 Core Weight: 1 Total Weight: 352 11.09/11.17 c Elapsed CPU time: 11.0993 s Remaining CPU time: 1788.9 s 11.19/11.21 c core #353 11.19/11.21 c Core size: 31 Core Weight: 1 Total Weight: 353 11.19/11.21 c Elapsed CPU time: 11.1383 s Remaining CPU time: 1788.86 s 11.19/11.25 c core #354 11.19/11.25 c Core size: 10 Core Weight: 1 Total Weight: 354 11.19/11.25 c Elapsed CPU time: 11.1783 s Remaining CPU time: 1788.82 s 11.19/11.29 c core #355 11.19/11.29 c Core size: 4 Core Weight: 1 Total Weight: 355 11.19/11.29 c Elapsed CPU time: 11.2173 s Remaining CPU time: 1788.78 s 11.29/11.33 c core #356 11.29/11.33 c Core size: 5 Core Weight: 1 Total Weight: 356 11.29/11.33 c Elapsed CPU time: 11.2563 s Remaining CPU time: 1788.74 s 11.29/11.37 c core #357 11.29/11.37 c Core size: 22 Core Weight: 1 Total Weight: 357 11.29/11.37 c Elapsed CPU time: 11.2983 s Remaining CPU time: 1788.7 s 11.39/11.41 c core #358 11.39/11.41 c Core size: 12 Core Weight: 1 Total Weight: 358 11.39/11.41 c Elapsed CPU time: 11.3353 s Remaining CPU time: 1788.66 s 11.39/11.45 c core #359 11.39/11.45 c Core size: 18 Core Weight: 1 Total Weight: 359 11.39/11.45 c Elapsed CPU time: 11.3773 s Remaining CPU time: 1788.62 s 11.39/11.49 c core #360 11.39/11.49 c Core size: 13 Core Weight: 1 Total Weight: 360 11.39/11.49 c Elapsed CPU time: 11.4143 s Remaining CPU time: 1788.59 s 11.49/11.53 c core #361 11.49/11.53 c Core size: 33 Core Weight: 1 Total Weight: 361 11.49/11.53 c Elapsed CPU time: 11.4563 s Remaining CPU time: 1788.54 s 11.49/11.57 c core #362 11.49/11.57 c Core size: 21 Core Weight: 1 Total Weight: 362 11.49/11.57 c Elapsed CPU time: 11.4943 s Remaining CPU time: 1788.51 s 11.59/11.61 c core #363 11.59/11.61 c Core size: 9 Core Weight: 1 Total Weight: 363 11.59/11.61 c Elapsed CPU time: 11.5342 s Remaining CPU time: 1788.47 s 11.59/11.65 c core #364 11.59/11.65 c Core size: 18 Core Weight: 1 Total Weight: 364 11.59/11.65 c Elapsed CPU time: 11.5742 s Remaining CPU time: 1788.43 s 11.59/11.69 c core #365 11.59/11.69 c Core size: 9 Core Weight: 1 Total Weight: 365 11.59/11.69 c Elapsed CPU time: 11.6142 s Remaining CPU time: 1788.39 s 11.69/11.73 c core #366 11.69/11.73 c Core size: 9 Core Weight: 1 Total Weight: 366 11.69/11.73 c Elapsed CPU time: 11.6542 s Remaining CPU time: 1788.35 s 11.69/11.77 c core #367 11.69/11.77 c Core size: 9 Core Weight: 1 Total Weight: 367 11.69/11.77 c Elapsed CPU time: 11.6942 s Remaining CPU time: 1788.31 s 11.79/11.81 c core #368 11.79/11.81 c Core size: 16 Core Weight: 1 Total Weight: 368 11.79/11.81 c Elapsed CPU time: 11.7332 s Remaining CPU time: 1788.27 s 11.79/11.85 c core #369 11.79/11.85 c Core size: 6 Core Weight: 1 Total Weight: 369 11.79/11.85 c Elapsed CPU time: 11.7752 s Remaining CPU time: 1788.22 s 11.79/11.89 c core #370 11.79/11.89 c Core size: 21 Core Weight: 1 Total Weight: 370 11.79/11.89 c Elapsed CPU time: 11.8152 s Remaining CPU time: 1788.18 s 11.89/11.93 c core #371 11.89/11.93 c Core size: 15 Core Weight: 1 Total Weight: 371 11.89/11.93 c Elapsed CPU time: 11.8552 s Remaining CPU time: 1788.14 s 11.89/11.97 c core #372 11.89/11.97 c Core size: 3 Core Weight: 1 Total Weight: 372 11.89/11.97 c Elapsed CPU time: 11.8952 s Remaining CPU time: 1788.1 s 11.99/12.01 c core #373 11.99/12.01 c Core size: 6 Core Weight: 1 Total Weight: 373 11.99/12.01 c Elapsed CPU time: 11.9382 s Remaining CPU time: 1788.06 s 11.99/12.05 c core #374 11.99/12.05 c Core size: 20 Core Weight: 1 Total Weight: 374 11.99/12.05 c Elapsed CPU time: 11.9772 s Remaining CPU time: 1788.02 s 11.99/12.09 c core #375 11.99/12.09 c Core size: 6 Core Weight: 1 Total Weight: 375 11.99/12.09 c Elapsed CPU time: 12.0152 s Remaining CPU time: 1787.98 s 12.09/12.13 c core #376 12.09/12.13 c Core size: 25 Core Weight: 1 Total Weight: 376 12.09/12.13 c Elapsed CPU time: 12.0552 s Remaining CPU time: 1787.94 s 12.09/12.17 c core #377 12.09/12.17 c Core size: 4 Core Weight: 1 Total Weight: 377 12.09/12.17 c Elapsed CPU time: 12.0952 s Remaining CPU time: 1787.9 s 12.19/12.21 c core #378 12.19/12.21 c Core size: 5 Core Weight: 1 Total Weight: 378 12.19/12.21 c Elapsed CPU time: 12.1362 s Remaining CPU time: 1787.86 s 12.19/12.25 c core #379 12.19/12.25 c Core size: 13 Core Weight: 1 Total Weight: 379 12.19/12.25 c Elapsed CPU time: 12.1791 s Remaining CPU time: 1787.82 s 12.19/12.29 c core #380 12.19/12.29 c Core size: 8 Core Weight: 1 Total Weight: 380 12.19/12.29 c Elapsed CPU time: 12.2171 s Remaining CPU time: 1787.78 s 12.29/12.34 c core #381 12.29/12.34 c Core size: 41 Core Weight: 1 Total Weight: 381 12.29/12.34 c Elapsed CPU time: 12.2611 s Remaining CPU time: 1787.74 s 12.29/12.38 c core #382 12.29/12.38 c Core size: 15 Core Weight: 1 Total Weight: 382 12.29/12.38 c Elapsed CPU time: 12.2991 s Remaining CPU time: 1787.7 s 12.38/12.42 c core #383 12.38/12.42 c Core size: 43 Core Weight: 1 Total Weight: 383 12.38/12.42 c Elapsed CPU time: 12.3431 s Remaining CPU time: 1787.66 s 12.38/12.46 c core #384 12.38/12.46 c Core size: 18 Core Weight: 1 Total Weight: 384 12.38/12.46 c Elapsed CPU time: 12.3811 s Remaining CPU time: 1787.62 s 12.48/12.50 c core #385 12.48/12.50 c Core size: 11 Core Weight: 1 Total Weight: 385 12.48/12.50 c Elapsed CPU time: 12.4221 s Remaining CPU time: 1787.58 s 12.48/12.54 c core #386 12.48/12.54 c Core size: 9 Core Weight: 1 Total Weight: 386 12.48/12.54 c Elapsed CPU time: 12.4631 s Remaining CPU time: 1787.54 s 12.48/12.58 c core #387 12.48/12.58 c Core size: 11 Core Weight: 1 Total Weight: 387 12.48/12.58 c Elapsed CPU time: 12.5051 s Remaining CPU time: 1787.49 s 12.58/12.62 c core #388 12.58/12.62 c Core size: 13 Core Weight: 1 Total Weight: 388 12.58/12.62 c Elapsed CPU time: 12.5461 s Remaining CPU time: 1787.45 s 12.58/12.67 c core #389 12.58/12.67 c Core size: 11 Core Weight: 1 Total Weight: 389 12.58/12.67 c Elapsed CPU time: 12.5871 s Remaining CPU time: 1787.41 s 12.68/12.71 c core #390 12.68/12.71 c Core size: 11 Core Weight: 1 Total Weight: 390 12.68/12.71 c Elapsed CPU time: 12.6291 s Remaining CPU time: 1787.37 s 12.68/12.75 c core #391 12.68/12.75 c Core size: 21 Core Weight: 1 Total Weight: 391 12.68/12.75 c Elapsed CPU time: 12.6701 s Remaining CPU time: 1787.33 s 12.68/12.79 c core #392 12.68/12.79 c Core size: 20 Core Weight: 1 Total Weight: 392 12.68/12.79 c Elapsed CPU time: 12.7121 s Remaining CPU time: 1787.29 s 12.78/12.83 c core #393 12.78/12.83 c Core size: 41 Core Weight: 1 Total Weight: 393 12.78/12.83 c Elapsed CPU time: 12.7561 s Remaining CPU time: 1787.24 s 12.78/12.87 c core #394 12.78/12.87 c Core size: 7 Core Weight: 1 Total Weight: 394 12.78/12.87 c Elapsed CPU time: 12.7951 s Remaining CPU time: 1787.2 s 12.88/12.92 c core #395 12.88/12.92 c Core size: 33 Core Weight: 1 Total Weight: 395 12.88/12.92 c Elapsed CPU time: 12.839 s Remaining CPU time: 1787.16 s 12.88/12.96 c core #396 12.88/12.96 c Core size: 14 Core Weight: 1 Total Weight: 396 12.88/12.96 c Elapsed CPU time: 12.879 s Remaining CPU time: 1787.12 s 12.98/13.00 c core #397 12.98/13.00 c Core size: 12 Core Weight: 1 Total Weight: 397 12.98/13.00 c Elapsed CPU time: 12.921 s Remaining CPU time: 1787.08 s 12.98/13.04 c core #398 12.98/13.04 c Core size: 22 Core Weight: 1 Total Weight: 398 12.98/13.04 c Elapsed CPU time: 12.963 s Remaining CPU time: 1787.04 s 12.98/13.08 c core #399 12.98/13.08 c Core size: 12 Core Weight: 1 Total Weight: 399 12.98/13.08 c Elapsed CPU time: 13.005 s Remaining CPU time: 1786.99 s 13.09/13.13 c core #400 13.09/13.13 c Core size: 18 Core Weight: 1 Total Weight: 400 13.09/13.13 c Elapsed CPU time: 13.047 s Remaining CPU time: 1786.95 s 13.09/13.17 c core #401 13.09/13.17 c Core size: 8 Core Weight: 1 Total Weight: 401 13.09/13.17 c Elapsed CPU time: 13.09 s Remaining CPU time: 1786.91 s 13.19/13.21 c core #402 13.19/13.21 c Core size: 6 Core Weight: 1 Total Weight: 402 13.19/13.21 c Elapsed CPU time: 13.132 s Remaining CPU time: 1786.87 s 13.19/13.25 c core #403 13.19/13.25 c Core size: 5 Core Weight: 1 Total Weight: 403 13.19/13.25 c Elapsed CPU time: 13.174 s Remaining CPU time: 1786.83 s 13.19/13.29 c core #404 13.19/13.29 c Core size: 4 Core Weight: 1 Total Weight: 404 13.19/13.29 c Elapsed CPU time: 13.217 s Remaining CPU time: 1786.78 s 13.28/13.34 c core #405 13.28/13.34 c Core size: 16 Core Weight: 1 Total Weight: 405 13.28/13.34 c Elapsed CPU time: 13.259 s Remaining CPU time: 1786.74 s 13.28/13.38 c core #406 13.28/13.38 c Core size: 15 Core Weight: 1 Total Weight: 406 13.28/13.38 c Elapsed CPU time: 13.301 s Remaining CPU time: 1786.7 s 13.38/13.42 c core #407 13.38/13.42 c Core size: 18 Core Weight: 1 Total Weight: 407 13.38/13.42 c Elapsed CPU time: 13.344 s Remaining CPU time: 1786.66 s 13.38/13.46 c core #408 13.38/13.46 c Core size: 14 Core Weight: 1 Total Weight: 408 13.38/13.46 c Elapsed CPU time: 13.387 s Remaining CPU time: 1786.61 s 13.48/13.51 c core #409 13.48/13.51 c Core size: 35 Core Weight: 1 Total Weight: 409 13.48/13.51 c Elapsed CPU time: 13.432 s Remaining CPU time: 1786.57 s 13.48/13.55 c core #410 13.48/13.55 c Core size: 24 Core Weight: 1 Total Weight: 410 13.48/13.55 c Elapsed CPU time: 13.472 s Remaining CPU time: 1786.53 s 13.48/13.59 c core #411 13.48/13.59 c Core size: 8 Core Weight: 1 Total Weight: 411 13.48/13.59 c Elapsed CPU time: 13.5149 s Remaining CPU time: 1786.49 s 13.58/13.63 c core #412 13.58/13.63 c Core size: 15 Core Weight: 1 Total Weight: 412 13.58/13.63 c Elapsed CPU time: 13.5569 s Remaining CPU time: 1786.44 s 13.58/13.68 c core #413 13.58/13.68 c Core size: 4 Core Weight: 1 Total Weight: 413 13.58/13.68 c Elapsed CPU time: 13.5989 s Remaining CPU time: 1786.4 s 13.68/13.72 c core #414 13.68/13.72 c Core size: 4 Core Weight: 1 Total Weight: 414 13.68/13.72 c Elapsed CPU time: 13.6409 s Remaining CPU time: 1786.36 s 13.68/13.76 c core #415 13.68/13.76 c Core size: 5 Core Weight: 1 Total Weight: 415 13.68/13.76 c Elapsed CPU time: 13.6839 s Remaining CPU time: 1786.32 s 13.78/13.80 c core #416 13.78/13.80 c Core size: 16 Core Weight: 1 Total Weight: 416 13.78/13.80 c Elapsed CPU time: 13.7269 s Remaining CPU time: 1786.27 s 13.78/13.85 c core #417 13.78/13.85 c Core size: 27 Core Weight: 1 Total Weight: 417 13.78/13.85 c Elapsed CPU time: 13.7729 s Remaining CPU time: 1786.23 s 13.78/13.89 c core #418 13.78/13.89 c Core size: 4 Core Weight: 1 Total Weight: 418 13.78/13.89 c Elapsed CPU time: 13.8129 s Remaining CPU time: 1786.19 s 13.88/13.93 c core #419 13.88/13.93 c Core size: 25 Core Weight: 1 Total Weight: 419 13.88/13.93 c Elapsed CPU time: 13.8549 s Remaining CPU time: 1786.15 s 13.88/13.98 c core #420 13.88/13.98 c Core size: 4 Core Weight: 1 Total Weight: 420 13.88/13.98 c Elapsed CPU time: 13.8979 s Remaining CPU time: 1786.1 s 13.98/14.02 c core #421 13.98/14.02 c Core size: 6 Core Weight: 1 Total Weight: 421 13.98/14.02 c Elapsed CPU time: 13.9409 s Remaining CPU time: 1786.06 s 13.98/14.06 c core #422 13.98/14.06 c Core size: 17 Core Weight: 1 Total Weight: 422 13.98/14.06 c Elapsed CPU time: 13.9839 s Remaining CPU time: 1786.02 s 14.08/14.11 c core #423 14.08/14.11 c Core size: 21 Core Weight: 1 Total Weight: 423 14.08/14.11 c Elapsed CPU time: 14.0269 s Remaining CPU time: 1785.97 s 14.08/14.15 c core #424 14.08/14.15 c Core size: 6 Core Weight: 1 Total Weight: 424 14.08/14.15 c Elapsed CPU time: 14.0709 s Remaining CPU time: 1785.93 s 14.08/14.19 c core #425 14.08/14.19 c Core size: 4 Core Weight: 1 Total Weight: 425 14.08/14.19 c Elapsed CPU time: 14.1149 s Remaining CPU time: 1785.89 s 14.18/14.24 c core #426 14.18/14.24 c Core size: 4 Core Weight: 1 Total Weight: 426 14.18/14.24 c Elapsed CPU time: 14.1578 s Remaining CPU time: 1785.84 s 14.18/14.28 c core #427 14.18/14.28 c Core size: 6 Core Weight: 1 Total Weight: 427 14.18/14.28 c Elapsed CPU time: 14.2008 s Remaining CPU time: 1785.8 s 14.28/14.33 c core #428 14.28/14.33 c Core size: 4 Core Weight: 1 Total Weight: 428 14.28/14.33 c Elapsed CPU time: 14.2448 s Remaining CPU time: 1785.76 s 14.28/14.37 c core #429 14.28/14.37 c Core size: 27 Core Weight: 1 Total Weight: 429 14.28/14.37 c Elapsed CPU time: 14.2908 s Remaining CPU time: 1785.71 s 14.38/14.41 c core #430 14.38/14.41 c Core size: 4 Core Weight: 1 Total Weight: 430 14.38/14.41 c Elapsed CPU time: 14.3318 s Remaining CPU time: 1785.67 s 14.38/14.46 c core #431 14.38/14.46 c Core size: 8 Core Weight: 1 Total Weight: 431 14.38/14.46 c Elapsed CPU time: 14.3778 s Remaining CPU time: 1785.62 s 14.48/14.50 c core #432 14.48/14.50 c Core size: 22 Core Weight: 1 Total Weight: 432 14.48/14.50 c Elapsed CPU time: 14.4188 s Remaining CPU time: 1785.58 s 14.48/14.55 c core #433 14.48/14.55 c Core size: 418 Core Weight: 1 Total Weight: 433 14.48/14.55 c Elapsed CPU time: 14.4688 s Remaining CPU time: 1785.53 s 14.48/14.59 c core #434 14.48/14.59 c Core size: 341 Core Weight: 1 Total Weight: 434 14.48/14.59 c Elapsed CPU time: 14.5118 s Remaining CPU time: 1785.49 s 14.58/14.64 c core #435 14.58/14.64 c Core size: 34 Core Weight: 1 Total Weight: 435 14.58/14.64 c Elapsed CPU time: 14.5578 s Remaining CPU time: 1785.44 s 14.58/14.68 c core #436 14.58/14.68 c Core size: 17 Core Weight: 1 Total Weight: 436 14.58/14.68 c Elapsed CPU time: 14.6028 s Remaining CPU time: 1785.4 s 14.68/14.73 c core #437 14.68/14.73 c Core size: 29 Core Weight: 1 Total Weight: 437 14.68/14.73 c Elapsed CPU time: 14.6508 s Remaining CPU time: 1785.35 s 14.68/14.77 c core #438 14.68/14.77 c Core size: 38 Core Weight: 1 Total Weight: 438 14.68/14.77 c Elapsed CPU time: 14.6918 s Remaining CPU time: 1785.31 s 14.78/14.82 c core #439 14.78/14.82 c Core size: 25 Core Weight: 1 Total Weight: 439 14.78/14.82 c Elapsed CPU time: 14.7368 s Remaining CPU time: 1785.26 s 14.78/14.86 c core #440 14.78/14.86 c Core size: 30 Core Weight: 1 Total Weight: 440 14.78/14.86 c Elapsed CPU time: 14.7818 s Remaining CPU time: 1785.22 s 14.88/14.91 c core #441 14.88/14.91 c Core size: 175 Core Weight: 1 Total Weight: 441 14.88/14.91 c Elapsed CPU time: 14.8307 s Remaining CPU time: 1785.17 s 14.88/14.96 c core #442 14.88/14.96 c Core size: 33 Core Weight: 1 Total Weight: 442 14.88/14.96 c Elapsed CPU time: 14.8737 s Remaining CPU time: 1785.13 s 14.98/15.00 c core #443 14.98/15.00 c Core size: 53 Core Weight: 1 Total Weight: 443 14.98/15.00 c Elapsed CPU time: 14.9217 s Remaining CPU time: 1785.08 s 14.98/15.05 c core #444 14.98/15.05 c Core size: 11 Core Weight: 1 Total Weight: 444 14.98/15.05 c Elapsed CPU time: 14.9647 s Remaining CPU time: 1785.04 s 14.98/15.09 c core #445 14.98/15.09 c Core size: 74 Core Weight: 1 Total Weight: 445 14.98/15.09 c Elapsed CPU time: 15.0127 s Remaining CPU time: 1784.99 s 15.08/15.14 c core #446 15.08/15.14 c Core size: 20 Core Weight: 1 Total Weight: 446 15.08/15.14 c Elapsed CPU time: 15.0557 s Remaining CPU time: 1784.94 s 15.08/15.19 c core #447 15.08/15.19 c Core size: 29 Core Weight: 1 Total Weight: 447 15.08/15.19 c Elapsed CPU time: 15.1057 s Remaining CPU time: 1784.89 s 15.18/15.23 c core #448 15.18/15.23 c Core size: 52 Core Weight: 1 Total Weight: 448 15.18/15.23 c Elapsed CPU time: 15.1517 s Remaining CPU time: 1784.85 s 15.18/15.28 c core #449 15.18/15.28 c Core size: 13 Core Weight: 1 Total Weight: 449 15.18/15.28 c Elapsed CPU time: 15.1947 s Remaining CPU time: 1784.81 s 15.28/15.32 c core #450 15.28/15.32 c Core size: 22 Core Weight: 1 Total Weight: 450 15.28/15.32 c Elapsed CPU time: 15.2407 s Remaining CPU time: 1784.76 s 15.28/15.37 c core #451 15.28/15.37 c Core size: 54 Core Weight: 1 Total Weight: 451 15.28/15.37 c Elapsed CPU time: 15.2897 s Remaining CPU time: 1784.71 s 15.38/15.41 c core #452 15.38/15.41 c Core size: 17 Core Weight: 1 Total Weight: 452 15.38/15.41 c Elapsed CPU time: 15.3317 s Remaining CPU time: 1784.67 s 15.38/15.46 c core #453 15.38/15.46 c Core size: 16 Core Weight: 1 Total Weight: 453 15.38/15.46 c Elapsed CPU time: 15.3777 s Remaining CPU time: 1784.62 s 15.49/15.51 c core #454 15.49/15.51 c Core size: 15 Core Weight: 1 Total Weight: 454 15.49/15.51 c Elapsed CPU time: 15.4237 s Remaining CPU time: 1784.58 s 15.49/15.55 c core #455 15.49/15.55 c Core size: 29 Core Weight: 1 Total Weight: 455 15.49/15.55 c Elapsed CPU time: 15.4696 s Remaining CPU time: 1784.53 s 15.59/15.60 c core #456 15.59/15.60 c Core size: 12 Core Weight: 1 Total Weight: 456 15.59/15.60 c Elapsed CPU time: 15.5146 s Remaining CPU time: 1784.49 s 15.59/15.65 c core #457 15.59/15.65 c Core size: 12 Core Weight: 1 Total Weight: 457 15.59/15.65 c Elapsed CPU time: 15.5616 s Remaining CPU time: 1784.44 s 15.59/15.69 c core #458 15.59/15.69 c Core size: 11 Core Weight: 1 Total Weight: 458 15.59/15.69 c Elapsed CPU time: 15.6056 s Remaining CPU time: 1784.39 s 15.69/15.74 c core #459 15.69/15.74 c Core size: 12 Core Weight: 1 Total Weight: 459 15.69/15.74 c Elapsed CPU time: 15.6526 s Remaining CPU time: 1784.35 s 15.69/15.78 c core #460 15.69/15.78 c Core size: 12 Core Weight: 1 Total Weight: 460 15.69/15.78 c Elapsed CPU time: 15.6986 s Remaining CPU time: 1784.3 s 15.79/15.83 c core #461 15.79/15.83 c Core size: 22 Core Weight: 1 Total Weight: 461 15.79/15.83 c Elapsed CPU time: 15.7476 s Remaining CPU time: 1784.25 s 15.79/15.88 c core #462 15.79/15.88 c Core size: 15 Core Weight: 1 Total Weight: 462 15.79/15.88 c Elapsed CPU time: 15.7906 s Remaining CPU time: 1784.21 s 15.88/15.92 c core #463 15.88/15.92 c Core size: 12 Core Weight: 1 Total Weight: 463 15.88/15.92 c Elapsed CPU time: 15.8366 s Remaining CPU time: 1784.16 s 15.88/15.97 c core #464 15.88/15.97 c Core size: 10 Core Weight: 1 Total Weight: 464 15.88/15.97 c Elapsed CPU time: 15.8816 s Remaining CPU time: 1784.12 s 15.98/16.02 c core #465 15.98/16.02 c Core size: 22 Core Weight: 1 Total Weight: 465 15.98/16.02 c Elapsed CPU time: 15.9316 s Remaining CPU time: 1784.07 s 15.98/16.06 c core #466 15.98/16.06 c Core size: 35 Core Weight: 1 Total Weight: 466 15.98/16.06 c Elapsed CPU time: 15.9756 s Remaining CPU time: 1784.02 s 16.08/16.11 c core #467 16.08/16.11 c Core size: 52 Core Weight: 1 Total Weight: 467 16.08/16.11 c Elapsed CPU time: 16.0256 s Remaining CPU time: 1783.97 s 16.08/16.16 c core #468 16.08/16.16 c Core size: 28 Core Weight: 1 Total Weight: 468 16.08/16.16 c Elapsed CPU time: 16.0686 s Remaining CPU time: 1783.93 s 16.18/16.20 c core #469 16.18/16.20 c Core size: 35 Core Weight: 1 Total Weight: 469 16.18/16.20 c Elapsed CPU time: 16.1155 s Remaining CPU time: 1783.88 s 16.18/16.25 c core #470 16.18/16.25 c Core size: 13 Core Weight: 1 Total Weight: 470 16.18/16.25 c Elapsed CPU time: 16.1625 s Remaining CPU time: 1783.84 s 16.28/16.30 c core #471 16.28/16.30 c Core size: 7 Core Weight: 1 Total Weight: 471 16.28/16.30 c Elapsed CPU time: 16.2095 s Remaining CPU time: 1783.79 s 16.28/16.34 c core #472 16.28/16.34 c Core size: 25 Core Weight: 1 Total Weight: 472 16.28/16.34 c Elapsed CPU time: 16.2565 s Remaining CPU time: 1783.74 s 16.28/16.39 c core #473 16.28/16.39 c Core size: 9 Core Weight: 1 Total Weight: 473 16.28/16.39 c Elapsed CPU time: 16.3025 s Remaining CPU time: 1783.7 s 16.39/16.44 c core #474 16.39/16.44 c Core size: 15 Core Weight: 1 Total Weight: 474 16.39/16.44 c Elapsed CPU time: 16.3485 s Remaining CPU time: 1783.65 s 16.39/16.48 c core #475 16.39/16.48 c Core size: 16 Core Weight: 1 Total Weight: 475 16.39/16.48 c Elapsed CPU time: 16.3945 s Remaining CPU time: 1783.61 s 16.48/16.53 c ============================[ Search Statistics ]============================== 16.48/16.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.48/16.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.48/16.53 c =============================================================================== 16.48/16.53 c | 0 | 9672 24570 94785 | 8190 0 nan | 0.000 % | 16.48/16.54 c =============================================================================== 16.48/16.54 c core #476 16.48/16.54 c Core size: 63 Core Weight: 1 Total Weight: 476 16.48/16.54 c Elapsed CPU time: 16.4465 s Remaining CPU time: 1783.55 s 16.48/16.58 c Learning 1 hard constraints 16.48/16.58 c ============================[ Search Statistics ]============================== 16.48/16.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.48/16.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.48/16.58 c =============================================================================== 16.48/16.58 c | 0 | 9717 24572 95141 | 8190 0 nan | 0.000 % | 16.48/16.59 c =============================================================================== 16.48/16.59 c core #477 16.48/16.59 c Core size: 23 Core Weight: 1 Total Weight: 477 16.48/16.59 c Elapsed CPU time: 16.4965 s Remaining CPU time: 1783.5 s 16.58/16.63 c Learning 2 hard constraints 16.58/16.63 c ============================[ Search Statistics ]============================== 16.58/16.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.58/16.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.58/16.63 c =============================================================================== 16.58/16.63 c | 0 | 9731 24575 95243 | 8191 0 nan | 0.000 % | 16.58/16.63 c =============================================================================== 16.58/16.63 c core #478 16.58/16.63 c Core size: 20 Core Weight: 1 Total Weight: 478 16.58/16.63 c Elapsed CPU time: 16.5435 s Remaining CPU time: 1783.46 s 16.58/16.68 c Learning 1 hard constraints 16.58/16.68 c ============================[ Search Statistics ]============================== 16.58/16.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.58/16.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.58/16.68 c =============================================================================== 16.58/16.68 c | 0 | 9752 24577 95354 | 8192 0 nan | 0.000 % | 16.58/16.68 c =============================================================================== 16.58/16.69 c core #479 16.58/16.69 c Core size: 26 Core Weight: 1 Total Weight: 479 16.58/16.69 c Elapsed CPU time: 16.5945 s Remaining CPU time: 1783.41 s 16.68/16.73 c Learning 1 hard constraints 16.68/16.73 c ============================[ Search Statistics ]============================== 16.68/16.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.73 c =============================================================================== 16.68/16.73 c | 0 | 9834 24579 96844 | 8193 0 nan | 0.000 % | 16.68/16.73 c =============================================================================== 16.68/16.73 c core #480 16.68/16.73 c Core size: 16 Core Weight: 1 Total Weight: 480 16.68/16.73 c Elapsed CPU time: 16.6435 s Remaining CPU time: 1783.36 s 16.68/16.78 c Learning 1 hard constraints 16.68/16.78 c ============================[ Search Statistics ]============================== 16.68/16.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.78 c =============================================================================== 16.68/16.78 c | 0 | 9841 24581 96862 | 8193 0 nan | 0.000 % | 16.68/16.78 c =============================================================================== 16.68/16.79 c core #481 16.68/16.79 c Core size: 17 Core Weight: 1 Total Weight: 481 16.68/16.79 c Elapsed CPU time: 16.6935 s Remaining CPU time: 1783.31 s 16.78/16.83 c ============================[ Search Statistics ]============================== 16.78/16.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.83 c =============================================================================== 16.78/16.83 c | 0 | 9848 24582 96876 | 8194 0 nan | 0.000 % | 16.78/16.83 c =============================================================================== 16.78/16.83 c core #482 16.78/16.83 c Core size: 73 Core Weight: 1 Total Weight: 482 16.78/16.83 c Elapsed CPU time: 16.7415 s Remaining CPU time: 1783.26 s 16.78/16.88 c Learning 1 hard constraints 16.78/16.88 c ============================[ Search Statistics ]============================== 16.78/16.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.78/16.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.78/16.88 c =============================================================================== 16.78/16.88 c | 0 | 9928 24584 97953 | 8194 0 nan | 0.000 % | 16.78/16.89 c =============================================================================== 16.78/16.89 c core #483 16.78/16.89 c Core size: 104 Core Weight: 1 Total Weight: 483 16.78/16.89 c Elapsed CPU time: 16.7934 s Remaining CPU time: 1783.21 s 16.89/16.93 c Learning 3 hard constraints 16.89/16.93 c ============================[ Search Statistics ]============================== 16.89/16.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.89/16.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.89/16.93 c =============================================================================== 16.89/16.93 c | 0 | 10005 24588 98236 | 8196 0 nan | 0.000 % | 16.89/16.94 c =============================================================================== 16.89/16.94 c core #484 16.89/16.94 c Core size: 32 Core Weight: 1 Total Weight: 484 16.89/16.94 c Elapsed CPU time: 16.8434 s Remaining CPU time: 1783.16 s 16.89/16.98 c ============================[ Search Statistics ]============================== 16.89/16.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.89/16.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.89/16.98 c =============================================================================== 16.89/16.98 c | 0 | 10030 24589 98410 | 8196 0 nan | 0.000 % | 16.89/16.99 c =============================================================================== 16.89/16.99 c core #485 16.89/16.99 c Core size: 69 Core Weight: 1 Total Weight: 485 16.89/16.99 c Elapsed CPU time: 16.8924 s Remaining CPU time: 1783.11 s 16.99/17.03 c ============================[ Search Statistics ]============================== 16.99/17.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.99/17.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.99/17.03 c =============================================================================== 16.99/17.03 c | 0 | 10120 24590 99121 | 8196 0 nan | 0.000 % | 16.99/17.04 c =============================================================================== 16.99/17.04 c core #486 16.99/17.04 c Core size: 47 Core Weight: 1 Total Weight: 486 16.99/17.04 c Elapsed CPU time: 16.9444 s Remaining CPU time: 1783.06 s 16.99/17.08 c Learning 2 hard constraints 16.99/17.08 c ============================[ Search Statistics ]============================== 16.99/17.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.99/17.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.99/17.08 c =============================================================================== 16.99/17.08 c | 0 | 10149 24593 99202 | 8197 0 nan | 0.000 % | 16.99/17.09 c =============================================================================== 16.99/17.09 c core #487 16.99/17.09 c Core size: 18 Core Weight: 1 Total Weight: 487 16.99/17.09 c Elapsed CPU time: 16.9964 s Remaining CPU time: 1783 s 17.09/17.13 c Learning 1 hard constraints 17.09/17.13 c ============================[ Search Statistics ]============================== 17.09/17.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.09/17.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.09/17.13 c =============================================================================== 17.09/17.13 c | 0 | 10162 24595 99232 | 8198 0 nan | 0.000 % | 17.09/17.14 c =============================================================================== 17.09/17.14 c core #488 17.09/17.14 c Core size: 24 Core Weight: 1 Total Weight: 488 17.09/17.14 c Elapsed CPU time: 17.0474 s Remaining CPU time: 1782.95 s 17.09/17.19 c ============================[ Search Statistics ]============================== 17.09/17.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.09/17.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.09/17.19 c =============================================================================== 17.09/17.19 c | 0 | 10179 24596 99266 | 8198 0 nan | 0.000 % | 17.19/17.20 c =============================================================================== 17.19/17.20 c core #489 17.19/17.20 c Core size: 152 Core Weight: 1 Total Weight: 489 17.19/17.20 c Elapsed CPU time: 17.1024 s Remaining CPU time: 1782.9 s 17.19/17.24 c ============================[ Search Statistics ]============================== 17.19/17.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.19/17.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.19/17.24 c =============================================================================== 17.19/17.24 c | 0 | 10241 24597 99444 | 8199 0 nan | 0.000 % | 17.19/17.25 c =============================================================================== 17.19/17.25 c core #490 17.19/17.25 c Core size: 27 Core Weight: 1 Total Weight: 490 17.19/17.25 c Elapsed CPU time: 17.1534 s Remaining CPU time: 1782.85 s 17.19/17.29 c ============================[ Search Statistics ]============================== 17.19/17.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.19/17.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.19/17.29 c =============================================================================== 17.19/17.29 c | 0 | 10268 24598 99608 | 8199 0 nan | 0.000 % | 17.28/17.30 c =============================================================================== 17.28/17.30 c core #491 17.28/17.30 c Core size: 23 Core Weight: 1 Total Weight: 491 17.28/17.30 c Elapsed CPU time: 17.2054 s Remaining CPU time: 1782.79 s 17.28/17.35 c ============================[ Search Statistics ]============================== 17.28/17.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.28/17.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.28/17.35 c =============================================================================== 17.28/17.35 c | 0 | 10289 24599 99706 | 8199 0 nan | 0.000 % | 17.28/17.36 c =============================================================================== 17.28/17.36 c core #492 17.28/17.36 c Core size: 30 Core Weight: 1 Total Weight: 492 17.28/17.36 c Elapsed CPU time: 17.2584 s Remaining CPU time: 1782.74 s 17.38/17.40 c ============================[ Search Statistics ]============================== 17.38/17.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.38/17.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.38/17.40 c =============================================================================== 17.38/17.40 c | 0 | 10310 24600 99783 | 8200 0 nan | 0.000 % | 17.38/17.40 c =============================================================================== 17.38/17.40 c core #493 17.38/17.40 c Core size: 47 Core Weight: 1 Total Weight: 493 17.38/17.40 c Elapsed CPU time: 17.3074 s Remaining CPU time: 1782.69 s 17.38/17.45 c ============================[ Search Statistics ]============================== 17.38/17.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.38/17.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.38/17.45 c =============================================================================== 17.38/17.45 c | 0 | 10381 24601 100328 | 8200 0 nan | 0.000 % | 17.38/17.46 c | 103 | 10381 24601 100328 | 9020 103 15 | 12.345 % | 17.38/17.47 c | 255 | 10381 24601 100328 | 9922 255 15 | 12.429 % | 17.38/17.48 c | 480 | 10380 24601 100328 | 10914 480 17 | 12.472 % | 17.38/17.50 c | 819 | 10375 24601 100328 | 12006 819 21 | 12.564 % | 17.49/17.52 c =============================================================================== 17.49/17.52 c core #494 17.49/17.52 c Core size: 326 Core Weight: 1 Total Weight: 494 17.49/17.52 c Elapsed CPU time: 17.4214 s Remaining CPU time: 1782.58 s 17.49/17.57 c Learning 3 hard constraints 17.49/17.57 c ============================[ Search Statistics ]============================== 17.49/17.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.49/17.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.49/17.57 c =============================================================================== 17.49/17.57 c | 0 | 10517 24605 100700 | 8201 0 nan | 0.000 % | 17.49/17.58 c | 100 | 10517 24605 100700 | 9021 100 13 | 12.168 % | 17.49/17.58 c =============================================================================== 17.49/17.58 c core #495 17.49/17.58 c Core size: 20 Core Weight: 1 Total Weight: 495 17.49/17.58 c Elapsed CPU time: 17.4793 s Remaining CPU time: 1782.52 s 17.58/17.62 c Learning 1 hard constraints 17.58/17.62 c ============================[ Search Statistics ]============================== 17.58/17.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.58/17.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.58/17.62 c =============================================================================== 17.58/17.62 c | 0 | 10534 24607 100785 | 8202 0 nan | 0.000 % | 17.58/17.63 c =============================================================================== 17.58/17.63 c core #496 17.58/17.63 c Core size: 43 Core Weight: 1 Total Weight: 496 17.58/17.63 c Elapsed CPU time: 17.5273 s Remaining CPU time: 1782.47 s 17.58/17.67 c ============================[ Search Statistics ]============================== 17.58/17.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.58/17.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.58/17.67 c =============================================================================== 17.58/17.67 c | 0 | 10578 24608 100945 | 8202 0 nan | 0.000 % | 17.58/17.68 c =============================================================================== 17.58/17.68 c core #497 17.58/17.68 c Core size: 24 Core Weight: 1 Total Weight: 497 17.58/17.68 c Elapsed CPU time: 17.5773 s Remaining CPU time: 1782.42 s 17.68/17.72 c ============================[ Search Statistics ]============================== 17.68/17.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.72 c =============================================================================== 17.68/17.72 c | 0 | 10602 24609 101128 | 8203 0 nan | 0.000 % | 17.68/17.73 c =============================================================================== 17.68/17.73 c core #498 17.68/17.73 c Core size: 42 Core Weight: 1 Total Weight: 498 17.68/17.73 c Elapsed CPU time: 17.6273 s Remaining CPU time: 1782.37 s 17.68/17.77 c ============================[ Search Statistics ]============================== 17.68/17.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.77 c =============================================================================== 17.68/17.77 c | 0 | 10650 24610 101365 | 8203 0 nan | 0.000 % | 17.68/17.78 c =============================================================================== 17.68/17.78 c core #499 17.68/17.78 c Core size: 23 Core Weight: 1 Total Weight: 499 17.68/17.78 c Elapsed CPU time: 17.6793 s Remaining CPU time: 1782.32 s 17.78/17.83 c ============================[ Search Statistics ]============================== 17.78/17.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.83 c =============================================================================== 17.78/17.83 c | 0 | 10671 24611 101468 | 8203 0 nan | 0.000 % | 17.78/17.83 c =============================================================================== 17.78/17.83 c core #500 17.78/17.83 c Core size: 24 Core Weight: 1 Total Weight: 500 17.78/17.83 c Elapsed CPU time: 17.7293 s Remaining CPU time: 1782.27 s 17.78/17.88 c ============================[ Search Statistics ]============================== 17.78/17.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.78/17.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.78/17.88 c =============================================================================== 17.78/17.88 c | 0 | 10693 24612 101573 | 8204 0 nan | 0.000 % | 17.78/17.89 c =============================================================================== 17.78/17.89 c core #501 17.78/17.89 c Core size: 26 Core Weight: 1 Total Weight: 501 17.78/17.89 c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s 17.88/17.93 c ============================[ Search Statistics ]============================== 17.88/17.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.88/17.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.88/17.93 c =============================================================================== 17.88/17.93 c | 0 | 10730 24613 101814 | 8204 0 nan | 0.000 % | 17.88/17.94 c | 100 | 10730 24613 101814 | 9024 100 20 | 11.491 % | 17.88/17.95 c | 250 | 10727 24613 101814 | 9927 250 20 | 11.548 % | 17.88/17.96 c =============================================================================== 17.88/17.96 c core #502 17.88/17.96 c Core size: 158 Core Weight: 1 Total Weight: 502 17.88/17.96 c Elapsed CPU time: 17.8553 s Remaining CPU time: 1782.14 s 17.97/18.01 c Learning 5 hard constraints 17.97/18.01 c ============================[ Search Statistics ]============================== 17.97/18.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.97/18.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.97/18.01 c =============================================================================== 17.97/18.01 c | 0 | 10842 24619 102257 | 8206 0 nan | 0.000 % | 17.97/18.02 c | 100 | 10842 24619 102257 | 9026 100 17 | 11.320 % | 17.97/18.03 c =============================================================================== 17.97/18.03 c core #503 17.97/18.03 c Core size: 13 Core Weight: 1 Total Weight: 503 17.97/18.03 c Elapsed CPU time: 17.9173 s Remaining CPU time: 1782.08 s 17.97/18.07 c Learning 1 hard constraints 17.97/18.07 c ============================[ Search Statistics ]============================== 17.97/18.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.97/18.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.97/18.07 c =============================================================================== 17.97/18.07 c | 0 | 10854 24621 102302 | 8207 0 nan | 0.000 % | 17.97/18.08 c =============================================================================== 17.97/18.08 c core #504 17.97/18.08 c Core size: 21 Core Weight: 1 Total Weight: 504 17.97/18.08 c Elapsed CPU time: 17.9663 s Remaining CPU time: 1782.03 s 18.08/18.12 c Learning 1 hard constraints 18.08/18.12 c ============================[ Search Statistics ]============================== 18.08/18.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.08/18.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.08/18.12 c =============================================================================== 18.08/18.12 c | 0 | 10882 24623 102602 | 8207 0 nan | 0.000 % | 18.08/18.13 c =============================================================================== 18.08/18.13 c core #505 18.08/18.13 c Core size: 21 Core Weight: 1 Total Weight: 505 18.08/18.13 c Elapsed CPU time: 18.0173 s Remaining CPU time: 1781.98 s 18.08/18.17 c ============================[ Search Statistics ]============================== 18.08/18.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.08/18.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.08/18.17 c =============================================================================== 18.08/18.17 c | 0 | 10904 24624 102844 | 8208 0 nan | 0.000 % | 18.08/18.18 c =============================================================================== 18.08/18.18 c core #506 18.08/18.18 c Core size: 61 Core Weight: 1 Total Weight: 506 18.08/18.18 c Elapsed CPU time: 18.0673 s Remaining CPU time: 1781.93 s 18.18/18.22 c Learning 1 hard constraints 18.18/18.22 c ============================[ Search Statistics ]============================== 18.18/18.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.18/18.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.18/18.22 c =============================================================================== 18.18/18.22 c | 0 | 10964 24626 103214 | 8208 0 nan | 0.000 % | 18.18/18.23 c =============================================================================== 18.18/18.23 c core #507 18.18/18.23 c Core size: 50 Core Weight: 1 Total Weight: 507 18.18/18.23 c Elapsed CPU time: 18.1192 s Remaining CPU time: 1781.88 s 18.18/18.27 c ============================[ Search Statistics ]============================== 18.18/18.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.18/18.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.18/18.27 c =============================================================================== 18.18/18.27 c | 0 | 10991 24627 103278 | 8209 0 nan | 0.000 % | 18.18/18.28 c =============================================================================== 18.18/18.28 c core #508 18.18/18.28 c Core size: 79 Core Weight: 1 Total Weight: 508 18.18/18.28 c Elapsed CPU time: 18.1682 s Remaining CPU time: 1781.83 s 18.28/18.32 c ============================[ Search Statistics ]============================== 18.28/18.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.28/18.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.28/18.32 c =============================================================================== 18.28/18.32 c | 0 | 11043 24628 103382 | 8209 0 nan | 0.000 % | 18.28/18.34 c | 103 | 11043 24628 103382 | 9030 103 25 | 10.915 % | 18.28/18.35 c | 253 | 11042 24628 103382 | 9933 253 24 | 10.931 % | 18.28/18.35 c =============================================================================== 18.28/18.35 c core #509 18.28/18.35 c Core size: 22 Core Weight: 1 Total Weight: 509 18.28/18.35 c Elapsed CPU time: 18.2372 s Remaining CPU time: 1781.76 s 18.28/18.39 c Learning 1 hard constraints 18.28/18.39 c ============================[ Search Statistics ]============================== 18.28/18.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.28/18.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.28/18.39 c =============================================================================== 18.28/18.39 c | 0 | 11074 24630 103533 | 8210 0 nan | 0.000 % | 18.38/18.41 c | 102 | 11074 24630 103533 | 9031 102 30 | 10.794 % | 18.38/18.41 c | 253 | 11064 24630 103533 | 9934 253 26 | 11.068 % | 18.38/18.42 c =============================================================================== 18.38/18.42 c core #510 18.38/18.42 c Core size: 99 Core Weight: 1 Total Weight: 510 18.38/18.42 c Elapsed CPU time: 18.3062 s Remaining CPU time: 1781.69 s 18.38/18.46 c ============================[ Search Statistics ]============================== 18.38/18.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.38/18.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.38/18.46 c =============================================================================== 18.38/18.46 c | 0 | 11141 24631 103797 | 8210 0 nan | 0.000 % | 18.38/18.48 c =============================================================================== 18.38/18.48 c core #511 18.38/18.48 c Core size: 23 Core Weight: 1 Total Weight: 511 18.38/18.48 c Elapsed CPU time: 18.3622 s Remaining CPU time: 1781.64 s 18.48/18.52 c ============================[ Search Statistics ]============================== 18.48/18.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.48/18.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.48/18.52 c =============================================================================== 18.48/18.52 c | 0 | 11162 24632 103895 | 8210 0 nan | 0.000 % | 18.48/18.53 c | 100 | 11162 24632 103895 | 9031 100 30 | 10.663 % | 18.48/18.54 c | 250 | 11161 24632 103895 | 9934 250 36 | 10.679 % | 18.48/18.55 c =============================================================================== 18.48/18.55 c core #512 18.48/18.55 c Core size: 20 Core Weight: 1 Total Weight: 512 18.48/18.55 c Elapsed CPU time: 18.4342 s Remaining CPU time: 1781.57 s 18.57/18.60 c Learning 3 hard constraints 18.57/18.60 c ============================[ Search Statistics ]============================== 18.57/18.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.57/18.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.57/18.60 c =============================================================================== 18.57/18.60 c | 0 | 11178 24636 103979 | 8212 0 nan | 0.000 % | 18.57/18.62 c | 100 | 11177 24636 103979 | 9033 100 29 | 10.649 % | 18.57/18.62 c | 251 | 11177 24636 103979 | 9936 251 27 | 10.649 % | 18.57/18.63 c =============================================================================== 18.57/18.63 c core #513 18.57/18.63 c Core size: 64 Core Weight: 1 Total Weight: 513 18.57/18.63 c Elapsed CPU time: 18.5032 s Remaining CPU time: 1781.5 s 18.57/18.67 c Learning 1 hard constraints 18.57/18.67 c ============================[ Search Statistics ]============================== 18.57/18.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.57/18.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.57/18.67 c =============================================================================== 18.57/18.67 c | 0 | 11213 24638 104085 | 8212 0 nan | 0.000 % | 18.57/18.68 c | 103 | 11213 24638 104085 | 9033 103 12 | 10.661 % | 18.57/18.69 c | 253 | 11213 24638 104085 | 9937 253 13 | 10.661 % | 18.57/18.70 c | 478 | 11210 24638 104085 | 10931 478 13 | 10.684 % | 18.68/18.71 c =============================================================================== 18.68/18.71 c core #514 18.68/18.71 c Core size: 97 Core Weight: 1 Total Weight: 514 18.68/18.71 c Elapsed CPU time: 18.5862 s Remaining CPU time: 1781.41 s 18.68/18.76 c Learning 1 hard constraints 18.68/18.76 c ============================[ Search Statistics ]============================== 18.68/18.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.68/18.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.68/18.76 c =============================================================================== 18.68/18.76 c | 0 | 11269 24640 104210 | 8213 0 nan | 0.000 % | 18.68/18.77 c =============================================================================== 18.68/18.77 c core #515 18.68/18.77 c Core size: 13 Core Weight: 1 Total Weight: 515 18.68/18.77 c Elapsed CPU time: 18.6382 s Remaining CPU time: 1781.36 s 18.77/18.81 c Learning 1 hard constraints 18.77/18.81 c ============================[ Search Statistics ]============================== 18.77/18.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.77/18.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.77/18.81 c =============================================================================== 18.77/18.81 c | 0 | 11245 24642 104242 | 8214 0 nan | 0.000 % | 18.77/18.82 c | 100 | 11244 24642 104242 | 9035 100 30 | 10.876 % | 18.77/18.83 c | 251 | 11243 24642 104242 | 9938 251 33 | 10.884 % | 18.77/18.85 c | 477 | 11242 24642 104242 | 10932 477 36 | 10.947 % | 18.77/18.86 c =============================================================================== 18.77/18.86 c core #516 18.77/18.86 c Core size: 15 Core Weight: 1 Total Weight: 516 18.77/18.86 c Elapsed CPU time: 18.7262 s Remaining CPU time: 1781.27 s 18.87/18.90 c Learning 4 hard constraints 18.87/18.90 c ============================[ Search Statistics ]============================== 18.87/18.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.87/18.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.87/18.90 c =============================================================================== 18.87/18.90 c | 0 | 11261 24647 104473 | 8215 0 nan | 0.000 % | 18.87/18.92 c | 100 | 11258 24647 104473 | 9037 100 27 | 10.922 % | 18.87/18.93 c | 251 | 11257 24647 104473 | 9940 251 36 | 10.930 % | 18.87/18.94 c | 476 | 11257 24647 104473 | 10935 476 41 | 10.930 % | 18.87/18.96 c | 814 | 11256 24647 104473 | 12028 814 41 | 10.938 % | 18.87/18.97 c =============================================================================== 18.87/18.98 c core #517 18.87/18.98 c Core size: 35 Core Weight: 1 Total Weight: 517 18.87/18.98 c Elapsed CPU time: 18.8381 s Remaining CPU time: 1781.16 s 18.97/19.02 c Learning 3 hard constraints 18.97/19.02 c ============================[ Search Statistics ]============================== 18.97/19.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.97/19.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.97/19.02 c =============================================================================== 18.97/19.02 c | 0 | 11329 24651 105049 | 8217 0 nan | 0.000 % | 18.97/19.02 c =============================================================================== 18.97/19.02 c core #518 18.97/19.02 c Core size: 65 Core Weight: 1 Total Weight: 518 18.97/19.02 c Elapsed CPU time: 18.8881 s Remaining CPU time: 1781.11 s 18.97/19.07 c ============================[ Search Statistics ]============================== 18.97/19.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.97/19.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.97/19.07 c =============================================================================== 18.97/19.07 c | 0 | 11414 24652 105679 | 8217 0 nan | 0.000 % | 18.97/19.09 c | 102 | 11414 24652 105679 | 9039 102 38 | 10.392 % | 18.97/19.09 c =============================================================================== 18.97/19.09 c core #519 18.97/19.09 c Core size: 24 Core Weight: 1 Total Weight: 519 18.97/19.09 c Elapsed CPU time: 18.9551 s Remaining CPU time: 1781.04 s 19.07/19.14 c ============================[ Search Statistics ]============================== 19.07/19.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.07/19.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.07/19.14 c =============================================================================== 19.07/19.14 c | 0 | 11436 24653 105789 | 8217 0 nan | 0.000 % | 19.07/19.15 c | 102 | 11436 24653 105789 | 9039 102 43 | 10.080 % | 19.07/19.16 c | 254 | 11434 24653 105789 | 9943 254 38 | 10.340 % | 19.07/19.18 c | 481 | 11434 24653 105789 | 10937 481 47 | 10.340 % | 19.17/19.21 c | 818 | 11434 24653 105789 | 12031 818 50 | 10.340 % | 19.17/19.21 c =============================================================================== 19.17/19.21 c core #520 19.17/19.21 c Core size: 12 Core Weight: 1 Total Weight: 520 19.17/19.21 c Elapsed CPU time: 19.0671 s Remaining CPU time: 1780.93 s 19.17/19.26 c Learning 1 hard constraints 19.17/19.26 c ============================[ Search Statistics ]============================== 19.17/19.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.17/19.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.17/19.26 c =============================================================================== 19.17/19.26 c | 0 | 11447 24655 105854 | 8218 0 nan | 0.000 % | 19.17/19.27 c =============================================================================== 19.17/19.27 c core #521 19.17/19.27 c Core size: 24 Core Weight: 1 Total Weight: 521 19.17/19.27 c Elapsed CPU time: 19.1201 s Remaining CPU time: 1780.88 s 19.27/19.31 c ============================[ Search Statistics ]============================== 19.27/19.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.27/19.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.27/19.31 c =============================================================================== 19.27/19.31 c | 0 | 11469 24656 105959 | 8218 0 nan | 0.000 % | 19.27/19.31 c =============================================================================== 19.27/19.32 c core #522 19.27/19.32 c Core size: 35 Core Weight: 1 Total Weight: 522 19.27/19.32 c Elapsed CPU time: 19.1691 s Remaining CPU time: 1780.83 s 19.27/19.36 c ============================[ Search Statistics ]============================== 19.27/19.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.27/19.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.27/19.36 c =============================================================================== 19.27/19.36 c | 0 | 11503 24657 106076 | 8219 0 nan | 0.000 % | 19.27/19.38 c | 100 | 11502 24657 106076 | 9040 100 35 | 9.987 % | 19.27/19.39 c | 251 | 11499 24657 106076 | 9944 251 31 | 10.019 % | 19.36/19.40 c | 476 | 11499 24657 106076 | 10939 476 41 | 10.019 % | 19.36/19.42 c | 814 | 11499 24657 106076 | 12033 814 46 | 10.019 % | 19.36/19.43 c =============================================================================== 19.36/19.43 c core #523 19.36/19.43 c Core size: 18 Core Weight: 1 Total Weight: 523 19.36/19.43 c Elapsed CPU time: 19.2731 s Remaining CPU time: 1780.73 s 19.36/19.47 c ============================[ Search Statistics ]============================== 19.36/19.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.36/19.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.36/19.47 c =============================================================================== 19.36/19.47 c | 0 | 11523 24658 106138 | 8219 0 nan | 0.000 % | 19.36/19.48 c | 101 | 11523 24658 106138 | 9041 101 32 | 9.829 % | 19.36/19.49 c | 252 | 11523 24658 106138 | 9945 252 28 | 9.836 % | 19.47/19.51 c | 483 | 11519 24658 106138 | 10939 483 35 | 9.868 % | 19.47/19.53 c | 823 | 11516 24658 106138 | 12033 823 40 | 9.938 % | 19.47/19.53 c =============================================================================== 19.47/19.53 c core #524 19.47/19.53 c Core size: 45 Core Weight: 1 Total Weight: 524 19.47/19.53 c Elapsed CPU time: 19.3791 s Remaining CPU time: 1780.62 s 19.47/19.58 c Learning 2 hard constraints 19.47/19.58 c ============================[ Search Statistics ]============================== 19.47/19.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.58 c =============================================================================== 19.47/19.58 c | 0 | 11597 24661 106950 | 8220 0 nan | 0.000 % | 19.47/19.59 c =============================================================================== 19.47/19.59 c core #525 19.47/19.59 c Core size: 11 Core Weight: 1 Total Weight: 525 19.47/19.59 c Elapsed CPU time: 19.435 s Remaining CPU time: 1780.56 s 19.56/19.63 c ============================[ Search Statistics ]============================== 19.56/19.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.56/19.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.56/19.63 c =============================================================================== 19.56/19.63 c | 0 | 11607 24662 106978 | 8220 0 nan | 0.000 % | 19.56/19.65 c =============================================================================== 19.56/19.65 c core #526 19.56/19.65 c Core size: 47 Core Weight: 1 Total Weight: 526 19.56/19.65 c Elapsed CPU time: 19.489 s Remaining CPU time: 1780.51 s 19.56/19.69 c ============================[ Search Statistics ]============================== 19.56/19.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.56/19.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.56/19.69 c =============================================================================== 19.56/19.69 c | 0 | 11668 24663 107366 | 8221 0 nan | 0.000 % | 19.66/19.71 c | 100 | 11668 24663 107366 | 9043 100 45 | 9.297 % | 19.66/19.72 c | 250 | 11668 24663 107366 | 9947 250 35 | 9.297 % | 19.66/19.73 c | 475 | 11668 24663 107366 | 10942 475 37 | 9.297 % | 19.66/19.75 c | 812 | 11646 24663 107366 | 12036 812 38 | 9.569 % | 19.66/19.76 c =============================================================================== 19.66/19.76 c core #527 19.66/19.76 c Core size: 13 Core Weight: 1 Total Weight: 527 19.66/19.76 c Elapsed CPU time: 19.594 s Remaining CPU time: 1780.41 s 19.76/19.80 c ============================[ Search Statistics ]============================== 19.76/19.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.76/19.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.76/19.80 c =============================================================================== 19.76/19.80 c | 0 | 11680 24664 107398 | 8221 0 nan | 0.000 % | 19.76/19.81 c =============================================================================== 19.76/19.81 c core #528 19.76/19.81 c Core size: 30 Core Weight: 1 Total Weight: 528 19.76/19.81 c Elapsed CPU time: 19.646 s Remaining CPU time: 1780.35 s 19.76/19.86 c ============================[ Search Statistics ]============================== 19.76/19.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.76/19.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.76/19.86 c =============================================================================== 19.76/19.86 c | 0 | 11704 24665 107587 | 8221 0 nan | 0.000 % | 19.76/19.87 c | 101 | 11704 24665 107587 | 9043 101 41 | 9.194 % | 19.76/19.88 c | 253 | 11700 24665 107587 | 9948 253 37 | 9.233 % | 19.76/19.89 c | 478 | 11700 24665 107587 | 10943 478 34 | 9.241 % | 19.86/19.92 c | 815 | 11700 24665 107587 | 12037 815 38 | 9.318 % | 19.86/19.96 c | 1323 | 11700 24665 107587 | 13241 1323 48 | 9.419 % | 19.95/20.04 c | 2083 | 11700 24665 107587 | 14565 2083 55 | 9.419 % | 20.06/20.18 c | 3223 | 11675 24665 107587 | 16021 3192 56 | 9.419 % | 20.26/20.32 c =============================================================================== 20.26/20.32 c core #529 20.26/20.32 c Core size: 40 Core Weight: 1 Total Weight: 529 20.26/20.32 c Elapsed CPU time: 20.1429 s Remaining CPU time: 1779.86 s 20.26/20.37 c Learning 3 hard constraints 20.26/20.37 c ============================[ Search Statistics ]============================== 20.26/20.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.26/20.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.26/20.37 c =============================================================================== 20.26/20.37 c | 0 | 11741 24669 107927 | 8223 0 nan | 0.000 % | 20.26/20.38 c =============================================================================== 20.26/20.38 c core #530 20.26/20.38 c Core size: 85 Core Weight: 1 Total Weight: 530 20.26/20.38 c Elapsed CPU time: 20.2019 s Remaining CPU time: 1779.8 s 20.36/20.42 c ============================[ Search Statistics ]============================== 20.36/20.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.36/20.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.36/20.42 c =============================================================================== 20.36/20.42 c | 0 | 11806 24670 108162 | 8223 0 nan | 0.000 % | 20.36/20.43 c =============================================================================== 20.36/20.43 c core #531 20.36/20.43 c Core size: 28 Core Weight: 1 Total Weight: 531 20.36/20.43 c Elapsed CPU time: 20.2499 s Remaining CPU time: 1779.75 s 20.36/20.47 c ============================[ Search Statistics ]============================== 20.36/20.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.36/20.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.36/20.47 c =============================================================================== 20.36/20.47 c | 0 | 11836 24671 108281 | 8223 0 nan | 0.000 % | 20.36/20.48 c =============================================================================== 20.36/20.48 c core #532 20.36/20.48 c Core size: 29 Core Weight: 1 Total Weight: 532 20.36/20.48 c Elapsed CPU time: 20.3059 s Remaining CPU time: 1779.69 s 20.46/20.53 c ============================[ Search Statistics ]============================== 20.46/20.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.46/20.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.46/20.53 c =============================================================================== 20.46/20.53 c | 0 | 11912 24672 108603 | 8224 0 nan | 0.000 % | 20.46/20.54 c =============================================================================== 20.46/20.54 c core #533 20.46/20.54 c Core size: 79 Core Weight: 1 Total Weight: 533 20.46/20.54 c Elapsed CPU time: 20.3609 s Remaining CPU time: 1779.64 s 20.46/20.59 c ============================[ Search Statistics ]============================== 20.46/20.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.46/20.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.46/20.59 c =============================================================================== 20.46/20.59 c | 0 | 11983 24673 108953 | 8224 0 nan | 0.000 % | 20.55/20.60 c | 100 | 11983 24673 108953 | 9046 100 36 | 8.380 % | 20.55/20.61 c | 250 | 11981 24673 108953 | 9951 250 36 | 8.395 % | 20.55/20.63 c | 475 | 11981 24673 108953 | 10946 475 44 | 8.395 % | 20.55/20.66 c | 812 | 11981 24673 108953 | 12041 812 49 | 8.395 % | 20.66/20.71 c | 1318 | 11981 24673 108953 | 13245 1318 49 | 8.395 % | 20.66/20.73 c =============================================================================== 20.66/20.75 c core #534 20.66/20.75 c Core size: 235 Core Weight: 1 Total Weight: 534 20.66/20.75 c Elapsed CPU time: 20.5609 s Remaining CPU time: 1779.44 s 20.66/20.79 c Learning 1 hard constraints 20.66/20.79 c ============================[ Search Statistics ]============================== 20.66/20.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.66/20.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.66/20.79 c =============================================================================== 20.66/20.79 c | 0 | 12117 24675 109240 | 8225 0 nan | 0.000 % | 20.76/20.81 c | 101 | 12117 24675 109240 | 9047 101 61 | 8.288 % | 20.76/20.82 c | 253 | 12117 24675 109240 | 9952 253 47 | 8.288 % | 20.76/20.84 c | 479 | 12114 24675 109240 | 10947 479 46 | 8.311 % | 20.76/20.87 c | 816 | 12114 24675 109240 | 12042 816 48 | 8.311 % | 20.85/20.91 c | 1323 | 12114 24675 109240 | 13246 1323 50 | 8.311 % | 20.96/21.00 c | 2082 | 12114 24675 109240 | 14571 2077 59 | 8.311 % | 21.05/21.14 c | 3224 | 12114 24675 109240 | 16028 3219 66 | 8.311 % | 21.26/21.35 c =============================================================================== 21.26/21.35 c core #535 21.26/21.35 c Core size: 40 Core Weight: 1 Total Weight: 535 21.26/21.35 c Elapsed CPU time: 21.1408 s Remaining CPU time: 1778.86 s 21.35/21.40 c Learning 2 hard constraints 21.35/21.40 c ============================[ Search Statistics ]============================== 21.35/21.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.35/21.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.35/21.40 c =============================================================================== 21.35/21.40 c | 0 | 12163 24678 109451 | 8226 0 nan | 0.000 % | 21.35/21.41 c | 102 | 12163 24678 109451 | 9048 102 40 | 8.134 % | 21.35/21.43 c | 252 | 12162 24678 109451 | 9953 252 66 | 8.142 % | 21.35/21.45 c | 478 | 12161 24678 109451 | 10948 478 66 | 8.150 % | 21.35/21.48 c | 816 | 12161 24678 109451 | 12043 816 63 | 8.150 % | 21.46/21.53 c | 1322 | 12161 24678 109451 | 13248 1322 61 | 8.150 % | 21.46/21.55 c =============================================================================== 21.46/21.55 c core #536 21.46/21.55 c Core size: 18 Core Weight: 1 Total Weight: 536 21.46/21.55 c Elapsed CPU time: 21.3338 s Remaining CPU time: 1778.67 s 21.46/21.59 c Learning 1 hard constraints 21.46/21.59 c ============================[ Search Statistics ]============================== 21.46/21.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.46/21.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.46/21.59 c =============================================================================== 21.46/21.59 c | 0 | 12188 24680 109556 | 8226 0 nan | 0.000 % | 21.55/21.60 c =============================================================================== 21.55/21.60 c core #537 21.55/21.60 c Core size: 33 Core Weight: 1 Total Weight: 537 21.55/21.60 c Elapsed CPU time: 21.3807 s Remaining CPU time: 1778.62 s 21.55/21.65 c ============================[ Search Statistics ]============================== 21.55/21.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.55/21.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.55/21.65 c =============================================================================== 21.55/21.65 c | 0 | 12215 24681 109622 | 8227 0 nan | 0.000 % | 21.55/21.66 c =============================================================================== 21.55/21.66 c core #538 21.55/21.66 c Core size: 41 Core Weight: 1 Total Weight: 538 21.55/21.66 c Elapsed CPU time: 21.4407 s Remaining CPU time: 1778.56 s 21.65/21.71 c ============================[ Search Statistics ]============================== 21.65/21.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.65/21.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.65/21.71 c =============================================================================== 21.65/21.71 c | 0 | 12246 24682 109688 | 8227 0 nan | 0.000 % | 21.65/21.72 c =============================================================================== 21.65/21.72 c core #539 21.65/21.72 c Core size: 52 Core Weight: 1 Total Weight: 539 21.65/21.72 c Elapsed CPU time: 21.4977 s Remaining CPU time: 1778.5 s 21.65/21.77 c ============================[ Search Statistics ]============================== 21.65/21.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.65/21.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.65/21.77 c =============================================================================== 21.65/21.77 c | 0 | 12286 24683 109776 | 8227 0 nan | 0.000 % | 21.65/21.78 c =============================================================================== 21.65/21.78 c core #540 21.65/21.78 c Core size: 11 Core Weight: 1 Total Weight: 540 21.65/21.78 c Elapsed CPU time: 21.5567 s Remaining CPU time: 1778.44 s 21.75/21.82 c ============================[ Search Statistics ]============================== 21.75/21.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.75/21.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.75/21.82 c =============================================================================== 21.75/21.82 c | 0 | 12296 24684 109804 | 8228 0 nan | 0.000 % | 21.75/21.84 c =============================================================================== 21.75/21.84 c core #541 21.75/21.84 c Core size: 17 Core Weight: 1 Total Weight: 541 21.75/21.84 c Elapsed CPU time: 21.6137 s Remaining CPU time: 1778.39 s 21.75/21.88 c ============================[ Search Statistics ]============================== 21.75/21.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.75/21.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.75/21.88 c =============================================================================== 21.75/21.88 c | 0 | 12309 24685 109834 | 8228 0 nan | 0.000 % | 21.75/21.90 c =============================================================================== 21.75/21.90 c core #542 21.75/21.90 c Core size: 11 Core Weight: 1 Total Weight: 542 21.75/21.90 c Elapsed CPU time: 21.6747 s Remaining CPU time: 1778.33 s 21.85/21.94 c ============================[ Search Statistics ]============================== 21.85/21.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.85/21.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.85/21.94 c =============================================================================== 21.85/21.94 c | 0 | 12319 24686 109862 | 8228 0 nan | 0.000 % | 21.85/21.96 c =============================================================================== 21.85/21.96 c core #543 21.85/21.96 c Core size: 29 Core Weight: 1 Total Weight: 543 21.85/21.96 c Elapsed CPU time: 21.7327 s Remaining CPU time: 1778.27 s 21.95/22.00 c ============================[ Search Statistics ]============================== 21.95/22.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.95/22.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.95/22.00 c =============================================================================== 21.95/22.00 c | 0 | 12339 24687 109902 | 8229 0 nan | 0.000 % | 21.95/22.02 c =============================================================================== 21.95/22.02 c core #544 21.95/22.02 c Core size: 11 Core Weight: 1 Total Weight: 544 21.95/22.02 c Elapsed CPU time: 21.7967 s Remaining CPU time: 1778.2 s 21.95/22.07 c ============================[ Search Statistics ]============================== 21.95/22.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.95/22.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.95/22.07 c =============================================================================== 21.95/22.07 c | 0 | 12349 24688 109930 | 8229 0 nan | 0.000 % | 21.95/22.09 c | 102 | 12346 24688 109930 | 9052 102 12 | 7.838 % | 21.95/22.09 c =============================================================================== 21.95/22.09 c core #545 21.95/22.09 c Core size: 11 Core Weight: 1 Total Weight: 545 21.95/22.09 c Elapsed CPU time: 21.8607 s Remaining CPU time: 1778.14 s 22.04/22.13 c ============================[ Search Statistics ]============================== 22.04/22.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.04/22.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.04/22.13 c =============================================================================== 22.04/22.13 c | 0 | 12359 24689 109958 | 8229 0 nan | 0.000 % | 22.04/22.15 c | 100 | 12359 24689 109958 | 9052 100 12 | 7.796 % | 22.04/22.16 c =============================================================================== 22.04/22.16 c core #546 22.04/22.16 c Core size: 11 Core Weight: 1 Total Weight: 546 22.04/22.16 c Elapsed CPU time: 21.9257 s Remaining CPU time: 1778.07 s 22.14/22.20 c ============================[ Search Statistics ]============================== 22.14/22.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.14/22.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.14/22.20 c =============================================================================== 22.14/22.20 c | 0 | 12369 24690 109986 | 8230 0 nan | 0.000 % | 22.14/22.22 c | 100 | 12369 24690 109986 | 9053 100 19 | 7.777 % | 22.14/22.22 c | 250 | 12368 24690 109986 | 9958 250 28 | 7.784 % | 22.14/22.23 c | 475 | 12367 24690 109986 | 10954 475 28 | 7.799 % | 22.14/22.25 c | 812 | 12366 24690 109986 | 12049 812 28 | 7.806 % | 22.14/22.28 c =============================================================================== 22.14/22.28 c core #547 22.14/22.28 c Core size: 132 Core Weight: 1 Total Weight: 547 22.14/22.28 c Elapsed CPU time: 22.0456 s Remaining CPU time: 1777.95 s 22.25/22.33 c ============================[ Search Statistics ]============================== 22.25/22.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.25/22.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.25/22.33 c =============================================================================== 22.25/22.33 c | 0 | 12471 24691 110198 | 8230 0 nan | 0.000 % | 22.25/22.34 c | 102 | 12471 24691 110198 | 9053 102 20 | 7.704 % | 22.25/22.35 c =============================================================================== 22.25/22.35 c core #548 22.25/22.35 c Core size: 21 Core Weight: 1 Total Weight: 548 22.25/22.35 c Elapsed CPU time: 22.1136 s Remaining CPU time: 1777.89 s 22.25/22.39 c ============================[ Search Statistics ]============================== 22.25/22.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.25/22.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.25/22.39 c =============================================================================== 22.25/22.39 c | 0 | 12486 24692 110232 | 8230 0 nan | 0.000 % | 22.35/22.41 c | 102 | 12486 24692 110232 | 9053 102 12 | 7.689 % | 22.35/22.41 c =============================================================================== 22.35/22.41 c core #549 22.35/22.41 c Core size: 11 Core Weight: 1 Total Weight: 549 22.35/22.41 c Elapsed CPU time: 22.1766 s Remaining CPU time: 1777.82 s 22.35/22.46 c ============================[ Search Statistics ]============================== 22.35/22.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.35/22.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.35/22.46 c =============================================================================== 22.35/22.46 c | 0 | 12496 24693 110260 | 8231 0 nan | 0.000 % | 22.35/22.48 c =============================================================================== 22.35/22.48 c core #550 22.35/22.48 c Core size: 17 Core Weight: 1 Total Weight: 550 22.35/22.48 c Elapsed CPU time: 22.2426 s Remaining CPU time: 1777.76 s 22.45/22.52 c ============================[ Search Statistics ]============================== 22.45/22.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.45/22.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.45/22.52 c =============================================================================== 22.45/22.52 c | 0 | 12509 24694 110290 | 8231 0 nan | 0.000 % | 22.45/22.54 c | 100 | 12509 24694 110290 | 9054 100 10 | 7.655 % | 22.45/22.54 c =============================================================================== 22.45/22.54 c core #551 22.45/22.54 c Core size: 11 Core Weight: 1 Total Weight: 551 22.45/22.54 c Elapsed CPU time: 22.3046 s Remaining CPU time: 1777.7 s 22.45/22.59 c ============================[ Search Statistics ]============================== 22.45/22.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.45/22.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.45/22.59 c =============================================================================== 22.45/22.59 c | 0 | 12519 24695 110318 | 8231 0 nan | 0.000 % | 22.54/22.61 c | 100 | 12519 24695 110318 | 9054 100 11 | 7.636 % | 22.54/22.61 c =============================================================================== 22.54/22.61 c core #552 22.54/22.61 c Core size: 11 Core Weight: 1 Total Weight: 552 22.54/22.61 c Elapsed CPU time: 22.3716 s Remaining CPU time: 1777.63 s 22.54/22.65 c ============================[ Search Statistics ]============================== 22.54/22.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.54/22.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.54/22.65 c =============================================================================== 22.54/22.65 c | 0 | 12529 24696 110346 | 8232 0 nan | 0.000 % | 22.54/22.67 c | 102 | 12529 24696 110346 | 9055 102 13 | 7.617 % | 22.54/22.67 c =============================================================================== 22.54/22.67 c core #553 22.54/22.67 c Core size: 35 Core Weight: 1 Total Weight: 553 22.54/22.67 c Elapsed CPU time: 22.4356 s Remaining CPU time: 1777.56 s 22.64/22.72 c ============================[ Search Statistics ]============================== 22.64/22.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.64/22.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.64/22.72 c =============================================================================== 22.64/22.72 c | 0 | 12554 24697 110400 | 8232 0 nan | 0.000 % | 22.64/22.73 c =============================================================================== 22.64/22.73 c core #554 22.64/22.73 c Core size: 25 Core Weight: 1 Total Weight: 554 22.64/22.73 c Elapsed CPU time: 22.4896 s Remaining CPU time: 1777.51 s 22.64/22.77 c ============================[ Search Statistics ]============================== 22.64/22.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.64/22.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.64/22.77 c =============================================================================== 22.64/22.77 c | 0 | 12572 24698 110513 | 8232 0 nan | 0.000 % | 22.64/22.79 c | 100 | 12572 24698 110513 | 9055 100 12 | 7.559 % | 22.64/22.79 c =============================================================================== 22.64/22.79 c core #555 22.64/22.79 c Core size: 11 Core Weight: 1 Total Weight: 555 22.64/22.79 c Elapsed CPU time: 22.5526 s Remaining CPU time: 1777.45 s 22.74/22.84 c ============================[ Search Statistics ]============================== 22.74/22.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.74/22.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.74/22.84 c =============================================================================== 22.74/22.84 c | 0 | 12582 24699 110541 | 8233 0 nan | 0.000 % | 22.74/22.86 c | 100 | 12582 24699 110541 | 9056 100 22 | 7.540 % | 22.74/22.86 c =============================================================================== 22.74/22.86 c core #556 22.74/22.86 c Core size: 11 Core Weight: 1 Total Weight: 556 22.74/22.86 c Elapsed CPU time: 22.6176 s Remaining CPU time: 1777.38 s 22.84/22.90 c ============================[ Search Statistics ]============================== 22.84/22.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.84/22.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.84/22.90 c =============================================================================== 22.84/22.90 c | 0 | 12592 24700 110569 | 8233 0 nan | 0.000 % | 22.84/22.92 c =============================================================================== 22.84/22.92 c core #557 22.84/22.92 c Core size: 17 Core Weight: 1 Total Weight: 557 22.84/22.92 c Elapsed CPU time: 22.6776 s Remaining CPU time: 1777.32 s 22.84/22.97 c ============================[ Search Statistics ]============================== 22.84/22.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.84/22.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.84/22.97 c =============================================================================== 22.84/22.97 c | 0 | 12605 24701 110599 | 8233 0 nan | 0.000 % | 22.84/22.99 c | 100 | 12605 24701 110599 | 9057 100 11 | 7.507 % | 22.84/22.99 c =============================================================================== 22.84/22.99 c core #558 22.84/22.99 c Core size: 17 Core Weight: 1 Total Weight: 558 22.84/22.99 c Elapsed CPU time: 22.7445 s Remaining CPU time: 1777.26 s 22.94/23.03 c ============================[ Search Statistics ]============================== 22.94/23.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.94/23.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.94/23.03 c =============================================================================== 22.94/23.03 c | 0 | 12618 24702 110629 | 8234 0 nan | 0.000 % | 22.94/23.05 c | 100 | 12618 24702 110629 | 9057 100 15 | 7.493 % | 22.94/23.05 c =============================================================================== 22.94/23.05 c core #559 22.94/23.05 c Core size: 11 Core Weight: 1 Total Weight: 559 22.94/23.05 c Elapsed CPU time: 22.8065 s Remaining CPU time: 1777.19 s 22.94/23.10 c ============================[ Search Statistics ]============================== 22.94/23.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.94/23.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.94/23.10 c =============================================================================== 22.94/23.10 c | 0 | 12628 24703 110657 | 8234 0 nan | 0.000 % | 23.04/23.12 c | 101 | 12628 24703 110657 | 9057 101 24 | 7.474 % | 23.04/23.12 c =============================================================================== 23.04/23.12 c core #560 23.04/23.12 c Core size: 11 Core Weight: 1 Total Weight: 560 23.04/23.12 c Elapsed CPU time: 22.8715 s Remaining CPU time: 1777.13 s 23.04/23.16 c ============================[ Search Statistics ]============================== 23.04/23.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.04/23.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.04/23.16 c =============================================================================== 23.04/23.16 c | 0 | 12638 24704 110685 | 8234 0 nan | 0.000 % | 23.04/23.18 c | 101 | 12638 24704 110685 | 9058 101 21 | 7.455 % | 23.04/23.18 c | 252 | 12638 24704 110685 | 9963 252 25 | 7.455 % | 23.04/23.19 c | 479 | 12635 24704 110685 | 10960 479 26 | 7.477 % | 23.13/23.22 c | 819 | 12632 24704 110685 | 12056 819 28 | 7.499 % | 23.13/23.24 c =============================================================================== 23.13/23.25 c core #561 23.13/23.25 c Core size: 70 Core Weight: 1 Total Weight: 561 23.13/23.25 c Elapsed CPU time: 23.0005 s Remaining CPU time: 1777 s 23.24/23.30 c ============================[ Search Statistics ]============================== 23.24/23.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.24/23.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.24/23.30 c =============================================================================== 23.24/23.30 c | 0 | 12699 24705 110881 | 8235 0 nan | 0.000 % | 23.24/23.32 c | 101 | 12699 24705 110881 | 9058 101 14 | 7.367 % | 23.24/23.32 c =============================================================================== 23.24/23.32 c core #562 23.24/23.32 c Core size: 11 Core Weight: 1 Total Weight: 562 23.24/23.32 c Elapsed CPU time: 23.0685 s Remaining CPU time: 1776.93 s 23.24/23.37 c ============================[ Search Statistics ]============================== 23.24/23.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.24/23.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.24/23.37 c =============================================================================== 23.24/23.37 c | 0 | 12709 24706 110909 | 8235 0 nan | 0.000 % | 23.24/23.38 c =============================================================================== 23.24/23.38 c core #563 23.24/23.38 c Core size: 44 Core Weight: 1 Total Weight: 563 23.24/23.38 c Elapsed CPU time: 23.1215 s Remaining CPU time: 1776.88 s 23.34/23.43 c ============================[ Search Statistics ]============================== 23.34/23.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.34/23.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.34/23.43 c =============================================================================== 23.34/23.43 c | 0 | 12747 24707 111025 | 8235 0 nan | 0.000 % | 23.34/23.45 c | 100 | 12747 24707 111025 | 9059 100 16 | 7.295 % | 23.34/23.45 c =============================================================================== 23.34/23.45 c core #564 23.34/23.45 c Core size: 11 Core Weight: 1 Total Weight: 564 23.34/23.45 c Elapsed CPU time: 23.1915 s Remaining CPU time: 1776.81 s 23.34/23.50 c ============================[ Search Statistics ]============================== 23.34/23.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.34/23.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.34/23.50 c =============================================================================== 23.34/23.50 c | 0 | 12757 24708 111053 | 8236 0 nan | 0.000 % | 23.44/23.51 c | 100 | 12757 24708 111053 | 9059 100 15 | 7.276 % | 23.44/23.52 c =============================================================================== 23.44/23.52 c core #565 23.44/23.52 c Core size: 17 Core Weight: 1 Total Weight: 565 23.44/23.52 c Elapsed CPU time: 23.2565 s Remaining CPU time: 1776.74 s 23.44/23.56 c ============================[ Search Statistics ]============================== 23.44/23.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.44/23.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.44/23.57 c =============================================================================== 23.44/23.57 c | 0 | 12770 24709 111083 | 8236 0 nan | 0.000 % | 23.44/23.59 c | 101 | 12770 24709 111083 | 9059 101 14 | 7.262 % | 23.44/23.59 c =============================================================================== 23.44/23.59 c core #566 23.44/23.59 c Core size: 11 Core Weight: 1 Total Weight: 566 23.44/23.59 c Elapsed CPU time: 23.3245 s Remaining CPU time: 1776.68 s 23.54/23.63 c ============================[ Search Statistics ]============================== 23.54/23.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.54/23.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.54/23.63 c =============================================================================== 23.54/23.63 c | 0 | 12780 24710 111111 | 8236 0 nan | 0.000 % | 23.54/23.65 c | 101 | 12780 24710 111111 | 9060 101 17 | 7.243 % | 23.54/23.65 c =============================================================================== 23.54/23.65 c core #567 23.54/23.65 c Core size: 11 Core Weight: 1 Total Weight: 567 23.54/23.65 c Elapsed CPU time: 23.3884 s Remaining CPU time: 1776.61 s 23.64/23.70 c ============================[ Search Statistics ]============================== 23.64/23.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.64/23.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.64/23.70 c =============================================================================== 23.64/23.70 c | 0 | 12790 24711 111139 | 8237 0 nan | 0.000 % | 23.64/23.71 c =============================================================================== 23.64/23.71 c core #568 23.64/23.71 c Core size: 43 Core Weight: 1 Total Weight: 568 23.64/23.71 c Elapsed CPU time: 23.4484 s Remaining CPU time: 1776.55 s 23.64/23.76 c Learning 2 hard constraints 23.64/23.76 c ============================[ Search Statistics ]============================== 23.64/23.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.64/23.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.64/23.76 c =============================================================================== 23.64/23.76 c | 0 | 12814 24714 111237 | 8238 0 nan | 0.000 % | 23.64/23.77 c | 100 | 12814 24714 111237 | 9061 100 32 | 7.438 % | 23.64/23.78 c =============================================================================== 23.64/23.79 c core #569 23.64/23.79 c Core size: 118 Core Weight: 1 Total Weight: 569 23.64/23.79 c Elapsed CPU time: 23.5164 s Remaining CPU time: 1776.48 s 23.73/23.83 c ============================[ Search Statistics ]============================== 23.73/23.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.73/23.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.73/23.83 c =============================================================================== 23.73/23.83 c | 0 | 12905 24715 111427 | 8238 0 nan | 0.000 % | 23.73/23.85 c | 100 | 12905 24715 111427 | 9062 100 41 | 7.132 % | 23.73/23.87 c | 250 | 12898 24715 111427 | 9968 250 43 | 7.196 % | 23.84/23.90 c | 476 | 12898 24715 111427 | 10965 476 50 | 7.204 % | 23.84/23.90 c =============================================================================== 23.84/23.91 c core #570 23.84/23.91 c Core size: 121 Core Weight: 1 Total Weight: 570 23.84/23.91 c Elapsed CPU time: 23.6314 s Remaining CPU time: 1776.37 s 23.84/23.95 c ============================[ Search Statistics ]============================== 23.84/23.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.84/23.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.84/23.95 c =============================================================================== 23.84/23.95 c | 0 | 13001 24716 111636 | 8238 0 nan | 0.000 % | 23.84/23.97 c | 100 | 13001 24716 111636 | 9062 100 58 | 7.069 % | 23.84/23.99 c | 252 | 12999 24716 111636 | 9968 252 38 | 7.084 % | 23.84/23.99 c =============================================================================== 23.84/23.99 c core #571 23.84/23.99 c Core size: 11 Core Weight: 1 Total Weight: 571 23.84/23.99 c Elapsed CPU time: 23.7184 s Remaining CPU time: 1776.28 s 23.94/24.04 c ============================[ Search Statistics ]============================== 23.94/24.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.94/24.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.94/24.04 c =============================================================================== 23.94/24.04 c | 0 | 13011 24717 111664 | 8239 0 nan | 0.000 % | 23.94/24.06 c | 100 | 13011 24717 111664 | 9062 100 52 | 7.051 % | 23.94/24.07 c =============================================================================== 23.94/24.07 c core #572 23.94/24.07 c Core size: 15 Core Weight: 1 Total Weight: 572 23.94/24.07 c Elapsed CPU time: 23.7844 s Remaining CPU time: 1776.22 s 24.03/24.11 c ============================[ Search Statistics ]============================== 24.03/24.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.03/24.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.03/24.11 c =============================================================================== 24.03/24.11 c | 0 | 13023 24718 111692 | 8239 0 nan | 0.000 % | 24.03/24.13 c | 100 | 13023 24718 111692 | 9063 100 45 | 7.038 % | 24.03/24.14 c =============================================================================== 24.03/24.14 c core #573 24.03/24.14 c Core size: 142 Core Weight: 1 Total Weight: 573 24.03/24.14 c Elapsed CPU time: 23.8614 s Remaining CPU time: 1776.14 s 24.03/24.19 c Learning 1 hard constraints 24.03/24.19 c ============================[ Search Statistics ]============================== 24.03/24.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.03/24.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.03/24.19 c =============================================================================== 24.03/24.19 c | 0 | 13163 24720 112191 | 8240 0 nan | 0.000 % | 24.14/24.21 c | 101 | 13163 24720 112191 | 9064 101 49 | 6.797 % | 24.14/24.22 c | 253 | 13163 24720 112191 | 9970 253 42 | 6.797 % | 24.14/24.23 c | 478 | 13163 24720 112191 | 10967 478 43 | 6.797 % | 24.14/24.25 c =============================================================================== 24.14/24.25 c core #574 24.14/24.25 c Core size: 51 Core Weight: 1 Total Weight: 574 24.14/24.25 c Elapsed CPU time: 23.9594 s Remaining CPU time: 1776.04 s 24.14/24.29 c ============================[ Search Statistics ]============================== 24.14/24.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.14/24.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.14/24.29 c =============================================================================== 24.14/24.29 c | 0 | 13197 24721 112273 | 8240 0 nan | 0.000 % | 24.23/24.31 c | 100 | 13197 24721 112273 | 9064 100 49 | 6.768 % | 24.23/24.32 c =============================================================================== 24.23/24.32 c core #575 24.23/24.32 c Core size: 42 Core Weight: 1 Total Weight: 575 24.23/24.32 c Elapsed CPU time: 24.0263 s Remaining CPU time: 1775.97 s 24.23/24.37 c ============================[ Search Statistics ]============================== 24.23/24.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.23/24.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.23/24.37 c =============================================================================== 24.23/24.37 c | 0 | 13265 24722 112592 | 8240 0 nan | 0.000 % | 24.23/24.38 c | 101 | 13265 24722 112592 | 9064 101 42 | 6.519 % | 24.23/24.40 c | 251 | 13265 24722 112592 | 9971 251 37 | 6.519 % | 24.33/24.41 c | 477 | 13265 24722 112592 | 10968 477 36 | 6.519 % | 24.33/24.44 c | 816 | 13265 24722 112592 | 12065 816 43 | 6.519 % | 24.33/24.49 c | 1323 | 13265 24722 112592 | 13271 1323 48 | 6.519 % | 24.44/24.58 c | 2083 | 13265 24722 112592 | 14598 2083 61 | 6.519 % | 24.63/24.74 c | 3222 | 13265 24722 112592 | 16058 3222 87 | 6.519 % | 24.93/25.02 c | 4930 | 13207 24722 112592 | 17664 3918 68 | 6.927 % | 24.93/25.09 c =============================================================================== 25.03/25.12 c core #576 25.03/25.12 c Core size: 141 Core Weight: 1 Total Weight: 576 25.03/25.12 c Elapsed CPU time: 24.8042 s Remaining CPU time: 1775.2 s 25.03/25.17 c ============================[ Search Statistics ]============================== 25.03/25.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.03/25.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.03/25.17 c =============================================================================== 25.03/25.17 c | 0 | 13368 24723 112798 | 8241 0 nan | 0.000 % | 25.03/25.18 c =============================================================================== 25.03/25.18 c core #577 25.03/25.18 c Core size: 44 Core Weight: 1 Total Weight: 577 25.03/25.18 c Elapsed CPU time: 24.8642 s Remaining CPU time: 1775.14 s 25.14/25.23 c Learning 1 hard constraints 25.14/25.23 c ============================[ Search Statistics ]============================== 25.14/25.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.14/25.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.14/25.23 c =============================================================================== 25.14/25.23 c | 0 | 13424 24725 113056 | 8241 0 nan | 0.000 % | 25.14/25.24 c | 100 | 13424 24725 113056 | 9065 100 42 | 6.290 % | 25.14/25.26 c | 252 | 13424 24725 113056 | 9972 252 31 | 6.290 % | 25.14/25.29 c | 478 | 13424 24725 113056 | 10969 478 45 | 7.092 % | 25.23/25.32 c =============================================================================== 25.23/25.32 c core #578 25.23/25.32 c Core size: 28 Core Weight: 1 Total Weight: 578 25.23/25.32 c Elapsed CPU time: 24.9942 s Remaining CPU time: 1775.01 s 25.23/25.37 c ============================[ Search Statistics ]============================== 25.23/25.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.23/25.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.23/25.37 c =============================================================================== 25.23/25.37 c | 0 | 13448 24726 113171 | 8242 0 nan | 0.000 % | 25.23/25.38 c =============================================================================== 25.23/25.38 c core #579 25.23/25.38 c Core size: 63 Core Weight: 1 Total Weight: 579 25.23/25.38 c Elapsed CPU time: 25.0532 s Remaining CPU time: 1774.95 s 25.32/25.43 c ============================[ Search Statistics ]============================== 25.32/25.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.32/25.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.32/25.43 c =============================================================================== 25.32/25.43 c | 0 | 13523 24727 113555 | 8242 0 nan | 0.000 % | 25.32/25.43 c =============================================================================== 25.32/25.43 c core #580 25.32/25.43 c Core size: 22 Core Weight: 1 Total Weight: 580 25.32/25.43 c Elapsed CPU time: 25.1062 s Remaining CPU time: 1774.89 s 25.32/25.48 c ============================[ Search Statistics ]============================== 25.32/25.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.32/25.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.32/25.48 c =============================================================================== 25.32/25.48 c | 0 | 13547 24728 113727 | 8242 0 nan | 0.000 % | 25.32/25.49 c =============================================================================== 25.32/25.49 c core #581 25.32/25.49 c Core size: 48 Core Weight: 1 Total Weight: 581 25.32/25.49 c Elapsed CPU time: 25.1652 s Remaining CPU time: 1774.83 s 25.43/25.54 c ============================[ Search Statistics ]============================== 25.43/25.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.43/25.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.43/25.54 c =============================================================================== 25.43/25.54 c | 0 | 13583 24729 113803 | 8243 0 nan | 0.000 % | 25.43/25.54 c =============================================================================== 25.43/25.55 c core #582 25.43/25.55 c Core size: 21 Core Weight: 1 Total Weight: 582 25.43/25.55 c Elapsed CPU time: 25.2162 s Remaining CPU time: 1774.78 s 25.43/25.59 c ============================[ Search Statistics ]============================== 25.43/25.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.43/25.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.43/25.60 c =============================================================================== 25.43/25.60 c | 0 | 13599 24730 113839 | 8243 0 nan | 0.000 % | 25.53/25.61 c | 100 | 13599 24730 113839 | 9067 100 16 | 5.961 % | 25.53/25.62 c | 254 | 13599 24730 113839 | 9974 254 13 | 5.961 % | 25.53/25.62 c =============================================================================== 25.53/25.62 c core #583 25.53/25.62 c Core size: 62 Core Weight: 1 Total Weight: 583 25.53/25.62 c Elapsed CPU time: 25.2932 s Remaining CPU time: 1774.71 s 25.53/25.67 c ============================[ Search Statistics ]============================== 25.53/25.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.53/25.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.53/25.67 c =============================================================================== 25.53/25.67 c | 0 | 13651 24731 113989 | 8243 0 nan | 0.000 % | 25.53/25.68 c =============================================================================== 25.53/25.68 c core #584 25.53/25.68 c Core size: 29 Core Weight: 1 Total Weight: 584 25.53/25.68 c Elapsed CPU time: 25.3481 s Remaining CPU time: 1774.65 s 25.63/25.73 c Learning 1 hard constraints 25.63/25.73 c ============================[ Search Statistics ]============================== 25.63/25.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.63/25.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.63/25.73 c =============================================================================== 25.63/25.73 c | 0 | 13661 24733 114027 | 8244 0 nan | 0.000 % | 25.63/25.75 c | 106 | 13661 24733 114027 | 9068 106 17 | 5.955 % | 25.63/25.76 c | 257 | 13661 24733 114027 | 9975 257 14 | 5.996 % | 25.63/25.78 c | 482 | 13661 24733 114027 | 10973 482 14 | 5.996 % | 25.63/25.79 c =============================================================================== 25.63/25.80 c core #585 25.63/25.80 c Core size: 128 Core Weight: 1 Total Weight: 585 25.63/25.80 c Elapsed CPU time: 25.4601 s Remaining CPU time: 1774.54 s 25.73/25.84 c ============================[ Search Statistics ]============================== 25.73/25.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.73/25.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.73/25.84 c =============================================================================== 25.73/25.84 c | 0 | 13756 24734 114217 | 8244 0 nan | 0.000 % | 25.73/25.86 c | 100 | 13756 24734 114217 | 9069 100 12 | 5.916 % | 25.73/25.87 c | 252 | 13756 24734 114217 | 9976 252 16 | 5.916 % | 25.73/25.88 c | 478 | 13756 24734 114217 | 10973 478 16 | 5.916 % | 25.73/25.90 c =============================================================================== 25.82/25.90 c core #586 25.82/25.90 c Core size: 73 Core Weight: 1 Total Weight: 586 25.82/25.90 c Elapsed CPU time: 25.5621 s Remaining CPU time: 1774.44 s 25.82/25.95 c ============================[ Search Statistics ]============================== 25.82/25.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.82/25.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.82/25.95 c =============================================================================== 25.82/25.95 c | 0 | 13795 24735 114295 | 8245 0 nan | 0.000 % | 25.82/25.97 c | 100 | 13795 24735 114295 | 9069 100 22 | 5.900 % | 25.82/25.98 c | 250 | 13794 24735 114295 | 9976 250 20 | 5.907 % | 25.82/25.99 c =============================================================================== 25.82/25.99 c core #587 25.82/25.99 c Core size: 83 Core Weight: 1 Total Weight: 587 25.82/25.99 c Elapsed CPU time: 25.6521 s Remaining CPU time: 1774.35 s 25.92/26.04 c ============================[ Search Statistics ]============================== 25.92/26.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.92/26.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.92/26.04 c =============================================================================== 25.92/26.04 c | 0 | 13847 24736 114399 | 8245 0 nan | 0.000 % | 25.92/26.06 c | 100 | 13847 24736 114399 | 9069 100 21 | 5.880 % | 25.92/26.07 c | 253 | 13847 24736 114399 | 9976 253 22 | 5.880 % | 25.92/26.08 c =============================================================================== 25.92/26.08 c core #588 25.92/26.08 c Core size: 15 Core Weight: 1 Total Weight: 588 25.92/26.08 c Elapsed CPU time: 25.7361 s Remaining CPU time: 1774.26 s 26.02/26.13 c ============================[ Search Statistics ]============================== 26.02/26.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.02/26.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.02/26.13 c =============================================================================== 26.02/26.13 c | 0 | 13863 24737 114509 | 8245 0 nan | 0.000 % | 26.02/26.15 c | 102 | 13863 24737 114509 | 9070 102 14 | 5.848 % | 26.02/26.15 c =============================================================================== 26.02/26.15 c core #589 26.02/26.15 c Core size: 42 Core Weight: 1 Total Weight: 589 26.02/26.15 c Elapsed CPU time: 25.8061 s Remaining CPU time: 1774.19 s 26.12/26.20 c ============================[ Search Statistics ]============================== 26.12/26.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.12/26.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.12/26.20 c =============================================================================== 26.12/26.20 c | 0 | 13889 24738 114561 | 8246 0 nan | 0.000 % | 26.12/26.22 c | 100 | 13889 24738 114561 | 9070 100 19 | 5.837 % | 26.12/26.23 c | 250 | 13889 24738 114561 | 9977 250 17 | 5.837 % | 26.12/26.25 c =============================================================================== 26.12/26.25 c core #590 26.12/26.25 c Core size: 58 Core Weight: 1 Total Weight: 590 26.12/26.25 c Elapsed CPU time: 25.9001 s Remaining CPU time: 1774.1 s 26.22/26.30 c Learning 1 hard constraints 26.22/26.30 c ============================[ Search Statistics ]============================== 26.22/26.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.22/26.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.22/26.30 c =============================================================================== 26.22/26.30 c | 0 | 13932 24740 114650 | 8246 0 nan | 0.000 % | 26.22/26.32 c | 101 | 13932 24740 114650 | 9071 101 19 | 5.820 % | 26.22/26.33 c | 252 | 13931 24740 114650 | 9978 252 19 | 5.827 % | 26.22/26.34 c | 479 | 13931 24740 114650 | 10976 479 23 | 5.827 % | 26.22/26.37 c | 816 | 13924 24740 114650 | 12073 799 26 | 5.888 % | 26.22/26.38 c =============================================================================== 26.22/26.38 c core #591 26.22/26.38 c Core size: 15 Core Weight: 1 Total Weight: 591 26.22/26.38 c Elapsed CPU time: 26.021 s Remaining CPU time: 1773.98 s 26.32/26.43 c ============================[ Search Statistics ]============================== 26.32/26.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.32/26.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.32/26.43 c =============================================================================== 26.32/26.43 c | 0 | 13948 24741 114760 | 8247 0 nan | 0.000 % | 26.32/26.44 c | 100 | 13948 24741 114760 | 9071 100 20 | 5.789 % | 26.32/26.44 c =============================================================================== 26.32/26.44 c core #592 26.32/26.44 c Core size: 28 Core Weight: 1 Total Weight: 592 26.32/26.44 c Elapsed CPU time: 26.083 s Remaining CPU time: 1773.92 s 26.32/26.49 c ============================[ Search Statistics ]============================== 26.32/26.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.32/26.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.32/26.49 c =============================================================================== 26.32/26.49 c | 0 | 13978 24742 114921 | 8247 0 nan | 0.000 % | 26.41/26.51 c | 100 | 13977 24742 114921 | 9072 100 67 | 5.727 % | 26.41/26.53 c | 251 | 13977 24742 114921 | 9979 251 50 | 5.727 % | 26.41/26.54 c | 476 | 13977 24742 114921 | 10977 476 39 | 5.727 % | 26.41/26.57 c | 813 | 13977 24742 114921 | 12074 813 37 | 5.727 % | 26.51/26.63 c | 1320 | 13976 24742 114921 | 13282 1319 40 | 5.727 % | 26.62/26.75 c | 2080 | 13976 24742 114921 | 14610 2079 49 | 5.727 % | 26.71/26.88 c | 3219 | 13976 24742 114921 | 16071 3218 44 | 5.727 % | 27.11/27.29 c | 4927 | 13975 24742 114921 | 17678 3087 65 | 5.734 % | 27.71/27.80 c =============================================================================== 27.71/27.88 c core #593 27.71/27.88 c Core size: 134 Core Weight: 1 Total Weight: 593 27.71/27.88 c Elapsed CPU time: 27.4888 s Remaining CPU time: 1772.51 s 27.81/27.93 c ============================[ Search Statistics ]============================== 27.81/27.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.81/27.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.81/27.93 c =============================================================================== 27.81/27.93 c | 0 | 14077 24743 115119 | 8247 0 nan | 0.000 % | 27.81/27.96 c | 100 | 14077 24743 115119 | 9072 100 21 | 5.675 % | 27.81/27.96 c =============================================================================== 27.81/27.96 c core #594 27.81/27.96 c Core size: 15 Core Weight: 1 Total Weight: 594 27.81/27.96 c Elapsed CPU time: 27.5718 s Remaining CPU time: 1772.43 s 27.91/28.01 c Learning 1 hard constraints 27.91/28.01 c ============================[ Search Statistics ]============================== 27.91/28.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.91/28.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.91/28.01 c =============================================================================== 27.91/28.01 c | 0 | 14093 24745 115233 | 8248 0 nan | 0.000 % | 27.91/28.03 c | 100 | 14093 24745 115233 | 9073 100 50 | 5.644 % | 27.91/28.04 c | 251 | 14093 24745 115233 | 9980 251 33 | 5.644 % | 27.91/28.06 c | 477 | 14093 24745 115233 | 10978 477 28 | 5.644 % | 28.01/28.10 c | 816 | 14092 24745 115233 | 12076 609 24 | 5.651 % | 28.01/28.11 c =============================================================================== 28.01/28.11 c core #595 28.01/28.11 c Core size: 123 Core Weight: 1 Total Weight: 595 28.01/28.11 c Elapsed CPU time: 27.7178 s Remaining CPU time: 1772.28 s 28.01/28.17 c ============================[ Search Statistics ]============================== 28.01/28.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.01/28.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.01/28.17 c =============================================================================== 28.01/28.17 c | 0 | 14185 24746 115419 | 8248 0 nan | 0.000 % | 28.01/28.18 c =============================================================================== 28.01/28.18 c core #596 28.01/28.18 c Core size: 14 Core Weight: 1 Total Weight: 596 28.01/28.18 c Elapsed CPU time: 27.7818 s Remaining CPU time: 1772.22 s 28.11/28.22 c Learning 4 hard constraints 28.11/28.22 c ============================[ Search Statistics ]============================== 28.11/28.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.11/28.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.11/28.22 c =============================================================================== 28.11/28.22 c | 0 | 14193 24751 115457 | 8250 0 nan | 0.000 % | 28.11/28.24 c | 100 | 14192 24751 115457 | 9075 100 17 | 5.634 % | 28.11/28.25 c =============================================================================== 28.11/28.25 c core #597 28.11/28.25 c Core size: 62 Core Weight: 1 Total Weight: 597 28.11/28.25 c Elapsed CPU time: 27.8458 s Remaining CPU time: 1772.15 s 28.21/28.30 c Learning 2 hard constraints 28.21/28.30 c ============================[ Search Statistics ]============================== 28.21/28.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.21/28.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.21/28.30 c =============================================================================== 28.21/28.30 c | 0 | 14232 24754 115550 | 8251 0 nan | 0.000 % | 28.21/28.32 c | 100 | 14232 24754 115550 | 9076 100 24 | 5.637 % | 28.21/28.32 c =============================================================================== 28.21/28.32 c core #598 28.21/28.32 c Core size: 14 Core Weight: 1 Total Weight: 598 28.21/28.32 c Elapsed CPU time: 27.9148 s Remaining CPU time: 1772.09 s 28.21/28.36 c ============================[ Search Statistics ]============================== 28.21/28.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.21/28.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.21/28.36 c =============================================================================== 28.21/28.36 c | 0 | 14242 24755 115579 | 8251 0 nan | 0.000 % | 28.21/28.38 c | 101 | 14242 24755 115579 | 9076 101 24 | 5.607 % | 28.21/28.39 c | 251 | 14242 24755 115579 | 9984 251 27 | 5.607 % | 28.30/28.41 c | 479 | 14242 24755 115579 | 10982 479 31 | 5.607 % | 28.30/28.45 c | 819 | 14242 24755 115579 | 12081 819 33 | 5.607 % | 28.41/28.51 c | 1331 | 14242 24755 115579 | 13289 1331 30 | 5.607 % | 28.41/28.57 c =============================================================================== 28.41/28.58 c core #599 28.41/28.58 c Core size: 121 Core Weight: 1 Total Weight: 599 28.41/28.58 c Elapsed CPU time: 28.1737 s Remaining CPU time: 1771.83 s 28.52/28.64 c ============================[ Search Statistics ]============================== 28.52/28.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.52/28.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.52/28.64 c =============================================================================== 28.52/28.64 c | 0 | 14330 24756 115755 | 8252 0 nan | 0.000 % | 28.52/28.65 c =============================================================================== 28.52/28.65 c core #600 28.52/28.65 c Core size: 16 Core Weight: 1 Total Weight: 600 28.52/28.65 c Elapsed CPU time: 28.2387 s Remaining CPU time: 1771.76 s 28.52/28.69 c Learning 1 hard constraints 28.52/28.69 c ============================[ Search Statistics ]============================== 28.52/28.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.52/28.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.52/28.69 c =============================================================================== 28.52/28.69 c | 0 | 14340 24758 115781 | 8252 0 nan | 0.000 % | 28.52/28.70 c =============================================================================== 28.52/28.70 c core #601 28.52/28.70 c Core size: 91 Core Weight: 1 Total Weight: 601 28.52/28.70 c Elapsed CPU time: 28.2847 s Remaining CPU time: 1771.72 s 28.61/28.75 c ============================[ Search Statistics ]============================== 28.61/28.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.61/28.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.61/28.75 c =============================================================================== 28.61/28.75 c | 0 | 14430 24759 116268 | 8253 0 nan | 0.000 % | 28.61/28.76 c | 100 | 14430 24759 116268 | 9078 100 32 | 5.365 % | 28.61/28.77 c =============================================================================== 28.61/28.77 c core #602 28.61/28.77 c Core size: 161 Core Weight: 1 Total Weight: 602 28.61/28.77 c Elapsed CPU time: 28.3557 s Remaining CPU time: 1771.64 s 28.71/28.81 c ============================[ Search Statistics ]============================== 28.71/28.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.71/28.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.71/28.81 c =============================================================================== 28.71/28.81 c | 0 | 14544 24760 116641 | 8253 0 nan | 0.000 % | 28.71/28.82 c | 101 | 14544 24760 116641 | 9078 101 48 | 5.257 % | 28.71/28.83 c | 251 | 14541 24760 116641 | 9986 251 50 | 5.277 % | 28.71/28.85 c | 478 | 14541 24760 116641 | 10985 478 42 | 5.277 % | 28.71/28.88 c | 822 | 14540 24760 116641 | 12083 822 39 | 5.283 % | 28.71/28.89 c =============================================================================== 28.81/28.90 c core #603 28.81/28.90 c Core size: 238 Core Weight: 1 Total Weight: 603 28.81/28.90 c Elapsed CPU time: 28.4837 s Remaining CPU time: 1771.52 s 28.81/28.95 c Learning 3 hard constraints 28.81/28.95 c ============================[ Search Statistics ]============================== 28.81/28.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.81/28.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.81/28.95 c =============================================================================== 28.81/28.95 c | 0 | 14705 24764 117230 | 8254 0 nan | 0.000 % | 28.81/28.97 c | 100 | 14705 24764 117230 | 9080 100 38 | 5.043 % | 28.81/28.98 c | 253 | 14703 24764 117230 | 9988 253 36 | 5.076 % | 28.90/29.00 c | 480 | 14702 24764 117230 | 10986 480 44 | 5.088 % | 28.90/29.04 c | 820 | 14689 24764 117230 | 12085 820 48 | 5.166 % | 28.90/29.10 c | 1331 | 14662 24764 117230 | 13294 1227 54 | 5.347 % | 29.00/29.13 c =============================================================================== 29.00/29.13 c core #604 29.00/29.13 c Core size: 286 Core Weight: 1 Total Weight: 604 29.00/29.14 c Elapsed CPU time: 28.7126 s Remaining CPU time: 1771.29 s 29.00/29.18 c Learning 2 hard constraints 29.00/29.18 c ============================[ Search Statistics ]============================== 29.00/29.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.00/29.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.00/29.18 c =============================================================================== 29.00/29.18 c | 0 | 14887 24767 117658 | 8255 0 nan | 0.000 % | 29.00/29.19 c | 100 | 14887 24767 117658 | 9081 100 39 | 4.912 % | 29.00/29.20 c =============================================================================== 29.00/29.20 c core #605 29.00/29.20 c Core size: 37 Core Weight: 1 Total Weight: 605 29.00/29.20 c Elapsed CPU time: 28.7736 s Remaining CPU time: 1771.23 s 29.11/29.25 c Learning 1 hard constraints 29.11/29.25 c ============================[ Search Statistics ]============================== 29.11/29.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.11/29.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.11/29.25 c =============================================================================== 29.11/29.25 c | 0 | 14925 24769 117791 | 8256 0 nan | 0.000 % | 29.11/29.26 c | 101 | 14925 24769 117791 | 9081 101 61 | 4.821 % | 29.11/29.27 c | 251 | 14925 24769 117791 | 9990 251 47 | 4.821 % | 29.11/29.29 c | 476 | 14925 24769 117791 | 10989 476 43 | 4.821 % | 29.21/29.33 c | 813 | 14925 24769 117791 | 12088 813 63 | 4.821 % | 29.21/29.39 c | 1323 | 14925 24769 117791 | 13296 1323 73 | 4.821 % | 29.41/29.53 c | 2082 | 14925 24769 117791 | 14626 2082 82 | 4.821 % | 29.61/29.77 c | 3221 | 14925 24769 117791 | 16089 3221 92 | 4.821 % | 30.01/30.16 c | 4931 | 14925 24769 117791 | 17698 4931 99 | 4.821 % | 30.80/30.90 c | 7493 | 14925 24769 117791 | 19468 7493 111 | 4.821 % | 31.50/31.63 c =============================================================================== 31.50/31.66 c core #606 31.50/31.66 c Core size: 372 Core Weight: 1 Total Weight: 606 31.50/31.66 c Elapsed CPU time: 31.1893 s Remaining CPU time: 1768.81 s 31.61/31.73 c Learning 15 hard constraints 31.61/31.73 c ============================[ Search Statistics ]============================== 31.61/31.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.61/31.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.61/31.73 c =============================================================================== 31.61/31.73 c | 0 | 15131 24785 118442 | 8261 0 nan | 0.000 % | 31.61/31.74 c | 100 | 15131 24785 118442 | 9087 100 61 | 4.657 % | 31.61/31.74 c =============================================================================== 31.61/31.74 c core #607 31.61/31.74 c Core size: 40 Core Weight: 1 Total Weight: 607 31.61/31.74 c Elapsed CPU time: 31.2642 s Remaining CPU time: 1768.74 s 31.61/31.79 c Learning 2 hard constraints 31.61/31.79 c ============================[ Search Statistics ]============================== 31.61/31.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.61/31.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.61/31.79 c =============================================================================== 31.61/31.79 c | 0 | 15186 24788 118925 | 8262 0 nan | 0.000 % | 31.61/31.80 c | 101 | 15186 24788 118925 | 9088 101 49 | 4.509 % | 31.71/31.81 c | 254 | 15185 24788 118925 | 9997 254 54 | 4.515 % | 31.71/31.83 c | 479 | 15179 24788 118925 | 10997 479 44 | 4.590 % | 31.71/31.87 c | 819 | 15179 24788 118925 | 12097 819 45 | 4.590 % | 31.80/31.92 c | 1333 | 15173 24788 118925 | 13307 1291 50 | 4.590 % | 31.91/32.02 c | 2094 | 15173 24788 118925 | 14637 2052 57 | 4.590 % | 32.00/32.16 c | 3234 | 15173 24788 118925 | 16101 3192 61 | 4.590 % | 32.31/32.44 c | 4942 | 15094 24788 118925 | 17711 4876 67 | 5.936 % | 32.31/32.49 c =============================================================================== 32.40/32.52 c core #608 32.40/32.52 c Core size: 228 Core Weight: 1 Total Weight: 608 32.40/32.52 c Elapsed CPU time: 32.0271 s Remaining CPU time: 1767.97 s 32.40/32.58 c Learning 2 hard constraints 32.40/32.58 c ============================[ Search Statistics ]============================== 32.40/32.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.40/32.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.40/32.58 c =============================================================================== 32.40/32.58 c | 0 | 15337 24791 119266 | 8263 0 nan | 0.000 % | 32.50/32.60 c | 100 | 15337 24791 119266 | 9090 100 50 | 4.466 % | 32.50/32.61 c | 250 | 15337 24791 119266 | 9999 250 56 | 4.466 % | 32.50/32.64 c | 478 | 15337 24791 119266 | 10998 478 66 | 4.466 % | 32.50/32.68 c | 815 | 15329 24791 119266 | 12098 815 92 | 4.771 % | 32.60/32.74 c | 1321 | 15288 24791 119266 | 13308 1287 90 | 4.771 % | 32.70/32.84 c | 2081 | 15288 24791 119266 | 14639 2047 89 | 4.771 % | 33.00/33.15 c | 3220 | 15288 24791 119266 | 16103 3186 108 | 4.771 % | 33.50/33.60 c | 4928 | 15279 24791 119266 | 17713 4891 106 | 4.871 % | 33.60/33.71 c =============================================================================== 33.60/33.71 c core #609 33.60/33.71 c Core size: 9 Core Weight: 1 Total Weight: 609 33.60/33.71 c Elapsed CPU time: 33.189 s Remaining CPU time: 1766.81 s 33.60/33.76 c Learning 9 hard constraints 33.60/33.76 c ============================[ Search Statistics ]============================== 33.60/33.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.60/33.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.60/33.76 c =============================================================================== 33.60/33.76 c | 0 | 15343 24801 119400 | 8267 0 nan | 0.000 % | 33.60/33.78 c | 100 | 15343 24801 119400 | 9093 100 32 | 4.465 % | 33.60/33.79 c | 251 | 15343 24801 119400 | 10003 251 43 | 4.465 % | 33.69/33.82 c | 476 | 15343 24801 119400 | 11003 476 68 | 4.465 % | 33.69/33.86 c | 813 | 15343 24801 119400 | 12103 813 70 | 4.465 % | 33.80/33.91 c | 1319 | 15343 24801 119400 | 13314 1319 67 | 4.465 % | 33.90/34.01 c | 2084 | 15343 24801 119400 | 14645 2084 66 | 4.465 % | 34.10/34.22 c | 3225 | 15343 24801 119400 | 16110 3225 83 | 4.465 % | 34.39/34.52 c | 4933 | 15342 24801 119400 | 17721 4929 93 | 4.471 % | 35.00/35.17 c | 7495 | 15333 24801 119400 | 19493 7491 108 | 4.527 % | 36.10/36.26 c | 11339 | 15333 24801 119400 | 21442 11275 112 | 4.533 % | 38.69/38.90 c | 17110 | 15333 24801 119400 | 23586 17046 112 | 4.533 % | 43.19/43.32 c | 25759 | 15332 24801 119400 | 25945 13409 108 | 4.533 % | 43.50/43.68 c =============================================================================== 43.80/43.96 c core #610 43.80/43.96 c Core size: 261 Core Weight: 1 Total Weight: 610 43.80/43.96 c Elapsed CPU time: 43.3114 s Remaining CPU time: 1756.69 s 43.90/44.04 c Learning 1 hard constraints 43.90/44.04 c ============================[ Search Statistics ]============================== 43.90/44.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.90/44.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.90/44.04 c =============================================================================== 43.90/44.04 c | 0 | 15502 24803 119730 | 8267 0 nan | 0.000 % | 43.90/44.06 c | 100 | 15502 24803 119730 | 9094 100 38 | 4.421 % | 43.90/44.07 c | 251 | 15502 24803 119730 | 10003 251 35 | 4.421 % | 43.90/44.09 c | 477 | 15502 24803 119730 | 11004 477 52 | 4.421 % | 43.99/44.13 c | 815 | 15502 24803 119730 | 12104 815 64 | 4.421 % | 44.10/44.20 c | 1322 | 15500 24803 119730 | 13315 1321 71 | 4.433 % | 44.10/44.29 c | 2082 | 15500 24803 119730 | 14646 2081 73 | 4.433 % | 44.29/44.45 c | 3223 | 15500 24803 119730 | 16111 3222 90 | 4.433 % | 44.70/44.85 c | 4932 | 15500 24803 119730 | 17722 4931 109 | 4.433 % | 45.39/45.54 c | 7497 | 15500 24803 119730 | 19494 7496 139 | 4.433 % | 46.89/47.05 c | 11341 | 15500 24803 119730 | 21444 11340 157 | 4.433 % | 48.09/48.23 c =============================================================================== 48.09/48.23 c core #611 48.09/48.23 c Core size: 73 Core Weight: 1 Total Weight: 611 48.09/48.23 c Elapsed CPU time: 47.5068 s Remaining CPU time: 1752.49 s 48.09/48.29 c Learning 5 hard constraints 48.09/48.29 c ============================[ Search Statistics ]============================== 48.09/48.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.09/48.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.09/48.29 c =============================================================================== 48.09/48.29 c | 0 | 15559 24809 120078 | 8269 0 nan | 0.000 % | 48.19/48.30 c | 100 | 15559 24809 120078 | 9096 100 118 | 4.294 % | 48.19/48.31 c =============================================================================== 48.19/48.31 c core #612 48.19/48.31 c Core size: 51 Core Weight: 1 Total Weight: 612 48.19/48.31 c Elapsed CPU time: 47.5858 s Remaining CPU time: 1752.41 s 48.19/48.35 c Learning 1 hard constraints 48.19/48.35 c ============================[ Search Statistics ]============================== 48.19/48.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.19/48.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.19/48.35 c =============================================================================== 48.19/48.35 c | 0 | 15595 24811 120225 | 8270 0 nan | 0.000 % | 48.19/48.37 c | 101 | 15595 24811 120225 | 9097 101 170 | 4.208 % | 48.19/48.38 c | 252 | 15595 24811 120225 | 10007 252 96 | 4.208 % | 48.29/48.40 c | 479 | 15595 24811 120225 | 11007 479 71 | 4.208 % | 48.29/48.43 c | 819 | 15595 24811 120225 | 12108 819 64 | 4.208 % | 48.29/48.49 c | 1326 | 15595 24811 120225 | 13319 1326 67 | 4.208 % | 48.39/48.59 c | 2086 | 15595 24811 120225 | 14651 2086 68 | 4.208 % | 48.59/48.74 c | 3225 | 15595 24811 120225 | 16116 3225 79 | 4.208 % | 48.89/49.03 c | 4933 | 15595 24811 120225 | 17728 4933 96 | 4.208 % | 49.69/49.86 c | 7495 | 15593 24811 120225 | 19501 7494 111 | 4.220 % | 50.99/51.16 c | 11341 | 15593 24811 120225 | 21451 11340 120 | 4.220 % | 52.99/53.10 c | 17110 | 15593 24811 120225 | 23596 17109 123 | 4.220 % | 56.39/56.59 c | 25765 | 15593 24811 120225 | 25955 13271 89 | 4.220 % | 62.59/62.76 c =============================================================================== 62.98/63.14 c core #613 62.98/63.14 c Core size: 229 Core Weight: 1 Total Weight: 613 62.98/63.14 c Elapsed CPU time: 62.2995 s Remaining CPU time: 1737.7 s 63.09/63.24 c ============================[ Search Statistics ]============================== 63.09/63.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.09/63.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.09/63.24 c =============================================================================== 63.09/63.24 c | 0 | 15745 24812 120525 | 8270 0 nan | 0.000 % | 63.09/63.26 c | 101 | 15745 24812 120525 | 9097 101 126 | 4.169 % | 63.09/63.27 c =============================================================================== 63.09/63.27 c core #614 63.09/63.27 c Core size: 106 Core Weight: 1 Total Weight: 614 63.09/63.27 c Elapsed CPU time: 62.4195 s Remaining CPU time: 1737.58 s 63.18/63.31 c Learning 1 hard constraints 63.18/63.31 c ============================[ Search Statistics ]============================== 63.18/63.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.18/63.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.18/63.31 c =============================================================================== 63.18/63.31 c | 0 | 15846 24814 121060 | 8271 0 nan | 0.000 % | 63.18/63.33 c | 101 | 15846 24814 121060 | 9098 101 67 | 3.958 % | 63.18/63.34 c | 251 | 15846 24814 121060 | 10008 251 72 | 3.958 % | 63.18/63.37 c | 476 | 15846 24814 121060 | 11009 476 83 | 3.958 % | 63.28/63.41 c | 818 | 15846 24814 121060 | 12110 818 81 | 3.958 % | 63.28/63.49 c | 1327 | 15846 24814 121060 | 13321 1327 101 | 3.958 % | 63.38/63.57 c | 2086 | 15846 24814 121060 | 14653 2086 92 | 3.958 % | 63.59/63.78 c | 3225 | 15846 24814 121060 | 16118 3225 122 | 3.958 % | 63.98/64.10 c | 4935 | 15845 24814 121060 | 17730 4934 136 | 3.964 % | 64.38/64.56 c | 7498 | 15845 24814 121060 | 19503 7497 143 | 3.964 % | 65.38/65.54 c | 11342 | 15845 24814 121060 | 21453 11341 149 | 3.964 % | 66.78/66.97 c | 17108 | 15845 24814 121060 | 23599 17107 163 | 3.964 % | 70.68/70.86 c | 25758 | 15845 24814 121060 | 25958 12851 216 | 3.964 % | 76.38/76.58 c | 38736 | 15829 24814 121060 | 28554 25828 215 | 4.061 % | 81.58/81.73 c =============================================================================== 81.58/81.73 c core #615 81.58/81.73 c Core size: 53 Core Weight: 1 Total Weight: 615 81.58/81.73 c Elapsed CPU time: 80.6347 s Remaining CPU time: 1719.37 s 81.68/81.84 c Learning 2 hard constraints 81.68/81.84 c ============================[ Search Statistics ]============================== 81.68/81.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.68/81.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.68/81.84 c =============================================================================== 81.68/81.84 c | 0 | 15907 24817 121418 | 8272 0 nan | 0.000 % | 81.68/81.86 c | 101 | 15907 24817 121418 | 9099 101 60 | 3.850 % | 81.68/81.87 c | 252 | 15907 24817 121418 | 10009 252 67 | 3.850 % | 81.68/81.90 c | 477 | 15907 24817 121418 | 11010 477 56 | 3.850 % | 81.77/81.94 c | 814 | 15907 24817 121418 | 12111 814 79 | 3.850 % | 81.77/81.98 c | 1320 | 15907 24817 121418 | 13322 1320 71 | 3.850 % | 81.87/82.07 c | 2079 | 15907 24817 121418 | 14654 2079 76 | 3.850 % | 82.07/82.21 c | 3220 | 15907 24817 121418 | 16120 3220 80 | 3.850 % | 82.28/82.44 c | 4929 | 15907 24817 121418 | 17732 4929 94 | 3.850 % | 82.28/82.48 c =============================================================================== 82.28/82.48 c core #616 82.28/82.48 c Core size: 72 Core Weight: 1 Total Weight: 616 82.28/82.48 c Elapsed CPU time: 81.3576 s Remaining CPU time: 1718.64 s 82.38/82.54 c Learning 3 hard constraints 82.38/82.54 c ============================[ Search Statistics ]============================== 82.38/82.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.38/82.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.38/82.54 c =============================================================================== 82.38/82.54 c | 0 | 15972 24821 121732 | 8273 0 nan | 0.000 % | 82.38/82.56 c | 107 | 15972 24821 121732 | 9101 107 143 | 3.760 % | 82.38/82.56 c =============================================================================== 82.38/82.56 c core #617 82.38/82.56 c Core size: 97 Core Weight: 1 Total Weight: 617 82.38/82.56 c Elapsed CPU time: 81.4336 s Remaining CPU time: 1718.57 s 82.47/82.62 c Learning 2 hard constraints 82.47/82.62 c ============================[ Search Statistics ]============================== 82.47/82.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.47/82.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.47/82.62 c =============================================================================== 82.47/82.62 c | 0 | 16050 24824 122207 | 8274 0 nan | 0.000 % | 82.47/82.64 c | 100 | 16050 24824 122207 | 9102 100 97 | 3.621 % | 82.47/82.65 c =============================================================================== 82.47/82.65 c core #618 82.47/82.65 c Core size: 105 Core Weight: 1 Total Weight: 618 82.47/82.65 c Elapsed CPU time: 81.5146 s Remaining CPU time: 1718.49 s 82.57/82.70 c Learning 3 hard constraints 82.57/82.70 c ============================[ Search Statistics ]============================== 82.57/82.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.57/82.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.57/82.70 c =============================================================================== 82.57/82.70 c | 0 | 16115 24828 122390 | 8276 0 nan | 0.000 % | 82.57/82.72 c | 101 | 16115 24828 122390 | 9103 101 76 | 3.595 % | 82.57/82.73 c | 251 | 16115 24828 122390 | 10013 251 70 | 3.595 % | 82.57/82.76 c | 477 | 16115 24828 122390 | 11015 477 85 | 3.595 % | 82.67/82.81 c | 815 | 16115 24828 122390 | 12116 815 96 | 3.595 % | 82.67/82.87 c | 1323 | 16115 24828 122390 | 13328 1323 113 | 3.595 % | 82.87/83.00 c | 2082 | 16115 24828 122390 | 14661 2082 127 | 3.595 % | 83.17/83.33 c | 3221 | 16115 24828 122390 | 16127 3221 144 | 3.595 % | 83.87/84.03 c | 4930 | 16115 24828 122390 | 17740 4930 153 | 3.595 % | 84.88/85.09 c | 7492 | 16115 24828 122390 | 19514 7492 159 | 3.595 % | 86.77/86.95 c | 11340 | 16115 24828 122390 | 21465 11340 160 | 3.595 % | 89.67/89.88 c | 17107 | 16115 24828 122390 | 23612 17107 158 | 3.595 % | 90.67/90.88 c =============================================================================== 90.67/90.88 c core #619 90.67/90.88 c Core size: 80 Core Weight: 1 Total Weight: 619 90.67/90.88 c Elapsed CPU time: 89.6684 s Remaining CPU time: 1710.33 s 90.77/90.96 c Learning 7 hard constraints 90.77/90.96 c ============================[ Search Statistics ]============================== 90.77/90.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.77/90.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.77/90.96 c =============================================================================== 90.77/90.96 c | 0 | 16185 24836 122719 | 8278 0 nan | 0.000 % | 90.77/90.98 c | 100 | 16185 24836 122719 | 9106 100 112 | 3.500 % | 90.77/91.00 c =============================================================================== 90.77/91.00 c core #620 90.77/91.00 c Core size: 41 Core Weight: 1 Total Weight: 620 90.77/91.00 c Elapsed CPU time: 89.7794 s Remaining CPU time: 1710.22 s 90.87/91.04 c Learning 2 hard constraints 90.87/91.04 c ============================[ Search Statistics ]============================== 90.87/91.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.87/91.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.87/91.04 c =============================================================================== 90.87/91.04 c | 0 | 16213 24839 122814 | 8279 0 nan | 0.000 % | 90.87/91.06 c | 108 | 16213 24839 122814 | 9107 108 109 | 3.477 % | 90.87/91.07 c | 258 | 16212 24839 122814 | 10018 258 63 | 3.483 % | 90.87/91.09 c | 486 | 16212 24839 122814 | 11020 486 41 | 3.483 % | 90.97/91.11 c | 824 | 16212 24839 122814 | 12122 824 36 | 3.483 % | 90.97/91.16 c | 1332 | 16211 24839 122814 | 13334 1332 34 | 3.507 % | 90.97/91.17 c =============================================================================== 90.97/91.18 c core #621 90.97/91.18 c Core size: 222 Core Weight: 1 Total Weight: 621 90.97/91.18 c Elapsed CPU time: 89.9543 s Remaining CPU time: 1710.05 s 91.07/91.24 c Learning 7 hard constraints 91.07/91.24 c ============================[ Search Statistics ]============================== 91.07/91.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.07/91.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.07/91.24 c =============================================================================== 91.07/91.24 c | 0 | 16342 24847 123212 | 8282 0 nan | 0.000 % | 91.07/91.26 c | 100 | 16342 24847 123212 | 9110 100 63 | 3.388 % | 91.07/91.28 c | 252 | 16342 24847 123212 | 10021 252 56 | 3.388 % | 91.17/91.30 c | 483 | 16342 24847 123212 | 11023 483 69 | 3.388 % | 91.17/91.33 c | 820 | 16342 24847 123212 | 12126 820 72 | 3.388 % | 91.27/91.40 c | 1327 | 16342 24847 123212 | 13338 1327 91 | 3.388 % | 91.37/91.50 c | 2086 | 16342 24847 123212 | 14672 2086 102 | 3.388 % | 91.47/91.65 c | 3225 | 16342 24847 123212 | 16139 3225 99 | 3.388 % | 91.77/91.96 c | 4934 | 16342 24847 123212 | 17753 4934 129 | 3.388 % | 92.27/92.47 c | 7500 | 16342 24847 123212 | 19529 7500 135 | 3.388 % | 93.47/93.69 c | 11344 | 16342 24847 123212 | 21482 11344 163 | 3.388 % | 96.17/96.32 c | 17111 | 16342 24847 123212 | 23630 17111 189 | 3.388 % | 99.76/99.97 c | 25760 | 16342 24847 123212 | 25993 13322 195 | 3.388 % | 105.26/105.50 c | 38736 | 16342 24847 123212 | 28592 26298 198 | 3.388 % | 113.26/113.48 c =============================================================================== 113.26/113.48 c core #622 113.26/113.48 c Core size: 81 Core Weight: 1 Total Weight: 622 113.26/113.48 c Elapsed CPU time: 111.997 s Remaining CPU time: 1688 s 113.36/113.59 c Learning 5 hard constraints 113.36/113.59 c ============================[ Search Statistics ]============================== 113.36/113.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.36/113.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.36/113.59 c =============================================================================== 113.36/113.59 c | 0 | 16425 24853 123620 | 8284 0 nan | 0.000 % | 113.46/113.62 c | 109 | 16425 24853 123620 | 9112 109 165 | 3.194 % | 113.46/113.63 c =============================================================================== 113.46/113.63 c core #623 113.46/113.63 c Core size: 15 Core Weight: 1 Total Weight: 623 113.46/113.63 c Elapsed CPU time: 112.141 s Remaining CPU time: 1687.86 s 113.46/113.68 c Learning 1 hard constraints 113.46/113.68 c ============================[ Search Statistics ]============================== 113.46/113.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.46/113.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.46/113.68 c =============================================================================== 113.46/113.68 c | 0 | 16441 24855 123739 | 8285 0 nan | 0.000 % | 113.46/113.70 c | 102 | 16441 24855 123739 | 9113 102 121 | 3.169 % | 113.56/113.71 c =============================================================================== 113.56/113.71 c core #624 113.56/113.71 c Core size: 22 Core Weight: 1 Total Weight: 624 113.56/113.71 c Elapsed CPU time: 112.215 s Remaining CPU time: 1687.79 s 113.56/113.77 c ============================[ Search Statistics ]============================== 113.56/113.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 113.56/113.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 113.56/113.77 c =============================================================================== 113.56/113.77 c | 0 | 16470 24856 123977 | 8285 0 nan | 0.000 % | 113.56/113.79 c | 115 | 16470 24856 123977 | 9113 115 123 | 3.106 % | 113.66/113.81 c | 266 | 16470 24856 123977 | 10025 266 84 | 3.106 % | 113.66/113.84 c | 491 | 16470 24856 123977 | 11027 491 73 | 3.106 % | 113.66/113.87 c | 829 | 16470 24856 123977 | 12130 829 64 | 3.106 % | 113.76/113.93 c | 1335 | 16470 24856 123977 | 13343 1335 75 | 3.106 % | 113.86/114.03 c | 2094 | 16470 24856 123977 | 14677 2094 79 | 3.106 % | 113.95/114.18 c | 3235 | 16470 24856 123977 | 16145 3235 85 | 3.106 % | 114.36/114.57 c | 4945 | 16470 24856 123977 | 17760 4945 94 | 3.106 % | 114.85/115.03 c | 7509 | 16470 24856 123977 | 19536 7509 100 | 3.106 % | 116.16/116.34 c | 11353 | 16470 24856 123977 | 21490 11353 142 | 3.106 % | 117.65/117.82 c | 17126 | 16470 24856 123977 | 23639 17126 142 | 3.106 % | 119.35/119.55 c =============================================================================== 119.35/119.55 c core #625 119.35/119.55 c Core size: 103 Core Weight: 1 Total Weight: 625 119.35/119.55 c Elapsed CPU time: 117.957 s Remaining CPU time: 1682.04 s 119.45/119.64 c Learning 8 hard constraints 119.45/119.64 c ============================[ Search Statistics ]============================== 119.45/119.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.45/119.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.45/119.64 c =============================================================================== 119.45/119.64 c | 0 | 16512 24865 124218 | 8288 0 nan | 0.000 % | 119.45/119.67 c | 104 | 16512 24865 124218 | 9117 104 110 | 3.042 % | 119.45/119.68 c | 261 | 16512 24865 124218 | 10028 261 76 | 3.042 % | 119.55/119.71 c | 490 | 16512 24865 124218 | 11031 490 83 | 3.042 % | 119.55/119.74 c | 827 | 16512 24865 124218 | 12134 827 73 | 3.042 % | 119.55/119.80 c | 1333 | 16512 24865 124218 | 13348 1333 75 | 3.042 % | 119.76/119.90 c | 2092 | 16512 24865 124218 | 14683 2092 91 | 3.042 % | 119.85/120.04 c | 3233 | 16512 24865 124218 | 16151 3233 97 | 3.042 % | 120.16/120.32 c | 4951 | 16512 24865 124218 | 17766 4951 119 | 3.042 % | 120.65/120.83 c | 7515 | 16512 24865 124218 | 19543 7515 130 | 3.042 % | 121.45/121.66 c | 11359 | 16512 24865 124218 | 21497 11359 125 | 3.042 % | 123.06/123.27 c | 17127 | 16512 24865 124218 | 23647 17127 130 | 3.042 % | 126.45/126.62 c | 25776 | 16512 24865 124218 | 26012 13140 163 | 3.042 % | 134.95/135.16 c | 38751 | 16512 24865 124218 | 28613 26115 177 | 3.042 % | 152.95/153.18 c | 58213 | 16509 24865 124218 | 31474 28370 185 | 3.153 % | 165.74/165.92 c | 87410 | 16509 24865 124218 | 34622 18121 172 | 3.153 % | 195.53/195.74 c | 131200 | 16509 24865 124218 | 38084 17091 206 | 3.153 % | 254.12/254.30 c | 196887 | 16493 24865 124218 | 41893 31733 234 | 3.153 % | 328.39/328.67 c | 295413 | 16493 24865 124218 | 46082 40822 210 | 3.153 % | 435.26/435.54 c | 443202 | 16489 24865 124218 | 50690 24121 228 | 3.177 % | 627.20/627.57 c =============================================================================== 627.20/627.57 c core #626 627.20/627.57 c Core size: 15 Core Weight: 1 Total Weight: 626 627.20/627.57 c Elapsed CPU time: 622.376 s Remaining CPU time: 1177.62 s 627.90/628.26 c Learning 3 hard constraints 627.90/628.26 c ============================[ Search Statistics ]============================== 627.90/628.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 627.90/628.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 627.90/628.26 c =============================================================================== 627.90/628.26 c | 0 | 16528 24869 124385 | 8289 0 nan | 0.000 % | 628.10/628.40 c | 103 | 16528 24869 124385 | 9118 103 82 | 3.016 % | 628.10/628.41 c | 258 | 16528 24869 124385 | 10030 258 71 | 3.016 % | 628.10/628.43 c | 484 | 16528 24869 124385 | 11033 484 79 | 3.016 % | 628.10/628.47 c | 821 | 16528 24869 124385 | 12136 821 70 | 3.016 % | 628.20/628.52 c | 1327 | 16528 24869 124385 | 13350 1327 72 | 3.016 % | 628.30/628.60 c | 2086 | 16528 24869 124385 | 14685 2086 72 | 3.016 % | 628.40/628.77 c | 3226 | 16528 24869 124385 | 16154 3226 74 | 3.016 % | 628.70/629.03 c | 4934 | 16527 24869 124385 | 17769 4933 81 | 3.022 % | 629.10/629.47 c | 7496 | 16527 24869 124385 | 19546 7495 92 | 3.022 % | 629.80/630.10 c | 11340 | 16527 24869 124385 | 21501 11339 100 | 3.022 % | 631.20/631.50 c | 17107 | 16525 24869 124385 | 23651 17105 112 | 3.034 % | 635.29/635.68 c | 25756 | 16525 24869 124385 | 26016 13280 137 | 3.034 % | 642.99/643.32 c | 38733 | 16525 24869 124385 | 28618 26257 163 | 3.034 % | 653.29/653.64 c | 58196 | 16525 24869 124385 | 31479 29090 142 | 3.034 % | 672.09/672.45 c | 87388 | 16525 24869 124385 | 34627 20449 152 | 3.034 % | 697.18/697.53 c | 131181 | 16509 24869 124385 | 38090 19292 163 | 3.128 % | 746.26/746.66 c | 196871 | 16509 24869 124385 | 41899 33896 195 | 3.128 % | 815.14/815.59 c | 295398 | 16509 24869 124385 | 46089 15387 144 | 3.128 % | 953.80/954.25 c | 443194 | 16508 24869 124385 | 50698 29876 263 | 3.133 % | 1133.34/1133.86 c | 664879 | 16507 24869 124385 | 55768 24692 235 | 3.139 % | 1518.23/1518.86 c | 997412 | 16507 24869 124385 | 61345 17485 244 | 3.139 % |
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-1875744-1245172220/watcher-1875744-1245172220 -o /tmp/evaluation-result-1875744-1245172220/solver-1875744-1245172220 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875744-1245172220.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.90 3/65 26833 /proc/meminfo: memFree=1857656/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=3904 CPUtime=0 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 96643856 3997696 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134543038 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 976 253 122 292 0 418 0 [startup+0.0186959 s] /proc/loadavg: 0.91 0.97 0.90 3/65 26833 /proc/meminfo: memFree=1857656/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=4828 CPUtime=0.01 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 501 0 0 0 1 0 0 0 20 0 1 0 96643856 4943872 485 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 1207 485 146 292 0 649 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4828 [startup+0.101705 s] /proc/loadavg: 0.91 0.97 0.90 3/65 26833 /proc/meminfo: memFree=1857656/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=5388 CPUtime=0.09 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 787 0 0 0 9 0 0 0 20 0 1 0 96643856 5517312 771 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 1347 771 293 292 0 789 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5388 [startup+0.301728 s] /proc/loadavg: 0.91 0.97 0.90 3/65 26833 /proc/meminfo: memFree=1857656/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=7368 CPUtime=0.29 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 1842 0 0 0 29 0 0 0 22 0 1 0 96643856 7544832 1359 1992294400 134512640 135709839 4294956240 18446744073709551615 135165877 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 1842 1359 133 292 0 1547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7368 [startup+0.70178 s] /proc/loadavg: 0.91 0.97 0.90 3/65 26833 /proc/meminfo: memFree=1857656/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=7580 CPUtime=0.69 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 2263 0 0 0 69 0 0 0 25 0 1 0 96643856 7761920 1411 1992294400 134512640 135709839 4294956240 18446744073709551615 134607355 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 1895 1411 133 292 0 1600 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7580 [startup+1.50188 s] /proc/loadavg: 0.91 0.97 0.90 2/66 26834 /proc/meminfo: memFree=1852336/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=8060 CPUtime=1.49 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 3662 0 0 0 148 1 0 0 25 0 1 0 96643856 8253440 1538 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 2015 1538 133 292 0 1720 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8060 [startup+3.10108 s] /proc/loadavg: 0.91 0.97 0.90 2/66 26834 /proc/meminfo: memFree=1851248/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=8592 CPUtime=3.09 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 6035 0 0 0 306 3 0 0 25 0 1 0 96643856 8798208 1692 1992294400 134512640 135709839 4294956240 18446744073709551615 134605551 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 2148 1692 133 292 0 1853 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8592 [startup+6.30148 s] /proc/loadavg: 0.92 0.97 0.90 2/66 26834 /proc/meminfo: memFree=1850224/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=9856 CPUtime=6.29 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 8159 0 0 0 625 4 0 0 25 0 1 0 96643856 10092544 2004 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 2464 2004 133 292 0 2169 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9856 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.90 2/66 26834 /proc/meminfo: memFree=1846960/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=13040 CPUtime=12.68 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 12818 0 0 0 1261 7 0 0 25 0 1 0 96643856 13352960 2757 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 3260 2757 133 292 0 2965 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13040 [startup+25.5019 s] /proc/loadavg: 0.94 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1825584/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=34816 CPUtime=25.43 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 20674 0 0 0 2516 27 0 0 25 0 1 0 96643856 35651584 8194 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 8704 8195 136 292 0 8409 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 34816 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1802032/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=57372 CPUtime=50.99 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 26349 0 0 0 5033 66 0 0 25 0 1 0 96643856 58748928 13868 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 14343 13868 136 292 0 14048 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 57372 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1750512/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=108728 CPUtime=102.16 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 39231 0 0 0 10091 125 0 0 25 0 1 0 96643856 111337472 26750 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 27182 26750 136 292 0 26887 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 108728 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1687600/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=172936 CPUtime=162.14 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 55248 0 0 0 16033 181 0 0 25 0 1 0 96643856 177086464 42767 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 43234 42767 136 292 0 42939 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 172936 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1591664/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=267416 CPUtime=222.12 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 78854 0 0 0 21986 226 0 0 25 0 1 0 96643856 273833984 66373 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 66854 66374 136 292 0 66559 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 267416 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1518128/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=341356 CPUtime=282.1 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 97296 0 0 0 27953 257 0 0 25 0 1 0 96643856 349548544 84815 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 85339 84815 136 292 0 85044 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 341356 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1423856/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=435072 CPUtime=342.09 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 120714 0 0 0 33910 299 0 0 25 0 1 0 96643856 445513728 108233 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 108768 108233 136 292 0 108473 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 435072 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1327152/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=532188 CPUtime=402.07 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 144961 0 0 0 39864 343 0 0 25 0 1 0 96643856 544960512 132480 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 133047 132480 136 292 0 132752 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 532188 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1244464/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=614108 CPUtime=462.05 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 165419 0 0 0 45817 388 0 0 25 0 1 0 96643856 628846592 152938 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 153527 152938 136 292 0 153232 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 614108 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1160368/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=699244 CPUtime=522.03 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 186660 0 0 0 51768 435 0 0 25 0 1 0 96643856 716025856 174179 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 174811 174179 136 292 0 174516 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 699244 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1081328/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=777344 CPUtime=582.01 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 206158 0 0 0 57730 471 0 0 25 0 1 0 96643856 796000256 193677 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 194336 193677 136 292 0 194041 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 777344 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1036080/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=822184 CPUtime=642 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 217329 0 0 0 63693 507 0 0 25 0 1 0 96643856 841916416 204848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 205546 204848 136 292 0 205251 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 822184 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=1022704/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=835276 CPUtime=701.98 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 220807 0 0 0 69649 549 0 0 25 0 1 0 96643856 855322624 208326 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 208819 208326 136 292 0 208524 0 Current children cumulated CPU time (s) 701.98 Current children cumulated vsize (KiB) 835276 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=950960/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=906568 CPUtime=761.96 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 238595 0 0 0 75606 590 0 0 25 0 1 0 96643856 928325632 226114 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 226642 226114 136 292 0 226347 0 Current children cumulated CPU time (s) 761.96 Current children cumulated vsize (KiB) 906568 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=884016/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=974128 CPUtime=821.94 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 255422 0 0 0 81560 634 0 0 25 0 1 0 96643856 997507072 242941 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 243532 242941 136 292 0 243237 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 974128 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=814064/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1043352 CPUtime=881.92 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 272714 0 0 0 87521 671 0 0 25 0 1 0 96643856 1068392448 260233 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 260838 260233 136 292 0 260543 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 1043352 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=762416/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1096616 CPUtime=941.91 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 286020 0 0 0 93495 696 0 0 25 0 1 0 96643856 1122934784 273539 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 274154 273539 136 292 0 273859 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1096616 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=680496/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1176892 CPUtime=1001.88 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 306073 0 0 0 99456 732 0 0 25 0 1 0 96643856 1205137408 293592 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 294223 293592 136 292 0 293928 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1176892 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=593840/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1264924 CPUtime=1061.86 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 328069 0 0 0 105409 777 0 0 25 0 1 0 96643856 1295282176 315588 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 316231 315588 136 292 0 315936 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1264924 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=516848/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1340620 CPUtime=1121.85 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 346956 0 0 0 111373 812 0 0 25 0 1 0 96643856 1372794880 334475 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 335155 334475 136 292 0 334860 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 1340620 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=431088/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1426456 CPUtime=1181.83 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 368398 0 0 0 117332 851 0 0 25 0 1 0 96643856 1460690944 355917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 356614 355917 136 292 0 356319 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1426456 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=370736/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1486680 CPUtime=1241.81 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 383374 0 0 0 123303 878 0 0 25 0 1 0 96643856 1522360320 370893 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 371670 370893 136 292 0 371375 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1486680 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=318960/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1538112 CPUtime=1301.8 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 396174 0 0 0 129278 902 0 0 25 0 1 0 96643856 1575026688 383693 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 384528 383693 136 292 0 384233 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1538112 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=270064/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1587464 CPUtime=1361.77 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 408465 0 0 0 135254 923 0 0 25 0 1 0 96643856 1625563136 395984 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 396866 395984 136 292 0 396571 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1587464 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=208688/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1648708 CPUtime=1421.76 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 423731 0 0 0 141224 952 0 0 25 0 1 0 96643856 1688276992 411250 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 412177 411250 136 292 0 411882 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1648708 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=148464/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1709368 CPUtime=1481.74 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 438869 0 0 0 147195 979 0 0 25 0 1 0 96643856 1750392832 426388 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 427342 426388 136 292 0 427047 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1709368 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=74608/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1782548 CPUtime=1541.72 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 457155 0 0 0 153153 1019 0 0 25 0 1 0 96643856 1825329152 444674 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 445637 444674 136 292 0 445342 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1782548 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=18544/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1839012 CPUtime=1601.7 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 471185 0 0 0 159122 1048 0 0 25 0 1 0 96643856 1883148288 458704 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 459753 458704 136 292 0 459458 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1839012 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1605.8 s] /proc/loadavg: 0.99 0.97 0.91 2/66 26834 /proc/meminfo: memFree=15600/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=1843236 CPUtime=1605.2 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4194304 472224 0 0 0 159469 1051 0 0 25 0 1 0 96643856 1887473664 459743 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 460809 459743 136 292 0 460514 0 Current children cumulated CPU time (s) 1605.2 Current children cumulated vsize (KiB) 1843236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1606.01 s] /proc/loadavg: 0.99 0.97 0.91 2/67 26835 /proc/meminfo: memFree=715880/2055920 swapFree=4192812/4192956 [pid=26833] ppid=26831 vsize=0 CPUtime=1605.39 /proc/26833/stat : 26833 (wbo) R 26831 26833 26457 0 -1 4195332 472224 0 0 0 159469 1070 0 0 25 0 1 0 96643856 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/26833/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1605.39 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1606.07 CPU time (s): 1605.47 CPU user time (s): 1594.7 CPU system time (s): 10.7694 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1594.7 system time used= 10.7694 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 472224 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= 4 involuntary context switches= 5675 runsolver used 1.83972 second user time and 4.06438 second system time The end
Begin job on node92 at 2009-06-16 19:10:20 IDJOB=1875744 IDBENCH=2845 IDSOLVER=698 FILE ID=node92/1875744-1245172220 PBS_JOBID= 9363866 Free space on /tmp= 66472 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.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-1875744-1245172220/watcher-1875744-1245172220 -o /tmp/evaluation-result-1875744-1245172220/solver-1875744-1245172220 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875744-1245172220.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 41d95962f9f821e00bc6bf0e503d69d6 RANDOM SEED=1576886750 node92.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.233 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.233 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858072 kB Buffers: 4628 kB Cached: 129532 kB SwapCached: 140 kB Active: 39548 kB Inactive: 108596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858072 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3424 kB Writeback: 0 kB Mapped: 23592 kB Slab: 35544 kB Committed_AS: 63940 kB PageTables: 1464 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-1875744-1245172220.opb Free space on /tmp at the end= 66468 MiB End job on node92 at 2009-06-16 19:37:08